/60 - x**4/24 + x**3/3 - 11*x**2. Is t(-2) a multiple of 20?
True
Suppose -7*g + 6461 = -0*g. Is g a multiple of 13?
True
Suppose -4*t + 6 + 7 = b, -4*t = -b - 11. Suppose 3*g = -20 - b. Let d(i) = -9*i. Does 21 divide d(g)?
True
Is (0 - 4) + 1/(2/248) a multiple of 10?
True
Let o(c) = 31*c**2 - 18*c + 41. Is o(5) a multiple of 11?
True
Let y(c) = 7*c**3 + 8*c**2 - 11*c + 6. Is 18 a factor of y(3)?
True
Suppose 4 = s - 5. Does 13 divide (3 - 30/s)*-69?
False
Suppose 2*p - u = -4*u - 31, -66 = 5*p - 4*u. Let r = p - -8. Let c = 12 + r. Is c even?
True
Let b(g) = -g**3 - 4*g**2 + 7*g + 12. Let t be b(-5). Suppose -2*o = t*o - 224. Is o a multiple of 14?
True
Let x(i) = 15*i**3 + 2*i**2 - 14*i + 9. Let p be x(4). Suppose 5*g = -b + p, 0 = -0*g + 2*g + 3*b - 365. Does 10 divide g?
True
Let y(m) = m**3 + 13 + 4*m + 11*m**2 - 3*m**2 - 12*m. Let q be y(-9). Suppose 2 = -t, 3*t = -p + 2 + q. Is 6 a factor of p?
True
Let y(z) = -3*z**2 - 24*z + 10. Let k(h) = -13*h**2 - 97*h + 40. Let s(p) = -2*k(p) + 9*y(p). Let c be s(-18). Suppose 12 = -5*b + c. Is 7 a factor of b?
True
Let h(c) = 37*c + 5. Let b = -97 - -102. Does 6 divide h(b)?
False
Suppose 0 - 3 = -x. Suppose -x*r + 22 = 3*h - 5*h, 3*r = h + 20. Let b = 20 - r. Is b a multiple of 14?
True
Does 22 divide (22/(-5))/(3*4/(-240))?
True
Let k(g) = 3*g**2 - 5*g - 4. Let z be k(3). Is 30 a factor of (3 - 11)*(-90)/z?
True
Let m(v) = -4*v**2 - 18*v - 50. Let j(l) = -l**2 - 6*l - 17. Let y(u) = 11*j(u) - 4*m(u). Is y(-6) a multiple of 27?
False
Let r = -1492 - -3457. Is 15 a factor of r?
True
Let m = 12 + -20. Let f(g) = g**2 + 5*g - 1. Is f(m) a multiple of 7?
False
Suppose 2028 = -2180*c + 2182*c. Is 13 a factor of c?
True
Let t be (100 - -2) + 1/(-3)*-3. Let x = t + -3. Is 20 a factor of x?
True
Suppose -2*s + 1785 = -q, 5*s = -2*q - 3*q + 4455. Does 60 divide s?
False
Let l(y) = 12 - 5*y**2 - y**3 + 0*y**3 + 8*y - 10*y. Is l(-5) a multiple of 5?
False
Suppose 0*l = 5*l. Suppose h + l*h - 3 = 0. Is 2 a factor of h?
False
Suppose 53*o = 56*o - 2199. Is 45 a factor of o?
False
Let z = 190 - -673. Is z a multiple of 40?
False
Suppose 5*h + 2*c + 13 = -2, 0 = 3*c. Is 228*6/(-27)*h a multiple of 38?
True
Suppose -3*m = -2*m. Suppose -7*j = -9*j + 2*n + 14, 4*n = -2*j - 10. Suppose -5*b = 0, m*v + b = j*v - 150. Does 29 divide v?
False
Let p = 29 - 57. Is 15 a factor of (-2 - 3 - -1)*315/p?
True
Let c(h) = -2*h. Let y be 1*2/2*52. Let g be y/(-14) - (-14)/(-49). Is c(g) a multiple of 3?
False
Let a(o) = -o**3 + o**2 - 2*o. Let g be a(-4). Let q be (-4)/(-22) + 18992/g. Suppose -4*p + p = -3*u - q, p + 5*u - 72 = 0. Is p a multiple of 18?
True
Let z = 0 + 1. Let x(g) = -5 + 4 - 6*g - z. Is x(-4) a multiple of 10?
False
Let z be 4/(-18) + (-152)/(-36). Suppose g - 49 = -5*r + 2*g, -5*r = z*g - 29. Suppose 30 = 4*n - 2*b, 3*n + 5*b - r = n. Is n a multiple of 6?
False
Suppose -5*h = -3*h - 6. Suppose 0 = -h*t + 74 - 5. Let j = 15 + t. Is 11 a factor of j?
False
Let a(j) = j - 6. Let l be a(1). Is l/(6 - -4) + 338/4 a multiple of 28?
True
Let i be 54/30 + 1/5 - -2. Is 49 a factor of (-28)/(-6)*84/i?
True
Suppose -5*p - 4*a = -9*a - 5735, -5775 = -5*p - 3*a. Does 36 divide p?
True
Let r(d) = 6*d**2 + 3*d - 3. Suppose -3*k - 2*k - 20 = 0. Is 23 a factor of r(k)?
False
Let k = 28 + 1. Suppose -k*z + 30*z - 84 = 0. Does 28 divide z?
True
Let d(l) = l**2 - 8*l + 9. Let g(n) = n - 1. Let z(c) = d(c) + 4*g(c). Let o be 5 + 2*-1 + 1. Is z(o) a multiple of 2?
False
Let z(h) = 39*h**2 + 5*h - 95. Does 76 divide z(6)?
False
Let t be (-75)/(-35) + 2/(-14). Suppose -t*j - j = 150. Let n = -36 - j. Is 7 a factor of n?
True
Let i(z) = z**2 + 2*z - 3. Let s be i(2). Suppose s*t = 40 - 0. Is t a multiple of 7?
False
Let m = 4 - 7. Let y(l) = -l - 1. Let h be y(m). Suppose p = 5*k - 87, -5*p - 27 = -2*k - h*p. Does 18 divide k?
True
Let r = 388 - 192. Suppose 112 = -3*p - 4*t + 400, 2*p + 4*t - r = 0. Suppose 4*f - p = -4*n + 36, 0 = -n - 4*f + 38. Is 7 a factor of n?
False
Let h(j) = 30*j - 12. Let a(q) = q. Let n(y) = a(y) - h(y). Does 29 divide n(-4)?
False
Let x(z) = -8*z - 11. Suppose -31 + 29 = -g. Suppose t + 16 = 2*u + g, -u = -4*t - 49. Is 13 a factor of x(t)?
False
Suppose 15 = 6*b - 9. Suppose 86 = k - b*f, 64 = k - 2*f - 12. Does 6 divide k?
True
Let r be (-1)/3*(0 - -9) + 1. Does 2 divide (114/12)/((-3)/12*r)?
False
Let j(c) = 17*c + 4. Let y be j(5). Suppose 5*g + l = 5*l + 95, y = 3*g + 4*l. Is g a multiple of 5?
False
Let f = 1060 - 703. Does 26 divide f?
False
Let q = -57 + 57. Suppose q = -5*w + 287 + 373. Is w a multiple of 11?
True
Let z(w) be the third derivative of -w**9/60480 - w**8/4032 - w**6/80 + w**5/20 + 5*w**2. Let n(r) be the third derivative of z(r). Does 9 divide n(-6)?
True
Let j(i) = -i - 2. Let l be j(-4). Suppose -23 + 5 = -l*f. Is 6/(-45)*-5*f a multiple of 6?
True
Let c be ((-80)/(-6))/(7/21). Let l be (-16)/c - 98/5. Is 22 a factor of 462/5 - l/(-50)?
False
Let y = -1152 - -1647. Is y a multiple of 47?
False
Let r be -2*1 + (-6)/15*-35. Does 17 divide 3*148/r - 3?
True
Let l = 2230 - 1601. Is l a multiple of 64?
False
Suppose 62*i = 64*i + 12. Is 32 a factor of 2/(4/i)*6820/(-93)?
False
Let t = 861 - 570. Suppose 381 + t = 8*k. Does 12 divide k?
True
Let r be (6/(-10))/((-21)/210). Let o = 11 - r. Suppose o*i - 52 = -3*n, -5*n = -2*i - 2*i + 49. Does 3 divide i?
False
Let h be (7 - (-1 + 2))*1. Let g = h + 2. Suppose 5*j - g - 2 = 0. Is j a multiple of 2?
True
Let c = 33 + -25. Let l(f) = 13*f + 11. Let g be l(c). Suppose 0 = -13*v + 18*v - g. Is 23 a factor of v?
True
Let y = 60 - -96. Let b = -208 + 136. Let i = y + b. Is i a multiple of 21?
True
Let n = 384 - 144. Does 20 divide n?
True
Let a be (2 - 2)*(-5)/(-10). Suppose -5*y - 5*j + 185 = a, -y - 2*j + 43 = 2*j. Suppose 2*b + y = 111. Is 7 a factor of b?
False
Let k(f) = -f**2 + 38*f - 19. Is 6 a factor of k(37)?
True
Does 60 divide 489 - (-7)/((-77)/99)?
True
Let c(r) = 2*r**2 - 15. Let q be c(-5). Suppose -77 = -5*d + 218. Let f = d - q. Does 24 divide f?
True
Suppose 1354 = 7*c - 424. Is 57 a factor of c?
False
Let d(w) = -2*w**2 - 1. Let r(q) = 3*q**2 + q + 7. Let y(p) = -3*d(p) - r(p). Let g be (1/(-2))/(1/(-10)). Is y(g) a multiple of 33?
True
Suppose 3*v = 5 + 7. Suppose -v*l + 3*m = -441, -2*l + 4*m + m = -217. Suppose l = 4*i - 69. Is 15 a factor of i?
True
Let y(x) = 2*x + 39. Let p = -50 - -36. Is y(p) a multiple of 3?
False
Suppose -3*o - 233 = -3*k + 2*o, -5*k - 4*o = -339. Is 6 a factor of k?
False
Let u(i) = i**3 - i**2 - i + 78. Let v be u(0). Suppose -3*j = -0*j - v. Suppose 3*t - t = j. Is t a multiple of 11?
False
Let t = 135 - 16. Is t a multiple of 17?
True
Suppose -47*o = 2*g - 52*o - 8985, 0 = 5*g - 2*o - 22431. Is g a multiple of 13?
True
Let g(h) = h**3 - 3*h**2 + 4*h + 2. Let d = -42 - -59. Suppose 2*j = 3*n + 20, j + d = -4*n + 5. Does 17 divide g(j)?
True
Let d = -26 - -27. Let o(j) = -16*j**2 - 2*j + 3. Let x(q) = 1. Let m(c) = -o(c) + 2*x(c). Is m(d) a multiple of 10?
False
Suppose 17 = 3*c - g, c = -0*c + 2*g + 9. Suppose -5*x + c*i + 240 = 0, -2*x - x = 3*i - 162. Does 3 divide x?
True
Let f = -342 - -486. Does 12 divide f?
True
Let p = 15 + -18. Is 3 a factor of 1 + 1 + (-5 - p)/(-2)?
True
Suppose 4*h = -5*d + 624, -d + 0*d = h - 124. Suppose 3*j + v - 201 = 4*v, 0 = 2*j + v - d. Is j a multiple of 13?
True
Let i(a) = 4*a + 12 - 4 - 6*a**2 + a - 3 + a**3. Is 6 a factor of i(6)?
False
Let r(w) = w**3 + 10*w**2 + 6*w - 1. Let v = -63 - -60. Is r(v) a multiple of 23?
False
Suppose 0 = 2*i - 3454 - 266. Does 60 divide i?
True
Let g(b) = 10*b + 48. Does 9 divide g(6)?
True
Suppose h - 4*o = -2*o + 98, 4*h = -5*o + 457. Is h a multiple of 12?
True
Suppose 15*i = 11*i - 132. Does 25 divide (-14)/(-77) + (-1644)/i?
True
Suppose -11*a + 6*a = 0. Suppose a - 4 = -w. Suppose 3*z - 2 - 32 = -w*t, 0 = 3*t - z - 32. Is t a multiple of 5?
True
Suppose -4*k + 140 = -224. Is k a multiple of 13?
True
Let n(w) = w**3 + 7*w**2 - 5*w + 17. Let m be n(-8). Let a(i) = 3*i + 36. Does 8 divide a(m)?
False
Let q = -3 + 5. Let m(i) = q*i**2 + 2*i**2 - i + 12 - 5*i**2. Is m(0) a multiple of 3?
True
Let c = -111 + 31. Is 25 a factor of 10/(c/28 + 3)?
False
Let a be -10*((-9)/6 - -1). Suppose 4*z - a = 31. Is z a multiple of 4