-2 + b/3) a multiple of 10?
False
Suppose 3*j - 58 = -4*s, 4*s - j - 54 = -6*j. Let f = s - -4. Is 20 a factor of f?
True
Let u(p) = 7 + 0*p + 0*p**2 - 7*p + p**2. Let z be u(6). Is 4*z/2 + 22 a multiple of 12?
True
Let v be (-34)/(-9) + 14/63. Let g be 2 - 2/(-4)*0. Suppose -g*c + 52 = -v*a, 3*a + 3 - 20 = -2*c. Does 8 divide c?
True
Let c(q) = 23*q + 2. Let y be c(-2). Let z = y + 6. Let b = -27 - z. Is 9 a factor of b?
False
Suppose 0 = 3*d + d - 32. Does 8 divide (-24)/(2/(d/(-6)))?
True
Let l = 10 + -5. Suppose 0 = -5*d - l*x + 290, 0*x + 88 = d - 5*x. Does 18 divide d?
False
Let z be (-2)/(-6) - (-28)/(-12). Let l = z - 1. Is ((-22)/8)/(l/12) a multiple of 5?
False
Let c be 10*1*4/5. Suppose 4*v - c*v + 104 = 0. Does 26 divide v?
True
Let s = 10 - 17. Does 12 divide s/(-28) - (-155)/4?
False
Let p be 107/(-2) - 2/4. Let f(c) = -3*c**2 + 3*c + 3. Let w be f(-3). Let b = w - p. Is b a multiple of 21?
True
Let m = 106 + -19. Let a = 123 - m. Does 12 divide a?
True
Let m(r) = -r**2 - 3*r + 1. Let p be m(-3). Let l be (7/(-2))/(p/(-2)). Suppose z - w = 11, -2*w + l*w - 65 = -5*z. Is 7 a factor of z?
False
Let f(s) = -12*s - 20. Is f(-5) a multiple of 7?
False
Let b(n) = n. Let w be b(10). Let z = w + 11. Does 6 divide z?
False
Let d be 1*215 + 4 + -6. Suppose d = -r + 4*r. Is r a multiple of 20?
False
Suppose 4*k + 8 = 28. Suppose -2*u + 13 = k. Is 12 a factor of 580/16 - 1/u?
True
Suppose 3*l - 4*l = -15. Is 10 a factor of l?
False
Let z = -6 + 10. Suppose -8*y = -z*y - 132. Is y a multiple of 21?
False
Suppose 20 = 4*a - 40. Is a a multiple of 4?
False
Let b(m) = -2*m - 9. Let w(u) = 1. Let l(i) = b(i) + 5*w(i). Let y be l(-3). Suppose -2 = y*j, -2*r + 12 = 3*j + j. Is r a multiple of 8?
True
Suppose 8*h = 4*h + 216. Is h a multiple of 18?
True
Suppose 2*r - 8 = 102. Does 17 divide r?
False
Is 15 a factor of -3 + 2 + -3 + 80?
False
Let j(o) = -o - 5*o**2 + 4*o**2 + 3*o**2 - o**2 + 10. Does 10 divide j(-5)?
True
Suppose -u - 4*t - 16 = 0, 8*u + 5*t = 3*u - 20. Does 11 divide 55/5 + 0 + u?
True
Let w = 17 + -3. Is -4*w/(-4)*1 a multiple of 9?
False
Let k = 55 + -22. Let h = k + -19. Is 5 a factor of h?
False
Let h(s) be the second derivative of -s**3/6 + 7*s**2/2 - 2*s. Let a be h(5). Suppose -a*w + 3*w - 11 = 0. Is w a multiple of 4?
False
Let p(o) be the first derivative of -o**5/15 - 7*o**4/24 + 2*o**3/3 + 3. Let h(j) be the third derivative of p(j). Does 14 divide h(-6)?
False
Let y(o) = -o + 9. Let r be y(9). Suppose v - 3*v + 20 = r. Is v a multiple of 5?
True
Suppose 11 + 893 = 8*j. Is j a multiple of 47?
False
Suppose 4*f = 8*f - 452. Is 29 a factor of f?
False
Let x(n) = -2*n**3 - n**3 + 4*n**3 + 2*n. Let k be x(-2). Is -6*-2*(-3)/k even?
False
Suppose -2*j = t - 55, 57 = 5*j + 5*t - 78. Suppose -2*i = -10 - j. Is 5 a factor of i?
False
Suppose -2*a + 92 = 4*l, l + 65 = 2*a - 32. Is a a multiple of 16?
True
Let q(u) = -7*u - 6. Let a be q(7). Let k be a/(-2) + 1/(-2). Let x = k + -3. Is x a multiple of 8?
True
Suppose 0*j + 50 = 4*j - 2*h, -6 = -2*h. Does 7 divide j?
True
Suppose -2*d = m - 5*m - 372, 3*m = 4*d - 759. Does 16 divide d?
True
Let f(o) be the first derivative of o**6/72 + o**5/120 - o**4/24 + o**3/3 + 2. Let d(a) be the third derivative of f(a). Is d(1) even?
False
Let a(w) be the second derivative of w**5/20 + 5*w**4/12 - 3*w**3/2 - 4*w**2 + w. Is 5 a factor of a(-6)?
True
Let w be (11 - 0/1) + -3. Suppose -99 = 3*k - 6*k. Let q = k - w. Is 11 a factor of q?
False
Let s = 34 + 2. Is s a multiple of 17?
False
Is (-9585)/(-108) + 2/8 a multiple of 37?
False
Suppose 0 = 3*g - 256 - 11. Is g a multiple of 25?
False
Suppose 4*a - y - 17 = 0, 5*y - 5 = 4*a - 2*a. Suppose p + a = -z, 3*p - 4*z = 4*p + 2. Let l = 12 + p. Is l a multiple of 3?
True
Let n(b) = -3*b + 4. Suppose 5*z = 5*j - 35, 2*z + 7*j = 4*j - 4. Is n(z) a multiple of 5?
False
Let m(f) = -3*f**2 + 4*f + 4. Let t(j) = 5*j**2 - 9*j - 9. Let c(y) = -5*m(y) - 2*t(y). Does 4 divide c(-1)?
False
Let s(a) = -a**3 - 3*a**2 - 2*a + 2. Does 5 divide s(-3)?
False
Let j(d) = d**3 + 7*d**2 - 2*d - 6. Suppose 0 = 5*a + 2*u - 3*u + 37, 3*a + 2*u = -17. Is j(a) a multiple of 7?
False
Let u(h) = -6*h**3 - h**2 + 3*h + 2. Let a be -3 + (-1)/1 + 2. Is u(a) a multiple of 17?
False
Let f = -16 - -22. Is 4 a factor of f?
False
Suppose -5 = -f + 2. Is f a multiple of 5?
False
Let o(s) = 13*s + 1. Let m be o(-1). Let v be 57/2 + m/(-8). Suppose v = 4*x - 10. Is 6 a factor of x?
False
Suppose 0 = -a - 0*a + 4. Suppose a*x + x - 60 = 0. Suppose -o + x = -0. Does 6 divide o?
True
Let l(m) = 3*m**2 + 6*m. Is l(-4) a multiple of 4?
True
Let x(r) = r**2 + 5*r - 6. Is 20 a factor of x(-11)?
True
Let i = 351 + -207. Is i a multiple of 12?
True
Suppose 0 = -l - 3*b + 10, 3*l - 7*b + 2*b - 72 = 0. Suppose -2*i + l = -41. Let f = i + -17. Does 5 divide f?
False
Suppose 0 = -5*f + 120 + 65. Let l(u) = f*u**2 + 1 - 3*u + 3*u. Is l(-1) a multiple of 13?
False
Let h = 0 - -2. Suppose -2*b + 6*b = -8, 0 = -2*a - h*b. Is (-18)/(-2) + 2/a a multiple of 10?
True
Let c = -64 - -84. Is 9 a factor of c?
False
Let h = 12 + -6. Suppose -4*u + u = 3*o + 12, 4*u = -o - 19. Suppose -d + h = o. Is 4 a factor of d?
False
Suppose -13*f = -14*f + 20. Does 6 divide f?
False
Suppose 23 = -2*b - 51. Let s(k) = -21*k**2 - k + 1. Let n be s(1). Let i = n - b. Is 8 a factor of i?
True
Suppose -4*m - 6 = -2. Does 20 divide (m + 2)*(-1 - -22)?
False
Suppose 2*s = 5*s - 252. Suppose -3*a = a - 5*p - s, -2*a + 2*p = -44. Is a a multiple of 13?
True
Let r(y) = -14*y + 1. Let x be r(1). Let p = -53 - x. Is (10/8)/((-2)/p) a multiple of 10?
False
Does 11 divide (-4 - (0 - -1))*(-3828)/145?
True
Let z(x) = -54*x - 12. Is z(-3) a multiple of 15?
True
Let x = -216 + 371. Suppose -p = -4*v + x, -2*p - 113 = -4*v + 37. Is 11 a factor of v?
False
Let g = 155 - 62. Suppose 0 = -3*p + 33 + g. Is p a multiple of 21?
True
Suppose -2*z - 570 = -5*x, 0 = x + 4*z - 16 - 98. Is 19 a factor of x?
True
Let j = 191 - 110. Is j a multiple of 27?
True
Suppose -p + 3*m + 39 = 17, -3*p - 2*m = -88. Is 7 a factor of p?
True
Suppose 4*b + b - 45 = 0. Suppose -5*s + j - 108 - b = 0, 0 = -5*s - 3*j - 129. Does 6 divide (-6)/s + 23/4?
True
Let u be 0 + 5 + -3 - 1. Let f be u/(7/3 - 2). Let n = 2 + f. Does 2 divide n?
False
Suppose -20 = -4*b + 4*w, -3*b + 6 = 3*w - 3. Suppose -60 = k - 5*k. Suppose s - b*s - 2*o = -43, s - k = -o. Is 13 a factor of s?
True
Suppose s + 564 = 2*x + 135, -5*x = -2*s - 1074. Does 36 divide x?
True
Suppose -5*h + 20 = 4*l - 0, -h = -2*l + 10. Is 3 a factor of l?
False
Let b(h) be the first derivative of h**4/4 + 5*h**3/3 + h + 3. Let u be b(-3). Let y = u + -6. Is y a multiple of 13?
True
Suppose n + 46 = 4*n - t, -5*t = 2*n - 42. Does 16 divide n?
True
Suppose h + 0*h = 9. Suppose 7*k + h = 4*k. Does 17 divide k/9 + 116/6?
False
Suppose 0*x = 3*x - 15. Suppose -f + 0*f = -x. Suppose -2*y - 65 = -f*n + 130, -y = 0. Does 13 divide n?
True
Let q(r) be the first derivative of r**5/30 - r**4/4 - r**3/3 + 1. Let u(a) be the third derivative of q(a). Does 8 divide u(4)?
False
Is 656/10 - 1/(10/(-4)) a multiple of 11?
True
Suppose 36 = s - 2. Let d = s + -11. Does 9 divide d?
True
Let j = 0 - -3. Suppose -g + i + 51 = 0, 0*g = 2*g - j*i - 107. Suppose 2*l + 3*r = 22, -2*r - g = -4*l - 7*r. Is l a multiple of 14?
True
Suppose -3*l + p = 2*l - 98, -2*l + 53 = -5*p. Let i = l - 9. Is 8 a factor of i?
False
Let o = 383 - 252. Is o a multiple of 4?
False
Let h = 2 - -2. Suppose 2*q + 2*a - 70 = -0*q, -h*q - 3*a + 137 = 0. Does 16 divide q?
True
Let r(q) = q**3 - 3*q**2 + 3*q. Let x be r(2). Suppose 0 = -4*y + 5*w - 45, -5*y - x*w - 119 = -38. Let l = -11 - y. Is 2 a factor of l?
True
Is 9/(-27) - 184/(-3) a multiple of 35?
False
Let g(l) = 9*l + 11. Let z(y) = -4*y - 11. Let t(x) = 1. Let c(f) = -6*t(f) - z(f). Let v(w) = 5*c(w) - 2*g(w). Is v(7) a multiple of 15?
False
Let b = 117 - 45. Is 24 a factor of b?
True
Suppose 5*x + 2*x - 392 = 0. Is x a multiple of 22?
False
Suppose 3*o - 2*n - 10 = 0, -o = -3*n + 7 - 1. Let y = o - 1. Suppose y = m - 3*a, 0 = -3*m - a + 18 + 17. Is m a multiple of 11?
True
Let o(s) = 3*s - 11. Let j(r) = 1. Suppose -p + 2*a + 4 = 0, 15 = 6*p - 3*p - 3*a. Let q(z) = p*j(z) + o(z). Does 5 divide q(6)?
Fa