24 = 2*t + m, 0 = t + m + 10. Let p(u) = u**2 + 9*u + 10. Let x be p(t). Let y be (1 - x)/((-1)/(-1)). Is y bigger than -2/13?
False
Let u(z) be the third derivative of z**6/24 - z**5/60 + z**4/24 - z**3/6 - 2*z**2. Let y(g) = -g. Let t be y(-1). Let h be u(t). Is 3 < h?
True
Suppose 5*y - 3*z - 5 = -3, z + 2 = y. Which is smaller: -1 or y?
y
Let s = 1661 - 38189/23. Which is bigger: s or 1?
1
Let l = 0.5 + -0.5. Let k = -0.1 - l. Let t = -2.1 + 0.1. Is k <= t?
False
Suppose -2*r - 1 = -3*r. Let h be 0 + -2*(0 - 1). Suppose -a + 5*t = 14, 2*a + h*a + 8 = 4*t. Do a and r have the same value?
True
Let s = -172/3 + 56. Is 0 equal to s?
False
Let w be ((-24)/13)/(-3) + 3/(-6). Is -1 less than w?
True
Suppose -7 = -3*o - c, 2*o + 2*c = -3*o + 13. Is o not equal to -1/13?
True
Suppose -3*n - 2*v = 0, 4*n + 0*v = v. Let s be 3 - 1 - (n + 0). Let l = s - 2. Which is smaller: -1 or l?
-1
Suppose 3*c + 83 = -2*n, -5*c + 3*c - 5*n - 59 = 0. Let r be (0 - (-2)/c)*1. Does r = -1?
False
Let i(y) be the second derivative of y**5/20 - y**3/3 + y**2/2 - 3*y. Let t be i(1). Which is bigger: 1 or t?
1
Let i(u) = u + 18. Let n be i(-20). Is -18/11 > n?
True
Let i = -39/29 + 855/377. Is i greater than 1?
False
Suppose 3*l - 5 = 4. Let i be 3 + 2*-1 - 1. Suppose i = -4*s - 0 + 4. Which is greater: s or l?
l
Let i = -10 - -15. Suppose 0 = 4*s - j - 20 - 31, 2*s = -i*j + 9. Let y be ((-6)/(-20))/((-9)/s). Which is bigger: y or 0?
0
Suppose s + 11 = -2*b, 5*b - s = 4*s - 20. Suppose 0 = j - 2, l - 2*j + 0 = -3. Which is bigger: b or l?
l
Let z = 5 + -3. Suppose 0 = -z*f - 1 + 3. Is 1 less than f?
False
Let r be 8/12 + (-95)/3. Which is bigger: -30 or r?
-30
Let n(m) = -m**3 - 2*m**2 + 3*m - 2. Let z be n(-3). Is 0 <= z?
False
Let p = -10478/17 + 616. Which is smaller: 1 or p?
p
Let s = -14 + 2. Let m be (-3)/12 + 153/s. Is -13 < m?
False
Suppose 0*y - y + 23 = 0. Which is greater: y or 1/2?
y
Let l be ((-15)/(-10) - 2)/(-2). Is -17/4 >= l?
False
Suppose 4*s - 7 = 1. Let n = -2/111 + 902/777. Which is bigger: s or n?
s
Let l = 0 - -6. Let z be -3 + 5 - l/2. Is z greater than -4/11?
False
Suppose -24*p + 9*p = -450. Is 2/7 != p?
True
Suppose s - 4*s = 15. Let i = s - -8. Is i bigger than 1?
True
Let b = -11 + 12. Let c = -2 + b. Which is greater: c or -1.4?
c
Let o = 0.2 + 0.03. Which is smaller: o or 3?
o
Let n = -1.7 - -1.5. Which is greater: -3 or n?
n
Let s = 4/231 + -190/2079. Is 0 bigger than s?
True
Let a be (-4)/(-6)*-2*(-2 - 1). Suppose 2*t - 4*t - 2 = 0, 6 = g - t. Which is smaller: a or g?
a
Let h(i) = i**3 - 5*i**2 + 4. Let c be h(5). Suppose 0 = 4*n + c. Is -1/13 at least as big as n?
True
Suppose 0 = -3*t + 6*t - 6. Let o = -2 - -1. Is o > t?
False
Suppose 9 = h - 2*h + u, 3*u = -3*h - 21. Let f = h + 7. Is f > -1/10?
False
Let f(c) = -c**2 - 4*c + 2. Let o be f(-4). Let a(k) = 0*k**2 + 1 - 2*k**o - 2*k + 3*k**2. Let j be a(1). Is 2 at most as big as j?
False
Let r = -2 - -5. Suppose h = r, 0*h = 4*k + 5*h - 43. Let u be ((-2)/(-2))/(k/(-2)). Which is greater: u or -2/5?
u
Let c be (-5 - -3 - -3) + 150/(-154). Which is greater: 0 or c?
c
Let l = -0.1 - -0.1. Let g = -233/8 + 29. Is l <= g?
False
Let m = -39 - -19. Let q be (-8)/6*(-6)/m. Is q less than or equal to 0?
True
Let t be (-6 - -8) + (-15)/3. Let i be (-2)/4*(6 - 1). Which is smaller: i or t?
t
Let z = 11 - 4. Which is bigger: z or 4/7?
z
Let w = 9 - 9. Suppose d - 2 = -w*d. Suppose 7*c + 5 = d*c, 3*c = z - 6. Is 2 bigger than z?
False
Suppose -7*r + 11*r = -4. Which is smaller: r or -2/69?
r
Let p be (2/4)/((-2)/4). Is -3 less than or equal to p?
True
Let k = 1 - 1.5. Let i = 0.1 - 0.7. Let a = i - -0.6. Which is bigger: k or a?
a
Let d(v) = -v**2 - 6*v - 10. Let m(b) = 2*b**2 + 13*b + 19. Let q(y) = 5*d(y) + 3*m(y). Let z be q(-8). Which is greater: -1/4 or z?
-1/4
Let q be (2/4*0)/2. Suppose -4*m + 0 - 12 = q. Let i = 81 + -84. Is i > m?
False
Let r(h) = -h**3 + 3*h**2 + 2*h + 3. Let y be r(4). Let g be ((-8)/30)/(6/y). Which is bigger: 0 or g?
g
Suppose 6*y - 15 = 3*y. Let q = 8 + -8. Let f be q - y/(15/6). Which is bigger: -3 or f?
f
Let m = 11 - 17. Let h be m/21*14/(-8). Let p(d) = -d - 4. Let g be p(-4). Which is smaller: h or g?
g
Let v = 0.2 - 0.4. Let m = -2.8 + v. Which is smaller: -0.2 or m?
m
Let d = -33 - -39.08. Let o = d - 6. Let y = 0.02 + o. Is y bigger than 5?
False
Suppose 4*u - 2 - 2 = 0. Are 1/21 and u equal?
False
Let m = 5.3 + -5.08. Which is greater: 1 or m?
1
Let f = -15 - -13.6. Let v = f - -1.32. Which is greater: v or -1/2?
v
Let s = -19.2 + -61.8. Which is greater: -0.1 or s?
-0.1
Let x(p) = p**2. Let b be x(2). Let w = b + -3. Let t = 261/5 - 52. Which is bigger: t or w?
w
Let o = 57 + -34. Which is smaller: o or 21?
21
Let b be (-2)/15 - 176/(-420). Which is bigger: 3 or b?
3
Let a(c) be the first derivative of -c**4/4 + 10*c**3/3 + 11*c**2/2 - 6*c + 4. Let g be a(11). Does g = -7?
False
Let b be (6/4)/(6/(-8)). Let u be (8/b - -3)*7. Let k = u + 9. Do 0 and k have the same value?
False
Let x = 0.4 - 0.5. Which is smaller: x or -1?
-1
Let a = -3 + 5. Suppose -3*p = a*n - 32, 5*n - 80 = -5*p + p. Let f be n/(-9) + -2 + 4. Which is smaller: f or -1?
-1
Suppose 6 = -r + 4. Let l be 12/30 - r/(-10). Let k = l + 1/20. Is k not equal to 1?
True
Let z(k) = -3*k**2 - k + 1. Let f be z(2). Let b = f + 18. Let i = -6 + 10. Which is bigger: i or b?
b
Let p be (-2)/(-30) - (-2)/(-5). Suppose 0 = j + j + 3*j. Which is greater: p or j?
j
Suppose 0 = -2*y - 0 + 2. Let h be (3/21)/(y/2). Let u = -1.96 - -2. Which is smaller: h or u?
u
Let t = 63169/84 - 752. Are t and -1 non-equal?
True
Suppose -b - 25 = -5*i, 4*i + 0*i = 5*b + 20. Suppose x - 4*h - 9 = -0*x, -2*h - 4 = b. Let t = 8 - 6. Is x greater than t?
False
Let i = 0.1 + -1. Let p = 0.1 - i. Suppose 2 - 4 = -z. Which is bigger: z or p?
z
Suppose -5*f = 5*p - 15, -3*p + 4*f - 10 = 2. Let v be p*3/6 + 0. Is -2/17 less than v?
True
Let b be 5/(-25) - (-44)/(-5). Let c be 4/(-1) + b/(-3). Which is smaller: c or 4/5?
c
Let p(j) = j + 11. Let n be p(-8). Let o(v) = -8*v - 47. Let a be o(-6). Is n != a?
True
Let b = 3 + -3. Suppose -2*w + w + 5*s - 30 = b, 0 = 2*w + 5*s. Let j be (-2)/(-4)*4/w. Which is smaller: 0 or j?
j
Suppose -2*c = 4*z, 5 = 3*c + z - 0. Is c smaller than 6/11?
False
Let a(i) = -i**3 + 2*i**2 + i + 3. Let n be a(3). Let l = -114 + 337/3. Is n smaller than l?
True
Let n = -51 - -97. Which is bigger: n or 45?
n
Let x be 0/(1/(2/4)). Let h be 4/(-16)*(1 + x). Let f = 1 - 0. Which is smaller: f or h?
h
Let i be (-2)/10 - 456/(-30). Let n be 5/i*(-12)/4. Does -1 = n?
True
Let d(h) = h**3 + 3*h**2 - 4*h - 4. Let m be d(-4). Let b = -7 - m. Suppose 0 = p + 1 + 3. Is b at most p?
False
Let c = -10 - -37. Let q = -377/14 + c. Is q bigger than -1?
True
Let n = -2.1 - -4.2. Let f = -2 + n. Is f greater than -1/7?
True
Suppose 0*l - 2*l + 10 = 0. Which is bigger: 1 or l?
l
Suppose 12 = 2*i + 4*d, -2*i + 4*d + 30 + 6 = 0. Which is greater: i or 3?
i
Suppose -4 - 1 = -5*o. Let m be 115/30 + -1 + -2. Which is smaller: o or m?
m
Let h(l) = -4*l**3 + 8*l**2 - 3*l + 3. Let j be h(2). Suppose -3*w + 2*o - 9 = 11, 5*w + 3*o + 8 = 0. Which is smaller: j or w?
w
Let h = 93 - 647/7. Is 2 at most h?
False
Suppose -4*m - 4 = -2*w, -3*w + 2*w + 5*m = -14. Let j = w - -5. Which is bigger: j or -3?
j
Suppose 0 = 2*o + o - 9. Suppose 2*p = -2*k + 3 - 1, -k = -3*p - 1. Which is bigger: k or o?
o
Let m(c) = -c - 6. Let g be m(-8). Suppose -k + j - 2 = -3*k, -5*k - g*j + 3 = 0. Which is smaller: -9 or k?
-9
Suppose -r - 3*r = -5*b - 32, 11 = -3*r - 5*b. Let i(a) = -a**3 + 8*a**2 + 11*a - 9. Let c be i(9). Let n be (-3)/c - (-20)/6. Is n greater than r?
False
Let j = -0.101 - 0.099. Let u = 3 - 3.01. Which is greater: j or u?
u
Let z be 3 - -2*(4 + -5). Which is greater: z or 1/38?
z
Let w = 20 - 19. Is 4 at most w?
False
Suppose -5*m = -2*m. Suppose 4*b - 3*b - 2 = m. Suppose 2*u + 12 = b*z, -u - u + 3*z = 16. Is -2 less than u?
False
Let c = 0.1 + 0. Let l = 0.3 - c. Let v = -4.2 - -4.4. Is v less than l?
False
Suppose 3*g - z + 11 - 40 = 0, 0 = g - z - 11. Let d be (-3)/g - 814/15. Let r = d + 55. Are 0.2 and r unequal?
True
Let b be (-21)/(-18)*(-2 + 60/28). Which is smaller: b or -1/3?
-1/3
Let h(r) = -r**2 + 7*r - 7. Let b be h(6).