i) = -5*c(i) - 4*z(i). Let b be w(-3). Which is bigger: -106/7 or b?
b
Let j(i) = -250*i - 601. Let w be j(-4). Is w less than or equal to 397?
False
Let p(t) = -4*t + 7 - 9 + 3*t + 55. Let i be p(-11). Let l(f) = 33*f - 3. Let z be l(2). Which is smaller: z or i?
z
Let j(q) = 3*q**2 - 5*q - 7. Let y be j(-6). Suppose -4*s - y = -2*n - 11, 150 = -5*s - 4*n. Let b be 211/(-7) - (660/84 - 8). Is b >= s?
True
Let j = -24 + -56. Let x = j - -79.7. Let b = 26 - 25.79. Is b bigger than x?
True
Let d(r) be the first derivative of -8*r**2 - 112*r + 38. Let s be d(-7). Which is smaller: 4/63 or s?
s
Suppose -3*w = -2*f - 147, -4*w + 1618*f - 1622*f + 236 = 0. Which is greater: w or -89?
w
Let x(h) = -5*h**2 - 76*h - 14. Let y be x(-15). Suppose 4*a - 4*m = 0, 2*a = -5*m + 8*m + y. Let i = 5/4 + -47/28. Which is greater: i or a?
i
Let j be 85944/300951 + 40/(-140). Which is smaller: -1 or j?
-1
Suppose u + 2 = 0, -5*u = 2*r - 0*r + 32. Let l be 4 + r + 750/115. Are l and -1 equal?
False
Let a = 2/496177 - -1231511300/3473239. Which is bigger: a or 355?
355
Suppose -3*h + h = 452. Suppose -5*c - 1146 = 2*y, c + 104*y + 250 = 101*y. Is h smaller than c?
False
Suppose t = -2*x - 12 - 4, -32 = 4*x - 5*t. Let j be -5*69/46*(-56)/(-60). Let f = j - x. Which is bigger: 0.073 or f?
f
Let t = -18 + 18. Suppose 0 = 9*n - 408 - 330. Let v = -165/2 + n. Are v and t nonequal?
True
Let w be 26/8 + (-3)/(-4). Let y be (-12)/6*2/w. Let h be (-1260)/(-207) + 0 + -6. Is h at most y?
False
Let g be 12/27*(402 - 4). Let i = 562003/3177 - g. Let f = -5274/2471 - i. Is f at most -3?
False
Let v = -0.1 - 31.9. Is 0.11 at most v?
False
Let u = -4734 - -4735. Is u bigger than 724/3?
False
Let r be (1/2 + 0)/(7/14462). Let v = r + -42355/41. Let y = 14 - 15. Is v greater than or equal to y?
True
Let i be (2 + 6 + (-19)/3)*3. Let w be (36/(i + -7))/(3/2). Let b(s) = -s**2 + 2*s - 4. Let l be b(4). Is l >= w?
True
Suppose j = -2*n - 8, -3*n - 4*j = -0*n + 17. Let q(h) = 2*h + 8. Let p be q(n). Suppose -b - 2*w = -0 - 19, p*b = w + 13. Is b not equal to 7?
True
Let t be 13 + -18*407/572. Is -1 at most t?
True
Let l = -875233350069751/155188682 - -2853738331/506. Let d = -2/18041 - l. Which is smaller: 2 or d?
2
Let f be 2/28 - 40/70. Let i = -54 + 54.59. Let r = i - 0.42. Which is greater: f or r?
r
Let n = 17111/30065 - 548312939/190732360. Let j = -1/488 + n. Which is smaller: j or -1?
j
Let x be 88 + ((-15)/10)/(2/(-4)). Let v be (-74)/469 + 13/x. Suppose 0 = -2*s + 4*s + 2. Is v < s?
False
Let w be 0*(17 - 32)/(-15). Is w at least as big as -4/1081?
True
Suppose -3*b - 11 = 4*t + 9, 3*b = 2*t - 62. Is b greater than 112?
False
Let i be 12 + (13734/(-791) - -6). Which is smaller: 2 or i?
i
Let y(w) = -w**3 + 31*w**2 + w - 31. Let z be y(31). Suppose z = 79*v - 89*v + 40. Are v and 7/2 nonequal?
True
Let u(y) = -5*y**2 - 9*y + 52. Let z be u(6). Let g = -174 - z. Which is bigger: 7 or g?
g
Let q = -1.185 - -3.185. Let b be -1 - 4/48*-3. Which is smaller: b or q?
b
Let z be 4/(3/12*8). Suppose 0 = -5*s + 20, 4*s = -4*g - 10 + z. Is -23 < g?
True
Let h = 33 + -18. Let d = h + -15. Let u = -8.6 - -4.6. Is u not equal to d?
True
Let j be -8*45/(-40) - 9. Let y = -130/1309 - 15/77. Which is greater: j or y?
j
Let m be (-2124)/(-6) + (4 - -3). Suppose 2*s - b = -m, s - 367 = 3*s + b. Which is smaller: -181 or s?
s
Let m = 2735 - 2709. Let b = -0.57 + -0.03. Which is smaller: m or b?
b
Suppose -3*a = 4*l - 12, 6 + 2 = 5*l + 2*a. Which is bigger: l or 1/2135?
1/2135
Suppose 9*d + 12500 = 5*v, 48*v = 5*d + 46*v + 6946. Let r be 2/(-5) + 76522/55. Let k = r + d. Which is bigger: k or 2?
2
Let y = 32.84 - 32.89. Let u = 35.7 - 19.8. Let x = u - 16. Which is greater: y or x?
y
Let d be (-3*(-3)/18)/(2/(-36)). Let x(o) = -o**2 - 7*o + 31. Let q be x(d). Suppose 5*p = q*p - 40. Which is smaller: 13/3 or p?
13/3
Suppose 56 + 73 - 17 = 112*u. Is u >= 2/1189?
True
Suppose -5*n - 184 = -n. Suppose 5*r + 275 = 5*d, 2 + 43 = 5*d. Is n not equal to r?
False
Let z be 9/((-63)/14) - 120/(-62). Let b = -7/589 - z. Let i = 1 - 1. Which is smaller: b or i?
i
Let u = 84 - 191. Let r = u + 71. Let p = r - -11. Do p and -0.1 have the same value?
False
Let u = 0.0066 - 1.2186. Let w = u - -0.612. Which is smaller: 2.5 or w?
w
Let h be (-2 - 0)/2 - -1. Let j be 32/(-40) + (-326)/(-520) + (-232)/(-1508). Which is smaller: h or j?
j
Suppose -85*n - 19*n - 2505 = 63*n. Which is bigger: -0.019 or n?
-0.019
Suppose 3*n + 29 = y, -2*y - 4*n = -0*y - 8. Suppose -1 = -5*d + y, -b = 3*d - 57. Let s = b + -100. Which is smaller: s or -51?
s
Suppose -5*c + 1596 = 3*v, -7*v - 1276 = -4*c - 9*v. Let n be (c*(-1)/(-16))/(3/(-4)). Is -28 equal to n?
False
Let z be (-2)/(-4)*(627/(-608) + 1). Let c = 89 - 88. Which is bigger: c or z?
c
Let i = 143575/7 - 20637. Is 0.2 not equal to i?
True
Let r be (-24)/4 + -1 + 1. Let p be (-8)/(-168)*r/(-4). Which is bigger: 1 or p?
1
Suppose -3*r = -5*x + 2730, r + 75 = -5*x - 835. Are -2728/3 and r non-equal?
True
Let j = -4347 - -12808/3. Are -78 and j unequal?
True
Let c = -1699 - -17007/10. Let s = 3986 + -3983. Is s at most c?
False
Let j = -290 - -186. Let i = j + 76. Which is smaller: i or -27?
i
Let p = -495319/8 - -61813. Which is smaller: -101 or p?
p
Let u be (3 - -11)/2 + -1. Let g be u/(-21) + (-396)/(-14). Is g >= 30?
False
Let n(y) = -13*y + 60. Let u(v) = -24*v + 122. Let c(p) = 5*n(p) - 3*u(p). Let r be 3/(12/9 + -1). Let f be c(r). Which is greater: f or -12/7?
-12/7
Suppose -5*n = 3*q - 21 - 29, -3*q - 54 = -3*n. Let o(i) = -i**2 + 14*i - 13. Let c be o(n). Suppose -5*y + 9 + 36 = c. Which is greater: 4 or y?
y
Let o be (-4)/(1*(-4)/4). Suppose 6*i + 2 = -o. Let r be (31 - -5)/(-6) + (-363)/(-60). Which is bigger: i or r?
r
Suppose 200 - 35 = 33*z. Suppose -z*p = -5*d - 2*p + 499, -3*d = -p - 301. Is d != 712/7?
True
Suppose -125*y = -126*y + 255. Is 252 less than or equal to y?
True
Let m(u) = u**2. Let g be m(-1). Let q = 2/55837 + 1786610/4857819. Let v = q - 1/29. Which is greater: g or v?
g
Let p = -16/1205 - 1109/7230. Let u = 1 - 2. Let j be u/(-1)*0*1. Which is smaller: j or p?
p
Let z = -5184 - -5185. Is z > -9/365?
True
Let s be 22/33*-15 + 10 + 662/16. Which is smaller: s or 2/7?
2/7
Let q(l) = -606*l - 7934. Let h be q(-13). Suppose 295 = -4*f + 75. Is f greater than h?
True
Let v = -19.29 - -44.29. Let z be 5/6 - 2/3. Which is smaller: z or v?
z
Let z = -0.094 + -0.035. Let q = z - -0.229. Which is greater: 21 or q?
21
Let h = 3958 - 3994. Is 77 < h?
False
Let f = 7439/182 - 531/13. Let y be 2/(-9) + (-50)/(-468). Let r = y - f. Is r bigger than 0.2?
False
Let y = 128 + -142. Let f be (8/y)/((-3)/21). Is -38 >= f?
False
Suppose 4*r = -w - 90, -20*w + 15*w = 5*r + 120. Let j be (4/6)/(14/21). Let p be (-132)/18*(4 - j). Is r greater than or equal to p?
True
Let g(z) = 711*z + 8435. Let l be g(-11). Which is smaller: 0 or l?
0
Let h = 5635 + -5962. Are h and -0.4 non-equal?
True
Suppose -5*a - 4*i + 90 = -0*i, 0 = -2*a + i + 23. Let w be (-7)/a - 21/(-6). Is w >= 1?
True
Suppose -356*j + 2712520 = -492*j. Is -19945 less than or equal to j?
True
Suppose 0 = -2*z - 34 - 212. Let b = z - -124. Let i be (48/(-2) - (-2 - -1))*b. Is 0 at least i?
True
Let s = 3258 - 13220. Is s < -9963?
False
Let s(a) = 6*a**2 - 3*a - 2. Suppose 3*u + 5*y - 37 = 0, -u + 5*u - 11 = y. Suppose 5*q + 17 = u*p, 0 = -4*p + q + 2*q + 7. Let w be s(p). Is w less than 28?
False
Let i = 4553 - 3187. Are i and 2731/2 equal?
False
Let v(s) = s**2 - 9*s + 9. Let m be v(8). Let t be (2092/(-8))/(5565 - 1). Let a = t + 4/107. Is m != a?
True
Suppose 1 = -4*g - 15, -5*n + 811 = -4*g. Let q = n - 323. Is -165 at most as big as q?
True
Let v(c) = 5*c**2 + 23*c + 38. Let p(n) = n**2 + 3. Let d(q) = 4*p(q) - v(q). Let a be d(-20). Is 38 at least as big as a?
True
Let o = -1156 + 1156. Let n = -218.49 + 220. Which is smaller: o or n?
o
Let u = -35495 + 1703755/48. Let l be 4/8 + (-3)/2. Do l and u have the same value?
False
Suppose 3*l - 3 = -4*f, 5*l - 23*f + 22*f = -18. Let w be 6 - ((l - -1) + 4). Which is smaller: -5 or w?
-5
Suppose 0 = -12*a + 7*a + 1185. Let u = a - 249. Does u = 4?
False
Let v be 1 + -1 + (3 - 3). Suppose -44 = 2*r - v*r. Let b be (-45 - -46)*(0 + -19). Is r greater than b