et k be v(1). Let l = -3 - k. Let n be (-6 + 7)*-11 - (-4 + -16). Which is smaller: l or n?
l
Let f = 1155504488/4280277 + 48/83927. Let s = 270 - f. Suppose 14 = 83*h + 97. Is s equal to h?
False
Suppose -2*a + 3 + 0 = -k, -2*k - 12 = 2*a. Let w be (-124)/140 - 3/k. Let b = -714.7 + 715. Is b smaller than w?
False
Let c(z) = 2*z**2 - 4*z - 7. Suppose -6*n + 1 = 13. Let x be c(n). Let y be ((-78)/x)/((-12)/18). Which is smaller: 9 or y?
9
Let d(t) = -46*t**2 + 356*t - 9. Let f(u) = 9*u**2 - 71*u + 2. Let k(o) = 2*d(o) + 11*f(o). Let s be k(10). Are s and 18 equal?
False
Let m(b) = 15*b + 20. Let v be m(-5). Let c be ((-234)/(-15))/((-22)/v). Is c < 41?
True
Let h = -158.1 - -178. Let m = h - 20. Let x be (-2480)/225 + 4/18. Is x bigger than m?
False
Suppose 152*x + 134*x = -25*x - 53*x. Let h be ((-6)/(-9))/(4/(-6)). Let p be (-2 + (-64)/(-34))/h. Which is smaller: x or p?
x
Suppose 0 = -3*g + n + 219, 45*g + n = 46*g - 73. Which is bigger: 12 or g?
g
Let v be (-2)/(-6) + 180/27. Let t = 15/2 - v. Is t equal to 80?
False
Let y = -20153 - -20174.9. Which is smaller: -23 or y?
-23
Let b = -1789 - -1793. Does b = -2.79?
False
Let k(n) = 5*n**3 + 5*n**2 - n + 4. Let t(g) = 9*g**3 + 9*g**2 - g + 8. Let j(d) = -7*k(d) + 4*t(d). Let z be j(0). Suppose z*w - 9*w = -10. Is w <= 8/3?
True
Suppose -4*n - 11 = -2*t + 5, -t = -n - 5. Let v be t/5*(-25)/(-20). Let f be (0 - -1 - 20)/(-1). Is f less than or equal to v?
False
Let g(h) be the first derivative of h**2/2 + 5*h - 1. Let s be g(-5). Let f = 375/41 - 18334/2009. Which is bigger: f or s?
f
Let p = -82.9 + 83.9. Which is greater: -88 or p?
p
Let g = 19 - 15. Let c be g/174*(16 - 13). Let a(w) = -7*w + 49. Let n be a(7). Which is greater: c or n?
c
Suppose 3*f - 9*t + 6023 = -8491, -5*t - 20 = 0. Do f and -4850 have different values?
False
Suppose -3*c + 7 = -8, -3*o - 163 = c. Let t = o + 56. Suppose 3*d + 26 = 4*a, d - 3*a + 9 + 3 = t. Is d bigger than -5?
False
Let n = -16.14 - -16.19. Let t(h) = -h**2 - 7*h + 8. Let c be t(-8). Which is smaller: n or c?
c
Suppose -5*x = -4*o + 35, 2*o - 1 = -x + 6. Suppose -600 = -o*d + 5*c, -3*d + 138 = -2*d + 5*c. Which is greater: d or 122?
d
Let t be 3/((-42)/4) - (-13 - (-58908)/4620). Which is greater: -3/5 or t?
t
Suppose -4*g - 11 = -3*u - 2*g, 3*g + 11 = -u. Let x be 4*1*6*u/(-8). Let v be 9*(-1 - 8/x). Which is bigger: v or 17?
17
Let j(c) = -8*c + 11. Let w be j(-3). Suppose -w + 11 = 8*p. Let z be (-12)/20*(p - -13). Which is smaller: -9/2 or z?
z
Let b = 5532 + -5531.9. Are b and 18302 unequal?
True
Let c(f) = 7*f - 3. Let b be c(-12). Let a be (-262)/b + (-3)/6*6. Which is greater: -1 or a?
a
Let i = -12964 - -12963. Which is smaller: i or 336.1?
i
Let q = -0.0284 + -846.9716. Let v = 844 + q. Is v equal to -78?
False
Let l(r) = 2*r**2 - 3*r - 9*r + 6 - r + 3*r - 3*r**2. Let q be l(-5). Which is bigger: 34 or q?
34
Let r be (((-14)/42)/(3/28989))/(-1). Which is smaller: r or 3220?
3220
Suppose 2026*y - 25 = 2031*y. Let h = -2287 + 16049/7. Let a = h - 207/35. Which is greater: a or y?
a
Let l = 4027 + -4763. Is -736 at most l?
True
Suppose -x - 88*u + 91*u + 1793 = 0, -8*u = -4*x + 7200. Is 1813 < x?
True
Suppose -7*a + 10*a + 450 = 0. Let q = a + 234. Let p = -92 + q. Is p greater than or equal to -7?
False
Let t = -11.526 + -0.074. Let d = -17 - t. Let n = 30.6 - d. Is n less than 0?
False
Suppose 46 = -5*s + 196. Suppose 4*u - 5*d = 79, -401*u + d + 67 = -397*u. Which is greater: u or s?
s
Let c(m) = -m**3 - 12*m**2 - 13*m - 30. Let u be c(-14). Suppose u = 4*o + 4*k, 0 = -5*o - 3*k + 4*k + 704. Which is smaller: 141 or o?
o
Suppose 133*v - 105 - 28 = 0. Does v = -2039?
False
Let z be 7 + (27 - 12) + 49. Is z less than or equal to 94?
True
Let k(i) = -115*i + 27. Let y be k(2). Let u = y + 247. Which is greater: u or 47?
47
Let v be 110/(-132) - ((-30)/(-12) - 3). Let i = 58 + -4. Is i < v?
False
Suppose -113*o - 90 = -114*o. Let p be 1*(-2)/(-5)*(-225)/o. Which is smaller: -10/7 or p?
-10/7
Suppose 62*b + 21836 = -151*b + 7*b. Let q be (-1)/2 - (-22)/(-4)*19. Which is smaller: b or q?
b
Let y(s) = -29*s - 49. Let i be y(-6). Let g be (-13)/((-65)/660) - 5. Which is smaller: i or g?
i
Let m = -20862 - -21456. Is -5 equal to m?
False
Let a = -208494/7 + 29880. Let g(z) = -2*z + 95. Let v be g(0). Let i = a - v. Is i > -1?
True
Let i = 182 - 103. Let v = -422.95 - -344. Let y = v + i. Which is smaller: -0.1 or y?
-0.1
Let q = 12231 + -12231. Do q and 10960 have the same value?
False
Let b = -584786/345 - -1695. Is 0 != b?
True
Let r be (-16)/(-24)*(-11 - -14). Are r and -587 non-equal?
True
Let y = 203 - 196. Suppose -5*i = -4*w - 25, 3*w - 10 = y*i - 9*i. Which is smaller: 4/17 or w?
w
Let w be (1/2)/((-15)/2 - -7). Let l be (5 - w)*(-4)/(-8). Suppose 5*m - 26 - 82 = -4*d, l*d = -9. Which is smaller: 23 or m?
23
Suppose -73*b - 44*b - 233465 + 850991 = 0. Is b greater than or equal to 5277?
True
Let x be 37/5 + (-18 - (-8 + 8 + -11)). Is x < -1.9166?
False
Let w = -0.4113 - -0.5713. Which is smaller: w or 17?
w
Suppose -3*i - 2*d = 1831, 20*i + 4*d + 1210 = 18*i. Which is bigger: -615 or i?
i
Let u be -1 - -6 - (-508)/(-98). Suppose -5 = 7*y - 6*y, -5*y = 4*h + 21. Which is greater: u or h?
h
Let l be (98/84)/(35/15). Is 3161 greater than l?
True
Let o(k) = 3*k - 1. Let a be o(1). Suppose -a = 5*v + 13. Let d be 1/2 - v/(-18)*-3. Which is smaller: d or -6/13?
-6/13
Suppose -27*k - 10*k - 23 = -14*k. Is k less than 2/36809?
True
Let k be (69/6 - 11)/((-3)/(-6)). Which is greater: k or -40/773?
k
Suppose 4*w - 30 = -146. Let n = w - -29. Suppose n = -4*q + 13 - 5. Which is smaller: 7/4 or q?
7/4
Let s = -0.70614 + -0.08286. Which is greater: 0.08 or s?
0.08
Let u = -0.235 + 36.235. Let k = u - 36.1. Is k > 15.5?
False
Let f be 4 + (9/(-4))/(8*(-18)/(-192)). Which is smaller: -1/1841 or f?
-1/1841
Let f = -2332 + 2331. Is f at least as big as 104?
False
Let y be (1/(-9) + 4588/40968)/((-10)/(-5)). Which is smaller: y or -1?
-1
Let p be 873/(-6)*(-180)/(-54). Is p > -486?
True
Let y be (-283)/(-15) + ((-290)/75 - -4). Let x(f) = -y + 13 - 23 - 5*f. Let a be x(-10). Does a = 20?
False
Let l = -3/265 - 521/795. Which is smaller: -0.312 or l?
l
Let g = -635 + 1235. Suppose 4*u = -2*u + g. Which is smaller: -1 or u?
-1
Let r be ((-20)/(-15))/(-2) - (-223)/(-3). Let u be (-4)/(-134)*r/100. Which is bigger: -1 or u?
u
Let f(q) = -103*q - 528. Let p be f(-12). Is p <= 709?
True
Let b(x) = 14*x**3 - x**2 + 7*x - 6. Let h be b(1). Does 43/3 = h?
False
Let d = 6147/5 - 55109/10. Which is smaller: d or -4282?
-4282
Suppose 417*z + 79 + 83 = 162. Which is bigger: 61/471 or z?
61/471
Let y = -106 + 57. Let j be 2119/8 - 8/(-64). Let z = -314 + j. Do z and y have the same value?
True
Let p be (-777)/370 + (-4)/(-2). Let a = 291 + -296. Do a and p have the same value?
False
Let j be ((-8)/6)/(-30 + 21 - (-3788)/3). Which is greater: 1 or j?
1
Let n be -1*6*(-999)/(-222). Which is smaller: n or -220?
-220
Let h(r) = r**3 - 170*r**2 - 92*r + 1109. Let u be h(171). Is 14618 smaller than u?
False
Let r = -1 - -1. Let m be (-137294)/228 - (-20)/(-24). Let y = -10257/17 - m. Is y less than r?
True
Let m = 12.3 - 11.36. Let f = m + -0.84. Let i = 108 + -867/8. Which is smaller: i or f?
i
Suppose 4*d - d = -14*d - 1581. Which is greater: d or -848/9?
d
Suppose -7*y - 24 = -87. Let v be (-2)/(12/y - 2). Let f be (2 - (-4 + -2)) + (0 - 2). Is v at most as big as f?
True
Suppose -9 = -3*p - 0*p. Suppose -7*n = -p*n + 4. Let v be -2*1 - 451/(-220). Which is smaller: n or v?
n
Suppose 0 = c - 0*c - 9. Let o(z) = -z + 11. Let y be o(c). Suppose 0 = 23*v + 194 - 102. Is y at least as big as v?
True
Let c = -3610 + 3609. Which is smaller: -0.1108 or c?
c
Let n be (-3)/2*(-11 + 54/6). Suppose 0 = w - n*q - 18, 0 = 5*w + q + 29 - 119. Is w less than 6/11?
False
Let r(o) = -33*o - 18. Let q = 307 - 300. Let k be r(q). Is -250 bigger than k?
False
Suppose 61523 - 15830 = 113*d - 42221. Which is bigger: 6227/8 or d?
6227/8
Let p be (0 - 0)/((-9)/((-135)/30)). Let c = 8 - 5. Suppose -3*r + w = -62, p*r + w = -c*r + 58. Is 21 smaller than r?
False
Let y = -389/5564 + -3/428. Let n = -10 - -9. Which is smaller: n or y?
n
Let z = -90.5 - -14. Let a = z - -78. Do a and -2 have the same v