. Are r and d equal?
True
Let m = 415 - 414. Is 1/161 at most as big as m?
True
Let c be -5*8/(-300) - 116/(-30). Let k be (-3)/12 - (c + (-51)/28). Is -3 at least k?
False
Let o be -1*((8 - 0) + -9). Suppose 3*t - 4*t = -2. Which is smaller: o or t?
o
Let z = 36 + -36. Suppose 5*y - y + 40 = z. Which is smaller: y or -9?
y
Let k = 353/5 - 69. Let n be (-348)/8*(-3)/45. Let s = k + n. Is s smaller than 4?
False
Let b(r) = -56*r**3 + 3*r**2 - r - 2. Let y be b(-1). Let k = 71 - y. Is k less than 13?
False
Let s = -22 + 22.35. Let t = 0.25 - s. Which is smaller: 1/10 or t?
t
Let x = 7496/5 + -1490. Is 8 bigger than x?
False
Let b = 4 - 5. Let v = -16 - -20. Let l be (-2)/v*(-4)/(-6). Is l > b?
True
Let v = 83 - 76. Let n = -6 + v. Which is smaller: 7 or n?
n
Let v = 308 - 1534/5. Let n be 1/(-4) - (-3)/(-4). Which is smaller: v or n?
n
Let k = 395 + -403. Are 0 and k equal?
False
Let a = 9 + -16. Suppose 0 = 2*w + 2*r - 6, -26*w + 4*r = -22*w - 4. Let j be (a/(-2) - -1)*w. Which is bigger: j or 10?
10
Let v(s) = s**3 - 45*s**2 - 55*s + 731. Let b be v(46). Is b less than 633/2?
False
Let b(i) = -20*i**3 + i**2 + i + 3. Let s be b(-2). Let g = s + -110. Is 55 less than g?
False
Let j be (-7 + 6)/((-3)/1110). Suppose 7*x + j = 17*x. Is 37 at least x?
True
Suppose 9*g = -53 - 28. Does -75/8 = g?
False
Let d = 677445/194 + -3492. Is 1 equal to d?
False
Suppose 0 = 3*i - 3*z + 123, 63 = -3*i + 5*z - 58. Let l = i - -23. Are l and 0.1 non-equal?
True
Let d = -1.021 - -0.021. Which is bigger: -181 or d?
d
Suppose -12 + 0 = -3*g. Suppose -15*z = -25*z - 660. Let x = z - -72. Are x and g nonequal?
True
Let l = 181 - 41. Suppose 3*p + 2*q = q + 92, 5*p - l = q. Is 31 at least as big as p?
True
Let n(b) = -20*b + 122. Let r be n(5). Which is smaller: r or 50?
r
Suppose 2*r = 2*x - 0*r - 14, 2*x - 3*r - 18 = 0. Suppose x*h = 7*h - 8. Let s = h + 1. Which is greater: 1 or s?
s
Let q(m) = -2*m - 46. Let v be q(-24). Let b be (7 - 140/21)/(v/6). Is b less than or equal to 7/3?
True
Let b(s) = 3*s**2 - 9*s. Let w be b(3). Suppose 4*k + 16 = 0, -3*c + 2*k + 8 = -w*c. Which is greater: 10/19 or c?
10/19
Suppose -3*i + 7 = -4*i. Let p = 5 + i. Let u be 12/144*-3 - (-50)/8. Which is smaller: p or u?
p
Suppose -3*p = -2*z - 593, -4*p + 4*z = -1070 + 274. Which is smaller: 389/2 or p?
389/2
Let h be (2/18002 - 0)*2. Let i = h - 621139/315035. Let t = i + 18/7. Is 0 at most as big as t?
True
Let l = -153.273 - -153. Are l and 2/7 unequal?
True
Let b = 3 + -3.2. Let h = b - -0.1. Let g = 27 - 29. Is h at most as big as g?
False
Let t(y) = 662*y**3 - y**2 + y + 1. Let c be t(-1). Let m be c/(-36) - (0 + -1). Let x = m + -103/6. Which is smaller: 2 or x?
2
Let v = -3.5 + 3.7. Which is smaller: -36 or v?
-36
Let b be (11/55)/(104/(-20) + 5). Which is bigger: -3/73 or b?
-3/73
Suppose -m = b + 53, 148 = -4*b - 3*m - 59. Is b less than -48?
False
Let s(n) = n - 10. Let w(y) be the second derivative of y**3/6 - 5*y**2 - 9*y. Let i(x) = 4*s(x) - 5*w(x). Let l be i(6). Is l smaller than 0.2?
False
Suppose 3*i - 4*i + 3 = 0, 5*y - 5*i + 5 = 0. Let p be y + ((-9)/(-3) - 6). Let b be (3/(-55))/(24/60). Are p and b equal?
False
Let n(z) = -z**2 + 5*z - 81. Let q be n(12). Which is bigger: q or 0?
0
Suppose 165 = -5*d - 2*j + 57, -20 = 5*j. Which is smaller: d or -2?
d
Let a = 31.483 + -2.483. Which is smaller: a or 3.6?
3.6
Let w = 799 - 746.72. Let n = -0.28 + w. Is 1/2 less than or equal to n?
True
Suppose 67 = -4*x - 17. Let t = 23 + x. Which is smaller: t or 9/5?
9/5
Let h = -88 + -78. Which is smaller: -168 or h?
-168
Let t = 0.476 + -0.511. Is t <= 4/5?
True
Suppose 9*a = 7*a. Suppose 5*m = -11*m + 48. Is m less than or equal to a?
False
Let o = 4.9 - 26.9. Let x = 27 + o. Let n = 0.02 - -0.28. Which is smaller: x or n?
n
Let n = -1168 + 1226. Is n at least as big as 57?
True
Let k be -1*2/2 - 1. Let z be 636/(1 + 1)*(-2)/2. Let x be (-5 + z/(-66))/(-1). Which is greater: x or k?
x
Let k be (2 - (-8)/1) + (1 - 0). Suppose -12 = k*z - 12*z. Is 12 <= z?
True
Let h(o) = -2*o + 9. Let f be h(-8). Let m be ((-135)/f + 5)*-5. Which is greater: 3 or m?
3
Let s = -51 - -55.2. Let n = 1.2 - s. Let l = n + 3.1. Is l bigger than -2?
True
Let f = -60 - -52.95. Let t = f + 0.05. Let z = t - -7. Which is smaller: 1/4 or z?
z
Let l be -1 + 10 + 10 + -60. Is -4 smaller than l?
False
Let x(a) = a**2 - a + 1. Let s be x(1). Let g be (-25)/(-425) - (3 + -3)/1. Do s and g have different values?
True
Let n(g) = 8*g**2 + 7*g + g**3 + 4 + 2 - 1 - 3. Let s be n(-7). Let i(j) = 2*j - 1. Let l be i(2). Is l equal to s?
False
Let o = 25 - 24. Let x be o/(12/40) + (-2)/(-3). Let t be 6/(-4)*(-3 + 1). Is x at least t?
True
Let j = 31202/47 + -664. Let u be 1120/(-1288) - 21/161. Is u less than j?
True
Let o = 35.7 + -37. Let r = o - -3.5. Let v = 2 - r. Which is smaller: -0.04 or v?
v
Let z be (0 - -1) + (-34)/30. Let t(o) = -o**3 - 8*o**2 - 2*o - 12. Let w be t(-8). Suppose -w*y + y = 0. Is z greater than y?
False
Let g = 0.2 + 0.2. Let o = -22 + 25.4. Let v = o + -3.5. Do v and g have different values?
True
Let d = -177 - -177.2. Are 44 and d equal?
False
Let t = 0.15 + -0.24. Are 2.2 and t equal?
False
Let g(f) = f**3 + 7*f**2 - 4*f + 11. Let t be g(-9). Let k = -569/5 - t. Let q be 0/(9/3 + 0). Is k at least as big as q?
True
Suppose -4*x = 8*p - 4*p + 48, -4*x + p - 38 = 0. Let r = 0 + x. Let l be ((-1)/4)/(r/(-8)). Which is greater: 0 or l?
0
Let a = -22 - -12. Let v be (4/205)/(a/25). Let r(z) = z**3 - z. Let b be r(-1). Which is smaller: b or v?
v
Let p(a) = -a**2 - 22*a - 32. Let m be p(-21). Is m bigger than -8?
False
Suppose 5*x = 0, m - x + 0*x = -286. Let y = m - -591/2. Is 11 smaller than y?
False
Let s(i) = -10*i - 125. Let k be s(-10). Does k = -23?
False
Suppose 4*o = 4*s - 464, 5*s + 2*o - 666 + 114 = 0. Suppose -70 = -6*z - s. Is -1 greater than or equal to z?
True
Let m = 0.1 - 0.28. Let q = 1.38 + m. Let w = -1.1 + q. Is -2 > w?
False
Suppose 2*j + 236 = 2*r, 2*r - 261 = -7*j + 4*j. Is r >= 125?
False
Let b = 50 - 35. Let l(a) = a**2 - 9*a - 89. Let j be l(b). Let t = -0.6 + 0.3. Is t at most j?
True
Let h be ((-1)/((-162)/24))/(2/14). Let j = -1558/1485 + h. Which is smaller: -1 or j?
-1
Suppose -3*f + 948 = 5*h, 3*f - 8 + 20 = 0. Is 193 greater than h?
True
Suppose 0 = 14*g - 4*g. Which is bigger: g or -39/4?
g
Let j = 14/31 - -3/62. Which is greater: -0.76 or j?
j
Let o(v) = v - 9. Let t be o(15). Suppose -5*y = 2*r - 8, 2*r - t*r = y + 2. Let g be 4/(-16)*y*22. Does g = -12?
False
Suppose 4*w = -w + 2*c + 428, -4*w = -5*c - 356. Let q be 4/14 + (-24)/w. Which is smaller: -1/75 or q?
-1/75
Suppose 4*w - 247 = 193. Let k be (-668)/(-15)*(-10)/4. Let c = w + k. Is c at least -1?
False
Suppose 0 = 5*b - 4*o - 7, -2*b + 6 + 4 = -4*o. Which is smaller: -2/1321 or b?
b
Let d = -93.78 + 94. Let g = 11.22 - d. Which is bigger: g or 0.06?
g
Let s(c) = -c**3 - 21*c**2 - 24*c + 27. Let d be s(-20). Let a = d - 2035/19. Suppose 0 = -j + 2*j. Which is smaller: a or j?
a
Let u = 0.74 + -70.74. Let b = -69.9 - u. Are -4/5 and b nonequal?
True
Let a = -1.95 + -0.05. Let b = -89 - -145. Let c be 12/b*(-4)/(-6). Which is smaller: c or a?
a
Let j = -2327/7 + 333. Let f be ((-16)/12)/((-4)/6). Are f and j nonequal?
True
Suppose -18*i - 3*h = -13*i + 5155, -2*h + 4102 = -4*i. Which is greater: -1 or i?
-1
Suppose 2*s + 13 = 3*q - 76, 0 = -5*q + 2*s + 151. Let j = -29 + q. Let n = 0.1 + 0.1. Is n smaller than j?
True
Suppose -44 - 14 = 4*y - 2*u, 4*y = 5*u - 73. Let g = y + 10. Let p = -2 + g. Is p != -1?
True
Suppose 79 + 106 = 5*a + 5*w, -4*a + 154 = w. Suppose 95*p - 98*p = a. Which is greater: -12 or p?
-12
Let b = -830 - -832. Which is greater: -13 or b?
b
Let y(h) be the second derivative of -h**3/6 + 9*h**2/2 - 6*h. Let p be y(7). Suppose -f = 5*m - 6, -f = 5*m + f - 2. Are m and p non-equal?
False
Let t = 3 - 2.9. Let x = -35.3 - -41.22. Let u = x - 6. Is t smaller than u?
False
Let b = 7/8 - 13/24. Suppose -d + 2*v = -1, -5*d - 2*v - 5 = 2. Is d less than or equal to b?
True
Suppose -z - 6 = -4*z. Let r be (-6)/(-10) + (-24)/(-40)*-1. Which is smaller: r or z?
r
Suppose -30 = -5*x - 5. Suppose -x*r + 7*r = -14. Which is greater: r or -6?
-6
Let k be 185/37 + -2*79/2. Does k = -2/7?
False