ue
Let x(h) be the third derivative of -h**4/12 + h**3 + h**2. Let w be x(4). Let s = 1.05 - 0.05. Which is bigger: w or s?
s
Let v(r) = -r**3 + 9*r**2 - 11*r + 8. Let l be v(8). Let y be (-1)/l*4/5. Is -1 at least y?
False
Suppose -u = q + 3, -2 = -u - 6. Is 1 bigger than q?
False
Let r be (-2)/(-4)*-2*54. Let t = r - -77. Suppose -5*k + t = 3. Which is smaller: 3 or k?
3
Let k(i) be the third derivative of i**4/24 - i**3/6 - i**2. Let s be k(1). Let q(z) = -z**3 + z**2 + 3*z - 1. Let u be q(0). Is s greater than or equal to u?
True
Let k be 1/1 + -2 - 14. Let a = 29/2 + k. Is a != 3/5?
True
Let p(b) = b**2 + 5*b. Let l be p(-6). Suppose 6*t + l = 3*t. Which is bigger: t or -3?
t
Let g = -4.07 + 3.9. Let m = g + 0.07. Which is smaller: -1 or m?
-1
Let z(m) be the second derivative of m**3/6 + 3*m**2/2 + m. Let t be z(-3). Which is bigger: t or 1/6?
1/6
Let q = 36 + -35. Which is smaller: q or -2?
-2
Let z = -0.1 - -0.1. Let t = z + 0.1. Let s = 3 - 4. Which is greater: t or s?
t
Let m(a) = a + 19. Let w be m(-27). Suppose o + 14 = -o. Does w = o?
False
Let s = 3 - 5. Let m(l) = -4 + l + 4 - l**2 - 1. Let c be m(0). Which is bigger: s or c?
c
Let f be 2 - 1 - (-3)/(-3). Suppose -2*g + 14 = 3*m - 27, f = -3*g + m + 56. Suppose -t + 4*s + g = 0, s + 8 = t - 4*t. Are t and 2/9 equal?
False
Let l be 1/(-4) - 52/(-16). Suppose 0 = -4*y - k - 10, 3*y + 7 = -l*k + 2*k. Is 0.1 > y?
True
Suppose -3*l - 9 = -3. Let u(p) = -29*p + 1. Let m be u(l). Let o = m + -237/4. Is 0 less than o?
False
Let h = 34 - 33. Is 5 equal to h?
False
Let n = -0.034 - 0.966. Which is smaller: 16 or n?
n
Suppose 4*m = -5*c - 15, -4*c + 0*m = 4*m + 12. Suppose 2*k - 2 = -0*k. Suppose -2*i - k = -5*p - 5, 2*i + 12 = -3*p. Is c equal to i?
True
Suppose -2*t + 2 - 10 = 0. Let r be -10*2/(5 + -1). Is t greater than or equal to r?
True
Let v be 10/25 - (-234)/15. Let y = -16 + v. Is -1 less than or equal to y?
True
Let g(b) = 3*b - 8. Let c be g(5). Is 5 > c?
False
Let p = -208.5 + 208. Is 0.4 at least as big as p?
True
Let u be ((-2)/6)/((-4)/(-36)). Which is smaller: u or -2?
u
Suppose -3*y - 10 = -w, 0 = 3*y - 5*y + w - 6. Let a = y + 4. Let d be (3/(-12))/(6/(-16)). Which is smaller: a or d?
a
Let w = -0.04 - 0.03. Is w at most as big as 0.1?
True
Suppose 0 = -2*k - 2*k + 16. Let f = k - 1. Let t be (12/f)/(-1 - -3). Is t != 0?
True
Suppose -2*g + 3*g - 8 = 0. Let t = 28 - g. Let k be 25/t - (1 + 1). Which is smaller: -1 or k?
-1
Let m = 22 + -10. Let c be (m + -5)*(-3 + 2). Which is bigger: c or -6?
-6
Suppose 0 = -15*i + 19*i + 8. Is -3 greater than or equal to i?
False
Let c = 11 - 22. Let v = c - -10. Which is bigger: 4 or v?
4
Let u be (-38)/(-150) + 5/(-15). Which is greater: u or 0?
0
Suppose -278 = 4*l - 22. Let s = -706/11 - l. Is s < 0?
True
Let h = 28 - 23. Is 0.06 <= h?
True
Let u be 4/(-6) + (-20)/6. Let h be (2/4)/1*(-60)/5. Which is smaller: h or u?
h
Let a = -0.054 - 4.146. Let q = 7 + -3. Let d = q + a. Which is greater: d or 1?
1
Let j be (4/6)/((-6)/9). Which is smaller: -2 or j?
-2
Let g = -18 + 21. Suppose -t = 3*y - 0*y, -g*y = -2*t. Which is bigger: y or -1/34?
y
Let a = 1/118 + -479/826. Suppose -2*y - y = 5*p - 6, 3*p + 2*y - 4 = 0. Which is smaller: a or p?
a
Let z = -3370/9 + 374. Let p = z - -5/18. Which is bigger: 1/2 or p?
1/2
Let f = -4 + 4.5. Let h = f + -10.5. Which is greater: -0.1 or h?
-0.1
Suppose -454 - 50 = -6*k. Let v = k - 250/3. Which is bigger: -2/3 or v?
v
Let o = -28 + 29. Which is smaller: o or 0?
0
Let v(r) = -r + 13. Let l be v(13). Suppose 3*t - 9 = l, t + 2 = -5*h + 5*t. Is h greater than or equal to 2?
True
Suppose 0 = 3*t - 2*z + 127, -51 = 2*t + 4*z + 7. Is -38 <= t?
False
Suppose -r + 4 = 2*h - h, -4*r + h = 4. Which is smaller: r or 2/5?
r
Let f(w) = 5*w**3 - w**2 + 2*w - 2. Let d be f(1). Is 4 not equal to d?
False
Let b = 1/87251 + 9509879/41880480. Let s be 1 + (-372)/(-128) + -4. Let t = s + b. Is t < -2/5?
False
Let f(g) = 1 - g**2 + 2*g - 2*g. Let s be f(1). Let j = -251 + 250. Which is greater: s or j?
s
Let m be (4/33)/((-2)/9). Let k = 32/99 + m. Let z be (-10)/(-45)*(-3)/(-2). Which is bigger: z or k?
z
Let w(m) = m**3 + 4*m**2 + m - 2. Let l be w(-3). Suppose 2 = -l*a + 6. Let y be a/(-2) + (-9)/(-10). Which is smaller: -1 or y?
-1
Suppose 5*h + 163 + 22 = -5*x, -15 = -5*h. Let j be (30/25)/((-6)/x). Is 9 bigger than j?
True
Suppose 4*l = 4*x + 22 + 46, 0 = 2*x + 4*l + 58. Is -1 at most x?
False
Let x = 81.1 - 81. Are x and 7 equal?
False
Suppose -12 = -6*o - 0. Let v be -2*o/6 + 0. Suppose p - 2 = 5. Which is greater: v or p?
p
Let l be -2 + 4 - 12/4. Let s = 0.6 - -1.4. Is s equal to l?
False
Suppose -3*p = 5*f - 11, 0*p = -5*p - 15. Suppose -5*d + 35 = s, -2*d + f*s = d + 2. Are d and 6 non-equal?
False
Let v = 6.46 + -8.5. Let j = 0.26 + -0.3. Let g = j - v. Is g < -0.1?
False
Let s = -1 - 0. Let p = -99/2 + 49. Is s bigger than p?
False
Let l = -117 + 168. Is l bigger than -0.1?
True
Let f = -16959/23 - -737. Is f equal to -1?
False
Let r = 0 - 0. Let l = -1207/78 + 91/6. Which is smaller: r or l?
l
Let p = 5 - 1. Let y be (-21)/9 + p/(-6). Let r be 1 + (8/y - -2). Do 0 and r have the same value?
False
Let x be 12/(-9) + 70/(-15). Is x < -6?
False
Suppose -3*a = -0*a + 42. Which is bigger: 0 or a?
0
Let o(d) be the third derivative of d**5/60 - d**4/24 + d**3/6 + d**2. Let y(u) = u - 5. Let m be y(6). Let c be o(m). Is 2 less than c?
False
Let v(q) = -q - 3. Let t be v(-3). Is -5/4 bigger than t?
False
Suppose -5*x + 2 = b + 4, b + 3*x = 0. Let g be (3 - 10/6)*b. Is g at least 4?
True
Suppose j = 4*d - j - 16, -5*j - 7 = d. Let v = -11 - -14. Suppose -2*h - 6 = 2*k, 4*h = v*h - 5. Is d greater than or equal to k?
True
Let t(f) be the third derivative of -f**4/8 + f**2. Let y be t(5). Let a be 58/70 + 6/y. Which is smaller: a or 0?
0
Let d = -0.2 + 1.1. Let u = 19.9 + -19. Let a = d - u. Which is smaller: 2/7 or a?
a
Suppose -q + 51 = 4*a, 2*a = 6*a + 5*q - 31. Let h be a/(-10) + (-1)/(-1). Suppose 0 = 4*k + 3*y - 6, -3*k + 0*k - 2*y + 4 = 0. Is h at most k?
True
Let q be 727/(-11) - 1/(-11). Which is greater: q or -65?
-65
Let k(h) = 10*h**3 + 2*h**2 - 1. Let z be k(-1). Let c = -7 - z. Suppose 2 = -c*w + 3*w. Which is greater: w or 4?
4
Let n = 0.063 + 2.937. Are n and 4/3 non-equal?
True
Let q = 6317/7 + -901. Which is smaller: q or -2?
-2
Suppose o = 4*g - 5, g + 0*g = -4*o - 20. Suppose u = -0 - 4. Let j = o - u. Is -1 bigger than j?
False
Suppose -5*n = 3 + 2. Which is greater: 2/17 or n?
2/17
Let t = 78 + -64. Is 16 smaller than t?
False
Let d = -36 + 40. Is -2 bigger than d?
False
Let d be ((-12)/(2 - 5))/1. Let b be 1/(4/(d*7)). Is 7 != b?
False
Suppose -2*v - 12 = -22. Let k be v*((-14)/5 + 3). Is 6/5 greater than k?
True
Let z = -0.55 + 0.45. Let t = -8 + 5. Is t <= z?
True
Let l = 93/35 + -14/5. Which is bigger: l or 0?
0
Let u = 0.4 + -0.2. Is 7 at most u?
False
Let n = -28 + 28. Which is smaller: -4/5 or n?
-4/5
Let j(y) = y - 4. Let p be j(6). Suppose 5*o = p*b - 0*o + 10, 5*b - 4*o - 9 = 0. Let u = 7 - b. Do 2 and u have the same value?
True
Suppose -2*s + 260 = -h - 7*s, 5*s + 1300 = -5*h. Let x be (-4)/10*h/48. Let z = -17/6 + x. Is 2/5 less than or equal to z?
False
Let s = -38.1 + 40. Let l = 3 - 1. Let q = s - l. Does 0 = q?
False
Let g(o) be the first derivative of -o**3/3 - 4*o**2 + 4*o - 2. Let w be g(-9). Let a(m) = m**3 - 2*m + 1. Let j be a(-2). Which is bigger: j or w?
j
Let v = -221/4 + 55. Does 0 = v?
False
Suppose 5*m - b + 15 = 4*b, 0 = 5*m - 3*b + 5. Let o be 1 + (1 - m)/1. Which is smaller: 1 or o?
o
Let p = 0.104 + 0.896. Let j be ((-2)/(-65))/((-2)/(-10)). Is j > p?
False
Let k be 90/84 - 1/2. Is k bigger than 2?
False
Let w = -61/3 + 302/15. Let r = 7 + -4. Suppose -i + 18 = 2*z + r*i, -4*z - 12 = -4*i. Are w and z equal?
False
Let f be 16/(-154) + 8/28. Let y = -0.05 + -0.05. Is f greater than or equal to y?
True
Let z = -1201/342 + 2/171. Does -5 = z?
False
Suppose 3*l = l - 12. Suppose -x - 18 = -13. Which is smaller: x or l?
l
Suppose 20 = -4*d + 48. Let v be 19/d - 2/(-7). Let k be -2 + -2 + 8/v. Is k < -2?
False
Suppose -2*c - c = -6. Is -7 <= c?
True
Let h be 2/12*(-5 - -3). Let u be 2 - (-1)/1*-1. Which is smaller: h or u?
h
Let m(y) = y**2 - 3*y + 2. Let d be