 is smaller: d or -329/4?
-329/4
Let x be ((-5664)/54)/4 - 4/(-18). Which is bigger: -2 or x?
-2
Let n = 1/25 + -27/50. Let o(s) = -s**3 + 22*s**2 - 30*s - 178. Let k be o(20). Is k less than n?
False
Let d = -2/16133 - 1161562/112931. Let n = d - -785/77. Is -5 at most n?
True
Let v = -1.106 + -3.894. Let y = 1 + 0. Do v and y have the same value?
False
Let x = 35065/16 - 2193. Is x < 0?
True
Suppose -3*h = 9*h - 300. Is h at most as big as 22?
False
Let o = 52 + -21. Suppose -5*z = -o + 1. Suppose -2*b + z*b = 0. Is b smaller than -1?
False
Suppose 4*i = -s - 50, -3*i = -0*i + 9. Is -38 < s?
False
Let c be 0/(-1) + 48 + 0/(-2). Suppose -22*d = -25*d + c. Is 0.1 at least d?
False
Suppose -11*n + 25 = 4*o - 8*n, -4*n - 25 = -3*o. Let v be (4/(-5))/((-8)/100). Is v smaller than o?
False
Let d(m) = -m**3 - 9*m**2 - 15*m - 12. Let u be d(-7). Which is smaller: -40/7 or u?
-40/7
Suppose 0 = 33*o - 23*o + 310. Which is smaller: o or -30?
o
Let l be -5 + (-36655)/35 + (-2)/(-7). Which is bigger: -0.1 or l?
-0.1
Let u = 8.9 - 11.05. Let v = -0.05 + u. Are 1 and v unequal?
True
Let q = 36 + -6. Let l = 11 - q. Let k be (-36)/l - 12/6. Which is greater: k or 2/5?
2/5
Let h = 16 - 9. Let g(j) = -j + 3. Let r be g(12). Let x be (r + 10)/(-2 - 0). Is x at least h?
False
Let m be 180/42 + 4/(-14). Let q be -1 + (-202)/(-18) + m/(-18). Is q smaller than 10?
False
Suppose 6*v = -136 - 8. Let b = v + 118/5. Which is bigger: b or 6?
6
Suppose 4*u + 52 = 4*h, 2*u + 53 = 6*h - h. Suppose 4*n = h*n - 30. Suppose 4*z - n*z = -8. Which is greater: 6 or z?
6
Let k be 2 - (1 - 9/(-12)). Let y = k - 3/4. Which is greater: 0 or y?
0
Let x(q) = q**3 + 2*q**2 + q. Let j be x(-2). Let k be (-5 + (-92)/(-20))/(j/5). Which is smaller: k or -2/77?
-2/77
Suppose 30828 = 18*a + 3*a. Is 2/5 bigger than a?
False
Let d be (3/(-15))/(343/(-7)). Which is smaller: d or -1?
-1
Let z be (0 - 18/(-4))*550/(-25). Is z >= -98?
False
Suppose 0 = f + f - 18. Let a = 0 - f. Suppose c - 40 = 5*c. Is a < c?
False
Let r = -26.79 + -3.51. Let y = r - -30. Which is greater: -1 or y?
y
Let k be 12/56 + 8/28. Is k at most as big as -0.84?
False
Let n = -203 + 202. Is n bigger than -2/403?
False
Let r = -1461 + 1414. Are -331/7 and r non-equal?
True
Let s = 74 + -73. Let a = 4/361 + -16253/722. Let l = a + 22. Is s bigger than l?
True
Let f(q) = q + 52. Let s be f(-42). Is s > 7?
True
Let x be (12 - 4)/(-4)*-5. Suppose 4*f + 10 = -x. Is f greater than -5?
False
Suppose -6 = 4*j - 10. Let n be (-2)/(-18) + 0 - j*3. Which is smaller: 0 or n?
n
Suppose -52 = 2*t - 2*v, -10*v = -2*t - 6*v - 50. Which is greater: -25 or t?
-25
Let h be (2/(-4))/((-23)/4). Let o(b) be the second derivative of b**4/12 + 3*b**3/2 - 11*b**2/2 + 3*b. Let w be o(-10). Which is bigger: h or w?
h
Let y(u) = -u**2 + 2*u + 6. Let o be y(-4). Let c = o - -23. Let k = 21 + -17. Which is bigger: k or c?
c
Let s(v) be the second derivative of -v**4/12 - 7*v**3/6 - 3*v**2/2 - 2*v. Let o be s(-6). Let m be (1/3 + 0)*o. Which is smaller: m or 3/8?
3/8
Let g(z) = 3*z**2 + 17*z + 1. Let a(c) = -c**2 - 8*c - 1. Let l(m) = -5*a(m) - 2*g(m). Let t be l(6). Suppose -4*v = -v - 12. Do v and t have the same value?
False
Let p be 92/2 - 0/(-1 + -2). Let o = 42 - p. Suppose 2*k = -k - 12, -3*k = 4*x + 28. Is x <= o?
True
Suppose -n + 117 = 2*z, 11*n = 6*n - 5*z + 575. Which is greater: n or 114?
114
Let y(b) = -b**3 - 13*b**2. Let o be y(-13). Suppose -4*t - 14 = 5*w, 5*t + 0*w + 36 = 3*w. Let l be (-4)/t + 161/(-84). Is o greater than or equal to l?
True
Suppose 4*x + 5*l - 8 = -0, 2*l - 2 = -x. Let d = -2 - -9. Let i = 1 + d. Which is bigger: x or i?
i
Let u = 2726650/569 + -4792. Let h = -5696/1707 + u. Is -3 at least h?
True
Let y = -5858 + 5856. Let m = -0.1 - -0.3. Let o = m - -0.3. Which is bigger: y or o?
o
Let m = -80 - -76. Let l be (-1 - -6)/(4/m + 0). Is l at least as big as -4?
False
Suppose 3*c - 2*c = m + 1, 3*c + m - 3 = 0. Let a be 8 - 2 - (c + 1). Is 2/3 != a?
True
Let v be ((-9)/6)/3*2. Let h = -31 - -35. Suppose o - h*t = -13, -2*t = -o - 2 - 15. Which is greater: o or v?
v
Suppose 0 = 5*z - 3*t, 3*z - 7*z - 37 = 5*t. Let m(a) = -a**2 - 9*a - 6. Let g be m(-9). Which is smaller: g or z?
g
Let f = 1.68 + -0.9. Let z = 0.68 - f. Which is bigger: -48 or z?
z
Let r(d) = 4*d - 20. Let c be r(6). Suppose -c*x - 10 = 6*x. Which is greater: x or -1/7?
-1/7
Let z = -186520502/2277 - -81915. Let m = -2/207 + z. Which is greater: 1 or m?
1
Let c = -0.18 - 30.82. Let i = 88 - 58.4. Let m = c + i. Which is smaller: m or -0.2?
m
Let r = -1 + 26. Let n = r - 47. Let o = 21.6 + n. Is -0.1 greater than o?
True
Suppose 4*x + 0*x - 5*w = 100, -4*w - 16 = 0. Suppose 11*v + x = 15*v. Let d = -20/27 + 539/108. Which is greater: v or d?
v
Let g(d) be the second derivative of 0 - 1/2*d**2 - 1/2*d**3 - 2*d. Let i be g(2). Which is bigger: i or -8?
i
Let v(g) = -g**3 + g**2 + g + 6. Let x be v(0). Let c = 2 - x. Are -4 and c unequal?
False
Let y be ((-2)/(-58))/((-119)/8568). Which is smaller: -1 or y?
y
Let t = 0.075 - 6.075. Let z = t - -2.2. Is z less than 1/2?
True
Suppose -z - 2*a = -50, -5*z - 150 = -8*z - 4*a. Is 44 less than or equal to z?
True
Let m = -0.1 - -0.1. Let y(t) = 2*t**2 - 24*t - 22. Let o be y(13). Which is smaller: m or o?
m
Let a = 0.58 - 117.58. Let c = -157 - a. Are 0.3 and c non-equal?
True
Let o be (-4)/1*(-9)/54. Let u(t) = -t**2 - 3*t - 2. Let q be u(-1). Which is smaller: o or q?
q
Let m be 3/(114/16070) + 7 + -10. Let r = -420 + m. Is r greater than -1?
True
Let j be (1/278)/(378/108). Are 0 and j unequal?
True
Let p be 338/(-39)*69/2. Is p at least as big as -298?
False
Let o(w) = w**3 - 4*w**2 - 3*w - 2. Let c be o(5). Let q(b) = 6*b - 2. Let j be q(1). Suppose -k - 1 = 0, 11 = y - 0*y - j*k. Which is smaller: c or y?
y
Let k(q) = -q**2 + 14*q + 3. Let j be k(15). Let y = j - -95/8. Do -2 and y have different values?
True
Let b = -0.364 + -72.536. Let v = b + 73. Is v <= 0.01?
False
Suppose -5*u + 1102 = o, -4*u - 4*o - 131 = -1003. Do 220 and u have different values?
True
Let h be 864/2673 - (-2 + 16/9). Let m be (4 - (-2 + 4)) + 0. Suppose -y - 9 = -5*b, 7 = -5*y + 5*b + m. Does y = h?
False
Suppose m + 8 = -72. Let j be (1 - (-358)/(-350))/((-32)/m). Which is greater: j or -1?
j
Suppose 0 = 3*i + 2*i - 3*r - 183, 2*i - 5*r = 77. Suppose -d = -4*s + 17 + 4, 5*d + 3*s = -i. Are -11 and d unequal?
True
Let v = 547 - 546. Is v at least 13/33?
True
Let q be 0 - ((-231)/14)/(-11). Let k(g) = 4*g - 1. Let x be k(5). Which is bigger: x or q?
x
Let w(j) = -3*j - 16. Let o(h) = 3*h + 15. Let y(d) = 4*o(d) + 6*w(d). Let v be y(-6). Which is smaller: 1/20 or v?
v
Let q(w) = 24*w**2 + w - 2. Let n be q(-1). Let v = n - 14. Let a be (-2)/(2/8*-1). Which is greater: a or v?
a
Let l = 29578/15781 + -82/43. Is l smaller than 0?
True
Suppose -5*h = -5*q - 10, -2*h = 3*q - 4*h + 2. Suppose 0 = -q*a - 2. Which is bigger: a or 4/49?
4/49
Let t(u) = u**3 - 13*u**2 - 3*u - 8. Let y be t(14). Which is smaller: 147 or y?
y
Suppose -8*s + 66 = 74. Is -7/188 < s?
False
Suppose 0 = -261*b + 299*b. Suppose 2*t - 4*d - 760 = 0, 4*t - d - 1504 = 3*d. Let q = t + -2225/6. Is q smaller than b?
False
Let r = -134 - -134.08. Let l = 2 - 1.3. Let i = l - 0.8. Is i greater than r?
False
Let w(p) = -p**2 + 7*p + 1. Let y be w(7). Suppose y = 3*m - 8. Let q be (-11)/3 + (m - 0). Which is smaller: 0 or q?
q
Let g = 23 + -15. Let j = 7 - g. Let a = 12.9 - 13. Which is bigger: a or j?
a
Let c = -22 + -16. Which is greater: c or -2?
-2
Suppose 8*j - 2*m - 7 = 9*j, 0 = -4*j - 5*m - 16. Let i = -1095 + 12055/11. Are j and i unequal?
True
Suppose -k = q + 4*k - 21, 4*k = 16. Let o = -67 - 56. Let i = -613/5 - o. Is i <= q?
True
Let b(h) = -2*h + 1. Let p be b(5). Suppose 19*m + 5*w + 8 = 17*m, -2*m - 32 = -w. Is m smaller than p?
True
Let s = -20 - -19. Let p be s*12/20*-45. Let w be 1/(-2) + p/42. Which is bigger: w or 0?
w
Let b = 626.96 - 640. Let p = b + 0.04. Let u = 12 + p. Which is smaller: u or -2/9?
u
Let t be (6/(-1))/((-1)/5). Suppose -2*g = 5*y - t, -2*y + 2*g - 14 = -5*y. Suppose -10 = 4*d - 3*b + y, -5*b = -10. Is d greater than -2?
False
Suppose 5*r - z = -2*z - 35, -2*z - 40 = 5*r. Let b be 8 + (r/12)/(6/(-4)). Are 7 and b nonequal?
True
Let