 + 2*c. Let s = 0 - q. Is p less than s?
False
Let z(p) = 2*p + 3. Let j be z(-2). Let a be ((0 - j) + -2)/(-11). Let r = -731 - -731. Is a less than or equal to r?
False
Let y = -9.5 - -9.5. Which is bigger: y or 14/3?
14/3
Let t(v) = -2*v - 1. Let n(q) = 1 - 2*q**2 + q**2 - 2*q**2 + 0*q**3 - q**3. Let h be n(-2). Let b be t(h). Is 3 greater than b?
False
Suppose -96*u + 8 = -100*u. Let t = -0.05 - 5.95. Let x = t - -9. Is u less than x?
True
Suppose -q - 4*z - 22 = -3*q, 6 = -2*z. Suppose 3*a + q = -4. Let m = 0.56 - 0.46. Is a at most m?
True
Let y be (0 + 0)/(-2) - 9/6. Suppose -4*k = -7*k. Is k at least y?
True
Let j be 4 + (285/12)/(-5). Is -1 equal to j?
False
Let s be 2 + -1 + (-37 - -3). Let d be ((-15)/s)/(-5)*-2. Which is bigger: d or 0?
d
Let m be 1/1 + -3 + 1. Let o(x) = x - 6. Let z be ((-5)/2)/(3/(-6)). Let r be o(z). Are m and r equal?
True
Let o be 0 + -1 + 6 - 2. Is o bigger than 3?
False
Let m = 83/6 - 29/2. Let w = 0 + m. Which is bigger: w or 0?
0
Let x = -4 - -2. Let f = x - -2. Let n = 0 + -5. Which is smaller: n or f?
n
Let m = 16.7 + -0.7. Let b = 16 - m. Which is greater: b or 4?
4
Let d(k) = -k - 1. Let q be d(3). Let x = 5 + q. Is 3 >= x?
True
Suppose 47 = p + 58. Is p at least as big as -11?
True
Let z be (32/(-20))/(2/(-5)). Which is bigger: 23/6 or z?
z
Suppose 18*j - 17*j = 0. Let w = -9 + 10. Which is smaller: j or w?
j
Suppose -2*r = -6*r + 4. Is 8 >= r?
True
Let p(o) be the third derivative of o**5/60 + o**4/4 - 9*o**2. Suppose 8 + 16 = -4*u. Let q be p(u). Is -4/3 less than q?
True
Let d = -6 + 7. Which is greater: -10 or d?
d
Suppose 3*m = 21 - 6. Let h = 0 + m. Suppose 0*r - h*r = i - 16, -i - 2*r = -7. Is -1/7 >= i?
False
Let p(r) = -r**2 - 21*r - 45. Let d be p(-18). Do d and 12 have the same value?
False
Suppose -5*x = -3*c + 1 + 19, -4*x + 1 = c. Are 3/26 and x equal?
False
Let d(q) = q**2 - 4*q - 4. Let y be d(5). Let s = 176/123 + -4/41. Which is greater: y or s?
s
Suppose -8 = -2*u + 5*x, 0*u + 3*u - 4*x = 12. Is 2 less than or equal to u?
True
Let w(u) = -3*u - 40. Let j be w(0). Is j less than or equal to -41?
False
Let d(h) = 7*h - 1 - 7*h - 9*h. Let v be d(-1). Let m be 3/(-2)*v/12. Is -2/19 at most as big as m?
False
Let z = 0.77 - 0.77. Is z smaller than -0.16?
False
Let j = -2 - 0. Let w(l) = -l**2 + 1 - 1. Let c be w(1). Which is greater: c or j?
c
Let w = 1.23 - 0.63. Which is greater: 0.1 or w?
w
Let t = 0.011 + -0.011. Which is greater: 0.35 or t?
0.35
Let j(x) = 11*x + x**2 + 4 - 1 + 9. Let m be j(-9). Let p(z) = z**2 + 5*z - 1. Let t be p(-4). Is t smaller than m?
False
Let a(k) = -k**3 - 26*k**2 - 23*k + 57. Let o be a(-25). Is o at least as big as 19?
False
Let d = 0.111 + -0.301. Which is smaller: d or -0.2?
-0.2
Let m = 0.01 - -0.02. Is 2 < m?
False
Let n be (-8)/(-48)*4*198/28. Is 5 bigger than n?
True
Let w = -16 + 23. Let u = -12 + w. Are u and -1 equal?
False
Let r = 68.2 - 69. Let q = -16.2 - -13. Let f = q + r. Which is greater: 1 or f?
1
Suppose 0 = 5*k - 2*s - 18, -5*k + 2*k - 4*s = -16. Let o be (-6)/3 - k/(-3). Let d be 48/(-28) - (2 - (-12)/(-7)). Are o and d non-equal?
True
Suppose 5*z + 4 = 6*z. Suppose -w = -z*w. Let j = 2 - 3. Which is smaller: j or w?
j
Let p = 2 - 1. Let u = 1 - p. Which is smaller: 2/9 or u?
u
Let w = -149 - -74. Let n = w - -70.9. Let y = n - -4. Which is greater: y or -2/7?
y
Let s(v) = v**2 - 7*v + 1. Let u be s(4). Let d = u - -16. Are -2 and d non-equal?
True
Let c be 4/(-3)*9/42. Is c less than 40?
True
Let j(a) = -13*a + 3. Let l be j(1). Let o be 42/35 + 2/l. Which is greater: o or -4/23?
o
Suppose x = -2*d - 3, -1 = 3*x - 0*d + 4*d. Suppose 0 = -x*g - 0*g + 20. Is g bigger than 1?
True
Let a(f) = -3*f - 9. Let k be a(0). Which is smaller: k or -10?
-10
Let h be 0*(-3)/3 + 0. Let v be h + -2 + 1 - 1. Suppose g - 4*u + 6 = -g, 5*g + 3*u = -2. Which is greater: g or v?
g
Let n = -1/5 - 0. Let o be 1 + (1 + -17)/2. Let u = o - -8. Which is greater: n or u?
u
Let o be ((-1 - 0) + 1)*1. Let r(q) = q**3 - 4*q**2 - 4*q. Let j be r(5). Let p(u) = -u**3 + 5*u**2 - u + 5. Let n be p(j). Are o and n equal?
True
Let i = 3 - 3. Which is greater: 15 or i?
15
Let o be 104/126 - (-4)/14. Which is greater: 2 or o?
2
Suppose -5*s = -4*t - 4, s + 1 + 4 = -5*t. Which is smaller: t or 9?
t
Let s be 18/(-15)*(-10)/(-3). Let c = -0.27 + 0.17. Is s equal to c?
False
Suppose -3*u = -4*u. Let p be -8*((u - 1) + 2). Let w be p/(-6) + (-4)/(-6). Is w < 4?
True
Let t(c) = -c**2 + 3*c + 1. Let n be t(4). Let r be (-1 + 21/24)*n. Which is smaller: 1 or r?
r
Suppose -13 - 7 = -5*y. Let f = -11 - -8. Let l = y + f. Is 2/19 less than l?
True
Let x(s) = s**2 + s + 1. Let f be x(-1). Let d be (f - 5) + 0/(-5). Is d less than or equal to -5?
False
Suppose 0*r = -10*r. Let h be (8/(-14))/1 + 1. Which is greater: h or r?
h
Let d be -1*92/(-36) - 3. Is -1 > d?
False
Let j = 3 + -3. Suppose 2*r - 1 - 5 = j. Suppose 3*t - 5*u = r + 15, t - 2*u = 7. Is t not equal to 3/8?
True
Suppose -4*g + 27 = -w + 2*w, -12 = -4*g. Suppose -w = s - 4*s. Suppose 2*c - 1 = o, -2*c + 14 = -c - s*o. Is 2/9 greater than or equal to c?
True
Let v(n) be the second derivative of n**5/20 - n**4/2 + 7*n**3/6 - 3*n**2 - n. Let r be v(5). Which is greater: 5 or r?
5
Let r be 1/36 - 3/12. Suppose 3*j - 2 = 2*x, -5*j + j + 4 = -4*x. Which is greater: j or r?
j
Let x(b) be the first derivative of -b**4/4 - 5*b**3/3 - 2*b**2 - 6*b + 3. Let n be x(-4). Which is smaller: n or -7?
-7
Let u be (-1 - (-545)/(-270)) + 3. Which is bigger: 0 or u?
0
Let d be (-2 - -2) + (-4)/135. Let h be 18/15*(-149)/(-567). Let k = d + h. Is -1 at most k?
True
Let d = -1.3 - -6.3. Suppose -2*s = 3*o - 4*o, -3*s = -3. Let b = -1 + o. Which is smaller: b or d?
b
Suppose -4*k = 2*i - k - 3, -4*k - 4 = 0. Suppose 0 = 3*g - 6*g + i. Let s = -3 + g. Do s and -3 have the same value?
False
Let n = -34 - -104/3. Is n less than -11?
False
Let n(d) = -3*d - 4. Let i be n(-5). Which is smaller: i or 10?
10
Suppose -5*r = -3*r - 4. Suppose -3*x + 2 = r*o, x = -2*x. Which is bigger: 0 or o?
o
Let f = 0.2 + 0. Let u be 2*(-6)/(-4) + -3. Suppose u = s - 6*s. Which is smaller: s or f?
s
Let k = -4.99 + 5. Let w = k + 2.99. Which is smaller: 2 or w?
2
Suppose -5*x + 5*c + 0*c = -75, 5*c = -4*x + 33. Suppose -3*z = -3*q + x, -1 = -3*q + 2. Which is smaller: z or -2?
z
Let w(x) = x**2 + 7*x + 9. Let f be w(-5). Is f at most -6/11?
True
Let q(f) = 2*f**2 + 2*f + 2. Let b be q(-1). Suppose -4*a = 3*g - 10, -5*g + b = a + 8. Let t be -1 + 0 + 1 - -1. Which is bigger: g or t?
t
Let w be (-2)/3 - (-6)/9. Suppose 12 = -w*s + 3*s. Let j be ((-9)/(-3))/(6/s). Which is smaller: j or 3?
j
Let a = -0.8 + 1. Let s = -8133/20 - -1585/4. Let b = 10 + s. Are a and b equal?
False
Let y be (4 + -5)/(2/(-10)). Let n = 7 - y. Is 2 <= n?
True
Let w = -1/18620 + 1452383/428260. Let c = 3417/1150 - w. Let h = c - 2/25. Do -2/9 and h have the same value?
False
Let l be (4/25)/((-9)/(-360)). Are 5 and l equal?
False
Suppose -6*m + m = 0. Suppose 6 = 3*c - m. Suppose -c*d - 3*d = 0. Which is greater: 1 or d?
1
Let p = 3 + -4. Let b = 55/4 + -14. Is p > b?
False
Let i = 1/121 - -3265/242. Do 13 and i have the same value?
False
Let m = 15 + -15. Suppose m = -6*c + 4*c. Is 0 at least as big as c?
True
Let s be (-24)/21 + 1 + 0. Let f(u) = -2*u**3 - 20*u**2 - u - 11. Let m be f(-10). Which is greater: m or s?
s
Let b be -1 + 3/6*2. Let s be (-8 - -2)*3/(-6). Suppose -a + b*a = s. Which is greater: -2 or a?
-2
Suppose -n + 0*n + 7 = 0. Which is smaller: n or 8?
n
Suppose -l - 8 = 3*l. Let b be (-26)/24 - 1/(-3). Which is bigger: l or b?
b
Let x = 0 - 0. Suppose 4*v = -x*v + 4. Which is greater: 2/9 or v?
v
Let l = 16/5 - 43/15. Is l < 25?
True
Let s = 0.4 - 1.4. Which is smaller: 1/5 or s?
s
Let y be (-36)/990*10/(-12). Which is smaller: y or 0?
0
Let l be ((-10)/(-3))/(1/3). Suppose -2*x + 10 = -10. Is l greater than or equal to x?
True
Let k = 0.098 + -0.298. Let g = -3.1 - -3. Is k > g?
False
Let m = -7.1 + 1.1. Let t = -3 - m. Let p = t - 1. Which is greater: p or 0?
p
Let c = -83.3 - -85. Which is smaller: c or -5?
-5
Suppose -4*j = -1 - 7. Do 3 and j have the same value?
False
Suppose -3*t = 3*t - 210. Which is greater: t or 34?
t
Let h = -4 + 4.5. Let y = -0.4 + h. Let b 