*3 + 7*q**2 - 8*q + 6. Let u be p(6). Let r be c(u). Let w be 43/r - (-4)/(-22). Which is smaller: 1 or w?
w
Suppose -5*k + 45 = -2*i - 0*k, i + 4*k - 10 = 0. Is i at least -10?
True
Let q = -101.9 - -0.9. Which is smaller: q or 0?
q
Suppose 3*b - 9 = 12. Which is bigger: b or 8?
8
Let u = -1.2 + 1.1. Let q = -1.9 - -2. Let d = u + q. Are 3 and d unequal?
True
Let q be ((-4)/16)/(1/(-2)). Let k(v) = v - 2*v + 3 + 0*v + 3. Let s be k(6). Which is greater: s or q?
q
Let g = 0.13 - -6.87. Let w = g - 7.04. Let t = -0.14 - w. Is -1 not equal to t?
True
Let a be (5/(-20))/((-2)/16). Which is smaller: 0 or a?
0
Let j(x) = x**3 - 6*x**2 - 4*x + 3. Let g be j(7). Let n be (-3)/g - 4/(-32). Which is smaller: n or -1/21?
-1/21
Let j(l) = l**3 - 2*l**2 + 2*l - 3. Suppose 3*d = 2 + 4. Let p be j(d). Let n = 50 - 199/4. Which is smaller: p or n?
n
Let h be (-6)/(-2) + (-27)/6. Suppose v = -3*v + 12. Let j be -1 - (6 - v) - -1. Which is smaller: j or h?
j
Let c = 1994/13 - 153. Let a = 1/65 + c. Is a less than or equal to 1?
True
Let v be (-4)/2*18/(-4). Are v and 8 unequal?
True
Suppose -2*f = 4*f - 6. Which is greater: -10 or f?
f
Let k be (-2)/(3/3 + 4). Suppose 4*s = -0*s + 3*v - 33, -4*s = 3*v + 63. Let j be 4/s - 1/(-3). Which is smaller: j or k?
k
Let i = 0.2 - 0.3. Let z = -0.28 + -0.82. Let c = z - i. Which is smaller: c or 3?
c
Suppose -14*x + 13*x - 4 = 0. Let r = 5 + x. Is r bigger than 15/8?
False
Let t be (-4 - (-275)/70)*3. Which is smaller: -1 or t?
-1
Let n = -142 + 58. Let v be 2/(-6) + n/18. Which is greater: -6 or v?
v
Let i(o) = o**2 - 8*o - 1. Let k be i(8). Are -1 and k unequal?
False
Let i(l) be the third derivative of -l**5/60 - l**4/8 - l**3/2 + l**2. Let v be i(-2). Let o be ((-20)/18 - v)*-2. Which is greater: o or -1?
o
Let a be 4/(-3)*612/136. Let b = 2 - 8. Is a equal to b?
True
Let b be (-2)/(-8)*74/4. Let z = b - 27/8. Let n = 0.1 - 0. Which is smaller: n or z?
n
Let x(w) = -5*w**3 + 2*w. Let p be x(-3). Let t = p - 643/5. Which is smaller: 0 or t?
0
Let n = 1/19 + -23/76. Is -3 < n?
True
Let b(z) be the second derivative of -z**3/6 - 3*z**2/2 - 2*z. Let s be b(-6). Suppose p - 4 = 5*n, 0*n = s*n - 3*p. Which is greater: n or 3?
3
Let q be 70/(-3) + 1/3. Let s = 67/3 + q. Suppose 0 = -z - 0*z. Is s bigger than z?
False
Let j be ((-1)/(6/3))/((-1)/(-14)). Which is greater: -13/2 or j?
-13/2
Let m = 5/9 + -53/63. Let v be (-2)/2 + 0 + 1. Which is smaller: m or v?
m
Let f(r) = -9*r**2 + 21*r - 8. Let b(v) = -5*v**2 + 11*v - 4. Let n(z) = -11*b(z) + 6*f(z). Let g be n(-6). Is g smaller than -3?
False
Let d = -13 + 8. Let i = d + 3. Suppose -v - 4*v = 5. Is v != i?
True
Let r be 29/(-4)*2/(-1). Let q be (-10 + 8)/(1/7). Let z = q + r. Is -0.4 at least as big as z?
False
Let c be 15/6 + 2/4. Suppose 5 = p + c. Suppose -4*f + 2*h = -2*f, 4*f + 4*h = 8. Which is bigger: f or p?
p
Let s(a) = a**3 - 8*a**2 - a + 7. Let x be s(8). Is 3 greater than x?
True
Let b = 16 + -1. Suppose 4*w = 12, 5*s - 2*s = -5*w + b. Which is bigger: -2 or s?
s
Let z be (1 + 0)*(-9)/(-3). Suppose 2*x + 6 + 1 = g, 0 = -z*x - 12. Let h be 6/((-18)/(-8)*-2). Which is smaller: g or h?
h
Let o = -1 + 0. Suppose -2*i + 4*y = -6*i - 12, 3*y = 3*i + 15. Let z be i/(-1 + 3) + 2. Which is greater: z or o?
z
Let z be (6 - (3 - -2)) + -26. Which is smaller: -0.1 or z?
z
Let w be (-54)/90 - 4/10. Let n = -419/63 - -56/9. Do n and w have different values?
True
Suppose -3 - 1 = 4*w. Let x(b) = b**2 - 3*b + 1. Let f be x(2). Is f greater than or equal to w?
True
Let v = 8 - -12. Suppose 0 = 5*h + 3*a - v, 3*h + 5*a = 4*h + 24. Is 1 at least h?
True
Let g be ((-2)/3)/(2/3 - 0). Let j = 0.36 - -0.04. Which is bigger: g or j?
j
Let c be -1*(-35 - -5)*3/(-5). Are -16 and c non-equal?
True
Let n = 1 - -1. Suppose -4*i - 3*d - 7 = 0, -5*d - 8 = 2*i - 1. Let q = 2 + i. Is n < q?
False
Suppose -d + 0 = -3. Let l be (-2 - 1) + 3 - -1. Suppose 0 = d*x - l - 2. Is -3/7 less than x?
True
Let m = -8.9 - -9. Is 0 at least m?
False
Let b = -64/369 - 2/41. Is -1 not equal to b?
True
Let m be (-2)/(-2) - (-6)/(-10). Suppose -4*o = -4*a - 4, 5*o = -a + 4*o + 7. Let t be a/(-3) + (-1 - -1). Which is greater: t or m?
m
Let s be (46/10 - (-4)/10)*2. Which is bigger: 11 or s?
11
Let l = -23.05 - -23. Is l < 1?
True
Let c(d) = d**3 - 6*d**2 - 8*d + 4. Let g be c(7). Is g bigger than -14/9?
False
Suppose -13*x = -53 + 235. Is x bigger than -14?
False
Let x = -17 - -25. Let f = -11 + x. Which is smaller: f or 1?
f
Suppose 5 = 2*g + 3. Let u be (-1)/(-2)*(-4)/(-2). Is u smaller than g?
False
Let i be -5*6*2/(-15). Let d(l) = l - 3. Let k be d(i). Let o be (-8)/(-6)*(-1)/(-4). Are k and o unequal?
True
Let q be (-1 - 0)/(13/(-7)). Let g = -15/52 + q. Is g bigger than -0.1?
True
Let u be -5 + -6*1/2. Let y be 2/u - 21/(-132). Which is smaller: 1 or y?
y
Let a(o) = -o**3 + 7*o**2 - 7*o + 6. Let u be a(6). Let g be (-1 - 5)/(-2) - u. Let k(i) = i + 11. Let c be k(-9). Do g and c have different values?
True
Let n = -23/56 + 1/8. Which is smaller: 6/25 or n?
n
Let j(a) = a + 11. Let z be j(-8). Suppose -z*h + 12 = -h. Suppose 2*l + 0*x - h = -2*x, -12 = -4*x. Are l and 0 non-equal?
False
Let l be (-7)/(-3)*(-26)/(-273). Let k = 3 - 3. Is l greater than or equal to k?
True
Let d = 27/14 - 3/7. Let v(u) = 2*u**3 + u - 1. Let z be v(1). Which is bigger: z or d?
z
Let m be (3 - 2)*(-3 - (-10)/4). Is -1/9 not equal to m?
True
Let x be (1*8 + -2)*1. Suppose 0 = r - 0*r - 10. Let l be (-5)/r - x/(-4). Is l greater than or equal to 2?
False
Let t = 0.1 + -0.1. Let l = -3.4 + 3.44. Which is greater: l or t?
l
Let s = 4.8 + -5. Is -2/9 greater than s?
False
Let i = 93054 - 9212215/99. Let o = 17/11 - i. Let k(m) = 2*m**2 - m - 2. Let y be k(0). Which is smaller: o or y?
y
Suppose -3*p = -4*p. Let i be 4/78 - p/(-1). Which is bigger: i or -1?
i
Suppose 33 + 42 = -5*a. Let y be a/(-10) - (-9)/(-2). Let i be (-1)/(-1) + (-1)/3. Which is bigger: y or i?
i
Suppose -2*q - 3*q + 3150 = 0. Let d be ((-98)/(-1707))/(96/q). Let u = -1/569 + d. Does 0 = u?
False
Let s = -4.2 + 4.1. Which is bigger: 1 or s?
1
Let b = 5189/7 + -743. Which is bigger: b or -2?
b
Let n = 500/7 - 1507/21. Let r = -0.18 + 0.2. Which is smaller: r or n?
n
Let r(i) = -3*i**2 - 16. Let m(l) = l**2 + 1. Let q(t) = 4*m(t) + r(t). Let c be q(-5). Is 13 greater than or equal to c?
True
Let j = 43 - 49. Let k = 3.7 - -1.3. Let w = j + k. Which is bigger: -2 or w?
w
Suppose -29*g + 21 = -8. Let d be (-20)/3 + 2/(-6). Which is bigger: d or g?
g
Suppose -y + 10 = -2*s, 0*s + 3*s + 5 = -y. Let q be (-8)/6 - 4/6. Are q and s nonequal?
True
Suppose v - 12 = -10. Is v at most as big as -6?
False
Suppose 0*m = -n - m - 3, m = 0. Let h be 2 + (n - -2) - 5. Which is bigger: -5 or h?
h
Suppose -3*v + 7 = -4*f, -4*f = 2*v - 8*f + 2. Is v equal to 35/4?
False
Let n(f) = f**2 - f + 1. Let q be n(0). Suppose 0 = -0*i + 4*i. Is i greater than q?
False
Let h be (3 - 2)*-1*(-6)/(-2). Is -3/2 at least as big as h?
True
Let m = 2872/7 + -412. Let n = m + 55/28. Which is bigger: n or 1?
1
Let q(c) = c**2 + 7*c + 2. Let k be q(-7). Let p be (k - (1 + -3))*-1. Let o be (-6)/p + (-2)/4. Is o smaller than 1?
False
Let z = 70 - 44. Suppose v - 5*a - 25 = 0, -5*v - 5*a + 1 = z. Is 1 greater than v?
True
Let n(r) = 24*r + 4. Let h be n(3). Is h > 74?
True
Let g = 10 + -6. Let j = -16 - -15.7. Which is smaller: g or j?
j
Suppose 3*g + 5*c = 12, -6*c + 5 = g - 4*c. Which is bigger: g or 1?
1
Suppose -g = d - 4, 3*d + 2*g - 3*g = -4. Let f = 167499004/231 + -725102. Let m = f + -44/21. Is d at most m?
False
Suppose -2*d = d. Are d and 4/5 non-equal?
True
Let l = -0.2 - -0.1. Let i be 0 + 21/12 + -1. Which is greater: i or l?
i
Let a(q) = -q**3 + q**2 + q + 7. Let u be a(0). Suppose u + 63 = -5*j. Let m be 16/(-56) - 32/j. Is 0.1 at most as big as m?
True
Let c be (-12)/(-16)*(2 + 2). Suppose 5*w - 10 = -0*w. Suppose 4 = 4*m + w*o, 3 = -3*m - 0*o - 3*o. Is c less than m?
False
Let w = -0.02 - 0.1. Let g = w - -1.12. Which is greater: 0.16 or g?
g
Let b = -31 + 32. Is b smaller than -2/221?
False
Suppose 6*p - 15*p - 261 = 0. Is -31 greater than p?
False
Let g be (-13)/(-5) - (-4)/10. Let k = 16 - 0. Suppose -t - k = -5*t. Is g at least as big as t?
False
Let a = 87 - 42. Suppose -4*