(3). Let j = 22 + k. Let y be (4 - 4)*(5/j + 2). Which is smaller: -2 or y?
-2
Let u = 0.364 + 0.536. Let s = -1 + u. Which is smaller: 1/2 or s?
s
Let y = 75.97 - 76. Let x = -674/13 + 52. Is y at least as big as x?
False
Let j be 5/(-620)*(-2)/(-7). Suppose 14 = -2*u - 4*w + 32, w - 3 = -2*u. Which is smaller: j or u?
u
Let a = 6935 + -6925. Is a at most -17?
False
Let q = -0.439 + 0.339. Which is greater: q or -499?
q
Let h = 2064 + -2105. Which is bigger: h or -18?
-18
Let z = -4240 + 4241.289. Which is greater: z or -1?
z
Let m be (-44 - -20)/(148/(-38) + 4). Let p = -114 - 114. Does m = p?
True
Suppose -11573 = 9*g + 5095. Which is smaller: g or -9264/5?
-9264/5
Let v be (-406)/(-58) + ((-236160)/33741 - (1 - 1)). Is v > 0?
True
Let x(q) = -2*q**2 - 32*q + 6. Let v be x(-16). Let m be (2 + -106)*v/(-4). Suppose 5*k + k = m. Are 27 and k unequal?
True
Let s(w) = w**2 - 31*w + 110. Suppose 7*i - 251 + 69 = 0. Let c be s(i). Which is smaller: c or -10?
c
Let v(b) = -121*b + 6292. Let w be v(52). Which is smaller: w or 64/207?
w
Let n be (30 - (18 + 13))/(1/83). Do n and -50 have different values?
True
Let w = 1082 + -4828. Is w equal to -3746?
True
Let a = -70 - -100. Let z = 32 - a. Let w be z*1 - 30/(-6). Is 6 equal to w?
False
Let w = 2210 + -2209. Let k be 1/(-3 - (-471)/(-6)). Which is bigger: w or k?
w
Suppose -608 = -10*k - 2108. Let v be (0 - -1) + 165/k. Which is smaller: -1 or v?
-1
Let b = 52 + -59.7. Let y = 7.625 + b. Let c = 1.075 + y. Which is bigger: 0.4 or c?
c
Let t = -0.381 - 10.619. Let w = -0.04 + 3.04. Is w at least t?
True
Let h = -0.056729 + -0.943271. Let k = -0.075 - 34.925. Let g = k + 111. Which is bigger: g or h?
g
Suppose -3*a - 3*w + 558 + 615 = 0, -a + 5*w + 403 = 0. Let k = 30197882324/76833471 - -2/2328287. Let j = k - a. Which is smaller: j or -1?
-1
Let r = -1.48 - 1.52. Let v = -60 - -59.98. Which is smaller: r or v?
r
Let c be (-828)/(-28) + 294/686. Are c and 0 equal?
False
Let l(x) = -436*x + 2190. Let o be l(5). Is o at least 9?
True
Let x = 22144 + -22145. Is x bigger than 8.327?
False
Suppose 3*l - 3*t - 231 = 0, -392*l + 387*l - 2*t + 329 = 0. Which is bigger: 0.28 or l?
l
Let d(s) = 5*s**3 - 9*s + 8. Let q be d(1). Suppose 5*g - q = 2016. Which is smaller: g or 403?
403
Let n = -870 - -558. Let v = n - -312. Which is bigger: v or -1/236?
v
Let v be 4 + -1*484/116. Suppose -5853 + 5826 = -27*p. Is v != p?
True
Suppose -228*f = -259*f - 31. Is f at most as big as -134/121?
False
Let z = -5/307 - -24595/2149. Let f be 1*10/(-4)*(0 + 2). Let a be (-162)/9*(f/3 - -1). Is z greater than or equal to a?
False
Let v be (24/16 - -1)/((-14)/4). Let p = -16 + 20. Suppose 0 = 5*a + 4*i + 25, -p*a + 7*i + 21 = 2*i. Which is greater: v or a?
v
Let k be (10/95)/((-890)/4735). Let m = 3/89 + k. Let b be 9/(-6) - (-1)/(-2). Are m and b equal?
False
Suppose 0*l = -2*l - 3*m + 20, 0 = 4*m - 16. Suppose 0 = -3*c - 4*d + 215, 0 = 3*c + 2*c + l*d - 361. Let q = -81 + c. Is q at least -7?
False
Let j be (124/((-8)/(-4)))/(-3 + 2). Let d = 58 + j. Let x be 3*(d - -3) + 4 + 61. Is 63 less than or equal to x?
False
Let c be ((-1958)/6 - 2)/((-8)/(-3)). Is c != -123?
True
Let s = -8703 - -8723. Let q be (-1)/(((-15)/(-303))/(-1)). Is q at most s?
False
Suppose 5*y + 4*z - 48 = 0, -3*z = -5*y - 63 + 27. Let c be (-6)/(-62)*(-2)/2. Are y and c nonequal?
True
Let v(r) = -2*r**3 + 109*r**2 + 51*r + 200. Let g be v(55). Let l(d) = -d**2 + d - 1. Let x be l(1). Let f be (-1)/(x*2/g). Is -10 at least as big as f?
True
Let s(o) = 3*o - 10. Let t be s(5). Suppose 4*r + g + 2*g = 33, 0 = 3*r - t*g - 3. Suppose -z + 35 = r*z. Are 6 and z nonequal?
True
Let h = 9738.8 + -11280. Which is greater: h or 0.1?
0.1
Let v = -1392 + 1487. Suppose -l - 2 = -2*g, 2*l + 5*g - 6 = 4*l. Which is smaller: v or l?
l
Let n be (-2 - -4)*(520/(-20))/13. Which is smaller: 16 or n?
n
Let q be 95/114*(225/37 + -6). Do q and -8 have different values?
True
Let y be ((-600)/(-44))/5*-2. Let a(n) = -2*n**2 - 5*n + 29. Let i be a(5). Let o = 42 + i. Which is bigger: y or o?
o
Suppose 10*q + 80 - 90 = 0. Which is greater: -4/31 or q?
q
Let k = -0.26 + 235.26. Let d = -235.1 + k. Is d < -10/21?
False
Let l = 71.3 - 70.3. Is l != 1097/3?
True
Let z be (2/(26192/(-12)))/((21/14)/1). Which is greater: z or 1?
1
Suppose -75*j - 93954 - 7896 = 0. Which is smaller: j or -9498/7?
j
Let y be 467 + (-896)/(-147) + (-14)/147. Which is greater: 475 or y?
475
Let f = -2802 + 2946. Which is smaller: f or 147?
f
Let k = -1554 + 1557. Suppose 0 = 2*a + 3*a - 10. Suppose -a*h = 6, 7*h + 18 = -z + k*h. Which is smaller: -5 or z?
z
Suppose 925 = 15*p - 10*p. Suppose 0 = 5*h - p - 40. Is 48 equal to h?
False
Let s = 51453/5 + -10337. Let n be 3*564/(-36)*1. Which is smaller: n or s?
n
Suppose -478 = -7*d - 5889. Is d at most -774?
False
Let i be 2/(-2)*2*6. Suppose -2*v = -2*y + 4, 4*v + 14*y = 9*y - 35. Let p be v + (-37)/(-7) + (-100)/7. Is p != i?
True
Let a(c) = c**2 - 150. Let z be a(0). Let s = z + 149. Is s smaller than -2/23?
True
Let h = 6505 - 6494. Which is smaller: h or 0.046?
0.046
Let g be 7/(-51) - 2/(-3). Let d = 123 - -351. Let j = -473 + d. Is g less than j?
True
Suppose -m + 2*q = -135, -5*m - 5*q + 889 - 154 = 0. Let y = 55 + m. Is 199 >= y?
True
Let c = 152 - 153. Which is smaller: 4 or c?
c
Let p = -911 - -585. Let i(x) = -54*x**2 - 51*x + 6. Let n be i(-3). Which is smaller: n or p?
n
Let r = 130 - 130. Let f be (-466)/(-150) - (3 + r). Is f at most as big as -1?
False
Let l = -56.55 + 2.35. Let n = -54.4 - l. Which is bigger: n or -8?
n
Let w be 1444/(-10) - (6 - 416/65). Let a be (8/12)/(w/(-27)). Which is greater: 1/5 or a?
1/5
Let p be 4/1 + -1 + -6. Let r be 65/(p + (-3 - -5)). Let k = 36 + r. Which is smaller: -28 or k?
k
Let b = -1573/30 - -263/5. Let i(x) = 2*x + 5*x - 5*x**2 - x**3 - x - x**2 - 7. Let y be i(-7). Which is greater: b or y?
b
Suppose -16*q - 16*q + 6*q + 572 = 0. Which is smaller: -27 or q?
-27
Suppose 3*k + 5*r + 17 = 0, -15 - 1 = 4*k + 5*r. Which is smaller: -6/4661 or k?
-6/4661
Suppose -3 = 4*s - i - 5, 4*i = -s - 8. Let l = 11016/5 - 19465262/8835. Are l and s nonequal?
True
Let m be (-3)/(-2*30/(-1100)). Let w = 14 - 9. Suppose 0*o - l - 215 = 4*o, -5*o + w*l = 300. Is m less than o?
False
Suppose 0 = -25*c + 76*c - 75096 + 22056. Is 1042 equal to c?
False
Let t be 33954/10*1267/735. Let g = t + -5853. Which is smaller: g or 0?
0
Let p(x) = 211*x**2 + 215*x**2 - 1 - 656*x**2 + 219*x**2 - 3*x. Suppose d - 6 = 3*d. Let z be p(d). Which is bigger: -90 or z?
-90
Let u = 28 + -42. Let o = 8 + u. Let r be (o/12)/(1 + (-6)/4). Is 1 at least as big as r?
True
Suppose 4*s - 5 - 3 = 0. Suppose 8 = 3*j + 4*a, a + 36 = 5*j + s*a. Let p(d) = d**2 - 6*d - 9. Let f be p(j). Is f greater than or equal to 7?
True
Let m(p) = -p**3 - 9*p**2 - 6*p + 11. Let d be m(-9). Let i = d - 93. Is i not equal to -28?
False
Let l(h) = 16*h**2 + 3*h + 3. Let c be l(-2). Suppose -181 + c = -15*b. Which is smaller: b or 58/7?
b
Let o(v) = 4*v - 100. Let u be o(28). Suppose -120 = -u*d + 4*d. Let g = -3 - -1. Which is smaller: d or g?
g
Let s be 2*((-152)/14 - -11). Is 0.0644 at most as big as s?
True
Suppose 3*d + 22 = 5*x, -2 = -5*x + 2*d - 4*d. Let z(l) = -3*l - 7. Let y be z(-4). Suppose t = -5*i + 39, 10 = y*i - 3*t - 13. Which is greater: x or i?
i
Let g = 55 + -443/8. Suppose -2*b - 3*b + 151 = -2*o, -b - 1 = 0. Let v be 17/19 + (-4 - o/19). Is g at most as big as v?
True
Let n = -5725 - -12582. Is n at least as big as 6857?
True
Let p = 6 + -5. Suppose p = 2*g - g, 5*g = -3*t + 8. Let i be 13 + -12 - (t/(-14) - -1). Is i != 0?
True
Suppose 17*g - 12*g - 18 = 12. Are 183/38 and g non-equal?
True
Let s = 289 + 392. Let d be (-2)/s*(-14)/((-700)/30). Which is smaller: -1 or d?
-1
Suppose u = -u + 58. Let f = -996 + 1024. Let g = u - f. Do g and 1/6 have the same value?
False
Let h = 504320314 + -784218117263/1555. Let s = h - -14/311. Which is greater: s or -18?
-18
Let c be (6 + (-18318)/3054)*(13 - -20). Which is bigger: c or 1?
1
Let t = 2253236/165 - 13656. Is 1 less than or equal to t?
False
Suppose 0 = 6*g - 389 - 19. Which is smaller: 58 or g?
58
Let a = -6 + 68. Let o = 48 - a. Let z be 3*(-2)/6*(13 + 2). Which is greater: o or z?
o
Let c be ((-2