False
Is 512/24*(0 - -3) a multiple of 22?
False
Let n = -24 + 32. Is 4 a factor of n?
True
Suppose -8 = -5*g + 7. Is (1 - g/9)*9 a multiple of 5?
False
Suppose -5*u + 5*h + 845 = 285, 3*h = -4*u + 413. Does 8 divide u?
False
Suppose -3*v - 5*d = 40, v + 0*d + d + 14 = 0. Does 15 divide v/2*24/(-9)?
False
Suppose 1 = -z, 5*r - 3*z - 232 - 131 = 0. Suppose -3*f + f + r = 0. Is 18 a factor of f?
True
Let v(t) = t**2 + 3*t + 1. Let q be v(-4). Suppose 29 = 2*l - l - q*x, 5*l - 33 = -3*x. Is 9 a factor of l?
True
Does 2 divide ((-128)/24)/(2/(-3))?
True
Let w(u) be the third derivative of -u**6/120 + 2*u**5/15 + 2*u**3/3 + u**2. Let c be w(8). Suppose -40 + 0 = -c*n. Does 10 divide n?
True
Let x = -20 + 59. Is 31 a factor of x?
False
Is 10 a factor of 1 + 2 + 7/(7/67)?
True
Let v be (2/(-4))/((-4)/56). Does 10 divide 1027/91 + (-2)/v?
False
Let h = 21 + 2. Let a = -10 + h. Suppose -5*p + 78 = 4*t, a - 49 = -2*p - 4*t. Is p a multiple of 7?
True
Suppose -2*g - 7 = -3*g. Let y = 10 - g. Suppose 2*m - 3*m + y = 0. Is 3 a factor of m?
True
Let v be 65/2 - (-4)/(-8). Suppose 3*j - v = 5*n, j - 2*n = -n + 8. Suppose 0 = -j*z + 2*l - 15 + 145, 0 = 5*l + 25. Does 15 divide z?
True
Let j be 516/(-8)*(-4)/6. Let z = -29 + j. Is ((-12)/z)/((-2)/112) a multiple of 17?
False
Suppose 45 = 2*l - 5*d, 3*d + 70 = 5*l - d. Is 10 a factor of l?
True
Suppose 0 = 4*i - 29 - 7. Is i a multiple of 5?
False
Let u(g) be the second derivative of -g**3/6 - 3*g**2/2 - g. Let s(n) = -3*n + 8. Let z be s(6). Is u(z) a multiple of 7?
True
Let c(n) = n**3 - 4*n + 3. Suppose g - z = -0*g - 3, 4*g + 3*z = 23. Does 3 divide c(g)?
True
Is (-355)/2*-6*(-6)/(-45) a multiple of 30?
False
Let k be 1*(-103)/(-2 + 1). Suppose k = 3*t - 3*u - 8, -u = -3*t + 101. Suppose -t - 148 = -5*x. Does 12 divide x?
True
Let c = 30 + 1. Is 7 a factor of c?
False
Let k = 161 + -151. Is 5 a factor of k?
True
Suppose -g - 4*b = 6, 5*g - b + 6 = 3*b. Is 27 a factor of (-2960)/(-55) - g/11?
True
Let d = 17 + 5. Is d a multiple of 17?
False
Let f(y) = y + 14. Is 2 a factor of f(-7)?
False
Suppose -3*t - 5*n = -5*t + 160, 2*t - 4*n = 164. Is 45 a factor of t?
True
Let q = 104 + -55. Is q a multiple of 7?
True
Suppose 6*k = 2*k. Suppose k = -5*z + 216 - 1. Is 16 a factor of z?
False
Suppose 2*f = -f + 204. Is f a multiple of 23?
False
Let i(u) = 2*u**2 - 2*u - 1. Suppose a = -0*a - 1. Let w be i(a). Suppose w*l - 100 + 1 = 0. Is l a multiple of 12?
False
Let y(o) be the third derivative of o**4/24 + o**3 + 3*o**2. Is y(7) a multiple of 5?
False
Let n(f) = f - 5. Let k = -6 + 11. Let w be n(k). Let p = w + 19. Is 10 a factor of p?
False
Suppose -2*s - 4*i - 6 = 2, 5*s - i - 24 = 0. Let u be s/(-2) + 21 + 0. Let l = 31 - u. Is l a multiple of 12?
True
Suppose 0 = -n - 2*u + 245 - 4, 9 = 3*u. Is 40 a factor of n?
False
Suppose t - 11 = -7. Suppose -t*y = 5*i - 130 - 24, -2*y + 64 = -4*i. Does 12 divide y?
True
Let u(h) = h**2. Let m = 6 + -1. Suppose 5*w + k = 15, 4*w - 7*w + m*k + 9 = 0. Is u(w) a multiple of 3?
True
Let k(o) = -29*o + 2. Let j be k(-2). Let m be (j/(-18))/((-4)/6). Suppose 5*a + c - 29 = 0, 6*c - c + m = 0. Does 5 divide a?
False
Let i(p) = -p**2 + p + 2. Let z be i(0). Let x(f) be the third derivative of f**6/120 - f**5/60 + f**4/8 - f**3/3 + f**2. Is x(z) a multiple of 4?
True
Suppose 10 = 2*j - 10. Suppose -5*m - 2*u - 45 = -j*m, -2*m = -3*u - 7. Does 11 divide m?
True
Let y(b) = 3*b + 8. Let m be y(7). Let n = m + 19. Is n a multiple of 12?
True
Suppose 5*u - 2*u = 18. Let z(a) = -a + 4*a - u - 6*a + 2. Does 14 divide z(-6)?
True
Let h = -11 - -11. Let a(j) be the third derivative of -j**4/24 + 11*j**3/3 - j**2. Does 13 divide a(h)?
False
Suppose 5*d - 3*d = 0. Suppose -5*m + 28 + 17 = d. Is 6 a factor of m?
False
Suppose -5*z = -4*t - 255, 2*t = -8*z + 3*z + 255. Suppose 0*g - 5*g = 2*x - z, -5*g - 5*x + 45 = 0. Is 9 a factor of g?
False
Suppose 11*h = 6*h + 610. Does 12 divide h?
False
Suppose -p + 2*y + 12 = -22, -4*p + 106 = 2*y. Suppose -p = -c + 8. Is 18 a factor of c?
True
Let t(f) = f**3 - 5*f**2 + 3*f + 9. Is 9 a factor of t(7)?
False
Let l = -52 + 90. Let n = -20 + l. Is n a multiple of 10?
False
Let g be 1 + -3 - 20/(-1). Suppose -2*h - z = -6, -2*z - 2 + g = 5*h. Is h even?
True
Suppose -73*k + 70*k + 204 = 0. Does 3 divide k?
False
Suppose -3*h - 21 = 3*y, -3*y + 5*h + 5 = 10. Let w = y - -6. Let i(o) = 18*o. Does 15 divide i(w)?
False
Let z(x) = -7*x - 1. Let p = -9 - -15. Suppose -15 = -h + p*h. Does 7 divide z(h)?
False
Is -4*(-7 + 4 - 0) a multiple of 12?
True
Suppose 11 = 2*d - 2*s - 47, -3*d + 93 = -s. Let n = 49 - d. Does 9 divide n?
False
Let z be (0 + 2/(-6))*-3. Is 18 a factor of -2*z*(-69)/6?
False
Does 12 divide 6/14 + 3237/91?
True
Suppose -43 - 14 = -q. Does 12 divide q?
False
Let z be (32/48)/((-4)/(-138)). Let g = -7 + z. Does 16 divide g?
True
Suppose 0 = 5*v + 10, 0 = -5*w + 4*w - 2*v + 41. Is w a multiple of 12?
False
Let p = -21 + 23. Is 13 a factor of 41/(p*4/8)?
False
Let l = -9 - 3. Let c(j) = 2*j + 1. Let s be c(-1). Is ((-56)/l)/(s/(-3)) a multiple of 8?
False
Suppose -230 = 3*h + 286. Let v = h + 250. Is 26 a factor of v?
True
Suppose 0 = 2*q - 19 - 3. Does 3 divide q?
False
Let y(x) = 2*x**3 - x**2 + 5*x - 7. Is y(3) a multiple of 10?
False
Suppose -p - p - 4*n = -84, n + 243 = 5*p. Is p a multiple of 24?
True
Let c(b) = 9*b**2 - 7*b + 4. Let x be c(4). Suppose 2*g = -3*g + x. Is g a multiple of 12?
True
Suppose 7*w - 79 - 124 = 0. Is w a multiple of 3?
False
Suppose 4*p - 2 = 3*p. Suppose -p*j + 23 = -87. Is j a multiple of 22?
False
Suppose t + 15 = y, -4*y - 3*t = 2*t - 15. Let h be 2/5 + (-16)/(-10). Suppose y = h*m - 44. Is m a multiple of 17?
False
Let f be 8/10 + (-130)/(-25). Suppose 168 = -f*j + 9*j. Is 14 a factor of j?
True
Let k(w) = -23*w - 4. Suppose -4*p - 5 = -3*u + 12, 3*u - 15 = 3*p. Is 11 a factor of k(p)?
False
Let q be 0/((-6)/(-2) + -2). Suppose q*o - 3*g = o - 58, -5*g = 2*o - 111. Is 11 a factor of o?
False
Let i(m) = -6*m**3 - 2*m**2 - 2*m - 1. Let h be i(-1). Let d = -4 - -4. Suppose h*n - 8 = -o, d*n = -2*o + 4*n + 2. Does 2 divide o?
False
Let v = 125 + -67. Is 12 a factor of v?
False
Suppose -f + 3*f - 56 = 0. Suppose -2*n = 2*n - f. Is n even?
False
Let a = -27 + 13. Let b be 4/14 - (-172)/a. Is (-10)/(-3)*b/(-8) a multiple of 5?
True
Let a(t) = 9*t + 2. Does 31 divide a(10)?
False
Suppose -g - 4*u = -2*g + 5, 4*g - 20 = 3*u. Suppose z - g*s = 32, 0 = 4*z + 2*s + s - 174. Is 12 a factor of z?
False
Suppose 2*y + 8 = 0, -5*g - y = -4*y - 1412. Suppose -z = -5*z + g. Is (4/5)/(4/z) a multiple of 14?
True
Let m(r) = -2*r - 3. Is 5 a factor of m(-7)?
False
Suppose 2*g = 6*g - 148. Does 10 divide g?
False
Suppose -22 = 2*y - 104. Is 11 a factor of y?
False
Is (3/4)/(2/48) a multiple of 4?
False
Let u(c) be the first derivative of -3*c**2/2 - 4*c + 2. Suppose 0*v + v = -8. Is 20 a factor of u(v)?
True
Let m be 3 + -1 + 28 + -3. Let z be 12/7 - 4/(-14). Suppose h - z*h + m = 0. Is 9 a factor of h?
True
Let w(o) = o**3 + 2*o**2 + 2. Let t be w(-3). Let v = 7 - t. Is v a multiple of 5?
False
Let j = 79 + -146. Let a = j - -116. Does 26 divide a?
False
Does 9 divide 9/12*(-1220)/(-5) + -3?
True
Let g = 125 + -62. Is g a multiple of 16?
False
Suppose 57 = 4*i - 3*i. Does 19 divide i?
True
Suppose b = 4*b - 18. Is 3 a factor of b?
True
Suppose -3*f - u = -44, -2*f + u = -3*f + 18. Is 13 a factor of f?
True
Let m = -223 - -332. Does 22 divide m?
False
Let s(w) = w**2 - 7*w + 5. Is 11 a factor of s(8)?
False
Let f(q) = q**2 - 4*q + 4. Let r be f(3). Let p be r + 2 + -2 + 6. Let l(c) = c**3 - 6*c**2 - 4*c + 2. Does 9 divide l(p)?
False
Let g(h) = -h + 3. Let q be g(-6). Suppose 2*y - q = y. Does 4 divide y?
False
Let l = -5 + 5. Suppose l = 3*w - w - 26. Suppose -y + 12 = -w. Does 9 divide y?
False
Let b(y) = -y. Let d(q) = -3*q - 4. Let z(j) = 4*b(j) - d(j). Let t = -2 - 3. Is 9 a factor of z(t)?
True
Let x(v) = 3*v**2 - 7*v + 4. Let j(w) = -w**3 - 6*w**2 + 5*w - 9. Let f be j(-7). Is x(f) a multiple of 9?
False
Let w = -159 + 162. Suppose i + 32 = 5*i. Suppose 4*j = w*j + i. Does 3 divide j?
False
Suppose 4*v = -7 + 35. Let u(w) = 2*w - 10. Let i be u(v). Suppose i*k = 16, k = 4*t + 3*k - 28. Does 2 divide t?
False
Let i(d) = -d