84). Which is smaller: u or 476?
476
Let g = 4032.2 - 4033. Which is smaller: g or -29?
-29
Let x(f) = -f**2 - 10*f - 9. Let z be x(-4). Let h(m) = 10 - 14 - 23 - 2*m - z. Let r be h(-21). Is r at least as big as -3?
True
Suppose -4*k - 100 = -9*k. Suppose 12*a - 5*w = 15*a - 7, 3*a = -2*w + 1. Do k and a have different values?
True
Let k be ((-3)/(-2) - 1) + (-3632)/200320*28. Is k >= 0?
False
Let y(v) = 2*v**3 + 36*v**2 + v + 17. Let i be y(-18). Let k be (7*203/35)/(0 - i). Is 40 at least k?
False
Let n = 0.06894 + 31.91606. Let v = n + -32. Let c = 0.065 + v. Is c smaller than -0.06?
False
Let k be (-1 - 41/(-7))/(272/238). Is k at most as big as 5?
True
Let b be (3 + (-72)/(-4))/(-1). Let u = b - -3. Let i = u + 18. Which is bigger: i or 15?
15
Suppose 454*x - 24 = 452*x + 4*p, 3*p = 2*x - 20. Are x and -27 unequal?
True
Let j = 904 + -2689/3. Let x = 7 - j. Does 2/5 = x?
False
Let i = -0.0409 + 0.6709. Let c = i - 0.614. Let p = -0.02 + -0.08. Is c less than p?
False
Let w = -3637/98589 - -5/1671. Is -100 < w?
True
Let u = -0.03 + 0.33. Suppose -9 = -w + 3*g + 8, -57 = -3*w + 3*g. Suppose 4*b = -0*s + 5*s - w, -3*b = -s + 4. Which is greater: u or b?
u
Suppose -767 = -r - 5*x, 5*r + 25 = 4*x + 3715. Let z be -4 + 11 + (-4970)/r. Which is greater: z or -1?
z
Let y(x) be the third derivative of x**4/24 - 17*x**3/6 - 66*x**2 - 2*x. Let z be y(17). Which is greater: -2/643 or z?
z
Let v be 7/(-28) - ((-14)/8)/7. Let z be (2/(-8))/(8 + (-1790)/160). Is z less than v?
False
Let g = 28635 - 29295. Are g and -21 nonequal?
True
Suppose -k = -3*k + 22. Suppose 3*g = 4*v - 21, -10*g + 33 = -v - 5*g. Which is greater: v or k?
v
Let c be 64/16 - 52/1. Let j = c + 8. Let k be (-24)/j*(-3)/9. Which is greater: k or -3/5?
k
Suppose 20*d - x + 7 = 15*d, 3*d + 4*x = 5. Which is smaller: -21/640 or d?
d
Let m = -279 - -469. Let y be (171/m - 2/5)*-2. Are y and 2/433 nonequal?
True
Suppose 48645 + 11913 = 6*u. Which is smaller: u or 10094?
u
Let k = -350 - -351. Suppose -3*b + 0*b + 48 = 3*w, 4*b - 48 = 4*w. Let f be (-39)/(-35) - (-4)/b. Is k at least f?
False
Let z(s) be the second derivative of -s**5/20 + 3*s**4/4 + 5*s**3/6 - 21*s**2/2 + 27*s. Let a be z(9). Which is smaller: 20 or a?
20
Let g(y) = y**2 - 5*y + 4. Let u(f) = -26*f - 48. Let a be u(-2). Let x be g(a). Are x and 8/43 unequal?
True
Let u(x) = 2*x**3 + 18*x**2 - 13*x - 116. Let d be u(-9). Which is bigger: d or 62?
62
Suppose -15428 = -15*z - 29828. Which is smaller: -959 or z?
z
Suppose -13 = -4*q + 3. Let n be -4 + 3/(-3) + q. Let o be ((-6)/231)/(n/7). Which is bigger: 1 or o?
1
Let h = -7969 + 7965. Which is smaller: -15/59 or h?
h
Let a = 10 - 8. Suppose -5*n + 2*h = -45, 5*n - 6 = -5*h + 4. Suppose y - 4*j = -n*j - a, -47 = -5*y + 4*j. Which is bigger: y or 6?
y
Suppose 77*i - 85*i = 1760. Let f = 241 + i. Is 89/4 > f?
True
Let c = -85/23 + 70743/19136. Let l be 1/(-3) - (-13294)/14976. Let s = l + c. Does 2 = s?
False
Let h = -340.4 + 318. Let l = -22.7 - h. Which is greater: l or 7.8?
7.8
Let w = 494 - 5432/11. Let n = 33939 + -475591/14. Let b = n - -61/2. Is b bigger than w?
False
Let l = 261822/7 - 37327. Which is bigger: 76 or l?
l
Let d = 6501/248 + -21/62. Let p = d + -51/2. Suppose -2*w = 20*f - 15*f + 50, 4*w - 3*f = 30. Which is bigger: w or p?
p
Let j(f) = f**3 - 14*f**2 - 23*f - 7. Let z be j(11). Are -624 and z nonequal?
True
Let w = -1.8 - -4.8. Suppose -6*f + 3*f + 39 = -3*k, -f - k + 27 = 0. Which is bigger: f or w?
f
Let l = -25.322 + 25.6. Let o = 0.478 - l. Which is bigger: o or 12?
12
Let z = -6453 - -7240. Is z less than 786?
False
Let s(r) be the second derivative of 3*r**3/2 - 17*r**2 - 12*r. Let u be s(5). Let b be -6 + u + 2/10. Is b at most 4?
False
Let d be ((-18)/12)/(69/4). Let o(a) = -a**2 + 3*a - 1. Let c = -17 - -19. Let f be o(c). Is d at most f?
True
Let b = 21858 + -46644973/2134. Is -0.3 < b?
True
Let k = -15263 + 15260. Do -324/145 and k have different values?
True
Let l = 487 - 4421/9. Let q = -222013/45 - -4930. Let m = q - l. Which is bigger: m or -0.5?
m
Let o be 15/(-25) - (6 - 187860/28475). Which is greater: -1 or o?
o
Let r = 159 - 159.244. Let c = -0.344 - r. Which is smaller: c or 5?
c
Let v(b) = -b**2 + 7*b + 6. Suppose 21 = 4*n - 7. Let a be v(n). Suppose 5*q + 3*s + 2 = 0, a*q = q - 5*s. Which is bigger: -7/8 or q?
-7/8
Let u be ((-960)/(-384))/(2/(-4) + 0). Which is smaller: u or 19?
u
Let d = 13.54 + -14.14. Which is smaller: -0.048 or d?
d
Let p = -1.8 + 0.8. Let h = -96147015/41 - -7264676283805/3097878. Let f = -1/1542 - h. Is f less than p?
False
Suppose -4*z - h + 1770 = 0, -z - 2*h = -215 - 231. Which is greater: z or 441?
z
Suppose 7*k - 6*k - 9 = 0. Suppose -3 = -6*y + k. Let x be 3*(y/(-12))/(12/264). Which is smaller: x or -10?
x
Let a be ((-24)/18)/(5/(-1065) + 0). Let k be -70*8/a - (-2 + 0). Suppose 3*z - 3*o + 6 = 0, o = -4*z - 0*o + 2. Is k greater than or equal to z?
True
Let m = 21283/7 + -3040. Which is smaller: 452 or m?
m
Suppose -12*x + 7 = -11*x. Suppose -4*t + 4*l = -24, t - 3*l + l = x. Suppose t*q + 65 = 4*b, -b = -q - 12 - 1. Which is smaller: q or -11?
q
Suppose -12 = 5*f + 3. Let q(v) = v**3 + 7*v**2 - 10*v - 15. Let x be q(-8). Let n be -4 - (-20*x)/5. Which is smaller: f or n?
f
Suppose 2*h + 16 = 0, -5*g - 46*h = -50*h + 2263. Which is smaller: g or -2753/6?
g
Let i = 22 - 39. Suppose -8*h + 246 = -4*j - 7*h, 0 = -3*j + 5*h - 193. Let v = j + 42. Which is smaller: i or v?
v
Suppose 3*l - o = -539, -133*o = l - 136*o + 169. Is l > -186?
True
Suppose 4*h + 25 = 5*m, 6*m = m - 3*h + 25. Suppose -10 = -5*a + 5*i - 60, -m*a - 2*i - 85 = 0. Is a smaller than -83/6?
True
Let s = 24.955 + -24.903. Is 148/5 at most as big as s?
False
Let t = 4.909 + -1.909. Do -25 and t have different values?
True
Suppose -a - a = 0. Let d be (-2)/9 - 32450/(-225). Let z = -1013/7 + d. Which is smaller: a or z?
z
Let a be (-15793)/(-35) + 8/40 - (28 - 24). Which is smaller: 446 or a?
446
Let v = -294974/9 + 289390/9. Is -1/2 greater than or equal to v?
True
Let g = 2386088/23 - 103743. Suppose 0*y - 5 = -5*w + 2*y, -2 = -2*w + 3*y. Is g at least as big as w?
False
Let u = -17 - -27.4. Let h = 11.4 - u. Is -0.16 equal to h?
False
Suppose -k = -4*k + 4*w - 2, 0 = -4*w - 4. Let m be 115/92 + (-4957)/1864. Let s = 8/233 + m. Which is smaller: s or k?
k
Let q = -2/2947 - -112172/274071. Let r = 8/31 + q. Which is smaller: r or 3/5?
3/5
Suppose -5*a = -19*b + 17*b - 2634, a - 3*b = 519. Are 530 and a equal?
False
Let p(q) be the third derivative of q**4/24 - 3*q**3/2 - 23*q**2. Let d be p(11). Suppose 3*n = -d*n - 5. Which is greater: n or -1/3?
-1/3
Let h be (6/(-20))/(68/(-340))*30. Is h bigger than 131/3?
True
Let k = 1462/3 + -490. Let c(w) = 5*w + 36. Let j be c(-8). Is j less than k?
True
Let s = 280 + -94. Suppose -x - 3*k = 123 + 60, x + s = -2*k. Is -191 <= x?
False
Let h = -17 + 7. Let r(l) = 2 - 21 - 3 - 2*l - 8 - 2*l. Let k be r(h). Which is bigger: 19/2 or k?
k
Suppose 4*k - 451 = -315. Suppose 5 = 3*r - 16. Let j be r/(7/k) + 5. Is j less than 39?
False
Let x(m) = m**3 - 2*m**2 - 7*m - 5. Let a be x(-4). Let k(y) = 2*y - 17. Let b be k(43). Let d = a + b. Is d bigger than -32/7?
True
Let c = 15815 + -15817. Which is greater: -149/113 or c?
-149/113
Suppose -l + 4*n - 3 = 0, -4*n + 1 = -2*l - 1. Let h = -28/1377 - -2/567. Is l less than or equal to h?
False
Let j be (1995/20 - 5)/((-3)/(-12)). Let b = j - 385. Is -7 < b?
True
Suppose -5*c + 6916 = 9*c. Let q be c/(-182) + 4/(-14). Which is greater: q or 0.2?
0.2
Let k = 4.51 + 6.49. Let l be 1*(1/(-5) - 0). Which is bigger: l or k?
k
Let a = -71.3 - -116.2. Let h = -45.7 + a. Which is smaller: -5 or h?
-5
Let t be (-1)/3 - (1280/(-6))/4. Suppose -4*v - 2*w = 204, -3*v - 112 = -v - 4*w. Let j = t + v. Is -1/3 greater than or equal to j?
False
Let i = -643/348 - -96191/46284. Which is greater: 1 or i?
1
Suppose 352 + 1472 = 19*m. Which is bigger: 97 or m?
97
Let t be (4*(-4)/(-20))/(2/183). Suppose 85 = -3*b - 140. Let r = b + t. Is -1 < r?
False
Let w be (-76)/570 - (2316/(-9) + -1). Let x = 4221/1876010 + 193264490819/748527990. Let g = x - w. Which is greater: g or -1?
g
Let c be (364/49)/13 + 1389/7. Which is smaller: c or -2?
-2
Let j = -63948165/656 - -97482. Is