t a(d) = -11*d - 4. Let b be a(-1). Let p be (-6)/(-30) - b/((-1120)/(-12)). Which is greater: p or -6?
p
Let u(k) = -4*k - 4. Let f be u(-16). Suppose 2*w + 46 = -f. Is -213/4 greater than or equal to w?
False
Suppose 1952*l = 1942*l + 20. Let g(u) = 7*u - 5. Let p be g(6). Suppose -p = -l*j - 37. Which is smaller: 1/39 or j?
j
Let t be -8 + 87 + (1 - -2). Suppose -4*z + t = -5*g, 3*z - 66 = 4*g - 5. Let w = z + -25. Is w at least as big as -8?
True
Let g = 524 - 516. Let x be ((-10)/g)/(-5)*(-91 - 35). Which is greater: -31 or x?
-31
Suppose -4*h - 5*w = 80, -5*w - 50 = 5*h - 3*h. Let v be 1626/(-108) + (-1400)/(-48) + -29. Is h != v?
True
Let r = 359 - 230. Let m = r + -130. Let j = 9 + -20. Which is bigger: j or m?
m
Suppose b - 72 = -2*b. Let v = 4.04 + 5.36. Let i = v + -9.2. Is b bigger than i?
True
Let i be 4/(-1)*118/(-8). Suppose -124*s + 17934 = 83*s + 87*s. Which is smaller: i or s?
i
Let m = -24/451 + 2345/43296. Suppose -2*c + 189 = -4*y + 243, 3*y - 34 = -5*c. Which is greater: c or m?
m
Let f(k) = -3*k - 30. Let j be f(-8). Let i be (j - (-4 + 4)) + -7. Let q(t) = -t**3 - 5*t**2 + 7*t - 4. Let u be q(-6). Which is smaller: u or i?
i
Let a = 9626 + -20749/2. Which is smaller: a or -750?
-750
Let t(x) = -x**3 + 44*x**2 + 92*x + 32. Let v be t(46). Which is smaller: v or 726/23?
726/23
Let p = -88 - -37. Let s(j) = -39*j + 243. Let z be s(5). Let l be (-2 - p/z)*80/(-12). Which is smaller: 5 or l?
5
Let k be 8/32 - (-1)/(-4). Suppose 3*w = k, 0 = -u - 3*w - 2*w. Suppose -3 - 2 = -5*g - 5*b, u = -2*g + 5*b + 23. Does g = 2?
False
Let k be (-215 + 247)*(-1 - (-6)/1). Suppose -314 = -2*m - t, -4*m - 5*t = m - 780. Is m > k?
False
Let r = 191446 - 139372601/728. Let b = -5/104 + r. Which is smaller: -1 or b?
-1
Let c be (1 - -2)*(-1)/(3/187). Let a = c - -215. Is a at most 26?
False
Let v = 3.4 + 18.6. Let c = -553.1 + 531. Let m = c + v. Is -1/12 >= m?
True
Suppose -99*d - 37 = 62. Which is greater: 2/6447 or d?
2/6447
Suppose 918 = 9*v - 6*v. Suppose 0 = -2*p - 3*p - 5, 4*p - 4 = 4*x. Let q be (-2)/(-10)*x*15/v. Which is bigger: q or 0?
0
Suppose -398 - 119 = 27*x - 166. Which is greater: 255 or x?
255
Let f(g) = -g**2 - 13*g - 5. Let c be f(-12). Suppose -c*d = -d - 30. Let t be (0 - 4) + d - 5. Which is greater: -20/7 or t?
-20/7
Let u = -215.03 + 214.488. Is u bigger than 5/6?
False
Suppose 3*b = -2*b + 2*b. Are b and -6/14435 equal?
False
Let d(w) = w**2 - 9*w - 13. Suppose -9*v - 107 = 19. Let s be d(v). Which is greater: s or 308?
s
Let k be (-4)/11 + (-10225)/(-440) + -6. Which is greater: k or 17?
17
Suppose -4*a = a - 130. Suppose 2*t - h = 31, -3*h = -4*t + 37 + a. Suppose 6*m + t = 69. Is 9 at least m?
True
Let d = -20.708 + 109.038. Let n = 89 - d. Let m = n - 0.74. Which is greater: m or 0?
0
Suppose 0 = 65*v - 23*v + 10710. Let j be 10608/v - 4/10. Is -290/7 at most as big as j?
False
Suppose -1 = -2*n - 5. Suppose -234*l - 8642 = -17*l + 1557. Which is bigger: n or l?
n
Suppose b + 37 = 5*f, -2*b - 6 = 3*f + 3. Let i be (b + 8)*(-2)/(-11). Let p = 80 - 80. Is p smaller than i?
False
Let g = 4160032.463 + -4162585. Let y = 2611.5 + g. Let s = 0.037 + y. Is 0.1 less than s?
True
Let o = 6429/5 + -21881/20. Let r = o - 192. Which is greater: -64 or r?
r
Let s = -177 + 13. Let b be (s/6)/(28/(-66)). Let q = b + -76205/1183. Is 0 bigger than q?
False
Let j = -0.058 - -0.027. Let o = -757 - -352. Let c = 406 + o. Which is greater: c or j?
c
Let w = 542 - 539. Suppose 16*b - 136 = 15*b - w*c, -4*b = -5*c - 595. Is 145 smaller than b?
False
Let a = -5 + 9. Suppose 18 = -2*d + a. Let o = -128991 - -128993. Which is greater: o or d?
o
Let a = -102168/1315 - -777/10. Suppose 2*h - 4*t - 42 = -30, -2*h + t = -3. Are h and a unequal?
True
Let r be 2562/(-512) + 2 - (-10 + 7). Let j = 2407/4 + -602. Which is smaller: j or r?
j
Suppose -49*q + 47*q = -40. Suppose -2*l + 5*p + 25 = 0, 0 = -2*l + 6*p - 10*p - q. Is l smaller than -5?
False
Let x = -10083 - -4501. Is x at least as big as -5581?
False
Suppose -21*n = -20*n - 76. Let m = -87 + n. Let x = -6 - m. Which is smaller: x or 9/2?
9/2
Let b = 180 + -535. Let i = b - -354.9. Which is greater: -12/23 or i?
i
Let o(a) = -a - 8. Let n be o(-7). Let g = -0.001 + -236.999. Let r = g + 197. Is n at least r?
True
Let o = -0.0119 + -65.7881. Let g = -68.7 + 2.7. Let y = g - o. Is y at most as big as 1/2?
True
Suppose 0 = -3*n - n - 12. Let r = n + -5. Let o = -45956 + 45945. Which is smaller: o or r?
o
Let z = -4073 - -4089. Is z at least as big as 45?
False
Let i = 8596 + -111823/13. Let m = 33 + -39. Do i and m have different values?
True
Let z = 0.4 - 0.3. Let x = 4.4 + -43.4. Let g = x + 22. Which is smaller: g or z?
g
Let n(h) = -h**2 - 12*h - 20. Let l be n(-8). Suppose 2*u - 2 = 0, -f + 4*u + u - l = 0. Let k = 105 + -109. Does k = f?
False
Let t = 60 + -92. Let m be 4/16 - 24/t. Which is greater: 5/11 or m?
m
Let n = -167 - -257. Let t be (-60)/n - 376/(-6). Suppose -4*f + t = 5*r, 52 = 5*r - r + 4*f. Which is smaller: 2 or r?
2
Let a = -565.2 + 567.2. Which is smaller: a or 12.9?
a
Let x be 45/18 - (5/10 + -1). Is x less than 193?
True
Let b be 4 + (-12680)/1812 - (-9)/3. Let y = 977/32163 - b. Let i(p) = p**3 + 7*p**2 + 6*p - 1. Let q be i(-6). Is q equal to y?
False
Let f = -19 + 14. Let g = 19 + f. Let q be -6*(g/(-3) + 4). Which is smaller: 5 or q?
q
Let u(a) = -32*a**3 + 321*a**2 - 23*a + 154. Let t be u(10). Let l = -6 - -32. Which is greater: t or l?
l
Let n = 22615 - 22109. Which is smaller: n or 504?
504
Let a be 8/10 + (125232/60 - 15). Which is bigger: 2075 or a?
2075
Let k(c) be the second derivative of -c**5/20 + 5*c**4/12 + 5*c**3 + 11*c**2/2 - 52*c. Let z be k(8). Is 62 bigger than z?
True
Let z = -240 + 953/4. Let o(v) = 20*v + 165. Let u(q) = -4*q - 33. Let h(k) = -2*o(k) - 11*u(k). Let p be h(-9). Is z at least p?
True
Let c be ((-53)/6)/(4/(-42)). Let m = 381/4 - c. Are 0 and m equal?
False
Let w be 0/(-6 + (-24)/(-3)). Let i be (-56)/(-6916) - (0 - w). Is i >= 0?
True
Suppose -40*u + 71*u - 31 = 0. Which is bigger: u or -1.594?
u
Let i = -711003015465/3839 - -185205269. Let r = 35/11 - i. Which is smaller: r or -1?
-1
Let f = 2288 - 2290. Is -461 less than or equal to f?
True
Suppose -28841 + 110249 = 53*n. Which is bigger: n or 4612/3?
4612/3
Let f = -762 - -1462. Is 2795/4 > f?
False
Let w = -8.06 + 4.69. Let g = w - -2.37. Is -128 smaller than g?
True
Suppose 0 = -3*i - n + 684, i - 7*n - 228 = -9*n. Let c = i + -176. Is c greater than 51?
True
Let j(s) be the first derivative of -s**5/40 + 13*s**4/12 - 2*s**3/3 - 30. Let z(h) be the third derivative of j(h). Let l be z(5). Is l less than 11?
False
Let t = 1928 - 1927.7. Which is bigger: t or -84?
t
Let j be (-53)/(-3) - (2 + 28/(-12)). Let v be 7/(-15) - j/27*-1. Which is greater: -1/6 or v?
v
Let t(m) be the first derivative of -m**4/2 + 2*m**3/3 + m**2 + m + 13. Let r be t(-1). Suppose -n + 2*f = 1, 2*n - f + r*f = 4. Which is greater: 11/8 or n?
11/8
Suppose -7*l + 59 = 38. Suppose 0 = l*q - 0*i - 2*i + 3, -5*q - 4*i - 5 = 0. Is -1/202 at most as big as q?
False
Let r = -1921 - -1762. Is -158 >= r?
True
Let a = 0.48 - 0.4. Let f = -0.02 + a. Let w be ((-1660)/210 - -8)/((-12)/28). Which is bigger: f or w?
f
Let s(m) = -43*m + 1505. Let d be s(35). Is d at most as big as -2/12033?
False
Let s = 13 - 54. Let t(q) = 36*q + 1613. Let g be t(-46). Is s >= g?
True
Suppose -2066 + 792 = -149*y + 961. Are 142/9 and y unequal?
True
Suppose -o - o + r = -11, -26 = -2*o - 4*r. Suppose 11*b - o + 29 = 0. Which is smaller: -17/6 or b?
-17/6
Let x = 664 + -33863/51. Suppose 77 = -191*g + 268. Which is smaller: g or x?
x
Suppose -3*p - 6 = 0, -3*p = -4*z - 10 - 12. Let t(w) = w**2 + 3*w - 38. Let g be t(-7). Let v = z - g. Are 20/7 and v non-equal?
True
Let j = 344 + -4468/13. Let q = -58 + 62. Suppose -3*n + q*p - 2*p = 10, -4*p = 5*n - 20. Is n less than j?
True
Suppose 0 = 10409*i - 10328*i - 81. Let r be -2 + (0 - -4) + 259. Let a = -3395/13 + r. Which is smaller: a or i?
a
Let t = -36 - -93. Suppose -39 - t = 24*x. Suppose -2*i + 16 = -i - 5*j, 4*j + 9 = -3*i. Is i less than x?
False
Let r = 215 - 213. Let h = -1.4 - r. Which is bigger: 2 or h?
2
Let u = -2325.5 - -2324.5. Let k = 421 + -104. Which is bigge