 = -2*p**2 + 2 + 1 + p**2 - 3*p. Let k(o) = -2*o**2 + 32*o - 60. Let s be k(14). Let c be r(s). Which is smaller: -4 or c?
-4
Let v(q) = 2*q - 20. Let l be v(10). Let m = -12.9 + 13. Let a = 0.15 - m. Which is smaller: l or a?
l
Let z(t) = -3*t**2 - 16*t + 12. Let g be z(-6). Let a = -0.12 + 0.02. Which is smaller: a or g?
a
Let u(v) = 4*v - 49. Let j be u(11). Let z be 10/8*(j - 26/(-5)). Is -29 <= z?
True
Let r be 1 + 0 + 27/(-3) + 73. Let s(g) = -g**2 + g + 2. Let i be s(4). Let a be (4/i)/((-78)/r). Which is greater: a or 10?
10
Let i be (1/(-3))/((-6)/4). Let m be 369/270 + 155/(-93). Which is smaller: i or m?
m
Suppose -54 = 8*d + 90. Let i be (-2)/(3*(-436)/d). Which is bigger: i or 1?
1
Let o = 65 + -44. Suppose u - 27 = -5*d, 3*u + 18 = 5*d - o. Are 5 and d non-equal?
True
Let a be 3 + 19/(-1)*10/(-20). Let h be (-205)/(-18) + (-4)/18. Let q = h - a. Is q != -2?
True
Suppose -12*g + 8*g + 28 = 0. Let l = -663 - -2006/3. Is g equal to l?
False
Let c(o) = o**3 - o**2 + o + 40. Let z be c(0). Suppose -95 = -38*d + 1387. Which is smaller: d or z?
d
Let y = -123478 - -3703267/30. Let c = 107/3 + y. Suppose 3*s + 15 = 3*z, -4*z = -2*z + 2*s + 6. Which is bigger: c or z?
z
Let b = -4990 - -713565/143. Is 1 at most as big as b?
False
Suppose -1 - 2 = -3*m. Let b = 14961 + -389117/26. Let n = b + 5. Which is bigger: m or n?
m
Let f = -486 + 472. Is 3 < f?
False
Let c = -72.58 + 73. Let q = c - 0.464. Which is smaller: 2/5 or q?
q
Let m be 1 + 8 + 5 + -8. Suppose 0 = h - 24 + m. Let u be ((-15)/12)/(h/24). Which is smaller: -3 or u?
-3
Let x(s) be the first derivative of s**3/3 - 6*s**2 - 4*s - 4. Let w be x(11). Let n = 12 + w. Which is smaller: n or -10/3?
-10/3
Let c be (3496/(-1518))/(-4*(-1)/6). Are c and -4 equal?
False
Suppose 2*p - 8*r + 5*r = -180, -5*p - 450 = 4*r. Is p less than -90?
False
Suppose -j + 5 = -5*y - 4, 0 = 4*y - j + 8. Let t be (-21)/15 + (-1 - y). Let d(a) = a**2 + 26*a - 192. Let x be d(6). Which is greater: t or x?
x
Let b(j) be the third derivative of -j**4/6 - 7*j**3/6 - 11*j**2. Let p be b(-2). Is 9/13 at most p?
True
Let w = 2491/5 + -496. Let h = -226.8 - -227. Is h smaller than w?
True
Let x = -0.81 + 0.8. Let n = 1.01 + x. Is n less than 0.01?
False
Let b(q) = q. Let v be b(5). Let m(y) = -y**2 + 14. Let h be m(3). Suppose -v = -h*g - 0. Which is smaller: g or -1?
-1
Let l = 0.509 - 0.51. Let p = 170.8 + -171. Which is greater: p or l?
l
Let f(x) = x**2 + 18*x + 21. Let r be f(-17). Let d be -4*(4 - (r - -1)). Is d at most 4?
True
Let w be -1*1/((-1)/4) + 3. Suppose -w*h = -8*h + 3. Which is smaller: h or 4?
h
Let b = 320 - 320. Which is smaller: -233 or b?
-233
Let s be 2*659/(-662) + 2. Is s >= -1?
True
Let t be ((-52)/(-39))/(2/21). Let w = -3/2438 - -160923/12190. Which is bigger: w or t?
t
Let r = -312 + 311. Which is bigger: 2 or r?
2
Let c(u) = 5*u - 79. Let t be c(16). Is t at most -0.052?
False
Suppose -14*y = -2*y. Suppose -2*g = -5*i - 10 - 9, y = 2*g - 3*i - 9. Are -30/7 and g equal?
False
Let g = 477 - 507. Are g and -28 non-equal?
True
Let w be 10/(-70)*35/(-4)*-4. Which is bigger: w or -19?
w
Let j = -1.24 + -0.06. Let v = 0.1 + -1.1. Let w = v - j. Is -2/9 greater than w?
False
Let n = 1.08 - 1.3. Let g = 0.02 + n. Let f = -3/19 - -25/38. Which is smaller: f or g?
g
Let x(l) = 26*l - 373. Let i be x(-13). Is -711 bigger than i?
False
Let a = -0.69 + 0.75. Let v = 4.06 - a. Is 0 >= v?
False
Suppose 1 = -2*z + 7, 0 = -d - 2*z + 4. Which is bigger: 87 or d?
87
Let k = -0.143 - 0.057. Let c = -157 - -2040/13. Which is bigger: c or k?
c
Let s = -2.02 - -0.02. Let j = 4.61 - 0.21. Let l = j - 3.5. Which is greater: l or s?
l
Let q = -19/120 - -23/24. Which is bigger: -91 or q?
q
Let z be 4/22 - (7 + (-2445)/(-440)). Is -11 bigger than z?
True
Let d be 99/12 + (-6)/24. Let n be 24/(-108) - d/(-63). Which is smaller: n or -2?
-2
Let x(s) = -s**3 - 6*s**2 + 8. Let y be x(-6). Suppose -55 = -a - a + 5*d, 0 = -3*d + 15. Suppose -5 = -5*o + a. Which is bigger: y or o?
o
Let s(v) be the second derivative of -v**4/12 - 11*v**3/6 - 3*v**2/2 + 21*v. Let d be s(-10). Which is smaller: d or 2?
2
Let y = 12 + -11. Let p be 19 + (1 - y/(-1)). Is 20 bigger than p?
False
Suppose -4*x = -5*q - 8*x + 147, -111 = -4*q - x. Let t = 13 + 1. Let r = q - t. Is r > 14?
False
Let y = 713/6 - 2851/24. Suppose -5*n - 5*z = -30, 3*n + 3*z + 7 = 5*z. Which is bigger: y or n?
n
Let c be ((-9)/(-15))/((-4)/(-20)). Suppose 0 = 3*p + 2*m - 4*m - 9, -c*m = 0. Let g be (-140)/30*p/5. Which is smaller: -3 or g?
-3
Let g be (-1 - -3)/(8/(-8)). Is -24/37 less than g?
False
Let h be (-12)/(-42) + (-100)/840. Let c = 0 + 7. Is h less than c?
True
Let s = -1450 + 1450. Is s greater than -77?
True
Let s be (0 + (-2)/(-71))/(-4). Which is greater: 1 or s?
1
Let u = -90 - -121. Let p = -26 + u. Which is smaller: p or 21?
p
Let z(x) = -x**3 + 17*x**2 + 20*x - 24. Let q be z(8). Which is greater: -0.3 or q?
q
Let f = -3/89 + -246/623. Let q = 22 + -41/2. Which is smaller: f or q?
f
Let u be ((-2766)/28)/(9/18). Is u at least as big as -199?
True
Let h(v) = v**3 + 5*v**2 + 5*v + 2. Let r be h(-3). Suppose 0 = -0*u - 4*u - 2*n - 2, 5*u + r = -2*n. Let c be 0/((2 + u)*3). Does c = 3/5?
False
Let m = 14 + -1. Let u = m + -11. Suppose -5 = u*w + 1. Which is bigger: 0.2 or w?
0.2
Let o be -9*(-5)/30 - 1/(-2). Suppose 4*x + 2*n - 7 = -3, 0 = o*x - 5*n + 22. Which is bigger: 1/3 or x?
1/3
Let r be ((-1)/(-2))/(16/(-128)) + 8. Is 3 greater than r?
False
Let o = -12 - -12. Suppose -2 - 2 = 4*l. Which is bigger: o or l?
o
Let z = -14080/1311 - -22/69. Let q = -3/38 + z. Which is smaller: -0.2 or q?
q
Suppose 286*v + 20 = 282*v. Let p be (20/(-16))/(27/96). Are v and p unequal?
True
Let o(d) = -2*d**3 + d. Let h be (70/(-5))/((-1)/(-1)). Let c(p) = p + 15. Let t be c(h). Let a be o(t). Which is bigger: a or -2/23?
-2/23
Let d = 39/28 + -205/308. Let t = d - 379/22. Is -18 at most t?
True
Suppose 4 - 16 = -4*x. Suppose -4*c + 16 = x*d - 44, 52 = 3*c + 4*d. Suppose -15*a = -c*a + 18. Which is greater: a or -5?
-5
Let j be ((-8)/6*-57)/((-4)/(-2)). Let p = 46 - j. Is 2 greater than p?
False
Suppose 49*o - 34*o + 15 = 0. Are o and 14/187 non-equal?
True
Let g be ((-3)/(1476/(-188)))/1. Let r = g - 2/41. Let i = 6 + -7. Which is smaller: r or i?
i
Let t be -3 + 38*(-3)/(-42). Let o = -805.07 + 805. Is t > o?
False
Suppose -2*c + 6*c = -4*f + 4, 0 = -3*f + 5*c - 13. Let n be 513/(-180) - 1/(-4). Is n smaller than f?
True
Let w(r) = -156*r - 160. Let a be w(-3). Is 308 >= a?
True
Let r be 44/418 + (-3133)/(-19). Is r at most 165?
True
Let c(y) = 2*y + 88. Let d be c(-17). Let z be 3 + -2 + 1 + 10. Suppose 2 = m, -z + d = -5*b + m. Is b at least -8?
True
Let o = -5/8098 - -726883/141715. Let z = o - 38/7. Let j(l) = 7*l**3 + 22*l**2 + 6*l + 10. Let c be j(-3). Is z less than c?
True
Let l = -95 + -24. Are -1 and l unequal?
True
Let y = -81/28 - -6287/2212. Which is smaller: y or 0?
y
Let f(r) = -r + 9. Let z be f(10). Let g(m) = -6*m - 4. Let b be g(-1). Suppose 1 + 5 = -b*o. Is o < z?
True
Let p = 136 + -144. Is -80/11 at least as big as p?
True
Let d(x) = 2*x**2 + 20*x - 60. Let c be d(-13). Is 21 < c?
False
Let d(s) = s**2 - 12*s + 32. Let l be d(9). Is l equal to 6?
False
Let u be 13/(-26)*(2 - 3)*24. Let q = 3 - -10. Which is smaller: q or u?
u
Suppose 3*w = -3*q + 5*w - 227, -3*q - 3*w - 237 = 0. Let b be 3 + 1 + (-12804)/q. Let m = 170 - b. Do -1 and m have the same value?
False
Let u be (-1904)/5 - 4/1. Let y = u - -383. Is -1 smaller than y?
False
Let l = 711 - 710. Which is bigger: 4/731 or l?
l
Let t(j) = j**3 - 10*j**2 + 9*j - 4. Let g be t(9). Let c(q) = -3*q + 6. Let h be c(3). Which is greater: h or g?
h
Let i(d) be the first derivative of -d**4/4 - 7*d**3/3 - 2*d**2 + 2*d - 11. Let s be i(-6). Which is bigger: 3 or s?
3
Let k = 4/303 + 5240/909. Which is smaller: 5 or k?
5
Let d be (-3)/((-12)/16) - 0. Let s = -51/13 + d. Is 1 less than or equal to s?
False
Suppose -j + 3*x + 0*x - 1 = 0, 5*j = -5*x + 55. Suppose -87 = -6*l + 57. Let t = l - 17. Which is bigger: t or j?
j
Let s = -1684/112725 - -2/675. Is s at most as big as 0.5?
True
Let c be 36/(-24) - (-2)/(-4). Let t be 2*(29/8 + (-4 - 1)). Which is smaller: c or t?
t
Let s = 26 + -50. Let 