ue
Let w = -5 + 4.7. Let b = w + -2.7. Is b less than or equal to -0.7?
True
Let z = 1/668 - 3343/2004. Suppose a - 6*a - 15 = 0. Which is smaller: z or a?
a
Let x = 7.57 + -7.47. Let l = 1040/7 + -148. Is x > l?
False
Let w be 10*-8*9/(-277740). Which is greater: 1 or w?
1
Let o = 6 - 4. Let y(v) = -v - 6 + 3 - v**3 + 13*v**o + 8. Let q be y(13). Is q smaller than -8?
False
Let m = 24 - 56. Suppose -3*r - 4*g = 69, r + 128*g = 123*g - 1. Which is smaller: r or m?
m
Let k be (-8)/(-20) + (-1346)/3570. Let s = k + 2/357. Suppose -7*l = -9*l. Is l greater than or equal to s?
False
Let k(d) = d**3 + d**2 + 3*d + 2. Let v be k(-2). Let a = -18 - v. Let b be (-2)/(-1 + (-8)/a). Do b and 10 have the same value?
True
Let g = -2/15 - 11/30. Let y = 37 + -36.15. Let l = -0.05 - y. Is g < l?
False
Let c be -6 + -74 - (-3 - -1). Which is bigger: c or -75?
-75
Let m = 3 + -4. Let n = 132.7 + -149. Let c = n + 15. Is m at least c?
True
Suppose 54*b + 1560 = 372. Which is bigger: -45 or b?
b
Let l = 28 - 47. Let t = 16 - 35. Let b = l - t. Is -0.5 <= b?
True
Suppose 5*d = -5*b - 10, -3*b + 0 - 6 = -4*d. Suppose z = 7*z - 30. Suppose 0 = -4*v + 1 - z. Is b greater than v?
False
Let f(i) = 0*i - 1 - i - 5*i. Let v be f(4). Let b = 123/5 + v. Is b at least 4?
False
Let c = -81 + 78. Which is greater: c or -11/5?
-11/5
Let z be 18/30 - (285/(-550) - -1). Which is smaller: z or 1?
z
Let m = -365/36 + 80/9. Let n be (-2)/((-1)/(3/(-9))). Is m != n?
True
Let z(f) = -4*f**2 + 2*f + 2*f**2 - 4 + f**2. Let l be z(-3). Which is greater: l or -18?
-18
Let q(i) = -i**3 + 16*i**2 - 11*i + 12. Let k be q(15). Let b be -1 + (k/(-15))/((-6)/20). Is 15 equal to b?
True
Let z(l) = -20*l - 298. Let q be z(-4). Is q at most -219?
False
Let g(q) be the third derivative of q**6/120 + q**5/6 + 3*q**4/8 - q**3/6 + 19*q**2. Let v be g(-9). Is -14/15 not equal to v?
True
Let t(o) = 24*o + 44. Let g be t(-6). Is -100 at least g?
True
Let v = -6614/5 - -1322. Is 0 less than or equal to v?
False
Let b = -41 + 41. Suppose t + 4*t = b. Which is greater: -2/149 or t?
t
Let c = 26 - 16. Let w = 13 - c. Let o be 3 - (-6 + w + 3). Is 0.1 bigger than o?
False
Let z = -6429/5 + 1286. Let h = 2.9 + -3. Let f = h - -0.3. Is z at least as big as f?
True
Let y(p) = -8 - 6*p - 2 + 9*p - 2*p**3 - 4*p - 20*p**2. Let j be y(-10). Is 8 less than or equal to j?
False
Let d(o) = o**3 - 8*o**2 + 7*o + 5. Let y = 3 - -13. Suppose -19 - y = -5*n. Let q be d(n). Are 3 and q equal?
False
Let h = 252.2 - 252. Is h != 26?
True
Suppose 2*t - 15*f = -10*f + 273, -2*t + 277 = -f. Which is bigger: t or 141?
141
Let p be (3/(-12))/((-1610)/(-4)). Let j = p + 22549/14490. Let k(y) = -2*y**3 - 77*y**2 - 42*y - 150. Let d be k(-38). Which is greater: j or d?
d
Suppose 0*m = -m + 12. Suppose -3*h + 5*n + 11 = -m, -5*h = -4*n - 21. Let d = -3 + 5. Which is smaller: h or d?
h
Let f = 15472 - 15472. Let d = -663 + 12603/19. Which is smaller: d or f?
f
Let j(s) = -s + 1. Let k be j(0). Let y(z) = 4*z - 10. Let c be y(11). Let q = 441/13 - c. Which is smaller: q or k?
q
Let s(x) = -x**3 - 7*x**2 - 6*x - 1. Suppose -g - 6 = -0. Let b be s(g). Let c = -20/27 + -1/108. Which is smaller: b or c?
b
Let p = 53.2 + 16.8. Let q = -69.984 + p. Is -0.1 less than q?
True
Suppose -85*i = -74*i - 1463. Is i less than 130?
False
Let b = 1300/7 - 186. Let h = -0.118 - -9.018. Let y = h - -0.1. Which is smaller: y or b?
b
Suppose -u - 4*w + 20 = 0, -2*u + 7*w = 4*w + 15. Suppose 5*s - 5*s + 2*s = u. Are s and -1/7 equal?
False
Let v be (3/(-54)*14 - -1) + (-12308)/54009. Suppose 3*k = 4*h - 17, -4*k - 2*h - 2*h + 24 = 0. Is v not equal to k?
True
Let f = 4 + -2. Suppose -12 = -f*r + 4*b, 0*b = -3*r - 3*b. Suppose -2*l - 4*y - 24 = 0, -r*y - 4 - 2 = -2*l. Is l smaller than -2?
False
Let f = 1026.1 + -935. Let u = f + -70. Let q = 21 - u. Is q equal to -0.1?
True
Suppose -5*m - 5*l = -4*l - 6, 0 = 3*l - 3. Is -1/824 greater than or equal to m?
False
Let z = -4.7 - -5.74. Let q = -1 + z. Let f be (-4)/(-2) - (-480)/(-200). Is q > f?
True
Let o = -1549 + 17051/11. Let y = -6 - -6.2. Which is greater: o or y?
o
Suppose g - 6*g = 2*l - 131, g = 5*l - 314. Let u = -62 + l. Which is smaller: u or 2.9?
u
Suppose 4*d = j - 6*j + 134, 3*d = 5*j - 127. Let f(x) = -5*x + 4. Let s be f(-4). Is j greater than or equal to s?
True
Suppose 10*c - 96 - 844 = 0. Which is bigger: 93 or c?
c
Let v(g) = g + 59. Let x be v(20). Let p = x + -89. Is -10 smaller than p?
False
Let o(x) = -x**2 - 3*x - 1. Let g be o(-3). Let w = -19 - -15.9. Let h = -5.1 - w. Is g less than h?
False
Let f be 3 - 1 - (-18)/(-15). Let w = -9.9 + 9.7. Is f less than or equal to w?
False
Let n be (-38)/(-3)*(1330/(-40))/19. Are n and -21 nonequal?
True
Let b = 325.1 - 325. Is b at least as big as 474?
False
Let s = 138 - 90. Let b = -31 + s. Let d = 22 - b. Is d <= 2/3?
False
Let p(g) = -2*g - 1. Let s be p(-3). Suppose 4*h = t - 0*t - 46, -s*t = 3*h + 23. Suppose -5*b + i - 49 = -i, b + 2*i = -17. Is b greater than or equal to h?
True
Let s be (0 - -2)*(-38)/(-44). Let d be 28/(-4) + 2682/330. Let q = s - d. Do q and -1 have different values?
True
Let q be (-15)/(-20)*(-16)/27. Suppose 2*h + 7 = n + 36, -62 = -5*h - n. Is q at most h?
True
Let r be (-70)/4 - 21/14. Let n = 21 + r. Suppose n*g = 12 + 8. Is g > -1/4?
True
Let z = 2/3637 + 79912/185487. Which is smaller: 0 or z?
0
Let p = 71 + -72.36. Which is smaller: p or -2?
-2
Let r = 487/117660 - 1/444. Which is bigger: r or -1?
r
Let b = 0.1 + 0.9. Are b and 187 equal?
False
Suppose -18 = 14*x - 12*x. Is 68 greater than x?
True
Let c be (-6)/21 - 5/7. Let j = 2846191/17916 - -80/1493. Let m = j - 159. Which is smaller: c or m?
c
Let q = -8201 + 114763/14. Does q = -5?
False
Let u = 210 + -824. Which is bigger: u or -2/5?
-2/5
Let i = 43 - 42.53. Let l = i - 0.57. Is 0.2 < l?
False
Let d = 1.22 - 51.22. Let s = d + 53. Which is smaller: -9 or s?
-9
Let y = -2253 - -2253. Which is smaller: y or -26/57?
-26/57
Let y = 31.86 - 2.89. Let w = -29 + y. Do w and -3 have the same value?
False
Let h(i) = 12*i**2 - 72*i + 1. Let g be h(6). Is g at least 1/2063?
True
Suppose 5*b - 3*j = 17, 3*j + 5 = b + 2*j. Suppose b = 5*v - 4. Suppose q + 5*m + 19 = 0, -3*m + m - 4 = 4*q. Is v at most q?
True
Let i be (-4)/(-62) - (-306)/(-13392). Let x = 14 - 20. Let a = 6 + x. Are i and a equal?
False
Suppose 0 = -19*h + 24*h + 5. Let i = 123/7 + -18. Which is bigger: i or h?
i
Suppose -628 = -5*u + 4*y, 5*u + 5*y - 504 = 106. Is u at most 124?
True
Suppose 0*y = 4*y - 20. Let h = 58/35 + 142/35. Is y at least h?
False
Let v(n) = n**3 + 2*n**2 - 3*n - 1. Let k be v(-2). Suppose 0*y = -3*y + 21. Is y equal to k?
False
Let g = -378/19 + 20. Let j = g + -23/38. Which is greater: j or 0?
0
Suppose 78*g - 75*g + 84 = 0. Which is smaller: g or -23?
g
Let k(a) = -15*a**3 - 4*a**2 + 9*a + 44. Let l be k(-3). Is 1162/3 < l?
False
Suppose -10 = 2*i + 3*i, 70 = 2*n - 3*i. Suppose w + 0*w + 4 = 0, 0 = 4*o - 5*w - n. Suppose 3 - 6 = -o*a. Are 0 and a unequal?
True
Let q = 903/7373 - 14/73. Is 0 greater than q?
True
Let o be (18/(-33))/((-22)/121). Which is smaller: o or 26/11?
26/11
Suppose -15 = -2*p + k + 2, -2*k + 30 = 4*p. Let y = 15 - p. Which is greater: y or 5?
y
Let r = 2 + 11. Let h = r + -10. Let i(f) = f - 6. Let z be i(h). Is z != -5?
True
Let f be (119/20)/(-1) - 22/88. Which is smaller: -7 or f?
-7
Let g be (-1)/(-3) - 49/54. Let u = g - -2/27. Is u != -18?
True
Let b(z) = -z**3 - 11*z**2 - 11*z - 11. Let t be b(-10). Let j be ((-10)/250)/((-3)/(15/(-2))). Which is bigger: j or t?
j
Let g(q) = -4*q**2 + 9*q - 9. Let x(z) = 3*z**2 - 8*z + 8. Let n(b) = -2*g(b) - 3*x(b). Let d be n(5). Which is smaller: -1/21 or d?
d
Suppose -3*c - 23 = 5*f, 2*c + 22 - 2 = -f. Let j(u) = -u**2 - 11*u + 9. Let r be j(c). Let a(v) = v + 24. Let d be a(-16). Is d >= r?
False
Let t = -3/23513 + -7782182/4867191. Let k = t - -14/9. Which is greater: k or 1?
1
Let h be ((-6)/(-4))/((-3)/4). Let i be 4 + h + 0/(-1). Suppose f - i - 2 = 0. Is f less than or equal to 3?
False
Let x = 1.078 + 42.022. Let b = -43 + x. Which is greater: b or 0.08?
b
Let j = -4 + 3.5. Let u be 18*5/60 + (-2)/4. Are u and j equal?
False
Let t = -2230/7 + 318. Let a be (210/(-25))/((-2)/5). Suppose 5*x +