-3*p(a) - t(a). Let h be b(-4). Is h less than or equal to 1?
True
Let s(z) be the second derivative of 1/6*z**3 - 2*z + 0 - 3*z**2. Let n be s(5). Is n > -1/5?
False
Let p be (-2)/(-6) - 56/(-12). Suppose 3*x - 9 = -5*z, p = 4*x + 4*z + 1. Which is smaller: x or -1?
x
Suppose -2*z - 3 + 5 = 0. Let f(x) = -x**2 + 2. Let b be f(0). Suppose -c + 4*c = -b*j + 2, 0 = -2*c. Is j bigger than z?
False
Let z = 8.04 - 0.04. Let m = z - 8. Let w = 0.2 - 0.1. Are w and m equal?
False
Let u = 4 + -8. Let i = 1.9 - -2.2. Let o = i + u. Is o >= -0.1?
True
Let k = 27 + -50. Is k bigger than -23?
False
Let a be 3/((-9)/3)*-11. Let f(v) = -8 - 10*v + 1 + a*v. Let r be f(4). Is -2 at least as big as r?
True
Let g = -20/199 - 535/4577. Which is smaller: -1 or g?
-1
Let z(t) = -t. Let h be z(-1). Let x be ((-2)/(-1) - h)*-4. Let c = 3 + x. Which is greater: c or 1/6?
1/6
Let v = 3 - 2. Let o(i) = i**2 + 3*i - 4 - 3 + 6 + 2. Let q be o(-3). Are q and v equal?
True
Let n be 1/(3 + 10/(-4)). Suppose -3*a - n*a + 15 = 0. Suppose -3*v + 18 = -3*r, 2*v - a*v - 24 = 5*r. Is -5 greater than r?
False
Suppose 5*z - 8*z = 3. Which is smaller: -3/4 or z?
z
Let y(b) = -4*b - 23. Let f be y(-6). Is f < -1/22?
False
Let g(q) = -q**3 - q**2 - 4*q**2 + 4*q**2 + 0*q**3. Let c be g(1). Let t be 1*5/4*-2. Which is smaller: c or t?
t
Let j = -112474/29 - -3878. Let m = j - -296/435. Which is bigger: 1 or m?
1
Let i = -13 + 6. Let j = 6.776 - -0.124. Let m = i + j. Which is smaller: 1 or m?
m
Let f(n) be the second derivative of -2*n**3/3 + 2*n**2 + n. Let k(m) = -m + 1. Let l(x) = f(x) - 3*k(x). Let d be l(3). Is d less than -1/2?
True
Suppose -2*n + 7*n = 5. Let y be 8/5 + (-3)/n. Which is greater: y or -2?
y
Let h(u) = u + 1. Let x(j) = -j**2 + j + 6. Let m(l) = -6*h(l) + x(l). Let v be m(-5). Are v and -2/5 nonequal?
True
Suppose s - 4 = 3*s. Let z be 3/6*s*-1. Let a be (1 - z)/(-3 + 1). Which is bigger: -1 or a?
a
Suppose 21 = -0*j + 3*j. Let q be (-1 + 3 - 0)*3. Is j smaller than q?
False
Let y = -5.89 + -0.21. Let m = -6 - y. Is 2/3 not equal to m?
True
Let j = -11 - -5. Let i be j/(-20)*(-44)/33. Let u = -0.1 - -0.3. Is i bigger than u?
False
Let r = -1/185 + 667/185. Is 5 at most as big as r?
False
Let y be 2/(-12) + (-55)/66. Let n = -0.1 - 0.3. Is n equal to y?
False
Suppose 4*q + 0 - 14 = b, b = -q + 6. Suppose x + 2*c = -3*x + 6, -b*x = -5*c + 15. Is 1/4 >= x?
True
Let w(j) = j**3 + 2*j**2 - 5*j - 4. Let k be w(-5). Let r be (-2)/(-3) + 24/k. Let q be 0*((-3)/2 - -1). Which is smaller: q or r?
q
Let t = -1 + 4. Let x(p) = -11 + 2*p**2 - 10*p - p**2 + 3*p**2 - t*p**2. Let y be x(11). Which is greater: 2/7 or y?
2/7
Let x(t) = -t - 2. Let z be x(-5). Suppose -u = -z*u. Which is greater: -4/11 or u?
u
Let v = 175 - 182.1. Let y = v - -12. Let t = 5 - y. Which is smaller: t or -2?
-2
Let t = -4 - -2. Let x = -133 + 133. Which is smaller: x or t?
t
Let c(o) = o**2 + 6*o - 3. Let y be c(-7). Let l = y + -3. Is l less than -2/17?
False
Let w = -0.1 - -0.06. Let v = -0.36 + w. Let q = 1.4 + v. Which is smaller: -5/3 or q?
-5/3
Let x = 28 - 22. Is x >= 6?
True
Let b = -16 - -16. Let j = 3.1 + -0.1. Let f = -2.9 + j. Is b less than or equal to f?
True
Let s(l) = -4*l**3 - 2*l**2 - 2*l. Let v(r) = 7*r**3 + 5*r**2 + 5*r + 1. Let c(h) = 5*s(h) + 3*v(h). Let j be c(-4). Is j < -2/11?
True
Let h be (8 + -9)/(14*1). Let x = -11/42 + h. Which is greater: -1/5 or x?
-1/5
Suppose 0 = 3*i + 2*i. Let u = -1 - i. Let a be (-4)/30 + 4/(-6). Which is smaller: a or u?
u
Let a be (-18)/(-152)*80/15. Does a = 0?
False
Let f(q) = 4*q**2 + 6*q + 2. Let v be f(-2). Let h = -10 - -16. Is v at least as big as h?
True
Let g be ((-1)/754)/((-3)/(-771)). Let n = -18/29 + g. Let z = -6/13 - n. Which is smaller: 0 or z?
0
Let g be 3 + -3 - (-3)/45. Is 2 greater than g?
True
Let l(t) = 2*t**2 - 1 + 0 - t**3 + t**2. Let z be l(3). Suppose 3*u + 2*u = 0. Which is smaller: z or u?
z
Let q = 3.5 + -3.7. Which is bigger: -0.46 or q?
q
Let y = 25 + -36. Is 1 smaller than y?
False
Let w(n) = -3*n - 3*n + 5*n + 5. Let x be w(7). Let z be ((-2)/x - 1) + -1. Are 0 and z nonequal?
True
Let z(p) = -p**3 - 6*p**2 + p + 6. Let k be z(-6). Suppose k = 2*f - 4*v + 4, 2*v + 32 = 4*f + 4*v. Does f = 6?
True
Let p be 92/9 + -3 - (-2)/(-9). Do 7 and p have the same value?
True
Suppose 1 + 14 = 3*t. Let o = t + -7. Which is greater: o or -2/3?
-2/3
Let d = 523/5 - 105. Which is smaller: d or 2/5?
d
Let p be 3 - 5 - (-7 + 3). Suppose 0*w = -w - 2, -2*r = -w - 8. Is p equal to r?
False
Suppose -2*i + 7*i + 5 = 0. Let x(c) = 5*c**2. Let v be x(i). Suppose -4*r - 3*f - 25 = 2*f, 0 = v*r + 5*f + 25. Is -4/5 greater than or equal to r?
False
Let f(w) = -w**3 + 12*w**2 + 14*w - 13. Let i be f(13). Is 2/33 equal to i?
False
Let k(j) = j**3 - j**2 - j - 1. Let m be k(3). Let r be -2 - ((-2)/(-13) - 1554/637). Which is bigger: m or r?
m
Let m = -147/11 + 8695/649. Let y = 55/118 + m. Is y at most as big as -1?
False
Let k(y) be the third derivative of y**4/24 + y**3 + 7*y**2. Let a be k(-5). Is 0.14 bigger than a?
False
Let b(s) = s**3 + 2*s**2 - 6*s - 5. Let h be b(-3). Let i be 3*(0 + (-8)/(-6)). Is h greater than or equal to i?
True
Suppose 3 = -n + 2*n, -5*a = 4*n - 12. Let o be (74/10 - -1) + 1. Let g = -9 + o. Which is smaller: g or a?
a
Suppose 4*z + 3*d = 83, 2*z - 2*d - 2*d = 14. Suppose 4*m - 5 + z = 0. Is m bigger than -1/2?
False
Let x be ((-2)/6)/((-1)/6). Let j be ((-6)/(-9))/((-1)/(-6)). Let d be (6/j)/((-3)/(-8)). Which is smaller: d or x?
x
Suppose 5*d - 2 = 3*y, 3*d + 0*d - 5*y - 14 = 0. Do -2 and d have different values?
False
Let z = -725/2 - -381. Let h = z - 18. Are 0 and h unequal?
True
Let r be (-4)/14 - 86/(-7). Let n = r - 3. Which is bigger: 8 or n?
n
Let m = 3721/24 - 155. Does 0 = m?
False
Let c(y) = y**3 + y**2 - 2*y - 1. Let f be c(-2). Which is smaller: 0.024 or f?
f
Let w = 4 - 0. Suppose -v = -5*v + w. Suppose 3*b = 7*m - 3*m + 11, 0 = 4*m - 2*b + 6. Are v and m nonequal?
False
Suppose 0 = -o + 3 + 3. Do o and 8 have the same value?
False
Let l = 2 + -3. Let v be 4 + l + 0 - -1. Suppose 2*q + v = -2*p - 4, 5*p + 8 = -2*q. Do 1/5 and p have different values?
True
Let h = -51 + 18. Which is bigger: -32 or h?
-32
Suppose 0 = -5*k + h - 21, -k + h + 4*h - 9 = 0. Is -4 less than k?
False
Let i = 6.5 + -6. Let m = i - 0.5. Let x = -1.95 + -0.05. Is m >= x?
True
Let p be -1*5*8/10. Let n = -7 - p. Let i = 2 + n. Which is greater: -1/4 or i?
-1/4
Suppose -s - 8 = -3*s. Let k be 0*(4/(-12) + 0). Suppose 2*r + 4 = 3*n, k*n + 8 = 5*n - s*r. Is n < 0?
False
Let p be ((-15)/6 + 4)/(-3). Is -63 <= p?
True
Let k(j) be the third derivative of j**4/24 + j**3/2 + 3*j**2. Let g be k(-4). Suppose -3*q = -3 - 0. Which is smaller: g or q?
g
Let w = 98 + -53. Suppose 0*t = 3*t - w. Let v be (t/12)/1 - 1. Is -3/2 bigger than v?
False
Let u = 6 - 8. Are u and -2/3 nonequal?
True
Suppose 2*j = -2*f - 42, 5 - 17 = 4*j. Let z be 0/1 + (-12)/f. Are z and -0.3 unequal?
True
Let b = -642902/63 - -10205. Let j be (-6)/(-21)*-5 + 1. Let q = j + b. Which is bigger: q or 0?
0
Suppose -q + 0*q + 2 = 0. Suppose -5*z - 1 = -q*z - 5*b, -2*z + 1 = -5*b. Which is greater: z or -1/2?
-1/2
Let s be (-2)/(8/89) + 0. Suppose -1 - 25 = -l + 2*i, 2*l - 34 = -5*i. Let h = l + s. Is h < -2/11?
True
Suppose -4 = 2*x + 2*u, -4 + 2 = -2*x + 4*u. Are 6/17 and x unequal?
True
Let f be 2/(-8) - 243/36. Is f > -7?
False
Let l be 0/(-1)*(40/24 + -2). Is 1/64 bigger than l?
True
Suppose 4*x - 4*q - 27 = -x, -2*q = 6. Suppose 5*p - 110 = -4*v, 4*v + p - 85 = 33. Let s be (24/v)/((-4)/(-10)). Which is smaller: x or s?
s
Let c = 1.47 - 1.47. Which is smaller: -40 or c?
-40
Let f be 8/(-60) + (-1)/(-3). Which is greater: 20 or f?
20
Let q = 3 - 1. Suppose -2*c = 4*l - 14, -4*l + 15 = -q*c + 5. Is c smaller than 2/5?
False
Let k = 375 + -222. Is k bigger than 2/3?
True
Suppose r = -3*v - r - 328, v = 3*r - 102. Is -107 bigger than v?
True
Suppose -3*s = -2*s - 1. Let j(a) = -a**2 + 9*a - 9. Let h be j(7). Let i = h - 5. Which is greater: i or s?
s
Let r = -15.1 - -6.1. Which is greater: 0.3 or r?
0.3
Let v = 7 + -4. Which is greater: -0.1 or v?
v
Let h be (186/136)/(-1 + -2). Let u = 12/17 + h. Which is smaller: -1 or u?
-1
Let i be (14/(-8))/((-1)/8). Let p be 6