 equal to r?
True
Let d(l) be the third derivative of -l**4/8 - 11*l**3/6 + 32*l**2. Let w be d(1). Which is greater: -13 or w?
-13
Let d = 10 - 10.3. Suppose 4*l + 3*j = 28, 5*l - 2*l - 5*j = -8. Let f be (-6)/21*(-2)/l. Is f <= d?
False
Let o = -1297/2 + 661. Which is bigger: o or -0.05?
o
Let c(n) = 4*n + 55. Let g be c(-12). Which is bigger: g or 1?
g
Let b = 135 - 79. Let v = b - 43. Is 13 greater than or equal to v?
True
Let j = 29.07 - 29.17. Which is bigger: 2802 or j?
2802
Let i be 10 + 109672/504 - 3/(-27). Is 227 at most i?
True
Let r be (14/(-28))/(94/92 + -1). Let p = r - -67/3. Is p greater than -0.3?
False
Let q = 2/155 - -113/3255. Let m = q - -2/21. Let w(h) = 29*h + 118. Let u be w(-4). Is m bigger than u?
False
Let v(w) = w**2 - 8*w + 4. Let f be v(6). Let g be (1/(-3))/((-2)/36). Suppose -5*d - 39 = g. Is d at least as big as f?
False
Let c(y) = 26*y**2 + 6*y - 16. Let x be c(2). Is 0.14 < x?
True
Let i = -18 - -38. Let t = i - -1. Let n = -22 + t. Is 0.02 > n?
True
Let q(h) = -h + h**2 + 1 - 3 + 8 + 1. Let t be q(0). Let w = -11 + t. Do w and -4 have the same value?
True
Let x be -7 + (-3 - (-1505)/150). Which is bigger: 1 or x?
1
Let g = 1 - 2. Let r = -49.2 - -32.5. Let d = -17 - r. Which is bigger: d or g?
d
Let t be -13 + 4 - 1/(-1). Let x be (-19)/t + (-10 - -7). Which is greater: x or 0?
0
Let a = 251/665 + -4/35. Suppose 5*l = l. Which is smaller: l or a?
l
Let i(t) be the first derivative of -t**3/3 + 13*t**2/2 - 9*t + 10. Let d be i(12). Suppose 3*k - 16 = -4. Is d at most k?
True
Let u = -3.9 - -8.9. Let d = u - 1. Which is smaller: -0.1 or d?
-0.1
Let f(w) = -3*w - 59. Let h be f(-23). Let p be 30/4*16/12. Is p bigger than h?
False
Let w = 189.9 + -190. Is 11 greater than w?
True
Let y be (1 - 1)/(52 + -50). Which is smaller: 1/254 or y?
y
Let r(b) = -b**3 - b**2 + 2*b - 2. Let o = -11 + 8. Let j be r(o). Suppose -13*a = -60*a + 470. Is a at least j?
True
Suppose -2*d - d + 5*c = -57, -2*c + 6 = 0. Let j(n) = 7*n**2 - 12*n - 27. Let i be j(-2). Which is bigger: i or d?
i
Suppose -2*r - 4*l = -0*r + 36, 18 = -r - 4*l. Which is smaller: r or -10?
r
Let s(j) = -j - 9. Let a(d) = -d - 8. Let x(f) = 6*a(f) - 5*s(f). Let b be x(-5). Suppose -b*p + p - 9 = 0. Which is greater: p or 0?
0
Let f = 3039 + -2619. Is 420 < f?
False
Let j = 149.7 - 134. Let l = j - 16.7. Let o(s) = s**2 - 3*s - 2. Let b be o(-3). Which is smaller: l or b?
l
Let o = 467 + -466. Are o and 2/1349 equal?
False
Suppose 5*f - 8*f - 12 = 3*s, 2 = s - f. Is s greater than 0.2?
False
Let m = 0 - -0.2. Let j = -3.47 - -4.17. Does m = j?
False
Suppose -4*m = -53 + 21. Suppose 2*p + 20 = 4*b, b + m = -p + 2*b. Let a be p/((-56)/(-12)*-3). Which is greater: 2/3 or a?
2/3
Let k(j) = -7*j + 7. Let s be k(1). Suppose l + s*l - 13 = 0. Are 14 and l equal?
False
Let d = -9709/52 - -187. Are 0 and d equal?
False
Suppose -20 = 4*m + 5*v, 4*m - v + 20 = -0*v. Let p(g) = 3*g**2 + 16*g + 2. Let n be p(m). Let b be 4/6*(-10)/4. Is b at least n?
True
Let a be ((-4134)/216)/13 - (-4)/18. Is -3/2 less than a?
True
Let g = 1175 + -1174. Is -3/254 at most g?
True
Let i = -0.028 + 0.028. Is i bigger than 76?
False
Suppose -16*x + 248 = 40. Is 90/7 not equal to x?
True
Let c = -80/3 - -26. Are 9.1 and c equal?
False
Let a = -8/23 + 17/115. Suppose -4*j + 0 = 8. Let m be 5 + -2 + 0 + j. Is m at least as big as a?
True
Let j = 96 - 67. Let d = 1696 + -1696. Which is greater: d or j?
j
Let g be 2331/74*12/7. Which is greater: 53 or g?
g
Let d = 2.774 - 1.501. Let i = -0.027 - d. Is -2/5 at least i?
True
Suppose -36*k = -40*k - 32. Let j be -2 + -2 - (k - -4). Do j and 2/3 have different values?
True
Let o(p) = p**3 - 29*p**2 + 56*p - 38. Let x be o(27). Suppose -x*a = -4*a + 372. Is a at most -31?
True
Let y = 1207169 - 27758885/23. Let n = -261 + y. Which is smaller: -1 or n?
-1
Let y be (8/(-20) - 0)*-5 + -33. Which is bigger: y or 2?
2
Suppose 3*j + 45 = 8*j. Let b be (9/57)/(j/2). Which is greater: b or 1?
1
Suppose 4*t + 3*v - 30 = 51, 0 = t - 4*v - 25. Let i = t - 19. Suppose -4*q = -i*q + 2. Is q at least as big as 2/9?
False
Let u = -1.9 + 1.1. Let q = 0.75 + u. Let x be 18/(-52) + (-4)/26. Which is smaller: q or x?
x
Suppose -2*b - 5*u - 1 = 1, -3*u + 6 = 3*b. Suppose 15 = -29*d + 24*d. Let g be (-6 - d)/((-3)/6). Are b and g unequal?
True
Suppose 8 + 18 = 2*o. Let l = o + -9. Let k = 0 - l. Which is smaller: 0.1 or k?
k
Let c be (8/(-8)*-2)/((-3)/(-39)). Which is bigger: 28 or c?
28
Let f = -79 - -58. Let z = f - -43/2. Which is smaller: -2/5 or z?
-2/5
Let b = 134/7 + -1213/63. Which is smaller: b or -1?
-1
Let q = 177 - 282. Are -105 and q nonequal?
False
Suppose a + 3*a - 1849 = -u, 5*a - 5*u = 2305. Suppose 9*j + 105 + a = 0. Is -62 <= j?
False
Let f be 6/(-12) - 122/(-5588). Let z = f + 3/127. Let v = -9/44 - z. Which is smaller: v or 0.5?
v
Let u = -0.2 + 0.2. Let y = -2.9 + 15.9. Let t = y - 12.8. Which is smaller: u or t?
u
Let j(p) = -p**2 + 4*p - 6. Let y be j(4). Let k = -19963/3153 + -2/1051. Which is smaller: y or k?
k
Let j = -0.12 - 10.88. Let h = -5 + j. Let q = h - -15.85. Which is smaller: 0.1 or q?
q
Let l = 496 + -495.97. Suppose -3*r + 2 + 1 = -5*g, 5*g - 15 = 0. Let h be (1/(-3))/(4/r). Is h at most as big as l?
True
Let a(x) = x**2 - 7*x - 9. Let l be a(7). Let u be (9/l)/(0 - -1). Let w be (-4)/5*20/8. Are u and w nonequal?
True
Let i = 24241/15 - 1616. Are -0.7 and i unequal?
True
Let p = -353 + 267. Which is bigger: p or -169/2?
-169/2
Let o = -3 + 17. Let m = -19 + o. Let k = m + 5.6. Is -2/3 >= k?
False
Let g = 79 + -70. Suppose -4*j - 64 = 4*b, -4*b + b = -g. Which is greater: -20 or j?
j
Let w = -543 + 531. Which is smaller: w or 9?
w
Let v be (871/104 - 8)/(10/(-4)). Is v bigger than -0.09?
False
Let p = -827/320 - 1/64. Do -4 and p have the same value?
False
Let x be 0 + -1 - 1 - (3 - 3). Is -38/13 greater than or equal to x?
False
Let p = -2 - -1. Let c = -52 - -14. Let r = 38 + c. Which is greater: r or p?
r
Let m = -3.9 - -4.16. Let h = -0.26 + m. Let b = -6.85 + 7. Which is smaller: h or b?
h
Let y = 1835 + -1837.93. Is 0.1 not equal to y?
True
Let n = 317.1 + -317. Which is greater: -71 or n?
n
Let d be -79*2 + (9 - 7). Is d > -156?
False
Let l(t) = 2*t**3 + 2*t**2 - 2*t + 2. Let h be l(2). Let d = 3643 + -3621. Is h greater than or equal to d?
True
Let h be (-20 - 1)/(75/700). Let n be 4/(-6)*(-63)/h. Which is smaller: n or 0?
n
Suppose -5*o + 4*x - 5 = 2, -x + 3 = 0. Let k = -0.03 - 0.07. Which is smaller: o or k?
k
Let w = 250 + -1746/7. Which is smaller: w or -23?
-23
Let r = 0.05 + 84.95. Let f = 84.95 - r. Let m = 0.2 - 0.2. Which is smaller: f or m?
f
Let b be (40/(-275))/((-2)/(-5)). Let n be (7 - 2 - (2 - -4)) + 1. Which is smaller: b or n?
b
Let f = 242 + -123. Let v = f + -174. Which is smaller: v or 0?
v
Let y = 1 + 1. Let o be 16/(-12) - y/3. Let h be o*(45/(-6) + 2). Which is greater: 12 or h?
12
Let x = 12 + -39. Let d = 17 + x. Let n = d - -10.8. Is -1 less than or equal to n?
True
Let c(j) = j**3 + 2*j. Let x be c(0). Let l(t) = t**2 + 3*t + 3. Let u be l(x). Suppose h + 8 = 3*h. Is u != h?
True
Let k(h) = -h**3 + 5*h**2 + 4*h + 5. Let x be k(-2). Let r be x/(-3)*(-12)/16. Is r not equal to 7?
True
Let s = 453 + -453.04. Let t = -2.9 + 3. Is s smaller than t?
True
Let o = 292 - 291. Which is greater: o or 6/187?
o
Let d be 567/(-45) - (-2)/(-5). Let l(n) = -n**3 - 13*n**2 - n. Let h be l(d). Is 13 at least as big as h?
True
Suppose 4*s = -6*g + 3*g - 12, 0 = -5*g - 20. Let d(l) = -l**2 - 7 + 2*l**2 - 6*l - 2*l**2 + s*l**2. Let k be d(-5). Is k less than -4/3?
True
Let m(q) = 4*q**2 + 9*q - 1. Let w be m(-4). Let j be 2/(-21)*w/(-9)*2. Is 0 < j?
True
Let c = -68 - -71. Let x = -6 + c. Which is smaller: x or 2/9?
x
Let w(f) = -f - 8. Let d = -5 - -7. Suppose -1 = d*k + 7. Let s be w(k). Is s > -3?
False
Let h be (-4 - -3)*11 + (-7 - -10). Which is smaller: h or -20/3?
h
Let z be (-2)/7 + (-666)/(-126). Suppose 0*a = a + 4, -z*l + 10 = -5*a. Which is greater: l or 1?
1
Let w(c) = c**2 - 6*c - 9. Let y be w(8). Let s = -18 + y. Let r = s - -8. Is 0 not equal to r?
True
Let a be -1*(1 + -7 - -6). Let d = -2805/2 - -14159/10. Let o = 40/3 - d. Is o at least as big as a?
False
Suppose -3*a - 213 - 292 = 5*c, c = 4*