) = s**3 + 5*s**2 + 4*s + 3. Let o be p(-3). Is 69/8 bigger than o?
False
Let l(r) = -r**2 - 2*r + 4. Let c be l(-3). Let u be ((-1)/(-812))/(94/(-376)). Is u at most c?
True
Let w be (-3 - 2) + 22 + -16. Are w and 3/196 equal?
False
Suppose 4*x - 2*x = 2*s + 78, -5*x + 211 = -s. Let l = x - 37. Which is greater: 10 or l?
10
Let a = 10.3 - -0.1. Let y = a - 10. Let d = y + -0.3. Is d smaller than -2?
False
Suppose -47 = -3*n - 80. Is n < -53/5?
True
Suppose -3*g = -6*g + 6. Let o = 8 - g. Let p be 27/6 - (-6)/4. Does p = o?
True
Let y = -30 - -29.4. Which is greater: 11 or y?
11
Let c = 26 - 16. Let v(a) = -7*a**2 + 254*a - 60. Let j be v(36). Which is greater: c or j?
j
Let i be (3/9)/((-26)/(-2)). Let j = 44/195 - i. Suppose 1 = -4*p - x, 4*x + 0*x = -p + 11. Which is smaller: p or j?
p
Let n(l) = l**3 - 8*l**2 + 8*l - 3. Let y be n(7). Suppose 5*a - 3*f = -y*f + 10, a = 4*f + 2. Which is smaller: a or -2/5?
-2/5
Let z(u) = 3*u**3 - u**2 - 2*u + 2. Let q be z(2). Suppose -5*m - q = -8*m. Let k be m/8 + (-150)/80. Is -2 >= k?
False
Let y = -82 - -81.949. Let r = -0.451 - y. Which is greater: 0 or r?
0
Let u = -41 - -22. Suppose -4*p = -4*r, -4*p + r = -4*r. Which is greater: u or p?
p
Suppose -3*t - 4*n - 434 - 178 = 0, 0 = -5*t + 5*n - 1020. Which is bigger: t or -205?
t
Suppose -50 = -5*w - 25. Suppose y = -2*y + 5*j - 40, 3*y + w*j = 10. Let d = 4 - 7. Is y >= d?
False
Let p(g) = -4*g**2 - 4*g - 7. Let d(c) = -2*c**2 - 2*c - 3. Let x(f) = 13*d(f) - 6*p(f). Let q be x(-3). Let z be 6/(-9) - 6/q. Is z less than 1/8?
True
Let x be (-1)/((-4)/(-12))*1423/(-3). Let s = 9859/7 - x. Which is smaller: -14 or s?
s
Let w = 0.31 - -0.69. Let s = -0.09 + -0.05. Is w < s?
False
Let b(t) = -t**2 - 32*t + 49. Let l be b(-34). Which is smaller: -17 or l?
l
Let a = 1297/1224 + 7/136. Which is bigger: a or 0?
a
Let o = 490 + -537. Does o = -35?
False
Let t be 46/(-14) + 2 + 0. Let n = t + 127/77. Let a = -58 + 59. Is n greater than a?
False
Suppose 25*s = 13 - 38. Is s less than -56/61?
True
Suppose 14*i = -47 - 233. Which is bigger: -54 or i?
i
Suppose 17*b + 3 = 18*b. Let v(j) = -10 - j**b - 8*j**2 + 2*j**3 - 10 + 7 - 9*j. Let h be v(9). Which is bigger: h or -12?
-12
Let i(l) = -l**2 - 12. Let h be i(9). Let a be 184/h - (8/1)/(-4). Is a at most 0?
False
Let a(m) be the first derivative of -m**2/2 - 11*m - 1. Let k be a(-8). Let o(w) = -w**3 - 6*w**2 + w + 3. Let c be o(-6). Is k at most as big as c?
True
Let x(d) = d**3 + 3*d**2 - 1. Let h be x(1). Suppose 4*y = -4 + 20, -5*a + h*y = 7. Which is greater: 34 or a?
34
Let w be 9/18*-10*(-28)/(-10). Let p(g) = 3*g**3 - 4*g**2 + 2*g + 1. Let t be p(2). Let j = -28 + t. Is w not equal to j?
True
Let a = 3.6 - 3. Let w = a - 0.7. Let i = -2.6 + 3. Is w < i?
True
Let q be 1/(3*2/42). Let s be ((-6)/1)/2 - 7. Let j be ((-18)/s)/(6/20). Which is bigger: q or j?
q
Suppose 0*a + a - 15 = 0. Suppose 27 = 5*c + 4*d, -2*c - 6*d + a = -3*d. Suppose -3*x + u + 9 = 0, 5 = -5*x - 4*u + c. Is x greater than 4/3?
True
Let u be (0/(-8))/(3 - 2). Is u greater than 18/145?
False
Let g = -7 - -6. Let m(n) = -53*n**3 - n**2 - n. Let a be m(g). Let b = 38 - a. Is -14 at most b?
False
Let f be (1 - 1) + 3/((-3)/(-2)). Let y be -1*(15/12 + f/(-8)). Suppose 3*o + 0*o - 6 = 0. Is y at most as big as o?
True
Let o be (-4)/(32/54)*4. Let s be (-6)/o - (-1400)/990. Is s less than or equal to 3?
True
Let r = -41 - -50. Suppose 0 = -0*n - 3*n + r. Let o = 8 + -5. Is o not equal to n?
False
Let m be 6*(2/2)/3. Suppose -90 = 9*j - 4*j. Let v = 19 + j. Which is greater: v or m?
m
Let b = 10 - -20. Let h = 86/3 - b. Which is greater: h or 0?
0
Let a(h) = h**3 - 11*h**2 + 10*h + 2. Let m be a(10). Let u be (m/(-8))/1 + 20/80. Which is bigger: u or 2/49?
2/49
Let k(i) be the third derivative of i**4/24 + i**3 + 5*i**2. Let b be k(-7). Let n = -1166/105 - -56/5. Is b at most n?
True
Let h = 47 + -26. Suppose -h*w - 30 = -26*w. Suppose w*c = 10*c. Which is bigger: -2 or c?
c
Suppose -53*r + 108 = -50*r. Is 39 < r?
False
Suppose r - 16 + 3 = 3*o, -28 = 4*o - 4*r. Which is bigger: o or -76/37?
-76/37
Let j be (-11548)/(-15) - 52/(-390). Which is smaller: j or 771?
j
Let p(a) = a**3 - 22*a**2 - 166*a - 55. Let c be p(28). Let d be 13/(-4)*(-4)/(-6). Which is smaller: d or c?
d
Let k = 3418/27 + -15876664/125415. Is k >= 0?
False
Suppose 24 = y - 3*k, 4*y = 9*y - 2*k - 81. Let j be (-6)/y - 14/(-10). Is -1/59 not equal to j?
True
Let z(n) = 14*n + 197. Let r be z(-14). Is -1/203 greater than or equal to r?
False
Let g be 651/735 - ((-2)/1 - -3). Which is smaller: g or 0?
g
Let t(v) = -7*v - 11. Let c be t(-6). Let w = 22 - c. Is w equal to -7?
False
Let x = 11 + -20. Suppose 4*b - 4*v - 192 = 0, 0 = 4*b + 5*v + 10 - 229. Let l = b + -203/4. Is l greater than x?
True
Let r(b) = -b**3 - 6*b**2 - 6*b - 4. Let d be r(-5). Suppose 5 = 2*w - d. Suppose -3*u + 0*a - 5*a + 14 = 0, 0 = -w*u - 3*a + 6. Is u < 3?
True
Suppose -4*n + 21 + 19 = 3*o, -2*o = 5*n - 43. Let s(d) = d**3 - 7*d**2 + 2*d - 3. Let k be s(n). Which is smaller: k or -1/4?
-1/4
Let c = -111.1 + 110. Which is bigger: c or -0.4?
-0.4
Let j = 2403 - 2399. Do -55 and j have different values?
True
Let o be (6 + -3)/(231/(-14)). Let j(m) = m**3 - 8*m**2 - 9*m. Let x be ((-1)/3)/((-3)/81). Let r be j(x). Is r not equal to o?
True
Let u(s) be the second derivative of 2*s**3/3 + 17*s**2/2 - 9*s. Let c be u(-5). Which is smaller: -3/2 or c?
c
Let b be -3 + (-4)/(-2) + 8/2. Let n(d) = -d**3 + d**2 + d - 1. Let h be n(1). Suppose 2*q = 2*u - h*q - 6, 0 = -2*u + 5*q. Is u less than or equal to b?
False
Let l = 497 + -491. Is 55/9 bigger than l?
True
Suppose -3*w - 384 = 3*w. Let c = w + 62. Suppose 0*i = 4*i - 8. Which is greater: c or i?
i
Suppose 2*w + 2*w - 80 = 0. Suppose -4*x - 14 = -90. Is w at most as big as x?
False
Suppose 40 = 6*i + 10. Suppose 6*n - i*p = 2*n - 12, p - 8 = -2*n. Suppose 0 = -2*s - 4, -2*a + 0*s + 8 = 2*s. Is n greater than a?
False
Let o = -264.9 - -277. Let x = o + -12.2. Which is bigger: x or 1?
1
Let i(b) = 3*b**3 - 9*b**2 + b - 11. Let a be i(4). Which is bigger: a or -7?
a
Let b be ((-20)/25)/(1/(-5)). Let d be 91 - (1 + -5 + b). Are d and 91 non-equal?
False
Let l be 10/65 - 464/(-26). Suppose l = 4*a + 10. Is 2 > a?
False
Let h = 320 - 588. Let c be (26 - 32)*(-2)/h. Which is smaller: 0 or c?
c
Let t(k) = k**3 - 9*k**2 - 3*k + 14. Let n(r) = 3*r**3 - 27*r**2 - 9*r + 41. Let m(o) = 6*n(o) - 17*t(o). Let f be m(9). Does f = -21?
False
Suppose -m = -5, 5*q + 4*m - m - 45 = 0. Let v be q/(-24) - (-3)/12. Are v and 1/11 unequal?
True
Let u be 22 + 24 + -1 + 5. Let w be (-63)/(-42) + (74/u)/(-1). Which is greater: w or 1?
1
Suppose 0 = 5*r - 4*c + 489, 6*r - 2*r - c + 400 = 0. Let o = r + 128. Are 28 and o nonequal?
True
Let l = 6695/3 - 2119. Which is greater: 112 or l?
l
Let o = -0.02 + 0.55. Let s = 0.47 + o. Let u = -0.15 + 0.05. Is u >= s?
False
Let u be (1 + -2)*(-3 + 11 - 8). Is u equal to 12/31?
False
Let h = -31 + 7. Let w = -23.89 - h. Let z = 0.19 + w. Which is smaller: z or -0.1?
-0.1
Let b = 27.1 - 27.2. Which is bigger: b or -444?
b
Suppose 4*a + 3*z - 42 = 5*a, 4*a + z + 103 = 0. Let q = -24 - a. Let w be ((-3)/q - 0)*-7. Which is bigger: 5 or w?
w
Let v(q) = 5*q**3 - 3*q**2 + 7*q - 4. Let b be v(1). Is 21/5 != b?
True
Let y be (2223/1496)/9 + 0. Let b = 1/88 + y. Is 0 greater than b?
False
Let z be 2956/7 + 4/(-14). Which is smaller: z or 425?
z
Suppose -2*j - 580 = 2*j - 4*w, -3*w = -j - 155. Is -139 greater than j?
True
Suppose 13*l - 2*l - 3036 = 0. Which is greater: l or 277?
277
Suppose -4*f + 7 + 13 = 0. Suppose d = -w - 0*w + 4, f*d = 5. Suppose 9 = -6*g + w*g, 3*b = g + 9. Which is greater: b or 4?
4
Let t = -340/3 - -1022/9. Let q = 10 - 7. Which is smaller: q or t?
t
Let g = -395 + 428. Let y = 9.2 - 9. Which is greater: g or y?
g
Let q = 2 - -2. Let c = 43 - 38. Is q <= c?
True
Let i(w) = w**3 + 10*w**2. Let z be i(-10). Is -139 < z?
True
Let m be 5 + (5 - -7)*2/(-6). Which is bigger: m or 85?
85
Suppose -5*i = -w + 8 - 5, 3*i + 5 = -w. Which is smaller: -33/41 or i?
i
Let m = 14071474 + -858404016/61. Let i = m - -723. Which is smaller: 1 or i?
i
Let s = -8.2 + 8.159. Let w = 0.059 - s. Let f = 7 - 3. Which is smaller: w or f?
w
Suppose 2*g -