is bigger: 0 or l?
l
Let z be 60*((-30)/18)/(-5). Which is smaller: z or 27?
z
Let f be 1*(-4 + 3 + 2). Let c be ((-3026)/(-62664))/(f/(-2)). Let q = -1/746 - c. Is q less than -1?
False
Let u = 29/7 + -9/14. Suppose -2*n - 14 = -5*y, 2*y - 6*y = -16. Which is smaller: u or n?
n
Let m be (-32)/(-56) + (-2580)/595. Is -5 bigger than m?
False
Let l = -40 - -73. Let b = -46 + l. Let m = -11 - b. Which is bigger: m or 0?
m
Let m = -3007/154 - -2/77. Which is bigger: -19 or m?
-19
Let l = 727 + -725. Let j = -0.1 - -0.85. Let w = j - 0.05. Is l at most w?
False
Let q be 1 + 18 + 1 + 0. Let b = q - 21. Is b at least -1/23?
False
Let u = -1561 + 1563. Is u <= 0.2?
False
Let x = 104.6 - 104. Which is smaller: x or -12?
-12
Let i(s) = 2*s**2 + 12*s + 26. Let a be i(-8). Let n = 36 - a. Which is bigger: n or -23?
n
Let n(l) = l - 18. Let i be n(13). Let t(z) = z**2 - 3*z - 5. Let w be t(i). Which is smaller: 37 or w?
w
Let n be 35/(-7) + 6 - (-2548)/(-2540). Does -2 = n?
False
Suppose -3*l - 2*a + 1 = 3*a, 4*l + 27 = -a. Let f be l/36 + (-14)/18. Let b be (10/3 - 2)/((-893)/(-141)). Is b at least as big as f?
True
Let l = -7 + 43. Suppose -3*z + 0*z - l = 0. Which is smaller: z or 1?
z
Suppose 5*u + 4 = 3*p + 24, -2*p - 5*u + 20 = 0. Suppose -3*j = 2*n + 30, 0 = 4*j - p*n + 3*n + 41. Does -7 = j?
False
Let t be (606/(-24))/(-4 - 51/(-12)). Which is greater: t or -95?
-95
Let w = -3 - -4. Suppose -11*g + 4 = -7*g - l, -g = l - 1. Is g equal to w?
True
Suppose 3*l = 4*f + 12, -3*l + 10 = -2*f + 4. Let v = -134/13 - -31/3. Which is smaller: v or l?
l
Let r = -4.81 + 1.81. Is r > -2?
False
Let p = 1028/9211 - 6/61. Suppose -13*h + 0*h = -16*h + 3. Are p and h equal?
False
Let b be 3 - 15/5 - -2. Suppose m + 3*d = -35, -2*m + m + b*d - 40 = 0. Is m != -38?
False
Let i be -1*2/4*6. Let c be (1 - 0)/(3/i). Which is smaller: c or -2?
-2
Let v be (-37 + 35)*5/(-2)*1. Suppose 2*g + v*q = 6*g + 3, -4*q - 2 = -g. Do g and -0.11 have the same value?
False
Suppose -2*k - 3 = 3*b - 16, -3*k + 27 = 3*b. Suppose 10 = 4*j - k. Let s be 2/(-12) - (-4)/j. Which is smaller: 0.01 or s?
0.01
Suppose 12 = -4*d - 0*d. Let j be (0 - (9/(-3) - d))/(-3). Is j at most 3/10?
True
Let r be 2/5 - 3328/(-130). Is r less than 123/5?
False
Let i = 1.4 - 1.25. Let c = 0.009 + 0.141. Let r = i - c. Does 2 = r?
False
Let k(x) = x**3 - 2*x**2. Let z be k(1). Let j be -9 + 2 - ((-81)/(-14) + -13). Are z and j nonequal?
True
Let c(v) = -35*v - 35. Let y be c(-5). Are 141 and y nonequal?
True
Suppose 6*g - 9*g - u + 287 = 0, -2*g + 3*u + 173 = 0. Which is smaller: 189/2 or g?
g
Let n = 31/9 - 133/9. Let y be (-4)/(-14) - 144/14. Is y at most as big as n?
False
Suppose -483 = -17*m + 231. Which is bigger: m or 38?
m
Let x = 0.1 - -1.9. Let v be 2/(-6) + 98/(-3). Let c = 133/4 + v. Is c greater than or equal to x?
False
Let t be 4/(-6) + (-282)/9. Suppose 4*k + 5*c = -161, -k - 4*k - 3*c = 185. Which is smaller: k or t?
k
Let s(c) = -c**3 + 15*c**2 + 16*c + 18. Let b be s(16). Suppose -5*l + b - 3 = 0. Suppose 0 = -t - 2*t - l. Which is smaller: t or -2/51?
t
Let l = -651.68 + -26.32. Does l = -2/3?
False
Let h be 0 + (14 + -3 - 1). Let r be 0*((-4)/(-6))/((-12)/18). Is h at least r?
True
Suppose m = -2*u - 12, 5*m + u - 2*u + 16 = 0. Let o be ((-99)/(-12))/(-1) - (-2 - m). Which is greater: -10 or o?
-10
Suppose -7*p = 10*p + 17. Let z = -38/5 - -157/20. Do z and p have the same value?
False
Suppose 0 = 4*x + 15 - 27. Suppose -6*b - 3 = -x*b. Which is smaller: b or -3/2?
-3/2
Let r = 22 + -11. Suppose 7*b - 28 = r*b. Which is greater: b or -5?
-5
Let c be (-198)/(-10) + 1/5. Let y be (8/c)/((-3)/5). Let f = 327 - 326.78. Is f greater than y?
True
Let t = -2/33 - 25/132. Suppose 3*j + j - 412 = 0. Let x = j + -718/7. Which is smaller: t or x?
t
Let m = 55.53 + 0.47. Let g = m - 56.8. Which is smaller: 2 or g?
g
Let c be 2/3*(-6)/(-118). Let f = c - -29/885. Let m = -60 + 61. Which is greater: f or m?
m
Suppose 3*k - 12 = -0*m + 4*m, 0 = -3*m + 2*k - 9. Let b(u) = u**3 + 4*u**2 + 2*u + 3. Let f be b(m). Let a be 1/f - 71/30. Which is smaller: -3 or a?
-3
Let j = 33 + -72. Let f = -40 - j. Which is smaller: f or -0.18?
f
Let j(v) = -36*v**3 + 4*v**2 - 5*v + 2. Let c be j(1). Is -34 at most c?
False
Suppose 3*r - 12 = 2*y + 3*y, -4*y - r + 4 = 0. Suppose y = 14*f - 7*f. Which is smaller: -2/25 or f?
-2/25
Let a(v) be the first derivative of -v**4/4 - 5*v**3/3 + 3*v**2/2 - 18*v + 9. Let y be a(-6). Is -1 smaller than y?
True
Let d = 18/25 - 67/100. Let n = d - 43/60. Is -3/2 != n?
True
Let c be 128/40 + 0 + -1. Which is smaller: 2 or c?
2
Let g(r) = -r**3 + 21*r**2 + 23*r + 1. Suppose -4*u - 3*v + 76 = 0, u = 2*u - v - 26. Let y be g(u). Is y > 93/4?
False
Let i(g) = 2*g**2 + 28*g + 27. Let n be i(-13). Which is smaller: n or -1/421?
-1/421
Let i(p) = 2*p**3 + 2*p**2 - 7*p + 2. Let t be i(3). Does 1 = t?
False
Let x = 10.3 + 2.2. Let w = x - 13. Is -2 <= w?
True
Let n be (-111)/(-11) + -7 + (-4 - -2). Is n > 2?
False
Let o(f) = -3*f - 11. Let t be o(-5). Suppose -m = h + t*m + 21, -16 = 4*m. Which is smaller: -2/3 or h?
h
Let w = 15 + -17. Let p be 3/4 + 34/8. Suppose -p*t = j + 15, 25 = -3*j - 2*j. Is t > w?
False
Let r be (-2 - -8)/((-64)/3744). Which is bigger: r or -350?
-350
Let y = -3 + 5. Suppose -j + 12 = -y*j. Suppose 78 + 28 = -3*t + 14*n, -t + n = 17. Is j equal to t?
True
Let c = -527 - -4723/9. Is -1 at most as big as c?
False
Let z(c) be the first derivative of c**3 - 5*c**2 + 3*c + 5. Let u be z(6). Let o = -151/3 + u. Is o at least as big as 0.3?
True
Suppose 2*y + 4*q + 6 = 0, 4*y + 11 + 1 = -3*q. Let z be y/((-9)/(-20))*(-12)/8. Is z >= 10?
True
Let g = -469 - -314. Let m = 155 + g. Which is bigger: m or 1/146?
1/146
Let k(h) = -3*h - 2 - 5*h - 6*h + 3*h. Let v be k(-1). Which is smaller: v or 10?
v
Let z = 1 + 0. Let x = 438.8 + -438.97. Is x at least as big as z?
False
Suppose -6*o - 4*g - 89 = -5*o, 0 = -5*o + 2*g - 489. Which is bigger: o or -99?
o
Let a(j) be the first derivative of j**3/3 + 4*j**2 - 3*j - 13. Let b be a(-7). Which is smaller: -9 or b?
b
Let m be (-32)/8 - (-1)/(-5)*-19. Let r be ((-12)/(-10))/(6/20). Suppose d = -5*b - 20, -r*b = 2*d + b + 20. Is m bigger than d?
False
Suppose -3 = 3*l - 18, 3*l + 33 = 2*s. Which is greater: 28 or s?
28
Suppose m = 3*v - 16, 7*m + 4*v + 4 = 2*m. Let b(r) = 2*r**2 - 2*r + 7. Let w be b(3). Is w equal to m?
False
Suppose 0 = 3*v + 16 + 2. Suppose -5*y + 10 = -10. Let k be (y/(-153))/(v/9). Is k at most 0?
False
Let u(g) = 12*g - 237. Let r be u(17). Suppose -4*x + 136 = -4*i, -4*x - 3*i + 114 + 29 = 0. Let j = r + x. Is j > 7?
False
Let h be (-98)/441 + ((-3992)/8901)/(-2). Does h = 0?
False
Let x(f) = -3*f**2 + 1. Let y be x(1). Suppose 115 = -2*i - 5*v + 119, 3*i = 3*v + 6. Which is greater: y or i?
i
Let a(v) = v**3 - 4*v**2 - 3*v - 11. Let c be a(5). Let h be 4/54*(-5 + (c - 0)). Which is smaller: h or 0?
h
Let u be ((-6)/30)/(21/(-350)). Which is smaller: 3 or u?
3
Let q(i) = -i**2 - 4*i + 1. Let v be q(-4). Let m be (-420)/(-203) - 2/v. Do -2 and m have the same value?
False
Let f be 16/3 - (-10)/15. Let j be 6/9 - 1/(-3). Let t be (j + 6/9)*3. Is t equal to f?
False
Suppose 11 = 28*q - 17. Let l be 1*((-2 - -5) + 0). Suppose 0 = 4*y - 8, -l*y = -4*k + q + 5. Is k less than 2?
False
Let i be 4/14 - ((-3708)/28)/9. Suppose 0 = -12*x + i*x. Let u be 3/2*8/78. Which is smaller: x or u?
x
Let m be ((-18)/9 + 4)*-1. Let n(c) = c - 1. Let z be n(-3). Which is bigger: z or m?
m
Let q be (-5)/(-20) - (-81)/(-276). Suppose -4*o + 3*m = 1, -4*m + 2 = -o + 5. Is q greater than o?
True
Let i = 0.083 + -0.303. Let u = -5.1 - -4.1. Is u at most i?
True
Let a be (-7)/(-4) + (-2)/(-8). Suppose -2*z = -5*t + 145, -5*z - t - 347 = 2*t. Let l = z - -68. Do l and a have different values?
True
Let m be (-165)/88 + 6/3. Which is greater: -1 or m?
m
Let t = 0.13 - -0.05. Let x = -131 + 129.82. Let v = x + t. Which is smaller: v or 3?
v
Let v = -14 - -14. Is v equal to 1/153?
False
Suppose i + 3*p = 12, 4*i = -5*p + 12 + 22. Let j be (0/i)/((-2)/1). Let f = -49 - -249/5. Is j equal to f?
False
Let f be (-2914)/(-9) + (392/63 - 6). Which is bigger: f or -1?
f
Let b be 2 + -4 - 3864/(-1928). Let r = -238/723 - b. Let o = -2.06 + 0.06. Is o not