 105*r**3. Let u be f(14). Is 291 less than u?
True
Let h = 196.3 + -75.1. Let k = 66 - -56. Let j = k - h. Which is smaller: 4 or j?
j
Let q be -2*(-5964)/(-2) - 22/(-22). Let o = q - -16471. Let i = o - 73680/7. Which is smaller: i or -17?
i
Let x = -2.7 - -5.9. Let b = 0.2 - x. Let n = 10834 + -10841. Are n and b non-equal?
True
Let m be 3/(45/58641) - (-9 - -10). Let d = m + -34921564/8935. Which is bigger: 0 or d?
0
Suppose 11*n - 8 = 14. Suppose -2*u - 76 = n*m, -m = u - 6*u + 26. Is -36 not equal to m?
False
Let m = 2.3 - 0.04. Let n = m - -1.54. Is n at least as big as 1?
True
Let x be (-34)/3 - 8/12. Let g be (-3 + 1)*(16/x)/4. Which is greater: -0.058 or g?
g
Suppose 85 - 27 = k. Let o be k*(-4 - 51/(-6)). Is 261 equal to o?
True
Let p = 199149/14 + -14231. Let t = -60/7 - p. Let o = 4.33 + 2.67. Which is smaller: o or t?
t
Let s be (-3)/9 + 2/4. Let c = -59.29 - -59.25. Which is smaller: s or c?
c
Suppose 42 = -0*s - s. Let a = -32 - s. Let c be 3 - (0 - 3) - (-1)/1. Is a at most c?
False
Let d be 4*4*(33 - 32). Let s(u) = u**2 - 17*u + 82. Let c be s(d). Is c >= -2/7?
True
Let n = -2458 + 2464. Which is smaller: -266 or n?
-266
Let k = -95 + 136. Let m be (2/(-4))/(k/5). Is m < 0?
True
Let x(o) = -2*o**2 - 22*o - 21. Let q be x(-8). Let u be (2 - (-1)/1)*90/q. Suppose 54 + u = -4*z. Is -73/5 less than or equal to z?
False
Let h = -1002 + 918.4. Let g = -1.4 + h. Let s = g + 88. Which is smaller: s or -1.4?
-1.4
Suppose 688*k - 686*k + 12 = -2*q, -4*q = k + 21. Which is smaller: k or 4/3501?
k
Let y(j) be the third derivative of 0 - 1/60*j**6 + 8*j**2 + 0*j - 5/3*j**3 - 1/24*j**4 - 1/2*j**5. Let h be y(-15). Which is smaller: 3 or h?
3
Let s = -2224390/33262427 + 2/92653. Is 0 less than s?
False
Let d be 1*(-6)/18 + 7778/(-21). Let p = 370 + d. Which is smaller: p or -2?
-2
Suppose -162 = -0*i - 2*i. Let h be ((-54)/i)/((-28)/(-174)) - -3. Which is greater: -6 or h?
h
Let q = -15.66 - 4.34. Let u = q - -20.2. Is 1/23 less than u?
True
Suppose -4*l + 15*l - 132 = 0. Let w be (1603/(-4) - (-9)/l) + 0. Let o = -1609/4 - w. Which is bigger: -2 or o?
-2
Let r = -157 + 159. Let b be (-3)/(-9) + r/294*-67. Which is smaller: b or -1?
-1
Let l = 19070 + -1258519/66. Which is smaller: l or 3?
l
Let y be 6 + (3/(-12))/(15/(-2580)). Which is smaller: 42 or y?
42
Suppose -l = -g - 40, 11 = -3*g - 5*l - 141. Let f be (-60)/(-33) - 8/g. Let b(s) = 3*s**2 - 6*s + 3. Let n be b(f). Is n < 3?
False
Let d = 34 + -2. Suppose -7*b - 4 = -d. Suppose 5*x = -5*j - 7 - 8, 0 = -b*j - 3*x - 10. Which is smaller: -33 or j?
-33
Let a = 127.211 + -0.211. Let h = a - 127. Is 3/16 less than or equal to h?
False
Suppose 10*m - 12*m = -5*f + 65374, -f = -m - 32693. Let c be m/(-567) - ((-10)/(-6) - 1). Which is bigger: 54 or c?
c
Let c(k) = -11*k. Let d be c(4). Let u be -54 - 0 - ((-9831)/899 - 4/62). Do u and d have the same value?
False
Let c(o) = 7*o + 5. Let w be c(-5). Suppose 0 = -28*z + 81*z - 21306. Suppose 33*i = -1359 + z. Which is greater: i or w?
i
Let s = -198.25 + 197.25. Which is bigger: s or -14044/5?
s
Suppose t = -17*u + 16*u + 181, t - 181 = 4*u. Let h = 137 - t. Let i = -151 + 108. Which is smaller: i or h?
h
Let p(b) = -2*b**2 - 119*b - 406. Let l be p(-53). Is l > 281?
True
Let d = -15480.83 + 15316. Let j = -4.17 + d. Does -0.1 = j?
False
Suppose -5*a + 3*o - 494 - 6 = 0, -88 = a - 3*o. Let p = -41 - a. Let m = p + -61. Which is smaller: m or 5/7?
5/7
Suppose 4*v - 3*l = -1538, -5*v + 7*v + 3*l = -760. Is -389 > v?
False
Let w be (-46632)/(-65) + -1 + (-3)/(-15). Let t = 716 - w. Is t at most 0.2?
True
Let b be (-326)/(-42) - (138/23 + 46/(-7)). Is b not equal to -1/3?
True
Let o be (-14)/1*(8 + (-3195)/(-30)). Which is smaller: -1604 or o?
-1604
Let p(x) = -10*x**3 + x**2 + 26*x - 60. Let b be p(2). Suppose h + 72 = 2*i, -5*i = 11 + 14. Are b and h non-equal?
True
Suppose d + 4*d + 4*v - 280 = 0, -3*v - 89 = -2*d. Suppose 44 = 32*q - d. Which is bigger: q or -2?
q
Suppose -668*t + 62832 = -651*t. Is t less than or equal to 3696?
True
Let r = 0.45 - -19.75. Let s = r - 19.2. Which is bigger: s or 26?
26
Let u(p) = p**3 - 106*p**2 - 443*p + 299. Let l be u(110). Is l at most as big as -54?
False
Let u(p) = -55*p - 5590. Let l be u(-114). Which is smaller: 1359/2 or l?
1359/2
Let t = 49 + -38. Let z(y) = -2*y**2 - 57*y + y**2 - t + 56*y. Let b be z(0). Which is smaller: b or -12?
-12
Let q be 12/(-18) + (-94)/(-6). Let b = q + -10. Suppose 0 = -b*h, 3*h + 12 = 4*f - 0*f. Which is smaller: 5 or f?
f
Let a = -414 - 4084. Do a and -0.2 have the same value?
False
Let v be 1*(2/2 - ((-245)/(-21) + -1)). Let o(j) = 1 + 3*j + 0*j - 2*j - j**2 + 9*j**3. Let g be o(-1). Which is smaller: v or g?
g
Let n = 13 - 2. Let p(f) = -5*f - 11. Let v be (-6)/(-4)*(-24)/9. Let q be p(v). Which is greater: n or q?
n
Let b(g) = -g**2 - 5*g - 32. Suppose -138*i + 130*i - 80 = 0. Let t be b(i). Is -82 at most t?
True
Let b = 5731/87579 + -18/263. Let g = b + 116/1665. Which is greater: -47 or g?
g
Suppose -4*o + 6 = 22*v - 20*v, -4*v + 12 = 3*o. Which is smaller: 2/7179 or o?
o
Let w = 14.21 - 1.18. Which is bigger: 0.1 or w?
w
Suppose m = 5*m + 4. Let c(u) = 902*u**3 + u - 1. Let z be c(1). Let j = -6327/7 + z. Which is smaller: j or m?
j
Suppose 4*m = -85 + 21. Let l be 51 + -1 - (4 + (-8)/4). Let d = -65 + l. Which is smaller: m or d?
d
Suppose -2 = -2*q - 2*k, 3 = -4*q + 3*k - 0. Suppose -3*v = -x - 6*v - 28, 2*x + 3*v + 68 = q. Let f be 196/x - (-20)/5. Which is smaller: -1 or f?
-1
Suppose -21*u - 18*u + 117234 = 0. Is u at most 3006?
True
Let h = -5974491/139195 - 84/3977. Let a = 204/5 + h. Is 1 greater than a?
True
Let d be -6 + (3 - -5 - 9744/4873). Which is bigger: 1 or d?
1
Suppose -4*a + 369*m = 371*m + 31726, 3*a + 5*m + 23791 = 0. Which is smaller: -7931 or a?
a
Let b = 7981 + -7980. Is 0.53 equal to b?
False
Let y be (-19)/57*(-2593)/(-5). Let f = 173 + y. Which is greater: f or -0.1?
f
Let r(z) = -2*z**3 + 104*z**2 + 12*z - 619. Let a be r(52). Is a less than or equal to 416?
True
Let s = -234 + 195. Suppose 0*m = -m + 86. Suppose -28 = 3*x + m. Which is smaller: s or x?
s
Let w = -389 - -396. Let a be (1 - w/4)*(-6)/333. Which is smaller: 1 or a?
a
Suppose 0 = -42*t + 17765 - 4577. Which is greater: 302 or t?
t
Suppose -10 = 3*u + b - 188, 0 = 2*u - 3*b - 115. Suppose 0 = 5*q + 471 - 176. Let z = q + u. Which is smaller: -1/21 or z?
-1/21
Let i be (-16)/(-88) - 9/(-11). Let p(t) = -564*t**3. Let d be p(i). Let u = -2243/4 - d. Which is smaller: 4 or u?
u
Let j = -516.495 - -0.495. Let w = j + 515.6. Which is bigger: 37 or w?
37
Let y = -4680.4 + 4682. Is y at least 0.1?
True
Let i = 1.96 + -1.22. Let w = -285/2 + 142. Is w at most i?
True
Suppose 18*l = -337 + 319. Which is bigger: 6/1865 or l?
6/1865
Let f = 372 + -376.36. Let n = -0.36 - f. Which is bigger: 2.5 or n?
n
Suppose -495*g + 2628112 = -329*g. Which is greater: 15831 or g?
g
Suppose 19*b - 24*b = -30. Let d(w) = -w**3 + 5*w**2 + 4*w - 6. Let o be d(b). Let r be (2 - 2)/(o/(-9)). Is r > 11/9?
False
Let o(b) = 3*b - 26. Let p be o(18). Suppose 0 = -8*g + 20*g - 324. Which is bigger: p or g?
p
Let u = -351 - -351. Suppose u = -2*t - 10*t - 3768. Which is greater: -313 or t?
-313
Let q be (-46588)/(-11946) + -4 + -1*(-5)/55. Which is smaller: -1 or q?
-1
Let q = -108.44 - -108.54. Do -7085 and q have different values?
True
Let x be 327/105 - ((-16)/(-88) + (-93)/(-33)). Is x smaller than 0?
False
Suppose -10*j = -136 + 36. Let i be (52/325)/(4/j). Which is greater: i or -1/4?
i
Let l be 7/4 - (-24)/(-32). Let u(c) = 2*c**3 - 8*c**2 + 12*c + 3. Let p be u(3). Let b be (-319)/(-182) + 6/p - 2. Which is smaller: l or b?
b
Let d = 33172025/887 + -37398. Is -1 >= d?
False
Suppose 2*r - 33*r = -310. Suppose -r*a - 362 = -1292. Which is smaller: a or 91?
91
Let y be (-3 + 1)/(10*(-5)/(-13775)). Let j = -60613/110 - y. Which is smaller: 1 or j?
j
Let x be 55 + 1*(-16 + 6 + 4). Is 35 smaller than x?
True
Let y = 205 + -203. Suppose 3*g - 39 = -3*c - c, -y*g - 4*c = -30. Is 21 equal to g?
False
Let n(o) = -2795*o**2 - 38*o - 10. Let c be n(-1). Which is smaller: c or -2765?
c
Suppose -21*v - 229 = -26*v - 3*k, 2*v - 85 = k. Is v bigger than 39?
True
Let l = -17 - -51. Suppose -3*s + 4*p + 17 + 86 