x
Suppose -l + 1 = 3*h, 5 = -l + 6*l. Which is smaller: -6/11 or h?
-6/11
Let y be 3 - (0 + (1 - 0)). Suppose -5*z = -2*a + 29, 8 = a - 2*a - y*z. Is -1 <= a?
True
Suppose 4*d = -8 + 16. Is d greater than or equal to 2?
True
Let x = -4 - -2. Let r = x - 1. Let f = -3.1 - r. Which is smaller: f or 0?
f
Let w = -39 + 39. Do w and -2 have different values?
True
Let c(y) = y - 5. Suppose 8*w - 4*w - 24 = 0. Let d be c(w). Let t be 2/((-3)/((-3)/(-11))). Which is greater: t or d?
d
Let x(w) = -1 + 4*w - 3*w + 7*w + w**2. Let p be x(-9). Let f be (2/4)/((-2)/p). Which is bigger: f or -2/5?
-2/5
Let h = -6 + 17. Is 10 <= h?
True
Suppose 6*m + 36 = 2*m. Let t = 4 + m. Which is smaller: -6 or t?
-6
Let q be -1*(318/22 - 1). Let o = -3382/253 - q. Which is bigger: -1 or o?
o
Let r be (-4)/10 - (-56)/(-10). Is -6 < r?
False
Let s = 54 - 54. Is s > 0?
False
Let p(m) = -m**2 + 4*m - 1. Let z(j) = j - 5. Let t = 16 - 7. Let w be z(t). Let y be p(w). Is y <= -1?
True
Let g be (-4)/(-18) + 172/36. Suppose g*u - 1 = 4*u. Which is smaller: -1 or u?
-1
Let g = 2 - 1. Let u = 0 - g. Let x be (4 - 0) + (-477)/106. Is x smaller than u?
False
Let m = -2/15831 + -20342809/205803. Let y = -99 - m. Let t = -1 - -1. Is y <= t?
True
Let c = 5 - -3. Suppose 0 = 4*q - 4 - c. Suppose 0 = -q*r + r + 4. Is r smaller than 2?
False
Let d = 4.6 + -4. Let i = -0.6 + d. Let l = 4 - i. Which is smaller: 0 or l?
0
Suppose -3*o = -0*o - 36. Is 11 <= o?
True
Let h be (-1)/(-10)*45/18. Which is smaller: 14 or h?
h
Let h = 12.9 + -13. Which is smaller: 1 or h?
h
Suppose -12 = 2*g - 3*o - 8, 4*g - 4*o = -4. Which is greater: g or -2/101?
g
Let g = -185/3 + 61. Which is greater: -1 or g?
g
Let s(i) = i**3 - 5*i**2 - i - 5. Let o(v) = -v**3 + 5*v**2 + 6. Let k(c) = -5*o(c) - 6*s(c). Let y be k(6). Which is bigger: y or -5?
y
Let q = -3 - -2. Let i be 4/4 - (-3 - q). Suppose -3*m + 2 = -10. Is i at least as big as m?
False
Suppose -5*f + 7 = -8. Suppose j = v - 3, -2*v - 3*j + f = -v. Is 3 equal to v?
True
Let p = -10 + 10.7. Which is smaller: 1/4 or p?
1/4
Let n(d) = d**2 + d + 46. Let j be n(0). Suppose i = -2*b - 3*i + j, 76 = 4*b + 4*i. Are b and 16 non-equal?
True
Let j(c) = 2*c**2 + 2*c + 7. Let n(r) = -r**2 - r - 3. Let l(k) = 3*j(k) + 7*n(k). Let h be l(-2). Is h bigger than -3/5?
False
Let u = -2 - -3. Let d be u - (-3 + 2 - 1). Suppose -2 = 2*p - 3*w - 17, -5*w = -d*p + 25. Which is bigger: -1 or p?
p
Suppose -5*j + 5*v + 35 = 0, 3*j + 2*v - 14 = -2*j. Suppose 11 = -5*a + j*z, -2*a + 2*z + 0 = 6. Let t be ((-1)/12 + 0)*a. Is t <= 0?
True
Let h = 7.6 + 1.4. Let d = h + -5. Is 1/4 at least as big as d?
False
Let a = -4 - -6. Suppose -379 = -a*j - 9. Let h = j + -3147/17. Is h greater than or equal to 0?
False
Let j be 17/(-6) - 4/24. Is -3 smaller than j?
False
Suppose 3*c = i - 7, i - 2 = -2*c - 15. Is 3 greater than c?
True
Let z = 2.3 + -1.4. Is z equal to 2?
False
Let n = -27 - -34. Is 0.2 smaller than n?
True
Let w be ((-6)/(-15))/((-2)/(-10)). Suppose -w = -5*y + 3. Which is smaller: y or 0?
0
Let v = 0.088 + 7.112. Let s = 7 - v. Which is smaller: s or -2/9?
-2/9
Let k(g) = 11*g - 10. Let p be k(6). Let w be p/60 + (-6)/10. Which is bigger: w or 1?
1
Let d = -14 + 22. Let a = d - 6. Are -0.3 and a nonequal?
True
Let r = -369 + 17711/48. Which is bigger: 0 or r?
0
Let l(x) = -x**2 + x + 1. Let r(u) = u**3 + 12*u**2 - 6*u - 10. Let p(n) = -5*l(n) - r(n). Let o be p(-7). Which is smaller: o or -3?
-3
Let c = -51 - -36. Let g be c/6 + (-9)/(-3). Is g less than 2/3?
True
Let l be 15/(-5) + (15/7 - 0). Which is greater: l or -2?
l
Suppose 5*n - 17 = -4*u + 2*u, 4*n - 12 = 0. Is u equal to -20?
False
Let d be 177/(-3159) - (-6)/27. Let k = d + -1/81. Which is smaller: k or -2?
-2
Suppose 0 = 4*y - 3*d - 12, 3*y - 3 = d + 1. Let p be 2/(y/(-3) - -7). Is -1/5 greater than p?
False
Suppose 17 = 3*b + 2. Are b and 24/5 unequal?
True
Let q = -24 + 23. Which is smaller: 6 or q?
q
Let l(j) = -j**3 + 12*j**2 + 13*j. Suppose 4*n + 0*n - 68 = -4*w, 4*n - 48 = w. Let d be l(n). Which is greater: 3/7 or d?
3/7
Let t be (0 - (-18)/(-21))*(-7)/63. Is t equal to 0?
False
Suppose 0 = -5*q - 3826 - 1144. Let a = 2909/3 + q. Let h = 24 + a. Which is smaller: h or -2?
-2
Let w(j) = -j**3 + 4*j**2 + 5*j - 1. Let x be w(5). Let t(l) = l**2 + 4*l - 8. Let c be t(-6). Let d be 0/(-1) + c/(-9). Which is bigger: x or d?
d
Let z = -41 + 41.3. Is z less than or equal to 3/7?
True
Suppose 0 = -4*c + 5*g + 8, 2*g - 4*g = c - 2. Let f be 0 - (-1 + (-1 - c)). Do 4 and f have the same value?
True
Suppose 5*s + 3*l = -685, 137 = 2*s - 3*s + 4*l. Let y be (-21)/35 + s/(-245). Do 0 and y have the same value?
False
Let x(v) be the second derivative of -v**5/20 - v**4 + v**3/6 + 13*v**2/2 + 6*v. Let w be x(-12). Which is smaller: w or 8?
w
Let z be 8/6 - 7/21. Let l be (3/9)/(z - 2). Is 1 <= l?
False
Let j = 0.45 + 11.55. Which is greater: 1 or j?
j
Suppose 0 = 5*p + 2*r - 173, 0 = p - 2*r + 3*r - 37. Let s be 1 - 93/p - -2. Is -1 bigger than s?
False
Let m(o) = o. Let k(s) = -s**2 - 3*s. Let g(b) = k(b) + 2*m(b). Let d(n) = -n**3 - 2*n**2 + 9*n + 4. Let t be d(-4). Let q be g(t). Which is greater: q or -1/2?
q
Let n be 10/(-12)*(-876)/(-40). Is n greater than -18?
False
Let t = -5 - 328. Let g = -908964 + 13639453/15. Let o = g + t. Which is bigger: 1 or o?
1
Let w(d) = -1018*d**3 + d**2 - 6*d + 1. Let q be w(-5). Let j = q - 1652458/13. Let t = j - 194. Which is smaller: t or 1?
t
Suppose 0*p = -2*p - 4. Let x = -21 - -15. Let q be (-2)/x*-10 - -2. Which is smaller: q or p?
p
Let o be ((-15)/(-18) - 1)*-4. Which is smaller: o or -49?
-49
Let q = -3 + 3. Let w(a) = -a + 4. Let y be w(q). Let x be ((-1)/(-6))/((-1)/y). Which is bigger: x or -1/3?
-1/3
Let u = 2.45 - 0.25. Let x = u - 0.2. Which is smaller: -2 or x?
-2
Let a be (9/(-5))/(-3) - 196/10. Is -3 > a?
True
Suppose -4*g + 6 - 26 = 0. Is -5 not equal to g?
False
Let t = 105 + -47. Which is smaller: t or 2/5?
2/5
Let s = 9 + -7. Suppose 2 = -2*c - s. Let w be (3 - -2)*c/2. Which is smaller: -4 or w?
w
Let p = -3.96 + 4. Let z = p - -0.16. Is z at most as big as 1?
True
Let x = 427 + -20924/49. Which is bigger: -1 or x?
x
Suppose -2*x - 19 = -3*l - 0*x, 2*l + 5*x = -19. Let j(a) = -3*a - 9. Let g be j(-4). Is g less than or equal to l?
True
Let v(q) = q**3 + 2*q**2 - 2*q + 1. Let t be v(1). Let r(j) = -7*j - 1. Let k be r(t). Let b be (-2)/(-3)*9/k. Which is bigger: -1 or b?
b
Let m = -3488102/5955 - -4/397. Let d = m + 586. Is 1 > d?
True
Let d be 366/(-399) + (-12)/(-42). Do -1 and d have different values?
True
Let j = -0.8 - -1. Let g = 2.2 + -2. Let w = j - g. Is 1 <= w?
False
Let d = 54 - 36. Let w be (d/(-15))/(2/5). Which is greater: w or -1?
-1
Let l = -225 - -159. Let y be -4 - (-5)/((-75)/l). Is -4 < y?
True
Let g(i) = -i**3 + 6*i**2 + 8*i - 7. Let k be g(7). Suppose -j + 0*j = k. Let q be (-8)/(-24) + 1/6. Which is smaller: q or j?
j
Let l be 4/18 - (-14)/18. Let r be -5 - l*(-2 - -2). Let p = 4 + r. Is p at most as big as -2/5?
True
Suppose -2*t = -0*b - 2*b - 16, 0 = -3*b - 5*t + 16. Suppose -4*y - 10 = 2. Is b at least y?
True
Let i = -4/123 + 3718/861. Which is smaller: 4 or i?
4
Let o = 0 + 0. Let h = -149 + 2979/20. Is o > h?
True
Let o(n) = -n - 1. Let d be o(4). Let j be 159/15 + (-2)/d. Which is smaller: 19/2 or j?
19/2
Suppose u = 1 + 2. Suppose d - 4*a + 15 = 0, -u*d + 17 - 6 = 2*a. Which is bigger: -1 or d?
d
Let w = -0.4 + 0.29. Which is bigger: w or -2/11?
w
Let s(n) = n**3 + 4*n**2 - 4*n + 5. Let b be s(-5). Let y = 0 + b. Let q(c) = -c**3 + 9*c**2 - 7*c - 6. Let t be q(8). Which is smaller: t or y?
y
Let b be (-4)/(-14) + (-40)/126. Let k = -184/1827 - b. Which is bigger: k or 1?
1
Let k(n) = n + 13. Let j be k(-13). Suppose 2*s + 1 = -l, 2*l + 3*s + 4 - 2 = j. Which is smaller: l or -4/13?
l
Let n = -16 - -17. Which is bigger: -5 or n?
n
Let v = -1.83 - 0.17. Are v and 6 non-equal?
True
Let t = -17 - -2. Is -15 bigger than t?
False
Suppose -5*w = 0, -m - m = -3*w - 24. Suppose -i + 4*i + m = 0. Is -6 equal to i?
False
Let j(w) = -w**2 - w - 2. Let l be j(-1). Are -2 and l equal?
True
Let z(c) = 2*c - 5. Let k be z(4). Suppose 4*a - k*a = 0. Let n = -3/5 - -14/15. Is n > a?
True
Let z = 6.03 + -0.03. Let k = z + -6.01. Which is gre