8633/11. Which is greater: l or z?
z
Let u be (-2 - -1)*(171 - 8). Are u and -164 equal?
False
Let u be ((-320)/12)/((-17)/15 - -1). Let s be (-11)/(-45) + (-40)/u. Which is bigger: s or -1/4?
s
Let b be (-2)/(-20) - 846/60. Suppose -15 = -4*j + 9*j. Let v(u) = 2*u + 5. Let h be v(j). Which is smaller: b or h?
b
Let l = 49158/19 + -26792022/10355. Does l = 0?
False
Let j = -26.4 - -65.7. Let c = -43 + j. Let f = -1.7 - c. Which is smaller: f or -1/3?
-1/3
Let x be 27 - 18 - (-72)/38. Which is smaller: x or 11?
x
Let i = 22879 + -22928. Let a = -10 + 22. Let v = a + -11. Is i bigger than v?
False
Let a(j) = -4 + 4*j**3 - 3*j**3 + 2*j**2 - j + 0. Suppose 4*l + 7 = -4*u - 13, l = 2*u + 4. Let t be a(l). Is -2 bigger than t?
False
Let f = -55 + 51. Let n(s) = s**3 + 2*s**2 - 7*s + 4. Let x be n(f). Suppose 3*y = -i - 0*y - 7, x = -i + 3*y - 1. Which is smaller: i or -5?
-5
Let h(t) be the third derivative of t**5/60 - 5*t**3/6 + 17*t**2. Let u be h(-5). Let z be (12/u)/(27/30). Which is smaller: z or 1/4?
1/4
Let p(s) = 74*s + 1757. Let k be p(-19). Which is smaller: k or 3/7?
3/7
Suppose -2*g - 1 = -g. Let f be (-914)/916*-4 - (32 + -61 + 33). Which is greater: g or f?
f
Let q = 11727 - 11615.69. Let c = q - 0.31. Let u = c + -63. Which is greater: u or -2/7?
u
Suppose -53967 = 3*n - 2*p, 5*n - 2*p + 56535 = -33410. Which is greater: -17988 or n?
-17988
Suppose 13*f = 854 + 121. Which is smaller: 63 or f?
63
Suppose -78 = -257*y + 10 + 169. Which is greater: y or 1/6094?
y
Let w be (-40326)/198198 + ((-31)/33 - -1). Which is smaller: -1207 or w?
-1207
Let f = 18749 + -18769.51. Which is bigger: -2/13 or f?
-2/13
Let g(l) = 9 - 13*l**2 - 4*l**3 + 3*l**3 + 2*l + 7. Let s be g(-13). Let h be 19*2/s - (1 - 5). Which is greater: h or 1/23?
h
Suppose -12*j - 40*j - 3*j - 9845 = 0. Which is smaller: -155 or j?
j
Suppose 0 = 2*n - 3*b + 15, 3*n + 4*b + 11 - 31 = 0. Let k = -108.52 - -115. Let f = -0.52 - k. Do f and n have different values?
True
Suppose -10 = 2*o - 3*o. Let i be o/1 - (13 - 13). Suppose i*f - 5*f + 45 = 0. Which is bigger: f or -8?
-8
Let h be (11769*((-5)/(-4))/(-5))/((-6)/(-16)). Is -7845 smaller than h?
False
Suppose -83 = 2*j + 37. Let s = j + 67. Which is bigger: s or 52/7?
52/7
Let j be (30/33075)/((-5)/(-50)). Is j > -1?
True
Suppose -195 = -4*f + 4*b - 407, 5*f = 4*b - 258. Let s(g) = -g**3 - 9*g**2 - 1. Let a be s(-9). Let z be (a/(-1))/((-2)/92). Is z greater than f?
False
Let t = 1.4083 + 1.3877. Is t > -1?
True
Suppose -3*g + h = g - 156, 4*h = 5*g - 184. Let x be (102/(-9) - 2)/((-51)/(-153)). Let r = x + g. Is 4/5 > r?
True
Let n = -6.42 - -0.42. Let x = n - -1.2. Let r = x + -3.2. Which is smaller: -0.1 or r?
r
Let g be 1 - (-2 - (-32)/28). Let t = -59/28 + g. Is t > -0.064?
False
Let h be 2/4*1*(8 + -108 + 4). Which is smaller: h or -442/9?
-442/9
Suppose -5 + 21 = 4*l, 0 = -3*f - l + 10. Suppose -2*g - a = f*a + 29, -4*g - 5*a = 55. Let z be ((-44)/32)/(g/(-4) - 2). Is -4 >= z?
False
Let r = -3.67 - -4.67. Do r and -443 have the same value?
False
Let p be 13/(((-280)/50)/(-7)). Which is smaller: -0.14 or p?
-0.14
Let y = -4568/15 + 216293/690. Which is smaller: 10 or y?
y
Let b be 3/(-8) - 102949/12936. Is b not equal to 14/19?
True
Let f = -118 - -149. Suppose 0 = f*i + 166 + 175. Are i and -4 equal?
False
Let c be (-633)/(-27)*-501 + 55/33. Which is bigger: c or -11743?
-11743
Suppose -21*l = -18*l - 108. Suppose 0 = 5*t - 6*n + 3*n, -5*n = 0. Let h be l/(-18) - (0 + t). Is -2 less than or equal to h?
True
Let q be -2*(-268)/6*6/8. Let y = 25 + -69. Let l = q + y. Is l >= 23?
True
Suppose -2*b + q - 5 = 0, -2*b - 19*q + 24*q - 25 = 0. Which is smaller: -158 or b?
-158
Let c = -38 - -47. Suppose 0*u + 3*u - c = 0. Suppose u*g + p = -p + 3, 3*g - 3*p = 3. Which is greater: g or -47?
g
Let z(c) = c**2 - 3*c + 1. Let i be z(2). Let r = -114 - -116. Let v be -10*r/25*(14 - -1). Which is smaller: i or v?
v
Let k = -6536/196293 - 2/3327. Suppose 6 + 13 = 4*w + 3*x, -15 = -4*w + x. Suppose 2*d = -w*y - 6, -y - 14*d + 9*d - 6 = 0. Are y and k non-equal?
True
Let w(f) = f**2 - 3*f - 6. Let h be w(4). Let j be (-1636)/(-40) - 2 - h. Let s = 41 - j. Which is bigger: -2 or s?
s
Suppose 2*m + 19 = 3*t, -2*m + m + 3 = t. Suppose t + 8 = z - j, -16 = 4*j. Suppose z = -5*b + 2*b. Which is bigger: -4 or b?
b
Let b be 9039/(-2096) - (-6 + 3). Let d be (3/(-40))/(36/(-10)). Let v = d - b. Which is greater: v or 0?
v
Let g = -675.9487 + 676. Let j = 0.0213 - g. Is j != -0.05?
True
Let u(i) = 2*i**2 - 70*i - 37. Let c be u(30). Which is smaller: c or -2/11?
c
Let a = -327 + 123. Let z = a + 819/4. Is z greater than -7?
True
Let x = -913/30 - -1038693/34130. Is 1 greater than x?
True
Suppose 3*r + 14 = 6*v - v, 0 = 3*v - 4*r - 15. Let u be 188/28 + -7 + (-324)/(-1155). Let y = -169/770 - u. Is y less than v?
True
Let m = 21 + -14. Let z(a) = -47*a - 4348. Let k be z(-93). Are k and m equal?
False
Let f(a) = 120*a**3 - 2*a**2 + 92*a - 262. Let m be f(3). Is 3236 greater than m?
False
Let a be 0/(-3)*(0 - 1). Let p = -0.0199 - -224.0199. Let w = p + -199. Are w and a unequal?
True
Let y = -51 + 99.1. Let h = y - 47. Let a = h - 1. Which is bigger: a or 27?
27
Let p = 870 + 396. Let g = 3737/3 - p. Which is greater: -21 or g?
g
Let k = 1748.3 - 1607. Let m = k - 142. Let y = 0 + -1. Is y greater than m?
False
Let a = 7937/78 + -1325/13. Let b = 0.1 + -0.2. Is b greater than a?
True
Let s(t) = 2*t + 3. Let i be s(-2). Suppose -17*w + 18*w = 4. Let l be i*w + 203/29. Is l at most as big as 5?
True
Suppose -5*x - 4*s + 38 = 0, -8 = -3*x + 2*s + 3*s. Let k be ((-6)/(-20))/((-2745)/(-456) - x). Is k <= 15?
False
Let a(z) = -z**2 - 2*z. Let g be a(0). Suppose -4*r - l - 226 = 0, g*l = 5*r - 2*l + 289. Let f = r - -173/3. Which is greater: f or -0.034?
f
Suppose 3*b + 3*u = 3, -5*b - 11 = 24*u - 27*u. Is -1/1274 less than b?
False
Let l = 686 + -684. Suppose 2*r + l*n + 3 + 1 = 0, -5*n = -3*r + 10. Is r at most as big as -2/991?
False
Let n = -0.06053 - -0.15653. Are 1 and n non-equal?
True
Let m be (-24)/3620*75/(-45). Let r be 0/((-7)/(21/(-6)) - 3). Is r >= m?
False
Let f = -24 - -25. Let h be ((-78)/4)/(39/(-52)). Suppose -h*p + 22*p = 16. Which is bigger: p or f?
f
Let y be 1680/525 + 4533/(-1410). Which is greater: 0 or y?
0
Let t = -83 - -85.59. Let o = t + -2.61. Is 9 < o?
False
Let g = -104 - -108. Suppose 4*m = g*t - 12, 3*m + 0*t + 3*t - 15 = 0. Let z be -2*m/5*(-255)/(-17). Which is bigger: -7 or z?
z
Let p be (-2416 + 12 + -2)*3/2. Is p >= -3609?
True
Let u = 296 - 295. Are u and -11702 nonequal?
True
Let f(t) = -t**3 - 12*t**2 - 11*t + 1. Let n be f(-11). Let g be 24/5 + (8 - 468/60). Are n and g nonequal?
True
Let v = -3/41 - -109/369. Let h = 9237 - 9429. Which is greater: h or v?
v
Suppose -4*m + 171 = 4*r + 1083, 4*m = -16. Let v be (-5)/(138/(-12) + -6). Which is bigger: v or r?
v
Let d = 1580 + -1501. Is 74 > d?
False
Suppose 18*c = -3247 - 7895. Let s = c + 587. Do s and -35 have different values?
True
Suppose -140*h + 143*h - 20 = y, 4*y = 3*h - 17. Which is smaller: -1/8395 or y?
-1/8395
Let q = -16 - -49. Let o = q + -33.9. Suppose 0 = 4*r - 5*t - 37, 3*t = -2*r - 6 - 3. Which is bigger: o or r?
r
Let v be (4/(-10) - (-114)/160)*(-430)/(-3225). Does 87 = v?
False
Suppose 2*s - 1154*b = -1157*b - 27017, -3*b = -3. Is s greater than or equal to -13510?
True
Suppose -5*c = -0*c. Let u = -514/3 - -59633/348. Which is greater: u or c?
u
Let b(u) = 2*u**3 + 47*u**2 + 23*u - 8. Let n = -472 - -449. Let i be b(n). Which is smaller: i or -38?
-38
Suppose p + 3*w = -561, -5*w + 4 = -6*w. Which is smaller: p or -546?
p
Suppose -3*d + 4 + 29 = 0. Suppose -116*x + 59 + 31 = 74 - 448. Which is bigger: x or d?
d
Let s(a) = -28*a**3 + 19*a**2 + 164*a - 164. Let o be s(1). Let z = -10 + 7. Let n be (2 - z)/(2/(-4)). Is o at least n?
True
Let k = -8 + 10. Suppose -2*l + 4*b - 16 = 0, 2*l - 56 = 5*l + k*b. Let q be (-1 + 0)*20/((-60)/(-51)). Which is smaller: q or l?
q
Let a = 88305337/1555 - 56788. Let j = a + 115097/13995. Which is greater: 9 or j?
9
Let n = -1700.18 - -1702. Which is smaller: n or 0?
0
Suppose -5*d + 4*h = 674 + 327, -5*h = 5. Is -194 equal to d?
False
Let c(s) = 7*s + 58. Let w(u) = -4*u - 30. Let y(z) = 3*c(z) + 5*w(z).