(g) - 5*p(g). Let u be s(-1). Let m be (-9)/(-7) + 42/u. Which is greater: m or 2?
2
Let z be 0/(-4) + 8/2. Let l(c) = c**3 - 2*c**2 - 8*c - 3. Let v be l(4). Let t(p) = -p**2 - 5*p - 5. Let u be t(v). Are u and z equal?
False
Let c(r) = -2*r**2 - r - 250. Let v be c(0). Which is greater: v or -249?
-249
Let n(c) = 17*c**2 + 6*c + 4. Let t be n(-2). Let v be (t/(-18) - -1)/(2/(-24)). Let s be 28 - (-2 + (-6)/(-2)). Do v and s have the same value?
False
Let b = -12 - -34. Let p be 4/b + (-252)/539. Which is smaller: -1 or p?
-1
Let t(k) = -k - 8. Let o be t(-13). Suppose r + 21 = 5*u + 5, 3*r = o*u - 18. Suppose -2 = 2*p + 2*h, -2*p - 4 = 4*h - 0. Which is greater: p or r?
p
Let z = 155 + -154.93. Let x = -2 + 1.94. Let t = -0.06 - x. Which is smaller: t or z?
t
Let g be (-9)/(-15) - (2 - 1). Let k = -323 - -228. Let y = k + 96. Which is smaller: y or g?
g
Let x = -328 + 319. Let q = 3577/4 + -902. Which is smaller: q or x?
x
Let x be 540/66 - (-96)/(-12). Let w = -341/1169 + 1/167. Is x equal to w?
False
Let a(m) be the second derivative of -m**3/6 + 8*m**2 + m. Let z be a(15). Is z equal to -1/26?
False
Let f = 0.83 + 1.43. Let g = f + -0.26. Let z = 0.1 - 0.2. Is g <= z?
False
Let n be (14 + -12)*(-1 - 5). Let p = n + 17. Let a be 16/(-20) - (-2)/p. Which is greater: a or 1?
1
Suppose 7*b = -210 + 203. Which is smaller: -24/131 or b?
b
Let l = -0.457 - 0.243. Which is smaller: 0 or l?
l
Let y(o) = -2*o - 7. Suppose -2*i + 12 = 2*c - c, -4*c = -5*i + 17. Suppose 0 = 5*s - c*s + 9. Let u be y(s). Is 0 at least u?
True
Suppose -5*o = -3*b - 2*o + 33, 4*b + 3*o - 9 = 0. Suppose -5*f + 3 + 3 = r, 0 = -3*f - 3*r + b. Is f less than or equal to -3/56?
False
Suppose 3*b = -4*y + 11, 3*y = -5*b - y + 21. Are b and 24 equal?
False
Suppose 323*o - 342*o = 19. Is -3/736 at most as big as o?
False
Let n = -6 + 7. Let y be (-5)/((-15)/12) - n. Suppose y*k = 7*k - 4. Which is smaller: 2 or k?
k
Let z = -2.8 - -3. Let m = -3339 + 3339.5. Are m and z unequal?
True
Suppose 2*h = 29 - 107. Let z be (-2607)/h + (-12)/(-78). Suppose -21 = -2*x - u, -2*u + 5*u = 4*x - z. Is -0.1 at least as big as x?
False
Suppose a = -2*p + 2, 5*p - 3*a - 24 = -8. Let v = -2021 + 2034. Are v and p equal?
False
Let s(r) = r**2 + 3*r - 18. Let q be s(-5). Let z = q + 33. Which is smaller: z or 24?
24
Suppose -29*z = -24*z - 15. Suppose -g = c + 5, -z*c + 14 = -5*c - 3*g. Let l = 24982/13 - 1924. Which is greater: c or l?
c
Let n(q) = -q + 23. Let t be n(18). Suppose -3*d + 14 = 4*h, 3*d = -t*h - d + 18. Is h greater than -1/2?
True
Suppose 7*m = 4*m - 27. Suppose 0 = 5*k - q + 146 - 103, -4*k = q + 29. Which is greater: m or k?
k
Suppose -5*q + 18 = 2*g, 5*q + 4*g = 3*q + 20. Let x be (3/q)/((-6)/(-20)). Suppose 4*i + 21 = -a, 4 = x*a + i + 14. Is a at least 1/5?
False
Let b(i) = -i**2 + 2*i + 3. Let o be b(0). Let t be (-1)/((-165)/54 + o). Let d = 19 - t. Which is smaller: 1/9 or d?
1/9
Let f(o) = -o**2 - 16*o - 10. Let a be f(-12). Suppose -31*i + 860 = -318. Is i <= a?
True
Let r be 0 - 0 - (228 + (29 - 12)). Does -246 = r?
False
Let a = 3 + 0. Suppose -2*j = -a*j. Let q = 0.13 - 11.13. Which is greater: j or q?
j
Let v(m) = m**2 - 6*m + 2. Suppose -5*r + 1 = 4*w - 9, 5*r - 50 = 4*w. Let b be v(r). Let g(i) = -i**2 + 6*i + 1. Let n be g(6). Is b <= n?
False
Let j(t) = -t**2 - t + 2. Let a be j(-3). Let z be (0 - a)/(16/8). Suppose 3*i + 12 = w, -z = 4*w - i - 6. Is w at least as big as -2/31?
True
Suppose 5 = 3*n - 25. Suppose j = 2*p - 5, -2*p + 6*j - 2*j - n = 0. Which is smaller: 6 or p?
p
Let b be (-24)/3132*6/(-26). Is b at most as big as 1?
True
Let n be 32/221*4 - (-80)/(-680). Is n greater than 4/7?
False
Suppose -5*t = -4*s + 472 + 434, -s = -5*t - 219. Which is greater: 228 or s?
s
Let s = 301713402/3475 - 86824. Which is smaller: s or 0?
0
Let j be -15*(1 + 1701/(-1695)). Let x = -275/3051 + j. Let r = x - 41/351. Which is greater: r or 1?
1
Let p = 45 - 33. Let t be (-3 + 82/42)/((-4)/p). Is t > 2?
True
Suppose 195 - 105 = -10*j. Which is smaller: j or -17?
-17
Let c be 45/627*4 - 6/33. Which is greater: 0 or c?
c
Suppose -4*g + 8 + 140 = 4*j, 5*j - 2*g - 199 = 0. Suppose -24 = -43*h + j*h. Which is bigger: 29/4 or h?
29/4
Let c(p) = -p**2 + 13*p + 32. Suppose 2*k - 73 = -43. Let f be c(k). Let n be 192/99 - (-4)/(-6). Which is smaller: f or n?
n
Suppose 0 = -3*w + 5*x + 7, -w + 3*w + 4*x = 12. Suppose -w*q + 5*q + a = 285, -1140 = -4*q - a. Let z be (-2)/(-15) + 589/q. Is 3 at least z?
True
Let h be (15/(-30))/(5 - (-18)/(-4)). Is -2/2019 at most h?
False
Let y(g) = 4*g - 8 + 8 + 4 - 8*g. Let a be y(4). Let c = 27/2 + a. Which is smaller: c or 1?
1
Let v = 18.2 + -106.2. Let l = v + 81. Let o = -1 + 2. Is o greater than l?
True
Let r be (-1 - -2)/(2 - 1). Let x be ((-16076)/22)/2*1. Let k = x - -365. Which is smaller: k or r?
k
Let b(m) = -m**2 + 4*m - 4. Let p be b(2). Suppose 0 = -2*y, p = 3*x + x - y + 28. Are x and -25/4 unequal?
True
Let z = 873 - 890. Suppose -48 = 5*c + 27. Is c at least z?
True
Let i be (6 - 116/16)/((-1)/(-6)). Is -9 <= i?
True
Suppose -4*y = -w - 43, 4*w + 52 = -2*y + 6*y. Let b = -6 + y. Let u(p) = -p + 1. Let d be u(b). Is -3/2 < d?
False
Let j = 2.6 + -2.03. Let t = 0.64 - j. Which is smaller: t or 1?
t
Let s be (21/1)/(2/2). Suppose -2*p + r + 1 = 0, 2*p + 2*r - s = -r. Suppose -2*o - 55 = -6*o + p*z, -z = 3*o - 25. Is 10 bigger than o?
False
Let h = 10 + -10. Suppose 0 = -3*r + y + 17 + 30, h = r + 2*y - 18. Which is greater: r or 15?
r
Suppose -4*q - q = 0. Let j be ((-7 + 5)/1)/(-3) + 0. Is j at most q?
False
Let k = 87 - 86. Are 3/29 and k non-equal?
True
Let d = 2/317 - 325/1268. Suppose -4*h + 4*z + 23 + 1 = 0, -6 = 5*h + 4*z. Suppose -2*c - 9 = 2*c + o, -2*o - 8 = -h*c. Which is bigger: c or d?
d
Let j = 587/4 + -148. Let a(b) = -10*b - 3*b + 17*b - 3*b + 10. Let x be a(-10). Is x at least as big as j?
True
Suppose -5 = -5*g - 5*p, 7*g = 3*g + p - 16. Do g and 22 have different values?
True
Let u = 187 - 1320/7. Suppose 0*a - 4*p = -3*a - 7, 2 = 2*a + 4*p. Do a and u have different values?
True
Let x be (6 - 7)*(3 - 2). Suppose -8*u = -4*u. Is u bigger than x?
True
Let n(b) be the first derivative of b**2/2 + 23*b - 15. Let d be n(-11). Is d > 12?
False
Let z = -3289/2 - -1662. Which is smaller: -6 or z?
-6
Let u = -164 + 25. Let m = 134 + u. Is -5 less than m?
False
Suppose -3*c + 12*b + 12 = 0, -b = -2*c + 116 - 66. Suppose 6*w = 4*w + 2. Which is bigger: c or w?
c
Suppose -5*h + 4*h + 1462 = 0. Let j = -21946/15 + h. Is j greater than -1?
False
Let x = -538 - -583. Let b(k) = k**2 + 3*k + 2. Let q be b(-2). Is q < x?
True
Let o = -3 + 6. Let y(r) = 4*r**3 + 254*r**2 + 126*r + 9. Let v be y(-63). Which is smaller: o or v?
o
Let v = -56 + 55. Let k be (6/4)/(v/(12/(-42))). Which is smaller: 1 or k?
k
Let z = 206.734 + -207. Which is bigger: -4 or z?
z
Let k be -9*(8/(-6) - 2). Let y be (-35)/(-1) - ((-3)/27 + 230/45). Does y = k?
True
Suppose 95*x + 7811 = 41631. Is 0.3 at least as big as x?
False
Let t = -4/689 + -10291/7579. Is -1 at least t?
True
Suppose 0*y + 2*y + 55 = -5*g, 0 = y. Which is greater: g or -6?
-6
Let j = -19 + 20. Let y be 1*((-124 - j) + -2). Let o = -891/7 - y. Which is smaller: o or 2?
o
Let g = -13/3 + 14/3. Let r = 1087 - 1087. Which is smaller: g or r?
r
Let j = 41 - 25. Let t = -3.73 - 12.17. Let s = t + j. Which is smaller: s or -0.4?
-0.4
Let b(u) = 4*u + 25. Let v(x) = 3*x + 26. Let j(i) = -5*b(i) + 4*v(i). Let c be j(-6). Let g = c + -29. Does g = -5?
False
Let y(x) = 5*x - 29. Let k = -25 - -31. Let t be y(k). Is -1/25 greater than t?
False
Let s(h) = -33*h**2 + h - 1. Let g be -2*(-1 - 3/(-6)). Let a be s(g). Do a and -34 have different values?
True
Suppose -3 = 4*s - 15. Suppose -t - 31 + 4 = -2*g, -3*g - s*t = -45. Is g <= 14?
True
Let m = 8 + -8. Suppose -4*r - 4*y = 20, 5*r = -m*y + y - 25. Let b = 7 - 11. Which is bigger: r or b?
b
Let c = -0.527 - -0.357. Does c = -4/11?
False
Let g be 3136/(-1036) + (2 - -1). Are g and 0 equal?
False
Suppose 16 = p - 2*p + g, -2*p = 4*g + 32. Let i = p + -36. Are i and -52 unequal?
False
Let r be 46/15*10/8. Let o be (2260/140 - 17)/(2/((-28)/3)). Which is greater: r or o?
o
Let a be (-12)/(-4) + (-9)/(-3). Let w be (20/(-12) - 1)*a. Let z be (-2 +