 + 3*x + 8 = 2*r. Let i be 0/(-3 - 0 - -1). Which is smaller: r or i?
r
Let t(f) = -f**3 - 7*f**2 + 8*f + 24. Let z be t(-7). Which is smaller: -9 or z?
z
Let n be 5/1 - ((-154)/11 + 1360). Do -1341 and n have the same value?
True
Let a = 3.753 + -3.8. Let y = 27.047 + a. Let q = y + -27.1. Is q not equal to 19?
True
Let f = 27 + -13. Let w = 5 - f. Let d = 10 + w. Is d greater than 2?
False
Suppose -36*t + 28386 = 21*t. Which is bigger: 497 or t?
t
Let g be ((-756)/15)/4 - 12/30. Let b(z) = -z**2 - 17*z - 11. Let m be b(g). Does m = 40?
False
Let a = -558/5 - -112. Let p = -2126 + 2163. Which is smaller: p or a?
a
Let q be (14/15 + 2/(-3))*3. Let w = 7 + 14. Let h = -21.2 + w. Are q and h non-equal?
True
Let r = 37 - 40. Let k be r - (2 - -2)/(-2). Let m be (-1)/3 - (-1)/5. Is m bigger than k?
True
Suppose -3*m = -8*m + 20, -3*x = 2*m - 17. Suppose -13 = 5*d + x*c + 105, 4*d - 4*c = -120. Suppose 5*u + 170 - 35 = 0. Which is greater: u or d?
d
Suppose -4*x + 0*x = 48. Let k be ((-9)/x)/((-2)/(-56)). Is 20 > k?
False
Let l = 52 + -46. Suppose 4*a + 23 = 5*t + 3, 3*a = -2*t - 15. Is l bigger than a?
True
Let g be (-492)/(-8)*(-1 + (-2318)/(-2262)). Let k = 62/29 - g. Are k and 2 unequal?
True
Let u = -32 + 75. Is 39 less than or equal to u?
True
Let d = 699/4 - 172. Let j = 16 - 32. Let a be 63/(-42)*j/6. Is d at least as big as a?
False
Let i = 9 - 17. Is i greater than -0.09?
False
Let x(w) = -w**2 - 6*w. Let c be x(-5). Let i be (-261)/81 - 2/(-9). Is i greater than c?
False
Let p = -513 + 512.713. Let i = 0.013 - p. Do i and 2 have the same value?
False
Let d = -53 - 173. Which is bigger: d or -227?
d
Let a = 1760/7 - 251. Suppose -17*c = -30*c. Which is smaller: a or c?
c
Let o be (1/1)/(6*2/1644). Is 137 != o?
False
Suppose 0 = -4*p - p + 25. Suppose -49*h = -45*h + 4*n - 56, -h - 3*n + 24 = 0. Which is smaller: h or p?
p
Let s = 64/9 + -85/9. Which is smaller: s or -2?
s
Let j(x) = x**2 - 16. Let t be j(-7). Suppose -2 = -g + t. Which is smaller: g or 34?
34
Let y(z) = 24*z + 407. Let x be y(-16). Is 22 equal to x?
False
Suppose 0 = -2*u - 4*o + 172, -5*u + 442 = -0*o - 2*o. Let j be u/28 + 1/(-7). Suppose 2*h - 2*m = 24, 1 = -j*m + 13. Is 16 < h?
False
Let u be (-1)/(-4) + (-172)/(-16). Let o be (-134)/u - (-10)/55. Is o smaller than -14?
False
Let k be 12*7/(-4956)*4. Suppose 2*l + 3 - 5 = 0. Is l at most as big as k?
False
Let c = -14.33 - -0.33. Let o = c + 15. Let s = 2.3 - 1.6. Is s equal to o?
False
Let s(b) = -b**3 - 3*b**2 - 6*b - 7. Let k be s(-3). Suppose -3*a = -9, -4*l = 4*a - k - 5. Are 4 and l nonequal?
True
Let v be (4/(-3))/((-3)/(-54)). Let g be (-5)/(-58)*v/(-30). Let c be 0*((-6)/(-4) - 2). Which is bigger: g or c?
g
Let n(d) = d + 11. Let q be n(-10). Let z be -1 + -1 - (q - -7). Let i be 6/30 + 102/z. Is i greater than or equal to -10?
True
Let d = 2/545 + 1076/3815. Which is bigger: d or -1.28?
d
Let c = 14.484 + -13.6. Let m = c + 0.116. Which is greater: -8 or m?
m
Let s = -469 - -529. Which is greater: s or 58?
s
Let q be -1*(-1 - -7 - 2). Suppose 3*a = 21 - 0. Let m be a/((-14)/16) - -3. Does q = m?
False
Let k(c) = 2*c**3 + 7*c**2 + 4*c + 2. Let d be k(-3). Let g be (2/95)/(8/40). Which is bigger: d or g?
g
Let p be 6/4 - (68918/(-2708))/(-17). Is -1 not equal to p?
True
Suppose -5*n = 4*f - 22, -n - 4*n + 7 = -f. Let r be (-2)/(-6) - (-35)/f. Let h = 23 - 10. Which is smaller: r or h?
r
Let d = -328.3 + 326. Are -7 and d unequal?
True
Let p = -12 - 3. Let b(d) = d + 19. Let a be b(p). Suppose 4*r + n - 6 = -16, 3*r - 5*n = a. Which is greater: r or 0?
0
Let p be ((-25)/(-20) - 2) + 686/8. Let x = 205 + -120. Is x >= p?
True
Let b = 9 - 18. Let d = b - -15. Which is greater: d or 0?
d
Suppose -c + 11*c - 900 = 0. Let w be (-18)/(-6) - (-2 + c/19). Is 1 >= w?
True
Let g be 2 - (-2)/(-1) - 2. Let j(b) be the third derivative of b**5/60 + b**3/6 + 8*b**2. Let f be j(g). Is 4 less than or equal to f?
True
Let t = -17 + 16.7. Let k = t + 0.2. Let s = 7 + -6.3. Which is greater: k or s?
s
Let l(f) = 2*f + 3. Let s be l(-6). Let m = -8 + 8. Let c = m - -1. Is c > s?
True
Suppose 36 = 4*w - 2*l + 6*l, 5*w - 4*l - 36 = 0. Let j be (-2*(-2)/(-4))/(w/32). Is j at most -15/4?
True
Let i be (-140292)/(-32)*4/4. Let x = i - 4344. Let b = x - 40. Is 0 less than or equal to b?
True
Let d = 2/45 + 8/225. Which is bigger: 3 or d?
3
Let c be 44/(-264)*3/(-12)*-6. Let i = -32 - -18. Which is greater: c or i?
c
Let d = 1/13 + -16/39. Let w = 9 - 6. Suppose -2*y + w = y. Which is greater: d or y?
y
Let p(y) = 4*y**3 - 79*y**2 + 51*y + 35. Let v be p(19). Which is bigger: -75 or v?
-75
Let w(r) = -5*r + 37. Let c be w(7). Suppose 2*a - z + 0*z - 24 = 0, 0 = z + c. Which is bigger: a or 9?
a
Suppose -8*y + 7*y = 2*u - 9, -3 = -y. Which is smaller: 4 or u?
u
Let f = 6 - 5.9. Suppose -9*g + 13*g + 8 = 0. Let i be g/(-4) - 81/234. Which is smaller: f or i?
f
Let m = -0.314 - -1.314. Which is greater: -374 or m?
m
Let a = -98.2 + 98.25. Is a >= -0.92?
True
Let g(j) = -j**3 - 4*j**2 + 1. Let x = 10 + -14. Let t be g(x). Let n(m) = -m**2. Let c be n(t). Which is smaller: -3/19 or c?
c
Let u(m) = -2*m**2 - 5*m - 47. Let d(i) = i**2 + 2*i + 23. Let x(g) = -7*d(g) - 3*u(g). Let q be x(0). Which is smaller: -22 or q?
-22
Let i be 0 + 2 - 0 - -2. Let v = -215 - -216. Suppose -v = -i*k + 3. Which is bigger: k or 6/7?
k
Let f(t) = t**2 - 17*t - 41. Let y = 88 + -69. Let r be f(y). Suppose 0 = -3*h + 5*i + 17 + 5, i = -2*h - 7. Is h smaller than r?
False
Let o = -437 - -531. Which is bigger: o or 371/4?
o
Let i = 139/2480 - -1/155. Let q = -242 + 243. Which is smaller: q or i?
i
Let d = 2274 + -388856/171. Let l(o) = o**3 + 3*o**2 - 1. Let z be l(-3). Are z and d equal?
False
Let n = -228.9 + 61.3. Are 1 and n equal?
False
Let n = 213 + -219. Is 3/4 less than n?
False
Let g(r) = -r + 10. Let l be g(-5). Let o be (42/l + -3)/(10/(-25)). Which is greater: 0.02 or o?
o
Let b be 2/5 + 26/10. Suppose 3*j + 6 = b*s - 6, 5*j = -2*s + 15. Suppose 3*c - s = -2*c. Is 7/3 >= c?
True
Suppose 6 = 3*o - o. Suppose 0 = w - 0*w. Suppose w = 5*f, -o*m - 3*f = m - 4. Which is smaller: m or 3?
m
Let h(k) = k + 3. Let g be h(-4). Let u = 4 + g. Let w be ((-2)/u)/((-21)/(-9)). Is w >= 0?
False
Let b(j) = -j**2 - 3*j**2 + 5*j**2 - 7*j + 14*j. Suppose 0*g + 29 = -2*g - 5*z, 0 = -2*g - 4*z - 26. Let o be b(g). Which is smaller: o or -2/29?
-2/29
Let o be (-9)/6 + 22/4. Suppose -d + o*p - 11 = 0, d = -0*d + 3*p - 9. Let z = 975 - 3915/4. Do z and d have different values?
True
Suppose -4*w = 3*j + 4, -3*j = -j + 4*w. Let x be ((-90)/(-27))/(j/(-6)). Let f = -6 + 2. Is x greater than or equal to f?
True
Let b(d) be the third derivative of -d**5/20 + d**4/12 + d**3 + 15*d**2. Let a be b(3). Which is smaller: -16 or a?
-16
Let y be 10*(-5)/10 - 194/(-38). Are 9.9 and y non-equal?
True
Let o = -12.21 - 1565.79. Which is smaller: 0 or o?
o
Let v be ((-6)/60)/(18/17055). Do v and -96 have the same value?
False
Let h be 2601/990 - -1*(-6)/4. Let s = h + 14/11. Which is smaller: 1 or s?
1
Let a be (4*(-7)/49)/(3/(-28)). Let k = a - 40/9. Let u = -1 + 2. Which is bigger: k or u?
u
Let r = 92.38 + -0.38. Let d = r - 92. Is -0.03 smaller than d?
True
Let i = 0.29 + -0.39. Let w = -28 - -30.4. Which is smaller: w or i?
i
Let m(o) = -o**3 - 4*o**2 + 8. Let l be m(-4). Let x(f) = -5 - l*f - 2 + 4. Let r be x(1). Is -0.1 smaller than r?
False
Suppose -2*v - 2*q + 16 = 0, v - 8 = 3*q - 2*q. Let o be v/(-6) - (-30)/(-18). Do -3 and o have different values?
False
Let y = 632 - 633. Which is bigger: y or -57?
y
Let t = 0.27 - 0.37. Suppose -2*r + 24 = -52. Which is greater: r or t?
r
Let c be (-37)/74*((-3)/1 - -1). Suppose 4*l - c = y + 1, -2*l + 5*y - 8 = 0. Which is smaller: l or -1/28?
-1/28
Let f(j) = j**3 + 6*j**2 + 2*j - 8. Let l be f(-5). Suppose 41 + 36 = l*d. Let s(b) = -b**2 + 9*b - 8. Let a be s(6). Is d at most as big as a?
False
Let c = -747 - -819. Is c greater than 61?
True
Suppose 2*x + 2*x = -12. Let m = -54 - -55. Let p be (10/8 - m)/(2/(-12)). Which is greater: x or p?
p
Let q(a) = 14*a - 11. Let p be q(1). Let c be (-28)/(-6)*3/6. Is c < p?
True
Let u = 58 + -66. Let f be -2 - ((-12)/u)/3*-3. Is 52 >= f?
True
Let y = 4 + -10. Let o = -7 - -5. Let g = y - o. Is g at 