e 604 = 8*d - 332. Is d a multiple of 11?
False
Is (-6 + 1)/(2/(-8)) a multiple of 10?
True
Suppose -5*u = -2*t - 6, -3 = -t - 1. Suppose -103 - u = -5*r. Is 9 a factor of r?
False
Suppose 3*y - 3*a = 78, -a + 40 = 2*y - 0*y. Is 22 a factor of y?
True
Suppose 0 = -4*b - 1 - 3. Let d = 1 - b. Is d even?
True
Suppose -10*y = -9*y - 66. Is 33 a factor of y?
True
Suppose 108 = 5*f + w, w + 3*w - 12 = 0. Is 21 a factor of f?
True
Let a(l) = -2*l**3 - l**2 - 2*l - 3. Is a(-2) a multiple of 6?
False
Let m = 80 - 19. Is 24 a factor of m?
False
Let x(q) = q**2 - 3. Let g be x(3). Suppose -2*h + 0*z + g = 2*z, 0 = 2*h - 4*z + 24. Is (75/10)/(h/(-4)) a multiple of 8?
False
Let s(j) = -j**3 + 8*j**2 + 8*j + 3. Let v be s(9). Let p = 22 + v. Is p a multiple of 8?
True
Let a = 47 - 7. Let f = a + 18. Does 23 divide f?
False
Suppose n + 29 = t, -n - 111 + 274 = 5*t. Suppose -t = -3*s + s. Is 16 a factor of s?
True
Suppose 3*h - 39 + 14 = -5*x, h = 0. Suppose -5*q = -45 + x. Does 8 divide q?
True
Suppose 2*p - 219 = 71. Is 29 a factor of p?
True
Suppose 4*t = 121 + 19. Suppose 5*p - t = 25. Does 12 divide p?
True
Let q = -27 - -20. Let u = 1 - q. Does 3 divide u?
False
Suppose 4 = -2*x, 0*p - 5*x - 8 = p. Suppose -2*q + 0*q = -p. Let v = q + 12. Does 13 divide v?
True
Let m(z) be the first derivative of 3*z - 2 - 2/3*z**3 + z**2 + 1/4*z**4. Is 9 a factor of m(3)?
True
Suppose 4*v = 5*v. Suppose v = 3*s + 2*s + 3*i - 106, -s - 5*i + 30 = 0. Is s a multiple of 7?
False
Let h = 23 - -22. Does 29 divide h?
False
Suppose o - 42 = 3*o. Is 12 a factor of ((-108)/o)/(3/28)?
True
Suppose 5*i + 158 = 718. Is i a multiple of 14?
True
Let c be (-10)/(-3)*(-6)/(-4). Let b be c + -4 - 3*-9. Suppose -4*f = 2*g - 38, -f - 2 = -5*g - b. Is f a multiple of 11?
True
Let j(b) = 15*b**3 + 15*b**2 - 43. Let a(n) = 7*n**3 + 7*n**2 - 21. Let y(u) = -13*a(u) + 6*j(u). Is y(0) a multiple of 15?
True
Let b be 0/(3 - 2)*-1. Suppose b = -5*x + 74 + 91. Is x a multiple of 7?
False
Let y = 1 - -29. Does 5 divide y?
True
Let d = 140 + -80. Does 6 divide d?
True
Let s(q) = q. Let w be s(-2). Let j = 3 + w. Is 11 a factor of 2 - (10 - j)*-2?
False
Let w(i) = i**3 + 136. Is w(0) a multiple of 34?
True
Suppose -4*b = -b - 9. Suppose -p + 288 = b*p. Let f = p - 30. Is f a multiple of 21?
True
Suppose -2*c + 409 = 29. Suppose 3*f - 8*f = -c. Does 19 divide f?
True
Suppose -4*w = -6*w + 132. Is w a multiple of 10?
False
Suppose 2*z + 256 = 6*z. Suppose -119 = -4*b - 3*f, -3*b + 41 = -3*f - z. Is b a multiple of 16?
True
Let j(m) = m + 1. Let f(q) = 4. Let a(u) = -3*f(u) + 12*j(u). Is a(3) a multiple of 12?
True
Suppose 0 = -29*x + 28*x + 11. Does 5 divide x?
False
Suppose 0 = -m - 4*m. Let s(a) = -a**3 - a**2 + 25. Is s(m) a multiple of 25?
True
Suppose -33 + 39 = 3*u. Is u even?
True
Let c(y) = y**3 + 5*y**2 - 6*y. Let v(d) = -d**3 + 2*d**2 - 2*d - 1. Let w be v(2). Is c(w) a multiple of 14?
False
Suppose 4*h = -5*l + 43, 89 = 4*h - 2*l + 11. Let t = 9 - 19. Let j = t + h. Is j a multiple of 4?
False
Let v be 1 + (16/2)/2. Let h = 32 - v. Is 14 a factor of h?
False
Let a = 43 + 45. Is 22 a factor of a?
True
Let y be (-3 + 3)/(0 + 2). Suppose y = s - 7 - 3. Let r = 23 - s. Does 6 divide r?
False
Let n(a) be the first derivative of a**4/12 - 5*a**3/6 + a**2 + 3. Let d(w) be the second derivative of n(w). Is 7 a factor of d(6)?
True
Let u(s) = s**2 + 13*s - 9. Suppose 4*i + 5 = -51. Is u(i) a multiple of 5?
True
Suppose f - 346 - 1 = -5*t, 2*f + 6 = 0. Does 27 divide t?
False
Let d be 3/3 + 2 - -2. Suppose d*o - 15 = h, 4*h - 7*o = -2*o. Suppose 2*s + h*m + 8 = 3*s, -36 = -s - 2*m. Is s a multiple of 14?
True
Suppose 68 = f - 2*t, 0*t + 3*t + 15 = 0. Is f a multiple of 7?
False
Suppose 2*n = 2 + 4. Suppose -h = 0, -n*z = 4*h - 5*h. Let u(a) = a**3 + a + 12. Does 12 divide u(z)?
True
Let t(n) be the first derivative of 47*n**3/3 - 3*n**2/2 + n - 8. Is t(1) a multiple of 15?
True
Let q(p) = p**3 + 6*p**2 - 3*p + 1. Let h be q(-7). Let b be (-6)/h + 87/(-27). Is 19 a factor of (1 + b - -3)*38?
True
Suppose z = -z. Let p(q) = q + 4*q + 19 - 6*q. Is p(z) a multiple of 13?
False
Suppose 5*o = -5*a + 15, 3*o = -5*a + 11 - 2. Let r be 2 - -3 - (a - -1). Suppose 0*v + r*v = 4*k - 80, 20 = k - 4*v. Is 16 a factor of k?
False
Let g(k) = -k**3 + 3*k**2 - 6. Let v be g(3). Let s(d) = -d**3 - 3*d**2 + 5*d - 2. Is s(v) a multiple of 19?
True
Suppose -2*t = -5*c + 105, 5*t - 16 = 3*c - 60. Suppose -25 = -3*z + c. Does 12 divide z?
False
Let i be 2*(-10)/2*1. Let j = 16 + i. Does 3 divide j?
True
Suppose -2*t = -4*o - 206, 4*t - 2*o - 506 = -76. Does 14 divide t?
False
Let h(k) = -2*k**3 + 8*k**2 + k - 8. Let u(f) = -5*f**3 + 24*f**2 + 4*f - 24. Let r(g) = -8*h(g) + 3*u(g). Let n be r(-7). Does 8 divide 1 + -1 + (n - -3)?
True
Let c = -56 + 83. Is c a multiple of 9?
True
Suppose v = 1, b - 109 = 5*v + 66. Does 27 divide b?
False
Suppose -3*j - j = -24. Let u(x) = x**3 - 3*x**2 - 6*x. Is u(j) a multiple of 24?
True
Let a = -291 + 487. Suppose 3*j + 40 = -5*p + a, 5*p + 72 = j. Is j a multiple of 18?
False
Let c be (15/(-9))/(2/(-30)). Let n = 33 + c. Does 16 divide n?
False
Let o(y) be the second derivative of -17*y**5/20 - y**4/6 + y**2/2 + 7*y. Is o(-1) a multiple of 8?
True
Let c = -13 + 48. Suppose -c = -5*x + 45. Does 8 divide x?
True
Suppose 0 = -4*r - 2 - 6. Let x(n) = 12*n - 1. Let t be x(r). Let h = t - -38. Is 13 a factor of h?
True
Suppose -5*r + 187 = -0*r - 2*v, 0 = -5*v + 20. Let m = r + -24. Does 5 divide m?
True
Is 82/((-1 + -1)*-1) a multiple of 27?
False
Suppose 0 = -2*c - k + 32, 7 = 5*k - 13. Does 9 divide c?
False
Let n be 0 - 5*(2 - 3). Suppose n*x - 36 = x. Does 7 divide (2 - 0)*(x - -1)?
False
Suppose s = -s. Suppose m = -5*k - 9 + 3, -2*k - 4 = s. Suppose -m*i - 19 = -87. Is i a multiple of 17?
True
Let v(w) be the second derivative of w**4/6 - 3*w**3/2 + w**2/2 + w. Does 12 divide v(7)?
True
Suppose 0 = 2*m - 3*n - 141, 4*m - 308 = 4*n - 16. Does 13 divide m?
True
Let a(g) = 7. Let q(h) = -h + 1. Let v(o) = a(o) + q(o). Let s be v(6). Is (55 - -1)/2 - s a multiple of 13?
True
Suppose -4*x + 9 = 5*d, -d = -3*x + 1 + 1. Suppose d = 4*t + 5*r, -4*r - 11 = t + r. Suppose 10 = -5*p, -3*s + 3*p - t = -4*s. Is 5 a factor of s?
True
Let z = 62 + -14. Is 8 a factor of z?
True
Suppose 5*i = -d + 10, -4*i + 10 + 27 = -5*d. Let g(s) = -3*s - 3. Let x be g(i). Is 4 a factor of (-3)/((-18)/(-4))*x?
True
Suppose -15 = 3*n - 4*u, 4*n + 4 = 2*u - 6. Let o be (-1 + 3 - -1) + n. Is 5 a factor of (-8)/(-6)*15/o?
True
Let q = 0 - 0. Suppose 0*p + 3*p - 12 = -c, -2*p - 4*c + 8 = q. Suppose 3*r = 5 + 1, r + 78 = p*u. Does 10 divide u?
True
Let x be (-9)/(-6) + (-150)/(-12). Suppose x + 4 = 3*v. Does 6 divide v?
True
Let b = 164 + -79. Is b a multiple of 10?
False
Let v be (3 - 3)/((-2)/(-1)). Suppose 0 = -o - f + 13, o - 3*o - 5*f + 20 = v. Is o a multiple of 4?
False
Let n(m) = -m**3 - 13*m**2 - 11*m + 8. Let r be n(-12). Is 1/2 - 42/r a multiple of 3?
False
Suppose -3*t + 5*t = 286. Is t a multiple of 11?
True
Suppose 2*o = 6, a + o - 50 = -2*o. Is 9 a factor of a?
False
Let j(h) = -4*h**3 - 26*h**2 + 11*h + 14. Is 41 a factor of j(-8)?
False
Let y(m) = 2*m - 6. Let n = 0 + 3. Suppose -n*w + w = -14. Is y(w) a multiple of 4?
True
Let d = -1 + -3. Let q be -1 - 1 - 1*d. Suppose -2*y + 41 = y - g, q*g = -2*y + 30. Does 7 divide y?
True
Suppose o = 3*o - 40. Let q = o - 11. Is q a multiple of 9?
True
Let g be -2 + (0 - -2) - 6. Does 6 divide g*(-4 + 5 + -3)?
True
Let p(t) = 2*t**2 + 19*t - 12. Is 19 a factor of p(-14)?
True
Does 13 divide (2/9 - 31560/(-135)) + 0?
True
Let x = 27 + 33. Is 10 a factor of x?
True
Let m(o) = 6*o**2 + 4*o + 4. Does 3 divide m(-2)?
False
Let r(q) = -q**2 + 18*q - 13. Let d be r(11). Suppose 5*t = w - d, 3*w - 5*t + 19 - 161 = 0. Does 11 divide w?
False
Suppose -116 = -4*f + 5*d + 141, -2*d + 250 = 4*f. Does 21 divide f?
True
Let l(o) = 2*o**2 - 3*o + 3. Let i be 6/(-27) - 47/(-9). Is 19 a factor of l(i)?
True
Let h = -2 + 1. Let u(g) = -g**3 + 7*g**2 - 8*g - 5. Let j be u(5). Let b = h + j. Does 2 divide b?
True
Let c(o) = o**3 - o**2 - o + 1. Let d be c(1). Suppose -j + 3*j + 28 = d. Does 10 divide (-540)/(-21) - 4/j?
False
Suppose 2*g + 2*p - p - 84 = 0, g - 44 = -p. Is 10 a fact