 m + 10. Which is greater: -8 or c?
c
Let w = -1064 + 18096/17. Is 1 less than w?
False
Suppose -4 = 27*k - 26*k. Is k bigger than -9?
True
Let s = 0.32 + -0.02. Let a be -1 + ((-55)/(-30) - -1) - 1. Which is greater: s or a?
a
Let p = 9 - 11. Which is smaller: -2/3 or p?
p
Suppose -3*m = -6 - 0. Suppose -4*a - 2 = m*x, x = 6*x + 5*a. Let n = 0 - 0. Is x greater than or equal to n?
True
Suppose 3*a = a + 6. Let q(d) be the second derivative of d**5/10 - d**4/3 + d**3/6 + d**2 + 2*d. Let k be q(2). Is k < a?
False
Let i = -127 - -637/5. Let d = 23 - 21. Which is smaller: d or i?
i
Let m(j) = j**3 + 7*j**2 + 6*j. Let y be m(-6). Let f(a) = -1 + 2 - 3*a + 4*a. Let h be f(y). Which is bigger: h or -1/4?
h
Suppose 5*h - 51 = b, h + 2*h - 2*b - 25 = 0. Is 14 smaller than h?
False
Suppose -2*j = -4*j. Suppose -4*v + j*v = -16. Let b = -0.8 + -0.2. Which is bigger: v or b?
v
Let c be 2*((-21)/6)/(-7). Let y = c + 1/2. Suppose -3*q + 5 - 2 = 0. Are y and q unequal?
True
Let d = 57 - 64. Which is greater: d or 4?
4
Let m(r) = r**2 + 16*r + 8. Let b(v) = 4*v**2 + 47*v + 25. Let d(q) = -2*b(q) + 7*m(q). Let u be d(18). Is 1 bigger than u?
False
Let r = 12 + -12. Are 0 and r equal?
True
Let j be ((-2)/(-6))/((-2)/6). Let x = 803/117 - 59/9. Which is smaller: j or x?
j
Let a = -6 + 3. Let n = a - -2. Is n smaller than 2/5?
True
Let w = 6 - -3. Which is bigger: w or 10?
10
Let p(f) = -f + 5. Let t(l) = -l**3 + 5*l**2 - 4*l + 5. Suppose 4*y = 26 - 10. Let i be t(y). Let q be p(i). Which is greater: -1 or q?
q
Let l be 0 - (-4)/4 - 1. Let q = l - 5. Is q at least -6?
True
Let t(x) = 8*x + 1. Suppose 0 = -2*i - 8, s - 3*i - 13 = -2. Let w be t(s). Does w = -6?
False
Suppose 5*d + 8 = m, 5*m + 5*d - 33 - 7 = 0. Suppose -6*t + m = -2*t. Which is smaller: 4/3 or t?
4/3
Let c be (-150)/9 - 2/6. Let r be (-2)/3 + 161/(-42)*4. Is c < r?
True
Let h = -104/225 + 6/25. Let c(y) = y + 11. Let r be c(-10). Which is smaller: h or r?
h
Let n = 2 - 2. Which is smaller: n or -0.2?
-0.2
Let i = 18 - 18. Is i not equal to -36?
True
Let a = 57/110 - 1/55. Which is smaller: a or 4?
a
Let p be 2 + 1/3 + -2. Let i be (-2)/(-4) + 20/(-8). Let d = -3 - i. Which is greater: p or d?
p
Suppose -3*j + j + 223 = -5*w, 0 = -3*w + 3*j - 141. Is w smaller than -43?
False
Let v(h) = -h**3 - h**2. Let c = 6 + -7. Let o be v(c). Is o equal to 2?
False
Let t be 82/(-12) + (-2)/3. Let q = -9 - t. Let d = -32 + 30. Is q > d?
True
Let k = -0.6 + -0.8. Let n = k + 1.1. Let c = 0.2 + n. Is c greater than or equal to 2/7?
False
Suppose 0 = -t - 4*t + 40. Suppose 4*i = -11 + 47. Which is greater: t or i?
i
Let n = -6 + 4. Let p = -3 - n. Let i = 37/258 + 1/43. Which is greater: i or p?
i
Let i(v) = -v**2 + 4*v + 3. Let n be i(5). Do n and -3 have the same value?
False
Let s = -66 - -67. Suppose 14 = -5*r - 6. Are r and s equal?
False
Let a(t) = t**3 - 4*t**2 + 3*t - 4. Let j be a(3). Let y(k) = k**3 + 5*k**2 + 3*k - 1. Let n be y(j). Is n <= 4?
True
Let f = -109 - -58. Which is bigger: -52 or f?
f
Suppose 0 = -4*i - 5*p - 29, -4*i - 9 = -0*p + p. Is i <= -5?
False
Let f = 5 - -1. Let k be (-1 + 22/18)*f. Suppose y + u + 1 = -0*y, -5*y + 2*u + 9 = 0. Which is greater: y or k?
k
Let m be ((8/(-4))/1)/(1/(-6)). Which is greater: m or 13?
13
Let f = 3 + 1. Is f equal to 4?
True
Let z = 29/30 - -13/15. Which is greater: 1 or z?
z
Let a be (-15)/(-2)*11/(198/(-12)). Is a <= -5?
True
Let v = 0.18 + -0.08. Let x = 47/93 - -5/31. Which is smaller: x or v?
v
Let p be ((-156)/(-18) - 5) + 3*-1. Which is smaller: 58 or p?
p
Suppose 2*d - 112 - 268 = 0. Let q be (-6)/15 - (-96)/d. Let v(b) = -5*b - 200. Let s be v(-40). Is q greater than s?
True
Let c(o) = -o**2 - 7*o - 6. Let s be c(-7). Let f(d) = -3*d**2 + 2*d + 2. Let b be f(2). Is b < s?
False
Let r(v) = -v**3 + 5*v**2 + 4*v + 12. Let u be r(6). Is 2/89 at least u?
True
Let r be (-85)/1071*5/((-50)/4). Let i = 2 + -1. Is r >= i?
False
Suppose -y + 5*y = 48. Is 10 < y?
True
Let c = -29.9 - -25. Let p = c - -5. Which is smaller: p or -5?
-5
Suppose -2*j = 3 - 1. Let z(g) = -9*g**2 - g + 1. Let k be z(j). Which is bigger: k or -8?
k
Suppose 4*p = -10 + 18. Suppose 2*s + 4*a + 32 = 0, p = -s + 2*a - 2. Is s equal to -9?
False
Suppose -16 = -z + 14. Is 30 > z?
False
Let v = -1621767/95 + 17071. Let l = 12/95 + v. Is 1 <= l?
False
Suppose -5*u = 3*c + 10, 0 = c + 2*c + 4*u + 8. Suppose c = 5*g - 0*g. Is 0 less than or equal to g?
True
Let o(d) = d**2 - 8*d - 6. Let n be o(9). Let a = 3 - n. Which is bigger: a or 1/4?
1/4
Let n be (2 + -4)/(-1 + 18). Are n and 1 nonequal?
True
Suppose -2*g = o + 23, -21 = 3*g - g - o. Is -10 != g?
True
Let q be ((2 + -2)/(-2))/1. Let u = 82 + -412/5. Is u less than or equal to q?
True
Let h be 152/(-342)*-3*(-2)/(-4). Which is smaller: -23 or h?
-23
Let m = 276/5 - 55. Let s(g) be the first derivative of g**3/3 - g + 4. Let q be s(0). Do m and q have different values?
True
Let t(i) = -11*i + 3. Let c(h) = -32*h + 8. Let k(w) = -3*c(w) + 8*t(w). Let z be k(-1). Let v be ((-21)/(-14))/(6/z). Which is bigger: -1/2 or v?
-1/2
Suppose -5*o + p = -470, o - 27 - 67 = 2*p. Which is smaller: o or 96?
o
Let w = 316/465 - 2/155. Is -20 at most w?
True
Let x = 0.01 - 0.34. Let y = -0.03 - x. Is -0.1 smaller than y?
True
Suppose 5*a = -d + 6*d - 20, 0 = 3*a + 2*d - 8. Suppose v = 4*u + 19, 2*u + 5 = 5*v - a*u. Which is bigger: v or -2/5?
-2/5
Let f be (-1 - -1) + 1 - -3. Suppose -f*d - d = 0. Suppose d = 5*t - 1 - 9. Which is smaller: t or 4?
t
Let b be 46/6 + 4/(-6). Suppose 9*j - b = f + 4*j, -4*j = -4*f - 12. Let y = 7 + -11. Which is smaller: y or f?
y
Let j(b) = b**3 - 3*b**2 - 3*b - 4. Let a be j(4). Suppose a*w = w. Do w and -2/11 have the same value?
False
Let o(t) be the third derivative of -t**4/24 - 2*t**3/3 + 3*t**2. Let v be o(-6). Is v != 0?
True
Let q = 398 + -4375/11. Let g(y) = -2*y**2 + 10*y. Let d be g(5). Is d less than or equal to q?
True
Let c be 5 - (-2)/4*2. Let s(t) = 17 - 10 - 2*t + t. Let b be s(c). Do b and 1 have different values?
False
Let c be 18/(-3) + (3 - 0). Let s(g) be the first derivative of -g**4/4 - g**3 + 1. Let u be s(c). Do u and 2 have the same value?
False
Suppose 9*g - 4*g - 5*i + 55 = 0, -68 = 4*g + 2*i. Is g at least as big as -18?
True
Suppose 3*b - 77 = -17. Which is greater: b or 19?
b
Let n(y) = -y + 7. Let x be n(9). Is x greater than or equal to -1?
False
Let h = 66.98 - 68. Let g = h - -0.02. Let q = 0 + 0.1. Which is greater: g or q?
q
Suppose -19*l + 16*l - 9 = 0. Suppose 0 = -0*s + s + 2. Which is greater: l or s?
s
Let t be (2/1)/(4/(-2)). Is t greater than -2?
True
Let z = 4 - 2. Suppose -t + z*t = 2. Is 2 not equal to t?
False
Let q be 7514/(-72) + 65/20 + -4. Suppose -2*g - s = 205, -s + 118 = -g + 8. Let w = g - q. Is w > 1?
False
Let m = -94 + 473/5. Is m greater than 1/3?
True
Let v = -237/7 - -34. Let f = -15 + 15. Which is greater: v or f?
v
Suppose -2*l = l - 9. Suppose -5*x - 21 = l*z, 1 + 7 = -4*x + 2*z. Let i(s) = s + 2. Let o be i(-4). Which is bigger: o or x?
o
Suppose 0*o + 2*o - 2*h + 22 = 0, 23 = -2*o + 3*h. Let j be (-4)/(-3 + 1) - -8. Let z = o + j. Which is bigger: z or -2/11?
z
Suppose 0 = z + 4*o - 17, -2 = z - 2*o + 5. Let b be (z/((-3)/2))/(-2). Let y = -13.3 - -13.2. Which is smaller: y or b?
y
Let n = -5 - -5. Suppose 0 = -k - n*k - 2. Let p be 1 - (-2 + 0)/k. Which is bigger: -2 or p?
p
Let x(z) = z**2 - 11*z + 1. Suppose 0 = 5*m - 16 - 39. Let r be x(m). Is r at least as big as 1?
True
Let f = -0.05 - 0.04. Which is smaller: -0.1 or f?
-0.1
Let x = -8 - -8. Let w be (x - 33/(-6))*-2. Let d be 22/w - 1*-1. Does -2/13 = d?
False
Let m be (-6)/40 + (-3)/12. Which is greater: 0.9 or m?
0.9
Suppose 5*o - 47 = -12. Suppose 0 = t + 4*t - h - 11, -5*t + o = -2*h. Which is smaller: t or 3/2?
3/2
Let l = -487/1955 - 1/85. Let m = l - 11/46. Which is bigger: m or -2?
m
Suppose 0 = 4*p - 0*p + 8. Let b be 20/6*6/5. Suppose 3*m + b*n + 2 = 0, n - 8 = 3*m - n. Are m and p equal?
True
Let s = 0.14 + -0.08. Let h = s - 1.06. Which is smaller: h or 2?
h
Let o = 0.15 - 8.15. Let r = o + 8.03. Let x = -0.23 + r. Which is smaller: x or 1?
x
Let b = -735/8 + 92. Which is greater: b or 1?
1
Let t(g) = 3*g. Let j be t(-5). Let w = -8 - j. Let l = w + -6. Is l smaller than 2?
True