t s(u) = u**3 + 32*u - 253. Let g be s(0). Which is greater: g or -1264/5?
-1264/5
Let b be (-73)/50 - (-3)/6. Let g be (-50)/(-30) + (-10)/6. Which is greater: g or b?
g
Let n = -18805 - -18813. Which is smaller: -35.2 or n?
-35.2
Suppose 0 = 4*b + s + 4, 1 = -4*s + 17. Let t be b/((-9)/(-27) - 100/372). Which is smaller: -26 or t?
t
Suppose -2*p = -7*p - 5. Let h be 6/((42 + -12)/(-10)) + 136/69. Which is smaller: p or h?
p
Suppose -117 - 67 = 351*v + 167. Is v <= -12/277?
True
Let c = -0.6593 + 0.6593. Is 1127 >= c?
True
Let s = 3469 - 3467. Let w = 630.94 - 646. Let m = w + 0.06. Which is greater: s or m?
s
Suppose -4*m - 123444 = 4*n, 61723 = -2*m + 4*n - 5*n. Let c be m/480 - (-1 + 2 + -3). Let k = -312/5 - c. Is k >= -1?
True
Let g = 43 - 38.1. Let p = g + -4.6. Which is greater: -13 or p?
p
Let y be (-269840)/(-232) + (-1 - -2) - -3. Let w = -1167 + y. Are -1 and w nonequal?
True
Suppose -w - 3 = 0, -5*t - 10*w + 72 = -14*w. Suppose -2*u = -4*j - t, 0 = -2*u + 5*j + 17 - 1. Which is greater: 11 or u?
11
Let w = -65.85568 + -0.14432. Is 0.12 equal to w?
False
Let i(d) = d**2 + 12*d + 40. Let t(l) = -l**2 - 23*l - 30. Let w be t(-21). Let p be i(w). Is p at least as big as 328?
True
Let n = -3 - -6. Let h be (n/(15/4))/(-2). Let o = -187962 + 751851/4. Is o at most as big as h?
False
Suppose 16*o = 10*o + 30. Suppose -t = -4*k - 5, -3*k - o*t + 11 = -14. Which is bigger: -2.5 or k?
k
Suppose 69*f + 9805 + 14963 - 7587 = 0. Which is greater: -250 or f?
f
Let r = 4654794/473 - 9841. Which is smaller: 0 or r?
0
Suppose -w + 17 + 26 = 0. Let n = -215 + w. Let u be n/(-10) - 8/40. Is u greater than 17?
False
Let p be (-3)/(-48) - (126370/(-480) + -6). Which is smaller: 269 or p?
269
Suppose 4*p + 818 = 2*y, 3*y + 823 = -13*p + 9*p. Let o = p + 58. Do o and -148 have different values?
True
Suppose 4*g = -2*x + 4*x - 30, -2*g = 2*x. Let s be (-6 + 2 + x)*0. Which is bigger: -3/230 or s?
s
Let g(s) = s**3 - s - 4. Let u be g(2). Let d be (-5)/(-5) + u + 0. Let t = 0.084 + -1.084. Are d and t equal?
False
Let w = 258 + -183. Let j = w + -54. Is j at most as big as 19?
False
Suppose 2*l = -3*j + 458, 466 = 6*j - 3*j - 2*l. Let m = 771/5 - j. Is -1/2 less than m?
True
Let g(c) = -c**2 + c. Let f(y) = -5*y**2 + 2*y - 4. Let d(z) = -f(z) + 2*g(z). Let j be d(-4). Let m = 29 - j. Which is bigger: -21 or m?
-21
Suppose -2*f + 0 = 3*i - 3, -4*f = 3*i - 9. Let d be f - 0/1 - -31. Let z(q) = 4*q**2 + q + 2. Let x be z(-3). Is x > d?
True
Let t = 396615 + -5151021/13. Which is greater: 384 or t?
384
Let c(u) be the second derivative of u**3/3 - 29*u**2/2 + 10*u. Let b be c(13). Let r = b - -4. Is 3 > r?
True
Suppose -h - 5*k = 1294, -5*k - 855 = 2*h + 1728. Which is greater: h or -0.1?
-0.1
Let a = 920 + -921. Is a at least -1/6351?
False
Let r(b) = -b + 4. Let q be r(5). Let d = -213 - -222. Let o be (-3 + 258/88)/(d/(-6)). Is q bigger than o?
False
Let b = 0.10359 - -128.07641. Let o = 128.163 + -0.163. Let x = o - b. Which is bigger: x or 1?
1
Suppose 0 = -336*s + 341*s. Suppose s = 3*b - 1 - 5. Does b = 5/2?
False
Suppose 15651 = 110*i + 31*i. Which is smaller: i or 2520/23?
2520/23
Suppose 6*r + 78 + 6 = 0. Suppose i + 2*z = 4*i - 42, 4*z - 36 = -4*i. Let p be (17 - i)*(0 - 3). Which is greater: r or p?
r
Let z = -3141 + 34578/11. Let j(i) = 39*i + 1016. Let r be j(-26). Which is smaller: z or r?
r
Suppose 61*g + 194713 = 829931 + 425023. Are g and 17380 nonequal?
True
Suppose 4*v - 370 = -v. Let f be 4/(1 - v/70). Is f <= -69?
True
Let z be -11 + (-5)/((-5865)/12443). Let c be (6/3)/((-6)/3). Which is greater: z or c?
z
Suppose -271*z + 275*z - 44 = 0. Suppose -z = 19*r + 8. Which is bigger: 4 or r?
4
Let l = -14 + 44. Let h be 120/l*(-95)/(-4). Is h < 95?
False
Let d(k) = 2*k**2 - 14*k. Let s(w) = -w**3 - 5*w**2 - 9*w - 13. Let q be s(-4). Let y be d(q). Let h be 4/(-12) + (-2)/48. Is h less than y?
True
Let v = -16612.95 + 16559. Which is smaller: v or -0.2?
v
Suppose -2*n - 16 = 4*v - 4, 5*v = 5. Let s be 10/n*(-9)/(-15). Let p be 4/16*(-5 - (0 + -7))*-2. Is p bigger than s?
False
Let q = -10.134 - -10.134. Is -104 smaller than q?
True
Let s be 28/26*(-312)/2002*66/(-12). Is s > 6?
False
Suppose -483*i - 1534497 = -10615863. Is 18802 < i?
False
Let t = -104.21 + 110. Let q = t + -60. Let r = 54 + q. Which is smaller: r or -3?
-3
Let r(y) = y**3 + 24*y**2 - 29*y - 85. Let l be r(-25). Let u be ((-59)/30 + 2)*l/190. Which is smaller: u or 0?
0
Let c be (-1)/2 + (-50)/4. Suppose 4*i = 51 + 73. Suppose -j = y + 19, 10*y - 5*j + i = 6*y. Which is smaller: c or y?
y
Let f = -68 - -65.3. Let m = f - -8. Let y = 2.7 - m. Which is bigger: 0.1 or y?
0.1
Let g(s) be the second derivative of -s**4/4 + 32*s**3/3 + 29*s**2/2 - 24*s. Let b be g(25). Is -246 at least as big as b?
True
Let y(w) = -53*w + 6263. Let s be y(51). Which is greater: 3562 or s?
3562
Let s be 5/(-5) - 8680/(-40). Are 207 and s non-equal?
True
Let d = -13.9 + -0.1. Let p = 5.6 + d. Let v = p - 28.6. Is v less than or equal to 0?
True
Suppose 5*k - 5*d + 115 = 0, -7*k + 8*k + 2*d = -38. Let x = k + -12. Are x and -40 equal?
True
Suppose 2*f + 53 + 59 = 0. Suppose -60*u - 7*o = -62*u - 175, 4*o + 188 = -4*u. Is f at least u?
True
Let s be (22/(-6) + -1)/(6/(-9)). Let w(c) = 10*c + s*c - 14 - 12*c. Let k be w(6). Is k at least as big as 17?
False
Let y(d) = 4*d**3 + 2*d**2 - 3*d + 2. Let j be y(1). Suppose -a + 4 = -2*x - 1, -j*a + 15 = -5*x. Let m be 1*a/10 - 10/20. Is 2 at least m?
True
Let z = 20295 - 3145737/155. Let v = z + 2869/15035. Is v < -1?
False
Let y = 13839 + -13838. Is y at most -17/315?
False
Let u = 0.638 - 15.038. Let p = u - -6.4. Is 8 less than p?
False
Suppose -72*v - 1498 = -5*r - 75*v, 2*v = 4*r - 1194. Is r != 300?
True
Let z be (-43)/2 + (-2)/4. Let s = 8060 + -8052. Is s != z?
True
Let p = -0.95698 + -0.04302. Are p and 6.01 non-equal?
True
Let l = 16 - -11. Let m be 4648/154 - ((-35)/(-11) + -3). Which is bigger: m or l?
m
Let p = 0.0398 - -0.2402. Let r = -8.72 + 8. Let t = p - r. Which is smaller: -0.1 or t?
-0.1
Let x = -3393.0514 - -3393. Which is smaller: x or 4/5?
x
Let s(i) = i**2 + 17*i - 45. Let c(j) = -j**3 + 9*j**2 - 18*j + 9. Let l be c(7). Let x be s(l). Which is greater: -6 or x?
-6
Let z(a) = a**2 - a - 3. Let d be z(2). Let l = -281 + 313.9. Which is smaller: d or l?
d
Let u = -68620.947 + 68673. Let k = 468.5 - 416.5. Let y = u - k. Is -1 at least as big as y?
False
Let i = -3352 - -3351. Which is greater: i or -3/49?
-3/49
Let x = 237.9 - 77.9. Which is greater: 0.1 or x?
x
Let b = -133.22 + -0.78. Let k = -106 - b. Is -3 at most k?
True
Suppose 9124 - 8692 = -18*p. Which is smaller: -26 or p?
-26
Let f be 1/(-5) + 3/5. Let a be 6/756*1538 - 8/(-36). Let j = a + -341/28. Is j less than or equal to f?
True
Let l be (2/(-20)*(-14)/(-28))/(62/(-310)). Which is greater: l or 151/7?
151/7
Suppose -64 - 21 = -5*n + 4*f, 4*f = 3*n - 59. Suppose -7 = -p + 3*a, p - 4*a - 6 = -0*a. Is p <= n?
True
Let q = -7.76 + 3.76. Let v = 0.2 + -0.2. Is q < v?
True
Let c = 58 - 42. Let w = -33 + c. Is w greater than -15?
False
Let c = -38.401 + 0.501. Let y = 38 + c. Is y at most 1.1?
True
Suppose 745 = -2*y + 7*y - 5*f, 2*f = 2. Let w = y + -152. Which is greater: w or -8/11?
-8/11
Let u = 159 - 717. Which is smaller: u or -559?
-559
Let q be (416748/(-27))/(-4) - (-100)/450. Is 3 <= q?
True
Let x(z) = z**3 - 7*z**2 + 8*z. Let f be x(6). Suppose 4*g + 4*s = -16, 12 = 4*g - 4*s - f. Let h be 2/3 - 0/(g/1). Which is smaller: h or 9?
h
Let i be (-29)/116 - (-25)/20. Let m = -8 - -13. Suppose -15 = 5*q - m. Is q > i?
False
Suppose 0*h - w = 3*h - 11, -5*w - 21 = -4*h. Let s be 26/(-6)*h/(-16). Is 0 at least s?
False
Let k(n) = -35*n**2 + 348*n + 21. Let d be k(10). Which is bigger: -2/695 or d?
d
Let z be 11/(-99) - (-5)/((-135)/6). Let v = 5 + -1. Suppose 0 = -v*c + 14 + 74. Are c and z equal?
False
Suppose 2*v = 4*d - 34, 2*d = -2*v - 1426 + 1398. Is v >= -11?
False
Let l = 363 + -805. Let d = l + 445. Which is greater: d or 16?
16
Let g(x) be the first derivative of -x**4/4 - x**3/3 + 7*x**2/2 + 92. Let a be g(0). Is a at least as big as 1/6?
False
Let y(x) = x - 69. Let z be y(39). Let n be (9/2)/(z/125). Which is bigger: n or -18?
-18
Let j = -3/167210 - 167201/5