(s) = -s**2. Let g be h(p). Let l(v) = -3*v - 9. Let k be l(g). Does -8 = k?
False
Let v(j) be the second derivative of j**3/3 - 13*j**2/2 + 7*j. Let g be v(11). Let z(r) = -r**3 + 10*r**2 - 5*r - 13. Let b be z(g). Is b bigger than 23?
False
Let y(p) = -p**3 + p**2 + 4*p + 3. Let s be y(-2). Suppose -s*j + 14 = -0*j. Let h be 0/(j/(-1) - 1). Which is smaller: h or -8/7?
-8/7
Suppose 20*b = 26*b + 6. Which is smaller: -3/56 or b?
b
Let w be ((-10)/(-3))/(1/(9/(-366))). Which is greater: w or 0?
0
Let u be 10/6*(-6)/(-570). Which is smaller: u or 0?
0
Let b(m) = -m**3 + 6*m**2 + 9*m + 55. Let l be b(8). Which is smaller: 3/220 or l?
l
Let r(o) = -o**3 + 5*o**2 + 11*o - 10. Let q be r(9). Let s = q - -1649/7. Which is bigger: 1 or s?
1
Let o be (4 - (160/12)/4)*6. Which is smaller: 6 or o?
o
Suppose 0 = g + 17 - 14. Let p(s) = -4*s + 4. Let v be p(3). Let y = v + 6. Is g <= y?
True
Suppose -3*d = 4 + 113. Is d >= -40?
True
Let x(t) = t**3 - t**2 - 4*t - 2. Let n be x(-1). Suppose 3*r + 5*m = 3*m + 20, -4*m = -4*r. Let u be (-152)/(-126) - r/(-18). Which is smaller: u or n?
n
Let j be (-1)/12 - (-2936)/34080. Is j < 1?
True
Let n be 78/(-8)*24/(-18). Suppose -5*m = l - 34 + 11, -33 = -3*l + 3*m. Is n at most as big as l?
True
Suppose -s = 4*g - 6*s - 16, 2*g - 3*s = 10. Which is smaller: -72 or g?
-72
Let j = 115 + -80. Let g = -211/6 + j. Let m = -3 + 2. Is g at least as big as m?
True
Let i = -31 + 33. Suppose -14 = i*r - 38. Which is smaller: r or 2?
2
Let n(u) = 6*u + 99. Let z be n(-13). Is z != 4/5?
True
Let h = -91/10 + 129/10. Let r = -47/15 + h. Let u = 10235/84 + -487/4. Is r equal to u?
False
Let g be (-44)/(-57) - (-2)/(-3). Let h be (3 - 44/7) + 4/14. Let l = -3 - h. Which is smaller: l or g?
l
Let s = 39 + -35. Is s greater than 25/9?
True
Suppose -3*m = -2*m - 103. Do m and 103 have different values?
False
Suppose 625 = -5*p - 3*m, -3*p = 4*m + 11 + 353. Is -382/3 smaller than p?
False
Let l = 2005/6944 + -3/992. Which is smaller: -8 or l?
-8
Let r(x) = -x**2 + x + 13. Let o be r(5). Let d be 12 + -1 - (-2 + 3). Let u = d + o. Is 3 less than u?
False
Suppose 0 = 3*s + 30 - 24. Is s < 14?
True
Suppose 64*l - 16 = -144. Let z = 12.18 - 0.18. Which is greater: z or l?
z
Let t = -267 + 393. Let b be -1 - t/(-28)*(-4)/6. Let v be 5/((-15)/(-4))*-3. Is b < v?
False
Suppose q - 3*w = 313, 17*q + 4*w + 630 = 19*q. Is 319 bigger than q?
False
Let k = -31 + 55. Suppose 6*p - 3*p - 3*t - k = 0, -3*p + 5*t + 34 = 0. Let q = 1 - p. Are q and -3/4 unequal?
True
Suppose -3*l + 10 = 2*p, -p = 2*p + 3*l - 12. Suppose 0*h = -p*h + 56. Let w = 30 - h. Which is smaller: -1/3 or w?
-1/3
Suppose 0 = -5*c - 1 + 11. Suppose 4*i - c*o = -22, -o = 2*i + 5 + 4. Are -3 and i unequal?
True
Let p = -1/14 + 4/7. Let b be (-91419)/(-20026)*1*2/(-21). Let t = -2/323 - b. Which is smaller: p or t?
t
Suppose -4*k - 3*a = 36, -a = -2*k - 3*k - 26. Let s be k/(-3) + 1*-6. Let h be 20/8 - (-6)/s. Is h greater than or equal to 2?
False
Let r = -20/51 + 6146/15759. Does r = 1?
False
Let u = 86 + -88. Which is smaller: u or -16/29?
u
Let v be ((-1 - 0) + 3)*(-5404)/84. Is v < -129?
False
Let h be 6 + (0 - 0) + 0. Let c = -13 + 19. Let d be (h/(-9))/((-16)/c). Which is greater: -1 or d?
d
Let h = -2137931 - -61993330/29. Let r = -230 - h. Let y(k) = -k**2 + 8*k. Let q be y(8). Which is greater: q or r?
q
Let m = -0.01 + 8.01. Let b(s) = s - 4. Let r be b(5). Suppose -4*i + r = -3*q + 5, -i = q + 1. Is i not equal to m?
True
Suppose 2*v = 5*k - 30, 4*k + 3*v - 14 = 10. Let g = k - -11. Does 17 = g?
True
Let m(a) = a**2 + a. Let i = 18 - 8. Suppose -3*g = 2*g - i. Let w be m(g). Which is smaller: w or 5?
5
Let o(f) = -9*f - 34. Let z be o(8). Which is bigger: -108 or z?
z
Let n = 30 - 25. Let r = n + -5. Suppose 0 = 2*o + a - r*a - 14, 0 = -o - 5*a + 7. Are 7 and o unequal?
False
Let q = -92 + 91. Let t be 10/(-20)*(q - -3). Is t at least -2/25?
False
Let i = 12/329 + 2433/14476. Are i and -1 nonequal?
True
Let b = 180 + -180.1. Is -106/15 at most b?
True
Let m(p) = 38*p**3 - 2*p**2 + 1. Let y be m(1). Is y > 41?
False
Let h be 94/35 + 2/(-5). Let n be -1 + -132*(2 + -3). Let w = n + -128. Which is smaller: h or w?
h
Let v = 1.134 + -0.024. Let u = v + -0.21. Let s = -0.7 + u. Which is smaller: s or 0.4?
s
Let j be 166/(-1328) + 575/376. Is j < 1?
False
Suppose -2*y + 3*y + 11 = 0. Let q = 18724.7 + -18725. Are q and y equal?
False
Let s be 5*(102/8)/((-15)/(-8)). Suppose -4*l - j - 44 = -0*l, -4*j + s = -5*l. Which is smaller: l or -12?
-12
Suppose -3*a = 4*h + 12, a = 5*h + 4*a + 12. Suppose -i - 5*o + 25 = 6, h = 2*o - 8. Let l = 38/77 + -7/11. Which is smaller: l or i?
i
Suppose 14*o - 11*o = -5*w + 2540, w - 2524 = -3*o. Which is greater: o or 841?
841
Suppose 0 = 2*m - 8 + 14. Let b be (-2 + (-616)/(-348))/(1/m). Is 2 <= b?
False
Suppose 10*f - 10 = 5*f. Let z(y) = -y**3 + 1 - y**3 + 3*y**3 + 4*y**2 - f*y**2. Let h be z(-2). Which is bigger: 0 or h?
h
Let p = -48 - -33. Let f = p + 15.4. Let y = 0.6 + f. Which is greater: 0.3 or y?
y
Let z(k) = -k**3 + 4*k**2 + 1. Let r(i) = -16*i**2 + 1. Let j be r(2). Let g be 4/(-18) + (-266)/j. Let f be z(g). Is f less than or equal to -2/5?
False
Suppose q + 33 = -6*v + 3*v, 3*q = 5*v + 69. Is -56/5 greater than v?
True
Let s(p) = p - 21. Let a be s(9). Let y = a - -16. Suppose 9*w = y*w - 30. Are -6 and w equal?
True
Let z = -54 + 93. Let g = 11 + -10. Which is smaller: g or z?
g
Let k be (1/(-3))/((-10)/150). Let r be 128/80 + 2/k. Let s(n) = n**3 - 4*n**2 + 4*n - 2. Let t be s(3). Which is bigger: t or r?
r
Let q = -93 - -93. Which is bigger: -2 or q?
q
Let z = -416 + 416. Let l = 54.3 - -3.7. Is l > z?
True
Let y be (-2)/10*(-4 - 1268/(-316)). Do 1 and y have different values?
True
Suppose 5*s - 21 = -4*v + 33, 54 = 3*s - 3*v. Is 13 >= s?
False
Let l be -2 - (2 + (-6)/(-3)). Let q be 8/16*(-28)/3. Is q bigger than l?
True
Let u = 18/59 + -836/3127. Which is greater: 2 or u?
2
Let c = -32.3 + 33.9. Is 9 greater than c?
True
Let a = 1730 + 38. Which is greater: a or -1?
a
Let n = -25.42 + 7.12. Which is smaller: -2 or n?
n
Let n be (9/6)/((-12)/16). Let m be (n/10)/(-1 - 12/(-15)). Which is smaller: 6/5 or m?
m
Suppose 4*p - 11 = 1. Let h = 45 - 81. Let d = h + 36.01. Is d less than or equal to p?
True
Let q = -0.967 + -0.033. Which is smaller: -75 or q?
-75
Let s(p) = -16*p. Let w(x) = x**3 - 17*x**2 - x + 18. Let h be w(17). Let c be s(h). Are c and -12 non-equal?
True
Let u = -0.44 - -105.44. Which is smaller: 0.2 or u?
0.2
Suppose 2*z + 4 = -2*z. Let n be 27/(-18) + 4038/4. Let l be (-2)/13 + n/637 + -1. Which is smaller: z or l?
z
Suppose -4*y = y - 4*n - 6, 2*n = -8. Let x = y + 1. Let o be (-39)/(-12) + x/4. Which is bigger: 4 or o?
4
Let q be ((-12)/(-3438))/(3/9*2). Which is smaller: 0 or q?
0
Let c(j) = j. Let t be c(-7). Let d(a) = 1 + 4*a - 3 - 2*a. Let k be d(-2). Which is smaller: k or t?
t
Let j be (-1 - 4)/(468/377 + -1). Is -22 at most j?
True
Suppose 7377 - 26691 = -74*n. Is n at least 261?
True
Suppose 5*b + 5*j - 2*j = 13, -j = b - 3. Let x(k) = -k**3 + 3 + b*k - 9 + 21*k**2 - 25*k**2 - 4*k. Let p be x(-4). Which is greater: 7/4 or p?
p
Suppose -830 = 13*v + 223. Let l = -83 - v. Which is greater: 1/12 or l?
1/12
Let z = 192 + -198. Is -14 < z?
True
Let f = 0.1026 - -62.8974. Is f at least 1/2?
True
Suppose 481 = -16*c + 257. Suppose -6*p + 33 = -3*x - 4*p, 0 = 2*p + 6. Is c >= x?
False
Let d = 989 - 997. Which is smaller: 1/10 or d?
d
Let h = -0.3883 + -1.5827. Let n = -0.071 - h. Let s = -0.1 + 0.1. Is n <= s?
False
Suppose v = -0 + 9. Suppose 0 = v*r + 19 - 46. Let b = -13/19 + 471/133. Which is bigger: b or r?
r
Let x = 5.82 + -6. Let d = x - -0.18. Let s = d - 0.3. Do s and 1 have different values?
True
Let b = 15.2 - 14. Are -0.1 and b non-equal?
True
Let p be (3 - 0)/((-2)/654). Let a = p - -8819/9. Is a < -1?
True
Suppose 4*j = 207 + 433. Is j at least as big as 162?
False
Let q = -21 - -15. Let t = 193/6 - 221/6. Which is smaller: t or q?
q
Let z be (-2)/(-8) - 24/(-160). Let v = 38 - 33. Do z and v have different values?
True
Suppose 4*y + 14*y = 0. Is -10/63 equal to y?
False
Let d = 1/26 - 7/13. Let x(z) = -z + 6. Let h be x(10). Let a be h/18 - (-72)/81. Is d at least a?
False
Let b = -147 -