+ 11*y**2 - 9*y - 19. Let m be g(11). Which is bigger: m or -116?
-116
Let v be 2/(0 + (-1)/1). Let g be (-3)/3*1/v. Let r be 2/(-2) + 4 + -3. Which is smaller: g or r?
r
Let u be 32/14 + 14/(-49). Suppose u*m + 9 = -3*i - m, -3*m - 9 = 2*i. Let p be ((-2)/14)/((-4)/14). Which is smaller: p or i?
i
Let d = -9 + 2. Let i be (-5)/d + 4/14. Let m = 1099/8 + -137. Is m < i?
True
Let k be (-1)/((-2)/(-10)) + 4. Let d be 2/4 - (-45)/10. Suppose 0 = 2*y - 5*w + w - 14, 0 = -5*y + d*w + 20. Which is greater: y or k?
y
Let b = 194 - 187. Let q be 12*((-57)/(-12) - 4). Which is greater: b or q?
q
Let y = -5339269 + 122882024/23. Let p = y - 3427. Which is bigger: 2 or p?
2
Let c(k) be the first derivative of k**3/3 - 13*k**2/2 - 8*k + 7. Let b be c(13). Do b and -7 have the same value?
False
Let x be 52/5 - (-6)/10. Let n = -8 + x. Let m = -973 - -972. Is m bigger than n?
False
Let w be 6 - (-1 + -2 - -31). Is 3 < w?
False
Suppose 91*b = 88*b - 12. Is b at most 6.4?
True
Let i(g) = -g**2 + 28*g + 131. Let w be i(37). Which is greater: w or -811/4?
w
Let g(f) = -54*f - 607. Let w be g(-14). Which is greater: w or 449/3?
449/3
Let y be -105*-5*(-4)/50. Is y > -42?
False
Let w = -137 + 86. Let a = w + 51.1. Is 8 >= a?
True
Let p = 0.02 + 0.21. Let x = p - 0.16. Is 0.4 != x?
True
Let n = 4/2113 + -9238/2647589. Let o = n + -26303/6265. Is -4 at most o?
False
Let z(q) = q**3 - 3*q**2 - 8*q - 10. Let f be z(5). Let v be f + 68/52 - 1. Which is greater: v or -1?
v
Let j = 109.4 + -107.4. Does 0.031 = j?
False
Suppose 21 - 6 = 3*q. Suppose 0 = -4*m + 4*h + 9 + 7, 2*h = -q*m - 1. Let d = 164/35 + -22/5. Which is greater: d or m?
m
Let x = -0.8 - -0.9. Are x and -0.792 nonequal?
True
Let m(v) = -v + 11. Let x be m(6). Suppose -36 = -x*r + 9. Is 9 >= r?
True
Let g = 162.2 - 144. Let f = 18 - g. Which is bigger: f or 5?
5
Let l = -6709 + 33402/5. Let y = 132/5 + l. Which is smaller: -2 or y?
y
Let k(i) = -i**3 - 6*i**2 - 9*i - 12. Let g be k(-5). Let n(p) = p**2 - p - 2. Let b be n(-3). Is g greater than b?
False
Let s(q) = 28*q + 115. Let h be s(-5). Which is smaller: -74/3 or h?
h
Let k = 404981 - 770678475/1903. Let t = k + -2/173. Which is greater: t or -1?
t
Suppose 2*n + 292 = -d, 0*d - 5*n = 3*d + 881. Which is bigger: d or -301?
-301
Let p(y) be the third derivative of -y**5/60 + y**4/4 + 4*y**3/3 + 8*y**2. Let h(z) be the first derivative of p(z). Let g be h(10). Is -14 smaller than g?
False
Let p be 4/(-2)*(-2)/(-20). Let i = -3.2 - -3.46. Let s = 0.36 - i. Do s and p have the same value?
False
Let a = -1056 - -1081.76. Let i = 26 - a. Let c = i - 0.34. Which is greater: 0.03 or c?
0.03
Let g be 30/2*8/24. Suppose -3*p + 9 = g*n - 2*p, 0 = -3*n - 3*p + 3. Suppose 5*h - k + 35 = 0, 4*h + n*k - 3*k + 27 = 0. Which is smaller: -6 or h?
h
Let y = -0.05 + -56.95. Let z = y + 39. Let d = -18 - z. Are 9 and d equal?
False
Let z = -181960/77887 + 166/71. Is z at least as big as -1?
True
Let c = 68/273 + -2/21. Do c and 8 have the same value?
False
Let t = -74 + 41. Let m = t + 35. Is m greater than or equal to 5/7?
True
Suppose 3*v - 2*o - 1 = 0, 5*v - o - 6 = 5. Suppose -42 = -5*r + 2*q, 3*q + 2 = v*r - 16. Which is bigger: 8 or r?
r
Let t = 21 + 19. Let k be t/(-6)*(-18)/15. Is 10 smaller than k?
False
Let c = -0.0451 - 33.9549. Is 0.1 <= c?
False
Let k = 1001 + -1139. Which is greater: 3 or k?
3
Let b = -19 - -20. Let h be b - 2/(-6) - 2. Which is smaller: h or -4?
-4
Let z be 1/(236/(-1182)) - (77 - 82). Which is greater: z or 1?
1
Let d = -74/128837 + -73360654/581699055. Let z = d - 2/301. Is 0 > z?
True
Let x = 503 + -505. Let l = -6.96 - -7. Does x = l?
False
Suppose 14*c - 10*c = -2*f + 444, -5*c + 557 = 2*f. Suppose 14*k + c = -139. Are -19 and k equal?
False
Let f(o) = 27*o**3 + 2*o**2 - 4*o + 2. Let b be f(1). Do b and -4 have different values?
True
Suppose -53*i = -5267 - 15615. Is i at least 393?
True
Let s = -3523/30 + 563/6. Is s smaller than -24?
False
Let c(b) = -b**3 - 5*b**2 - b - 10. Let m be c(-6). Let f = -53 + m. Let r be f/(-27) + 2/9. Is r at least as big as 0.02?
True
Suppose 3*j + 5*n = -2 - 7, 0 = -2*j - n + 1. Suppose 0 = -3*i - j*i - 2*k - 6, 0 = -i - k - 3. Suppose i = 3*a + r + 2, -4*a - r + 0 - 3 = 0. Is a equal to 1?
False
Suppose -3*u + 1 = o, 16 = -23*o + 27*o. Which is smaller: u or -75?
-75
Suppose 5*r = -u + 4*u - 30, -2*r - 2*u = -4. Is -40/9 > r?
False
Let a(c) = c**3 + 3*c**2 + 2. Let t be a(-2). Let l be 1 + (-1)/5 + t/30. Which is smaller: 1/27 or l?
1/27
Let l(j) = -8*j. Let x be l(-5). Let i = 56 - x. Suppose 0 = 5*n - 2*y - 79, -n - 3*y = -4*n + 42. Which is smaller: n or i?
i
Let r be -1 + 5/5 - (-11)/8679. Which is smaller: 0 or r?
0
Let k be 13*-1 + (-1 - -1). Let w(p) be the second derivative of p**4/12 + 2*p**3 - 25*p**2/2 - 45*p. Let u be w(-13). Do k and u have the same value?
False
Let o = -122.86 - 2.34. Let q = o + 125. Which is greater: 0.014 or q?
0.014
Let f = 777 + -780. Which is greater: f or 198?
198
Let u = -0.26 + -3.54. Let v = u - -4.5. Is v smaller than 3?
True
Suppose 0 = 4*l + 4*o - 1020, 67*o = -2*l + 66*o + 506. Is -2 at most as big as l?
True
Let h be 70/7 + 123 + 5. Which is smaller: h or 140?
h
Let i be (-1 + 21)/5 - 1. Suppose 0*v = -i*v - 2*c - 4, -4*v = 3*c + 6. Which is smaller: 2/7 or v?
v
Let t = -494.9 + 495. Which is bigger: 0.0976 or t?
t
Let o = -3 - -21. Let a be (0/24)/(0 + (-2)/1). Is a smaller than o?
True
Let a be (3/36)/(111/1036). Which is smaller: 6 or a?
a
Let h = 64.2 - 233.2. Which is smaller: 3 or h?
h
Let j be (-20)/(-6)*(1720/(-175) - -10). Let o = 1.6 - 2. Which is smaller: j or o?
o
Let r = -121 - -122. Is r >= 1/257?
True
Let d = 0.18 + -7.18. Let g = d - -7.03. Let f = -2.97 - g. Is f != -1/2?
True
Suppose 78*v + 198 = 56*v. Let q = 59 + -82. Let w = 15 + q. Is w at most as big as v?
False
Let v = 6.6 + -0.6. Let t = v - 5.6. Is -7 <= t?
True
Let x = -71 + 71. Suppose -5*s + 54 - 69 = x. Let n be 32/(-6) + 1/3. Which is bigger: n or s?
s
Let f be (2/2)/5 + (-63)/15. Let b = -5 + 2. Let l = -1 + b. Are l and f equal?
True
Let j be (114*(-21)/140)/((-6)/2). Is 7 < j?
False
Suppose -6*h + 9*h + 9 = 0. Let d be h/(-4) + 94/88. Let p = d + -74/77. Which is bigger: p or 0?
p
Let r(f) = f**2 - 6. Let j be r(3). Suppose 0 = -h - 3*x - 25 + 6, 0 = -j*h + x - 87. Is h smaller than -28?
False
Let i = -5958 - -29646/5. Let j = i + 29. Is j not equal to 1/4?
True
Let u = -6.1369 + -0.1631. Is u smaller than -15?
False
Let d(h) = 2*h + 8. Let z(f) = -6*f - 23. Let a(j) = -8*d(j) - 3*z(j). Let y be a(-4). Let s be (y/(-39)*-2)/(-1). Do -1 and s have the same value?
False
Let a be (-6)/4 - 3420/24. Let z = 723/5 + a. Which is greater: z or 0?
z
Let f = -6018653/1548 - -181677/43. Let c = 337 - f. Which is bigger: c or 0?
0
Suppose 131*c - 117*c = 0. Which is smaller: c or 4/83?
c
Let v(g) = -2*g - 23. Let y be v(6). Which is bigger: -37 or y?
y
Suppose -26*n + 18*n = 7584. Do n and -947 have the same value?
False
Suppose -4*d - 3 = 5*i, i + 4*d - 3 = -2*i. Is -16/7 bigger than i?
True
Let y = -13355/11 + 1219. Suppose 6*t = -2*t + 32. Is t at least y?
False
Let u = 1.4 + 2.6. Suppose -17*n = -11*n - 12. Let q be 10/30*(0 - n). Which is bigger: q or u?
u
Suppose -10*m + 7*m = -18. Let s be 10/m - 1 - 120/(-9). Is s equal to 100/7?
False
Let h = -12 - 4. Let s = 15.5 - -2.5. Let q = s + h. Which is smaller: q or 1/3?
1/3
Suppose 7*d = 31 - 3. Let g = 8 - 6. Suppose -d*p = -g*p. Which is smaller: 9 or p?
p
Let j(m) = -m**3 - m**2 + m. Let k be j(0). Suppose 4*c + 4*v - 48 = k, -v = 2*c + 2 - 22. Is c smaller than 8?
False
Suppose -6*z + 32 = 2*z. Suppose 3*w = -v - 6, 3*v = 4*w + 4*v + 9. Let k be (((-32)/(-12))/z)/w. Is -1 > k?
False
Let t = 2276/133 + -412/19. Let m(b) = 4*b - 16. Let x be m(3). Which is greater: t or x?
x
Let y = 0.1 + 0.05. Let u = y + -0.17. Let j = -0.08 + u. Is j <= -1/3?
False
Let g be -3 - (10/(-15))/(8/(-192)). Suppose -4*s + 36 = -2*m - 0*s, 90 = -5*m + 2*s. Is m bigger than g?
True
Let m be (-20)/(-90) + 286534/(-288). Let p = 995 + m. Which is smaller: 0 or p?
0
Let t = -37112/5 + 7447. Is t not equal to 26?
True
Let z be 18/6 - 1*-2. Suppose j + g = 5*g + 5, -z*j - g - 17 = 0. Let b be 16/(-12) - (-4)/(-6). Which is greater: j or b?
b
Let m = 8