Let j be s(-6). Which is smaller: -1/692 or j?
-1/692
Let o = 19 - 7. Suppose -16*w = -o*w. Which is greater: w or 1/39?
1/39
Let t = 2/317 - 1611/4121. Let s = 0.2427 + -0.3427. Which is smaller: s or t?
t
Suppose 5*i - 34 = -54. Is 83 at most i?
False
Let u be (-49)/39 + (-4)/(-12). Let x = -174 - -173. Is u < x?
False
Let f = 6/11 + -7/33. Let t = -289 + 286. Which is greater: f or t?
f
Let n = -30 + 35. Suppose -4*d + n*y = 3*y, 5*d + 2*y = -9. Is -10/13 at most d?
False
Suppose -9*t = -0*t - 18. Which is greater: 2/9 or t?
t
Let j = 2.105 + -2.3. Let y = -0.095 - j. Which is bigger: 80 or y?
80
Let q(a) = a**2 + 2*a + 3. Let d be q(0). Suppose 22 = s + 4*z, -s + d*z = 2*s - 21. Suppose 2*i + s = x - 3*i, -2*x + 4*i = -14. Is x at least as big as 21/5?
True
Let y = -43/4 - -303/28. Is y smaller than -1?
False
Suppose -5*l - 15 = 5*f, -2*l + 7 = -4*f - 17. Let m be -2 - (l - (-268)/(-80)). Let q = 9/10 + m. Which is smaller: -1 or q?
-1
Let u = 1 - 0. Let z(m) = 3*m + 2. Let w be z(0). Suppose -w*x - 2*n + 18 = 0, -x + 14 = -n + 5. Do u and x have the same value?
False
Let d = -1777 - -1776. Which is greater: d or 7/156?
7/156
Let q(c) = c. Let u be q(-3). Let p = 5 - 3.1. Let d = p + 0.1. Which is greater: u or d?
d
Suppose 0 = 25*a - 20*a - 5. Let b = -12/13 + 326/325. Is a <= b?
False
Let n = 36.1 - 108.1. Which is smaller: n or 0.1?
n
Let j be 2 - ((0 - (4 - 1)) + 4). Which is smaller: -1/30 or j?
-1/30
Suppose 0*s + 4*d - 24 = -2*s, 0 = -2*s + 4*d + 40. Let r = s + -12. Suppose 2*t + 6 = 5*m, r*t - 8 = -0*t + 5*m. Which is greater: 5 or t?
t
Let y = -113.5 - -164.8. Let d = y + -52. Which is smaller: d or 3/7?
d
Let u = -0.634 - 1.366. Let w = 0.2 + -0.15. Is u bigger than w?
False
Let o = -567 - -655.2. Let v = 0.8 + o. Which is greater: -2/7 or v?
v
Let y(u) = u**2 - 2*u + 2. Let h be (-3)/(-5) - 12/(-5). Let m be y(h). Suppose 2*z + k = 8, 2*k + k = 2*z - 8. Which is greater: m or z?
m
Let x be (-15)/(-5) + (-5)/1. Let t be (1 - -3)/x*-1. Let i be 2*(-6 + t)/(-24). Which is greater: -2/9 or i?
i
Let z = 0.8 + -3.6. Let o = -2.9 - z. Let g = -0.3 - o. Are g and -0.2 equal?
True
Let g = 100 + -155. Is g at least as big as -53?
False
Let j(x) = -x**2 + 33. Let n be j(0). Let q = -47 - n. Let r be ((-12)/q)/((-6)/5). Is 1 >= r?
True
Let a = -0.2126 - -0.2276. Which is smaller: a or -0.03?
-0.03
Let j(s) = s + 1 - 6 - 2*s - 1. Let l be j(-6). Suppose 3*o + l = -3. Is 1/13 at most as big as o?
False
Suppose 0 = -5*d + 5*y + 35, 3*d = 5*y - 0*y + 13. Let v(w) = -7 - w + 18 - d. Let x be v(-7). Does x = 8?
False
Let t be 6/(-1)*(-1)/(-2). Suppose -s + 7*k + 15 = 3*k, -15 = 5*s - 2*k. Let f(z) = -z**3 - 6*z**2 - 5*z - 2. Let c be f(s). Which is smaller: c or t?
t
Let d = 6 + -8. Let z = -7.65 + 14.65. Is d at most z?
True
Suppose -105432 = -62*u + 154*u. Which is bigger: u or -1145?
-1145
Suppose -828 = -7*s - 870. Is -98/17 less than s?
False
Let m(u) = -2*u**2 - u + 5353 + u**2 + 0*u**2 - u**3 - 5354. Let d be (-1 - -1) + (-1)/1. Let y be m(d). Which is bigger: y or 3/7?
3/7
Let z = 292 + -292. Is 2 >= z?
True
Let u be ((-28)/70)/((-2)/80). Let p be (-58)/(-12) - 2/(-12). Suppose p*m = 5*v + 60, 2*v - 13 = -m + 11. Is m greater than u?
False
Let l = 90 - 127. Let u be (-191)/5 + (-7)/(-35). Are u and l non-equal?
True
Let z = 12 + -24. Let o be (-7 + 1)*(-6)/z. Which is smaller: 1 or o?
o
Let d(y) = y**3 + y**2 + y + 7. Let a be d(0). Suppose a = -n + 3. Let j be (-3)/(-12) + 5/n. Are 2/9 and j non-equal?
True
Let s = -60 + 25. Let f = -35 - s. Is f not equal to -48?
True
Let k(a) = -a**3 - 9*a**2 - 8*a + 1. Let b be k(-8). Let q be 3 - (2 + (-16)/4). Suppose 4*d = -l - q, -13 = -2*l + 3*d - b. Is l greater than 3?
False
Suppose -760 = 38*k - 0*k. Let l = -48 + 29. Which is bigger: l or k?
l
Let r = 262 - 1051/4. Which is smaller: r or 4/5?
r
Let s(c) = -4*c - 3. Let b(q) = 8*q + 6. Let a(h) = -3*b(h) - 7*s(h). Let g be a(-1). Which is greater: -5/17 or g?
-5/17
Let u = 19 + -5. Suppose -34 = -5*k - u. Which is bigger: k or 6?
6
Let g = -91 - 629. Is -721 less than or equal to g?
True
Suppose 3*o - 4*z = -8 - 3, 2*o + 2*z = 2. Let n be (4/16)/(-1)*o. Suppose -t = -2 + 3. Is t greater than n?
False
Let s = -480 - -478. Is 8.6 at least s?
True
Let c(l) = -l**3 + 2*l**2 + 12*l - 12. Let i be c(6). Are -254/3 and i non-equal?
True
Let l = 4.523 - 1.523. Is l greater than or equal to 18/47?
True
Let j = 3.1 - 2.9. Let b be -2 + 4 - -7*(-4)/14. Which is bigger: b or j?
j
Suppose s - 2*h = -1, -3*s = h - 5*h + 9. Let l be -6 + 6 - s/3. Let t be -1*((-3)/3 + 0). Is l at most t?
False
Let y(x) = -19*x - 261. Let c be y(-14). Is 23 >= c?
True
Suppose 5*y - 33 = 2*y. Let t = y - 11. Suppose 5*a + 0*a = 4*m - 47, 2*a + m + 11 = t. Which is greater: -6 or a?
-6
Let n = -2/333 + 1394/10323. Is n at most 0?
False
Let p = 1.65 - -1.55. Let g = 6.9 + -10. Let d = p + g. Which is smaller: 0.8 or d?
d
Suppose -13 + 2 = 3*b + 2*m, -5*b - 1 = -m. Let f = -16675/32 + 521. Are f and b unequal?
True
Let v = -1 - -2. Let j be (v + 2 + -4)/(-1). Let w(z) = 2*z**2 - 75*z - 37. Let l be w(38). Is l >= j?
True
Let j be (-10)/(-8) + (-1)/4. Let g be 11 - 2/1*j. Suppose 2*k + 40 = 7*k. Is g at most as big as k?
False
Let s be 92/(-30)*25/5. Let d = -15 - s. Let k = 13/21 - d. Which is smaller: -1 or k?
-1
Let h(x) = -x**3 - 11*x**2 + 2*x + 29. Let y be h(-12). Let l = y - 176. Suppose -2*c - 64 = 2*a, 7 = -c + 2. Is a > l?
False
Let b be (-9 - -5) + 2723/(-4). Let n = 689 + b. Which is smaller: 4 or n?
4
Let i(r) = 5*r**3 - 220*r**2 + 37*r + 72. Let u be i(44). Which is bigger: 1699 or u?
u
Let b(z) = z**2 + 15*z + 29. Let x be b(-14). Let f = -50900/7 + 7286. Which is bigger: x or f?
x
Let c = 45 - 23. Let y(g) = -3*g**2 - 115*g - 38. Let s be y(-38). Which is greater: c or s?
c
Let p = 0.092 + 7.908. Which is greater: p or -2.4?
p
Let u = 1090 + -1106.74. Let x = u + -0.26. Let i = 16 + x. Which is bigger: -4 or i?
i
Let w(z) be the third derivative of -z**4/12 + z**3/6 + 2*z**2. Let g be w(5). Let l be 2/g - 616/(-1638). Which is bigger: 3 or l?
3
Let x = 72.5 - 72. Is x > -0.02?
True
Let l = -28.0424 + 0.0424. Which is smaller: l or 2?
l
Let v = -127 - -87. Let l be (8*4/v)/2. Is -8 smaller than l?
True
Suppose -4*r - w = -2, 6*w - 10 = -5*r + w. Which is smaller: r or 6/119?
r
Suppose 0 = 5*f + 3*l - 9, 4*f - 5*l + 8 = -7. Suppose f*a - 12 = -4*a. Suppose -a*t - 6 = -3*v, 4*t - 8*t - 2*v + 4 = 0. Is t at most as big as 1/11?
True
Let k be 2/(-3) + (-5)/(-3). Let m(h) = -h**2 + 9*h + 17. Let v be m(10). Let c be (-70)/4*v/(-70). Which is smaller: k or c?
k
Let h be (-2 - (-8)/6)*(-12)/(-2724). Which is smaller: 1 or h?
h
Suppose -39 + 3 = -12*l. Suppose l*t - 5*t = 2*t. Let v be 0 + (-47)/(-49) + -1. Which is smaller: v or t?
v
Let w be 0*(0 - 1 - -2). Let y be (-1 - 0) + 0 - w. Is y equal to -3/19?
False
Let u be 2/(-6) - (-75)/279. Let o(b) be the second derivative of 5*b**4/12 + b**2/2 + 4*b. Let h be o(0). Which is bigger: u or h?
h
Suppose 2*a + 903 = 4*m - a, 4*a = 4*m - 900. Let u = m - 5929/26. Are 1 and u nonequal?
True
Let i = 118424453/1298532 + 2/4220229. Let x = 365/4 - i. Suppose 0*a - 8 = -2*a - 2*b, -16 = -a - 5*b. Is a < x?
False
Let u(m) = m - 22. Let t be u(20). Let l be (-2)/(-4) + (-3)/6. Is t bigger than l?
False
Suppose -7*h + 39 + 80 = 0. Suppose -d + 2*i + h = i, i = 0. Is 18 greater than or equal to d?
True
Suppose d + 5*h + 58 = 0, 4*h + 119 = -4*d - 177. Which is bigger: -75 or d?
-75
Let j(f) = -f**3 - 4*f**2 - 5*f - 5. Let w be j(-3). Suppose w = 3*k - 2. Is k greater than or equal to 15/11?
False
Let l = 0.03 + 0.07. Let k = -33.072 + 0.072. Let f = k - -35. Is l equal to f?
False
Let a be 2/8*(-20)/(-5). Suppose -a = -6*l + 5. Are l and 1/25 non-equal?
True
Let w be ((-4)/4)/(7 - (-435)/(-35)). Which is greater: 0 or w?
w
Let h = -13 - -13. Suppose -o + 3*y + 17 = 0, -2*o + o + 4*y + 21 = h. Let v = 14 - 10. Is o greater than v?
True
Suppose h + 3*h = 0. Let c(i) = -i**3 + 12*i**2 - 11*i - 1. Let u be c(11). Is u at least as big as h?
False
Let s be (-4)/6*(-15)/35. Let n(u) = -2*u - 6. Let m be n(-5). Suppose -m*l = -7*l. Does s = l?
False
Let f be 58*(-4)/(-8)*-1. Let o = f - -30. Is o > -2/15?
True
Suppose 9*z + 1575 = -12*z. 