2*i - i - 5*v - 18 = 0, -v + 9 = -2*i. Let l(w) = -4*w - 25. Let z be l(i). Suppose 4*b - z = b. Which is smaller: -3/19 or b?
-3/19
Let d(s) = 9*s + 32. Let w = -165 + 152. Let y be d(w). Which is greater: y or -82?
-82
Let p = -0.114 - -2.114. Let h = -59.9 + 82.06. Let g = h - 0.16. Which is smaller: p or g?
p
Let r = 0.93 + -12.93. Let o = -12.1 - r. Suppose -2*z = -6*z + 4. Which is greater: o or z?
z
Let h(v) = -11*v**2 + 11*v**2 + v**3 - 6*v**2 - 5*v - 2. Let u be h(6). Is u != -32?
False
Let m(g) = g**2 - g + 2. Let w be ((-3)/(-4))/((-33)/(-88)). Let x be m(w). Let n be 1/(1/x*4). Is n greater than -0.14?
True
Let r = 5946 - 33707. Which is smaller: 0 or r?
r
Let c(u) = 17*u - 1370. Let h be c(72). Is -160 less than h?
True
Let v be ((-106)/(-88828))/(3*15/36). Which is bigger: v or 1?
1
Suppose -136 = -5*b - 3*d, 0 = b + d - 2*d - 24. Let t = b - 14. Suppose 150 = -16*q + 342. Is q not equal to t?
False
Let z be 48/10 + (-2)/(-10). Suppose z*v + 4*u = 0, -3*v - u = -v - 3. Suppose 0 = -5*o - 11 - v. Which is greater: -4 or o?
o
Let g = 297.1 + -0.1. Let w = g + -297.2. Which is greater: 8 or w?
8
Let z = -12034 - -13539. Which is greater: 1 or z?
z
Let s(c) = c**2 - 3*c + 42. Let j(o) = -4*o. Let n be j(0). Let y be s(n). Let x = -96 + y. Which is smaller: x or -52?
x
Suppose 0 = -25*u - 43520 - 65655. Is u >= 0.1?
False
Let d be (3 - 1)*(26/(-52))/(-1). Is d at least as big as -2/13083?
True
Let v = 6990 + -27239/4. Let f = -174 + v. Let z = 138 + -133. Which is greater: z or f?
f
Let b = 3/2060 + -17769/1030. Let n be (-9)/(135/12) + (-48)/(-10). Suppose 0 = -5*a - 2*l - 86, -78 = 4*a - n*l + l. Which is smaller: a or b?
a
Suppose -9*m = 3*m + 3*m - 180. Which is greater: m or 332?
332
Let w = -2 - -1.8. Let p = 1.2 + w. Let v = 3.063 - 1.663. Which is smaller: p or v?
p
Let a(x) = x**3 - 14*x**2 + 7*x + 1. Let w be a(9). Let j = 1840 + -2180. Which is greater: w or j?
j
Suppose 20 = -4*r + 14*r. Suppose -r*y = 5*j, j + 3*j = 0. Is -2/343 less than y?
True
Let z = -129 - 164. Let q = 291 + z. Is 93 equal to q?
False
Suppose 0 = 4*k - 33 + 49, 4*k - 1667 = q. Is -1683 smaller than q?
False
Let o be ((-6795)/(-10))/(-9)*(35 + -33). Suppose -261 = 4*z + 347. Which is bigger: o or z?
o
Let k be (-66707)/164*(-20)/(-5). Is k bigger than -1627?
False
Let j = -393.9936 - -397. Let i = 0.0064 - j. Which is smaller: 38 or i?
i
Let u = -442095/13 - -34081. Is 73 greater than u?
False
Let v = -20.709 + -3347.291. Which is bigger: v or 1?
1
Let t be (-21)/6*2/5. Suppose 184 - 122 = -62*z. Which is smaller: z or t?
t
Suppose -12 = -q - q. Let n be (-360)/(-54)*30/(-25). Let c be (-24)/n - (20/(-4) + 2). Does q = c?
True
Suppose 0 = -k - 4 + 10, -5*k - 1235 = 5*a. Are -250 and a nonequal?
True
Let p be (-13)/(221/255) + 15. Which is smaller: -25/66 or p?
-25/66
Suppose 4*t + 12 = 0, 5*n + 0*t = -4*t + 158. Suppose n = -w + 32. Let y be ((-3)/9)/(4/(-42))*w. Which is smaller: y or -8?
-8
Suppose -187*x = 144*x - 3*x - 1633768. Which is smaller: 4982 or x?
x
Let l = 6740 - 6731. Let f = 2.03 - 0.03. Let s = f - 3. Is l less than or equal to s?
False
Let u(y) = -y - 5. Let v be u(-7). Let q(g) = g**2 - 2*g - 2. Let m be q(v). Let z be 1 + 2/1 + m. Is 0 at most z?
True
Let p(i) = 3*i**3 - 16*i**2 + 4*i + 2. Let f be p(6). Is 102 >= f?
True
Suppose 21 = -5*w + 16. Which is smaller: w or 1/1390?
w
Suppose 5*l + 2*i - 20 = -78, -2*l = -3*i + 27. Let c be ((-12)/9)/(l/54). Let o be c/15 - (123/420 - 0). Which is bigger: -1 or o?
o
Let s = 35476 - 35475.9. Which is bigger: -16069 or s?
s
Let z be (-15)/(-396)*(679/(-350) - -2). Are z and 1 equal?
False
Let o(n) = -n**2 + 23*n + 106. Let u be o(-4). Which is smaller: u or -140/81?
u
Suppose 3*g - 685 = -3*z + z, -z + 5 = 0. Let f = -195 + g. Do 30 and f have different values?
False
Suppose 0 = 22*c - 139 - 3843. Suppose 1259 = 36*h - c. Is h smaller than 161/4?
True
Let w = 223 + -222.991. Let k = -0.029 + w. Is k smaller than 0.2?
True
Let i be -8 - -1 - (-9 + (-1951512)/(-975787)). Are i and 1 non-equal?
True
Let i be (14910/830 - 18)*(-2)/(-6). Let o be (8/(-3))/(2/9). Let v be 3*(1 - (-16)/o). Is i bigger than v?
True
Let f = -13.8368 + -0.1632. Let x = -2 - -1.9. Is x bigger than f?
True
Let f be (-1107)/861 - (12/(-3) - (-1 + -2)). Which is smaller: 12882 or f?
f
Suppose -3*a + 37 = 4*k, -3*k + 5*a + 19 = -45. Let r(b) = -b - 12. Let v be r(-7). Let m(i) = i**2 + 2*i - 3. Let o be m(v). Do k and o have different values?
True
Suppose 2*d = 685 - 1809. Is -557 greater than d?
True
Suppose -5*p + 5*o - 85 = 0, -5*p - 4*o - 29 = 65. Is -284/15 < p?
True
Let v = -17063/6 + 2844. Which is smaller: v or -752?
-752
Let s = 234 + -72. Let q = s - 79. Let a = 8.5 + -8.5. Is a at least q?
False
Let z = -55 + 58. Suppose 2 = -z*j - 67. Let p = -37 - j. Are -12 and p non-equal?
True
Suppose -1 = 4*m - 3*m. Let r = -47566/123 - -3096389/3936. Let h = -400 + r. Which is bigger: h or m?
h
Let p be 24/56 + 10115/(-49). Which is smaller: p or -217?
-217
Let g be (73/(-292))/((-1052)/1568). Is g less than 0?
False
Suppose -b = -2*b - 3. Let k = -6 - b. Let g be (k/4)/(294/112). Is 8 at least as big as g?
True
Let c = 40.39 + -41. Let r = 0.505 + c. Let o = -0.205 - r. Which is bigger: 45 or o?
45
Let g be 0 + -2 - ((-3)/(-1) - 7). Let c be (206 - 0)*g/(-4). Is -103 greater than or equal to c?
True
Let z = 3.78651 - 3.76651. Let c = 0.02 + 1.58. Are z and c non-equal?
True
Suppose 5*c = -4*p + 3*c, 4*c = 3*p. Suppose -4*l - 3 - 1 = p. Let b = -9.0264 + 0.0264. Is b not equal to l?
True
Suppose 5*m + 5 = 4*k - 3*k, 0 = -2*m - 2. Let s(q) = q**3 + q**2 + 2*q + 4. Let c be s(k). Which is smaller: c or 5/2?
5/2
Let m = -11/14 - -219/154. Let v be -5 + 1 - (-6 - 2). Suppose 0 = -v*t - 17 + 25. Are t and m nonequal?
True
Let g = -35.52 - 296.28. Let s = g + 330. Which is smaller: s or -5/3?
s
Let w = -2 - -10. Let m be (-4)/w + (-182)/(-4). Let g = -29 + m. Is 16 less than or equal to g?
True
Let j be (-26786)/6697 - (5 + (22 - 31)). Which is bigger: j or -1?
j
Let o(z) = 6*z**2 - 159*z - 577. Let g be o(35). Which is smaller: 4827/4 or g?
4827/4
Let n be 12/(-9) - 448/(-84). Let k be (3 + -495)*8/6. Let z = -3266/5 - k. Which is bigger: z or n?
n
Let y = 1 - 4. Suppose -2*w - 319 - 63 = 0. Let q = w + 186. Does q = y?
False
Suppose 13*m + 4 = -22. Let d be ((-411)/6 - 2)*m/6. Which is smaller: 23 or d?
23
Let z = 26 - 336/13. Let p = -6 - -9. Suppose -p*y = -3 - 3, 4*u - 42 = -5*y. Is z greater than or equal to u?
False
Let z = 54 + -65. Let p = -15 - z. Let l be 9/(-6) - 2/p. Which is bigger: 1 or l?
1
Suppose -k + 2743 = -5*g, -1 - 5 = 3*k. Let s be g/(-114)*2 - (-3)/(-1). Are s and 7 equal?
False
Let r = 25 - 10. Suppose r*k - 11*k = -1852. Which is greater: k or 2/7?
2/7
Let h(m) = -m**3 + 12*m**2 - 20*m. Let q be h(10). Suppose 6*t = 3*t + 2*f + 10, q = -2*t - 4*f - 20. Is t <= -2.3?
False
Let n = 35151 + -35141. Which is smaller: n or -39?
-39
Let p be (22/10 + -1)*6565/21008. Let x be 0/(-3) + -1 + 1. Which is smaller: p or x?
x
Let u = 270 - 114. Let o = u - 155. Is 24 < o?
False
Let p = 9733.37 + -9733. Which is bigger: p or -33?
p
Suppose 2*n - 2*q = -n + 29, -2*q = -2*n + 18. Suppose -n*t = 441 + 417. Is t equal to -80?
False
Let w(g) = -4*g + 4. Let p be w(3). Let l(m) = 2*m**2 + 14*m - 7. Let i be l(-7). Let o = i - p. Is -3/23 < o?
True
Let n(u) = 3*u**3 - 9*u**2 + 7*u - 6. Let c be n(16). Does 10089 = c?
False
Let a be ((-326)/10)/(1/10*-2). Is a smaller than 52?
False
Let o(i) = -3*i + 2. Let k(r) = -7*r + 3. Let h(l) = -4*k(l) + 10*o(l). Let t be h(8). Let x = t - -105. Are x and -1 equal?
False
Suppose 4*k - 11 - 25 = 0. Suppose -204*n - 540 - 2250 = -390*n. Which is greater: n or k?
n
Let y be 3970/(-2865) + 2 + 8/(-12). Is y equal to 0?
False
Suppose 4*s - r = -3*r - 758, 4*s + r = -763. Let z be 18/(-30) - s/10. Let y be 12/(-7) + 61 + -59. Are y and z unequal?
True
Suppose 30*j - 32*j = -216. Let g = j + -26. Is 81 at most g?
True
Let i be (-3)/(9/109) + (-112)/168. Let j be 24*((-9)/2 - -3). Which is smaller: j or i?
i
Let d = 0.338 - 0.619. Let t = d + 0.471. Do -0.7 and t have the same value?
False
Let k be 1 - -12*(4 - 56/12). Let y be (-96)/(-51) + (3 + k - -2). Which is greater: y or 0.4?
0.