0.1. Which is smaller: a or c?
c
Let s(u) = u. Suppose -5 = 5*a - 10*a. Let q be s(a). Suppose -p + 2*p - 1 = 0. Is q less than or equal to p?
True
Let v = 2/47 + -155/329. Let j be ((-3)/4)/(-1)*(-16)/(-24). Is v not equal to j?
True
Let m be 3/6 - (-33)/6. Let g = m + -6. Suppose 3*l = -g*l - 12, 2*d = 2*l + 12. Which is bigger: d or 1?
d
Let k = -19.998 - 0.002. Let x = -20.9 - k. Let b = 0.1 - x. Are b and 2/3 unequal?
True
Let g = 2 - -1. Suppose -4*r + g*r + 2 = 0. Which is greater: 0 or r?
r
Let a = -1/341 + -3748/1023. Is a greater than 1?
False
Let o = 49.9 + -50. Which is greater: o or -0.4?
o
Let h = 0.85 + -0.99. Is -0.1 at most as big as h?
False
Let u(i) = -i**3 - i**2 - 16. Let n be u(0). Which is smaller: n or -47/3?
n
Let x = -8/3 - -35/12. Let j be (-2)/9 - 7/(126/(-4)). Which is smaller: j or x?
j
Let b be 2/(3/((-9)/(-2))). Suppose 0 = b*m + 4*y - 1, 0 = 3*m + y + y + 1. Is 0 <= m?
False
Let n = 124513/89 + -1399. Is 0 less than or equal to n?
True
Let w(d) = -d**3 + 6*d**2 + 15*d + 10. Let b be w(8). Which is bigger: 4 or b?
4
Let l be 8/6 + 2/3. Let o be (2/3)/(l/(-9)). Is -4 <= o?
True
Suppose -k + 2*k = 9. Let v = k - 15. Suppose -2*w - 30 = 3*w. Is v < w?
False
Let c = 0.056 - -7.244. Let a = -7 + c. Do 0.1 and a have the same value?
False
Suppose -9 = -3*k, -5*x - 67 = -k + 2*k. Suppose 4*i = f + 27, 4*f + 0*i + 5*i + 45 = 0. Is f <= x?
True
Let d = -2 - -1. Let g(t) = -2*t + 28. Let k be g(16). Which is greater: d or k?
d
Suppose -a = -27 + 11. Suppose -v + 3*i - a = 6, 4*i - 66 = 5*v. Let f be 14/v - (-4)/10. Is 1/3 less than f?
False
Let u = 14.1 - 2.1. Is 0 less than u?
True
Let k be (-4)/18 - (-11)/9. Let w be 1/k - (-24)/(-28). Is w at most 0?
False
Suppose -2*r = 3*r - 15. Suppose 0 = 3*h + 3 + r. Is h equal to -2?
True
Let r be (-12)/30 - 54/(-10). Let q be 2 - r/((-165)/(-57)). Which is bigger: q or 1?
1
Let r = 58 + -43. Let p = -88/3 + 29. Which is bigger: p or r?
r
Let o = 14.1 - 16. Let g = 2 + o. Let b = 11 + -65/6. Which is bigger: g or b?
b
Let t = -19 + 12. Let u = -7.2 - t. Which is greater: 0 or u?
0
Let w be (1 + 0)/(-3) + 0. Suppose 6*g = g + 15. Suppose -3 + 0 = -g*p. Which is smaller: p or w?
w
Let d = -2 - -2.2. Let s = -9.1 - -9. Let b = d + s. Which is greater: b or 0?
b
Suppose 3*o - 6 = 4*c - 9*c, o = c + 2. Which is greater: c or -1/40?
c
Let n = 51 - 205/4. Which is greater: -0.06 or n?
-0.06
Suppose 7*r = 2*r + 30. Suppose 175*n = 173*n + 8. Which is greater: n or r?
r
Let u = -0.5 + 0.3. Let g = 0.5 + u. Let b = g + -0.2. Which is smaller: b or -0.1?
-0.1
Let c(n) be the first derivative of -n**3/3 + 3*n**2 + 3*n - 1. Let g be c(5). Let l(u) = u**3 + 6*u**2 + 5*u + 7. Let i be l(-5). Which is smaller: g or i?
i
Suppose 5*t = 2*t - 6. Let w be -2 - (t - (-4 - -3)). Let a be 1/w + 12/(-4). Is -5 at least a?
False
Let r = 4 - 5. Let l be 2 + r - (-3)/(-4). Is -0.1 at least as big as l?
False
Let h be 2/((-5)/((-15)/2)). Suppose 2*b + h - 25 = 2*l, -3*l - 2*b - 18 = 0. Let t(w) = w**3 + 8*w**2 - 1. Let c be t(l). Is -2 smaller than c?
True
Let k = -18 + 18.7. Let f = k + -0.4. Which is bigger: -0.1 or f?
f
Let o be (0 - 0) + (-2 - -3). Let b = -0.2 + 1.2. Is b smaller than o?
False
Let y = -0.008 + 0.278. Let i = 0.13 + y. Is 0 at least as big as i?
False
Let h = -42 + 45. Is h greater than -0.2?
True
Suppose -2*n + 2*g = -n + 9, 0 = -3*n + g - 37. Are -13 and n unequal?
False
Let o(c) be the first derivative of 4*c**3/3 - c**2/2 - c + 1. Let k be o(-1). Suppose -2*m = 4*t + k, -4*t - 3*m - 2*m + 8 = 0. Is -3 >= t?
True
Let k = -7 + 0. Which is smaller: -6 or k?
k
Let f = 0.06 - -0.02. Let s = f - -0.92. Which is greater: 0.04 or s?
s
Let g be 5/3 + (-2)/(-6). Let b(j) = -2*j**2 + 4*j - 3. Let l be b(g). Let c be ((-9)/l + 0)/(-7). Are 1 and c unequal?
True
Let l = 5 - 4. Which is smaller: -3/10 or l?
-3/10
Let q = 13916607/125395 - 2423/809. Let u = -108 + q. Let z = u - -324/1085. Which is bigger: 0 or z?
z
Let z = -9 + 3. Let p be (-1)/z - (-1)/18. Which is bigger: -1/3 or p?
p
Let t = -99/20 + 26/5. Let f = -0.35 + -0.05. Is f > t?
False
Suppose -7 + 1 = h. Which is greater: -3 or h?
-3
Let r(q) = q + 2. Let w be r(-2). Let c = w + 5. Is 4 at most c?
True
Let d = 92 - 92. Is 2/7 at least d?
True
Suppose 0 = -4*i + 12, -4*v - 4*i + 24 = -v. Are 4 and v nonequal?
False
Let t be ((9 - 12) + (-14 - 0))/1. Which is greater: -12 or t?
-12
Suppose -5*g - 4*v - 5 = 0, -v = 2*g + 2*g + 4. Let z = -7/27 - -71/135. Which is smaller: g or z?
g
Let p = -443/6 + 73. Let s(q) = -q**2 - 8*q - 7. Let u be s(-7). Which is smaller: u or p?
p
Let t be (-1 - 126/(-120)) + 1/5. Let b = -0.1 - -0.02. Which is smaller: t or b?
b
Suppose n - 48 = -3*v - 2*n, -5*n = v - 24. Let d = v - 17. Which is smaller: d or -2?
d
Let m(j) = 2*j + 13. Let i be m(-7). Let u = 48 - 32. Suppose -5*f = -u + 6, -4*b + 2 = -3*f. Which is greater: b or i?
b
Suppose -2*o = h - 2, -5*h = 2*o + 5 + 9. Which is greater: 0 or o?
o
Suppose 0 = -3*d + 4*y + 38, -2*d + 7*d + y - 25 = 0. Let h be 55/10 + 2/4. Is d bigger than h?
False
Let g be (36/(-21))/((-4)/14). Let b be (2 - 1)/(g/(-12)). Let y = 1 - b. Do 2 and y have different values?
True
Suppose 8*l = 3*l + 25. Suppose -2*s - 11 = -2*m + 3*s, 5*m - 5*s = 20. Do l and m have different values?
True
Let v(j) = j**2 - 4*j + 3. Let t be v(2). Let z(g) = -g**3 + 4*g**2 - 3*g - 2. Let c be z(3). Let f be (c/4)/((-1)/(-2)). Is t at least as big as f?
True
Let h = -39 - -157/4. Is 0.1 bigger than h?
False
Let d be (-4)/(-18) + 34/9. Suppose 3 + 5 = d*u. Suppose -u*p + 4*p = 0. Which is smaller: p or -1/3?
-1/3
Suppose 2*w = 3*w - s + 15, 0 = -4*w + 2*s - 60. Let p be ((w/27)/(-5))/(-1). Is -1 less than p?
True
Suppose -8 = -2*g + 3*y - 6*y, -3*y = -g + 22. Suppose 3*r - g = -1. Is -1 >= r?
False
Let l(q) be the second derivative of q**5/20 - q**4/12 - 2*q**3/3 - q**2/2 + 2*q. Let p be l(3). Is 4 at least p?
False
Let u(k) = -k**2 - 4*k + 14. Let f be u(-6). Let l = 5 - 1. Let a = l + -3. Do f and a have the same value?
False
Let g be -7 - (3 - 0)*-1. Suppose s + k = -4, 0 = -2*s + k - 4 + 2. Which is greater: s or g?
s
Let c = -6 - -1. Are -0.1 and c non-equal?
True
Suppose -5*q = -q + 56. Is -12 less than q?
False
Let n be (-8)/(-3 + 0 + 1). Suppose n = 2*l - 6*l. Let m(d) = -d**2 - 2*d - 1. Let i be m(-1). Which is greater: i or l?
i
Let y = -12293/3840 + 1/768. Which is greater: y or -3?
-3
Let j(o) = -o**3 - o**2 + o - 48. Let n be j(0). Are -46 and n equal?
False
Let c = 22 - 21.75. Which is greater: -2/5 or c?
c
Let p = 0 + -1. Suppose 0 = -r + 5 - 6. Let u be 3/r - (-26)/12. Which is greater: u or p?
u
Let m = 31/1282 - -1168817/1923. Let r = -606 + m. Let y = 25/12 - r. Which is smaller: y or -2?
-2
Let p be 2 + -4 - (0 - 0). Let u be (6/p)/(3/2). Suppose 2*q + 1 = -5. Which is smaller: q or u?
q
Let p be 5*(-4)/(-4)*228/75. Is p less than 14?
False
Let d = 10.77 + -11. Let w = 0.37 - d. Which is smaller: -1 or w?
-1
Let s be 18318/(-21483) - 4/(-14). Let b be (-10)/(-50) - (-103)/(-465). Let r = b - s. Are r and 2 non-equal?
True
Suppose 5*l + 4*f = 17, 7*f - 2*f - 12 = 3*l. Let t = 6 - 5. Let n be (t - 3)*3/(-21). Which is bigger: n or l?
l
Let b = 4 + -6. Let y = 2.99 + 0.01. Let w = y + b. Is 1 bigger than w?
False
Suppose 4 = -2*g - 4. Let q = g + 4. Is q bigger than -2?
True
Let s(r) = r**2 - 5*r - 1. Let l be s(6). Suppose l*d - 11 - 2 = 3*k, 2*k = -5*d + 33. Is k at least 2?
True
Let o be (0 + (-1)/(-53))*1. Let v = -62/477 + o. Which is smaller: v or 1?
v
Let k(z) = 13*z + 1. Let n be k(1). Suppose 0*v + n = v + 2*h, 0 = h - 5. Which is greater: v or 3?
v
Let t(f) = f**3 - 6*f**2 + 5*f - 2. Let k be t(5). Let x be (-2)/(4 - 3) + -2. Let p be (k/3)/(x/(-6)). Which is greater: -1/5 or p?
-1/5
Let l be -1*5/180*8/(-6). Is -1 less than or equal to l?
True
Suppose 0 = -5*g - o + 1, 2*g + 1 = -3*g + o. Is -2 at most g?
True
Let q = 4/9 - 10/9. Which is bigger: 0 or q?
0
Suppose 2*s + 4 = 0, 0*a = 5*a + 2*s - 226. Let t = a - 226/5. Are t and 0 equal?
False
Let w = 5 + -4.9. Which is smaller: -6 or w?
-6
Let i = -451/4 + 112. Is i bigger than -2/3?
False
Let z(d) = d - 11. Let b be z(11). Is b less than -2?
False
Suppose -f + 0*f - 68 = -2*n, -3*n + 102 = -5*f. Which is bigger