. Is k at most as big as 0.05?
True
Let i = 53/282 + -1/47. Let t = 5/6 - i. Is 0 less than t?
True
Let p be 0/((1 - -2) + -4). Let i = -87 - -263/3. Which is greater: p or i?
i
Let r be 3 + 1 + (0 - 1). Suppose -r*t + 2*t = -1. Which is bigger: t or 0?
t
Let o be 12 + 0/1 + 0. Let t = -8 + o. Suppose -2*u + 5*z = -7*u + 10, 2*u + 5*z = t. Which is greater: u or 3/2?
u
Let a = 16 - 14. Suppose a*c = 31 - 13. Is 8 <= c?
True
Let y = -11 - -16. Suppose 2*d = 5*j + 8, 0 = -j + y*j + d - 4. Suppose 7*f - 2*f + 15 = j. Which is smaller: f or -2?
f
Let c(v) = v - 3. Let j be c(2). Let q be (-6)/9*3 + j. Let n be -1 - (-3)/(-3 - 0). Which is smaller: q or n?
q
Suppose -2*m - 12 = -4*r, -6 = -5*m - 4*r + 2*r. Suppose 0 = -2*a - m*a. Suppose 0 = -3*h - 2*g + 11, 0 = -2*h - a*h + g - 2. Which is smaller: 4/7 or h?
4/7
Let o be 18/(-24) + 3/4. Suppose -u + o - 2 = 0, 0 = -3*m + 4*u + 5. Does -1/2 = m?
False
Let m(d) = d**2 + d. Suppose -4*o + 2 = 2*n, 0*o + o - n = -1. Let s be m(o). Let v = -2/75 + 52/75. Which is greater: s or v?
v
Suppose -4*z + 18 + 14 = 0. Let q be z/12 + 32/(-30). Do q and 0 have the same value?
False
Suppose -2*q - q = 0. Suppose q = -y - 4*o - 8 + 99, -2*y - 4*o = -162. Let w = 215/3 - y. Which is bigger: w or 0?
w
Suppose 2*l + 2*l - 16 = 3*k, 2*l - 2*k - 8 = 0. Suppose 5 = l*g + 1. Suppose -2*u + 3 = -m - 3, -4*u - 3*m = -2. Which is greater: u or g?
u
Let l = -269/5 + 54. Let k = -23 + 22.9. Which is bigger: k or l?
l
Let b(h) = -h**2 - 4*h - 1. Let m be b(-6). Let l = -29 + 17. Which is smaller: l or m?
m
Suppose -5*w + 2*s = -26, -3*s + 4*s + 7 = w. Let z = 7 - w. Let c be (-4)/z*(-6)/4. Do c and 2 have different values?
False
Let u = 0.28 + 1.72. Do u and -3/2 have different values?
True
Suppose -45 = -0*z + 3*z. Which is smaller: -41/3 or z?
z
Let f = 32 + -31. Let s be -1 + (-5)/7 + 2. Is s equal to f?
False
Let m be (-2)/7 + 176/28. Suppose -m*s = -s - 40. Suppose 5*y + s = 2*p + 4*y, 0 = -5*p - 4*y - 6. Are p and 3/2 unequal?
True
Let p = 34 + -2. Which is greater: -2/5 or p?
p
Let o be (-6 + 7)*(0 - 1). Let w = o + 0. Is w greater than 1/9?
False
Let k = -53 - -56.6. Which is smaller: k or 0?
0
Let f(u) = -3*u**2 - u - 1. Let p be f(-2). Let b be (-2)/p + (-100)/(-55). Let s be (-9)/b*(-2)/(-3). Which is smaller: s or -2?
s
Suppose 0 = -w + 3*w - 4. Suppose -w*a = a - 3. Is -0.06 at most a?
True
Let g = -3.05 - -3. Let b = 4.05 + g. Suppose 4*t + 56 - 60 = 0. Which is smaller: t or b?
t
Let g(n) = -5 - 6*n**2 + n**2 + n**3 + 5*n + 1. Let b be g(4). Let a = 3 + b. Which is smaller: a or 2?
2
Let l = -3 + 9. Suppose l*r = r. Which is greater: r or 2/5?
2/5
Let p be 3/(3 + 6/(-4)). Is -1 greater than or equal to p?
False
Let p = 2 - 4. Let f = -3 - p. Is -1 < f?
False
Let z = 5 - 5. Is -0.15 at most as big as z?
True
Let z = 0.45 - -0.05. Let c = z - 0.4. Is 3/5 > c?
True
Suppose -4*k = -5*k. Let w(c) = -21*c**3 + c. Let z be w(-1). Suppose -4*o - 15 = 3*j, -4*o + z = -9*o - 4*j. Does o = k?
True
Let r(d) = 3*d + 5. Let i be r(-3). Let q be 2/(3*(-4)/(-18)). Let j = q - 7. Are i and j unequal?
False
Let g = 0 + 1. Let i = g - 1.1. Let o = -3 + 3. Which is bigger: o or i?
o
Suppose 16 = -j + 3*j. Let k = -8 + j. Are -1/2 and k equal?
False
Let t(d) = -3*d**2 + d. Let o be t(-1). Does -2 = o?
False
Let m be (-3623)/126 - 4/(-36). Let c = m + 86/3. Which is smaller: c or 1/2?
c
Suppose 5 = -8*y + 13*y. Let r be y/(-4) - (-3)/(-4). Is r less than 1/8?
True
Suppose -19 = -5*x - 4. Which is greater: 4 or x?
4
Let n = -3.5 - -6.2. Let q = -3 + n. Let k(h) = -h**2 - h + 1. Let y be k(0). Are y and q equal?
False
Suppose 8 - 10 = -2*z. Are -0.4 and z nonequal?
True
Let y = -11.05 - -11.2. Do y and -3 have different values?
True
Let a = -9.21 - -0.21. Let d = a + 9. Which is bigger: -0.2 or d?
d
Suppose 2*h = -5*j + 2, -h - 3*j + 4 = j. Let a = h + 1. Let x = a + 2. Is x less than -2?
False
Let x(u) = -u**3 - u**2 - 2*u - 1. Let m be x(-1). Let j = m - 0. Let k be 8/(-7)*j/4. Which is smaller: k or -1?
-1
Let q = -31.3 - -33. Let r = q - 0.7. Which is bigger: 0.1 or r?
r
Let i = 6.99 - -0.01. Let d = -3 + i. Is d != 0?
True
Let j(u) be the third derivative of u**4/24 + u**3 - 2*u**2. Let b be j(-5). Suppose k + 2 + b = 0. Is k >= -1?
False
Let o be (-15)/(-1 - (-2)/(-4)). Suppose -o = -2*d - 3*d. Suppose -d*c = 4*z - 6, c + 12 = 2*z + 5*c. Which is smaller: z or -1/3?
-1/3
Let p = -0.68 + -3.42. Let j = p + 4. Let t = j - 0. Which is bigger: 1 or t?
1
Let d = -54 + 53. Let h be 1 - -1 - (-22)/(-14). Which is smaller: d or h?
d
Suppose -j + 5 - 3 = 0, 0 = s - 4*j + 10. Let p be (-3 - 38/(-13))*s. Which is greater: -1 or p?
p
Suppose -4*s - 21 = -s. Let k be (-2)/7 - 2/s. Is 4/3 less than or equal to k?
False
Suppose 0 = -o + 4*j - 7 - 2, 5*o - 3*j = -28. Let g = -1171/7 + 167. Which is bigger: o or g?
g
Suppose -9 = 2*l + 5. Suppose 5*b + 2 = -i + 7, -5*b = 4*i + 40. Let n = i - -9. Is l less than n?
True
Let g = 2.01 + -0.01. Let v = -3.6 - -3. Let m = -1.6 - v. Is m bigger than g?
False
Let y be 5/20 + 2/24. Is 1/3 != y?
False
Suppose 17*q = 16*q - 8. Which is greater: q or 1?
1
Let c be (2/(-18))/((-2)/4). Suppose -p - 8 = -4*w, -4*w = -3*p - 7*w + 21. Suppose p*x - 6*x = -2. Are c and x non-equal?
True
Suppose -6*s + 3*s = -66. Which is bigger: s or 20?
s
Let j = 4 + -6. Let c = -3 - j. Is c <= 2/5?
True
Let c be 1/(-3) + 8/33. Suppose -4*x - 3*g = -7, 5*x - 2*g + 7*g - 10 = 0. Which is greater: c or x?
x
Let k = 3 - 4. Let p = -4 + k. Which is smaller: p or -4?
p
Let l(p) = p**3 + 6*p**2 + 4*p - 4. Let m be l(-5). Which is smaller: 3/25 or m?
3/25
Let r be (-4)/(-34) - (-806)/4420. Suppose -u + 0*u + 7 = -2*b, b = 4*u - 21. Which is greater: r or b?
r
Let c = -8 + 6. Is -6/7 less than c?
False
Suppose -2*y = y - 6. Let h be (15/(-6) + y)*-4. Let m be 5/(15/(-18)) + h. Is m bigger than -3?
False
Let d be 6*(2 + (-28)/3 + 1). Are d and -39 equal?
False
Suppose -l - 7 - 7 = 0. Let v be (2/(-6))/(l/12). Is v at least -1?
True
Let n = 236 + -715/3. Is -1 at least n?
True
Let n be ((-4)/(-4))/1 + -1. Suppose n = -5*q + 18 + 2. Do 2/7 and q have the same value?
False
Let v be (12/(-16))/(6/(-20)). Is -1/7 at least as big as v?
False
Let y be (-20)/50 - (-52)/30. Which is bigger: y or 0?
y
Suppose -2*d = -6*d - 8. Is -1 equal to d?
False
Suppose 0 = i - 3*j - 33 + 7, 3*j = -15. Are 12 and i nonequal?
True
Let b(q) = q + 2. Let d be b(0). Let s be (-1)/(d - (0 - -1)). Let u be (-2)/4 + 50/180. Is u equal to s?
False
Let f = -429 + 2997/7. Let t = 0.4 - 1.4. Is t >= f?
False
Let p = -1 - -1.1. Let c = 10.4 + -8. Let s = c + -0.4. Which is bigger: s or p?
s
Let q = -63 + 113. Which is smaller: 51 or q?
q
Let o = -5 - -10. Let p be 26/7 - 8/(-28). Which is bigger: o or p?
o
Suppose 2*f - 4*o - 18 = 0, 19 = 5*f - 0*f + 3*o. Let l = -7 + f. Let c be (-1)/l*(-4 - 0). Are -2 and c non-equal?
False
Let o be (-2)/(-15) + 735/(-450). Is o <= -11?
False
Let j = 15 - 7. Let q = -9 + j. Which is smaller: 2 or q?
q
Let l(o) = -2*o**3 - o**2 - o. Let b be l(-1). Is 2 equal to b?
True
Let q = -33991/231 - -998/7. Let l = q + 21/11. Let o(j) = -j**2 + 3*j + 6. Let n be o(5). Which is smaller: n or l?
n
Let d(k) = -2*k**3 + 2*k**2 + k + 2. Suppose 5 - 15 = -5*c. Let o be d(c). Let n = -26 + 21. Is o > n?
True
Suppose -v = 3*v + 8. Let o be (0/1)/2 - v. Is o smaller than 2?
False
Let a = 5 - 5.2. Let c = -1.2 - a. Is c < -0.4?
True
Suppose 4*t - 2 = -4*s + 26, 4*s - 30 = -5*t. Suppose 0 = -0*v + t*v + c - 2, -v + 4 = 2*c. Do v and -1 have the same value?
False
Let h = -12 - -12. Suppose 3*c + 2*c - 5 = h. Which is greater: c or 2?
2
Let b = 2/173 + 511/692. Which is smaller: b or 0?
0
Let t be (3/1)/(6/(-8)). Let u(f) = -2*f + 1. Let x be u(2). Is t bigger than x?
False
Suppose -w + 54 + 21 = 0. Let t be (2/5)/((-15)/w). Which is greater: 4 or t?
4
Suppose -5*g = 5*r - 2*r + 5, -3*g - 3 = 2*r. Let p be (-9)/7 - 4/(-14). Which is smaller: p or r?
p
Let s = -417/5 + 84. Which is smaller: 0 or s?
0
Let f = 2 + -1.1. Let w = f - -3.1. Let t = w - 7. Is 2 at least as big as t?
True
Suppose 0 = 2*z - z - 15. Let n(y) = -y**2 - 1. Let p be n(1). Let q be (-3)/p - z/14. Which is smaller: 2/5 or q?
2/5
Let r = 21 - 26. Is -4 < r?
False
Let t(r) = 2*r**3 + 4*r