 Which is bigger: -479/5 or y?
-479/5
Let d = -17 - -9. Let g(q) = -2*q**2 + 29*q + 11. Let r be g(15). Let m be 2*r*(264/32 + -7). Which is bigger: m or d?
d
Let r be ((-4)/(-26))/(-3 - -5). Let n = -38 + 43. Let s = -4 + n. Is s at least as big as r?
True
Let q be (-16)/(-6) + (-2)/3. Suppose h + 3*h = 2*s + 4, s + h = -8. Let j be 32/12*4/((-16)/s). Which is smaller: j or q?
q
Let a = -3 + 4. Let w = 13571/15528 - -2/1941. Which is smaller: w or a?
w
Let a be (3 + 0)/(36/(-3072)). Let r be 2/3*(-48)/a. Is 0 >= r?
False
Let q = -4 + 3. Let p be ((-9)/(-45))/(1/(-7)). Is q at least as big as p?
True
Suppose 4*h = 6*h + 2. Let p be -22 + (-3)/h - -3. Is p at most -16?
True
Let f be ((-6)/4)/(9/(-24)). Let z(c) be the third derivative of -c**4/24 - 5*c**3/6 - 8*c**2. Let y be z(-7). Which is greater: f or y?
f
Let r = 14130/11 - 1284. Do 0.12 and r have different values?
True
Let y = -923 - -923. Is y bigger than 4/43?
False
Let r be (-1)/((-13)/(-10)) + 1. Let m = 53 + -49. Let a be (m - 1)*3/9. Which is bigger: a or r?
a
Suppose -5*k + 2*n - 8 = -53, 0 = 3*k + n - 38. Let d be 2/(1*(-4)/(-21)). Which is greater: d or k?
k
Let f(z) = z - 10. Let b be f(8). Let i be 0 + b + 2/(-1). Let n be 2/i*(-1 + 3). Is -9/4 greater than n?
False
Let x(j) = j**3 - 7*j**2 + 5*j + 5. Suppose -12 = 2*m - 4*m. Let i be x(m). Let o be i/(-3 + 2 + 0). Which is bigger: 1/5 or o?
o
Let r(m) = -m**3 - 13*m**2 - 11*m - 15. Let f(p) = -10*p - 4. Let u be f(-1). Let s be (-3)/9 + (-70)/u. Let k be r(s). Is -27 > k?
False
Let c = 15 + -13. Suppose c*h + 3 = 5*h. Let s be (2 - h)/(-1 + -2). Which is greater: -1 or s?
s
Let q be (2 - 2) + 2 - -4. Let b be q/(-8)*-4*-1. Let y be -1 - (b + 51/9). Which is smaller: y or -5?
-5
Let u = 75 - 74.7. Which is smaller: u or -209?
-209
Let u = 16 + -201. Is u at most -185?
True
Let t = -14.5 + 5.3. Let q = 0.2 + 8.8. Let b = t + q. Is b greater than 0.2?
False
Suppose -4*d = -8*d - 40. Let n(i) = -i - 2. Let p be n(d). Let b = p - 3. Which is bigger: b or 0?
b
Let t be ((-3)/(-63))/((-1)/9). Suppose 30 = f + f. Is f at least t?
True
Let b = 173 + -689/4. Let x = -1.23 - -1.2. Let q = x + 0.13. Which is bigger: b or q?
b
Let z be 462/(-44)*(0 + (-262)/14). Is z smaller than 197?
True
Let a = -301 - -281. Is -59/3 > a?
True
Suppose 7*w = 2*w + 35. Let a = 9 - w. Is 1 at most as big as a?
True
Let t = -4.24 - 117.76. Which is greater: 1 or t?
1
Suppose 2*z + 36 = -0*z. Let f(b) = b**2 + 35*b + 131. Let g be f(-30). Which is smaller: z or g?
g
Let r be (-2)/(-8)*4896/126. Which is smaller: 11 or r?
r
Let u = -58 + 58. Suppose 2*m + 2*c = -u*c - 4, 0 = -3*m - c + 2. Is 1/10 less than m?
True
Let r = 264 + -90. Is r greater than 172?
True
Let z = 28.7 - 30. Let f = 1.3 + z. Let t = -14 - f. Is -2/3 not equal to t?
True
Let v = 2.1 + -2.09. Let s = v - 0.07. Let y = -0.04 + s. Which is bigger: -0.04 or y?
-0.04
Let i(a) = -a**3 - 4*a**2 + a + 3. Let n be i(-4). Is -1 less than or equal to n?
True
Let i(r) = r**3 + 5*r**2 + 5*r - 1. Let k be i(-3). Let h(x) = -x + 5. Let a be h(k). Suppose -2*t = -0*t - 8. Which is greater: t or a?
t
Let i = -3.1 + 3.164. Let m = i + 0.936. Let b(f) = -f**3 + 5*f**2 + 7*f - 4. Let z be b(6). Which is smaller: z or m?
m
Let f = 52 + -46. Suppose -2*h - 19 - f = 5*u, 3*h - 2*u = 10. Is h greater than or equal to 1/51?
False
Let p be 21/14 + (-9)/2. Let i be p/15 - (-14)/20. Let s = -7 + 13. Which is bigger: s or i?
s
Let f = 91 - 172. Let c = 72 + f. Which is smaller: c or -0.05?
c
Let f = 856/5 - 9422/55. Is -1 less than or equal to f?
True
Suppose -3*u - 26 = -5. Suppose 20*y = 5*d + 18*y + 31, 17 = -d - 5*y. Is d equal to u?
True
Let l(b) = -52*b - 1. Let s be l(-6). Let y = -4663/15 + s. Which is greater: y or 1?
1
Let l = 138 + -87. Do l and 53 have different values?
True
Let g = -11 + 16. Suppose -3*h - 5 = -4*o, 0*o + h + 8 = -g*o. Suppose 12 = -4*u + 4*m, -m + 3 = -u + 3*u. Is o not equal to u?
True
Let r(c) = c**3 + 5*c**2 + 3*c + 6. Let s be r(-5). Suppose -8 = -5*h + 52. Suppose 5*u + 3*n + 48 = u, 3*n = -h. Does s = u?
True
Let s be (2 - -16) + -1*3. Suppose 6 = 5*x - 4. Suppose x*i - s = 3. Is i bigger than 10?
False
Let r(i) = i**3 + 29*i**2 - 30*i + 11. Let d be r(-30). Which is smaller: 21/2 or d?
21/2
Let v = -44.28 + 41.28. Suppose 5*m + 9 = -16. Let q(y) = -y**3 - 5*y**2 + y + 5. Let s be q(m). Which is bigger: s or v?
s
Let z = -218 + 218.2. Is 13/2 bigger than z?
True
Let l(y) = -4*y**2 + 15*y + 2. Let r be 10/3*(-9)/6. Let s(c) = -3*c**2 + 14*c + 3. Let u(t) = r*s(t) + 4*l(t). Let g be u(-9). Which is bigger: g or 0.1?
g
Let z be 4/(-6) + 637/39 + -16. Which is bigger: z or 25/13?
25/13
Let s be -9*(-1)/(6 + -3). Let c be 0 + 12/(-4) + 1*s. Does c = -10/9?
False
Suppose 0 = -0*v - v - 1. Let t be 10*((-1)/2)/v. Suppose 2*n + 4 = 3*n, p = -t*n + 25. Do 5 and p have different values?
False
Let k be ((-4)/3)/(2/3). Suppose -2*u + 6 = -2. Let i be ((-10)/u - -2)*2. Do k and i have different values?
True
Suppose 4*z + 3*y = -18, 3*z - 4*z - 3*y - 9 = 0. Let w be (2/36)/(5/60*z). Which is greater: 2/57 or w?
2/57
Let i be -2*(-2 + 3/6). Suppose i*q - 5*q = 6. Let t be 1/((-20)/54) - q. Are 0 and t nonequal?
True
Let y(k) = -28*k**2 - 124*k + 3. Let c be y(-7). Which is smaller: -500 or c?
c
Let z be 2/(-54)*(-2)/5. Let d be 20/(-30) + (-1)/3. Is d at least z?
False
Let o(n) = n**2 - 8*n + 7. Let d be o(5). Let u be (-1 - 2)*-8*(3 + -2). Suppose u = -5*h + 3*f, -5*f = h - 3*h - 2. Is h at most as big as d?
False
Let n = 1.293 + -0.193. Which is bigger: -2 or n?
n
Let x = 190 - 325. Is x equal to -138?
False
Let c = -4.03 - -0.03. Let f = c + 12. Which is bigger: f or 1/6?
f
Let g(v) = -2*v**3 - 2*v**2 - 4*v - 3. Let i be g(-2). Let r(s) = s**3 - 12*s**2 - 12*s - 11. Let k be r(i). Is -4 at least as big as k?
False
Let q be ((-1014)/(-234))/(2/(-100)). Which is bigger: -218 or q?
q
Let q(p) be the second derivative of -p**4/12 + p**3/2 + 2*p**2 + p. Let a be q(4). Is a bigger than 0?
False
Let g be ((-2)/4)/((-2)/(-4)). Let u = 188 + -178. Let y be -3 + (g - (-34)/u). Is y less than -2?
False
Suppose -22*v - 24 = -26*v. Let u be (0 + 1)/(1/2). Suppose -u*j + v = -j. Which is smaller: 8 or j?
j
Let l(d) = d**3 + 3*d - d - 2 + 3*d**2 - 4*d. Let z be l(2). Let r be ((-8)/(-70))/(z/35). Does -6 = r?
False
Let x be (-140)/777*-33 + -6. Which is bigger: x or 0?
0
Let g = -249 - -258. Is 9 bigger than g?
False
Let a(u) = -u**3 - 18*u**2 + u + 18. Let n be a(-18). Is n > 4/17?
False
Let c(d) = d**2 + 6*d + 6. Let v be c(-5). Let o = v + 2. Is 15/8 less than o?
True
Let b(f) = 4*f**3 - 4*f**2 + 9*f - 8. Let p(o) = -7*o**3 + 9*o**2 - 18*o + 16. Let a(j) = 5*b(j) + 3*p(j). Let k be a(5). Is k greater than or equal to 17?
False
Let l = -2083/5 - -1451841/3485. Which is bigger: l or 0?
0
Let c be 6/9 - -6*4/(-9). Let z be 1/(1*(-3)/9) - c. Which is smaller: z or 2/17?
z
Let b be (0 + 0)/(1 - 0). Suppose 0 + 0 = r. Suppose 4*p - 2*y - 2 = r, -3*p - 22 + 6 = -5*y. Are b and p unequal?
True
Suppose 4*v = 11*v + 196. Let y = -1 + -27. Is v at least as big as y?
True
Let z(s) = -s**2 - 11*s - 10. Let l be z(-7). Suppose 6*m - m - 31 = -r, r + 2*m - 22 = 0. Is r greater than or equal to l?
False
Suppose 0 = -2*c - 2*r - 1258, -2*c = 3*c - 2*r + 3138. Let k = c + 4371/7. Do -3 and k have different values?
True
Let v = 15 + -64. Let l = 41 + v. Do 2/5 and l have the same value?
False
Let n be -4*4/48 + (-22)/6. Let i be ((-1)/(-3))/((-6)/n). Which is greater: i or 0.1?
i
Let m = -0.5 + 33.5. Let f = m + -26. Which is greater: 1/4 or f?
f
Suppose 2*p - i - 6 + 0 = 0, -3 = -p - 4*i. Suppose 0 = -3*t + 4*t + p. Suppose 0 = -3*f - 3 - 3. Is t > f?
False
Let f be 2 - 0 - (0 - -1). Let p = -47 - -49. Suppose 6 + p = -4*i. Is i at least f?
False
Let c = -295 - -296. Is 3/770 at most as big as c?
True
Let b = 17 - 30. Let t be (b/(-3))/(-1) + 2. Let j be 0 + -2*(0 - 9/(-6)). Which is smaller: j or t?
j
Let z be (-7)/(7/(-3)) + -1. Let u be z/(-2) + -3 - 6. Which is smaller: u or -9?
u
Let y = -1779 - -1820. Are y and 9 equal?
False
Let m(k) = 2*k**2 - 8*k - 113. Let g be m(10). Which is bigger: g or 6?
g
Let a = 36 + -16. Let z = 20 - a. Let x = -1241/11 - -113. Which is smaller: z or x?
z
Let o = -0.31 - -0.03. Let h