 y = -1 - -4. Is b < y?
False
Let w(a) = 6*a + 3. Let c be w(-2). Let d = c - -10. Is d at most as big as 2?
True
Let y = -0.01 + -1.99. Let b = 0.11 + 3.99. Let v = b - 4. Is y smaller than v?
True
Let j(l) = -l**3 + 7*l**2 + 2*l - 10. Let v be j(7). Suppose 5*m = -4*o + 2, -5 = 3*o - v*m + 9. Is o bigger than -3/2?
False
Let z = -1 - -24. Suppose -5*d - z - 17 = 0. Which is greater: 2/3 or d?
2/3
Let b = -2 - -7. Suppose 2*r + 0*r = -b*y + 3, -4*r - 5*y = -11. Suppose 9*n - 15 = r*n. Is n > 4?
False
Let t be (-19)/133 + (-258)/(-1610). Is 0 equal to t?
False
Let n = -8.236 + -0.064. Let c = n + 4.6. Let z = -4 - c. Is -0.1 greater than z?
True
Let u(v) = -2*v - 15. Let b be u(-8). Which is smaller: 1/55 or b?
1/55
Let j = 3/4679 - 238662/51469. Let k = -23564239/77 - -306034. Let a = j + k. Is 0 smaller than a?
True
Let t = -0.3 - -1.3. Let f = -4 + 3. Let s = f - t. Which is bigger: s or -1?
-1
Let z be 2*(25/(-1) + 2). Let n be z/30 + (-1)/(-3). Suppose -2*q + 5*k = -q - 9, -3*k - 2 = -4*q. Is q greater than or equal to n?
True
Let v = 0 - -2. Let o = 3.04 - 0.04. Let g = -2.8 + o. Is g bigger than v?
False
Let a = 9 - 7. Suppose 0*w = a*w + 6. Is -3 < w?
False
Let r = -1.8 + 1. Let k = r + 1. Which is smaller: k or -0.2?
-0.2
Let x(z) = -z**2 - 1. Let p(f) = 5*f**2 - 6*f + 13. Let n(u) = p(u) + 6*x(u). Let c be n(-4). Do c and 16 have different values?
True
Let t = 14 - 10. Let v be ((-2)/(-4))/(2/t). Do v and -2/23 have the same value?
False
Suppose -3*o + 31 = -4*i, -4*o - i = -4*i - 32. Suppose -2*n = -5*n - 18. Let j be 1/2 - 21/n. Do o and j have the same value?
False
Suppose 0 = 3*m + 17 - 11. Suppose -6 = 3*s - 3. Let z = m - s. Is 0 smaller than z?
False
Let z(k) = -k + 4. Let c be z(4). Is -3 at least as big as c?
False
Suppose -n + 4*r = 10, 5 = -5*n + 4*r + 3. Suppose n = -u + j - 1, -2*u = 4*j. Let g be 2*(-2)/(-4)*u. Is -1 smaller than g?
False
Let z be 0/((-1)/(2 + -1)). Suppose z*o = 2*o. Suppose 3*f - 4*q = -6 + 24, o = -4*f + q + 11. Which is smaller: 1 or f?
1
Let k = -126 - -131.95. Let m = 0.05 + k. Let r = -11 + m. Is r not equal to 0?
True
Let o(p) = p**3 + 8*p + 2*p + 9*p**2 + 6 + 0*p**2 + p**2. Let t(c) = -2*c + 13. Let f be t(11). Let k be o(f). Is k at most -3?
True
Let f(s) = -3*s + 1. Let p be f(1). Let u be p + (15/8 - 0). Which is greater: u or 1?
1
Let n = -21 + 17. Which is smaller: n or 3?
n
Let q = -15.2 + 15. Which is smaller: -10 or q?
-10
Suppose 0 - 6 = -2*l. Suppose -k = -l*k + 38. Suppose k = -3*v + 4. Is v smaller than -4?
True
Let s = -580/3 + 194. Which is smaller: -46 or s?
-46
Suppose 3*y - 4*c + 24 + 12 = 0, 4*y - 5*c = -47. Let w = y - -7. Which is smaller: w or -1/12?
w
Let r = 39 + -27. Let j = -2.1 - -2. Which is bigger: r or j?
r
Let l(v) = v**3 + 3*v**2 - 3*v + 4. Let q be l(-4). Are 5/8 and q unequal?
True
Let w be ((-3)/2)/(1/(-6)). Let q = 200 + -188.9. Let g = q + -11. Which is greater: g or w?
w
Suppose 6*q - 2*q = 0. Let h be (-2)/(-4)*(4 + q). Which is smaller: 3 or h?
h
Let v be -2 + (4/6)/((-4)/(-18)). Is -2/7 at most as big as v?
True
Let h be (9/3)/(-3) - -9. Suppose 6 = 2*f + 2. Let s = 5 + f. Which is greater: h or s?
h
Let a = 4/9 - 1/9. Which is smaller: -2 or a?
-2
Let i(c) = 2*c**3 + 2*c**2 + 2*c + 1. Let s be i(-1). Let l be ((-6)/(-18))/(s/(-3)). Suppose -f = -0*f + l. Is 0 < f?
False
Let t(n) = -n**3 + 10*n**2 + 10*n + 14. Let q be t(11). Let p = q + -11/4. Is p smaller than -15?
False
Let g = -1/285 + 61/285. Do 1 and g have the same value?
False
Let a = -1.6 - -0.6. Let n = 0 + a. Is n greater than or equal to -8?
True
Let s = -6 - -16. Let o(x) = -x**3 + 10*x**2 - x + 7. Let n be o(s). Which is greater: n or -2?
-2
Let j = 4/17 + 1/68. Suppose 2*d = 5*d + r, 0 = 5*d - 2*r. Is d equal to j?
False
Let i(r) = r**2 + 6*r + 3. Let a be i(-5). Let b = -0.26 + -0.04. Let n = 0.7 - b. Are n and a nonequal?
True
Let d be ((-12)/(-296))/(6/(-8)). Let x(k) = -k - 9. Let y be x(-8). Is y less than d?
True
Let l be (-21)/6 - 3*(-4)/6. Is 8 > l?
True
Let d = -2 - -7. Suppose 16*c - 2 = 15*c. Let a be (c - d/(-1)) + 0. Which is bigger: a or 8?
8
Let q(s) = -19*s - 2. Let p be q(1). Let m = p + 21. Let b = -124 - -870/7. Which is smaller: b or m?
m
Let l = 0.05 - 6.05. Let h = -0.05 + -4.95. Let s = h - l. Is 0 equal to s?
False
Let n = 12 + -10. Let q = 1.9 - n. Which is bigger: q or 6/11?
6/11
Let w(x) = x - 7. Let u be w(6). Is u equal to -3?
False
Let v(i) = i - 6. Let k be v(5). Let m = k + 1. Which is smaller: -2/7 or m?
-2/7
Let v = 483 - 99982/207. Is v >= -1?
True
Let k = -7 + 5. Let f be k - -4 - (1 + -1). Is 2 at most as big as f?
True
Let u be 0 + -1 + 0 + 2. Let x = 0.35 + -3.55. Let t = x - -3. Which is greater: u or t?
u
Let z be 2/(-6)*(-12)/(-2). Let u be (11/33)/(z/6). Which is greater: u or -2/21?
-2/21
Let n be 8/3*12/88. Are 1 and n unequal?
True
Let s(o) = o**3 - 5*o**2 + 3*o + 4. Let t be s(4). Which is bigger: t or -4/3?
t
Let w = -1.6 + 2.6. Which is smaller: 8 or w?
w
Let l(n) = 3. Let c(y) = y. Let f(p) = c(p) - l(p). Let j be f(5). Let u(i) = -i - 3. Let q be u(-4). Is q greater than or equal to j?
False
Let g be (-6)/(-2) + -2 + 14. Let r = 7 - g. Which is smaller: -7 or r?
r
Suppose 3*g - j = -0 - 3, -3*j + 2 = -2*g. Let b = -4 + -1. Let d(s) = -s**3 - 6*s**2 - 4*s + 5. Let z be d(b). Which is bigger: z or g?
z
Suppose 3*t - 3 = 6*t. Let j = -0.9 - -1. Let p = -0.1 + j. Is t at most as big as p?
True
Let i be (-4)/(-6) + 4/(-6). Suppose -22 = 3*l - 4. Let r be 4/l - (-100)/96. Do i and r have the same value?
False
Let c = -32.1 - -32. Is 2 bigger than c?
True
Suppose 30 = 3*h + 2*h. Suppose 0 = -h*y + 3*y + 18. Let b = y + -7. Which is smaller: b or -3/5?
b
Let p(q) = q - 2. Let i be p(6). Let d(b) be the second derivative of b**3/2 + 2*b. Let x be d(1). Is x >= i?
False
Let b be 5 - ((-6)/(-2) + 0). Are 1 and b nonequal?
True
Suppose -2*n - 3*o = -23, 1 - 23 = -4*n + 2*o. Is 8 less than n?
False
Let o = 0.9 + -1.1. Suppose -g - 35 + 197 = -4*t, -4*g = 8. Let i = 163/4 + t. Is o <= i?
False
Suppose 0 = 3*o - 6*o - 9. Let v be (o/1)/(4/8). Which is smaller: -5 or v?
v
Let m(a) = -a - 9. Let j be m(-11). Is -1 < j?
True
Let u be 1/(-1) + 4/(-10). Let d = u - -43/20. Suppose -1 + 5 = 2*b - 3*x, -2*x = 0. Which is smaller: d or b?
d
Suppose -35 = -v + 2*v + 4*c, -5*v = 3*c + 175. Which is greater: -34 or v?
-34
Let g be 33/60 - 2/(-8). Suppose -17*k = -12*k - 15. Suppose -k = -i - 2. Is g bigger than i?
False
Let r be 2 + -1 + (0/1)/(-3). Is 1/44 at least r?
False
Let r = 1.49 - -0.41. Are 0 and r nonequal?
True
Suppose 10 = 5*p, 4*y - 12 = y - 3*p. Which is smaller: 5 or y?
y
Let n = -1.4 + 1.3. Let u = -6 - 8. Which is bigger: u or n?
n
Suppose -5*c - 2*d - 9 = 0, c + c + 3*d = -8. Let p be 1/(1*(-2 - c)). Is p not equal to 1?
True
Let j = -13.1 - 2.9. Let g = j - -17. Suppose 3*r + 3*s = -s + 1, 4 = 4*s. Which is bigger: g or r?
g
Let a(z) = z + 7. Let d be a(-5). Suppose 2*w + d = -0*w. Are w and 1/15 nonequal?
True
Suppose 4*q = 2*q - 2*x + 6, -7 = q + 3*x. Suppose 3*a - 2*a - q = 0. Suppose -a = m + m. Is -4 not equal to m?
False
Let q = 27 - 31. Let f be ((-2)/4)/(2/q). Let k = 809/4 + -201. Which is greater: f or k?
k
Suppose -4*n = -5*r - 33, -2*r = 5*n - r - 5. Let a be (-1)/n*4/8. Is -1 not equal to a?
True
Let d = 39.3 - 43. Let w = -4 - d. Which is greater: w or 1/2?
1/2
Suppose 2*z + 0*z = -2*d - 8, -3*z - 17 = -2*d. Is 2 greater than d?
True
Let z = -0.21 - -0.51. Let h = -0.4 - 0.2. Let y = z + h. Is -1 >= y?
False
Let y = 14 + -16. Let x = -0.05 - -4.05. Let j = 4 - x. Which is smaller: y or j?
y
Let c = 89 + -106. Which is smaller: c or -18?
-18
Let u be ((-1)/2)/((-3)/(-150)). Let r be ((-18)/27)/(u/(-3)). Let p = -1 - -2. Which is smaller: p or r?
r
Let o = -52/49 + 3165/1274. Let k be 6/(-30) - 16/(-130). Let d = o - k. Which is bigger: 0.1 or d?
d
Let i(a) = 3*a - 3. Let k be i(2). Suppose k - 7 = -u. Suppose 3*z + 15 = 0, -d = 2*d - u*z - 14. Is d greater than or equal to 0?
False
Let m = 97 + -90. Let h be (-1)/3 + 2/12. Is m > h?
True
Let x = -2 + 2. Let g = x + 1. Suppose 5 = 2*c + 13. Which is bigger: c or g?
g
Let a = -71 - -499/7. Which is bigger: 11 or a?
11
Let q = 3 - 3.1. Let g = 2.1 + q. Let w = 2 - g. Which is small