nd -2/15 nonequal?
True
Let k = 0.014 + 0.086. Which is smaller: k or -75?
-75
Let h = 0.007 + -2.007. Is h not equal to -6?
True
Let q(i) = i**3 + 2*i**2 - 4*i - 4. Let m be q(-3). Let n be -9 - m - (-2)/1. Is n < -7?
False
Suppose -12 = -2*g - 0. Let w(c) = c**3 - 5*c**2 - c - 7. Let z be w(g). Let t = 47/2 - z. Which is greater: -1 or t?
t
Suppose -3*p + 4 = -8. Suppose p*t = -0*t. Suppose -5*r + 3*r = t. Are r and 2 nonequal?
True
Suppose 3*o - 4 = -13. Do o and -2 have the same value?
False
Suppose -3*v - 46 = -5*s, -20 = 2*v + 4*s - 2*s. Let k = v + 17. Suppose m = -2*c, -3*c + k + 5 = 4*m. Is -5/3 bigger than c?
True
Let y be 5/(-1 + -4) + -3. Is -3 < y?
False
Suppose -x + 1 = -13. Let i be (0 - -1) + (-12)/x. Suppose w = 2*w. Are i and w equal?
False
Let w = 2/971 + -2076/65057. Is -1 at most w?
True
Suppose q + 3*k + 24 = -q, 4*k = -3*q - 34. Which is smaller: q or -8?
-8
Let z = -6 + 11/2. Let l be (2 + 3/(-2))*4. Suppose 0*i - 2*i = l. Is z <= i?
False
Let t be 22/5 + (-2)/5. Suppose -2*w + 4*g = t - 20, w + 3*g - 3 = 0. Let q be -1 - -2 - 3/w. Is 1 <= q?
False
Let x = -1 + -7. Which is smaller: -1 or x?
x
Let f = -43 + 43.3. Is -4 at most as big as f?
True
Let f be (1/(-3))/((-5)/((-90)/6)). Let n = 23/60 - 2/15. Which is greater: f or n?
n
Let g be (-1)/(-6)*(-1 - -5). Let k = -3/43 - -55/172. Is g less than or equal to k?
False
Suppose -3*y = -3*w + 30, 0*w - 5*y - 38 = -3*w. Suppose -z + 3*q - w - 4 = 0, 5*z = 4*q - 17. Which is smaller: -1/12 or z?
z
Suppose 4*l + 21 = 233. Suppose 5*p - l = 2. Which is smaller: p or 12?
p
Let l be -3 + 19 + 0 + 0. Which is smaller: 17 or l?
l
Suppose 3*r = 5 - 2, 5*l = 4*r + 16. Suppose 0*g - l = -4*g. Is g greater than 1?
False
Let f be (-18)/9*((-45)/6 - -1). Is f not equal to 1?
True
Let j be (-10 + 10)/(1*-3). Let z be -8*(-2 - j)/(-4). Is z smaller than -1?
True
Let m(o) be the first derivative of o**2/2 - 7*o - 2. Let f be m(6). Let r be (-9)/5 + 1 + 1. Which is smaller: r or f?
f
Let s = -7 - -6.97. Let i = s - 0.27. Which is smaller: 0.1 or i?
i
Let x be (-4)/12 + (-6)/9. Let w be 7/2*2/(-3). Is w >= x?
False
Suppose j = -j + 2. Let g = 2 + j. Suppose g*n - 8*n = 10. Which is smaller: n or -3/2?
n
Let x = -1 - -1. Let g = -19 - -16. Is g smaller than x?
True
Let p be 2 - ((-3)/(-3) - 2). Let u be p - (-24)/(-10) - 1. Is u not equal to 1?
True
Let x = -25.81 + 0.81. Which is greater: x or -0.1?
-0.1
Let v(g) = -g**2 + 5*g - 1. Let n be v(4). Suppose -3 = 5*a - n*d, -2*d = -3*a - 4*d + 2. Which is smaller: -3/4 or a?
-3/4
Let b = -0.02 - -0.12. Let a = b + -1.1. Which is greater: a or 1/17?
1/17
Suppose 2*b - 73 = -135. Which is bigger: b or -33?
b
Let n(q) = -q**3 + 4*q**2 + 3. Let l be n(4). Suppose 5 = -0*w - 5*w. Let g = 3 + w. Are l and g unequal?
True
Let u = -1.3 - -1.1. Let a(r) = 0*r - 2*r + 2 + 4*r. Let n be a(-2). Is n at most u?
True
Let t = 4 + -6. Let v(h) = -3*h**2 + 1. Let d be v(1). Let i = -5 - d. Is i > t?
False
Let m be (-1)/(-3)*3/(-1). Is 6/13 smaller than m?
False
Let t(q) = -7*q - 8. Let i be t(-1). Do i and -3 have different values?
True
Suppose -4*u + 0*u - 4*g + 176 = 0, u = -3*g + 54. Do u and 38 have the same value?
False
Let q(o) = -o**3 - 5*o**2 + 7*o + 5. Let s be q(-6). Which is bigger: s or 2/29?
2/29
Let d = -17/14 - -5/7. Are d and -1 equal?
False
Let q = 0 + 0. Suppose q*d - d = 4*h - 85, 2*d + 10 = h. Suppose -3*p = 5*c + h, 0 = p - 6*p - 3*c - 28. Do -4 and p have the same value?
False
Let a = -43/3 + 14. Let v be (-6)/(0 + -3 + 1). Let t = v - 3. Is a != t?
True
Let b = -8.74 - 0.29. Let t = b - -9. Let h = -0.07 + t. Which is bigger: 3 or h?
3
Let y = -16 + 18. Which is smaller: 3 or y?
y
Suppose -5*r + 15 = 0, -4*r + 2*r = 4*m - 6. Which is bigger: m or -3/5?
m
Let u(r) = 3*r + 22. Let n be u(-8). Suppose -4*c - 14 = 5*q - 2, -3*c + 5*q - 9 = 0. Which is smaller: c or n?
c
Suppose -11*v + 6*v = 0. Is v less than or equal to -1/2?
False
Let d = -1/11 + -7/44. Do 2 and d have different values?
True
Suppose 3*h + 1 = -2*m, 0 = -2*m + 5*h - 9*h + 2. Suppose -l = -2*g - 5, -2*l + 4*g = -4*l - 30. Are l and m equal?
True
Let p = -494/3 - -166. Suppose 2*x - 2*f + 4 = 0, -f - f + 3 = -3*x. Is p at least as big as x?
True
Suppose o + 25 - 21 = 0. Suppose 7 = -5*v - 8. Let z = v - 0. Is o smaller than z?
True
Let y be 21/15 + 2/(-5). Let n(w) = -w**2 - 3*w + 5. Let g be n(-4). Are y and g unequal?
False
Suppose h - 19 = 5*w + 18, -2*w = 3*h - 162. Suppose -17 = 5*n - h. Let x be 10/30 + 34/6. Which is greater: x or n?
n
Let s = -5 + 4. Suppose -20 = -m - 3*m. Suppose -2*x = -j, 2*j = 3*j - m*x. Which is bigger: s or j?
j
Let z(n) = 2*n - 16. Let a be z(7). Let x be 2/(-4) + 1/10. Is x < a?
False
Let z be 10/55 - (-47)/(-77). Let i(v) = v**3 - 6*v**2 - 8*v + 8. Let g = 1 - -6. Let c be i(g). Is z equal to c?
False
Let r = 23 + -20. Are r and 3 equal?
True
Let c = -0.1 - -0.03. Is c at least -0.2?
True
Let n = 4 + 0. Let q = -5 - -7. Suppose -5*i + 16 = q*l - 0*l, -2*l = -4*i + 2. Is n < l?
False
Let q(h) = -h. Let b(k) = -k**3 + 9*k**2 + 10*k - 2. Let u be b(10). Let v be q(u). Is 2 equal to v?
True
Let a(q) = -q**3 + q**2 - q - 1. Let z be a(-1). Let v be z/(-1) + (-20)/(-4). Let n = 2 + 2. Is v equal to n?
False
Let k = 0.15 - 0.05. Let v(f) = -2*f**3 + 5*f**2 + 2*f - 5. Let c be v(4). Let r be 2/3 - (-12)/c. Which is greater: r or k?
r
Let f = 6 - 10. Let j be ((-2)/(-4))/((-2)/f). Which is greater: -1/5 or j?
j
Let w = 3409751/106 + -32167. Let n = -2/53 - w. Which is smaller: 2/19 or n?
n
Let i = 493/5 + -99. Are -1 and i equal?
False
Let a(i) = i**3 - 3*i**2 + i - 3. Let r be a(3). Let c = r + 2. Which is smaller: c or 4?
c
Let a be 2 - 2 - -2 - 9. Which is greater: 1 or a?
1
Let y = -1.2 - -0.2. Let a = 16 - 4. Let d be ((-9)/a)/((-6)/(-4)). Are d and y non-equal?
True
Let b = -3 + 2. Let p = 1 + b. Let c be 0*(-3)/18*-3. Is p bigger than c?
False
Let h = 5 - 3. Suppose h = -3*s - 1. Let p(a) = 2*a + 14. Let x be p(-7). Which is smaller: x or s?
s
Let a = 1015/2 - 519. Let b = a + 11. Which is smaller: 0 or b?
b
Suppose -4*d - d - 2*v - 256 = 0, 3*d - 4*v + 138 = 0. Which is smaller: -51 or d?
-51
Let b be ((-2)/(-10))/(4/10). Suppose -2*k + 10 = 3*k. Let u = k - 2. Which is bigger: u or b?
b
Let k = 14 - 10. Let p = 0.06 - -0.04. Is p bigger than k?
False
Let o(q) = q**2 - 6*q - 1. Let c be o(6). Let v = -42 - -39. Which is smaller: v or c?
v
Let k(j) = -j**2 - 6*j - 5. Let x be k(-4). Suppose -x*v = 5 - 8. Which is smaller: v or 2/71?
2/71
Let h(z) = -z**2 - 13*z - 4. Let y be h(-12). Suppose -y = -4*d + 16. Are 5 and d equal?
False
Let b = -2 + -1. Let j = b + 3. Let t = -6 - -4. Which is smaller: t or j?
t
Let b be (-3)/(-9) + 64/(-12). Let r be b/10*(-10 - 0). Is r greater than or equal to 2?
True
Let p = 17 - 16. Let v = -6 + -1. Let o = 13 + v. Which is smaller: p or o?
p
Suppose 5*g - 4*i - 526 = 0, -g + 3*g - 216 = 3*i. Let m = g + -57. Let f be m/(-35) - (-1 - 0). Which is greater: f or -2/3?
f
Let r = 1.4 - 1.3. Let t = 0.07 - 0.01. Let w = -1.94 - t. Is w bigger than r?
False
Let h = -2 + 1. Let j be ((-3)/(-3))/(1/h). Which is smaller: -5/6 or j?
j
Let z be ((-8)/(-2))/(10/1). Let d = -5 + 4. Is z less than d?
False
Let r = 4 - 3. Let n = 1 - r. Let y be 0*((-6)/4 + 1). Are y and n equal?
True
Let z be ((-24)/(-32))/(1/40). Which is bigger: z or 31?
31
Let s = 2/33 - -386/165. Is 3 at least s?
True
Let f = -0.7 - -0.7. Let p be (15/(-6) + 3)*-2. Which is greater: p or f?
f
Let o be (84/8*-13)/(-6). Let u = o + -23. Let n = 2 + -3. Which is bigger: u or n?
u
Let w(t) = -t. Suppose 0 = -5*u + 2*u - 3. Let f be w(u). Which is smaller: 1/4 or f?
1/4
Suppose 5*t = -36 - 4. Is -7 < t?
False
Suppose -4*s + 9 = -s, 2*g + 23 = -s. Which is bigger: -9 or g?
-9
Let j = 13/68 - -1/17. Let s = 13 - 15. Let z be (-3*2)/s - 4. Which is bigger: z or j?
j
Let h be (7 - -1)/(2 + (-2 - 1)). Do -6 and h have the same value?
False
Let f = 14 + -12. Suppose -f = -g - 0. Let j(q) = q**2 + q. Let i be j(-1). Do g and i have the same value?
False
Let s = 4 - 0.8. Let g = 4 + -7. Let u = s + g. Which is greater: u or -1?
u
Let d = -7 - -6. Let i be 8/12*(2 - d). Is i greater than 2?
False
Let x be (1276/(-8))/(10/4). Let q = x - -64. Which is smaller: q or 