Let n = -25/18 - -79/54. Let u = 23 + -19. Suppose -u*y + 11 = 5*k, -k + 5*y - 16 = -5*k. Which is greater: n or k?
n
Let f = 804 + -844. Which is smaller: -12 or f?
f
Let x(v) = v**3 - 6*v**2 + 6*v - 3. Let n = 9 + 9. Let j = n + -13. Let p be x(j). Is 3 smaller than p?
False
Let x be (-10 + 1 + -1)*-1. Let a(n) = -n + 1. Let h be a(2). Let p = h - -10. Which is greater: x or p?
x
Let k = -192 + 191. Which is bigger: -13/5 or k?
k
Let i = -1692 - -13537/8. Let j = 4 + -3. Is j bigger than i?
True
Let g(q) be the first derivative of -q**3 + 5*q**2/2 - 6*q + 25. Let n be g(2). Is -6 at least as big as n?
True
Let n(s) = -17*s + 2. Let a be n(-2). Let k be ((-15)/(-4))/((-170)/(-1632)). Are k and a equal?
True
Let d = 44 + -17. Let h = d - 22.8. Let i = -4 + h. Which is greater: i or 0?
i
Suppose 2*o = -5*p - 22, -p + 2*p = -o - 5. Let i(w) = w. Let y be i(p). Let c be 9/6 - 2/y. Is c less than or equal to -2/9?
False
Let v be 56331/(-9812) + -1 + 5. Let b = -2/223 + v. Is 0 greater than or equal to b?
True
Suppose 66 = 2*n + 9*h - 5*h, 0 = n - 2*h - 13. Let y = n + -20. Is y equal to 4?
False
Let y = -1409 - -12671/9. Suppose -1 = 4*f + u - 6, 4*u + 22 = 5*f. Suppose -5*l = -2*o + 7, f*l + 2*l + 3 = -o. Is y != l?
True
Suppose 3*i = -5*n + 20, 0*i - 3*n = -3*i + 12. Suppose 4*t - 78 = 2*z, -4*z + i*t = -36 + 207. Let g be 2/12 + z/42. Which is smaller: g or -12/7?
-12/7
Let c = 0.27 - 0.07. Let n = c - 1.1. Let o = n - 1.1. Do -0.1 and o have the same value?
False
Suppose -2*v - 23212 = -9*v. Let o = v - 162474/49. Which is bigger: o or -1?
o
Let g be (4/(-6))/(8/12). Let t = 20.01 - -2.99. Is g smaller than t?
True
Let b = -11 + 18. Let g = b + -11. Let x be (-731)/516 + 4/(16/3). Which is smaller: x or g?
g
Suppose -4*f + 3*f - 1 = 0, -25 = -h - 2*f. Which is smaller: h or 26?
26
Suppose 3*h = 6*h - q - 254, -345 = -4*h - 5*q. Let v = h + -84. Is 2/95 at most v?
True
Suppose -5*p + 15 = 0, g - 4*p = -2*p - 3. Let z be g/(-2)*12/(-90)*-5. Which is smaller: z or -9/4?
-9/4
Let u(y) = -y**2 + 3*y + 34. Let i be u(14). Let v be 48/i + (-3)/5. Which is greater: 0.03 or v?
0.03
Let k(d) = -d**2 + 17*d - 75. Let j be k(14). Is j less than -34?
False
Suppose 1025 = 5*d + 3*i, 199 + 242 = 2*d - 5*i. Which is greater: 210 or d?
210
Suppose n - 249 = -0*n. Let a = n + -2735/11. Let d(f) = -2*f - 11. Let l be d(-5). Does a = l?
False
Suppose 47*d - 34*d + 13 = 0. Let t(g) = 1 + 2*g**2 - 3*g**2 - 3 + 9*g. Let q be t(9). Which is greater: d or q?
d
Let z = -1 - -1.03. Let a = 0.06 + z. Let k = a - -0.04. Is k equal to -0.1?
False
Suppose 0 = -5*d + 18 - 3. Let r = 6 - d. Let b be (r/1)/(-1) - 0. Which is smaller: -6 or b?
-6
Let q(v) = v + 4. Suppose -3*x + 2*x + 5*m + 20 = 0, 0 = 4*m + 20. Let f be q(x). Let p be 2/(1 - -1) - 2. Are f and p nonequal?
False
Suppose -35 = -2*n + 3*g, -g - 43 = -5*n + 12. Let p = 5 - n. Let s(q) = -q**3 - 5*q**2 - 2*q - 6. Let z be s(p). Which is greater: z or 3?
z
Suppose -n = 6*n - 273. Let j = n - 39. Which is smaller: -2/41 or j?
-2/41
Let v be ((-3)/3)/((-418)/(-88)). Which is greater: v or 2?
2
Let q = 4 - 1. Suppose -2*g + 2 = 3*m, -2*m = -5*g - 5 + 10. Let b be 0/(q - (4 + m)). Is 2/9 != b?
True
Let y be 80/(-32)*-2*1. Let a be (2/y)/(16/40). Which is smaller: 12/5 or a?
a
Let o be 6792/1530 - 12/3. Let j = 2/51 - o. Which is smaller: j or -4?
-4
Let j = 12.88 - -0.12. Let r = j + -13. Which is smaller: -1 or r?
-1
Suppose -296 + 292 = -4*q. Let o be 3/6 - (-1438)/(-10). Let i = o - -143. Is i <= q?
True
Suppose 3*b - 2*p + 22 = 5*b, -2*p = 3*b - 35. Suppose 12*q + 11 + b = 0. Is -2 at least q?
True
Let r = 55 + 147. Let g = r + -202. Let z be (-3)/1*(-4)/(-30). Which is greater: g or z?
g
Let g = -697 + 705. Suppose -4*u - p = -19, -5*p - 2 = -4*u - 1. Are u and g equal?
False
Let f(v) = -v**3 - 3*v**2 + 4*v + 3. Let m be f(-4). Let g be (4 - m)*1/1. Let x be (-14)/(-91) + (-6)/39. Which is greater: g or x?
g
Let i = 974 - 931. Which is smaller: 42 or i?
42
Let x be 14 + (-4 + 3)*3. Let f = 5 + x. Is 17 >= f?
True
Suppose 0 = 2*t - 3*k - 18 + 3, 5*k = -5*t + 25. Let v(n) = -n**2 + 7*n - 20. Let d be v(t). Is d != -2/5?
True
Let d(x) be the second derivative of -x**5/20 + 3*x**4/4 - 4*x**3/3 + x**2 + 6*x. Let t be d(8). Suppose 0 = z, -20 = 4*v - t*z + 4*z. Is v less than -6?
False
Let r be (2 - (-308)/36) + 2 + -1. Which is greater: 12 or r?
12
Suppose 0 = 2*p - 5*p + 36. Let c be 3/p + 0 - 6/(-8). Which is greater: c or 3?
3
Suppose 2*g = -3*g + 2*m + 22, 4*g + 3*m = 13. Suppose 9 - 41 = -g*c - 2*u, -5*c + u = -33. Suppose 181 = -95*z + 728 + 213. Are c and z equal?
False
Let i be (-8 - 102) + (11 - 10). Is i at least -6?
False
Let y = 306 - 280. Let s(o) = -5*o - 9. Let j be s(-6). Let l = y - j. Is 7 < l?
False
Suppose 0 = -3*y + 2*l - 8, l = -20*y + 24*y + 9. Let g(j) = 3*j + 5. Let u be g(-4). Let h(o) = -o - 10. Let d be h(u). Is y greater than or equal to d?
True
Let r be 1 + 2/((-6)/3). Suppose -5*l + 3 - 18 = r. Suppose -4*u = -9*u. Is u greater than or equal to l?
True
Suppose 5*t - 12 = 38. Let s(m) = m**3 - 2*m**2 - 17*m + 4. Let n be s(5). Let p = n + 15. Which is greater: t or p?
t
Suppose 0 = -4*a + 4*y + 296, 2*a + 2*a = y + 287. Let k = -66 + a. Which is bigger: k or -8?
k
Let w = 4.6 + -4.5. Let a = -99 - -99.16. Is w greater than or equal to a?
False
Let d = -298 + 298.1. Which is smaller: -336 or d?
-336
Let s be 8/(-6) + (-6)/9. Let l be ((-2 + 0)/s)/1. Let o = -3 - l. Is o greater than -1?
False
Let p = -5835257747664367/1005 + 5806229340061. Let n = p + -2725470. Let g = n + 2/201. Which is greater: g or 1?
1
Suppose -4*y + 3*y = 4*c - 12, 5*y + 2*c = -12. Let l(i) = -i**3 - 10*i**2 - 6*i - 2. Let b be l(-8). Let s be b/36 + (-20)/90. Is y at most s?
True
Let o(q) = 2*q**3 - q**2 + 3*q - 1. Let b be o(0). Which is greater: b or -1/39?
-1/39
Let k = 4 + -3.8. Let c = k - 0.3. Suppose 8*a + 42 = -86. Is a greater than or equal to c?
False
Let f be (-1)/(-1) + (-74)/(-4). Let l = f - 20. Which is smaller: -0.2 or l?
l
Let g be 14 + -21 - (-46)/6. Which is smaller: g or -274/3?
-274/3
Suppose 0 = -h + 3. Suppose -6*r + 11*r - 19 = 2*y, h*r = 2*y + 9. Suppose -y*l = l - 20. Which is smaller: l or 4?
4
Suppose 2*d - 34 = -m, -4*d + 56 + 12 = 3*m. Let i = -17 + d. Does i = -1/6?
False
Suppose 12*k = 15*k + 3. Let d(t) = t**2 - 7*t + 7. Suppose -c = 2*c - 15. Let j be d(c). Is k greater than j?
True
Let f(d) = -2*d + 13. Let o(a) = -a**3 - 9*a**2 + 9*a + 4. Let p be o(-10). Let v be f(p). Suppose 4*s = 3*s - 14. Which is smaller: s or v?
v
Suppose -m + 4*g - 14 = -0*g, -4*m + 3*g - 4 = 0. Let o(l) = -7*l - 2. Let h be o(m). Which is smaller: 0.1 or h?
h
Suppose 11*t - 20 = 6*t. Suppose 4*v - 4 = -t. Do -7/10 and v have the same value?
False
Let y(j) = -4*j**2 + 13 + 4*j**2 - 1 + 2*j**2 - 14*j. Let i be y(6). Let u be 14/10 + -1*1. Which is smaller: u or i?
i
Let t(o) = -5*o**2 - 77*o + 23. Let g be t(-16). Which is bigger: -20 or g?
-20
Suppose y + 2*d - 21 = 6*d, -4*y - 6 = 2*d. Let s be (y - (-574)/12)*-3. Let q = -142 - s. Which is bigger: 6 or q?
6
Let x(o) = o**2 + 9*o + 19. Let r be x(-4). Let g be (3 - 1) + (-159)/(-286). Let b = g + -35/13. Which is smaller: b or r?
r
Let k = -1.5 + -9.5. Let f = k + 12. Is 12 at least f?
True
Let x = 947 + -947.09. Are 2.9 and x equal?
False
Let m = 8.06 + -7.96. Let l(j) = -j - 1. Let w be l(-5). Let h be 10/24 + w/(-6). Which is greater: h or m?
m
Let g(b) = b**2 - 2*b + 4. Let r be g(2). Is -13 equal to r?
False
Suppose 2*j - 18 = 4*j. Let t be (-162)/(-42) - j/(-3). Let i be 4 + -1 + (-2)/2. Which is smaller: t or i?
t
Let g = -4.2 - -4.39. Let q = g - -0.01. Which is greater: -0.1 or q?
q
Suppose -62*s + 81*s = 4560. Which is smaller: 241 or s?
s
Suppose 3*r - 8 = -p + r, -4*p + 39 = r. Suppose 0 = 4*u + p - 42. Is 9 greater than u?
True
Let j(b) = -b**2 + 3*b + 4. Let o be j(4). Suppose -2*i + 8 = 0, 3*a + o*i + 20 = -i. Let s be 6/(-4) + (-20)/a. Which is greater: s or 2/9?
s
Let r = -6.9 - 0.1. Let g = 91 - 25. Let t = -65.9 + g. Is r at least t?
False
Let c(r) = 618*r + 3091. Let o be c(-5). Let f be 1/2*4/(-214). Which is bigger: o or f?
o
Let g(k) = k**2 + 7*k + 4. Let m be g(-3). Do 5 and m have the same value?
False
Let o = -90 + 93. Is 7/6 