 + 1 + 1 - 40. Let b = -23 - s. Is b at least 15?
False
Let c(y) = -84*y + 4123. Let a be c(50). Is -67 smaller than a?
False
Suppose 79*m + 70*m = -26*m + 8225. Is -119 at least m?
False
Let i be (69 - 68)/((-2)/(-8)). Let h be 17 + (-14)/(-7) + i. Let f(z) = -z + 24. Let y be f(0). Which is greater: h or y?
y
Let x be 4/(-6) + 1820/(-600). Let n = 523 - 527. Do x and n have different values?
True
Let f = 15 - 61/4. Let r = -77 - 136. Let c = r - -130. Which is smaller: c or f?
c
Suppose 5*d - u + 23 = 0, 0*u - 4*u = 3*d. Let z be (-78)/133*34/d + -5. Which is bigger: z or -1?
z
Let y be ((-35)/(-70))/(1/(-2)). Let u(l) = -19*l**3 + l**2 + 6*l + 4. Let z be u(y). Is 8 != z?
True
Let d = 1612/95 + -330/19. Which is smaller: -1860 or d?
-1860
Suppose -3*p - p + 16 = 0, -p = -5*j - 4. Suppose -2*m - 80 = 3*i - 6*i, 2*m + 2 = j. Which is greater: 27 or i?
27
Let b(l) = -102*l - 853. Let a be b(-8). Which is smaller: -2 or a?
a
Suppose -99*j + 4*q + 1368 = -104*j, 3*j + 808 = 4*q. Is j < 34?
True
Let r(j) = 12*j**2 + 36*j - 352. Let c be r(-11). Which is smaller: 705 or c?
c
Let d be 2/5 - (56832/(-30))/4. Suppose -2*g - 3*t = 3*g - d, 4*g - 3*t - 390 = 0. Let n be 21/(-15)*g/(-28). Is 4 bigger than n?
False
Let p = 1636155307/380 - 4305667. Let i = p - 49/10. Suppose 6*z - 4 - 2 = 0. Is i at most z?
True
Let c(z) = z**2 + 11*z - 40. Let i be c(-15). Let q be (7/(-2))/(i/8 + -3). Are 7 and q non-equal?
False
Let m = -13154 - -13167. Is m < 678/49?
True
Let n = -689879/167 - -4131. Suppose 63*f - 56*f + 32 = -25*f. Does f = n?
False
Suppose -83*l + 14 = -82*l. Suppose -l = 5*u - 29. Which is greater: u or 21/5?
21/5
Suppose -4*o = o - 35. Let j be o*(3 + -8 - -4). Let n be (j - -3) + 2 - -13. Is 12 >= n?
True
Let r be (-50)/224 - (-2)/7. Suppose -634 = -5*k + 2*o, 6*o - 5*o - 643 = -5*k. Suppose 0 = -131*m + k*m - 6. Is m <= r?
True
Let z = -1.7 + 1.636. Let n = -0.0533 - 4.8827. Let j = z + n. Which is smaller: j or -0.2?
j
Suppose -4*h + 6*h - j = 2, 0 = -3*h + 3*j + 9. Which is bigger: 2/697 or h?
2/697
Suppose 0 = -u + 2*r - 4 + 20, 0 = 5*u + 4*r - 150. Which is smaller: u or 25?
25
Let a(b) = 5*b - 2 + 3*b**2 + 7*b**2 - 5*b + b. Let u be a(2). Suppose -2*c - 6 = -u. Do c and 2 have the same value?
False
Suppose 0*y - 2*t + 1074 = 3*y, 0 = -5*y + t + 1803. Suppose -19*a + 7*a = -y. Which is greater: a or 88/3?
a
Suppose -8*t - 8094 = -27*t. Let q = t + -435. Which is bigger: q or -110/13?
-110/13
Suppose -3225*k + 3229*k = 5*r + 237, -3*k - 5*r + 239 = 0. Let b = 40 - -26. Which is greater: k or b?
k
Let j be ((-4)/6)/(((-140)/36)/(-5)). Let u = 29.3 - 27. Let v = u - 2.4. Which is smaller: j or v?
j
Let f be 45/12 - (-1)/1. Suppose 2*l - 12 = 3*p, -127*p - 2 = -2*l - 129*p. Are l and f equal?
False
Suppose -71 - 89 = -32*i. Let p be i + -14 - -8 - -232. Which is greater: 232 or p?
232
Let x be (1/(-2))/((-66965)/(-1362)). Is x != -0.04?
True
Let x(w) = 15*w**3 - 4 - 14*w**3 - 4 - 8*w + 0 + 18. Let v be x(2). Is v bigger than 14/23?
True
Let a be 50/(-168) - (-2)/6. Let x = -300.65 + 2.65. Let b = 298.1 + x. Which is bigger: a or b?
b
Let b = 60.7299 - 9.6369. Let q = 0.093 - b. Let r(d) = -d**3 + d. Let o be r(-1). Is q <= o?
True
Suppose 3*o + 61 - 10 = 5*l, l - 24 = -4*o. Let a be (-1580)/l*(-1)/(-5). Which is smaller: -27 or a?
-27
Let w(l) = 99*l**2 + 16*l + 24. Let c be w(-9). Let b = c + -39291/5. Is b at least 42?
False
Let a = 6568 + -6565.1. Which is greater: a or 7/4?
a
Let z = -483 - -482. Let p(i) = i**3 - 5*i**2 - 8*i + 8. Let q be p(6). Let j be -3*(q/(-12) + z). Is 4 greater than j?
True
Let o = -9.87 - -9.4. Let i = -13.57 - o. Let g = 13 + i. Which is smaller: g or -24?
-24
Let d be 5/3 + (-1972066)/(-129) - 13. Are 15275 and d unequal?
True
Suppose -253*u + 255*u = -28. Let f be 12/u - (-5 - -3). Let j = f - 31/28. Which is bigger: 0.3 or j?
0.3
Let j = 337 - 336.9848. Let k = -0.2152 + j. Let a = 0.03 - 0.15. Is a greater than k?
True
Let g = -1571 - -2464. Suppose 4*q + g = -15*q. Is -50 not equal to q?
True
Suppose 10 = 2*n - 3*n + 5*u, -2*u = 5*n - 4. Let c be (-161201)/(-118401) - 2/(-3) - 2. Let w = 3/647 + c. Which is greater: n or w?
w
Let t(w) = w**3 - w**2 - 16*w - 6. Let b be t(-3). Let h be (-7)/21*b/4. Is -156 at least as big as h?
False
Let y = -199/45 - -353/90. Is -532 bigger than y?
False
Let a = 181 + -175. Let t = a - -54. Is 61 < t?
False
Let f = 2264 - 2265. Is 5/843 greater than or equal to f?
True
Let o be ((-99955)/254)/(5689241/(-1896405) + 3). Let t = o + -28703079. Let g = -2/1651 - t. Which is smaller: g or -3?
g
Let s = 53.31 - 53.39628. Is 0 bigger than s?
True
Let r = 631 + -645. Let d = -18 + 15.9. Let t = d - -2. Which is bigger: r or t?
t
Let o = -1/391 - -1180/2737. Let l = -154/3 + 52. Does o = l?
False
Suppose -259 = -y + 3*v, -v - 1218 - 105 = -5*y. Let b = y + 174. Is b less than or equal to 439?
True
Let f = 3.43 - 3.3. Let t = 7054 - 7054.204. Let z = t + f. Are z and -2/7 unequal?
True
Suppose 0 = -4*g + 61 - 17. Let s be (1/(-3))/(g/11). Is 1 less than s?
False
Let j(k) = -10*k + 45. Let h be j(9). Let n be -25 + 21 - h/12. Which is greater: 234 or n?
234
Let m(k) = -9*k + 48. Let o be m(20). Let z = o - -136. Let t(y) = -4*y + 27. Let u be t(z). Is 9 < u?
True
Let d = -38 - -38.92. Let u = 0.18 - d. Let v = u + 0.64. Which is smaller: -0.049 or v?
v
Let p be (-2)/(-26) + 610326/(-533). Is p bigger than -1147?
True
Let d(a) = 397*a**3 + 2*a**2 - 4*a + 5. Let f be d(1). Is f not equal to 404?
True
Let g(k) be the first derivative of k**4/4 - 3*k**3 - k**2/2 + 11*k + 2. Let i be g(9). Let p be 445/(-89) + 2 + 62/16. Is p greater than i?
False
Suppose 428 = 440*t - 442*t. Let p = t - -213. Which is greater: 5/28 or p?
5/28
Let g be (3/(-4) - 1)/((-9)/36). Suppose -159 = g*c + 177. Let v be 90/(-2) + 3 + -5. Which is smaller: c or v?
c
Suppose 3*x = 5*x - 4*s - 516, 5*s = -3*x + 829. Let f = x - 36. Suppose 692 = -5*g + f. Is -93 bigger than g?
False
Let h = -39/4 + 10. Let k(u) = -u**2 - 14*u - 18. Let o be k(-12). Let a be 76/(-57) - (-2)/o. Is h at least as big as a?
True
Let o be 5/(((-2)/(-14))/(5/35)). Suppose 53 = o*x - 117. Let u be x/(-70) + (-10)/(-50). Is 47 not equal to u?
True
Let k be (-3 - (-8082)/(-165)) + 14/77. Let q = 1758/35 + k. Is q smaller than -2?
False
Let q = 344 + -2405/7. Which is smaller: 547 or q?
q
Let q = -1971 - -5579. Is 3606 less than q?
True
Let q(d) = d**2 - 3*d + 3. Let y be q(2). Let s = 114386/79 + -1448. Does s = y?
False
Suppose 4*x + a + 42 = 0, -4*x - 82*a + 80*a = 40. Suppose 0 = -4*z - 3*p - 25, -p + 1 = z + 7. Which is greater: z or x?
z
Let f = 19760.09495 - 19760. Which is greater: f or 0?
f
Suppose 116*f - 52*f = 49*f - 18525. Does f = 0?
False
Let l be 694/(-1652) + (2088/203)/24. Which is greater: l or 0?
l
Let z = 6.8 + -0.8. Let i be (-8)/(-12)*279/930. Which is greater: z or i?
z
Let w = -0.3 - -0.5. Let c = -50.27 + 306.97. Let i = -257 + c. Which is smaller: w or i?
i
Let q = 8/2643 - 16922/351519. Which is smaller: -2/5 or q?
-2/5
Let j(u) = 8*u - 38. Let s be j(8). Suppose 1032 = -s*o + 20*o. Which is smaller: -171 or o?
o
Suppose -2*x - 3*x + 11828 = -p, 2*x - 4*p - 4742 = 0. Which is smaller: 2366 or x?
x
Let j(y) = y**3 + y**2 - 1. Let t(q) = q**2 - 3*q - 4. Let w be t(4). Let m be j(w). Let h = 519 - 12972/25. Which is smaller: m or h?
m
Suppose -380 = -6*z + 2*z - 6*f, -284 = -3*z - 4*f. Let v = 18 + -16. Suppose 5*w = v*w + 279. Is z less than w?
True
Let w(q) = 9*q + 58. Let f(k) = -5*k - 29. Let z(m) = 10*f(m) + 6*w(m). Let y be z(17). Is y bigger than 126?
False
Let c = 1587 - 1588. Which is greater: -63/74 or c?
-63/74
Suppose -5*j - 30 = -4*u, 5*j - j = -5*u + 17. Let a be -3*(u/3 + -1). Suppose -8*h + 11*h = 4*q, -3*h = q. Which is greater: a or q?
q
Let b = 1213253/58 - 20918. Suppose -4*g + g = 0. Which is greater: g or b?
b
Suppose -4*c + 9 - 1 = -4*q, -2*q + 3*c - 6 = 0. Suppose q = 97*m - 114*m. Which is smaller: 41 or m?
m
Let u be -2*(-1*1 + 127336/127248). Is -1 != u?
True
Suppose 3*u = 5*w - u - 16, 4*w + u = -4. Suppose 0 = -2*f - w*f - 16. Suppose 0 = -2*p + 6 - 22. Is f < p?
False
Let f = -7.7 - -92.5. Let g = 87 - f. Which is smaller: -2 or g?
-2
Let v be 2*((-164)/8 - 0). Let w(x) = x**3 - 7*x**2 + 