= 0?
True
Suppose -4*f + 11 = 4*w + 55, 0 = 4*f - 3*w + 30. Is f at most -9?
True
Suppose -c = c - w - 27, -5 = w. Which is smaller: c or 12?
c
Suppose -3*s + 18 = 15. Which is smaller: s or -1/20?
-1/20
Suppose 5*q + 31 = 2*o, -4*o + 4*q + 35 = o. Let w be ((-1 - -2) + o)/(-2). Which is greater: -4 or w?
w
Let h = -38 + 49. Is -0.2 less than or equal to h?
True
Suppose 0 = -p + 3, 2*x + x - 39 = 2*p. Suppose -2*b + x = -1. Let o be ((-2)/(-8))/(11/b). Which is greater: -1 or o?
o
Suppose 5*r + 11 = -4*t, -3*t = t + 4*r + 8. Let l = 1639/4 - 393. Let x = -611/36 + l. Is t >= x?
True
Let j = 32996/39 + -846. Let n be ((-1)/4)/((-3)/12). Which is smaller: n or j?
j
Let j = 0 + -2. Let t be (j/(-3))/(12/90). Is t greater than 0?
True
Suppose 2 = -s + 4. Let a be 4/10 + (-14)/35. Suppose 3*m - 9 + 0 = a. Which is greater: s or m?
m
Let c = -337/1276 - 1/116. Let a(f) = f**2 + 18*f + 32. Let o be a(-16). Which is greater: c or o?
o
Let j = -17 + 15. Let a = -0.2 - 0.1. Which is smaller: a or j?
j
Let w(z) = -2*z - 1. Let q be w(-4). Let g = q - 8. Let b = 2 - 1. Is g at most b?
True
Suppose 5*i + b - 5*b = 41, -3*b = i - 12. Let r be (0 + -3)/i*3. Is -1/3 > r?
True
Let j be (2/35)/((-2)/10). Which is smaller: -0.05 or j?
j
Let a be -5*(-5)/(675/6). Which is greater: a or 1?
1
Let n be (-392)/5*20/9. Let w = 174 + n. Which is smaller: 1 or w?
w
Let c = 17 + -17. Let r = 1.15 - 0.15. Is r smaller than c?
False
Let o = -0.01 + 2.01. Let g = -19 + 20. Which is greater: g or o?
o
Let i be 4 - 3 - -2 - 21. Let l be -3 - (21/i - 2). Are -1 and l nonequal?
True
Let i = -27 + 29. Is 0.4 greater than i?
False
Let r = 10 - 2. Is r greater than or equal to 6?
True
Suppose 2*o - 2*x = -8, 0 = 5*o + x - 4*x + 12. Let h = -1 - o. Is 4/9 < h?
False
Let g = 46 + -277/6. Suppose 0*n = 2*b - 2*n - 12, 5*b - 2*n = 27. Let i = 5 - b. Which is greater: g or i?
i
Let j = -401/1653 - -4/57. Which is smaller: 0 or j?
j
Let m be (-4 - -1)*110/30. Let p = -16 - m. Which is smaller: -3 or p?
p
Let b = 10 + -13. Let f(l) = l**2 - l - 1. Let g be f(-1). Let v be 6/4*g*-2. Is v greater than b?
False
Let n = 43 - 309/7. Which is smaller: 0 or n?
n
Let c = 19 + -28. Let i = c - -14. Which is bigger: 6 or i?
6
Let t(l) = l + 1 - 2*l**2 + 5*l**2 + 1 + 4*l**2. Let i be t(-1). Are 8 and i non-equal?
False
Let b = 24919/117 + -2760/13. Let k = b + -1/117. Let x be 5*((-34)/(-10) - 3). Which is bigger: x or k?
x
Let o(z) = -7*z**3 - z**2 - 2*z - 1. Let d be o(-1). Let q = d - 6. Is q at least as big as 2/29?
True
Let x be 8/(-3)*(-117)/(-52). Let b be x/3 - 10/(-4). Are b and 0 non-equal?
True
Let z = -0.7 - -0.4. Let g = z - 1.7. Are g and -2 unequal?
False
Let a = 21 + -21. Is -6/31 < a?
True
Let d be (-2)/(-3)*(-69)/92. Is d < 0?
True
Suppose 0 = -4*d + 5*d + 1, -3*x - 18 = -3*d. Let y = x - -7. Let a be (0 - 16/10) + 1. Is a smaller than y?
True
Suppose 3*w + 0 = 5*n - 17, 2*n = 4*w + 18. Let t = 8 - n. Do 7 and t have different values?
False
Let u be 8/(-4) - (-2 + 1). Which is bigger: u or -2?
u
Suppose 0 = -3*v - 9, 4*s = s - 2*v - 576. Let h be 6/10*s/28. Let y = h + 9/2. Which is smaller: -1 or y?
-1
Suppose 0 = -2*o - 5*w + 15, 0*o = -o + 2*w - 6. Suppose -z + o = 4. Which is greater: z or -2?
-2
Suppose 6 = -u - 1. Let a = 0 - u. Let m be (12/(-3))/((-2)/3). Which is smaller: m or a?
m
Let s(q) = 121*q. Let z be s(1). Let d be (-2)/(-1)*1 - z. Let p = d + 592/5. Is p less than -2?
False
Suppose i - 41 = -10. Which is smaller: i or 30?
30
Suppose -4*k + 20 - 2 = 2*x, 3*k + 3*x = 15. Suppose -8 = -5*b + 17. Let u = k - b. Are -1/5 and u unequal?
True
Suppose 5 = 5*c - 10. Suppose -y + 1 = c. Which is greater: -4/5 or y?
-4/5
Let u(r) = -r + 1. Let x be u(-2). Let y be (2 + -4)/(18/x). Is 0 greater than y?
True
Suppose -7*r = -2*r - 50. Let h be 300/28 + 4/14. Is h < r?
False
Let i be 1/(-2) - (-39)/6. Suppose 2 = 2*c - 2. Suppose c*p = 4*f - 4 - i, -2*p = 10. Is f greater than 2/3?
False
Let l = 17.1 - 17. Which is bigger: 28 or l?
28
Suppose -3*j - 4 = 2. Which is smaller: j or -6/11?
j
Let p = 23 - 1. Let r = -33 + p. Which is greater: -2/7 or r?
-2/7
Suppose -61 = -5*h + l, 3*l = -0*l - 3. Let n = 35/3 - h. Which is smaller: -0.4 or n?
-0.4
Let x be (-1)/(-49)*(-4 + 2). Let c be 72/(-21)*(-20)/378. Let f = x - c. Which is bigger: -1 or f?
f
Let h = -21 - -24. Suppose 4*q - q = -h. Which is smaller: -11/5 or q?
-11/5
Let n be (10/36)/(4/304). Let d = -81178/45 - -27364/15. Let w = d - n. Which is bigger: -1 or w?
w
Let j be (5 + -8)/((-6)/(-4) - 0). Is j not equal to -0.2?
True
Let q = -2.95 - -3. Is -0.2 >= q?
False
Suppose -14 = 4*o + 3*b + 34, 0 = -5*o + 4*b - 29. Is o less than or equal to -8?
True
Let b = 2176093/12 + -181463. Let p = b - -122. Is p less than -1?
False
Suppose 5*y + 2*x = 158, -y - 2*x + 37 = -7*x. Is 31 smaller than y?
True
Suppose -t + 5*t - 4*j + 4 = 0, 4*t = 2*j. Let b = 7 + -6.8. Which is smaller: t or b?
b
Let l be (2 - -1) + (-64)/16. Is l at most as big as -9/16?
True
Suppose 7*g + 0*g = -147. Which is bigger: -22 or g?
g
Let a be (10/4 + -3)*0. Is a < -5/4?
False
Suppose 54*k = 28*k - 26. Let t = 2.93 - -0.07. Is k > t?
False
Let i = -114 + 113. Is i not equal to 5/21?
True
Let n(d) = -d**2 + 8*d - 15. Let q be n(7). Which is bigger: q or -7?
-7
Let o be (-4)/6*(-3 + 6). Let r be o/4 - (-11)/10. Which is bigger: 1 or r?
1
Let f be 121*(-4)/(-168) + -3. Let o = f - 3/14. Which is smaller: o or 1?
o
Suppose 0 = 4*c + 5*v - 11, 0*v = 4*c + 2*v - 14. Are c and 17/4 equal?
False
Suppose 3*l = 4*t + t - 85, -2*t = 3*l - 13. Is 15 <= t?
False
Suppose 0 = -x - x - 2. Which is greater: x or -3/29?
-3/29
Let j(q) = -3*q**2 - 2*q - 1. Let f be j(2). Which is smaller: -18 or f?
-18
Let v = -7 - -5. Let i(z) = z + 2. Let q be i(-6). Let w be (q/6)/(1/3). Is w smaller than v?
False
Let h = -4129 - -441806/107. Let s = -282/1391 - h. Is s not equal to -1?
True
Let n(a) = -a**3 - 7*a**2 - 6*a - 5. Let u be n(-6). Let i(v) = v**3 - 5*v**2 + 6. Let t be i(5). Let o = t + u. Which is smaller: 2/5 or o?
2/5
Let p = 0.2 - 8.2. Let a = 4.9 - 5. Which is smaller: p or a?
p
Suppose 0 = h - 3 + 29. Let p be 15/13 + 4/h. Which is smaller: 2/43 or p?
2/43
Let q be 0 + 37/(-5) + -1. Let l = -12 + 20. Let o = l + q. Which is bigger: -0.2 or o?
-0.2
Let o be 1 + -2*1/(-2). Suppose -3 = 4*j + 5*a, 3 + 9 = -5*j + o*a. Which is greater: -4 or j?
j
Let p = 491/6 - 82. Which is greater: 0 or p?
0
Let q = -37 - -37.2. Is q bigger than -1/25?
True
Let u be 2/12 - 1/(-66). Is 0 < u?
True
Let o be 58/(-200) + (-2 - 27/(-12)). Which is greater: 1 or o?
1
Let j be (1 - 5/3)/(294/(-252)). Suppose 5*g - l + 4 = -0*l, -4*g - 3*l = 7. Is g greater than j?
False
Let n = 1087 + -744. Let k = n + -2405/7. Is -1 <= k?
True
Let c = -2 + 6. Let s(w) = w**3 - 3*w**2 - 2*w - 2. Let u be s(c). Let f(j) = j - 5. Let z be f(u). Is -2/25 at least as big as z?
False
Let r(n) = -n**2 - 6*n + 7. Let u be r(-8). Suppose 30 = -3*k - 0. Which is smaller: u or k?
k
Let w = 715 + -344. Let h = w - 5563/15. Which is smaller: h or -1?
-1
Let d be 21/(-12) + 0 + 2. Suppose -3 = q - 9. Let k = q - 6. Are d and k equal?
False
Suppose 3*v - 117 = 5*i, -3*i - 86 + 19 = -v. Let y = 29 + i. Does y = 8?
True
Let z = -41 + 42. Which is greater: 2/9 or z?
z
Let j = 125/26 - 9/2. Suppose 3*a + 6 = h, 6 = a + 5*h - 8. Which is bigger: a or j?
j
Let u be 4 + -3 + 3 + -1. Is -3 less than or equal to u?
True
Let b = -20 + 14. Let a = b - -8. Suppose -5*l = -2*o - 17, -11 = -2*l + 2*o + 3*o. Which is smaller: l or a?
a
Suppose 9 = 4*g - 3. Let k(p) = -p**3 - p**2 + p. Let i be k(-2). Is g equal to i?
False
Let h be -11*(-3 + 4 + -2). Which is bigger: 9 or h?
h
Let s = -21 - -15. Let h = -7 - -7. Which is smaller: s or h?
s
Suppose -3*u = i - 0*u - 16, 4*i - 5*u - 13 = 0. Let x be ((-18)/i)/((-55)/35). Is 2 less than x?
False
Suppose -m - 4*m = 0. Let k = -1 + m. Let r be (k/3)/((-15)/(-9)). Is 0.1 > r?
True
Let s(g) = -g**3 + 12*g**2 + g - 17. Let q be s(12). Let p = q + 8. Let a = -31/2 - -17. Which is bigger: p or a?
p
Let g = -15 + 14.8. Which is greater: 0 or g?
0
Let f = -6 - -6. Suppose 0 = -2*i - f*i. Let s be (0 + 1)*i/(-6). Are s and -1/10 nonequal?
True
Let t be (27/(-6))/(3/(-4)). Suppose -3*d + 9*d - 48 = 0. S