uppose n - 5 = 2*x - 6, 0 = -5*x - 4*n - 30. Do -18/7 and x have different values?
True
Let p = 19.9 + -20. Which is smaller: p or -2/15?
-2/15
Let r be ((-8)/80)/((-8)/10). Suppose 2*y + 2*u - 4 = 0, 4*u = -0*u + 12. Is r != y?
True
Let i = -19/3 + 97/15. Let h be (-5)/(-5)*(3 - 4). Which is greater: i or h?
i
Let l = -10 - -14. Let k(x) = 2*x - 3. Let v be k(l). Suppose -3*q = q - 20. Is q at least v?
True
Let q = 31 - 29. Is q <= -0.2?
False
Let c be (-107)/66 - 9/(-6). Let n = c - 17/132. Let j(s) = -s + 2. Let q be j(3). Which is greater: n or q?
n
Let k be ((-26)/8)/((-10)/(-40)). Is -13 at most as big as k?
True
Let d = -33883293/282724 - 7/21748. Let l = -120 - d. Let k be (-1)/(-2) - 4/8. Which is bigger: l or k?
k
Let d(p) = p**3 - 4*p**2 - 2*p + 5. Let t be d(4). Suppose 3*k = 3*v + 6, -3*v + 5*v + 19 = -3*k. Let f = 2 + k. Which is greater: f or t?
f
Let a(b) = b - 2. Let h be a(2). Suppose -2*m + 8 = -h*m. Is m > 2?
True
Let g = 2 + -3. Let a = -6/101 + 256/909. Is a at least as big as g?
True
Let x be (-4)/(-1)*(-2)/4. Let k be 2 + (-4 - x) + 3. Let r be (-9)/(-18)*(-8)/(-2). Which is bigger: k or r?
k
Let k = -531/10 - -107/2. Which is bigger: k or 2?
2
Let j be 0/2 + (-1 - 8). Let r = j - -8. Which is greater: r or 1/6?
1/6
Let y = -32.921 - 0.079. Let z = y - -34. Let k = -13.7 - -13. Which is smaller: z or k?
k
Let o be -1*2*6/4. Suppose -3*j = j + 28. Let m(q) = -q - 9. Let g be m(j). Is g greater than o?
True
Let x(h) = 2*h**3 + 29*h**2 + 5*h + 17. Let v(n) = -n**3 - 15*n**2 - 3*n - 9. Let l(i) = 5*v(i) + 3*x(i). Let q be l(-12). Is q less than 0.1?
False
Let y = -15/2 + 185/26. Is 0 smaller than y?
False
Let l = 8.181 + 0.119. Let f = -9 + l. Is 1 equal to f?
False
Let t = -146 + 158. Which is bigger: t or 4?
t
Let p be 3/(1 + 0 - 0). Let f be 2/(58/14 - p). Is f less than 2?
True
Suppose 7*r = -23 - 40. Is r at most as big as -9?
True
Let m = 0.5 - 2.3. Let a = m - -2. Which is smaller: a or 0?
0
Suppose 0 = -4*p - 4*t, 0*p - 3*t = p. Suppose -9 = -3*u, 2*h = -u - 0*u + 9. Suppose p = -2*i + i + h. Is i >= 4?
False
Let v = 15 + -3. Let n = v - 13. Is -2 >= n?
False
Let m be (-5)/4 + 1105/68. Are m and 14 equal?
False
Let k(f) = -f**2 + 14*f - 10. Let d be k(6). Is d > 38?
False
Let c be 127/(-4) + 0 + 0. Suppose 0*i - 2*i - 64 = 0. Let g = c - i. Which is greater: g or 4?
4
Let z = -249/2 - -127. Let i = 9 - 6. Is i <= z?
False
Suppose -12*t - 324 = -3*t. Which is smaller: t or -35?
t
Let f(u) = -2*u - 8. Let o be f(-5). Is 1/2 greater than o?
False
Let c(y) be the second derivative of -2*y - y**3 + 1/12*y**4 + 0 + 2*y**2. Let i be c(5). Which is greater: i or 0.1?
0.1
Let w(m) = m**2 + 5*m - 4. Let u be w(-5). Let f be 2/(-9) + (-224)/(-36). Let x be (-8)/3 + f/(-18). Which is bigger: x or u?
x
Suppose x - 1 - 15 = 4*n, 2*n + 8 = 0. Suppose 9*h - 8*h = 3*z - 11, 5*h - 9 = -z. Which is greater: z or x?
z
Let o = 17.5 - 17.49. Is o at most 6?
True
Let y be (-6)/(-1) - 0/(-3). Suppose y = -2*z + 4*z. Let m(t) = t**3 - 4*t**2 + 3*t + 1. Let w be m(z). Is 1 not equal to w?
False
Let k = 10902020 - 1144725293/105. Let m = k - -127/21. Let t = -120 - m. Which is greater: 0 or t?
0
Let x = 0 - 0. Let b = 0.42 - 1.42. Which is smaller: b or x?
b
Let f = 0 + 1. Let g = 179/102 + 75/17. Let y = g + -13/2. Which is bigger: y or f?
f
Suppose -4*c - c + 2*j = 0, -16 = -3*c - 2*j. Let d be 10/(-6)*(-6)/c. Suppose 11 = g + 2*g + p, -7 = -3*g - d*p. Is g smaller than 4?
False
Let k be (2/5)/((-35)/(-25)). Which is greater: 0.02 or k?
k
Let k(j) = 3*j + 2. Let s be k(-2). Let c be -6 - -5 - (-13)/s. Which is smaller: -5 or c?
-5
Suppose 5*c - 3*c = 3*y - 6, -2*c = -2*y + 4. Let j be 2 - 2 - y/(-15). Let q = -22 + 23. Which is smaller: q or j?
j
Let c = -0.14 - -0.24. Which is smaller: c or 1/17?
1/17
Let d(g) = 2*g - 9. Let c be d(6). Let j = 16 + -14. Is j <= c?
True
Let y be (-2)/7*((-3094)/609 - -5). Are 1 and y nonequal?
True
Suppose -2*w = 4, 3*y + 5*w + 7 = -0*y. Let o = -8/3 - -20/9. Which is smaller: y or o?
o
Let y(r) = -6*r - 3*r**2 + r**2 + r**3 - 3 - 3*r**2. Let t be y(6). Suppose 20 = z - 6*z. Is z at most as big as t?
True
Let m = -2.1 - 2.1. Let w = -0.2 - m. Is -0.1 at least as big as w?
False
Let t = -3 + 4. Let n be (-7)/(-21)*t*-3. Are n and 0 non-equal?
True
Let f = -19 + 181/9. Let k = f + -59/45. Does k = 0?
False
Let d = -1329 + 33232/25. Let t = d + -2/25. Let n be 0/((-26)/30 - 30/225). Which is bigger: n or t?
t
Suppose 4*s + 5*p - 30 - 6 = 0, -16 = -2*s - 2*p. Is 1 bigger than s?
False
Let k be -3*(0/3 - 1). Let t(s) = s**2 + 6*s - 5. Let m be t(-7). Suppose -m*w = k*w. Which is greater: w or 2?
2
Let s = 6 + 0. Suppose -4*i = -2 + s. Let p = -98/45 - -16/9. Do p and i have different values?
True
Let b be (-7 - -3) + (-52)/(-14). Is -0.08 at least as big as b?
True
Suppose 29 = 4*j + 3*b, 38 = 5*j - 3*b + 5*b. Is j greater than 2?
True
Let w(d) = 0*d + 2*d + 2 + 0*d. Let y be w(-2). Are -2 and y equal?
True
Suppose 3*g = 2*g + 1. Let x(l) = 0*l + l - 5 + 14. Let y be x(-7). Is g != y?
True
Let i = 134 - 125. Which is bigger: 0.4 or i?
i
Let u(l) = -3*l - 1. Let a be u(-6). Let y = 28 - a. Which is smaller: 10 or y?
10
Suppose -3 = -2*m + 13. Let z(j) = -j + 6. Let u be z(m). Is -1 greater than or equal to u?
True
Let r be -1 + (2 - 2) - -2. Suppose 0*j - 4 = -j. Suppose 0 = 3*u - 4*k - j, -3 = 3*u + k + 2*k. Is r greater than u?
True
Suppose 0*y + 9 = -3*y - 3*w, 15 = -5*y + 2*w. Which is greater: 0 or y?
0
Let p = -5 - -4.7. Let l = 0.5 + p. Let g = 11 + -11.1. Are g and l equal?
False
Suppose 20 = 4*d + 52. Let s = d - -6. Which is bigger: -5/3 or s?
-5/3
Let d = -2.3 - -0.3. Let t = d + 2. Which is bigger: t or 6?
6
Let c = -1.16 + 0.06. Let f = c - -0.1. Let q(v) = v**2 - 3*v + 1. Let b be q(2). Does b = f?
True
Suppose 0 = -3*d + 24 - 9. Suppose 3*w = d*b + w - 2, -1 = -3*b + w. Which is bigger: 1 or b?
1
Suppose 4*c + 2*l = 4, -5*c + 4*l + l + 5 = 0. Suppose -2*r + j = -c, -4*r + 2*j = -3*j - 5. Let f = 115 - 1033/9. Is r < f?
True
Let r = 49.9 + -53. Let z = -0.1 - r. Let s = z + -4. Is s >= 1/6?
False
Let b be (-21)/(-14)*(-4)/(-6). Let f be b/(-3) - 3/(-63). Which is smaller: f or 1?
f
Let z(n) = -5*n**2 - 45*n - 1. Let t be z(-9). Which is smaller: t or -105?
-105
Suppose 3*b - 11 = 1. Suppose -2*k - 5*o = 28, 0 = -0*k - b*k - 5*o - 36. Let v = k - -5. Is v >= 1?
True
Let c(t) = -t**2 + t + 4. Let l be c(3). Let s be ((-5)/10)/(l/(-8)). Let r(w) = -2*w**2 + 2*w + 2. Let p be r(2). Do p and s have the same value?
True
Let b(r) = 12*r - 6. Let o be b(8). Let m be (-38)/o + (-4)/(-18). Is 0 less than m?
False
Suppose 0*v + 3*v - 67 = -4*l, -5*v - 5*l + 120 = 0. Let b = v + -85/3. Which is greater: 2 or b?
2
Let i = 68.4 - 66. Does 2 = i?
False
Let c = 163 - 162. Let a be (-2 + -1)*2/(-10). Is c less than or equal to a?
False
Let h(u) = -u - 16. Let l be h(-13). Which is smaller: l or -5?
-5
Let o = 139/2 - 66. Let n(p) = -p - 2. Let d be n(-7). Which is smaller: d or o?
o
Let z = 0.1 - 2.1. Let i = z + 1. Let m = 0.4 + -0.4. Which is bigger: m or i?
m
Let f be 4/18 - (-11)/(-9). Let y be -4*-5*(-3)/12. Let u be f/(-1) + y + 1. Which is bigger: -2 or u?
-2
Suppose 25 = 3*k + 5*i, 8*k = 3*k + 3*i - 15. Are 5/7 and k non-equal?
True
Let y be 10/75*80/14. Let d = 71/84 - y. Do d and -1 have different values?
True
Let u be 102/(-1980) - 2/(-5). Let n = u - 1/6. Is 0 greater than n?
False
Suppose -7*c + 11*c = 288. Which is smaller: c or 71?
71
Let q = -13091/35 - -374. Does q = -1?
False
Let u = 14139/14 - 762077/770. Let g = 102/5 - u. Are 0 and g nonequal?
True
Let w = 24.8 + -25. Is w greater than 1/11?
False
Let y = 21.1 - 20. Let d = y + -1.2. Which is bigger: d or -5?
d
Let r be (0 - (-12)/(-9))*-3. Let q(y) = 5*y**2 + 1 + y**3 + y**2 + 2*y - r*y**2. Let w be q(-2). Which is bigger: -1 or w?
-1
Suppose 4*d - s + 10 = s, 0 = 2*s - 6. Is -2/13 != d?
True
Let n = -1.09 - -0.86. Which is bigger: n or -3?
n
Let k = -0.11 - -4.11. Is k less than 1/3?
False
Let q be (-6)/33 - (-79)/11. Suppose q*r - 4*r = -6. Is r at least as big as -2?
True
Let b = 18 + -11. Let s(m) = -m**3 + 6*m**2 + 8*m - 4. Let k be s(b). Which is greater: 4 or k?
4
Suppose 2*u = 13 + 13. Is u at most as big as 11?
False
Let c = -26.2