Let v = 363/4 - 705/8. Which is greater: z or v?
z
Let u be 116*7/28 + -6. Suppose l - 2*z = 40, 3*l + u*z - 129 = 26*z. Is 49 <= l?
False
Let z be (-2 + (-54)/(-25))/((-10)/9650). Let l = -154 - z. Are -44 and l unequal?
True
Let a(n) be the first derivative of -n**3 + 2*n + 28. Let h be a(2). Which is smaller: h or -15?
-15
Let l = -14.957 + 0.157. Let w = 15 + l. Let h = -0.03 + 0.23. Does w = h?
True
Let c be (2/3)/((-12)/30). Let x(r) = r**2 + 17*r + 73. Let b(p) = 1. Let j(o) = 6*b(o) - x(o). Let m be j(-11). Is m less than or equal to c?
False
Let n = -0.032 - -63.232. Let v = n - 263.2. Which is smaller: v or 0?
v
Let k = -7045 + 7045. Is 1/577 <= k?
False
Suppose -5 = -k, 35*d + 2*k = 38*d - 59. Let a = -478 + 495. Do a and d have the same value?
False
Let r = 6 - 77. Let v = 20878 + -20950. Are r and v non-equal?
True
Let n be -1 + (2 - 5/((-6320)/(-1252))). Let s = 653/2212 - n. Which is smaller: -93 or s?
-93
Let o be 15 + 4716*(-15)/4710. Let f be 5 + 3/(-6)*8. Is f smaller than o?
False
Suppose -42184 = -56*l + 48*l. Is 5273 > l?
False
Suppose 419 = -23*a - 225. Let d be (42/(-63))/(a/54)*-1. Which is greater: -8 or d?
d
Let s(p) = -8*p + 4. Let l(q) = 10*q - 5. Let a(b) = 3*l(b) + 4*s(b). Let x be a(3). Are x and -19/5 non-equal?
True
Let u(l) = l + 22. Let z be (-22)/(-3*2/(-6)). Let w be u(z). Let t = 308 + -298. Is t less than w?
False
Let b be ((-5946)/(-40))/((1/10)/(170/136)). Which is bigger: 1857 or b?
b
Suppose -3*p + 3*v - 6 - 3 = 0, p + 3 = -2*v. Let g be (-1936)/p - 49/21. Which is smaller: 644 or g?
g
Let r be (-9 + 1)/(-4 + 3). Let q(n) = -n**3 - 15*n**2 - 14*n + 36. Let o be q(-14). Let a(u) = u**2 - 33*u - 98. Let s be a(o). Which is smaller: r or s?
r
Suppose -2*s = 9 - 3, 2*w - 15 = 5*s. Let p = -43824115/231 + 189713. Let f = p - -26/21. Is w > f?
True
Let a = 1 - -1. Let u be (7 + (1 - a))/5. Suppose -3*c = y - 21, -13*y = -5*c - 47 - 6. Which is bigger: c or u?
c
Let f = -1/10 - -3/10. Let w be (-14)/(-60)*((-30)/21 + 2). Let z = f + w. Which is bigger: -10 or z?
z
Let q = -477 + -15. Let x = 492 + q. Which is smaller: x or 189?
x
Let s(j) = 5*j**3 + 61*j**2 + 8*j - 66. Let u be s(-12). Let i = -21 + 72. Suppose i = -0*v - 3*v. Which is smaller: v or u?
u
Suppose 4*y + 4 = 0, -h + 5*y + 152 = -4*h. Let c(l) = l**3 - l**2 - 131*l - 262. Let z be c(-10). Which is smaller: z or h?
z
Suppose c = -4*b + 405 + 209, -4*b - 4*c = -596. Which is bigger: 158 or b?
158
Let k be 1096/72 + 2/(-9). Let o = k - 11. Let p(q) = -q**3 + 4*q**2 - 4*q - 10. Let x be p(o). Which is smaller: -28 or x?
-28
Let q be (-64)/(-96)*(-12)/8. Which is smaller: q or -2/9973?
q
Suppose 8*y - 14*y = 588. Let z = 98 + y. Suppose -95 = -2*k + 5*g, z = -4*k + 8*g - 3*g + 185. Is k greater than or equal to 45?
True
Let m be -4*((-51)/4 - -3). Suppose 9*p = p + 424. Let d = -14 + p. Is d bigger than m?
False
Let o = -4718 + 4721. Which is smaller: 0.0427 or o?
0.0427
Let n = -230.894 + 231. Let q = n + -1.106. Which is smaller: -2/127 or q?
q
Let y be ((-361)/57 - -6) + (-82)/42. Which is greater: -3.3 or y?
y
Let a = -590794/5 + 119034. Is 876 bigger than a?
True
Let w = 6310209 - 391205741/62. Let q = -439 + w. Which is smaller: q or -0.1?
-0.1
Suppose 4 = -w + 3*w, -4*p + 16 = 4*w. Let i be p/(-18)*3 - (-43)/30. Is 1 equal to i?
False
Let t be 0/(-4) + (-241 - ((-5 - -2) + -1)). Is t less than or equal to 3?
True
Suppose 0*w = w + 4*c + 33, -w + 4*c = 9. Let r = w + 19. Let p be (12/(-14))/(32/(-784)). Which is greater: p or r?
p
Let d = 455 + -431. Let f be (d/3)/1056*2. Which is smaller: f or 1?
f
Suppose 3*c + 1 - 63 = -2*t, 3*c - 56 = -5*t. Is 35 at most c?
False
Suppose 3*p + n = 19, 4*p + 11*n - 12*n = 30. Let m be (14/p*2)/((-14)/(-2)). Is 2 at least m?
True
Let a be ((-465)/(-153) + -3)*(-3 + 1)/782. Is a smaller than 0?
True
Let v be (-2)/(-7) + (-341)/1364 + 138/(-2296). Suppose 2*f = f + 3*y - 16, -5*f = 3*y + 26. Let w be (-4)/(-14) - (-2)/f. Is w > v?
True
Let r = -267.91 - -268. Let m = -13.3 + 11.9. Is m equal to r?
False
Let s be (-1)/3 + 20/6. Suppose -4*y + 2 - 34 = 0. Let k be (-23)/y - 11/(-88). Are s and k equal?
True
Let l(r) = -r**2 + 4*r - 2. Let j be l(2). Suppose -3*v = -15, 37*v = 3*t + 40*v + 3. Let n be j + t + 2 + (1 - -1). Is -1 at least n?
False
Let w be (-20)/8*6*(-1)/(-3). Let o be (w - 77/(-14))*-268. Are -133 and o nonequal?
True
Let t = -159.253 - -0.253. Let n = 68 + t. Let g = -90.76 - n. Is g greater than or equal to 2/7?
False
Let k = -70 + 26. Let t = k - -66. Suppose -46 = -3*r + 5*u, 28*r - 2*u - 80 = 24*r. Is t bigger than r?
False
Suppose i = 3*z + 1158, 2*i = -2*i - 12. Is -379 <= z?
False
Let w = 10 - 10. Suppose 4*u - 8 + 24 = w. Let m be ((-1 - -3) + u)*2/3. Which is smaller: -1/3 or m?
m
Let j = 282 + 122. Let a = j + -400. Let y = -8 + 19. Is a >= y?
False
Suppose -13*v + 12 = -9*v. Let d be (3 - v)*(-2)/(-6). Which is bigger: 3 or d?
3
Suppose -108 = 9*o - 2*x, 0 = -47*o + 45*o + x - 29. Let y be (-2)/(-3) - 26/3. Which is smaller: y or o?
o
Let a(p) = p**2 - 12*p - 55. Let u be a(16). Suppose 0 = -2*i + u + 27. Suppose 5*t = 2*r + i, 3*r + 2*r = t - 22. Is t at most as big as 5/4?
False
Let j(t) = t**3 + 2*t**2 + 4*t + 6. Let p be j(-2). Which is bigger: p or -43?
p
Suppose -40*n = -39*n - 47. Let i = 49 - n. Suppose 5*f = -3*y - 135, -5*f + i*f - 95 = -y. Which is bigger: -28 or f?
-28
Let r be ((-1)/(-3))/((-2)/31 - (-2200)/(-8184)). Is 2/10623 greater than r?
True
Let p be (-992)/6 + 1/3. Let z be ((-580096)/(-80))/(-44) + 18/(-15). Which is smaller: p or z?
z
Suppose 3*f + 110609 = -10900. Let m be 4/(-46) - f/(-2645). Is -16 less than or equal to m?
True
Let w = -51022485/547 + 93277. Which is greater: 0 or w?
w
Let d(a) = -a**3 - 7*a**2 - 31*a - 155. Let p be d(-6). Is p bigger than -402?
True
Suppose -2*r + 5*f + 10 = -68, 0 = r - 3*f - 36. Is 55 greater than or equal to r?
True
Let j = 1274 + -1176. Is 127 >= j?
True
Let q be (116/6 + -4)/((-2)/(-93)). Is 711 not equal to q?
True
Let b = 11833 - 22382. Are -10551 and b equal?
False
Let i be (-27)/(-120) - ((-200)/(-32) + -6). Let g be ((-14 - -22)/(-16))/((-3)/(-6)). Which is greater: g or i?
i
Let t be 30413/(-153) + 0 + -4. Let m = 203 + t. Which is smaller: -3 or m?
-3
Let y(s) = -306*s**3 - 4*s**2 - 7*s - 4. Let d be y(-1). Suppose d = 8*h - 23. Is 40 less than h?
True
Let n(b) = 5*b**2 + 4*b - 7. Let p be n(2). Let a be 0 + 6/(-14) + 51/p. Let o be -3*((-62)/26 + a). Which is smaller: o or 1?
1
Let f be 28/((-70)/(-10)) - (377 + -1). Let c be -1 + 2 - (-252)/f. Which is greater: 0 or c?
c
Let w = 6500465/1186 + -5481. Let x = -47433/8302 + w. Is x equal to -5?
False
Suppose -3*c - 48*w = -44*w + 2, 0 = 2*w - 8. Let d(s) = -s**3 + 2*s**2 + 2*s - 1. Let h be d(3). Which is bigger: c or h?
h
Let f = -11 - -8. Suppose -22 = -5*g + s, -5*s + 7 = -8. Suppose 2*r + 2*r + 28 = -z, -20 = g*z. Which is smaller: f or r?
r
Let a = 0.33 + -0.43. Let g = -716.6 - -708.6. Which is bigger: g or a?
a
Suppose -3*y - k - 4175 = -6*y, 5556 = 4*y + 4*k. Let z = -6897/5 + y. Which is greater: 12 or z?
12
Let g = -63.68 - -61.1. Let k = 0.42 - g. Which is smaller: k or -12?
-12
Suppose 0 = 5*p + z - 6, 7*z = p + 5*z + 12. Which is greater: 2/35805 or p?
2/35805
Let z(k) = k**2 + 5*k - 6. Let x be z(-6). Suppose -166 = 4*o - 2*v, -57*v + 59*v = 10. Let m be (113/o - -3)*6/32. Is x less than or equal to m?
True
Let r = -301.3 - -273.3. Is r at most -2/49?
True
Let p(w) = -w + 23. Let o be p(19). Suppose i - o = -3*i. Let j = 0.64 - 27.64. Which is smaller: i or j?
j
Let l be 3/(-6)*(784 + 4). Let m = -394 - l. Which is bigger: 25/24 or m?
25/24
Let r be (-17 + 14)/(51/19669). Which is smaller: r or -1162?
-1162
Let t be (3/36)/(-35*2/(-3654)). Which is smaller: t or 3?
3
Suppose -4*a - 13030 = 19*t - 21*t, -3*a = -t + 9775. Which is smaller: -3258 or a?
a
Let l = -182.064 - -185. Which is bigger: 0 or l?
l
Suppose -4*k = 2*a - 6, 32 = -778*k + 783*k - a. Are k and -9 non-equal?
True
Suppose 4*g - 4*k = 24, 0 = -6*g + 4*g - 2*k + 24. Suppose 4*j = -7*m + g*m + 64, 4*j - 3*m = 62. Is j greater than or equal to 11?
True
Let m = 86 + -84. Let w be m + 7/(-3) + 288/1026. Which is bigger: -1 or w?
w
Let x = -17605 + 15852. Is x greater than or equal to