3805. Let j = f - 1.61. Which is greater: j or 11?
11
Let i be 6*((-2)/4 + 0). Suppose -2*w - 14 = 2*u, 4*w + 1657*u = 1658*u - 8. Is w > i?
False
Let n = -239 + 205. Let b(y) = -7*y + 8. Let w(u) = u**2 - 9*u - 4. Let m be w(10). Let z be b(m). Is z > n?
False
Let g = 782 - 452. Let p = -20792/63 + g. Suppose 2*c = 4*c - 2. Is p > c?
False
Let s = -30015 - -510477/17. Let j be 9 + (-25630)/(-2210) + -8. Let y = s - j. Is -1 > y?
False
Let f(k) = 2*k**2 - 28*k - 3. Let y be f(15). Let x be 6/y - 71934633/(-16443). Let v = 4375 - x. Which is greater: v or -1?
v
Suppose 0 = 5*v + 5, 2*t - 20*v = -15*v + 201. Suppose b + 2*q + t = 6, 5*q + 95 = -b. Which is bigger: b or 2/7?
2/7
Let f = -31 - -170. Let w = f - 138.29. Let a = 0.71 - w. Which is smaller: -1/36 or a?
-1/36
Let n = -2 + 6. Suppose -2*w - 4*j = j - 4, 5*w - 10 = -n*j. Let s(q) = -2*q**3 - 29*q**2 + 58*q + 142. Let d be s(3). Is w at least as big as d?
True
Let q(n) = 38*n - 29. Suppose 0 = -2*z + 3*a + 12, 2*z + 0*a - 16 = a. Let g be q(z). Let y = -2174/7 + g. Which is smaller: 3 or y?
y
Let h = -6191 - -6187. Which is smaller: -119/23 or h?
-119/23
Let c be 246 - 9/(-7 + 6). Let o = -3317/13 + c. Which is bigger: o or -2/15?
-2/15
Let q be 17 + 42/7 + -3. Let l be (3/(-3))/(-1)*(1 - q). Is l less than -23?
False
Suppose -29 - 3 = -8*y. Let r be 1*y + 7 + 256/(-18). Which is bigger: r or -3?
-3
Suppose 0 = 18*g + 4 + 14. Let n be 10 - (-1 + g + 0). Suppose 15 = n*l + 3*l. Which is smaller: l or 3/32?
3/32
Let t be 430/8 + (-3)/(-12)*1. Suppose 0 = -g + 3*c - 13 - t, 5*g + c = -335. Is g >= -67?
True
Suppose k - 5*w - 93 = 0, -80*k - 156 = -82*k - 5*w. Are 80 and k non-equal?
True
Let i = -57016/779834703 - 6/64679. Which is bigger: i or -1?
i
Let l = 190.82 + 0.18. Let a = l + -240. Which is smaller: a or 2?
a
Suppose -563 = -37*n - 75*n - 3587. Suppose b = -b - 52. Which is greater: b or n?
b
Suppose -46*u + 37*u = 9. Let h(k) = -3*k**2 - 2*k - 2. Let v be h(u). Suppose 5*g - 17 = -2*s - 0*s, 30 = -5*s + 2*g. Which is smaller: v or s?
s
Let d = -1463.93 - -1458. Let n = 0.22 - d. Let k = n + -6. Which is smaller: k or 1?
k
Suppose -2*a - 43 = -13. Let z = 37 - 52. Is z equal to a?
True
Let k be 1/(-4) - 3/(-12). Suppose -12*a = -8*a + 2*v - 4, 5*v + 26 = 2*a. Suppose 9 = x - k*x - 4*q, a*x - 3 = 4*q. Does 0.7 = x?
False
Suppose -67*c = 2137 - 10713. Is c not equal to 169?
True
Let x be 200/14 + 28/(-98). Suppose 2*q - 2*k = x, 0*q + 13 = 3*q - k. Let r = 493 - 2456/5. Which is bigger: q or r?
q
Let d be 32/208 + (24138/104 - -4). Is 235 at least as big as d?
False
Suppose -328*s - 6 = w - 330*s, 0 = 2*w + 2*s + 18. Is w smaller than 59/29?
True
Let f(h) = 15 - 60 + 14 + 5*h + h**2 + 16. Let u = -1 - 6. Let p be f(u). Which is bigger: 5/29 or p?
5/29
Suppose -3*y + 5 = -1. Suppose 4*w - 40 = -5*u, w = -8*u + 9*u + 1. Suppose u*r = 5*d - 10, 4*d - 3 = 5. Is y greater than or equal to r?
True
Let z be 1*-7 + (-12960)/(-1845). Let v = -46/205 + z. Which is smaller: v or -1?
-1
Suppose 6*j - 3*j = -2*c + 2, -4*c + 4 = -j. Let k = -111913/1638 + -23248/117. Let o = 267 + k. Is o > c?
False
Let n = -6 + 32/5. Let x = -409/9 + 376/9. Which is smaller: n or x?
x
Suppose 0 = -p - 4*d - 2280 - 16593, 0 = 5*p - 2*d + 94475. Are p and -18893 unequal?
False
Let y be 10*4/8 + -4. Suppose 0 = 4*g - 7*g. Suppose -8 = 4*w + k + 28, g = -w + 2*k - 9. Does y = w?
False
Let f = -26562 - -32400. Which is smaller: f or 1/2?
1/2
Let m(w) = -3*w**3 + w**2 - 7*w - 32. Let g be m(-5). Which is smaller: g or 1205/3?
1205/3
Suppose 2*a - q = 12 + 393, -3*a + 615 = q. Let l = a + -92. Let y be 24/l*14/(-4). Is 0 at most as big as y?
False
Let t(i) = i + 11. Let j be t(0). Suppose j - 1 = 2*y. Let k(c) = -c**3 + 5*c**2 - 3*c + 4. Let w be k(y). Are w and -9 nonequal?
True
Suppose -4031 = -37*u + 14724 + 4037. Is 622 smaller than u?
False
Let n be ((-15)/(-12))/((-1)/8). Let x(p) = p**3 + 11*p**2 + 19. Let s be x(n). Which is smaller: 118 or s?
118
Suppose u + u = 64. Let c be 8/u + (-91)/(-4). Which is smaller: 28 or c?
c
Let d be 2/(-13) + (-3102)/286 + 11. Which is smaller: d or 1/172?
d
Let c be 3964/(-420) - (-23)/(69/18). Let i = 100/21 - c. Which is smaller: 9 or i?
i
Let q = -794 + 130. Let s = -663 - q. Is s at most -2/581?
False
Let x = 26333 + -26333. Is 9338 at most as big as x?
False
Let z = 0.4 + -0.2. Let r = 2.01 - 3.42. Let w = 1.48 + r. Which is smaller: z or w?
w
Let z(q) = -11*q. Let u be z(-4). Let j = u - 39. Suppose -n = 4*n + 3*y + 1, -j*n + 3*y - 19 = 0. Which is bigger: -5/4 or n?
-5/4
Let j = 32123 + -159064/5. Are 309 and j equal?
False
Let n(u) = -5*u + 42. Let p be n(7). Let x be -3 - (-3 + p/721). Is x at least as big as 6?
False
Let c(b) be the first derivative of b**3/3 + b**2 - 7*b - 7. Let m be c(7). Is m < 55?
False
Let u = -7775940/139 - -55942. Let i = 1 + 0. Is i bigger than u?
True
Let z = 362/46945 + -4/229. Suppose 0 = 2*k + 1208 - 1206. Which is bigger: z or k?
z
Let z = 647 - 641. Suppose -3*f - n + z = 2*f, -5*n = -5*f. Is f at most 2/1143?
False
Let b be (0 - -6)/((-14)/833). Is -3206/9 equal to b?
False
Let p(h) = -h**2 + 8*h + 65. Let r be p(8). Suppose 434 - 109 = 5*j. Are j and r equal?
True
Let x = 0.0394 - 2.9594. Let s = 2.88 + x. Which is greater: s or 0.26?
0.26
Let y(u) = -6*u**2 + 40*u + 109. Let x be y(-27). Is x greater than or equal to -5343?
False
Let z be (-50 - (-5 + -42))*(-1)/(-36). Which is smaller: 761 or z?
z
Let n be (-1 + (-6 - -2))*(-24)/(-60). Let z be (-10640)/2527 - n/((-2)/(-5)). Is 2 at most z?
False
Let n = -11292 - -6583. Is -4708 bigger than n?
True
Let f(o) = 4*o**2 - 6*o - 17. Let q be f(-4). Suppose 570 = 4*z + 282. Which is smaller: q or z?
q
Suppose 0 = -176*x + 129*x - 10217 - 311. Suppose t + 83 = -141. Is t < x?
False
Let w = -1304 + 1834. Let v = 530 - w. Let k = -541 - -22721/42. Is k at least v?
False
Suppose 61*s = 58*s - 180. Let v be (-30)/s - 2/8. Which is greater: v or 0.1?
v
Let q(z) = -2*z - 49. Suppose -i + 1 = 0, -2*l + 3*i - 56 = -i. Let v be q(l). Is v at least -3?
True
Suppose 4*g - 30 = g. Let q = -2 - g. Suppose 2*f = -17 - 7. Is f less than q?
False
Let z be 4 - (6 - (-155)/(-15)). Let y(d) = -d + 13. Let n be y(6). Which is bigger: n or z?
z
Let n be -2 - (-6 + 2/(-2)). Suppose 3*q + n = 68. Let i be q/(-14)*1/(3/2). Which is greater: i or -1/11?
-1/11
Let o(h) = 68*h**2 - h. Let x be o(1). Let n = -2 - -2. Let z be 60/45*(n - -51). Which is smaller: z or x?
x
Let y = 1702 + -700. Which is smaller: 0.2 or y?
0.2
Let o(p) = p**3 + 39*p**2 - 32*p + 161. Let t be o(-40). Let c(l) = -160*l**2. Let y be c(-1). Is t bigger than y?
True
Suppose 154 = -4*i - 3*f, -47*i + 45*i - 5*f = 56. Let o be 3*(-4)/(-6) - 48. Which is bigger: o or i?
i
Let o = 0.0679 + 0.9321. Do o and 2596 have different values?
True
Suppose 5*i + 10 = -5, x - 19 = -2*i. Let p = 1383037/7 + -197551. Which is bigger: p or x?
p
Let w = -2168 + 5413. Suppose -275 = -291*o + 302*o. Let v be w/o + (-1)/5. Is -130 greater than or equal to v?
True
Suppose -4*k = d + 21, 5 + 1 = -d - k. Let v be (-6)/138*20 + 1. Which is bigger: v or d?
v
Let c be 57219/39 + (-54)/351. Suppose -c*j + 2128 = -1460*j. Which is smaller: 303 or j?
303
Let x = -34013 - -19935. Which is smaller: x or -14077?
x
Let v be (936/(-14))/((-2)/(-32)) + (-66)/231. Is -1070 equal to v?
True
Let a(x) = -x**3 - 2*x**2 - x + 2. Let u be a(-2). Suppose 0 = r - 3*r + u. Suppose 3*j + 7 = -p, r*p - 5*p - 3 = 0. Is j not equal to -4?
True
Suppose 28*x = 24*x + 220. Suppose -14*q + 3*q - x = 0. Are -5 and q unequal?
False
Let r = -7947.94 + 7954. Is r equal to 3/5?
False
Let n(b) = -b + 10. Let y be n(10). Suppose -2*z = -y*z + 4. Let x = 2255/7 - 323. Is z less than or equal to x?
True
Suppose -8*a + 4180 + 4684 = 0. Suppose -a = -23*w + 226. Is w at most as big as 59?
True
Let s = -289820/186688753 + -2/49559. Does -2/7 = s?
False
Let j be 1952/(-16592) + (5991/(-68))/(-3). Which is smaller: 28 or j?
28
Let h be 2/((-210)/(-80335)) + 16/12. Let u = h + -23864/35. Are 85 and u non-equal?
True
Let u = -7518 + 6273. Do u and -1245 have different values?
False
Let k = 12530/37 - -22598/185. Let w = -458 + k. Which is bigger: 4 or w?
4
Let o be ((-15)/5)/((-135)/(-63) + (-4)/2). Which is s