2 != k?
True
Suppose -75*m + 104*m - 47*m = -18. Which is smaller: m or 1/5804?
1/5804
Suppose -3*l + 5*l + 763 = 5*v, 2*l - 2*v = -748. Which is greater: -341 or l?
-341
Let u = -13752 + 1512723/110. Which is bigger: -9 or u?
u
Let w = -1.03 - 195.97. Let c = -197.2 - w. Are -0.22 and c non-equal?
True
Let z = -300.8 - -302.8. Is -0.767 smaller than z?
True
Suppose -h - 2 = -0*b - b, 0 = 4*b + h - 13. Let r be (2 - -1) + (4 - 12)/(-4). Suppose r = 4*i - c, i - c - 5 = 2*i. Do i and b have different values?
True
Let g = 306/5 - 1239/20. Let z = -30.026 + 30. Is g at least as big as z?
False
Let m be 3/1662*(-65 - -62). Which is greater: 0 or m?
0
Suppose 4*t - 2*o = -3*o - 17, 7 = -t - 3*o. Let c = t + 10. Let s be (-118)/852 + 1/c. Is s > -1?
True
Let q = 46394 + -46122.99. Let v = q + -271. Do v and -0.01 have the same value?
False
Suppose -9*v - 114*v + 95817 = 0. Are 0 and v unequal?
True
Let h(v) = -180*v + 943. Let w be h(30). Which is smaller: w or -4458?
-4458
Let h = 164.283 + -165. Let p = h - 0.283. Let m = -5/74 - 85/111. Which is bigger: p or m?
m
Let r be (-1010)/28 + 16/(-504)*-18. Let t = r - -567/16. Let u = 1 + -2. Which is bigger: t or u?
t
Let u be (-8)/20 - 441/(-15). Let g = 6 + u. Let p = -33 + g. Which is smaller: -11 or p?
-11
Let x(f) = -f**3 - 9*f**2 + 11*f + 14. Let a be x(-10). Suppose -4*k = a*r - 740, -5*k - 3*r = -5*r - 932. Which is smaller: k or 185?
185
Let r = 18047680436 - 161995979792609/8976. Let n = r - -377/17. Which is smaller: 1 or n?
n
Let y = 16.5 - 16.63. Let i be (2/6)/((-2)/(-60)). Let f = 9 - i. Which is greater: f or y?
y
Let t = 310.305 + -308.6. Is 1 > t?
False
Let i = 1202 + -1201. Do i and 36/17 have the same value?
False
Let s = 3596 - 3595.712. Is s greater than or equal to 0?
True
Let p(h) = 3*h + 54. Let y be p(-19). Let l be 2 - y - ((-5265)/(-213))/5. Is l greater than or equal to 0?
True
Let t = -0.07571 + -332.92429. Is t less than or equal to 0.35?
True
Let u = -4.236 - -4.336. Which is smaller: 4363 or u?
u
Let c = 224363 - 3812501/17. Is c < 98?
False
Let n = -573 + -226. Let q = -660 - n. Is 139 < q?
False
Let o = 248715/8 + -39049935/1256. Which is smaller: -2 or o?
-2
Let i = -5538 - -6172. Is i != 637?
True
Let x be 1031/(-4)*(-121 - -125). Is x at most as big as -1032?
False
Let d = 5 - 0. Suppose 2*n - 5*j + 7 = 0, n + j - 59 = d*n. Let y be (n/(-16))/((-6)/122). Which is smaller: y or -21?
-21
Suppose -2*b - 8 = -4*t + t, -3*t = 3*b + 12. Suppose t = -3*r + 5*q - q - 23, -3*q + 15 = 0. Let f be (-17)/65 + 5/(-25). Is r != f?
True
Suppose -2*x + d - 4 = 0, -5*x + d - 4 = -2*x. Suppose x = 3*w + 27 + 90. Let i = 60 + w. Is 21 <= i?
True
Let j(r) = r - 23. Let m be j(5). Let h be m/198 + 1256/22. Does h = 59?
False
Let j(g) = 9*g + 204. Let u be j(-22). Suppose -t = 8 - u. Which is bigger: t or 106?
106
Let p = -194 + 95. Let j be 11/(p/(-18)) - 7/4. Which is smaller: j or 0.124?
0.124
Suppose 3*k + 4*r + 49 = 0, -k - 14 = r - 2*r. Let o = 103 + -97. Let h be (o + 3)/((-5)/k). Which is smaller: 25 or h?
25
Suppose -81*v + 7035 = -148404. Is v greater than 1918?
True
Suppose -19*f + 202 + 1064 = -919. Suppose 0 = -4*a + 2*l + 474, 3*a + 5*l = -2*a + 555. Are a and f non-equal?
True
Let h be 188097/75234 + (-6)/((-132)/(-55)). Which is greater: 0 or h?
h
Let j be ((-1826)/(-249))/((4/3)/2). Suppose 5*x + 1 = 10*x + 3*t, x + j = 5*t. Are x and 1/363 non-equal?
True
Suppose 2*o + 2*j + 82 - 356 = 0, -3*o + 3*j = -441. Suppose -4*k = -2*t + o, -4*t - 2*k - k + 273 = 0. Which is greater: t or -1?
t
Let b be (6 - 4)/(13 - (-1 - -7)). Which is smaller: 5/147 or b?
5/147
Let t = -270 + 465. Let x = -195 + t. Is x less than 1.7?
True
Let r be (-17)/(-3) + 4 + -4 + -5. Let s = -42.3 - -45. Is s bigger than r?
True
Let d = 126 + -114. Suppose -11*t + d = -15*t. Which is smaller: t or -34?
-34
Let m = -126 - -57. Let p = -69 - m. Suppose 3*w - 113 - 27 = -2*y, p = w + y - 46. Which is bigger: 50 or w?
50
Let i = 352/175 - 22003/11200. Suppose -3*g + 3 = -6*g. Which is bigger: i or g?
i
Let o = -19.7 - -108.7. Let q = -1.156 + 90.056. Let i = q - o. Which is bigger: i or 13?
13
Suppose 2*u = 4*n + 54, 0 = -5*u - 3*n + 54 + 29. Suppose -5*f + u - 79 = 0. Let d(o) = -12*o**2 + o. Let b be d(1). Which is smaller: b or f?
f
Let r(a) = 904*a**2 - 12*a + 3. Let k be r(2). Let l be k/40 + (-3)/(-24). Let g be ((-40)/l)/((-4)/6). Which is smaller: g or 58?
g
Let l = -2273 - -2275. Which is greater: 91/40 or l?
91/40
Let l = -2126.7 + 2126.8. Which is bigger: l or -6245?
l
Suppose 5*m = 22*m - 15249. Let w = m - 598. Which is greater: w or 298?
w
Let a = -4784 - -4783. Is -1/4445 less than or equal to a?
False
Let r = -265 - -160. Let h be r/(-78) - -2 - (5 + -2). Let l be 1/(-5) - (-13)/65. Is h at least as big as l?
True
Let i = 18830.53 - 18812. Is 2 bigger than i?
False
Let w = 494.331 - 8.031. Let h = w - -54.7. Is h greater than 1?
True
Suppose -3*r = -0*c - c + 6, -c + 8 = -4*r. Let x be (-264)/48 + r/4. Let t be (-48)/20*(-3)/x. Which is smaller: t or -2?
-2
Suppose 4*q + 2*l = -116, q + q = -2*l - 56. Let s be q/1904*14/(-35). Let z = s - -624/119. Is z not equal to 6?
True
Let g be 1114/3 - (-52)/(-39). Suppose 4*o = -3*i + g, 2*o - 3*i - 382 = -2*o. Which is smaller: o or -1?
-1
Suppose 302*n - 140 = 306*n. Let c = 402.5 + -403.2. Is n at least c?
False
Let l be (3/(-135))/(58/(-5)). Is l greater than or equal to -1?
True
Suppose -2040 = -45*q - 1397 + 2012. Which is smaller: q or 58?
58
Suppose 0 = -11*s + 1350 - 1240. Let y(h) be the third derivative of h**4/3 - 5*h**3/3 + 5*h**2. Let d be y(s). Is d less than 70?
False
Let x(p) = -43*p**2 + 1115*p + 77. Let i be x(26). Let k be 275/(-670) + 1/2. Is i at least as big as k?
False
Suppose -185777 = -31*g - 22*g - 26088. Which is smaller: g or 3014?
g
Let a = 3 + -4. Let j(b) = -b - 2. Let d(i) = 10*i - 104. Let v(g) = d(g) + 6*j(g). Let s be v(24). Which is smaller: s or a?
s
Let j = -20847/7 - -2951. Let r = j + 27. Which is bigger: r or 5?
5
Suppose 5*j + u = 575, 3*j - 3*u - 518 = -191. Let z be (-2)/3*j/152. Does 4/53 = z?
False
Let v = -384.2 + 362.43. Do 7 and v have the same value?
False
Let p = -1133/5 - -1902/5. Let i = -22316/145 + p. Let o = -2 - -3. Is o not equal to i?
True
Let s = 3367604/1057 - 3186. Suppose y - 5*f + 14 = 3, y - 9 = -5*f. Is y at least s?
False
Let x be (-553)/28 - -7 - -13. Which is bigger: 5/511 or x?
x
Let d be -9 + 11 + (-6)/(-1). Let u be (-1*1)/(d/(-64)*-4). Which is greater: 139 or u?
139
Suppose 133*z = 131*z - 2. Let x be (-192)/530 - (-14)/35. Is z less than x?
True
Let r = 2/14799 - -4484089/59196. Let t be (-406)/(-21)*(-15)/(-4). Let w = t - r. Which is bigger: -4 or w?
w
Let g be (-1939)/(-1190) - 3/5. Let s = g - -115/136. Let m = 7 + -6. Are s and m equal?
False
Let f = 19.67 - 19.97. Which is greater: f or -10/99?
-10/99
Suppose -3*z - 150 = -4*n, -5*n = -4*z - z - 255. Let y = -99 - z. Let m = -51 - y. Is m equal to -9?
False
Let c = -16 - -18. Suppose -v = 3*j + 75, -132 = 7*j - c*j + 4*v. Let g be -3*((-4)/(-6) + (-8)/j). Do g and -20 have the same value?
False
Let q = -906 + 916. Let z be ((-6)/(-5))/(38/57). Is z at most q?
True
Suppose 5*z + 167 = -1153. Suppose 2*j - 3*i + 5*i = -538, -2*i - 1330 = 5*j. Does z = j?
True
Let u = -551 - -625. Let b(z) = z**3 + 13*z**2 + 11*z - 14. Let w be b(-12). Let d be -2*(1 + w)*37. Are u and d nonequal?
False
Let y(k) = 0*k**2 - 8*k + k**3 + 3*k + 6 - 4*k**2 + 0*k**3. Let w be y(5). Suppose -5*i + 1 = 3*d, 0 = d + 4 - w. Is i < -2?
False
Let t be (-2)/(-12)*((-715)/33 - -37). Is t bigger than 10/3?
False
Suppose -9*v - 1538 - 721 = 0. Let d = v + 251. Are d and -1 nonequal?
True
Suppose -4*l = 3*t - l - 129, 2*t = -l + 85. Let c be (94*7/t)/(2/(-12)). Let k = c + 381/4. Which is bigger: k or 1?
k
Let v be (-5)/2 + 45/18. Suppose -l + 13*l + 1788 = v. Is l at most as big as -151?
False
Let l(g) = -g**2 - 3*g - 5. Let j be l(5). Let q = 46 + j. Let u = 7/279 - 583/45477. Is u >= q?
False
Suppose 616*x + 14685 = 649*x. Is x < 442?
False
Let l be (-12 - 64/(-5))*(-2 - -3). Which is smaller: l or -158?
-158
Let x = 86.1 - 81.1. Suppose 0*l = -l - 13. Is l equal to x?
False
Suppose 0 = 56*w - 1085 + 12005. Let f be (-2)/5 + (-17433)/w. Which is 