0 = w?
False
Let m = -0.19 - -0.12. Let n = 13.93 - m. Is n <= -2/3?
False
Let y be 1*2 - 10032/4997. Are y and 0 unequal?
True
Suppose -634 = -5*k + 301. Let o be ((-2)/8)/(k/(-88)). Which is bigger: 1 or o?
1
Suppose -5*u + 3*z + 5 = 0, -3*z + 5 - 1 = 4*u. Let w be 1 - (u + 1 + -1). Suppose l + 1 = -w. Is -1 at least as big as l?
True
Let y = 60620/39 + -4652/3. Is 3 bigger than y?
False
Suppose 33 = -4*c - 7. Suppose 14 = f + 5*y, -2*f + 17*y - 17 = 18*y. Is c bigger than f?
True
Suppose -a = -4*a - 12. Which is bigger: -2 or a?
-2
Let s = -3 - -5. Let u be 10/(-5) - s*-1. Which is smaller: -2/31 or u?
-2/31
Suppose -7 + 22 = 5*h. Suppose -r + 2*r = -h*c - 1, 5*c + r = 1. Suppose -6*d = 4*g - d + 15, -2*g - 4*d - 12 = 0. Which is smaller: g or c?
g
Let l = 2 + -1.96. Let p = 33.2 + -33. Is p less than l?
False
Let k = 13 - 20. Are k and -2 unequal?
True
Let d = 63.01 - 63. Let f = -2.3 - -2.21. Let r = d - f. Is r greater than 0.2?
False
Let a(q) = -q**3 - 5*q**2 + 7*q + 6. Let n be a(-6). Suppose 3 = -3*u - n*u. Suppose -1 = 5*v + 4. Are u and v equal?
True
Let u = -97.8 + 98. Which is greater: 6 or u?
6
Let t be (-3 - -3) + 1*5. Let i(d) = -d**2 + 7*d + 2. Let r be i(t). Let g = 10 - r. Is -1 bigger than g?
True
Let c = -0.5 - -0.1. Suppose -p + 0 = -2. Let f be p/((-3)/(-6)*-6). Is f at least c?
False
Let j = -0.05 + 0.06. Which is bigger: j or 0.1?
0.1
Let z = 136/3 + -2590/57. Let w = 1/44 + 5/22. Is w at least z?
True
Let f(q) = 55*q. Let o be f(-1). Let g be (-2)/(-14) - (3 - 2162/(-42)). Let p = g - o. Is p at most 1?
True
Let u be (8/(-12))/(1/(-9)). Let q be (2/(-6))/((-2)/u). Are 1 and q non-equal?
False
Let n = 35 + -32. Suppose -4*l = -6*i + 2*i + 12, 0 = n*i + 4*l - 2. Suppose -2*y + 5*y - 4*q = 17, -4*q = -2*y + 14. Is y not equal to i?
True
Suppose 4*k - 20 = -0. Let n = k - -1. Is n equal to 6?
True
Let m = 19 - 27. Let s = -6 + m. Does -14 = s?
True
Let f be 87/(-21) + (-7)/(-49). Which is greater: -6 or f?
f
Let j = 21 + -16. Suppose -2*k - 13 = -j*f, -k = -0*k - f + 2. Is k less than 7?
True
Let s be (-20)/(1*(4 + -2 - 3)). Are 20 and s equal?
True
Suppose 0 = -a - 2*i - 4, -4*a - 3*i = -i - 2. Suppose -a*b + 1 = -5. Are b and -2 nonequal?
True
Suppose 2*k - 33 = -3*k + 4*q, -k = 2*q - 1. Suppose -i = -5*i - 4*s + 12, -s - 3 = 0. Is k greater than i?
False
Let j be 4/10 - 16/15. Let l = 14 + -14. Is j less than or equal to l?
True
Let f(u) = -u**3 + 6*u**2 + 2*u - 7. Let q be f(5). Which is greater: 86/3 or q?
86/3
Let n = 9 - 3. Let j be (2 - 1)/(n/2). Which is bigger: 2 or j?
2
Let j = 135/49 + -6175/196. Let u be 3/(-108)*971 - 2. Let s = j - u. Which is smaller: 1/2 or s?
s
Let h be 26 - 7 - (1 + 2). Let l be 0 - (-7)/((-21)/h). Which is smaller: -4 or l?
l
Let v be -38 + (-4 + 3 - 1). Which is greater: v or -37?
-37
Let w = -3 - -1. Let g = -86 - -55. Let y = g - -32. Which is greater: y or w?
y
Let h = -0.06 - 0.04. Is -7 greater than h?
False
Suppose -2 = z - 0*z. Let j be ((-2)/(-10)*4)/z. Let w = 3.9 - 1.9. Are j and w unequal?
True
Let k = -3/46 - -199/230. Which is smaller: 0 or k?
0
Let v = -108.1 - -121. Let x = -13 + v. Which is bigger: 1 or x?
1
Let b(i) = 2*i**2 + 5*i + 6. Let o be b(-4). Suppose -5*u + 3 = o. Let h = u + 5. Are h and 1 equal?
False
Let b = -21 - 51. Which is greater: -73 or b?
b
Let k = 3 - 2.9. Which is bigger: k or -6?
k
Let x = 27 - 34.1. Let j = 0.1 + x. Let m = j - -5. Which is bigger: m or -2/3?
-2/3
Let v = 9.09 - 19. Let t = v - 0.09. Let y = t - -10.1. Are y and 2 non-equal?
True
Let q = 30 - 20. Let x = -11 + q. Let u be 4/(-30)*(-10)/8. Which is smaller: x or u?
x
Let g = 8.13 + -8. Let c = g - 6.13. Which is smaller: 2 or c?
c
Let r = 289.02 - 286. Let l = r - 0.02. Are 1 and l equal?
False
Let c(i) = -i**2 + 10*i - 6. Let v be c(9). Let x = 6 - v. Let l be (x + 0)/((-6)/4). Which is bigger: -3 or l?
l
Let t(i) = -i**2 - 2*i. Let j be t(-1). Which is smaller: j or -2/15?
-2/15
Let h = -4.96 + -0.04. Suppose 4*q = -5*v - 22, -3*q - 12 = -v - 5. Let w be (9/v)/(-3) - 1. Is h < w?
True
Suppose 0*i + 4*i + p = 23, p = -3*i + 17. Let y = -5 + i. Is y bigger than -1/4?
True
Suppose -4*n + 2*g + g + 10 = 0, 0 = -5*g - 10. Let o be (n + -3)*1/4. Is o bigger than 2?
False
Let m be 4 + (-112)/20 - -2. Let b = -1 + 1. Which is greater: b or m?
m
Let h be ((-806406)/(-693))/(1185*1). Let y = h + -4/24885. Let g = 4/5 - y. Are 0 and g equal?
False
Let h = 19 + -19. Is 3/83 <= h?
False
Let r = 22 + -23. Which is smaller: r or 0?
r
Let p = -31 + 28. Is -3 bigger than p?
False
Suppose -3*q - 15 = 3*y, 0 = q - 2*y - 2 - 5. Let u = 4/95 - -3/19. Is q at least as big as u?
False
Let w = 126 - 118.9. Let j = -7 + w. Which is smaller: 8 or j?
j
Let r(k) = k**3 - 5*k**2 - k + 4. Let c be r(5). Let q(b) = b + 1. Let a be q(4). Let v be 10/a*1*2. Which is smaller: c or v?
c
Suppose -4*a = 16, 4*x - x - 3*a - 6 = 0. Let b = -15 - -18. Let n be b*(10/(-4) - x). Is -2 at most as big as n?
True
Let s = 138 - 86. Is 53 bigger than s?
True
Let o = 18 - 18. Is 3 < o?
False
Let b(v) = -4*v**3 + 2*v - 1. Let x be b(1). Which is greater: x or -3/2?
-3/2
Let a be (0*1/2)/(-2). Suppose 5*c + a - 5 = 0. Which is smaller: 1/5 or c?
1/5
Let t be 2*(-4)/(-8) + -2. Suppose 0 = -y + 4*y. Which is bigger: t or y?
y
Let h(a) = -a + 4. Let z be h(5). Let u = 15 - 44/3. Is u < z?
False
Let l be ((-3)/(3/(-1)))/117. Is 0 bigger than l?
False
Let a be (-7)/(-14) + (-13)/18. Let s(n) = n + 1. Let i be s(0). Which is smaller: a or i?
a
Suppose 3*t + 3 = 2*t, 0 = -4*c - t - 3. Do c and -2/11 have different values?
True
Let m = 0.064 + -0.044. Let i = 3.88 + -4. Let q = m + i. Is q equal to -2?
False
Let n = -6 + 9. Suppose -3*b + 15 = -n*h, h + 3*b + 15 - 2 = 0. Is -7 greater than or equal to h?
True
Suppose -b + 6 = 3. Suppose -2*c + 5 = -n, 0*n + 14 = 5*n + b*c. Suppose 3 = 5*m - 7. Do m and n have different values?
True
Let b(j) = -j**3 + 8*j**2 - 6*j + 16. Let v be b(5). Which is bigger: 60 or v?
v
Suppose 3*q - 4*n = -7*n + 3, 1 = -3*q - 4*n. Let r = 7 - q. Is 2 at most r?
True
Let o be (-8)/24 + (-14)/(-6). Is 3 smaller than o?
False
Suppose -4*p - 2*c = -2 - 4, p + 6 = -3*c. Suppose 0 = -p*s - 0*s + 6. Suppose 2*m - s = -6. Is m > -3?
True
Let w be 1/(-2)*-1*12. Suppose -y = -w*y. Which is greater: y or -3/16?
y
Let n(t) = t**3 - 3*t**2 - 13*t - 11. Let r be n(6). Are 19 and r non-equal?
False
Let p = 0.02 + -0.08. Let q = -0.04 + p. Are -0.1 and q equal?
True
Let l = -3.2 - -2. Are -0.1 and l equal?
False
Let q be (-9*1*1)/1. Let a = -7 - q. Is 4 at least as big as a?
True
Let k = -52 - -49. Which is greater: -2 or k?
-2
Let z = 0.6 + -0.5. Is z smaller than -1/26?
False
Let k be (-1 - -3)*(-3)/69. Let p = 4 - 4. Is k less than p?
True
Suppose 3*r - 107 = 2*m, 3*r + 3*m - 101 = -m. Which is bigger: -2/5 or r?
r
Let o = -0.1 + 0.1. Let i be 4*((-1)/2 - -1). Suppose -i*w = -w. Is o greater than w?
False
Let l = 10450/21 + -498. Which is greater: 0 or l?
0
Suppose -5*w + 2 = -4*f, -f - w - 2 = -3*f. Let i be 0 - ((-42)/(-3) - f). Let q be 4/22 - i/55. Which is smaller: q or -0.1?
-0.1
Let g be 7 + -1 - (-5 + 9). Do 1 and g have different values?
True
Let i be 2/5 + 2/20. Suppose -3*v + 5 = -1. Let t be 1 + (-5)/v - -1. Which is bigger: t or i?
i
Let h = 28 - 22. Let j be 5 - (-1 - -2)*-1. Suppose -j = -3*y + h. Is y less than or equal to -1?
False
Let t be (-2)/5 + 2/5. Let y = 1 - 0. Let g be 2 - y - (-3)/(-2). Do g and t have different values?
True
Suppose -3*t = -32 + 101. Do t and -22 have the same value?
False
Suppose 2*l - 4*l - 4 = 0. Let m be l*((-6 - -3) + 4). Is 1 < m?
False
Let b(o) = -o**2 + 5*o. Let n be b(5). Suppose -l + n = 5. Which is bigger: -6 or l?
l
Let x = 6 + -10. Let r(l) = -4*l - 2. Let t be r(x). Suppose -j - 5*o = 3*j - 10, -2*j + 2*o + t = 0. Which is smaller: 4 or j?
4
Let w = 55 - 383/7. Let a = 15 - 16. Which is greater: a or w?
w
Let j be 4/(-8)*(31 - 3). Which is bigger: -13 or j?
-13
Let y = 4 - 5. Let z = -9 + 7. Are y and z non-equal?
True
Suppose r = -4*r + 50. Let i be 10/4*(-12)/r. Let h be i/2 - (-6)/12. Is -2/23 not equal to h?
True
Let u(w) = -w**3 + 11*w**2 - 13*w + 29. Let n be u(10). Which is smaller: n or 2/15?
n
Suppose -3*f + 77 = 5*c, -5 - 15 = -5*c. Are 19 and f equa