 1. Let k be b(-5). Let s(i) = -i**2 + 10*i + 245. Let m be s(-12). Which is greater: m or k?
m
Let g(c) = -c**2 - 19*c + 23. Let d be g(-17). Which is smaller: -6 or d?
-6
Let t = 1037 + -1122. Is -82 less than t?
False
Let u = 21 - 11. Suppose -u = -3*b - 7*b. Is b bigger than 16/7?
False
Suppose 0 = 5*m, 4*m = -3*r - r + 8. Suppose r*x - 6*x = 4. Is x greater than or equal to -5/11?
False
Let m be (12/260)/((-29)/(-10) - 2). Which is smaller: -0.3 or m?
-0.3
Let x = -1.26 - 2.74. Is -0.083 smaller than x?
False
Let g = -30.0439 + -0.0561. Let n = g - -30. Are n and 2/9 nonequal?
True
Let t be (66/4)/(7 + -1). Suppose -10*a - 568 = -148. Let w = a + 44. Is w bigger than t?
False
Let i(h) = -18*h + 16. Let s(b) = -b + 2. Let y(k) = i(k) - 12*s(k). Let j be y(-1). Which is greater: -10/13 or j?
-10/13
Let u = -39 + 27. Let z = -11.97 - u. Let s = 1.03 - z. Is 0.08 at most s?
True
Let j = 27.9 - 31.9. Is 4 < j?
False
Suppose 3*y - 5*c + 1 = -21, 14 = -y + 3*c. Is y > -1/4?
True
Suppose 3*h = -4*v - 0*h - 5, -5*v - 4*h = 7. Let u be (-3)/(-4)*32/(-828). Is v greater than u?
True
Let j be 2044/257 - ((-182)/14 - -21). Which is bigger: -0.2 or j?
j
Let a = 15 - 12. Suppose i - a - 11 = 0. Let z be (1 + 2)*40/8. Which is smaller: i or z?
i
Suppose 9*i = 11*i - 5*r + 87, 3*r = 9. Is -36 smaller than i?
False
Let i = 62.8 + -62.6. Let p = 13.07 + -0.07. Which is smaller: i or p?
i
Let g = 533.8 + -529. Is 3 <= g?
True
Let c = -302.2 + 302. Is c at most 55?
True
Let r = -5172/7 - -4226/7. Let p = r - -8374/63. Which is bigger: -3 or p?
p
Let j(x) = x**2 + x + 1. Let p be j(-2). Suppose -p*y + 7*y = 5*n - 121, 0 = -2*y - 3*n - 55. Is -29 equal to y?
True
Let g be (-2)/((-56)/63) + 2/(-8). Let y be (29 - (g - 1)) + 1. Is -1/2 at most as big as y?
True
Let w(q) = -q. Let r be w(2). Let j be r/(-8)*(2 + -1). Let i = 3.6 + -2.6. Is j >= i?
False
Let i = 385.8 - 386. Is i less than or equal to -0.22?
False
Let j be (4/18*-3)/((-2)/24). Suppose -i - 2*h - 4 = 0, 0 = -0*h - 4*h - j. Is 1 less than i?
False
Let o be (15444/13)/11 + -3. Which is bigger: 102 or o?
o
Let y(z) be the third derivative of -z**6/120 - z**5/15 - z**4/4 - 5*z**3/6 + 5*z**2. Let l = 95 - 97. Let b be y(l). Is -2/11 not equal to b?
True
Let p = -20734/7065 - -2/1413. Are -2 and p non-equal?
True
Suppose -1999*g - 132 = -2003*g. Which is greater: g or -3?
g
Let g be ((-2)/(-12))/((-6)/18). Which is greater: g or -6/7?
g
Let p = 0 - 1. Suppose -5*b - 22 = 2*a, 0 = -2*a + 5*b + 7 + 11. Let i(t) = 2*t**3 + 2*t**2 + 2*t + 1. Let k be i(a). Is p greater than or equal to k?
True
Let l = -0.0736 - 0.0264. Which is smaller: 536 or l?
l
Let a(r) = r**3 + 22*r**2 - 26*r - 74. Let z be a(-23). Which is greater: z or -1/20?
-1/20
Suppose -3*b + 21 = -3*z, -5*b + 2*b + 5*z = -31. Let p be -3 - -7 - (3 - b). Let x be (0 - p)/((-180)/(-24)). Which is smaller: -1 or x?
-1
Let r be 4/(-10) - 8/(-5). Let p(u) = u**3 + 33*u**2 + 1. Let g be p(-33). Which is greater: r or g?
r
Let r = -27448/3 - -9058. Which is bigger: -90 or r?
-90
Let f = -2 + 2. Let m be (-66)/165*45/(-24). Which is greater: m or f?
m
Let q(n) = n - 12. Let d be q(12). Suppose d*v - 16 = -4*v - 4*g, 5*g = 15. Suppose -4*h = -j + 16, -3*h = -j + 13 - 1. Is j >= v?
False
Let t be 3/((-6)/(-11))*8. Suppose -s + 0*s = -4*n + 32, 4*n - t = -2*s. Suppose 10 = g + n. Which is greater: -1/12 or g?
g
Let h = 1044 + -1036. Do h and -7 have the same value?
False
Let z = -59 + 67.9. Let c = -15.2 - -6.2. Let d = z + c. Is -2 bigger than d?
False
Let h = -120 - 74. Let i = -1368/7 - h. Suppose 4*g - 2*c + 4 = -6*c, 5*c - 15 = 5*g. Are g and i non-equal?
True
Let z = -53/7350 - 3/490. Let v = 8/25 - z. Which is bigger: -43 or v?
v
Suppose -2*z - 50 - 20 = 0. Let y be (-52)/(-35) + -1 + 10/z. Is y smaller than 0?
False
Let r = 69 - 23. Let w = -29 + 76. Is r <= w?
True
Let b = -0.76 + 1.66. Which is bigger: -12 or b?
b
Let x = 116 + -41. Which is smaller: x or 2/7?
2/7
Suppose 0 = -s + 9*i - 5*i + 66, -3*i = 15. Which is smaller: 49 or s?
s
Let o(v) = -2*v + 5. Let j be o(6). Let i = 85.908 - -0.092. Let p = i - 86.1. Which is smaller: p or j?
j
Let t(i) = -36*i + 1. Let c be t(-1). Let d be 9/12 - 1*c/(-4). Is 10 <= d?
True
Let n = 5185/2 + -11184041/4314. Is -1 at most n?
True
Suppose 2*v - j = -0*j, 5*v = j. Which is bigger: v or 2/165?
2/165
Let o(r) = -11*r - 24. Let d be o(3). Is -56 less than d?
False
Let i = 107.7 + -107. Let f = -0.5 + i. Which is smaller: -22 or f?
-22
Suppose -2*o + i - 41 = 0, 2*i + 3*i - 73 = 4*o. Is -22 < o?
False
Let j = -390 + 395. Let i be 6/(1 + (-1)/(-2)). Is j less than i?
False
Let z = 1182/13 - 91. Let l(y) = y**3 + 4*y**2 - y - 5. Let v be l(-4). Is z > v?
True
Let r be (-1 - -1) + (-2 - -1). Suppose 3*t + 2868 = -3*n, -4*t - 1884 - 1934 = 2*n. Let k = 56229/59 + t. Which is smaller: k or r?
r
Let h = 504 + -492. Suppose -4*b + 3*y + 51 = 0, -2*b - b - 5*y + 2 = 0. Let z = 22 - b. Is z not equal to h?
True
Suppose 2*a - 7*a = -y - 29, 0 = y + 2*a + 1. Suppose 3*b = -2*o + 21, -b + 21 = 3*o - 0*b. Let f be (-1)/(-3) + (-56)/o. Is f at least y?
True
Let n(s) = 12*s**2 - s. Let k be n(-1). Suppose 4*u = 3*u + r + k, -11 = -u - r. Suppose -o = 4*a + 15, 4*o = -0*o - 4*a - u. Which is bigger: o or 2?
2
Let w be (2/354)/(16/(-384)). Is 1 > w?
True
Suppose 0 = -8*k + 9*k + 5*f + 13, 0 = -3*k + f + 9. Suppose -k*z + 5 = 23. Is z > -9?
False
Let k = -26/55 + -96/11. Which is greater: -0.3 or k?
-0.3
Suppose -m = -4*u - 0*u + 3, m = u + 3. Let g(x) = -x + 1. Let q be g(-1). Suppose q = -u*w - 4. Is w bigger than -2?
False
Let b be 220/(-264)*1/5. Is 77 at least as big as b?
True
Let o = -2759/840 - -125/42. Let i = o - -3/8. Let x = -130 + 129. Which is bigger: i or x?
i
Let f be ((-546)/(-84))/((-14)/4). Let w(o) = -2*o + 7. Let l be w(5). Which is greater: f or l?
f
Let l = 3 - 2. Let q(p) = p**2 - 10*p - 21. Let z be q(14). Let g = -41 + z. Is l less than or equal to g?
False
Suppose -4*r + 4*n = -n + 94, 0 = 2*r - 3*n + 48. Let m be r/(-33)*6/7. Let l(u) = u**2 + 12*u - 14. Let s be l(-13). Are m and s non-equal?
True
Let d be (8 + -4)/(-11 - 51). Let i be 1/5*-2*1. Is d smaller than i?
False
Let p = 22 - 6. Let u be 52/6 - p/(-12). Let g be (42/60)/(4/u). Which is smaller: g or -2/7?
-2/7
Let w(n) = -n**2 + 14*n - 9. Let o be w(13). Suppose o*b - 19 = -31. Which is bigger: b or 2?
2
Let l be (-62)/93 - 56/(-111). Which is smaller: 0 or l?
l
Let s be ((-6)/8)/((-29)/(-116)). Which is bigger: -1 or s?
-1
Let a be (191/3)/((-3)/(-9)). Suppose 62 = 11*u - a. Which is greater: 21 or u?
u
Let o = -45555 - -319605/7. Let n = o - 103. Let c(k) = k + 5. Let r be c(-4). Is n less than r?
True
Let u be (-45)/40*(1 - 52/12). Is u bigger than 4?
False
Suppose -5*g = -4*g - 4, 4*g = 5*r + 36. Suppose x + f = -2*x - 2, -5*x + 3*f + 20 = 0. Let t(a) = -3*a. Let h be t(x). Do r and h have different values?
True
Let z(y) = -2*y**2 + 2*y + 7. Suppose 0*b = 3*h - 3*b - 9, -2*h - 3*b + 6 = 0. Let a be z(h). Let j be 1/a - (-123)/15. Which is bigger: j or 7?
j
Let h = -31 - -32.4. Let k = -1.5 + h. Which is smaller: 4 or k?
k
Suppose 0*v = 3*v - 4*s + 4, -4*v - 5*s + 5 = 0. Is 1/5 less than v?
False
Let g be 3*(3 + (-58105)/19365). Which is greater: 1 or g?
1
Let b(m) = m**3 + 10*m**2 + 12*m - 66. Let d be b(-9). Is d at least -90?
False
Let p(y) = 2*y**2 + 55*y + 27. Let s be p(-24). Is -141 > s?
False
Let z(k) = -112 + 2*k**2 - 13*k + 142 - k**2. Let t be z(10). Let y = -43/36 + 5/4. Is y >= t?
True
Suppose 5*z - 15 = 0, 0 = 2*b - 4*z - 30 + 184. Let u = 9221/6 + -4823/3. Let i = b - u. Do i and 1 have the same value?
False
Let d = -45 - -179. Is -2 less than d?
True
Suppose -60 = -6*g + 126. Which is smaller: g or 28?
28
Let u(m) = -30*m + 9. Let d be u(1). Let t be (-1)/3 - (-14)/d - 0. Which is bigger: t or 2/165?
2/165
Suppose 36 = w + 4*w - 2*u, -2*u = 2*w - 6. Let j be ((-95)/(-10))/((-1)/(-4)). Suppose w*i + j = 2. Is -6 at most i?
True
Let c be -1*0/((-4)/(-2)). Let j be 22/(-14) + (3 - c). Let z = -10.9 + 11. Which is greater: z or j?
j
Let n = 79.75 + -89. Let b = 0.25 + n. Which is smaller: b or -1?
b
Let f = -1398 + 1399. Is 1/2259 less than f?
True
Let b(f) = 2*f**2 - 1. Let s be b(2). Suppose -s*k + 3*k = 0. Let h = -29