 4*k + 22. Suppose -20 - 12 = 4*p. Let l be u(p). Which is bigger: l or -4?
-4
Let a(o) = -7*o**2 - 6*o + 54. Let v(r) = 8*r**2 + 7*r - 55. Let h(w) = -7*a(w) - 6*v(w). Let s be h(7). Let j be ((-2)/4)/((-5)/14). Is j less than s?
False
Let i(h) = 2*h - 8. Let b be i(10). Suppose 6 = -d + 5*s, -5*s + b = d - s. Is 3 less than d?
True
Let y = 833083/5295 + -1/1765. Is 158 smaller than y?
False
Let i = 1678 + -4862/3. Do 56 and i have the same value?
False
Let u be (11/((-429)/260))/(2/(-47)). Which is smaller: u or 158?
u
Let g(r) = -r**3 - 4*r**2 - 1. Let u be g(-4). Which is smaller: -4/21 or u?
u
Let a(u) = 2*u + 7. Suppose -13*p = -6*p + 21. Let x be a(p). Do x and -2 have the same value?
False
Let z(o) be the third derivative of o**6/120 + o**5/15 + o**4/24 + o**3/6 - 25*o**2. Let n be z(-4). Is -2 > n?
True
Suppose -2*x - 7 = 2*b + x, -5*x = 15. Suppose y - 4 = -b. Let p be ((-33)/(-9) + -4)*y. Is p at least -1/17?
False
Let k = 14 - 11. Let g = k - 3.09. Let w = g - -0.09. Is w at most -0.04?
False
Let g = 1484945 + -13380572/9. Let m = 1787 + g. Which is bigger: m or 2?
2
Let q be (-32)/48 + 25/78. Which is bigger: q or 0?
0
Let z = -2054 + 2016. Is -3/2 at least z?
True
Let x be 8/(-6) + 5353/(-159). Which is bigger: -37 or x?
x
Let j be 8 + (-54)/7 - (-4)/84. Let q(p) = 2*p**3 - 2*p + 1. Let t be q(1). Is t bigger than j?
True
Let h be (7/(-1))/(-4*1/(-4)). Which is smaller: 3 or h?
h
Suppose -5*f - 4*t = -12, -4*t = -f + t + 14. Suppose 28 = -f*c + 20. Which is smaller: 9 or c?
c
Suppose n = 2*j - 0*j + 35, -4 = j. Is n at least 20?
True
Let a be 357/42*2*-1. Let l = a - -18. Which is greater: l or 20/9?
20/9
Suppose -u + 3*b - 10 = -3*u, 4*u - 2*b + 12 = 0. Let t(w) = -w**3 + 3*w**2 - 3*w + 11. Let l be t(3). Let q be -2 - (-5 - -11)*1/l. Which is smaller: u or q?
q
Let a(b) = -b**2 - 13*b - 4. Let n be a(-7). Suppose r = t + 6, 3*r + 2*t - n = -0*r. Let h be ((-8)/(-12))/(r/(-42)). Which is smaller: -4 or h?
-4
Let o = -130 + 122. Suppose -10*k + 5 = -5. Which is greater: k or o?
k
Let r be (-2)/(-6) + 1/(-21). Let d(q) = 7*q + 3. Let o be d(1). Let v = o - 10. Which is greater: v or r?
r
Let d be (-72)/16*((3 - 0) + 59). Which is greater: d or -281?
d
Let u(j) be the first derivative of j**4/4 + 4*j**3 + 6*j**2 + 13*j + 1. Let p(y) = y - 2. Let o be p(-9). Let m be u(o). Is 11 <= m?
False
Let m = -26 - -29. Suppose m + 5 = 2*h. Which is greater: 2 or h?
h
Let x be (-24)/40*(13 - 8). Let l be -1 + (2*-1 - 0). Is x not equal to l?
False
Suppose -w + 18 = 5*w. Suppose -5*k = -w*k. Let p = 5337/19 - 281. Does k = p?
False
Let l = -256 - -12033/47. Let z(o) = 7*o + 2*o - 10*o + 13. Let u be z(13). Is u < l?
True
Let b = -0.38 - -44.48. Let a = b + -44. Do a and -1/11 have the same value?
False
Let y be ((-12)/21)/(1*-4). Is 0 > y?
False
Suppose 2*b - 5*u + 49 = 0, 3*b - 5*b - 4*u - 4 = 0. Let q be -12 - (11 + b)/(1/2). Suppose 0 = 2*s - 2*z + 20, s = -2*z - 2*z. Which is smaller: s or q?
q
Let q = 36 + -37. Let a be -5 + 0/(q/1). Which is smaller: -7 or a?
-7
Let a(l) be the first derivative of -l**4/4 + 16*l**3/3 - 13*l**2/2 - 18*l + 2. Let k be a(15). Let q = -11 + k. Is q >= 2/3?
True
Let v be 8*1/18 + (-1353)/(-297). Are v and -47 unequal?
True
Let l = -1192 - -1213. Suppose 4*m + h - 50 - 25 = 0, 2*m - 5*h - 43 = 0. Is l less than m?
False
Let i be 6/(-4)*(-6664)/(-102). Is -98 bigger than i?
False
Let u(m) = m**2 + 7*m - 4. Let h be u(-6). Let c(f) = -f**3 - 10*f**2 + 2*f + 19. Let q be c(h). Which is greater: q or -1/46?
-1/46
Let d = -773 + 772. Which is bigger: d or -3/733?
-3/733
Let w be 22/(-55) - (-2)/35. Let x = -491/1330 - w. Which is greater: x or -2?
x
Suppose -4*x + 66 = 2*k, -122 = -2*k + 5*x - 29. Let o = 54 - k. Is 63/4 > o?
True
Suppose -3*w = 4*u - 19, -1 = -w + 4*u + 16. Let t be (-3)/(1 - 25/22). Suppose 4*r - 2*p - t = 0, 0 = -2*p + 8 + 2. Which is smaller: r or w?
r
Let c be 3/(-5) + 0 - (-23)/5. Let l be (-32)/680*(-2 - 2/c). Is l bigger than 1?
False
Let q = -586/55 + 115/11. Which is smaller: -427 or q?
-427
Suppose 0*q = -8*q - 32. Let v be (-1)/(-2)*(5 + 11/(-3)). Which is bigger: q or v?
v
Suppose 0 = -2*h + 16. Let w be h/(-40) + 59/345. Which is greater: w or -1?
w
Suppose -2*t = -191 + 497. Is t greater than -152?
False
Suppose -3*i = 14 - 5, 3*m = -4*i - 39. Let v be m/(-12)*2*-2. Is -3 >= v?
True
Suppose -3*a + 8*d - 3*d + 17 = 0, -3*d = 3. Let r(t) = t**2 - 5*t - 1. Let x be r(5). Let p(h) = -14*h - 16. Let b be p(x). Is a at most b?
False
Let a = 11 - 11. Let u be 7*((-4 - a) + 3). Which is bigger: u or -9?
u
Let u(k) = 2*k**2 - 19*k - 8. Let h be u(10). Suppose 2*z = 5*t + 9, -3*z + 7 = -3*t + h*t. Is 1/30 at least t?
True
Let o be ((-50)/(-35))/((-4)/(-28)). Let m = -12 + o. Is -11 bigger than m?
False
Let h be (-3)/(-7)*(714/12)/(-17). Which is greater: -2 or h?
h
Let p be (-654)/222 + (2 - -7) + -6. Which is smaller: p or -22/7?
-22/7
Let v = -54 + 16. Let y be 274/v + 4 + 3. Which is smaller: y or 0?
y
Let w be (-1)/(-7) - (-94)/(-756). Let b be 5/(-15)*-15 + -6. Does b = w?
False
Suppose 0 = 2*k + 173 - 45. Let h = k - -167. Are 103 and h nonequal?
False
Let h be (-3 + 2)/2*(15 - 13). Is h at most -1/218?
True
Let t = -0.02 + 0.07. Let p be (10/(-195) + 0)*-3. Is t at least as big as p?
False
Let g(r) = -20*r - 107. Let c be g(13). Which is smaller: c or -366?
c
Let u(o) = -o**2 + 27*o - 1. Let m be u(0). Are -23/38 and m unequal?
True
Let c = -17 + 19. Let m be 0 + 15/(-48)*c. Let d = 13 + -13. Which is bigger: d or m?
d
Let i = 77 + -55. Suppose 2*y = 2*z - 3*y + i, 2*y - 8 = 0. Let s(m) = m**2 - m - 1. Let n be s(-1). Is z at least n?
False
Let b be ((-575)/(-200))/((-1)/(-2)). Let c(j) = -j**2 - j + 6. Let t be c(0). Which is bigger: b or t?
t
Suppose 5*k - 20 = 4*o, -4*k + 10 = -5*k - 2*o. Let v be ((-28)/35)/(1/5). Let u be (-42)/(-7)*(-2)/v. Is u at least as big as k?
True
Suppose o - 3*h = -20, 3*h + 15 + 20 = -4*o. Let x be (4/(-2) - -3) + -6. Let j = -16 - x. Is o <= j?
True
Let b = -422 - -417. Do -49/8 and b have the same value?
False
Suppose 32 = -42*n + 10*n. Which is bigger: n or -6/95?
-6/95
Let p be 5/(-21)*(-2)/5. Suppose 4*o + 13 - 5 = -4*m, -o - 2 = 5*m. Is m <= p?
True
Let t(b) be the second derivative of -b**3/2 + 24*b**2 - 16*b. Let i be t(14). Which is bigger: i or 44/7?
44/7
Let j(g) = -80*g**2 + 4*g - 2. Let q be j(2). Let v be 2/12 - (-2 - q/12). Which is greater: v or -45/2?
-45/2
Let p be (1185/12)/5 - -1*2. Let v = -22 + p. Which is greater: -1 or v?
v
Let s = -8923 + 8935. Suppose 3*w - 8*w + 65 = 0. Which is smaller: s or w?
s
Suppose -3*y - 76 = -250. Suppose -5*z + 10*z - 4*q = -43, -q - y = 5*z. Which is greater: -12 or z?
z
Let r = -328 + 5578/17. Let q = -20/13 - -1/26. Is r not equal to q?
True
Suppose -2*t - t - 12 = 0. Let s(q) = -q - 21. Let l be s(t). Which is bigger: -16 or l?
-16
Let k(a) = -a**2 + 3. Let c be k(-2). Let d(x) = 3*x + 3. Let m be d(c). Suppose 0*q - q = -z + 15, -z - 4*q = m. Does 0.1 = z?
False
Let w(c) = 2*c - 5*c + c - 18 - c. Let k be w(-6). Which is smaller: -1 or k?
-1
Let k be (-269)/66 + (4 - (-92)/(-24)). Let s = 4 + k. Which is smaller: 0 or s?
0
Suppose 9 = 4*z - 5*n, 2*n + 2*n = 5*z - 9. Suppose -d - z = 3*q - 8*q, -2*d - 2 = 4*q. Let i = -7 + 8. Which is smaller: i or q?
q
Suppose -5*q + 5*b = -17 + 297, 5*q + 288 = b. Which is smaller: q or -42?
q
Let b(f) = -f**2 + 10*f + 8. Let w be b(11). Let h be 0 - w - (-2817)/(-942). Let i = h - -565/6594. Which is greater: i or 1?
1
Let h be 2/(-18)*-3*0. Let q = 63.67 + -64. Are q and h non-equal?
True
Let h(o) = o**2 + o - 1. Let z be h(2). Suppose z*u = -8 + 33. Suppose -3*c - 2 = -u*c. Is -7 bigger than c?
False
Let r(o) = o - 5. Let t be r(5). Let i = -122 - -65. Let y = -45 - i. Is y greater than or equal to t?
True
Suppose 4*k = 2*k. Suppose k = -q - 4*t - 6 - 8, -3*t - 8 = 2*q. Which is smaller: -2 or q?
-2
Let p(b) = -3*b**2 + 22*b - 4. Let d be p(7). Let t(a) = a - 9. Let q be t(13). Suppose -3*k + 5 = -q. Is k > d?
False
Let r = -34 - -16. Let t be (-8)/36 - 4/r. Let g be -7 - -7 - (-2 - t). Is g greater than 0?
True
Let c = -3.92 - -2.92. Which is smaller: 138.2 or c?
c
Let s be (-2)/(-13) + (-42768)/4719. Are s and -9 non-equal?
True
Suppose 86 = -q + 104. Le