 = 7*c. Let m be 3 + 3/c*-47. Which is greater: -1 or m?
m
Suppose 5*c - 3*c = -6*c. Let j be (-1)/3 + (0 - 0). Which is greater: c or j?
c
Suppose -5 = -5*t + 8*x - 3*x, -3*x = -5*t + 13. Which is smaller: 19/4 or t?
19/4
Let w(a) = 5*a**3 + 2*a**2 + a. Let b be (-6)/8 + (-7)/28. Let l be w(b). Let h be (1/(-5))/(l/(-5)). Is 3 greater than or equal to h?
True
Suppose k = -k + 32. Suppose d = p + 3, -5*p + 3 - k = -3*d. Let g be -3*-1*6/45. Which is smaller: d or g?
g
Let d(r) = -3*r**2 + 7*r + 11. Let c be d(4). Is c at least 2/5?
False
Suppose -2*m - 2*m = 0. Which is smaller: 2/5 or m?
m
Let d = 46 - 42.7. Are 0 and d non-equal?
True
Let m = 15 - -17. Which is bigger: 31 or m?
m
Suppose 0 = 11*q - 9*q - 20. Suppose -5*n - 6 - q = b, 3*b = -4*n - 15. Let i be -3*(0 + (-4)/(-6)). Which is greater: n or i?
i
Let b(d) = -29*d - 5. Let h be b(-2). Suppose -5*j - h + 13 = 4*c, 3*c = 3*j - 3. Is j greater than -4?
False
Let k(z) = z**3 + 20*z**2 - 23*z - 42. Let x be k(-21). Is -3/145 at most x?
True
Let s = -16 - -18. Let p be ((-1)/3)/(4/870). Let k = p - -74. Which is smaller: s or k?
k
Suppose -5*b + 4 = -9*b. Which is smaller: -6/19 or b?
b
Suppose -5 = -r + 2*r. Suppose -2*m = -2*a + 54, -5*a - m = -4*m - 141. Suppose 0*b - 18 = 4*v - b, 4*v + a = -5*b. Is r > v?
False
Suppose -5*h + 2*h = 0. Let z = -11 - -8. Let v be 1*(-2)/(-14)*z. Is v greater than h?
False
Suppose 1 = 2*p - 1. Suppose 4*c - p = 3. Which is greater: 5/4 or c?
5/4
Let q be -1*(-15)/290*-2. Is -1 less than q?
True
Let f = -73 + 72. Are f and 3/25 equal?
False
Let l be (-2)/11 + 394/(-11). Let t be (l/21)/(2/(-14)). Let h be (4/t)/(1/3). Is 1 less than or equal to h?
True
Suppose -5*x - 3*h = -7, -2*x + x - 2 = 4*h. Suppose 0*o + o = -5*l, x*o + 9 = -l. Let m(d) = 5*d**2 - 2*d + 1. Let k be m(l). Is k < 4?
False
Suppose 2*k = 3*h + 4, h = 3*h + 3*k - 6. Suppose 2*i = -5*y - 35, 12 = -3*i - 3. Let f be y/(-6)*4/15. Does f = h?
False
Let q be 2*(18/4 - 3). Suppose -5*i - 5*o + 15 = 0, q*i - 2*o + 6 = -0*o. Let n = -65/4 + 451/28. Is i greater than n?
True
Let g = -6 + 9. Let k be -6 + g/(-6)*-6. Which is bigger: k or -1/2?
-1/2
Let c = 0.3 + -5.3. Is -1 bigger than c?
True
Let s be (1 + 1)*(-4 - -5). Suppose -3*x + s = -5*y + x, -3*y = -3*x. Are -2 and y equal?
True
Let f be (-2 + 2)/1 + 2. Let p = 6 + -2. Suppose p*o = f*o. Which is bigger: 4/7 or o?
4/7
Let k = 7 + 14. Suppose -2*b = 2*b - 5*m + k, 4*b - 24 = -4*m. Is -2/11 greater than or equal to b?
False
Let y = 7041 - 2612213/371. Which is greater: -1 or y?
y
Let j = 5 + -3. Suppose 3*k + 5*p - 292 = k, 0 = j*p. Let i = -1020/7 + k. Which is smaller: -2/3 or i?
-2/3
Suppose 5*p + 2 = 6*p. Which is greater: p or 8/7?
p
Suppose -6*o + 4*o + 5*l = 0, 3*l = 0. Suppose o = 4*a - 3 + 7. Is 2/21 at least a?
True
Let c(u) be the first derivative of -u**3/3 - 7*u**2/2 + 2*u - 3. Let t be c(-7). Let o = -2 + t. Do o and 0 have different values?
False
Let k be (-4)/6 + 244/6. Suppose -3*l = -8*l - k. Let t(i) = i**3 + 8*i**2. Let x be t(l). Does 2 = x?
False
Let l be 6/2 + 26/(-10). Let b = 36 - 1441/40. Let r = b + l. Which is bigger: r or 0?
r
Suppose -4*w + 3*k - 9 = 0, w - 6 - 3 = -3*k. Let d = -659 + 435. Let t = -1564/7 - d. Is t greater than w?
True
Let a(j) = j + 1. Let l be a(0). Let m(u) = 2*u - 16. Let t be m(8). Suppose -4*h - 2 = -2*h + 2*s, t = -3*h - 2*s. Which is smaller: h or l?
l
Suppose 3*y = 11*y - 160. Is 21 > y?
True
Let r(u) = -u - 17. Let f be r(-17). Which is bigger: 1/23 or f?
1/23
Let t = 64 - 66. Is t greater than or equal to -10/9?
False
Let x(v) = -v**3 + 7*v**2 - 7*v + 9. Let s be x(6). Suppose -1 = s*o + 11. Let y = o + 10. Which is smaller: -1 or y?
-1
Suppose 0 = z - 0*z - 4. Let l = z + -2. Which is bigger: l or -2/7?
l
Suppose 0 = 2*z - 7*z + 3*o + 15, 12 = 4*z - o. Let l = -3 + z. Let t = 13 + -12. Which is smaller: l or t?
l
Let m be (-45)/(-42)*2/10. Is 1 less than m?
False
Let s be (-4)/14*(-8)/8. Suppose -p + 3*p - 8 = 0. Let r be ((-2)/p)/((-2)/4). Which is greater: s or r?
r
Let h = -68.1 + 68. Which is bigger: 5/8 or h?
5/8
Let v be (-1 - 33/(-9)) + -3 + 5. Is 6 at least as big as v?
True
Let p = -10 + 10. Suppose 0 = 2*g + 4*z - 4 - 14, 2*g = -5*z + 21. Which is smaller: p or g?
p
Let c = 21 - 63. Which is smaller: -40 or c?
c
Let u = 15 + -14. Is 1 >= u?
True
Suppose 2*l + 4 = 2. Let n = 32 + -32. Is n greater than l?
True
Let y be 8/(-24)*1/3. Let a = -1.2 - -1.1. Which is smaller: a or y?
y
Suppose -3*d + d = -3*u + 3, 3*u + 6 = 5*d. Suppose -y + 16 = 3*y. Suppose 5*g + 2*h - 25 = 7*h, -2*g - h + y = 0. Is d at most g?
True
Let d be (-3 - -2)/((-2)/(-6)) + 4. Is -0.44 at most d?
True
Suppose -2*l + 8 = 0, -2*l = -2*d - 3*d - 3. Let y be d*-1 + 10 + -7. Is y greater than or equal to 3?
False
Let h(r) = -r**2 - 4*r - 3. Let t be h(-2). Let k be ((-4)/26)/(30/14). Let x = k - 4/65. Do x and t have the same value?
False
Let l = -115/34 - 2/17. Does l = -4?
False
Let t = 1/6 + 1/30. Let u(k) = -2*k + 3*k**2 - 4 - 4*k - 4*k**2. Let f be u(-5). Which is smaller: t or f?
t
Let i(s) = s**3 - s**2. Let l(u) = 0 - 1 - 2*u**2 + 4*u**3 - u + 2. Let b(n) = i(n) - l(n). Let c be b(1). Is c >= -3?
True
Let z = -8 - -13. Is -3 smaller than z?
True
Let a be 3/(-12) - (-14)/8. Let b be (0 - 3)*(-6)/9. Which is bigger: b or a?
b
Let p(s) = -3*s + 4. Let f(q) = 7*q - 7. Let w(n) = 2*f(n) + 5*p(n). Let b be w(8). Let r be ((-6)/9)/(2/3). Which is smaller: b or r?
b
Let m be ((-3)/(-2))/((-3)/6). Let v = 3 + 0. Suppose -2*x - 4*w - 8 = 0, v*w = 3*x - 2*w + 1. Which is bigger: x or m?
x
Let y = 7 - 2. Suppose b - 4*b - 2*v + 2 = 0, -2*b - 5 = -y*v. Suppose -12 = -b*q + 2*q + 2*j, q - 2*j = 6. Is -0.2 less than q?
False
Suppose -3*z - 3*u = -5*z + 33, -2*u = 6. Let b be -8 + z + (-3)/1. Let v be 2 + 0 - (-4)/(-6). Is v less than or equal to b?
False
Let a = 0.08 + 0.04. Let z = a + -0.02. Which is smaller: 1/4 or z?
z
Let m(p) = 2*p**2 - 8*p + 6. Let o be m(5). Suppose 3*q + 22 = o. Which is bigger: -1/2 or q?
-1/2
Suppose 292 = -c - 3*c. Which is smaller: -74 or c?
-74
Let o = -58/31 + 769/527. Which is smaller: 0 or o?
o
Let f = -51933 + 7062855/136. Let s = f - -1/8. Let z be (-2)/(-2)*(-4 - -3). Which is smaller: z or s?
z
Let y = 0 + 1. Let s be (-1)/9 - (-130)/117. Do y and s have the same value?
True
Suppose 3*c - 2*c = 4*x + 32, -48 = 4*x - 5*c. Let n = x - -7. Is n bigger than 2/23?
False
Let n = 119774/71 + -1687. Is n at least 1?
False
Let f = 5 + -9. Let i = -7 - -12. Suppose -j + i*w = 16 + 12, -w - 1 = 2*j. Which is smaller: f or j?
f
Let x = 2 + -2.1. Let b = -10 - -19/2. Do b and x have different values?
True
Let y = -713/5 - -143. Let a be 176/18 + 4/18. Suppose -a = 2*t + 3*x + 2*x, 5*t - 3*x = 6. Which is bigger: y or t?
y
Let i = 10.3 + -11.3. Which is bigger: i or 70?
70
Let v be -4 - (4 - (0 + 4)). Which is bigger: -3 or v?
-3
Let y be -2 - 5/(1 + -2). Is 4 <= y?
False
Let h = -10 + 14. Let o be (-2)/24 + h/(-16). Is o greater than or equal to 1?
False
Let c be 10/4*(-4)/(-1865). Let p = -688/10817 - c. Does p = -1?
False
Let g(z) = 2*z + 3. Let h be g(-2). Let d be 5/120*(1 - h). Let k = -4 + 5. Which is greater: d or k?
k
Let m be ((-3)/(-8))/(18/824). Let r = 17 - m. Let g(p) = p**3 - 4*p**2 + 2*p + 4. Let c be g(3). Are r and c equal?
False
Let w = 171 - 152. Which is smaller: w or 2?
2
Let z = -50 - 4. Let l = 271/5 + z. Is 1 <= l?
False
Suppose 15 = 4*c + 3. Let g = c - 2. Let p be (0 + -1)/(-1 + 0). Is p at most g?
True
Let o = 3/2 + -11/10. Let a be (-2)/1*-1 - 2. Let n be (a - 0)*1/(-2). Which is smaller: n or o?
n
Suppose -i + 2*s = -3, s + 5 = i + 4. Let k be -2 + -5*(-9)/21. Which is smaller: k or i?
i
Suppose -6 - 9 = -3*p - 3*n, 16 = 2*p + 4*n. Suppose 0 = 4*x - p*t + 14, 0*x + 5 = 5*x + 5*t. Is x not equal to -16/5?
True
Let l = 489/434 - -1/62. Which is bigger: 0 or l?
l
Let a = 67 - 68. Is a > 2/19?
False
Suppose 0 = 2*q - 4*q + 52. Suppose -3*i = -y + q, 2*i - 9 = -4*y - 3. Is -5 greater than i?
True
Let y = 99 + -59. Let w be (9/(-6))/(6/y). Let s = -31/3 - w. Which is bigger: s or 1?
1
Let c = 0 + -0.2. Let p = -0.1 + 0.4. Let b = p + c. Are 1 and b unequal?
True
Let d(w) = w**3 + 3*w**2 + 4*w + 3. Let u be d(-2). Let j be (u - -3) + -1 - 1. Is j > 1/2?
False
Su