j = -53 + 54. Are j and -9/19 equal?
False
Let c = -991/4 + 246. Which is greater: -1 or c?
-1
Let x be 1 - (3/4 - 15/(-12)). Is -8/11 at most as big as x?
False
Let s(c) = c - 2. Let t be s(4). Suppose -4 = -4*a + 2*y - t, -5*y = 2*a + 17. Is -2/13 equal to a?
False
Let c = 251/3 - 83. Let w be -2*((-30)/(-8) - 4). Which is smaller: w or c?
w
Let i = 20 + -9. Suppose -5*n + i = -a + 5*a, 4*n + 8 = a. Which is smaller: 2 or a?
2
Suppose -5*g = -14*g + 207. Is g smaller than 22?
False
Let w be 4/15 + 4/(-10). Let s = 4 - 3. Is s greater than w?
True
Suppose -2*j = z + 6, 5*z = z - 8. Let a(b) = b**3 - b**2 - b. Let k be a(-1). Let h be (-14)/12 - k/2. Which is smaller: j or h?
j
Let m be 98/(-105) + (-2)/5. Which is greater: m or -1?
-1
Let z(h) = 18*h + 5. Let j be z(-1). Let o be (-3)/((2*-1)/(-8)). Which is bigger: j or o?
o
Suppose m + 4*u + 1 = 5, 3*u - 3 = 0. Which is greater: m or 2?
2
Suppose -9 - 3 = -4*p. Let w(l) = -5 + 4*l - 1 - l**2 - 1 + 3. Let q be w(p). Which is smaller: q or 1/4?
q
Suppose l + l = 2. Let x be l/3*1*-3. Is x greater than or equal to -3/8?
False
Let m = -10148/29 - -350. Is 0 at least m?
False
Suppose -4*x - x + 5 = -5*c, 0 = x + 5*c - 19. Let m be 0 - (5 - 8/x). Are -3 and m equal?
True
Let q = 82.9 - 83. Which is bigger: q or -2?
q
Let l(x) = 3*x**3 + 3*x**2 + x. Let w(m) = -m**3 - m**2. Let g(f) = l(f) + 2*w(f). Let b be g(0). Let u be 2/(-2) - (-18)/16. Is b < u?
True
Let m(s) = -6*s + 3. Let r be m(1). Is r equal to -4?
False
Let k(n) = -n**2 + 7*n + 7. Let g be k(7). Which is smaller: g or 6?
6
Let k = -0.04 + 0.04. Which is smaller: 2 or k?
k
Let c(q) = q**2 - 11*q + 12. Let y(d) = d. Let v(u) = -c(u) - 2*y(u). Let m be v(8). Is -3 greater than or equal to m?
True
Let f be (-15)/(-9)*(41 - 2). Which is smaller: 64 or f?
64
Suppose 13 = 3*a - 2. Suppose -a*x = 3*y + 2, y + 12 = x + 3*x. Let h be 26/(-40) - y/10. Is h greater than 1?
False
Let g = 10 - 5. Let i(m) = m**3 - 5*m**2 - m + 6. Let z be i(g). Which is smaller: -5 or z?
-5
Let u(d) = 3*d**2 - 2*d + 1. Let h be u(1). Suppose -7*o + h*o - 26 = 3*j, -8 = 2*j + o. Let r = 5 + -9. Is r smaller than j?
True
Let m(s) = s**2 + 6. Let w be m(0). Let j = 5 - w. Is j at least 1/4?
False
Suppose -2*g + 186 = 4*v, -6*g + g = -25. Are v and 43 unequal?
True
Suppose 3*z - 55 + 22 = 0. Suppose 5*w = z + 19. Which is smaller: w or 5?
5
Suppose 4*q - 16 = -4. Suppose 0 = -q*h - 1 + 10. Is h >= 1?
True
Let a be ((-6)/1)/(-4 - -2). Suppose 0 = -2*s + 7*s - 15. Is a <= s?
True
Let l = -22 + 9.3. Let u = l - -11. Which is bigger: -0.1 or u?
-0.1
Suppose -26*k = -29*k. Which is bigger: 9/8 or k?
9/8
Let d(y) = -6*y - 1. Let b be d(4). Which is smaller: -24 or b?
b
Let x = -4/229 + -1113/1832. Which is greater: x or -1?
x
Let m = -122 + 365/3. Is 15/16 smaller than m?
False
Let s = -21 + 15. Let h be 1/s + (2 - 2). Which is smaller: -1 or h?
-1
Let f be 34/30 - 2/(-3). Suppose 24 = 7*h + 10. Which is bigger: f or h?
h
Let r = 1.05 - 0.15. Let x = r + -0.87. Let w = x + -1.03. Is w <= 2?
True
Let a = -81 + 1055/13. Let f = -0.3 + 0.4. Is a smaller than f?
False
Suppose 0 = -0*k - 2*k. Let s = 0.19 + -9.19. Which is smaller: s or k?
s
Suppose 7*x + x = 8. Which is greater: x or 2?
2
Let a(w) = -w**2 - 3*w - 3. Let n be a(-2). Let o be n/8*1*2. Which is greater: o or 1?
1
Suppose 0 = 4*f - 8, 4*j + 2 = -2*f - 6. Let n be 1 + 178/70 + j. Let r = n - 4/35. Are 0 and r non-equal?
True
Suppose 2*i + j - 4 = 2, 3*i + j = 7. Let p be (-9)/(-6) - i - 1. Which is smaller: p or -2?
-2
Suppose -3 - 2 = -z. Suppose n = z*n. Let x = -0.2 - -0.3. Is x at most n?
False
Let y = -249/92 - -22/23. Which is smaller: -2 or y?
-2
Suppose r = -0*r - 4. Let l be 120/9*(-6)/r. Suppose 3*t + 0*p = -5*p - l, -p = -2*t + 4. Is -1 not equal to t?
True
Let n = -39 + 42. Suppose 0*u = -5*u + 20. Is u != n?
True
Let n be (-1 + 67)*(-9)/(-6). Let m = n - 207/2. Which is smaller: m or -5?
-5
Let t = 0.1 + 11.9. Let j = t + -6. Do j and -2/3 have the same value?
False
Let s = -647/3 - -208. Let g(c) = c**2 + 12*c + 24. Let f be g(-8). Is f less than or equal to s?
True
Let v = 36.79 + -0.79. Is -2/5 > v?
False
Let t = -32.19 + 32. Which is greater: 0 or t?
0
Let d = -2/11 + 36/77. Is 0 smaller than d?
True
Suppose 4*u - d = -10, 3*d - 6 - 3 = 5*u. Is u greater than -3?
False
Let i be -2 + 3 - (0 + 6). Let l(t) = 4*t**3 + t**2 + 2*t + 1. Suppose 5*n + 10 = -5, -5*f + 4*n + 7 = 0. Let b be l(f). Which is greater: i or b?
b
Let h = -20 + 33. Let x be 7 + 7 + 10/(-5). Which is bigger: x or h?
h
Let g be ((-4)/(-2))/((-4)/(-16)). Let a(j) = j**3 - 9*j**2 + 8*j + 3. Let k be a(g). Let m = k + -3. Which is bigger: 1 or m?
1
Suppose 0 = -2*p - p + 72. Let i be 1/(-3*p/(-9)). Suppose 4*g = 3*x - 15, 0 = 4*x - 7*x + 15. Is i >= g?
True
Let u = -7 - 7. Is -14 bigger than u?
False
Let x be (-6)/9 - 20/(-15). Which is smaller: 7/6 or x?
x
Suppose -6 + 60 = 3*b. Suppose -b = 5*s + 12. Let q be ((-3)/s*0)/2. Are -2/5 and q unequal?
True
Let w(y) = y**2 - 11*y - 5. Let t = 24 + -12. Let c be w(t). Which is smaller: c or 6?
6
Let y be (-1)/(-14) - 1/(-2). Suppose t - 3 = -4*n, -5*n + 4*t = -0*t + 12. Suppose x + b + 1 = 8, 3*x + b - 11 = n. Which is smaller: y or x?
y
Let a = 31 + -22. Let n be (-57)/a - (-4)/(-6). Do n and -7 have different values?
False
Suppose -2*d = 2*d - 20. Suppose d*o - 5 = -0*o. Is o less than or equal to 4/3?
True
Suppose 5*c = 2 + 13. Suppose 3*b - c + 0 = 0. Suppose -5*s + 4*s + 2 = 0. Which is greater: s or b?
s
Let t(m) = -m**2 + 4*m + 4. Let z be t(4). Suppose l = z*k + 6, 0*l + 3*k = 2*l - 2. Let a be ((-2)/(-12))/(l/4). Is a equal to 1?
False
Let f = -55 - -76. Which is smaller: -2 or f?
-2
Let w = 0.2 + -0.1. Let l = -1191/4 - -298. Is w at most l?
True
Let u = -110 - -111. Which is smaller: 115 or u?
u
Let r = -1.31 - -1.4. Let h = -0.29 + r. Which is smaller: -3 or h?
-3
Let d = 0.096 + -0.966. Let f = d - -1. Is f less than or equal to -0.1?
False
Let t = -5 + 0. Let l be -2*(-1 + 7)/(-3). Suppose 13 = -5*f - 4*s, l*s - 9 = 5*f + 28. Are f and t non-equal?
False
Let v be 0/(-1) + 2 + 0. Suppose 6*y - 2*y - 4*u = 56, 5*u + 20 = 0. Let c be (4/y)/(6/(-30)). Which is bigger: c or v?
v
Let r be (-8)/3 - 1/3. Let w be 6/15 - (-4)/(-10). Is w less than r?
False
Let w(b) = -b - 15. Let n be w(-8). Let m(h) = -h**3 - 2*h**2 - h - 1. Let q be m(-2). Let l be q + (-5 - -2 - n). Is 4 < l?
True
Let d(o) = -o**3 - 6*o**2 - 2*o - 6. Suppose -3*w + 12 = 0, 4*w - 33 = 2*s - 5. Let m be d(s). Let h(a) = -a**2 + 6*a - 1. Let z be h(m). Is z smaller than -1?
False
Let r = -0.3 - 0.2. Let f = -0.4 - r. Let t be ((-2)/2)/(4/2). Is f bigger than t?
True
Let a = -0.036 + 2.036. Which is smaller: -1/5 or a?
-1/5
Let l be (0 + -4)/2 + 11*-1. Is l at most -13?
True
Suppose 1 = -4*u + 25. Let a = 7 - u. Which is smaller: a or -1/7?
-1/7
Let l(w) = -w**2 - 6*w. Let u be l(-5). Suppose c + 3*b + 22 = -3*c, u*b - 38 = 4*c. Which is greater: c or -8?
c
Suppose -2*f + 16 = 4*m, 5*m + 0*f - 19 = -2*f. Suppose -8*y = -m*y - 30. Let z be (-4)/4 + y + -1. Is z equal to 5?
False
Let j(i) = 2*i**3 - 8*i - 2. Let u be j(-6). Let m = u - -1941/5. Which is smaller: 1 or m?
1
Let l = -8 + 8. Let y = 0.56 - -2.34. Let k = -3 + y. Which is bigger: l or k?
l
Let k = 1309/40 + -161/8. Is 14 < k?
False
Suppose 8*v - 4*b + 60 = 3*v, -2*v - 3*b = 1. Let n = -11 - -4. Is v bigger than n?
False
Let r(q) = q**2 + q. Let p be 1 + -1 + 3 + 1. Suppose 0 = -j + 6*j - 3*g, -p*g = -2*j. Let b be r(j). Which is smaller: -1/16 or b?
-1/16
Let r = -5 + 5. Suppose 0*c + c = r. Suppose 1 = -c*k + k. Is 1 < k?
False
Let v be (-1)/(((-12)/(-3))/(-36)). Let f(d) = d - 9. Let o be f(v). Is o > -1?
True
Suppose -3*l - 172 - 191 = -4*q, 0 = -5*l - 25. Is 86 at most q?
True
Suppose 2*v - 5*j + 2 = 0, 0 = 4*v - 5*j - 2 - 14. Are 8 and v nonequal?
True
Let i = 19.4 + -20. Let p be (-36)/(-80) + 1/(-5). Is i less than p?
True
Suppose w - 5*c = 0, 0*c + c = 5*w. Suppose w = 5*p - 0*p - 20. Let s = 6 - p. Which is smaller: s or 1?
1
Suppose -112 = 3*z + 5. Is -38 less than z?
False
Let s(l) = -l**3 + 7*l**2 + 9*l + 1. Let p be s(8). Suppose 4*t - t = p, -r = 2*t - 3. Let h = -6 - r. Are h and -3 non-equal?
False
Let h be 4/(-26) + (-12408)/468. Let y be -1