ess than s?
False
Let p(w) = -11*w**2 - w + 3. Let y be p(-2). Is -38 at most y?
False
Let b = -6 - -9. Let j = 3 - b. Which is bigger: j or 1?
1
Let u = -453277/7060 - -5/1412. Let v be 2267/(-5)*1/7. Let b = v - u. Are b and -1 equal?
False
Let z = -2.1 + 1.8. Is z greater than or equal to -4?
True
Suppose -5*s - 15 = -2*s. Which is greater: s or -6?
s
Let l be -5 - (156/(-18) - -3). Let v = 0.2 - 0.22. Do l and v have the same value?
False
Let t be 2 + 0 - (6 + -5). Which is smaller: t or -5/14?
-5/14
Let d = 5 - 3. Suppose 2*w + 5*a - 27 = -2*w, -d*a = -6. Let x = 5 - w. Which is greater: x or 3?
3
Suppose -2*z = -14 - 0. Are z and 0 equal?
False
Let l = -39/110 + -1/110. Which is smaller: 1 or l?
l
Suppose t + 132 - 156 = 0. Which is smaller: 23 or t?
23
Let o = 44/75 - -2/25. Let p = 0.18 - 0.2. Is p less than o?
True
Let z(y) = -y**2 + 9*y. Let r be z(5). Is r at most 21?
True
Let w be (16/20)/(6/15). Suppose 0 = u - 10 - 10. Suppose -4*t = -2*c + 16, -c + 3*t = -w*t - u. Is 0 greater than c?
False
Suppose u + 3*d + d = 12, -d + 3 = u. Let y = u - -2. Suppose 3*i + 3 = -j, 4 = -2*j + i - 6*i. Is y > j?
False
Let t be -3*((-20)/810)/(1*-1). Which is bigger: t or 0?
0
Suppose 0 = -3*i - 0*i. Let b be (-4)/6 + 88/141. Are b and i unequal?
True
Let s(b) = 2*b**2 + 46*b + 45. Let l be s(-22). Which is greater: 11/8 or l?
11/8
Let j be (-2 - -1) + 2 + -1. Let f(c) = -c - 3. Let y be f(-3). Let a = j - y. Which is bigger: a or -1?
a
Let t be 6*1*(1 + 0). Suppose -21 + 8 = -4*r + 5*u, 22 = r - 5*u. Let p be (0 + 0 - r) + 3. Are t and p equal?
True
Suppose -12 + 117 = 5*f. Suppose 3*k - f = -0*k. Do k and 5 have the same value?
False
Let l be (6 - (-92)/(-15))/((-3)/115). Are l and 4 unequal?
True
Let s = -2 + 29. Is s < 27?
False
Let x be -1*(-4)/(12/(-47)). Let h = x - -16. Let c = 10 - 9. Do c and h have different values?
True
Let y = 534 + -16556/31. Is y >= 1?
False
Let k(j) = 26*j - 21. Let g be k(2). Which is smaller: g or 32?
g
Let c be (-10)/15 + 886/6. Let y = -1037/7 + c. Let m = y + 54/35. Is 2/3 equal to m?
False
Suppose -5*w + c + 1 = 0, 0 = 4*w - 9*c + 8*c. Is w <= 2/11?
False
Suppose 0 = 5*l - 2*m - 12 - 10, l - 2*m = 6. Suppose 0 = l*k + k - 20. Which is smaller: k or 5?
k
Let a be (6/(-3))/(1 + -5)*4. Suppose 5*g - 21 = 2*g. Suppose -a*k - 4 = -0*f + 2*f, 3*k + g = -4*f. Is 2 <= k?
False
Let a = 0.17 - 0.27. Let t(z) = -z - 1. Let c be t(-5). Let v be c/(-6) + 1 + -1. Is a != v?
True
Let w be 4/(-5 + 1)*2/4. Let g = 1 + -1. Which is smaller: w or g?
w
Let r(b) = 99*b - 1. Let t be r(4). Suppose 4*q - t = -q. Let f = -1187/15 + q. Which is smaller: -1 or f?
-1
Suppose 2*d = -w - 3*d + 2, 0 = 4*w - 5*d + 67. Which is greater: -12 or w?
-12
Let z = 13 - 9. Suppose 3*v = 4*c - 4, -4 - z = -5*c + 3*v. Is c at least as big as 1?
True
Let k(z) = z - 7. Let b be k(6). Let d = 180 - 1976/11. Are d and b unequal?
True
Let z be (-40)/(-42) + 4/(-6). Let a = 21 + -16. Which is smaller: a or z?
z
Let i = 39 - 13. Is i less than 25?
False
Let a(i) = -2*i**3 + 3*i**2 - 3*i. Let l be a(2). Let m be (-3)/(((-1)/20)/(4/(-24))). Is l at least m?
True
Suppose 30 = -2*v - 3*v. Let m be -30*1/(-12) + (-19)/2. Is v at least m?
True
Let m = -0.06 - -0.16. Are m and -5 nonequal?
True
Let v = -0.2 - 0.2. Is 8 not equal to v?
True
Suppose 4 = w - 0. Which is bigger: w or -1?
w
Let p(z) = z + 9. Let d be p(-6). Suppose 0 = -d*a - k - 5, 4*a + 3*k + 16 = 1. Let s = -35/74 + -1/37. Which is smaller: s or a?
s
Let g = -2 + 0. Let h = 6 + -3. Let o be (-5 + h)*(-1)/(-4). Which is greater: o or g?
o
Let k = -50.58 - -50. Is -1/2 less than or equal to k?
False
Let w = -2 - -2. Let f be -8 - (1 + -1*2). Let k be f/3 - 6/(-3). Is k bigger than w?
False
Let i = 0 - 1/4. Let r be 4 + (3 - 1) + -1. Suppose -3 = -5*w - j, -j - 4 + 7 = -r*w. Is i at most w?
True
Suppose 4*i + 4*v + v = 125, 0 = 2*i - 3*v - 57. Is 31 equal to i?
False
Let o be (-4 - -6)*((-1)/(-2) - 1). Is o less than -3/50?
True
Suppose 5*g + 6 = 2*p, -3*p + 5 = -4. Let x(s) = -s**3 - 6*s**2 - s - 8. Let t be x(-6). Is g < t?
False
Suppose z + 2 = 7. Suppose -3 = -l - z*y, 0 = -4*l + 2*y + 2*y + 84. Let p be (-1)/(-3) - (-3)/l. Is p <= -0.1?
False
Let w be (0 + 1*-20)/(-13). Let i = w - 1/26. Which is smaller: 1 or i?
1
Let c = -4 - -10. Let z be (-12)/36 + 2 + -1. Which is bigger: z or c?
c
Let l = 0 - 2. Suppose 2*y - y = 4. Let u(q) = -q**2 + 4*q - 2. Let h be u(y). Is h at most as big as l?
True
Let k be (9/1)/(-3) + 3. Suppose 2*h - 14 = -2. Suppose -h*l = -3*l. Does l = k?
True
Suppose 2*c - 2010 = 5*c. Let f = 7364/11 + c. Which is greater: f or -1?
f
Let a be (2/(-1))/(-6 - -8). Is a bigger than 3.8?
False
Let a be 3/(-1746)*(-397 - -3). Let t = a + -1/97. Let p be 4/(-5)*(-10)/2. Which is greater: p or t?
p
Suppose 1495 = -2*n - 11*n. Is n > -116?
True
Suppose 5*j = 5*i + 4 + 1, -5*i - 5 = 2*j. Is -2/11 < j?
True
Let a = -9 + 10. Suppose i + r + a = -0*r, -3*r = 5*i + 3. Is i less than or equal to -1/6?
False
Let r be ((-1)/2)/(1/(-4)). Suppose 5*m = -8*u + 3*u, 5*m = -3*u - 6. Which is greater: r or u?
u
Let g(w) = w**2 - 8*w + 3. Let f be g(8). Let h be f/9 + (-16)/12. Is -2/7 > h?
True
Suppose -q = -5*q - 24. Is 3 <= q?
False
Suppose -2*f - 144 = 5*k, -2*k + 3*f = k + 78. Let z be (-4)/(-38)*k/8. Let y = -139/171 - z. Which is greater: y or 1?
1
Let d(p) = p - 17. Let a be d(11). Are -5 and a nonequal?
True
Let t(d) = 8*d**2 - 8*d + 7. Let b be t(1). Is b >= 7?
True
Let v = 20 + -26. Let g be 2/((v - -4) + -5). Is g not equal to 0.5?
True
Let b = -0.2 + 0. Let s = 40 - 38. Which is smaller: s or b?
b
Let c be (-3 - -1)*1/2. Let y be 2/(-2) - 1/c. Suppose -2*f = -6*f + 4*q, 0 = 4*f + 4*q - 8. Is y bigger than f?
False
Let m = -2/43 + -72/301. Is -19 != m?
True
Suppose -3*l = -o, o - 2 = 4*l - 1. Suppose -4*s = -8, 5*r - 26 = -0*s + 2*s. Suppose -r = -3*w - 3. Which is bigger: l or w?
w
Let i = 25/231 + 13/21. Let o = -98/165 + i. Is o less than 1?
True
Let j(n) = 17*n - 81. Let h be j(5). Let f = -5 - -10. Which is smaller: f or h?
h
Suppose 3*p - 4*i = 10, -p + 6*p + i = 32. Let c be p/(3/((-12)/8)). Is 0.1 <= c?
False
Let r = 6 - -2. Let a(j) = j**3 - 8*j**2 + 1. Let c be a(r). Suppose -2*x - 2 = -2*s, 0 = -x + 3*s - s - c. Are -1 and x nonequal?
False
Suppose -4*l + 0*l + 16 = 0. Suppose 8 = -l*w - 16. Is w >= -6?
True
Let y(o) = o**3 - 15*o**2 + 16*o - 28. Let a be y(14). Which is smaller: a or -2/3?
-2/3
Suppose 3*a - 20 = -5*j, 3*j - 2*a + 5*a = 18. Is -3 smaller than j?
True
Let c be 10/(-12)*(-21)/70. Which is smaller: 3 or c?
c
Let c be 19/36 - 2/(-9). Suppose 0 = m + b + 3 - 5, 2*b + 10 = 5*m. Suppose -5*f + 2*q + 0 = 3, 2*f = m*q - 6. Which is greater: f or c?
f
Let t = -14 - -15. Which is bigger: -8 or t?
t
Let a = 8 - 3. Suppose 0 = a*r - 2*r - 54. Let l be ((-3)/6)/1*r. Is l greater than -10?
True
Let v be (-16 + 11)*4/10. Suppose -2*l - l = 5*i + 27, 2*l - 3*i - 1 = 0. Which is greater: v or l?
v
Let w(t) = t**3 - 5 + 10*t - 19*t**2 + 10*t**2 + 2. Let l be w(8). Is 13 > l?
False
Let w(h) = h**2 - 11*h + 9. Let z be w(10). Let v be -1 + (22 + z)/3. Is v <= 6?
True
Let f = -173/5 - -35. Let y = -0.59 - 0.11. Which is bigger: y or f?
f
Suppose 3*c - 6 = 2*u - 5*u, 0 = -5*u - c - 2. Let m be 8 - (-1 - -1 - 2). Suppose 3*b - 2*h = 10, m*b + 3*h = 5*b - 15. Which is smaller: u or b?
u
Let p = -3 - -7. Suppose 30 = -4*x + 3*b, b - p*b = -5*x - 36. Suppose 41*a - 43*a = 10. Which is bigger: a or x?
a
Let x = 8.2 - 8. Let s(a) = a + 2. Let q be s(-4). Is x <= q?
False
Let f = -155/2 - -1091/14. Which is smaller: -1 or f?
-1
Let g = -2 - -1. Let p = -1 - 2. Let q be p/(-2)*(-4)/15. Which is bigger: g or q?
q
Let x be (-3 - -2)*4/(-2). Suppose 3*v = x*p + 6*v - 15, 3*p = 2*v + 3. Let f be (1 + 0)/(1/1). Which is bigger: p or f?
p
Let s(w) = 10*w - 44. Let p be s(7). Is 26 < p?
False
Let m be (-156)/70*(-4)/6. Let l be (-7)/7 + (-11)/(-5). Let y = m - l. Do 0.1 and y have different values?
True
Let k(u) = u**3 - 6*u**2 + 6*u - 5. Let c be k(5). Let f = -1 - c. Which is smaller: 1 or f?
f
Let a = -51 - -51.23. Which is smaller: a or 1/2?
a
Let a be -2 + (0 - 1) + 0. Let l = 3 - a. Which is smaller: l or 4?
4
Let h(o) = -o**2 + 5*o + 4. Let q be h(5). Let g be ((-2)/(-4))/((-2)/q). Is