3. Which is bigger: n or z?
z
Let h = 179 - 179.119. Let t = h - -0.246. Does -0.1 = t?
False
Let k be (2588/200 + -13)*(-10)/4. Which is bigger: k or 0?
k
Let l(n) = -n**3 + 11*n**2 - 4*n + 10. Let g be l(11). Is -34 bigger than g?
False
Let t = 0.39 - 18.39. Let m = t - 0. Let d = m + 17.97. Is d at most as big as -1?
False
Let l be 6 + -8 - (-180)/82. Let h = -581/246 + l. Is h greater than -2?
False
Let k = -1474/7 + 214. Let n = 156 - 152. Suppose -h + 16 = n*o, -o + 7*h - 11*h = -4. Which is greater: k or o?
o
Let v be (-40)/40*10 - (-52)/5. Let a = -17 + 5. Do a and v have the same value?
False
Let r(h) = h**3 - 12*h**2 + 37*h + 4. Let m be r(10). Which is smaller: -1/4 or m?
-1/4
Suppose 3*j + 0*j - 4*z + 8 = 0, 0 = 5*j - 2*z + 4. Suppose j = 3*l - 6*l + 3. Let f be (l + (2 - 2))*-10. Is -10 at most f?
True
Let c be (-15 + 153)/(5/((-80)/12)). Is c > -184?
False
Let i(x) = -8*x - 1. Let n be i(-3). Suppose 0 = 3*g - 3*q - n - 13, 2*g + q - 12 = 0. Let r = -0.155 - -0.055. Do r and g have different values?
True
Let c = 198 + -197.8. Which is smaller: c or 11?
c
Let d = 4.04 - -0.51. Let v = -1.15 - d. Let u = v + 0.7. Is -1/5 equal to u?
False
Let x be ((-1)/(-856))/(3/6). Are 1 and x unequal?
True
Suppose 0*n = 4*n - 48. Let i be 8/(-14) - (40/n)/(-5). Which is smaller: -1 or i?
-1
Let j = -2/2037 + 4156/83517. Suppose -t + 9 = 2*c, -5*t = -0*t - 3*c + 7. Is j > t?
False
Let i(w) = -2*w**2 + w + 2. Let h be i(-1). Let k be h/4*(-3 - (-552)/152). Is -1 less than k?
True
Let f = -755.8 - -771. Which is bigger: -3 or f?
f
Let n = -0.67 - -0.69. Let h = -0.7 - -0.75. Let y = h + 0.95. Which is bigger: n or y?
y
Suppose -14*x + 10*x + 68 = 0. Is 31/2 greater than or equal to x?
False
Suppose 5*n = j + 12, 2*j + 0*j = n + 21. Let k = -2/69 + -59/345. Let v = 3/10 - k. Which is smaller: v or j?
v
Let o(u) = 33*u + 715. Let n be o(-21). Which is bigger: 21 or n?
n
Suppose 0 = 3*n + 2*n. Let r = n - -61. Suppose 5*h = r - 1. Are 11 and h equal?
False
Let c = -216 + 233. Let z = -10 - -25. Is z at most c?
True
Suppose -65*o = -60*o + 10. Which is greater: o or 12?
12
Let z(f) = f**3 + 8*f**2 + 7*f - 4. Let a be 11/77 + (-50)/7. Let q be z(a). Is q at most as big as -26/5?
False
Let h be (-3)/18 + 10/60. Is h less than -3/5?
False
Let s be 2/(-10) + (-16926)/195. Which is greater: s or -436/5?
s
Let b(t) = 5*t**2 + t + 3. Let y be b(3). Let l = 52 - y. Is l at least as big as -2/25?
True
Let y = 40 + -40. Suppose -12*j + 4*j = y. Let k = 1 - 1. Is k at least as big as j?
True
Let p(w) = -w**3 + 7*w**2 - 7*w + 3. Let t be p(6). Let a be ((-1)/(-4))/(t/(-6)). Let n = -20.639 - -21.639. Do n and a have the same value?
False
Let w = -20 - -19.94. Let b = -3.44 + w. Let h = 12.5 + b. Is h bigger than 0.1?
True
Suppose -d = 4*r - 3 - 0, 4*r = -5*d - 33. Let y be (-2)/6 - 1*49/d. Which is bigger: y or 5?
y
Let r = -2/67 - 53/469. Is r greater than or equal to -1?
True
Let g = 487 - 534. Which is greater: g or -38?
-38
Let l be -14*(3 + (-276)/72) + -12. Suppose -q - 16 = -3*q. Suppose -3*u = -q*u. Is u >= l?
True
Let r be (2 + 0)/((-1310)/(-325) + -4). Let b = 60 - r. Which is bigger: b or -9?
b
Let l(r) = 6*r**3 - r**2 + 3*r + 5. Let i(n) = n**3 - n**2 + 1. Let k(y) = 3*i(y) - l(y). Let x be k(-1). Suppose 4*z - x*h - 16 = 2*h, -25 = -5*h. Is z > 0.1?
True
Let d = -20328 + 20226358/995. Which is bigger: 1 or d?
1
Let v = 3052.56 + -3049. Which is smaller: v or 1?
1
Let l = -326 - -325. Is -3/655 at most l?
False
Let z = 2.9 - 16.9. Let h = z - -14.02. Which is greater: h or -2/5?
h
Let h be -4*((-7)/35)/(2/5). Let b be h/(-2)*8/20. Let m = 12 + -8. Which is smaller: b or m?
b
Let f = -47 - -48. Let v be 151/(-1) - (-2)/2. Let a = -746/5 - v. Is f at least as big as a?
True
Suppose -5*k + 3*n - 608 = 0, -3*k + 2*n - 281 = 83. Is k at most -123?
True
Let i = -2081 - -1629. Is i >= -453?
True
Suppose 4 = 4*l, 4*m - l - 1136 - 687 = 0. Is m > 454?
True
Suppose 0 = -3*k - 5*f - 58, f = -4 - 1. Suppose 4*c = -c + 20. Suppose -c*r + 6*r + 20 = 0. Is r >= k?
True
Let w be 0/((-2 + 0)*-1). Suppose 6*k + 15 = 5*b + k, w = 2*b + 4*k + 6. Is -1 greater than or equal to b?
False
Let d be (-6)/(3 + (-27)/6). Suppose 0 = -3*f + 3*q - 36, 88 = -f - d*f - 2*q. Let w be (-11)/2 - (-24)/f. Which is greater: w or 1?
1
Let l be (-1740)/16 - 9/(-12). Are 0 and l nonequal?
True
Let r = 32 + -30. Suppose -2*n + 12 = -3*n - 4*j, r*n - 11 = -j. Is n at least 9?
False
Let r = 75.4 + 3.6. Let y = -64 + r. Is y greater than 1?
True
Suppose 5*q - p - 2 = 0, -q - p - 2 = 3*q. Let v = -3 - -2. Which is smaller: v or q?
v
Let r = -0.46 + -18.54. Let x = r + 19.16. Which is bigger: -2/5 or x?
x
Let i = 22.1 - 22.19. Let t = 1 + -3. Which is bigger: t or i?
i
Let q = -6 - -3. Let z = q - -7/2. Let j = 69 + -72. Is z at most j?
False
Let k = 1 - 1.1. Let f = 0.012 + -66.012. Let g = f - -66.14. Which is smaller: g or k?
k
Let r be (1/(-60))/((-372)/(-155)). Which is smaller: r or -1/2?
-1/2
Let l = -418.2 + 418. Which is bigger: -0.23 or l?
l
Let x be 1 - (5 - (-41601)/39). Let d = 1070 + x. Is d at most -1?
False
Let g = 363 - 406. Which is smaller: -127/3 or g?
g
Let d = 115 - 117. Is d at least as big as 0.18?
False
Let x = 1100 - 1907. Is x at most -806?
True
Let s(g) be the third derivative of g**4/8 - 13*g**3/3 - 2*g**2. Let l be s(8). Is l greater than 0.06?
False
Suppose 1982 = 10*n - 1978. Are 396 and n nonequal?
False
Let d = 22.82 + 0.18. Let o = d + -25.4. Let n be (-30)/75 - ((-132)/80 - -1). Is o equal to n?
False
Let n be (-95)/(-30) - -2*(-2)/(-8). Suppose g + 42 = 15*g. Is g at least as big as n?
False
Let s = 12.9 + -11.9. Suppose j = 2*o - 4*o + 7, -4*j = o + 7. Is o equal to s?
False
Suppose -41*j = -42*j + 34. Let d = -16 + j. Are 17 and d equal?
False
Suppose -5*d + 9 = -2*v - 0*v, -2*d = -4*v - 26. Let c be 42*1*6/v. Let y be ((-2)/(-78))/((-12)/c). Is -1 less than y?
True
Let b(w) = -w**3 - 9*w**2 + 10*w - 1. Let p be b(-10). Let d be p + 2 + (-4)/6. Let y(v) = -2*v**2 + 7*v - 5. Let g be y(2). Which is bigger: d or g?
g
Let u = -1.5 + -0.5. Let p = -4 - 16. Let n = -16 - p. Which is greater: u or n?
n
Suppose -3*r - 4 = -7*r. Suppose -13 - r = -7*b. Is 2 at least b?
True
Let d = -12.85 + 13. Let q = 0.11 + d. Let p = -0.14 - q. Is 0 >= p?
True
Let k be (2 - 0)*((-175)/14 - -5). Which is smaller: k or 12?
k
Suppose -283 + 285 = -2*u. Which is bigger: u or -10/51?
-10/51
Let b be (-7050)/206*(-49)/(-3). Let j = b - -559. Suppose -5*d + 20 = 2*r + 25, -3*d = -4*r - 23. Do d and j have the same value?
False
Suppose 0 = 5*s + 5, 0*z = -z - 5*s - 63. Which is bigger: z or -0.1?
-0.1
Let m = 0.383 + -0.483. Which is bigger: -468 or m?
m
Let h(q) = -q - 6. Let g be 320/(-150) - (-4)/30. Let m be g/((-184)/(-44) + -4). Let p be h(m). Which is smaller: 6 or p?
p
Suppose 4*l - 49 = -5*u - 6, u - 4*l = -1. Let s be (-14)/42 + u/(-6). Suppose 0 = -2*m - 2. Which is bigger: s or m?
m
Let o be (-24)/(-20) + (-28)/15. Let d = 14 + -29. Which is bigger: d or o?
o
Let s be 2/(-7) - 136/(-378). Let w be (-18)/(-2)*24/(-18). Let f be w/8 + (-15)/(-6). Which is smaller: s or f?
s
Let n be (-2)/20*-22*-5. Let m be (-25)/(-10) + 2/4. Suppose m*u + 11 = 2*u. Are n and u non-equal?
False
Let l = 173 - 229. Let z be (4/l)/(4/20). Suppose 3*v - 3*y = -6, -4*y = 2*v - 5*y + 3. Which is smaller: v or z?
v
Let c = 6.95 - 129.95. Is c at least 0.2?
False
Let c = -2 + 1.93. Let r(y) be the first derivative of -3*y**4/4 - y**3/3 - 2. Let m be r(-1). Which is smaller: m or c?
c
Let d = -77828/5 + 15472. Let x = d - -94. Which is greater: 1 or x?
1
Let g be 0 - (3 - 4) - 23. Let o be g/8 - 7/28. Suppose -2*y - 2 = 4*x + 18, 0 = 3*y + 5*x + 25. Which is bigger: o or y?
y
Suppose 44*c - 22*c = -29854. Does -1356 = c?
False
Let n = -1.5 + 0.3. Let a = n + -4.8. Let s = a + 15. Is 0.1 at most s?
True
Suppose 5*a + 60 = -10. Let o be (-4)/a + 120/(-273). Which is greater: 0 or o?
0
Let z be ((8 - 1) + 58)/(-1). Is -65 greater than z?
False
Let o = 1/975 + -49727/1950. Which is greater: o or 0?
0
Let q(k) = 4*k - 17. Suppose 2*x - 13 = -z, 0*z - 25 = -5*x - z. Let g be q(x). Are -14/9 and g nonequal?
True
Let q = -4838 - 304. Let s be 3 + (q/(-22) - -3). Let k = 240 - s. Is k at least 0?
True
Suppo