f a multiple of 12?
True
Let m(x) = -x**2 - 10*x + 9. Is m(-7) a multiple of 5?
True
Let x(z) = 20*z + 50. Is 58 a factor of x(19)?
False
Is 3 a factor of ((-28)/(-35))/(4/(-10)) + 63?
False
Let d = -24 - -56. Suppose -2*c = -4*c + d. Does 16 divide c?
True
Let j(b) be the second derivative of -b**5/20 + 7*b**4/12 - 5*b**3/6 + 3*b**2/2 + 2*b. Does 14 divide j(5)?
True
Suppose v + 5 - 9 = 0. Is v/2*261/6 a multiple of 29?
True
Suppose -2*j = -j - 555. Suppose -r - j = -6*r. Suppose -4*i - 7 = -r. Is 9 a factor of i?
False
Suppose -2*f = -0 - 2. Let q(t) = 19*t**2 - 2*t + 2. Does 5 divide q(f)?
False
Let l(y) be the second derivative of -20*y**3/3 + 5*y. Suppose 3*q - 5*q - 2 = 0. Is 20 a factor of l(q)?
True
Let u(z) = 3*z + 1. Let y be u(3). Let f be (5/y)/((-1)/(-8)). Is 274/10 - f/10 a multiple of 13?
False
Let f = 45 - -91. Suppose -12*a = -8*a - f. Is 17 a factor of a?
True
Suppose -5*f - 2 = -92. Is f a multiple of 18?
True
Suppose 0 = 10*p - p - 2484. Is 48 a factor of p?
False
Let z = -184 + 126. Is 27 a factor of (-1)/(-4)*-2*z?
False
Suppose 2 = 4*v + 22, -2*q - 4*v = 16. Does 4 divide -4 + q + 30 + 3?
False
Let p = 4 - -2. Does 4 divide p?
False
Let p = 12 - -19. Does 16 divide 0 + (1 + p)/1?
True
Let d = -10 + -9. Let b = -6 - d. Is b a multiple of 13?
True
Suppose 0*k - 48 = -3*k. Is k a multiple of 15?
False
Let b(j) = -3*j - 2. Let i = -2 + 26. Suppose -5*n = i + 11. Is b(n) a multiple of 6?
False
Let d(c) = -3*c**3 - 5*c - 3. Let v(g) = 3*g**3 + g**2 + 4*g + 2. Let z(s) = -3*d(s) - 4*v(s). Let i be z(-3). Let b = i - 23. Does 13 divide b?
True
Let r(y) = y**3 - 5*y**2 - 10*y + 14. Is 7 a factor of r(7)?
True
Let i(s) = 10*s + 10. Does 8 divide i(5)?
False
Let o(t) = t + 4. Let h be o(-4). Suppose -4*w + 5*w - 32 = h. Is w a multiple of 18?
False
Is (-4 + 7)/(6/40) a multiple of 10?
True
Suppose -10*q + 20 = -5*q. Suppose 5*y - 91 = -2*l, -y - 30 = -3*y - q*l. Is 6 a factor of y?
False
Suppose -5*a + 4*q + 12 - 3 = 0, -q = -4*a + 5. Let t be 2*(-9)/6 - a. Let y(g) = 4*g**2 + 4*g - 3. Does 20 divide y(t)?
False
Let v(m) = 3*m**2 + 2*m - 2. Let l be v(-2). Suppose -4*q = -l*q. Suppose q = -5*f - 4*s - s + 315, 2*f - 3*s = 111. Does 16 divide f?
False
Let q be ((-300)/35)/((-2)/21). Suppose 3*n = -3 + q. Does 15 divide n?
False
Suppose c - 2 = 2. Is 1 - (c - 0) - -16 a multiple of 6?
False
Suppose 0*c - c = 5*o - 10, -2*c - 19 = -3*o. Suppose 2*d - 3*u = 12 - 4, -d = o*u - 4. Is 4 a factor of d?
True
Let q = -12 + 17. Suppose 39 = q*t - 11. Is 4 a factor of t?
False
Is 22 a factor of 56/(-21)*99/(-6)?
True
Let b = -5 + 8. Let o be (b/(-6))/(1/44). Let x = o - -42. Is 11 a factor of x?
False
Suppose n - 324 = -2*n. Does 18 divide n?
True
Let z be 1*(0 + (-4)/(-2)). Suppose -3*a = -6, z*a = 6*v - v - 21. Suppose -5*i = -v, 0 = 5*j + i + i - 177. Is 12 a factor of j?
False
Let f = -16 - -10. Is (-2 - 16/3)*f a multiple of 21?
False
Let i(f) = -f**3 - 11*f**2 + 11*f + 18. Is i(-12) a multiple of 10?
True
Let s = 166 - 255. Let w = s + 130. Is 36 a factor of w?
False
Suppose 90 = 5*j - 4*z + 10, -4*z - 56 = -3*j. Suppose t - 5*m - 18 = 0, 4*t - 30 + 6 = -4*m. Is 2/t - (-93)/j a multiple of 7?
False
Let p(u) = 25*u**2 - 2*u - 1. Suppose -2 = 3*h + 1. Let w be p(h). Let i = w + -1. Is i a multiple of 13?
False
Let i be 0*(-3 + 2 - 0). Suppose 15 = c - i*c. Does 8 divide c?
False
Let k = -8 - -11. Suppose 4*z - 279 = -v, -2*z = -k*z + 4*v + 74. Is z a multiple of 13?
False
Let w be (-2)/((3/(-2))/(-3)). Let v(o) = 5*o**2 - 3*o - 1 - 3*o**2 + o. Does 12 divide v(w)?
False
Suppose -29 = -r - 0*x - 5*x, -2*r + 2*x = 2. Suppose -2*z - 52 = -r*z. Is 12 a factor of z?
False
Let r(x) = -10*x**2 - 10*x - x**3 + x**3 - 9 + x**3. Let q be r(11). Suppose -5*s = 3*z - q*z - 160, 4*z - 160 = -5*s. Does 16 divide s?
True
Let g(t) = -3*t**2 - 2*t + 4. Let f(a) = -a**2 + 4*a. Let x be f(3). Let o(i) = 3*i**2 + 2*i - 4. Let c(q) = x*o(q) + 2*g(q). Is c(-4) a multiple of 18?
True
Suppose -198 - 122 = -2*p. Suppose 2*q - 5*d = 179, 3*q + 5*d = 171 + p. Is q a multiple of 32?
False
Suppose 0 = -r - 12 + 2. Let s = r - -32. Is (s/3)/((-2)/(-6)) a multiple of 6?
False
Suppose 13*c - 11*c = 174. Is c a multiple of 21?
False
Suppose -10*x + 785 = -8*x + k, 0 = -k - 3. Is 58 a factor of x?
False
Let c = 71 + -48. Suppose 8 + 0 = 4*w. Suppose w*u - 25 = c. Is 12 a factor of u?
True
Suppose -8 - 70 = -2*z. Suppose 5*s - 103 = -2*d, 5*d - 3*s + 119 = 330. Suppose 4*b = -4*i + d, -i - 2*i - b + z = 0. Is 14 a factor of i?
True
Let x = 96 - 79. Is 4 a factor of x?
False
Let c be (0/1)/(-3 + 2). Suppose 111 = 3*m + 3*f, -5*m + f + 191 = -c*f. Is m a multiple of 15?
False
Let o(u) = u**3 - 2*u**2 + 3. Let n be o(3). Let t = 25 - n. Is t a multiple of 6?
False
Suppose -209 = -2*i + 5*f - 6*f, 0 = i - 5*f - 77. Suppose 2*x = -x + i. Does 17 divide x?
True
Suppose 2*c - 8 = -3*q, -5*c = -10*c + 5*q - 30. Let x be ((-5)/(-4))/(c/(-8)). Suppose x*z + 73 - 27 = n, 4*n - z = 108. Is 13 a factor of n?
True
Let x(k) = -4*k + 73. Is x(10) a multiple of 17?
False
Let f be 135/36 + 1/4. Suppose -4*l + f = -2*l. Suppose -x + 6 = -w, l*w = -w + 9. Is x a multiple of 7?
False
Suppose 4*p = 3*p + 21. Is p a multiple of 21?
True
Let x = -55 + 68. Is 13 a factor of x?
True
Let a be ((-3)/(-4))/(2/8). Let v(k) = 2*k**a - k**3 - 4*k**2 + 8 - 3. Is v(5) a multiple of 18?
False
Let k(c) = 72*c + 2. Does 12 divide k(1)?
False
Let k be (-1 + 3 + -3)*-4. Suppose u = -k, -c = 3*u - 14 - 10. Is 8 a factor of c?
False
Suppose -12 = 3*d + 3*s, 2*s - 6 - 4 = 4*d. Let r be (-28)/70 - (-12)/5. Is (-16)/((6/d)/r) a multiple of 10?
False
Let d(v) = 3*v**2 + 7*v - 13. Does 18 divide d(-7)?
False
Let z be (-4)/6 - 17/(-3). Suppose 0 = -z*x + 3*x + 10. Suppose -f - 4 = 3*f, 3*a = -x*f + 91. Is 16 a factor of a?
True
Suppose -b = 5*p - 18, -4 + 0 = -4*p. Does 13 divide b?
True
Suppose 0*i + 2*g = -2*i - 16, 4*g = -5*i - 38. Let r = i - -13. Let t = 1 + r. Is t a multiple of 4?
True
Suppose 5*s - 13 = 3*g, 0*g - 4 = -3*s - 2*g. Let j(r) = r**2 - 2*r**3 - 4*r**2 + s + 0 - 4*r + 3*r. Is 13 a factor of j(-3)?
False
Is (3 - 2 - -11)*8/3 a multiple of 4?
True
Suppose 2*p = 5*y - 542, 3*y + 0*y + 5*p - 319 = 0. Is 21 a factor of y?
False
Let q = 1 + -3. Let m be 0/q + 27*1. Is 52/(-6)*m/(-6) a multiple of 10?
False
Suppose 3 = 2*i + 1. Let n = i - -1. Suppose -g = -n*g + 18. Does 9 divide g?
True
Let j(o) = 29*o - 49. Does 30 divide j(11)?
True
Suppose 4*s - 22 = -2*v, -5*v = -4*v + s - 8. Let t = 4 - 2. Suppose 0*o + v*o = 2*a + 88, 0 = 3*o - t*a - 52. Is o a multiple of 11?
False
Let h = 0 + 0. Let x(a) = a**3 + a**2 - 2*a. Let j be x(-2). Suppose h = -j*g + g - 18. Is 8 a factor of g?
False
Let s be (-1)/((-1)/1) + 9. Suppose 3*g = 2*o - 0*o - 12, -5*g = -2*o + 20. Suppose o*r + r - s = -3*k, 0 = k + 2*r - 10. Does 2 divide k?
True
Suppose -8*t - 4*t + 1248 = 0. Is 13 a factor of t?
True
Let s(j) = -8*j + 9. Let c(x) = 7*x - 8. Let z(h) = -7*c(h) - 6*s(h). Let a(m) = m - 11. Let k be a(5). Is 4 a factor of z(k)?
True
Suppose t - 3*p + 29 = 0, t - 4*p - 1 = -35. Let a be (-6)/(-5)*(-35)/t. Suppose -80 = -j - a*j. Does 11 divide j?
False
Suppose -4*r + 337 = -163. Suppose -5*g = -5*m + r, 3*g - 40 = 3*m - 5*m. Does 11 divide m?
False
Does 21 divide -6*((-58)/4 + 4)?
True
Suppose -4*r = 4*a - 60, 0*a - 2*a = -2*r - 34. Suppose 0 = 5*n - 25, -4*o - 4*n + 16 = -a. Suppose -o*l + 0*l + 123 = 0. Is 21 a factor of l?
False
Let d = -2 + 5. Let f be ((-28)/8)/(d/30). Let l = f - -55. Is 17 a factor of l?
False
Let n(t) be the first derivative of t**4/4 - 3*t**3 + 5*t - 1. Let r be n(9). Suppose 12 = r*d - 3*d. Is 4 a factor of d?
False
Is 20 a factor of -6 + 3 + 2 + 43?
False
Let g = 57 - 1. Is 12 a factor of g?
False
Let n = 4 + -4. Suppose n*c + 3*a + 22 = -c, 3*c + 4*a + 56 = 0. Let d = c + 47. Does 12 divide d?
False
Let d = 60 + 21. Does 27 divide d?
True
Suppose -224 = 2*z + 20. Let s = 84 + z. Let c = s - -77. Is c a multiple of 13?
True
Let k(j) = -j + 1. Let i(y) = -7*y. Let u(v) = -i(v) + 5*k(v). Let o be u(-5). Let c(l) = l**3 + 6*l**2 + 5. Does 15 divide c(o)?
True
Suppose -r = -6 - 4. Suppose 4*g + 8 = 3*b, 3*g + r = 3*b + g. Suppose -2*x + 4 = 0, -b*l + 5*x = -0*x - 78. Does 11 divide l?
True
Let m(b) = 