(v) a multiple of 15?
False
Suppose -w + 10 = -0. Suppose -4*o + 10 + w = 0. Is 2 a factor of o?
False
Let t be (-3)/(-12) - 17/4. Let w(h) = -6*h + 1. Is 13 a factor of w(t)?
False
Suppose 4*n + 5*a - 303 = 0, a = n - 3*n + 147. Is 18 a factor of n?
True
Suppose -4*k - 4*i + 600 = -0*k, 0 = 3*k + 4*i - 446. Is 11 a factor of k?
True
Suppose -2*x - 38 = -5*k, -8*x + 4*x - 10 = k. Suppose -2*r - 3*f = -k*r + 615, 5*r + f - 783 = 0. Is 15 a factor of r/10 - (-15)/(-25)?
True
Let f be 3/(((-9)/2)/(-3)). Let z = 3 - f. Let d(n) = 19*n**2 - 1. Is 12 a factor of d(z)?
False
Suppose 2*i = 7*i - 25. Suppose 0 = -4*k + 11 + i. Let z = 26 + k. Does 15 divide z?
True
Let a be (-3 - -2) + (-3)/(-1). Let t = a + -3. Is 3 - (0 - (2 - t)) a multiple of 3?
True
Let q(o) = -o**2 - 7*o + 10. Let d be q(-8). Is (-357)/(-49) - d/7 a multiple of 7?
True
Let w(s) = s**2 + 3*s - 1. Let r be -2 - 1/(-2)*-4. Let t be w(r). Let a(q) = q**2 - 3. Does 3 divide a(t)?
True
Is 36 a factor of (2375/(-285))/(1 - 68/66)?
False
Let b = -42 - -65. Does 5 divide b?
False
Suppose -t - 6 = -68. Does 31 divide t?
True
Suppose -3 = n - 2. Is 4 a factor of (2 + n)*(4 - -6)?
False
Let d = -381 + 565. Is d a multiple of 13?
False
Suppose 4*w - 20 = -3*m, 4*m - 1 - 7 = 4*w. Suppose -5*c + 2*b + 218 = -0*b, 3*c - 136 = -m*b. Is 9 a factor of c?
False
Suppose -v - 58 = -6*v + 4*z, 0 = -5*v - 3*z + 44. Is v even?
True
Does 8 divide (3 - 15/9)*54?
True
Suppose -s = -2*s. Suppose 0 = j - s*j. Suppose -4*u + 9*u - 230 = j. Is 19 a factor of u?
False
Let f = 10 + -16. Let a = 6 + f. Suppose -4*c + 23 + 77 = a. Is c a multiple of 7?
False
Let b = 4 + -1. Let x = b + 3. Is 6 a factor of x?
True
Suppose 0 = n + 2*h - 3, -n + 10 = -6*h + h. Suppose -n*c - 21 = 4. Let i = c + 18. Is 13 a factor of i?
True
Let h be 26*3/6 - 1. Let u be (h/10)/((-8)/(-20)). Suppose 4*a = -3*w - 0*w + 43, 0 = -2*w + u*a + 57. Is w a multiple of 15?
False
Suppose k = 5*x - 0*x + 1, 4*k = 3*x - 13. Let f(q) = -15*q**3 + 2*q**2 - 1. Does 16 divide f(x)?
True
Let o(c) = -c**2 - c - 1. Let p(v) = -31*v**2 + 3*v + 4. Let h(g) = -5*o(g) - p(g). Suppose 3*i = 6*i + 3. Is h(i) a multiple of 14?
False
Let t(y) = y + 7. Is t(-4) even?
False
Suppose -5*b + 40 = s - 15, -201 = -3*s - 3*b. Is 18 a factor of s?
False
Let u(t) = t + 42. Is u(-15) a multiple of 20?
False
Suppose 0 = -8*f + 12*f - 460. Let m be (-1)/(36/(-35) + 1). Suppose -m = 5*y - f. Does 6 divide y?
False
Suppose -3*p + 174 = -4*i - i, 58 = p + i. Is p a multiple of 8?
False
Suppose 6*t - 220 = 2*t. Is t a multiple of 14?
False
Let n(k) = -k**3 + 7*k**2 + k + 7. Let p be (3*2)/((-9)/(-9)). Is 18 a factor of n(p)?
False
Suppose t - 7*t + 102 = 0. Is t a multiple of 3?
False
Let n(z) = -3*z - 8. Is 7 a factor of n(-5)?
True
Suppose 3*j = i + 3*i - 1, -3*i - 1 = -4*j. Let a = j - -2. Suppose -n = a*n - 32. Does 3 divide n?
False
Let x = -210 - -454. Is 39 a factor of x?
False
Let r(x) = -x**3 + 2*x**2 + x. Let p be r(2). Suppose p*g - 31 = 59. Suppose 0 = -12*w + 7*w + g. Is 9 a factor of w?
True
Let m = 234 + -157. Is 9 a factor of m?
False
Suppose 0 = -2*g - 1 + 17. Suppose 3 = -h + g. Suppose -64 = -4*f + w, -4*f + 78 - 30 = -h*w. Does 17 divide f?
True
Let q = -7 + -19. Let o be (-2)/(2/q - 0). Suppose 0 = -z - 4*l + 2*l + o, z = -5*l + 32. Does 8 divide z?
False
Does 6 divide 60*(21/15 - 1)?
True
Let m = 1 + 0. Let s = m + 1. Is 18/s + (-5 - -4) a multiple of 7?
False
Let h(p) = p**2 + 5*p + 6. Let k = -10 + 6. Let q be h(k). Suppose 0 = -q*o + f + 11, -4*f - 28 = -o - 5. Does 3 divide o?
True
Let k(r) = r**3 + 4*r**2 - 5*r + 1. Let s be k(-5). Let h = 3 - s. Let a = h - -38. Is a a multiple of 20?
True
Let v be -4*(-1)/(-2)*-2. Suppose -3*c + 11 + v = 0. Suppose 0 = 5*d - j - 62, c*j = -3 - 7. Is 5 a factor of d?
False
Suppose 5*b - 622 = -4*w + 279, 0 = 5*b - 5*w - 910. Does 16 divide b?
False
Let j = -1 + 10. Does 5 divide j?
False
Suppose -3*v - 2*j = -22 - 15, 2*v = -j + 23. Does 5 divide v?
False
Let j(b) = -30*b - 2. Let l = -6 - -4. Is j(l) a multiple of 26?
False
Let k = -4 + 9. Suppose k*d = 17 + 133. Is 15 a factor of d?
True
Suppose -3*x + 185 + 481 = 0. Is x a multiple of 18?
False
Suppose 0 = 2*s - 10 - 12. Let j = -25 + s. Let w = j + 38. Does 7 divide w?
False
Let d(r) = -r**3 - r + 53. Is d(0) a multiple of 15?
False
Suppose -i = d - 24, 2*i + 120 = 6*d - d. Is d a multiple of 8?
True
Let x(q) = -q**3 - 5*q**2 - 6*q - 2. Does 2 divide x(-4)?
True
Let y(l) = -l**3 - 4*l**2 - 10*l + 5. Does 20 divide y(-5)?
True
Let h(s) = s**2 + 5*s + 3. Let d be h(-5). Suppose 0 = 5*f + d - 78. Does 15 divide f?
True
Let j be 10/(-4) - 3/2. Let w be (1*-3)/(j/(-36)). Let i = 43 + w. Is i a multiple of 16?
True
Let z(p) = -p**3 + 4*p**2 + 3*p + 5. Let c be z(4). Let w = c + -10. Suppose 0*u - w = -u. Is u a multiple of 7?
True
Suppose 0*u + u - 10 = 0. Suppose -3*b + 52 - u = 0. Does 7 divide b?
True
Suppose 0 = -3*y + 3 + 15. Let z be 482/y - (-2)/3. Suppose z = 3*u - 15. Does 16 divide u?
True
Let q(r) = -r. Let s(k) = k**2 + 8*k - 3. Let u(v) = 4*q(v) + s(v). Does 18 divide u(-7)?
True
Suppose 2*u = u + 12. Suppose 5*s - 2*s - u = 0. Is (s - 2)*14/4 a multiple of 6?
False
Let s(d) = d**3 - 3*d**2 - 3*d. Let i be s(4). Suppose -u = i*u - 295. Is u a multiple of 25?
False
Let h(x) = -20 + 13*x + 20*x**2 - 4*x - 5*x**2 + 2*x**3 - x**3. Is 17 a factor of h(-14)?
False
Let p = 39 + -21. Does 5 divide p?
False
Let l(q) = -2*q + 79. Is 11 a factor of l(16)?
False
Suppose -4*k = f - 109, -2*f + 7*f - 2*k - 479 = 0. Is f a multiple of 39?
False
Suppose 16 = 5*q - 4*w, -3*q - 2 - 14 = 4*w. Suppose q = 2*j - 53 + 5. Is 10 a factor of j?
False
Let x(q) = 0 + 5 + 3*q**2 - 1 - 5*q. Is 16 a factor of x(4)?
True
Suppose -12 = -3*n, -4*v + 3*n = 12 - 4. Let q be 2*(-30)/(-4)*v. Suppose 3*k + 0*k - 59 = 4*h, -q = 3*h. Is 13 a factor of k?
True
Let o(h) = 6*h + 6. Let b be o(3). Let t be (2 - 3) + (6 - 0). Suppose 45 = 5*p - t*q, -q + b = 2*p + 3. Is 10 a factor of p?
True
Let c(n) = -5*n + 7. Let f(j) = 14*j - 22. Let q(h) = -17*c(h) - 6*f(h). Is q(-9) a multiple of 3?
False
Let r be (-3)/(-1) + 27/9. Is 3 a factor of ((-90)/20)/(r/(-8))?
True
Suppose 4*u - 10 = 5*t, 3 = 3*u - 5*t - 2. Suppose u*y - 41 - 99 = 0. Let k = y - 11. Is 12 a factor of k?
False
Is (-3 + -45)*(-2 - 0) a multiple of 35?
False
Let i(y) = -y**2 + 10*y - 3. Suppose 5*c = 4*p - 3 - 24, -4*p + 21 = -3*c. Suppose 2*h - 4*q - 47 = -p*h, 2*h = 4*q + 26. Is 9 a factor of i(h)?
True
Let z(q) be the second derivative of 5/12*q**4 + 4/3*q**3 + 0 - 1/20*q**5 - 2*q - 7/2*q**2. Is 5 a factor of z(6)?
True
Let q(u) = 5*u**3 + u. Let g be q(1). Let f = 9 - g. Is 12 a factor of 351/15 - f/(-5)?
True
Let y(b) = b**2 - b - 10. Let n be y(0). Does 11 divide (-27)/45 + (-266)/n?
False
Suppose -2*q = -4*l + 6, -3*l + 4*q = -4*l - 12. Suppose l = -u + 6 - 1. Let z(x) = 3*x - 4. Does 11 divide z(u)?
True
Suppose -5*f + 2*l + 112 = -414, 6 = -2*l. Does 26 divide f?
True
Let u be -2*1/(-2) + -9. Let y = u - -3. Let c = 22 + y. Does 8 divide c?
False
Let w(k) = -k**2 + 26*k - 28. Does 7 divide w(21)?
True
Suppose 3*o - 354 = -3*d, -5*d + 469 = 3*o + o. Is 10 a factor of o?
False
Let r = 6 + -3. Suppose 34 = r*m + 7. Is (12/m)/(2/21) a multiple of 14?
True
Let z(p) = p + 10. Let n be z(-7). Suppose -3*k + 90 = n*j, 0 = -2*k + 4 + 2. Is j a multiple of 16?
False
Let z = -2 + 6. Suppose z*x = -x. Suppose 0*p - 3*p = -2*k + 54, k - 4*p - 22 = x. Is 11 a factor of k?
False
Let y = 0 - 1. Does 14 divide (y + -25)/(-1) - -1?
False
Let j(h) be the third derivative of -h**2 + 0 + 1/3*h**3 + 0*h - 5/24*h**4. Is 6 a factor of j(-2)?
True
Is (-28)/(1 + 1 + -4) a multiple of 14?
True
Let s(x) = -8*x + 5. Let h = -12 - -6. Let o be s(h). Let m = 83 - o. Is 11 a factor of m?
False
Let w = -50 - -81. Is w a multiple of 12?
False
Suppose 3*k + c - 15 = 0, 0*k - 3*k + 2*c = -6. Is 4 a factor of k?
True
Is 46 + 1 - 3*(-2)/6 a multiple of 12?
True
Suppose -3*w = -8*w. Suppose 4*p = -w*p. Suppose -3*x - 57 = -2*g, 36 = g - p*g - 4*x. Is 12 a factor of g?
True
Suppose -2*s + x + 23 = -39, 3*s + 4*x = 115. Suppose 0 = -0*p - p + 17. Let d = s - p. Does 13 divide d?
False
Let h = -17 - -29. Suppose -5*n + d + h = 0, 4 = n + 3*d - 4*d. Is 2 a factor of