et m be 1*(-1 + ((-2)/p - -3)). Let w be (-12)/28 + 2/7. Which is smaller: m or w?
w
Let w(c) = -c**2 - 35*c + 30. Let x be w(-36). Which is greater: x or -46/9?
-46/9
Let z = -15 - -15. Let q = z - 4. Let j = 1 + 0. Which is greater: j or q?
j
Let x = -1.44 - -15.64. Let u = x - 14.21. Which is smaller: 3 or u?
u
Let o(k) = -k + 4. Let n be o(4). Let c be 20/15*((-12)/4)/(-1). Let h be -8*(-3)/(-6)*c/(-22). Is n != h?
True
Let s be (1/(-28))/(27/(-72)). Which is greater: 1 or s?
1
Let d be 1*-10*2/4. Let y = -8 - d. Suppose 0 = -i + 5 - 8. Are y and i unequal?
False
Let l be (-195)/(-20) + 3/(-4). Let d(g) = -3*g + 58. Let x be d(16). Which is greater: x or l?
x
Let p = -17 - 12. Is -29 > p?
False
Let l = 8 - 14. Let k = -6 - l. Let m = k - -1. Which is bigger: m or -3?
m
Let f = -1907 - -371866/195. Is 0 equal to f?
False
Let u = -5 + 8. Let n be 2*(-2 + 0 + u). Let k be 0/(-7) + ((-34)/(-10) - 1). Is n less than k?
True
Let j = -16 - -39. Let g = j - 49. Let b = g + 26. Which is bigger: 5 or b?
5
Let q(m) = -m**2 - 16*m - 70. Let d be q(-25). Is d < -296?
False
Suppose p - 58 = -3*i + i, -5*i = -5*p - 115. Let q be -2 + 52/(0 + -2). Let j = i + q. Is -1/43 bigger than j?
True
Let g = 4 + -1. Let v(w) = 4*w - w + 1 - w - 4*w**3. Let h be v(-1). Is g bigger than h?
False
Suppose -3*x - 2124 = 3*g, -g = x + 4*g + 728. Let j = -7719/11 - x. Is 0 at most j?
True
Let y = 171 - 172.1. Which is greater: y or 4?
4
Let n(v) = v - 1. Let s be n(5). Suppose s*c = -3 - 1. Let a(l) = 7*l**2 - 1. Let b be a(c). Which is smaller: 7 or b?
b
Let s(b) = -3*b + 18. Let y be s(6). Suppose g = -y*g + 6. Is 6 > g?
False
Let d(k) = 9*k + 11. Let p be d(-4). Let x = 16 - p. Suppose -4*a - 37 + x = 0. Which is bigger: 5/7 or a?
a
Let n be 2/(-6) + 19/3. Suppose 0 = -2*x + 8, 0*f - 2*x + 16 = -2*f. Let s be ((-24)/48)/(n/f). Which is bigger: 1 or s?
1
Suppose -i - 20 = -3*a, -a - 2*i + 10 = i. Let h = 1 + a. Suppose -5*z + 7 = 3*m, 3*m = -z - 3*z + h. Is z less than or equal to -2/5?
True
Suppose 0 = 5*w - q - 43, -3*w - 2*q + 0*q + 31 = 0. Let u = w - 17/2. Let r = 0.7 - -0.3. Which is smaller: u or r?
u
Let f = 0 - 0. Let w = 313007/48 + -6521. Which is smaller: w or f?
w
Suppose 23*n - 18*n = -15. Let o be (2*4/30)/(2/n). Which is greater: o or 0?
0
Let i be (-2)/(-5) - (-14)/(-35). Let r(o) = -o**3 + 2*o**2 + 6*o - 6. Let m be r(3). Let s be -4 + 2276/324 - m. Is i <= s?
True
Let b(r) = -3*r - 8. Let u(s) = -5*s - 15. Let l(h) = 11*b(h) - 6*u(h). Let p be l(-2). Is p bigger than 9?
False
Let g(l) = 5*l**3 + 13*l**2 - l. Let w(s) = -14*s**3 - 38*s**2 + 3*s - 1. Let h(r) = -17*g(r) - 6*w(r). Let z be h(7). Which is smaller: -11 or z?
-11
Let c be (43/55 - 1) + (-8)/(-20). Let w = -17 + 11. Let v = -3 - w. Which is smaller: v or c?
c
Let k = 41/2 - 19. Let v(u) be the third derivative of -u**4/24 + 7*u**3/6 + 3*u**2. Let l be v(4). Does k = l?
False
Let h(p) = p**3 - 73*p**2 - 78*p + 292. Let w be h(74). Let i be 19/(-6) + 2/3. Which is smaller: w or i?
w
Let r(v) be the second derivative of -v**5/20 - v**3/6 - v**2/2 + 9*v. Let p be r(-1). Let h be 0/p*(-3)/(-6). Is h bigger than -2?
True
Let u(n) = n**3 - 6*n**2 + n - 7. Let m be u(6). Suppose 17 = -55*x + 77*x - 39*x. Is m equal to x?
True
Let u = 1/252 + -509/1260. Are 23 and u unequal?
True
Let s = 9.49 - -84.51. Is -0.2 greater than s?
False
Suppose -y + 10 = -6*y, 0 = 3*d + 3*y. Let n = 6/875 + -2311/5250. Let z = 8/5 + n. Which is greater: z or d?
d
Suppose -n - 2 = -4*b - 4, 2*b + 2 = n. Suppose 0 = -3*v - k + 6*k + 111, b = -5*v + 2*k + 185. Which is bigger: 36 or v?
v
Let l be 16/(-4) - (-12)/1. Let z = -3 + 9. Which is smaller: l or z?
z
Let j = 40.9 - 45.9. Which is bigger: j or 7?
7
Suppose -d + 597 = -2*m, 12*d = -5*m + 15*d - 1492. Which is smaller: m or -298?
m
Let j(z) = z**3 + 4*z**2 - 4*z + 6. Suppose 11 - 5 = -2*v. Let r(y) = -2*y**2 - 4*y + 1. Let f be r(v). Let s be j(f). Is -5 less than or equal to s?
True
Let i = 0.053 - 9.053. Which is smaller: -0.05 or i?
i
Suppose -2*j = h + 9, -h + 8 = 2*h - j. Suppose 2*y = -4*a - 2*y - 28, -3*y - h = -a. Let c be ((-12)/a)/(10/25). Is 6 smaller than c?
False
Suppose 5*x = -5*r + 60, -5*r + 33 = -2*r + 4*x. Let g be (2/r*5)/(4/312). Is g at least as big as 53?
False
Let v be -1 + 3*78/(-9). Let q = v + 19. Let h be ((-4)/q)/((-1)/(-4)). Is h >= 1?
True
Let s(u) = 4*u**2 + 2*u + 5. Let c(w) = 7*w**2 + 5*w + 10. Let f(a) = -3*c(a) + 5*s(a). Let o be f(-2). Let b = -2/259 + 1576/2849. Which is greater: b or o?
o
Suppose 0*d + 4 = -4*d. Let p be (0 + 2/(-20))*3147. Let q = p - -315. Which is smaller: q or d?
d
Suppose 33*u = 367 + 260. Which is bigger: 37 or u?
37
Let f be ((-6)/(-5))/((-168)/148400). Which is greater: -1059 or f?
-1059
Let p = 2 + -1. Suppose 498 + 990 = 222*d - 234*d. Is p smaller than d?
False
Suppose -3*x + 88 = -53. Let l be 362/8 + 2*1. Let a = l - x. Which is smaller: a or -3?
-3
Let w = 529/1267 + 2/181. Let o = 3175832/91 - 34900. Let v = o + 6/13. Is v < w?
True
Let v(m) = -m**3 - 11*m**2 - 3*m + 13. Let j be v(-11). Let r = j - 31. Is r less than 15?
False
Let t = 92 - 50. Let n = -43 + t. Which is bigger: -2/5 or n?
-2/5
Let i be 2/203*(440/(-33) - -11). Suppose 3*c + 2*o - 3 - 6 = 0, -5*c - 3*o + 14 = 0. Which is smaller: i or c?
i
Let a(k) be the second derivative of -k**4/6 - k**3/6 - k**2/2 + 12*k. Let d be a(-2). Is -7 != d?
False
Let i = -1 - -5. Let m = -2 + i. Is m less than or equal to -0.8?
False
Let t be 4563/(-21) + -1 + (-36)/(-28). Which is bigger: t or -1?
-1
Let c = 5.2 - 5.3. Let v = 1.1 - -3.9. Let u = v + -4. Are u and c nonequal?
True
Let t = -0.237 + -0.763. Which is bigger: t or -1/53?
-1/53
Let d = 4 + 0. Suppose -99*v = -96*v - 516. Let h = 171 - v. Which is smaller: d or h?
h
Let c = 1120 + -1117.4. Is -9/4 less than c?
True
Suppose -3*o = -3*x - 42, o + o - 31 = 5*x. Is o smaller than 4?
False
Let c = 11 + -168. Are c and -158 equal?
False
Let z(j) = 4*j**3 + 30*j**2 - 15*j + 3. Let i be z(-8). Which is smaller: -29/7 or i?
i
Let m be 4/((-1)/(14/4)). Let o = 8 + m. Let a be 30/(-4) + (-3)/o. Which is greater: -6 or a?
-6
Let m = -156 + 157. Let f be ((-12)/(-80))/((-12)/(-10)). Which is smaller: m or f?
f
Suppose 15*c - 20 = -185. Let a = c + -38. Is -48 greater than a?
True
Let o be 51/9 - 5/(-15). Let q be 1 + ((-16)/o - -1). Let v = 3.89 - -0.11. Which is greater: v or q?
v
Let g(m) = -m**3 - 6*m**2 + 2*m + 3. Let q be g(-5). Let j be (q/6)/4*12/232. Which is smaller: 1 or j?
j
Let x(a) = 2*a**2 - 7*a + 8. Let f be x(3). Let m be 2/f - 33/45. Which is greater: -1 or m?
m
Let r(u) = -6*u**2 - u**3 + 2*u**2 + 2*u - 2 + 0 + 1. Let w be r(-4). Is -9 greater than w?
False
Let q = -5 + 11. Let p = -1496 + 7509/5. Let o = q - p. Which is smaller: o or 5/3?
o
Suppose 4*z + 16 = 3*q, -4*q = 9*z - 4*z + 20. Which is greater: q or 1/763?
1/763
Let j = 0.37 - -11.43. Are j and 0 nonequal?
True
Suppose 4860 = -11*k + 5*k. Which is smaller: k or -809?
k
Suppose 0 = 2*l - 61 + 59. Are l and 2/7 nonequal?
True
Let v be (-176)/63 + ((-280)/(-45) - 6). Suppose 0 = -3*t - 17 + 5. Do t and v have the same value?
False
Let s = 3.79 - 4. Let l = -0.14 - -0.25. Let j = l + s. Which is smaller: 2/3 or j?
j
Let c = 471760/143 - 3299. Is 0 bigger than c?
False
Suppose -3*d = -3*r - 21, d + 5*r + 5 + 0 = 0. Which is greater: d or -7?
d
Suppose 0*x = -17*x - 306. Let i = 9 + x. Do -8 and i have the same value?
False
Let z = 8666/3 - 44593/15. Is z greater than -85?
True
Let z = -284 + 305. Is z less than 43/2?
True
Let r = 739/21 - 258/7. Is r greater than -1.01?
False
Suppose -2*j + 124 = 2*l, 2*l - 2*j + 0*j = 140. Let m = l - 50. Is 82/5 >= m?
True
Suppose -s + 3 = 1. Which is smaller: 14/13 or s?
14/13
Let i = -1131 - -1077. Which is smaller: i or -56?
-56
Let z(m) = 3*m**2 - 4*m**2 - m + 17 - 18. Let v be z(5). Do v and -32 have the same value?
False
Let s be (1 - (0 + 1))/2*1. Suppose s = -z - 0*z. Which is greater: z or 4/15?
4/15
Let m be 30/(-3*(-6)/9). Suppose 6*k = 3*k + m. Suppose k*g = 2*g. Are 1/3 and g non-equal?
True
Suppose i = 5*i + 12. Let o be -3*-2*i/9. Suppose 0 = 5*w - w. Which is smaller: o or w?
o
Let i be (-8)/12*(-5)/(-75). Which is bigger: i or 4?
4
Let t be (-2)/7 - (-5 - 95/(-35)). Let p(i) b