- -15. Is 12 a factor of q(k)?
False
Suppose 4*x + 3 = x, -4*y = 5*x - 7. Suppose 138 - y = 3*j. Is 18 a factor of j?
False
Suppose 2*f = 34 + 6. Is f a multiple of 12?
False
Suppose -r + 71 = 3*d - 5*r, 0 = -3*d + 5*r + 76. Is 3 a factor of d?
False
Let h = 75 + -13. Is h a multiple of 6?
False
Let u = 56 - 27. Is 14 a factor of u?
False
Let n(h) = h**3 + 8*h**2 - 4. Suppose -6*m = -2*m + 28. Let q be n(m). Let b = -15 + q. Is 15 a factor of b?
True
Let q be (0 + 2)/((-12)/(-30)). Let o(y) = y + 7. Is o(q) a multiple of 5?
False
Suppose -2*h = -0*z + 2*z - 6, 0 = -3*h + 5*z + 17. Suppose 20 = h*v - 80. Is v a multiple of 8?
False
Let h = 8 + -4. Suppose 154 = h*f + u, 2*u = 4*f - 89 - 71. Does 12 divide f?
False
Suppose 3*s = 5*c + 25, -2 = -3*c - 8. Suppose -s*g - 8 = -73. Is g a multiple of 13?
True
Let c(b) = -11*b**3 - b - 1. Suppose -16 = 4*o, -s - 10 = 2*o - 1. Is c(s) a multiple of 11?
True
Suppose 17*j - 2*j = 420. Is 14 a factor of j?
True
Let q(l) = 24*l - 8. Let d be q(8). Let t be (d/(-12))/(1/(-9)). Suppose 5*r = -23 + t. Is 8 a factor of r?
False
Suppose 0 = -4*w + 3*w - 19. Let s be (-2)/7 - w/(-7). Let v(o) = -3*o - 3. Is v(s) a multiple of 6?
True
Let y be 1 + 0 - (4 - 2). Let l be (-2 - (-6 - 0)) + y. Suppose -57 = -l*x - 18. Is x a multiple of 13?
True
Suppose l - 19 = 2*n, -33 = -5*l + 3*l - n. Let r = l + 15. Is 16 a factor of r?
True
Suppose -118 = 5*a - 618. Is 25 a factor of a?
True
Let n = -49 - -109. Is 15 a factor of n?
True
Let p = 2 - -3. Suppose k + 2*k - p*s = -3, -3*k = -s - 9. Is k a multiple of 2?
True
Let f = 22 - 11. Is f a multiple of 2?
False
Let a = 15 + 65. Does 17 divide a?
False
Suppose -s - 129 = -2*s - 3*f, 464 = 4*s - f. Does 39 divide s?
True
Suppose 5*v - 4*i - 165 = 0, 89 = 2*v - 0*i + 3*i. Does 7 divide v?
False
Is 12 a factor of (2*-3)/(-2) + 460/4?
False
Does 4 divide (0 - -2)/(2 - 46/24)?
True
Suppose 11 = 2*x - 1. Let n(w) = w - 12. Let m(d) = -2*d + 24. Let f(l) = -2*m(l) - 5*n(l). Does 3 divide f(x)?
True
Let t(x) = 117*x + 2. Let c be t(7). Suppose 0 = 2*z + 2*s - 112 - 216, 0 = -5*z - 4*s + c. Suppose 3*f - z = -2*f. Does 11 divide f?
True
Suppose -5*u = f - 20, 2*u + 3*f = 5*u - 30. Is (-468)/(-20) - (-3)/u a multiple of 11?
False
Let u be -7 - (-2 + (0 - -1)). Let w be ((-30)/9)/(4/u). Is (w + -6)/((-1)/20) a multiple of 10?
True
Suppose p - 8 = -3*b, -4*b - 5*p - 4 + 0 = 0. Suppose 9*z - 200 = b*z. Let v = z - 12. Does 14 divide v?
True
Let g = -307 - -529. Is 15 a factor of g?
False
Let l = 2 - 2. Suppose -2*f + l*f = 2. Is (f/3)/(1/(-51)) a multiple of 17?
True
Let z(d) = d**3 + 10*d**2 + 10*d + 11. Let a be z(-9). Is 12 a factor of 12*(a + 0 + 0)?
True
Let f(j) = -j + 170. Let o be f(0). Suppose 81 = m - 4*k, 0*k + o = 2*m - 4*k. Let u = m + -45. Is u a multiple of 16?
False
Let f(y) = -17*y + 5. Let c(x) = -x**3 - 7*x**2 - 5*x + 1. Let q be c(-6). Let w be f(q). Suppose -2*g - g = -w. Is 15 a factor of g?
True
Let a = 12 + 12. Suppose -h + 9 = 8. Let y = h + a. Is 14 a factor of y?
False
Let c(d) = d**3 - 8*d**2 - 4*d - 6. Let x be c(6). Let y = 9 + x. Is (1 + 0)*y/(-3) a multiple of 11?
False
Suppose 3*v - 49 - 149 = 5*a, -5*a = -4*v + 264. Is 22 a factor of v?
True
Let s(c) be the first derivative of 2/3*c**3 - 2*c + 1/2*c**2 + 2. Is s(-2) a multiple of 3?
False
Is 816/11 + (-2)/11 a multiple of 21?
False
Let q be (-6)/8 + (-191)/(-4). Suppose -5*r = 2*y + 1, -q = -5*y + 2*r + 2*r. Is 5 a factor of y?
False
Suppose 4*z + 298 = 5*h, -183 = -3*h + z - 7. Does 20 divide h?
False
Suppose -2*s + u = -0*u - 39, s = -u + 15. Is s a multiple of 6?
True
Suppose 2*j = -l + 2*l - 13, 5*l + 2*j = 101. Is 3 a factor of l?
False
Let w(a) = a**3 - 9*a**2 - 8*a - 10. Is 24 a factor of w(11)?
True
Let n(m) = m**2 + 6*m - 11. Let a be n(-6). Let y(z) be the third derivative of -z**4/24 + z**3/3 - 2*z**2. Does 13 divide y(a)?
True
Let h be (-1)/3*18/(-3). Suppose -19*d - 4 = -20*d. Does 10 divide 1/h + 38/d?
True
Let y(w) = 2*w**2 - 3*w - 4. Let s be y(-3). Suppose -a = 3 - s. Suppose 2*z - q - 66 = -17, -q + a = z. Is z a multiple of 8?
False
Let f be (-178)/(-11) - 4/22. Let t be (-6)/4*f/(-3). Does 4 divide -3 + 1/(-1) + t?
True
Let g be (-214)/(-14) + 4/(-14). Suppose g + 2 = -3*r + 2*b, 2*r + 4*b = -22. Let k(p) = -p**3 - 7*p**2 - p + 3. Is k(r) a multiple of 10?
True
Suppose -2*o + 4*d + 95 = -57, 76 = o - 4*d. Does 15 divide o?
False
Does 20 divide 3 + -2 + (-413)/(-7)?
True
Suppose -9 = 5*w + 6. Let a(m) = -2*m**3 + 3*m - 1. Does 22 divide a(w)?
True
Let x = -6 + 7. Let d(f) = -9*f + 1. Let c be d(x). Let l(h) = h**2 + 5*h - 4. Is 20 a factor of l(c)?
True
Let g be 2/(-5) + 8/20. Suppose 0 = -g*j - j. Suppose k + j*n + n = 11, -3*k + 21 = -n. Is k a multiple of 6?
False
Let l(q) be the first derivative of q**4/4 + 2*q**3/3 - q**2 + q + 2. Let y be l(-2). Suppose y*v + 18 = 118. Is 20 a factor of v?
True
Let r(f) be the first derivative of 2*f**4 - f**3/3 + f**2/2 - 1. Is 8 a factor of r(1)?
True
Let w = -29 + 41. Is w a multiple of 10?
False
Let x = -45 - -22. Let j = x - -57. Suppose -m = s - 2*s - 22, -5*s - j = -m. Is 17 a factor of m?
False
Let b = 72 - 39. Is b a multiple of 11?
True
Let f = 6 + 6. Suppose 4*u - f - 4 = -m, u = 2*m + 4. Suppose m = -2*h + h + 12. Is 6 a factor of h?
True
Suppose 18 = -3*s - 6. Let l be (7/4)/(2/s). Let q(m) = -m**3 - 7*m**2 - 5*m - 9. Is q(l) a multiple of 13?
True
Let w(z) = -z**3 + 2*z**2 + 4*z + 1. Suppose -2*l = -6 - 0. Let r be w(l). Suppose 55 - 163 = -r*c. Is c a multiple of 9?
True
Suppose 5*f - 36 = 3*f. Suppose -g + f = 2. Is 9 a factor of g?
False
Let w(t) = -t**3 - 8*t**2 - 8*t - 2. Let p(b) = -b**3 - 7*b**2 - 7*b - 2. Let f(v) = -7*p(v) + 6*w(v). Let u be 0 + -3*6/(-9). Does 8 divide f(u)?
True
Let m(s) = 3*s**2 - s - 2. Let h be m(6). Suppose -3*z + 154 = 5*k, -3*z + h = -z + 2*k. Does 12 divide z?
True
Let p(r) = 31*r + 48. Does 9 divide p(6)?
True
Suppose 79 = 5*g + 2*m - 119, -41 = -g + m. Is 9 a factor of g?
False
Let p(w) = -w**3 - 6*w**2 - 2*w - 7. Let y be p(-6). Suppose 4*j + u + 0*u = 249, -5*u + y = 0. Let x = -40 + j. Is x a multiple of 11?
True
Suppose 0*g + 780 = 5*g. Suppose 0*q - 3*q = -g. Suppose 0*c = c - q. Is c a multiple of 18?
False
Let b = -10 + 8. Does 16 divide b/(-1*2/40)?
False
Suppose 49 = 2*w - 55. Let i = -36 + w. Is i a multiple of 8?
True
Let a(o) = -o**3 - 12*o**2 - 14*o - 12. Is a(-11) a multiple of 5?
False
Suppose -6*a - 27 = -7*a - q, 3*q = -a + 35. Is a even?
False
Let x(j) = 16*j + 8. Does 12 divide x(4)?
True
Let h be 3*3/18*202. Suppose 0 = -4*z + h + 15. Is z a multiple of 7?
False
Let b = 29 - 19. Let w = 2 + b. Does 4 divide w?
True
Let z be 12/(0 + -2) - -1. Let n = 1 - z. Suppose 3*r + 5*m = 7*r - 50, -3*m = n. Is r a multiple of 10?
True
Let p = 28 + -26. Suppose 2*f - 28 - 28 = 0. Suppose 3*n = -2*n - p*l + f, -20 = -3*n + 2*l. Does 3 divide n?
True
Suppose 2*q - 44 - 44 = 0. Suppose -2*z + 12 = -q. Is z a multiple of 14?
True
Suppose 0 = -5*i + 10*i. Does 11 divide (-37)/(-1) - i/3?
False
Let n = -1 + 5. Let x be (n - 6)*(-16)/2. Suppose 30 + x = g. Is 16 a factor of g?
False
Let w be ((-3)/12)/(1/4). Let r(q) = -10*q**3 + 2*q**2 - 1. Is 11 a factor of r(w)?
True
Let y = 5 + 30. Does 7 divide y?
True
Is 24 a factor of 4/18 - (-5941)/117?
False
Let v(h) = h**2 + 3*h + 10. Let r be v(-6). Suppose -3*s + 2*s = f - 8, 0 = -f - 4. Suppose -4*w + r = -s. Is 5 a factor of w?
True
Suppose 12*z - 15*z + 30 = 0. Does 4 divide z?
False
Let z = -5 - -9. Suppose 0*m + m + z*o = -12, -m - 16 = 5*o. Let x(i) = i**2 - i - 2. Is 10 a factor of x(m)?
True
Let j(p) = 0*p - 4*p - 3*p. Let t be j(-6). Suppose 0 = -2*h + 3*l - l + t, -5*h + 108 = -4*l. Is h a multiple of 12?
True
Is 3 a factor of (5/((-30)/6))/((-2)/28)?
False
Suppose 2*c + 11 = 3*h + c, -5*h + 5 = 5*c. Suppose -h*r = -7*r + 96. Does 10 divide r?
False
Suppose 2*z + 6 = 64. Is 29 a factor of z?
True
Suppose -5*i + 2*h = 33 - 6, -2*i - 11 = -h. Let l = 11 + i. Does 6 divide l?
True
Suppose 2*f - 38 = 2. Is f a multiple of 10?
True
Suppose -964 = -5*m + 3*n, -845 + 77 = -4*m + 4*n. Does 25 divide m?
False
Suppose 36 = 2*m - 0*o - o, 0 = -5*o. Does 6 divide m?
True
Let u = 16 + -14. Suppose 0 = u*m - 6*m + 108. Does 9 divide m?
True
Let j = -