o?
True
Let f(n) be the second derivative of -n**4/4 + n**3/6 - 12*n. Let o be f(2). Let x = 24 + -29. Is x < o?
False
Let q be (10/4 - 2)*0. Suppose -183 = -j - 284*u + 283*u, -4*u + 52 = 0. Which is smaller: j or q?
q
Let t(w) = w**3 + 4*w**2 + 10*w + 74. Let p be t(-5). Is p less than -45/346?
True
Let j(f) = -f**3 + 9*f**2 - 10*f - 6. Let d be j(6). Let k = -124/3 + d. Let h = -39.6 + -21.4. Which is bigger: h or k?
k
Suppose 2*t = 6*t - 36. Suppose 8*l - 4*l + t = 3*m, -l = -4*m - 1. Is 27 less than l?
False
Let i be (4/161)/(24/11004). Which is greater: i or 11?
i
Let z(m) be the third derivative of -m**5/60 + m**4/4 - 2*m**3/3 - 2*m**2. Let k be z(4). Let t be ((-2)/(-6) + -1)/((-1652)/12390). Is k > t?
False
Let u = 7.9408 + 2.0592. Let v = -1 - 3. Is u > v?
True
Let r = 14 - 15. Let a be r*(-76)/(-40)*2. Let p(o) = 8*o - 315. Let f be p(39). Do a and f have different values?
True
Suppose 23*o = 25*o + 10. Let y be o + 27/(-6)*4. Let q(p) = -p**3 - 25*p**2 - 47*p - 22. Let c be q(y). Is c != -1/66?
True
Let w(g) = -g**2 - 63*g - 761. Let h be w(-45). Which is bigger: h or -3?
h
Let r = -13.96 + 29.96. Which is greater: -94 or r?
r
Suppose 18 = 3*h - 3*g, -5*h = 4*g + g - 40. Let u(i) = -i**2 - 7*i + 103. Let r be u(h). Let a(y) = -y**2 + 5*y + 1. Let k be a(5). Is r at most as big as k?
False
Let m(t) = 2*t**3 - 135*t**2 + 63*t + 104. Let i be m(67). Suppose -9*x - 162 = -8*x. Which is bigger: x or i?
x
Let m be (1 + -1)/((-36)/(-18)). Let h = -5 - -10. Suppose 5*z = -2*a - 8 + 22, h*a - 14 = -2*z. Is m smaller than a?
True
Let j = 197 - 253. Let y be 10/28*j/(-144). Suppose 0 = 2*p - 1 - 1. Is p greater than or equal to y?
True
Let n = -13.152 + 13.189. Is n smaller than -14?
False
Let n = 28 - 15. Suppose -2*s - n = -2*w + 49, -4*w + 68 = -2*s. Let b = s + 87. Do b and 60 have different values?
True
Let f = 119168/3 + -39722. Let n = -762/235 - -2/47. Is f < n?
False
Let g = -133 - -133. Suppose z = 11*w - 8*w + 6, -w - 2 = g. Is z equal to -1/258?
False
Let a be (-17 + 77)*2/(-4). Let w be (2 + a/12)*10. Let z = -32.6 - -32. Which is bigger: z or w?
z
Let w = -1470 - -1470. Is -0.523 equal to w?
False
Let u = 415 + -248. Let d = 167.12 - u. Is d at least as big as 3?
False
Let o be 736455/1274550 + (-3)/5. Is 0 > o?
True
Suppose 0*o = 4*o - 2*i + 8, -3*o - 5*i = -7. Let r = 14943/5 - 2032243/680. Which is smaller: o or r?
o
Let p = 0.92 - 0.8. Let m(q) = 3*q**2 - 53*q + 213. Let w be m(11). Which is smaller: w or p?
w
Let u = -0.834 + 747.834. Let w = u + -746.7. Is 6.3 greater than w?
True
Let x(f) = 4*f**2 + 36*f - 54. Let h be x(-17). Let j = 516 - h. Which is greater: j or -0.03?
j
Let x(y) = -2*y**3 + 5*y**2 - y - 15. Suppose 220*i + 48 = 232*i. Let h be x(i). Let t(g) = -65*g - 1. Let c be t(1). Which is bigger: c or h?
c
Let v be ((-4)/(-6) + 20/(-75))*-1. Which is smaller: v or -2253?
-2253
Let y = 241637/2 - 115525. Let b = 5704 - y. Let c = 418 - b. Is c at least 8?
False
Let m be (16/6 - 1)*39/13. Suppose 5*k - 2*j + 5*j = -140, -2*j + 90 = -4*k. Let t = -19 - k. Which is bigger: m or t?
t
Suppose 35*a + 408 = 38*a. Let g = -137 + a. Which is bigger: g or 7?
7
Let b be -5 + 15/(-35) + -3 + (-7473)/7. Which is smaller: b or -1078?
-1078
Let w be 5/((-75)/51456) + (-14)/(-35). Is w greater than -3431?
True
Let h = -734.571 - -735. Let p = -0.131 - h. Is -1/3 <= p?
False
Let b be (-8)/(-6)*189/(-112)*-4. Is b at least as big as 253/29?
True
Suppose 12 = 3*w - 4*q + 5*q, -5*q = 4*w - 5. Let h be (-12)/(-4) + -1*1. Suppose -h*f + 3*f = 10. Does f = w?
False
Let r be (-3 - -2)/(4/2452*-1). Suppose 63 = 5*v + r. Is -110 greater than v?
False
Let h(q) = 33*q + 52. Let z = -651 + 641. Let m be h(z). Which is smaller: 0.1 or m?
m
Let n = 1823.2 - 101.2. Is n < 0.3?
False
Let v = -800 - -567. Let f = v + 19107/82. Is 1 > f?
True
Suppose -p - p + 2*w - 6358 = 0, -5*p - 2*w - 15895 = 0. Is p smaller than -3180?
False
Let r(o) = o**2 + 2*o + 5. Let h be r(0). Suppose -3*j = h*z + 207, 4*z - z + 4*j = -133. Suppose -u - 36 = -0*u - k, 5*k = 4*u + 140. Which is greater: z or u?
z
Let t(u) = 2*u**3 + 13*u**2 - 62*u + 77. Let x be t(-10). Suppose 2*f = f - 1. Let d = f + -2. Is d greater than x?
False
Let r be 10*(-1 + 7 + 34632/(-5785)). Which is bigger: r or 1?
1
Let x = 46 + -47.46. Let q = -1.36 - x. Is q < -8?
False
Let j = -2.71 - -1.07. Let i = j - -0.04. Which is bigger: i or -2/5?
-2/5
Let s be (-2490)/(-553) + 153/(-34). Is s at most as big as -1?
False
Suppose -5*k + 7441 = h, -51*h = -53*h + 6*k + 14802. Which is smaller: 7417 or h?
h
Let j = -19 + 23. Let s be ((-2396)/15)/((-10)/(-30)). Let o = 483 + s. Is o at least j?
False
Let a = -13.4554 + 1.2564. Let h = 0.299 + a. Let s = h - -5.9. Which is smaller: -3/7 or s?
s
Suppose -5 = k - 4, -2*k - 443 = -3*m. Suppose -m = 8*f - f. Let j be (0/2)/(3*(-14)/f). Which is greater: 4/33 or j?
4/33
Suppose 5*x - x - 192 = 0. Let f = -70 + x. Let p = f + 18. Is -3 bigger than p?
True
Let x = -0.54 + -110.46. Let o = -115 - x. Is o at most 0?
True
Let u be (-1 - 1)*(-1026)/60. Which is smaller: 34 or u?
34
Suppose -78 = p + 2*p + 4*h, -3*p + 2*h = 78. Let u be p + 28 + 1*-22. Which is greater: u or 2?
2
Let d = 11.1 - 11. Let n = -0.4672 + -728.5328. Which is bigger: d or n?
d
Let g = -1314.8124 + 1314. Which is smaller: -2 or g?
-2
Let t be (-3)/(((-1)/18)/((-138)/(-60))). Which is smaller: 0.7 or t?
0.7
Let g be (-3 + 35/(-3))/(8/(-12)). Suppose 3*l = -2*k + 1312, 17*l + 642 = k + g*l. Is k greater than 662?
False
Let x be (-49)/(-6) + 45/(-360) + 2/6. Which is bigger: 8 or x?
x
Suppose -b - 5*u + 3 = 0, 6 = -4*b + 6*b - 4*u. Let q be (3 - b) + (-2 - 2). Let s = q + 58/15. Is 1 at most s?
False
Let c = 3205 - 3205.0062. Which is smaller: -1 or c?
-1
Suppose -2*y + 72*a - 77*a + 8 = 0, 3*y + 1 = -a. Let h be 60/(-6) + y + (1 - 3). Suppose 2*z + 26 = -0*z. Is z >= h?
True
Suppose -c = 8 + 12. Let j(z) = -3*z - 40. Let l be j(c). Suppose -4*u = k + 4, -u - 2*k - 1 = 7. Which is bigger: u or l?
l
Suppose 1004*w - 4*s + 1769 = 1007*w, 0 = -2*w + 4*s + 1166. Is -1 > w?
False
Suppose d + 965 = 3*m, m - 335 = 6*d - 3*d. Let t = 343 - m. Is 25 > t?
True
Suppose -3*t + 27 = -3. Let i(w) = w**3 + 3*w**2 + 25*w + 181. Let x be i(-5). Which is bigger: x or t?
t
Let c be 29/((-2639)/14) - (-4569)/39. Which is smaller: -5 or c?
-5
Let f(m) = -24*m - 424. Let u be f(-25). Let c = 53 - u. Which is smaller: c or -120?
c
Let h = 135 - 136. Let o be -6*21/12 + h/2. Which is greater: -12 or o?
o
Let k(d) = -229*d - 3207. Let w be k(-14). Which is smaller: w or -21/446?
w
Let w(r) = 48*r + 36. Let n be w(-2). Let l be 111/6 + n/(-24). Does l = 25?
False
Let f be (-7030557)/(-540831) + (-26)/2. Which is smaller: f or 1?
f
Suppose -73*u + 180*u = -26536. Which is smaller: -254 or u?
-254
Suppose -15*l = -19 - 41. Let b(k) = -k**2 - 5*k - 6. Let j be b(-4). Let u be (j/(-6))/((-3)/27). Is u not equal to l?
True
Let d be -1235 - (11 + (-8)/4). Which is smaller: -1246 or d?
-1246
Let j be 4*(63792/(-64))/9. Which is smaller: j or -440?
j
Let a = 380626 + -380625. Let z be ((-24)/9)/((-4)/126). Suppose -3*v = -v - z. Which is greater: a or v?
v
Let m = 290127/11 - 26400. Let z = 6378/253 + m. Which is smaller: -1 or z?
-1
Let n(p) = p**2 - 13*p - 879. Let x be n(37). Is 1/3 equal to x?
False
Let d be (-1)/(-17) - 1397/(-12954). Let x be 0 - 1 - 18/(-14). Is x less than d?
False
Suppose 2*x - 8 = 0, 0*l + 4 = -4*l + 2*x. Which is bigger: -1/912 or l?
l
Let g(n) = -4*n + 48. Let m be g(14). Let u = -514 + 501. Which is smaller: u or m?
u
Suppose 0 = -4*m - 2*x - 28610, -28*m + 31*m - 5*x + 21477 = 0. Does -7156 = m?
False
Suppose 7*n - 26 = 16. Suppose k = 3*v + 63, n + 0 = -2*k. Which is greater: v or 1/5?
1/5
Let b = 7703 + -7703.456. Which is bigger: b or 3/2?
3/2
Let m = -9.07 - -9. Let a = 830 + -1344. Let o = -515 - a. Is m greater than o?
True
Let b = 22.91 - 24.7. Let i = -1.91 - b. Which is greater: i or 2?
2
Let p = 213 + -123. Suppose 3*y - p = -2*x + y, x = y + 51. Which is greater: x or 47?
x
Suppose -910 = 101*y - 28*y + 39. Is y at most 82?
True
Let g = -618 - -628. Suppose -9*n - 5*b = -14*n + g, -3*n - b - 2 = 0. Are 1 and n equal?
False
Suppose 58 = 4*x + 5*t, 8*x - 3*x - 3*t = 54. Let o be 