*v - 6 = -0*d + d. Let y(r) = r**3 + 9*r**2 + 31*r + 293. Let j be y(-9). Suppose 4*z + d = j. Are z and 17/11 equal?
False
Let l be (3 + (-5)/(-10))*(-12)/(-7). Let g(p) = 6*p**2 - 33*p + 10. Let i be g(l). Let n = i - 29. Which is smaller: n or 3?
n
Let v(b) = b**2 + 104*b - 1206. Let z be v(-110). Which is smaller: -548 or z?
-548
Let u be (-330)/(-108)*(-4)/40. Is u >= 1?
False
Let o(w) = 17*w - 160. Let v be o(-26). Let p = v - -601. Is p equal to 3?
False
Let i(c) be the third derivative of -c**5/20 + c**4/2 + 19*c**3/3 - 230*c**2. Let u be i(-9). Is -314 < u?
True
Let r be 179*8 + (-6)/(-39)*13. Is r at most as big as 1433?
False
Let d be 96310*1/(-8) + 5 + 84/(-16). Do d and -12039 have different values?
False
Suppose 0 = 2*s - 9*t + 7*t - 2, -s + 7 = 5*t. Let n(o) = 2*o**2 + 7*o + 6. Let q be n(-4). Which is greater: s or q?
q
Suppose -80 = -264*o + 265*o. Let z be (o/(-35))/((-2)/(-14)). Suppose -5*d - 2 = -72. Which is smaller: z or d?
d
Let i = 18637 + -18731.8. Is 4/3 at least i?
True
Suppose -1046 + 1034 = -6*n. Let d(m) = -m**3 - m**2 + m - 3. Let k be d(-3). Suppose 4*c = -n*s - 6, 4*s + 11 = 3*c - k. Which is smaller: -2/19 or c?
-2/19
Let f = 26.79 - 27. Let x = f - 0.09. Is x at most 0.2?
True
Suppose -16*t + 17*t = 3*v - 3366, 3354 = 3*v - 5*t. Which is greater: -0.3 or v?
v
Let u be 308/(-26) - ((-324)/(-3))/18. Which is greater: u or -17?
-17
Let s(x) = 3*x**2 - 4*x + 8. Let j be s(7). Suppose 5*k = -4*w - 0*w + 164, -4*k + w + j = 0. Suppose -23*g + k*g + 99 = 0. Is -11 at most g?
True
Let o(r) = r**2 - 2*r - 21. Let q be o(5). Suppose 4*g - d + 2*d = -27, -5*g + 2*d - 50 = 0. Let v be g/3 + 3/(q/(-4)). Which is smaller: 0.24 or v?
v
Suppose -7857 = -3*n - 5*u + 13933, -3*u - 3 = 0. Is n at most -1?
False
Suppose 4*c = 3*u - 9, -2*c + 3 = -0*u + u. Let r be 8/((-8)/(-5)) + (2 - 2). Suppose -3*a = k + 11, 0 = 4*k + r*a + 9 + 21. Which is bigger: c or k?
c
Let t be 4/6*9/(-6). Let m be t/((-2)/(-3) + 2 - 3). Suppose f + l + 3 = 0, -f + 3*l + 5 = -m*f. Is 0 > f?
True
Let l = -33 - -34. Let o = -0.04 - -2.59. Let r = o - -0.45. Which is greater: r or l?
r
Suppose 0 = 30*l - 29*l - 4*h - 8, 0 = 3*l + 3*h + 6. Which is bigger: l or -2/64633?
l
Let b = 496/149 + -5169212/1553027. Which is smaller: 0 or b?
0
Let k(f) = -2*f**2 + 201*f + 406. Let y be k(-2). Does y = 3.3?
False
Let h be (5/1465)/((8 + -14)/(-12)). Suppose 4*f = f - 3. Which is smaller: h or f?
f
Let i = -6 + 44/7. Let l(x) = -3*x - 109. Let w be l(-40). Suppose 9*t = -w*t + 20. Which is bigger: i or t?
t
Let c = 1.24 + -1.147. Let w = c + 0.007. Which is bigger: w or 2/67?
w
Let t = -69.94 - 0.06. Let h = -46 - t. Let p = 37 - h. Is -2 at least as big as p?
False
Let l = 4425.6 - 4422. Which is greater: 9/10 or l?
l
Let m = -349/4 - -3125/36. Let b = -72.943 + 73. Let r = -1.943 - b. Does r = m?
False
Let i be (-121)/1 - (-1 - (-4 - 2)). Let y be (-168)/i*54/(-304). Is 1 >= y?
True
Let g be 4/((-82)/(-451) - 782/4180). Let a be (-5 - g/(-24))/((-3)/(-18)). Is a > -220?
False
Suppose -5*c + 205 = 165. Let f = c - 8. Which is bigger: -84 or f?
f
Let j(f) = 68*f + 352. Let y be j(-6). Suppose -86 = 2*c + 4*w + 60, -61 = c + 5*w. Let h = 25 + c. Is y at least h?
True
Suppose 40*k - 58293 + 192143 = -10*k. Is k > -2677?
False
Let y = -8.2 + 1.2. Let p be (16/70)/(6/21). Which is greater: y or p?
p
Suppose 154*w = 150*w + 8. Let p be 2/(w*(-5)/(-485)). Does p = 98?
False
Let m = -1257.7 + 1965.8. Let n = -708 + m. Which is smaller: 33.6 or n?
n
Let q(w) = 12*w**2 + 109*w - 5. Let k be q(-8). Is k >= -109?
True
Suppose 0 = 500*v - 393*v + 17655. Is v bigger than 23?
False
Let d = -2/37 + 189/74. Let z be 7 + 2895/(-710) + -3. Let j = z - 30/71. Do d and j have the same value?
False
Let v = 696 - 55681/80. Suppose 5*f = -7*o + 4*o - 200, 4*o = 4*f + 160. Let t be 0/(30/f + 2/(-8)). Is t greater than or equal to v?
True
Suppose -50114 = -5*r - 147*u + 145*u, -5*u - 50135 = -5*r. Is r bigger than 10024?
False
Let z be 9/(-3) + -10 + -3. Let q = -2349 - -2349.1. Is q at most z?
False
Let j be 20/5*((-20)/(-8) - 3). Let l = 0.05 + -0.076. Let w = -0.426 - l. Is w at most as big as j?
False
Let b(r) = -r**3 - 36*r**2 - 16*r + 130. Let m be b(-30). Is -0.1 at most m?
False
Let x be (33/(-6) - 19/38)*-431. Is x <= 0?
False
Let x be -534*((-369)/(-27) + -14). Is x greater than 1?
True
Let u be 10/(-9)*(4 + 263457/198). Let q = u - -1483. Suppose 2 = r - 1, -3*d - 15 = -5*r. Which is smaller: d or q?
d
Let t be 12/(-12) - 25/(-23). Suppose 0 = -0*a - 2*a + v - 157, 4*v = -4*a - 284. Let k = 77 + a. Which is smaller: t or k?
t
Suppose 5*r - 23 = -n, n = 24*r - 19*r - 17. Let h = 0 - -3. Suppose h*i + 14 = 4*v, -6*v - 5*i = -2*v - 30. Is n less than or equal to v?
True
Suppose q + 21 = 8*q. Suppose -3*n - 118 = 2*f, -q*f + 2*n = 75 + 115. Which is smaller: -304/5 or f?
f
Let d = -16496 + 48085838/2915. Is d at most as big as 0?
True
Let a = -214 - -197. Suppose 27*u = 36*u + 144. Is a greater than or equal to u?
False
Let y = -156 + -382. Let l = y - -584. Which is greater: 1/4 or l?
l
Suppose 9 = -3*w, 0 = -3*i - w - 739 - 383. Let m = 350 + i. Does -89/4 = m?
False
Let x(v) = v - 14. Let l be x(12). Let z be (10 - 9)*(-18 + l). Let w be 26/(-26) + z*1. Is 2/3 > w?
True
Let g(p) = 11*p - 3. Let d be 2/12 + 63/(-54). Let r be g(d). Does r = -29/2?
False
Suppose 248*i + 3791 = -882 - 1527. Which is smaller: i or -774/31?
i
Let c(x) = -13*x - 6. Let v be c(7). Let g = -93 - v. Suppose 0 = g*u - 10 - 46. Which is greater: 16 or u?
16
Let o be 5 - (14/(-2) - -4). Let z be (-1)/((-4)/(o + -4)). Let y = 64 - 36. Which is greater: y or z?
y
Suppose -152 - 156 = 23*l - 55. Let x(u) = -u**3 - 5*u**2 + 2*u - 2. Let n be x(-5). Is n at most as big as l?
True
Let a = -80 - -77. Let m(c) = -c**3 - 2*c**2 + 5*c + 5. Let w be m(a). Let t be (-24)/(-96) - ((-94)/360)/(-1). Is t smaller than w?
False
Let t(q) = 60*q**3 - 3*q**2 - 36*q + 37. Let n be t(1). Which is smaller: n or -33?
-33
Let t = 216 + 130. Let r = t + -269. Are 76 and r equal?
False
Let o = 88 + -87.88. Let p = -1.3 + -26.7. Let w = p + 27. Which is bigger: w or o?
o
Let v be 3268/(-301) - (-2 + -10). Are v and -1/107 nonequal?
True
Let p = 199957/15671832 + -29/2136. Is 0 greater than p?
True
Let m be (665/(-63) - -11)/((-46)/129). Is -2 < m?
True
Let o(c) = 1438*c + 2877. Let j be o(-2). Which is smaller: j or 152/159?
152/159
Suppose -h - 929 - 79 = -4*b, 2*h = 3*b - 2006. Let q be 3/(-9) + 0 + h/(-3144). Which is smaller: 1 or q?
q
Suppose -20416 = 23*b - 137854. Does 5106 = b?
True
Let c = -10773 - -10774. Let w be (-1)/3 + (-242)/(-717). Is c smaller than w?
False
Let v = 18.66 + 3.34. Is 28 < v?
False
Suppose 0 = -s + 2*s - 20. Let m = -19 - s. Let i = -56561 - -56521. Is i less than m?
True
Let x = 53.91 - 54.09. Is 9 != x?
True
Let o(x) = -58 + 75*x - 63*x - 15. Let f be o(6). Let g be (-1)/(-2) + 213/(-402). Which is smaller: g or f?
f
Suppose 0 = -m + 74*n - 73*n - 500, -m - 5*n - 542 = 0. Which is greater: m or -509?
m
Let a(x) = -2*x**2 - x. Let s be a(-1). Suppose 0 = 7*w - 4*w - 4*f + 8, 5*w + 24 = -4*f. Let d be 4/(w/(-8) + s). Which is smaller: -3 or d?
d
Suppose -c - 16 + 7 = 0. Let o be 7/21*c/(-1). Is o greater than or equal to 18/5?
False
Suppose 0 = 4*f + 258 + 54. Let x be (f/(-36))/(4/3). Is x <= 2?
True
Let g = -220.1 - -219.94. Which is smaller: 2 or g?
g
Let c = -185 + 169.1. Let y = -0.2472 + -15.7528. Let r = c - y. Which is bigger: r or -3?
r
Let o = 2.3 + -0.3. Suppose 5*g + q - 134 = 0, -4*g = -g - 2*q - 83. Suppose 0 = -5*t + 3*u - 0*u - g, 0 = -t + 4*u - 19. Which is smaller: t or o?
t
Let i = 180.3 - 180.3. Which is bigger: 163.5 or i?
163.5
Suppose -14*w - 88*w - 56202 = 0. Are w and -551 unequal?
False
Let q = 344 + -344. Suppose c + 9 = n - 4*n, 5*n + 15 = q. Are 2/21 and c unequal?
True
Let b be -9*(-41)/(-410)*10/(-24). Which is greater: 46/7 or b?
46/7
Suppose 9 - 12 = -k. Suppose -4*x + 26 = -2*w, 19 = 2*x + 2*w + k*w. Suppose -3*d + 126 = 3*b, 3*b - 2*d + x*d - 116 = 0. Which is greater: b or -0.1?
b
Let j be (0 + (20/7)/(-2))*(106 + 4077/151). Suppose 0 = -5*c + 2*t - 937, -5*t - 398 = 5*c - 3*c. Which is bigger: c or j?
c
Let w(p) = p**2 + 11*p. Let m(j) = j**3 - 4*j**2 - 6*j - 6. Le