2*c + 8, 2*r - 3*r + 2 = 3*c. Suppose 3*m = -r*m. Which is bigger: m or 1?
1
Let z(b) = b + 2. Let c(q) = -q - 2. Let x(g) = -3*c(g) - 4*z(g). Let n be x(0). Is n >= -2?
True
Let s = 0.7 + 0.3. Let l(t) = -t - 8. Let j be l(-7). Let v be (-4 - j)*(-4)/18. Is s >= v?
True
Let m = -4 - -5. Let h = -1 - m. Let o(d) = -d**3 + d. Let u be o(-1). Which is smaller: u or h?
h
Let i = -10 + -78. Which is greater: i or -89?
i
Let v(d) be the third derivative of d**6/120 - d**5/6 - d**4/24 + 7*d**3/6 + 2*d**2. Let r be v(10). Is r equal to -3?
True
Let u = 0.2 - 0.1. Suppose -3*w = 4*x - 19, 3*w = -3*x + 8*w + 7. Suppose x*j = 6 + 2. Which is smaller: u or j?
u
Let c(z) = -z**3 - 12*z**2 - 12*z - 9. Let a be c(-11). Let t be -1 + 1/(2/a). Suppose 2*f + 3 = 1. Which is greater: f or t?
t
Let o = -4 + 7. Suppose -3*x = -2 - 16. Suppose g - x = -2*g. Which is greater: o or g?
o
Let m(q) = -q**3 + 9*q**2 + 11*q + 2. Let a be m(10). Let j be a/20*4/(-3). Let s be (-1 - -1)*(-3)/(-6). Which is greater: j or s?
s
Suppose 3*q - 3 = 3*k, 4*q - 15 = -5*k - q. Let m be 1*(1 + k/(-1)). Is m not equal to -1/5?
True
Let g be -2*(-1 - 4) + -2. Let m = g - 3. Which is smaller: m or 4?
4
Let j be (1/15)/((-15)/(-90)). Let y(n) = n**2 - n - 3. Let o be y(3). Suppose -4*t + 5*a = -11, -o*t - 4*a + 2*a = 9. Which is bigger: j or t?
j
Let z = -26 + 24. Suppose -2*w = -5*k + 14, 3*w + 2 = -4. Let x be k + -2*3/2. Which is greater: x or z?
x
Let q = -2/3 + 1/3. Is 0.06 <= q?
False
Suppose 2*c - 2*a = -3*a - 9, 29 = -2*c - 5*a. Let d = -2.9 + 3. Is d at least c?
True
Suppose -3*o + m - 28 = 0, -o - 2*m - 2 = 5. Let x = o + 9. Which is smaller: x or -5?
-5
Let u be ((-2)/3)/(2/7). Is -0.2 > u?
True
Let q(z) = z**3 + 10*z**2 + 7*z - 8. Let m be q(-9). Let o = m - 10. Which is bigger: o or -2?
o
Let n = 84 + -86. Is -15 greater than or equal to n?
False
Let l(a) = -a**2 + 21*a - 30. Let j be l(22). Is j >= -53?
True
Let b(d) = d + 6. Let q be b(-6). Which is smaller: q or 3/10?
q
Let a = -13 + 15. Let k = -2 + a. Which is smaller: k or 3?
k
Suppose 5*l = -0*l - 20. Let g be (-58)/6 - l/6. Is -8 less than or equal to g?
False
Let j = 38 + -66. Let x be (6 - 1)*j/35. Is x smaller than -1?
True
Let b = 20 - 27. Is -1 equal to b?
False
Suppose -6 = 4*q - 22. Let k be (8/(-10))/(q/(-50)). Does k = 10?
True
Let i(o) = o**3 + o**2 - o. Let g be i(2). Let b(p) = p**3 - 11*p**2 + 10*p - 2. Let y be b(g). Which is smaller: -1 or y?
y
Let z = 6 - 9. Let x be 22/6 + (-8)/12. Suppose x*f = 4*d - 22, -2*f + 4*d - 18 = -f. Which is greater: f or z?
f
Let p(d) = -2*d**2 + d - 2. Let i be p(2). Is -6 equal to i?
False
Suppose 5*f - 2*y = -3*y + 877, 4*y = 5*f - 892. Let l = -1934/11 + f. Which is greater: 1/4 or l?
1/4
Let s be 4/(-5)*(-2)/4. Suppose -16*p + 12 = -4*p. Which is bigger: p or s?
p
Let m = 319 - 1275/4. Suppose -o = -3 + 2. Is m greater than or equal to o?
False
Let l be 237/21 - 2/7. Do -1 and l have different values?
True
Let u = -953 + 3831/4. Is u < 0?
False
Let u = -372/5 - -386/5. Is u less than or equal to 2?
False
Suppose -4*c - c = -25. Let t = c + -2. Is t smaller than 4?
True
Let p = -444/13 + 5898/143. Which is smaller: 6 or p?
6
Let f be (1 - 1) + (-6)/(-4 - -6). Which is greater: -0.3 or f?
-0.3
Let o = -71 + 70.9. Suppose -s = -2*s. Let a be s - (2/(-4) + 0). Is a > o?
True
Suppose 3 = 2*w + 1. Suppose 2*a = -11 - w. Do -6 and a have the same value?
True
Suppose 4*g - 4 = -4*q, 3*q - 4 = -5*g - q. Does 2/21 = g?
False
Suppose -5*u - 10 = -2*v, -v - 2 = -3*v + u. Suppose v = 2*f - f. Is 0 equal to f?
True
Let q be (2 + -2 + 0)*1. Let v = 21 + -9. Let h be (-9)/v*(-4)/(-6). Is h at least as big as q?
False
Let s = 0.02 - 2.52. Let v = s + 1.3. Do 0 and v have different values?
True
Let f(y) = -3*y**2 - 9 - 6*y + 13*y + 4*y**2. Let n be f(-8). Is -2/19 greater than or equal to n?
True
Let d(v) be the second derivative of v**5/20 - v**4/6 - 2*v**3/3 + 3*v**2/2 - 4*v. Let i be d(3). Which is smaller: -1/7 or i?
-1/7
Let t = -762 + 6868/9. Is 2 at least t?
True
Let p(k) = 2*k - 12. Let j be p(8). Suppose 2*g + 3*f = f + j, 3*g - 3 = -4*f. Suppose 5*l - 5 = -d, 0 = 5*l + 2*d - 3*d + g. Is l greater than 2?
False
Suppose -3 = -4*y + 21. Suppose y*g = 8*g - 8. Which is smaller: 0 or g?
0
Let q(t) = -t - 1. Let p be q(-4). Suppose 0 + 8 = 2*j. Let f = p - j. Is f not equal to -2/7?
True
Suppose 14*w + 240 = 9*w. Let h = -722/15 - w. Is h < 0?
True
Let b = 4.4 + -5.2. Let j = 0.1 - 0.2. Is j greater than or equal to b?
True
Let k = -15 - -9. Let v = k + 4. Let n = 381/4 + -96. Which is smaller: v or n?
v
Let a be 6/(-30) - 14/(-170). Is a at most -1?
False
Suppose 0 = -4*h - 3*a + 7*a - 12, -4*h + 8 = a. Suppose 0 = -n - 4*l + 8, -l + 3*l = -n. Let y = n - -60/7. Is h greater than y?
True
Let y = -17.3 + 0.3. Let i = y - -13. Which is bigger: -1/2 or i?
-1/2
Suppose 42 = -3*o - 3*o. Which is bigger: -1 or o?
-1
Let j be (-9)/(-21)*(-2)/3. Let r(s) be the third derivative of s**4/24 - 5*s**3/6 - 3*s**2. Let d be r(4). Which is smaller: d or j?
d
Let b(y) = -4*y + y**3 + 3*y - y**2 - 1 - y**2. Let o be b(3). Is 5 at least o?
True
Let z = 0.08 + -0.1. Let r = z - -0.06. Let m = -0.04 + r. Which is smaller: -4 or m?
-4
Let g = -0.629 - 0.041. Let z = -0.11 + 0.08. Let x = g + z. Is 0 > x?
True
Let x = 137/572 + -3/52. Which is greater: 13 or x?
13
Let u = -0.11 + 0.18. Let n = 0.93 + u. Which is smaller: n or 2/5?
2/5
Let x = -3.6 - -4.1. Is 6 at most as big as x?
False
Let a = -70 + 67. Let g be (1 - 0 - 3) + 1. Is g less than a?
False
Suppose -3*s + 24 = -z, 0*s + 16 = s - 3*z. Suppose u + 0*f = 4*f + 7, f + s = -5*u. Which is smaller: u or -1/6?
u
Let o be ((-1)/(-8))/((-3)/90). Is -5 at least as big as o?
False
Let b(y) = y**3 + 3*y**2 - 6*y - 6. Let z be b(-4). Let v(s) = -s + 8. Let p be v(4). Suppose 12 = p*f - 5*i, 3*f - 13 + 4 = -5*i. Is f at most z?
False
Let v(u) = u**3 + 5*u**2 + 2*u + 6. Let c be v(-6). Let p be -2 - (c/9 - -2). Let q = 23/30 - p. Which is greater: 1 or q?
1
Let l = 0.013 + 0.017. Which is greater: l or 3?
3
Let m = 14/23 - 159/299. Let h = m + 10/39. Let d = 1 + -4. Is d at most h?
True
Let l = 7 + -10. Let z = -2 - l. Which is bigger: -0.5 or z?
z
Let g be 16/(-10) + 3/3. Which is greater: g or 3?
3
Let m(y) = -y**3 - 4*y**2 - 2*y + 6. Let n be m(-3). Is n equal to 19/6?
False
Let z(h) = h - 6. Let l be z(7). Let a be l/(-4) + 11/44. Are a and -5/8 non-equal?
True
Let b be 1/(3/12)*2. Suppose -b = 3*a + 4. Let y(i) = -i - 8. Let h be y(a). Is h < -4?
False
Let w = 28 + -16. Let y be w/10 + (0 - 1). Let c = 7 - 7. Is c < y?
True
Let w = -0.09 + 0.03. Are w and 0 non-equal?
True
Let o(n) = -6*n + 21. Let a(f) = -f + 3. Let z(m) = -27*a(m) + 4*o(m). Let t be z(0). Which is smaller: 2/3 or t?
2/3
Let h(k) = k + 2. Let x be h(-7). Let j be (1 + (-1 - 1))*x. Suppose 8 - 3 = -j*q. Is q not equal to 2/7?
True
Suppose -15 = 2*o - 5*i, 2*o + i + 0*i = 3. Let a = -2.2 - -2. Let w = 0.3 + a. Do w and o have different values?
True
Let o = -4/345 + 1781/4830. Which is smaller: o or 0?
0
Let p(x) = 9*x + 1. Let d be p(-1). Let t = d - -11. Let r be t/(-2)*(-2)/12. Which is bigger: r or 1?
1
Let y(s) = -s - 2. Let j be y(-4). Let m be (-2 + (-2)/4)*-4. Let k be 9/(-3)*(-2)/m. Is j less than k?
False
Let g = -1/90 - 29/90. Let p = 403 - 400.99. Let s = p + -0.01. Which is greater: g or s?
s
Suppose 2*z = -z. Does z = 0?
True
Let p = 4.17 + 0.23. Let n = 0.4 - p. Which is smaller: -1 or n?
n
Suppose -7 = 5*l - 2*b, -4*b = 3*l - 0*b - 1. Let u(a) = a**2. Let k be u(0). Which is greater: k or l?
k
Let q = 15 - 8. Let f be (-2)/q + 55/(-175). Let k = 14 - 15. Which is bigger: f or k?
f
Let b = -9 + 13. Let i(v) = -v**3 + 3*v**2 + 4*v + 2. Let q be i(b). Let t = q - 2. Is 1 at most t?
False
Let y be (45/10)/((-6)/8). Let a be y/9 + 3/(-36). Which is bigger: -1 or a?
a
Let n = -31 + 48. Is n bigger than 1/4?
True
Suppose -11 - 80 = 7*y. Which is smaller: y or -12?
y
Let r be ((-15)/5)/(-498)*-2. Which is greater: r or 0?
0
Suppose -5*b + 7 + 8 = 0. Let c be (3 - 0) + b/3. Let y be (-1 + -1)/((-4)/6). Is y not equal to c?
True
Let y be 15 + (-1)/(-1) + 2. Is 19 at most as big as y?
False
Suppose -10*v + 21 = 1. Suppose 0 = -3*u - 5*m + 27, 6 - 1 = 2*u - m. Let l(r) = -r*