f(g) = 4*g**2 + 5*g + 1. Let h(j) = -2*f(j) + 3*n(j). Let p be h(0). Let y = -1/35 - 2/5. Which is greater: y or p?
p
Let i = 439 + -397. Are i and 44 nonequal?
True
Let f(p) = 2*p + 8. Suppose -3*c + 22 = -c. Suppose -s - c = 2*v - 3*v, 4*s = 5*v - 48. Let z be f(s). Which is smaller: -5 or z?
z
Suppose -7*j + 5*j = -4*f - 10, 3*f - 3*j + 6 = 0. Let i be 3 + 1/(-1)*7/f. Is i greater than 6?
False
Let i be 12/126*7*2/(-4). Is i smaller than -23/17?
False
Let f = -251.9 - -252. Let j = -16.33 - -18.1. Let y = 1.7 - j. Are y and f non-equal?
True
Let v = -59 + 63. Suppose -v*x = 4*j - 32, -3*x = -6*x + j + 20. Is 8 at least x?
True
Let r be 13 + 333 - ((-2 - -1) + 1). Are 347 and r unequal?
True
Let z be -3 - (-8 - -4) - -3. Let h be z/(-6)*9/(-33). Which is smaller: -1 or h?
-1
Let r = -12 - -16. Let i be -2 + -2 + 1 + r. Suppose i = 2*s + 4*n - 1, 5*s - 2*n + 43 = 0. Is s >= -0.2?
False
Let o = -18732/35663 - 2/1877. Let y be 4/20 + 4884/7980. Let x = y + o. Is -0.04 < x?
True
Let j = 12 + -13. Let c = -176/711 + 2/79. Which is greater: c or j?
c
Let l(m) = 4*m + 6*m - 6*m. Let i be l(10). Is 39 bigger than i?
False
Suppose -4*b - 4*i - 8 = 0, 18 = 5*b - 0*b - 2*i. Is 1 at least as big as b?
False
Let g = -0.02 + 2.02. Let v = 0 - g. Let k = 1 + v. Is k < -1/7?
True
Let y = 2.2 + 3.8. Let z = y - 23. Let a = z - -12. Which is smaller: a or -0.1?
a
Let f be 316/3*(-1 - (0 + 5)). Is f bigger than -632?
False
Let j = 1 + -1. Let r = j + -2. Let v = -0.411 + 0.011. Are v and r equal?
False
Suppose g - 5*w + 8 = 0, 24 = -3*g - 0*g + 4*w. Let r = -2 - -3. Let x(f) = -8*f**3 - f**2 + f - 1. Let t be x(r). Which is smaller: g or t?
t
Let b = -11825/474 + 9/79. Which is smaller: b or 0?
b
Let k(l) = l**3 - 6*l**2 + 5. Let y be (-6)/(-4 + (-2 - -5)). Let m be k(y). Suppose m - 4 = i. Which is bigger: 4/9 or i?
i
Let j be 2 + ((-24)/21 + 1 - 2). Which is smaller: j or 2/501?
j
Let u be 3/(3 - 4) + 9. Suppose -u*w = -9 - 3. Suppose c + w*s = 1, 0*c - 4*c + 4*s = 8. Is -8/9 not equal to c?
True
Let u = -7.66 + 9.56. Which is smaller: 2 or u?
u
Suppose 2*q - 6*q = 0. Suppose -8*h + 7*h + 24 = q. Suppose 0 = p - 4*p + h. Which is greater: 7 or p?
p
Suppose -4*b = -k + b - 13, 5*k + 2 = 4*b. Suppose k*w + 34 = 3*j, -2*w - 25 = w + 2*j. Which is greater: w or -12?
w
Let z(j) = -j**3 + 4*j**2 - 3*j + 1. Let c be z(3). Let x = 47/627 - 2/19. Is c less than or equal to x?
False
Let g(m) = -4*m**2 + 31*m - 42. Let u be g(6). Which is bigger: 3/758 or u?
3/758
Let v = 0 + 14. Let z be 8/v - 16/28. Let o(s) = s**3 - 1. Let d be o(z). Which is bigger: d or 1/15?
1/15
Let d(c) = -2*c + 1. Let x be d(-2). Suppose -5*q + 5*l = -80, 0*q + 5*q - 100 = -x*l. Suppose -10*u = -12*u - q. Is -8 at most as big as u?
False
Suppose -2*t + 4*a + 18 = -0*a, -2*t + 26 = 4*a. Are t and -2 equal?
False
Let l(v) = v**3 + 9*v**2 + 7*v - 4. Let q be l(-8). Suppose -4*a + 4*o - 5 = 15, q*a + 4*o - 20 = 0. Let c be (15/50)/((-2)/4). Is a at most c?
False
Let q(c) = c**2 + 2*c - 2. Let d be q(-3). Let m be ((-1 - d)/(-2))/5. Is m < 0.2?
False
Let k = 3 - 3.3. Let h = -11885644/117 + 101586. Let l = -12/13 - h. Is l at least as big as k?
True
Let g = 61 - 70. Let y = 9.08 + g. Which is smaller: 1 or y?
y
Let y be (9 + -1 - 5) + -11. Is y bigger than 14?
False
Let s = 101 + -100. Which is greater: 1/468 or s?
s
Let v = -336 - -337. Does v = 4/141?
False
Suppose 0*d - 4*d = -2*u + 18, 3*d = 2*u - 13. Let m = -155.9 - -156.1. Is u greater than or equal to m?
False
Let o = -9 - -12. Suppose -4 = 3*v + v, o*v = -2*i - 5. Are -14/11 and i equal?
False
Suppose -4*p + p + 5 = 4*b, 0 = -3*p - 3*b + 6. Let f(y) = 11 + 2*y - 3*y - p*y + 3*y. Let v be f(12). Is v less than 2/9?
True
Suppose -2*y - 3*y = -600. Do 119 and y have different values?
True
Let j = 6 - 7. Let x = -30.2 + 27. Let v = x - -3.6. Which is smaller: j or v?
j
Let f = -34 + 49. Suppose -5*z - 44 = 4*p - z, f = -5*p + 3*z. Let g be 42/(-4)*(-8)/p. Is g >= -15?
True
Let v(x) = x**2 + x + 9. Let p be v(0). Suppose 0 = 35*d - 46 - 199. Suppose -p*q = -d*q + 16. Which is bigger: q or -6?
-6
Let q be (8/(-30))/(418/(-95)). Let y = -104/627 + q. Let b = 3 + -2. Which is smaller: b or y?
y
Let j = -1 - -1. Suppose 3*w - 5*d = 38, 4*w = -3*d - j + 12. Suppose -w*y - 20 = -y. Which is smaller: -30/11 or y?
y
Let c = 2.1 - 3.9. Let q = -2.1 - c. Let g = -0.7 - 0.3. Which is smaller: g or q?
g
Let g = 1505 - 1511. Which is greater: -146/3 or g?
g
Suppose -2*f = 5*b - 0 + 7, 5*f = -4*b + 8. Let m be 308/(-143) - (2 - f). Which is bigger: 2/5 or m?
2/5
Let q = 134 + -135. Do q and -28/55 have different values?
True
Let r be (1/(-5) - 63/(-15))*1. Let q be (9/r)/((-4)/(48/3)). Which is smaller: -66/7 or q?
-66/7
Suppose x - 3 = -4, -3*v + x - 5 = 0. Suppose -2*u + 120 = -s, 6*u = 2*u - 4. Let t be s/42 + ((-33)/(-21) - 1). Which is greater: t or v?
v
Let h be (-12)/(-10)*(-5)/(-2). Let j be (-15)/18 + 1/h. Suppose 2*y - 26 = -4. Which is greater: j or y?
y
Let u = 247.3 - 247.4. Which is smaller: u or 6/7?
u
Let r(f) = f**3 + 6*f**2 - 9*f - 13. Let n be r(-7). Let y = 5/7 - 2/7. Is y bigger than n?
False
Let a = 832 - 865. Which is smaller: 2/73 or a?
a
Let i = 2019 - 2013. Is 61 at most as big as i?
False
Let r = 19.11 + -19. Let i = r - 2.11. Let f = i - -2. Are -1/3 and f non-equal?
True
Let n = -72 + 72.015. Let s = n - -0.085. Is -28 >= s?
False
Let g = -93.8 - 28.2. Is g < 1/6?
True
Let s = -6493/2 + 3248. Let m = 1 + -1. Which is smaller: m or s?
m
Suppose -12*l + 128 = -4*l. Suppose -2*n - l = 3*r - 5, 3*n = 5*r + 12. Is 3/20 at least as big as n?
True
Let p = -3 + -42. Let t = 46 + p. Which is smaller: t or -17?
-17
Let j be ((-55)/35 + 3)*-7. Suppose -8 = v - q - 0, -5*q - 15 = 0. Let w = v - j. Is 2 greater than w?
True
Let q be (-31 + 28)*(-8)/(-12). Let a(l) be the second derivative of l**3/6 - l**2/2 + l. Let v be a(-2). Is v <= q?
True
Let c = 2/577 - 1192/10963. Let l = 2.03 - 0.03. Let m = l + -2.1. Is m less than c?
False
Let m(b) = -2*b**3 - 7*b**2 + 4*b + 17. Let r be m(-5). Suppose -12*s = -16*s - r. Which is greater: -19 or s?
s
Suppose -25*f - 37 = -612. Is f at most 19?
False
Let h(k) = k**3 - 4*k**2 - k + 4. Let p(n) = -n**2 - 9*n + 14. Let v be p(-10). Let q be h(v). Let i be 14/(-75) + 3/18. Which is bigger: q or i?
q
Let u = -13.982 - -14. Let z = 0.082 + u. Are 2/91 and z equal?
False
Let q = 497 + -551. Is q equal to -54?
True
Let l = 0.001 - -32.999. Let c = l + -48. Let r = -14 - c. Which is smaller: -0.1 or r?
-0.1
Let r(k) = -k**3 - 8*k**2 - 2*k - 15. Let y be r(-8). Let d be (0 + y)*(-8 - 5). Is -13 at most as big as d?
True
Let i(c) = 5*c - 2. Let t be i(1). Suppose -t*a + 141 = -6*a. Is a at least -48?
True
Let d = -59/46 - -44571/34822. Which is bigger: 1 or d?
1
Let d(q) = -18*q + 174. Let z(h) = -12*h + 116. Let o(u) = 5*d(u) - 7*z(u). Let v be o(14). Is v >= -25?
False
Let g(n) = 5*n + 10. Let k(p) = 4*p + 9. Let o(q) = -5*g(q) + 6*k(q). Let m be o(2). Let f = -1 - m. Which is bigger: -2 or f?
-2
Let k = -53 + 35. Let h = -16 - k. Does h = -5?
False
Let o = -1668 + 11712/7. Which is bigger: 0.1 or o?
o
Let n = -19 + 15. Let u be 0/(n + 1 - -2). Is u <= -3/11?
False
Let x be (-2844)/5 - 3/165*11. Is -569 less than x?
False
Suppose -9*c + 156 = -3*c. Is c less than 25?
False
Suppose -3*s - 4*a - 49 = 18, -3*a = 12. Which is bigger: -18 or s?
s
Let h = -11/6 - -4/3. Let s be 16/108*(-9)/(-6). Which is greater: h or s?
s
Let c be 57/(-51) + 2/17. Let o(d) = d**3 - 6*d**2 - 2*d + 9. Let k be o(6). Let h be (-2 + 1)*k/9. Which is smaller: h or c?
c
Let n = 231.412 - 232. Let m = 0.112 - n. Is m equal to -0.4?
False
Suppose -5*n = b - 103, 2*b + 5 - 1 = 0. Let q be (-144)/(-14) + (-6)/n. Suppose q*o = 9*o. Is o greater than or equal to 1/5?
False
Suppose 2106 = 17*c - 30*c. Which is smaller: -164 or c?
-164
Let v = -74 + 74. Suppose v*q + q = 31. Which is smaller: 33 or q?
q
Suppose -3*u + 8*u = -5*y + 3040, 0 = -4*y - 16. Is u smaller than 613?
True
Let x = 941 - 540. Is x != 401?
False
Let f = 769 + -959. Is 3 smaller than f?
False
Let k be (-6)/10*135/(-81). Is 12 greater than or equal to k?
True
Let n be (-3 - 0)*(4 + 4045/(-1010)). Which is bigger: n or -1?
n
Let q be 2 + 111/(-68) + (-100)/400. Are -0.3 a