)). Is -0.1 at most k?
True
Let r = -2.5 + 3.6. Let c = 0.1 - r. Let l = 4 - 3. Is c > l?
False
Suppose -2*b - 58 = -6*b + u, 0 = -2*b - u + 26. Do b and 13 have the same value?
False
Suppose -5*u + 25 = -0*u. Suppose 0 = -b + u*g - 23, -g - 4*g + 27 = b. Let v = -3 + b. Is -1 at least as big as v?
True
Let d = 0 + 8. Suppose 0*j - 4*x = j + d, j + 2 = -2*x. Let b = 7 + -4. Which is smaller: j or b?
b
Let t = 4 + -2. Suppose 2*m - 10 = -3*h + t, m = 2*h - 8. Is m at least as big as -1?
True
Let j = -134 + 65. Is -69 <= j?
True
Suppose s - 6*s + 161 = -2*d, s = 2*d + 141. Is d != -68?
False
Let w be ((-35)/(-10))/((-1)/2). Let l be 16/w - -1 - -1. Which is smaller: l or 0?
l
Let q(b) be the second derivative of -b**4/12 + 5*b**3/3 + b**2 + 2*b. Let n be q(10). Let o be (n/6)/(3/9). Which is bigger: -2/9 or o?
o
Let d = -2.4 - -3.4. Is -102 at least d?
False
Let j be (-20)/(-6) - (-10)/15. Suppose j*n + 19 = 3. Are n and -4 equal?
True
Let o(c) = -c**2 - 7*c - 2. Let v be o(-6). Let j = -7 + v. Suppose 0*r - 5*r - 10 = 0. Is j at least r?
False
Suppose 5*y - 2*l + 19 = 0, -4*y = y + 4*l + 37. Is -7 equal to y?
False
Let t(f) = -f**2 + 2. Let m(b) = -b + 1. Let n(a) = m(a) - t(a). Let u be 15/(-12) + 2/8. Let k be n(u). Is k at least as big as 6/7?
True
Let x = 14 - 23. Let s be (-2)/9 + (-20)/x. Suppose -5*d + m - 1 = -s*m, -2*m + 3 = -d. Which is bigger: 3 or d?
3
Suppose -5*s = 5*q + 15, 0*q + 3*q + 9 = 0. Let x = 8 + s. Is 7 greater than x?
False
Let y = -25 + 10. Let w = y - -16. Which is smaller: w or 0.02?
0.02
Suppose 0*q - 2*q = -126. Let j be 1 - q/(-57) - 2. Is -1 less than or equal to j?
True
Let f = 4459/6 - 691109/930. Let q = -10885907683/5890 - -3696403/2. Let n = f + q. Which is smaller: n or -1?
-1
Let q(n) = n**2 + 18*n - 17. Let w be q(-19). Let b be -1 - -2 - 2/(-8). Is b greater than w?
False
Let m = 18 + -20. Which is smaller: -4 or m?
-4
Suppose -2 = 5*o - 17. Suppose -3*d = -6, -o*h - 5 = -0*h + 2*d. Suppose -10 = -3*r - 22. Which is bigger: r or h?
h
Let p = 26.8 - 30. Let i = p + 3. Suppose -2 = o - 3*d - 10, d = -o. Is i >= o?
False
Let l = -1/6 - -2/3. Suppose -5*u + 2*u - 2*h = -18, 5*h + 18 = 3*u. Let v be (-8)/6*(-9)/u. Which is bigger: l or v?
v
Let x be ((16/18)/(-2))/1. Let i(j) = 2*j + 19. Let t be i(-8). Suppose 0 = -5*w + t*w. Which is greater: x or w?
w
Let r = 3.8 - 3. Let l = 0.7 - r. Is -4 at least as big as l?
False
Let r = -0.81 - 0.29. Let t = r + 1.2. Which is smaller: 2 or t?
t
Let h = -145/148 + -10/37. Let a be (-3)/6*0/(-6 + 2). Is a greater than or equal to h?
True
Let y = -16 - -21. Suppose -18 = -2*l + y*k, -5*k - 8 - 12 = 0. Is l at least as big as 2?
False
Let u(l) = l**2 + 6*l + 3. Let p be u(-7). Which is greater: p or 11?
11
Let z = 7 + -5. Let d = -221/3 + 74. Is d > z?
False
Let h = -1 - -0.9. Suppose 0 = -3*t + 37 + 17. Let i be ((-3)/t)/(1/(-4)). Are i and h unequal?
True
Let v be (-3)/2 + 7/(-2). Which is smaller: v or -6?
-6
Let q be 3/(-9) - (-16)/(-6). Let j be 0/(q/(-3) + -3). Which is smaller: -4/15 or j?
-4/15
Let z = -26 + 0. Let n = 23 + z. Is 0.4 <= n?
False
Let q(n) = 2*n - 1. Let r be q(-1). Let b be 2 + r*(-10)/(-3). Are b and -8 nonequal?
False
Suppose -4*i = 4*o - 12, i + 3 = 4*o + 1. Let c = -816022521/152114830 + 1/2453465. Let t = 53/10 + c. Which is bigger: o or t?
o
Suppose 3*f + f + 1 = -3*m, 5*f + 10 = -2*m. Suppose 2*c + 3 = m. Is c greater than or equal to 2/27?
True
Let c(q) = -q**3 - 7*q**2 - 8*q - 9. Let l be c(-6). Suppose 0 = -4*u - 8, -v - l = 4*u + 5. Let j be 1/((-5)/7) - -1. Which is bigger: v or j?
v
Let h = 36.5 - 38. Is -1/4 less than or equal to h?
False
Suppose -3*c = 1 - 7, 3*n + 4*c - 17 = 0. Suppose t - 4 = 3*w, t - 4*t - n*w - 24 = 0. Is -5 < t?
False
Let x = 33 + -38. Suppose c + 2 = b, -5*c + b = 5*b + 28. Which is smaller: x or c?
x
Let x = -31 + 30. Are -2/13 and x unequal?
True
Suppose -27 = h - 5*z, -1 = -h - h - z. Let r = 12 + h. Let i be (3/(-15))/(4/r). Which is smaller: i or 0.2?
i
Let w(d) = d + 2. Let b be w(6). Let f = b - 6. Let k = 2 - f. Which is smaller: k or 1/6?
k
Let a = 0.07 + -1.07. Suppose -3*l = -3*y + 6, -l - 29 = 3*l + 3*y. Let c be (l - -3)*2/8. Which is bigger: c or a?
c
Let f be ((-60)/9)/((-5)/(-15)). Do -19 and f have the same value?
False
Let a = -22.87 + 23. Is -0.1 greater than a?
False
Let z = 13 - 21. Let c be -1 - (2 - 6 - z). Which is bigger: 3 or c?
3
Let t = 29/7 - 32/7. Suppose -5*v - 4 = -24. Suppose -4*q = -2*s - 0 - 8, -4*q + v*s = -12. Which is greater: q or t?
q
Let k be 0*(22/4)/11. Let g = 9181/9 - 1019. Which is smaller: k or g?
k
Let r = -13.23 - -13.3. Is r smaller than -0.4?
False
Let q(w) = -w**3 + 6*w**2 + 6*w + 7. Let s(j) = j + 2. Let x be s(5). Let d be q(x). Let y = 2 + d. Is -2 at least as big as y?
False
Suppose -5*v = -i + 5, 8*i + 2*v = 4*i - 24. Is -2/3 < i?
False
Let s be (-60)/(-45)*(-1)/6. Does s = 7?
False
Let f(g) = -g**3 - 21*g**2 + 4*g - 21. Let a be f(-21). Is a greater than or equal to -104?
False
Let z(o) = o**3 - 13*o**2 - 14*o + 1. Let s = -9 - -23. Let r be z(s). Which is smaller: r or 2/9?
2/9
Let h = 168 - 169. Suppose 0*g - 2*g = 0. Which is smaller: h or g?
h
Suppose 5*x = -v - 5 - 1, -3*x + 18 = -3*v. Let q = 1 - -1. Suppose r - 6 = q*r. Is r < v?
False
Let f = -7 + 10. Let g(r) = r**2 - 3*r - 1. Let x be g(f). Which is smaller: x or -3?
-3
Let f be 10/325*(-274)/14. Let h = 2/65 + f. Let o = -1.2 - -0.2. Which is greater: o or h?
h
Let o = -40 + 39. Is o less than or equal to 1/40?
True
Let w = -30 + 30.1. Let r = 3 + -3.1. Let s = r + 0.2. Is w less than s?
False
Suppose 10 + 2 = 5*n - 4*z, 2*z + 6 = n. Which is smaller: 7/6 or n?
n
Suppose 5*r = 6*d - 2*d - 20, 3*d + 15 = 0. Let w(z) = z**2 + 8*z - 8. Let l be w(r). Let t(o) = o + 5. Let a be t(l). Which is bigger: -2 or a?
-2
Let o(b) = b**3 + 9*b**2 - b + 8. Let m be o(-9). Let a be (m/5 - 3)*-1. Let f = -0.1 + -0.2. Is f equal to a?
False
Let l be (-2)/(-1) + 2 + -3. Let t = l - 1. Let f be (-1)/3 + 1 - 1. Is t bigger than f?
True
Suppose 139 + 1 = 5*h. Suppose -m + 8 = 3*c - 2, -5*m + h = 4*c. Let g(n) = -n**2 + 6*n - 3. Let q be g(5). Do c and q have the same value?
True
Let s(q) = -q + 1. Let l be s(15). Which is bigger: -1 or l?
-1
Let s(i) = -10*i + 5. Let n be s(3). Let v = -24 - n. Which is bigger: -25 or v?
v
Let p = 55 - 39. Let n be 7/(-4) - (-12)/p. Is n less than 2/27?
True
Let l = -3.88 + -0.12. Let n = l + 5. Which is smaller: n or 0.1?
0.1
Let i be (-9 + 11)/(2/3). Does -3 = i?
False
Let h = -30 + 29. Let v = -6 - -9. Which is bigger: v or h?
v
Let u = 13/7645 + -498511/932690. Let k = u - -2/61. Let o = -0.4 + 0.5. Which is bigger: o or k?
o
Suppose -7 = -o - 4*j + 9, 3*o - 3*j + 12 = 0. Suppose -2*w - 3*b + 10 = 2, -3*w = 2*b - 12. Suppose o = -4*u + 5*v - 2 + 3, -4*v = w. Which is smaller: 1 or u?
u
Let b(q) be the third derivative of -q**5/60 - q**4/24 - q**3/6 + 3*q**2. Let u be b(-1). Is u != 1/11?
True
Let p = 19 - 22. Which is greater: -5 or p?
p
Let a = -2 + 5. Suppose -a*r + 1 = -w + 13, 2*w - 24 = 2*r. Let n be 2/w + 1/2. Are 2 and n non-equal?
True
Suppose 0*y = -3*y. Let n be (2 + y)*-1 + 0. Let r = -18 - -17. Is n equal to r?
False
Suppose -4 = -0*f - 3*f + l, -12 = -4*f + 3*l. Is f > 4/5?
False
Let m = -10 - -12. Let n = m + -2. Let b = n + 1. Is b <= 1/6?
False
Let z = 506185/1963 - -3122/151. Let y = 279 - z. Is 1 greater than or equal to y?
True
Let m be -1 + ((-6)/3)/(-1). Let b = m - 4. Let u = -2 - b. Is 5/4 <= u?
False
Let q = -0.1 + 0. Let a be (0 - 1) + 5896/5274. Let f = -2/293 + a. Which is greater: f or q?
f
Let o = -1.2 - -0.2. Let q be (-49)/(-42) - 2/3. Which is greater: o or q?
q
Let t = -0.3 - 25.7. Is 0 smaller than t?
False
Let o = -127 + 126. Let p = 2 + -4. Which is smaller: p or o?
p
Let u be (-3)/6*2/(-1)*-2. Let g be (12/63)/(2/(-6)). Which is greater: g or u?
g
Suppose 5*c - 3 - 2 = 0. Is 2/7 smaller than c?
True
Let a = 18 - -12. Let x = a + -152/5. Which is greater: 0.5 or x?
0.5
Let d(b) = 2*b - 1. Let n = -4 - -5. Let x be d(n). Suppose 2*l = x + 1. Is l greater than 1?
False
Let s = -628/1545 + 2/309. Let u = 9 - 1. Suppose -4*a + u = 4. Which is greater: a or s?
a
Let n = -1 - -1.1. Is -35 less than n?
True
Suppose -a = 4, 4 = -2*l + 2*a + 12.