-2)). Let h = l - -16854/7. Let i = h - -310. Is -1 less than i?
True
Let u(v) = v**3 - v**2 + v. Let t(g) = 5*g**3 + 5*g**2 + 8*g - 10. Let j(s) = -t(s) + 4*u(s). Let f be j(-8). Which is smaller: -45/2 or f?
-45/2
Let a = 6950 - 23484052/3379. Is 1 smaller than a?
False
Let p = -14.3 + 11.3. Is p at most 4.1?
True
Let n = 7 - -1. Let l = 8 - n. Suppose -4*b - 4 = -k - 1, l = -k + 2*b + 1. Is 1/3 less than or equal to k?
False
Let f be ((11 - -5)/8)/((-2)/211). Which is smaller: -210 or f?
f
Let g = 9.804 + 0.096. Let k = g + -5.02. Let j = 0.12 + k. Is j <= 2?
False
Let d = 75 - 151. Let j = d - -85. Which is greater: j or -2/3?
j
Let c = -0.711 - -141.711. Is c > -2/3?
True
Let w(l) = 49*l + 23. Let c be w(-10). Does c = -469?
False
Let g = 43 - 42. Which is smaller: -1/110 or g?
-1/110
Let p(l) = -l**3 + 21*l**2 - 51*l - 44. Let s be p(18). Is s at most 128/13?
False
Let r be 4 + (0 - (2 - 2)). Let d = 1 - -32. Let o be (-3)/r*22/d. Is o at most as big as -1?
False
Let o be (-4)/(-2) - (-1950)/52. Is 40 not equal to o?
True
Suppose 2*y = -40*y + 30450. Which is greater: 726 or y?
726
Let x be ((1 + 15)/(-4))/(-4). Is x at least as big as 2/117?
True
Let a(x) = -25*x**3 - 1. Let o be a(-1). Let b = -12 + o. Let n(i) = -i**2 + 17*i + 51. Let j be n(19). Which is bigger: b or j?
j
Suppose 3*g + 0*g = -f - 8, -2*f - g = 31. Let d be (-4)/(-6)*(f + 8). Do d and -45/7 have the same value?
False
Suppose -2*t + 40 = 3*t. Let m be (-10)/20 - (-5)/2. Let p be 9 + m - (4 - -1). Which is smaller: t or p?
p
Let y = 419/5 - 84. Which is greater: 1 or y?
1
Suppose 0*w + 304 = 8*w. Let u(j) = 11*j**2 - 2*j - 2. Let i be u(2). Is w equal to i?
True
Let f = 3 - -1. Let d = 470 + -467. Do f and d have the same value?
False
Suppose 3*g + 2*k + 83 = 0, -5*g - 5*k = -0*k + 130. Is -37 < g?
True
Let x(u) = u**2 - 6*u - 6. Let k be (-3 + 2)*1 + 8. Let s be x(k). Let g be (4/20)/((-4)/5). Are s and g unequal?
True
Let o = -18 + 0. Let m = -313/7 + 45. Which is bigger: o or m?
m
Let b = 477 + -198. Let s = 3/9617 + 18753129/67319. Let h = b - s. Is -1 bigger than h?
False
Suppose -23*w = -44*w - 6195. Is w greater than or equal to -298?
True
Let g be (18/(-27))/((-2)/(-6)). Let v(d) = -d**3 + 5*d**2 + 2*d + 2. Let l be v(5). Let w be (-4)/l + 2/(-3). Is g at most w?
True
Let o = -131 + 57.8. Let n = o - -73. Is n less than or equal to -23?
False
Let r = 27 - 30. Let h = r + 4. Is 15 > h?
True
Suppose 12*d = 4*d + 48. Let z(a) = -a**3 + 7*a**2 - 4*a - 12. Let r be z(d). Is r at least as big as 3/43?
False
Let v = -1121 - -1121. Which is greater: 2/1069 or v?
2/1069
Let k = 70 + -75.9. Let t = 2.9 + k. Is t greater than or equal to 0.4?
False
Let x be (2 + 2)*1/(-2). Let t be x + 0 - (-34 + 0). Is 32 equal to t?
True
Let j be 39 - (-1)/(((-12)/(-15))/(-4)). Which is bigger: -1 or j?
j
Let k be (-48)/(-34)*(-44)/52. Let n = -14/13 - k. Which is smaller: -1 or n?
-1
Let i = -0.9 - 0.2. Let r = -14477 - -14474. Which is greater: i or r?
i
Let z be -1 - -2*4/(-8). Let r be (-12)/(-8) - (-2)/4. Let w be (-4)/r + 0/(-1). Is z less than w?
False
Let h = -3 - -19. Let b = h - 27. Let j = 7 + b. Does j = 2?
False
Let w = -161 - -188. Is w > -3?
True
Suppose -51*d + 0*d = 41*d. Is d equal to 11/243?
False
Let y be 14244/(-66) - (-8)/(-44). Is -217 >= y?
False
Let v be (-4)/(-6) - 46/78. Let s = 68/39 - v. Which is smaller: s or 1?
1
Let u(f) be the first derivative of 1/2*f**2 + 4/3*f**3 + 1 - 1/4*f**4 + 3*f. Let q be u(4). Is q bigger than 6?
True
Let z be -5 - (-1 - -5 - (-20 + 362)). Which is greater: 0 or z?
z
Let v = -11 - -10. Let x be 16/(-20) - v/(-5). Let z be 1 - (-1 - (-3 + x)). Which is greater: z or 2?
2
Suppose a = -5, 5*y + a + 145 = -5. Which is smaller: -25 or y?
y
Let f be (0 - 3) + 1 + 8. Suppose -f*o + 30 = 3*h - o, -4*o = -2*h + 20. Is 49/5 < h?
True
Let c = -5 + 7. Let f = 605/6 + -98. Is f equal to c?
False
Let g = 0 + 1.44. Let l = -0.44 + g. Is -1/9 > l?
False
Let p be (4/(-6))/(2/3). Are -5/22 and p equal?
False
Let w be ((-99)/(-3))/1 + (1 - 2). Let z be 820/w*(-2)/5. Which is smaller: z or -9?
z
Suppose 9 = -2*q + 5*f - 2, f = -3*q - 8. Let g be 1*(-306)/(q + 0). Let v be 1 - (g/33 + -2). Is 0 < v?
False
Suppose 0 = 4*k + 18*k - 88. Is -10 at least k?
False
Let p be -11 + 8 + 2*5. Suppose 2*r = -p - 15. Let b = r - -3. Are -8 and b equal?
True
Let d be 3/(-4)*(0 + (-12)/1566). Which is greater: 1 or d?
1
Let l(v) = v**2 - 2*v**2 + 11 + 2*v + 5*v. Let y be l(8). Let b = 3154 + -3153. Which is greater: y or b?
y
Let k = 0.103 + -0.363. Is k > -0.5?
True
Let w(r) be the third derivative of 5*r**4/24 + r**3/2 + 20*r**2. Let g be w(-1). Which is smaller: -1 or g?
g
Let x = -63 - -57. Let u be 25/x*-1 + 1/(-6). Which is smaller: u or -1?
-1
Let m be ((-118)/(-10))/(-3 - 11/(-3)). Which is smaller: m or 19?
m
Let d = -339 + 339.1. Suppose -2*c + 26 = -4*f, -2*f + 4*c - 3 - 13 = 0. Let a be (-2)/f*(4 + -2). Is a equal to d?
False
Let o = -539 - -539. Is o equal to -12/71?
False
Let p be 1/(-3) - (-352)/48. Suppose 4*o = -2*i + 3*o - 7, 5*i + o + 13 = 0. Let d(v) = -5*v - 1. Let u be d(i). Is u greater than or equal to p?
True
Let s = 37914446/97383 - -2/97383. Which is bigger: s or 389?
s
Let b be (-45)/84 + (-1)/(-4). Let z(s) = -s - 3. Let r be z(-6). Let h be -3 + r + (5 - 3 - 1). Which is smaller: h or b?
b
Suppose -r + 2*r = 18. Let j(z) = z**2 - 19*z + 14. Let w be j(r). Let l be (-4)/(w/(-2) - 0). Which is smaller: -4 or l?
-4
Suppose 14*w + 55 = 19*w. Let h be ((-6)/(-100))/(w/22). Which is smaller: h or 0?
0
Let t = -4 - -3. Let n = 1/152 - 337/5016. Do n and t have different values?
True
Suppose -5*d + 2*i - i = -9, -d = 2*i - 4. Suppose -3*t - d = -8. Let v(g) = -g**2 + 7*g + 10. Let a be v(8). Is a greater than t?
False
Let t = -97 + 100. Which is smaller: 7 or t?
t
Suppose 6864 = -3*c + 51*c. Are 143 and c unequal?
False
Let k be (-4)/10 - (-90)/(-25). Let n be (-1)/k - (-26)/(-40). Suppose -a - 4 = 0, 5*l - 4*l + 3*a = -12. Which is greater: l or n?
l
Let p = 36/167 - 20508/2171. Which is greater: -1 or p?
-1
Suppose -5*m + 3*b = 1174, -b = 4*m - 3*b + 940. Let c be (-3)/(4 + m/56). Is 14 greater than c?
False
Let l = 14.6 - -46.4. Let r = l + -61.1. Is 8/5 greater than or equal to r?
True
Suppose 4*x + 15 = 5*s, 0*s = -2*x + 2*s - 6. Suppose -12 = -5*u + 2*y - 1, -4*u - 8 = 4*y. Which is greater: u or x?
u
Let c = -1.6 + 1.51. Let h = -0.1 - c. Let v = 9 + -11. Is v != h?
True
Let a = 321 + -320.881. Is a bigger than 1/4?
False
Suppose 756 = 3*g - 4*i, -865 - 378 = -5*g + i. Is g equal to 742/3?
False
Let i be (-431)/(-4837)*-16 - -1. Let j = 2/691 - i. Let g = -70 + 70. Which is smaller: j or g?
g
Let c = 44 + -38.2. Let f = c + -6. Which is bigger: 13 or f?
13
Let k = -5219569/435 - -11999. Which is bigger: -1 or k?
k
Let c = -88 - -89. Let f = 3.7 - -2.3. Are f and c equal?
False
Let f = -0.03 + -0.07. Let h = 0.16 + 6.84. Let p = 6 - h. Which is greater: f or p?
f
Let z be ((-2)/2)/((-8)/168). Let j = 7 - -13. Is z > j?
True
Let q be 6/162*132/(-18). Is 1 >= q?
True
Let w = 304 - 1516/5. Which is smaller: -2/11 or w?
-2/11
Let l = -815 - -804. Which is greater: -19 or l?
l
Let c be 8*2/((-420)/33). Let l = -13/7 - c. Which is bigger: l or -2?
l
Let v = 84 - 84. Suppose -5*n + 4*o + 105 = 0, 5*o = 3*n - v*o - 76. Does 16 = n?
False
Let n be (-10)/4*4/(-5). Suppose 0 = n*u - 0 + 8. Let a be (-10 + 6)/(u/(-2)). Which is greater: -11/4 or a?
a
Let d(k) = k**3 + 6*k**2 - k - 7. Let h be d(-6). Which is greater: 2/179 or h?
2/179
Suppose -3*l = -0*l. Let d = l + 0. Let n be ((-180)/(-4410))/(1 - 4/7). Is n > d?
True
Let v(s) = -s**2 + 3*s + 3. Let q be v(3). Suppose q*k + 4 = -k. Is k bigger than 3/22?
False
Let n(o) = -4*o**3 - 6*o**2 + 30*o + 2. Let x be n(-8). Are x and 1426 unequal?
False
Let t = -9 + 18. Suppose -4*v + 2 = -2*o, 22 = 3*v + 13. Is o <= t?
True
Let f(i) = -i**3 - i - 1. Let j be 4/(-6)*3/2. Let k be f(j). Let a be 2 + k/2*-4. Which is bigger: -2/17 or a?
a
Let b = -5295853/746 + 7099. Which is smaller: 1 or b?
b
Let g(k) = 9*k - 72. Let u(n) = -1. Let z(r) = -g(r) + 5*u(r). Let y(d) = -3*d + 22. Let a(f) = -7*y(f) + 2*z(f). Let v be a(10). Is v < 21/2?
True
Let d = -3 + -15. Let c = d - -21. Let z = 3 + -1. Does z = c?
