uppose 2*k - k = -4, 0 = -5*q + 2*k + 38. Let g be s(q). Which is greater: -2 or g?
-2
Let a = -18 - -12. Let x = 7 + -8. Are x and a non-equal?
True
Let f be ((-4)/49)/((-7)/(14/(-12))). Is f >= 1?
False
Let v(h) = -h**3 + 6*h**2 + 6*h + 7. Let p be v(7). Let f be (-1)/(-7) - (-300)/105. Let n be 2/(-6) - (-3 + f). Is p bigger than n?
True
Suppose 4*n + 3*h - 3 + 12 = 0, 0 = -3*n - 3*h - 9. Suppose 1 + 8 = 3*o. Let g = o - 3. Do n and g have different values?
False
Let z(q) = q + 10. Let r be z(-5). Suppose 0 = -4*h - 3*a + 18, 0 = h + 4*h + r*a - 25. Let t be 1/1*(0 - -3). Is t bigger than h?
False
Let x be (-5)/(-4)*6/(-45). Which is bigger: 1 or x?
1
Let w = -3.03 - -3. Let j = 433 + -436.97. Let c = w + j. Are c and 0 non-equal?
True
Let j(n) = -2*n**3 + 5*n**2 + n**3 + 2*n - 2*n. Let i be j(5). Suppose -y + 2*v + 6 = i, y + 0*v - 3 = v. Which is smaller: y or -6?
-6
Suppose -2*o = -0*o - 2*b + 14, 2*o = -b - 17. Which is greater: -1 or o?
-1
Let x = -9 - -11. Let p(b) = b**3 - b**2 - b + 2. Let g be p(0). Let t be g/4*(-1)/x. Which is bigger: -0.2 or t?
-0.2
Let o = 1.2 - 1. Let b(x) = x**3 + 7*x**2 - 5*x + 6. Let v be b(-8). Let w = v - -53/3. Is o greater than w?
True
Suppose -147 = 5*f - 12*f. Which is greater: f or 23?
23
Suppose 9*p - 72 = -234. Is -20 smaller than p?
True
Let y = -2.7 - -0.7. Which is bigger: 3/5 or y?
3/5
Let l be (-4)/(-32)*4*(-16)/44. Suppose 0 = 3*i + 3*p + 29 - 8, 4*p = -20. Let k = -3 - i. Is l greater than k?
True
Let d(i) = -i + 10. Suppose -30 = 4*l - 9*l. Let p be d(l). Suppose -m = -3*m + p. Is 2 != m?
False
Let h be (3/6)/(2/(-8)). Suppose -2*b = 2*b + 28. Let d(g) = g**2 + 6*g - 10. Let z be d(b). Which is smaller: z or h?
z
Let p = 131 + -657/5. Do 58 and p have different values?
True
Let x = -16 - -14. Is x less than -6?
False
Let p = -301 - -1511/5. Let j(h) = h**2 + h. Let q be j(1). Are q and p unequal?
True
Let l be (10/(-15))/((-6)/(-22)). Which is smaller: -1 or l?
l
Let r = -3 - -3.3. Let d = -0.5 + r. Let p = 29/54 - 1/27. Which is smaller: d or p?
d
Let s = -40 + 43. Suppose 0 = 6*t - t - 20. Suppose -14 - t = -s*m. Is m > 6?
False
Let g = 2803/6 - 471. Is -3 at least g?
True
Suppose -3*i + 0 - 6 = 0. Let s = 0.3 + 0. Is i at most as big as s?
True
Let z = -9.046 + -0.054. Let u = -6 - z. Let j = 3 - u. Which is smaller: 0.06 or j?
j
Let a be (-1)/3 + (282/(-72) - -4). Which is smaller: 13 or a?
a
Suppose -t = 2*t - 15. Suppose 0 = t*q - 5*m - 15, -4*m = 3*q + 2*q - 15. Which is smaller: 1 or q?
1
Let l = 0.1 + 0. Let o be (-2 - 2) + 13/(546/180). Does o = l?
False
Let v = 27 - 136/5. Are -1 and v non-equal?
True
Suppose 3 = 3*m - 4*m. Are -2 and m equal?
False
Suppose -i - 13 = -5*y + 7, -3*y = 2*i - 12. Let q be -5 + 6 + (y - -1). Suppose -3*s = -q - 0. Is 3 < s?
False
Let b be (-27)/(-9) + (-8)/2. Which is bigger: b or -5?
b
Let o(t) = -t**3 - 9*t**2 - 8*t + 8. Let k be o(-8). Let n = k + -5. Suppose 0*j = j + p + n, 3 = -4*j - p. Is -1/3 at least j?
False
Suppose 5*m + 3*h = -759, -3*m = 5*h + 508 - 59. Let y = 1529/10 + m. Let s be (1 - (2 - 4))*1/(-3). Is y at most s?
False
Let t = -143/3 + 48. Which is smaller: t or 1/4?
1/4
Let v = 869/3653 + -2/281. Is 0 >= v?
False
Suppose -2*x + 1 = 4*v - 13, 0 = -2*x + 4*v - 18. Is -1/10 at least as big as x?
True
Suppose 0 = -0*l + 2*l - 2. Let m = 524/5 - 104. Which is smaller: l or m?
m
Let y be (3/(-4))/(2/8). Let g be ((-4)/5)/(2/10). Which is smaller: y or g?
g
Let r be (-2 + 3)*5*(-4 - -3). Let x(a) = -a + 3*a + 0*a. Let l be x(r). Which is smaller: -9 or l?
l
Let g(v) = v**2 - 9*v + 3. Let m be g(8). Let c(f) = f**3 - 3*f**2 + 2*f - 3. Let n be c(3). Let d be (-1)/(2/n) - -2. Which is smaller: d or m?
m
Let g = 0.2 + -0.4. Suppose -5*l - 2 - 8 = 0, -3*i = -3*l - 36. Let s be ((-2)/i)/((-6)/(-15)). Which is bigger: g or s?
g
Let a = 0.08 + -0.04. Let k = a - -5.96. Let u = -6.5 + k. Which is smaller: 1 or u?
u
Let b be (-8)/20*-1*-20. Which is greater: -6 or b?
-6
Let n(w) be the third derivative of w**4/24 + w**3/2 - 2*w**2. Let v be n(-4). Let q be v - (9/12 - 2). Do -1 and q have the same value?
False
Suppose 0 = 5*u + 17 - 7. Let k = -1 - u. Let f be (1/(-5))/(8/(-10)). Which is smaller: k or f?
f
Let m be (-3)/(-4 - (-19)/4). Is -4 less than or equal to m?
True
Let k = -541/2786 - 4/199. Let f = 12 + -13. Which is greater: k or f?
k
Let p = -36 + 21. Let q be (2 + (-26)/10)*p. Let u(f) = -f + 7. Let h be u(q). Is h > -1/2?
False
Suppose -2*k + 3 - 2 = 3*r, r - 4*k + 9 = 0. Let c be (0 - r)/(2 - 1). Let g = c - 1. Are 1/3 and g unequal?
True
Let g(k) be the second derivative of k**3/6 - 4*k**2 - 2*k. Let p be g(6). Let j(u) = u**2 + u + 2. Let a be j(p). Is 5 < a?
False
Suppose -5 - 1 = -3*y. Let l = -8 - -12. Suppose -l*q = w + w - 18, 5*w - 18 = -q. Which is bigger: w or y?
w
Suppose 5*v - 1 - 9 = 0. Let u = 18 + -17. Is u smaller than v?
True
Let i be (-24)/(-14) + (-4)/(-14). Suppose 4*x = -k - 5, 3 - 1 = -4*x + i*k. Are x and -3 equal?
False
Let f = -0.31 + -0.29. Which is greater: -2 or f?
f
Let z = -20 - -20.3. Which is smaller: z or -16?
-16
Let c(u) = -5*u - 2. Let l be c(-2). Suppose -3*d - 2 - 2 = -r, 2*r = 5*d + l. Are -3/2 and d non-equal?
True
Suppose z = 4*r - 5, -4*r + 4*z - 18 = -7*r. Suppose 0 = r*o, -5*o = -3*j - j - 8. Which is bigger: -4/3 or j?
-4/3
Suppose 4 = 6*q - 2. Which is bigger: -2/243 or q?
q
Suppose 0 = 3*g - 5*g. Let x(k) = k**3 + 1. Let o be x(g). Let d = -866/7 + 124. Is o equal to d?
False
Let o = -0.353 - 0.647. Let i = 0.2 + 5.8. Is i greater than o?
True
Let o be (-80)/182 - (-50)/325. Let g(z) = z**2 - 6*z + 5. Let h be g(5). Suppose h*s = s. Do o and s have the same value?
False
Let q be (-5)/(-15) + 8/3. Let z be (2/5)/(q/(-5)). Let k = -3 + 3. Is z bigger than k?
False
Let a(q) = q**2 + 4*q + 2. Let g be a(-4). Suppose -g*b - 4 = -6. Is b at least 1?
True
Suppose -4*u - 3 = -5*u. Let s(j) = -5*j. Let y be s(-3). Suppose -y = u*f - 4*m, m - 15 = 2*f - 5. Does f = 0?
False
Let l(f) = f**3 - f**2 + f - 9. Let b be l(0). Is b greater than -9?
False
Let n = -8 - -11. Suppose -n*i - 4*q + 23 = 2*i, -5 = -5*i + 5*q. Which is bigger: 1 or i?
i
Let r = 881 - 51973/59. Are r and 1 nonequal?
True
Let l = -410 + 405.98. Let q = l + 0.02. Which is bigger: 2/5 or q?
2/5
Let r be ((-71)/35 + 2)/(16/10). Which is bigger: r or 0?
0
Let t = -12 - -17. Let o = -4 + t. Which is greater: o or -1/9?
o
Let g(o) = -2*o + 3*o + 2 + 0*o. Let h be g(-3). Let f(k) = 2*k**2 - 1. Let a be f(1). Is h < a?
True
Suppose -3*y + 0 = 2*j - 25, 3*j - 33 = -3*y. Suppose 2*w = -0*w + j. Is 4 smaller than w?
False
Let y be 14/105 + 6/(-95). Let a = y + -50/171. Are 1 and a non-equal?
True
Let u = -1.9 + 0.9. Which is smaller: u or -0.05?
u
Let a = -17 - -16. Which is bigger: -3 or a?
a
Let s = 147/4 - 37. Which is smaller: s or 1.3?
s
Let d be (3/(-6))/((-1)/(-2)). Let z = 6343/17 - 373. Which is greater: z or d?
z
Let n = 2.7 + -3. Let t = 0.4 + n. Let u = 0 - t. Which is bigger: 3/8 or u?
3/8
Let u = 196 + -196. Suppose -3*z - 2*c - 7 = 0, 22 = 4*z - 4*c + 58. Let g be z*2*(-2)/4. Which is smaller: u or g?
u
Suppose 27 = -2*v - v. Is -8 less than or equal to v?
False
Let l = -1.38 - -1.38. Which is bigger: -4.1 or l?
l
Let u be (-2)/(-11) + (-10)/(-66). Which is bigger: 0.2 or u?
u
Let r be 33/(-3) - (-5 + 2). Let b be r/(-126) + 8/(-28). Is 1 at most b?
False
Suppose -2*y + 4*y = -4. Let q = 1 + -1. Which is smaller: y or q?
y
Let f be -2*-1*(2 - -5). Let k be 4/(-8) + f/4. Suppose k*p = 5*p. Which is smaller: p or -4/3?
-4/3
Let x = -22 + 16. Which is bigger: x or -4?
-4
Let h be ((-3)/10)/(2/(-4)). Which is smaller: 3 or h?
h
Let w = -80.9 + 91. Let b = -10 + w. Which is smaller: b or 1/3?
b
Let b = 47/114 + -3/38. Let v = -2/5 + b. Is -1 greater than v?
False
Suppose 5*h + 84 = m, 0*m - m = 3*h + 52. Is h bigger than -19?
True
Let b = 0.1 - 0.3. Let h = 21 - 23. Is b bigger than h?
True
Let v be (-4)/(-10) - (-6)/(-15). Is 8/9 greater than v?
True
Let h be 2*3/30*28. Which is smaller: h or 5?
5
Let p = 114/391 + -4/23. Which is bigger: 0 or p?
p
Let b be (-2)/(2/9*-3 - 0). Which is bigger: 4 or b?
4
Suppose -2*p - 48 = u, 3*p + 41 = -5*u - 17. Is p less than or equal to -27?
False
Let r be 9/(-108) + 3/(-12). Suppose -8 =