d derivative of -m**4/12 - m**3/3 + 2*m**2. Let t be b(-2). Let y be 10/14 + t/7. Are y and 1 equal?
True
Suppose 3*u + 3 = 2*a - 2, -2*u = -a + 5. Let s(f) = -f + 15. Let j be s(15). Which is smaller: u or j?
u
Let x(k) = k**3 - 2*k**2 - 2*k. Let a be x(3). Suppose r = 3*z, a*z = -5*r - z + 19. Is 1 greater than or equal to r?
False
Let c = -46 - -33. Suppose h = t - 5*t, 3*t = 5*h. Are t and c equal?
False
Let y = -1.3 - -1.2. Which is bigger: y or -4?
y
Suppose 0 = 4*g - 2*b - 28, 3*g - 5 = -3*b - 2. Suppose g*f - 9 = -4. Which is bigger: -2/27 or f?
f
Suppose -3*o = -4*i + 3, -3*i = -i. Which is greater: o or -2?
o
Let w = 0.48 - -0.02. Let h = w + -2.5. Which is bigger: 2/5 or h?
2/5
Let y = -9 - -4. Let k be -2 - y/((-10)/(-28)). Let s be k/5 + (-4)/2. Which is smaller: s or -2/3?
-2/3
Let j be (-10)/2 + 1 + -2. Let h be j/10*(-4)/(-6). Which is smaller: h or 1?
h
Let x be (-4)/(-6) - 52/12. Let a = x - -4. Is a greater than -1?
True
Let u = -0.6 - -0.2. Let x = 0 + -0.3. Let o = u - x. Is o at most as big as 0.1?
True
Let w = -1.1 + 0.8. Which is bigger: w or 0.2?
0.2
Let p = 98/1247 + -534794/13717. Let k = -39 - p. Suppose x - 4*x + 3 = 0. Which is bigger: x or k?
x
Suppose u - 6*u = 30. Let y = u + 4. Is y smaller than -3/2?
True
Let v = 9 + -33. Is v greater than or equal to -25?
True
Suppose -a = 3*w + 9, -3*w + 2 = -3*a - 1. Let i be (-6)/(-15) + 165/25. Suppose 0 = -3*o + k - i, -o = o + 4*k + 14. Is o > a?
False
Suppose 0 = v + 3*u - 23, 7*v + 5*u - 57 = 3*v. Suppose -v - 2 = 5*f. Which is greater: -4 or f?
f
Let g be 13/(-5) + (-6)/15. Let r = g + 2. Let l = 112.9 - 113. Do r and l have the same value?
False
Let z = 73 - 221/3. Which is smaller: z or -2?
-2
Suppose -5*i = 10, -44 = 5*b + i + i. Let h(s) = -s - 8. Let f be h(b). Which is smaller: 6/7 or f?
f
Let w = -2/73 - 205/511. Suppose 3*z = -0*z. Is z less than w?
False
Let t be (2/2)/(1/(-3)). Let c = -3 + 2. Which is bigger: t or c?
c
Suppose -20 = -2*b + 6*b. Let q be (2 - 0)*-3*1. Is q smaller than b?
True
Let m = -0.18 + 10.18. Is -0.1 greater than m?
False
Let j = 6 - 5.96. Let i = -0.04 + j. Which is bigger: 0.11 or i?
0.11
Suppose -45 = -0*p - 3*p. Let s = 0 + p. Suppose -3*j = s, 2*j + 4 = 2*c + c. Which is greater: -1 or c?
-1
Let x = -5 + 17. Let a be ((-6)/x)/((-1)/(-12)). Let o be 132/351 - a/(-27). Which is greater: o or 1?
1
Let r = 5/67 - -429/536. Which is smaller: r or 1?
r
Let r(u) = -4*u**2 - 2*u + 4. Let b be r(4). Let a be 2 + -4 + b/(-24). Which is greater: 2 or a?
2
Let f be 13/(-3) + (-29)/(-87). Let v be 4/(-14) + 32/210. Which is greater: f or v?
v
Let a be (-32)/(-14) + 8/(-28). Suppose -5*f + a*f = 0. Is f <= 0?
True
Let q be -3*(-2 - 0 - -5). Let m be (-5)/q - (-8)/(-12). Suppose -4*o + 2 = 6. Which is smaller: o or m?
o
Let r = 1647 - 1655.07. Let c = r + 8. Suppose 0 = 2*d - 3*d. Do c and d have the same value?
False
Let b = -81 - -165/2. Let w be 2/(-8) + 13/4. Is b equal to w?
False
Let t = -6752/21261 - -2/1119. Which is greater: t or -1?
t
Suppose -16 - 30 = o. Let k be (2/(-6))/(o/(-12)). Let t be (-10 + 6 - -4)/2. Is k less than t?
True
Let r = 6/3269 - 101891/300748. Let y = 2/23 + r. Is y >= 0.1?
False
Suppose 7 = -5*q + 17. Let t = q - 2. Is t <= -2/7?
False
Let p(v) = 2*v + 2. Let f be p(2). Let a be (-175)/(-28) - (-3)/4. Let w = f - a. Is 1/5 less than w?
False
Suppose -4*w = 2*v - 2, -5*w + 7 = -0*w + v. Let h be w/((-7)/((-21)/(-6))). Is 2/5 less than or equal to h?
False
Let x = -23 - -28. Does x = 10?
False
Let c(p) = -p**2 - 8*p - 8. Let x be c(-6). Let s = 7 - x. Is 5 <= s?
False
Suppose j - 3*j + 3*w - 1 = 0, 3*w = 3*j. Suppose j = 5*k + 6. Which is smaller: -3 or k?
-3
Let h(y) = -3*y**2 + 15*y + 3. Let g(b) = -b**2 + 5*b + 1. Let j be (1 - 0)*48/(-6). Let t(a) = j*g(a) + 3*h(a). Let s be t(5). Is s greater than 1?
False
Let x(z) = z + 1. Let s be x(-5). Let d be -1 + 2/s*-1. Suppose -4*o + 5*v - 1 - 2 = 0, 3*o + v + 7 = 0. Which is greater: o or d?
d
Let c(h) = h + 4. Let w be c(-4). Suppose -5*r - 6 = n, 4*r - 2 = -5*n + 10. Let k be (-114)/126 + r/(-6). Is k != w?
True
Let b(l) = l**2 - 4*l + 2. Let q be (-5 - 1)/(9/12). Let u = q + 11. Let v be b(u). Is v less than or equal to -1?
True
Let c = -0.3 + 0.3. Which is greater: c or -1/2?
c
Let o(v) = v**3 - 8*v**2 - 8*v + 1. Let u be o(9). Which is bigger: 8 or u?
u
Let g(n) be the first derivative of -n**3/3 - 7*n**2/2 + 13*n - 6. Let r be g(-9). Which is bigger: -4 or r?
-4
Let o = -191 + 148. Is -2/5 at most o?
False
Let a = 5.02 - 0.02. Let b = -0.04 + -0.06. Which is smaller: a or b?
b
Let m = 7/6 + -2/3. Let f = 12.7 - 13. Which is bigger: m or f?
m
Let b = 2.11 + -2.1. Let l = b + -0.21. Is l at most -1?
False
Let y = -67 + 106. Which is greater: -1 or y?
y
Let b = 0.4 + -0.3. Let q = -0.2 + b. Suppose 4*v - 20 = -0*g - 4*g, 7 = 5*v - g. Which is smaller: v or q?
q
Let y = -22.985 + -0.015. Let q = y + 22. Let w = -2 + -3. Which is smaller: w or q?
w
Suppose 9 = m + 3*g, -5*m = -m - 4*g - 4. Is 2 bigger than m?
False
Let p(a) = -a**2 - 3*a + 3. Let j be p(-3). Suppose -2*q = -j*w - 2, -11 = w + 3*w - q. Which is greater: -2/9 or w?
-2/9
Let r(n) = -n**3 + 14*n**2 - 12*n - 11. Let f be r(13). Suppose 0 = -2*d - f*d + 4. Let p = -139/988 + -1/76. Which is greater: d or p?
d
Let y = -5 + 4. Is y bigger than 3?
False
Let k be (-10)/25*-1*5. Let r(l) = -l + 1. Let v be r(0). Which is greater: v or k?
k
Suppose 162 = -2*g + g. Let r = 15/1096 - 892219/5480. Let f = g - r. Is 1 != f?
True
Let m be ((-24)/(-170))/((-4)/(-20)). Let d = 3834/187 + -232/11. Let j = m + d. Is 1 < j?
False
Let j be ((-2)/(-9))/(292/36 - 8). Are j and 10/9 equal?
False
Let h(r) = -26*r**2 + 9*r - 6. Let o(m) = 17*m**2 - 6*m + 4. Let v(q) = -5*h(q) - 8*o(q). Let i be v(1). Which is greater: i or -4?
-4
Let w(l) be the third derivative of l**6/120 + 13*l**5/60 + 13*l**4/24 + 4*l**3/3 + 5*l**2. Let q be w(-12). Let s be 2/(-7) - 26/7. Is s at most q?
True
Let o(l) = -l**2 + 6*l + 7. Let k be o(7). Which is greater: 1 or k?
1
Let z(y) = 2*y**2 + 10*y + 2. Let c be z(-5). Is -5 at most as big as c?
True
Let q be ((-5)/50)/(2/8). Are -1 and q equal?
False
Suppose 4*m = -38 - 10. Let h be (-8)/m + (-8)/3. Do -1 and h have different values?
True
Let d(t) = -t**3 + 7*t**2 + 2. Let b be d(7). Suppose -2*o = 4*s, 3*s + 24 = 4*o - s. Let m be (2/o)/(1/b). Is 2 < m?
False
Let k be 6*3/18*-4. Let x(o) = -o**2 + 7*o + 3 - o**2 + 3*o**2. Let b be x(-6). Is k smaller than b?
True
Let l = 0.098 - 0.198. Which is greater: -42 or l?
l
Let r(j) = 2 + 0 - 1 - 8 - j. Let d be r(5). Is -13 at least d?
False
Let b = 0.014 - 0.314. Let c = -0.24 + -0.06. Is c at least as big as b?
True
Let p = -0.36 + 0.38. Does 12 = p?
False
Let y = 33 - 33.3. Let a = 0.6 + -1.3. Let l = a + y. Are 4 and l non-equal?
True
Let l = 0.051 + 0.949. Which is smaller: l or -14?
-14
Let h = -6 - -11. Let m be (3/5)/(7/h). Which is smaller: m or -1?
-1
Let b(j) = -j**2 + 14*j + 16. Let u be b(15). Which is greater: u or 0?
u
Let g = -1237/6 - -207. Let j be 2/8 + 3/4. Is j != g?
True
Let o(v) = -5*v - 1. Let l be o(-1). Let f = -3 - -1. Let k be (f/l)/(3/2). Which is greater: -1 or k?
k
Suppose 0*q - 5 = -v - 3*q, 5*v - q = 9. Suppose -v*f - 4 = -0*f, 4*f + 8 = -x. Which is greater: 3/5 or x?
3/5
Let b = 6 + -8. Let f(u) = -u**3 - 4*u**2 - u - 3. Let a be f(-4). Let s = a - 3. Is s at least as big as b?
True
Suppose i + 2*a = 4*i - 73, -2*i - 4*a + 38 = 0. Suppose -i*x + 20*x = 0. Which is greater: -3/13 or x?
x
Let q = 136/5 + -27. Is q equal to 0?
False
Let f be -3 + (-2 - -3) - 9. Let l = -8 - f. Which is smaller: l or 4?
l
Let r(s) = -2*s**2 - 5*s + 2. Let m(o) = o**2 - o - 1. Let a(t) = -3*m(t) - r(t). Let l be a(8). Is l at least -2?
True
Let y = -6.2 + 6. Which is smaller: 1 or y?
y
Let p = 37 + -33. Suppose 36 = 4*r - 3*d, r + 5*d = -4*r + 10. Suppose 7*z - 4*z - r = -2*m, 0 = -3*z - 5*m - 3. Do p and z have different values?
False
Let u(p) = -9*p**2 + p. Let z be u(1). Let x be 6/(-27) + (-736)/90. Let r = x - z. Which is smaller: r or -4?
-4
Let a = -36.6 - -37. Is a bigger than -0.8?
True
Let q be (-710)/15 + (-2)/(-6). Let f be 8/36 - q/(-9). Suppose 0 = -0*c + 5*c + 5*n, -24 = 3*c - 3*n. Which is smaller: c or f?
f
Let i(c) = 