= -9*f + 2. Is p(f) a multiple of 15?
True
Suppose 0 = 3*v - 4*v - 4*b + 2, -v - 3*b = -2. Suppose 5*s - h = 43 - 3, 2*s - 16 = -v*h. Is 8 a factor of (-4)/(-16) - (-126)/s?
True
Suppose 0*g + 28 = g. Let k = g - 13. Does 5 divide k?
True
Let y = 164 - 92. Suppose -5*k = 5*x - 180, x = -x - 3*k + y. Is 14 a factor of x?
False
Let y be 0/5 + -1 + -9. Let d be y/2*36/5. Let m = -17 - d. Is m a multiple of 19?
True
Let k(l) = 5*l + 3. Does 3 divide k(3)?
True
Let d = 1 - -60. Does 15 divide d?
False
Suppose -s + 1 + 1 = 0. Is (s - 0) + (10 - 7) a multiple of 5?
True
Suppose k + 1 = -4. Let r = -2 - k. Let w(t) = t**3 - t - 2. Is w(r) a multiple of 6?
False
Let o(p) = -p**3 + p**2 + p + 4. Let z be o(3). Is 15 a factor of z*(-4 - (-4)/4)?
False
Let q(f) = f**3 - 5*f**2 + 5*f + 1. Let s = -4 - -8. Let d be q(s). Suppose -d = -3*a + 22. Is a a multiple of 3?
True
Suppose -5*k = 3*c - 15, 2 = 2*c - 8. Suppose -4*m - 64 = -8*m - w, -3*m - w + 49 = k. Is m a multiple of 4?
False
Suppose -12 = 3*h, 0 = -2*v - 0*v + h + 12. Suppose 9*y - v*y = 255. Is y a multiple of 17?
True
Let y = 4 - 5. Let i(l) = -32*l. Let p be i(y). Let v = p + -2. Is 22 a factor of v?
False
Let v be 4/(-5)*(-120)/48. Let m be (-1)/4 - (-13)/4. Suppose -v*c = -c - m. Does 3 divide c?
True
Let b = 18 - -35. Is b a multiple of 17?
False
Suppose -5*u + 75 = 3*a, -5*a - u + 94 = -3*u. Is 9 a factor of a?
False
Let j(c) = -c - 1. Let x be j(0). Does 18 divide 123*(2 + x)/3?
False
Let v be (2 - 3) + 12 - -1. Let j = 8 + v. Does 10 divide j?
True
Suppose -3 = 4*c - 11. Let f be c/(-7) + (-3120)/(-42). Let a = -37 + f. Does 11 divide a?
False
Let h(d) = 2*d**2 - 14. Does 6 divide h(-5)?
True
Let m = 22 + 26. Is m a multiple of 12?
True
Let i be (-9)/3 - (-3 - -51). Let j = 73 + i. Does 14 divide j?
False
Let a = 5 + -4. Let n be (2 - 5 - 1)*a. Does 14 divide 4/16 + (-55)/n?
True
Let g(s) = -s**3 - 2*s**2 - s + 1. Let u be g(-2). Let l be 1 - (3579/u - 0). Is (-4)/(-26) - l/26 a multiple of 23?
True
Let r be (127/3)/(2/6). Let o = -67 + r. Suppose 5*n - 82 - 20 = -4*h, -3*n - 3*h + o = 0. Does 11 divide n?
True
Is 16 a factor of (1 + (-5)/3)/(2/(-249))?
False
Suppose 521 = 9*h - 271. Does 16 divide h?
False
Let d = -31 + 49. Is 14 a factor of d?
False
Let k(t) = 4*t + 1. Let a be k(-2). Suppose -r = -2*r. Let c = r - a. Does 7 divide c?
True
Suppose -2*l + 23 = -l. Suppose -8 = -c - 0*k + k, -2*c + 3*k = -21. Is (c/3)/(1/l) a multiple of 10?
False
Let u(f) = 10*f**2 + 6*f + 4*f - 8*f**2 - 3. Is 9 a factor of u(-7)?
False
Let w(n) = -7*n**2 + 1. Let j(l) = 14*l**2 - 2. Let v(p) = -4*j(p) - 9*w(p). Let c be (-2 + 1 - 1)/2. Does 5 divide v(c)?
False
Suppose 5*v + r + 5 = -2*r, -2*v = -3*r - 19. Let t be 30/v - (-10 + 9). Suppose -4*p - t = 0, -2*c = 2*c - 4*p - 64. Is 12 a factor of c?
True
Is ((-8)/(-10))/((-26)/(-1885)) a multiple of 28?
False
Suppose -k + 13 + 16 = 0. Suppose a - 6 = k. Is 11 a factor of a?
False
Suppose a - 3 = 4*c - 14, 2*c - 28 = -2*a. Does 4 divide a?
False
Let a = 7 - -21. Is a a multiple of 7?
True
Let d be (-11)/(-4) + 6/24. Is d/6 + (-27)/(-2) a multiple of 14?
True
Let t(o) = -o**2 - 4*o. Let v = 5 - 8. Is t(v) even?
False
Let b = -378 - -746. Let m be (b/20)/(1/5). Suppose 5*z - m = 4*a, -4*z - a + 62 - 1 = 0. Does 8 divide z?
True
Suppose 0 = 4*j - 155 - 61. Is j a multiple of 12?
False
Is 1*-10*30*-1 a multiple of 50?
True
Let v be 2/(-2)*0/1. Suppose 0 = -a - v*a + 24. Does 12 divide a?
True
Let b = -45 - -63. Is 9 a factor of b?
True
Let p(q) = 2*q + 21. Let c be p(-9). Suppose i - 3*i - 2*o = -22, c*i + 2*o = 34. Is i a multiple of 3?
True
Suppose 0 = 2*u + 4*x - 35 - 147, 2*u = 5*x + 200. Is u a multiple of 42?
False
Suppose 0*w + 3*w + 3*a = 9, w = -4*a - 9. Let j = w + -9. Is 18 a factor of (18/7)/(j/(-14))?
True
Suppose k + 15 = 3. Let x = k + 5. Let a = -4 - x. Does 3 divide a?
True
Let o(q) = -4*q. Let r be o(-1). Suppose 0 = -i - c + 8, 4*c = r*i - 0*i + 8. Suppose -h - 3*v + 0*v - 10 = 0, i*h - 25 = 2*v. Does 5 divide h?
True
Let p = 105 - 44. Is p a multiple of 7?
False
Does 2 divide -2 - 0 - (-6 + 2)?
True
Let a(h) = -h**2 + 17*h + 8. Is a(14) a multiple of 5?
True
Suppose 38 + 6 = 4*s. Suppose 6*t - 49 = -2*y + t, -5*t - s = -3*y. Does 12 divide y?
True
Let b = 9 - 1. Is b even?
True
Let q(o) = 10*o - 1. Let b be q(1). Suppose b + 3 = -p. Is 32/p*9/(-6) a multiple of 4?
True
Let m be -1*66/(-1) + -1. Suppose -3*o - 12 = s - 117, -5*o - 188 = -2*s. Let c = s - m. Does 17 divide c?
True
Suppose 0 = 13*l - 45 - 1411. Does 7 divide l?
True
Is 0 + 7 - (-4 + 1) a multiple of 5?
True
Suppose 0 = -5*s + 5, 4*s - 1087 - 149 = -4*h. Is h a multiple of 44?
True
Is (0 - 12/7)*2597/(-14) a multiple of 64?
False
Suppose -2*t + 5 = 4*a - 23, -85 = -5*t - 5*a. Does 10 divide t?
True
Let j be ((-6)/(-10))/(2/10). Suppose 0 = j*k - 8*k + 150. Is 13 a factor of k?
False
Let z = 269 - 189. Is z a multiple of 7?
False
Suppose 0 = -8*k + 3*k + 190. Let t be 1/(-6) - k/(-12). Suppose t = o - 12. Does 7 divide o?
False
Suppose -13*y = 7*y - 440. Is y a multiple of 11?
True
Let v(b) = 2*b + 5. Let z be v(6). Suppose 4*p + 24 = -3*q, -3*q - p - 24 = -2*p. Let l = q + z. Is 9 a factor of l?
True
Let d(i) = 2*i - 5. Let u be d(-8). Let c = -3 - u. Suppose -3*o = -6 - c. Is o a multiple of 7?
False
Let f = 5 - -3. Let c(t) = t**2 + t - 8. Let u(n) = 3*n**2 + 2*n - 23. Let r(k) = -17*c(k) + 6*u(k). Is r(f) a multiple of 11?
True
Let r be 17 - (2 - (-3)/(-1)). Does 11 divide 194/r + 2/9?
True
Let x(b) = -b - 1. Let s be x(-13). Suppose g - s = -0*g. Does 12 divide g?
True
Suppose 0*w + 86 = 3*w - 4*k, -k = 5*w - 151. Let h = w + -21. Does 4 divide h?
False
Let v = -22 - -35. Is v a multiple of 7?
False
Suppose 5*i - 3 = 37. Let h(m) = -m**3 + 9*m**2 - 7*m - 5. Let k be h(i). Suppose 5*q + 65 = 2*z, -k*z + 15 = -2*z + q. Does 9 divide z?
False
Let a(j) = -36*j**3 + j**2. Does 18 divide a(-1)?
False
Let q be ((-2)/(-4))/((-2)/(-72)). Is 3 a factor of ((-32)/(-24))/(4/q)?
True
Suppose 114 = 5*n - 61. Suppose -3*p = -j + 6 - 2, 4*j + 3*p = 16. Suppose 5*d + n = 3*m - j, m - 23 = 5*d. Does 8 divide m?
True
Let y(o) = o**2 + 14. Let h be (-19)/5 + 1/(-5). Let r = h + 4. Does 7 divide y(r)?
True
Is (-20)/(-4*(-1)/(-14)) a multiple of 10?
True
Let q = -9 + 14. Let l(c) = 4*c - 9. Does 6 divide l(q)?
False
Let t = -24 - -42. Does 10 divide 4/2 - (-4 - t)?
False
Suppose -4*k + 5*y - 540 = -9*k, 0 = 2*k - 2*y - 232. Suppose 0*d - k = -4*d. Is d a multiple of 8?
False
Suppose -2*i = 4*b + 568, -2*b = -7*b + 10. Is i/(-20) + (-8)/20 a multiple of 9?
False
Let p(y) = -6*y - 10. Let q be p(-13). Suppose -q = -6*b - 26. Is b a multiple of 3?
False
Let k(a) = -a**3 + 3*a**2 + 4*a + 1. Let q be k(4). Let y(n) = -n**2 + 6*n - 5. Let r be y(4). Let d = r - q. Is 2 a factor of d?
True
Let g(j) = -j - 18. Let m be g(-8). Let u be (-2)/(-5) - 16/m. Suppose u*t - 6*t = -68. Does 13 divide t?
False
Suppose -3*q + 3*t + 48 = 0, -1 - 3 = -4*t. Is 9 a factor of q?
False
Let t(n) = -n**2 - 11*n - 6. Let k be t(-10). Suppose -u + k = -6. Is u a multiple of 4?
False
Let f(u) = -3*u - 4. Let s = 6 + -12. Does 5 divide f(s)?
False
Suppose -5*d = -16 + 6. Is (-537)/(-12) - d/(-8) a multiple of 14?
False
Let z = 8 + -8. Suppose z = 9*r - 4*r - 55. Is 8 a factor of r?
False
Let b = 21 - 4. Does 10 divide b?
False
Suppose j - 1358 = -4*z, 1022 = 5*z - 2*z - j. Does 20 divide z?
True
Let s(u) = -u**2 - 3*u - 2. Let l be s(-3). Let d be (-1)/l + 2/(-4). Suppose d = -2*x + 3*k + 39, 34 = -4*x + 6*x - 4*k. Is 21 a factor of x?
False
Let s(r) = -4*r**2 - r. Let b be s(1). Let p = 7 + b. Suppose p*l = -1 + 7. Does 2 divide l?
False
Let k(c) = 10*c - 49. Is 5 a factor of k(9)?
False
Suppose 2*t + 5*o = -67, -t - 2*o = t + 52. Let j = t - -41. Does 5 divide j?
True
Let z = 5 - 8. Let g be (-2)/4*784/(-8). Let s = g + z. Is 23 a factor of s?
True
Let z = -128 + 254. Is 14 a factor of z?
True
Let t = -3 + 7. Suppose -t*u - 60 = -7*u. Does 20 divide u?
True
Suppose -m + 3*m = 0. Suppose m = -2*w + 4*x + 74, 71 = 2*w - 2*x - 3*x. Is w a multiple of 13?
False
Suppose 0 = -5*f + 2*m + 626 - 241, 77 = f + 4*m. Is f a multiple of 23?
False
Suppose -8 = 5*y - 28. Is 10/y + 4/8 even?
False
Let d(a) = -33*a - 2. Let r be d(-3).