Let i = -2.1 + 2. Does i = n?
False
Suppose 48*c = 81*c + 99. Which is smaller: c or -59/14?
-59/14
Suppose -2*o - 15 = -n + 1, -n + 4*o + 12 = 0. Suppose n*d - 15*d = 35. Let t = 23 + -15. Which is greater: t or d?
t
Let y = -10.2 - -1.2. Let g = 18.2 + -4.2. Let x = y + g. Which is smaller: 2/5 or x?
2/5
Let q = -63460 - -825388/13. Is 31 at least as big as q?
False
Let r = 13 + -13.27. Let a = 0.27 + r. Which is greater: a or 5/3?
5/3
Suppose 0 = -4*q - 23*q + 216. Let w be 5*(q/7 - 4/28). Let f = -12 - -18. Which is smaller: f or w?
w
Let b be (-3)/5 + (-4)/(-5 + 65). Which is greater: b or -2/49?
-2/49
Suppose 4*d - 5*d - 13 = -5*k, -19 = 5*d - 2*k. Suppose 68 + 0 = -2*i - 2*i. Is d greater than or equal to i?
True
Suppose 11*c = 13*c. Let k be (-2)/4 - (-93)/150. Is c != k?
True
Let v(n) = n**3 - n**2 + n + 4. Let x be v(0). Suppose -u = -2*f + 3*u + x, 4*u = 12. Let c = -25 + 25.1. Which is smaller: f or c?
c
Let u(a) = -a + 12. Suppose -2*y + 6*y + 2*d - 22 = 0, -4*y + d = -25. Let r be u(y). Let o be (-4 - -5)/((-1)/r). Which is greater: o or -7?
o
Let p be (-26)/88 + (-84)/(-154). Let l be 3/5 - 36/10. Let x = 4 + l. Is x > p?
True
Suppose -5*w = -3*o - 9, -4*w - 3*o + 0*o = 9. Let f be 0 - (-3 + 1/(594/2098)). Let p = -20/33 - f. Which is bigger: w or p?
w
Let x be (-5)/(-15) + (-28)/12. Which is greater: -16/11 or x?
-16/11
Let h(j) = -j**2 - 10*j - 11. Let x be h(-9). Let y be (9/(45/(-10)) - 4) + 4. Is x <= y?
True
Suppose -5*p - 10 = -5*g, -p = -0*g + 3*g - 18. Suppose w - 5*j + 11 + 2 = 0, -3*w - p*j + 33 = 0. Is w at least as big as 11?
False
Suppose 4*r - d - 15 = 0, 0 = 4*r - 0*r + 4*d. Suppose 44 = 3*w + p, 5*w - 6 = r*p + 86. Let j = w + -18. Is j greater than or equal to -12/11?
False
Let b(s) be the first derivative of -s**4/4 - 10*s**3/3 - 7*s**2/2 - 10*s - 11. Let y be b(-9). Which is smaller: y or -27?
y
Let j = -7 + -7. Suppose -123 = 25*c + 252. Do c and j have different values?
True
Suppose 4*k = -3*r - 8, -3*k - 8 = -5*r + k. Suppose -3*u = 4*p + 19, p + 4*u + 21 = -r*u. Let q be 3/(-2)*4/57. Which is smaller: p or q?
p
Let i(q) = 16*q**2 - 6*q + 4. Let b be i(-3). Does b = 167?
False
Let o be (-4)/66*(15 + -3). Which is smaller: -1 or o?
-1
Suppose 0 = 134*y - 139*y + 90. Is 35/2 at least y?
False
Suppose 16 = 4*h, 3*h + 2*h = -3*y - 58. Let f be y/(-78) + 104/(-6). Suppose 0*b = b + 16. Which is greater: b or f?
b
Let t be 2/(-9)*(-4 - 98). Let a = -23 + t. Let i = -111 - -111.1. Is a less than or equal to i?
True
Let w(y) = -16*y - 40. Let x be w(-3). Is x at least 87/10?
False
Suppose -2*s = -6*s. Suppose x - w = -12, 2*w = -4*x - 34 - 44. Let z be (-1)/x*(-2 - -1). Which is smaller: s or z?
z
Suppose 4*q - 28 = -3*j, -4*j - 2 = -5*q + 2. Suppose 15 = q*u + u + 5*w, 0 = -5*u + 5*w + 55. Let z be 2 + u/(-5) - 1. Is z at least 0?
False
Suppose -h = -q + 378, h - 70 = -2*q + 674. Let t be ((-5)/((-10)/(-12)))/(34/q). Is -66 >= t?
True
Let o = -37.18 + 37. Let w = o + 0.28. Let u = -4 - -7. Is u greater than w?
True
Let d(p) be the third derivative of -p**6/30 - p**5/30 - p**4/12 - p**3/6 + 8*p**2. Let l be d(-2). Which is smaller: 26 or l?
26
Suppose -195 = -10*t + 5. Which is smaller: 12 or t?
12
Let u be 115/13 + (12/(-26))/(-3). Let b be 9/6 + u/(-2). Is b less than or equal to -6?
False
Suppose -24 = 12*f - 8*f. Let x = -0.53 + -4.47. Is f equal to x?
False
Suppose 4*l + 2*s - 10 = -0*s, 0 = -3*l + 5*s - 25. Suppose 0 = -l*o - o - 3. Let u = -2 + o. Which is bigger: -7 or u?
u
Let g be (-80)/52 - (-2 + 0). Let y = g + -37/52. Suppose -4*p = -2 - 6. Is p <= y?
False
Let i be (35/3444)/(14/(-32)). Let r = -1/41 + i. Is -1 bigger than r?
False
Suppose 5*o + 61 = 66*o. Do o and 1/337 have different values?
True
Suppose 165*o - 158*o + 7 = 0. Is 2/381 >= o?
True
Suppose 4*b + 560 = 2*t, 6*t = -b + 4*t - 130. Is b at most as big as -140?
False
Let g(b) = -b**2 - 2*b + 5. Let l be g(-4). Let t = 40 + -4. Let h = 145/4 - t. Which is smaller: l or h?
l
Let b = 35.8 + -12.8. Is -2/11 <= b?
True
Let z = 74 - 74. Which is bigger: z or -138?
z
Let h = -2.73 + 135.73. Let b = -131.1 + h. Which is smaller: b or -1/4?
-1/4
Let x be (3/6)/(1/(-4)). Let f = 37 + -38. Let a be (f + 0)*(-3)/((-6)/10). Are a and x equal?
False
Let f = 481/8 + -295/4. Let z = f + 971/56. Which is greater: z or 3?
z
Let q be 2/(-12) - 334/156. Let p = -43 - -41. Which is smaller: q or p?
q
Suppose 0 = -4*d - 0 - 8. Let s = 2 + d. Suppose -2*l = -s*l + 14. Is -6 > l?
True
Suppose 0 = -3*a - 508 + 505. Let h = 4/9 - 29/45. Which is smaller: h or a?
a
Let o be 0 - (1 + 2)*-1. Suppose -o*h + 0*h = -6. Suppose -5 = -h*r - 7. Are r and 0.1 non-equal?
True
Let r(z) = z**3 - 5*z**2 + 6*z + 5. Let q be r(5). Let s = 18 - q. Is s equal to -16?
False
Let u = 868 - 884. Is u equal to -1/2?
False
Let f = -22 + 12. Let r be (-1)/(-5) - 338/f. Is 33 >= r?
False
Let h be (18/(-7))/(57/1064). Is h greater than or equal to -48?
True
Let p = 41.958 - 42. Let w = 0.039 + p. Is w bigger than 0?
False
Suppose 0 = -2*k + 10, c - 5*k + 2*k = -12. Let x(q) = 2 + 3 - c*q + 4*q + 2*q. Let r be x(-5). Is -8 equal to r?
False
Suppose y + 7*y = 0. Suppose y = -5*f + 12 + 28. Is 9 less than f?
False
Suppose -z = -2*z - j + 2, 2*j = 5*z + 11. Let u be ((0 - z) + -2)*11/22. Which is smaller: u or -25?
-25
Suppose 7*v = 12*v - 15. Let n be ((-4)/55)/(v/((-225)/6)). Which is smaller: n or 0?
0
Let x(a) = -a**3 - 4*a**2 + 12*a - 12. Let i be x(-6). Suppose z - 1 = k, -6*k - 35 = -3*k + 5*z. Let r(g) = 2*g - 1. Let c be r(k). Which is smaller: i or c?
i
Let b = 155 - 155.19. Let g = 47 + -46.71. Let w = b + g. Do -16 and w have the same value?
False
Let q = 29 - -83. Is 112 > q?
False
Suppose 2 = -4*t + 10. Let y(q) = -q**2 - q + 6. Suppose -6 = 4*n + 6. Let u be y(n). Which is smaller: t or u?
u
Let t = -2/2061 + -71446/2061. Which is greater: -34 or t?
-34
Suppose 2*f = f - 4*a + 20, -15 = -5*a. Let p = -9 + f. Is 8 greater than p?
True
Let m = 24595/7089 + 25/417. Which is greater: m or 5?
5
Let n = -219 + 180. Is -38 greater than or equal to n?
True
Suppose 5*g - 80 = -0*g. Suppose 7*w - g = 11*w. Let r be (6/(-2))/(21/w). Which is bigger: r or 0?
r
Suppose -78 = -2*l - 22. Let n = -16 + l. Let k = n + -9. Are k and -1/2 nonequal?
True
Let c(r) = -r - 1. Let i be c(1). Let k be i/10 - 342/15. Is k <= -23?
True
Suppose 0 = w + 4*j + 90, -244 = 3*w - 5*j + 4*j. Do w and 0.1 have different values?
True
Let y be (4/(-16) + 0/(-4))*0. Let z be (-62)/(-8) + (-3)/(-12). Let g be 2/z*(1 + -3). Is y greater than or equal to g?
True
Let p = 22 + -19. Suppose -p*t + 7*m = 2*m + 3, 5*t - 3*m = 11. Is 16/3 bigger than t?
True
Let y = 12 - 0. Suppose -4*q - b - 6 = -5*q, y = -4*q - 5*b. Do q and 3 have the same value?
False
Suppose -18*a = -14*a - 36. Suppose -4*x = -4*w + x - 71, -w - a = -3*x. Which is greater: -23 or w?
-23
Suppose 18 = -4*r - 5*k, 3*r - 4*k = -1 + 3. Let v be (-2)/r + 5/55. Which is bigger: -0.2 or v?
v
Let s = -936/5 - -15722/85. Let w = s - -232/119. Is w < -0.3?
False
Suppose -50*g = -20*g - 24*g. Which is smaller: 0.007 or g?
g
Let i = -1356 - -1370. Is i less than or equal to 3/7?
False
Let f be 1/5 - 10386/(-45). Let i be 5/(-1) + f/49. Which is greater: i or 2/17?
2/17
Let i be (-2)/12*2*2. Let x = 53.2 + -47. Let q = x - 5.2. Which is smaller: i or q?
i
Let l = -49 + 55. Let m be (-1050)/56 + l/8. Is m less than or equal to -16?
True
Let k = 164 - 289. Is k less than -125?
False
Let u = 40 + -56. Let g = 26 + u. Let d be (-1)/g*(-10 - -12). Is 0 greater than d?
True
Suppose -11*q - 33 = -14*q. Let p(r) = r**3 - 5*r**2 + 3*r - 3. Let d be p(5). Which is smaller: q or d?
q
Let z(w) = -w**2 + 24*w + 84. Let s be z(26). Which is smaller: s or 41?
s
Suppose -16 = o + 3*w - 27, -2*o + 18 = 5*w. Which is smaller: 1/700 or o?
o
Suppose 2*c + 3*c = -2*n - 292, -295 = 5*c + 5*n. Let a = -29 - c. Are 31 and a non-equal?
True
Let o be 64/36 - (-4)/18. Suppose 5*v = -o*s + 2 + 2, 2*v = -4*s - 8. Let b be 1/v*4 - 3. Is 0 <= b?
False
Let c(z) = z**2 + 6*z - 2. Let r be c(-6). Suppose -2*p + 40 = -12*p. Which is smaller: r or p?
p
Suppose 3*f - 65 = 4*t, 0*f - 13 = 2*t + 5*f. Let j = 19 + -13. Let y = j + -19. Which is greater: t or y?
y
Let f(x) = 5*x**2 - 7. Let b(z) be the 