= -7.3 - -7. Which is smaller: y or h?
h
Let l(h) be the first derivative of -h**3/3 - 4*h**2 + 9*h + 2. Suppose 5*b + 4*o + 45 = 0, 0 = 2*b - 5*o + 25 - 7. Let x be l(b). Which is bigger: x or -2/23?
x
Suppose -5*g = 15 - 35. Let k be 51/4 + 9/(-12). Suppose l + 2*l + u = k, 5*l + u - 20 = 0. Is l >= g?
True
Let z be 123/(-6) + (-4)/8. Let t = z - -19. Let a = 0 - -1. Is a greater than or equal to t?
True
Suppose 4*u + 2*h = 34, -3 = -2*h - 1. Let f(t) = -t**3 + 7*t**2 + 8*t + 8. Let i be f(u). Let k = i + -5. Is k at least as big as 3?
True
Let q = 19 - 14. Suppose -2*x + 4 = -5*l, 4*x = q*l - x + 10. Let p = -10325/37 + 279. Which is smaller: l or p?
p
Let q(l) = l**3 + 5*l**2 - 13*l - 52. Let d be q(-6). Is d smaller than -75/8?
True
Let h be 4/45*12/(-8). Let r = 1/35 - 97/945. Let a = r - 40/189. Which is greater: h or a?
h
Suppose 1104 = 10*h - 676. Is 177 < h?
True
Let s = -1737 + 1736.217. Is -2 greater than s?
False
Let o(q) = 0*q**3 - 4*q**2 + q**3 + 7*q + 6 - 2*q**3. Let v be o(-5). Let n(t) = t**2 + 20*t - 1059. Let k be n(-44). Which is bigger: v or k?
k
Suppose -4*w - 8*n = -4*n + 156, 4*w - 4*n = -124. Is -34 at most w?
False
Let n be (-3 + 0)/((-171)/1596). Do n and 25 have the same value?
False
Let i = -0.173 + 16.173. Let c = -31/42 + 1/14. Is i greater than or equal to c?
True
Suppose -t + 5*t = -p + 12, -4*t - 3*p + 12 = 0. Suppose -3 = -2*g - t*q, -1 = -g - 4*q + 3. Which is bigger: g or -2/3?
g
Suppose 3*o - 52 = -i, 5*o + 2*i - 67 - 21 = 0. Let k be -1*(o + 5/5). Are k and -14 unequal?
True
Suppose 3 = y - 0. Suppose -2*a + 4*v = 6, -9 = -a - v - y. Suppose -2*s - 6 = -18. Which is greater: s or a?
s
Let w(o) = o**3 + 6*o**2 + 3*o - 3. Let g be w(-5). Suppose 11*y = g*y. Are y and 1/53 equal?
False
Let b be (-4883)/380*(-1)/17. Let z = b + 3/68. Which is smaller: z or 2?
z
Let x = -16.7 - -16.66. Let c = 0.17 + -0.91. Let p = c - x. Which is greater: 0.1 or p?
0.1
Suppose -2*l + 17 = -3*x, -x + 11 - 14 = 0. Which is greater: l or 22/7?
l
Suppose -9 = -4*x + 19. Suppose -4*g = -x*g. Let t(k) = -k**3 + 3*k**2 - k. Let y be t(1). Does g = y?
False
Suppose x - 5*w + 8 = -2, 0 = -2*x + w + 16. Let y be (1/x)/(8/(-10)). Suppose -3*r - 20 = 5*i, 4*i - 5 = -5*r - 34. Which is smaller: y or i?
i
Let r = 437 + -431. Which is greater: 29/4 or r?
29/4
Let t(i) = i**2. Let h(q) = -6*q**2 + 12*q - 5. Let p(o) = h(o) + 3*t(o). Let j be p(5). Are -21 and j equal?
False
Let u = -15 + 15.1. Suppose -3*x + 10 = 2*x + t, -2*x - t = -4. Suppose 0 = 2*p + x + 2. Which is smaller: p or u?
p
Suppose 4*u = -3*m + 36, 4*m = 4*u - 3*u - 28. Suppose -4*z + 5*t = -18, t - 8 = -10. Let p be (-5)/(-1) + 7 + z*1. Do p and u have the same value?
False
Suppose -j - 5*x + 23 = 0, -j - 4*j = -x - 11. Let w(o) = o**2 - 9*o + 8. Let v be w(8). Suppose j*a - a - 8 = v. Is a greater than 5?
False
Suppose -t + 8 = 5. Suppose 2*d - 21 = -5*r, t*r + 3*d = -d + 7. Is 5 smaller than r?
False
Let g(s) = -2*s**3 + 2*s**2 - 3*s + 13. Let t be g(4). Which is bigger: t or -94?
-94
Let o be -4 + (40/(-120) - (-94)/(-33)). Which is smaller: o or -6?
o
Let y be (0 - 0)*(-3 - -2). Suppose -i - m + 29 = y, 0 = i - 3*m - 7 - 2. Let j = -17 + i. Is j less than or equal to 7?
True
Suppose -3*w - 4*o = -8, 2*w - 2*o - 8 = 2. Suppose 0 = -4*y + 5*u + 5, 2*y - w*u = -3*y + 13. Suppose 4*h = 3*x + 2*x, y*h - 3*x = 0. Is h smaller than -1?
False
Let w be ((-30)/88)/(-5)*1/(-2). Let g = w + 59/88. Let x be (15/(-10))/(3/(-4)). Is g > x?
False
Let k = 13 - 14.1. Let v = k - -1.17. Let u = v + -0.14. Which is smaller: u or -0.2?
-0.2
Let j(n) = 2*n - 7. Suppose 25 = -4*z + 5*o, -4*z - o + 0*o = -5. Suppose f = -z*v + 2*v - 7, -5*v + 22 = -f. Let i be j(v). Is 5 less than i?
False
Let l be 0/(-2) - -6*1. Suppose -p - 50 = -l*p. Suppose 5*a = -5*d - p, -4*a - a - 28 = -d. Which is smaller: 4 or d?
d
Suppose -2*f + 5*x + 2 = 0, 0*f + 3*f = 4*x + 10. Let c be (f/(-9))/(8/72). Do -5 and c have different values?
True
Suppose 1344 = -327*f + 321*f. Is f less than or equal to -223?
True
Suppose -17 + 7 = 5*s, 5*g - 4*s - 8 = 0. Let f(k) = -k**2 + 2*k + 13. Let a be f(g). Let u = a + -22. Is -8 bigger than u?
True
Suppose -3*c - 12 = -4*c + 4*l, 0 = 2*c + 5*l + 15. Suppose 450 = 19*m - 10*m. Let p = m + -347/7. Are p and c equal?
False
Let x(j) be the second derivative of 5*j**3/6 + 10*j**2 - 21*j. Let u be x(-5). Is u less than 1/4?
True
Let v be 73/226 + (-9 - 340/(-40)). Is v less than 0?
True
Let r be 2/9 - 4/18. Suppose -4*a - 6251 = 4*b - 9*a, 3*b + 3*a + 4668 = 0. Let s = b - -107569/69. Which is smaller: r or s?
s
Let b = 27 + 284. Which is greater: b or -1?
b
Suppose 0*q + 3*q + 12 = -5*z, 0 = -q + 1. Let a be 2*(-13)/6 - z. Do a and -1/2 have the same value?
False
Let s(k) = -2*k**2 + 80*k - 66. Let z be s(39). Is z equal to 14?
False
Suppose 5*d - 14*h + 16*h = 52, 4*h = 4. Let j(i) = -i**2 - 9*i - 2. Let c be j(-4). Let x be 194/c - 2/(-9). Which is smaller: x or d?
d
Suppose 0*f + 24 = 3*f. Let q = 17 - f. Suppose 4*d = d + q. Which is greater: 2 or d?
d
Let n be (2 - 6) + 472/64. Let w = n + -207/40. Is w equal to -2?
False
Let i = -66 - -66. Let y(w) = 2*w - 2. Let q be y(6). Let s be q/25 - 32/(-70). Which is greater: s or i?
s
Let c(m) = -178*m + 1069. Let g be c(7). Which is smaller: -1/3 or g?
g
Suppose 5*t + 0*t - 2*o = 75, -t + 3*o = -2. Suppose 18 = t*j - 14*j. Do j and 1 have the same value?
False
Let b = 1.8 + -36.8. Let g = -35.1 - b. Let f = -5/24 - -7/264. Is f != g?
True
Let d(t) = -t**2 - 3*t + 9. Let g be d(-6). Let a be 71/(-24) - 3/g. Which is bigger: -2 or a?
-2
Suppose 0 = 26*a - 52*a. Are a and 2/373 unequal?
True
Let q be (-598)/10 + 4/5. Is -117/2 at least as big as q?
True
Let m be ((-4)/12 - 0)*-9. Suppose 0 = -m*f - f - 8. Which is greater: -1 or f?
-1
Let b be (-1353)/5005 + 3/((-21)/(-2)). Let u = 127/195 + b. Is -1.2 at least as big as u?
False
Suppose 26 - 1 = 5*n. Suppose -a + n*a + 24 = 0. Let v = -0.07 - 0.03. Is a < v?
True
Let o = 54.37 - 0.37. Let g = -54.27 + o. Is -1 less than or equal to g?
True
Let n(w) = 14*w + 123. Let k be n(-13). Which is bigger: k or -55?
-55
Let w = -7 - -10. Suppose 4*z + 3*o = z, -w*z = -o. Suppose z = u - 6*u - 5. Is 0 not equal to u?
True
Let g = 6172/7 - 882. Which is bigger: -471/2 or g?
g
Let b(g) = g + 7*g**2 + 5 - 4 + 0*g. Let i be b(-1). Let h = 4 - -2. Which is greater: i or h?
i
Let k(n) = -n**3 - 6*n**2 - 1. Let c(w) = -2*w**3 - 13*w**2 - w - 3. Let h(s) = -6*c(s) + 13*k(s). Let y be h(-1). Which is bigger: y or 40?
40
Let i = -9519 + 9478. Suppose 6 = 2*t, -3*o + 4*o + 2*t - 8 = 0. Which is smaller: i or o?
i
Let f be -2*(-2)/4*1. Suppose 4 = -5*a - f. Do a and -2 have different values?
True
Suppose 20*r + 15 - 35 = 0. Is 1/2815 less than or equal to r?
True
Let f = 93 - 45. Let r be (1/15)/(160/f). Let t = -103/150 + r. Is t less than 12?
True
Suppose 22 = 2*y - 2*l, 2*y = -4*l + 2*l + 6. Let z = 1 - y. Let c be (z/4)/((-4)/(-24)). Are -10 and c nonequal?
True
Let c = -147341/107 - -1377. Is c less than 0?
True
Let d(p) = p**3 + 5*p**2 + 4*p - 1. Let s be d(-4). Which is smaller: -1/550 or s?
s
Suppose 0 = 2*n - 40 - 142. Let v = n + -59. Is v less than 31?
False
Let f be (-63)/18 - 25208/(-7200). Is 0 less than or equal to f?
True
Suppose -2*o + 4*k - 92 = -7*o, -3*k = -o + 7. Suppose o + 48 = -4*z. Is -17 not equal to z?
True
Suppose 3*u = 6*u - 6. Suppose -4*a + u = 6. Let p = 116/215 + -6/43. Is p not equal to a?
True
Let f be (-2)/174*(9 - (-126)/(-24)). Which is smaller: 1 or f?
f
Suppose 0 = -4*k + 11 + 1. Let j(z) = -z**3 + 6*z**2 - 3*z - 1. Let a be j(k). Is 19 at most as big as a?
False
Let z be 3 + (-5 - (4 - 8) - 3). Is z at most 1/142?
True
Suppose -10 = 4*x - 6. Is 3/31 >= x?
True
Let s = 680/16517 + -3/83. Is s smaller than -1?
False
Let i(p) = p**2 + p + 1. Let f(x) = -2*x**2 - 10*x - 12. Let z(w) = f(w) + i(w). Let v be z(-8). Suppose -12 = 4*h - h. Is h greater than v?
False
Let p be (-72)/(-78)*-2 - -2. Which is greater: p or -22?
p
Let j = 264.75 - 265. Which is smaller: j or -3?
-3
Suppose 0 = 4*q + 53 - 165. Let i = q + -197/7. Which is smaller: i or 1?
i
Let m = 15 + -15. Suppose -4*i - 5*v = 43, 0 = 2*i - 4*v + 2 - m. Is -7 bigger than i?
False
Let l(s) = -59*s - 99. Let g b