2/21 non-equal?
True
Suppose -3*p - 28 = 35. Let q = p - -18. Suppose 0 = 3*z - 2 + 5. Which is bigger: z or q?
z
Suppose 3*a = -2*a - 10. Is -10/9 greater than or equal to a?
True
Let h be ((-4)/(-8))/((-3)/(-9)). Let z = -12 + 18. Suppose -4*x = -2*x - z. Is x greater than or equal to h?
True
Suppose -6 = 4*o - 5*o. Let t be o/(-10) + 4/(-10). Let x = -3.9 - 0.1. Which is greater: x or t?
t
Let v = -6.1 - -28.6. Let y = v + -22. Is 2/9 equal to y?
False
Let g be 13/(-5) + (-2)/5. Let y = 4 + g. Let z be 1 + -3 - (-7)/y. Is 4 < z?
True
Let c = -0.148 + 0.048. Which is smaller: -67 or c?
-67
Let i = -589/220 - -53/20. Let k = i + -193/990. Let b = 0.1 + -0.1. Which is smaller: b or k?
k
Let o = -0.17 + -14.83. Let k = 0.042 + -22.042. Let q = o - k. Is 0.1 >= q?
False
Suppose 0 = 2*x, -2*x - 2*x + 2 = m. Let o = 4 - m. Let b = 34 + -31. Is o greater than b?
False
Suppose -2*t + 7*t - 5 = 0. Let d be (6/(-4) + 1)*2. Let w be d/(-2)*(-2)/t. Which is bigger: 2 or w?
2
Let k = 9 + -3. Let n = -5 - -5. Let m be n + -1 + k/10. Is m at least 0.2?
False
Let x(o) = 2*o**3 - 4*o**2 + 4*o - 3. Let z be x(2). Suppose -z*y + 2*y = 0. Is y smaller than 2/9?
True
Let c = -1/819 - -935/95004. Is 1 bigger than c?
True
Let u be 2/(-6) - (-2)/6 - -28. Which is greater: 26 or u?
u
Let x = -6 + 10. Let w be 14/4 + 3/2. Suppose 5 = -0*j + w*j + l, -4*j = -x*l + 20. Which is smaller: j or 3/4?
j
Let n = 2 - 0. Let o be 0 + 6/(-9)*-3. Is n smaller than o?
False
Suppose -8*x + 3*x + 35 = 0. Let a = -6 + x. Is 3/7 equal to a?
False
Let q(s) be the first derivative of s**4/4 + 5*s**3/3 - 3*s**2 + 2*s + 6. Let j be q(-6). Do 1 and j have the same value?
False
Let s = 0.3 - -0.1. Which is smaller: s or 0.1?
0.1
Let p = -75 + 78. Is p greater than 0?
True
Let u = 48 - -18. Is 66 at least as big as u?
True
Let s be 6/(-8) - 3/(-12). Suppose -6 = -3*o - 3*m, 5*m = 5*o - 5 - 5. Which is smaller: s or o?
s
Let z = -150 - -149. Which is smaller: 2/111 or z?
z
Let m = 5 + -6. Let r be (2/(-4))/((-264)/(-32)). Is m greater than or equal to r?
False
Let y = -34/3 + 104/9. Suppose 0 = -3*g - g + 8. Let u = -3 + g. Are u and y equal?
False
Let v be 40/(-10) + 24/10. Does v = -3?
False
Let g be (-12)/(1 - (-15)/(-6)). Suppose 0 = -j + 4 + g. Do j and 13 have the same value?
False
Let j(g) = -g - 2. Let x be j(4). Let t be (2/1)/(x + 1). Let w = 1 - 1. Is w <= t?
False
Let w = -70 - -113. Let a = w - 29. Let v be (-6)/a*(-20)/(-12). Which is bigger: v or 0?
0
Let l = -22 - -45/2. Let u be ((-33)/(-2))/11 + 2/(-4). Is u smaller than l?
False
Let n(t) be the third derivative of 0 + 0*t - 2*t**2 - 1/12*t**4 + 1/6*t**3. Let s be n(1). Do s and -2 have the same value?
False
Let z(u) = -u**2 + 2*u + 5. Let b be z(-5). Let n = -20 - b. Suppose 0 = -5*r + n, r - 2 = 4*y + 4*r. Is -1 at most y?
False
Let p(g) = g**3 - 3*g**2 - 5*g + 3. Suppose 0 = -2*j - 4*b, 3*j - 2 = -4*b + 2. Let a be p(j). Is -1 >= a?
True
Let b(w) = w - 4. Let a be b(7). Suppose a*k = 4*u + 3, 5*k = -0*k - 4*u + 5. Which is bigger: 2/7 or k?
k
Let n(w) = -w**2 - 13*w - 13. Let l be n(-11). Let g = -16 + l. Is g greater than -7?
False
Let x = -2 - -4. Let d be 2/28*7/x. Is d less than 0.2?
False
Let f be (-595)/(-441) - 8/14. Are f and 0 nonequal?
True
Let b = -15 - -6. Let a = b + 16. Which is smaller: 0 or a?
0
Let r = 1/235 + 463/1645. Let a = 107/4 - 551/20. Which is smaller: r or a?
a
Suppose 10 = -3*b - b - 3*a, -2*b + 3*a = -4. Let m be (-4 - b)*3/63. Is -0.1 smaller than m?
False
Suppose -3*m - 6 = l, -2*m + 4*m - 4*l = -4. Let h be m/(-1) - (4 - 2). Which is smaller: h or 0.1?
h
Let k = 9 - 14. Let v be k/10 - 55/(-2). Let p be (-6)/27 + 6/v. Which is smaller: p or -1/2?
-1/2
Suppose 4*o - 8*o - 16 = 0. Let x be (-2)/o*2 + -4. Suppose -z - 11 = 2*f, 6*f - 3*z = 3*f - 3. Is x at most f?
False
Let j = 389 - 387.21. Let v = j + 0.21. Which is smaller: v or 0.1?
0.1
Let b = -8 + 16. Let g be (b/(-12))/((-1)/6). Let r be 1 - 1*(1 - g). Do 3 and r have different values?
True
Let u(h) = h**2 - 14*h + 12. Suppose 0 = 3*p - 5*x - 29, -5*p + 7 + 66 = 4*x. Let y be u(p). Let n = 2 + -1. Is n greater than or equal to y?
True
Let j be 33/(-22)*16/(-150). Is 1 at least as big as j?
True
Let l be 22 - 18 - (-1 + -6). Suppose 0*z = 4*z - 48. Which is smaller: z or l?
l
Let u(w) = -w - 4. Let p be u(-6). Let r be -2*(-2)/(-10)*-35. Suppose -a - 5 = 4*n - r, -2*n + 5 = a. Which is greater: a or p?
p
Suppose 2*s = -2*s. Let m be 3/2*(-24)/(-18). Suppose m = -f - s*f. Is f != 2?
True
Let b = -97 + 212. Let s(q) = -q**2 - 4*q + 2. Let i be s(-5). Let o be b/100 - i/(-4). Is -1/9 < o?
True
Let s = 0.14 - -2.86. Let f = -5 + 8. Let n = -3 + f. Which is smaller: s or n?
n
Suppose 2*y = -2*l - 4, -3*y + l + 4 = -l. Is y less than or equal to 2/7?
True
Let p = -0.2 + 2.2. Let l = p + -0.06. Let f = 0.06 + l. Is f <= 2?
True
Let l be 156/15 - 4/10. Let n be (0 - 1)/(5/l). Is n at most -1?
True
Suppose 0 - 7 = -z. Is z less than -1?
False
Let l(d) = -d**2 + 10*d + 8. Let j be l(6). Which is greater: 34 or j?
34
Let w be (0/6)/(-3) + 2/5. Let o = -24 - -12. Is w > o?
True
Let z be -1*0/(-3 + 5). Is 1/4 less than z?
False
Let k be ((-3)/(-3))/(2/(-10)). Let u = 5 - k. Is u < 10?
False
Let v = 61 - 68. Are v and -2/7 nonequal?
True
Let z = 16 + -9. Let o = -6.85 + z. Let f = -0.05 - o. Which is greater: -2 or f?
f
Let k = -11 - -6. Let d = k + 8. Let o be ((-120)/(-35) - 3)*7. Is o smaller than d?
False
Suppose -5*h - 4 = -5*m - 19, -7 = -2*h + 3*m. Let j = 17 - 16. Which is smaller: h or j?
j
Let k = -38488/265 - -726/5. Which is smaller: 0 or k?
k
Let x = -13 - -2. Let r = x - -8. Are 0 and r equal?
False
Suppose z = 2*h + 1 + 1, -2*z + h + 4 = 0. Let r = -2 + z. Which is smaller: 0.1 or r?
r
Let a be 1/2 - 9/(-6). Suppose -7 = 5*c - j, 2*j + 12 = -a*c + 2. Let q(f) = f + 6. Let u be q(-9). Which is smaller: c or u?
u
Suppose 3*g - 5*u + 103 = 0, 2*u + 2*u = 4*g + 140. Let n be -1 - 4/(g/11). Which is smaller: 0 or n?
0
Suppose -3*w + 2 = -7, -6 = t - 2*w. Let f = 140/3 + -47. Are t and f equal?
False
Let a = 1479603/3380 + -1751/4. Let k = 1672/7605 + a. Which is greater: 0 or k?
k
Suppose 5*v + 2*h - 2 = 0, -2 = -v - h - 1. Let y be (-1)/1 + (-3 - -2). Is y at least v?
False
Let k = 0 - 10. Which is greater: -11 or k?
k
Let c be (-2)/6*(-99)/88. Which is greater: c or 1?
1
Suppose -3*n = -5*y + 2*n + 10, 0 = 4*y + n + 2. Let t = -1 + y. Is -2/9 >= t?
True
Let k = 36 + -18. Let y = -20 + k. Do y and 1 have the same value?
False
Let a be -2 - ((-45)/25 + 0). Is 1.6 not equal to a?
True
Let h be -2 + (-2 - -2)/(-2). Let k be (h + -1)/(3/2). Let p be (21/(-12))/1 - k. Which is greater: -0.2 or p?
p
Suppose 4*v + 2*r = -8, r + 6 = -2*v - r. Are v and -1 non-equal?
False
Let k = 11 - 11. Are k and -3 unequal?
True
Let v(m) = -2*m**3 - 6*m**2 + 8*m + 3. Let h be v(-5). Let o be ((-4)/14)/((-396)/h). Which is bigger: -1 or o?
o
Suppose -1 = -5*b + 9. Suppose -4*a + 3 + 43 = 3*u, u - 2*a - 12 = 0. Suppose -u = 3*n - 8*n + 4*v, 5*n + 4*v = 6. Is b <= n?
True
Let c be (4 - (3 - 3)) + (-22)/6. Let d = 5.88 - -0.12. Is c at most as big as d?
True
Suppose -22*c = -3*c - 133. Is c not equal to 7?
False
Let w(x) = x**3 - x**2 - x + 2. Let y be w(0). Suppose 5*o - 5 = -4*c - 28, y*c = 3*o + 5. Which is smaller: c or -4?
-4
Let r be -1 + 1 + 4 + -8. Let s = -9 - r. Which is smaller: s or -2?
s
Suppose -3*y - 12 = y. Is 5 > y?
True
Let f = -0.02 + -0.01. Let o = f + 0.06. Which is bigger: o or 0?
o
Let z = 39 + -27. Suppose 13 = -2*x - 21. Let l = x + z. Is l bigger than -5?
False
Let y = 58.2 + -55. Is 2 at least as big as y?
False
Let u(a) = a**3 + 8*a**2 + 5*a - 15. Let g be u(-7). Let k = 33 + -8. Let p = k + -51/2. Is g at least as big as p?
False
Suppose 0 = -3*n + 2 + 10. Suppose -n = -4*k - 40. Let g(y) = y**3 + 9*y**2 + y + 7. Let f be g(k). Is f less than or equal to -3/4?
True
Let i(t) = t**2 + 7*t - 8. Let c be i(-8). Suppose -4*o + 5*y + 640 = c, 4*o - y = y + 628. Let u = o + -617/4. Which is greater: u or 2?
2
Let j = -16 - -15. Is 21 bigger than j?
True
Suppose p = -3*p + p. Are p and -2 unequal?
True
Let m = 43 + 4. Which is smaller: -2 or m?
-2
Let s = -0.7 + -0.3. Let q = 0.27 + -0.27. Let x = s - q. Is x bigger than 0.1?
False
Let n =