= o**2 + 41*o. Let b be k(-27). Which is smaller: b or -377?
b
Let m(b) = -b**3 + 21*b**2 - 111*b + 36. Let n be m(12). Which is smaller: 5/82 or n?
n
Let o = -21 - -18. Suppose -2*i = 0, 0 = 2*v + 5*i - 1 + 5. Is v smaller than o?
False
Let j = 93292/189 + -3462/7. Which is smaller: j or -2?
-2
Suppose -89*k + 2875 = -112*k. Which is bigger: k or -127?
k
Let q be (-27 + 26)*(-2)/(-4)*2. Let w(s) = -3*s**2 + 2*s - 1. Let v be w(2). Which is greater: q or v?
q
Let h be 18/45 - 49733/(-130). Let n = h + -383. Suppose 3*o = -2*o. Is o greater than or equal to n?
True
Let s(k) = -15*k + 7. Let q be s(2). Let p = q + 23. Let d = 13/12 + -19/20. Are d and p equal?
False
Let d(s) = 4*s**2 + 15*s - 1. Let x be d(0). Suppose 7*y - 3*y = 64. Suppose 33 = 5*q - 0*a + 3*a, 4*a = -y. Is q <= x?
False
Let q = -397213891/828 - -479727. Let r = -932 - -85741/92. Let b = r - q. Is 1 at least b?
True
Let q = -31120/39 + 798. Let l be (-10 + 0)/(-5)*-1. Which is smaller: q or l?
l
Let j = 24 + -22. Suppose 2*b - 3*x = -3, j*b + 4*x = -2*b + 44. Which is bigger: 8 or b?
8
Let v be ((-12)/(-20))/(-2*4/120). Is v less than -9?
False
Let t = 0.52 - -0.48. Is -30 greater than t?
False
Let q = 27 - 25. Suppose 5*u - 2*i - 9 = 0, -2*i = -u + 7 - q. Which is greater: u or 0?
u
Let c = 2961.1 - 2961. Let q = 0.4 + -0.44. Which is smaller: q or c?
q
Suppose 4*n - 304 = 8*n. Let d = -59 - n. Is d at least as big as 17?
True
Suppose -4*i - 28 = -5*b, -5*i = -6 - 9. Let o(k) = -k**3 - 4*k**2 - 2*k - 5. Let h be o(-4). Suppose -6 - 18 = -h*p. Is b equal to p?
True
Let v be 8/4*1/(-2). Which is smaller: 20 or v?
v
Let y = 2.51 - 2.6. Let d = 2.09 + y. Which is smaller: d or 1.1?
1.1
Let i(o) = -o**3 + 3*o**2. Let z be i(3). Suppose 3 = -3*l - z. Which is bigger: 1/5 or l?
1/5
Suppose 8*n - 8 = 112. Let t = 37 - n. Does 2/7 = t?
False
Let n be (3/(-2))/((-2)/16). Let d be ((-12)/368)/(3/n). Is d smaller than 1?
True
Let u be 914/10392 - (-37)/(-444). Which is smaller: 1 or u?
u
Let g = -201/35 + 28/5. Let n = -1/91 + g. Let v = 182 - 181.9. Which is greater: v or n?
v
Suppose 5*b + 5 = -2*q + 42, 5*q = b - 29. Let d(f) = f**2 + 341*f - 350*f + 2 + 0*f**2. Let h be d(b). Which is smaller: h or 5?
h
Suppose l = -4*a + 4 - 7, -4*l + 6*a = -32. Is l < -173?
False
Let w = 535/24 - 68/3. Let g(x) = -2*x**2 - 41*x + 22. Let v be (-5 - 2)*-5*(-9)/15. Let y be g(v). Which is greater: y or w?
y
Let f = -0.19 + 0.09. Let z = -0.2 + f. Let y = 0.1 - 0.1. Which is smaller: z or y?
z
Suppose -5*k + 47 = 57. Is k equal to -24/29?
False
Let k = -2.98 - -3.08. Let d = -3 - 0. Which is greater: k or d?
k
Let k be -1 + (-27)/405*(-140)/6. Suppose -10 = -s + 2*a, 5*s - a - 2 - 3 = 0. Are s and k equal?
False
Let m = 4.7 + -6.2. Is 0.4 bigger than m?
True
Let p = 132 - 88. Let v = p - 43. Which is bigger: 1/3 or v?
v
Suppose -o + 9 = 4*c - 7*c, 4*c + 12 = 2*o. Let u be (c/3*2)/(0 + 2). Is u smaller than 7/18?
True
Let h = 37 + -31. Let v(p) = -4*p - 3. Let i be v(-2). Is h less than i?
False
Suppose c = -2*c - 12. Let a = c - -8. Suppose 0 = -5*g - 2*j + 15, -j - 3 = -4*g + 3*g. Are a and g non-equal?
True
Suppose -22*d + 2*t = -25*d + 7, -4*d + 12 = 4*t. Suppose -4*j = -0*j + 4. Is d at most as big as j?
False
Let c = 37991/19 + -2000. Is -1 greater than or equal to c?
False
Let j(o) = o + 6. Let z be j(-6). Which is smaller: -12/31 or z?
-12/31
Let x = -5/131 + -5074/917. Is -7 smaller than x?
True
Suppose 2*y = -87 - 11. Let u = y + -6. Are -54 and u non-equal?
True
Let m be 224/104 - (-4)/(-26). Suppose 0 = 3*t - 12, -m*h + 3*t - 36 = 2*t. Which is smaller: -15 or h?
h
Let r be -1 + 26/22 + 3328/(-16731). Which is bigger: r or 1?
1
Let p = 498 + -432. Which is bigger: 61 or p?
p
Let t be (-2 - 56/(-30))/((-5)/(-15)). Do 29/2 and t have the same value?
False
Let x = 2542 - 7487/3. Let j = -46 + x. Are -3/22 and j equal?
False
Let h = 0.2 + 1.8. Let u = h - 1. Let b = 0.3042 - 0.4042. Which is greater: b or u?
u
Suppose -8 = -0*t + 2*t. Let d(l) = 3*l**2 - 39*l - 30. Let a be d(14). Let w = a - t. Which is smaller: 15 or w?
15
Let c be 2 + (-18)/12 + (-2)/12. Let d(z) = -z**2 + 2*z + 4. Suppose o = 3 - 0. Let m be d(o). Which is smaller: c or m?
c
Let y = 0.02 - -1.98. Let g be (412/(-1030))/((-4)/10). Is g at least as big as y?
False
Suppose 4*n - 2*n - 4 = 0. Suppose -2*f - 14 = n*l, 0 = 8*f - 4*f - 5*l + 55. Let h = -5 - f. Is h at most as big as 4?
False
Let q(u) = -3*u - 31. Let g(i) = -5*i - 61. Let t(z) = 6*g(z) - 11*q(z). Let x be t(8). Does x = 1?
False
Let b(x) be the second derivative of -2*x**3/3 + 30*x**2 - 2*x. Let m be b(14). Which is smaller: m or 3?
3
Let c(f) = -f**2 - 2*f + 3. Let w(r) = -2*r**2 + 8*r - 3. Let n be w(4). Let p be c(n). Which is bigger: 0.8 or p?
0.8
Let o = 65/4 + -313/20. Which is smaller: o or 1?
o
Suppose -15*w + 9*w = 348. Which is smaller: w or -57?
w
Suppose -y - 3 = -5*u + 44, 52 = 4*u + 4*y. Suppose -5*g + 30 + 20 = 4*i, -2*i - 20 = -5*g. Is g not equal to u?
True
Let y(f) = -f**3 + 3*f**2 + 4*f + 3. Let d be y(4). Let l be d/3*5*(-136)/20. Is l at most -34?
True
Let y be (170/204)/((-2)/(-204)). Let q = 66 - -20. Which is smaller: y or q?
y
Let r(s) = s**3 + 3*s**2 + 3. Let t be r(-3). Let h(b) be the first derivative of b**4/4 - b**3 - b**2 + 3*b - 1. Let l be h(t). Is l not equal to 0?
True
Suppose -3*s = -9, 3*s + 6 = 4*w + 5*s. Suppose -5*j - h = -158, 3*j - 5*h = j + 74. Let p be 3 + -1 + (-76)/j. Which is smaller: p or w?
p
Let m = 0.08 - 9.38. Let a = -27.7 + m. Is -1/2 bigger than a?
True
Suppose -20 = 4*v - 2*v. Let o be (-4)/10 + v/(-25). Let s be (-1)/(-4) + (-5)/10. Which is smaller: o or s?
s
Suppose 0 = 5*r - 10. Suppose -r*q + 6 = 44. Is q >= -16?
False
Let r be 14/8*(-1 + 5). Suppose -22 = -3*k + b - r, 5*b + 27 = 3*k. Let s be ((-12)/(-20))/(k/(-5)). Which is smaller: -2 or s?
-2
Let p be (-1260)/(-609) - (-4)/(-58). Is 10/9 > p?
False
Let o(j) = -46*j**3 + 1. Let s be o(-1). Suppose 61 = -2*q + s. Which is smaller: -3 or q?
q
Suppose 2*f - 11*f = -7*f. Let n be (12/(-56))/(44/14 - f). Is n > 0?
False
Let w = 1558/65 - 24. Let c = -142 + 147. Suppose 55*l + c = 50*l. Is l at least as big as w?
False
Suppose -2*t - 2 = p, -3*p - t - 2 = -1. Let k be 170/36 - (40/(-45))/(-4). Let s = k - 589/130. Is p != s?
True
Let k be (-4)/((-2)/(-16)*-2). Suppose 0 = -3*h - h + k. Suppose m + h = 4*u - m, 5*u + 3*m + 6 = 0. Is u at most 2/11?
True
Let w(r) = 29*r + 28. Let g be w(-1). Is g less than or equal to 2/3879?
True
Let o = 1786 - 23221/13. Is -13 less than o?
True
Let k be (2/(-52))/(1/6). Let u(c) = c**3 - 8*c**2 - 9*c + 4. Let n be u(9). Suppose n*q - 2*q - 20 = 4*o, -q - o = 5. Is k less than or equal to q?
True
Let d = -4 - 3. Let r be 105/(-18) + (-20)/(-60). Is r at least as big as d?
True
Let j = -2 + 47. Let f be ((-64)/60)/((-5)/(j/6)). Which is smaller: 0 or f?
0
Let t(j) = j**2 + j. Let z be t(-1). Let x be (7/(-20))/((-24)/96). Is x greater than z?
True
Let f = -160 - -183. Is f bigger than 23?
False
Let t = 62 - 80. Let r be (-4)/(-6) - 474/(-135). Let g = 34/9 - r. Are t and g nonequal?
True
Let c be (20/240)/(1/(-489)). Is -41 equal to c?
False
Let h = -15 + 20. Let o(d) = 4*d**3 - 3*d**3 + h*d + 0*d**3 - 7*d**2. Let q be o(6). Is q less than or equal to -5?
True
Suppose -3*s - z + 29 = 3*z, -27 = -3*s - 3*z. Let t be ((-2)/(-12))/(-4 - s/(-2)). Let u = -2 + 4. Which is greater: t or u?
u
Let n = -0.9 - -1. Let t = 0.16 - 0.18. Let j = -0.38 + t. Which is smaller: j or n?
j
Let a be 2025/(-54)*(-4)/(-27). Which is smaller: -5 or a?
a
Let x be ((-170)/(-30))/((-1)/(-9)). Suppose 17 + x = 4*u. Which is smaller: 16 or u?
16
Let k be 198/14*19/57. Let b = 67/14 - k. Does b = 0?
False
Let f(t) = 2*t**2 + 4*t + 5. Let x be f(-2). Suppose x*v = v - 4*d, -2 = 2*d. Which is smaller: v or 6/29?
6/29
Suppose -5 = 5*p - 0. Let i = 83 + -31. Let j = i + -68. Is p < j?
False
Let s = 9 - 15. Let q(w) = w**3 + 6*w**2 - 3*w + 3. Let l be q(s). Let b be (3/l)/((-2)/(-2)). Which is bigger: b or -1?
b
Let q(f) be the first derivative of -f**2/2 + 12. Let x be q(0). Let n = 148 + -1330/9. Which is smaller: n or x?
x
Let j = 131 - 90. Suppose 4*m + 5*h - 16 = 0, -5*m - 2*h + h = -j. Let x be (-6)/m*27/(-2). Are x and 9 non-equal?
False
Suppose