91/2 - -143. Let o(m) = m - 13. Let z(k) = k**2 - 6*k - 6. Let b be z(8). Let r be o(b). Which is greater: a or r?
a
Let n(y) be the third derivative of -y**6/120 + y**5/3 - 7*y**4/8 + 23*y**3/3 + 40*y**2. Let t be n(19). Is 1 < t?
True
Let z = 2665.5 - 2643. Is -0.2 at most as big as z?
True
Suppose -28 = -25*w + 47. Which is smaller: 17/5 or w?
w
Let p = 2 + -2. Let k = -0.942 - -0.102. Let x = k - -0.82. Which is smaller: x or p?
x
Let y(a) = 8*a + 6. Let l = -142 + 141. Let w be y(l). Which is smaller: 1 or w?
w
Suppose 10 = 4*q + 5*m, 3*q = 2*m - 2 - 2. Suppose x + 45 - 12 = q. Is -34 <= x?
True
Let v = -6 - 14. Let y = 13 + v. Are y and 4 equal?
False
Let h = 4/16093 - 1089730/16093. Which is smaller: -67 or h?
h
Suppose 40 = 3*m - 113. Is m <= 356/7?
False
Suppose b - 2*b - z = -8, 0 = 2*b - 2*z. Suppose -b*d = -6*d + 26. Is -1/3 < d?
True
Let x = 10045/31 + -324. Do x and 0 have different values?
True
Let j be (24/132)/(-1 - (-2)/(-8)). Is j != 1?
True
Suppose 2*b + 0*o = 2*o - 20, 0 = b + 2*o + 16. Let a = b + 20. Suppose -a*w + 5*w = 21. Is w less than or equal to -7?
True
Let f = 49 - 49.2. Does -6 = f?
False
Suppose 0 = -2*g - 4*l + 2, 2*l = 2*g + 2*g - 34. Let s be ((-88)/(-20))/((-2)/g). Which is smaller: -15 or s?
s
Let m be 2/(-6) - ((-297700)/(-60))/(-5). Is 992 smaller than m?
False
Suppose -4*j - 2*q = -7*q - 340, -q - 425 = -5*j. Which is bigger: j or 86?
86
Let r be ((-172)/(-14))/(-1) - 4/(-14). Let p(u) = -u**3 - 13*u**2 - 12*u - 10. Let z be p(r). Which is bigger: -9 or z?
-9
Let a = -115 + 123.2. Let w = a - -21.8. Is 0.1 at most w?
True
Suppose 9*l - 14 + 23 = 0. Which is smaller: l or 3/70?
l
Let f = 11.737 - -0.263. Which is smaller: f or 17?
f
Let l(w) = -27*w**2 - 2 - 17*w**2 - 3*w + 65*w**2 - 23*w**2. Let c be l(-1). Are -0.67 and c non-equal?
True
Suppose 0 = 33*d - 40*d + 693. Does 101 = d?
False
Suppose 2*q + m = 287, -57 = 5*q - 3*m - 780. Let f be (-1 - 3) + q/38. Which is greater: 0 or f?
0
Suppose 4*w + 5*n = 65, -7*n + 6*n = w - 15. Is w less than or equal to -17?
False
Let x = -1010 + 1013. Are 46/19 and x nonequal?
True
Let h be (0 - (-4)/8)*2. Let t = -518/5 + 69417/670. Which is smaller: h or t?
t
Let q = 10.1 - 10.01. Let o = q - 0.19. Which is smaller: o or -8?
-8
Let p(v) = -v. Suppose -4*k - 3*g + 22 = 0, -2*k + 2 + 0 = -3*g. Suppose 3*u + 2*j = 6*j - 11, -k*j = -5*u - 21. Let l be p(u). Does l = 7?
False
Let s(k) = -k**3 + k**2 + 2*k + 12*k**2 - 1 - 4*k - 8*k**2. Let v be s(3). Is 2/7 <= v?
True
Let n(b) = -2*b - 16. Suppose 69 = -4*u - 5*r, 5*u + 19 + 51 = -3*r. Let t be n(u). Which is greater: 14/3 or t?
t
Suppose 5*c - 2*c = 12. Suppose 0 = 2*a + 3*f + 14, 2*a + 4 = -2*f + c*f. Let l = 15 + a. Which is smaller: l or 10?
10
Suppose g + 12 = 7*g. Let c be g/(-6) + (-6)/9. Which is bigger: -8 or c?
c
Let g be (68/(-28))/((-3)/(-123)). Let h = -100 - g. Is h > 2?
False
Let x be 1*-9 + (-17440)/(-1856). Which is bigger: -1 or x?
x
Let h = 0.128 - 0.058. Let y = -0.93 - h. Is y bigger than -1/121?
False
Let f be 1 + ((-76)/(-20) - 2). Let h be -6 + (-1 - 3) + (-6 - -13). Is f at least h?
True
Let m(v) = -v - 10. Let w be m(-6). Let o be w/30 + 642/90. Let i be 18/15 + o + -5. Is i >= 2?
True
Let g = 25 - 26. Let t be 1 + (-52)/14 + g + 2. Is t > -2/9?
False
Let u be 16/(-774)*285 + 6. Which is smaller: 1 or u?
u
Let g = 111.03 - 110. Let d = -0.09 + 0.02. Let q = d - g. Is 1 > q?
True
Let c(j) = j**3 - 12*j**2 - 3. Let g(o) = o**2 + 5*o. Let d be g(-5). Suppose -3*h = -5*u - 11, -3*h + 0*u + 3*u + 21 = d. Let y be c(h). Is -6 equal to y?
False
Let x = -62658/11 - -1574788/275. Let o = -2095437/69385 - -2/13877. Let c = x + o. Which is smaller: -1 or c?
-1
Let c be (-4 + -4 + 7)*45. Which is smaller: c or -43?
c
Let z = 0.18 + 11.82. Let k = -6 + z. Let q be (-1 + (5 - 4))/(-1 + 3). Which is bigger: q or k?
k
Suppose 0 = -2*x - 2*k + k + 3, 0 = -x + 2*k - 11. Let y be (-407)/2233 + 4/14. Are x and y equal?
False
Let t = 0.207 - 0.142. Let v = 0.935 + t. Is -15/11 greater than v?
False
Let q(v) = -v**2 + 5*v + 1. Let f be q(5). Which is bigger: -10 or f?
f
Suppose -5*j = -j + 16. Let y be j/6 + (-115)/(-15). Let q be ((-6)/(-3) - -6) + -2. Is y greater than or equal to q?
True
Let g = -0.07 + -9.93. Let f be (-3 - (-8)/3)/((-2)/12). Suppose d = -d + f. Which is smaller: g or d?
g
Suppose -22*b + 21*b + 11 = 0. Let w = 17 - b. Suppose w*h - 16 = 8*h. Which is smaller: -9 or h?
-9
Let n = 13 - 37. Let x be (-4)/(2*(-3)/(-36)). Is n smaller than x?
False
Suppose -20 = -2*g - 94. Let n = g + 40. Is 2 > n?
False
Let c be (-3 + (2 + 1)*1)/(-3). Is c greater than -1/371?
True
Let x = -1749 + 790. Is x bigger than -959?
False
Let l = 45 - 54. Let d be (1 + (0 - -1))*4/l. Suppose -t - 5 = -3. Are d and t nonequal?
True
Let t = -8 + 218/27. Let y(a) = -a - 8. Let m be y(-9). Is t >= m?
False
Let z = 988 - 971. Is -3/13 greater than z?
False
Let x = -307 + 219. Which is greater: 0 or x?
0
Let j(u) = u**3 - 3*u**2 - 6*u + 5. Let b be j(4). Let x be 28*(b - 18/(-8)). Which is greater: x or -20?
-20
Let q = 139 - 144.01. Let z = q + 0.01. Do z and -2 have different values?
True
Let w(v) = v + 5. Suppose 2*y + y = -k - 5, 4*k + 12 = -4*y. Let d be w(k). Let i be 80/63 - (-4)/14. Does i = d?
False
Let x = -52/153 - -2/17. Let q = -8297/21 + 395. Let k = q + 52/105. Which is smaller: x or k?
x
Suppose 9*k = 4*k + 5*d + 60, 2*d = -10. Suppose -k = 4*h + 9. Let x be 46/h - (-1)/2. Is -12 at most as big as x?
True
Let d = -157 - -271. Is 115 > d?
True
Suppose 2 = -y + 2*g, 2*g = 4*y + 6*g - 40. Suppose 3*n + i = y*n, 4*n - i = 1. Do 12/23 and n have different values?
True
Suppose -2*l + 5*l = 5*x + 106, -5*x + 5*l = 100. Let n = 16 + x. Which is greater: -6 or n?
-6
Let y be (-33)/77 + (-2*1 - -5). Let k be 34/8 + (-2)/8. Which is smaller: k or y?
y
Let d = -10 + 31. Let c = d - 23. Let p be 0 + 2 + 6/(-4). Is p not equal to c?
True
Suppose 4 - 1 = k. Suppose 4*u - k*u = 0. Let n = -149 + 593/4. Which is smaller: n or u?
n
Let u = -421/5 - -563/5. Are u and 29 equal?
False
Suppose 16*d = -20*d + 144. Do d and 55 have the same value?
False
Let l = -640 + 650. Which is bigger: -8/9 or l?
l
Let n = 33915 + -52941318/1561. Let o = 377/35903 - n. Do 1 and o have the same value?
False
Suppose 20 = 13*k - 9*k. Which is smaller: k or 6?
k
Suppose 2*z - 40 = 3*z. Let p = z - -46. Is 36/5 at least as big as p?
True
Let c be 1/3 - (-1)/(-3). Let t be 3/(-9) - 32/(-6). Suppose t*a + 20 = 0, -2*d - 2*a = -0*d + 14. Is d greater than or equal to c?
False
Let x be -68 + 67 + 966/968. Which is greater: x or -1?
x
Let s(j) = -10*j**2 + 8*j + 3. Let u be s(-3). Is u at least as big as -112?
True
Suppose 0 = -562*p + 556*p + 6. Which is greater: 3/430 or p?
p
Suppose 6*y - 90 = -3*y. Let h = y - -27. Is h less than or equal to 39?
True
Let w be ((-69)/36)/(13/(-4)). Let x = 12/13 - w. Let o = -0.3 - -0.5. Which is bigger: x or o?
x
Let i be 1*(-4)/10 - (-38)/95. Suppose -4*o - 56 = -i*o. Is o at most as big as -14?
True
Suppose 0 = 3*i - r - 32, -3 = 5*i + 3*r - 47. Are 3/10 and i non-equal?
True
Let b(j) = j**3 + 12*j**2 + 6*j - 15. Let t be b(-11). Suppose 4 = 4*r - 2*i + 26, t = -5*r + 5*i. Let p = r + 3. Is p bigger than 2?
False
Let y = -0.011 + 0.029. Is y > -3?
True
Let x = -4181.94 + 4143. Let p = x - -6.04. Let i = p + 33. Which is bigger: 3 or i?
3
Let y be 45/(-2)*2/(-3). Suppose -3*w - 57 = -y. Which is smaller: -3 or w?
w
Suppose 0 = -2*k - 2*k. Let l be (-4)/20*(-98)/(-28). Which is smaller: k or l?
l
Let o = 0.21 + 6.79. Let z = o - 12. Let a = 5.1 + z. Which is smaller: a or -0.06?
-0.06
Suppose -m + 21 = 2*r, 15 = m + 3*r - 6. Is 7 at most m?
True
Suppose -r = -1 + 3. Let w be r/(-2)*(21 + 0 + -1). Is w > 21?
False
Let y(s) = -2*s + 9. Let b be y(6). Let x = -572 - -569. Are x and b equal?
True
Let v = 533 - 518. Which is smaller: 12 or v?
12
Let n be (2/3)/((-32)/1776). Let d = n - -31. Is -5 < d?
False
Let x(m) = m**3 + 7*m**2 + 8*m - 7. Let z be x(-5). Let u be (-1 - -2) + (-360)/52 + 6. Which is smaller: z or u?
u
Suppose 2*k + 5*w - 172 = w, 5*k - 4*w - 486 = 0. Is k at most as big as 371/4?
False
Let x be (-1 + 35 - -2)/(9/6). Let i be (10/3)/(x/(-36)). Which is smaller: i or -4?
i
Let z = -376 + 378. Which is s