s**3 + 19*s**2 - 18*s + 1. Let p be g(18). Suppose 7*z = 3*z + y + 79, 5*z - 4*y = 85. Which is smaller: z or p?
p
Suppose 5*w - 5*t + 95 = 0, -w - 9 - 15 = 4*t. Let g(i) = 2*i - 8. Let f be g(w). Let r = 42 + f. Which is smaller: r or -50/9?
r
Let p(x) = 2*x**3 + 2. Let k be p(0). Let c be (-4276)/(-712) - 5 - (k + -1). Do 1 and c have the same value?
False
Let u = -37117 + 43895. Which is greater: u or 6777?
u
Let m = 341 + -343.096. Is -2 greater than m?
True
Let m be ((-312)/(-1092))/(9460/7). Is 0 at most as big as m?
True
Let h be -4 - (2 - (-2451)/(-351)). Let j = 7/13 - h. Let a(l) = -l**3 + 6*l**2 - 8*l + 1. Let c be a(4). Which is smaller: c or j?
j
Let q(f) = -4*f**2 + f + 2. Let w be q(0). Suppose -7*z + 12*z = -4*u + 194, w*z - 81 = -5*u. Are 40 and z unequal?
True
Let y = -15 - -51. Suppose -13*n + 609 = 141. Let u = n - y. Is -4 less than u?
True
Let h = 170 - 119. Suppose -h = -3*f - 9. Suppose f = 2*q + 14. Which is bigger: q or -3?
q
Let a be ((-8)/12)/((-1)/(-3)). Let s(y) be the first derivative of y**3/3 - 6*y**2 - 25*y - 70. Let n be s(-2). Do n and a have the same value?
False
Suppose 43*b = 13989 + 16326. Let m = -671 + b. Which is smaller: m or 29?
29
Let d(a) = 3*a - 17. Let u(w) = -w**2 + 8*w - 9. Let j(f) = -5*f - 30. Let b be j(-7). Let x be u(b). Let v be d(x). Is v smaller than 10/7?
True
Suppose 3*j = 4*y - 2*j - 264, 0 = y - 2*j - 63. Let u be (-7 - y)*(-3)/46 - 5. Let w = 3 - 2. Which is smaller: w or u?
u
Let m = 25464 + -25440. Is 230 equal to m?
False
Let w = -6.481 - -6.641. Which is bigger: w or 0.2?
0.2
Let j = 7694 - 7137. Is j smaller than -1/2?
False
Let n = 0.30921 + -0.22921. Which is bigger: 229 or n?
229
Let c = 37.1 - 74.1. Let i = 464.3 + -429. Let y = c + i. Does y = -2?
False
Let j be (136235/10 - 3) + (-1 - (-9)/(-18)). Is j < 13620?
True
Let n = 0 - -1. Let d = -881 + 1501. Let u = 620.002 - d. Which is bigger: n or u?
n
Let d = -8762 + 8760. Which is greater: d or -114/77?
-114/77
Suppose -6 + 1 = 5*i. Let d(b) = -b + 17. Suppose 0 = -30*y + 19*y + 220. Let z be d(y). Which is bigger: i or z?
i
Let s = -6 - -1. Suppose 0 = -657*h + 1766*h + 863*h. Is s at most as big as h?
True
Suppose 143 = 3*m - 79. Suppose m = -9*q - 304. Is -38 < q?
False
Let x be (-10)/10 + 1*11. Suppose -19*t + x = -17*t. Suppose 4*c - 3*j = 17, 5*c - 20 = t*j - 0. Are c and 5 equal?
True
Let i = 97/141 + -1/47. Let x = -10574.01 + 10495. Let l = x + 79. Is l bigger than i?
False
Let t = -1144/4249 + -10/607. Which is bigger: 470 or t?
470
Let x be (-6 + 1588/273)*3. Is 0 smaller than x?
False
Let k = 17.926 + 0.074. Let a = 1871 + -1871.01. Are k and a unequal?
True
Suppose -35*o = -39*o. Suppose 0*g + 2*g = -o*g. Suppose -5 = -g*u - 5*u. Is u != -1?
True
Let j = 22 + -25. Let n = -25.93 + 25. Let d = n + -0.07. Which is bigger: j or d?
d
Let k be -9 + (4923/567 - 6/(-63)). Is k at most -1171?
False
Suppose 0 = 4*i - a - 129, -81 = -2*i - 10*a + 5*a. Suppose -3*n = -d - 27, 0*n - i = 2*d + n. Let g be (-12)/54 + (-94)/d. Is g less than or equal to 2?
False
Let i = 2/747 + 8950/5229. Let b = 233 - 231. Which is smaller: i or b?
i
Let v = -0.5019 - -0.0579. Let b = v + 0.544. Which is smaller: 18/5 or b?
b
Let b = 86/47 - 5710/141. Let t = b - -85/2. Which is bigger: 3 or t?
t
Let x(h) = -2*h + 1596. Let l be x(0). Let w be l/(-2030) + (-8)/(-10). Let f = w + 228/4495. Which is bigger: -1 or f?
f
Let m(p) = p**3 - 18*p**2 + 15*p + 37. Let y be m(17). Suppose 15 = -y*n + 18. Is n >= -23?
True
Suppose -89*w + 119*w - 259 = -19. Is w less than or equal to 29/8?
False
Let g = -17 - -16.82. Let p = 1.33 - 0.13. Let a = p - 1.2. Are a and g equal?
False
Let z be (16/40)/((-1)/(-10)). Suppose z*w - 3*t - 185 = 0, w + 4*w - 232 = 3*t. Let j = w + -40. Which is greater: -0.3 or j?
j
Let m = -108 + 76. Let u = m - -44. Suppose -57*p + 59*p = 26. Which is greater: u or p?
p
Let k be 40/(-100) - (-34518)/(-30). Is -1151 at least as big as k?
True
Let u(n) = -n**3 + 8*n**2 + 14*n - 117. Let x be u(12). Is x greater than -525?
False
Let q = -491 - -609. Let x = 121 - q. Is -85 at least x?
False
Suppose -3*f - 5*l = -30, -494*f + 495*f - 4*l + 24 = 0. Is f bigger than -30/23?
True
Let c(q) = -532*q**3 - q**2 - 43*q + 86. Let i be c(2). Do i and -4261 have different values?
True
Let j = -2070 - -18638/9. Let z(g) be the first derivative of g**3/3 - 4*g**2 - 7*g + 1. Let b be z(9). Is b < j?
False
Let v = 11908 - 11889.177. Let r = v + 0.177. Which is smaller: r or 3/2?
3/2
Let c = -21.8459 - -0.4459. Is -31 >= c?
False
Let w = 1092 + -1471. Which is bigger: -1 or w?
-1
Let q = 29 + -25. Suppose 0 = 3*j - 7*z + q*z - 6, 3*j = 5*z + 10. Suppose p = 2*s - j*p + 5, 0 = -s - 4*p - 16. Is s at most as big as -4?
True
Let g be 0/(-5 + 11 + -10) + 4/2. Suppose 140 = 4*a - 0*a. Is g > a?
False
Let x = -555 - -2773/5. Which is smaller: x or -0.0331?
x
Let a be ((-14)/(-2))/(3 + (-4)/2). Let p be (1*16)/(14/a). Which is bigger: p or 0.04?
p
Suppose 32*d - 2*z = 29*d + 1496, -8 = 2*z. Is 1/6 smaller than d?
True
Let y = -4962.3 + 4961. Does 1/41 = y?
False
Let w be -6*8/12 + 5. Let u be 84/(-469) + 1 + -1. Let g = 314/1005 + u. Is w greater than or equal to g?
True
Suppose 144 = -6*g + 10*g. Let r be ((-18)/g)/(1/(-4)). Let k = -3 + r. Is k at most as big as -8/5?
False
Let c = 466.379 - -0.621. Let x = c - 470. Is -0.47 > x?
True
Suppose 224*u + 74*u + 930654 = 0. Do u and -3122 have the same value?
False
Let v = 38 + -41. Let o(u) = u**2 - u - 7. Let y be o(v). Suppose -38 + 6 = -q - y*j, 4*j = 20. Is q at least 5?
True
Let k be (-12 - 448/(-35))*10/(-4). Let c = 251 - 248. Is c less than or equal to k?
False
Suppose -18*z + 46 = -314. Let r be z/(-16) - 6248/(-4960). Does 0 = r?
False
Let z be 30/(-180) - ((-165)/(-18))/11. Is 4/1413 >= z?
True
Let b = -55 + 59. Suppose -b*r = -2*z - 0*z - 40, 0 = -2*z + r - 49. Which is smaller: -27 or z?
-27
Let b(r) = 9*r. Let x be b(-1). Let p be (567/(-8))/x + (-2)/(-16). Let h be 2/(p/(-148)) - 1. Which is smaller: h or -37?
h
Let u be 1/(-1)*38/16853*(-6)/(-4). Is u < -1?
False
Let o be (4/(280/217) + -3)*4. Is -0.127 at most o?
True
Let h be (405/(-10))/3*-2. Suppose 0 = -14*z + 43 + h. Suppose 4*x + x + 5*t + 20 = 0, 4*x - z*t = 20. Which is bigger: x or -5/13?
x
Let l = 22 - 22.21. Let f = -1.11 - l. Let o = -144 - -144. Which is bigger: o or f?
o
Let u be 1 + (2 - 5) + 156. Let t be (-7 + u/21)*15/(-20). Do -30 and t have different values?
True
Suppose 12 = j - 176. Let k be (141/j)/(26/16). Which is smaller: 0 or k?
0
Let q = -56007/76 + 737. Suppose 20*g - 63*g - 3154 = -3111. Are q and g equal?
False
Let a = -1 - -5. Suppose 3 = a*d - 5. Suppose -9*x + 4*x = -2*y - d, -2 = 2*y + 4*x. Which is bigger: -3/31 or y?
-3/31
Let z(d) = -56740592*d + 15. Let w be z(5). Let k = 14509987123849/51145 + w. Let l = k - -2/965. Which is smaller: l or -1?
-1
Suppose -3*t + 0 + 36 = 0. Let g be (t + (-644)/42)*18/10. Does g = -5/7?
False
Let h(c) = c**2 - 10*c + 13. Let d be h(6). Let f(j) = 2*j**2 - 2*j. Let v be f(3). Let i = -21 + v. Which is bigger: d or i?
i
Let c = 680 + -1312. Is c smaller than -632?
False
Let x = 1964 - 1964. Is x at most 2012?
True
Let m(w) = 3*w - 4. Let f = 50 - 50. Suppose 24*l - 20*l + 8 = f. Let a be m(l). Which is greater: a or -7?
-7
Let s = 34 + -20. Let i = 28 - s. Let g be ((-8)/i)/(1*40/(-28)). Is g >= -10?
True
Let l = 594 - 580. Suppose 18*f = l*f + 2*k - 270, 4*k + 370 = -5*f. Is -141/2 <= f?
True
Let x be -2 - 315*14/3 - (-3 - -9). Is -1478 greater than or equal to x?
True
Suppose 76*g + 39701 = 113*g. Is 1072 at least g?
False
Let u = 16 + -15.9. Suppose 0 = -2*t - 2*a - 10, -5*t + a - 15 = 4*a. Suppose t = -5*q - 50 - 15. Which is smaller: u or q?
q
Suppose -3*w + 3*m - 128 = -m, 156 = -3*w - 3*m. Let r = -9 + w. Let u be (r/12 + 6)/((-1)/8). Which is smaller: u or -13?
-13
Let y = -258 + 271. Let l(w) = -3*w**3 - 4*w**2 - 3*w - 2. Let h(a) = a**2 - 3*a - 2. Let x be h(3). Let g be l(x). Which is greater: y or g?
y
Let d be (187/51)/((-4)/12). Is d not equal to -210/19?
True
Let z = 381 + -41907/110. Is z less than -6/11?
False
Let d be -1 + 2*-4*6. Suppose -89*o + 73*o = -5*q + 858, -5*q + 234 = -3*o. Is o <= d?
False
Let r(l) = 21*l**2 - 5*l**3 - 4*l**3 - 10 + 25