 (-1 - 2). Let l(o) = o**3 + 4*o**2 + 4*o + 2. Let c be l(-2). Let u be r/(((-12)/3)/c). Is u < 2?
True
Let s = 36.924 + 0.076. Let q = s + -46. Is q bigger than 0.3?
False
Let a(d) = -2*d + 51. Let o be a(4). Which is smaller: 38 or o?
38
Let h = 1168 - 1219.9. Let i = -46 - h. Let j = i + -6. Which is smaller: 1/2 or j?
j
Let p be ((-2 - 0) + 1989/999)*6. Which is bigger: 0 or p?
0
Let g be (5/(-20))/(2/8). Let u be (-142)/12 + g/6. Let q = 13 + u. Which is greater: q or -1/12?
q
Suppose -2*b - 6*g + 5*g - 12 = 0, -3*g = 3*b + 15. Which is greater: b or 3?
3
Let r = -424 - -226. Which is smaller: r or -197?
r
Let w = 186 + -186. Are -107 and w unequal?
True
Let d be ((-9)/14)/(96/(-56)). Let m(k) = k**3 + 5*k**2 + k + 5. Let w be m(-5). Let b be w/(2/(0 - 2)). Which is smaller: d or b?
b
Let t be (-1)/21*(1 - 0). Let r(d) = d**2 + d - 12. Let j be r(-5). Suppose -5*x - 13 + j = 0. Which is bigger: t or x?
t
Let b = 0.9 + -1.9. Let r = -21 + 18. Let a(k) = -k**3 - 3*k**2 - 3*k + 4. Let h be a(r). Is h < b?
False
Let g be (-96)/(-18) - 3/9. Suppose -2*z = -z + g*j - 13, z = -j + 17. Suppose 0*k = -2*c - 5*k - z, 3*c - 5*k = -2. Which is smaller: -3 or c?
c
Let c = 188 + -354. Is -166 at most as big as c?
True
Let v(w) = w**2 + 14*w + 47. Let c be v(-9). Does -66 = c?
False
Let b(u) = -u**2 + 20*u - 90. Let y be b(7). Which is greater: y or 11/13?
y
Let f = 31/2 + -17. Let w = -661 - -658. Is f bigger than w?
True
Let m = -2.25 + 6.25. Is m greater than or equal to 0.11?
True
Let m = -16.77 + 16.16. Which is smaller: m or 4/5?
m
Let s(u) = 4*u - 2. Let n be s(-1). Let a be (-8)/n + (-4)/12. Let j be ((-1)/(9/(-6)))/(-2). Which is smaller: a or j?
j
Let c = 15 + -14.9. Which is bigger: c or -77?
c
Let p = 1.7 - 1.78. Let y = 0.02 - p. Which is bigger: 2/57 or y?
y
Suppose 0 = 4*l + 4*t + t + 1, 0 = -5*l - 2*t + 20. Let k be (l/(-63))/((25/(-15))/(-5)). Let r = 40/3 + -13. Which is greater: r or k?
r
Let y be 6/21 - (-936)/7. Let d = y - 64. Let v be (42/d)/(2/(-10)). Is v != -1?
True
Let j = 0.38 - 34.98. Is -0.1 bigger than j?
True
Let l(n) = n**3 + 4*n**2 - 6*n - 1. Let t be l(-5). Let o be (-5 - 3) + t - -106. Is o at most 103?
True
Let h = 29 - 28.944. Let i = 3.944 + h. Are i and 1.3 nonequal?
True
Suppose -3*n - 7 = -1. Let w(a) = 3*a**2 + 1. Let g be w(n). Which is greater: g or 14?
14
Let a = 21/10562 + -2345431/1663515. Let b = 1/126 + a. Let n = 437.1 - 437. Is b at most n?
True
Let j = -0.499 - -0.499. Which is bigger: j or 1/462?
1/462
Let v be 0/(-1*(-3 + 4)). Let q = v + 22. Suppose -j = j + q. Is j > -11?
False
Let f be 2 + (-15)/2 - -1. Let v(m) = -56*m. Let l be v(10). Let b be (-4)/(-18) - l/(-90). Which is smaller: b or f?
b
Suppose -5*s + 8*w - 7*w = -1, 3*s - 5*w = -17. Suppose -5*t + 4 + 51 = 0. Which is bigger: s or t?
t
Let x be 2 - 1276/121*51/269. Which is bigger: x or 0?
x
Let u = 0.3173 + 0.0427. Which is smaller: -4 or u?
-4
Let c be (-2)/7 - (-9)/7. Let j be (-65)/(-119) - 57/133. Do c and j have the same value?
False
Let v(t) be the third derivative of t**6/120 + t**5/12 + t**4/12 - 3*t**3/2 - 10*t**2. Let p be v(-4). Which is smaller: p or -4/25?
p
Let s(a) = a**3 + 39*a**2 + 6*a + 85. Let v be s(-39). Which is smaller: -2/9 or v?
v
Let o = 215/6 - 205/6. Which is greater: o or -11?
o
Let m = -31.81 + 122.3. Let a = 90 - m. Let z = -0.19 - a. Which is smaller: z or 1?
z
Let y be ((-233166)/(-116))/(-3) + 4 + 1. Let s = 665 + y. Are s and -1 equal?
False
Let a = 17/35 - -15787/140. Which is bigger: a or 113?
a
Let m be (-2)/5 + 26/(-10). Let s be (16/(-12) - -2)/(4/(-6)). Let f be (s - (-11)/10)/((-2)/32). Do f and m have different values?
True
Let q(z) = z**3 - 6*z**2 + 6*z - 2. Suppose 2*o - 34 = -2*o - 2*j, 5*o - 3*j = 59. Let a = o - 5. Let f be q(a). Are 3 and f equal?
True
Let r be (-252)/(-189) - (-182)/(-6). Is r at most -5?
True
Let x = 3037 + -2956. Which is smaller: x or 573/7?
x
Suppose -4*p + 76 = 104. Which is smaller: -10 or p?
-10
Let b(s) = -s**3 - 4*s**2 + s + 7. Let k be b(-4). Suppose 12 = -4*z, -k - 3 = 5*i + 2*z. Which is smaller: 2/33 or i?
i
Let f = 244 + -5125/21. Let v = -2 - -3. Let i = v - 0. Is f at most i?
True
Let j = 560/3 - 192. Let l be (640/(-55) - -12)*-11. Is j at most l?
True
Let x = 2.8 + -2.7. Let v = 0.18 + 1.82. Is x at most v?
True
Suppose 0 = 42*g - 7*g. Which is bigger: g or 2/3067?
2/3067
Let l be -15 + 17 - 252/10. Is l > -23?
False
Let b = -7.6 + -23. Let s = b - -28. Let z = 11/24 - 1/8. Is s at most z?
True
Let g = 31/19 + 2201/95. Is g smaller than 26?
True
Let h = 421 + -839. Which is greater: h or -419?
h
Let n = 12.0346 - 0.0346. Which is smaller: 6 or n?
6
Let o = -10 - 0. Let t = 0.034 - 10.334. Let y = t - o. Which is smaller: -1 or y?
-1
Let v(w) = -2*w + 66. Let m be v(16). Is m not equal to 34?
False
Suppose -3240 = -116*i + 98*i. Which is bigger: 178 or i?
i
Let y(r) = -r**2 + 7*r - 9. Let a be y(5). Let t(u) = -u**3 + 21*u**2 - 39*u - 16. Let i be t(19). Is a at most i?
False
Let m be (-4 - 16/4) + -61. Which is greater: m or -67?
-67
Suppose 3*k - 14 = 1. Suppose -k*g + 3 = -2. Let f(j) = -j**3 + j**2 - 27. Let i be f(0). Which is bigger: i or g?
g
Let c(f) = -4*f**2 + 62*f + 532. Let v be c(-7). Let y = -93 - 5. Is y less than v?
False
Let c(d) = 3*d**2 - 4*d**2 + 2 - 4*d - d + d. Let t be c(-3). Suppose t*r + 2 = -28. Is r at most -1/4?
True
Let w = 18.6 + -2.6. Let l = -16.1 + w. Let q = 0.5 + -0.6. Are l and q unequal?
False
Let o be 1/5 - (-176)/(-5). Let n = o + 40. Is 5 less than n?
False
Suppose -31*x = -42*x. Let c be 2/5*20/14. Which is bigger: x or c?
c
Suppose 0 = -7*l - 52 + 45. Which is smaller: l or 4/233?
l
Let m(h) = h**3 - 3*h**2 - h - 2. Let g be m(4). Suppose 20 = 5*y + g. Let a be 2*(y + -6)/8. Which is smaller: a or -3/2?
-3/2
Suppose 0 = -7*o + 20 - 6. Suppose 0 = m + 2*m + 2*b + 9, -o*m - 11 = 3*b. Suppose 5*h = -0*h - 5*d - 5, -7 = 3*h + 4*d. Which is smaller: h or m?
m
Suppose 0*b - 1691 = -19*b. Suppose -h + 114 = 25. Is h at least b?
True
Suppose 4*v + 3 = 5*x - 1, -4*x = 5*v + 46. Let h be (-15)/v*16/(-190). Let b(m) = -m**3 - 13*m**2 - m - 14. Let j be b(-13). Do j and h have different values?
True
Let o(i) = -22*i - 50. Let q be o(-9). Does q = 148?
True
Let b(r) = r**2 + 14*r - 30. Let a be b(-14). Let y be (1 - -1)/12 - 25/a. Which is smaller: y or -3/14?
-3/14
Let y be (-133)/190*(24/(-70))/1. Is y < -1?
False
Let v be (-2)/(-16) + 636/32. Suppose v*c = 25*c + 30. Is -5 <= c?
False
Let m(t) = -2*t + 19. Let c be m(12). Let x(s) = s**3 + 3*s**2 - 5*s + 5. Let i be x(c). Is -19 < i?
False
Let y = -171 + -11. Which is smaller: -184 or y?
-184
Let c(u) = -u**3 - 3*u**2 + 8*u - 6. Let g be c(-5). Are 0 and g non-equal?
True
Let c = 0 - -0.3. Let q be 63*(14/6)/7. Let n = 18 - q. Which is bigger: c or n?
c
Let v be (-1 - 0)/(-2)*2. Suppose 19 = 4*q - r, 0 = -q - 5*r + v + 9. Let o(n) = -n**3 + 4*n**2 + 6*n - 5. Let f be o(q). Is 1/14 smaller than f?
False
Let c(i) = i**2 - 4. Let j be c(-3). Suppose -3*r = j*u - 12, 2*u - r + 4 = u. Let k = -3040/31 - -98. Which is smaller: u or k?
k
Let j = 6131/118 - 52. Which is smaller: j or 1?
j
Let v = 7 - 2. Suppose v*x + 18 = 13. Let p = 0.2 + -4.2. Does p = x?
False
Let h(j) = -6*j + 19. Let k be h(-24). Is k >= 3/4?
True
Suppose -23*a = 51 - 258. Let u = 10 - 22. Let c = a + u. Is c greater than -3?
False
Let f = -41 - -50. Suppose f*n + 11 = -2*n. Let z be ((-3)/(-2))/(2/4). Which is bigger: z or n?
z
Let f be 12/(-6) - -3*2. Suppose 83 = f*q + 11. Let o = q - 18. Is -16 equal to o?
False
Suppose 3 = -6*k + 3*k. Let t be 0 + -3*(-2 - k)/(-2). Which is smaller: t or 1/8?
t
Suppose -2 = 2*y, 0*f - f + 3 = -2*y. Suppose -a - 3*a + q = 26, 0 = 3*a - 5*q + 11. Let b be 2/(-8) + a/(-20). Is b less than f?
True
Let v = 0 - 1. Let l be (-622)/(-180) + 98/(-140)*5. Which is smaller: v or l?
v
Let a = 2 + -81. Let k = a + 79. Which is smaller: 8/19 or k?
k
Let v = 19/3 - 6. Let u = -6 - -16. Let g = -9.8 + u. Do v and g have the same value?
False
Suppose 0 = -3*w - 3, 5*j - 53 = -2*w - 50. Which is smaller: j or -3/148?
-3/148
Let m be 53/(-1) + (-3)/39*0. Are m and -50 non-equal?
True
Let r = -52 + 63. Let y = 95 - 64. Let v = -19 + y. Which is smaller: v or r?
r
Let u = -22 - -24.9. L