*m = -2*k - 4. Let y be k/2*(-6)/75. Which is smaller: 1 or y?
y
Suppose 3*t + 4 = -y - y, -4*y + 5*t = 8. Let a(r) = -r**2 - r + 1. Let x be a(y). Is x at least as big as 1/17?
False
Let j be 1/((-1)/8)*2. Let i be ((-8)/(-6))/(24/180) + -28. Which is smaller: i or j?
i
Let a = -1687.9 - -1763. Let v = a - 75. Do -3 and v have the same value?
False
Let c = 1871 + -1794. Which is smaller: c or -2/7?
-2/7
Let x = -50 - -54. Suppose -11 = h - x*f, -3*f - 5 = 2*f. Is h greater than or equal to -6?
False
Let f = -125 - -73. Let u be (16/4)/f*-9. Is 0 less than or equal to u?
True
Suppose j = -13 - 17. Let r = 31 + j. Which is smaller: r or 2/13?
2/13
Let n = 100 - 61. Is n equal to 42?
False
Let d(k) = k**2 + 8*k - 15. Let z be d(-13). Let b = 48 - z. Which is bigger: -3 or b?
b
Let u be 5/80*4 - 6894/(-40). Let a = u + -172. Is 1 bigger than a?
True
Let o = -29 - -22. Let h(w) = -w - 6. Let d be h(o). Is 2/89 at least d?
False
Let j = 1 - -1. Suppose 18 = 2*w + 2*s, 20 + 10 = j*w - 4*s. Suppose 7*h - 77 = -0*h. Does w = h?
True
Let c(d) be the first derivative of 4/3*d**3 - 2*d - 5/2*d**2 + 1/4*d**4 + 4. Let o be c(-5). Which is smaller: -0.8 or o?
o
Let s be 4 - 452/(-42)*-9. Is s greater than -93?
True
Let o = -635/34 - 31/17. Is -21 greater than o?
False
Suppose -u + 2*u - 1 = 0. Let v be 2/(-4) + 0 + (2 - u). Is v greater than 2?
False
Let d(g) = g. Let u(x) = -6*x + 4. Suppose -3*r - 1 = -4. Let h(n) = r*u(n) + 5*d(n). Let f be h(5). Is 1 greater than f?
True
Let s be 1 + 11/6 + 7/42. Let m be -1 - (3 - s) - (-1 + 2). Is -2 != m?
False
Suppose 9*b - 13 + 22 = 0. Which is smaller: 1/81 or b?
b
Suppose 2*w - 22 = 3*u - 35, 5*w - 5*u = -20. Is w greater than -4/67?
True
Let u = 431 + -434. Is 7 > u?
True
Let b(n) = -n**3 + 6*n**2 - 6*n + 7. Let g be b(5). Let y(t) = 7*t**2 + 6*t + 6*t**3 - 5*t**3 + 0*t**3 - 7 + t**g. Let q be y(-7). Is -2 less than q?
True
Let w(p) = -p + 1 - 3 + 0 + 0*p. Let i be w(-5). Which is greater: i or 4?
4
Let f(r) = 25*r + 56. Let j be f(6). Are j and 207 non-equal?
True
Let f = 16.3 + 0.7. Let a = -34.2 - -33.2. Which is smaller: a or f?
a
Suppose -5*x - 2*f - 17 = -0*x, 0 = 5*x + 5*f + 5. Which is greater: 2 or x?
2
Let x be 2 + (-72)/22 + 1. Let m = -69 + 54. Let g be (-6)/m - 2/5. Which is bigger: x or g?
g
Let a = -7.57 + 6.27. Is 3/5 bigger than a?
True
Let n(i) = -2*i**2 + 124*i - 241. Let y be n(60). Which is smaller: -7/71 or y?
y
Suppose -3*a - 4 = 2, -2*g - a = -150. Is g less than 0.1?
False
Let c be 0 + -31*8/315. Let p = c + -16/45. Which is greater: p or -2?
p
Let j = 66/53 + -5373/4187. Let w be (-4)/(-6)*6/(-4). Is j greater than w?
True
Suppose 0 = -26*y + 44*y - 18. Which is smaller: -1471 or y?
-1471
Let l be (-2)/(-7) + 11816/(-882). Is -13 equal to l?
False
Suppose 9*x - 668 + 659 = 0. Is x at least -1/1450?
True
Let i be 121/(-1)*43/(-301). Which is smaller: i or 16?
16
Let l be (-139)/(-1946)*(8/1)/(-2). Let z = -52 + 83. Which is smaller: l or z?
l
Let g = -154/3233 + -4/61. Which is greater: 0 or g?
0
Let m = -25.095 + 0.095. Which is bigger: -0.03 or m?
-0.03
Let t(x) = 3*x + 2. Suppose 0*v = v + 2*u + 3, 2 = -u. Let p be t(v). Suppose -p*z - 37 = 23. Is z < -12?
False
Let k = -13 + 8. Let t(y) = y**3 + 6*y**2 + 5*y - 4. Let j be t(k). Let h = 0 + j. Which is smaller: h or -5?
-5
Let r = 92.22 - 122.1. Let n = -0.12 + r. Let u = 30.09 + n. Is -0.2 at least as big as u?
False
Let j = 42 + -10. Let y = j - 64. Do -32 and y have the same value?
True
Let v(b) = 15*b - 26. Let h(m) = -7*m + 13. Let q(w) = -13*h(w) - 6*v(w). Let l be q(13). Suppose l = -10*d + 15*d. Are -1/38 and d nonequal?
True
Suppose -3*r = 2*f - 15, 3*f - 16 = -5*r + 10. Let l(o) = o - 8. Let t be l(r). Do 6 and t have the same value?
False
Let t = -59/850 - -1/25. Suppose -5*n = -5*w, -4*w - 232*n + 230*n - 6 = 0. Is w bigger than t?
False
Let u be 65/(-15)*-3*(-2 - 1). Is -115/3 at most u?
False
Let d = 27 - 18. Let k = 14 + -11.1. Let c = k + -3. Is c >= d?
False
Let o(v) = -v**2 - 2*v. Let q be o(-2). Let c be (-21)/35 + (-78)/(-80). Is c at most q?
False
Let n(t) = 14*t + 103. Let c(o) = -7*o - 51. Let u(q) = 13*c(q) + 6*n(q). Let p be u(-7). Which is bigger: 1 or p?
p
Suppose 0 = 4*o + 76 - 28. Suppose -13 = u + 82. Let p = -107 - u. Are o and p nonequal?
False
Let y be (3 - 1) + 0 + -2 + 4. Let s be (-5)/10 - (-2)/y. Which is bigger: s or 8/7?
8/7
Let r = 24.1 - 24. Let d = r + 0.1. Which is smaller: d or 1?
d
Suppose 2*u - c - 1 = 6*u, -1 = -u + c. Let z(s) = -6*s**2 - 2*s - 3. Let g be z(-5). Let d = g + 2001/14. Which is greater: d or u?
u
Let u be 1/((-1)/(-1347))*37/(-66). Let f = u - -755. Is f greater than or equal to 1?
False
Let j(n) = -n**2 + 11*n + 14. Let k be j(10). Suppose -5*g + w + 32 = 0, w - k = -5*g - 2*w. Let s be 1/5 - 3/g. Are s and -0.1 unequal?
True
Suppose 0 = -3*j + 1 - 34. Let c be 15 + j - 34/8. Let g = -2/263 - 512/1841. Which is bigger: c or g?
c
Suppose -35 + 107 = 2*i. Let l = i + -24. Which is greater: 5 or l?
l
Let y(g) be the second derivative of -9/2*g**2 - g + 0 - 1/6*g**3. Let a be y(-8). Which is greater: a or 1/3?
1/3
Let n = 2 - 2. Let o = 8938/3 - 3011. Let u = o - -32. Which is greater: n or u?
u
Suppose x + p - 53 = 0, 4*x - x + 4*p = 156. Suppose -4*d = -4*w + x, 3*d + 56 = -0*w + 4*w. Suppose w = -5*z - 1. Is -3 greater than z?
False
Let b = 2/649 - 1328/9735. Let t = -1.01 - -0.01. Is t > b?
False
Let u = -23.3 - -19. Let c = u + 4.5. Is c greater than or equal to -23?
True
Let u be (-4)/14 - (-21)/70. Which is bigger: 1 or u?
1
Let k be 1214*(-2)/(-18)*3. Is k < 406?
True
Suppose 4*z + 438 = 5*v, 4*z = 2*v - 165 - 3. Which is smaller: v or 91?
v
Let l = -86 + 75. Let n be (6028/60)/l - (-4)/30. Suppose 0 = 3*f - 6 + 33. Is f < n?
False
Let z(f) = 2*f + 1. Let q be z(1). Suppose 28 = 4*h - 4*r, 0 = -0*h + 3*h - 4*r - 26. Suppose -3*a + 0*t - 2*t = 1, -h*a + t = -11. Does a = q?
True
Let b(m) = -54*m**3 - 1. Let w be b(-1). Suppose w = -6*t + 11. Is t >= -6?
False
Let x = 1403/2 - 692. Which is bigger: x or 10?
10
Let m(d) = -d**2 + 6*d + 16. Let b(o) = o**2 - 5*o - 16. Let r(s) = -6*b(s) - 5*m(s). Let l be r(5). Is l smaller than -9?
False
Let q = 37.8 - 37. Let t = q + 9.2. Let a = -2/11 + -7/22. Which is bigger: a or t?
t
Let n(q) = -3*q + 26. Let y be n(7). Suppose -y*b = 4*p - b, p = -2*b + 1. Which is greater: -0.1 or p?
-0.1
Let v = -1/2 - -1. Let i be ((-1)/(-12))/((-1)/(18/26)). Which is smaller: i or v?
i
Let l = 1742 + -1524. Which is bigger: l or -1?
l
Let c be -1*((-608)/104 + 6) - 8/(-52). Let w = 2193 + -212719/97. Is c >= w?
False
Let k = 3178/297 - 176/27. Which is bigger: k or 5?
5
Let u = 4 + -22. Let d = u - -12. Let r be (d/(-7))/(39/(-21)). Is r greater than 0?
False
Let w = -24485/47 - -521. Suppose -35*r + 2 = -33*r. Is r equal to w?
False
Let q(p) = -p - 2. Let g be q(-2). Let b be (-1)/(g - 3/45). Which is bigger: 16 or b?
16
Let o = -205 - -190. Is o not equal to -15?
False
Let a(m) = m**3 + 7*m**2 + 7*m + 6. Let k be a(-6). Let z be -2 + 39/24 + 6/(-16). Which is smaller: k or z?
z
Let o be (0 + 0)/(-10 + 9). Suppose 4*p = -20, o*p + 2*p + 15 = -5*v. Let y = 68/945 - 2/135. Is v less than y?
True
Let r be 0 + 14 - (-6 - -8). Let c be (r/10)/(3/50). Suppose -12*o + 14*o - c = 0. Which is smaller: o or 12?
o
Suppose d - 13 - 26 = 0. Suppose 4*a - 15 = -d. Which is greater: -4 or a?
-4
Let d = -0.4 + -0.79. Let v = 0.19 + d. Does v = 2/79?
False
Suppose 12 = -3*i - 3*v + v, -2*v = -3*i. Suppose 19*p + 21 = 12*p. Let k = p - i. Which is smaller: 3/2 or k?
k
Let o be (-16)/11 + (0 - -1). Suppose -1795*m - 176 = -1619*m. Which is smaller: m or o?
m
Let m = -132 - -143. Suppose 2*h - 3*z = -m, -8 = 2*z - 10. Is -4 >= h?
True
Let m be (-128)/(1/6*1). Let s be -4 - (-11)/(44/m). Let i = s - -799/4. Are i and 5 non-equal?
True
Suppose 4*f - 4*b - 46 = 62, f = 4*b + 36. Suppose -f = 3*c + c. Let t = 15 - 22. Which is smaller: c or t?
t
Let i = 144 - 204. Let x = i - -60.04. Let y = -1.9 - -2. Is y not equal to x?
True
Let o be 1 - 3 - (3 - 1). Let f be 3/2*o/3. Let b(p) = p + 3. Let n be b(-4). Which is greater: f or n?
n
Let j be (-14)/4*72/6. Is j bigger than -42?
False
Let x = -166 + 186. Is 13 at most as big as x?
True
Let w be (2/4)/((-3)/(-72)). 