1 = 0. Which is smaller: f or -1?
-1
Let a = 25 + -23. Is 2 < a?
False
Suppose 5*b - b = 2*b. Suppose -3*z + 5*d + 0*d = -144, 5*z - 2*d - 240 = 0. Let q be 1*-2 + z/21. Is q greater than or equal to b?
True
Let l = -0.4 + 0. Let h be (-10)/15 - 46/3. Let g be h/6 - (-2 - 1). Which is bigger: g or l?
g
Let w = -2 - -4. Let q = 11 - 8. Is w less than or equal to q?
True
Let f(w) = -w**3 - 3*w**2 + w - 8. Let r be f(-4). Let n be (26/r)/(7/(-14)). Is -14 smaller than n?
True
Let g(s) = -4*s - s + 0*s - 12 + 6*s. Let o be g(10). Let d = 2 - 1. Which is smaller: o or d?
o
Let i = -0.2 + 0.3. Let q = -2.9 - -0.9. Let x = -1 - q. Is i smaller than x?
True
Let h be (-4)/(-18) + (-168)/27. Let c = h + -4. Which is smaller: 1/2 or c?
c
Let r be (-8)/44 - 134/(-11). Let a = r - 62/5. Is a less than -3/5?
False
Let q = 23 - 16. Is 0 less than q?
True
Let f = -0.1 + 0. Let r(y) = y - 6. Suppose 2*a = -z + a + 4, -2*z = 4*a - 4. Let i be r(z). Which is smaller: f or i?
f
Let s be (6/(-1365))/(48/15 - 3). Let w(b) = -b**2 + 3*b + 4. Let v be w(4). Are v and s unequal?
True
Let w be (-5 + 2)*-1*8/3. Suppose -g = -1 - 0. Do w and g have the same value?
False
Let p be -8*(-3 + 8 - 3). Let a = p + 16. Which is smaller: 1/6 or a?
a
Let v be (2/(-20)*2)/1. Suppose 5*b + 12 = 2*b. Let z = b - -4. Which is greater: z or v?
z
Let n = 5.2 - 2.2. Which is greater: n or 0.4?
n
Let v(x) = x**3 - 6*x**2 - x + 5. Suppose 4*y + 3*w = 54, -2*y - 3*w - 21 = -3*y. Suppose -15 = -5*b + y. Let t be v(b). Which is smaller: 2/17 or t?
t
Suppose -2*f = -3*f - 20. Let h be f/164*(-8)/(-20). Is 1 greater than h?
True
Let h be ((-5)/(-10))/((-9)/(-8)). Is 5 != h?
True
Suppose -3*t = 3*h - 48, -2*t + 4*h + 80 = 3*t. Let m = -16 + t. Let r be 4*(-2)/(-68)*-1. Which is smaller: m or r?
r
Let q = -0.01 + -2.79. Let d = -3 - q. Which is smaller: d or 1/2?
d
Let u = 81 + -58. Which is smaller: u or 24?
u
Suppose -4*b + 4*g + 26 = -6, 6 = -2*g. Suppose 0 = -b*i + 52 + 28. Suppose -4*z = -4*v - i, 0*z - 4*v = 5*z - 20. Are z and 2 non-equal?
True
Let f = 0.07 + -0.27. Let w = -0.03 - -5.03. Is w at most as big as f?
False
Suppose y - 2*f = -4*y + 58, -3*f - 45 = -4*y. Which is smaller: 9 or y?
9
Let p(k) = 2*k**2 + 2*k + 2. Let q be p(-1). Are 2 and q nonequal?
False
Let l = 4 - -3. Suppose 0 = -3*g + l*g. Let x = -92 - -551/6. Is g less than x?
False
Suppose 4*a + 16 = -32. Let y be (-4)/a + (-2)/4. Suppose 2*f + 3*f + 5 = 0. Which is bigger: f or y?
y
Suppose 5*l + 3*b - 2*b = 198, -b = -l + 42. Let d be l/42 + (-4)/14. Which is smaller: d or 2?
d
Let i = 5.98 - -0.02. Let x = i + -6.04. Let a = x + 0.24. Is a != -1?
True
Suppose 21*l - 8*l - 78 = 0. Which is smaller: l or 4?
4
Let a = 12 - 8. Let n be (a/(-3))/2 + 1. Which is bigger: 3/2 or n?
3/2
Suppose -2*a - 4 = -2. Suppose m = 5*m. Which is smaller: a or m?
a
Let i = -973/13 + 75. Which is smaller: i or -3?
-3
Suppose 29*b - 4 = 27*b. Which is smaller: 3 or b?
b
Suppose x + 4*j + 11 = 3*j, 3*x + 33 = -4*j. Are x and -11 equal?
True
Let h = 16 + 56. Suppose 0*q - q - a - 16 = 0, 0 = 5*q + 3*a + h. Let i be (-3)/(-9) - (-34)/q. Is -4 greater than or equal to i?
False
Let r = 8 + -6. Let d be 3/(r + 33/(-12)). Is d > -2?
False
Let w = -86 + 260/3. Is w < 3?
True
Suppose -2*h - 4 = -48. Let l = -7 + 11. Suppose 0 = 2*f - l*f - h. Which is smaller: f or -10?
f
Let f be -2 + 4/(12/39). Suppose 0 = -h + 5*g + f, 0*g - 4*g + 8 = -5*h. Let b be -7 + (-2 - -1) + 3. Are b and h unequal?
True
Let n = -78 + 71. Is n less than or equal to -2?
True
Let w(t) = 6*t + 1. Let a be w(-1). Let l(n) = -n**3 - 4*n**2 - 2*n - 1. Suppose p - 3*o = -18, 5*p - 4*p + 28 = 5*o. Let b be l(p). Which is bigger: a or b?
b
Let p = 23 + -45. Which is smaller: p or -23?
-23
Let h = 0.17 + -1.17. Are 0.06 and h equal?
False
Let k be ((-8)/(-28))/(1/7). Suppose k*q + 1 = 11. Which is smaller: 4 or q?
4
Let u = 152/581 - -2/83. Is u at most 1/4?
False
Let s(r) = -r**3 - 14*r**2 + r + 13. Let p be s(-14). Which is smaller: p or -5/21?
p
Let k be (2/(-6))/(40/(-60)). Is 0 less than or equal to k?
True
Let b(p) = -3*p**2 + 4*p + 8. Let w(c) = -4*c**2 + 4*c + 9. Let z(i) = -3*b(i) + 2*w(i). Let j = 12 - 7. Let g be z(j). Is 0 not equal to g?
True
Suppose u = -4*u - 20. Let r = u - -5. Which is greater: 3/7 or r?
r
Let s = 4 + -3. Suppose -22 = -2*l + 5*h - 3, 0 = -3*l + h + 9. Let r = l + s. Is r greater than 3?
False
Let j(x) = -x**2 + 3*x - 1. Let h be (-12)/10*(-5)/2. Let c be j(h). Is 0 greater than or equal to c?
True
Let c be (-3)/(-204)*(11 - 3). Let f(r) = -r - 2. Let u be f(-2). Which is greater: c or u?
c
Let k be -16*(-3)/(-126)*-2. Let z be 3/(-105) + 1/(-3). Let u = z + k. Is 0 at least as big as u?
False
Suppose -2*q + 4*q + 2 = -2*m, -2*q - 2 = -2*m. Which is bigger: 4/19 or m?
4/19
Let j be (-7 + 11)*(-9)/(-2). Which is smaller: -1 or j?
-1
Suppose 5*t - 3*t + 2 = -h, t - 5*h = -23. Let o be (15/9)/(-1)*t. Is o bigger than 4?
True
Suppose 3*b = 7 - 25. Let u be 0/(-3 - b/1). Which is bigger: -2/9 or u?
u
Suppose y + 0*y = 2. Let a be (-24)/(-14) - y/(-7). Suppose -5*w + 27 = 4*b, -2*b - 1 = -w - 4. Which is greater: a or b?
b
Let y be (-4)/6 + (-33)/(-9). Suppose 0 = -2*j + y*j + 4. Which is smaller: j or -5?
-5
Suppose -s = 2*s - 45. Let m = 2 - s. Is m bigger than -12?
False
Let y be 1/((-9)/(-6))*6. Suppose 66 = y*q - 46. Let i be q/20 + 4/(-10). Is -2/7 bigger than i?
False
Let m = 614/11 + -56. Suppose -527 = -4*f - 531. Which is bigger: f or m?
m
Let g = -79 - -635/8. Which is greater: -1 or g?
g
Let z = 9.998 - 10. Which is bigger: z or 1/4?
1/4
Let v = -3 - -2. Let z = -23 - -22. Is v smaller than z?
False
Let b = 0.16 + -0.03. Let u = b - 0.23. Which is smaller: u or -4/7?
-4/7
Let n be (1 - (-1 + 5))*10. Is n greater than -30?
False
Suppose 6*q = b + 3*q + 8, 2*b = -5*q + 28. Let l be 2 - 2 - (-1)/b. Which is greater: l or -1?
l
Let v = 9 + 7. Let a = -16.02 + v. Do 0 and a have the same value?
False
Let q = 3.3 + -3. Let d(f) = -f. Let c(j) = j. Let v(o) = -c(o) - 3*d(o). Let z be v(1). Is q not equal to z?
True
Let d = -45 + 36. Which is smaller: d or -8?
d
Let r = -1161467/905930 + -3/10658. Let c = r - -15/17. Suppose -y + 3*b = -13, 5*y = b + 4*b + 25. Is y at least c?
True
Let v be 15/(-60) + 135/4*-1. Are -34 and v nonequal?
False
Let w be ((2 - 8)/2)/(-1). Suppose -w*k = -0*k + 9. Is -5 at least as big as k?
False
Let x(i) = i**2 - i - 32. Let s be x(0). Let u be -2 + (s/(-6))/4. Is u < 0?
True
Let v = -90 - -89. Which is smaller: 15/4 or v?
v
Let o = -20 + 17. Which is greater: -6 or o?
o
Let q = -15 - 2. Is -19 not equal to q?
True
Let b = 0.4 + -1.4. Let t = -0.05 - -0.45. Which is smaller: t or b?
b
Let w be (-5)/15 - ((-60)/28)/5. Let f = 0.1 - 0. Is w > f?
False
Suppose -4*f = 2*f - 12. Are f and 3 equal?
False
Suppose 5*f + 0 = 15. Let o be ((-1)/f)/((-8)/(-24)). Which is greater: -2/5 or o?
-2/5
Let p = -127 - -32. Which is smaller: -94 or p?
p
Let d be ((-11)/(165/12))/(-2). Suppose 0 = -b - 4*x - 8, -2*b - 5*x - 9 = 1. Is d <= b?
False
Let y be (-2)/((-8)/(-6) + -2). Suppose z = -4*k + 2*z + 19, -y*k + 3*z + 21 = 0. Let v be 10/(-6) - k/(-4). Which is greater: v or -1?
v
Suppose -2*m = -5*x - 25, -m - 3*x = -0*x + 4. Let d = -18 + 25. Let t = d + -2. Is t > m?
False
Suppose 0 = -3*j + 50 - 14. Suppose 4*q + 0 = j. Which is smaller: 1 or q?
1
Let j = 15 + -4. Let b = j + -11. Which is greater: -1 or b?
b
Let f(c) = c**3 + 8*c**2 + 7*c - 4. Let a = 7 + -14. Let k be f(a). Let g = k + 2. Are g and -2 unequal?
False
Let n = 10.532 - 0.032. Let u = -10.99 + n. Let l = u + -0.01. Which is smaller: 1 or l?
l
Let p be 1*(-12)/5 - -2. Let l be (2 - 2)/(2/(-2)). Is p less than or equal to l?
True
Let d = -1/2 + 1/4. Let f be 3/6 + (-14)/(-4). Let i be ((-2)/(-4))/(7/f). Which is bigger: i or d?
i
Let m = -548 - -36167/66. Let g = m + 71/330. Is 0 at most as big as g?
True
Suppose 0 = 3*u + 5*f + 10, -3*u - 10 = -2*u + 5*f. Let s be (-5)/135*-6 - 32/90. Which is smaller: u or s?
s
Let p be (18/(-5))/((-2)/10). Let m be p/(-264) + 4/(-22). Is m bigger than 1?
False
Let m(l) = l**2 - 22*l + 21. Let f be m(20). Is f bigger than -20?
True
Let n be 2 + 4/8*-4. Is n < 2/13?
True
Let w = 20 + -37. Which is smaller: -18 or w?
-18
Let x be ((-4)/