(a) = a**3 - 1. Let y(p) = -b(p) + 2*u(p). Let f be y(4). Is f at least k?
False
Let g = -2801.4 + 2801. Is g <= 0.3?
True
Let q be (-7488)/78 + -2*(-1 - -2). Suppose 5*j + 4*a + 497 = 0, -5*a = 5*j + 128 + 372. Which is greater: q or j?
j
Let g(i) = 1 - 16*i + 0*i - 11 - 6 - i**2. Let x be g(-15). Let q = 32 + -65/2. Which is smaller: x or q?
x
Suppose 46 + 19 = 5*o. Let k = -602 - -604. Suppose -3*p + 2*p + 25 = -k*h, -h + p - o = 0. Do h and -11 have the same value?
False
Suppose -2*c + 3 = -2*t + 5, -2*t = 5*c - 16. Suppose 5*g = 7*y + 22, 12*g - 10*g - 12 = 2*y. Is g equal to c?
False
Let v = -6.92 + 13.06. Let t = v - 0.14. Let k = -5 + t. Is 1/2 equal to k?
False
Suppose 2*n - m = -294, -6*n + 2*n - 592 = -3*m. Is -1006/7 at most n?
False
Let c(g) = g**2 - 6*g + 1. Let u be c(6). Suppose -42*y - 43*y = -87*y + 150. Which is bigger: y or u?
y
Suppose -2*m - 25 = 3*j, 3*m - 3*j + 4*j = -41. Let t be ((-4)/12)/(m/12). Is -0.04 less than t?
True
Let h be -11 + 10 + -2*76/16. Is -11 less than or equal to h?
True
Let a(v) = v**2 + 2*v - 4. Let p be a(-4). Let n be 6/(-3)*p/(-2). Suppose -n*h = -3*h + 1. Is h > -2/7?
False
Let u(k) = 85*k - 3*k**3 - 105*k + 15 + 20*k**2 + 2*k**3. Let h be u(19). Let a be h/(1 - 18/14). Which is bigger: 15 or a?
15
Let v(c) = c**3 - 4*c**2 + c - 1. Let j be v(4). Let n be (2 + 10)/(-4 - (-11 + 8)). Let s be (-10)/n + j/(-6). Which is greater: -2/5 or s?
s
Suppose 0 = -3*g - 12, 5*d + 4*g + 8 = 12. Which is smaller: 46/15 or d?
46/15
Let n = 73 - 71.95. Let o = -0.15 - -0.2. Let c = o - n. Which is greater: c or 2/13?
2/13
Let p = -60.1 + 64. Let w = 3.8 - p. Which is greater: w or 0.04?
0.04
Suppose -6*s + s + 8 = 2*b, -3*s + b = -7. Let p = 52 - 52.8. Let v = 0.5 + p. Which is greater: v or s?
s
Let d = -410 + 1229/3. Is 34 != d?
True
Let q be (1 + 106/(-138))/(86/387). Which is smaller: 0 or q?
0
Let z be -1 + -3 + 13 + -13. Let l(p) = 9*p + 36. Let f be l(z). Which is greater: f or -4?
f
Let m = -0.102 + 31.102. Let r = m - 31.4. Is r at most as big as 4/5?
True
Let g be 4 + -5 + 29 - 0. Suppose y - 5*m = -40, 13 = -2*y - 3*m - g. Is y != -25?
False
Suppose 158*z = 160*z - 5*d - 67, 3*z + 4*d - 66 = 0. Let k = 11 - -14. Which is smaller: k or z?
k
Let n = 4 + -2. Suppose 4*k = -n*j + 14, -4*j - 4 - 4 = -4*k. Suppose k*i - 8 = i. Is 3 at most as big as i?
True
Let s(t) = 67*t - 336. Let k be s(5). Do k and -1/142 have the same value?
False
Suppose 190 = -2*r - 17*r. Does -12 = r?
False
Suppose 2*r - 3*l - 62 = 0, 3*r - 2*l - 33 = 2*r. Suppose 0 = -4*w - 2*c + 5*c + 15, 3*w - r = 5*c. Which is bigger: -3/8 or w?
w
Let f be 2 + (-1)/(33/(-7530)). Let x = f - 230. Let y = 60.8 + -61. Is y less than or equal to x?
True
Let a = 194 - 1744/9. Let u(l) = -l + 5. Let t be u(4). Is t less than or equal to a?
False
Suppose -752 = -5*l - 11*l. Are 46 and l equal?
False
Let f(a) = 3*a + 16. Let n be f(-5). Is n bigger than -1/36?
True
Let v = -9 - -3. Let o be 44/(-36) + 3 - 8/(-36). Let t be 11*o*1/(-4). Which is smaller: t or v?
v
Suppose 0 = y - 5*y - 28. Let k be (-5 - (y + 3))/1. Let a(x) = -x**3 + 6*x**2 - 1. Let g be a(6). Is g >= k?
True
Let w(c) = c**3 + 12*c**2 - 12*c + 13. Suppose t - 3*u + 4 = 0, -5*t = -4*u + 54 - 1. Let v be w(t). Which is bigger: -1/9 or v?
v
Suppose 0 = 5*j - 10 - 5. Suppose 4*t - j*z = 19 + 107, -161 = -5*t + 2*z. Let r be (27/t)/((-21)/14). Which is greater: 0 or r?
0
Let k = 177033 - 1591427/9. Suppose -1041 = -5*y - j, y - 1035 = -4*y + 5*j. Let u = y - k. Which is smaller: u or -3/7?
-3/7
Let s = 91 - 86. Suppose 4*f + 0*f + 28 = 4*h, -2*h + s*f + 20 = 0. Let x = -3 + 6. Are x and h unequal?
True
Let n = -6 - -26. Suppose -5*l + 0 - n = 0. Is l <= -4?
True
Let y = 1/7 + -17/21. Let k = -0.01753 - 3.20147. Let x = -0.219 - k. Is x <= y?
False
Let z = 0.0561 - -0.2439. Which is greater: -0.128 or z?
z
Let d be (-370)/(-6)*(-6)/(-15). Let n(s) = s**3 - 4*s**2 - 2*s + 10. Let t be n(5). Is t at most as big as d?
False
Let r be 1*(31 + 0) - 2. Let i(n) = -n**3 + 22*n**2 + 47*n + 54. Let q be i(24). Is q equal to r?
False
Let q = -98 + 98.4. Let g = q - 0.3. Which is greater: g or 5/7?
5/7
Suppose 5*b - 20 = -2*y + 49, -51 = -3*b + 2*y. Let i = b - -1. Which is smaller: i or 52/3?
i
Let t(i) = -2*i**2 + 4*i - 2. Let d(v) = -3*v**2 + 4*v - 1. Let f(p) = -3*d(p) + 4*t(p). Let l be f(-5). Suppose 9 = -l*m + 3*m, m + 1 = -q. Is -1/2 < q?
False
Let f = -24/11 + 146/77. Suppose x = -t + 3, 5*x = x + 5*t - 15. Suppose m = -1 - x. Is m at most as big as f?
True
Let l be ((-2)/9)/(1/(-12)). Suppose 5 = 2*y + 3. Let j be y + ((-7)/21)/(2/(-6)). Is j smaller than l?
True
Let s be (-402)/99 + 1 + 3. Let r(b) = b**3 - 8*b**2 + 6*b + 8. Let m be r(7). Which is greater: s or m?
m
Let s = -42 - 27. Let h be (-2)/(16/12)*(-4)/s. Which is smaller: h or 0?
h
Let s = 15.8 + -13.98. Let u = -0.18 - s. Is u > -15?
True
Let o = -605/4 + 148. Is o less than -2?
True
Let z = 1838020 + -3611708956/1965. Let w = 12/131 + z. Let y = 2/5 + w. Which is greater: 1 or y?
1
Let x = 12 - 7. Let w = x + -4.9. Let g = 0.2 + -0.2. Which is greater: w or g?
w
Let x = -476 - -449. Which is bigger: x or -26?
-26
Let m(u) = -u**2 + 7*u + 12. Suppose 0 = 6*y - 8*y + 32. Let a = -7 + y. Let j be m(a). Is j at least -5?
False
Suppose -2*z + 4*t + 13 = -53, 3*z - 71 = -t. Which is bigger: 15 or z?
z
Let o(q) = -2*q**3 + 18*q**2 + 6. Let p be o(9). Let g(l) = l - 1. Let s be g(6). Suppose -b - 12 = 3*k, -4*k - s = -b + p*b. Which is smaller: b or 4?
b
Let h = 0.2 + 1.8. Let i = -0.2782 + 0.0382. Is h >= i?
True
Suppose 16*r - 10*r - 18 = 0. Let p(o) = 5*o - 10. Let h be p(r). Is 1 bigger than h?
False
Let j = -2404 - -2101. Which is smaller: -301 or j?
j
Let x be 4/6 + 4/(-6). Let q = -924 - -1847/2. Which is smaller: x or q?
q
Let p = 31.9 - 19. Let x = p - 12. Let g = 0.1 + x. Is g at least 2?
False
Let x = 20/59 + -454/295. Let y(a) = a**2 + 3*a - 5. Let p be y(-4). Is x at most p?
True
Let n = -2712 - -2165. Is 2 greater than n?
True
Let k = -978 + 10746/11. Let j = 0.0149 - 1.0149. Is j != k?
True
Suppose 0 = -w + 4*j - 11, 13*w - 15*w + 3*j = 2. Suppose -8 = 2*p - 4*p. Suppose 0 = p*q + q + w. Which is greater: q or 1?
1
Let j(d) = 5*d**2 - 3*d + 2. Let c be j(1). Suppose 0 = 5*g - g - 20. Suppose -g*m + c*o = 4, 2*o - 2 = m - 3*m. Which is smaller: m or -3/16?
-3/16
Suppose 0 = 4*v + 4*v + 32. Let i = 1 + -4. Which is smaller: i or v?
v
Let j be (-34)/(-153)*1/2. Suppose -5*h + h = -4*d + 20, -h - 20 = -4*d. Which is bigger: h or j?
j
Let w be -2 + 2 + (-4)/60*4. Let i = 124/483 - -2/69. Is w smaller than i?
True
Let j = -452 + 436. Is j != -17?
True
Let x be ((-24)/(-21))/((-6)/21)*2. Suppose -1 = -4*p - 5. Let s be (p*3)/((-5)/(-15)). Is s < x?
True
Let a be -2*1*15/(-10). Let i be 3/(a/2) - 14. Is -13 != i?
True
Let l = 1.5 + 0.1. Let t = 32.6 - 28. Let s = t - l. Is s equal to -0.2?
False
Suppose 4*k - 172 = -2*o, 10 = -k + 2*o + 48. Let b = k + -43. Which is smaller: 1/31 or b?
b
Let k = -3.118 - -0.018. Let x = k + 0.1. Let g = x + 2.7. Is g > -2/9?
False
Let l(s) = 19*s - 617. Let r be l(33). Are 45/2 and r equal?
False
Let n = 0.19 + -0.53. Let b = 0.34 + n. Which is smaller: b or -2/11?
-2/11
Let w = -9.8 - 13.2. Let f = 34 + w. Is f < 0.1?
False
Suppose -244 = 103*a - 107*a. Is 60 bigger than a?
False
Let a = -12 + 11.96. Let n = 0.04 + a. Let j = 0 + n. Which is bigger: j or 0.2?
0.2
Let y(n) = -n**3 - 5*n**2 - 4*n - 6. Let u(o) = -o**2 - o. Let i(k) = -2*u(k) + y(k). Let g be i(-3). Which is smaller: 2 or g?
g
Suppose -y - 4 = 3*y. Let t be -1*(y + 4 + 3). Which is greater: -3 or t?
-3
Let l = -0.586 + 131.586. Is l <= 0.4?
False
Suppose 0 = -8*q + 7*q + 4*a - 3, 0 = -2*q + 2*a - 24. Let c(n) = n**3 - 4*n**2 - 4*n - 6. Let s be c(5). Let i be s/(q/(0 + 3)). Is -3 >= i?
False
Let x(j) = -j + 5. Let a be 30/(-9) - (-6)/(-9). Let h be x(a). Let r be 1*0/(-1) + 1. Which is smaller: h or r?
r
Let f(w) = -104*w - 380. Let t be f(-4). Let z = 54 + -17. Which is bigger: t or z?
z
Let k be (-4)/14 + (-10)/(-35). Does 2/81 = k?
False
Let u be (55/(-10) - -1)*20/(-6). Which is greater: 6 or u?
u
Let o = 255 + -216. Is 39 <= o?
True
Let j = -6.8 - -6.9. Let i = -46 - -20. Which is smaller: i or j?
i
Let k(v) = -v**2 - 22*v