e 0 + l - (-2 + -2). Which is bigger: r or b?
b
Let x(k) = -2*k**3 - 24*k**2 - 2*k - 23. Let u be x(-12). Let q = -467/38412 - -4/873. Are u and q unequal?
True
Let a = -876 - -498. Let c be 6/(-27) - (-2076)/a. Which is smaller: c or -7?
-7
Let w(s) = -s**3 + s**2 + 6*s + 2. Let b be w(3). Let d be b - (12 - (6 - 1)). Suppose 0 = -5*c - 5, 4*c + 14 = -3*l - c. Is l at least d?
True
Let x(n) = -n**3 - 2*n**2 + n + 1. Let m be x(-2). Let y be (-1)/(m + (-2)/(-3)). Suppose 0 = -237*p + 240*p + 2*z - 3, -4*z + 7 = 5*p. Are p and y equal?
False
Suppose 0 = 20*b + 272 + 8. Does b = -201/13?
False
Let j be (-10 + (0 - -10))/(-1*4). Do j and -10/169 have the same value?
False
Let w = 1209 + -1174. Is 35 greater than or equal to w?
True
Let p = 44 + -41. Suppose 13 = -w - p. Does -17 = w?
False
Suppose 27*w = 26*w - 83. Let n = 61 + w. Do n and -23 have different values?
True
Let k = -40.2 + 37.13. Is k less than -0.1?
True
Let s be 8/(-2)*55/(-44). Suppose 5*x + 145 = s*f, -x + 0*x - 5*f - 41 = 0. Are x and -30 equal?
False
Let o be (-128)/(-142) + (6 - (1 - -6)). Which is smaller: o or -1?
-1
Let w be ((-2)/1116 - 0)/((-4)/(-8)). Are w and 1 nonequal?
True
Let p = 1090 + -1090.3. Do p and -1/10 have different values?
True
Let n be 16/120 + 79172/165. Let j = 480 - n. Which is smaller: j or 1?
j
Suppose 5*f = 15, 3*o - 3*f + 98 = -1. Let n be (o/(-25))/(8/(-20)). Which is smaller: n or -11/3?
-11/3
Let z = 0.06751 + -2.06751. Let o(n) = -n**3 + 6*n**2 + 4. Let m be o(6). Let t be 4/9*(-6)/m. Is t > z?
True
Let s be 35/2*(-72)/30. Let m = s - -6. Let b be (-2)/(-1*(-2 - m)). Do b and -1 have different values?
True
Let k be (-1 + -1)/(2 - 1). Let d be -10*((-6)/4)/(-3). Let i be (28/35)/(2/d). Is i greater than k?
False
Suppose 213 = -4*p - r, -5*p = 4*r + 76 + 182. Is -323/6 less than or equal to p?
False
Let g = -24 - -27. Let r be (-4 + g - 0)/(-1). Which is smaller: r or -0.3?
-0.3
Let k(a) = a**2 - a - 4. Let y be k(0). Suppose 0*q - 32 = -4*q + 4*m, 3*m + 4 = -q. Let s be q/(-5) - 5/y. Is s at least as big as 1?
False
Let v = -161 - -158. Which is smaller: v or -36?
-36
Let g = 0.19 - -0.71. Let y = -46 - -68. Let l = y - 21.9. Which is bigger: g or l?
g
Suppose -h = 2*v, -2*v - 30 = -5*h - 6*v. Let a = 16 + -7. Which is bigger: a or h?
h
Let v = 16 - 3. Are v and 13 nonequal?
False
Suppose -4*n = g - 23 - 3, -n = 2*g - 17. Suppose -g = 3*s + 3*s. Let r = -3 - -2. Is s at most as big as r?
True
Suppose 3*v - 8*v = -20. Let a(f) be the third derivative of -f**5/60 + 5*f**4/24 - f**3 + 26*f**2. Let k be a(v). Does -2/3 = k?
False
Suppose 255 = -39*x + 24*x. Which is bigger: -9 or x?
-9
Let s = -62 - -30. Let j = -18 - s. Let l = 13 - j. Which is greater: -16/7 or l?
l
Let b = 61.08 + -61. Let l = 512.92 + -504. Let y = l + b. Which is smaller: 1 or y?
1
Let u = 2.1 - 2. Suppose 0 = -41*m + 22*m + 95. Are m and u non-equal?
True
Let y be (4/18)/(5/2515) + -6. Let g(c) = 18*c + 2. Let b be g(-6). Let j = y + b. Is j at least as big as -1?
True
Let t be ((-106)/(-110) - 1)*-5. Let y = 72 - 147/2. Is y greater than t?
False
Let x = -1.23 + 1.23. Let l = 0 + -0.1. Let n = x + l. Is 0.03 less than n?
False
Let q = 23/21 + -5/21. Let o be 1/(63/112) + 2/9. Suppose -o*m = -5*y - 10, 2*y - m + 5 = -0*m. Which is bigger: q or y?
q
Let m be (-6)/(-27) + 6/(-27). Suppose 5*i = -5*c - 250, 0 = 2*i - 3*i + 3*c - 30. Let n be i/39 - (-1 + 0). Which is smaller: m or n?
n
Let h = -0.017 + 21.017. Let z = h - 20. Let n = -0.1 - 0. Which is smaller: z or n?
n
Let q = 12463/9 + -1389. Suppose 5*h = 4*m + 2*h + 17, -5 = 5*h. Is q at most as big as m?
False
Suppose 2*v + 2*s + 10 = 0, v - 31 = 3*v - 5*s. Suppose 7*d - 4*d - n = -1551, 2*d + 1038 = 2*n. Let k be 18/d*v/(-6). Is k smaller than 0?
True
Let k = 2 - 2. Let g = -2037 + 20373/10. Which is smaller: k or g?
k
Let k(v) = -v**2 + 7*v - 10. Let z be k(7). Let b = z + 12. Suppose b*g + 0*g + 2 = 0. Is g greater than or equal to 2/15?
False
Let w = 68 - 40. Let n = w + -30. Which is greater: n or 0?
0
Let u(d) = -d**2 - 2*d + 8. Let s(a) = -a - 10. Let m be s(-6). Let f be u(m). Suppose -4*p + 7*p - 42 = f. Are p and 13 equal?
False
Let w = 0.37 + -5.37. Let f = w + 9. Which is smaller: 7 or f?
f
Suppose -z - z - 2*t = 2, -5*z - 3*t - 3 = 0. Suppose z = -2*h + 3*q - 22, 2*q - 3*q = 5*h + 38. Which is smaller: -6 or h?
h
Let m = 489 - 320. Let k be (5312/(-24) + -5)/(4/(-3)). Let f = k - m. Which is greater: f or 1?
1
Suppose w - 5 - 2 = 0. Suppose w*n - 16 = 19. Which is greater: n or 1?
n
Let w = -3/80 - -809/240. Are w and 2 non-equal?
True
Let n = -1 + -29. Let i = n - -35. Which is smaller: i or 6?
i
Let k = 448.45 - 447. Which is greater: k or 6?
6
Let k be 1500/(-125)*((-138)/(-32))/1. Which is bigger: k or -51?
-51
Let n = -4 - -4.1. Suppose -2*l - 31 = 147. Let t = l - -1067/12. Do n and t have the same value?
False
Let p = -757 - -790. Which is smaller: p or -1?
-1
Suppose 3*s = -s + 56. Suppose 0 = n + n + s. Let w be 128/399 + 2/n. Which is smaller: 1 or w?
w
Let j = -8 + -15. Let h = 24 + j. Which is smaller: h or 3/16?
3/16
Let h be (-20)/50 - (-22)/5. Suppose -h*d = 26 + 10. Do d and 2 have different values?
True
Let r be ((1/1)/2)/((-6)/(-24)). Suppose 33 + 25 = -r*w. Which is smaller: w or -28?
w
Let v = 1242 - 1246. Which is greater: -4/7 or v?
-4/7
Let q = 11502/53 + -217. Is q bigger than -1?
True
Let s be 90/24 - 4 - 351/20. Which is bigger: -17 or s?
-17
Let c(s) = -s**3 - 4*s**2 + 8*s + 7. Let y be c(-5). Let l be 2/12*1 + 860/(-120). Are l and y equal?
False
Let v(w) = -w + 5. Let s(m) = -1. Let f(u) = 5*s(u) + v(u). Let k be f(1). Let z be k*2*1/(-5). Is z bigger than -10/9?
True
Let h = -976 + 989. Let p(c) = 2*c**3 - 3*c**2 - 4*c - 1. Let d be p(3). Is h equal to d?
False
Let p = -17703 - -885213/50. Which is bigger: 1 or p?
p
Let b be 6/4*(-20)/(-6). Suppose -z - 2*z - 3*n - 60 = 0, 5*z = b*n - 140. Is z at most -24?
True
Suppose 2*w = -8*w - 1980. Which is bigger: w or -199?
w
Suppose -8*q = 15*q - 23. Which is smaller: 4/395 or q?
4/395
Let r be -1*2/12 - 2235/(-6930). Which is smaller: 0 or r?
0
Suppose 0 = 14*z - 9*z + 5. Let c be 3 + (1060/(-85))/4. Which is greater: z or c?
c
Let r be 2*-6*(-9)/4. Let l be r/(-18) - 922/(-198). Let d = 28/9 - l. Is 0 at least as big as d?
True
Let u(s) = -2*s + 4 - 3*s + 2 + 4*s. Let t be u(-4). Is t less than 2/5?
False
Suppose 0 = -a - 56 + 52. Is -36/11 smaller than a?
False
Suppose 128 = 8*u - 88. Let j(k) = -k**3 - 8*k**2 + 6*k. Let g be j(-9). Let m = u - g. Which is greater: m or -4/7?
m
Let t = 26 + -26.01. Let f = -0.08 + t. Is 2 > f?
True
Let g be -189*((-196)/(-42) - (0 - -5)). Which is smaller: g or 70?
g
Let q be (-14)/3 + 4 + 9902/(-6). Is -1651 smaller than q?
False
Suppose -35*f + 4*q - 3600 = -39*f, -4*f + 3576 = -2*q. Is f at most 896?
True
Let j be 0/(5*8/40). Suppose 4*u - 19 = 7*u + 5*m, u - 7 = m. Is j greater than u?
False
Let l be (-2084)/18 + -7 + (-671)/(-99). Which is bigger: l or -118?
l
Suppose 0 + 10 = g. Let c be ((-1)/8)/(((-25)/g)/(-5)). Which is smaller: 0.2 or c?
c
Let o = 30.9 + -31. Let g = -1/24 - 41/744. Which is bigger: g or o?
g
Let w be 4944/7254 + 2/(-3). Let b = -1124/21359 + w. Which is bigger: b or 1?
1
Let r = -0.04 - -0.03. Let g = r - 16.99. Let s = g + 16.93. Is s at least as big as -0.1?
True
Suppose -79 - 153 = 4*h. Is -27 greater than or equal to h?
True
Let w(j) = -8*j - j**3 - j + 0*j**3 - 7 + 7*j + 5*j**2. Let f(q) = 4*q**2. Let g be f(-1). Let m be w(g). Is m at least 1/25?
True
Let j(v) = 2*v**3 - 18*v**2 + 17*v - 7. Let g be j(8). Are -23 and g unequal?
True
Let r be (-21)/3*(-336)/(-147). Which is smaller: r or -28?
-28
Suppose -4*w - 12 + 0 = 3*q, 0 = 3*q + w + 3. Let k be 12/90 + 104/(-1230). Is k > q?
True
Let c(v) = -6*v**2 + 2*v - 1. Let a be (-72)/(-39) - (-10)/65. Let d be c(a). Is d at most 0.1?
True
Let l(b) = 2*b**3 - 107*b**2 + 55*b - 107. Let r be l(53). Which is smaller: 1/923 or r?
r
Let k = -848 + 809. Is k at least -39?
True
Let x be 2455/20 - 4 - (-1)/2. Which is smaller: x or 119?
119
Suppose -16 = 3*g - 4, 0 = 4*z + 3*g - 36. Suppose 4*m - 8 = z, m = -3*i + 5. Suppose 0*d - d = i. Which is greater: d or -1/5?
d
Let z(u) = 12*u - 178. Let k be z(12). Are k and -1 unequa