 be (-2)/(-7) - 645/(-21). Let v be u/((-2)/g*-1). Does v = 1?
False
Let x be (5/(-15)*26)/(-1). Suppose -624*b + 627*b - 27 = 0. Is x smaller than b?
True
Suppose -2*l - 3*l = -25. Let r = -8 + l. Suppose 88 = -50*b - 62. Is r greater than b?
False
Let z(a) = 3*a**2 - 79*a + 35. Let h be z(26). Let g(v) = v**2 - 6*v - 26. Let j be g(h). Which is smaller: -4/107 or j?
-4/107
Let t = 39 - 43. Let y be t/18 + (-4 - (-489)/135). Which is bigger: 38 or y?
38
Suppose 8*j - 77 = 19*j. Let v be 456/(-42) + 1/j. Which is smaller: 1/9 or v?
v
Let z = -0.846 + 89.846. Is -3 <= z?
True
Let h = 5494 + -8712. Which is smaller: -0.1 or h?
h
Suppose 16*z - 358 + 11 - 133 = 0. Which is smaller: z or -18?
-18
Let o(a) = a**2 + 28*a + 11. Let c be o(-19). Let h = c + 167. Is h < -0.24?
False
Let s(v) = -6*v + 6. Let p be s(6). Let g = 62 - 59. Suppose b + g - 2 = 0. Which is smaller: b or p?
p
Let k = -146 - -151. Let x be k/18*1 - (-147)/98. Is 2 bigger than x?
True
Suppose 3*f - 3*a = -a + 89, 4 = -a. Let g(z) = 6*z - 128. Let s(d) = 2*d**3 - 2*d**2 + d + 26. Let n be s(0). Let p be g(n). Which is smaller: f or p?
f
Let k = 17.1639 + -212.3459. Let q = -195 - k. Let i = q + -0.082. Which is greater: 0 or i?
i
Suppose -177 = 5*v + 3*y, 5*y - 127 = 3*v - 48. Which is bigger: 97 or v?
97
Let d = 19026.16 + -18597. Let o = 429 - d. Which is bigger: o or -0.8?
o
Suppose -5*j = 5*z - 5, -3*z + 0*j = j - 7. Suppose -2*n = -z*t - 10 - 4, -n = -2*t - 8. Let i = -371 - -371. Which is bigger: i or n?
n
Let x = -19089 - -19118. Which is bigger: x or 384/13?
384/13
Let g be 0 + 1*(6 - -4). Suppose 2*v - 5*l = -16 - 0, 20 = 4*v + 3*l. Suppose -v*r + g = 2. Is r < 16/3?
True
Suppose -45*n = 4*v - 50*n + 613, n = 2*v + 311. Is -166 != v?
True
Let n be 0 + 1 + 3/1. Suppose n*t + 8 = -64. Let w = -31 + 14. Which is smaller: t or w?
t
Suppose 842 = -1660*n + 1662*n. Let y = 375 - n. Is y < -39?
True
Let k = 86887 + -86980. Let j = -6 - 86. Which is smaller: j or k?
k
Let t(v) = v**2 + 3*v - 56. Let b be t(-9). Let j be -4 + 1388/348 + 2 + b. Does 0 = j?
False
Suppose z - 16 + 19 = 0. Suppose -3*c + 2*c - s + 4 = 0, -15 = -5*s. Let m be (55/(-10) - -6)/(c/(-5)). Which is greater: z or m?
m
Let h = 9.757 + -9.957. Let u = 15 - -3. Is h smaller than u?
True
Let u = 16 - 17. Let g = -19 + 10. Let f be (-1)/3*g/((-504)/16). Which is smaller: u or f?
u
Let s be -24*11/(-44) - 127/9. Let v = -7163681 + 2772341426/387. Let f = s - v. Is f less than -1?
False
Let m = 59/11 - 317/55. Do -153 and m have different values?
True
Let u be 0/11*2/6. Suppose 2*b = 4*k + 22, 48*k + 20 = 44*k. Is b at least u?
True
Let s(y) = y**2 - 31*y - 157. Let v be s(-4). Which is smaller: 15 or v?
v
Suppose -5*p = m - 608, -128*m + 127*m = 4*p - 488. Does 172 = p?
False
Let l be (0/(51 - 23))/(-3 + 1). Which is greater: -38/47 or l?
l
Let j = -64.28 - 8.68. Let g = j - 0.04. Let b = -63 - g. Which is greater: b or -2/5?
b
Let m = -8976 - -8967. Which is greater: -44/5 or m?
-44/5
Let j(z) = -4*z**2 + 3*z + 5. Let d be j(5). Let c = 55 - d. Let k = -138 + c. Is k greater than -9?
True
Let r = -40.2422 - 0.0578. Let b = r + 29. Let n = 12.3 + b. Is -6/7 greater than n?
False
Suppose 0 = 2*u - 13 + 11. Suppose 11*q - 7*q + 72 = 0. Let g be q/39*(-2)/4. Is g bigger than u?
False
Suppose 171 = 6*q - 333. Let f = 85 - q. Which is greater: f or 4/83?
f
Let u(v) = 15*v**3 - 2*v**2 + 1. Let m be u(-1). Let h(p) = -4*p - 38. Let b be h(m). Is 25 greater than b?
False
Let a be 59/(-5) + (-42)/210. Let n be ((-320)/30 - -1)/((-1)/a). Which is greater: n or -115?
-115
Let n be 1 + 1 + -3 - (-42)/(-2). Let k(g) = -2*g**2 - 42*g + 53. Let l be k(n). Are l and 11 unequal?
True
Let b = -12138 - -12136.5. Are -118 and b equal?
False
Let p be 3*(-1 - 0)/3. Suppose 8 = 44*o - 36. Let w be 352/2002 + (18/14 - o). Which is bigger: w or p?
w
Let i be (-15392)/(-69210) - 5/(-18)*268/(-335). Is -1 != i?
True
Let a be (-1548)/35991*33/2. Is -2 less than or equal to a?
True
Let q(x) = 4*x - 144 + 5*x + 118 + x**2 - 2*x. Let z be q(4). Suppose -2 = 4*o - z. Does 4 = o?
True
Let r(z) = 11*z**2 + 97*z - 19. Let p be r(-9). Are 81.88 and p equal?
False
Let y = -28707 - -28893.79. Let h = -186 + y. Let p = -2.21 - h. Are p and -1 unequal?
True
Suppose 24*p + 420 = 23*p - 4*z, 4*p - 4*z + 1720 = 0. Is -426 smaller than p?
False
Let s = -2.2 - 0.8. Let o be ((-40)/32)/(105/14). Which is greater: s or o?
o
Suppose -518 - 888 = -w. Do w and 1406 have the same value?
True
Let n(r) = 7*r + 152*r**3 - 5 - 19*r**2 - 69*r**3 - 80*r**3. Let b be n(6). Which is smaller: b or 6/185?
6/185
Let u = 501 - 502. Let b(j) = -15*j - 16. Let s be b(u). Is 4/33 bigger than s?
True
Let o = 2392 + -2392. Let m = -0.4 - -0.335. Which is greater: o or m?
o
Let v be ((-1)/12)/((-1)/(-2)). Let h = 137 + -151. Let f be (((-8)/(-6))/(-4))/(h/(-42)). Which is smaller: f or v?
f
Let m = -58.256 + 53.256. Let w = -8 + 8.9. Let z = w + 0.1. Which is bigger: m or z?
z
Let y = -5835 - -5798. Suppose -5*i + 5 = -5. Let z be ((-245)/14)/(i/4). Which is smaller: z or y?
y
Let r(g) = -2*g - 1. Let o be r(-5). Suppose -3*z = -22*z - 1615. Let n = z - -86. Which is greater: o or n?
o
Let a(d) = d**3 - 16*d**2 - 32*d - 69. Let r be a(18). Let j = 10 - 0. Suppose r*f - j + 46 = -3*t, -4*t - 21 = f. Is -9 bigger than f?
False
Suppose 0 = w, -5*n + 40 = w - 0*w. Let l(d) = -2*d**2 + 17*d - 6. Let h be l(n). Suppose -h*b - 13 = -35. Which is smaller: b or 10?
10
Let n = 116554 - 116514. Suppose 3*p - q = 123, -p - p - q = -82. Which is smaller: n or p?
n
Suppose 4431*l = 4445*l - 235612 - 57968. Is l less than or equal to 20971?
True
Let h(k) = -89*k - 866. Let v be h(-10). Let o be -3*13*10/(-15). Suppose -2*g + 25 = -w - o, 0 = -4*g + 3*w + 103. Is g >= v?
True
Suppose 21*h + 505864 = 29*h. Let l = -2212463/35 + h. Let a = 101/5 - l. Is -9 less than or equal to a?
True
Let q(h) be the second derivative of 10*h**3/3 - 291*h**2/2 + 6*h - 5. Let y be q(9). Are y and -443/4 equal?
False
Let i(u) = 109*u + 415. Let g(p) = 37*p + 137. Let a(f) = 11*g(f) - 4*i(f). Let o be a(-12). Which is greater: 194 or o?
o
Let h be 4/6 + 5/(-45)*-39. Suppose -2 = i, h*m - 22*i + 21*i = -8. Let t = 0.2 + -0.21. Which is smaller: m or t?
m
Suppose 4*k = 2*a - 68, a + 32 = 2*a - 4*k. Suppose -40 = -a*o + 32*o. Suppose -5*t = -0*t + o. Are t and -4 equal?
False
Let m = 70 - 79. Let a(p) = p**3 + 11*p**2 + 9*p - 17. Let f be a(m). Is f >= 68?
False
Let w = 9663 - 9664. Let p = 419/96 + -13/3. Is w > p?
False
Let z be 1 + (3 - (4 + -9)). Suppose -506 = -z*b - 128. Suppose 0 = -2*m + 4*m - 86. Which is smaller: b or m?
b
Let d be 2/4 - 1*6/(-12). Let a be d/2 - 40/80. Which is smaller: a or 4/131?
a
Let r = -1/15322 - 976777/7661. Which is bigger: -129 or r?
r
Let z be -12 - (5 + -5 - 11). Which is smaller: -3/1258 or z?
z
Let v be -28*9/4*24/(-12). Suppose -v*y = -133*y + 7. Let m be 1*(1 + -1) + -3. Which is smaller: y or m?
m
Let j be -5*(-8)/((-80)/(-78)). Is j greater than or equal to 4/3?
True
Let u(q) be the third derivative of -q**5/60 + 5*q**4/24 - q**3/6 - 8*q**2. Let p be u(-5). Which is greater: p or -50?
-50
Let x(r) = r**2 - 3*r. Suppose -1 = 5*v - 26. Let p be x(v). Let b be (2 - 25/p)*4. Is b less than 2?
True
Suppose 370 = 65*l - 60*l. Suppose -3*b = -5*h - 232, -b + 3*b + 2*h = 144. Are b and l nonequal?
False
Suppose -1475*r + 1473*r = 2. Let i(b) = -3*b - 18. Let d be i(-15). Let o be 126/d + -3 + r. Which is smaller: o or -0.1?
-0.1
Suppose -3*i = 4*s - 460, 0 = s + 87*i - 92*i - 115. Which is smaller: s or 117?
s
Let m = -57 - -56.258. Let x = 319.258 - m. Which is smaller: 1 or x?
1
Let x = -11 + -108. Let v = x + 72. Which is smaller: v or -2/5?
v
Let t be 15592/12*(2 + 1). Is 3898 greater than or equal to t?
True
Suppose -5*c = -2*c - 408. Suppose 4*a - c = -4*x, x + 4 = -x. Let l = -14948 + 14983. Are a and l equal?
False
Suppose y + 2*g - 6*g - 117 = 0, -4*y + 457 = -5*g. Let n = y + -5. Do 109 and n have the same value?
False
Let w(i) = -24*i - 56. Let t be w(-5). Let l be 32/t*(-2)/1. Are l and 204 unequal?
True
Let j(s) = 10*s**2 - 2*s - 2. Let w be j(-1). Let l be (-41 - -29)*(-2)/w. Is 1/4 greater than or equal to l?
False
Let j(t) = -t**2 - 3*t + 11. Let o be j(-5). Let 