e
Let c = -13 - 1. Which is greater: -15 or c?
c
Suppose -2*g + 0*g = 8, -m = -2*g - 16. Let f be -4 + (18 - 3) + -4. Is f bigger than m?
False
Let c = 0.6 - 0.1. Let o = -1.9 - -2.4. Let q = c + o. Is q less than -0.1?
False
Suppose -2*x = -2*k + 2*x - 74, 2*k + 2*x = -80. Does -39 = k?
True
Suppose 56 = 4*w - v + 5*v, 13 = 2*w - 3*v. Is 4 at most as big as w?
True
Let s = 22 + -89/4. Let w = -0.015 - -0.015. Which is smaller: s or w?
s
Suppose v = -10 - 5. Let m = -18 - v. Is m at least as big as -5?
True
Let d(r) = 3*r**3 + 2*r**2 - 1. Let y be ((-1)/3)/((-3)/(-9)). Let k be d(y). Let c = k - 0. Which is bigger: c or -1?
-1
Let x = 6 - 6. Let l = 0.2 + -0.7. Let g = 2.5 + l. Which is smaller: x or g?
x
Let v be ((-216)/(-42) - 5) + (-2)/210. Which is greater: v or 0?
v
Let h = -17 + 29. Let l = h + -13. Let o be -1 + (33/21 - 1). Is l at most as big as o?
True
Let c = 17/10 - 113/90. Which is smaller: 0.2 or c?
0.2
Let s = -0.2 + 0.24. Let g = -238 + 241.96. Let l = s + g. Is 2/7 greater than or equal to l?
False
Let m be (16/24)/(2/(-3)). Suppose -5 = -a + 4*a - h, 5*h - 25 = -3*a. Which is smaller: a or m?
m
Let h = -8 + 6. Let y be (-98)/(-126) + 2/h. Let l = -0.2 - -0.1. Is l equal to y?
False
Suppose -5*r + 45 = 5*v, v = -4*r - 2*v + 39. Suppose 3 - r = -3*p. Suppose 2*a + 2 = p*f, -2*f + 0*f = 3*a - 23. Is a bigger than 2?
True
Let v = -405065 + 172962915/427. Let w = 12/61 + v. Let f(h) = h**3 - 8*h**2 + h - 7. Let s be f(8). Which is greater: w or s?
s
Let k be 6 + -10 + (-106)/(-27). Which is bigger: k or -1?
k
Let i = 4/21 + 13/42. Which is greater: -0.05 or i?
i
Suppose -5*b + 99 + 1 = 0. Suppose 0*d = -5*d - 5*k + 25, b = 5*d + 4*k. Is d at least 5/8?
False
Let r(n) = -5*n**2 + 5*n**2 + n**2 + n - 1. Let g be r(1). Let w(v) = -v**3 + v**2 - 2*v + 1. Let a be w(g). Which is bigger: 2/5 or a?
2/5
Let l be 84/30*15/3. Which is smaller: l or 15?
l
Let j(m) be the first derivative of -7/3*m**3 + 0*m + 1 - 1/2*m**2 - 1/4*m**4. Let i be j(-7). Do 8 and i have different values?
True
Let w = -16.3 - -24.25. Let u = w - 8. Are -1/2 and u equal?
False
Let k = -67/34 - -8/17. Let w(r) = -r + 10. Let n be w(6). Suppose l - n*v = -3, 3*v = 2*l + 2*l + 12. Is k greater than l?
True
Let k(b) = b - 3. Let g be k(9). Is g less than 6?
False
Suppose -3*k + 4*k - 4*h = 6, h + 8 = -3*k. Let t be (-30)/4*k/20. Let o be 2 - (1 + 1) - -2. Is o >= t?
True
Suppose -4*i + 10 + 2 = 0. Suppose -2*l = -i*s + 4*s + 2, 3*l - 5*s = 23. Is l greater than or equal to 4/9?
True
Let t be (6/(-2924))/((-7)/(-178)). Let f = t - 2/301. Which is bigger: f or 0?
0
Let s(l) = -3*l - 20. Let m be s(-9). Let h be -2 - 0 - (-4 + -2). Suppose h = m*v - 3*v. Are v and 1 nonequal?
False
Let m be (-427)/(-147) + (-2)/6. Let n = 151/56 - m. Let w = n + 1/8. Which is greater: -0.1 or w?
w
Let v be (-16 + 1)*4/(-12). Let b = -4 + v. Let q = 0 - 0. Which is greater: b or q?
b
Let x be (-12)/11*1/(-2). Suppose -4*o + 0*w = -2*w + 42, o + 2*w - 2 = 0. Let s = o + 9. Which is smaller: x or s?
x
Let q be 2/(((-12)/14)/3). Let t = -99 + 93. Is t greater than or equal to q?
True
Let u = 20/9 + -17/9. Do u and -6/11 have the same value?
False
Let r = 0.7 + -1. Let t = -0.4 - r. Which is bigger: t or 0.1?
0.1
Let s(j) = -j**3 - 6*j**2 - 7*j - 15. Let q be s(-5). Let o be (4/(-6))/(1/(-6)). Suppose -2*n - o = 0, -6 = -0*y + 4*y - 5*n. Is q at least y?
False
Let i be (3/(-2))/(7/210). Let s be (i/(-6) - 3)*-4. Which is greater: -17 or s?
-17
Let s = -140 + 141. Which is smaller: s or 2/13?
2/13
Suppose -8 - 20 = -4*o. Suppose -45 = o*f + 60. Is -16 less than or equal to f?
True
Let u = -117/10 + 1103/90. Which is smaller: u or -0.1?
-0.1
Let h = -269/4 + 67. Is 10 not equal to h?
True
Let d be 4 - 4/4 - 0. Which is greater: d or 5?
5
Suppose -r + 2*l + 11 = -1, 3*l = -4*r - 7. Suppose r*o = 7*o. Suppose -2*k = o, -3*t + 1 = 2*k - 5. Are t and 2 nonequal?
False
Let j(m) = -3 + 0 - m - 4*m. Let a be j(3). Let x be (-4)/a - 1/(-9). Is 2/5 equal to x?
False
Let v(a) = -2*a - 3. Suppose m + 6 - 2 = 0. Let q(o) = o + 2. Let s be q(m). Let x be v(s). Are -1 and x non-equal?
True
Let i = 2 - 3. Suppose 2*n + 0 = -2. Is n < i?
False
Let o be 3 + (2 - (-137)/(-4)). Let c = o - -29. Let f = 3 - 2.8. Which is greater: f or c?
f
Let i be 3/4*(-1)/3. Let q = 0.05 + 2.15. Let o = q - 1.9. Is o < i?
False
Let l(d) = 2*d - 2. Let n be l(5). Let b(f) = -f + 9. Let g be b(n). Is -3/10 >= g?
False
Let r = 11 - 13. Let k = -3 + 6. Which is smaller: k or r?
r
Let w be (-7)/(-14) + (-2)/(-4). Is -2/5 >= w?
False
Let o = 153.8 + -140. Let l = -12 + o. Let q = l + -2. Do -1/3 and q have the same value?
False
Suppose 0 = 2*l + 9 - 23. Let t = l + -4. Suppose w = -t*j - 7, 3*w + 13 = -0*w - 5*j. Which is smaller: -1/6 or w?
w
Let d = 336/149 - 22977/13559. Let m = 11/13 - d. Is 1 at most m?
False
Let x be 0 + -1 + (1 - 3). Let m = -76 - -74. Which is smaller: x or m?
x
Suppose -155 = -y - 4*y. Suppose 0 = v - s - 137, 2*v - y = 5*s + 258. Let w = -1450/11 + v. Which is smaller: w or 1?
w
Let l = 5.01 - 5. Let t = l - 0.01. Which is smaller: t or -2/5?
-2/5
Let x be ((-124)/40 - -3)*2. Which is bigger: -1 or x?
x
Let y(j) = -4*j - 8. Let h be y(-5). Let q = h + -7. Which is greater: q or 4?
q
Let f be (-4)/8 - 27/(-6). Which is bigger: 2 or f?
f
Suppose -3*c - z - 14 = 0, c + 10 = -2*c - 5*z. Let i = 7 + c. Let r be (-2)/8 + i/8. Is 0 less than or equal to r?
True
Let q be (-4)/6*3/2. Let f(c) = 7*c + 8. Let s(p) = -4*p - 4. Let g(v) = 3*f(v) + 5*s(v). Let n be g(-4). Are q and n non-equal?
True
Let p(v) be the second derivative of 0*v**3 + 3*v + 1/2*v**2 + 1/6*v**4 + 0 + 1/20*v**5. Let m be p(-2). Is m not equal to 1?
False
Let z = 8 - 14. Let c(l) = 7*l**3 + 9*l**2 + 5*l. Let d(q) = 3*q**3 + 5*q**2 + 3*q. Let o(m) = -2*c(m) + 5*d(m). Let f be o(z). Is 1 at most as big as f?
True
Suppose -3*j = -0*f + f - 26, -f + 3*j = -32. Suppose -k + 17 = 3*g, -2*k - 7*g = -2*g - f. Is 2 > k?
False
Let f(b) = b**3 + 15*b**2 - 5. Let w be f(-15). Let h be (w + 4)*10/(-2). Is h >= 0.2?
True
Suppose 10*f - 45 = 45. Is 9 at most f?
True
Let b = 21 - 25. Do -4 and b have the same value?
True
Let d = 3 + -3. Let g be 10/(-11) - 2/(-2). Which is bigger: d or g?
g
Let t be (-4)/3*18/78. Is t >= -1?
True
Let g = -26 - -13. Is -15 > g?
False
Suppose 0 = 3*s + 5*x + 12 + 189, -2*x = -s - 78. Is s greater than -72?
False
Let l = -204 + 202. Let f be (-2)/(-6) - (-10)/(-3). Is f less than or equal to l?
True
Let y(c) = -c**2 - c + 3. Let m be y(0). Is m at least as big as 3?
True
Let y be (2 - (-118)/3)/(-2). Let z = -313/15 - y. Are z and -1/4 equal?
False
Suppose -5*q - 2*w = -q + 70, 0 = -q + 2*w - 25. Do q and -20 have the same value?
False
Let o be (-2)/(3 - (-25)/(-9)). Is o < -8?
True
Let b = 14 + -6. Suppose -3*j - 15 = 3*q, 4*q + 3*j = -0*j - 22. Let s = b + q. Which is bigger: 0.2 or s?
s
Suppose -51 + 15 = -4*i. Let d be (-222)/i - 2/6. Let h be ((-2)/d)/((-4)/5). Which is smaller: 1 or h?
h
Let o = -39 + 59. Let g = o - 10. Is g at least as big as 10?
True
Let g = 2 + -3. Let d be 140/(-6) + 2/(-3). Let m be 126/d + g/(-4). Is m bigger than -5?
False
Suppose 3 = -5*m + 108. Let w = 20 - m. Which is greater: w or -2?
w
Let q = 461/205 + -2/41. Let n = -3 + 1. Let v = q + n. Is 0 at most v?
True
Let o = -39 + 47. Which is bigger: -5/3 or o?
o
Let n = -2 - 2. Let s(x) = -x**3 - 4*x**2 + 4. Let y be s(n). Suppose y*j = 2*j. Is j > 1?
False
Let k(v) = v**3 + 5*v**2 + 3*v - 2. Let l(t) = -t**3 + 2*t**2 - 3*t + 3. Let c be l(2). Let g be k(c). Let h = g - 6. Is 1 greater than or equal to h?
True
Let x = -11 + 1. Let w = -10.2 - x. Which is greater: w or 0.2?
0.2
Let q(g) = -3*g**3 - 1 + 3*g - g + 2*g**3 - 2*g**2 - 3. Let l be q(-3). Let j be 4*(l + 21/18). Which is smaller: j or 0.5?
0.5
Suppose 4*d = 5*d + 5*h + 24, -2*h = 2*d + 16. Which is smaller: -3 or d?
d
Let t(l) = l - 1. Suppose z = -2*f + 4*z, -28 = -2*f - 4*z. Let k be t(f). Suppose -5*v = k*m + 45, 0 = -7*v + 2*v - 20. Is -0.1 at least m?
True
Let i be 0 - 0 - (-24)/32. Which is bigger: 0 or i?
i
Let w(v) = 2*v**3 - v**2 - v + 1. Let m be w(-2). Is m bigger than -17?
False
Suppose 4*i + 87 = -a, 5*i + 23 = -a - 61. Is -1 greater than or equal to a?
True
Let x be 135 - 1/(