3*c - 8 = -5*k, j = -2*c + c + 2*k - u. Is c bigger than -1?
False
Suppose 19*b = 14*b - 80. Which is greater: b or -15?
-15
Let s = 54 - 23. Are s and 0 unequal?
True
Suppose o = 5*n - 27, 3*n + 2 = -o - 9. Let s = o + 14. Suppose 5*a = -20 + 5. Is a at most s?
True
Let s be (-104)/(-18) + -3 - 3. Let u be 0/((4/(-2))/2). Let f be u - ((-16)/6 - -2). Which is bigger: f or s?
f
Suppose -3*t + 12 = -7*t. Let u be (0 + -1 - 2)/t. Is u < 4?
True
Let m(d) = -d**2 - 9*d - 9. Let f be m(-8). Let s be 1 + f + (-4 - -7). Which is greater: s or 6?
6
Suppose -2*u + 0*u - 2 = 0. Let w = 14 - 21. Let o(m) = m**3 + 8*m**2 + 7*m + 3. Let d be o(w). Which is smaller: u or d?
u
Suppose -s - 5 = -3. Let b be ((-2)/16)/(s/(-12)). Suppose -g - 3*g = 4. Does g = b?
False
Let r be (-2)/(-3) - (-19)/3. Let i be 4 + (-3 - (1 - 2)). Suppose 0 = -r*v + i*v - 30. Which is smaller: v or -7?
-7
Suppose -5*q = -y + 50, -5*y + 5*q = -6*y + 60. Suppose 2*p - y = -3*p. Is 11 equal to p?
True
Let s(l) = -l**2 + 4*l + 4. Let m be s(4). Suppose -3 - 7 = -a + 5*w, m*w = -4. Suppose -3*j = o + 4*o - 19, -a*o - 2*j + 16 = 0. Which is smaller: o or 1?
1
Let p = -77636650 + 221652639757/2855. Let n be (-1126)/(-4568) + (-2)/8. Let a = p + n. Is a at least as big as 1?
True
Let l = 76/165 - 2/33. Are -9 and l unequal?
True
Let n = 16 + -16.14. Let o = -1.04 - -1. Let a = o - n. Which is smaller: -2 or a?
-2
Suppose -3*q = 2*q - 10. Let s(w) = 5*w**2 - 6*w + 5. Let b(c) = -4*c**2 + 5*c - 4. Let k(g) = 4*b(g) + 3*s(g). Let d be k(q). Which is bigger: d or 1/3?
1/3
Let c be 5*(4 + 4) - 0. Which is bigger: 39 or c?
c
Suppose 2*y + 8 - 6 = 0. Let q = y - -7. Are q and 6 equal?
True
Suppose -7*i + 3*i - 4 = 0. Which is smaller: -0.04 or i?
i
Let f be -1 + 7 + 16/(-4). Let a be (-9)/(-2)*(-8)/(-6). Let v be (15/a - f)*-2. Is v less than or equal to 2/5?
True
Let f be (-1760)/363 + 2/11. Which is smaller: -1/3 or f?
f
Let s be (-2)/(-6) - (-2)/6. Let b = -1097 - -1097. Which is greater: b or s?
s
Let w(h) be the first derivative of -h**3/3 + 7*h**2/2 + 10*h - 1. Let n be w(7). Let g = n - 4. Is 5 at least as big as g?
False
Let d = -7.02 - -0.02. Let l = 7.14 + d. Let b = l - -0.06. Which is greater: b or 2?
2
Let x = 4 - 5. Let p(h) = h**2 + 3*h + 1. Let v be p(x). Let b be (-2)/(-9) + 2 - 2. Which is greater: b or v?
b
Let t = -119 + 118.95. Which is bigger: 0.03 or t?
0.03
Let n = -24 - -24. Is -3/14 greater than n?
False
Let u = 2.1 + -12.1. Let o = -10.1 - u. Suppose 6*l - 20 = l. Is o bigger than l?
False
Let c = 0 - 1. Let j = 2 + c. Let f be ((-30)/(-14) - 2)*j. Which is smaller: f or -1?
-1
Let b be (-2)/(-6) + (-20)/6. Suppose 4*x + 5 = 3*x. Let h = x - -2. Is b less than h?
False
Let f be (-12)/36 - (-44)/114. Which is smaller: -1 or f?
-1
Let d be (-12)/(-4) - 1 - -2. Which is greater: d or 0?
d
Let v = -5 - -7. Suppose -g - v*g = 3. Let j = 32/5 + -298/45. Which is greater: g or j?
j
Let f(d) = d**2 + 5*d + 2. Let a be f(-3). Which is smaller: -13/3 or a?
-13/3
Let r = -11.7 + 0.7. Let w = 12 + r. Which is bigger: w or -0.02?
w
Let k be 12/78 - (-8845)/(-6708). Let x = k + -1/516. Which is greater: x or 0?
0
Let h = 14.964 + 0.036. Are -1 and h nonequal?
True
Suppose -f + 294 = -5*b, -7*b + 5*f = -3*b + 231. Which is greater: 1/2 or b?
1/2
Suppose d = -2*h - 5, -h - 4*h = -d + 30. Which is smaller: d or 0?
0
Let q = 0.07 - -7.93. Let a = 5 - q. Let x = 1.1 - 1. Which is smaller: x or a?
a
Suppose -4*a = 5*j + 4, -5*j + j - 1 = a. Does -2/7 = j?
False
Suppose -6*g + 5 = -g. Is g < 2?
True
Suppose -7 - 1 = -4*k. Suppose 4 = 3*v - k*r, 4*r = -v + 2*r - 4. Is v greater than 2/7?
False
Suppose -5*m + 11 + 5 = 4*w, 8 = 2*w - 5*m. Let a be (-3)/((-11)/2 + 4). Let x be (a/w)/(1/(-2)). Which is bigger: x or -2?
x
Suppose 0 = -5*n - 4*f + 22, 3*n = n - 5*f + 19. Let y be (-4)/n + 2/2. Which is bigger: y or -1/3?
-1/3
Let r be 3*4/(-15)*-5. Suppose -g - r*x - 2 = 0, 4*g = 2*x - 52 + 8. Let q be g/(-12)*3/(-10). Is -1 > q?
False
Let k = 1.7 - 1.8. Which is smaller: -1.13 or k?
-1.13
Let f = -7 + 6.4. Let u = f - 0.4. Is -1 equal to u?
True
Let j = 1 - 2. Let l be -2 - j/1 - 0. Let b = 4 - 3. Is l less than or equal to b?
True
Let y be 7511/63 + (-4)/18. Let f be (-1 + 0)/((-7)/y). Suppose -5*m = f + 3. Is -4 less than or equal to m?
True
Let k(v) = -v**2 + v - 12. Let t be k(0). Let w = t + 13. Is 4/13 != w?
True
Let v be (-2)/(2 - 4) - 39. Let j = -113/3 - v. Let g = -187/4 + 47. Is g != j?
True
Let b(t) = t**3 + 7*t**2 + 5*t - 6. Let w be b(-6). Suppose w = -5*i + i + 12. Are 3 and i equal?
True
Suppose 5*a = 2*a + 12. Let i = -13 - -16. Which is greater: i or a?
a
Let w(h) = -4*h - 3*h**2 - 3*h**2 + h**3 + 0*h**2 + 2*h**2 + 1. Let z be w(5). Are z and 5 non-equal?
True
Let d(z) = -z**2 + 3*z + 5. Let o be d(4). Suppose -3*n + 167 = u, 0 = 2*n + 3*u - 55 - 54. Let y be 2/3 - n/192. Which is smaller: o or y?
y
Let l = -2645243853/44 - -60128249. Let c = -9070 + l. Let o = c + -3/11. Is -1 equal to o?
False
Suppose 5 = -2*f + 1. Suppose t - 2 = 2*t. Let w = t + f. Is -4 less than w?
False
Let u = -56 - -78. Let l be (-3)/6 + u/4. Suppose 0 = -4*q + 1 - l. Is -2/9 bigger than q?
True
Let y = 264 - 1065/4. Let j = y - -2. Are 3 and j equal?
False
Let p = -3.87 + -0.13. Let k = 3.8 + -8. Let h = k - p. Is h greater than or equal to 1/4?
False
Let u be (380/(-376) - -1)/((-1)/12). Is u < 0?
False
Let b be (24/33 + -1)/(12/(-24)). Is b not equal to 1?
True
Let j be (-14)/7*1/(-2). Let d(u) = u**2 - 3*u + 1. Let h be d(j). Let g be (-1)/(-1)*h*1. Are g and -4/3 equal?
False
Let h(s) = 6*s + 6. Let u be h(-3). Which is bigger: u or 3/2?
3/2
Let h(k) = -k**3 - 7*k**2 - k - 8. Let n be h(-7). Let w be -15*(-1 - 4/(-6)). Suppose -5*x + 0*x = -w. Which is smaller: x or n?
n
Suppose 3*t = 5*t - 20. Suppose 0 = -2*s + 2 + t. Is 5 bigger than s?
False
Suppose -4*u = -11 - 5, 0 = -4*t + 5*u - 20. Which is smaller: 5 or t?
t
Let a be (-6)/(-2) - 6/(-6). Suppose -a*b - b + 25 = 0. Suppose -k + 2*g = 4*g - b, 20 = -4*k + 2*g. Is k > -4?
True
Let t = -11 - -11. Which is smaller: -2/17 or t?
-2/17
Let y = 11 + -18. Let n = y + 8. Is n less than or equal to 5/3?
True
Let z(x) = x**2 - 5*x - 2. Let h be z(5). Suppose 2*l = 4 - 0. Suppose -s + f + 0*f = 7, 0 = -l*f + 8. Which is smaller: h or s?
s
Suppose 0 = -0*g - 4*g. Suppose g = -i - 2*i - 6. Let c be 9/(-9) - (-1 - -2). Is c greater than or equal to i?
True
Let g be 4*(-15)/(-6) + 1. Let z = -2 + g. Let y be 24/z*3/2. Are 3 and y unequal?
True
Let v(n) = -5*n**2 + 11*n. Let b(k) = 11*k**2 - 23*k. Let t(p) = 6*b(p) + 13*v(p). Let l be (4/(-8))/(2/20). Let s be t(l). Which is smaller: 0.4 or s?
s
Suppose -3*m + 257 - 38 = 0. Is 73 < m?
False
Let h = 7 + -6. Let z be ((-2)/(-32) - 0)*6. Is z at least h?
False
Let f be (-1)/(-1) + (144 - -5). Let p be (8/f)/(8/20). Let h = p + -31/120. Is 1 <= h?
False
Let b(h) = h**2 + h - 1. Suppose -5*d = -3*d. Let g be b(d). Suppose 4 = -5*c - 1. Is g != c?
False
Suppose -a - 5*v = -3*a, 0 = -3*a - 3*v. Let s = -0.5 + 0.41. Are a and s non-equal?
True
Let q = 0 - 2. Which is smaller: -2/13 or q?
q
Suppose 4*z - 5*z = -1. Let l be z*-3*4/6. Which is greater: l or -3?
l
Let y(d) = 2*d**3 - 5*d**2 - 5. Let b be y(4). Suppose 0 = 4*q + 1 + b. Is q at least as big as -11?
True
Suppose 5*b = 2*s + 6, 3*s - 21 = -4*b - 7. Let l = s + -2. Suppose 7*i - 4*i + t - 2 = l, 1 = 3*i + 2*t. Is 2 smaller than i?
False
Suppose -3*z + 4*a + 12 = 3*a, 3*z = 5*a. Suppose -z*m - 37 = -0*m + 3*f, -m + 7 = -3*f. Is m greater than -6?
True
Suppose 2*q + 3*i = -q + 24, 5*q - 28 = -i. Suppose 4*u - q*u = -1. Let d(k) = -2*k**2 + 4*k + 7. Let m be d(3). Is u at least as big as m?
True
Let i be ((-2)/(-3))/(1/3). Is 9/7 bigger than i?
False
Let n = -2 + 1.9. Let j = 0.1 - 6.1. Let t = j - -4. Are n and t nonequal?
True
Let n(s) = s**3 - s + 1. Suppose -4*q = -6*q. Let o be n(q). Let d = -30 - -119/4. Is o smaller than d?
False
Let v be (-11024)/40 + (-4)/10. Let r be v/14 - (-2)/(-7). Let j be (-3)/(-15) + 9/r. Are 4 and j nonequal?
True
Suppose -u = n - 5 + 6, 2*u = 6. Let p = n - -1. Let f(d) = d**3 - 5*d**2 + 4*d - 4. Let x be f(4). Is x less than p?
True
Let h = -14 + 12. Which is smaller: h or -3/2?
h
Let j be (-6)/(-21)*(-1 - -8). Are 5 and 