 + -433/721. Suppose v + 2*v = -3*v. Which is greater: s or v?
v
Suppose -2*m - 5 = -7*m. Let l(r) = -r**2 - 3*r + 1. Let y be l(-4). Let q(c) = c**2 + 3*c + 2. Let b be q(y). Are b and m equal?
False
Let p be (-1)/3 - (-1886)/483. Which is greater: p or 5?
5
Suppose -p + 4 = -3*p, 0 = 3*q - 4*p - 11. Suppose s + 5*k = -25, 2*k - 233 = -s - 249. Is s >= q?
False
Let t(i) = 14*i + 1. Let y be t(1). Is 15 less than y?
False
Let h be -2 + 3 - 2*-8. Suppose -n = 3*x - 4 + h, x = 2*n - 2. Does 2 = n?
False
Suppose 3*h = -i - 0*h + 6, 0 = -5*i + 3*h + 12. Suppose 6 = i*g - 6. Which is bigger: g or 3?
g
Let c = -57 - -67. Which is smaller: 9 or c?
9
Let u(p) = 6*p**3 - 2*p + 1. Let c be u(1). Suppose -15 = -c*w + 15. Suppose w*b - 2*b = -4. Is 2/5 at least b?
True
Suppose 3*j - 16 = -4. Let v be j/(-18) - (-4)/18. Which is smaller: v or -2/5?
-2/5
Let a = 16 + -15. Which is greater: 9/5 or a?
9/5
Let u = -42 - -29. Which is bigger: u or -11?
-11
Let i = 136 - 950/7. Let z = 0.4 + -2.4. Let f = z - -3. Which is smaller: f or i?
i
Let y(s) = s**2 + 6*s + 3. Let g be y(-2). Is -2 less than or equal to g?
False
Let v = -73 + 92. Is v at most as big as 2/5?
False
Let r(x) = 6*x**3 + x**2 + 2*x - 2. Let y be r(1). Does 8 = y?
False
Suppose 4*w - w - 36 = 0. Suppose -o = -5*o + w. Suppose -5*a - o*h - 20 = 0, 2*a - 5*h - 2 - 21 = 0. Which is greater: -2/3 or a?
-2/3
Let o(h) = 2*h**3 + 3*h**2 + 2*h - 2. Let c be o(-2). Let j = c - -11. Suppose g + j = 2. Which is greater: g or 0?
g
Suppose -d + 8*d - 7 = 0. Is 1 bigger than d?
False
Let z = 5/7 + -1. Is z > -11?
True
Let s be 6/(-5)*(3 - 42/9). Is s less than 5?
True
Let g be 17 + -18 - 12/(-10). Which is smaller: g or 0?
0
Let s = -11 - -11. Suppose -2 = 5*t - 4*t. Is s at least as big as t?
True
Let o = -0.162 + -0.838. Let r be 0 + -1 + 10/4. Which is smaller: o or r?
o
Let v = -7.2 - -7. Let l = 11.8 - 11. Let a = l - v. Which is smaller: -1/2 or a?
-1/2
Let m be 0/(5/5 - -4 - 2). Do m and 3/23 have the same value?
False
Let x = -4 + 3. Let n = -0.516 - -0.116. Which is greater: x or n?
n
Suppose i - 3*n = -73, -2*i - 6*n + 5*n = 125. Is i greater than -64?
False
Let g be (-321)/(-12) - -1*6/(-8). Which is greater: 28 or g?
28
Suppose 0 = -4*n + 2*l - 4, -4*n - 5*l - 4 = -l. Which is smaller: n or 64?
n
Let t be (1 + 3)*6/8. Suppose 4*g - t = 5*y, 5*y = -4*g + 4*y - 15. Is g < -4?
False
Suppose 2 = -2*a - 0. Let w = -119/2 - -1333/22. Let t = 38/55 - w. Is a less than or equal to t?
True
Let x(b) = b**2 - 2*b - 1. Let a be x(-1). Suppose 2*d - 2*k + 18 = 0, a*d + 17 = -d + k. Which is smaller: -2 or d?
d
Let a = 142 - 130. Is a < 13?
True
Let t = -2 + 1. Let l be t - (-3 + -2) - 1. Are 0.1 and l equal?
False
Suppose 5*o = 6*o + 1. Let x be -2 + (-51)/(-57) - o. Which is smaller: x or 0?
x
Let b = -5 - -2. Let t be (b + 21/6)*-2. Let j(f) = f - 4. Let h be j(4). Is t greater than or equal to h?
False
Suppose c - 21 = -5*h, -h + 0*h = -5*c + 27. Let u = -7 + 14. Which is bigger: u or c?
u
Let m = 9 - 16. Which is greater: m or -1?
-1
Let t = -7 - -6. Let o be (t - -1 - 1)/(-1). Which is greater: -1/4 or o?
o
Suppose 5 = 3*m - 16. Let n(y) = -y**3 + 8*y**2 - 5*y - 8. Let l be n(m). Let u = l - 1. Is 5 less than u?
False
Let n be 6/4*(-6 + (-28)/(-6)). Which is smaller: n or -8/9?
n
Let p(a) = a**3 + 6*a**2 - 10*a + 47. Let x be p(-8). Which is bigger: 8/19 or x?
8/19
Suppose f - 2*f = 0. Let y be (-3 - 0) + 2 + f. Let z be (-15)/(-27) - 4/18. Which is smaller: y or z?
y
Suppose 4*d - 15 = i, 7*d - 30 = 2*d - i. Suppose -4*h = -3*z - 29, 2 - 26 = -3*h + 3*z. Let w be 4/6*(1 + h). Which is smaller: w or d?
w
Let f(v) = 6*v - 4*v**2 - 5 - v**3 + 5 + 4 + 0*v. Let n be f(-5). Is n equal to 1?
False
Let t(n) = n**3 + 11*n**2 + 11*n + 1. Let j be t(-10). Let z be j/(-12) - (-10374)/(-40). Let o = 257 + z. Is o less than -1?
True
Let l = 46701 + -654935/14. Let x = l + 159/2. Is x > 1?
False
Let j = 2 + -2.03. Let f = 1.17 - j. Let t = 1 - f. Is t greater than -0.1?
False
Let q = 0.03 - 0. Let d = q + -0.13. Which is bigger: d or 1?
1
Let p = -14 - -17. Let h(u) = 2*u**2 - u - 4. Let g be h(p). Is g <= 12?
True
Let m(h) = -h - 5. Let k be m(-8). Suppose -2*i - 15 = -x - 3*i, -k*x - 5*i + 51 = 0. Is x less than 12?
False
Let l = -1 + 0. Let g = 117046 + -7725287/66. Let c = g - -40/11. Does c = l?
False
Suppose 4*w - 8 + 0 = 0. Suppose 0 = 2*k - w, 3 = 2*z - 3*k + 8. Let r = 7 - 10. Is r != z?
True
Suppose 0*c - c = 16. Let d = -11 - c. Let j = -8 + d. Is -4 less than j?
True
Let w = -6.54 - 0.46. Which is smaller: w or 0.2?
w
Suppose -g - 1 = -5. Suppose -a + g = -p - 3*p, -a = -2*p + 2. Let w = 13 + a. Is w < 5?
False
Suppose h - 4*b + 1 = b, -h + 3*b = -7. Which is smaller: 20 or h?
h
Let w = -1 + 11. Is 10 equal to w?
True
Let m = 7.8 + -0.7. Let t = m - 7. Is 1/4 <= t?
False
Suppose 4*h - 8 = -0*h. Suppose 21 = 3*l + 3*d, -3*l + h*l + 5*d - 17 = 0. Let b be 4/2 - 0 - l. Which is bigger: 2/25 or b?
2/25
Let s be 2*-1 + (-5 - -9)/4. Which is smaller: s or -10?
-10
Let a be 10/(-7 + 1 + 4). Which is bigger: -4 or a?
-4
Suppose 16 = 4*h - 4*m, -4*h + 32 = 2*m + 2*m. Let j be (-3)/h*(2 + 8). Let y be (j/4)/(-5)*2. Which is smaller: y or -3?
-3
Let d = 3.4 + -20.4. Let m = 12 + d. Let j = -106.1 - -106. Is j != m?
True
Suppose 2 = -10*a + 22. Which is smaller: a or -1?
-1
Suppose -3*a + 64 = 5*u, 2*u = 3*a + 57 - 149. Which is greater: 1 or a?
a
Let c(z) be the first derivative of -z**3/3 - 4*z**2 - 9*z + 1. Let t be c(-7). Which is smaller: t or -1?
t
Let q = 20 - 14. Let i(w) = -w - 13. Let n be i(8). Let x be (14/n)/(4/q). Which is bigger: 2/11 or x?
2/11
Suppose -3*l = -5*z - 25, 3*l + z - 32 = -z. Which is greater: 9 or l?
l
Let p be ((-1)/(-3))/(1/9). Suppose -p*s + 7*s = 0. Suppose -5*y + 4*k + 23 = s, -4 + 0 = 2*k. Are 3 and y equal?
True
Let j(n) = n - 2. Let m be j(3). Let t be 1*1/(0 - m). Which is smaller: t or 3?
t
Suppose 3*w + 21 = 3*b, 13*w + 5*b - 15 = 8*w. Which is greater: w or -7?
w
Let r(b) = b**3 - 9*b**2 + 9*b - 9. Let h be r(8). Which is greater: h or -2/3?
-2/3
Suppose -4*r - 5*u = -45, 4*r + 0*r - 5*u = -5. Suppose r*m + 39 = 434. Let j = 555/7 - m. Which is smaller: j or -2?
-2
Let c be 16/(-10) + (2 - 0). Let b = -1.7 - 0.3. Let j = b - 0. Which is smaller: c or j?
j
Let t(m) = m**2 + m - 35. Let a be t(0). Let q be ((-30)/a)/(5/7). Let b be 4/(-8)*8/(-10). Does q = b?
False
Let p(a) = 0*a**2 - 3*a + a**2 + 2*a. Let g(k) = k**3 - 5*k**2 + 4*k - 1. Let y be g(4). Let f be p(y). Do 2 and f have the same value?
True
Suppose -4*m - 20 = 0, -p - 3*m - 5 = 5. Let c be 2/p - (-16)/(-20). Are c and 0 non-equal?
True
Let c = -18.8 - -24. Let r = 5 - c. Suppose x - 17 = -5*w, 3*x - 17 = -3*w - x. Which is smaller: w or r?
r
Let v be (-60)/8*12/(-10). Suppose -l = 2*l + v. Let h be (-7)/3 + 1/3. Is h greater than or equal to l?
True
Let d be 7/((-42)/9)*(-8)/(-42). Let f be (-2)/9 - (-130)/504. Is f <= d?
False
Let o(m) = -18*m + 5. Let a be o(2). Let c = 19 + a. Is -12 > c?
False
Suppose 4*d + 0*a - 18 = -2*a, -8 = d + 3*a. Let c = -5 + d. Let s be 0*((-21)/(-6) + -4). Are c and s nonequal?
True
Let p = -5 - -5. Suppose 2*i - 5*t + 16 = p, -8*i + 3*i + 2*t - 19 = 0. Is i < 0.1?
True
Suppose -1 = t - 2*t. Suppose 4*c + 0 = 4*h - 4, 5*h - 2*c + t = 0. Is -1 greater than or equal to h?
True
Suppose -u - 6 = -r, 2*r - 3*u - 10 = 7*r. Which is smaller: r or 7/4?
r
Let v = 6428163/512 - 12555. Let k = 3051/3584 + v. Which is smaller: k or 0?
0
Let s = 635 + -4435/7. Is 2 smaller than s?
False
Suppose 0 = -5*z + 7*z. Let t = z - 4. Do t and -3 have different values?
True
Suppose 6*z - 25 = 11*z. Let y(n) = -2*n + 3*n - 5*n**3 + 0*n - n**2. Let q be y(1). Is q greater than z?
False
Let f = 0.2 + -1.2. Let r = -0.78 - 0.12. Let a = r - f. Is 1/2 >= a?
True
Let n = 12 + -10. Suppose y = -n*y. Is 1/2 not equal to y?
True
Let u(h) = -h + 4. Let x be u(4). Suppose 18 + 6 = -n - 3*k, -4*k + 96 = -4*n. Let d be (-30)/n*(-2)/(-15). Is d at most as big as x?
False
Let q(d) = 5*d + 3. Let a be q(0). Are a and 2 non-equal?
True
Let m = 0.4 + -1.2. Let b = m - -0.7. Which is smaller: b or 1/4?
b
Let t = -4 - -3. Let z = 0.4 - 0.44. Let b = z + -0.96. Is t greater than b?
False
Suppose 7 = 2*y + 9. Which is bigger