 = -4*s + s. Let k be 171/52*(-1)/15. Let a = 2/65 - k. Which is smaller: s or a?
s
Let p(d) = 3*d**2 - 6*d - 7. Let s be p(3). Let j = 85 + -253/3. Which is smaller: j or s?
j
Let s = 0.26 - -0.04. Let o = -20.1 + 20. Let b = o + s. Which is smaller: b or -2/7?
-2/7
Suppose d - 8*d + 7 = 0. Is d < 3/5?
False
Let k = -2 - -7. Suppose k*g = -2*j + 5*j, -5*j = -g. Suppose 4*a - 14 = -j*a + 5*n, 3*a = 4*n + 11. Is 1 < a?
False
Let p be (-12)/48 - 30/8. Is p greater than or equal to -5?
True
Suppose -2*p + 80 = -3*p + 2*g, -2*p - 159 = -3*g. Let o = p + 704/9. Is 1 smaller than o?
False
Let k be 0/((-4)/((-4)/2)). Let y be (0 + 1 - 2)*-1. Suppose 4*g - 5*g = -y. Is k less than g?
True
Suppose 0*z + 4*t = 5*z + 11, z + t - 5 = 0. Let s(n) = n**2 - 4*n - 1. Let c be s(4). Let b = z + c. Is 2 less than b?
False
Let z be (-38)/9 - (-2)/9. Suppose 4*r + 5*i + 22 = -0*r, -2*r - 14 = 4*i. Which is smaller: r or z?
z
Let v = 0.3 + 0.3. Let a = 0.6 - v. Which is bigger: a or -0.1?
a
Let c = 5 + -1. Suppose c*v - 2*v - 6 = 0. Suppose 13 - 4 = v*s, l + 13 = 3*s. Which is greater: l or -3?
-3
Suppose 0 = -3*v + 2 - 11. Let u(f) = 3*f + 1. Let w be u(-1). Is w smaller than v?
False
Suppose 0 = -5*d - 22 - 133. Which is bigger: d or -29?
-29
Let r(h) = 2*h**3 + 2*h**2 - h + 2. Let q be r(-2). Is q at least -5?
True
Suppose -5*w + 16 = 5*l - 29, -41 = -5*w - 4*l. Let k be (-26)/(-10) + 2/w. Let r be k/6*4/6. Is 0 equal to r?
False
Let i = -6.4 + 3.4. Is i <= 1?
True
Let n = -2 + 5. Let y be (-2)/n - 8/(-9). Are 0 and y non-equal?
True
Let a(w) = w - 3. Let k = -12 - -17. Let n be a(k). Suppose -4*u - v - 4 = 4*v, n*u - v + 2 = 0. Is -2/21 != u?
True
Suppose 4*q = -4*j + 3*q + 1, -3 = -3*q. Suppose 0 = -d - j*d - 3. Let b be ((-144)/22)/d - 2. Which is bigger: b or 0?
b
Let b = -0.19 - -0.1. Let f = b + 0.09. Is -1 >= f?
False
Let f = 2.837 - 0.037. Which is smaller: f or -1?
-1
Let a = 355/4 - 90. Let z = 1.3 - 0.3. Which is smaller: z or a?
a
Let m = 267/13 + -244/13. Let v = m + -21/13. Which is smaller: v or 0?
0
Suppose 0 = 4*i + 224 + 112. Are i and -84 non-equal?
False
Let w = 6 - 8. Let c(z) = -2*z**3 + 2*z - 1. Let r be c(1). Which is smaller: w or r?
w
Let i = -11 + 15. Let d = -71 - -71. Which is bigger: i or d?
i
Let x = 34 - 33. Suppose 0 = -5*q + k + 1, q + 16 = -3*q + 5*k. Let r be (2 - q) + 1/2. Which is greater: r or x?
r
Let o = 138/5 + -27. Let t = 7889/10 + -790. Let n = t + o. Is -1 at most n?
True
Let y(p) = -6*p - 6. Let c(l) = -l - 5. Let i(m) = -1. Let j(r) = -c(r) + 4*i(r). Let h(g) = -11*j(g) - 2*y(g). Let a be h(2). Is a at most 3?
True
Suppose -h + 7 = -0*x - 3*x, 5*x + 15 = h. Let p(c) = -c**2 + 5*c - 4. Let t be p(3). Let n = t - 4. Is n greater than x?
True
Let k = 0.13 + 2.07. Let u = k - 2. Let i = -5.9 + 6. Is u at most as big as i?
False
Suppose -135 = -f - 16. Suppose -5*b - 2*t + 298 = 0, -3*t + 4*t = -2*b + f. Let r be 76/b - (-2)/(-3). Which is smaller: 2 or r?
r
Let f = -23 + 20.5. Let u = 1.8 + f. Is u at most 0?
True
Let r = -15 - -7. Let m = r + 5. Let h = m + 1. Is h > -0.1?
False
Let g(q) = q**2 + 6*q - 2. Let k be g(-6). Let s = 4 - 5. Is k at least s?
False
Let u(p) = -p - 4. Let k be u(-3). Suppose 0 = -6*j + 2*j + 20, -3*w + 3*j = 15. Let c be 44/(-55)*(w + 1). Which is smaller: c or k?
k
Let c(s) = -s + 7. Let f be c(5). Let g be ((-2)/(-7))/(f/14). Which is bigger: g or -1/2?
g
Let s = -3 - -5. Let y be (25/s)/5*2. Suppose 6*i = i + y. Which is smaller: i or 3?
i
Suppose -3 - 9 = 3*i. Let m = 0 - 0. Let d = i + m. Which is smaller: 1 or d?
d
Suppose -2*r = -4*f - 1 - 1, -5*f - 2*r = -2. Let z = 1.7 - 8.7. Which is smaller: z or f?
z
Let g be 1/39*-52441 + -1. Let h = g - -17708/13. Let p = h + -50/3. Which is smaller: 1 or p?
p
Let p = -7/36 + -1/18. Let f = -212 - -643/3. Is p at most f?
True
Let i be 20/21 - 6/9. Suppose 0 = -2*w - 3*c + 13, 0 = -0*c + 5*c - 25. Which is greater: w or i?
i
Let b = 0.26 - 0.26. Let p = 0.06 - -2.94. Let w = p + -2. Is b less than or equal to w?
True
Let d = -3/14 + -1/28. Let s be 2 + (-2)/(-11) - 2. Which is smaller: s or d?
d
Let f = 0.035 + 1.965. Which is smaller: 10 or f?
f
Let y be 0 + 1*12/64. Is 1 >= y?
True
Suppose -2*o - 6 = -8. Suppose 3*a + 0 + 3 = 0. Is o less than a?
False
Suppose 2*i = -i. Is i at most -6?
False
Let j = -28 - 17. Are 0 and j equal?
False
Suppose 1 = -3*n - 4*k + 22, 5*k = -5*n + 30. Suppose n*z = -z - 4. Let m be ((-6)/(-4))/(18/8). Is m bigger than z?
True
Suppose 8 = -2*o + 2, 0 = -5*p + 5*o + 20. Let g be (1520/(-1518) - -1)*1. Let s = g + -1009/2277. Is s != p?
True
Let l = 0.27 - 2.57. Let j = 3.3 + l. Which is smaller: 0.01 or j?
0.01
Suppose -5*p - 1 = 4. Is -2 at least p?
False
Suppose -d - 3*h = h + 9, 21 = 3*d - 4*h. Let a be ((-1)/d*0)/(-1). Is a >= 2/7?
False
Let k be (-2)/4 + 18/12. Let f be (0 + k)*-1*1. Let l be f/(3 - 45/6). Is l at least as big as -1?
True
Let y be 3 + (-1 - 7 - -4). Is y less than 1/9?
True
Let d(k) be the second derivative of -k**5/20 + k**4/4 + k**3/6 - 3*k**2/2 + k. Let c be d(3). Let t = -73/288 - -1/32. Which is smaller: t or c?
t
Let z = -8 - -18. Let l be 1/2 + z/(-12). Suppose -36*g = -26*g. Which is greater: g or l?
g
Let d = 0.2 + 0.1. Let u = 6.3 - d. Which is smaller: u or -1?
-1
Let j = -7/3 - -23/9. Let b be 9/(1215/(-10))*12. Let w = b + j. Is -1 <= w?
True
Suppose -3*m + 4*m = -9. Which is bigger: -10 or m?
m
Let a be 94/(-60) - (-9)/6. Is a less than or equal to -1?
False
Let b(t) = -3*t + 1. Let n be b(1). Is n less than 2.9?
True
Let q be 2 + 6/(-6) - 3. Suppose 5*c - m - m + 8 = 0, -2*m + 8 = 2*c. Is c not equal to q?
True
Suppose -3*w = -2*b + 9, -3*b - 4*w - 10 = -5*b. Which is greater: 2 or b?
b
Suppose 0 = 2*b + c + 3 - 0, 5*b + 3 = 2*c. Which is smaller: b or -2/221?
b
Suppose 8*w = 2*w - 78. Which is greater: -2 or w?
-2
Let z = -5 - -4. Suppose 8*o = -24 + 8. Do z and o have different values?
True
Suppose 0 = -3*y + 3*k, -3*y - 7*k = -3*k + 7. Which is bigger: y or 1?
1
Let u = -2 + -3. Let t = -8 - u. Let r = 2/3 - 1/3. Is t greater than r?
False
Let k = -68 - -68.1. Which is smaller: k or 19?
k
Let r(i) = -3*i**3 - 5*i**2 - 2*i + 4. Let x be r(-3). Suppose -86 = 5*j - w, -x = 3*j - 3*w + w. Let y be 2/9 - 41/j. Is y < 2?
False
Suppose 4*w = w - 48. Let z = w - -6. Is -9 >= z?
True
Let g(y) = -y**2 - 6*y - 6. Let t be g(-4). Suppose 0 = t*c + 1 - 5. Suppose r - q - 3*q = -c, -3 = -3*q. Is -0.1 < r?
True
Suppose 4*a - 50 = -2. Is 12 at most as big as a?
True
Let v(n) = n**3 + n**2 - 2*n + 1. Let s be v(1). Are s and 5 non-equal?
True
Let y(u) be the second derivative of 2*u**2 + 3*u + u**3 + 0 + 7/12*u**4 + 1/20*u**5. Let h be y(-6). Is h smaller than 5?
True
Let k = 15 + -15. Let c = 2 - 3. Which is smaller: c or k?
c
Let z be (-1)/(4/72 + 0). Is z equal to 2?
False
Suppose -2*j + 0*j - 14 = -3*s, -3*j = 2*s - 5. Is 2/7 equal to j?
False
Let n = 2 - 3. Let l = n + 7. Suppose -9*g - 204 = -249. Which is smaller: g or l?
g
Suppose 30 = 2*c + 3*c. Let z = c - 3. Let y = -8 - -11. Is y <= z?
True
Let a = 0.1 + -0.17. Let g = a + -0.33. Is 2/3 < g?
False
Let l be 60/(-8)*(2 + 0). Let h(b) = b + 14. Let i be h(l). Which is smaller: -4/3 or i?
-4/3
Let j = 6 + -4. Let r be ((-3)/6)/(6/(-24)). Suppose j = r*w - w. Which is bigger: -1 or w?
w
Let o = 2 + -1.9. Which is greater: o or 16/3?
16/3
Let z = -0.7 + 0.5. Which is smaller: z or -0.09?
z
Let r be -1*(5 - (-2 - -8)). Is 112 not equal to r?
True
Let f = 21.9 + -22. Is 1/3 at most f?
False
Let h be (-2 + 3/2)*2. Let r be h/5*25/30. Let s be (-2)/(-12)*(3 - -1). Do s and r have the same value?
False
Let o(m) be the second derivative of -m**3/6 + 7*m**2/2 + 4*m. Let s(z) = -z**3 + 5*z**2 - 4*z + 1. Let u be s(3). Let q be o(u). Which is smaller: q or 2/9?
q
Let i(h) = -285*h**2 - 3*h - 1. Let m be i(-2). Let v = m + 38567/34. Let u = v + 3/17. Is -1 equal to u?
False
Suppose 0 = 4*o + o + 5. Which is greater: 1/55 or o?
1/55
Let m(x) = x + 8. Let c(z) = z + 8. Let q(w) = -3*c(w) + 4*m(w). Let h be q(-6). Which is greater: h or 3?
3
Let x = 8 + -11. Let z = 4 + x. Suppose -3*c + n + 0*n - 4 = 0, 2*c + 5*n - 20 = 0. Is c less than or equal to z?
True
Let j(q) = -q**2 + 12*q - 35. Let a be j(5). Which is smaller: -1/23 or a?
-1/23
Suppose 