alse
Let m(n) = -2*n**3 + 11*n**2 - 3*n - 5. Let d be (40/(8/2))/2. Let s be m(d). Let w be s + 15/(-5) - 11. Which is smaller: -7 or w?
w
Suppose -286 = 2*k + s, 2*k + 248 = -2*s - 40. Is k bigger than -143?
True
Let q = 1606 + -1596. Let j = 12 + -2. Is j smaller than q?
False
Let y be (36/216)/((-2)/4). Let t = -23 + 23. Is t at least as big as y?
True
Let z(s) = -7*s - 111. Let b be z(0). Let y = b - -77. Is y <= -32?
True
Let r(z) = z - 6. Suppose -27 = 5*t + 3. Let k be r(t). Let j = k - -17. Which is greater: 4 or j?
j
Let j = 477 - 478. Let k be 3*-1 + (3 - -8). Let f = k - 3. Do j and f have the same value?
False
Let a = 2029 + -2028. Which is bigger: 1/93 or a?
a
Let j be ((-3)/8)/(1/2). Let q = -883 - -889. Is j at least q?
False
Let l = 0.5 - -11.9. Let s = -0.6 - l. Let g = 13.4 + s. Which is bigger: 1 or g?
1
Let w = -75 + 74.9. Let h = -1097/471 - 2/471. Are w and h nonequal?
True
Let k = 7033 + -34958/5. Let m(o) = 15*o - 3. Let j be m(3). Let d = j - k. Which is smaller: d or 1?
d
Suppose 3*o + 7 = 31. Suppose p - 2*z - 12 = -0*p, 0 = 3*p + z - o. Suppose 2*v + 114 = -p*v. Which is bigger: v or -18?
-18
Let x = -41 - -105. Let m = 81 - x. Which is greater: 14 or m?
m
Let m = 2249 - 2372. Which is bigger: m or -9?
-9
Let c be (-48)/(-264) - (-42)/11. Do 4 and c have the same value?
True
Suppose 0 = g - y + 96, 2*y + 0 = 8. Which is smaller: -90 or g?
g
Let n(i) = -i**2 + 9*i - 20. Let x be n(4). Suppose -7*r + x*r + 56 = 0. Suppose -12 = 4*g - 48. Which is bigger: g or r?
g
Let o = -41 - -56. Let d be 3*(-5)/o + 0. Which is greater: d or 3/14?
3/14
Let j = 2128 - 2129. Let r be (-8)/6*15/65. Is j > r?
False
Suppose 4*z + 0*c - 2*c = 12, -z - 2*c + 8 = 0. Let i = -210.9 - -196. Let q = -15 - i. Which is bigger: q or z?
z
Suppose -f + 0 + 1 = 3*j, -5*f + 2*j = -22. Let n = 1/4900 + 156791/44100. Do f and n have the same value?
False
Let n = -762 - -809. Is n not equal to 47?
False
Let g = -253 + 567. Let r be (3 - (-6)/g) + -3. Let h = -441/1570 - r. Which is greater: h or 1?
1
Let u = 84 - 75. Let o be u/(4 + -1) - (-32)/(-4). Suppose -4*k + 30 = -9*k. Is k greater than o?
False
Suppose -414*u = -416*u + 130. Which is bigger: u or 63?
u
Suppose q - 5*h + 7 = 0, -5*q - 5*h + 50 = -5. Let w = 11 - q. Suppose -b + w*b = -10. Which is bigger: b or -6?
b
Let w(p) = -p**2 - 8*p - 8. Let q be 0*(-4)/16 + -6. Let j be w(q). Let z = -1 + 3. Which is smaller: z or j?
z
Let s(d) = -2*d**3 + d - 1. Let x be s(1). Let u = -169/63 + 1/9. Which is smaller: x or u?
u
Let r = 2.6 + 1.1. Let x = -3.8 + r. Is 17 less than or equal to x?
False
Let k(j) = -j**2 + 30*j - 1. Let l be k(30). Do l and 9/49 have the same value?
False
Suppose -2*o - 67 = 3*p, 3*o + 98 = -8*p + 4*p. Which is smaller: -28 or o?
-28
Let t = -228.7 - -244.89. Let j = 3.11 + t. Let y = 19 - j. Which is smaller: y or 0?
y
Let y(c) = 4*c**3 + c**2 - 2*c + 1. Let m be y(1). Suppose -m*j + 0*j = 2*o + 10, -5*o - 5*j = 0. Suppose 0 = -o*z + 3*r + 14, 8*r - 3*r + 16 = z. Is 4 != z?
True
Let p = 11176 + -44721/4. Let d be 28/6 - 2/3. Suppose -22 = d*o - 2. Is o < p?
True
Let u(d) be the second derivative of d**4/12 - d**3 - d**2/2 - 2*d. Let r be u(5). Let b be 3/r - (-26)/68. Is 1 less than b?
False
Let j = -167 - -246.6. Let d = 79 - j. Is d greater than or equal to 5?
False
Suppose 12 = -5*s + s. Let w be s*(-1 - (-68)/60). Is -1 at most as big as w?
True
Suppose -2*w + 152 = -3*d - w, 4*d + 194 = -3*w. Which is greater: d or -48?
-48
Let w(p) = -p - 8. Let u be w(-8). Suppose u = -4*y + g + 51, 2*y + 3*g - 7*g = 8. Which is smaller: y or 13?
13
Suppose -4 + 0 = -n. Let b be 0/(-3 + (n - 2)). Which is smaller: b or -10/7?
-10/7
Let v be 8/40 + 8/(-15). Let u = 0.1 - -4.9. Which is smaller: v or u?
v
Let k be -3 + (-3190)/33 + (-1)/(-3). Is -98 less than or equal to k?
False
Let b = 67.47 + -67. Let c = b - -4.53. Which is smaller: 2 or c?
2
Suppose -14*k + 1 = -13. Let z be (-399)/21*(0 + k). Which is smaller: z or -20?
-20
Let b(x) = x**2 - x - 1. Let n(h) = 9*h**2 - 7*h - 7. Let f(m) = -21*b(m) + 3*n(m). Let c be (2/(-6))/((-4)/(-12)). Let o be f(c). Is 5 at most as big as o?
True
Let f(z) = -z**3 + 3*z**2 + 2. Let p be f(3). Let n(t) = -t**2 + 3*t + t**2 - 1968 - 2*t**2 + 1965. Let r be n(p). Is -5 less than r?
False
Let j be (2/(-36))/(-5 + (-4224)/(-846)). Which is greater: j or 0?
j
Suppose -5 = -2*t - s, -5*s = -4*t + t + 14. Let c be (-1 - -1) + 1 - t. Let m = -5 - c. Which is smaller: -4 or m?
-4
Let t(n) = -2*n + 103. Let o be t(51). Which is greater: -5/111 or o?
o
Let d = 0.745 - 0.745. Let r = 0.031 - 6.131. Which is smaller: r or d?
r
Let b(o) = -o**2 - 8*o + 62. Let v be b(-12). Suppose -3*x + v = -x. Is x at least 14?
False
Let r be (1 - -4)/(3 + -4). Is r less than 2/7?
True
Let t = 9 + 3. Suppose 0*q + 28 = 5*n - 3*q, -3*q + t = 3*n. Suppose -2*d + 2*m - 8 = -2*m, 0 = -n*m + 5. Is 1 at least as big as d?
True
Let w be (415 + -3)*(1 - 3). Let c be (-222)/w - 1/2. Let x = c + -2/103. Is 0 <= x?
False
Let r(z) = -3*z**3 + 1. Let o be r(1). Let b be 23/(5865/(-80))*9/4. Is o > b?
False
Let t be (-16)/(-296)*(2 + -2 + -1). Suppose -3*b + 0*l = l + 1, -3*b = 4*l - 5. Which is bigger: b or t?
t
Let c be (-14)/(-461)*(-54)/(-189). Which is smaller: -1 or c?
-1
Let n = -13 - -1. Suppose 0 = -t - 1 - 1. Let a(x) = -3*x**2 - 2*x - 3. Let i be a(t). Which is smaller: i or n?
n
Suppose -5*f + 2*z = -4, f + z + 0 = 5. Suppose 35 - 11 = f*n. Are n and 1/5 equal?
False
Suppose 37*o = 62*o - 300. Is -37 greater than or equal to o?
False
Let k = 2346 - 2208. Is 136 greater than k?
False
Let b(x) = 35*x - 33. Let a be b(1). Do -2/69 and a have the same value?
False
Let t = 0 - 0. Let b be ((-4 - 8) + 0)*(-1)/10. Which is bigger: t or b?
b
Let v = 70 + -47. Suppose 0 = c + v - 22. Which is smaller: c or 8?
c
Let j = 167 + -158. Let c(u) be the third derivative of u**5/30 - u**4/6 + 2*u**3/3 + u**2. Let w be c(3). Does j = w?
False
Let v(g) = -g**3 - 30*g**2 + 25*g - 56. Let w be v(-30). Which is smaller: -807 or w?
-807
Suppose 0 = 4*b - 16, 2*q - 5*q - 5*b + 26 = 0. Let z be 1 + 1/(-4)*0. Which is smaller: z or q?
z
Let m be (-9)/(-6)*(-4)/(-6). Let t be (-12)/26*7/21. Which is smaller: t or m?
t
Suppose 0 = -30*m + 40*m. Which is smaller: m or -2/249?
-2/249
Let b = 286 - 285.55. Is 1/2 at least as big as b?
True
Let l be 832/(-6) + 196/(-147). Which is bigger: l or -142?
l
Suppose 0 = -0*p - 5*p - 30. Let d be (4/p)/(220/(-90)). Suppose -4*w + t - 3*t - 6 = 0, 0 = -2*w + 2*t. Which is greater: w or d?
d
Let p = -2061 + 861. Are -1199 and p non-equal?
True
Let l(p) = -65 + 2*p + 87 - 49. Let i be l(18). Is i at least as big as 10?
False
Suppose z - 69 - 48 = -4*a, 0 = 5*z - 5. Suppose -a + 113 = -4*u. Is u greater than -21?
False
Suppose 4*j + 68 = -92. Let h = j + 28. Is h equal to 0.2?
False
Let w = -341 + 161. Which is bigger: w or -181?
w
Let s(m) = m + 10. Let t be s(-5). Suppose 5*x + 5*q - 22 = 3, -4*x - t*q + 20 = 0. Suppose -x*y + 89 = 19. Which is bigger: y or 13?
y
Let i = -24.8 + -0.2. Let t = 474 - 473.9. Which is bigger: i or t?
t
Let r be (-10908)/1548 + (8 - 1). Let w be (-1 + 3/2)*2. Which is smaller: r or w?
r
Let o be (3 + -1 - 0) + 2. Suppose -5*x - 4*m - 18 = 0, 3*m = -4*x + m - 18. Let f be ((-30)/(-10))/(x/o). Which is smaller: f or -4?
-4
Let p = 8 + -8. Suppose 5*m = 4*q + 5, -5*q - 3 = m - 33. Let c be (8/(-20))/((-8)/q). Which is greater: p or c?
c
Suppose 4*y + 4*t = -48, 0 = -2*y - y + 2*t - 26. Suppose -2*j - 24 = 2*c, c + 4*j - 11 = -32. Which is bigger: c or y?
c
Let b = -13/146 + -5578/73. Is -77 at most as big as b?
True
Suppose 24*g - 183 - 561 = 0. Is -5 bigger than g?
False
Let w(k) = -k**3 - 2*k**2 + 7*k - 4. Let o = 12 + -16. Let t be w(o). Let r = 779/1085 + -24/35. Is t greater than r?
False
Let i be -33*1/(-5)*-5. Which is greater: -32 or i?
-32
Suppose 2*v + 0*v = -22. Let g = v + 18. Let q = 9 - g. Is 1/2 bigger than q?
False
Suppose 25 = 5*w - 10. Suppose -3*l = -14*l + 44. Which is smaller: w or l?
l
Let m be (-132)/110*5/(-513). Is 0 at least m?
False
Let k = -7/2 + 51/14. Is -50 at most k?
True
Let b be (-7)/14 - (-3 + 774/(-12)). Let o = -98 + 165. Is o bigger than b?
False
Let f = -112925/436 - -259. Is -1 equal to f?
False
Su