, -d - 2*k = 14. Let j = -10 - d. Is 2 != j?
True
Let x be (14/6 + -2)*(2 - 35). Which is smaller: -14 or x?
-14
Let l be (-4)/5 + (-78)/15. Which is smaller: l or -27/4?
-27/4
Suppose -2*g = -10, 0 = -s - 3*s - g + 13. Let h(t) = t**2 - t - 1. Let k be h(s). Let a be (0/3 - k)*-3. Which is greater: 5/3 or a?
a
Let r(m) = -3*m. Let n be r(-2). Let j = n + -8. Let y = -7 - -5. Is j at most y?
True
Let l be (2628/656 + -4)*6. Does 0 = l?
False
Let z(k) = k**3 - 8*k**2 + 6*k + 8. Let p be z(7). Suppose -5*m + 5*h = -2*m - 25, -5*m + h + 5 = 0. Let w = m - p. Are -2/7 and w non-equal?
True
Let v = 0.04 - 1.54. Let b = -0.5 - v. Let w = 1.97 + -2. Which is smaller: b or w?
w
Let s = 32 + -35. Which is bigger: -5 or s?
s
Let s be (6/8)/(2/(-8)). Let z be (-3)/(s/(-6) - -1). Is -3 not equal to z?
True
Suppose -8*c + 3*c = 0. Let z be (-1)/((-7)/(-2) + c). Let t = 1 + -1. Is t > z?
True
Let u be (2 + -2)/(-4 - -2). Suppose 2*p + 2*p = u. Is p >= 2/17?
False
Let q = 0.04 + -3.04. Let j = 2 + q. Let l be 1 + (-3 + -1)/4 - -1. Does j = l?
False
Let u be 2 - (0 - (-4)/(-2)). Are 4 and u equal?
True
Let y = -1139/456 + 34/19. Let k = 4/257 + -353/6168. Let z = k - y. Is -0.1 equal to z?
False
Suppose 20 = 5*k, p + 0*p - 7 = -k. Let l be 4/p + (-20)/15. Does l = 2/27?
False
Let s be 1 + 27/24 + -2. Which is bigger: s or 1?
1
Let g(s) = s**3 + 16*s**2 + 14*s - 17. Let x be g(-15). Which is greater: 7 or x?
7
Let q = -9 - -12. Let c = q - 4. Which is smaller: c or -2/7?
c
Suppose 3*b + 8 = -b, 4*r + 2*b - 20 = 0. Let i be 4/12 - r/(-9). Is 3 bigger than i?
True
Let u be ((-12)/(-8))/((-6)/8). Let a be (2 - (-51)/(-30))/((-105)/(-28)). Which is smaller: a or u?
u
Let f = -36.2 + 30. Let s = f - -6. Which is smaller: 2/5 or s?
s
Suppose 4*a + 36 - 124 = 0. Suppose 0 = m + 4*t - a, m - t - t = -8. Suppose 11 = m*n + 1. Are n and 4 equal?
False
Let t be (-32)/40 + 2/5. Let x be 0/(2/(-2) - 1). Suppose -3*u - g - 5 = -x*g, 3*u + 13 = -5*g. Which is smaller: u or t?
u
Let b(h) = h + 1. Let l be b(3). Let w be (-5)/2 - (-2)/l. Let k be (w - (3 + 0)) + 0. Which is bigger: k or -3?
-3
Let m be 36/15 - (-1 + 2). Is 0.1 less than m?
True
Suppose 2*t + 4*q + 18 = 0, 2*q = t - q - 16. Let u(c) = 2*c**3 - c**2 + 2*c - 1. Let a be u(t). Let j be 1*(4/a)/(-6). Which is smaller: j or 0?
j
Let p = -2/3 - -1/6. Suppose 2*m - 14 = 2*x, 2*x + 5*m = 6 + 8. Let y = -4 - x. Which is smaller: y or p?
y
Suppose -4*s - 2*w + 54 = 0, 2*s + 3*s - 3*w = 84. Suppose 4*u = -u + s. Which is smaller: 4 or u?
u
Suppose 0 = -6*o + 4 + 2. Is -2/19 less than o?
True
Let p = 1 - 0.99. Let m = 1.99 + p. Is m at most 0?
False
Suppose 3*i + 3 = -3*o, -o - 3*i + 4 - 7 = 0. Is o less than -4/15?
False
Let v = -1.37 + 1.4. Let u = v - 0.13. Is -3/5 < u?
True
Suppose l = 5*q - 107, -4*q + 0*l - 4*l + 76 = 0. Do q and 1/3 have the same value?
False
Let m be 1*(-2)/(-4)*-2. Which is greater: m or -5/7?
-5/7
Let d = 19 + -7. Let g = d + -12. Which is greater: -1/2 or g?
g
Let i = -11.1 - -11. Is i greater than -6/13?
True
Suppose 0 = 2*l - 5*l - 18. Let u be (-2)/l - (-20)/(-6). Let t be 0/(0 + 2) - 3. Is u bigger than t?
False
Suppose 2*w + c - 15 = -4*c, -3*c + 8 = w. Let d = 3 - w. Do -0.2 and d have different values?
True
Let m = 31/1197 + 5/63. Which is greater: -1 or m?
m
Let q = 9.06 - 0.06. Let b = 8 - q. Which is greater: 0.1 or b?
0.1
Let n = -3 - 0. Let u = n - -17/6. Is u greater than 0?
False
Let w be 21/(-27) + (-4)/18. Let p(i) be the second derivative of -i**4/12 - 2*i. Let o be p(-1). Is w > o?
False
Suppose 0 = -2*p, 3*x - p + 4 = -x. Let r = 2 + 2. Suppose u = -r + 2. Which is bigger: x or u?
x
Let m = 18.9 + -16.87. Let r = 0.03 - m. Let f = r - -3. Which is bigger: -0.2 or f?
f
Let w(n) = -n + 2. Let h be w(1). Let y = 3 + h. Suppose -u = 1 + 4, 0 = 4*c + y*u + 16. Is c smaller than -0.5?
False
Let g = 5677 - 85121/15. Let x = 8/5 - g. Is 0.4 != x?
True
Let i = 0.4 - 0.6. Suppose -4*s + 3*w = 9, -4*s + w + w = 6. Suppose s*v = -4*v. Which is smaller: v or i?
i
Suppose 2*c - 670 + 96 = 0. Let j be c/14 + 3 + 0. Let k = j + -23. Are -1 and k equal?
False
Suppose 0 = -3*t - 9 - 9. Let g be ((-3)/t)/1*2. Which is smaller: g or -2/7?
-2/7
Let d = -560/9 - -21379/342. Let q = d + 363/190. Let w = 89/45 - q. Which is bigger: 0 or w?
0
Let x be (2/(-6) - -1)/((-1)/(-3)). Suppose -3*q - 5*d + 25 = -4, 0 = -2*q + 2*d - 2. Does x = q?
False
Suppose i - 191 = -0*i. Let n = i + -92. Let r be 1 + (-3)/(n/39). Which is smaller: 0 or r?
r
Let r(c) be the second derivative of -c**4/6 + c**3/3 - c**2/2 + 2*c. Let s be r(1). Let t = 1 - s. Is 3 > t?
True
Let d be (-28 + 5)*(1 + 0). Is -24 > d?
False
Let j(q) be the second derivative of q**3/6 + 2*q**2 - 2*q. Let g be j(-3). Let s be (-3 + -2)*20/250. Which is greater: g or s?
g
Suppose 3 = 4*i + 35. Let v(q) be the third derivative of -q**4/24 - 2*q**3/3 + q**2. Let z be v(i). Which is greater: z or 3?
z
Let d(o) = o + 4. Let v be d(-3). Let m = 0.2 + 8.8. Let k = -8.96 + m. Is k != v?
True
Let a = -1.5 - -2. Let d = a - -1.5. Let b = -1.9 + d. Which is smaller: b or 1?
b
Let a = 9 + -7. Suppose -a*g + 6 - 2 = 2*y, 4*y = -5*g + 11. Is y less than -1?
False
Suppose -r - 4*d = 11, 7*d = 2*r + 2*d - 17. Which is smaller: r or 2/13?
2/13
Let o = 71 - 19. Let y = -211/4 + o. Suppose -5*j = -l + 2, -5*l = -3*j + 8*j + 20. Which is smaller: j or y?
j
Suppose 4*i = 6*i - 6. Suppose i*g + 5*q - 25 = 0, 3*g - 3*q = -0*g - 15. Is 1 < g?
False
Let r = -0.4 - 8.6. Let k = r + 8.9. Let m = -1.2 + 0.2. Is m bigger than k?
False
Let u = -15 + 32. Let w = -15 + u. Which is smaller: w or -3?
-3
Let l(d) = -10*d - 1. Let q be l(-1). Suppose 3 + 16 = -5*s + 4*p, 3*s = -4*p - 5. Let o be q/12*(-2)/s. Which is bigger: o or 2?
2
Let q be -5*((1 - -2) + -2). Let c be (2/q)/(2/10). Which is bigger: c or -0.1?
-0.1
Let q = 3 - 0. Suppose 4*a - a = -q. Let g be 2/7 - (-4)/(-14). Which is greater: a or g?
g
Let z = -5 + 4.8. Suppose -5*y = 15, 3*y - 3 = -3*n + 5*y. Let t = n + 0. Which is bigger: t or z?
z
Suppose 5*u + 2*c - 73 = 0, 19 = u - 2*c - 2*c. Let h be 3/u*(-687 + 0). Let k = 137 + h. Is 0 >= k?
True
Let l = -1 + 10. Let p = 14 - l. Is 2/3 at least p?
False
Let r = -9.3 + -1.7. Let n = r + 14. Is 1/3 < n?
True
Let h(s) = s**3 - s**2 + s - 4. Let z be h(0). Let q(v) = v + 2. Let y be q(-3). Let r be y/1*z/10. Which is bigger: 0 or r?
r
Let w be 1/(-3) + (-7)/(-3). Suppose -y - 3*t - 18 = -4*y, -y - 4*t = 9. Is w equal to y?
False
Suppose -2*k - 3 = -1. Is 4/9 smaller than k?
False
Let s = 15 + -61/4. Suppose r = -7*r + 16. Is r != s?
True
Let i(v) = -2*v**2 + v**2 - 11 - 9*v + v**2 + v**2. Let y be i(10). Is -1 less than or equal to y?
True
Let y = -1 + 0.9. Let f be 0/(-2) + (-4)/(-2). Let q be 1/(-2) - f/(-20). Is y at most q?
False
Suppose u - 3*d = 2*d - 1, -5*u + 2*d = 28. Let i be (-3 - -6)/(u/(-26)). Which is smaller: 12 or i?
12
Suppose -n - 5*i + 19 = 0, -3*n + 9*i - 23 = 4*i. Suppose -2*a + 3*h = -17, -4 = -3*a + 5*h + 23. Let r = -4 + a. Do n and r have different values?
True
Let v = -10 - -15. Is v smaller than 3?
False
Let l(a) = 3*a. Let c be l(-1). Are -13 and c equal?
False
Suppose -h = -0*h + 72. Let z be 4 - 1 - 656/h. Let w = z + -12. Which is bigger: w or 0.1?
w
Suppose 0*v - 4*v + 8 = 0, -3*v = -2*c - 28. Is c less than or equal to -11?
True
Let j = 28 - 29. Which is greater: j or -4.5?
j
Let t = 1 + 0. Let y be -2 + t - 24/(-15). Let p = -22 + 22. Which is greater: y or p?
y
Suppose 0 = 4*v - v + 4*x - 22, -4*v = 2*x - 16. Let l(o) = o**3 + 6*o**2 + 6*o + 6. Let f be l(-5). Which is smaller: f or v?
f
Let f be 6*(-3)/2 + -1. Which is smaller: -9 or f?
f
Let s(v) = -3*v - 6. Let j be s(-7). Suppose 2*b + b = j. Is -1 equal to b?
False
Let f be (4/6)/((-2)/(-15)). Let u = -4 + f. Is 2 < u?
False
Let d be 260/(-6) - (-4)/(-6). Let a be (-168)/d + 4/22. Let v = a - 3. Which is greater: v or 2?
2
Suppose 0 = -v + 5*j + 25, j - 15 + 4 = -3*v. Suppose -4*d = -f + 8 + v, 3*d = 5*f - 14. Which is smaller: 5/7 or f?
5/7
Suppose 0 = 5*t - 4*f - 10, 4*t - 12 = 4*f - 0. Let p be 24/(-2 + -2) + t. Is -5 >= p?
True
Let u = -0.27 - -0.46. Is u less than or equal to 1?
True
Suppose -20 = 2*v + 5*x, x + 2 = 4*v - 2. Suppose -u - 2*n + 3 = v, 0 = 3*u - n + 3*n - 17.