4*f - 41. Let c be z(-3). Suppose 2*k = t - 13, -t - 2*k = -k - c. Do t and v have the same value?
False
Suppose 12 = -3*n + n. Let w be (46/(-5))/(n/(-60)*-2). Suppose -s - 171 = -0*d - 3*d, 0 = -d + 4*s + w. Is 0 less than d?
True
Let d = -83513257/11 + 7583855. Let b = d - -8266. Is b greater than 6?
True
Suppose -5*g - s + 0*s - 7 = 0, -3*g = 4*s - 6. Let i be (-2)/4 + (-1)/g. Let p be (-36)/140 + 9/(-15). Are i and p nonequal?
True
Let c be 4 - (37/(-111))/((-35)/(-14181)). Let i be (-2)/8*2824/(-5). Let p = i - c. Which is bigger: p or 3?
3
Let g = 3638045/453 + -8031. Let z be (2 - 5)*25/(-225). Is z bigger than g?
True
Let f = 7.1 + 1.9. Let u be (-6)/(-114) - (-5774)/38. Let m be u/(-38)*(-1)/5. Which is smaller: f or m?
m
Suppose -10841 = -58*u + 1513. Let f(k) = 3*k**2 + 4*k + 52. Let d be f(-8). Which is greater: u or d?
u
Let l be (-13 + (-1265)/(-33))*18/2. Let w = l - 198. Is -2/5 >= w?
False
Let m be -5 + (-3)/(-5) + (-969)/(-85). Let y(o) = 18*o - 137. Let h be y(m). Is 5 smaller than h?
False
Let q(r) = r**3 + 6*r**2 + 3*r - 10. Let f be q(-5). Suppose f = -7*u + 5*u - 72. Let b be (-18)/u*(1 + -47). Is b < -23?
False
Let i = -164 + 164.1. Let a be (5/((-50)/(-42)))/(3/165). Is i at most a?
True
Let s = 2.476 - -692.324. Let t = 646 - s. Is 1 at least t?
True
Let s be (96/20)/((-207)/(-45)). Let p = 589/207 + s. Which is smaller: p or 3?
3
Let n be (-4)/(-28) - 4542/31500. Is 1 less than n?
False
Let a(s) = -6*s + 16. Let g be a(3). Let i be (24/(-1 + 3))/(1 + g). Is i greater than or equal to -14?
True
Let l(f) = 117*f + 1390. Let k be l(-16). Which is greater: k or -490?
k
Suppose -2*o + o - 1 = 0. Let s = 162400 - 26795998/165. Which is bigger: o or s?
s
Let z(m) = -m**2 + m. Let o be z(1). Let f be (6 + -6 + 45/7710)/(6/16). Which is greater: f or o?
f
Let h(r) = r**3 + 14*r**2 - 37*r + 22. Let i be h(-16). Suppose -126 = 2*z + 2*s, 2*z + 6*s - 10*s = -i. Which is smaller: 2/7 or z?
z
Suppose -8 = g, -1111*n - 1376 = -1115*n + g. Which is bigger: n or 20?
n
Let w(n) = -n**3 - 2*n**2 + 3*n**2 - n + 6 + 2*n**3 + 2*n**2. Let v be w(-4). Is -25/4 bigger than v?
False
Let d be 3/8 + 315/56. Let c be 77/(-44) + (d/(-8))/3. Which is smaller: c or -4?
-4
Suppose 3*p = 7*p - 4. Let d(w) = -22*w + 171. Let g(h) = -38*h + 342. Let l(m) = 5*d(m) - 3*g(m). Let v be l(53). Is p at most v?
True
Let o = 484/119 + -57/17. Which is smaller: 235 or o?
o
Let m(v) = v**3 - 5*v**2 + v - 3. Let k be m(5). Suppose -331 = -k*h - 5*q + 59, -q + 2 = 0. Which is smaller: h or 189?
189
Suppose -3*c = 5*t + 4 - 2, -5*t = 5*c. Let j(w) = -2*w**2 + 12*w - 11. Let i be j(c). Which is smaller: -5/29 or i?
i
Let t = 364 + -333. Suppose -4*g = 10*r - 15*r - 88, g + r = t. Which is smaller: g or 30?
g
Let o be (-4161)/(-133) - (-4)/(-14). Suppose -7 = -12*a - o. Let u be (4/(-6))/1 + 0. Is u at least a?
True
Suppose 2*n + 29 = 5*o, 2*o - 13 = 2*n + 1. Let l be (n/(-12))/((-81)/(-297)). Let k = 1/9 - l. Which is smaller: k or 14?
k
Suppose -12 = -4*l + 3*c, -3*l - 2*c + 12 = l. Suppose 3*n - 182 = l*w - 8*w, -108 = -3*w - 3*n. Let d = w + -31. Does 5 = d?
False
Let q(x) = 263*x + 1379. Let n be q(-6). Which is smaller: -202 or n?
-202
Let q(x) = 18*x**3 - x**2 - x + 2. Let o be q(1). Suppose -s - 19 = -4*i + 2, -2*s + o = 4*i. Are 29/8 and i non-equal?
True
Let h = 0.1719 - 185.4719. Let u = h - -185. Which is smaller: u or -1/4?
u
Let n(z) = 3*z**3 + 2*z**2 - 4*z. Let h be n(3). Are -1 and h equal?
False
Suppose 28 = -o + 4*n - 53, 0 = -n - 6. Let r be (0 + 8/20)*-265. Is o > r?
True
Let u = -381 - 581. Let q be u/(-7) - (-18)/(-42). Is 136 equal to q?
False
Let b(u) = -u**2 - 7*u + 9. Let m be b(-10). Let a = 12268/3 - 4110. Is m <= a?
True
Let o be (-14 - -14)*(-2)/8*-2. Suppose 4*a - 2*m + 224 = o, 0 = a + m - 5*m + 70. Is a less than -52?
True
Suppose 5*c + 3*y - 194 = 0, 4*c + 10*y - 156 = 8*y. Let a be ((-23)/10)/(20/c). Which is greater: a or -4?
-4
Let h be (-34)/(-85) - (30438/(-15))/2. Does 1013 = h?
False
Suppose 0 = -8*i - 246 - 178. Let k(t) = -10*t - 345. Let d be k(i). Which is greater: d or 1?
d
Let m(z) = 4*z + 1. Let b(k) = 3*k + 1. Let s(i) = 7*b(i) - 5*m(i). Let a be s(2). Suppose 5*y = 4*d - 26, -y + 0 - 2 = -a*d. Which is smaller: -2 or y?
y
Suppose -2*f = 3*f + 2*l + 619, 4*f - l = -503. Let u(v) = 127*v**2 + 14*v - 15. Let t be u(1). Let o be (-18)/45*-5 - t. Which is bigger: o or f?
o
Suppose -122*d - 56*d = 2670. Is d less than -212/13?
False
Let o = 9203 - 8528. Is 677 bigger than o?
True
Let x = -176605547/6495 - -27191. Is -1 smaller than x?
True
Let p be 555 + -6 + 4 - 9. Let q = 3810/7 - p. Which is smaller: 285 or q?
q
Let p be 0 + -1 + (-253)/143. Suppose 21240*l = 21239*l - 3. Is p >= l?
True
Let u(c) = -36*c**2 + 5*c + 1. Let j be u(-2). Let t be 0/(-1) + (45/j)/5. Which is greater: t or 0?
0
Let s = -10304 - -10284. Is -71 equal to s?
False
Let z = -208.9657 - -0.1657. Let n = z - -209. Which is greater: 30 or n?
30
Suppose 0 = 5*w - 15*w + 220. Suppose -12*c - w = -14*c. Is c != 1/3?
True
Let j = 20674 + -20675.4. Which is bigger: 514 or j?
514
Let a = -1.5621 - 0.4379. Do a and -5960 have the same value?
False
Let f(d) = -2*d**3 + 5*d**2 + 20*d - 149. Let g be f(16). Is -1 >= g?
True
Let b be 100/750 - 2/15. Let u be 12/(-303)*(-1 + 0). Which is greater: u or b?
u
Let r be (7/378*-63)/(2/(-36)). Let m be 3/(((-2)/(-9))/2). Let k = 48 - m. Are r and k nonequal?
False
Let m(o) = 55*o - 170. Let a be m(8). Suppose -122*p = -131*p - a. Which is greater: -27 or p?
-27
Let x(h) = -3*h + 3. Let a be x(0). Let l(k) = -2*k**3 + 3*k**2 + 2*k + 1. Let b be l(a). Is -104/5 less than b?
True
Let r be (-5 - 9093/(-1827))*(-126)/(-4). Does -2 = r?
False
Let b be 1 + -2*(-8)/(-4). Let z be (-2)/(b/(2 - -4)). Suppose 2*m + u - 64 = 0, z*u = 2*m - 0 - 64. Is 32 at most as big as m?
True
Let c = -339 + 343. Let n = -2 + -2. Let m = n + 12. Which is smaller: c or m?
c
Let p be (-2)/(-9) + (-8)/((-504)/7105). Let y = -107 + p. Which is bigger: y or 44/7?
44/7
Let j(d) = d**3 - 28*d**2 + d - 70. Let b be j(28). Which is smaller: 26 or b?
b
Suppose 2*u + 2*u - 8 = -3*d, -d + u = -12. Let t = 18513 + -18573. Let j be d/(-6) - -1 - 182/t. Are j and 2 nonequal?
True
Let k = -54 + 54. Suppose 13 = t + n + 2*n, k = 2*n - 8. Which is smaller: t or 13/17?
13/17
Suppose -63 + 67 = -4*l. Let j be 5 + (-77)/(-2) - (-2 + l). Is 47 smaller than j?
False
Let c = -70 + 701/10. Let s = -67 - -71. Let j be (4/(-20))/(s/20). Is j > c?
False
Let y be 9 - (33/3 + (-2 - 1782)). Is 1777 equal to y?
False
Suppose -16*x + 395 - 171 = 0. Which is smaller: x or -23?
-23
Let f = -2/59 - -67/236. Let h be (8/(-30))/(14/35)*12. Let r(g) = -g**2 - 6*g + 16. Let w be r(h). Which is smaller: f or w?
w
Let o = -300 - -362. Suppose o*s - 2756 = 49*s. Are s and 212 equal?
True
Let a(l) = 88*l + 255. Let x be a(-8). Let b = x + 448. Let i be 4/3*3/(-23). Is i < b?
False
Suppose 0 = -8*b - 11 + 3. Let g = 554083/35 - 15893. Let d = g - -62. Which is greater: d or b?
d
Let k = 1.084 - -5.116. Is -2/41 greater than k?
False
Let m = 7 + 10. Let i(y) = y**2 + 18*y - 61. Let g be i(3). Let d be 2/m*g/(-16). Is d < -1?
False
Let x = 122 + -67. Let c = -57 + x. Which is bigger: c or -3?
c
Let n = -2/106327 + 182350829/1275924. Is n greater than 144?
False
Let f = 17876/15 + -1192. Suppose 0 = 4*l - 2*w - 10, 5*l + 4*w + 11 = -9. Which is bigger: l or f?
l
Suppose 4*j = -4*u, 2*j - 6 = 3*u - 1. Suppose -4*w + 192 = -28*w. Let x be (2/w)/((-296)/56 - -5). Do x and j have different values?
True
Let w = 460749/1105 + -5427/13. Which is smaller: 1 or w?
w
Let j(g) = 97*g**2 + g - 3. Let v be j(3). Let a be 2 + 0 - v/438. Let w be (0/(7 - -3))/(1 - 3). Which is greater: a or w?
a
Suppose 15*b + 33 = 213. Let c(j) = -j**2 - 7*j - 3. Let o be c(-5). Let v = o + b. Is v at most 18?
False
Let g be (2/(-8))/((-60)/(-32)). Let q = -0.123 + 0.023. Let p = q - 0.9. Is g at least p?
True
Let b = 17.079 + -0.079. Let m = b + -87. Let j = -70.05 - m. Which is bigger: 4 or j?
4
Let i = 167 - 170. Let o be ((-2)/(-8))/(i/(48/(-190))). Which is smaller: o or -1?
-1
Let s(w) = 21*w - 14. Let i be (-2)/7 + (0 - (-237)/21). Let a be s(i). Which is smaller: a or 218?
a
Let q(u) be the second derivative o