*a + u - 2 = 0. Is a > v?
False
Suppose h + 9 = 4*h. Let b(k) = -3*k**3 + 2*k - 2 + 2*k**3 + 2*k**2 + 5. Let o be b(h). Is 0 at most as big as o?
True
Suppose -63*p = -67*p. Let y = -0.198 + 5.088. Let c = y + 0.11. Is c less than or equal to p?
False
Let d be 108/45*30/(-9). Which is bigger: d or -7?
-7
Let g be -3*(4/(-1))/4. Which is smaller: g or 5?
g
Suppose -6*w = 6 - 6. Is w less than or equal to -2/3?
False
Let h be (-1)/147*(-12)/2. Which is smaller: h or 1?
h
Suppose -9*k + 45 = 54. Which is greater: k or 1/61?
1/61
Suppose -48 + 13 = 5*f. Is -8 at least as big as f?
False
Let r(x) = -x**3 + x**2 - 2*x + 1. Suppose 1 = g - 3. Suppose g*o - o - 3 = 0. Let q be r(o). Are -2 and q nonequal?
True
Let k(u) = -21*u + 37. Let n be k(3). Which is greater: -27 or n?
n
Let a(y) = -y - 2. Let w be a(-3). Let h = 0 + -1. Which is greater: w or h?
w
Let s = -95 + 140. Are 1 and s equal?
False
Suppose 5*u = -0*p + 3*p + 28, 4*p = 2*u - 14. Let z(x) = -5*x**2 + 0*x**2 - 7 + x + 0*x**3 + x**3. Let t be z(5). Is t < p?
True
Let a(y) = 2*y + 2. Let w be a(-3). Let r be 5/w + (-7)/(-28). Let o be 1/(-9)*3/(-2). Are r and o non-equal?
True
Let i be (((-20)/11)/5)/(-2). Which is smaller: -1/4 or i?
-1/4
Let h = -505/6 + 84. Is h <= 0?
True
Let w be -2 + ((-80)/9)/(-4). Let z = 2 + -2.2. Is z greater than w?
False
Let v(m) = m**3 + 7*m**2 + 9*m - 3. Let l be v(-4). Is 8 != l?
True
Let k = 21 + -19. Suppose k*r + 3*r = 0. Does r = 0?
True
Let r(x) = -x**2 - x - 6. Let m be r(0). Let h be (-20)/12 - (-2)/m. Do h and -2/3 have different values?
True
Suppose -3*n - 32 = n. Let s = n + 5. Is s < -8/5?
True
Let w(y) = 1. Let i(d) = d**3 - 6*d**2 - 6*d - 5. Let c(p) = i(p) - w(p). Let k be c(7). Is k greater than 2/19?
True
Let c = 21 - 30. Are c and 0.2 nonequal?
True
Let m(t) = t**3 + 3*t**2 - 2*t. Let f be m(3). Let b be (-8)/f + 31/6. Do 5 and b have different values?
False
Let z be (-17)/24 + 1/3. Suppose -3*o = -o. Which is smaller: o or z?
z
Suppose -58 = -41*z + 270. Suppose 0 = t + 3*s + 8 - 27, -48 = -4*t - 5*s. Which is greater: z or t?
z
Let f(h) = -h**2 + 6*h - 5. Let j be f(3). Let m = 7/2 - j. Is -1 at most as big as m?
True
Suppose 3*b + u - 2 = 0, -4*u + 9*u - 10 = -3*b. Let s = 6 + -19/3. Are b and s nonequal?
True
Suppose -5*z - 11 = 2*s, 2 = -s - z + 1. Let j be (s/(-5))/((-2)/(-10)). Suppose -i - 3 = g - 2, -2*i + g - 2 = 0. Which is smaller: j or i?
j
Suppose 10 + 9 = -c. Is c >= -20?
True
Let i = -16 + 41. Which is bigger: i or 24?
i
Let i = 7579/4 - 1925. Let r = 30 + i. Which is smaller: r or -8?
-8
Let n be 94/4 + 3/2. Let i be 41/60 + (-15)/n. Which is greater: 1 or i?
1
Suppose t = -3*l - t - 65, -100 = 5*l - 5*t. Which is greater: l or -19?
-19
Let a(f) = -2*f**3 - 2*f**2 + 3*f + 2. Let c be a(-2). Let u be -12*(3 + 0)/(-9). Is c bigger than u?
False
Suppose 0 = f - 2. Suppose -4*g + 20 = 0, n - 6 = -3*n - f*g. Let k be 1 + -1 + (-4)/14. Are n and k unequal?
True
Let w = -4 - -3. Let o = 0.3 - 0.35. Let r = o + 2.05. Which is smaller: r or w?
w
Let b = -2 + 4. Let q be 3*((-17)/8 + b). Let r = -8 - -8. Which is bigger: q or r?
r
Let i(t) = -t**2 - 6*t. Suppose -u - 9 + 3 = 0. Let g be i(u). Let x = g - -1. Is 1 greater than x?
False
Suppose 5*t - 3*r + 6*r + 64 = 0, -4*t - 56 = 4*r. Let v be (-4)/10 + t/(-440). Do 0 and v have different values?
True
Let k be 2/4 - 7/6. Is k at most as big as 3?
True
Let d = 24 + -23. Is 2/59 greater than or equal to d?
False
Let i = 48 - 85. Which is greater: i or -38?
i
Suppose g + g - 15 = -3*k, 3*g + 5*k = 25. Suppose y + 7 = 3*o, g = -2*y - 3*y - 20. Which is greater: o or 2?
2
Let d = 24.1 + -24. Let n = 0.7 + 2.3. Let p = -4 + n. Do p and d have different values?
True
Let r = -12 + 14. Are r and 1 non-equal?
True
Let m(l) = -5*l - 4 - l**2 + 5*l + 5*l. Let c be m(4). Which is smaller: -2/13 or c?
-2/13
Suppose 0 = -h - 3*h + 2*r + 6, 0 = 4*h + 2*r + 6. Let p be 16/(-6) + (-2)/(-3). Which is smaller: h or p?
p
Let i = 0.5 + -0.3. Let l = -35.9 - -36.9. Are i and l non-equal?
True
Let w = -14 + 8. Let k = -7 - w. Is -5 at least k?
False
Let v = 1/16 + 3/16. Suppose -3*o - 11 = -5*a - 1, 0 = -5*o - 25. Let h(g) = g**2 + g. Let b be h(a). Which is bigger: b or v?
v
Let j = 0.04 - 2.04. Let k = j + 1.9. Which is greater: k or 3/2?
3/2
Let h = 25 + -25. Which is bigger: -1/21 or h?
h
Let x be 1/(1/10) - 0. Let g be (-26)/7 + x/(-35). Let w be (-15)/g - (-1)/(-4). Which is greater: 3 or w?
w
Let k(x) = x**2 + 9*x + 11. Let j be k(-8). Is j equal to 4?
False
Let a be -33 - -2*(-9)/6. Let g = -16 - a. Let u be g/11 - 12/(-66). Are 5/2 and u unequal?
True
Let f = -16 - -14.5. Let o = 0.5 + f. Which is greater: -0.4 or o?
-0.4
Let a = -0.031 + 7.031. Let d = -1 - -0.8. Which is bigger: d or a?
a
Let a(s) = -2*s - 1. Let m be a(-3). Let b = m + -17/3. Are 1 and b non-equal?
True
Let m(l) = -l**3 + 9*l**2 - 9*l + 6. Let k be m(8). Let b be (-10)/6 - (-2)/2. Which is bigger: k or b?
b
Let l(u) = 9*u**2 - 6*u - 9. Let f(d) = 4*d**2 - 3*d - 4. Let p(q) = 7*f(q) - 3*l(q). Let g be p(3). Let v = 4 + -7. Is v < g?
True
Let b = 1051570/229 + -4592. Does b = 1?
False
Let x(d) = d + 3. Let u be x(6). Let p = -227 + 236. Do u and p have different values?
False
Let w(j) = j - 2. Let g be w(5). Let o(f) = -f - 2*f**2 + g*f**2 + 0*f**2 - 2. Let l be o(2). Is l at most -1/5?
False
Suppose c = 6*c - 20. Let s be (-36)/273 + c/14. Let b(r) = -r**2 + 18*r. Let z be b(18). Is s less than or equal to z?
False
Let n(y) be the second derivative of -y**4/12 - 3*y**3/2 + y**2/2 - 10*y. Let z be n(-9). Which is greater: 0 or z?
z
Let k(a) = a**2 - 8*a - 12. Let b be k(9). Let m = -3 + 0. Is b at least as big as m?
True
Let d = 1.1 + -1.07. Which is smaller: d or -2?
-2
Let f = 115/14 - 17/2. Which is bigger: f or 0.03?
0.03
Let i(j) = j**3 - j. Let c be i(-1). Let m = -7.3 + 7. Let h = m - -0.2. Which is smaller: c or h?
h
Suppose 6*n - n - 100 = 0. Suppose -k + n = -6*k. Which is bigger: -5 or k?
k
Suppose 4*y - 1 = 5*y. Let q be y + 1 + 2/3. Is 0 equal to q?
False
Suppose 3*v + 22 = -0*q - 5*q, 3*q + 18 = 3*v. Let b be 7/(-63)*(-3)/1. Is v at least b?
True
Let f = -977 - -1911/2. Let m = f + 21. Is 3 at least m?
True
Suppose -7*d - 4 = -3*d. Let l = -2 - -3. Let f be d/((3/(-12))/l). Which is bigger: 3 or f?
f
Suppose -6 = -0*o - 2*o. Suppose 5*a + 7 = -o. Let l = 4 + a. Is 4 < l?
False
Suppose -24 = -2*x - 0*x. Suppose 0 - x = o. Let p be o/21 + 1/1. Are p and -1 equal?
False
Let d be (-44)/(-2)*(-6)/12. Let w be 1/((-1)/8) + -2. Which is greater: w or d?
w
Let x = -779/10 + 78. Which is greater: 0 or x?
x
Let c = -1051.93 + 1047. Let u = -5 - c. Let d = u - -0.17. Is d < 0?
False
Let x = -21 + 32. Let c = 5 - x. Let z be (1 - 1)*3/c. Which is greater: z or -4/7?
z
Let b = -5 - -3. Let w be (-2)/4 - 1/b. Let z = -4 + 4. Is w not equal to z?
False
Suppose 2*u + 21 = -u. Let s = u - -6. Is s at most -2?
False
Let j = -0.034 - -0.014. Let l = -0.2 - 0. Let q = l - -0.3. Which is smaller: q or j?
j
Let c = -0.1 + -11.9. Let q = 11 + c. Which is bigger: q or 0.2?
0.2
Let z be (-3 - -6)/(6/43). Which is greater: z or -0.1?
z
Let p(z) be the third derivative of -z**6/120 - z**5/60 + z**4/24 + z**2. Let t be 4/(-6)*(10/4 + -1). Let g be p(t). Which is smaller: g or -6/5?
-6/5
Let d(l) = -l**3 - 12*l**2 - l - 16. Let g be d(-12). Which is smaller: -5/2 or g?
g
Let f = 33 + -34. Let r be ((-50)/26 + 2)*6. Is f equal to r?
False
Let o(p) = -p**3 + p - 6. Let f be o(0). Let d be ((-60)/6)/(1 - f). Which is smaller: -1 or d?
d
Suppose -5*k + 2 = -4*u, 2*u - 4*k + 2 = 4. Suppose 5*n + 8 = g, -6 = 2*n + g - 0*g. Is u at least as big as n?
False
Let u be 0 - (-2 + (-8)/(-5)). Is -1 greater than or equal to u?
False
Let d = -2.4 - -2.2. Which is smaller: d or -0.1?
d
Let f = -1/21 + -8/21. Let m = -0.2 + 1.2. Which is smaller: m or f?
f
Let j(y) = y**3 - 3*y**2 - 2*y + 4. Let q be j(3). Let s be (0 - -1)/(12/q). Which is greater: -1 or s?
s
Let m be (-13)/4 + (-7)/(-28). Let r be (-18)/(-4) + m/6. Is r at least as big as 4?
True
Let b(g) be the second derivative of -g**4/12 + 5*g**3/6 - 3*g**2/2 - 2*g. Let z be b(3). Which is greater: 1/4 or z?
z
Suppose 7 = 2*f - 7. Which is smaller: 4 or f?
4
Let j be (-4)/((-36)/(-515)) - (-8)/36. Are -