f. Which is bigger: f or p?
p
Let z(x) = x**3 - 11*x**2 - 10*x + 2. Let b be z(11). Let c be (-31044)/b + (2 - 1). Let j = -288 + c. Which is smaller: 0 or j?
0
Suppose 0 = 53*b - 59*b + 96. Is b > -2?
True
Let i = 211.08 - 211. Let l = -0.26 - -0.26. Which is bigger: i or l?
i
Suppose 4*q + 38 = -m, q = 5*m - q + 190. Let k = m + 42. Which is greater: k or 7?
7
Suppose w + 2*w - 2*o + 62 = 0, 3*o = 12. Let h be 12/w - 104/6. Let x be ((-1)/4)/(h/(-16)). Which is greater: 1 or x?
1
Suppose 5*q - 24 - 6 = -5*m, -2*m + 30 = 5*q. Suppose q*a - 4 = 110. Are 20 and a unequal?
True
Let k = -3.4 - -6.8. Let g = -13.7 - -16.1. Let w = g - k. Which is bigger: 6 or w?
6
Let p(u) = -u**3 + 7*u**2 - 11*u - 6. Let v be p(5). Let o(s) = -s**3 - 12*s**2 - 12*s - 11. Let h be o(v). Which is smaller: h or 18?
h
Let h(t) = t**3 - 13*t**2 - 2*t + 20. Let w be h(13). Let i be ((-12)/(-9))/(7/w). Let l = -7 + 5. Is i not equal to l?
True
Let k(o) = 4*o**2 - 11*o + 20. Let r(d) = 7*d**2 - 21*d + 41. Let l(m) = 5*k(m) - 3*r(m). Let p be l(6). Which is smaller: -10 or p?
p
Let x be (-1 - 4) + (45/(-1) - -4). Which is smaller: -48 or x?
-48
Suppose -46*s = -14*s + 4192. Which is bigger: -130 or s?
-130
Let d = 1397 + -1580. Which is smaller: d or 0.1?
d
Let o be (-4 - -8)*87/12. Let v = o - 31. Let c = -6 + 3. Is c less than or equal to v?
True
Let g = -1/27 - -458/1431. Which is bigger: g or 0?
g
Suppose 20*t = -3 + 23. Which is bigger: t or 6/121?
t
Let u = 370 - 262. Which is bigger: 106 or u?
u
Let a(m) = m**2 + m. Let s(l) = l + 7. Let u be s(-13). Let y be a(u). Suppose -4*t = -8, -5*h + 159 = -2*t + 4*t. Is h at most as big as y?
False
Let s be ((-18)/11)/(59/(-11)). Is s not equal to -1?
True
Let g(t) = -t**3 + 2*t - 3. Let m be g(0). Let d be (7*(-3)/(-21))/(1/m). Which is greater: -5 or d?
d
Suppose -3*j - 7 = -m - m, -4*j = -m + 11. Is j at most -22?
False
Let z be 2/((-4)/(-5))*26/65. Which is smaller: -3/70 or z?
-3/70
Let g = 1677 + -906. Is 770 greater than or equal to g?
False
Let o = -113/70 + 4/35. Let c(b) = b**3 - b**2 + b - 2. Let s be c(0). Is s greater than or equal to o?
False
Let l = -173 - -126. Are l and -412/9 non-equal?
True
Suppose x - 13*y + 8*y = 24, 0 = -5*y - 25. Is -4/143 at least x?
True
Let h = 9.9 - 9. Let z = 567 + -1133/2. Which is bigger: z or h?
h
Let w(y) = 2*y**2 - 32*y - 30. Let j be w(13). Which is smaller: -107 or j?
j
Let d = -26.173 - -0.273. Let b = d + 26. Let n = -0.003 - 1.497. Which is smaller: b or n?
n
Let f = 26 - 23.6. Let u = 2 - f. Let q = 1 + -3. Are q and u nonequal?
True
Suppose 2*h - 11 + 1 = 0, 5*h = -5*s + 30. Which is smaller: s or 2?
s
Suppose -5*v + 10*v - 120 = 5*g, 68 = -3*g + 4*v. Is -86/3 greater than g?
False
Let c be 8/(-6)*((-81)/12 + 6). Which is bigger: c or -36?
c
Suppose 12 = 8*q - 12*q. Let r be (0 + 1/(-1))/q. Which is bigger: r or -1?
r
Suppose 4*i + 2 = 86. Let g be ((-2)/(-14))/(-6*3/i). Suppose 2*m + 4 + 0 = -n, 5*m - 2*n - 8 = 0. Is m less than g?
False
Suppose -4*t - 7 + 3 = 0. Let n be t/(4/((-40)/(-55))). Which is smaller: -7 or n?
-7
Suppose -5*n + 353 = o, -4*n - 4*o + 362 = n. Is n at least 67?
True
Suppose 9*h + 15 = 24. Suppose -l + h = 0, -2*x - 66 = l - 5*l. Is -32 != x?
True
Let s(a) = 5*a - 91. Let i be s(21). Is 19 equal to i?
False
Let x be 1*2/((-6)/(-9)). Suppose 0 = 6*a - x*a. Suppose -18 - 5 = -4*h + 5*m, -h = -4*m - 14. Is h != a?
True
Let l = -9 + 12. Suppose -l*f = -4*q - 103, 45 = f + 2*q + 14. Let z be 2*(18/f)/(-2). Is z less than -2?
False
Let t = 435 - 479. Is -44 != t?
False
Let j = 168 - 167. Let h(b) = 5*b**2 - b - 2. Let i be h(2). Let d be 1 - i/10 - -1. Which is bigger: j or d?
j
Let v = 19 + -7. Let u = v + -11.8. Let c = 13/6 - 5/2. Is c not equal to u?
True
Suppose -673*t + 4392 = -664*t. Which is bigger: 487 or t?
t
Suppose 8*k - 221 = 891. Do k and 146 have different values?
True
Suppose -2*a = -2*p - 12, 0*a - 2*a - 5*p = -12. Suppose -23*n - 12 = -27*n. Suppose -n*c = 6 - 30. Is a smaller than c?
True
Let g(h) = -h**3 + 42*h**2 + 5*h - 100. Let q be g(42). Which is smaller: 112 or q?
q
Let m = -150 + 162.8. Let s = 14 - m. Let c = 2.2 - s. Are 0.04 and c nonequal?
True
Let s be 4005/2937*(-2)/(-5). Let w be (3/(-2))/((-3)/4). Which is greater: w or s?
w
Let y = 48 + -397/8. Let h = -15/8 - y. Which is smaller: 8 or h?
h
Let j be (-6)/33 - 464/(-2310). Is -3 less than j?
True
Let z = -15 - -10. Let q = 8 - 9. Let o = -2 - q. Which is bigger: o or z?
o
Let a(f) = f**3 + 7*f**2 + 5*f. Let g(c) = c**3 + 10*c**2 + c + 4. Let z be g(-10). Let j be a(z). Are j and 6 equal?
True
Suppose g + 12 = -4*k - k, 4*k + 20 = 0. Which is smaller: g or -8?
-8
Let q = 32 - 4. Suppose 5*u - 2*v - 13 = q, 3*v + 9 = 0. Is 0 < u?
True
Suppose 4*r - 8 = 2*u, 4*u + 4 = 4*r - 8. Let o = -1 - u. Let t = -417 - -7087/17. Which is greater: t or o?
o
Suppose -5*x + 2*k = -3*k + 5, 5 = k. Let y be (-24)/(1/(-2)*3). Which is smaller: x or y?
x
Let u(n) = -3*n**2 - 36*n + 1. Let z be u(-15). Is z != -134?
False
Let l(d) = d**3 - 21*d**2 + 16*d + 80. Let j be l(20). Which is greater: j or -1/1563?
j
Suppose u = -5*n + 8, -21 = 2*n - u - 20. Is -2/69 smaller than n?
True
Let d(l) = -9*l**3 + 5*l**2 + 4*l + 2. Let i(k) = 8*k**3 - 4*k**2 - 4*k - 1. Let u(m) = -4*d(m) - 5*i(m). Let s be u(2). Which is smaller: s or -28?
-28
Suppose -797 = 5*a - s + 885, 0 = -2*a + s - 671. Is -337 >= a?
True
Let x = 96.2 - 96. Suppose -4*p - 2 = 2. Let k be (p/10)/((-2)/(-5)). Is k less than x?
True
Let j(u) = 5*u**2 - 15*u - 9. Let p(y) = 2*y**2 - 7*y - 5. Let c(l) = -3*j(l) + 7*p(l). Let h be c(-5). Let n = h - -18. Which is greater: 3 or n?
n
Let a = -3530 - -10793/3. Is 67 at most as big as a?
True
Let n = -0.0435 - 23.9565. Is -39 greater than or equal to n?
False
Suppose -4*y + 28 = 20. Suppose y*b + 5 - 3 = 0, -41 = -4*t + b. Which is smaller: 8 or t?
8
Let s(z) = -18*z - 23*z**2 + 3 + 1 + 22*z**2. Let n be s(-18). Which is bigger: n or 7?
7
Let n = -2644/15 + 176. Let y be (-6)/10 + ((-18)/(-15))/(-3). Is n greater than y?
True
Let l = -0.18 + 14.18. Let z = -16 + l. Let b = z - -2.2. Are b and 3 nonequal?
True
Let l(o) = o**3 + 4*o**2 - 13*o - 12. Suppose -21*q - 12 = -19*q. Let a be l(q). Are a and -7 unequal?
True
Let x = -85.06 + 86. Let p = x + -0.04. Let z = p - 1. Which is greater: z or -2/3?
z
Let y(r) be the third derivative of -r**4/24 - r**3/2 - 2*r**2. Let v be y(-6). Let g = 1099 + -1097. Which is smaller: v or g?
g
Let m be -1 - 296/(-3 - -7). Suppose -61*l = -66*l - 370. Which is bigger: m or l?
l
Let l = 8 - 4. Suppose -3*u = v - l, 8*u - 2*v + 8 = 3*u. Which is greater: -4/3 or u?
u
Suppose 0 = -3*k + 3*u - 32 + 104, 0 = -k - 5*u. Let g = 0.03 + -0.03. Are g and k non-equal?
True
Let j be 18/(-14) - 4/(-14). Let m = -13.58 + 13.88. Which is bigger: j or m?
m
Let i(j) = j**3 - j**2 - 3*j + 2. Let t be i(2). Let d = 6 + -7.3. Which is greater: d or t?
t
Let q = 0.19 - 0.17. Let m = q + -0.02. Which is smaller: m or 0.25?
m
Suppose -30*c - 275 = -41*c. Is 25 less than or equal to c?
True
Let x be (2/4)/((-1)/(-1)). Let k = 1.605 + 16.415. Let c = 18 - k. Which is smaller: x or c?
c
Let k = 0.4 - 0.4. Let v = 0.33 - 0.23. Let i = v - k. Do i and 0.1 have the same value?
True
Let k be (-24)/(-8) + (-23)/(-3). Suppose 4*w - 9*d + 10*d - 47 = 0, 5*w - 3*d = 46. Does w = k?
False
Let b be (-4)/2*20/(-40). Suppose 5*w - 4 = g - 38, 20 = 5*g. Let i = w - -5. Is b <= i?
False
Let w = 212 + -213. Is 2/2025 at least as big as w?
True
Let h(g) = -g**3 + 13*g**2 + 15*g + 43. Let a be h(14). Is 58 <= a?
False
Let l = -159/7 - -1805/77. Which is greater: l or -1?
l
Let j be (-2 + 1 + 0)/(-5 - -4). Suppose 1 - j = -2*r. Is -2/93 greater than or equal to r?
False
Let r = 1 - 1.4. Let p = -0.003 - -1.683. Let q = -0.68 + p. Is q less than r?
False
Suppose -2*o + 9 = 1. Suppose -2*r + 3 = -5*q, -o*r + q - 27 = 2*q. Let i = 0.3 + -0.2. Which is bigger: r or i?
i
Let c be 1 + 6/(-4) + 0. Let a = 671 + -675. Which is greater: c or a?
c
Let v(h) = -h**2 + 2*h + 4. Let x be v(3). Let j be 18/(-192)*4 - (-74)/(-16). Which is smaller: j or x?
j
Let a = -72283 + 214783/3. Let y = a + 683. Which is smaller: -6 or y?
-6
Let k = 208451/5 - 41488. Are 201 and k equal?
False
Let o be (0 - (-1262)/24) + 