 -w - 17 = 2*w - 5*l, -18 = -m*w - 4*l. Let c = 344/15 - 64/3. Is w greater than c?
False
Let g be -2*1/6 - 211305/45. Let b be (-8)/12*(-12)/g. Let o = 29932/2935 - b. Which is smaller: 10 or o?
10
Let x = -25 - -33. Suppose 10 = -6*z - x. Let c be (72 - 3) + z + 2. Which is smaller: 69 or c?
c
Let a = -73.6 + 73.41. Which is bigger: a or 5.6?
5.6
Let n = -6444 - -6443.8. Which is greater: n or 859?
859
Let n be -5 - (134805/19260 + (-7 - -1))*-5. Which is smaller: 1 or n?
n
Let w = 23 - 35. Let n be -4 + (w - -6) + 11. Which is smaller: -5/71 or n?
-5/71
Let r be (-63 - (-33 - -24)) + 26. Suppose -5*f - 17 = 8. Is f < r?
False
Suppose 3*u = 3, 5*d + 64 + 59 = -2*u. Let h be 1/(-5) - 355/d. Suppose 4*m - 4*n + 24 = -40, -h = m - 2*n. Is m greater than or equal to -18?
True
Let u(z) = 12*z + 247. Let x be u(-13). Which is greater: 100 or x?
100
Let c = 102 - 93. Suppose c*h - 3*h = 864. Suppose -5*i + 11 = -2*x - 35, 4*x = -3*i - h. Is -34 at most as big as x?
True
Let m = 185 - 183.128. Let g = -0.028 - m. Let q = 1.7 + g. Which is smaller: -24 or q?
-24
Let o be 2153/11037 + 15*2/(-195). Does o = 0?
False
Suppose -809*a + 275383 = -744*a - 632017. Are 13961 and a nonequal?
True
Let k be 36/126 + 729/21. Suppose 324 = k*w - 17*w. Let n = -12 - -30. Is n greater than or equal to w?
True
Suppose -149 = -f + 29*w + 3*w, 4*w + 37 = f. Is f bigger than 17?
True
Let k = 58.02 + -0.02. Let q = 57.905 - k. Let o = 0.205 - q. Which is smaller: -12/7 or o?
-12/7
Let u(b) = b**2 + 1. Let z(w) = -w**3 + 20*w**2 - w + 32. Let q(g) = -6*u(g) + z(g). Let y be q(14). Are y and 1 unequal?
True
Let g = 102 + -101.745. Let f = -238 - -238. Does g = f?
False
Let i = 113.66 - 48.66. Which is bigger: -3.5 or i?
i
Let m = 24.58 - -582.42. Is -6/5 < m?
True
Let p = 1.8 + 0.2. Let u = 2.4 - p. Let o = -250 - -250.08. Is u != o?
True
Let h(y) = -y - 9. Let x be h(-9). Suppose -8*c + 266 + 142 = x. Which is greater: 155/3 or c?
155/3
Let w(j) = -j**3 + 11*j**2 - 39*j + 289. Let c be w(10). Which is greater: -39/76 or c?
-39/76
Let a(p) be the second derivative of p**4 + p**3/6 - 2*p**2 - 2*p + 6. Let s be a(2). Is s less than 46?
False
Let a(m) = 2*m + 4. Let u be a(-3). Suppose 0 = -1754*y + 1802*y - 192. Let k be -1*(y + u)/(-318). Is k smaller than -1?
False
Suppose 102 = j + 5*j. Suppose -88 - j = -7*q. Suppose -16*d = -q*d. Is -1/20 greater than d?
False
Let r(q) = -6*q. Let k be r(1). Suppose -10 = 4*b - 2*j, -b - 5*j = -9*j - 1. Let y be 9/(-150)*((-34)/k + b). Which is greater: y or 0?
0
Let l(t) = 60*t + 1695. Let v be l(-33). Which is smaller: -2279/8 or v?
v
Let u(b) = -b**3 + 9*b**2 + 12*b - 17. Let n be u(10). Let q(y) = -72*y**2 - 2*y - 6. Let j be q(n). Let w be j/(-80) + (-1)/4*1. Which is smaller: 2 or w?
2
Let d be 48/(-220) + 50/125. Which is smaller: d or 0.313?
d
Let y be (3/(-2))/(-3)*(-26 - -4). Let q = 14 + y. Suppose -9*a + 1 = -8*a. Which is greater: a or q?
q
Suppose 3*m - 137 = 48*j - 50*j, 5*j - 35 = 0. Which is smaller: m or -85?
-85
Let g(b) be the first derivative of 2*b**2 - 8*b + 143. Let p be g(-11). Suppose 5*m - 51 = 6*m. Which is smaller: m or p?
p
Suppose 3986*n - 3991*n - 20065 = 0. Which is smaller: -4012 or n?
n
Let p be (-2)/(-5) + (-6)/(-10). Suppose -3*o + 4*l + 14 = -2, 3*o = -4*l + 8. Let s be o/26*(1/(-1) + 2). Which is bigger: p or s?
p
Let y be (-1115)/580*-2 - (-3)/6. Are 5 and y unequal?
True
Let g be 58 + -26 + -27 - 34544/6910. Which is greater: g or 1?
1
Let d be -3 - 4/(-1 - 0). Suppose 22*u - 65 = d. Does 0 = u?
False
Let g = 100 + -79. Suppose -16*c = -g*c + 15. Let f(d) = 4*d - 7. Let y be f(3). Is c greater than or equal to y?
False
Let h(v) = -3*v**2 + 54*v + 5. Let c be h(18). Suppose 5*m + 320 = -c*m. Let j = 0.1 - 0. Which is greater: m or j?
j
Suppose -2*c - 3*c - 14 = -m, 4*m + 5*c + 19 = 0. Suppose 5*r = 14 + 1, l - 107 = -5*r. Let o = l + -278/3. Which is smaller: o or m?
m
Let i = 109 + -76. Let g = i + -30. Suppose 0 = g*u + 2*u - 25. Which is smaller: 9 or u?
u
Let q be 304/57 - 4/(-6). Suppose -y + 4*t = 9, -5*y - 3*t = -q*t + 11. Which is bigger: y or 2/401?
2/401
Let s = -225 + 288.05. Let w = -64 + s. Which is smaller: w or 0?
w
Let k = -321 - -306. Let v be k/10*12/102. Are -1 and v equal?
False
Suppose 3*k - 40 = -4*y + 5*k, -3*y + 29 = -k. Suppose -19*v - 10 = -y*v. Is v less than 1?
True
Suppose 5*h - 8*h - j - 34 = 0, 4 = 2*j. Is 31 equal to h?
False
Let j(l) = -5*l**2 - 11*l - 289. Let p(i) = 7*i**2 + 12*i + 289. Let a(z) = -4*j(z) - 3*p(z). Let g be a(18). Is 109 equal to g?
True
Let h = 9595 - 9533. Is 485/8 bigger than h?
False
Let l be (-8)/(32/20 - (-8)/20). Let g = -5 - l. Which is greater: 6/13 or g?
6/13
Let g = -1309 - -715. Let n = -600 - g. Is -41 <= n?
True
Suppose -3*n + 10947 = -3*c, -3*c - 3*n = 4246 + 6743. Is c > -3654?
False
Let h(x) = -38*x + 64. Let a be h(-6). Let o = a - 292. Is 2/571 > o?
True
Let d(t) = -t**2 - 2*t. Let r be d(0). Let f be ((-24)/32)/((-1)/(-8)) + 312/50. Which is smaller: r or f?
r
Let n = 2/265 + 24856/7155. Which is bigger: 3 or n?
n
Let y(b) = b**2 + 23*b + 57. Let q be y(-17). Let g = 56 + q. Which is bigger: 13 or g?
13
Let w be 1/((5700/12040)/15). Is w >= -2?
True
Let b be ((-774)/(-559))/(24/(-156)). Let z = -0.3 + -5.7. Which is smaller: b or z?
b
Let b = 3351 + -3196. Let d = 182 - 27. Is b bigger than d?
False
Let h(q) = -25*q**3 - q**2 + 8*q + 59. Let l be h(6). Which is bigger: l or -5330?
l
Let s = -0.39121 + -0.02879. Which is bigger: 57 or s?
57
Suppose 2532 = -3*l + 3558. Which is smaller: l or 340?
340
Let f be (0 + 2/5)*5. Let p = -6265/27 - -25117/108. Which is greater: f or p?
f
Suppose -2*y = -28*p + 33*p + 46, -4*p + 2*y = 26. Let v(s) = s**2 + 8*s - 4. Let l be v(p). Let c be 272/(-84)*3/2. Which is smaller: c or l?
c
Let x be -80 - (32/6 - 116/87). Is -139 equal to x?
False
Let z = 21 - 20. Let f = -46.4 - -39.1. Which is greater: z or f?
z
Let l be 6/4 + (455/(-10) - -4). Let u be 5/(-5) - (l/(-18) - 1). Is u equal to 1/8?
False
Let n(s) = s**3 + 3*s**2 - 2*s. Let r be n(0). Suppose 4*o - 8 = -i, -i + 0*i = r. Let t be -6 - 1*o*(2 + -1). Which is smaller: 1 or t?
t
Let f = -28603/1462 - -332/17. Let x = 29 + -28. Which is smaller: x or f?
f
Suppose -2 + 7 = -5*v. Let c(s) = 3*s**3 - s**2 + s + 1. Let x be c(v). Let m be x - (-3)/(-48)*4. Is -4 < m?
False
Suppose -4*d = -d + 6. Let b(o) = 3*o**3 + 3*o**2 + 2*o - 1. Let r be b(d). Let k = -57 - r. Is 1/3 bigger than k?
True
Let a be ((-6)/16)/((-2)/16). Let q(g) = 13*g**3 - 4*g**2 + 4*g + 3. Let f be q(a). Let r be (22/f)/((-5)/(-6)). Which is bigger: r or -0.5?
r
Suppose -q + 20*q - 57 = 0. Suppose 3*v - 5*w = -6*w - 4, 12 = v - q*w. Let z be ((-2)/62)/((-2)/(-4)). Which is smaller: z or v?
z
Let u(t) = 2*t**2 - 7*t + 7. Let c be u(5). Let j be (-1 + -1)*c/(-4). Let q be (21 + 627/(-19))*-1. Is q at least j?
True
Let s = -18 - -23. Suppose 4*w + 4*p + 203 = 5*p, s*w + p = -265. Which is smaller: -53 or w?
-53
Let i(p) = 3*p + 15. Let k be i(-6). Let c(h) = h**3 + 17*h**2 - h - 18. Let j be c(-17). Let n be ((-3)/(-5))/(j/15). Is n at most k?
True
Let p(q) = -q**3 + 35*q**2 + 13. Let s(f) = 3*f**3 - 105*f**2 - 39. Let k(r) = 11*p(r) + 4*s(r). Let n be k(35). Is n != -22?
True
Let u(w) be the third derivative of w**6/120 - w**5/60 + w**4/8 + w**3/2 + 28*w**2. Let y be u(0). Which is smaller: -10 or y?
-10
Let t be 4 + -2 - 23/8. Let n = -227 - -227. Let x be (-2)/(-6)*6/18*n. Is t at least as big as x?
False
Let u = 573 + -453. Which is smaller: 111 or u?
111
Let p(m) = -5*m**3 - 16*m**2 + 9*m + 4. Let g be p(-4). Let t be g/(-24) - (2 + (-10)/3). Is 2/71 > t?
True
Let v(t) = -t**2 - 107*t - 2457. Let k be v(-33). Are k and -594/43 nonequal?
True
Suppose -12019*l = -12021*l - 4. Suppose -4*u = -0*u - 8. Is l at least as big as u?
False
Suppose 4*s - 3*d - 70 = -43, 3*s - 5*d = 12. Let l(c) be the second derivative of -c**5/20 + 3*c**4/4 - 3*c**2/2 - 2*c. Let a be l(s). Does -4 = a?
False
Let w = 733 - 15371/21. Let p = -50/39 - 2/39. Let z = p + w. Is -17 at least as big as z?
False
Let o(w) = 8*w**2 + 19 + w - 3*w - 4 - 9*w**2. Let h be o(4). Is -31/4 equal to h?
False
Let v be (-2 - -2 - (-10)/(-6))*-3. Suppose 3*f + 23 = -v*x + 4*x, 2*x = f + 10. Suppose 0*w - w = 5. 