u**2 + 11*u + 20. Let d be c(10). Let w = d + 2586/7. Which is greater: w or -10?
w
Let h = -68169 - -68182. Let t be (-2)/(-6) + 38/3. Are h and t equal?
True
Let o = 126297 - 2283954943/18084. Let n = -1013828/22605 - o. Let c = -208/5 - n. Which is smaller: 3 or c?
3
Let j(q) = -q**2 + 2*q - 173. Let g be j(0). Let u = g + 181. Which is greater: u or 9?
9
Let f = 255 - 251. Suppose -5*h = -4*n + 5, -2*n + 3*h + h + f = 0. Which is smaller: n or 2/1161?
n
Suppose m - 4*m + 3*u = 3, -4*m = 2*u - 2. Suppose 5*f + 30 = 5*o, -4*f + 18 = 2*o - m*o. Let t be o/(189/114) - 0/(-1). Are 5 and t equal?
False
Let n be 10*(4797/(-10530) + ((-21)/(-6))/7). Let r = 0.03 + -3.03. Which is greater: n or r?
n
Let u(l) = l**2 + 57*l + 174. Let d be u(-57). Which is smaller: 186 or d?
d
Let f be (8/2670)/(2/5). Let p be -8 - (5 - (-121686)/(-8811)). Let b = p + f. Which is smaller: 2 or b?
b
Let a(o) be the second derivative of -o**3/6 - o**2/2 - 6*o. Let d be a(-7). Suppose d*l = 17*l - 66. Is l smaller than 2?
False
Let f = -59.3 - -68. Let o = -3093 + 3109.7. Let w = o - f. Is w greater than 0.3?
True
Let h be ((-64)/48)/(1/45). Let f = 82 + h. Suppose 5*c = 25, 2*m + 2*c = 4*m - f. Which is smaller: 9 or m?
9
Let q be ((-578)/3)/((-1)/(21/14)). Let s = q - 328. Let i(b) = 11*b + 6. Let a be i(-4). Which is smaller: a or s?
s
Let x be 2*(-698)/(-4332) + 11/(-33). Let l = x + -6851/722. Which is greater: l or -9?
-9
Let i = -4/231 - -19/693. Let k = 97 + -98. Which is smaller: k or i?
k
Let t = -146 + 143. Let m = -1484 - -1481.5. Are t and m unequal?
True
Suppose -3*a = 2*s - 15, 0*s = -4*s + 4*a - 20. Which is greater: s or -2/8335?
s
Let w(d) = -d + 1. Let g(y) = 7. Let j(l) = 22. Let z(v) = 16*g(v) - 5*j(v). Let t(s) = -w(s) + z(s). Let f be t(-2). Is f < 3/26?
True
Let a = -984 + 982. Let b = 6 - 7. Let x be 0 - (b - (-37)/9). Which is greater: a or x?
a
Let o = 0.1926 - -6.8524. Let n = o + -0.145. Let t = n + 3.1. Is t less than or equal to 1/3?
False
Let d be -2 + (-12)/(-9) + 10932/(-342) + -1. Is d greater than -34?
True
Let x(h) = -5*h**2 - 9*h + 7. Let o be x(-6). Let k be 21/o*5*6/(-15). Which is smaller: k or -0.1?
-0.1
Let p be (-36)/(-2052)*-306*-19. Let l = -65 + 168. Is p at least l?
False
Suppose 2*w = -2*c + 330, -3*c + w = -c - 336. Which is smaller: c or 169?
c
Suppose 78*u - 4858 = 85*u. Let g = -11784/17 - u. Which is smaller: 0 or g?
0
Suppose 36*m - 313560 = -36*m. Is 4354 < m?
True
Let b(x) = 147*x - 864. Let g be b(6). Let y be (-116)/(-8) + (-9)/6. Let i be y + (-2)/(-4)*6. Are i and g non-equal?
True
Let a be (-1)/(-6) + (-117)/(-5184)*-6. Is -1 smaller than a?
True
Let g = -3211 - -22520/7. Let d be (-6 - 5072/(-832)) + ((-6)/(-13))/3. Is g >= d?
True
Let t = -390.87 + 379. Let d = t + 12. Let x = 6.3 + -4.3. Does d = x?
False
Let r = -1129.7 - -1926.6. Let h = -797 + r. Suppose b + 3*b - 104 = 0. Which is greater: h or b?
b
Suppose 5*t + l - 178 = 0, 43*t - 46*t + 97 = 2*l. Is t equal to 41?
False
Let m = -1080769/121 - -8932. Let l(t) = -t - 5. Let i be l(-6). Which is smaller: i or m?
m
Let n be ((-24)/(-48))/(156343/44). Is n greater than 0?
True
Let q = 18 + 56. Suppose -1491 = -q*p + 81*p. Which is smaller: p or -212?
p
Let f(a) = -521*a - 5215. Let v be f(-10). Which is smaller: 21 or v?
v
Let a = -45 + 24. Suppose -18*r + w - 404 = 0, -26 = 3*r - 31*w + 36*w. Which is bigger: a or r?
a
Let f(g) = 6*g + 100. Let k be 1/((-20)/(-4) + 288/(-56)). Let d be f(k). Are d and 58 equal?
True
Suppose -h - 3*h + 2*y = -2, -3*h + 5*y + 12 = 0. Let a be 16/(175168/(-574)) - (-2)/17. Which is greater: h or a?
a
Let l = -30 - -29. Let g be ((-2)/(-6))/l - (-164)/(-12). Let j be g/22 + 0/5. Is j bigger than -1?
True
Let r = -5729 - -5774. Which is greater: r or 7?
r
Let y = 12753 + -140289/11. Do y and 1270 have different values?
True
Let s be (-2)/1 + 190960/95600. Which is greater: -1 or s?
s
Let k = 143569 - -106941. Let l = 3250889/13 - k. Let q = 441 + l. Which is smaller: q or -1?
-1
Let t = 15213 + -15189. Which is smaller: -0.0698 or t?
-0.0698
Suppose 9*v = -4*h + 5*v + 20, 0 = -h + v - 1. Suppose -30 = h*f + 198. Are f and -115 equal?
False
Suppose -90*i + 36*i - 90*i = 288. Is -2 greater than or equal to i?
True
Let o = -545879/125 + 4367. Let u = -89/1125 + o. Which is bigger: u or 2/13?
2/13
Suppose -5*t + 3*q + 109 = 0, 3*t = -t - 5*q + 65. Suppose -16*f - 40 = -t*f. Suppose 20 = i + 4*i, 0 = -2*z + i - f. Which is smaller: z or -9/5?
z
Let v be 18 + 3/(-6)*8. Let j = v - 6. Let g = 44.1 - 44. Is g < j?
True
Let p = 4907 - 4911. Which is greater: -0.11 or p?
-0.11
Let f(r) = r**2 - 11*r - 16. Let p be f(13). Suppose p*c - 4 - 6 = 0. Suppose 5*q = 4*q. Which is bigger: c or q?
c
Let c = 24.953 + 0.047. Let x = c - 24.1. Let o = 526 - 532. Are o and x non-equal?
True
Suppose 3*g + 4*f = 16, 5*g - 11 = f - 15. Suppose -l - 41 - 107 = g. Is -148 bigger than l?
False
Let h = 117.9 + -19.9. Let u = h - 58. Let w = u - 38.7. Is 0.2 at least as big as w?
False
Let b = 2/7505 - -15004/22515. Which is smaller: 0.699 or b?
b
Let d = 37 + -97. Is d at most as big as -110?
False
Let o = -44 - 49. Let q = 216 + -957. Let f = q + 740. Is o less than f?
True
Let r(t) = -9*t**2 + 178*t - 194. Let s be r(11). Which is bigger: -0.4 or s?
s
Suppose -2*m + 10 = -p + 6*p, 3*m + 19 = p. Suppose 0 = p*y + 22 - 26. Let u be y + 30/(-9) + (-2)/(-6). Which is smaller: u or 7/4?
u
Let d be ((-2112)/10)/3 - (-21)/(-35). Let y = d + 69. Let n be 24/5 + (y - (-8)/(-4)). Is -9 < n?
True
Suppose 4*p - 893 = -3*t + 1882, 0 = -5*p - 7*t + 3459. Is p smaller than 703?
True
Suppose 289*d - 32*d - 40863 = 0. Which is smaller: 140 or d?
140
Let k = 0.093 + -40.093. Let s = k - -43.8. Let a = s - 3.77. Which is smaller: a or 2/15?
a
Let u = -9441 - -1246213/132. Is -2/35 equal to u?
False
Let b = 5 + -3. Let n be -6 + 9 + -14 + b. Let d be ((-1)/2)/(n/18). Which is smaller: -1 or d?
-1
Suppose -5*y + 7*y + 72 = 0. Let u = -14 - -16. Let b be 1/(u + y/20). Is 6 > b?
True
Let y = -18575 + 93293/5. Is 83 at least y?
False
Let p(y) = 175*y**2 - 3*y - 2. Let k be p(-1). Let l = -168 + k. Is l at least as big as 1?
True
Let r = 27.0762475 + 0.0070525. Let f = r + -0.0833. Which is smaller: 7 or f?
7
Let s = 4.05 - 0.05. Let a be 10/36*6 + 15. Let p = -16 + a. Is s at least p?
True
Let l = 1822 + -1747. Do l and 49 have different values?
True
Let s be (-1)/(-257)*(-10)/5. Suppose 56*f - 59*f + 4*u + 1 = 0, 3*u = f - 2. Is s greater than or equal to f?
True
Let o be 95/((-78)/36 + 3). Let a = o + -119. Which is smaller: a or -10?
-10
Let r be -25*(0 + -1) + 12. Let b(i) = -i**2 + 4*i + 6. Let d be b(5). Is r at least as big as d?
True
Suppose 0*o = o + 4*c + 2246, -4*o = -12*c + 8872. Is -2230 bigger than o?
False
Let w(s) = -2*s**2 + 2*s + 6. Let n be w(0). Let l be -5 + (n - (-5 - -7)). Which is greater: 10/21 or l?
10/21
Let s = 35119 + -35078.786. Let v = -0.214 + s. Is -1 not equal to v?
True
Let r = -983/41 - -2702062/112709. Which is bigger: -1 or r?
r
Suppose 187*c - 195*c - 32 = 0. Let t(f) = -15*f + 121. Let k be t(c). Is k at most 181?
True
Suppose 0 = 5*o - 49 - 101. Suppose -j + 17 - 117 = 3*x, -3*j = 3*x + 102. Let g = x + o. Is -30/13 greater than or equal to g?
True
Suppose 0 = 115*s - 244*s + 123*s. Which is smaller: 16/83 or s?
s
Let l = -1.88 + 5. Let n = -2.12 + l. Is -1/5 at least as big as n?
False
Let q be 0*(-4)/(7 + -3). Let h = 10/533 - 11/533. Which is greater: h or q?
q
Let g = -45.7 + 46. Let u = 9517.4 + -9517. Is u less than g?
False
Suppose -36 = -10*t - 2*t - 0*t. Is 1 equal to t?
False
Let x = 203.23 + -192.23. Is -0.1161 less than x?
True
Suppose -4*l - 2*t - 14 = 0, 3*t - 4*t + 5 = -4*l. Let s be ((-6)/12)/(11/2 + l). Which is greater: -4 or s?
s
Let g = 4435 + -3836. Which is smaller: g or 601?
g
Suppose 31326*t - 31338*t - 2064 = 0. Which is bigger: t or -10?
-10
Let b = 3/14 + -1/70. Suppose 2*n + 4 = -2*x, 5*n - 8 = 2*x - 32. Is x > b?
True
Let j(x) = -x**3 + 7*x**2 + 7*x + 5. Let t = 63 + 0. Suppose 5*f - t = -4*f. Let q be j(f). Which is smaller: 55 or q?
q
Let v be (-14 - (-2144)/160) + (-1 - (-259)/115). Let i = 3 + -2. Is i less than or equal to v?
False
Let t(d) = -d**2 + 8*d + 11. Let z be t(8). Suppose -15*p + 15*p =