er: a or 0?
0
Suppose 7*l - 10*l - 36 = 0. Is -11 < l?
False
Let o = -84 + 81. Which is smaller: -14 or o?
-14
Let b = -33 + 32.9. Which is bigger: -2/21 or b?
-2/21
Let n = -4 + 8. Let c = n + -3.9. Let x = c - 0. Are -0.1 and x equal?
False
Let i = 1 + 6. Suppose -3*k - i = 5*r + 1, k = -2*r - 3. Is -6/5 != r?
True
Let t(l) = -l**3 - 11*l**2 - l - 13. Let a be t(-11). Suppose 0 = -3*v, -2*i = -0*v - 2*v + 4. Is i bigger than a?
False
Suppose -2*g + 4*h + 35 = -35, 0 = -4*g + 2*h + 170. Suppose 0 = -2*z + g - 3. Let p be (-4)/z*(-21)/(-18). Is p at least as big as 2?
False
Let v = 5.9 + 0.1. Let b = 7 - v. Let u = -1.3 + b. Is 0.1 greater than or equal to u?
True
Suppose -20 = 2*d + 2*d. Let n = d - -10. Which is smaller: 4 or n?
4
Let n(k) = k**3 - 4*k**2 + 2*k + 4. Let s = 2 + 1. Let y be n(s). Let i be (1/2*0)/1. Which is bigger: i or y?
y
Suppose 0 = -4*i - i - 10. Let u = 16 - 36. Let y = -24 - u. Which is bigger: y or i?
i
Let d = 16 - 12. Let h be 5/(-10) + (1 - d). Which is bigger: h or -3?
-3
Let r = 23523/43 - 547. Is -1 at least as big as r?
False
Let x = 1 - 0. Let g be 1 + -22*2/40. Is x <= g?
False
Let n = -197/4 + 49. Let p = -98/15 - -20/3. Which is smaller: n or p?
n
Suppose u + 1 = 0, -5*v + 3*v + u = 31. Let d be (-4)/v*12/(-5). Are -1 and d equal?
False
Suppose -2*k + 0*j = -3*j + 2, -3*k - j + 19 = 0. Let o = 8 - k. Which is smaller: 4 or o?
o
Let f = -120 - -144. Is f at least as big as 25?
False
Suppose -3 = o - 19. Are 12 and o unequal?
True
Suppose 3*u = 2*u. Suppose u = 3*d - 0 + 3. Which is smaller: d or 0?
d
Let k(m) = 4 - m**2 + 8 + 0*m**2 - 2 + 8*m. Let a be k(9). Are a and -1/4 nonequal?
True
Let w be ((-18)/28)/((-270)/63). Is 1 at least as big as w?
True
Let b be ((-1)/(-4)*7)/((-5)/20). Are b and -9 unequal?
True
Let x(y) = -y**3 - y**2 - y - 1. Let b(h) = 5*h**3 - 3*h**2 + 6*h + 8. Let p(n) = -b(n) - 6*x(n). Let f be p(-9). Which is smaller: -2/3 or f?
f
Let d(w) = -w**2 + 8*w - 9. Let v be d(8). Let m be 78/(-108) + (-2)/v. Does m = -2?
False
Let r = 27.1 - 27. Which is smaller: r or -7?
-7
Let o(h) = h**2 + 3*h - 3. Let y be o(-2). Let r = 7 - 13. Which is bigger: y or r?
y
Let x be (3/(3/2))/(-2). Suppose -9 = 3*a + 2*j, -3*a - 5*j - 18 = -0*j. Is a equal to x?
True
Suppose 4 + 2 = -3*d. Which is greater: d or 0?
0
Let i be (-1)/((-2)/4*2). Let k = 107 + -107.06. Which is bigger: i or k?
i
Suppose -16*f = -13*f - 60. Do f and 19 have different values?
True
Suppose 9*q - o = 4*q - 4, 3*q - 8 = -2*o. Let a = 2 - q. Suppose -d - b = -3*b + 8, 0 = -2*d - 3*b + 19. Are a and d nonequal?
False
Let j be (1 - -1 - 0)*-2. Let r be j/22 - (-35)/11. Suppose -8 = r*b + b. Which is smaller: b or -3?
-3
Suppose 0 = -s - 2*u - 2*u + 19, 0 = -3*s - 2*u + 17. Let t be 3 + 0 + -3 + 0. Suppose n = -t*n + 2. Which is smaller: s or n?
n
Let o = -7 - -5. Let y be o/(-7) + 0/(-1). Let j be (-3)/(-2) + 1/(-2). Is y < j?
True
Let x = 0 + 0. Suppose -2*o + 56 = 2*o. Let j be o/(-10) + 8/20. Which is greater: x or j?
x
Suppose -5*w = -10*w + 20. Suppose -3*s = -5*t + 22, t - 1 = w*s - 0*t. Is s >= -4?
True
Let l be 5/(-25) + (-41)/(-5). Is 8 greater than l?
False
Let o(x) = -2*x**2 - 3*x - 3. Let y be o(-2). Let d = 1 + -6. Is d != y?
False
Let t = 3/191 - 11/25021. Is 0 < t?
True
Let q = 0.1 + -0.2. Let j = -1 + -3. Let w = j + 5. Are q and w non-equal?
True
Let g = -1/101 + 507/202. Suppose f - 4*t + 12 = 0, -t = -5*f - 4 + 39. Let j be (8/10)/(f/20). Which is smaller: j or g?
j
Let r = 4.5 - 4.6. Suppose -c = 5*q - 15, 0 = 4*c - q - 0*q + 24. Which is smaller: c or r?
c
Let w = -186 - -1481/8. Let x = w - -821/24. Let i = x + -33. Which is bigger: i or 2/3?
2/3
Suppose 0 = -v + 4 - 3. Which is smaller: v or -5/13?
-5/13
Suppose 5*q = 6*q - 11. Let m = q + -11. Which is smaller: m or -10/9?
-10/9
Suppose -3*t = 3*h - 7*t + 17, -3*t = -15. Let y be 3/h + (-10 - -7). Is 2/3 less than y?
False
Let p = 6 - 4. Suppose t = 4*a - 0*t - 9, -5*a + p*t = -15. Suppose 4*w - 20 = -o + 5*o, 4*o + 5*w + 2 = 0. Is a bigger than o?
True
Let u(w) = -4*w**3 + 10*w**2 - 11 - 5*w + 3*w**3 - 3*w. Let q = 16 + -7. Let f be u(q). Is f at most as big as -2?
True
Let t be (-1)/(-5) - (-9)/30. Is t > 2?
False
Suppose -s + 12 = s. Let y = 6 - s. Suppose y*t + 2*t = -6. Are -3 and t non-equal?
False
Let i = -2440 + 1212682/497. Let p = -545/11928 + i. Does -0.1 = p?
False
Let z be 8/(-12)*6 - 4. Suppose -1 = i + 9. Let g be z/i*(-15)/(-6). Which is smaller: 2/7 or g?
2/7
Suppose -m - 3 + 1 = 0. Is -2 <= m?
True
Let n = 5 - 9. Let q be 1 + -2 + n/(-4). Let w be 2/2*(-1 - q). Are w and 3 equal?
False
Suppose -5*m + 16 = 4*z - 5, -5*z + m = -19. Do -0.2 and z have different values?
True
Let f = 0.01 - 0.01. Let d = f - 0.1. Let t = 8/5 - 37/20. Does d = t?
False
Let b = 14 + -44. Let k be (-2)/b + (-4)/(-12). Let z = 3.07 + -0.07. Which is smaller: k or z?
k
Suppose -h + 2*h + 21 = 0. Which is smaller: -22 or h?
-22
Let r = 4.8 + -5. Let h = 0.4 + r. Let o = h - 0.1. Which is bigger: o or 1/2?
1/2
Let b = -27 - -26. Is -1 greater than b?
False
Suppose -4*t = 2 + 2. Is t at least as big as 3/11?
False
Suppose -o + 3 + 1 = 0. Suppose o*k - 16 = -i, 2*k + 2*k = 4*i + 16. Is 1 less than or equal to i?
False
Suppose -10 = u - 11. Suppose 3*a + 14 = 5*a. Suppose -3*b = 1 - a. Is u at most as big as b?
True
Let s be 4 - (-4 + (-114)/(-14)). Which is bigger: 1 or s?
1
Suppose -4*f - f = 70. Let x be (4/f - 0) + 0. Is x smaller than 0.03?
True
Let c = 0 - -2. Let z(b) = b**3 - 2*b**2 - b - 1. Let y be z(c). Is 1 smaller than y?
False
Let r be -2 + ((-125)/(-66) - 2/(-12)). Let y(v) = -v**2 + 1. Let i be y(-1). Which is smaller: r or i?
i
Suppose 2584 = 2*b - 35684. Let p = 1473293/77 - b. Let z = -2/11 - p. Is 0 less than or equal to z?
True
Let a be -1 - (-2 - -5)*3. Let n(f) = -f**3 - 11*f**2 - 8*f + 10. Let w be n(a). Let h be 2/(-5) - 24/w. Which is bigger: -1/3 or h?
h
Let s be (-5)/((-75)/(-32)) + 4/30. Is -2 >= s?
True
Let o = 8 + -6. Suppose 4*w - o = -18. Suppose 0 = 4*f + 5*d + 2 + 39, -25 = 5*d. Is w greater than f?
False
Let n = 175.3 + -182. Is n at least 1?
False
Suppose 0 = 3*a + 5*a - 5*a. Suppose 0 = -2*k - z, -3*z = -5*k - 2*z. Let q be ((-15)/4)/(3 - k). Which is bigger: a or q?
a
Let o = 52 - 93. Which is smaller: o or 0.1?
o
Let l(p) = -p**3 + p**2 + p + 1. Let s be l(2). Is s greater than -1/71?
False
Let k = -8 + 13. Suppose -b + k*b = 0. Is 0 at most as big as b?
True
Let b = 103 - 104. Let z = 3/371 - -661/10017. Which is bigger: z or b?
z
Suppose -6 = -3*o, -5*s - 4*o = -2*s - 8. Do 2/65 and s have different values?
True
Let a be ((-16)/24)/((-2)/(-51)). Let q be a/15 - (-6)/45. Does -2 = q?
False
Let a be (-2)/3 + 4/(-30). Let u = 4 - 1. Let r = 2 - u. Is r bigger than a?
False
Suppose -8 = 6*o - o - p, -p - 2 = 5*o. Let n be 7 - 4 - (-1)/o. Which is smaller: n or 4/5?
4/5
Let n be 14/10 - 8/20. Let x = -3 - n. Let m be (x/6)/(8/(-48)). Is 4 at most m?
True
Let t = -1.36 + 1.3. Are t and 2 unequal?
True
Let j be 20/5*(-90)/(-4). Let n = j + -1168/13. Let w(z) = z + 13. Let r be w(-12). Which is smaller: n or r?
n
Let h = 0.8 - -0.2. Let l = -278 + 278.19. Which is bigger: l or h?
h
Let i be 4/12 - 26/(-3). Let f be (i - 24) + (-1 - -4). Is -12 less than f?
False
Let g = -2/621 - -1913/15525. Let k = -59/75 + g. Suppose 2*y = -2*y. Is k at most as big as y?
True
Let n be ((-12)/(-15))/4 + (-2)/(-15). Let a = -5 + 23/5. Is n <= a?
False
Let m = -9 - -8.9. Which is bigger: m or -2/43?
-2/43
Suppose -5*y - 5*x + 75 = 0, -2*y = -2*x - 3*x - 9. Is 5 at most y?
True
Let j = 5 + -4. Let i = j - 1.08. Which is smaller: -0.1 or i?
-0.1
Let t(u) = u**3 + 4*u**2 - 4*u. Let g be t(-5). Let o(h) = -4*h**2 + 2*h**2 - 3*h**2 - h**3. Let i be o(g). Which is bigger: 3/4 or i?
3/4
Let z(w) = -2*w**2 + 1. Let c be z(-1). Which is smaller: -4 or c?
-4
Let c = -230 - -700/3. Let x = c + -3. Does x = -1?
False
Suppose 3*d - 5*d = -2. Suppose 5*p + 27 = u, 0*u + 2*u + 6 = -2*p. Let k be 4/15*u/4. Which is greater: k or d?
d
Let a be (1 - 0 - -3) + -17. Let j = 11 - 25. Which is smaller: j or a?
j
Suppose 2*s - 6*s - 32 = 0. Let v(m) = -m**3 - 9*m**2 - 7*m + 7. Let r be v(s). Which is smaller: r or 1?
r
Suppose -4*t - 24 = -7*t. Suppose d + d = t. Suppose -i - 1