-31 + 31. Which is greater: m or u?
u
Suppose -2*f = f - 27. Is f at most 10?
True
Let u be 30/(-805)*2/(-4). Let i = u + -8861/322. Let g = -27 - i. Is 1 at least as big as g?
True
Suppose 8*b = -11*b + 4*b. Is b less than or equal to 2/73?
True
Let c(h) = -h**3 + 6*h**2 + 9*h - 14. Let d be c(7). Is -14 at least as big as d?
False
Let x = 61/4191 - -2/127. Let b be 2/(-8)*3/((-12)/(-16)). Which is bigger: x or b?
x
Let d be 3 + (63 - -2) + 2. Let t be ((-21)/d)/((-24)/(-10)). Is 1 > t?
True
Let u = 17 - 17.1. Which is smaller: 2/5 or u?
u
Let n be (0/(-3))/((-4)/2). Let l = 14 - 13. Which is smaller: n or l?
n
Suppose -g - 6 = -3*l, 2*g + 0*g - l = 8. Suppose -10*y = -g*y + 8. Is y less than or equal to -2?
True
Let t be 6 - 1*2/1. Suppose -4*n - 4*d = t, -6*n - 5*d = -5*n + 5. Let f = -3 - -3. Is n equal to f?
True
Let u(c) = c - 6. Let d(w) = 4*w - 23. Let l(i) = 2*d(i) - 9*u(i). Let n be l(5). Suppose n = 2*k - g + 7, -k = 3*g - 5. Is 0.2 greater than k?
True
Let w(q) = 5*q**2 + 2*q - 8. Let l(o) = 6*o**2 + 2*o - 9. Let b(j) = -6*l(j) + 7*w(j). Let k be b(3). Let f be 1 + 2/14*k. Is f at least as big as 1?
False
Let q = -3222 - -389860/121. Which is greater: q or 0?
0
Suppose k = -2*k - 12. Let a(m) = m - 1. Let c be a(k). Let z be 0/(-2) + c/(-30). Which is smaller: 0 or z?
0
Suppose 3 - 1 = -2*o. Let x(l) = l**2 + l + 3 + 1 - 2*l**2. Let g be x(3). Which is bigger: o or g?
o
Suppose -4*y = -f - 3*y + 20, -60 = -3*f + 2*y. Is f greater than or equal to 23?
False
Let q = 16 - 10. Suppose -3*s - q = 3*w, 5*w = 3*s + 3*w + 1. Let b = 823/7 + -118. Is b less than s?
False
Suppose 3 - 13 = -5*v. Suppose -5*a = -7 + v. Let y(r) = -r**2 - 1. Let h be y(a). Which is bigger: h or -1/3?
-1/3
Let j be (-2 - -1 - -1)/(12 - 7). Suppose -s + 28 = 3*s. Suppose -4*h - 7*c + 4*c - s = 0, -4*h = 5*c + 9. Which is bigger: j or h?
j
Let i = -0.8 - 0.2. Let b = 0 - i. Let y = -1 - -2. Is y < b?
False
Let j be 34 - -2*(3 + -5). Is 2 > j?
False
Suppose -3*p - 23 = -2*m, -5*p = 16 + 9. Suppose 3*q = m*q + 10. Is q less than -8?
True
Suppose 0 = 2*q - q - 2. Suppose -3*n + 1 = -q. Let g = -3 - -5. Is n >= g?
False
Let h = 10 + -12. Suppose 5*j - 10 = -n - 29, 2*j = 5*n + 14. Which is bigger: j or h?
h
Let c = -7 + 6. Let g be (c/25)/(2/(-1735)). Let l = 69/2 - g. Which is smaller: 0 or l?
l
Let o be 0/(-2 - -4 - 3). Suppose -2 = 4*a + 6, 4*k - 5*a - 78 = o. Is k at least 16?
True
Let z(k) be the first derivative of -k**4/4 - 3*k**3 + k**2/2 + 6*k - 4. Let t be z(-9). Is t less than or equal to -3?
True
Let f(s) be the first derivative of -s**2/2 + 11*s - 5. Let d be f(6). Which is smaller: d or 6?
d
Let i = -9 + 26/3. Which is greater: i or 0?
0
Let j be 6/12 + (-3)/54. Let i = -8 + 4. Let k be 3/(-2) - 2/i. Which is smaller: k or j?
k
Let a(r) = r**3 - 10*r**2 - 12*r + 13. Let c be 2/(-3)*(-66)/4. Let x be a(c). Suppose -h + 4*h - 2 = 4*g, -2*g + 6 = -5*h. Is x < g?
False
Let l(m) = 4*m**2 + 13*m + 12. Let c be l(-1). Let r(b) = -2*b - 5. Let z be r(-5). Is c at least as big as z?
False
Let r be 14/18 + (-10)/(-45). Suppose -r = j - 4. Is 3 less than j?
False
Let n(j) = j**3 + 9*j**2 + 19*j + 1. Let z be n(-6). Is z less than or equal to -8?
False
Suppose -x = -2*d - 5, 0 = -3*d + x - 6*x - 27. Let a be 6/(-15)*30/(-4). Let b be a/1*(-7)/7. Which is greater: b or d?
b
Suppose -2 - 3 = -5*c. Suppose 0 = t + c + 1. Is -4/3 bigger than t?
True
Let w = -1 - -3. Are w and 1 nonequal?
True
Let a = 123 + -123.121. Do -1 and a have the same value?
False
Let n be (-60)/117 - 4/(-6). Suppose 4*o + 6 = -5*d + 3*d, -2*o - 4*d - 12 = 0. Is n < o?
False
Let h = 38068/23 + -16904561/10212. Let c be (-2)/74*2/(-3). Let m = h - c. Is m less than 1/3?
True
Let l = 2882 + -11605/4. Which is bigger: -20 or l?
l
Let l = 0 - -0.3. Which is smaller: l or 2/13?
2/13
Let u = -1 + 4. Let i = 3.35 + -0.25. Let t = u - i. Is -0.1 greater than or equal to t?
True
Let p be (12/10)/((-9)/30). Let l be (2 - 2) + -3 - p. Is l at least as big as -2/9?
True
Let y be -3 - ((-134)/8 + (-3)/12). Let f be 10*(-1 + 15/6). Are f and y unequal?
True
Suppose n - 3*l + 6 = -0*n, 0 = 4*n - 4*l + 8. Let k be 5/(-14) - (-8)/16. Which is smaller: n or k?
n
Suppose 0 = 3*i - 43 + 19. Does 8 = i?
True
Let s = -14 - -13. Let x be ((-2)/(-14))/(3/(-9)). Is x <= s?
False
Suppose w + 3*w = 3*j, -w - j = 7. Let n(z) = z**3 + 3*z**2 - z + 4. Let a be n(w). Do 8 and a have different values?
True
Let u be (-4)/14*-1 - (-4)/(-14). Is -2/125 less than u?
True
Suppose 0*v - d - 19 = -5*v, 4*v - 15 = d. Let z be -4*((-6)/v - -1). Which is bigger: z or 1?
z
Let k(h) = h**2 - 5*h + 2. Let u(a) = -5*a**2 + 25*a - 11. Let m(c) = 11*k(c) + 2*u(c). Let g be m(5). Is 3 greater than or equal to g?
True
Let b = 2 - 2. Let d be 7*(-3)/(0 - -1). Let m be (4/d)/(2/(-3)). Is b != m?
True
Suppose 4*h + h = -2*n + 18, 5*n - 2*h - 16 = 0. Let k be n + -3 + 6 + -7. Which is smaller: -1/6 or k?
-1/6
Let r = 157 + -631/4. Let s = -1/4 - r. Is -2 >= s?
False
Let m be (-4)/(-6)*(-7 + 4). Which is smaller: m or -1/2?
m
Let w = 0.3 - 0.35. Let z = w + -0.55. Do z and 0 have the same value?
False
Let z = 4 + -4. Let s = z + -1. Do s and 0.6 have different values?
True
Let v(i) = -i - 8. Let g be v(4). Let j = g + 11. Suppose 5*m + 8 = 4*o + 2, o = -4*m - 9. Is o at least as big as j?
True
Let k = -84 + -13. Is -96 bigger than k?
True
Let v = -1.4 + 4.4. Which is greater: v or 2?
v
Let r = -0.7 + -0.3. Let j = 0.6 - -4.4. Which is smaller: j or r?
r
Let x be -3 + -3*2*-1. Let k = -12 + 2. Let w be ((1 - x)/(-2))/k. Which is smaller: 0 or w?
w
Let c = -9 - -17. Let z be 3/2*c/12. Suppose -l = -0*l. Is z not equal to l?
True
Let k = -54/1147165 + 31343996423/151425780. Let r = -207 + k. Let x = 29/44 - r. Is 2 at least x?
True
Let x be 8*(-2 + (-59)/(-28)). Let b = -6653/21 + 317. Let y = x - b. Which is smaller: 2 or y?
y
Let o be (14/6 - 3)*-12. Let c(g) = g**2 - 9*g + 6. Let b be c(o). Which is smaller: b or 1?
b
Let n = 3/31 + -139/155. Is n < 0.2?
True
Let p = -1.8 + -0.2. Is p bigger than 0.2?
False
Let v = 2/393 + 256/1179. Is v at most as big as -4?
False
Suppose 3*h = 6*h - 54. Let r = h - 14. Which is bigger: r or 2?
r
Let p = -2 - -3. Let u(x) = -x**3 + x**2 - x. Let c be u(p). Let a be c/(1/(4/6)). Is 0 greater than a?
True
Let w = 389/4 - 98. Let a be 0/(-39)*(6/(-4))/3. Which is bigger: w or a?
a
Let n = -2.3 - 0.7. Let i = -8 + 5. Let x = n - i. Is -2 > x?
False
Let h = 6 + -5.6. Let f = 0 + h. Let s = 0.5 - 0.4. Which is smaller: f or s?
s
Let h = 20 - 10. Let s = -8 + h. Which is greater: 2/9 or s?
s
Let s(u) = u**2 - 9*u - 7. Let a be s(10). Suppose 0 = -a*c - 19 + 1. Let p = c - -5. Is p smaller than -2/17?
True
Let v = 1.3 - 0.3. Let g be (-2)/(-1)*2/36. Is g smaller than v?
True
Let y be -6 + 2 - 3*-1. Let v = -0.01 - 3.99. Is v < y?
True
Let i(y) = -y + 1. Let c be i(-4). Suppose -c*d + 17 = -13. Let m be (-3)/(-2) - (-4 + d). Are 0 and m nonequal?
True
Let h(v) = 2*v - 5. Let q be h(4). Let y = -5 - q. Let o be (2/7)/(y/12). Which is greater: 0 or o?
0
Let u = 0.1 - 0.1. Let m = -0.1 - u. Which is smaller: m or -2?
-2
Suppose -13 = -5*h - 0*h - 2*p, 2*h - 2 = -4*p. Let b(c) = -c**3 - 4*c**2 + c + 8. Let s be b(-4). Is h at least as big as s?
False
Let o be (-4)/(-10) + (-32)/(-20). Let u be o/(-8) - (-242)/(-1880). Let l = -1/47 + u. Which is smaller: l or 0?
l
Let f be 3*(3 - 21/9). Suppose 2*q - 4 = -f*n, -q + 6 = -n - 2. Suppose -2*r = -5*d - q*r + 4, -6 = 3*r. Which is bigger: 1 or d?
d
Suppose -4*v = q - 4, 2*v - 4 + 2 = 0. Suppose q*w = -4*w + 8. Let r = 0 - -3. Is r > w?
True
Let l(p) = -p. Let b be l(-1). Let n(d) = -d + 2. Let i be n(2). Suppose i*c - 2 = 2*c. Which is bigger: c or b?
b
Let n = -5 - -4.99. Which is bigger: n or 1?
1
Suppose 0 = 4*a - 20 - 0. Suppose -3*m = a*r + 2, -5*m + 3 = 2*r - 0. Which is smaller: m or 2?
m
Suppose 3*w - 5*w = 0. Let c = w + 0. Is c >= -0.2?
True
Let g = 0.4 + -0.3. Is -0.115 at most g?
True
Let y(u) = u**3 + 2*u**2 - 3*u - 1. Let n be y(-2). Suppose -3*j - 15 = n*p + 8, 11 = j - 3*p. Is -1 != j?
False
Let i = 81029579/407330 - 2/203665. Let z = -199 + i. Is z less than 1?
True
Suppose 0 = -3*l - 3*c - 0*c + 9, 3*l + 4*c - 4 = 0. Let w be -1*(-2 - (-18)/l). Is w bigger than