t l be k(4). Let n(y) be the first derivative of -3*y**4/4 + y**3/3 + 3*y**2/2 - y - 1. Let x be n(2). Which is smaller: l or x?
x
Suppose 28*u + 6 = 22*u. Let z be (-4)/(-10) + 24/(-85). Which is greater: u or z?
z
Let f(w) = -5*w**2 + 4*w - 3. Let v be f(2). Let q = -4 - v. Suppose -5*k - 4*s = -q, -12 = -3*k + 6*s - 3*s. Is 0 greater than k?
False
Let p(k) = 5*k + 8. Let y(c) = -9*c - 15. Let u(o) = 7*p(o) + 4*y(o). Let n(x) = -1. Let t(i) = 6*n(i) + u(i). Let d be t(-10). Is d != -4/17?
True
Let j(t) = -t**3 + 8*t**2 - 7*t + 2. Let d be j(7). Suppose 3*k + 15 = 3*c, 0 = 7*c - 2*c + d*k + 3. Let w = 1 - 1. Are c and w equal?
False
Suppose -4*p - p = 4*j - 26, 3*j - 22 = -5*p. Suppose 2*c = -5*g + 22, j*g + 2*c + 8 = 26. Suppose 2 = 5*k - 4*s + 10, -3*k - 8 = -g*s. Is 3/14 <= k?
False
Let m = 2.951 + 0.049. Which is bigger: -65 or m?
m
Let s = 0.2 - 7.2. Let u = s - -8. Let n be ((-3)/7)/(9/(-6)). Which is bigger: u or n?
u
Suppose 4*d + 2 = -10. Let l be 1*-22 - (d + 7). Let p = l + 28. Are 2/3 and p unequal?
True
Let u(z) = z. Let x be u(1). Let w be ((-32)/(-12) - 1)/(1/(-78)). Let v = w - -1299/10. Is v bigger than x?
False
Let m = -1643/3 - -548. Let b = 2.32 - 0.27. Let s = -0.05 + b. Is s less than or equal to m?
False
Let j = -18 + 20. Suppose l - j*l - 2 = 0. Which is smaller: -17/7 or l?
-17/7
Suppose 0 = 3*s - 3*t + 24, -s - 5*t = -2*t + 8. Which is bigger: s or 0.1?
0.1
Let p = 86.2 + -86. Are 0.26 and p nonequal?
True
Suppose 3*h = 2 + 4. Let o be -3 - h/4*(-3 + -1). Which is smaller: -3/10 or o?
o
Let l be (2/(-1))/(4 - 2). Let k be (-1)/6 - (-1628)/(-24). Let y = k + 339/5. Is y at most as big as l?
False
Let r(v) = -2*v**2 + 2. Let m = -6 + 2. Let i be r(m). Let h be 260/i*(-6)/8. Which is smaller: 8 or h?
h
Let q be (-15)/5 + -1 - 3934/(-983). Is -1 less than q?
True
Let f be 18/(-4)*(-44)/4092. Is f at most as big as -1?
False
Suppose -2*i - 4 - 2 = 0. Let z(n) = n**3 - 7*n**2 + 2*n - 8. Let k be z(7). Let m be 182/(-42) - (-2)/k. Which is greater: m or i?
i
Let i = -2/499 + -992/1497. Which is bigger: i or 15?
15
Let t = -0.1 + 2.7. Let c = -10 + 12.7. Let o = t - c. Which is smaller: o or -0.19?
-0.19
Suppose -3*b = -4*u + 4 + 2, 5*b - 5*u = -15. Let m(s) = -s**2 - 2*s + 3. Let q be m(3). Let f = -17 - q. Which is bigger: b or f?
f
Let z be (5/(-35)*-2)/(4/(-7)). Is 0.4 equal to z?
False
Let z = -385.8 - -386. Which is bigger: z or 1.41?
1.41
Suppose -10 = -5*y, 2*r + 4*y - 5 = 27. Let m be (-1)/(-4) - (-310)/(-24). Let x = r + m. Is -1 > x?
False
Let s = -249 - -166. Which is greater: s or -84?
s
Suppose 0 = -387*u + 384*u + 3. Is u greater than or equal to 9/32?
True
Let x be 60/9 - (20/6)/5. Suppose 2*d = -0*d - x. Suppose 7*p + 5 = 2*p. Which is bigger: p or d?
p
Let m(v) = 2*v - 1. Let h be m(2). Let r be -2 + -14*h/(-2). Let t = -147 + 167. Which is smaller: r or t?
r
Let l = 2 + -2. Let a = 26 + -17. Let i = 8 - a. Which is smaller: i or l?
i
Let i be ((-6099)/(-1746) - 3) + 6/(-12). Is 1 greater than i?
True
Suppose 4*g = -349 - 59. Let u = -32 - g. Let t be (-56)/u - 46/5. Is -10 at most t?
True
Let v(d) = -d**2 - 14*d - 38. Let i be v(-4). Does i = 2?
True
Suppose 0 = 5*v - 22 - 18. Let t(r) = r - 7. Let g be t(v). Which is greater: -1/69 or g?
g
Let b = -33/7 + 197/21. Let y(r) = -18*r - 337. Let p be y(-19). Is b > p?
False
Let k be (28/30)/((-2)/10). Suppose -3*i = 10*l - 7*l + 15, 2*i = -4*l - 18. Which is smaller: l or k?
k
Suppose -w + 17 = 3*x - 2*w, 0 = -5*x - 4*w. Let t be 2 - 0 - (11 - 0/x). Do -9 and t have the same value?
True
Suppose 6*j = 2*j - 3*w + 6, 5*w = 10. Suppose 2*n = -2*x + 8, 5*x + 8 = 2*n - j*n. Suppose x = 5*l - 1 - 4. Are 2/9 and l non-equal?
True
Suppose g = -4*f + 53 + 41, 0 = 4*g + 3*f - 337. Let r = 407/5 - g. Is r greater than 1/5?
False
Let b = -1092087/644 + 6783/4. Do 1 and b have different values?
True
Let n be (-1674)/465 + -2 + (8 - 2). Is n at least as big as 2.1?
False
Let m = 257 - 1793/7. Let c be 1/(((-2)/3)/(-2)). Suppose -d + 4*b - 7 = 0, c*d - b = -0 + 1. Is d >= m?
True
Let q = 2439.966 + -2440. Is q less than 0.05?
True
Let r(h) = -2*h**2 + 2*h - 5. Let k(x) = x. Let t(f) = k(f) - r(f). Let g be t(0). Which is bigger: 4 or g?
g
Let d = -0.06 - -0.04. Suppose 17 = -5*j + 3*i, -42 = -13*j - i - 51. Which is bigger: j or d?
d
Let i be ((-3)/(-2) + -1)*-12. Let n be (0 - 1)*(i + -72). Do 78 and n have the same value?
True
Let g = -812.04 + 812. Is -0.004 at least g?
True
Suppose 79*v - 144 = 87*v. Which is bigger: -147/8 or v?
v
Let o = 543 - 534.91. Let t = 0.09 - o. Let p = t - -4. Which is greater: 0 or p?
0
Let y = 110 - 439/4. Let f = 11 + -22. Let b = 21 + f. Is y smaller than b?
True
Let n be -1 - (1 - 1) - 47. Suppose 1008 = 9*g - 0*g. Let y be 18/n - 38/g. Is y greater than or equal to -1?
True
Let g = -97298/53 - -1836. Which is bigger: g or 0?
g
Let v(u) = -u**3 - 8*u**2 - 7*u. Let j be v(-6). Let q = -29 - j. Let k = 2 - 3. Which is greater: k or q?
q
Suppose 14*n = 1798 + 2248. Let x = -2015/7 + n. Is x not equal to 1?
True
Let l(f) = -f**3 + 13*f**2 + 14*f - 5. Let p be l(14). Let s be (50/p)/5*(-1)/(-2). Is s greater than or equal to -11?
True
Let z(c) = -3*c. Let b be z(1). Let v = 2 + b. Let o = 4/103 - 464/1339. Which is smaller: v or o?
v
Suppose -3*a - 5*u - 2 = 0, 5*a + 3*u = -0*a + 2. Is -15/44 > a?
False
Let g(o) = -o**2 - o - 7. Let c be g(0). Let z be (1 - 5)/(0 + -1). Let i = z + c. Is -4 greater than i?
False
Suppose 4*b = 17 + 7. Suppose -k - 6 = 2*k. Let s be (0 + b)/k + 9. Which is bigger: 5 or s?
s
Let a = -363/8 - -185/4. Which is smaller: 0 or a?
0
Let h(w) = 30*w + 24. Let s be h(-13). Which is bigger: -367 or s?
s
Suppose 5 = 4*u - w, u - 5*w = 2*u + 25. Let q be (-1)/(-4 + 5)*u. Are 4/17 and q equal?
False
Suppose 0 = -4*y + 2*z, 5*y - z - 2*z + 1 = 0. Let w = -21/11 - -326/165. Which is smaller: y or w?
w
Let a = -4 + 35.8. Is a bigger than 0.1?
True
Suppose -h + 5*h = 284. Suppose h = -4*z + 67. Let n = -926/9 - -103. Which is smaller: z or n?
z
Let h(w) = w**2 - 11*w + 35. Let g be h(5). Is 34 > g?
True
Let j = -17/49 - -649/882. Let q = 131/36 - j. Which is bigger: 3 or q?
q
Suppose q - 5 = 1. Let c be q/(-4) - 4/(-8). Let s = -3.072 + 0.072. Is c < s?
False
Let u be (1/(-2))/((5/(-1))/40). Let r be (5 - u)/((-1)/(-27)). Which is greater: 28 or r?
28
Let y be 0 + 4 - (-30 + 2). Suppose -8 = 5*d - d, 2*h - 4*d + y = 0. Which is smaller: -19 or h?
h
Suppose -3*s - d = 439, 0*s + 3*s + 419 = -5*d. Is -146 greater than s?
True
Let y = 375 + -567. Is y at least -192?
True
Let k = 143 - 146. Suppose -3*w - 2*w - 65 = 0. Which is smaller: k or w?
w
Suppose 3*g + a - 15 = 0, -a = -5*g - 3*a + 26. Suppose 4*f - y + 2 = -g, 0 = -4*y - 8. Is -2 smaller than f?
False
Suppose 2*j = -14*j. Let s = 1 + -0.5. Which is bigger: s or j?
s
Suppose -4*n = -3*n + 6. Let m be (n/(-10))/(3/30). Let r(w) = -w**2 + 3*w + 1. Let t be r(m). Is -17 != t?
False
Suppose 2*i - 671 = j, -j - 10 = j. Which is smaller: i or 0.1?
0.1
Let b = 25/112 - -1/16. Is -45 at most as big as b?
True
Let z = -18 + 12. Let u = z + 3. Is 9 smaller than u?
False
Let p be (2/(-1))/((-3)/3). Suppose -y - 3*y = 5*d - 17, p*y = -4*d + 10. Which is greater: 9/5 or y?
y
Suppose -k - 4*x = x + 5, -x = k + 9. Let d = 308 + -182. Let f = -135 + d. Are f and k nonequal?
True
Let d be 1/5 + 12/(-45)*3. Let v = 5 + -3.4. Are v and d non-equal?
True
Suppose -3*w + r = 3 - 14, 2*w + 2*r = -6. Are 7/6 and w unequal?
True
Let h(o) = -4*o**3 + 4*o**2 + 9*o - 6. Let p be h(4). Let q = -828/5 - p. Is -5 > q?
False
Let a = -5 - -2. Let x be 612/48 - (-1)/(4/a). Are x and 11 equal?
False
Let p(r) = r**3 - 34*r**2 + 26*r + 94. Let f be p(33). Is f greater than or equal to -137?
True
Suppose -3*p - 6*p = -4*p. Let q be 1*(-6)/24*p. Let f be (-2)/(-6)*(-9)/(-14). Are q and f equal?
False
Suppose 4 + 20 = 4*o. Suppose 14*t + o*t = -20. Let v = 701/9 - 78. Which is bigger: v or t?
v
Let o = 5.3 + -12.3. Let c = o - -7. Which is smaller: 3 or c?
c
Let u(d) = -d**3 - d**2 + 14*d - 14. Let p be u(-6). Is 83 smaller than p?
False
Suppose 0*u - 94 = -2*u. Suppose 11 = 2*h - u. Suppose 83*d = 56*d + 810. Which is smaller: d or h?
h
Let d = -30 + 44. Let u = 13.8 - d. Let h be 3*2*2/(-30). Which is bigger