260)/(-5) - (-6)/(-2) a multiple of 12?
False
Let k(r) = r + 2. Let y be k(0). Suppose 0 = -4*w + y*w. Suppose 48 = 2*u - w. Is u a multiple of 12?
True
Let j(y) = y**3 - 8*y**2 - 8*y - 7. Let a be j(9). Suppose 27 = 5*o - a*o. Does 3 divide o?
True
Does 13 divide (-3*236/(-12))/(0 - -1)?
False
Is 31/(-4)*52/(-13) a multiple of 4?
False
Let d(b) = 2*b + 9. Let n be d(4). Suppose -2*t - 2 = 4*c, 0*t = t - 4*c - n. Is t even?
False
Suppose 0 = 2*k - 8, 6*k + 4 = -2*l + 4*k. Let r be l/2*1*2. Is r/21 - 88/(-14) a multiple of 3?
True
Let y(x) = -x**3 + 4*x**2 - 3*x + 1. Let l be y(2). Suppose -13 + l = -r. Does 5 divide r?
True
Let l be (6/8)/((-6)/(-16)). Suppose -l*s = -0 - 2. Is 4 a factor of (-8)/((-1 - s) + 1)?
True
Let t = 10 - -10. Does 7 divide t?
False
Is (0 + 20)/((-4)/(-6)) + 0 a multiple of 4?
False
Suppose 2*l + 86 = 5*a - 104, -2*a = -l - 75. Suppose -4*x = x - a. Is x a multiple of 4?
True
Let u = 18 - -22. Is 10 a factor of u?
True
Let z(l) = -10 + 7*l**2 + 8*l + 3*l - l - l**3. Let o be z(8). Let u = 12 - o. Is 6 a factor of u?
True
Suppose 0 = o + 2*o - 306. Does 34 divide o?
True
Let x = -214 - -331. Does 26 divide x?
False
Suppose -2*z + 393 = -0*z - n, -5*n - 795 = -4*z. Suppose -45 - z = -3*y. Does 16 divide y?
True
Suppose 0 = 3*c + 2*q - 6, -3*c + 9 = -4*q - 15. Suppose 135 = c*k + k. Is k a multiple of 9?
True
Let c(a) = 3*a**2 - 2*a + 12. Let j(s) = 5*s**2 - 3*s + 23. Let t(b) = 7*c(b) - 4*j(b). Let r(y) = 5*y**2 + 1. Let u be r(1). Is 8 a factor of t(u)?
True
Let p(n) be the second derivative of n**3/6 - 15*n**2/2 - n. Let w(x) = -x + 7. Let i(u) = 2*p(u) + 5*w(u). Does 13 divide i(-7)?
True
Let x(y) = 2*y**3 + 2*y**2 + 5*y - 5. Is x(3) a multiple of 14?
False
Let o = -3 + -6. Does 14 divide o*((-60)/(-9))/(-2)?
False
Let v(p) = -2*p**3 - 2*p - 4. Is 16 a factor of v(-2)?
True
Let x = 16 + 20. Let f = -61 + x. Does 25 divide 2/6*f*-3?
True
Does 28 divide (10/5)/(8/884)?
False
Let g(k) be the first derivative of -k**2/2 - 5*k - 2. Let l be g(-7). Is (-24)/(-2)*1/l a multiple of 5?
False
Let b = -70 + 50. Let o = b + 34. Is 12 a factor of (1*-10)/((-4)/o)?
False
Let z(g) = -7*g + 28. Is 3 a factor of z(-5)?
True
Let s(t) = t**2 + 8*t + 6. Is s(-9) a multiple of 6?
False
Suppose -2*x - 4 = 12. Let f = x + 13. Suppose 4*y - 6*y - 89 = -5*d, 0 = -2*d + f*y + 23. Is d a multiple of 19?
True
Suppose -4*p - 14 + 42 = 0. Let w be (0 - 1)*-8*p. Let l = w + -39. Is l a multiple of 14?
False
Let d be ((-15)/9)/(1/(-36)). Is 7 a factor of d/(-9)*(1 + -4)?
False
Let x(v) = v**2 - 3*v - 7. Does 11 divide x(8)?
True
Let v = 20 + -29. Let k be (6 + 0)/(v/(-6)). Suppose 0 = -k*o - 35 + 123. Does 11 divide o?
True
Let u = 8 + -8. Suppose 4*z + 2*i - 122 = u, 5*z + i - 149 = -4. Is z a multiple of 11?
False
Suppose -20 = 3*y - 8*y. Suppose -4*o = -3*f + 44, -44 = -y*f - 2*o - 0*o. Is 6 a factor of f?
True
Suppose 3*c - 1 = -4*n - 13, 3*n = 3*c - 9. Let y(z) = z**2 + 7*z + 6. Let g be y(-6). Is g + 23 + 1 + c a multiple of 8?
True
Suppose -5*j + 12 = -j, -5*b + 356 = -3*j. Suppose 3*l + 0*x - 5*x = 49, 4*l + x - b = 0. Is 11 a factor of l?
False
Let j be 2*((-2)/4 - 2). Let y(h) be the third derivative of -h**4/4 - h**3/3 + 7*h**2. Is y(j) a multiple of 14?
True
Let r be (6/(-9) + 0)*6. Let t(s) = -4*s**3 + 3*s**3 - 9 + 5 - 3*s**2. Does 10 divide t(r)?
False
Let p be (15/(-12))/((-2)/8). Suppose 0 = -2*q + f + 73, 0*q - p*f = -2*q + 77. Is 12 a factor of q?
True
Let r be 9/6*(-280)/(-6). Suppose -2*a + a = -2*j - r, 0 = -4*a + 5*j + 277. Suppose 2*y - a = -0*y. Is 21 a factor of y?
False
Let w(k) = -k**3 + 4*k**2 - 3. Let d(p) = -p**3 + 3*p**2 + p - 3. Let n(h) = -3*d(h) + 4*w(h). Let m(r) = r**2 + r + 5. Let t be m(0). Is 16 a factor of n(t)?
True
Let w(a) = a**3 + 6*a**2 + 2. Let h be w(-6). Suppose -5*f = j - 182, -h = -f - 4*j + 42. Is f a multiple of 12?
True
Suppose 0 = -2*o - 0*o + 4. Suppose 0 = -0*r + r + o*i - 4, -2*i = -r. Let v(g) = 5*g. Is v(r) a multiple of 5?
True
Suppose 0 = -5*a + a + 4*z - 16, -4*z + 16 = 3*a. Suppose 0 = -a*b + 4*b - 56. Is 4 a factor of b?
False
Let s = 5 + -3. Suppose 4*c - 75 = -d, s*d = -2*c - 2*d + 20. Is c a multiple of 10?
True
Suppose 0 = -0*h + 2*h - 40. Let d be h/1 - (-4)/2. Suppose -2*f + 20 = -d. Does 12 divide f?
False
Let q(t) = 8*t**2 + 3*t + 3. Suppose -4*j = 4*f, j - 6 = -4*f + f. Is 22 a factor of q(j)?
True
Let w(y) be the third derivative of -3*y**5/10 - y**4/24 - 7*y**3/6 + 2*y**2. Let p(i) = 9*i**2 + i + 3. Let n(k) = 5*p(k) + 2*w(k). Is 13 a factor of n(-2)?
False
Is 20/50 - (-2123)/5 a multiple of 17?
True
Let s = 4 - 5. Let j = 1 + s. Does 21 divide (j - 3)*28/(-4)?
True
Let d(a) be the second derivative of a**4/12 - 3*a**3/2 + 15*a**2/2 + 2*a. Is d(11) a multiple of 13?
False
Let v(i) be the first derivative of -i**4/4 - 7*i**3/3 + i**2/2 + 9*i - 2. Let p be v(-7). Is (p + 0/3)*8 a multiple of 6?
False
Let v = 76 + -31. Is 12 a factor of v?
False
Suppose -5*r = -15, 0 = -5*p + 2*p - 2*r + 474. Does 52 divide p?
True
Suppose 853 = -2*d + n, -3*n = 3*d + 301 + 956. Let c = 220 + d. Is 14 a factor of (c/16)/((-3)/8)?
False
Let c(l) = l + 13. Let p(d) = 5*d**3 - 2*d**2 - 2. Let g be p(2). Suppose w + g = -3*a, 0*a = -2*a - 2*w - 24. Does 2 divide c(a)?
True
Suppose 5*y + 9 = 2*y. Let w = y + 3. Suppose w*g + g - 32 = 0. Is 11 a factor of g?
False
Let b be (-1 - -3)*(-3)/6. Let y = b - 19. Let g = -12 - y. Is 5 a factor of g?
False
Let j(v) be the first derivative of v**4/4 + 8*v**3/3 - 3*v**2 - 8*v + 2. Does 20 divide j(-8)?
True
Let c = 107 + -73. Does 8 divide c?
False
Let i(b) be the first derivative of -2 + 0*b + 1/2*b**2. Is i(5) a multiple of 2?
False
Suppose 28 = 5*z - z. Is 2 a factor of z?
False
Let r = 58 - 30. Is 14 a factor of r?
True
Let g(p) = -2*p - 1. Let w be g(7). Let f = 22 + w. Suppose -3*b - x + 28 = 0, 3*b - x + 38 = f*b. Does 5 divide b?
True
Let u(x) be the second derivative of 0 + 7/6*x**3 + 2/3*x**4 + 3/2*x**2 + 2*x + 1/20*x**5. Is 3 a factor of u(-7)?
True
Let l(c) = 8*c**3 + 15*c**2 - 5*c - 9. Let g(b) = 3*b**3 + 5*b**2 - 2*b - 3. Let s(y) = -11*g(y) + 4*l(y). Does 7 divide s(4)?
True
Let n(u) = u**2 + 9*u + 6. Let x be n(-8). Is (15/x)/(4/(-8)) a multiple of 3?
True
Let f = 49 - 29. Suppose -3*o = o - f. Is 2 a factor of o?
False
Suppose -3*r + 21 + 27 = 0. Suppose -2*y - 32 = 7*w - 2*w, -2*y + 10 = -2*w. Is 8 a factor of (w - -3)/((-3)/r)?
True
Suppose -61*j + 57*j + 288 = 0. Does 36 divide j?
True
Suppose 2*f + j + 3*j = 8, -f + 4*j = 2. Suppose -22 = -f*i + 30. Is i a multiple of 9?
False
Let u(m) = -2*m - 3. Let w be u(-2). Let g be 105/3*42/49. Is 4/(g/(-34) + w) a multiple of 12?
False
Suppose -7*b - 6 = -4*b. Let t(g) = 4*g**2 - 2. Does 13 divide t(b)?
False
Suppose -4*n = -110 - 154. Does 12 divide n?
False
Suppose -3*c - 20 = -7*c. Suppose -5*u = -5*o - 125, c*u + 3*o = -2*o + 85. Let w = 42 - u. Does 7 divide w?
True
Let y = 40 - 17. Let t = 19 + y. Does 14 divide t?
True
Suppose -3*u + 26 = -64. Does 10 divide u?
True
Let q = -6 - -12. Is q a multiple of 2?
True
Suppose 94 = 2*k - 50. Is 12 a factor of k?
True
Suppose -8 = -4*y, -4*s = -y - 3 - 3. Suppose -x = -4*m, 6*m = s*m - 5*x. Suppose -6*u + 2*u + 100 = m. Does 13 divide u?
False
Is 8 a factor of -3 - (3/21 - 570/21)?
True
Suppose 4*a + 60 = 7*a. Is a a multiple of 10?
True
Let b be 1 + 15/2 + (-5)/(-10). Suppose -2*z - z = -12. Let m = b + z. Is 13 a factor of m?
True
Suppose 5*j + 370 = 4*n, -7*n + 3*n + 382 = j. Does 10 divide n?
False
Let b = 29 - 44. Let u be 6/b + 17/5. Suppose -3*h = -4*q + 144, h - 82 = u*q - 5*q. Does 11 divide q?
False
Suppose 2*u - 36 = u. Does 13 divide 3 + -1 + (u - -1)?
True
Let n(x) = x**3 + 10*x**2 + 9*x - 3. Is n(-5) a multiple of 11?
True
Let j(g) = 2*g**2 - 2*g + 24. Is 6 a factor of j(0)?
True
Does 9 divide 1/(3/207*1)?
False
Let f = -5 + 2. Let y be 25/(-10)*(-1 - f). Let j = y - -20. Is j a multiple of 13?
False
Let x be (2 - 2 - -1) + 31. Let w = -19 + x. Does 13 divide w?
True
Suppose 4*d + 210 = 5*d + j, 4*d - 2*j = 822. Does 23 divide d?
True
Suppose 0*n - 8 = -2*n. Suppose -2*r + 2*l = -14, 12 = n*r + 2*l + 2. Does 4 divide r?
True
Suppose 0 = -0*y - y + 14. Let c = 41 - y. Is c a multiple of 9?
True
Let x(d) = -30*d. Let u be x(-1). Suppos