3. Is y >= u?
False
Let r = 112 + -106. Suppose 4*f = -4*k, -3*k - 4*f - r = -7. Which is greater: k or -4/429?
-4/429
Let r be (-2850)/(-8) + (-357)/(-476). Are r and 357 nonequal?
False
Let t(n) = n**3 - 20*n**2 - 43*n - 20. Let h(i) = -3*i - 17. Let j be h(-13). Let y be t(j). Suppose -w + 4 = 2. Do y and w have the same value?
True
Let w be ((-3)/(-6))/(4/16). Suppose 0 = 8*o - w*o - 6. Let j be 12/9*(-3)/(-4)*o. Is 4 bigger than j?
True
Suppose 62 = v + 3*k, 0 = -v - k - 0*k + 52. Let l = 71 - v. Suppose 3*m + 3*f - l + 6 = 0, -f + 3 = -2*m. Which is smaller: 2/81 or m?
2/81
Suppose -3*k + 1 = 4. Let r(v) = -v**3 + 2. Let s(f) = -5*f**3 + 10*f**2 + 25*f + 17. Let b(c) = 6*r(c) - s(c). Let i be b(-4). Is i smaller than k?
False
Let s = 408783/187 - 2186. Let v(k) = 2*k + 1. Let p(t) = 15*t + 32. Let n(a) = p(a) - 6*v(a). Let g be n(-9). Are g and s nonequal?
True
Let y(r) = 2*r - 5. Let h = -7 - -12. Let t be y(h). Let u = 1953 - 1951. Which is smaller: u or t?
u
Suppose 3*z + 12*x = 17*x + 185, 6*z = 4*x + 382. Is z != 81?
True
Let i be -3 - 2*(-3555)/2366. Which is smaller: -1 or i?
-1
Let n = -644 + 644. Suppose n = -3*c - 30 + 45, c - 70 = -5*x. Is x < 7?
False
Suppose 0 = 134*r - 125*r. Is -3379 != r?
True
Let w = 3876 + -3869. Which is smaller: 13/8 or w?
13/8
Let t = -7862 + 7536. Which is bigger: t or -330?
t
Let r be (-4)/6 + (-232)/(-6). Suppose 5*q + 4*b + 3962 = 0, 13*b - 17*b + 2390 = -3*q. Let m = q + 832. Is m smaller than r?
False
Let j(f) = f**2 - 26*f - 29. Let h be j(27). Let i be h*(0 + (-6)/4). Which is smaller: 17/11 or i?
17/11
Let a(z) = -68*z - 5259. Let p be a(-33). Is -3015 greater than p?
False
Let k(i) = -i**3 - 10*i**2 - i - 6. Let s be k(-10). Let h be 9913/207 + 3/27. Let n be (s/(-42))/((h/18)/(-4)). Which is greater: -1 or n?
n
Let h = 245 - 242. Let x = h - 3. Let f = 50 - 74. Which is smaller: f or x?
f
Let t be (-2380)/(-12) + 4/6. Let f be 2585/13 + -2 + (-1092)/(-507). Is t equal to f?
True
Let c = -73892366 - -2290419830/31. Let b = c + 7856. Which is greater: b or 2?
2
Let l(w) = w**3 + 43 - 18*w**2 + 3*w - 13*w + 7*w. Let b be l(18). Suppose -z + 4*g + 1 = 9, 5*z + 40 = 5*g. Are z and b unequal?
True
Let b be (1 + -1)*248/(-248). Which is smaller: 2/439 or b?
b
Let h = 129 - 70. Let k = -54 + h. Let t = 552/5 + -110. Which is smaller: t or k?
t
Let z(y) = 10*y + 10. Suppose u = -4*b - 18, -6 = -5*u + 9*b - 5*b. Let r be z(u). Is -4 < r?
False
Let z = -5.4 + 5.7. Let a be 38/(-12) + 3 + 10214/84. Let k = a + -121. Is z greater than k?
False
Let c = 7115 - 7116. Which is bigger: c or -86?
c
Let y(d) = -18*d + 2. Let x be y(4). Let j = -71058 - -71058.1. Which is bigger: j or x?
j
Let q(r) = -4*r**2 + 112*r + 3. Let u be q(28). Let s = 3 + -1. Let n be (u/s)/((-53 - -4) + 4). Which is smaller: 1 or n?
n
Let f be (-1 - -5)*6/4. Let n be (-2 + 5)*130/f. Suppose 5*g + a + n + 44 = 0, 2 = 2*a. Is -21 less than g?
False
Let f = -4566 - -4659. Which is smaller: f or 0?
0
Suppose -c + 2 = 3*g, 4*g = -2*c - c + 1. Let v be g/((-50)/8)*95/(-1406). Which is smaller: v or -1?
-1
Let s = -511 - -1274. Let p be s/(-2842) + (-2)/(-7). Which is smaller: p or -0.1?
-0.1
Let v = 62 - 60. Let c be -3*24268/(-288) + v/(-12). Let t = c + -253. Is 1 smaller than t?
False
Let d be ((-1)/(-10))/((-24)/(-16)). Is 1.4 less than or equal to d?
False
Let b be (-4)/116*(569 - 0). Let i = 312323/15921 + b. Is i at least 0?
False
Let y be (0 - (-7)/(-418))/(8/48). Which is smaller: 1 or y?
y
Let i = -20093787.26249 - -20093694. Let v = -0.09249 - i. Let w = 93 - v. Is 0 greater than or equal to w?
True
Suppose -11 = -4*k + 3*x - 27, 2*k - 6 = -2*x. Let g be 1 + (-859948)/276220 - -2. Let q = g + -2/1973. Is k at least as big as q?
False
Let p be -97*(-2 - -3) + -1 - -9. Are -59 and p non-equal?
True
Let n be (-448)/(-19600)*7/2. Which is bigger: -3.7 or n?
n
Let a(f) = -42*f + 105*f - 42*f + 90. Let j be a(-4). Is 61/12 <= j?
True
Suppose -6*o + 28 = -2*o. Suppose 6*w = 3*w - 6, -5*d - 5*w = 0. Suppose -3 = -v - d. Which is smaller: o or v?
v
Let r(u) = -2*u + 33. Let w be r(14). Let k(t) = -t**3 - 6*t**2 + 2*t + 4. Let p be k(-4). Let y be 300/p*(-6)/9. Which is smaller: w or y?
w
Let d(z) = 25*z + 349. Let n be d(-12). Suppose 0 = -n*l + 22 + 27. Are l and 5/2 nonequal?
True
Let s be 1/((1 - 0) + (18 - 41356/2177)). Are s and 303 nonequal?
True
Let w be 159/530 + (-26)/20. Which is greater: 4209 or w?
4209
Let q(g) be the third derivative of 5*g**4/24 - g**3/6 + 2*g**2. Let c = -365 - -366. Let w be q(c). Is 7 less than w?
False
Let z(l) = 4*l - 10. Let f = 46 + -43. Let s(v) = 4*v - 11. Let n(q) = f*z(q) - 2*s(q). Let j be n(2). Which is smaller: j or 3/16?
j
Let u be 2 + (-15)/18 + (-3)/(-54)*-3. Which is smaller: 2/9685 or u?
2/9685
Suppose -66 = -5*j + 2*v, -2*j + v = -29 + 2. Suppose w - 5*i = -27, -2 = -i + 3. Is j less than or equal to w?
False
Let d = 36 + -36. Suppose 2*r + 22 - 30 = d. Let y be (16 + r)/(1*(-1 + 0)). Which is bigger: y or -19?
-19
Let h = -669 - -693. Let m be (-53)/h + 210/90. Which is smaller: m or -1?
-1
Suppose 5*k - 11 = -8*h + 7*h, 0 = -4*h - 4*k - 20. Let i be 36/(-10)*6/h. Is i at most -2?
False
Let z be (-33)/77 + 3*(-16)/(-14). Suppose 8 = 5*o + 3, 2*t - z*o = 13. Suppose -2*g - 5*w = -12, -2*w = -3*g + 6*g - 18. Which is bigger: t or g?
t
Let z = 184 + -180. Let x(u) = u**2 - u. Let i be x(4). Suppose -4 = -z*d + i. Is 10 smaller than d?
False
Let k(z) = 6*z**2 - 110*z + 963. Let n be k(10). Is n at most 465?
True
Let l(y) = y**2 + 9*y - 5. Let c be l(-6). Let w be (c + 23)*1/6. Is 3/7 != w?
True
Suppose 0 = r + 3*r - 16. Suppose -r*o + 0 = -4. Let f be 36672/4576 + (-6 + -3 - -1). Do o and f have the same value?
False
Let u = -39758 - -39739. Let w = -27 + 10. Is u greater than w?
False
Suppose -y - 5*r - 10 = 3, -y - 22 = 2*r. Let t = y + 16. Let g be 1*-26*(-22)/(-44). Is g greater than or equal to t?
False
Let c be (-51)/255*2*(-4)/(-27640). Is 0 at most as big as c?
False
Let g = -0.05 + -3.05. Let k = -857 - -854. Let u = g - k. Do u and -12 have the same value?
False
Suppose -a - y = -77, -3*a = -7*a + 5*y + 263. Let h = a + -74. Which is smaller: 10 or h?
h
Let s = 0.9 - 1.1. Let m = 2859.79 + -2874. Let x = -0.21 - m. Is s bigger than x?
False
Let g(t) = -2710*t - 51. Let r be g(1). Is r > -2761?
False
Let s = -6628 + 6378. Is -240 not equal to s?
True
Suppose -63*b + 65*b - 358 = 0. Let m = 186 - b. Which is bigger: 20/3 or m?
m
Suppose -2 - 6 = 4*g. Let y(o) = o**3 + o + 1. Let p be y(-1). Let w be ((-14)/2 + 1)*p/(-5). Is w < g?
False
Suppose -s + 5*u + 19 = 0, -6*u = 3*s - 7*u - 57. Let v be (-8)/(-6) + (15181/(-3))/s. Which is bigger: -266 or v?
v
Let h be (-10)/((-2100)/(-434)) - (2 - 1)/(-15). Let l be (-1)/5 + (-655)/975. Which is bigger: l or h?
l
Let b be (-3725)/(-4) + 124/16 + -7. Which is smaller: b or 931?
931
Let d(o) = 2*o**3 + 16*o**2 - 21*o - 33. Let i be d(-9). Let y be 56 - (i/(-3) - -7). Is 31 equal to y?
False
Let j be 400/582 + 8/(-12). Let x(s) = -3*s - 8. Let o be x(-3). Which is smaller: j or o?
j
Let n(x) = -4*x + x**2 + 0*x + 10 + 7*x. Let g be n(-6). Let a = -42 + g. Is a < -12?
True
Suppose 3 + 0 = 2*w - 3*t, -2*w - 4*t - 18 = 0. Let l = 24 + w. Suppose 31*k - 8*k - 460 = 0. Is l at most as big as k?
False
Let s = -24 - -23. Suppose 5*f - 510 = -4*r, -3*r + 3*f + 396 = -0*r. Let m be 505/r + -1 + -3. Which is greater: s or m?
m
Suppose 2 = -4*f - 3*d, 0*d = -2*f + 2*d + 6. Let q be 7 - 3672/560 - 2/4. Is q at most as big as f?
True
Let r = 15 - 5. Let p be (-4)/r*(-110)/1067. Are p and 1 unequal?
True
Let y(v) be the third derivative of -v**5/60 - 41*v**4/24 + 11*v**3 - 89*v**2 - 2*v. Let b be y(-13). Is 431 equal to b?
False
Suppose 13*w - 21 - 23 = -70. Is w less than -41/29?
True
Let c = -3851 + 142479/37. Which is smaller: c or -0.4?
-0.4
Let r(j) = -71*j + 1011. Let w(i) = -23*i + 336. Let m(a) = -2*r(a) + 7*w(a). Let k be m(15). Which is greater: k or 42?
k
Let m be (-10)/(-220)*(-66)/(-12). Let h = 0.29 - 0.99. Which is smaller: h or m?
h
Suppose -6*u - 96 = -22*u. Suppose u*f + 27 = 9*f. Is 2 >= f?
False
Let y = -25/13471414 + 14848732303/1742702529282. Let g = y - -1/1209. Which is greater: -1 or g?
g
Let m be ((-44)/(-10))/((-28)/(-140)).