2*m**2 - 2*m - 1. Let x be l(-2). Let j = x - 11. Is j bigger than c?
False
Let y = -1 - -1. Suppose -15*k - 16 = -16. Is k less than y?
False
Let x(f) = -f**3 + 7*f**2 + 2*f - 5. Suppose v - 8 = 4*c + 19, 0 = -v - c + 2. Let j be x(v). Let i = -15 + j. Which is smaller: -7 or i?
-7
Suppose -5*j - 4*b - 5 + 1 = 0, 5*j = 2*b - 28. Let m be -6*(6/j - -2). Let a = -227 - -225. Which is smaller: a or m?
m
Suppose -f + 2*a = 7 + 1, 5*f + 4 = a. Is f less than or equal to -2?
False
Let v = 0.5 - 0. Let l = v - 0.3. Which is smaller: l or 2?
l
Suppose u + 0*u - 2*x = 2, -u - 2 = -4*x. Suppose 5*p - u = 14. Let f = 0 - -3. Which is greater: p or f?
p
Let o = 23 - 163/7. Let x be ((1 + -1)/(-1))/(-1). Let r be (-16)/(-6) - (2 + x). Is r at least o?
True
Suppose -2*l + 9 = -d + 2*d, 3*d = 15. Is -3 < l?
True
Suppose -25 = c - 274. Let u = c - 2243/9. Is -1 at most as big as u?
True
Let c be -3 + (-1 - -9) + -1. Suppose -1 = -c*a + 3. Let f be a + (1/(-1) - -1). Is f <= 2/11?
False
Suppose 5*d = 17 + 3. Let n(h) = h**3 - 7*h**2 + 7*h - 2. Let a be n(6). Do d and a have the same value?
True
Let s be 3/(-12) - 21/12. Let y be ((-3 - -1) + 4)*s. Let z be (y/6)/(12/18). Which is smaller: z or -1/6?
z
Let t(s) = -9*s. Let k be t(-5). Let f be (-33)/k + (-1)/(-3). Which is smaller: -4 or f?
-4
Suppose -3*y + 5 = -1. Suppose -6 = -y*r - 0. Which is smaller: 2 or r?
2
Suppose 0*a + 21 = 4*b - 5*a, a + 17 = 4*b. Let h(u) = -u**3 - 6*u**2 - u - 8. Let j be h(-6). Let i = j + b. Is 2 <= i?
True
Let v = 15 + -15. Suppose -4*k - 3*c + 28 = c, v = k + 2*c - 9. Do k and 6 have the same value?
False
Let t = 88 - 85. Let s = -0.8 - 2.2. Are s and t unequal?
True
Let w = -3/20 + 2/5. Which is smaller: w or 14?
w
Let m = -2 - -6. Suppose 0*l - 4 = -l. Let o = m - l. Which is smaller: 1 or o?
o
Let i = -0.34 - -1.34. Is 20 bigger than i?
True
Let k(o) = 34*o**3 - o**2 + 1. Let g be k(1). Suppose -w + 0*q + 8 = q, 5*w = -3*q + g. Which is smaller: -1 or w?
-1
Let j = -0.3 - -0.35. Let a = j + -0.05. Is 1 bigger than a?
True
Let w(s) be the third derivative of s**4/12 + 5*s**3/3 - s**2. Let f be w(-7). Which is smaller: 0 or f?
f
Let b = -25 - -6. Which is bigger: b or -20?
b
Let l = 12 - 10.9. Let n = 2 - l. Let s = 0.1 + n. Is 0 at most s?
True
Let p = -0.4 - -0.68. Let q = p + 0.02. Let m = q + -0.5. Do -0.1 and m have different values?
True
Let j = 444 + -9771/22. Which is smaller: 0 or j?
j
Let d = 19 + -14. Suppose 0 = d*w + 3 + 2. Which is smaller: -2/5 or w?
w
Suppose 4 = -l - 3*l. Let z = -5 - -8. Suppose 0*f + z*f = 0. Is f greater than or equal to l?
True
Let z = 32 - 31. Is 14 less than z?
False
Let g = -13 + 11.62. Let n = -0.02 + g. Let i = n + 0.4. Are i and -2/7 nonequal?
True
Let u = -54 - -100. Let z be u/(-140) + (-6)/(-15). Are -1 and z nonequal?
True
Suppose -27 + 29 = -c. Let z be (2/(-2) - 1) + 1. Let w = c - z. Is -1 <= w?
True
Suppose -7*i + 2 = -5*i. Let j(q) = q**2 - 2*q - 3. Let h be j(-2). Suppose -5*x + 3*x = -4*p, h*p + 2*x = 0. Do p and i have the same value?
False
Let z(g) = 4*g. Let i be z(1). Suppose -l + i*l = 9. Suppose -b + 7 = 2*k, -l*b - 2*b - 3*k = -14. Are b and -2/15 unequal?
True
Suppose 105 = 5*m + 3*v, -6*v + 2*v = -20. Suppose -4*u - 2*h + 0*h - 2 = 0, -u - 4*h = m. Is 2 greater than u?
False
Let c be (1/16)/(10/(-72)). Let a = c - 1/20. Is -2 greater than or equal to a?
False
Let m be (138/4)/(15/(-9)). Let b = 403/20 + m. Let h = -4/5 - b. Is -0.1 less than h?
False
Let f be (-12)/(-14) + -1 - 0. Let r = -10 - -10. Is r at least as big as f?
True
Let v be (3/(-20))/((-12)/104). Let l = v - 17/10. Is 0 at most l?
False
Let l = 18 + -24. Let d be (2 + 2)*l/(-40). Is d less than or equal to 2?
True
Let g = 2.007 + -0.007. Which is bigger: g or 6/7?
g
Let t = -2529401471726/18195 - -139016294. Let a = t + -2/1213. Let c(j) = -j**2 - j + 13. Let m be c(-4). Are m and a nonequal?
True
Let o = -237287/3020 - 17/604. Let u = 79 + o. Let w = 0.2 + -0.2. Is w at most as big as u?
True
Let g = -99 + 1288/13. Which is smaller: g or -0.2?
-0.2
Let f = -12 - -33. Let w be -3 - 4/((-24)/f). Which is greater: w or -9?
w
Let i be 1/((1 - 6)/(-10)). Which is smaller: i or 4?
i
Let r = 63 + -43. Let k = r + -23. Which is smaller: -14/9 or k?
k
Let w = 611/17 - 36. Which is bigger: w or 0?
0
Let r(m) = -3*m - 2. Let p be r(-2). Suppose -2 = -2*l, -4*l - 13 = p*q - l. Which is greater: q or -5?
q
Let p(w) = -w**3 + 4*w**2 + 5*w - 3. Let x be p(5). Which is smaller: x or -4?
-4
Let f = 3 + 0. Let i = -3 + f. Suppose -5*b = 22 - 7. Which is smaller: b or i?
b
Let m = -0.4 + 0.3. Let v = -1 + 1.4. Which is smaller: m or v?
m
Let w = 11 - 2. Is w at least 1/3?
True
Let h be 12*(-1 - 40/(-38)). Let q = -74/57 + h. Is -2 less than q?
True
Let v = 1.9 + 21.1. Let o = v + -22.8. Is o not equal to -0.05?
True
Let d be (32/(-608))/(1/2). Let r(g) = g**3 - g**2 - g. Let w be 0/(-3*1 + 2). Let j be r(w). Is d < j?
True
Suppose -5*b = -0*b. Let d be 3 + (-4)/((-160)/(-118)). Which is smaller: d or b?
b
Let b = -8 - -6. Let x = -2.3 - b. Is x > 2?
False
Suppose -3*c - 3 = -3*n, 4*c = -0*c + 2*n + 2. Suppose -c*m = -3*m + 1. Let b be (1/(-6))/(36/(-48)). Which is smaller: b or m?
b
Let q be (-10)/24*4/50. Let v = q + -3/10. Is v not equal to 2?
True
Let n(j) = -j**2 + 8*j - 9. Let a be n(7). Let x = 11 + -43/4. Which is smaller: a or x?
a
Suppose 0 = -5*u + 3*a + 22, 5*a - 5 = -0*a. Suppose 5*k + 3*b = -5, 0 = 6*k - 3*k - b + 17. Let d = u + k. Are 5/3 and d nonequal?
True
Let y = 3 + -6. Let g = y + 2.8. Which is greater: g or -2/5?
g
Suppose 5*l + 8 = l. Do 0 and l have different values?
True
Let t = 79/284 - 2/71. Let b = -7 - -3. Let f = -3 - b. Which is smaller: f or t?
t
Let j = 7 + -3. Let a(v) = v**2 - 2*v - 8. Let d be a(j). Is d at least as big as -10/7?
True
Let h(f) = f**2 - 5*f + 4. Let p be h(4). Suppose m + 3*m = p. Let q = 0 + -1. Does q = m?
False
Let n = 206 - 318. Let u be (-108)/n - (-6)/21. Is 2 greater than or equal to u?
True
Let g = -3.04 + 2.4. Let f = 0.7 + g. Which is bigger: 1/2 or f?
1/2
Let k be (36/8624)/((-34)/(-12)). Let u = 320339/1447754 - k. Let w = -3/79 + u. Is w > -1?
True
Suppose 0 = -5*p - 84 + 54. Which is greater: 4 or p?
4
Let p(n) = -n**2 + 6*n + 6. Let d be p(7). Let m be ((-6)/9)/(d/45). Suppose 3*r - 2*v = 10 - 5, -2*v = 4*r - m. Is r at least 5?
True
Suppose -2*a + 12 = -2*u - 10, a = -3*u - 41. Which is bigger: u or -12?
-12
Let x(v) = -3*v + 19. Let i be x(6). Which is smaller: i or 2/107?
2/107
Let h = -0.23 - 9.77. Let d = h + 11. Is d greater than 0.05?
True
Suppose -4*o - 3 = 2*h - 9, -o - h = -3. Which is smaller: -1/13 or o?
-1/13
Let m = -88689 - -971679/11. Let y = m + 354. Which is bigger: y or -2?
y
Let q be ((-3)/(-4))/(27/(-9)). Is q > 11/3?
False
Suppose k - 4*q = -18, -k - 1 - 7 = -2*q. Suppose -3*o = k*g - 6*o - 13, 3*g + 6 = -4*o. Which is greater: 6/7 or g?
g
Let m be 1/2 + (-2)/(-20). Which is smaller: m or 0.01?
0.01
Suppose -2*m = -k - 3*m - 5, -4*k + m = 5. Let a be (-2)/4 + (-3)/k. Let u be 5/11*(-6)/(-15). Which is smaller: u or a?
u
Let t be 1 - 1*2*-1. Let y be 14/(-77) + (-37)/(-22). Is t != y?
True
Let g be ((-20)/8 + 3)*0. Which is smaller: g or 2/25?
g
Let k = 7.4 + -8. Let l = 4.6 + k. Are l and 0 unequal?
True
Suppose 2*s + 2 = -4*u, 0 = -4*s - 4. Which is greater: u or -1/13?
u
Let h = 354 - 352.49. Let p = h - -1.51. Let r = -0.02 + p. Which is bigger: 1 or r?
r
Let u = 24 + -24. Which is greater: -3/5 or u?
u
Let v = 0.9 + -1.9. Let w = -8 - -5. Which is bigger: w or v?
v
Let r = 234 + -152. Which is smaller: 81 or r?
81
Let a be 3 + (-2)/(44/(-802)). Let c = a - 5422/143. Let b = 113/65 - c. Is -1 not equal to b?
True
Suppose 5*p - 10 = -4*z, -5*z = 2*p + 3*p - 15. Let j = -8 + z. Let t = j - 0. Is t > -2?
False
Suppose 2 = k + 4. Let r(j) = -2*j**2 + 3*j + 3. Let h be r(k). Is -10 greater than h?
True
Let t = -76.12 + 73. Let p = t - -3. Let n = p + 5.12. Which is bigger: 0 or n?
n
Let p = -0.06 - -0.56. Is p less than -1?
False
Suppose 48 = r + r. Let f = r - 17. Suppose f = -3*l + 4*v + 1, -2*l + 2*v = 4. Which is greater: -1 or l?
-1
Suppose 4*h + 12 = -5*n, 3*n + 6 + 0 = -2*h. Suppose 4*f - f + 9 = n. Is -3 less than or equal to f?
True
Let z be 45/(-84) - (-1)/4. Is z