et u = 1.1 - k. Which is smaller: -1 or u?
-1
Suppose -2 = -5*z + 2*k, 5*z + 3*k - 1 = -4. Let h = 6 + -4. Are z and h non-equal?
True
Let r = 0 - -1. Let l = -521/15 + 177/5. Are r and l equal?
False
Suppose -y = -3*p - 2*p + 21, -5*p = -3*y - 23. Do -2 and y have the same value?
False
Let n = -103 - -99. Is n smaller than -2/13?
True
Let g = 1.8 - 1.1. Let s = -0.05 - -0.35. Let b = g + s. Which is greater: b or -2?
b
Let k = -4/49 - -2/1225. Is 2/3 greater than k?
True
Let k(p) = p**3 - 3*p**2 - 2*p + 3. Let l be k(3). Let i be (57/38)/((-2)/(-4)). Let t = i + l. Is t greater than 0?
False
Let a be (-132)/16 + (-136)/(-17). Let r be (-43)/(-140) - (-1)/(-4). Which is smaller: r or a?
a
Let g = 20 - 20. Which is bigger: g or 2/5?
2/5
Let c = -1 + 5. Suppose -c*s + 2 = 6. Let z be (-1 - (1 + -4))/s. Which is greater: 2 or z?
2
Let r be (-2)/((10/29)/(-5)). Is r greater than or equal to 29?
True
Suppose 3*r - 2*l - 1 = 0, 4*r - l = -r + 4. Let h = -1 + 2. Are h and r nonequal?
False
Let w = -0.59 - -0.5. Let r = w - -4.09. Is r less than or equal to -0.2?
False
Let w = -27 - 0. Is w < -27?
False
Let q = 1/73 + 143/219. Let j(x) = -x**3 - 4*x**2 - 3*x. Let r be j(-3). Which is bigger: r or q?
q
Let w(a) = -3*a - 13. Let n be w(-4). Which is greater: 0 or n?
0
Let m(n) = -1 - 3 - 2*n**2 - 6*n**2 + n**3 + 3. Let o be m(8). Which is greater: 4 or o?
4
Let z(x) = -2*x + 2. Let m(n) = -n**2 + 8*n + 4. Let b be m(8). Let o be z(b). Which is bigger: -2 or o?
-2
Suppose -4 = 2*v - 4*q, -5*q + 5 = 3*v - 2*v. Let y = -2 + v. Let d be (-2 - y)*(-4)/(-8). Which is smaller: -1/3 or d?
-1/3
Let v(j) = j**3 + 5*j**2 + 3*j + 1. Let b be v(-4). Suppose 0 = -2*h + b - 3. Suppose -3*u = -u. Which is bigger: h or u?
h
Let u = -5956/5313 + 1/506. Let z = u - -5/6. Let m = 0 + -1. Which is smaller: z or m?
m
Let d be (48/63)/(110/(-6)). Let u = -1389/1925 - d. Let y = u - -1/75. Is 0 bigger than y?
True
Let y = -92599/6740 - -468/337. Let x = y - -68/5. Let s be 0*3*1/6. Which is smaller: x or s?
s
Let k(t) = -14*t + 1. Let i be k(-1). Suppose -r + 2*a = 3, -r = 3*r + a - i. Let u = r + -4. Is u > -1/4?
False
Let n(m) = -m**3 + 3*m**2 - 2*m + 1. Let g be n(2). Let b = g + 3. Is b smaller than 4?
False
Let k = 3012/11 - 274. Which is bigger: 1 or k?
1
Suppose 3*s = 2*s + 6. Suppose s*l - 4 = 2*l. Let y be (6/20)/(3/4). Which is smaller: y or l?
y
Let m(d) be the third derivative of -d**6/120 - d**5/30 + d**4/12 + d**3/6 - 3*d**2. Let n be 1 + -1 + (-1 - 1). Let f be m(n). Which is bigger: f or -2?
-2
Let n be 1/(-2) - 10/(-4). Suppose -5*s = -n*s. Which is bigger: -1/10 or s?
s
Let y = 27 + -16. Suppose 2*f + 1 - y = 0. Suppose -f*i - 2*c - 24 = 0, 2*i - 6*c = -2*c. Are i and -3 equal?
False
Let w = 6 + -13. Is -13/2 at most w?
False
Suppose -s + 10 = 4*s. Is 13/5 at most s?
False
Suppose -4*h + 10 = 2*j, -4*h + 8 + 4 = 4*j. Let s be 6*22*(-1)/3. Let d = s + 306/7. Which is bigger: d or j?
j
Suppose 0 = -p - 5, 3*q + 2*q - p = 30. Let a = -1 + q. Which is smaller: 5 or a?
a
Let d = 0.72 - 0.82. Is -111 at most as big as d?
True
Suppose 4*u = 4, 4 = 5*d - 2*u + 21. Let s = -1 + -1. Are d and s equal?
False
Let b(t) = 15*t - 4. Let q be b(4). Let o = -841/15 + q. Which is smaller: 1 or o?
o
Suppose -4 = -3*u + p, 2*u - 4*p = 6*u - 32. Is 5 less than u?
False
Let q be (2/(-2))/(-1) + -3. Let m be 5 + 2 + (2 - 5). Let b be (m - 2)/(q + 13). Which is greater: 1 or b?
1
Let t = 5 + 13. Suppose 2*q = 4*d + t, -d - 3*q = 3*d + 23. Which is smaller: -4 or d?
d
Let f be ((-204)/18)/(1/(12/8)). Which is bigger: -1/5 or f?
-1/5
Suppose 0 = -4*q + 2*q + 8. Let o(m) = m**3 - 5*m**2 + 5*m - 4. Let w be o(q). Let r = -53/24 + 19/8. Is r != w?
True
Let f = 15421/11 + -1400. Which is greater: 2 or f?
2
Let n(h) = -h**3 + 6*h**2 - 4*h + 5. Let s be n(4). Let a be s/(-7) - (-18)/2. Suppose 2*t = u + 4, -3*t + a = -u - 0. Is u greater than 1?
False
Suppose z + 3*b - 14 = 0, -10 = 4*z + 5*b - 31. Suppose 5*f - 7 = -27. Let k be f/(-6)*(2 - 5). Which is smaller: k or z?
k
Let k be (-8)/78*(-6)/10. Let d = 6/13 - k. Is d equal to -1?
False
Let p be (12/(-2))/((-40)/(-3 + 8)). Which is smaller: p or 0?
0
Let p = -10/3 + 43/12. Which is greater: 4/7 or p?
4/7
Let i = 26 + -27.72. Which is smaller: 0.1 or i?
i
Let g(k) = k + 3. Let b be g(-5). Which is smaller: b or -3?
-3
Let u be 2 - (2 + (2 - 0)). Let p be ((-5)/(-3))/(u/(-6)). Suppose -3*j + 2*r = 2*j - 10, -p*j = 4*r - 10. Which is smaller: 1 or j?
1
Suppose 0 = -13*g + 8*g - 160. Let t be ((-15)/36)/((-4)/g). Is t at least as big as -3?
False
Let p be 4/(-18) - (-482)/(-18). Let r = p - -42. Are r and 14 unequal?
True
Let p(o) = -o**3 + 14*o**2 - 13*o + 1. Let y be p(13). Let r be ((-52)/(-25) - y) + -1. Are r and 1 unequal?
True
Let n = -1/812 + -1577/38164. Let l(j) = -j**2 - 3*j + 3. Let y be l(-4). Which is smaller: n or y?
y
Let y be 2/4 + (-7)/(-14). Let s = -508/45 + 98/9. Which is smaller: y or s?
s
Suppose 0 = 6*x + 9 + 21. Let m = 6 + -10. Which is bigger: m or x?
m
Let r be 168/(-7) - (-1 + 3). Let k be 1 + 0 - (-22)/r. Is -0.1 != k?
True
Let g = -17 + 10. Let a be 2/g + (-2)/(-14). Is 1 < a?
False
Let z = -0.79 + 0.79. Is z bigger than 0?
False
Let w = -5 - -11. Let m = 6.1 - w. Does m = 0.1?
True
Let j = 8.92 + -9. Is -3 < j?
True
Suppose 2*r = 6, -4*r = -3*o - 9 - 3. Is -0.08 at most o?
True
Let r be (10/12 + 14/(-42))*2. Which is smaller: r or 0?
0
Suppose -4*i - 12 - 10 = -s, 0 = 2*s + 3*i. Which is bigger: -2 or s?
s
Let v = 0.02 - 0.03. Let a = 0.01 + v. Let u = 0.9 + 0.1. Which is greater: u or a?
u
Suppose 4*r + 5*d + 14 = 0, r - 4 - 5 = 5*d. Do r and -3/11 have the same value?
False
Let b be 177/(-14) + 30/20. Let d = b + 12. Let j = 2 - 1. Which is greater: j or d?
j
Suppose 5*q = -102 + 522. Is q < 84?
False
Let g = -3 - -1. Let a = g + 1.9. Let u = -5.01 + 5.04. Which is greater: a or u?
u
Let a = -0.28 + 0.18. Which is greater: 3.3 or a?
3.3
Suppose -5*u - 3*b - 2*b = 0, -8 = u + 3*b. Let r(v) = -v**2 + 3*v + 1. Let s be r(u). Let m be (-5)/s + 4/(-2). Is m <= 1?
True
Let g = 23 - 8. Suppose 3*w = 3*k - g, 0*k = -3*k - 5*w - 25. Is -1 bigger than k?
False
Let l be (-12)/(-8) - (-1)/(-2). Let z be -3 + 1 + 2/l. Let p = -7/3 - -17/6. Is p at least z?
True
Suppose 2*y + 6 = 4*m, -m - 5*y = 4*m + 30. Let u(b) = b**2 - 7*b - 8. Let g be u(8). Does m = g?
False
Suppose -3 = -3*z + 78. Let n = z - 25. Let h = -10 + 31/3. Which is smaller: n or h?
h
Let v = 19 + -20.3. Let f = 5.1 + -5. Is f != v?
True
Let z = -16.6 + 15.6. Is -0.4 at least z?
True
Let w be (-1)/(-5) + 65/(-200). Is -1 bigger than w?
False
Let o be ((-3)/18)/((-1)/(-3)). Let z be (-2)/(-9) + 4/(-18). Which is bigger: o or z?
z
Suppose 0*g - 10*g - 20 = 0. Do g and -2 have different values?
False
Let f be (-30)/70 - 9/28. Is f >= -4?
True
Let d = -18.8 - -19. Which is greater: 1 or d?
1
Let s = 49.978 - 50. Is s at most 0?
True
Let q(y) = 2*y**2 + 0*y + 4*y**2 + y + y**3 + 2. Let x be q(-6). Which is smaller: x or 0.1?
x
Suppose -19 = -4*c + 21. Suppose -2*x + 6*x = 2*a + c, x - 2*a - 4 = 0. Do x and 3 have the same value?
False
Suppose -7 + 1 = -3*i. Suppose -2*f = -s + i*s, 2*s - 5*f = 9. Is 2 greater than s?
False
Let s be 6/8 - (2 + -1). Suppose 2*k - 5*d = -k - 9, -2*k - 8 = -4*d. Suppose 3*o = 5*o - k. Is o greater than s?
True
Let w = -4.8 - -4. Let i = w - -1.8. Are i and 5/3 unequal?
True
Let q = -3347/5 + 653. Let d = 17 + q. Let j be (-2)/6 - (-2)/6. Is j >= d?
False
Let d be (-1)/((-80)/(-396)) - -5. Are d and 0 unequal?
True
Let u = -47 - -34. Let m = -8 - u. Suppose 3*x = -5*l - m, 0 = 3*x + 3*l + 3. Is 3 at least as big as x?
True
Suppose 4*f = 5*g + 46, 0 = 2*g - 0*g - f + 16. Let r = g - -16. Suppose 5*b - 4 = -2*v + 3, -r = -5*b - 5*v. Is 3/8 greater than b?
False
Let c be (10/(-6))/(-2 - -1). Is 2 <= c?
False
Suppose 0*s = -s + 4. Suppose -q = -s*w + 5*w, -3*w = -q - 4. Let t = -2 + w. Do 0 and t have the same value?
False
Suppose 2*c + 7 = 3*x, 4*x = 5*c + 9*x + 30. Suppose -2*t - 9 + 1 = 0. Is c equal to t?
False
Suppose -s = 4*s. Suppose -y - 6 = 3*h + 2*h, -3*h + 3*y = s. Which is smaller: h or -3?
-3
Let o be 1/(2*(-69)/(-12)). Are o and -1 non-equal?
True
Suppose 5*g = -3*c - 29 + 1, 0 = g + 2. Which is smaller: c or -8?
-8
L