. Are y and g nonequal?
True
Suppose 11*u - 684 = 5*u. Let r = u - 60. Which is bigger: r or 53?
r
Suppose -2*n - 2*n = 0. Let x = n - -25. Suppose -3*s + j = -2*s - 5, -5*j - x = -3*s. Is -3/4 less than s?
True
Suppose 6*o - 2 = -2*g, -2*g + 2*o - 7 = -o. Suppose 4*h = 5*d - 24, d = -2*h - 3*h - 1. Which is greater: h or g?
h
Let j = -4.52 + 3. Let i = -0.22 - j. Let f = -121 + 120.9. Which is bigger: i or f?
i
Let f = -7.18 - -0.18. Let w = f - -4. Let i = 1 + w. Is -3 at least i?
False
Let r be (5/15)/(3/(-726)). Let u = r + 80. Is 1 < u?
False
Let p = 2068 - 2067.116. Which is bigger: -1 or p?
p
Suppose -y - 8 = -3*y. Let x(z) = -13*z - 8. Let w be x(y). Let q be ((-3)/(-9))/((-16)/w). Which is bigger: q or 0?
q
Suppose 0 = 35*s - 11 + 46. Which is greater: s or -1/7?
-1/7
Let s be (1 - (-421)/5)/(224/160). Is s at least 62?
False
Let f be (-17 + 17)*(-1)/3. Which is bigger: -2/3837 or f?
f
Suppose 5*f - 118 = n, 0 = -4*f + 2*n - 39 + 137. Suppose -4*p + 5*b = -8*p + 21, -5*p - 3*b + f = 0. Suppose p - 3 = m. Which is greater: -1/25 or m?
m
Let w be (-15 - (-24)/(-8))*1/3. Which is smaller: -49/9 or w?
w
Let g = 49 + -49. Suppose n + 2*l = -8, 3*l + 17 = n - g. Is 19 smaller than n?
False
Let j(b) be the second derivative of -b**3/3 + 8*b**2 - 2*b. Let h be j(13). Let d be 0/(-1) + 0/h. Which is bigger: d or -3/7?
d
Suppose 3*j = 4*c + 54 + 24, j - 40 = 2*c. Is c bigger than 2?
False
Suppose 2*c + 9 - 17 = 0. Suppose -2*w + 13 = 5*q, -16 = -c*w - 0*w. Let o be 2 + -3 + (5 - q). Which is smaller: 1 or o?
1
Let v = -216 + 217. Which is smaller: -1/106 or v?
-1/106
Let f = -15 + 20. Suppose f*j = 3 - 18. Suppose -3*l = 12 - 3. Is j less than l?
False
Suppose -u + 9 = -5*r, 7 = -2*u - 3*u - r. Is u <= -46/29?
False
Let m be (-6)/(-8)*1 + -2. Let t be (3 - 2 - 3) + 39. Let c = t + -35. Is c less than m?
False
Let v(g) = -g**2 + 7*g - 3. Let c be v(3). Let y = -11 + 2. Let d = c + y. Which is smaller: 3 or d?
d
Let r = -0.2 - 5.8. Suppose -3*z - 4 = z. Which is bigger: r or z?
z
Let y = -30 + 33. Let k = y - 2.95. Which is greater: k or 2?
2
Let z = -8 - -9. Let p be z/2*(-5 + 7). Let q = 16 + -211/13. Is q less than or equal to p?
True
Let r = 539 + -545. Are r and -43 non-equal?
True
Let v be (-310)/110 + 2/(-11). Let i be 2/v*48/(-4). Suppose 0 = 3*j - 16 - 11. Is j > i?
True
Let q be (-423)/1477 - 35/(4410/(-36)). Which is smaller: q or 1?
q
Let j(c) = -16*c**3 - 86*c**2 + 86*c - 80. Let t(o) = -3*o**3 - 17*o**2 + 17*o - 16. Let k(w) = 2*j(w) - 11*t(w). Let u be k(-16). Is 2 greater than u?
True
Let u(y) be the second derivative of y**4/12 + 3*y**3/2 + 4*y**2 + 2*y. Let l be u(-8). Let p = 608 + -6686/11. Which is greater: l or p?
p
Let f be ((-13)/910)/((-6)/(-4)). Is 0 <= f?
False
Suppose -p - 20 = 5*g - 6*g, 2*p = -3*g + 35. Suppose 2*r - 2 = -2*t - 4, 5*r = -t + g. Is -4 at least t?
True
Let r(o) = 3*o**2 + 7*o - 13. Let d(x) = -7*x**2 - 14*x + 27. Let i(w) = 2*d(w) + 5*r(w). Suppose -7*z + 2*z = 40. Let y be i(z). Which is greater: -2 or y?
-2
Suppose 3*o + 17 = -2*c, 0 = 4*c - 24*o + 19*o - 21. Which is bigger: c or -5/132?
-5/132
Let y = -3643/41480 + -1/2440. Let q be 14/(-49)*2 - 9/21. Which is smaller: y or q?
q
Let g = 2 - 4. Let t = -38 + 28. Let c be 2 + -1 + 1 - t/(-2). Which is smaller: g or c?
c
Let l = 0.1 - -0.1. Let c = 0.8 + l. Let m = 112.2 - 119.2. Which is greater: c or m?
c
Suppose 3*c + 0*c = 0. Suppose c = 5*d - d - 36. Let w = 133 + -122. Which is smaller: w or d?
d
Let v = 33 - 73.9. Let h = v - -41. Is h greater than or equal to -0.8?
True
Let s(h) = -h**2 + 2*h - 1. Let o be s(1). Let p(z) = 3*z**3 - 47*z**2 - 9*z - 61. Let j be p(16). Which is smaller: j or o?
o
Suppose 0 = -4*y - 4*h + 160, h = 5*y - 16 - 214. Let k be 18/y - (-97)/(-5). Is -20 bigger than k?
False
Let g be (-4 - -8)/(-4) - 124/(-100). Is 1 < g?
False
Let x(m) = -12*m + 4*m + 6*m + m - 7. Let p be x(-10). Which is smaller: 4 or p?
p
Let b(g) = g. Let j be b(-2). Let f be 2/(-6)*3*0/j. Which is bigger: -4/27 or f?
f
Let k be 6/(-15) + (-215)/(-195). Let w = 14/15 - k. Is w not equal to 1?
True
Let r = -8/27 - -50/351. Which is smaller: r or 24?
r
Let t = -1100/3 + 366. Let h = 38 + -27. Is h equal to t?
False
Let x = 218 - 19836/91. Let i be 15/(-6)*(11/(-5) - -3). Which is smaller: i or x?
i
Suppose 0 = 5*p + 4 + 11. Let n(t) = -t**3 + 4*t**2 + t - 1. Let v be n(4). Let w = v + -4. Is w > p?
True
Let b be (-2642)/72 + 7/((-504)/(-32)). Are b and -35 non-equal?
True
Let w = 0.6 + -5.6. Let m be ((-46)/15 - -3)*(-1 - 5). Are w and m equal?
False
Suppose 88*o = 79*o + 81. Let j(c) = 4*c + 1. Let h be j(3). Suppose h*q + 84 = o*q. Which is smaller: -22 or q?
-22
Suppose -362*c + 343*c = -152. Let f = -14 - -23. Which is bigger: c or f?
f
Let r = -0.05 - -1.05. Let t = -195 + 195.03. Is t not equal to r?
True
Let l = -3.08 + 0.08. Let i = 3/8551 - 4292617/42755. Let f = -100 - i. Which is smaller: l or f?
l
Let j = -50 - 21. Let g = -63 - j. Which is smaller: g or 7?
7
Let y = 55 + -24. Suppose -5*u = 9 + y. Let h be (3/(-6))/((-1)/u). Is -3 less than or equal to h?
False
Let j = -391.95 + 392. Which is bigger: -1 or j?
j
Suppose 0 = 4*f - 3*y + 6*y + 1, y = -4*f + 5. Suppose -1 - 5 = f*z - 4*v, -v = z. Suppose -x - 9 = 2*a, -14*x - 48 = -a - 4*x. Which is smaller: a or z?
a
Let p(q) = q**2 - 4*q - 8. Let y be p(6). Suppose 2*m - 2 = 0, y*v + 2*m + 3*m = 9. Let h = 3/83 - -311/581. Which is smaller: v or h?
h
Let a = 5143 - 56481/11. Do 9 and a have different values?
True
Let q be (1 - 8) + 0 + 3. Let z = 4 + q. Let u be 6/10 + 1/(-5). Is u less than z?
False
Let q(w) = -w + 12. Let t be q(11). Suppose -p + 10 = -t. Is p equal to 13?
False
Suppose 4 = -2*i + 2. Suppose -3*a + 18 = 3*d + 2*a, -d + 10 = 3*a. Let m be d/(-13 + (-6)/2). Is i at most m?
True
Suppose 2*s + s = 69. Let y = s + -19. Suppose 0*j = -y*j - 44. Which is smaller: -23/2 or j?
-23/2
Let a = 28.54 - 29.54. Let k = -523/30 + 88/5. Is a bigger than k?
False
Let g(n) = -2*n + 9. Let a be ((-12)/(-8))/(3/4). Suppose -7 = -x - a. Let o be g(x). Is -1 > o?
False
Let l = -8732 + 17065/2. Is -199 != l?
True
Let x be 3/((-30)/(-4)) + (16/10 - 1). Let n be 1 + 0 + (-2)/(-2). Which is greater: x or n?
n
Let x = -976 - -215694/221. Which is greater: x or -2?
x
Let h(p) = 10*p - 5. Let u be h(1). Suppose -3*f - u = 10. Is -5 equal to f?
True
Let c(v) = -16*v + 150. Let h be c(10). Is h less than 36?
True
Suppose 9 - 3 = -3*y. Let v(u) = u**3 + 4*u**2 + 3*u + 1. Let c be v(y). Suppose f = -c*f. Is -1/5 bigger than f?
False
Let r = -43 - -31. Let z = -0.1753 + -0.0247. Which is smaller: z or r?
r
Let s = -14 + -10. Let g be 18/s + (-1)/4. Let l be (-16)/360*3 + (-12)/10. Is l at least g?
False
Suppose 4019*t = 4015*t - 4. Does 4/203 = t?
False
Suppose -c - n = -2*c - 18, 2*c + 15 = -5*n. Let l be 4/(-888)*c*(-8)/(-50). Which is bigger: l or -1?
l
Let o = 113.4 - 100. Let q = 1.4 - -1. Let c = q - o. Is c smaller than 1?
True
Let i = 12 + -12. Let c = 135 - 671/5. Is c greater than i?
True
Let x(a) = a**2 - 8*a + 10. Let m be x(7). Suppose -g + 4 = -4*z, 0*g = 4*g + m*z + 3. Are -1/65 and g non-equal?
True
Let d = -7.5 - -5. Let s = d + 1. Let q = s + 1.7. Is -0.4 at least q?
False
Let f(p) = -18*p + 3. Let l be f(1). Let g be 989/168 + l/45. Let c = g + -31/7. Which is smaller: 0 or c?
0
Let t = 0.4848 + -0.44. Let c = t + 2.0252. Let d = 0.07 - c. Which is smaller: d or 0?
d
Suppose t = 4*d + 116, -d + 7*t - 12*t - 8 = 0. Is -29 < d?
True
Let j = 2.34 - 0.34. Let i = j + 0. Is 2/7 at most i?
True
Let b = -256 + 256.5. Is 0.06 < b?
True
Let f(u) = 2*u - 1. Let t = -32 + 31. Let h be f(t). Is h != -4?
True
Let i(d) = -2*d - 5. Let j be i(-12). Is j at most as big as 19?
True
Let q = -944 + 951. Which is smaller: -97 or q?
-97
Let k be 6/10 + 36/15. Let p be k/24 - (-213)/24. Which is smaller: p or 8?
8
Let j = -1299.094 + 1301. Let i = j - 0.216. Let x = -1.7 + i. Which is greater: -2 or x?
x
Let p be 3 + 0 + 6 + 234/(-24). Is 0.1 != p?
True
Let j be (-2)/110 + (4 - (-184)/(-44)). Which is bigger: -2/5 or j?
j
Let k(i) = -2*i**2 - 7*i + 5. Let r(j) = 5*j**2 + 20*j - 15. Let m(c) = -8*k(c) - 3*r(c). Let x be m(4). Which is smaller: x or -1?
-1
Let d = -214 - -641/3. Which is bigger: -95 or d?