1 and x have the same value?
False
Let o = -5 - -14. Let d be 2/o + 4/9. Is d != 3/4?
True
Let f(a) = -a**3 - 6*a**2 + a + 4. Let i be f(-6). Suppose -3*z + 2*w - 12 - 1 = 0, z = -4*w + 19. Let j be (2 + -3)/z - 3. Is j at least as big as i?
True
Suppose j - 10 = 3*s - 6*s, 4*s - j = 18. Suppose s*g + l - 1 = -4, 2*l + 6 = 0. Let a = 3 - 4. Which is smaller: g or a?
a
Let c(y) = -y**3 - 5*y**2 - 3*y - 1. Let p be c(-2). Let o = p + 7. Which is smaller: o or 1/2?
o
Let u = -6 + 17. Let r = -10.7 + u. Which is smaller: -2 or r?
-2
Let n(u) = u**3 - 4*u**2 + 2*u - 6. Let f(q) = -2*q - 6. Let l be f(-5). Let p be n(l). Let h be ((-8)/(-12))/(3/9). Is p at least as big as h?
True
Let c = -22 + -8. Let p be 4/c*(-2)/8. Which is smaller: 0 or p?
0
Suppose -15 - 20 = 5*g. Let w(m) = m**2 + 4*m - 6. Let d be w(g). Is d greater than or equal to 15?
True
Let h = -47.9 + 48. Which is greater: h or 1.7?
1.7
Suppose 0 = -5*t - 3*c - 166, -c - 65 = 3*t + 37. Let k be 4/(-14) + 235/t. Is -7 less than or equal to k?
True
Let y = 9 - 21/2. Which is smaller: y or -3?
-3
Let v = -4 + 4.3. Let t = 0.4 - v. Is t at most as big as -1/7?
False
Let g(i) = i - 1. Let p(h) = 3*h + 2. Let v(m) = 2*g(m) - p(m). Let u be v(-5). Let r be 1/1 - (-2)/u. Which is smaller: r or 2?
2
Let d = -6 - -4. Let z = -1 + d. Which is greater: 0 or z?
0
Suppose 0*q - 4*q - 4 = 0. Which is smaller: q or 4/13?
q
Let f = 12629/41 - 308. Let d = f + 77/205. Which is smaller: d or 1?
d
Suppose -s + 3*s = 20. Suppose -4*x + 6 + s = 0. Suppose 0 = x*r + 3*c + c - 8, -c - 1 = 0. Are r and 1 unequal?
True
Let b(k) = -2*k**3 + 4*k**2 - 2*k + 2. Let j be b(3). Let n be (-2)/7 - j/(-70). Is n at most as big as -1?
False
Let j be (8*-1)/(12/(-72)). Suppose 2*m - j = -2*m. Which is bigger: m or 13?
13
Let b be (-24)/(-63) - (-6)/21. Is b <= 1?
True
Suppose -55 = -3*b - 2*i, -b = -5*i + 5 + 5. Suppose 2*q = 10, 3*q + 0 = 2*w + b. Suppose w = 4*h - 3 + 7. Is h greater than or equal to -1/4?
False
Suppose 0 = m - 0*m + 5*a + 9, 0 = -2*m + 3*a + 8. Let v be (8/20)/(1 - -1). Is v not equal to m?
True
Let f = 0 - 0. Suppose -2*x + 0*x + 6 = f. Suppose -2*j + 20 = 2*j + 5*z, -j - x*z = -12. Which is bigger: j or 1/3?
1/3
Let n = 48 - 534/11. Is n at least as big as -1?
True
Let y = 21 + -21. Do y and -4/7 have different values?
True
Suppose 5 = -s + 1. Let k be (s/(-1))/(1/(-3)). Let j be (-2)/k*(-1 + -3). Is j > 0?
False
Suppose -2*y = -2*p + 300, -2*p - y = -0*p - 300. Are p and 150 non-equal?
False
Let t be 2/(-1) + 4 + 0. Let x = -2 + t. Is -1 less than x?
True
Let b = -0.11 + 0.21. Let c(w) = w. Let u be c(1). Is u != b?
True
Let a be 1/(-2) + (-668)/72. Let r = 458/45 + a. Which is smaller: r or -2/21?
-2/21
Let l(j) = -2*j. Let r be l(-1). Suppose -1 + 3 = 2*a. Which is greater: r or a?
r
Suppose -q + 3*p = -21, -4*q + 141 = 4*p + 25. Suppose 5*l - 17 = -0*t + 2*t, 3*l + 3*t - q = 0. Is l >= 2?
True
Suppose -2 - 1 = 2*s - w, 3 = -3*s + w. Let a = s - -4. Let k be a/8*(-1 - -1). Which is smaller: -1 or k?
-1
Let u(o) = o**3 + o + 1. Let n be u(-2). Let y(k) = -k**2 + 2*k. Let d be y(4). Which is smaller: d or n?
n
Let t = -31.38 - -31. Let p = t + -1.52. Let i = p + 0.9. Is i bigger than -3/5?
False
Let l = -22.1 - -22. Is l >= 7?
False
Let n = -2 + 13. Let p be (-3)/(-2 + n/4). Let u = p + 5. Is u <= 2?
True
Suppose -59 + 11 = -3*n. Suppose 3*z - 12 = 0, 2*z + 0*z = -4*i + n. Which is smaller: -4 or i?
-4
Let s = 4 + 0. Suppose s*m + m = -15. Which is greater: -1 or m?
-1
Let j = 6 - 4. Let t = 35/4 - 17/2. Which is smaller: t or j?
t
Let g be (-1968)/(-10) + 7/21. Let p = g - 197. Do -1 and p have different values?
True
Let q = 3 - -21. Which is smaller: -2/3 or q?
-2/3
Let p = 54/245 + -8/49. Which is greater: p or 0?
p
Suppose 4*p - 3*l = 19, -4*p - 11 = -8*p - 5*l. Which is bigger: p or 3?
p
Let n be (-144)/(-378) - (-2)/7. Let a = -16 - -9. Which is smaller: a or n?
a
Let v(y) = -y**3 - y. Suppose 3*k - 4*k + 1 = 0. Let r be v(k). Let t be 1/4*(0 - r). Are t and 0 nonequal?
True
Let j be (13/(-3) + 1)/(6/9). Which is smaller: j or -6?
-6
Let q = -5/42 + 109/210. Let i = 0.3 + 11.1. Let w = i - 11. Do q and w have the same value?
True
Suppose -5*l = -0*l. Suppose l*o = -2*o - 4. Which is smaller: o or 1?
o
Suppose 9 = 3*r - 6*r. Let o = r + 8. Does 18/5 = o?
False
Let n(i) = -i**2 - i - 2. Let q be n(0). Suppose 3*o = -4 - 5. Let k be ((-3)/(-7))/(o/4). Which is smaller: q or k?
q
Let m be 0 + ((-530)/(-528) - 1). Let z = 4/33 + m. Is -1 greater than or equal to z?
False
Let q = 1.02 - 0.02. Is q <= 9?
True
Let n be (22/24 - (-2 - -3)) + 0. Which is greater: -1 or n?
n
Let z = 290 + -3186/11. Let a be ((-1)/(-6))/((-4)/(-8)). Which is greater: z or a?
z
Let a(b) = 3*b**2 + 1 - 2*b - b**2 - 3*b - b**2. Let c be a(5). Let s = -173/2 - -88. Which is bigger: c or s?
s
Suppose 4*o = 7*o + 3. Let p = 0 - o. Let s(v) = -v**2 + 3*v + 2. Let z be s(3). Which is greater: p or z?
z
Suppose 2*r + o + 112 = -11, 5*r + o + 312 = 0. Which is bigger: r or -64?
r
Suppose 15*c - 525 = 8*c. Which is smaller: c or 74?
74
Let x = -3 + 2. Let f be 3 + (-3)/1 - x. Which is greater: 0 or f?
f
Suppose -3*m + 2*p = 7, 5*m + 0 - 5 = -5*p. Is m not equal to -4/3?
True
Let s(i) be the third derivative of i**5/60 - i**4/24 + i**3/6 - i**2. Let v be s(0). Suppose -4*o + v = -7. Is 2/3 greater than o?
False
Let a = 4.2 + -4.3. Which is bigger: a or 10/11?
10/11
Let c = 67 + -401/6. Which is smaller: -1 or c?
-1
Let w = -6 - -6. Let p(y) = y**2 + y - 2. Let j be p(w). Let o be (j/6)/((-5)/60). Which is bigger: o or 3?
o
Suppose -3*s - 4*q = -8, 5 = -5*q - 0. Let a be 9/(-7) - (3 - s). Which is smaller: a or 0?
a
Let n = 112 + -114. Is n > -7/6?
False
Suppose -4*x + 3*g = -9*x, 5*x = -2*g. Which is bigger: x or 4/11?
4/11
Let f = 16 - 17. Is -13/6 greater than f?
False
Let m = 87 - 82. Which is smaller: m or -2?
-2
Let b(f) = f**3 - 7*f**2 + 5*f + 7. Let s be b(6). Suppose 3*o + 9 = 324. Let c be 1/5 - 6/o. Is c smaller than s?
True
Let r(h) = h**3 - 2*h**2 + 2*h + 3. Let i be r(3). Let c be -1*(-2)/(0 - i). Is c less than 1/4?
True
Suppose p - 11 + 89 = 0. Let n be (-889)/(-10)*24/p. Let b = n + 136/5. Do b and 0 have different values?
True
Let k(u) = 4*u**3 - u**2 - u + 2. Let g be k(2). Is 28 smaller than g?
False
Suppose 85 = 3*b + 5*h + 210, -b = -h + 31. Let a = b + 174/5. Is a greater than 1/3?
False
Suppose 0 = -4*l + 5 + 11. Suppose 2 = -4*c - 4*k - 6, 2*c + l = -3*k. Let d = 1 + -3. Is c less than or equal to d?
True
Let b be 6/8 + (-70)/200. Which is smaller: b or -1.1?
-1.1
Suppose 0 = -3*p - 4 - 17. Let s be (-10)/35 - (-47)/p. Are -6 and s nonequal?
True
Let p = 10 - 0. Suppose -5 = 5*k + p. Is -3/2 smaller than k?
False
Let j = -17 - -19. Let c(s) = -s - 2. Let h be c(-4). Let q be 3/12*1*h. Which is greater: j or q?
j
Let d(q) = q**2 + q + 2. Let v be d(3). Let u be 39/v - 2/7. Are u and 3 equal?
False
Let l(m) = m**2 + 13*m + 17. Let n be l(-12). Suppose -13 - 2 = -3*i. Is n > i?
False
Let i(b) = b**2 - 15*b + 26. Let x be i(13). Is -1 at least x?
False
Let o(c) = c - 6. Suppose 5*u - 5*p - 6 - 9 = 0, 0 = 2*u + 4*p - 24. Let r be o(u). Suppose -9*v - 8 = -17. Which is smaller: v or r?
r
Suppose 4*i - 32 = -4*g + 8, 3*i = -4*g + 28. Suppose -i*x - 2 = -10*x. Which is smaller: x or -3/7?
x
Let q = 3/268 + -605/6164. Let d = -1.044 - -0.044. Is d greater than q?
False
Let b = 21.2 + -21. Let d = -0.3 + b. Is d <= -1/3?
False
Let x be 0 - (0 - -1) - -2. Which is smaller: x or -1/5?
-1/5
Let y = -0.2 - -1.2. Let n be (-1)/(-3) + (-5)/(-3). Let w be ((-1)/n)/(6/(-8)). Which is smaller: y or w?
w
Suppose 0*t + 35 = 5*t. Which is greater: 5 or t?
t
Let i(x) = x**2 + 8*x + 10. Let m be i(-7). Suppose 4*y - 14 = -5*d + 2*d, 21 = m*d - 3*y. Suppose -j - d = -4*j. Is -2 less than or equal to j?
True
Let u(f) = f**2 - 5*f - 2. Let t be u(6). Suppose j = -4*c - 19, c - t*c - 15 = j. Which is greater: -5 or j?
j
Let s(z) = z**3 - 7*z**2 + 6*z - 3. Let u be (-1 + 10)*4/6. Let j be s(u). Let q = j - -5. Which is greater: 6/7 or q?
q
Let y(r) = -r**3 - 12*r**2 - 14*r - 10. Suppose -5 = -6*v - 71. Let w be y(v). Is w at least as big as 23?
True
Let p = -5 - -1. Is p less than -2?
True
Suppose 0*u - 4*u + 24 = 0. Let r = u + -7. 