= 151. Does 13 divide j?
True
Let y(w) = 24*w + 44. Is 20 a factor of y(12)?
False
Is 10 a factor of (-3)/1 - (20*35)/(-4)?
False
Let g = -39 + 72. Suppose -5*d + g = -2*d. Is d a multiple of 11?
True
Suppose -r + 5*q + 18 = 3*r, 2*r = q + 6. Suppose r*y - 5*y + 144 = 0. Suppose -2*b - 70 = -5*z + 3*b, -2*b = -4*z + y. Does 4 divide z?
False
Let x = -17 + 79. Does 13 divide x?
False
Let z be 138/(-7) - 20/70. Let u = 35 + z. Is 5 a factor of u?
True
Let y(p) = 12*p + 1. Let i be y(-4). Let c be 2 + 0 - 2*i. Suppose 3*s + s - c = 0. Does 12 divide s?
True
Let b(h) = 4*h + 9. Is b(9) a multiple of 32?
False
Let h(t) = 69*t**3 - t**2 - 2*t + 2. Does 18 divide h(1)?
False
Let n = 90 - 55. Let o be (n/15)/((-1)/3). Let j = o - -12. Is 2 a factor of j?
False
Let y be (-18)/63 - 284/(-14). Is 5 a factor of ((-12)/(-8))/(3/y)?
True
Suppose 0 = -5*y + 2*y + 3. Let f be (4/8)/(y/2). Is 17 a factor of 17 - (-1 + 1)*f?
True
Let w = -12 - -17. Suppose 2*p - 13 = -8*h + 5*h, w*h + 4*p = 21. Suppose -4*n = -2*c - 5*n + 29, h*n - 17 = -2*c. Does 9 divide c?
False
Let u(z) = z**3 - 2*z**2 + 4. Suppose 22 = -h + 5*q, 8*q - 25 = 3*q. Does 3 divide u(h)?
False
Suppose -q = 4*b - 21, -3*b = -q - 0*b + 35. Is 23 a factor of q?
False
Suppose 1 = t, r + 2460 = 5*r - 4*t. Let k be r/(-6) + 2/3. Is 13 a factor of (k/15)/((-2)/10)?
False
Suppose 3*w + 3*i = 8*i + 12, 5*w = -5*i - 20. Is 16 a factor of w + (72 + -3)/3?
False
Let t = 3 + -3. Let u = 16 - 3. Suppose t = n - 3 - u. Does 8 divide n?
True
Suppose -107 - 1 = -4*m. Is 9 a factor of m?
True
Let d(a) = 8*a**3 - 3*a**2 + a. Is 14 a factor of d(2)?
False
Let m(c) = 7*c - 7. Let s be m(7). Suppose 0 = -u + 4*u + s. Is 14 a factor of (1 + 6/(-2))*u?
True
Suppose 0 = 3*r + k - 244, -3*r = 2*r + 5*k - 410. Is 27 a factor of r?
True
Let c(t) = t**3 - 5*t**2 - t + 5. Let v be c(5). Suppose -2*y + v*y + 10 = 0. Is y a multiple of 5?
True
Let k = -3 + 4. Let u = 4 - k. Suppose -2*a - 30 = -u*a. Is a a multiple of 15?
True
Let n = 8 - 6. Let u(y) = 3*y**2 + 2*y - 2. Let q be u(1). Suppose q*h = n*h + 28. Does 14 divide h?
True
Let p(b) = -22*b**3 - b - 1. Let y be p(-1). Let x(h) = h**2 - h - 4. Let q be x(3). Suppose y = 2*v + q. Does 5 divide v?
True
Let h(x) = -x**3 - 12*x**2 + 5*x - 3. Let p be h(-12). Let i = -37 - p. Is i a multiple of 13?
True
Let f(t) = -2*t + 1 - 4 - 14*t**3 + 2 + 0. Is 11 a factor of f(-1)?
False
Let o = -12 + 13. Is (14 - o) + 8/(-4) a multiple of 3?
False
Let a be (-2)/(-3 + 44/16). Is 0 + 4 + a + -7 a multiple of 2?
False
Let t(p) = 15*p - 11. Let g(s) = -7*s + 6. Let z(w) = -11*g(w) - 6*t(w). Is z(-1) a multiple of 12?
False
Let w = 176 - -68. Suppose 4*x + w = 8*x. Is x a multiple of 21?
False
Let f(v) = 3*v**3 - v - 2*v - 3 - 1 - 3*v**2. Let h(a) = a**3 + 7*a**2 + 5*a - 3. Let k be h(-6). Does 19 divide f(k)?
False
Let c be 497/2 - 1/(-2). Let u be c/(-6) + (-1)/(-2). Let r = -18 - u. Is 14 a factor of r?
False
Suppose 0 = -w + 5*w - 280. Let x = 2 - -1. Suppose 2*y + x*y = w. Does 11 divide y?
False
Let c be (-76)/5 - 6/(-30). Suppose 0*k - 7 = d - k, 5*k = d + 3. Let w = d - c. Does 6 divide w?
False
Suppose -3*c + 410 = -c. Is 10 a factor of c/10 + 1/(-2)?
True
Let k(a) = a**3 + 3*a**2 - 7*a. Let m(b) = b**3 + 2*b**2 - 6*b - 1. Let q(o) = -3*k(o) + 4*m(o). Let d be q(3). Suppose -d*p + 3 = -32. Is 7 a factor of p?
True
Let t be (-1)/(-4) - (-1314)/24. Let r = t + -18. Is 11 a factor of r?
False
Let l = 9 + -1. Suppose w = 6 + l. Is w a multiple of 7?
True
Let x = 20 + 250. Suppose 5*b + 0*b = x. Is b a multiple of 18?
True
Let a(d) = d**3 + 14*d**2 - 18*d - 15. Let n be a(-15). Suppose -2*u + 5*u = n. Is 5 a factor of u?
True
Suppose -2*y + 198 = 3*s - 7*s, -3*y + 5*s + 295 = 0. Is y a multiple of 16?
False
Let k = -1 + 1. Suppose k = 4*f - 5*f + 5. Is f even?
False
Let m = -11 - -17. Suppose -m = -p + 1. Does 7 divide p?
True
Let c(v) be the first derivative of v**4 - v**3 + 3*v**2/2 - 2*v - 3. Is 12 a factor of c(2)?
True
Let p = -12 - -9. Let q be 1/(-3)*(-5 + -1). Is 4 a factor of (p/q)/(2/(-8))?
False
Let i(c) = -6*c. Let h be (-2*1/2)/1. Let p be i(h). Suppose 4*a = p*a - 62. Is a a multiple of 15?
False
Let w = 69 + -17. Does 26 divide w?
True
Let v(d) = 4*d + 11. Does 16 divide v(7)?
False
Suppose -2 = 2*d, 10*d - 5*d = c - 56. Let v = c - -31. Is 16 a factor of -1 + v/((-2)/(-1))?
False
Does 21 divide (-4)/6 + 764/24*2?
True
Suppose 3*z + 5*w + 73 = 0, z = -5*w + 3*w - 26. Let c = 10 + z. Is (-9)/6*92/c a multiple of 13?
False
Let t(u) = 4*u**2 + 2*u + 1. Is t(4) a multiple of 27?
False
Let v(k) = k**2 - 11*k + 58. Is v(18) a multiple of 26?
False
Let g(z) = -z + 6. Let a be g(0). Let b(u) = 0*u + 6*u**2 - u**3 - 2 + 0*u + u. Is b(a) even?
True
Let m(w) = 22*w + 1. Does 11 divide m(2)?
False
Let c be (-1)/2 + 325/26. Does 10 divide c + 2/(2 - 3)?
True
Suppose -k + 9 = -z, 5*k - 3 = 3*k - z. Let p be (-1 + 1/1)/2. Suppose k*g + 5*n - 73 = p, -g + 5*n = g - 29. Does 17 divide g?
True
Suppose 0 = 5*q - 20. Let u(b) = 7*b - 2. Is 14 a factor of u(q)?
False
Let r = 2 + 1. Suppose -5 - 5 = 5*v, 4*j - 62 = r*v. Is 5 a factor of j?
False
Let z(c) = -3*c**3 - 2*c**2 - 2*c - 1. Let d be z(-1). Let w be d/(-3) + 14/3. Let i(f) = 2*f**2 + 3*f - 6. Does 19 divide i(w)?
True
Let m = -5 + 12. Is m a multiple of 3?
False
Let c be -6 + 5 - (-2 - -1). Suppose -3*x - 11 = -4*x - 2*a, -4*a + 8 = c. Is x even?
False
Suppose 0 = -3*u - 2*m + 2, -2*u = -0*u + 3*m - 3. Let k = 4 + u. Suppose 0 = 4*h + c - 18, 4*h - 30 = k*c + c. Does 4 divide h?
False
Let m = 56 - 28. Is 8 a factor of m?
False
Let u = 12 - 41. Suppose 2*x - 3*h - 90 = 0, 0 = -3*h - h - 8. Let l = x + u. Is l a multiple of 9?
False
Suppose -5*n - 11 = 54. Let r = n - -22. Is r a multiple of 9?
True
Let y be ((-152)/(-10))/(2/5). Suppose 4*s = 4*q - 32, 2*s + 14 + y = 5*q. Is 12 a factor of q?
True
Suppose -3*y + 4*y + 2 = 0. Let u = 9 - y. Is u a multiple of 8?
False
Let x = 1 + 4. Suppose 0 = -5*w - r + 165, x*r + 66 = 2*w + 3*r. Is 6 a factor of w?
False
Let q(v) = -6*v - 6. Let w be q(-13). Suppose 4*j = -3*d + w, -120 = -3*d - 2*d + 4*j. Is 13 a factor of d?
False
Let x(y) = -55*y**3 + 2*y**2 - 5*y + 2. Let j(p) = -164*p**3 + 5*p**2 - 14*p + 5. Let h(c) = 3*j(c) - 8*x(c). Is 26 a factor of h(-1)?
True
Let p(w) = -5*w - 5. Is p(-6) a multiple of 12?
False
Let j(b) = -7*b + 1. Let z be j(2). Let g = -4 - z. Is g a multiple of 3?
True
Let k(b) = -b**3 - 6*b**2 + 4*b - 1. Let n be k(-6). Let v = n - -55. Is 19 a factor of v?
False
Let a(l) = l**2 - 8*l + 8. Let y be a(7). Suppose y + 41 = p. Is 14 a factor of p?
True
Let g = 11 + 8. Let b = 9 + g. Is b a multiple of 15?
False
Let y = -17 - -20. Let r = -279 - -398. Suppose -4*l - 2*n + r = -17, -24 = -l - y*n. Is 15 a factor of l?
False
Let x(y) = 4*y - 38*y**3 + 7*y**3 + 0*y - 3*y. Is x(-1) a multiple of 11?
False
Suppose b = -0*b + 3*i + 33, 5*b - 4*i - 121 = 0. Is 7 a factor of b?
True
Suppose -3*f = 2*g - 51, g = -5*f + 6*f + 18. Suppose n = -n - 3*q + g, 3*q = n - 33. Does 18 divide n?
True
Suppose -2*f + 20 = -2*o - 18, 0 = 3*f + 4*o - 50. Let g = f - 4. Is 7 a factor of g?
True
Let m(g) = 0 - 2 - 7*g + 4 + 19*g. Does 10 divide m(3)?
False
Let a = 2 - -2. Suppose -2 + 18 = a*f. Does 2 divide f?
True
Let q be (-6)/(-15) + (-654)/(-15). Let v = q - 25. Is 16 a factor of v?
False
Let z(r) = 84*r + 1. Let j be z(1). Suppose -2*a - 5*p = -5*a + j, 0 = -5*p + 20. Suppose -a = -7*n + 2*n. Is n a multiple of 5?
False
Let p(s) = -s**3 + 3*s**2 + 2*s + 4. Suppose 0 = -2*j - 0*j + 4. Suppose -j*w + 5 = -1. Is 5 a factor of p(w)?
True
Let o = 17 + 16. Suppose -3*a + o = -39. Is a a multiple of 10?
False
Let q(d) = 2*d**3 + 10*d**2 - 3*d + 7. Is q(-5) a multiple of 5?
False
Let b = -10 + 7. Does 20 divide (-29 + b/3)*-2?
True
Let j(l) be the second derivative of -l**5/10 - l**4/4 - l**3/3 - 3*l**2/2 - 2*l. Is 10 a factor of j(-3)?
True
Let v(u) = 0*u**2 - 2*u**2 + u**2 - 10*u + 6. Is v(-9) a multiple of 6?
False
Let u = 326 - 204. Does 17 divide u?
False
Let z = 166 - 74. Is z a multiple of 23?
True
Let t = 73 - 40. Is 4 a factor of t?
False
Suppose 4*q - 248 = y, -y + 125 + 68 = 3*q. Is q a multiple of 14?
False
Suppose -5*z + 37 = -0*z - 3*g, -z = g - 1. Suppose z*w - 349 = 26. Does 25 d