6)). Which is bigger: a or v?
a
Suppose 4*n - 31 = 21. Suppose 2*a - 14 = -2*o, -3*a + 4*o - 7 = -42. Let z = a - n. Is 0 greater than or equal to z?
True
Let s(l) = -7*l + 35. Let m be s(-4). Suppose -4*g + 13*g - m = 0. Which is smaller: 57/8 or g?
g
Let a = 135001/19 - 7107. Is a bigger than -3?
True
Let x = 14/117 + 89/234. Let u = 395.562 + -396. Is x greater than u?
True
Let v(n) = n**3 + 2*n**2 - 7*n + 3. Suppose -h - 16 = 3*h + u, 0 = 2*u. Let k be v(h). Which is greater: k or 2/2055?
2/2055
Suppose 15 = 5*f - 5. Let v be (-5)/((-3480)/138) + (-1)/f. Let z = 17 + -17. Which is bigger: z or v?
z
Let y(q) = 4*q**2 + 74*q + 165. Let n be y(-43). Are n and 4380 equal?
False
Let y(z) = -z**3 + 8*z**2 - 6*z - 13. Let h be y(4). Let c be 54/(-243) - (-456)/h*7. Is 117 >= c?
False
Let z = 11493 - 11548. Is z bigger than -31?
False
Let u(t) = -t**3 + 18*t**2 + 36*t - 240. Let m(a) = a + 12. Let n be m(7). Let o be u(n). Is o not equal to 82?
True
Let h = -9 + 9.6. Let l = -443 + 457. Which is smaller: h or l?
h
Suppose -1 = 5*k + 74. Suppose 4*x = 5*h + x - 8, -5*x - 5 = 0. Let a be (h - k)*28/48*3. Is a less than 28?
False
Let t = 265.67 + -261.67. Is 2/359 > t?
False
Let a be 3/((-12)/4)*2. Let y be 1 + (5 - (a - -4)). Let u be y/15 - (6 - (-96)/(-18)). Which is bigger: 1/8 or u?
1/8
Suppose 60*f - 299 = -8*f - 27. Let s = 20 + -3. Which is greater: s or f?
s
Let b = 107600/7 + -15969. Let q = 592 + b. Is -6 greater than q?
False
Suppose -3*r = t + 8, -92 + 60 = 4*t + 4*r. Suppose 3*u + 3*a + 42 = 0, -2*a - 14 = u - 4*a. Do t and u have different values?
True
Let d = -77 + -148. Let q = d + 223. Let j = 1179/14 - 169/2. Is j at least as big as q?
True
Let k be (13 - (2 + 11))/(-4). Which is smaller: 4/677 or k?
k
Let g = -0.499 - -101.499. Let y = g - 100.8. Which is greater: -3.1 or y?
y
Let a be (-21)/18*28/49. Let j = 2055386 + -2201318635/1071. Let t = -1/119 + j. Is a <= t?
True
Suppose a - 3*g - 52 + 29 = 0, -g - 29 = -3*a. Let d(p) = 2*p**3 - 16*p**2 + 3*p - 3. Let q be d(a). Is 20 at most q?
True
Let w be (5 + -1)*(-465)/(-4). Suppose 0 = 463*b - w*b + 24. Let r = -20 + 35. Is b at least r?
False
Suppose 0 = -11*j + 8 + 14. Suppose b + 52 - 64 = 0. Let o be 4*2/8 + b/(-28). Which is bigger: j or o?
j
Let y = 62596 + -687724/11. Which is smaller: y or 75?
75
Let h = 5570.3 - -1271.7. Do h and 0.1 have different values?
True
Let o be (2/(-10))/((-19)/190*2). Which is greater: o or -2/51429?
o
Let z = -0.52 - 7.08. Let i = z - -6.8. Is 1/7 smaller than i?
False
Suppose -14*j + 0*j = -11 - 3. Which is smaller: 10/1781 or j?
10/1781
Let y = -0.03542 + 0.23542. Which is smaller: y or 0.238?
y
Suppose 5*p - 3*x - 7 = 0, 5*p - 187*x + 13 = -189*x. Is p smaller than 36/259?
True
Let j be (-28)/45 - (-4)/18. Let t be (15 + 5055/(-45))/(200/(-60)). Which is smaller: j or t?
j
Suppose -4*r - 5*b + 1044 = -3*b, 5*r + 5*b - 1295 = 0. Suppose r - 59 = 4*y. Suppose 14*q - 205 = -y. Which is smaller: q or 9?
9
Suppose -v - 26 = v. Let k(r) = r**2 - 23*r - 21. Let b be k(23). Let j be -10*(-5)/10 + b. Are v and j equal?
False
Let m = -4779 - -4780. Are -59 and m nonequal?
True
Let x = 70.11 - 73.2. Let b = 3.19 + x. Let s = -7.2 - -20.1. Is b != s?
True
Let l = 53.2 + 15.1. Let q = -75 + l. Let v = -7.2 - q. Is 3 > v?
True
Let a = -0.106151 + -0.893849. Suppose d = -3*d + 20, 3*k - 1101 = -3*d. Which is smaller: k or a?
a
Let n(b) = -b - 255. Let w be n(0). Let x = 924324 - 924578. Is x bigger than w?
True
Let u = 1/73 - 381/1168. Let i be (1/(-2))/1*0. Suppose 3*o - 17 = 5*j, -4*o + 0*j - j - 8 = i. Is o < u?
True
Let t = 2034 + -2035. Let i = 2100 - 153296/73. Which is smaller: t or i?
t
Suppose 0 = -20*m - 5748 - 3512. Let p = 3239/7 + m. Which is smaller: -1/60 or p?
p
Let s = 8485.4 - 8458. Is s > -5?
True
Let n be ((-52)/(-195))/((-6)/63)*(-15)/(-381). Which is bigger: n or -1?
n
Let b(m) = -3*m**2 - 2*m**3 - 6*m**2 + 6 + m - 7*m + 8*m**2. Let u be b(-4). Which is smaller: 144 or u?
u
Let d = 311/22 - 150/11. Let l be 437/(-418) + 3/(-2). Which is bigger: d or l?
d
Suppose 15*v = 12*v + 18. Let f be ((-25)/v)/(3/4). Let p(t) = t**3 - 4*t**2 - 23*t + 8. Let o be p(7). Which is bigger: f or o?
f
Let q be (-1 + 2685/25)*5. Suppose -5*c = 3*i - q, -3*c + 406 - 84 = -i. Is c at least 107?
True
Let z be (22/6)/((-8)/(-24)). Suppose -z = -7*g + 3. Suppose -12*l = -13*l + g. Is 2 equal to l?
True
Let i(f) = 2*f**2 + 21*f + 62. Let n be i(-5). Let m = 1 - 1. Suppose m = -5*r + n*r - 2. Which is greater: -1/18 or r?
r
Let s = -17 - 22. Let x = -1542 - -32359/21. Let l = x + 10/7. Is l < s?
False
Let o(b) = -5*b + 8. Let g be o(0). Let l be (-93)/15 - 3 - g/10. Is -14 at least l?
False
Let u = -101 + 76. Let s be 13/(-3 - 80/u). Do 67 and s have the same value?
False
Let p(q) = -q**3 - 2*q**2 - 1. Let l be p(-2). Let y be 3/(-258)*35/((-12950)/148). Which is smaller: y or l?
l
Let b be (1 + (-1014)/310)*(-16)/(-2144). Let h = b + -2/155. Which is greater: h or -3?
h
Let o be ((-54)/(-72))/(3/12). Suppose 3*k = -4*p + o*p - 5, -14 = -4*p + 5*k. Is p greater than -2/471?
True
Let y(z) = -3*z + 20. Let q be y(5). Let r(h) = 15*h - 13. Let w be r(q). Is w at least 62?
True
Suppose 3*x + 0*o + 198 = -3*o, -4*x - 2*o = 272. Let g be ((-4)/20*(-286)/143)/(8/(-1410)). Are x and g equal?
False
Suppose 2*t - 5*b + 9*b = -40, -b - 24 = t. Let n be (-1)/(((-2)/(-24))/((-217)/t)). Which is smaller: n or -94?
-94
Suppose 7*c = 6*c - 161. Let i be (-2)/(-5) + (-9729)/60. Let p = i - c. Is -2 smaller than p?
True
Let i = 3 + -2. Let u = -133/15 + 169013/19065. Is i <= u?
False
Suppose -945*l + 964*l + 19 = 0. Is -55/401 at least as big as l?
True
Let d = -9960 + 21521/2. Is d less than or equal to 801?
True
Suppose -4*n - 25*q + 20*q = -58, -61 = -3*n + 5*q. Suppose 3*m - 72 = -2*m + d, -60 = -3*m - 5*d. Which is smaller: m or n?
m
Let b(a) = 6*a**3 - 17*a**2 + 14*a - 38. Let q(d) = -7*d**3 + 16*d**2 - 14*d + 39. Let f(m) = -5*b(m) - 4*q(m). Let h be f(10). Which is greater: -3 or h?
-3
Suppose -151*b = -348 + 35380. Is b bigger than -236?
True
Let f = 15.457 - 16.917. Which is greater: -7/5 or f?
-7/5
Let z be (-3)/(-1 + 35/2). Let h = 0.361896 + -77.361896. Do z and h have the same value?
False
Let m = 76281466 - 35318288431/463. Let v = -1/926 + m. Which is bigger: 66 or v?
66
Let q = -2081 - -2224. Which is greater: 145 or q?
145
Suppose 124*u = 3343 - 13510 - 33729. Which is greater: u or -356?
u
Let l be -11 - ((3 - 4) + 107). Which is greater: -104 or l?
-104
Let i = 7.80582 - 1.00582. Let v = -3 - -4. Are i and v equal?
False
Let x be (-6726)/(-9)*(-48)/160. Are x and -223 equal?
False
Let a(g) = 29*g + 368. Let o be a(-13). Is o at least as big as -144/17?
False
Let b = 1/59652 - 124702507/59652. Is -2090 > b?
True
Let p be (-30 - -24) + (-1 - -4). Let a be ((-35)/25 - -2)*5. Let m = a - 16. Is p less than or equal to m?
False
Let s = 0.851 + 33.249. Let p = s + -34. Suppose -3*j = -4*u - 14, 2*u + 1 - 5 = -4*j. Which is smaller: j or p?
p
Let g(w) = -82*w**3 - 367*w**2 + 7*w + 17. Let a be g(-5). Which is smaller: a or 1066?
a
Let z(r) = -r**2 - 121*r + 725. Let d be z(6). Let y be (0 - (-6)/16)/(36/(-3536)). Which is smaller: d or y?
d
Let f = -5147 + 5142.009. Let x = -0.091 - f. Let k = -2.9 + x. Which is smaller: 2/19 or k?
2/19
Let f be 212*(-4)/(-12)*(-3)/(-2). Suppose 0 = 4*x - f + 18. Let t = x + -7. Is 14 at least as big as t?
False
Let o(b) = b**2 - 75*b + 952. Let m be o(38). Is -454 at most as big as m?
True
Let p(d) = 6*d - 38. Let h be p(5). Let l be (-8)/h*4/(-1922). Which is smaller: l or 1?
l
Suppose -10*n + 12*n = 140. Let h = -632/9 + n. Let l = 0.057 - 4.057. Is l != h?
True
Suppose 7*i = 8*i + 2*b - 494, -4*i + 2011 = b. Let q = -722 + i. Do -217 and q have the same value?
False
Let w be (-6063)/517*11/2. Are w and 2/13 non-equal?
True
Let l = -7169/55 + 1109/5. Are l and 90 unequal?
True
Let c = -2141287699/12201 - -175501. Is c equal to -1?
False
Let x = 20 + -54. Let s = x - 75. Let o = s - -109.2. Which is smaller: o or 1?
o
Let b(m) = m - 5. Let y be b(0). Let s(u) = u + 3. Let x be s(y). Let k be (-1)/x*(-13 + -21). Does k = -18?
False
Let t(c) be the third derivative of -c**6/120 + c**4/12 - 4*c**3/3 - 9*c**2. Let d be t(-6). Let 