(f) = f**3 + 7*f**2 + 0*f - 2*f + 10*f + 5. Is 6 a factor of n(a)?
False
Suppose -3*z - z = -8. Suppose 3*c + 5*v = 268, 4*v - 20 = -z*c + 156. Is 24 a factor of c?
True
Suppose 2*o + 2*o = 0. Suppose o = y - 5*x - 3 - 8, 0 = -4*y + 2*x + 26. Is y a multiple of 4?
False
Suppose 1 = 3*k + r - 11, -4*k + 29 = -3*r. Suppose -m + k*m = 168. Is m a multiple of 14?
True
Suppose -14 = 4*n + 42. Is 10 a factor of 5/(40/n + 3)?
False
Suppose p + 3*t - 141 = 0, p - 4*t = -0*t + 120. Is p a multiple of 44?
True
Let f(b) = 19*b**2 - 2*b + 1. Is 9 a factor of f(1)?
True
Let o(s) = s**2 + 3*s + 3. Let h(k) = -k**2 + 4*k. Let j be h(5). Does 6 divide o(j)?
False
Suppose 0*a - a = -2*g - 47, 2*g + a + 41 = 0. Is (-4)/g + (-788)/(-22) a multiple of 29?
False
Suppose -3*a + 4 + 2 = 0. Does 11 divide a/(4/42) + -3?
False
Is 27/(-2)*30/(-45) a multiple of 9?
True
Let q(a) = -a**3 + 11*a**2 + a - 4. Let z be q(11). Let j = -1 + 6. Suppose -z*d = -j*d - 20. Is d a multiple of 6?
False
Let d(x) = x + 8. Let j be d(10). Let w = 74 - j. Suppose 0 = -4*n - 3*g - g + w, -2*n = -2*g - 8. Is 8 a factor of n?
False
Suppose 0 = -5*q + 1089 - 414. Is q a multiple of 31?
False
Let t be -2 - -6*(-2)/(-2). Suppose -t*z + 9 = -7. Suppose y = z*y - 87. Is y a multiple of 11?
False
Suppose -h = t + 164, -h + 2*t - t - 160 = 0. Does 4 divide (-1)/(-5) + h/(-15)?
False
Is 49 + -4 + -4 + 7 a multiple of 10?
False
Suppose -3*u + 24 = u. Is u a multiple of 2?
True
Let q(c) = -c**2 - 7*c - 6. Let k be (-2 - (-12)/(-3)) + 2. Let r be q(k). Suppose -r = -3*d + 3, 0 = -2*o - d + 23. Is 10 a factor of o?
True
Let q(g) = 3*g + 22. Is 15 a factor of q(11)?
False
Suppose 5*c = 2*s + 150, -c - 5*s + 19 = -11. Suppose -c - 42 = -3*u. Is 24 a factor of u?
True
Let h be (-1*1/(-1))/(-1). Let c = 23 - 13. Is 10 a factor of (0 - h)*(c - -1)?
False
Suppose 60 = -i + 6*i. Does 4 divide i?
True
Suppose -p + 10 = p. Let x(w) = -9*w**3 - w**2. Let i be x(-1). Let q = i - p. Is q a multiple of 3?
True
Let g = 276 - 159. Does 13 divide g?
True
Let u(x) = 10*x - 8. Let d be u(6). Suppose 5*c = -r + 5*r + d, 4*r = 4*c - 44. Is 3 a factor of c?
False
Is 1948/18 - (-4)/(-18) a multiple of 9?
True
Let k = 7 + -5. Let u be 1/4*k*8. Is 23 a factor of (2/u)/(3/138)?
True
Suppose -3*z - 12 = 0, -z = -4*d + 3*z + 4. Let n(w) = -w**3 - 5*w**2 - 3*w + 4. Let g be n(d). Let t(i) = -i**2 - 9*i + 2. Is t(g) a multiple of 11?
True
Let f = -51 + 99. Let m = 81 - f. Is 5 a factor of m?
False
Let u(i) = i**2 + i - 3. Let c be u(-3). Does 11 divide 45/4 + c/(-12)?
True
Let b(w) = 1 - 16*w - 2 - 3 + 1. Let q(h) = h**2 - 4. Let x be q(0). Is 21 a factor of b(x)?
False
Suppose 4*f + 0*f + 8 = 0. Let a(w) = -3 - 4*w + 1 - 3*w**3 - 2*w**2 + 4 - 5. Is a(f) a multiple of 8?
False
Let n(y) = -y**2 - y. Let l be n(-1). Let q = l + 3. Is q a multiple of 3?
True
Does 19 divide ((-11)/33)/(1142/(-570) - -2)?
True
Suppose -11*z + 12*z = 2. Let n = z + 13. Does 4 divide n?
False
Suppose 4*f = 27 - 3. Suppose -4*k - 5*j = -f*j - 93, 3*k - 57 = 5*j. Is 8 a factor of k?
True
Let r(g) = 7*g + 3. Let w(i) = 155*i + 65. Let k(p) = -45*r(p) + 2*w(p). Is 3 a factor of k(-4)?
True
Let w be 52/6 + (-4)/(-12). Suppose -w*c = -4*c - 130. Does 13 divide c?
True
Suppose 0*r = -5*r + 5*c + 270, -2*r = 5*c - 122. Does 28 divide r?
True
Let j(t) = -3*t + 11. Suppose 4*a + 34 = -10. Is j(a) a multiple of 13?
False
Let m = 13 + -23. Let c = m - -17. Is c a multiple of 2?
False
Suppose 2*f = -2*t + 94, f = t - 19 - 24. Let x be (t/2)/(2/12). Suppose -3*z + x = -45. Is 21 a factor of z?
False
Is 13 a factor of 2/(-12) + (2707/6 - 9)?
True
Let v(g) = 11*g + 16. Does 30 divide v(5)?
False
Suppose -275 = -5*u - 15. Is 13 a factor of u?
True
Let k(s) = s**3 + 7*s**2 - 4*s + 1. Is k(-7) a multiple of 29?
True
Let l(g) = -g**3 - 17*g**2 - 4*g + 20. Is l(-17) a multiple of 11?
True
Is 4 + -7 + (-1 - -20) a multiple of 4?
True
Let q(d) = d**2 + 1. Let x be q(-1). Suppose g - 27 = x*u + 2*u, 89 = 5*g + 3*u. Does 19 divide g?
True
Let h(x) = 4*x**2 + 5*x - 6. Let i(b) = b**2 + 6*b + 4. Let w be i(-6). Let v be h(w). Suppose 0 = -4*n - 6 + v. Does 14 divide n?
False
Let w(i) = -2*i**2 + 3*i**2 + 1 - 2*i**2 + 4*i**3. Let j be w(-1). Is 3 + 2 - (j + 1) a multiple of 8?
True
Is 3 a factor of (0/4)/4 + 0 + 8?
False
Let z(p) = -5*p + 1. Does 6 divide z(-5)?
False
Let a = 4 - 8. Let o(m) = m**2 + 4*m + 2*m**2 - m**2. Is 5 a factor of o(a)?
False
Let k(p) = 4*p**2 - 12*p + 12. Let b be k(7). Let z be 88 - (1 - 0) - -1. Let g = b - z. Is g a multiple of 15?
False
Let y(o) = -o**2 + 4*o + 1. Let p be y(3). Let a = p - -1. Suppose -33 = -0*i - 5*i - n, a*i + 5*n = 25. Does 3 divide i?
False
Suppose 3*w + 62 - 290 = 0. Is w a multiple of 19?
True
Does 6 divide 2/2*(15 + 2)?
False
Suppose -4*k - 24 = -0*k. Let z = 6 + k. Suppose z = -2*g - 2*g + 20. Is 4 a factor of g?
False
Let x(h) be the first derivative of -7*h**4/2 - h**2 - h + 3. Is 5 a factor of x(-1)?
True
Let k be (0 - 1)*-2 + -1. Is 30 a factor of (-4932)/(-48) + k/4?
False
Suppose 2*m - a - 8 + 2 = 0, 3*a = 3*m - 3. Suppose -3*b - 12 = 3*k, 4*k + 0*k = -m*b - 16. Suppose -4*l + 96 = -b*l. Is 10 a factor of l?
False
Let q(x) = -5*x - 12. Is q(-16) a multiple of 19?
False
Suppose 0 = 4*c - 4*t - 20, -c - 3*t = 4*c - 65. Let u = c + -20. Let n(d) = -d**3 - 11*d**2 - 10*d + 7. Does 4 divide n(u)?
False
Suppose 0 = -40*h + 33*h + 126. Is 16 a factor of h?
False
Suppose -5*g + x + 21 = 0, 0 = -3*g + 4*x - 2*x + 14. Does 4 divide g?
True
Suppose 6*r - 2*r = 20. Suppose r*s = 3*z + 35, 4*s - 5*z = -s + 25. Is 8 a factor of s?
False
Suppose 0 = -4*f - 2 - 6. Does 4 divide 1/2 + (-13)/f?
False
Let w(p) = 14*p - 2. Let v = -5 - -8. Let q be w(v). Let o = q - 16. Is 11 a factor of o?
False
Let m = 25 + 50. Is 12 a factor of m?
False
Let v = -11 - -17. Is 6 a factor of v?
True
Let h = 29 - 13. Suppose 0 = 3*x - 2*y + h, 4*y - 24 = 2*x - 0*x. Does 5 divide (62/x + 1)/(-2)?
True
Let m = 19 + -14. Let x be (-1)/(-3) + 14/3. Suppose 4*s = -x*c + 33, 4 = 2*s + 5*c - m. Is 5 a factor of s?
False
Suppose -20 = -4*y - 3*q, 3 = -3*y + 5*q - 11. Is y even?
True
Suppose -12 = -s - 3*s. Suppose 60 = s*y - 57. Is 13 a factor of y?
True
Let h(d) = 12*d + 4. Let n be h(-3). Let u = -21 - n. Is 3 a factor of u?
False
Suppose 0*q + 2*q - 2 = 0, -3*a - q + 196 = 0. Does 13 divide a?
True
Let h = 22 - 16. Let p = h + -4. Suppose -4*v + p = -78. Does 10 divide v?
True
Let l = 48 + -23. Let j = l + -1. Does 12 divide j?
True
Is (2/5)/((-8)/(-1200)) a multiple of 15?
True
Let b(k) = k**3 - 8*k**2 + 8*k - 3. Let i be b(7). Suppose 4*s + 4*n = -144, i*s = 4*n + 29 - 213. Let z = s + 71. Is 10 a factor of z?
True
Suppose 0 = -5*a + a - 4. Suppose 2*n + 26 = -3*n + 4*b, 2*n + b = 0. Does 12 divide a/n + (-69)/(-6)?
True
Let d(o) be the first derivative of -7*o**4/4 - o**3 - o**2 - o + 1. Does 10 divide d(-2)?
False
Suppose j + 62 = 5*z - 2*z, 0 = 2*j - 8. Does 13 divide z?
False
Let b(i) be the first derivative of i**3/3 + i**2/2 + 11*i + 10. Let m(j) = -j**2 + 1. Let p be m(-1). Is b(p) a multiple of 11?
True
Let b = -20 + 30. Let m = 15 - b. Suppose -3*i - 12 = -y, m*i - 77 = -3*y + 1. Does 21 divide y?
True
Let b(j) = -j**3 - 3*j**2 - 5*j. Is 9 a factor of b(-4)?
True
Let z(h) = 6*h + 1. Let p be z(1). Let v = 7 - p. Does 14 divide 14 - (-1 + 1 - v)?
True
Suppose -p + 3 = 2*p. Let u(o) = 4*o**3 + 3*o**3 - 1 - o**2 + 0*o**2 + 3*o**2. Is u(p) a multiple of 3?
False
Let i(v) be the first derivative of 9*v**2/2 + v + 2. Suppose -a - 3 = k - 5, -5*k + 1 = 2*a. Does 10 divide i(a)?
False
Let j be (-1)/(-5) + (-532)/35. Let v be (-38)/(-6) + 5/j. Suppose -4*f = -v - 42. Is f a multiple of 12?
True
Suppose -2*u + 3*d = -d - 196, 3*d = 5*u - 455. Does 22 divide u?
True
Suppose 4*k - 3*k + 10 = 0. Is 10 a factor of 226/6 + k/15?
False
Let d(a) = -a**3 - 7*a**2 - 2*a - 14. Is 13 a factor of d(-8)?
False
Let f be (216/(-10))/((-9)/60). Suppose 4*g + 3*d - f = -g, 2*d = -g + 33. Is 6 a factor of g?
False
Suppose 4*z = 3*z - m + 3, -m = 0. Suppose z*x - 58 = 11. Is 10 a factor of x?
False
Let a(z) = -25*z**2 + 4*z - 2. Let b(d) = -13*d**2 + 2*d - 1. Let p(s) = 2*a(s) - 5*b(s). Is p(2) a multiple of 19?
True
Suppose w + 2*w - 5*c - 17 = 0, -c = 3*w - 47. Suppose 3*i 