-0.17. Let y = f - 0.01. Is -0.1 at most as big as y?
True
Let q(i) = -i - 1. Let z be q(-1). Suppose s - 18 = 4*x, -4*x + 4*s - 2 - 10 = z. Is x greater than -7?
True
Suppose -10*c - 423 - 7 = 0. Which is greater: -45 or c?
c
Let g = -5472.269 + 5470. Let x = -0.031 + g. Let w = x - -2. Is 1 less than w?
False
Let a(p) = p**3 - 13*p**2 + 11*p + 12. Let f be a(12). Is f less than or equal to -2/5?
False
Let a(w) = -w**2 - 9*w - 3. Let i be a(-8). Suppose -4*g = -i*g + 25. Suppose -n - 21 = 5*h, -2*h = -5*n - 7*h - g. Do n and -2/5 have the same value?
False
Let j = -0.3 + -0.1. Let s = -0.4 - j. Let a = -8.9 - -9. Which is smaller: s or a?
s
Let v = 0.19 + -0.4. Let u = v + -2.89. Let i = -3 - u. Is i at least -1?
True
Suppose -61 = -4*o - 13. Let z = o - 9. Suppose z*j + 19 = -3*c - c, -5*j - 2*c = 13. Is -1/3 < j?
False
Let v(a) = a**3 + 13*a**2 + 12*a - 1. Let u be v(-12). Is u at least as big as -1?
True
Suppose -3*z + 6 = 4*k, k = 4*k + 3*z - 6. Let a = k + -2. Let n = a - -4. Is 2 >= n?
True
Let u(h) = h**2 - 4*h - 15. Let x be u(5). Which is smaller: -9 or x?
x
Suppose -r + 24 = -3*r. Does r = -14?
False
Let p = -9 - -10. Which is bigger: 2 or p?
2
Suppose 3*b + 2*j - 2 = -4, 0 = 3*j + 3. Let u = 0 + 0. Is u at most b?
True
Let u be -2 + 7/3 + 14/(-24). Which is bigger: 4/5 or u?
4/5
Let v = -2 + 4. Suppose -2*h + 6 - 2 = 0. Suppose -h*l - 2 + 4 = 0. Is v less than l?
False
Let n be ((-9)/(-2))/(12/(-24)). Are n and -8 equal?
False
Let h = -25 - -17. Let m(n) be the first derivative of -n**3/3 - 9*n**2/2 - 8*n + 1. Let c be m(h). Is c greater than 0?
False
Suppose 26 = 4*o - 2*y, 0*o = -4*o - 2*y + 14. Is o at most as big as 9?
True
Let a be ((-136)/(-6))/((-10)/(-15)). Let z be 8/a*3/6. Is -1 >= z?
False
Let k(g) = 2*g - 1. Let p(o) be the second derivative of o**5/20 - o**4/3 - 2*o**3/3 - 3*o**2/2 - o. Let z be p(5). Let f be k(z). Is 2 at most as big as f?
True
Suppose -5 = -3*i + 2*c, i - 5*i - 20 = 4*c. Is i > 7?
False
Let y = -3.2 + 1.2. Is 3/5 at most y?
False
Let f(b) = b**3 + 6*b**2 + 6*b + 4. Let g be f(-5). Let p be (0 + 0 - 0)/g. Let j = -8/15 + 7/10. Which is smaller: p or j?
p
Let s be (1/(-2) + 1)/((-3)/6). Is s >= 2/109?
False
Suppose 0*s = -w + 2*s - 1, -1 = -2*w + 3*s. Let x = 5 + -1. Which is greater: x or w?
w
Let i be 6*((-2)/(-3) + -2). Let n = -2 - i. Let r be (6 - 5)*(-5)/(-20). Which is smaller: r or n?
r
Let f be (4/(-6))/((-2)/(-12)). Let y be 3*(2 + 7/f). Let h be (-4)/(-10) + (-2)/5. Is y less than h?
False
Let c be 3/9 + (-2)/24. Let a be (16/10)/((-1)/(-5)). Which is smaller: a or c?
c
Let d be 2 + -3*(-2)/6. Let v be (-1 + d)/(-2) + 1. Is 0 != v?
False
Let n(m) = -m. Let r be n(1). Let d = 1 + 0. Let q be (d + -2)/5*4. Are q and r non-equal?
True
Let a be (-2)/(-4) - (-345)/(-126). Let j = a - -11/7. Is j at least as big as -13?
True
Let u be (-4 - -3)/(2/(-4)). Suppose 0 = 4*q - z - 28, z - 12 = -u*z. Let i = q + -2. Which is smaller: 4 or i?
4
Suppose -4*c - 3*k + 58 = -14, k + 109 = 5*c. Let t be ((-10)/4)/(c/6). Is t bigger than -1?
True
Suppose -2*c + 0*c = 4*r - 2, -5*r + 4*c + 9 = 0. Is 4 at least r?
True
Let n = -0.11 - 2.19. Let x = 0.3 + n. Let a = 27 + -27. Which is greater: x or a?
a
Let b = -0.99 - -0.59. Let g be 5 + ((-2)/(-1))/(-2). Suppose -o = g*o. Which is greater: o or b?
o
Let w be (-2)/(6/(-9)) - -9. Let c be w/(-20) - (-34)/(-10). Is c at most as big as -4?
True
Let x = 0.05 + -0.45. Which is greater: -8 or x?
x
Suppose -3*q = 1 - 4. Let f be -9 + (q - (-2)/2). Are f and -6 equal?
False
Let a be 30/(-165) - 2*68/(-22). Is 1/12 > a?
False
Let y be (12/(-15))/(4/60). Let n be (-12)/(-42)*(-14)/y. Which is smaller: 0.02 or n?
0.02
Suppose -b + 2*a - 11 = 6*a, -b + 2*a + 13 = 0. Suppose 10 = b*v + w + 3*w, 5*w = -v + 23. Let l = 3/119 - 491/595. Is l smaller than v?
False
Suppose -5*b = -2*s + 10, -3*b + b + 2*s = 4. Which is smaller: b or -3?
-3
Let y = 1 - 0.8. Let g = 2.8 + y. Is -0.1 <= g?
True
Let t be -5*-3*2/5. Let v = t - 6. Suppose v*x = 2*x + 8. Is x > -4?
False
Let h = -151 - -151.2. Is -22 bigger than h?
False
Let l(y) = -y**2 - 7*y - 3. Let v be l(-6). Let g be 69/(-255)*19/v. Let i = 4/85 + g. Do i and -3 have the same value?
False
Let z be 6/(-15) + (-24)/(-10). Suppose 0 = -2*n + 7 + 13. Let q be ((-8)/n)/((-5)/25). Is z at most q?
True
Suppose -2*f = -3*t + 1, 0 = f + 3*f + 5*t - 31. Let h be f/14 + 81/(-63). Which is smaller: h or -4/13?
h
Let v be (-4)/10 - (-184)/10. Let p be 6/(-4)*v/(-3). Let z be (-6)/p*1/(-2). Is -1/4 bigger than z?
False
Let o = -45118/7 - -2933391/455. Let d = o + -18/13. Let n = 1 - 0. Is n != d?
True
Let g = -5/27 - 31/27. Let w(v) = -v + 2. Let h be w(-2). Let l = -4 + h. Is g greater than or equal to l?
False
Let t = -89 + 102. Which is bigger: -0.4 or t?
t
Let o be (-2 - -2) + 4/(-6). Let m = 1 + o. Is -1/3 at most as big as m?
True
Suppose -4*t + 4*d - 6 + 22 = 0, 0 = 2*d + 8. Which is smaller: t or 2/55?
t
Let b be 4/6*3/(-1). Let y be (-1)/b + 30/(-28). Let l = 201 + -203. Which is smaller: y or l?
l
Let u(g) = g**3 + 2*g**2 - 2*g - 1. Let n be u(-2). Suppose -2*w = -w + 2*p - 2, -w = 5*p - 14. Let t be w/(-9) + (-7)/(-3). Is n at least t?
True
Let u(z) = -z**2 - 8*z - 1. Let b be u(-7). Suppose -4 = -2*k + b*k. Is -2/17 <= k?
False
Suppose 0*x = 5*r + 4*x - 15, r - 2*x = 3. Suppose -r*d + 3 = -6. Which is greater: d or 2/5?
d
Let r(m) = -4*m**2 - 12*m + 15. Let w(x) = 5*x**2 + 12*x - 14. Let b(o) = 4*r(o) + 3*w(o). Let q be b(-14). Which is smaller: q or -11?
-11
Let a(m) be the first derivative of m**3/3 + 3*m**2/2 - 2*m - 2. Let p be a(-4). Is p < 4/5?
False
Suppose w = 2*w. Suppose -2*i + 2 = 2*h, 0*i - 1 = 3*h + 5*i. Suppose 3 = h*u - 3, -4*n - 4*u = -12. Which is smaller: w or n?
w
Let r = -0.9 - 0.1. Does r = -2/7?
False
Suppose 0*g - 2 = 2*g. Suppose -4*v + 2 = -3*m, 3*v - 2*v = -4*m - 9. Is g smaller than v?
False
Let h be (-6)/(-5) + (-3)/15. Which is bigger: 4/13 or h?
h
Let t(m) = 2*m**2 - 5*m + 2. Let q be t(3). Suppose -2*j = -4*j - q*n + 29, j = -2*n + 12. Suppose -j*u = 2*u - 4. Which is greater: u or 2/3?
u
Let o = -2 + 0. Let m = 68.2 - 68. Which is bigger: m or o?
m
Let o = -25 + 24.32. Let i = -0.02 + o. Which is smaller: i or 1?
i
Let c(r) = -r**2 + 2. Let n be c(-2). Let u be 0 + (-3)/(-2) + n. Which is smaller: -1 or u?
-1
Let q = 163 - 162.97. Is q bigger than 3?
False
Let m = -3040/7 + 435. Which is smaller: 2 or m?
m
Let j be (-212)/44 - 8/44. Which is bigger: j or -1?
-1
Suppose 0 = 4*v - 5*d - 189, 4*v + d = -3*d + 180. Suppose 5*t = -11 + v. Is t at least as big as 8?
False
Let k be ((-4)/(-9))/(2/(-1)). Let x = 13 - 13. Which is smaller: k or x?
k
Let o(d) = 1 + 0*d**2 + 2*d - d**2 + 0*d**2. Let j be o(3). Which is smaller: 0 or j?
j
Suppose -3*s + a - 4 = -1, 6 = s + 2*a. Suppose -3*v - u = 0, 5*u = -s*u. Suppose -2*w + v*i + 4 = -i, -5*i = -2*w - 4. Is w >= 1?
True
Let o = 8 - 6.7. Let d = -2 + o. Let p = d + -0.3. Is 4 <= p?
False
Let i be 14/4 - 1 - 3. Suppose 4*d + 3 + 1 = 0. Is d >= i?
False
Let m(q) = -4*q**3 - 2*q**2 - 2*q - 1. Let x be m(-1). Let o = x - 3. Which is greater: o or 1/3?
1/3
Let a = 23 + -20. Which is smaller: a or -4?
-4
Let q = 3 + 0. Suppose 5*i - q*w = -4*w - 5, -2*i + 2*w = 2. Do i and -1/2 have the same value?
False
Let f = 25 - 35. Let q = f + 9. Is -2 <= q?
True
Let i = 103 + -413/4. Is 14/3 at most as big as i?
False
Let h = -2 + 1. Let l be h/4 - 3/36. Which is bigger: 0 or l?
0
Let s = 4 + -4. Suppose s*p = 4*u - p - 31, -u + 22 = -5*p. Suppose -6*w = -w - 4*h + 11, 0 = -w - 4*h - u. Are -2 and w non-equal?
True
Suppose 5*a = -3*z + 12, 23 = 5*z + 5*a + 3. Suppose -4*l - z*n + 5*n - 2 = 0, -4 = 2*l - 2*n. Which is greater: -2/13 or l?
l
Let l(g) = 2*g + 11. Let y be l(-5). Which is smaller: y or -1/34?
-1/34
Let i = 16.8 + -17. Let r = i + 0.1. Which is smaller: r or 0.2?
r
Suppose 5*u - 3*z + z = -15, 4*z = -2*u - 6. Which is greater: u or -1?
-1
Let i = 8.5 + -5.5. Do 5 and i have the same value?
False
Let p = 2 + 0. Suppose -23 = -p*r + 5*z, 2*z - z + 3 = 2*r. Let t be (r - 0) + 4/4. Is t less than or equal to -1/5?
False
Let y(l) = l**3 + 5*l**2 - l - 1. Let g be y(-5). Which is smaller: -7/4 or g?
-7/4
Let l = 442 + -2647/6. Suppose -j - 6 = 4*s, -2*j - 1 = -s - 7