(4 - 1)/(-3)?
True
Let a = 12 - 11. Let w = 13 - a. Is 4 a factor of w?
True
Let c(r) = 2*r + 6. Let f be c(-4). Does 12 divide f + (2 - -21) - 1?
False
Suppose -29 = -b - 4*q, -3*q + 8*q = -2*b + 49. Does 8 divide b?
False
Suppose d - 30 = -5*l - 4*d, 4*l + 21 = 5*d. Suppose l + 5 = 3*o. Suppose -o*k + 54 = 3*w, -k = -w - 2*w - 36. Is 10 a factor of k?
True
Suppose 2*l + 9 = -5*s, -16 = -4*l - 4. Is (-2)/(s/15 - 0) a multiple of 10?
True
Let u(x) = -x**3 - 6*x**2 - 2*x - 13. Let p be u(-6). Let n(w) = 65*w + 1. Let j(z) = z. Let s(b) = -2*j(b) - n(b). Is s(p) a multiple of 28?
False
Suppose -155 = -c - 4*c. Is 9 a factor of c?
False
Suppose -f + 3*j - 7*j - 11 = 0, -3*f - 3*j = -3. Suppose f*w - 561 = 59. Suppose -4*m - 4*x = -w, 4*m - x - 27 - 112 = 0. Is 17 a factor of m?
True
Let s(w) = w**2 - 6*w + 2. Let g be s(7). Let r be (6/g)/((-2)/3). Is (r - 7)*(-2 + 0) a multiple of 13?
False
Suppose 2*k + 5 - 45 = 0. Suppose -6*q = -2*q - k. Is q a multiple of 5?
True
Let b(h) = h**3 - h**2 + 24. Is 6 a factor of b(0)?
True
Let k(b) = 29*b + 10. Is 29 a factor of k(7)?
False
Let p = 103 - 60. Is 4 a factor of p?
False
Suppose -61 = -b + 6. Suppose 4*x = n - 21, -4*n - x = -9*n + b. Is n a multiple of 5?
False
Suppose 5*m + 14 = 2*i, -3*m - 2*m = 10. Let r be 30/9 - i/(-3). Is (-438)/(-27) - r/18 a multiple of 14?
False
Suppose 2*a - 5*h = 112, 5*a - 326 = -0*h + h. Suppose -2*k - 4*o = 1 - 5, 5*k - 4*o - a = 0. Does 4 divide k?
False
Suppose 0 = -5*s + 492 + 48. Let n be s/20 + (-4)/10. Suppose d + 6*b - 10 = 2*b, -d - n*b + 10 = 0. Is d a multiple of 4?
False
Is 8 + 39 + (-1 - (-2 + -1)) a multiple of 29?
False
Suppose l = -45 - 0. Let j be (-1)/(-4) + l/(-12). Suppose -5*m = -3*f + 16, -2*f - 3*f + j*m + 44 = 0. Does 6 divide f?
True
Let f(z) = -6*z**3 - 2*z**2 - 2*z - 1. Let s be f(-1). Let i be (6/s)/((-2)/10). Let q(a) = a**2 + 6*a + 5. Does 5 divide q(i)?
True
Does 27 divide (-2 - -1 - 52)/(-1)?
False
Let q = -5 + 9. Suppose 0*k + q*k = 204. Suppose -k = m - 4*m. Does 12 divide m?
False
Let w(k) = -k + 13. Let i = 11 + -22. Does 12 divide w(i)?
True
Suppose -p = 2*p - 111. Does 29 divide p?
False
Let w(m) be the second derivative of 2*m**3/3 - 7*m**2/2 + 2*m. Suppose -5*h + 3*n = -h - 32, 12 = -3*n. Does 13 divide w(h)?
True
Suppose 53 = 5*r - 2. Is r a multiple of 11?
True
Suppose 12 = 2*b - 3*q - 70, -q = -b + 41. Is b a multiple of 13?
False
Suppose 3*w - 4*l - 10 = 2*w, 0 = -3*w + 3*l + 39. Is 2 a factor of w?
True
Suppose 4*b + 2*w - 32 - 18 = 0, -2*b + 34 = -2*w. Suppose -2*d = 2*c - 0 + b, -5*d - 29 = 2*c. Does 11 divide (-113)/d + (-18)/30?
True
Let r be 1/(-5) + 63/15. Suppose k = p + 6*k - 22, -10 = -3*p - k. Suppose 2*y - r*t - 14 = -y, 4*y + p*t - 26 = 0. Is y a multiple of 6?
True
Suppose 4*g = -4, s - 5*s + 3*g = -15. Let q = -5 - s. Let u = -5 - q. Is 3 a factor of u?
True
Let r = 141 - 71. Does 14 divide r?
True
Suppose -m = 4*m + c - 41, 5*m - 36 = 4*c. Is 4 a factor of m?
True
Let c(i) = -7*i - 2. Suppose -3*w = 4*k + 8, -1 = -k + 5*w - 3. Let x be c(k). Suppose 0 = 2*j - 5*b - 33, -5*b - 2 = -j + x. Is j a multiple of 15?
False
Suppose 112 = -5*i + 612. Is 20 a factor of i?
True
Suppose 9*y - 120 = 4*y. Does 5 divide y?
False
Suppose 3 = -4*h - 1, 5*m = 5*h + 80. Suppose 3*o - m = -0*o. Suppose -2*g - 2*g = -o*y - 15, -5*g + 25 = -5*y. Is 4 a factor of g?
False
Let l(n) = n**2 - n + 22. Let q(i) = i**2 - 16*i + 15. Let m be q(15). Does 7 divide l(m)?
False
Suppose 3*f - 8 = -f. Suppose f*q = -7 + 17. Suppose -10 = q*w - 125. Is w a multiple of 10?
False
Suppose -7*z = -3*z - 32. Is z a multiple of 4?
True
Suppose 0 = -2*f + 6*f - u + 2, 4*u - 8 = 3*f. Suppose 4*x - d + f*d - 28 = 0, -40 = -4*x - 2*d. Is x a multiple of 7?
False
Let d = -9 + 15. Let h be 3/d + 2/(-4). Let l = 12 - h. Is l a multiple of 5?
False
Suppose 3*k - 2*k = 5*j - 284, 4*k = -2*j + 96. Is j a multiple of 18?
False
Let b(o) = o**2 - 3*o - 20. Is b(14) a multiple of 24?
False
Suppose 5 = -3*y + 4*y. Suppose 68 = -y*n + 273. Is n a multiple of 7?
False
Let x(w) = -w**3 + 4*w**2 + 5*w + 5. Let r be x(5). Let g = 30 - 3. Is (g - -1) + (r - 6) a multiple of 10?
False
Suppose 0 = -0*b - 3*b. Suppose 65 = 5*v + 5*m, b*v - 62 = -4*v + m. Is v a multiple of 5?
True
Let p = 17 - 17. Let u(t) = t + 8. Is u(p) a multiple of 4?
True
Let c(u) = 8*u + 14. Let l be c(-6). Let j = 54 + l. Is 20 a factor of j?
True
Suppose 3*g + 214 = 2*u + 4*g, -565 = -5*u + 5*g. Is 13 a factor of u?
False
Suppose j + 3 = -6. Let l(b) = 8*b + 7. Let n(q) = -q + 1. Let f(s) = -l(s) - 3*n(s). Is f(j) a multiple of 17?
False
Let u = 24 - 20. Is (-1)/(645/162 - u) a multiple of 12?
False
Suppose 0 = -5*r + d + 63 + 290, 280 = 4*r - 2*d. Does 20 divide r?
False
Suppose 0 = -9*m + 10*m - 27. Does 12 divide m/(-36) - 158/(-8)?
False
Does 27 divide (-81)/(-1)*(-7 - -8)?
True
Suppose 168 = -8*k + 12*k. Does 7 divide k?
True
Let m = -36 + 62. Is 13 a factor of m?
True
Let r(q) = -56*q - 22. Is 36 a factor of r(-5)?
False
Suppose 4*y + 2*i - 80 = 0, y = i + i + 30. Is y a multiple of 11?
True
Let v(g) = -g**3 - 5*g**2 - 4*g - 3. Is v(-5) a multiple of 7?
False
Let g = 6 + -4. Suppose 4*s + l = 20, -s - g*l + 20 = 2*l. Is s a multiple of 3?
False
Suppose -15 = -5*x - 4*w + 12, -5*x = -2*w - 9. Does 15 divide 11 - (-7 + x + 0)?
True
Let v(a) = 4*a**2 + 7*a + 9. Does 9 divide v(-4)?
True
Let q be -4*(-2 - (-23)/4). Let y = q - -28. Is 13 a factor of y?
True
Let k(y) = y + 12. Let m be k(-9). Is 5 a factor of (m - (3 + 1)) + 9?
False
Let o = -5 - 2. Let d(f) = -5*f - 14. Is d(o) a multiple of 9?
False
Suppose -19 = 4*z - 259. Is z a multiple of 30?
True
Suppose 5*w = h - 11, -5*h - 2*w + 29 = -w. Let b(i) = i**2 - 6*i + 5. Let p be b(h). Suppose -u - 47 = -5*l + 91, 0 = p*l + 5*u - 120. Does 11 divide l?
False
Let k(v) = 9*v**2 + 16*v - 4. Is 8 a factor of k(-5)?
False
Let n(k) = k**2 - 18*k - 1. Is 31 a factor of n(-3)?
True
Let n be -7*(3 - 69/21). Suppose 3*k + 2 - 5 = 0, -n*i = 4*k - 20. Suppose -4 = -4*a, 0 = l - 4*l + 4*a + i. Is 3 a factor of l?
False
Let w(s) = s**2 + 2*s - 8. Let l(q) = -6*q**2. Let j be l(1). Does 16 divide w(j)?
True
Suppose -d + 9 = -3*u, -5*d + 2 = -2*u - 4. Let z be d/(1 + -2 + -2). Suppose 3*p - p - 46 = z. Is p a multiple of 6?
False
Let w = -6 + 8. Let t(d) = 0 + d**w + 2 + 5*d - 6*d. Is 4 a factor of t(-2)?
True
Suppose -40 = -0*a - 4*a. Suppose 5*p + 5*l = -a, -p - 3*p + 5*l = -19. Does 16 divide ((-1 - p) + 1)*-16?
True
Let r be 3*(-5)/3*-1. Is 12 a factor of -66*(r/2 - 3)?
False
Suppose -c - 12 = 2*c. Does 12 divide (1 + 7/c)*-32?
True
Let w = -4 + 6. Suppose w*u - 63 = -c, 3*u - 2*c - 180 = -2*u. Is 15 a factor of u?
False
Suppose l = 4*l - 207. Suppose -4*q + q = 4*r - l, 5*q = 2*r + 89. Is 19 a factor of q?
True
Let k(u) = -u**3 + 7*u**2 - 2*u + 4. Let z(i) = i**3 - 7*i**2 + i - 5. Let l(f) = 6*k(f) + 5*z(f). Let r be l(6). Let m = 45 + r. Does 19 divide m?
True
Suppose 310 = 10*m - 5*m + n, 0 = -2*m - 2*n + 124. Does 3 divide m?
False
Suppose -1834 = -9*v - 43. Is v a multiple of 12?
False
Suppose 2*c = -c - 4*u + 95, 5*c + 5*u - 160 = 0. Does 20 divide c?
False
Suppose 272 = -3*l + 80. Does 17 divide 2/(-8)*(l - 4)?
True
Let u(i) = -1 - 5*i**2 - i**3 + i + 0*i**3 + 0*i. Let n be u(-5). Is 4/n - (-114)/9 a multiple of 7?
False
Suppose 24 = 5*y + 9. Suppose -y*b - 18 = 5*t, -4*b = 4*t - 9*t - 11. Is 12 a factor of 80/3 + t/(-9)?
False
Let b = -7 - -10. Suppose k + b*k - 52 = -4*t, 4*t - 8 = 0. Does 11 divide k?
True
Suppose -9 = -3*u + 3*b + 15, 5*u + 2*b = 47. Let v be 3*u/(3 - 6). Is 2/v + (-465)/(-27) a multiple of 14?
False
Suppose -4*n - 3 - 13 = 4*h, 4*n + 5*h = -21. Let f = n - -1. Is (-72)/f*(-3)/6 a multiple of 9?
True
Suppose -3*u = -680 + 209. Does 11 divide u?
False
Let g be (-102)/4*4/(-6). Let o = g - 9. Suppose 0*n - 5*p - 47 = -3*n, o = -2*p. Is n a multiple of 9?
True
Suppose 0 = -3*m - 5*o + 24 + 49, 0 = 3*o + 12. Is m a multiple of 8?
False
Let q = 1 + 11. Let f = q + -7. Does 2 divide f?
False
Let b be (-2 - -8)*1/2. Suppose -19 - 16 = -7*j. Suppose b*z - j = 28. Does 4 divide z?
False
Let k(j) = -3*j + 12. Does 9 divide k(-5)?
True
Suppose 8*s - 6*s = 44. Is s a multiple of 11?
True
Let a be (20/25)/((-2)/(-5)). Suppose 3*p - 24 = -a