). Which is smaller: z or w?
z
Suppose -810*a + 764*a - 2668 = 0. Are a and -58 unequal?
False
Suppose -2*k = -297 + 1. Let s = 140 - k. Which is greater: s or -74/9?
s
Let g be (-20982)/(-88) + 266/(-1463). Is g equal to 237?
False
Let r be -30*(4/6 - (-38)/114). Suppose -t - 2*m = 42, -3*t - 2*t - 150 = -2*m. Which is greater: r or t?
r
Let q be ((-7)/49)/(((-450)/(-84))/(-15)). Is -0.31 greater than q?
False
Suppose 23*i - 3*x + 360 = 26*i, 0 = 3*i - 5*x - 376. Suppose -4*l + p - i = 0, -2*l - 3*p + 3 = 57. Let b be -31 + (-4)/(-2) + -2. Is b < l?
True
Let j(c) = c**2 - 15*c + 12. Let z be j(9). Let g = 45 + z. Let f be (-7)/(-28) - (g + (-45)/12). Is 6/35 != f?
True
Suppose 3*y = q + 7*y + 23, -3*q - 4*y = 37. Let l be 6/15*(-2 - q). Suppose 2*u = 4*r - 6, -l*u + 2*r - 2 = -0*r. Which is bigger: u or -1/4?
u
Let v be 4/9 - 196602/1674. Which is greater: -105 or v?
-105
Suppose -2*d + 122 = -8*w, 5*d = -6*w + 11*w + 65. Let i = -22446/5 + 4474. Which is bigger: w or i?
i
Let x be 24/(-7)*(-49)/(-2). Let t be ((-2)/(8/(-18)))/(21/x). Let i be 6/t*(2 + 1)*1. Are i and -6/77 unequal?
True
Let o = 93/5 + -653/35. Let q = 123 + 310. Let i = -432 + q. Is o at most as big as i?
True
Let o = -1505 - -1449. Is -282/5 equal to o?
False
Let g be 2*(-5 + (-448)/(-91)). Let k be 1*1*(-18)/2. Let b be 2*(1 - k/(-6)). Do g and b have the same value?
False
Let i(w) = -11*w - 54. Suppose 0 = -17*u + 18*u + k + 8, -u + 5*k + 10 = 0. Let z be i(u). Let v = 6 + -2. Do z and v have the same value?
False
Let w be ((-14)/(-91))/(2 + -6). Let n = -7/13 - w. Is n equal to -0.19?
False
Let g = -1666618/4459591797 - -20/50461. Which is smaller: 0 or g?
0
Let f = -134489 - -10355347/77. Which is smaller: f or -5?
-5
Let m(u) = u - 3. Let q = -16 - -16. Let d be q*(-3)/(-12)*1. Let s be m(d). Which is bigger: -2 or s?
-2
Let o(c) = 81*c + 244. Let h(p) = -26*p - 81. Let u(z) = 19*h(z) + 6*o(z). Let w be u(7). Which is bigger: w or -132?
w
Suppose 11*v + 18 = 9*v. Let f be 1 - (2078/(-6) - (-6)/v). Let i = f + -1757/5. Which is smaller: i or -4?
-4
Let d = -11562109/446 + 25924. Let k = -189565/1338 - d. Which is greater: -142 or k?
k
Let x = -3467928/4247 - 10591865705/2025819. Let c = -6045 - x. Which is bigger: 1 or c?
1
Suppose -10*u - 90 = -13 + 113. Are u and -116 nonequal?
True
Let h = 4.63 - -147.37. Which is smaller: h or -2/17?
-2/17
Suppose -1048*f + 1079*f = 0. Which is smaller: -3953 or f?
-3953
Let f(x) be the third derivative of 1/60*x**6 + 5/24*x**4 + 0*x - 19*x**2 - 1/15*x**5 + 0 + 1/2*x**3. Let z be f(3). Is z at most 35?
False
Let p = -7.278 + 7.278. Does -6/223 = p?
False
Let z be (4/6)/(4/6). Let g(h) = -h**2 - 11*h + 63. Let i be g(-15). Let t be 1 + (-5)/i + 1. Which is smaller: z or t?
t
Let x be 6 + (36/120)/(1*(-6)/1112). Which is smaller: -49 or x?
x
Let s = -40.83 - -0.83. Let l = -185.1 + 222.1. Let t = l + s. Is -0.3 bigger than t?
True
Let g(z) = 2*z - 22. Let f be g(10). Let p be (-2101)/286 + f/4. Which is smaller: p or -7?
p
Suppose -3*q - 3*y - 1311 = 0, 1313 = -25*q + 22*q - 2*y. Let f = q + 523. Which is smaller: 83 or f?
83
Let l be 9 - ((-18336)/40 - 3). Are 471 and l non-equal?
True
Let s be (2/(-7))/((-9)/(-315)). Is s at least -42?
True
Let g = 6744 + -1384. Let y be 3/(-2)*g/2100 + 4. Which is smaller: y or -1?
-1
Let a = 49 - 19. Let b be (-3*(-7)/84)/(a/16). Let d(o) = -o**3 + 6*o**2 - 6*o + 4. Let r be d(5). Is b not equal to r?
True
Let w(t) = 18*t**2 - 396*t - 62. Let x be w(22). Let c = -6 + 3. Let u be (-1)/c - (-736)/(-12). Which is greater: x or u?
u
Suppose -15 = -5*w, -3*q - 2*w + 16 = -2. Let z(h) = h - 9. Let b(x) = x - 8. Let a(k) = 7*b(k) - 6*z(k). Let y be a(q). Is 9/4 at least y?
True
Let x = 117 - 72. Let r = -2756 + 13781/5. Is r at least as big as x?
False
Let q(y) = -35*y**2 - 99*y. Let k be q(-2). Let b = -3072 + 12517/4. Is b greater than or equal to k?
False
Suppose 2*c = 77 + 75. Let k be (-11816)/(-844) - 2/((-6)/189). Which is greater: c or k?
k
Let y be 1/(-15 - 1) - 845/832*-4. Which is smaller: 63/37 or y?
63/37
Let v = 104.57 + -112.57. Is v > 164?
False
Let z(h) = -2*h**2 + 27*h + 33. Let x be z(20). Suppose 4*u - 3*d + 906 = 0, -681 - 467 = 5*u + 4*d. Is u at most x?
True
Suppose -3*j - 2*j = -4*v + 1063, 0 = -5*v - 15. Let p = j - -2147/10. Is -3 smaller than p?
True
Suppose 4*w + 2*i = 14, 10 - 13 = 3*w - 3*i. Let s = 5.7 + 50.3. Let h = s - 53. Is w greater than h?
False
Suppose 109*g = 116*g - 1995. Let v be (-8)/20 + 3 + (-756)/g. Which is smaller: 1 or v?
v
Suppose -59730 = -124*f + 300118. Is f >= 2/7?
True
Let y be (72/(-16) - -5)*(9 + 1). Suppose 10 = y*j - 0. Is 11/8 < j?
True
Let o(b) = b**2 + 5*b - 6. Let m be o(-6). Let n = -3 + m. Let l be ((-4)/40)/((-34)/(-255)) - 6/4. Which is greater: n or l?
l
Let w be (-18)/12 - 380/(-200) - (-396)/10. Which is smaller: -0.1 or w?
-0.1
Suppose -22*f + 4*f - 5*o - 69112 = 0, 0 = 5*f - 5*o + 19185. Which is smaller: -3838 or f?
f
Let p = -91 + 104. Suppose 17*a + 132 = p*a. Let q = 85 + a. Is 53 less than q?
False
Let u = 18014 + -18021. Which is smaller: -0.673 or u?
u
Let k = 854 - 940.4. Let s = k - -88.347. Let i = 0.047 - s. Does i = -2?
False
Suppose 2*a - 5 + 1 = 0. Let n = -363/10 - -2701/70. Which is smaller: a or n?
a
Let h = -3642 - -3643. Is h bigger than 291.29?
False
Suppose 5*d = 2*a + 1095, -2*d = 4*a + 1481 + 769. Let t = -3918/7 - a. Let k be (-8)/(-3) + (2 - 4). Which is smaller: k or t?
t
Let o = -0.584 + 0.6201. Let r be 3 + -2 - (150/(-24) + 7 - 0). Which is bigger: o or r?
r
Let f be 38/18 + 4/(-2). Let v = 946 - 945.83. Which is bigger: f or v?
v
Let x = -93.1 - -1.1. Let o = 541 + -449.35. Let l = x + o. Is -2 at most as big as l?
True
Suppose -16*h + 4225 = -3*h. Let k = h - 398. Is k bigger than -74?
True
Suppose -o + 7*x - 6*x + 7 = 0, 3*o - x = 11. Let z(u) = -9*u**3 - 4*u**2 + 16*u - 24. Let c be z(o). Which is bigger: c or -83?
c
Let l be (-20)/8*576/(-3120). Suppose 0 = -5*r - 0*r + 20. Suppose -g + 4 = -7*x + 3*x, 0 = -5*x - g + r. Is x bigger than l?
False
Let u(n) = -7*n - 21. Let l be u(-3). Suppose -2*p + h - 3*h = -8, p + 2*h - 7 = l. Is -1/50 bigger than p?
False
Let b(o) = -27*o - 158. Let x be b(-6). Let j be (-5 + x)*(-18)/4*8. Is 38 not equal to j?
True
Let i = -3 + -1. Let h be 3 + 2 + (i - -1). Let v be 2832/990 - 6/45. Is v != h?
True
Let h be (-2 - 8/(-3))*(-6)/(-4). Let v be h/(-5 + 2 - -2). Let d = 6624/25 - 265. Which is smaller: d or v?
v
Let c be (-17*1/1)/((-197)/197). Let x be (2 - 0/(-1)) + -7. Let k = x - c. Which is bigger: -21 or k?
-21
Let a = -1454 - -2939. Suppose 9*d = 6*d - a. Let u be ((-6)/d)/(2/(40/(-4))). Is -1 < u?
True
Suppose -6 = 3*m - 3*v, 136*m - 139*m - 5*v = -26. Which is greater: 91/158 or m?
m
Let y = -0.912 - -1.382. Let r = -0.02 - 0.05. Let p = y + r. Which is smaller: p or -19?
-19
Let m be (-19)/(931/105)*(-48)/(-1770). Which is smaller: 0 or m?
m
Suppose 4*p = 2*x + 8, 261*x - 4*p + 32 = 262*x. Which is bigger: -0.0369 or x?
x
Let z = 14006 - 12174. Is 1832 less than z?
False
Let m = -64 + 71. Let b(j) = -j**2 - 9*j + 40. Let v be b(m). Which is greater: v or -73?
v
Suppose 4*p = 3*q + 2, -q + 1 = p - 2*q. Let u be (1 - (-1593)/(-1054)) + 12/24. Let t = u - -1396/30039. Which is smaller: p or t?
p
Let k = -2690.1 + 2690. Which is smaller: -7278 or k?
-7278
Let n = 19588577/21 + -934690. Let s = -2455 - -4356. Let o = n + s. Is o at most as big as 1/4?
False
Let g = -1564.9 - -1345.8. Do g and 2 have the same value?
False
Let r = -507 - -509. Suppose 19 = k - 4*u - 39, -r*k = -4*u - 136. Is 77 bigger than k?
False
Let d be 155/(-684) - (-2)/8. Let g be (-7)/(-14) + -1 - (190/20)/(-19). Which is smaller: d or g?
g
Let r be 1796/8*((-56)/2220)/(-7). Let f = 1/111 - r. Which is smaller: -1 or f?
-1
Let m = -881 + 965.9. Let x = 85 - m. Is x at most as big as -5/4?
False
Suppose -6 = -2*m, l + 3*m = -2*l. Let j be -27 + (7 + l)/2. Let b = 32 + j. Which is greater: b or 1?
b
Let q = -298094074 + 58724114538/197. Let i = 2122 + q. Which is bigger: i or 0?
0
Let h be 378/(-36)*(-1)/(6/184). Suppose 50*q - 2*f = 48*q - h, 4*f = -5*q - 787. Which is greater: -161 or q?
q
Let q(g) = -40*g - 787. Let y be q(-28). Do 331 and y have different values?
True
Suppose -2*s - 5