ivative of z**4/12 + 5*z**3/6 + 7*z**2/2 - 15*z. Suppose 7*v = 4*v - 15. Let p be k(v). Do p and 7 have the same value?
True
Let z = -48 + 241/5. Let d(o) = -o**3 + 5*o**2 - 5*o + 2. Let c be d(3). Suppose 5*l + 2*j = 3, -c*j - 7 = -3*l + l. Which is greater: z or l?
l
Let c be (-3 - (-7)/3)*(-9)/(-24). Which is smaller: 316 or c?
c
Let s be (9454/(-10))/((-1)/(-10)*8). Let h = s - -1168. Is h bigger than -15?
True
Let h = -6 - 0. Let v be (-6)/(-5) - 12/9. Which is bigger: h or v?
v
Suppose 8 = -2*p, -p - 21 = l + 4*p. Let k = -1035 - -1031. Are k and l non-equal?
True
Let x = -575 - -603.45. Let z = -0.45 + x. Let h = z - 27. Which is greater: -0.28 or h?
h
Suppose -7*l + 0*l - 455 = 0. Let y be -6*(2 - (-125)/l). Is y > 2?
False
Let p(m) = -105*m - 279. Let v be p(-4). Does v = 141?
True
Let n(a) = 3*a**3 + 13*a**2 + 23*a + 16. Let f(c) = 16*c**3 + 66*c**2 + 116*c + 80. Let s(h) = 2*f(h) - 11*n(h). Let z be s(-8). Which is smaller: -39 or z?
z
Let b be 5*(-7)/35 - 4. Is -68/11 greater than or equal to b?
False
Suppose 8*d = 6*d - 6. Let j = 55 - 54.96. Which is bigger: j or d?
j
Let i = -157.7 + 1099.7. Which is greater: i or -2/5?
i
Let h = 26.3 - -0.7. Let c = h - 27.1. Is c less than or equal to 0.6?
True
Let h(x) = -3*x**3 - 7*x**2 + 8*x - 2. Let f be h(4). Are -1 and f nonequal?
True
Let g = -357 - -352. Let x = 2 - 3. Let b = x + -1. Which is smaller: g or b?
g
Let i = -42 - -42. Let r be (i - 3)*(-4)/40. Let z(o) = -o**2 - 8*o - 8. Let b be z(-7). Is b less than r?
True
Let m = -117 + 112.3. Let t = 2.7 + m. Which is smaller: t or -6?
-6
Suppose -4 = 2*v - 4*v. Suppose 5*p = 67 - v. Let q = p + -14. Do -1 and q have the same value?
True
Let x be -27*3/((-27)/3). Let i be (-7)/2 + x/6. Let o be 4/(-8) + i/(-4). Which is smaller: -2/17 or o?
-2/17
Let k = -0.4 - -0.2. Let p = -62.61 - -67.652. Let j = -0.042 + p. Which is smaller: k or j?
k
Let m = -0.0669 - -129.0669. Which is smaller: 1/7 or m?
1/7
Let o = -0.858 - 0.002. Let n = 0.86 + o. Is n < -19?
False
Suppose 10*l = -l + 4*l. Which is smaller: -3/326 or l?
-3/326
Suppose -5*h = -2*d + 38, -11*h = -3*d - 6*h + 52. Which is greater: 122/9 or d?
d
Let p = 670 - 671. Let b = 2596/3 + -438715/507. Let r = b + 311/1521. Which is bigger: r or p?
r
Suppose 2016 + 1434 = -23*n. Do n and -151 have the same value?
False
Let a = -29644/265 + 1195983/12985. Let i = -99/5 - a. Are i and 0 non-equal?
True
Suppose -73*u = -51*u + 792. Do u and -34 have different values?
True
Suppose -3*q - 28 = q - 2*i, q + i + 10 = 0. Suppose 0 = -s + 3 + 1. Let b be (s*1)/(10 + q). Which is greater: b or 4?
4
Let a(o) = o + 1. Let t(i) = -4*i - 5. Let v(r) = -6*a(r) - t(r). Let w be v(-2). Suppose -w*j - 23 = -2. Which is bigger: j or -8?
j
Let g be 6 - ((-9)/(-15) - 6/(-15)). Suppose -g*t - 5 = 0, 4*r + t = -r - 181. Does -35 = r?
False
Suppose l - 215 = -4*c, 3*c - l - 14 - 156 = 0. Let k be (-88)/c*(-5)/2. Suppose -4 = -2*p + k*p. Which is greater: -4 or p?
p
Suppose 26*y + 6 = 23*y. Suppose 0 = 3*o - 7*o - 8. Is y bigger than o?
False
Suppose 0 = 10*h - 259 + 49. Suppose -10*q + h*q - 704 = 0. Which is bigger: 65 or q?
65
Let r be (-1976)/10 + 40/(-100). Which is smaller: r or -197?
r
Suppose -3*v - 6 = -24. Let i be (4/(-2) + 1)*v. Let t = -287 + 281. Are i and t unequal?
False
Let w = -256 + 275. Do 18 and w have the same value?
False
Let q = -119.41 + 119.3. Which is greater: q or -54?
q
Let l = -10878 - -195709/18. Let q = -37/6 - l. Let b be (-1)/3*(-6)/(-8). Is b <= q?
False
Suppose -2 = 2*x - 4. Suppose 10*c = 15*c - 10. Let l be (-14)/(-49)*c/(-20). Which is smaller: x or l?
l
Let t = -286 - -785/3. Which is bigger: -24 or t?
-24
Suppose -5*t + 17 = 2*n, 0*t - 4*n = -3*t + 5. Suppose -t*u + 2*k - 4*k - 184 = 0, 2*u + k = -122. Let j be 24/u + 93/(-5). Is j smaller than -19?
False
Let y = -7544191341797/150395364 - -254898205/5156. Let v = 264/3241 + y. Let m = v - -726. Is m <= 2?
True
Suppose -3*o - 6 = -2*w, 6 = 2*w + o - 3*o. Suppose 4*d + 0*d - 72 = 0. Suppose 2 = u - s, 3*u + 3*s - d = -0*u. Which is greater: w or u?
u
Let s be (-1)/1*(1 - 1). Suppose 0 = x - 0*k - k + 19, 4*k - 12 = s. Let j = 17 + x. Which is greater: j or 7/3?
7/3
Let d(l) = -3*l**3 - 2*l**2 - 2*l - 1. Let y = 8 - 9. Let i be d(y). Let p be (-1)/(11/4*i). Which is smaller: -1 or p?
-1
Suppose -2 = 2*t + 2. Let g be (-8)/(-28) - 238/147. Does g = t?
False
Suppose 0 = 3*w + 207 - 21. Does w = -61?
False
Let w = -1043 - -6247/6. Suppose 5*n + 3*l = -13, -n - 4*n = 4*l + 14. Does n = w?
False
Let u be -12 + 17 + 1/(303/(-1517)). Is 0 smaller than u?
False
Let o be -4 - (-588 - (-5 - -2)). Suppose 5*a + 69 + o = 0. Let j be (12/(-75))/(4/a). Which is greater: 6 or j?
6
Let f = -42/29 - -3279/2204. Which is greater: 2 or f?
2
Suppose 5*w + 2*m = 10, -w - 3*m = -0*w + 11. Let o = -17 + w. Is o at most as big as -12?
True
Let j be 1 + (43/(-11) - -3). Let h = -121 + 607/5. Is j <= h?
True
Let s be (-4)/(0 + 0 + -2) + 3. Suppose -4*n = n - s. Which is smaller: n or 1/21?
1/21
Let w = 14760938 + -693815694/47. Let l = w - -1098. Let n(q) = q**2 - 8*q + 8. Let p be n(7). Which is smaller: l or p?
l
Let f(m) = m**2 + 2*m - 16. Let v be f(-8). Let n be 4/2*(-4)/v. Is n > 0?
False
Let d = -11 + 8. Suppose -30*u - 2*u = -32. Which is smaller: d or u?
d
Suppose v = -5*v + 30. Suppose 5*s = 5*r + 2*s + v, 0 = -2*s + 10. Is 8 at least as big as r?
True
Suppose -15 = 5*k, 2*t - 4*k + 153 = 7*t. Is 63/2 at least t?
False
Suppose -c + 7 = 3*t - 1, 9 = 2*t - 3*c. Let r be (1 - 7/t) + 1. Is r equal to -1/3?
True
Let o = -16.4 + 16.3. Is 47 at most o?
False
Let p = 979 + -869.7. Let l = -107 + p. Is -1/5 at most as big as l?
True
Let f = -21 + 16. Let u = 4 - 3.8. Which is smaller: u or f?
f
Let b = -1 + 0. Let n be b*(-1 + (1 - 1)). Let z be (-4)/(-14)*5/(-50)*-5. Is z < n?
True
Suppose 3*u + 16 = 2*y, 12*y - 4*u = 9*y + 25. Are 12 and y non-equal?
True
Let i be (-3)/(19 + -7) - (-37)/(-8). Is i >= -4?
False
Let k = 53.5 - 48.5. Is k at most as big as -14?
False
Let a = 517 - 518. Is a greater than or equal to 46?
False
Let m = -3.79 + 3.8. Let w = m + 1.09. Which is smaller: -2/7 or w?
-2/7
Let x(i) = i**3 - 24*i**2 + 45*i - 21. Let v be x(22). Which is greater: v or 1/36?
v
Let g = -18 + 20. Suppose 2*m - m = g. Suppose -m*q - q - 6 = 0. Is -16/7 > q?
False
Let z = 1243 - 1146.3. Let o = -97 + z. Which is smaller: o or -6?
-6
Let h = 4 + -4.1. Let i = -1348/5 - -271. Is i <= h?
False
Let z(y) = -2*y - 4. Let c be z(-4). Suppose -c*w - 10 = -6. Let g = 14 + -13. Is w greater than g?
False
Let o be (-136)/(-10) - 4/(-10). Let z be (1*(1 - (-2)/(-2)))/(-2). Let s be 8/(-20)*-10 - (-10 + z). Is s > o?
False
Let n = 47/13 - -1442/65. Is 26 at most as big as n?
False
Let v = 17 + -16.87. Let m = -0.03 + v. Let o = 0.1 + m. Is o less than 3?
True
Let f be 6 + (-30)/5 + -137. Is f at most as big as -137?
True
Let g be 3/(-4) - 18/(-24). Let s(n) = n - 2. Let h be s(8). Suppose -h = 6*b + 12. Which is smaller: b or g?
b
Let n = 334.5 + -335. Is n at most -16?
False
Let n = -179 + 344. Which is greater: 164 or n?
n
Suppose 15 = d + j, d + j - 29 = -d. Let r be (2 + -3)*-1 - 14. Let c = r + d. Is 1/16 > c?
False
Suppose 3*c + 996 = 3*k, 0 = -c - 32*k + 27*k - 338. Do -333 and c have different values?
False
Let x = 6923 - 6493775/938. Are -1 and x non-equal?
True
Let k(t) = 2*t**2 - 18*t + 8. Let z be k(5). Is -25 at most as big as z?
False
Let m be (4 + -8)/((-3)/(-12)). Let x be (-80)/(-42) + m/(-2) + -10. Is x > -2?
True
Suppose -16 = 3*w + 5*h, 8 = -5*w + 4*w - 3*h. Let t be (-4)/(-10) - (-17)/(-5). Let r be 2/3 - w/t. Are 3 and r equal?
False
Let a(o) = -o - 1. Let s(x) = -x**2 + 7*x + 3. Let u(y) = -4*a(y) - s(y). Let c be u(3). Let h = 9200/285831 + -2/4537. Is c less than or equal to h?
False
Let n be (-584)/10*(280/(-282) - -1). Let r = -2/141 - n. Is 4 > r?
True
Let q be (-34)/(-6) + (-4)/6. Suppose -3*s + 12 = 3. Suppose -3*h = -9, n + 7*h - s*h - 15 = 0. Which is bigger: n or q?
q
Suppose -y + 5*d = 31, -2*y - 2*d + 28 = -5*y. Let w(q) be the second derivative of -q**4/12 - 5*q**3/6 + 3*q**2 - 8*q. Let k be w(y). Is k equal to 0?
True
Suppose -5*w = 4*y + 40, -3*y = y + 3*w + 40. Let t be 12*((-6)/y - 329/490). Which is smaller: t or -1?