Let v = -326.31 - -343.2. Let f = 17 - v. Let r = f - 0.11. Do r and -1 have different values?
True
Suppose 2*x - 172 = 5*a, a + 3*x - 2*x = -40. Is -37 < a?
True
Suppose 4*t - 56 = 2*t. Let k = t - 14. Which is smaller: k or 15?
k
Suppose 2*i = 11 - 3. Suppose -1 = -t - i. Which is greater: t or -2?
-2
Let r(m) = -m**3 - 4*m**2 - 2*m - 6. Let d be r(-4). Let l = 1 - -24. Let v be l/10*4/5. Is v != d?
False
Let l be 2 + 1 + (2 - 2). Let b(j) = 5 - 3*j**2 + l*j - 2 + j**3 - 6. Let s be b(2). Are 0 and s unequal?
True
Let s be 5/25*10/(-4). Let q = 6 + -8. Is q > s?
False
Let s = 36 - 36. Is 1/32 less than or equal to s?
False
Suppose 2*n - 6*n - 92 = 5*f, 39 = -3*f + 3*n. Is f at least as big as -18?
True
Let v = 0.3 + -0.6. Let h = 0 + -0.7. Let x = h + v. Which is bigger: -0.1 or x?
-0.1
Suppose 0 = 2*z + 1 - 3. Is z < 1/5?
False
Let v(m) = -m**3 - 6*m**2 - m + 8. Let f be v(-6). Is f bigger than 13?
True
Let d = 10 + 1. Which is smaller: d or -1?
-1
Let y = 2.89 - -0.11. Which is bigger: -2/7 or y?
y
Let s = -4 + 3. Let k = s - -5. Is k >= 4?
True
Let q = -4573/13 - -352. Which is smaller: q or -1?
-1
Let c be (12/9)/(5/(-15)). Are -5 and c unequal?
True
Suppose -2*q = 3*b + 8, 6 + 16 = 3*q - 4*b. Let l be q/(-2) + (-1 - -1). Let j be 2/(-6) + 35/60. Which is greater: j or l?
j
Let j = -17 - -20. Which is bigger: j or 0?
j
Suppose 2*t - 15 = -13. Is -10/31 <= t?
True
Let d = 4712/13 - 362. Is d greater than 1?
False
Suppose 0 = 3*y - y - 10. Let f be -3 + y + 3 + -2. Suppose -2*v - f = v. Do v and -3 have the same value?
False
Let n be (1 + -2)/(1/11). Let f be 168/77 - (-2)/n. Is f > 2?
False
Let g be (-42)/(-11) + 34/187. Let r be 9/(54/(-20)) + g. Is r equal to -0.2?
False
Let y be 3/(-15) - 297/15. Which is smaller: -21 or y?
-21
Suppose -5 = -3*r + 4. Let t = -64 + 64. Is r bigger than t?
True
Suppose 3*q - q = 10. Suppose 2 = -4*f - 2*m + 4, -2*f - q*m + 13 = 0. Are f and 0 equal?
False
Let z(v) = v**2 - 6*v - 5. Let m be z(6). Which is greater: m or -3?
-3
Let j = 2/313 - -2185/939. Is j not equal to 0.2?
True
Suppose -2*g + 3*g = 14. Suppose -4*u + 14 = -g. Are u and 6 nonequal?
True
Let o(d) = -d**3 - 9*d**2 + 10*d + 2. Let b be o(-10). Suppose 0 = 5*c + n - 20, 4*n = c + 3*n + 2. Which is smaller: c or b?
b
Let w = 31 + -30.9. Let k = 0.1 - -0.1. Let t = w - k. Which is smaller: t or -0.2?
-0.2
Let o = -25/522 + 3/29. Let a = o + 4/9. Let m = -3 - -2.7. Is m != a?
True
Let k be (47 + -1)/(6/(-9)). Let z = k - -484/7. Is 1 at least z?
True
Let b = 56/11 + -113/33. Let w = -2 - -4. Are b and w unequal?
True
Let j = -11 + 10. Let a be ((-2)/(-65))/((-5)/75). Is a at most as big as j?
False
Let s(x) be the first derivative of -x**6/360 - x**5/30 - x**3/3 - 1. Let d(v) be the third derivative of s(v). Let p be d(-5). Which is greater: -6 or p?
p
Let c(w) = -w**2 - 6*w + 1. Let l be c(-6). Let j be l*3/((-27)/(-6)). Which is bigger: 1/4 or j?
j
Let c = -12 + 8. Let n = -2 - 2. Is c not equal to n?
False
Let o be 2/((38/(-3))/2). Let g = -45/38 + o. Suppose 0 = 3*j + 5 + 4. Which is smaller: j or g?
j
Let z = -20 - -29. Let f = 13 - z. Which is smaller: -2/7 or f?
-2/7
Suppose -3*z + 2*i - 4 = 0, 4*z - 5*i + 11 + 6 = 0. Suppose 2*l - 3*l - z = 0. Let d = 28 + -30. Do d and l have different values?
False
Suppose 4*m = 5*m - 10. Are m and 8 nonequal?
True
Let r = 0 - 0. Let v(p) = -p**3 + 6*p**2 - 7*p + 7. Let w be v(5). Let c be -2 + 3 + 3 + w. Is r equal to c?
False
Let g(h) = -h**2 + 2*h + 22. Let o be g(8). Which is greater: o or -27?
o
Let x be (-2)/(4/2) + -2. Let k(r) = r**3 + 9*r**2 + 8*r - 1. Let y be k(-8). Is x greater than y?
False
Let d(k) = k - 12. Let g be d(9). Let p(m) = -2*m**2 - 2*m + 4. Let b be p(g). Is b greater than or equal to -8?
True
Suppose -36 = -3*l - l. Suppose -5*g = -l + 24. Which is greater: g or -4?
g
Let b(k) = -5*k**3 + 2*k**2 + 7*k. Let i(h) = -9*h**3 + 3*h**2 + 13*h. Let u(o) = -7*b(o) + 4*i(o). Let w be u(-3). Is w != 2?
True
Let i = 9 + 6. Suppose -b + i = b - 3*t, 3*t + 15 = -b. Suppose -z - 3*n + 9 = 0, b*n - 6 = -4*z - 2*n. Is -1 smaller than z?
True
Suppose z = 4*z - 9. Suppose -m = -z*m + 6. Does 3 = m?
True
Let u = 0.12 + -1.12. Is 0.2 >= u?
True
Let f = -3729/2980 - -1/745. Let w = 0.2 - 0.3. Is f greater than or equal to w?
False
Let b(u) = u**2 - 8*u + 14. Let n be b(6). Is n != 4/3?
True
Let m = 4 - 3. Suppose n + m = 3. Let y = -2/1413 + 8500/15543. Which is smaller: n or y?
y
Let g(f) = f - 1. Let t be g(4). Let y be t/(-10)*(-3 + -2). Which is greater: y or -3?
y
Let d be -9 + 13 + 830/(-207). Which is greater: d or 0?
0
Let r = 2.05 + -0.05. Let n be 0*1/4 - -1. Is n bigger than r?
False
Let n = -32 + 98/3. Suppose 218 - 217 = b. Which is bigger: n or b?
b
Let p = -2.37 + 0.37. Is -0.5 at least p?
True
Let k(n) = -n**2 + n. Let f be k(1). Let g be -4 - (20/66)/((-16)/240). Is f at least as big as g?
False
Let q = -17 - -18. Is q < 7/9?
False
Suppose 2*j + 0 - 4 = 0. Suppose 0 = 3*r - 2*i + 2, -5*r + r = -2*i + j. Is r at most as big as 2?
True
Let m be (-4)/10 + (-2)/(-5). Suppose 0 = p + 4*t - t + 6, m = -4*p - t - 2. Are p and -3 unequal?
True
Let b be 6/(-4)*-1*2. Let a = -1 + b. Let r be 6/(-20) + 1/a. Is r >= 1?
False
Let w(f) = -2*f**2 + 24*f - 14. Let s be w(12). Which is smaller: -18 or s?
-18
Let q = -1449 + 1031. Let s = q + 3766/9. Let x = s - 1/9. Which is smaller: 0 or x?
0
Let b = 0.9 + 0.1. Suppose 0*j + 3*j = 0. Let c(t) = -t**2 - t - 1. Let s be c(j). Which is greater: s or b?
b
Let n be (-10)/((0 - -1) + -2). Suppose 0 = i - 6*i + n. Let u(q) = -q**2 + 2. Let h be u(i). Is -4 >= h?
False
Suppose q = 3*j - 316, -2*q + 3*q - j = -316. Let c = -4106/13 - q. Let v be 1 + 0 + (0 - 0). Which is smaller: v or c?
c
Suppose 0 = 3*t + 2*t. Let j be 3/12 + 159/(-108). Let x = 5/9 + j. Are x and t equal?
False
Let k(l) = 2*l + 9. Let s be k(-6). Let o be 2 - (1 - (s - -5)). Is o bigger than 2?
True
Let s = 10 - 7. Suppose 2*t - 15 = -s*t. Is t at least 0?
True
Let x(m) = 11*m - 8. Let t be x(6). Let c = -526/9 + t. Is c not equal to 1?
True
Let a be 5*2/20*(-4)/(-2). Which is smaller: 2/5 or a?
2/5
Suppose 3*k - 5*q = -2*q + 18, 0 = 4*k - q - 24. Is k at most 7?
True
Suppose 2*i = 16 + 8. Suppose 2*o = -0*o - 2*b - i, 2*b + 32 = -4*o. Are o and -9 equal?
False
Let i be (-161)/(-49) + (-2)/7. Suppose -i*z + 7 - 1 = 0. Suppose 4*b - 3*b = z. Is b greater than 1?
True
Suppose 5*o - 2*o + 3 = 0. Suppose -19 = -2*z - 1. Which is greater: z or o?
z
Suppose -2*q - q = 3. Let t(x) = x**3 - 3*x**2 - 2*x - 3. Let k be t(4). Suppose -3 = -k*g + w, 9 = -4*g + 6*g - 3*w. Which is smaller: q or g?
q
Let r = -0.06 - -6.06. Let i = r - 7. Is -4 less than or equal to i?
True
Let m be 16/20 + 3/(-3). Which is greater: m or 1?
1
Let s(j) = 2*j**3 - 3*j**2. Let w be s(2). Suppose 0 = -5*o + 10, w*a - 5*a = -o - 1. Which is bigger: a or 4?
4
Suppose 6 = -3*f - 0*g + 3*g, 2*f - 3*g + 8 = 0. Is f greater than 3?
False
Let a = 46.5 + -34. Let i = -10 + a. Let n = i + 0.5. Is n equal to 2?
False
Let b(c) = 2*c**2 + 50*c + 1. Let f be b(-25). Which is smaller: -4/29 or f?
-4/29
Let t be 9/(-4)*(-1)/(-3). Which is smaller: 0 or t?
t
Let q = -14 + 0. Is -1 less than q?
False
Let b be ((-9)/(-6))/((-6)/32). Let n = 14 + b. Let s be n/(-4)*(-2)/(-3). Which is smaller: 2/7 or s?
s
Let t = 2.96 + -0.06. Let i = 3 - t. Are i and 0.1 equal?
True
Let t be ((-36)/(-195))/(2/5). Suppose 2*j - 6*j = 0. Which is bigger: j or t?
t
Let a(w) be the first derivative of -w**3/3 - w**2/2 + 4*w + 2. Let t be a(0). Let z be (2*1/9)/((-9)/(-81)). Are z and t equal?
False
Suppose 0 = -2*v + v + 5*h + 26, -3*v = -4*h - 23. Let w = -2 - -3. Let x = 2 - w. Is v greater than or equal to x?
True
Let h(k) = k**2 + 5*k + 4. Let m be h(-3). Suppose -1 + 1 = 10*v. Is v less than or equal to m?
False
Let g = -18.3 - 0.7. Let a = g - -13. Let c = a - -9. Is 0.1 != c?
True
Let b = 58 + -67. Which is bigger: b or -11?
b
Suppose -3*x + 4*i - 50 = 0, -5*i = -2*i + 12. Which is bigger: x or -18?
-18
Let g(i) = -i**2 + 10*i + 10. Let w be g(12). Let n be 10/35*w/30. Let l be 1/(-1 + 1 + -1). Is n at least l?
True
Let r = 4 + -14. Is r >= -7?
False
Let m = -71/399 - -2/57. Are -1 and m equal?
False
Let o(w) = -w**2 - 5*w. Let u be (-1)/5 - 16