b + 4 - 2. Is w less than or equal to b?
True
Let c(x) = x**2 - 3*x + 2. Let z be c(2). Suppose i = 2*h + 5, 5*h + 2*i - 1 + 0 = z. Let j be (h/(-2))/(0 - 2). Is -2/5 at most as big as j?
True
Suppose 3*p - 5*p - 2 = 0. Let r be (-5 - 524/(-132)) + 6/9. Which is bigger: p or r?
r
Let s be -12 + (-1 - (0 - -1)). Let z be (-4)/s - 20/21. Let l(m) = m**2 - 5*m. Let o be l(5). Is o less than z?
False
Let k be (3/(-6))/(75/20). Are 1 and k unequal?
True
Let z(k) = k**2 - 5*k - 2. Let y be z(4). Let h = y + 5. Is -1 bigger than h?
False
Let x = -1121/3 + 3349/9. Is -2 greater than or equal to x?
False
Suppose -w - 4 = 3. Is -7 equal to w?
True
Suppose 5 - 3 = o. Suppose -o - 13 = -3*n. Is 2 bigger than n?
False
Suppose 22*z - 10*z = -48. Do -8 and z have different values?
True
Let w = -0.6 - -3.6. Let c = 5 - w. Is c != -0.1?
True
Let t = 3.3 - 0.3. Is t greater than -1?
True
Let j be 16/12*(-9)/(-6). Which is smaller: j or 10/9?
10/9
Let i = 3893/19 - 205. Which is smaller: i or -1?
-1
Let y be ((-6)/(-4))/((-2)/(-12)). Let z be ((-30)/9)/(6/y). Is z <= -5?
True
Let o = 1883/6 - 313. Does 1 = o?
False
Let j = -30 - -19. Let q = 14 + j. Let g = 3 + -3.2. Is g at least as big as q?
False
Suppose 15*r - 13*r = -34. Is -18 greater than r?
False
Suppose 119 - 44 = -5*k. Let m(g) = g**3 + 15*g**2 + g + 16. Let d be m(k). Is -3 < d?
True
Suppose -3*v - 30 = -3*x - 0*v, x - 15 = 2*v. Suppose 6*o + 3 = m + o, 0 = x*o. Suppose -4 = -m*l + 3*c + 5, 7 = 3*l - 2*c. Which is smaller: l or 0?
0
Suppose -5*j + 12 = -13, j - 15 = 2*b. Which is bigger: b or -6?
b
Let k = -876/1111 + -3/101. Is 0 smaller than k?
False
Suppose 0 = 16*y - 15*y + 1. Which is greater: 1/77 or y?
1/77
Let r = -431321 - -166477. Let l = r + 4768879/18. Let i = 187/2 - l. Is 1 greater than or equal to i?
True
Let u(d) = -d**3 - 3*d**2 - 2*d + 2. Let g be u(-2). Let h be g*2*3/(-42). Which is bigger: h or -1?
h
Let x be 2/(-7) - 90/(-21). Suppose -2*l + 8 = 5*t, 0 = -5*l - 2*t + 24 - 4. Does x = l?
True
Let u = -11 - -15. Let a = 22 + -19. Which is bigger: a or u?
u
Let t = -2 + 5. Suppose 5*l - t*l - 2 = 0. Which is smaller: l or 1/2?
1/2
Let d = -1779 + 49797/28. Let w = -348/7 - -50. Let z = d + w. Is 1 bigger than z?
True
Let q = 51 + -47. Which is smaller: q or 0.3?
0.3
Suppose 5*i - 4*c = -25, 4*i - 3*c - c = -20. Which is greater: i or -4?
-4
Let m be (-10)/(-25)*65/1. Let d = m - 211/8. Let f be 33/(-45) - (-1)/3. Which is smaller: d or f?
f
Let a = 8 + -7.91. Let x = a - -0.91. Let k(v) = -v**2 + 6*v + 1. Let g be k(6). Do g and x have different values?
False
Let n = 67/2 - 32. Which is smaller: n or 1?
1
Let j = -128 - -128. Do 0.052 and j have different values?
True
Let r = -5 + 4.6. Let v = r + 0. Let b(f) = f**3 + 4*f**2 - 1. Let o be b(-4). Is v < o?
False
Let d = 4 - 2. Suppose 0 = -3*f - 4*h - 0*h + d, 2*f = 2*h + 6. Is 2 at most f?
True
Let b = 2.2 - 2. Suppose 0 = -j - 0*j - 1. Is b != j?
True
Let n = 5 - 4. Let j = -3/5 + 1. Is n less than or equal to j?
False
Let v = 9.91 - 10. Let a be 1/(-4) - (-15)/20. Is a greater than v?
True
Suppose -3*v + 100 = 2*v. Is 18 < v?
True
Suppose 8 = -x + 2*b, -2*x - 2*b - 10 = -0*b. Let s(t) = t**2 + 6*t - 1. Let f be s(x). Is f greater than -2/7?
False
Let a be -5*3/3 - 1. Let j(c) = -6*c**3 - c. Let g be j(1). Which is greater: g or a?
a
Let n(s) = s**3 + 6*s + 4*s - 4*s**2 - 9*s. Let k be n(4). Let l = -4 - -8. Is l <= k?
True
Suppose -3*z + z - 2 = -2*s, 3*s - 5*z = 5. Which is smaller: s or -2/169?
-2/169
Let b be 77/(-11) + 4 + -1. Let i be (-7)/(0 - b/(-8)). Which is smaller: 13 or i?
13
Let t be (-1)/3 + (-13)/(-30). Let j be 3/(-20)*(2 + -3). Let i = j + t. Which is smaller: i or 1?
i
Let r be ((-6)/(-52))/((-1)/2). Let n be ((-1)/(-4))/((-1)/(-4)). Which is bigger: r or n?
n
Let s be 1/(2/10) + 0. Suppose -s*k = -k. Let i = -902/9 + 100. Which is bigger: i or k?
k
Let d = 0.015 + 6.385. Let p = d - 6. Which is smaller: -2 or p?
-2
Suppose g - 4*g = 0. Suppose g*u = -u + 32. Let q = u - 95/3. Is q equal to -0.1?
False
Let v = 176/3 + -11434/195. Which is smaller: v or 0?
0
Let r(k) = k**2 + 12*k + 1. Let y be r(-12). Which is smaller: y or -11?
-11
Let g(q) = -4*q. Let z be g(0). Let d be 4/3*(2 + 1). Let v = d + -2. Is z equal to v?
False
Let h = -3/8 - -23/40. Let u(v) = -7*v**3 + 13*v**2 + 6*v - 1. Let t(s) = s**3 - s**2 - s. Let y(a) = -6*t(a) - u(a). Let b be y(7). Are h and b equal?
False
Suppose 0 = -2*c + 8, 0 = -2*j - 3*c + 13 - 3. Let v = j + 7. Let x be (-3 - (-20)/v)/1. Does -1 = x?
False
Suppose -5*a = -0*a - 100. Suppose -a = 5*d - d. Let b = 6 + d. Which is smaller: -2/9 or b?
-2/9
Suppose 0 = -i - i - 2*v - 10, -2*i = -2*v + 10. Does i = -8?
False
Let h = 125/183 + -1/61. Let p = -13 + 29. Let g = p - 10. Is g greater than h?
True
Let n = 0.03 + 0.97. Let u = 1 - 1. Let j = u + n. Are j and -1/4 unequal?
True
Let q(j) = j**2 + 8*j + 4. Let o be q(-4). Let n = -25 - o. Which is greater: n or 1/3?
1/3
Let y = 37 + -77. Let k be y/(-32) - (-2)/(-8). Let v = k + 0. Which is smaller: v or 2?
v
Let z = -36 - -35.46. Let n = -0.5 - z. Let r = n + -0.14. Are 3 and r non-equal?
True
Suppose 5*o - 6 + 1 = 0. Which is greater: 2 or o?
2
Let u(f) = f + 28. Let s be u(-20). Let o be (s/(-2))/(-88)*6. Is 0 bigger than o?
False
Let i(j) = -j**2 - 7*j - 3. Let x be i(-6). Suppose x*o - 6 = -0*o. Suppose -2*c - o*c = -8. Do 2 and c have the same value?
True
Let u(g) = -31*g - 13. Let h be u(10). Let d = h + 8077/25. Is d less than -1?
False
Suppose -l + 2*w = 4*l + 54, -2*l - 26 = -3*w. Let q = 8 + l. Is -2 equal to q?
True
Let a = -24 + 36. Let i = a - 4. Which is smaller: -1 or i?
-1
Let h = -1.19 + 0.19. Is h at least as big as 5/4?
False
Suppose -4*p = 2*h - 7*p + 19, 0 = 3*p - 15. Which is greater: -3 or h?
h
Suppose 5*c - 18 = -5*u + 2*u, c = -3*u + 6. Let y be (-4)/6*(-15)/10. Is u < y?
False
Let x = -4/1727 - -3471298/12089. Let y = 288 - x. Are 2/5 and y unequal?
True
Suppose 3*x + 0*x = 0. Let z = x + 3. Let r = -11 - -11. Which is bigger: r or z?
z
Let l(r) = -r**3 + 8*r**2 - r + 9. Let h be l(8). Let f = 3/53 + 91/265. Is f equal to h?
False
Let t(n) = 2*n - 2*n - 4*n**2 + 3*n**2 + 5. Let x be t(0). Suppose -c - 2*w = w - 1, 0 = 3*c + 3*w - 9. Which is greater: c or x?
x
Suppose b + 6 = 4*b. Which is smaller: 4 or b?
b
Let m be ((-3)/(-1) + 40/(-16))*0. Are m and 1/69 equal?
False
Suppose -8 = 2*b - 6*b - 3*y, -b - 3*y = -2. Let t(q) = -q**2 + 8*q - 4. Let l be t(7). Let a = l - 1. Are b and a nonequal?
False
Let j be (-3 - 1) + 5 - 92. Are -91 and j nonequal?
False
Suppose 13 + 2 = 3*l. Let f be 1/(1/(-16)*-4). Does f = l?
False
Suppose 0 = -4*f + 8*f. Is 3/8 > f?
True
Let b be (-2)/(-4)*(7 + 1). Suppose -14 = -3*t - 0*t - 2*o, 2*t + b*o - 20 = 0. Let m = 7 - 4. Which is smaller: t or m?
t
Let t = -2 - -8. Let p(z) = 7*z**2 + 5*z + 5. Let g(j) = -13*j**2 - 9*j - 9. Let n(o) = t*g(o) + 11*p(o). Let b be n(1). Does b = -2/5?
False
Let m(a) = -4*a**2 - 96 + 101 - a**3 + 2*a + 0*a**3. Let i be m(-4). Suppose 3*x - 2*x - 15 = 4*n, -4*x - 16 = 3*n. Are x and i non-equal?
True
Let c = 4 - 12. Is -7 >= c?
True
Suppose -2*n = -4*j + 6, 3*j - 2*n - 15 = 3*n. Let z(o) = 2*o**2 + o - 2. Let p be z(-2). Suppose -p = k - 3. Is j at most k?
False
Let l be 1*(-3)/6*72. Let x be (-1)/4 + l/(-16). Suppose 0 = 4*q - 2*g + x - 0, 3*q + g = -4. Are q and -1 equal?
True
Let p(r) = -r**2 + r - 1. Let g(o) = 7*o**2 - 14*o - 4. Let a(z) = -g(z) - 6*p(z). Let j be (-2)/(0 - 1) + 7. Let n be a(j). Which is smaller: n or 4?
n
Suppose 2*z + 19 - 63 = 0. Let f = 1 + 1. Suppose 2*y + z = 5*j, 5*y - 7*j = -f*j - 25. Which is smaller: 1/3 or y?
y
Let x = 42 - 42. Is x > -1/30?
True
Let a = -68 - -67. Is a bigger than -10/9?
True
Let z = -9 - -12. Which is smaller: -1 or z?
-1
Suppose -3*t - 2 = 5*h - 4*t, 4*h - 3*t = -6. Is 5/11 at most h?
False
Let t = 42 - 51. Is 2 >= t?
True
Let n(x) = -x**2 + 7*x + 10. Let m be n(8). Which is smaller: 15/7 or m?
m
Let y be -21 + 0 - (-15 - -11). Is -17 at most y?
True
Let w = -5.04 + 0.04. Let o = 1 + w. Let h = -4 - o. Which is bigger: -2/7 or h?
h
Let g be (-22)/(-7) - 3/21. Let h be 8/180*g/1. Is 0 bigger than h?
False
Let c = 1703474/15 - 113486. Let a = -79 + c. Is a greater than 0?
False
Let z = -3 + 