Which is smaller: w or z?
z
Let c(w) = -w**2 + 8*w + 7. Let n be c(9). Let r = -1603 + 1573. Let p be (-2)/40 - ((-66)/r + n). Which is smaller: p or 3/11?
p
Let s be 2485856/1536 - (-2)/(-32). Which is smaller: 1618 or s?
1618
Let u be (2/(-4))/(2/(-92)). Suppose -21*y + 48*y - 567 = 0. Let r be ((-7)/(70/6))/(y/14). Are u and r unequal?
True
Suppose -30*z = 4797 + 6213. Is -367 at least z?
True
Let g(k) = 7*k + 115. Let p be g(-30). Let r be p/2 + (-5)/(-10). Is -48 > r?
False
Suppose -126 = 23*z - 44*z. Let w = 21 - 35. Let f be 0 + 1 - w/(-1 - z). Which is smaller: 1 or f?
f
Let s be (-156)/18 + 1 + (-51)/34. Which is bigger: -9 or s?
-9
Let f = -0.1 - 121.9. Let t be (-39)/45 + 59/(-5) + 12. Are f and t non-equal?
True
Let m = -15.76 + 11.96. Which is bigger: 16 or m?
16
Suppose 117*y = 50*y - 18*y - 119*y. Are 16/593 and y non-equal?
True
Let i(r) = 16*r**2 - 21*r - 385. Let k be i(-16). Which is smaller: k or 1/2?
1/2
Suppose 5*n - 2*n = 0. Let i = 1564 - 1814. Let v be (150/i)/(-2 - (-14)/(-5)). Which is smaller: v or n?
n
Let b(i) = 37*i + 767. Let h be b(-22). Which is bigger: -76 or h?
h
Let g = 355 + -244. Let o = 188 - g. Which is smaller: o or 76?
76
Let b = 744 - 413. Let x = -265 + b. Is -3 != x?
True
Let v be ((-1653)/319 + 5)/(2/(-11)). Is -53/138 at least as big as v?
False
Let y be ((-18)/4)/(12/(-48)). Suppose -177*i + 179*i = 16. Is y greater than i?
True
Let b = 0.22 + 7.58. Let a = -11.0087 + 10.0087. Which is greater: a or b?
b
Let f(b) = b**2 + 5*b - 5. Let i be f(-6). Suppose 31*o = 105*o - 1776. Let l be o/21 + -3 + 1/i. Is l <= -1?
False
Let y be (1106/63)/(9/81). Let t be ((-25)/(-50))/((-1)/y*1). Are t and -79 non-equal?
False
Let u = -34 - -28. Let o be (0 - 12/(-18)) + 328/u. Let i be 37/(-30) + o/(-135). Do i and -1 have the same value?
False
Suppose -16*l = -14*l + 11*d - 1418, 3*l + 2*d = 2098. Is 695 smaller than l?
True
Let y = -0.00317 - 37.73283. Let p = y + 0.836. Let v = -37 - p. Is 0.06 > v?
True
Let j(q) = q**2 + 38*q + 274. Let i be j(-30). Let f be (-1)/(-1) - (-63 + 29). Do i and f have the same value?
False
Let k(h) = -39*h - 41. Let j be k(-1). Is -54/77 less than j?
False
Let k(u) = -u + 23. Let y(j) = j - 45. Let m(r) = -5*k(r) - 3*y(r). Let q be m(-13). Let w be ((-18)/10)/(-4 - 15/q). Which is greater: w or 2?
2
Let q be 0 - (-6 + 1 - -7). Let d be (700/(-102) - q) + 5/1. Is d greater than or equal to 1?
False
Let r = -1891 - -1897. Let z(a) = -7*a**2 + a**2 + a**3 + 8 + 0*a**2 - a. Let d be z(r). Which is smaller: 0.02 or d?
0.02
Let g(o) = 9*o - 31. Let n(f) = -4*f + 16. Let x(l) = -3*g(l) - 7*n(l). Let v be x(18). Let u = 10/3 - 283/84. Are v and u nonequal?
True
Let l be (1372577/(-956))/(0 + (-1)/(-4)). Is -5744 smaller than l?
True
Let m be 982/(-2)*(-9)/(-7326)*22. Which is bigger: m or -13?
-13
Let j(b) = -2*b**2 + 46*b - 6. Let m be j(23). Let o be (m - (5 + -11))/(4/2). Let w be 43/45 - (-6)/(-15). Which is smaller: w or o?
o
Let d = 452 + -7682/17. Let n(q) = 107*q + 429. Let c be n(-4). Which is smaller: c or d?
d
Suppose -21*b + 192 + 9867 = 0. Let w = 722 - b. Is -0.1 less than w?
True
Let u = 0.0622 + -0.6622. Which is smaller: u or 661?
u
Let j(m) = -m**3 + 12*m**2 + 13*m + 2. Let x be j(13). Suppose -q + x = -u - 5*q, 0 = 4*u + q - 37. Let f be ((-26)/(-6))/(u/(-30)). Is f smaller than -15?
False
Let r = 41.88 + -0.88. Let z = -0.11 + 38.11. Let m = z - r. Which is smaller: m or 0?
m
Let r be 14 + (-322)/((-391)/(-17)). Is 1/96 equal to r?
False
Let o = -4 + 6. Let d be (-2*4/5)/(o/(-20)). Suppose d*l - 19 = -147. Which is bigger: l or -3?
-3
Suppose -3*v + 27 = 5*w, -4*v + w + w = -10. Suppose v*s = -0*s. Let c be (19/(-38))/(((-3)/4)/((-6)/(-244))). Which is bigger: c or s?
c
Let g = -298 + 294.88. Let x = 3.32 + g. Is x at most as big as 35?
True
Suppose 0 = -8*k + 886 + 442. Suppose 0 = 4*f - 2*f - k. Is f not equal to 85?
True
Let q be (-532980)/39886 + 6/(-33). Let j = q + 95/7. Suppose -5*d = -d. Do j and d have different values?
True
Let y = 2928/5 - 578. Let a = -62 - -71. Which is greater: y or a?
a
Let o = -1145 + 693. Suppose -5*f = 30*f + 15820. Do o and f have the same value?
True
Suppose 160 = 78*i - 70*i. Let w be -2 - (-4 + 6 + i). Which is smaller: -22 or w?
w
Let d = 175 + 276. Let v = -450 + d. Which is bigger: v or 0.18?
v
Let l = -2000 + 2020. Which is greater: 88 or l?
88
Suppose 14 = d - 5*v, v = 2*v - 2. Let k be (12/d)/((-1)/(-26)). Let h(r) = 2*r - 30. Let n be h(k). Which is bigger: -3 or n?
-3
Suppose l + 130 = 331. Let h = -200 + l. Which is smaller: -3/43 or h?
-3/43
Let j be 4 - (-3)/228*-10798. Let z = -221313/494 - j. Let l = z + 311. Which is greater: 1 or l?
l
Let d = -256.163 + 256. Let n = 0.113 + d. Which is smaller: n or 3?
n
Suppose q = 6*q + 970. Let p = -144973 - -144779. Is p smaller than q?
False
Let u = 1291/10 + -129. Suppose 146*k = 139*k + 84. Is k <= u?
False
Let l(o) = 44*o**3 - 2. Let z be l(-2). Suppose 66 = -3*w - 999 + 6. Which is bigger: z or w?
w
Suppose -h + c - 1 = 0, c = -5*h + 4*c - 3. Let n be (11 - 1856/160)/((-30)/(-22)) - -1. Which is smaller: n or h?
h
Let m be -1*(-5 + -1)*(-162)/108. Let b be -3 + m/(-900)*294. Which is bigger: 0 or b?
0
Suppose -3*z = 6*m - 2*m + 2074, -5*z = 5*m + 2595. Which is bigger: -516 or m?
-516
Let k(c) = -c**2 + 2*c - 25. Let u(l) = 2*l**2 - 2*l + 50. Let o(f) = 7*k(f) + 4*u(f). Let t be o(-5). Is 6 at least as big as t?
False
Let g(x) = -50*x - 14. Let k be g(0). Suppose 48 - 9 = -3*i - 2*w, 0 = i + 3*w + 20. Which is smaller: i or k?
k
Let y(d) = -d**2 + 4*d - 6. Let c be y(6). Let r = 3.3312 + -3.2812. Is r smaller than c?
False
Suppose -3*k - 2 = -86. Suppose 0*w = -2*w - k. Let d(a) = a**3 + 15*a**2 + 14*a - 19. Let v be d(w). Which is smaller: -20 or v?
-20
Let o be (182 - 185)*46/(-3). Which is bigger: o or 37?
o
Let n = -741 - -265. Let h = -480 - n. Is -132/25 less than or equal to h?
True
Let b = 202.8 - 28.8. Let s = 172.8 - b. Does s = -6?
False
Let d = -72 + 77. Let w be ((-2)/(-3) - 234/405)*d. Is w at most as big as 8/5?
True
Let v = -23.946 + 834.946. Is v > -2.5?
True
Let x = -9277 - -8469. Is x bigger than 2/7?
False
Let f(n) be the first derivative of n**3/3 - 17*n**2/2 + 43*n - 155. Let i be f(14). Is 1/64 bigger than i?
False
Let r = -2459/503370 - -3/1190. Which is smaller: 1 or r?
r
Let o = -42 + -11. Let i be 7 + (0 - 6/(-16)) + 143863/(-2344). Are o and i nonequal?
True
Let q = 0.101 - -14.499. Let d = -13.6 + q. Is d at most -105?
False
Let r = -3927 + 3926. Is -1/2933 != r?
True
Let x be (2/(-12))/(279/(-234)). Let u = -6/31 - x. Which is greater: u or 161?
161
Let h = 2920 - -22619. Let i be h/210 - 4/(-8). Let x = i - 880/7. Which is greater: -3 or x?
-3
Let s = -9253 - -12951. Is 3697 < s?
True
Suppose -38 = -61*n + 23*n. Are n and 3/1346 equal?
False
Let c = 102.94 - 102.42. Which is greater: -1.93 or c?
c
Let p be 35/60 + -1 + 12/16. Suppose 2*l + 3*o = 17, l - 6*o + 3*o = -14. Let b be -2 - (-3 - -1) - l. Is p less than or equal to b?
False
Suppose -2*n - 2338 = -3*r, -2*r + 229*n = 228*n - 1559. Is 778 less than or equal to r?
True
Let q = -15.688 - 1.312. Let y be 2/(-8) - 65/(-20). Suppose c - 6*o + y*o = 12, -4*c = 4*o + 16. Is q at least as big as c?
False
Let u be ((-1296)/21 - 20/70)/(8/172). Is u bigger than 0.2?
False
Suppose -y - 9*v + 9 = -6*v, 7 = y + 2*v. Let w be 0/(-5 + 5 - y). Which is bigger: w or 3.03?
3.03
Let p = -5.2 + 5. Let i = 156 + -155.874. Let j = i + 23.874. Which is bigger: j or p?
j
Let u be -4*6/12*-2 - (23 - 21). Which is bigger: 5.12 or u?
5.12
Suppose 0 = 5*z + 80 - 90, -3*u = z - 2. Which is bigger: u or 1/5365?
1/5365
Let r = 649 + -87. Suppose 4*i = 15*b - 17*b + r, 5*i = -b + 704. Which is greater: i or 140?
i
Let d = 16.26 - 16. Let k = -1972.6 + 1973.1. Which is greater: k or d?
k
Suppose 649 = 4*n + 7*n. Suppose n*r + 1428 = 47*r. Which is smaller: -118 or r?
r
Suppose -2*d = -5*u - 9, -3*u + 5*d = -751 + 745. Is -986 > u?
False
Let j = -776 - -1094. Suppose 0 = -277*c - 165*c + 363*c + 25122. Is c at least j?
True
Let g(h) = h**3 - 116*h**2 + 3*h - 347. Let k be g(116). Is 64/53 smaller than k?
False
Let j be 2*((-960)/50 - -11)*3165/6. Is -8650 equal to j?
False
Let y be ((-122)/(-305))/(1/(-75)). Let