+ l = -l + 10. Is -2/7 >= w?
True
Let w(a) = a**3 + 8*a**2 + 2*a - 6. Let b be w(-7). Let q = 28 - b. Which is smaller: 1 or q?
q
Let h be ((-8)/7)/(-2) + 72/(-126). Is h not equal to 1/38?
True
Let f = 6.064 + -6. Which is greater: f or 0?
f
Let z be 4/20*-1*-1. Let q(n) = n - 5. Let l be q(5). Suppose l = -4*x + 3*x. Which is bigger: x or z?
z
Suppose 3*w + 0 = 3. Let n be (-2)/(-14)*2/(-3). Is n less than w?
True
Let z = 0.044 + 24.956. Is -0.1 at least z?
False
Let v = 43.8 - 44. Is 1/3 greater than or equal to v?
True
Let d(m) = -m**3 - m**2 - 5*m - 1. Let i(v) = v**2 - 1. Let y(w) = -d(w) + 6*i(w). Let r be y(-6). Which is bigger: r or 4/13?
r
Let v = 7 - 4. Suppose 0 = -m - v - 0. Let r be m + 3 - 1/(-3). Is r >= 0.04?
True
Let h(o) = 2*o**3 + 3*o**2 + 3*o + 3. Let u be h(-2). Which is smaller: u or -0.5?
u
Let w = 44 + -310/7. Which is smaller: 0.3 or w?
w
Let i = 146 + -94. Is i != 51?
True
Let m = -264/7 + 38. Which is smaller: -2/53 or m?
-2/53
Suppose -5*l - 7 - 12 = -3*k, -18 = -k + 4*l. Suppose -u = -4 - 2. Let z be u/15 + (-24)/10. Is k less than or equal to z?
True
Let u = 149 + -1931/13. Is u greater than or equal to -1?
True
Let m(z) = z**3 + z**2 - 6. Let a be m(0). Let f be a/(-9)*-3 + 5. Suppose -15 = -3*s - f. Is 3 less than or equal to s?
True
Suppose 2*b = 2 + 4. Let x = b - 10. Let u = x + 10. Which is bigger: -1 or u?
u
Let x be 2 + 5/(2/(-2)). Let w be x/(-9) + 362/(-1194). Let l = w + 236/5373. Which is bigger: -1 or l?
l
Let g = 181/368 + -7/23. Is g >= -1/4?
True
Let d = 9 - 9. Let g = -428 - -7278/17. Is g at least as big as d?
True
Let u = -12 - -12. Is u at most -0.1?
False
Let u = -19 - -16. Let a be ((-2)/u)/(12/18). Is a less than or equal to -2?
False
Let t(b) = -3*b - 7. Let l = 6 - 11. Let w be t(l). Let s = 7 + 1. Is w > s?
False
Let a(n) = -n - 6. Suppose -3*f = f - 4. Let k(v) = -5*v**2 - 2*v + 1. Let s be k(f). Let p be a(s). Is 1/5 <= p?
False
Let b = -0.11 - -6.11. Let j = b - 5.9. Are -4 and j equal?
False
Let f be 2/4*6/1. Suppose -s = -f*s. Let c = s + 0. Which is smaller: c or -1?
-1
Let k(n) = n**2 - 8*n - 9. Let q be k(7). Does q = -16?
True
Let i = -41 + 51. Are i and 7 nonequal?
True
Let j = -11.1 - 0.9. Let a = 13.2 + j. Let r = 0.2 - a. Is r < 2?
True
Suppose 3*t = -0*t + 105. Is t less than 35?
False
Let l = -2 + 1. Let v be 42/(-14)*4/6. Which is bigger: v or l?
l
Suppose 36 = -5*d + 2*i, 0 = -5*d - 0*i + 5*i - 30. Are d and -29/4 equal?
False
Let u = -0.973 + -0.027. Is u < 1?
True
Let i = -0.6 - -0.55. Let z = -0.15 - i. Which is greater: 1/4 or z?
1/4
Let z = 33/28 - 5/4. Which is greater: 0 or z?
0
Let l be 1 - (13/(-15) - -2). Let o be (-138)/(-90) - (3 - 1). Let f = o - l. Which is smaller: f or 0.2?
f
Let q = -0.99 + 0.19. Let w = -1 - q. Let z = 0.08 + 0.22. Are z and w unequal?
True
Let h be ((-12)/3 - -3)*-2. Suppose -2*u - 2 = 4*i, -h*u - i - 6 = -7*u. Does 2 = u?
False
Let v = 15 - 14. Is -0.5 not equal to v?
True
Let l(p) = -4*p**3 - p**2 + 1. Suppose m - s = 1 - 0, 4*m = 2*s + 4. Let g be l(m). Let n be (-28)/(-35)*(-10)/g. Which is smaller: n or -3?
-3
Let b(w) = -w**2 - 6*w + 4. Let l be b(-6). Let v = -0.4 + 0.3. Which is bigger: l or v?
l
Let x = -1 - 0. Let c = -88/3 - -29. Which is smaller: x or c?
x
Let q be 1 + 1471/52 + 1. Let s = -11/52 - q. Let k = s - -31. Which is bigger: 3 or k?
3
Let c be ((-14)/(-2))/((-5)/30). Let m = c - -27. Which is smaller: m or 0?
m
Let m(k) be the second derivative of -k**4/12 + 5*k**3/6 - 5*k**2/2 + k. Let x be m(4). Let o = 2 + -2. Which is smaller: o or x?
x
Let f = 36 - 35. Is f bigger than 9?
False
Let b = -109 - -111. Suppose -9 = -5*f + 1. Is f < b?
False
Let y = -2.9 + 3. Is y equal to 2/5?
False
Let m = 13/3 - 17/3. Let y be -4 + (-4)/(5 - 7). Is y less than m?
True
Suppose -15 = 3*l - 5*u, -l + 4*u - 1 - 11 = 0. Which is smaller: 1/16 or l?
l
Let b = 0.28 - 0.08. Let z = 2.1 + -2.2. Is b bigger than z?
True
Let w(g) = g**3 + 7*g**2 + 11*g + 4. Let v be w(-4). Let k(i) = i**3 + 5*i**2 - 6*i - 1. Let r be k(-6). Let n = r - -10. Is v less than or equal to n?
True
Let m(a) = -471*a**3 - a**2 + a + 4. Let q be m(4). Let t = q - -150287/5. Let v = 95 + t. Is 1 smaller than v?
False
Let a be 4/8*-16*4/(-28). Which is bigger: a or -1?
a
Let g be (-2)/(8/(-12)) + 12. Let p = g + -18. Is p equal to 1?
False
Let h = 144/5 + -29. Which is smaller: -2/5 or h?
-2/5
Suppose 0 = 5*z + t + 43, -z - 5*t + 0*t = -1. Let y = 70 - 78. Which is smaller: z or y?
z
Suppose 10 = -4*c + 42. Suppose 3*b - c - 4 = 0. Suppose -b*y - 12 = 4*a, -a + 5 = -y - 0. Which is smaller: a or 0?
0
Suppose y = -4*y + 25. Let u = y - 4. Suppose i = -5*b + 9, -11 = 4*i - 3*b - u. Is i <= 1/6?
True
Let f = -64 - -511/8. Let k = 3 - 2. Is k equal to f?
False
Let k be 2 - (0 - (-92)/50). Are 1 and k non-equal?
True
Suppose 4*c + 9 = 7*c. Which is smaller: c or -3/11?
-3/11
Let q(j) = 2*j + 1. Let o(r) = -r - 9. Let n be o(-11). Let t be q(n). Let h be (-2)/(-4)*2/t. Are h and -1 nonequal?
True
Let u be 4/(-16) - 75/(-12). Suppose -7*n + u*n = 2. Is n >= -1?
False
Let j = -11 - -23. Let t = 3 + -1. Suppose -5*x + t - j = 0. Is x greater than 0?
False
Let g = 1.1 - 1. Let z = 7 - 3. Suppose -5*h - 2*l + 8 = -10, z*l + 16 = 3*h. Which is smaller: g or h?
g
Let f(m) = -m**3 - 3*m**2 + 5*m + 6. Let h be f(-4). Suppose 2*t + h*t = 4. Let l = -3/10 + 2/5. Is l > t?
False
Let i = 18 - -12. Let d be (-6)/i*7*-1. Which is greater: d or 2?
2
Let x be -11 - -10 - (-2 - 1). Is 6/7 at most as big as x?
True
Let l(h) = -2*h + 11. Let a(m) = -2*m + 11. Let f(s) = 4*a(s) - 3*l(s). Let w be f(5). Is -4 smaller than w?
True
Let i = -5.53 - -0.03. Let z = i - -5. Let r = z + 0.5. Is r less than or equal to 0.2?
True
Suppose -2*x = -t + 7, -5*x - 4 = 2*t + 18. Let d be 1 + -3 - 6/x. Let k = 0.2 + -0.3. Is k <= d?
False
Suppose 0*d - h = -d + 5, -18 = -2*d + 4*h. Let s(i) = i**3 + 5*i**2 - 6*i + 2. Let n(v) = v**2 + 6*v - 6. Let x be n(-6). Let u be s(x). Is u smaller than d?
False
Let t = -0.011 + 1.711. Do 0 and t have the same value?
False
Let a = -0.7 - -1.7. Let c = a + -1. Which is greater: c or 3?
3
Let l be -4 + (-102)/(-104) - -3. Which is smaller: l or 0?
l
Suppose 68 = 4*q + 4*b, 0*q + q + 5*b - 29 = 0. Is 14 greater than q?
False
Let u = -0.01 - 0.04. Let d = -0.95 + u. Which is smaller: 2/5 or d?
d
Let h = 0.1 + 0. Let j = 7.4 - 12. Let u = j + 5. Is h less than or equal to u?
True
Let r = -105/4 + 509/20. Let t = r - -17/15. Which is bigger: t or 3/2?
3/2
Let v(x) = -x**2 - 9*x - 10. Let s be v(-7). Let m = s + -3. Is m greater than -4?
True
Suppose -2*z - w = -2*w - 3, 3*z + 2*w = -13. Which is greater: -1/6 or z?
-1/6
Let d be (-1269)/51 + 6/(-51). Which is smaller: -26 or d?
-26
Let b = -17 + 18. Is -10 at most b?
True
Let f = 9 + 1. Suppose -3*b = -2*b + f. Let h = b - -7. Is h greater than -3?
False
Let t(a) = -21*a**2 - 3*a + 2. Let m be t(1). Which is smaller: m or -23?
-23
Let i be -15 - 2/(-1 - -3). Let q be (6/i)/((-24)/8). Is q < 1?
True
Let z be 335/12 - 40/(-30). Let f = z + -29. Is 0.14 less than f?
True
Let j = 1/6 + -1/2. Let w be (-2 - -2)/(1/1). Is w not equal to j?
True
Let w be (28/(-4578))/(4/(-27)). Let b = -2517/2398 - w. Which is greater: b or 0.1?
0.1
Let g(n) = n**2 - 6*n - 8. Let z be g(7). Are z and -6/7 non-equal?
True
Suppose 0 = 3*q - 5*q + 2. Let w = -2 - -18. Suppose -5*r = x - 3*r - 7, 4*r = w. Does x = q?
False
Suppose 5*m = 4*w + 34, -2*m + m + 1 = 5*w. Let z be 0/(-4 - m/(-3)). Is z < -1/6?
False
Let n(i) = i. Let t be n(-3). Let q = 44 - -33. Let r be 20/(-11) - 14/q. Which is bigger: r or t?
r
Let j(n) = -9*n - 2. Let z be j(4). Let a = z + 21. Let s be a/33 + 2/6. Which is greater: s or 0?
0
Let c = 249 - 246.98. Let q = c + -2. Let s = q + -0.12. Which is smaller: 0.1 or s?
s
Suppose 3*i + 21 = -0*i. Do -7 and i have the same value?
True
Suppose -5*b + 15 = -2*i, -4*i - 3*b = -0 - 9. Is 1/119 >= i?
True
Let t = -22/819 + -8/63. Are 0.1 and t equal?
False
Suppose 3*n + 2*m = 13, -5*n - 4*m = m - 25. Suppose -4*f = -3*y + n, 3 = 3*y + 2*f - f. Let h(p) = p**2 + 3*p + 2. Let i be h(-3). Which is smaller: i or y?
y
Let j(f) = -f**3 - 6*f**2 - 3*f + 3. Let z be j(-4). Let h be 8/(-56)*(1 - z). Is -4 != h?
True
Let y be ((-4)/(-14))/(1*(