?
b
Let h(m) = -2*m**3 - 11*m**2 + 8*m + 11. Let n be h(-6). Let r = 1252628/229 - 5470. Which is bigger: n or r?
r
Let m(f) = -f**3 + 4 - 9*f - 1 + 12*f**2 - 3*f**2. Let r be m(8). Let i(y) = y**2 - y - 4. Let h be i(0). Is r smaller than h?
True
Let y = 0.0465 - 0.0465. Which is smaller: y or 329/3?
y
Suppose 0 = -20*g - 3*g - 10166. Which is smaller: g or -440?
g
Let x(z) = -2*z - 3. Let d be x(-2). Let u = -1266 - -1265. Which is greater: u or d?
d
Let w be (10/(-6))/(715/(-198)). Is w equal to -0.06?
False
Let k = 51 - 50.65. Let w = k - 2.35. Which is smaller: 9/4 or w?
w
Let p(t) = -6*t**2 + 20*t + 7. Let u be p(3). Which is smaller: u or 57?
u
Let t = -4/91 + -248/2639. Suppose 9*x = 5*x + 4. Which is smaller: x or t?
t
Suppose 12*n = 24*n. Which is bigger: 2/173 or n?
2/173
Let d(b) = -17*b - 2. Let h be d(-6). Let y = 103 - h. Is y less than or equal to -1?
False
Let r(x) = 5*x**3 - 2*x**2 - x. Let w be r(-1). Let q(z) = -z - 10. Let i be q(w). Let g be 4/(-20) - i/45. Which is smaller: -1 or g?
-1
Suppose 2*a + 2*a = 4. Let u be 52/8 + 1/(-2). Let n be 2*(u/(-20))/3. Which is smaller: n or a?
n
Let l be 474/(-395) + (-1)/(-5). Which is bigger: l or 20/41?
20/41
Let c = 47 - 35. Suppose 4*z - 20 + c = 0. Let n = 24/37 - -2/111. Is n at least as big as z?
False
Let v = 412 - 400. Is v equal to -0.1?
False
Let k be -1*(3 - 4)*4. Suppose -4*b - 4*p - 24 = 0, -2*b + k*b - 5*p - 23 = 0. Is b at most -1/46?
True
Let t = 584 - 629. Let n = -91 + 46. Is n smaller than t?
False
Let l = 315 + -316. Which is smaller: l or -123?
-123
Suppose -2*i = -3*i. Let k = 10 - i. Let c = -380.1 - -380. Is k smaller than c?
False
Let c(y) = -13*y**3 + y**2 - y - 1. Let g be c(-1). Suppose -35*h = o - 30*h - 24, o + h = 16. Is o less than or equal to g?
True
Let y = 0.1765 + -0.1765. Which is smaller: -301 or y?
-301
Let z be (-8)/(32/345) + 3/(-4). Which is smaller: -90 or z?
-90
Let i be (-50)/116 - (-4)/8. Suppose 5*m + 16 = 2*g, 4*g = 6*m - 4*m. Let b be (2/(-4))/((-2)/m). Is i < b?
False
Let q = -115 + 225/2. Let o be ((-2)/(-15))/((-8)/153). Let j = o - q. Do -1 and j have different values?
True
Suppose -12 = 3*j + j. Let v = -10 - j. Let d = v + 0. Is d less than or equal to -6?
True
Let z = -3 - 15. Suppose 0 = 5*l + 4*x + 52 + 23, 0 = 4*l + 3*x + 61. Is z smaller than l?
False
Let c(o) = 62*o**2 - 3*o + 3. Let v be c(-3). Let t = v + -30211/53. Which is greater: t or 1?
1
Suppose b + 0 = -z - 5, 3*z = -4*b - 21. Let y = b + 15. Suppose 12 = -y*u + 3*u. Is u at most -4/5?
True
Let y = 12.402 + -0.102. Let z = 3.3 - y. Is 5 greater than or equal to z?
True
Suppose 0 = -18*b - 27 - 63. Is -48 < b?
True
Let k = -78 + 130. Let l = 53 - k. Is l less than or equal to 3?
True
Let a(m) = -3*m**2 - m + 2. Let v be a(1). Let i be (2/(-1))/v*-1. Let j = -2/573 - 1709/2865. Which is bigger: j or i?
j
Let m be (-2*(-2)/10)/(6/75). Suppose 0*j - m*h + 81 = -2*j, -3*h + 99 = -3*j. Is -30 less than or equal to j?
True
Let f(u) = -u - 4. Let n be f(-4). Let p(t) = t. Let v be p(n). Let s be (2 - v)/(12/90). Is s equal to 15?
True
Let d be 8/4*6/4. Let j(i) = 6*i + 7. Let s be j(d). Suppose -3*v = -8*v + s, 2*r - 12 = -4*v. Which is greater: -6 or r?
r
Suppose 740*r - 743*r + 231 = 0. Which is smaller: 75 or r?
75
Let r = 1595429/6 - 49554077/186. Let i = 515 + r. Let h(x) = -x**2 - 4*x - 4. Let g be h(-3). Which is greater: g or i?
i
Let x = 310 - 263. Is x greater than 47?
False
Let b be 788/4446 - 60/390. Is 0 > b?
False
Suppose 33*h - 1814 = 2509. Which is greater: h or 127?
h
Suppose -5*p - 206 - 49 = 0. Let i = -43 - p. Which is greater: 5 or i?
i
Let g = -86/7 + 173/14. Let m be (-1 + 2)*-2*(6 - (-88)/(-16)). Is g at most as big as m?
False
Let v be 20/30 + 146354/168. Let l = 872 - v. Let r = -3/4 + l. Is 2 at most r?
False
Let t = -0.954 - 0.046. Which is smaller: -151 or t?
-151
Suppose 0*r = -7*r - 175. Let x = r + 22. Which is smaller: x or 2?
x
Let t be ((-18)/(-69))/(11 - 10). Which is smaller: 0 or t?
0
Let w(y) = -11*y**2 - 23*y - 2. Let t be w(-2). Which is smaller: -1/132 or t?
-1/132
Suppose 5*b + 15 = d, 7*d - 3*d - 12 = 4*b. Suppose 0*a + 3*a - 5*u = 5, d = a + 3*u - 25. Let q be 4/a - (-50)/(-125). Is 1/3 greater than or equal to q?
True
Suppose -3*n = -n - 78. Let h = -768 + 806. Which is smaller: n or h?
h
Let q(g) = g**3 + 11*g**2 + g + 16. Let b be q(-11). Let h = -11.2 + 11. Which is greater: h or b?
b
Let q be ((-78)/(-9) - 3)*-3 + -2. Let h be (-3 - (3 + -3)) + q/(-6). Which is greater: h or 1?
1
Let i = -616 + 617. Which is smaller: i or 11/14?
11/14
Let a = 14 - 21. Let t(f) = -4*f**2 + 11*f - 13. Let y(d) = -3*d**2 + 10*d - 12. Let b(r) = -4*t(r) + 5*y(r). Let w be b(a). Which is smaller: -20 or w?
-20
Let i = 93.07 - 24.31. Let v = 69 - i. Is v less than -2?
False
Let o(t) be the third derivative of 1/24*t**4 + 0 + 0*t + 2*t**2 + 1/3*t**3. Let x be o(-4). Is -1/7 < x?
False
Let j be 306/21 - (-3)/(21/(-4)). Let k = 0.194 + -3.194. Which is smaller: k or j?
k
Suppose 49*i = -297 + 1669. Which is smaller: 25 or i?
25
Let u = -483 + 382. Is u at most -101?
True
Let v = 29582/5 + -6029. Let r = v - -6253/55. Which is smaller: r or 0?
0
Let u = -5 - -2. Let i be 11/u - (-2)/(-6). Which is smaller: -5 or i?
-5
Let h be 3*(0 + 1 + 40/(-6)). Let o = h + 16. Is 1 less than o?
False
Suppose -i + 5*k + 61 - 10 = 0, -4*i + 3*k = -119. Which is bigger: i or -5?
i
Let b(i) = -7*i**2 + i. Let x be b(1). Let v(t) = t**3 + 42*t**2 + 35*t - 251. Let y be v(-41). Are x and y equal?
False
Let b = 41 + -14. Which is bigger: b or 0.2?
b
Let t = -1535/51 + 482/51. Which is smaller: t or -21?
-21
Suppose 108 = 2*n - 3*y + 31, 3*y - 182 = -5*n. Suppose -5*a = 3*b + n, 3 = 2*a + 1. Let z = -15 - 0. Which is smaller: z or b?
z
Let s be (-6)/(-236)*12/(-9). Let x be (6/4*-2 - -2)*(3 + -4). Do x and s have the same value?
False
Let u = -0.1 - -2.1. Suppose 0 = 5*b - g - 20, g - 4 - 1 = 0. Let w = b - 24/5. Which is smaller: w or u?
w
Let l(u) = -16*u - 964. Let v be l(-60). Are v and -1/25 equal?
False
Let i be (27/18)/(135/(-40)). Let y be (1 + 3/(-2))*0. Suppose 0*r + 4*r = y. Which is greater: i or r?
r
Suppose 2*x - y = -48, -2*y + 29 + 91 = -5*x. Let t be (-10)/(-8) + -1 + 3534/(-152). Which is smaller: x or t?
x
Let v be (-3 - 37/4)*-4. Suppose 2*j - 50 = -5*t + 6*j, 5*j = 4*t - v. Suppose -2*k - 2*y = -2 + 4, 0 = 4*k + 2*y + t. Are -3 and k equal?
False
Let o = 0.4 + -0.7. Let b = 1.3 + o. Let p = 825 - 829. Which is smaller: b or p?
p
Let y = 0.0395 + 0.0035. Is y <= 0.4?
True
Let t = 30043/49 + -613. Which is smaller: 1 or t?
t
Let m be (256/12)/((-1)/(-3)). Let l(w) = 34*w + 1220. Let j be l(-34). Is j equal to m?
True
Let q = 15 - -7. Let f(b) = b**3 - 37*b**2 + 73*b - 104. Let a be f(35). Are q and a equal?
False
Let w(s) = 2*s + 33. Suppose -29 = 3*h + 13. Let t be w(h). Suppose -t = a + 5*m, a - 3*a = 3*m + 3. Are -2/33 and a unequal?
True
Let t be (0 + -1)/(2/2). Let s = t - -9. Let g be s/(-28) - 96/(-483). Which is greater: g or 0?
0
Let u(c) = 15*c**3 - c**2 + c + 1. Let v be u(1). Suppose -7*w + 72 = v. Is 8 less than w?
False
Let d(h) = 6*h**2 + 27*h + 27. Let x be d(-6). Which is smaller: x or 79?
79
Let h = -5.7 + 6. Let u be 4/1 - 1188/308. Is h smaller than u?
False
Let r = -380 - -374. Let m be 3/(-1*2 + 1). Is m less than r?
False
Let l(j) = j**3 - 9*j**2 + 9*j - 10. Let u be l(8). Let y be u/3 - 1/3. Which is bigger: y or -2/5?
-2/5
Let x(f) = f**3 + 5*f**2 - 5*f + 4. Let u(m) = m. Let a(g) = 4*g + 12. Let v(j) = -a(j) + 3*u(j). Let b be v(-6). Let i be x(b). Is i smaller than -2?
False
Let i be (18 + -21)/((-45)/6). Let q be (-438)/72 + (-2)/(-8). Let b = q + 86/15. Is i not equal to b?
True
Suppose -36*l - 18 = -18*l. Is l greater than 3/79?
False
Let y = 2 - 0. Suppose 0 = 2*l - 4*v - 26, 5*l = -7*v + 2*v - 10. Let h be 5 - l/(-3) - 2. Which is bigger: h or y?
h
Let t(w) = 6*w + 17. Let u be t(-3). Is 2/459 greater than or equal to u?
True
Let y be (-1*6 + -1)/((-44)/(-48)). Is -8 <= y?
True
Let t = -13.7 + 0.7. Let m = t + 8. Let o = -4 - m. Is o equal to -0.1?
False
Let c = -1 - 4. Suppose -r + 5 = -4*l + 19, 3*r - 6 = 0. Suppose -7*p - 15 = 5*k - 6*p, -6 = 2*k - l*p. Is k less than or equal to c?
False
Let g = -101 + 112. Sup