 14699. Which is greater: 9381 or j?
9381
Let l = -40 + 43. Suppose 0 = 4*y - 9 - l. Suppose -5*w = -4*r - 24, 0 = y*w + 2*r - 1 - 9. Is 4 less than w?
False
Let r(f) = f**2 - 8*f - 14. Let o be r(10). Let h be (-324)/24*(-1)/o. Let z(s) = s**3 + 2*s**2 + 2. Let l be z(-2). Which is bigger: l or h?
h
Suppose 29*m - 8617 - 1852 = 0. Suppose -22*v + 233 + m = 0. Let u be 2/(-5) - (-284)/10. Is v > u?
False
Suppose -202*o = -203926 - 38474. Is 1199 >= o?
False
Let u = 248.9999 + 0.0001. Let f = u - 246. Which is bigger: f or 18?
18
Let w(f) = -f - 13. Suppose -6*g + g - 4*u = 70, -65 = 5*g + 3*u. Let r be w(g). Let z be (r - -2)*2/48. Are -1 and z nonequal?
True
Let j = 9995.89 + -9996. Let q = 0 + 0.2. Let t = 1.2 - q. Is j > t?
False
Let n be (76/(-20) + 3)/(4/(-220)). Let w be (-8)/n - 10/(-55). Which is smaller: 2/1437 or w?
w
Let a = 0.298 + 68.202. Let o = 70 - a. Which is greater: o or -0.4?
o
Suppose -2*a = 2*a + 20. Suppose 6489*t - 6920*t = 3448. Which is smaller: a or t?
t
Let t(o) be the first derivative of 2*o**3/3 - 2*o**2 - 5*o - 32. Let d be t(-2). Suppose d + 13 = 8*m. Is 6 less than or equal to m?
False
Let i = 3/287 - -1121/2583. Let g = 43/36 - i. Is g at least as big as -13?
True
Let q be ((-9)/(-8) + -1)/((-4)/(-122472)). Let s = q - 3848. Which is greater: s or -21?
s
Let j(l) = -l + 8*l + 32 - 39 + l**2. Let r be j(-6). Suppose u - 5*g + 8 = 16, -3*g = 12. Is u < r?
False
Let p be 1*-2*5781/82. Let w = 142 + p. Is w greater than or equal to -1/56?
True
Let c = -1652 - -1645. Which is smaller: -142/21 or c?
c
Let a(c) = -c**2 - 32*c - 140. Let o be a(-28). Which is smaller: o or -146/5?
-146/5
Let s be (-108)/105*(-56)/12. Suppose 0 = -3*b + b + 8. Is s bigger than b?
True
Suppose -2*g - 20 = 3*g. Let l be -130 - (5 - (-1 - g)). Let c = 658/5 + l. Which is smaller: c or -1?
-1
Let i be 14*32/1008*6/(-16). Is i bigger than 635?
False
Suppose 0 = 7*b - 13*b + 828. Suppose b = 4*k - 2*z - 0*z, k = 3*z + 42. Suppose 11 = -2*y + k. Which is smaller: 12 or y?
y
Suppose -4*z - 1159 = 833. Let t = 504 + z. Is t less than or equal to 52/7?
True
Suppose 0 = -4*d - 3*g + 9, -4*g + 12 = -0*d + 2*d. Let u = -38 - d. Let n = u - -30. Which is smaller: n or -9?
-9
Let i(o) = o + 16. Let x be i(-11). Suppose -3*j + 1 = r, 0*r = -4*r - x*j - 17. Which is bigger: r or -7?
-7
Let d = -2/75059 + -136272/519633457. Which is smaller: 0 or d?
d
Let c be (-1)/(-3)*(-35)/(10710/432). Let a = c - -1129/51. Suppose -4*b - 91 + 15 = -4*n, -4*n - 3*b = -104. Is a greater than n?
False
Let m be (-8)/236 - 269157/(-8673). Suppose 2*v = -1508 - 78. Let h = v - -1645/2. Is m > h?
True
Suppose -12*b - 30 = 114. Let v = -100 - b. Is v smaller than -87?
True
Let z be 10/6*17/5. Let i = -16891/6 - -2809. Let y = i + z. Which is smaller: y or 1/5?
y
Let u = -948 - -1358. Is 0 < u?
True
Let l = 2702.84 - 2703. Are l and 53 non-equal?
True
Suppose 3*j = 4*m + 2*j - 5630, -2818 = -2*m - j. Suppose 20*d + 732 + m = 0. Is -107 bigger than d?
False
Let g(x) = -x**2 + 15*x - 14. Let a be g(14). Let r be (12 + -4)*(-4 + a). Let z = r + 21. Which is smaller: -13 or z?
-13
Let g be 4/(-54) + 855690/4455. Which is greater: 171 or g?
g
Let m = 641 - 441. Let i = 200.5 - m. Which is bigger: -0.11 or i?
i
Let d = 826 - 808. Suppose -3*u + 24 = -0*u - 3*w, -4*u - 3*w = -11. Suppose -39 - 35 = -5*j - 4*l, 2*j - u*l - 56 = 0. Is j greater than or equal to d?
True
Let i(l) = 2*l**2 - 31*l - 22. Let n(w) = -w**3 + 12*w**2 + 16. Let f be n(12). Let z be i(f). Let b be ((-6)/10 - 0) + z/15. Is b at most -1/5?
True
Let b = -0.45 - 2.25. Let l = 90.28 - 93. Let r = b - l. Are 0 and r nonequal?
True
Suppose 269*h + 718 = 370*h + 3849. Is h < 12?
True
Let w = -2.8359 - -1.8359. Which is smaller: 5603 or w?
w
Let b be (-675)/8505 - (-3)/(-21). Which is bigger: 18 or b?
18
Let f be 138/27 + -5 - (4 - (-14104)/(-72)). Which is smaller: f or 3/31?
3/31
Let g = 90 + -91. Let d be (19/(-38))/(g/(-2)). Are -4/11 and d equal?
False
Let g = 4316.2 - 4502.23. Let u = g + 186. Let j be (-2)/(-1) + 30/(-12). Which is smaller: j or u?
j
Suppose 576212 = -129*f - 53*f. Which is smaller: -3167 or f?
-3167
Let c(y) = -y**2 - 7*y + 6. Let a be c(1). Let t be a/75*360/(-320). Is -1 at least t?
False
Let p be ((-15)/6 - -3)/((-18)/(-6076)). Let a = 169 - p. Suppose -s = -1, -w = 2*w - 4*s + 4. Which is smaller: w or a?
w
Let l(i) be the second derivative of -5*i**3/6 + 75*i**2/2 - 84*i. Let z be l(13). Is z greater than 11?
False
Let i(k) = k**3 - 8*k**2 + 8*k - 27. Let l be i(8). Let j be (-2)/l*(-9)/(-27). Which is smaller: j or 1?
j
Let s be (-6)/2 + 27 + 3. Let y = 8.44 + 250.66. Let x = y - 259. Which is bigger: x or s?
s
Let d be 8149/(-32548) - (45/(-20) - (1 + -3)). Is -0.1 > d?
False
Let x = 60 + -110. Let d be -1*(-20)/x - (-2)/(-10). Let i = -1 + 2. Which is smaller: i or d?
d
Let h = 109.2652 - 0.1652. Let y = h + -109. Which is bigger: y or 299?
299
Suppose -114*u = -112*u - 2. Which is smaller: u or 93/64?
u
Let x = 10.2 - 10.4. Let o = 6 + -5.955. Which is bigger: x or o?
o
Let n = -404 - -404.2. Let o = -0.01 - -6.01. Let y = o - 2. Which is smaller: n or y?
n
Let o = 561/94 + -1636249/274198. Let r = 2345/834262 + o. Is -1 greater than or equal to r?
False
Let t be (6 + -14)/(2230/25 + 4). Is t > 1?
False
Suppose -s + 4*s - 2*d = 6, 10 = 5*s - d. Let f be s/4*-6 - -167. Which is bigger: 163 or f?
f
Let t(x) = -9 + 5*x + x + 2 - 4*x. Let y be t(6). Suppose -20*a - 5 = -21*a. Is y greater than a?
False
Let c be (-25)/(-10) + 162/12. Is c equal to 578/39?
False
Let t be 6/(-100)*(-56)/(-42). Let j = -66 - -40. Let b = -26 - j. Which is smaller: t or b?
t
Let u = 5 + -3. Let k(t) = -2*t**2 + 52*t - 65. Let i be k(25). Let z be (-6 + (-264)/(-30))/((-18)/i). Which is smaller: z or u?
u
Let c = 276 + -171. Let f be -4 + (0 - 0) + c/18. Is f >= 2?
False
Let x = -682 + 1320. Let t be x/18 - (-76)/(-171). Are t and 36 non-equal?
True
Suppose -q + 5*m - 2 = -17, -12 = q + 4*m. Suppose -4*p = -4 - q. Suppose 4 = 2*v + 5*b + 3, -v + 2*b = 13. Which is smaller: p or v?
v
Suppose -7*v + 4*v + m = 9, 4*m = v - 8. Let g be (-1)/(-98)*(v + 5)*-3. Is g < -1?
False
Let x = 46309 - 46281. Let c(m) = -19*m - 23. Let z(i) = 6*i + 8. Let u(a) = 4*c(a) + 11*z(a). Let n be u(-3). Which is smaller: n or x?
n
Let a = 4369/10910 - 1/2182. Which is bigger: a or 468?
468
Let s be (4400/(-175) - -26)/((-461)/(-21)). Which is smaller: s or 1?
s
Let c(b) = 2*b**2 - 43*b + 64. Let n be c(20). Let w(u) = u**3 - 6*u**2 + 9*u - 5. Let q be w(n). Which is bigger: -3/35 or q?
-3/35
Suppose 0 = 2*a + j - 0*j + 43, -3*j = 5*a + 107. Let d = 60 - 61. Is d greater than or equal to a?
True
Suppose -19 = -2*r - 17, 0 = -3*j - 5*r - 2731. Which is smaller: j or 0?
j
Let m(s) = -3*s**2 - 9*s - 11. Let v(c) = -2*c**2 - 5*c - 5. Let j(z) = -2*m(z) + 5*v(z). Let w be j(-4). Which is greater: w or -41?
w
Let y be 46128/(-36) - ((-95)/60 + 6/24). Which is smaller: -1284 or y?
-1284
Suppose 1 - 1 = -k. Suppose 61 = 4*p + 5*n - k, -5*p + 2*n + 35 = 0. Suppose p*z = 4*z. Which is smaller: z or 3/13?
z
Suppose 15*m + 19795 = -170*m. Which is smaller: -117 or m?
-117
Suppose 3*x - 2*l + 201 = 0, -4*x + 192 = -7*x + 5*l. Let r be ((-1)/2)/(x/1242). Is 14 bigger than r?
True
Let h = -14126 - -13368. Which is smaller: -754 or h?
h
Let s = 0.197 - -0.103. Let l = 0.5 - s. Are 5/6 and l equal?
False
Let v = 769 - 768. Let s = -0.3 - 1.1. Which is bigger: v or s?
v
Let w = 2492/61 - 9033378/221125. Let v = -7536/518375 + w. Which is smaller: v or 1?
v
Let s = 96 - 56. Let h = -0.066 - -39.666. Let v = s - h. Do -4/5 and v have different values?
True
Let j = 4564 + -4325. Is j < 0.03?
False
Let x(s) = 16*s + 17. Let u be x(2). Suppose 5*y + f - u = 0, -6*f = y - 2*f - 25. Is y bigger than 10?
False
Let c = 60 - 48. Let t be c/(-126)*-3 - (-23)/(-7). Let k be t/(-1)*(-3 + 1). Which is bigger: -8 or k?
k
Let q = -10 - -6. Let z be 41/q - (28/16 - 2). Let g be z/8 + (-3)/(-12). Are g and -4/23 equal?
False
Let w be 0 + 1/(-3) + 16/(-816). Suppose 11 = -2*b + 5*b + i, -4*b = 3*i - 23. Suppose -y + 1 = b. Is y equal to w?
False
Let d = 0 - 1. Suppose p = -z - 12, 19*z - 48 = 15*z + 4*p. Is d less than or equal to z?
True
Suppose -133 = -3*c - 49. Let