 a multiple of 12?
False
Suppose -10*c = -13*c - 36. Let k = 24 + c. Is k a multiple of 4?
True
Let j be 3 - (57 + 2)/(-1). Suppose 12 = p - a - 6, 0 = -3*p + a + j. Is 11 a factor of p?
True
Let z be 6/(4 - 2) - 2. Let h(r) = -1. Let u(c) = 30*c + 3. Let y(n) = 3*h(n) + u(n). Is y(z) a multiple of 15?
True
Let s(x) = -x**3 + 3*x**2 + x. Let n be s(3). Suppose 0*j = j - 2*y - 3, 4*y = n*j - 13. Suppose c - j - 1 = 0. Does 8 divide c?
True
Let d be 21/(-6) + 2/4. Is (-1 - d)/((-3)/(-36)) a multiple of 8?
True
Does 13 divide (-370)/(-10) + 3/1?
False
Suppose 5*r + 5 = 5*m, -33 = -5*m - 5*r + 3*r. Is 5 a factor of m?
True
Suppose 0 = -l + n + 3, -4*l + 22 = 2*n - 4*n. Let d be l/20 + 4/(-10). Let k = 3 + d. Does 3 divide k?
True
Let j(n) = n + 14. Let g be j(-11). Suppose 0*w = w + 4*c - 96, g*w = -4*c + 264. Does 28 divide w?
True
Let i(t) = -t**3 + 9*t**2 + 2*t + 5. Does 17 divide i(8)?
True
Suppose 705 - 85 = 4*c. Does 31 divide c?
True
Suppose -209 = -5*f - 69. Is f a multiple of 10?
False
Suppose -3*b - 6 = -6*b. Suppose b*f = -1 + 7. Is f a multiple of 3?
True
Let p(s) = 34*s - 6. Let n(x) = 1. Let k be 6 + -3 - (1 + -3). Let b(f) = k*n(f) + p(f). Does 9 divide b(1)?
False
Let t(p) = p**3 + 19*p**2 + 16*p - 10. Does 10 divide t(-18)?
False
Is 17 a factor of 130*(5/(-2) - -3)?
False
Let s(u) = 43*u - 11. Does 16 divide s(1)?
True
Suppose -10*h = -7*h - 48. Is 9 a factor of h?
False
Suppose -m = -0 + 1. Let i(h) = 3*h**2 + h + 2*h**2 - 3*h**2 + 8*h**2. Does 4 divide i(m)?
False
Let s be 2/((-12)/9 - -2). Suppose -4*z - 91 = -s*q, -3*z = -q - 4*q + 137. Is q a multiple of 13?
False
Suppose q + 42 = -0*q + 2*f, 3*f - 79 = 2*q. Is q/(-6)*(-10 + 16) a multiple of 16?
True
Suppose 0 = -2*y + 3*r - 3, -4*r - 6 = -6*r. Let s(m) = m**3 + 12*m**2 - 12*m + 17. Let o be s(-13). Suppose -o*q + 10 = -y*q. Is q a multiple of 5?
True
Let y(x) = -x - 14*x - 6*x**2 + 5*x**2 - 15. Is 12 a factor of y(-10)?
False
Does 2 divide 11 + 3*3/(-9)?
True
Suppose -r - 1 + 3 = 0. Let z(g) = 4*g**2 - 2*g - 2 - 4*g + r*g - 1. Is 9 a factor of z(-2)?
False
Suppose 8*o - 3*o = 1980. Does 66 divide o?
True
Let y be (2/6)/((-1)/(-12)). Suppose -3 = 2*w - 3*w. Suppose -w*j + y*j = 4. Is j a multiple of 4?
True
Let i(j) = -j + 13. Let g be i(8). Suppose -2*b = 5*k - 3*b - 193, -g*k + 5*b + 205 = 0. Is k a multiple of 13?
False
Let v(i) = 0*i**3 + 2 + 7*i**2 + i**3 - 9 - 3*i. Let w(j) = j**3 - 5*j**2 + j - 12. Let u be w(5). Is v(u) a multiple of 7?
True
Let u = -32 + 47. Is u a multiple of 5?
True
Does 2 divide (-3 + 28/16 + 0)*-12?
False
Let a(y) = y**2 - 6*y + 320. Does 64 divide a(0)?
True
Let r = 2 - 7. Let n = 10 + r. Suppose 0*j = n*j - 90. Does 15 divide j?
False
Suppose 369 = 3*f - 4*l, 0 = 5*f - 0*l - l - 598. Is f a multiple of 7?
True
Suppose 43*t - 24*t - 2850 = 0. Does 25 divide t?
True
Let v = 72 + -12. Does 12 divide v?
True
Let i be 21/(-12) + 2/(-8). Is 5 a factor of i*(2 - 34/4)?
False
Let t(k) = -k + 2. Let g be t(6). Is g/(-6)*(-138)/(-4) a multiple of 8?
False
Let c be (-38)/(-12) - 1/6. Suppose 20 = -2*r + c*r. Does 18 divide r?
False
Let t = 71 + -59. Is 12 a factor of t?
True
Let m(r) = 7*r - 2. Let a be m(8). Let g = a + -19. Does 18 divide g?
False
Suppose -2*x = -1 - 29. Let m = -5 + x. Does 10 divide m?
True
Suppose n = 3*b + 17, 0 = 2*n - 2*b - 6 - 12. Does 5 divide n?
True
Let q(p) = p**2 - 8*p + 1. Let m be q(7). Is 14 a factor of 56/3*m/(-4)?
True
Is 13 a factor of (-1)/(-2 + 153/78)?
True
Suppose 4*g - 3 = z - 1, 2*z = -g + 5. Let h = 222 - -4. Suppose -5*v + h = -4*w, 5*w = z*v - 0*w - 87. Is 17 a factor of v?
False
Suppose 0 = -0*s - 5*s - 5. Let d = 3 + s. Suppose -d*m + m + 44 = -5*j, 0 = 5*m - 5*j - 140. Is m a multiple of 12?
True
Let w(v) = 4*v**2. Let b be w(1). Suppose b*r - 32 = -5*o, 0*r - 2*r + 4*o - 10 = 0. Does 3 divide r?
True
Let r(f) = -f**3 - 4*f**2 + 8*f + 8. Is 6 a factor of r(-6)?
False
Suppose 6*w - 28 = 3*w - 2*u, -2*u = -4. Does 3 divide w?
False
Let y = -6 + 11. Let t(i) = 2*i**3 - 13*i**2 - 9*i. Let f(a) = -3*a**3 + 19*a**2 + 13*a. Let j(s) = -5*f(s) - 7*t(s). Is j(y) a multiple of 15?
True
Let c = -4 - -16. Does 7 divide 20 + -2 + c/(-6)?
False
Is 4 a factor of 5*(0 - -3)/3?
False
Let a(h) = -3 + 2*h**2 + 0*h**2 - h**2 + 2. Is a(3) a multiple of 5?
False
Suppose 0 = 5*a - 0 - 10. Let b be -1 + (-39)/(-3) + a. Suppose -t = -b - 23. Does 15 divide t?
False
Suppose -78 = -4*c + 322. Does 25 divide c?
True
Suppose 3*y = -l - 182 - 26, 0 = -3*l + 6. Let k = y - -119. Does 13 divide k?
False
Let i be 1/(-3) - 417/(-9). Let p be -1*(-18 + -2)/2. Let b = i - p. Is b a multiple of 18?
True
Suppose 0 = 2*h - 4 - 2. Suppose -h*s = -5 - 7. Suppose 3*d + 65 = 2*i - 2*d, 5*d = s*i - 105. Is 10 a factor of i?
True
Suppose 0 = a + 3*q - 129, 124 = 2*a - a + 4*q. Let r = a + -99. Is r a multiple of 15?
True
Let h be (-4)/(12/(-9))*1. Suppose -h*u - 125 = 2*u. Let t = u - -39. Is 13 a factor of t?
False
Suppose 56 = -6*o + 2*o. Let p = o - -9. Let i = 20 - p. Is i a multiple of 11?
False
Let n = 63 + -41. Is 22 a factor of n?
True
Let f(z) = z**2 - 3*z + 1. Let b be f(3). Is 13 a factor of 1/(b*(-2)/(-122))?
False
Let a(l) = -l**3 - 6*l**2 - 4*l - 2. Let i be a(-5). Let c = i + 42. Is 11 a factor of c?
False
Let i be ((-2)/(-5))/((-3)/(-45)). Is i + 2 + 1*2 a multiple of 6?
False
Let g(b) be the first derivative of -b**5/20 + 5*b**4/12 + b**3/2 + 7*b**2/2 - b - 3. Let f(a) be the first derivative of g(a). Does 15 divide f(5)?
False
Let g = -3 + 3. Suppose g = 2*v + 2*v - 8. Suppose v*w + 9 = 3*p - 11, -30 = -2*p - 2*w. Is 10 a factor of p?
True
Let y(d) = -2*d - 3. Let j be y(6). Let s(r) = -r**2 - 15*r + 13. Is 13 a factor of s(j)?
True
Suppose 5*j - 4*o - 7 = 2, -14 = -2*j - o. Let p(f) = 3*f - 4. Is 11 a factor of p(j)?
True
Let h = -49 - -126. Is h a multiple of 11?
True
Let f = -20 - -11. Suppose 9*y - 38 = 7*y. Is 12 a factor of y + 0*(-3)/f?
False
Let a be 26 - (2 - 9/3). Let w = a + -13. Is 7 a factor of w?
True
Suppose -79 = -5*r + 111. Suppose z + 4*p - r = 31, -2*p = 3*z - 197. Is z a multiple of 29?
False
Let f be (-2)/(-6) + 40/15. Suppose f*g + g = -176. Does 10 divide 3*g/(-6) - 2?
True
Is 20 a factor of 78/65*(2 - 44/(-3))?
True
Let w(u) = u. Let p be w(5). Suppose -p*v - 35 = -6*v. Is v a multiple of 16?
False
Let x = 30 + 84. Suppose x = 2*q - 56. Is q a multiple of 30?
False
Let z be 2 - (11 + (-2 - -2)). Let b = z + 21. Does 22 divide 524/b + (-1)/(-3)?
True
Let m(w) = w**3 - 5*w**2 - 10*w + 8. Let x be m(6). Let h = x - -55. Does 17 divide h?
False
Let w(c) = -4*c**2 - c - 1. Let k be w(-1). Let v be (0 + k)/((-2)/(-2)). Let s = v - -9. Does 3 divide s?
False
Let v be (-38)/(-9) + (-6)/27. Let i be v/6 + (-52)/(-12). Suppose 7*j = i*j + 8. Does 3 divide j?
False
Let d be (-5)/(-5) + 1 + -1. Let z be (-94)/d*2/(-4). Let g = z + -27. Is g a multiple of 11?
False
Let b = -55 - -59. Is 4 a factor of b?
True
Suppose -5*x - x + 144 = 0. Suppose -n - x = -3*n. Is 5 a factor of n?
False
Is (-3 + 7)*10 + 4 a multiple of 11?
True
Suppose 3*v - 5*v - 4*c = -22, v - 5 = c. Let l(x) = x**2 - x - 9. Let o be l(v). Let g = o + -6. Is 9 a factor of g?
True
Let n = 101 + -63. Does 19 divide n?
True
Is -6*(-2 - (-460)/(-15)) a multiple of 47?
False
Let s be (3/(-6))/(2/(-8)). Let l be 5 - (-3)/1 - -1. Let f = l + s. Is f a multiple of 11?
True
Let t(j) = j - 1. Let o be t(1). Let d(a) be the first derivative of a**3/3 - a**2/2 + 9*a + 1. Is 9 a factor of d(o)?
True
Let i = 6 + 10. Does 3 divide i?
False
Let f(m) = 5*m + 3. Let j be f(-2). Let y(p) = -p**3 - 5*p**2 - 9. Let a(x) = -3*x**3 - 14*x**2 + x - 27. Let n(q) = -2*a(q) + 7*y(q). Is 5 a factor of n(j)?
True
Let c(w) = 13*w - 1. Let n be 0 + -3 + 2 + 3. Is 18 a factor of c(n)?
False
Suppose -12 = -4*w, -5 = -j - 7*w + 4*w. Let h(p) = 5*p - 4*p + p**3 + 0*p + 4 - 3*p**2 - 2*p**3. Does 12 divide h(j)?
False
Let w = 32 - 8. Is 4 a factor of w?
True
Let h = -27 + 54. Is 5 a factor of h?
False
Let c = 19 - 26. Let o(a) = 2*a**2 + 7*a + 16. Is 16 a factor of o(c)?
False
Let d(t) = -5*t**3 + 2*t**2 + 2*t + 4. Let j = 10 + -9. Let p(y) = -y**2 - 1. Let f(s) = j*d(s) + 2*p(s). Does 19 divide f(-2)?
True
Let g(q) = q**2 + 2*q + 3. Let u be g(-4). Does 11 divide u + (3 - 2 - -1)?
False