v, -5*b = 5*v - 35. Suppose 0 = -11*z + 6*z - 5*c + 10, -4*c + b = z. Is z at most 0.074?
True
Let z = 0.222 - 2.992. Let m = -2.87 - z. Which is bigger: 104 or m?
104
Let m be (13 - (0 - -11))*6/232*-2. Which is smaller: -0.01 or m?
m
Let b = -406 + 411. Let d(p) = 2*p - 1. Let g be d(8). Let t be 40/g + -3 + -1. Which is greater: t or b?
b
Suppose 0*x - 1434 + 3644 = -26*x. Which is greater: x or -91?
x
Let q(a) = -5*a**3 + 27*a + 5*a**3 + 34 + 2*a**3 + 53*a**2 + 18 + 5. Let k be q(-26). Is 0.4 greater than or equal to k?
False
Let v = 3768 + -3767.5. Is 1.35 smaller than v?
False
Let z = -4265 + 4216. Are z and -42 non-equal?
True
Let t = -7597.02 + 7597. Which is greater: -28.8 or t?
t
Let h = 67.025 + -0.025. Let o = h - 66.57. Let x be (8/(-6))/(1176/(-252)). Is x > o?
False
Let y(i) = 63*i - 18. Suppose -3*x - 3 = -9. Let n be y(x). Is n != 108?
False
Let l = 12772.957 + -12767. Let n = l + -6.23. Let z = -0.027 + n. Which is bigger: z or 0.04?
0.04
Let z = 31 - 28. Suppose 0*s = 2*s - 3*p - 83, z*p - 9 = 0. Is 46 <= s?
True
Let p = -11.63 + -39.37. Let h = 49.042 + -0.042. Let s = h + p. Is -6/5 less than or equal to s?
False
Suppose -5*z = 5*u - 45, 4*z = -6*u + 4*u + 34. Let h(w) = -w**3 + 8*w**2 - 4. Let x be h(z). Let n = 6 + -11. Which is smaller: x or n?
n
Suppose -2*u + u = 0. Let j be u + 44/(-18) + 3. Let d be (-327)/(-436) + 20/16. Which is smaller: d or j?
j
Let g be ((-3)/52)/((-2)/((-1572)/9)). Which is greater: -6 or g?
g
Let p = 55/1036 - -2/37. Let m = 930 - 240. Let b = m + -691. Is p equal to b?
False
Let n = -3607 + 11975/3. Which is smaller: n or 384?
384
Suppose 0*f - 4*f + 8 = 0. Suppose -2*l - 2*o = f, -5*l + 2*o + 2*o - 50 = 0. Let q be (126/441)/(6/14). Does l = q?
False
Let v = -5328 - -5329. Is v at least 4/1357?
True
Let g be 1/(2/(-146)) + 6. Let t = g - -68. Which is smaller: t or -1/428?
-1/428
Let k be (13 - 10)*(1 - -2). Let d(c) = -c**3 + 11*c**2 - 21*c + 27. Let f be d(k). Which is greater: -1/36 or f?
f
Suppose -2*q + 39 = 3*x, -1 = q + 2. Let l(m) = 5*m**2 - 4*m - 1. Let w be l(-4). Suppose -2*i = -5*r + w, 10*r - 5*r = i + 90. Is r smaller than x?
False
Let n = -25934679826/82393 + 314768. Which is smaller: 1 or n?
n
Let a = -809 + 1057. Suppose 0 = 25*u + a + 2127. Which is greater: u or -98?
u
Let u be 45/(-3) - (4 - 1). Let j = u - -17. Let l be (0 + -3)*144/360. Is j at most as big as l?
False
Suppose -r + 49 = 4*g, 63 = 2*r + 3*g - 2*g. Let m = 33 - r. Let v be m/(-6) - 10/(-60). Is v > 0?
False
Let h(s) = -8*s + 15. Let y(w) = -w + 1. Let v(m) = h(m) + 2*y(m). Let t be v(-5). Do 67 and t have different values?
False
Suppose -1388*x + 1387*x - 4*p - 107 = 0, -p = -3*x - 334. Suppose -2*z = 4*a - 214, -242 = -2*z - a - 22. Let f = z + x. Is f < 2?
True
Suppose 0 = -3*y - 2*f - 2034, 19*y - 2040 = 22*y + f. Which is smaller: y or -4?
y
Let d = 155445/23 + -6727. Is 32 at least d?
True
Let t be 1/(-4 - (3 - -343)). Let v = t + 881/63350. Is 1 smaller than v?
False
Let y(b) = b**2 + 30*b - 53. Let x be y(-32). Suppose x*i + 1988 = -575. Do i and -233 have the same value?
True
Let p = -1024 - -420. Let n = 629.1 + p. Let i = n + -26. Which is greater: 1/4 or i?
1/4
Suppose 11 = 3*n - n + 5*k, -3*n = k + 16. Let x be (-2)/9 - 125/45. Do x and n have different values?
True
Let q be -2*19/(-95)*(-90)/(-4). Suppose m - 5*z = -q, 82 - 79 = -m - z. Is m greater than or equal to -1.55?
False
Suppose 84*f = 81121 - 3589. Which is smaller: 926 or f?
f
Let q(d) = d**2 + 6*d + 3. Let r be q(-5). Suppose -4*g - 1463 = t + 4014, -4*g + t = 5467. Let l = 10929/8 + g. Is l less than r?
False
Suppose 3*g + 33 = 54. Suppose -g*d + 4 = 179. Is -25 at most d?
True
Let b = -5569/86200 - -30/431. Which is smaller: 3/4 or b?
b
Let k(w) = -w + 11. Let x be k(5). Suppose 38 = 4*p + 2*g, 2*p + 2*g + 34 = x*p. Suppose 2*o + 28 = p*o. Is 5 >= o?
True
Let c be -1 - 6/(5 + (-1 - 2)). Let t be 4/(-2 + 10)*(4 + c). Which is smaller: t or -2?
-2
Let n(i) = i**3 - 18*i**2 - 15*i - 72. Let q be n(19). Suppose 147 + 257 = 2*j - q*w, -2*w - 606 = -3*j. Which is smaller: 204 or j?
j
Suppose 186 + 258 = 3*i - 3*p, -5*i = -2*p - 728. Let v be (-1)/2 + i/352. Is 1 smaller than v?
False
Suppose -73*s = 5*n - 68*s - 245, -s + 257 = 5*n. Which is smaller: 317/6 or n?
n
Let n = 0.0272 - 0.2872. Is n equal to 0.19?
False
Suppose -330*s + 5*a + 318 = -332*s, 0 = 5*s + 2*a + 753. Is -191 at most as big as s?
True
Let y = -337/546 + -9/182. Let l = -39 - 57. Is l at least as big as y?
False
Suppose 0 = 93*x - 105702 - 163347. Do x and 5783/2 have the same value?
False
Suppose -69*a + 71*a - 59552 = 34*a. Do -1859 and a have different values?
True
Let p(r) = -9*r**2 + r - 3. Let d be p(5). Let s = d - -112. Is s != -109?
True
Let k = -7 - 53. Let u be (-2 + -92)/((-24)/k). Which is smaller: -236 or u?
-236
Let l = 5309.986 - 5319. Let v = 0.014 + l. Let t = 17 + v. Is 1 greater than or equal to t?
False
Let k(n) = -n**3 - 10*n**2 + 6*n + 10. Let z be k(-10). Suppose 2*r + r = 630. Let j be (-50)/r + -3*(-4)/21. Is j greater than z?
True
Let k(g) = 119*g**3 - g**2 - g - 1. Let j be k(-1). Which is bigger: -155 or j?
j
Let w be 24/21 - 627/77. Suppose -5*s - 3 = -2*s. Let a be (s + -1 + 0)/(-2). Which is smaller: a or w?
w
Suppose -5*a - 3*a = 136. Let j = a - -44. Suppose 3*c - 72 = 9. Is j at most c?
True
Let h be (835/125 - 5)*30/(-9). Which is bigger: 5/3 or h?
5/3
Let s = 16 - 6. Let o(h) = 20*h**2 - 5*h - 5. Let i be o(-1). Let q be s/i*(-2)/1. Is q less than or equal to -1?
True
Let l = -161131/696 - -1853/8. Is l at most as big as -1?
False
Suppose 0*s + s + g = -1, -g + 2 = 2*s. Suppose s*r - 37 = -5*x, 6*x - 29 = -r + x. Which is smaller: 16 or r?
r
Let b be ((-6)/4)/((-390)/49380). Are 190 and b unequal?
True
Let c(z) be the first derivative of -13*z**2/2 - 43*z - 40. Let l be c(-3). Is l greater than or equal to 17?
False
Suppose 38802 = 12*h - 32*h - 38*h. Is h at most -667?
True
Suppose 2*c + 0*w - w = 9, -3*c + w + 11 = 0. Suppose -c*b = b + 9. Let a be 5/1 - (-92 + 102). Which is greater: a or b?
b
Let n(m) = -90*m - 2. Suppose 0 = 4*r - 5*g + 16, 0 = 11*r - 7*r - 2*g + 4. Let l be n(r). Let w = 77 + l. Is w > -3?
False
Let c(g) = -3*g**2 - 43*g + 541. Let z be c(11). Which is smaller: -2 or z?
z
Let k be (-2)/(-9) + 2/(-9). Let x be -3 + 1645/(-7) + -6. Let o be x/(-60) - (12 - 7). Is k bigger than o?
True
Let i = 19210961/60201 + -17/6689. Is i <= 320?
True
Suppose -5*r + a = -425, 2*a - 59 = 3*r - 321. Let q be 12/21 + (-90)/r. Let u = -0.1 + 0.6. Is q > u?
False
Let f = -4.5 + 0.5. Let d = 2.8 - f. Let i = -7 + d. Which is smaller: i or 19?
i
Suppose -5*t - 5*t + 40 = 0. Let w be (t + -12)/(2/(-1)) - 0. Suppose 4*m - 121 = 5*i, w*m + 0*m = -4*i - 104. Which is greater: i or -24?
-24
Let r = -3/154 + 1161/308. Let a = -95.8 - -95.5. Is r at most as big as a?
False
Let n = -259797/38 + 6837. Are 2 and n unequal?
True
Let o = -0.066 + -0.106. Let k = o + 0.172. Does k = -168?
False
Let k be (-12)/7*(6 - 160/15). Let c be 9/15 + 1238/(-180). Let x = 2/9 - c. Which is greater: k or x?
k
Let c(t) = 7*t - 41. Let j be c(5). Let y be 0/(1*3*j/(-18)). Is y < -3.1?
False
Let h be 126/15 - ((-9)/15 + 0). Let n be 2 + (h/6)/(2/(-8)). Let l be (12/(-720))/(n/10). Which is bigger: l or 1?
1
Let i = 2.1 - 2. Let d = -14306 + 14296. Is d >= i?
False
Let u be 1*(-68)/(0 + -4). Let c = u + -40. Let a be ((-3 - 1 - -3) + 8)*-3. Is a less than c?
False
Let g be (0 + -16)*(5 - (-45)/(-10)). Let t be 4 + 2 - (g - -18). Let r = 1 + 0. Which is smaller: r or t?
t
Suppose -s - m + 3 = -2*m, -s + 15 = 5*m. Suppose l + 114 = s*l + 3*x, -2*x + 4 = 0. Is l equal to 139/5?
False
Suppose 2*b = 4*p + 4 - 18, -4*p = -b - 15. Suppose p*h = -6*h + 40. Suppose -4*c - c = -u - 12, -3*c - 2 = 4*u. Are h and c nonequal?
True
Let j = 26742 + -26735. Is j at most as big as 95/16?
False
Let p = -5682 - -2783. Is p greater than -2?
False
Let i = -7762 + 9706. Which is smaller: -1/4 or i?
-1/4
Let x be (12 + -3)/3 + -29. Suppose -42 = 2*g + 4*s, 0 = -2*s + 6 - 16. Let b be (-23)/7 - (g + 8). Which is greater: x or b?
b
Let j be (0 - (45 + -54)) + (1 - -11410). Are j and 11421 unequal?
True
Let f be (-14)/63 - (-33)/27. Let p be (-8)/(-6)*(-19 + 16). Let d = p + 10. I