 a multiple of 9?
True
Suppose -12*k + 36 = -9*k. Is 4 a factor of k?
True
Suppose -4*g - 3 = 5. Let j be 3/12 - g/(-8). Suppose j = -3*z - z + 72. Is z a multiple of 18?
True
Let x = -164 - -272. Is 18 a factor of x?
True
Suppose 3*x - 4*m = -107, 0*m = -3*m + 15. Let s = 41 + x. Is s a multiple of 6?
True
Let q be (-5)/(5/(-2)) + 5. Let p(x) = -7 + 8*x + q. Does 16 divide p(4)?
True
Suppose 2*u - 3*q = 32, 62 = -0*u + 4*u - 5*q. Is u even?
False
Let p(l) = -2*l**3 - l**2 - 11*l + 6. Let d(i) = i**3 + i**2 + 5*i - 3. Let z(b) = -7*d(b) - 3*p(b). Is 15 a factor of z(-5)?
False
Let d = 44 - 26. Is d a multiple of 9?
True
Let b(s) = 25*s + 31. Is 13 a factor of b(5)?
True
Suppose 80 = -0*c + c. Suppose -4*m - 33 = j - 0*m, 4*j + c = -3*m. Let f = j + 30. Does 9 divide f?
False
Suppose 5*l = 184 + 351. Suppose o = -2, -2*o + 13 - l = -5*r. Does 9 divide r?
True
Let o(k) = -3*k + 6*k**3 + 0 - 5*k**2 + 7 + 0*k - 7*k**3. Let y be o(-5). Let q = 37 - y. Is q a multiple of 5?
True
Let g(u) = 2*u**3 - 3*u**2 + 4*u. Is g(3) a multiple of 11?
False
Let k(h) = 367*h**2 - h. Let t be k(1). Suppose -367 = -2*w + 3*g, 2*w = g + g + t. Suppose -n - 18 = -u + 20, w = 5*u - 3*n. Is 15 a factor of u?
False
Let h(a) = 4*a**3 - 3*a - a**3 + 4 + 0*a - 2*a**3 - 3*a**2. Is 8 a factor of h(4)?
True
Suppose -2*h + 2*k + 347 = 3*h, -4*k + 203 = 3*h. Is 7 a factor of h?
False
Let i = -32 - -52. Does 14 divide (504/i)/(-3)*-5?
True
Let v(l) = 3*l**2 + 3*l - 1. Is 9 a factor of v(-3)?
False
Suppose 0 = 4*s - 5*s + 290. Suppose -n = -6*n + s. Does 29 divide n?
True
Let r be 0 - -8*2/(-4). Is r*(-1)/8*80 a multiple of 20?
True
Let t be (-4)/14 + 36/(-21). Let v be (-114)/(-4) - (-1)/t. Is 14 a factor of 1 + v - (3 - 2)?
True
Suppose -3*v = 2*v - 720. Does 23 divide v?
False
Suppose -5*l - 2*g + 57 = 0, 2*g + 0 = l - 9. Is l a multiple of 11?
True
Suppose f + 123 = 6*h - 4*h, -5*f - 167 = -3*h. Does 16 divide h?
True
Let z(c) = -c**3 + c**2 - 2*c + 2. Does 15 divide z(-4)?
True
Let t = -10 - -5. Is 2 a factor of (-29)/t - (-5)/25?
True
Suppose 4*x + 108 = 7*x. Is x a multiple of 9?
True
Suppose 10 = -3*l + 8*l. Suppose -i = -6*i + 4*m - 70, -m = -l*i - 31. Let f = 0 - i. Is f a multiple of 17?
False
Let s = -17 + 41. Let n = s - 0. Does 13 divide n?
False
Let a(f) = 8*f**2 - 2*f - 1. Let z be a(-1). Let q = 20 + -18. Suppose -r - q*r + z = 0. Is 2 a factor of r?
False
Let u = 5 - -15. Is u a multiple of 17?
False
Suppose o = 4*x - x - 2, 2*o - 4 = 2*x. Let w = 121 - 40. Suppose 6*v - 310 = v + i, -v + w = -o*i. Is 22 a factor of v?
False
Let b = -101 - -166. Suppose 0*q = -5*q + b. Does 7 divide q?
False
Does 17 divide (204/(-9))/((-4)/18)?
True
Let y = 98 - 61. Let b be 2/(-4) + y/2. Suppose 3*s + 6 = b. Is s a multiple of 4?
True
Let n = 8 - 4. Suppose v + n = 14. Is v a multiple of 10?
True
Is 13 a factor of -13*(2 - 4 - -1)?
True
Is 42 a factor of 1/(1 + (-112)/113)?
False
Let p(i) = -17*i**2 + 5*i - 3. Suppose -4*a - a = -15. Let t(s) = 16*s**2 - 4*s + 2. Let j(g) = a*p(g) + 4*t(g). Is 7 a factor of j(-1)?
False
Let m(w) = -w**2 - 13*w + 5. Is m(-12) a multiple of 2?
False
Suppose -468 = -5*h - 3*n + 560, 2*h = -3*n + 413. Suppose 0 = -7*c + h + 26. Is c a multiple of 11?
True
Let i(q) = -q**2 + 8*q + 6. Let w be i(8). Let o(t) = -t - 5*t**2 - 4 + 0*t**2 + t**3 + 0*t**3. Is o(w) a multiple of 13?
True
Suppose 12*a = 79 + 389. Does 5 divide a?
False
Suppose 0 = -2*c + 2*v + 12, -3*c - 36 = -6*c - 3*v. Let w(t) = t**3 - 8*t**2 - 7*t - 12. Does 6 divide w(c)?
True
Let x be (-2)/(2*3/582). Does 28 divide (-1)/(-3) - x/3?
False
Suppose 17 + 15 = -2*p. Is 8 a factor of (7 - 2)*p/(-10)?
True
Let u(x) = x**3 + 8*x**2 - 9*x + 14. Does 18 divide u(-8)?
False
Let h = -5 + -15. Is (-2)/(-10) - 276/h a multiple of 7?
True
Let f(m) = m**2 - m - 4. Let d be 1 - (0 - 1)*2. Let v be f(d). Suppose -v*t = -26 - 22. Is t a multiple of 12?
True
Let q(x) = -x - 3. Let z be q(-8). Let v(y) = 3*y + 3. Is 7 a factor of v(z)?
False
Let n = 46 - -14. Is n a multiple of 7?
False
Let u(n) = -5*n**2 - n + 1. Let o be u(3). Let p = o + -34. Let r = p + 126. Does 15 divide r?
True
Suppose 4*x - 5*x - 2*g + 20 = 0, -x + 16 = 4*g. Does 4 divide x?
True
Let p(f) = f - 4*f + 4*f - 1 + 52*f**2 + 0. Let n be p(1). Suppose 3*z = z + n. Does 13 divide z?
True
Suppose 0 = o - 5*r - 22, 4*o - 18 = o + 3*r. Suppose -3*z - o*j + 3 = 0, 0 = -5*z + 2*j + j - 14. Is 9 a factor of (34 - 3) + z - 2?
False
Let b(u) = 3*u**2. Let s be b(-1). Let i(g) = -2*g. Let r be i(s). Is 18 a factor of r/5*(-16 - -1)?
True
Let n(m) be the second derivative of -11*m**3/2 + 4*m. Does 18 divide n(-1)?
False
Suppose -3*m = -111 - 30. Is m a multiple of 17?
False
Suppose -a = -3*f + 2*a + 420, -f = 5*a - 128. Is 23 a factor of f?
True
Let s(o) be the first derivative of 4*o**3/3 + 1. Is 9 a factor of s(2)?
False
Suppose 14*j + 1610 = 19*j. Is 14 a factor of j?
True
Suppose -12 = -2*p + 4*p. Let q = -4 - p. Let j(t) = 6*t**2 + 4*t - 3. Is j(q) a multiple of 12?
False
Suppose b - 78 = 3*y, -3*b - b = -3*y - 267. Is b a multiple of 7?
True
Let v be ((-48)/40)/(3/(-10)). Suppose v*m - 3*m - y = 10, 0 = -2*m - 3*y + 40. Does 4 divide m?
False
Let u(x) = x**2 + 7*x. Let t be u(-7). Suppose t*h + 48 = 4*h - 2*y, -4 = y. Is 16 a factor of ((-225)/h)/(3/(-4))?
False
Suppose -11 = 4*z + 21. Let n = z + -33. Let m = n + 81. Does 20 divide m?
True
Suppose -6*w + 114 = -3*w. Is w a multiple of 19?
True
Let r(d) be the third derivative of d**4/8 - d**3/2 - 4*d**2. Let g be r(3). Suppose 0 = -2*l + 24 - g. Is l a multiple of 3?
True
Let i(o) = 15*o. Suppose -2*q = -5*g + 14, 2*q + g + 0 = -2. Let z be 10/3 - q/3. Is 28 a factor of i(z)?
False
Let w(t) = 2*t**2 + 25*t + 9. Let g be w(-14). Let d = 5 + -3. Suppose -l + g = d*l. Does 13 divide l?
False
Let v(n) = -n**2 + 9*n - 8. Let q be v(7). Let t = q - -26. Suppose -y = -3*m - t, -5*y - 2*m + 83 + 111 = 0. Does 13 divide y?
False
Suppose 4*f + 5*y - 35 = 95, -3*f + 4*y = -113. Let o = -23 + f. Does 12 divide o?
True
Let x = 36 + -7. Is 10 a factor of x?
False
Suppose -2*o - 836 = 3*f - 123, -1428 = 4*o + 4*f. Let j = -248 - o. Suppose -5*p + p = 3*q - j, -2*q + 5*p = -58. Is 17 a factor of q?
True
Suppose -2*f - 174 = f. Let t = 8 - f. Is 22 a factor of t?
True
Let p(m) be the second derivative of m**4/12 + 17*m**2 + 3*m. Is 13 a factor of p(0)?
False
Let v(l) = l**3 + 8*l**2 - 2*l - 12. Let o be v(-8). Let u = o + 0. Suppose -d - b = -6*b - 27, -u*b - 12 = 0. Does 6 divide d?
True
Let k(z) = 22*z + 1. Let x be k(2). Suppose -4*n + 63 + x = 0. Suppose 2*y - n = 13. Is y a multiple of 10?
True
Let k = -13 + 9. Let t be 1*(2 - 1) - 0. Is t/((-1)/k)*6 a multiple of 13?
False
Let x = 34 - -26. Let q be 27/18 - 18/(-4). Suppose -q*a = -a - x. Is a a multiple of 9?
False
Let t be -4*(-4 - -3 - 0). Is 59 + t + 2 + 1 a multiple of 22?
True
Let y be (-3)/(-15) + 34/5. Let r = 0 + 0. Is 5 a factor of (16 - r) + 7/y?
False
Let w = -22 - 25. Is 22 a factor of 3/(-1) - 0 - w?
True
Let a = 7 - 3. Let o = 0 + a. Is o a multiple of 3?
False
Let r(k) = k**3 + 5*k**2 - 3*k - 1. Suppose -o - 9 = 4*u, u - 3*u = 2*o. Suppose -o*v + 1 = 16. Does 5 divide r(v)?
False
Suppose 12 = -2*w + 14. Let f(l) = 5*l**2 - 2*l + 2. Is 2 a factor of f(w)?
False
Let c(z) = -z**3 + 4*z**2 + 7*z - 4. Let t be (12/15)/((-8)/(-20)). Suppose -t*q + 18 = 2*f - 0*q, 0 = -4*f - 3*q + 32. Is c(f) a multiple of 4?
False
Suppose 3*x = -4*q + x, 3*q + 4*x = 0. Does 10 divide 3 - ((-35)/1 + q)?
False
Suppose 2*r + f - 12 = -2*f, -24 = -4*r + 2*f. Suppose 5*m = 2*m + 6, 0 = 2*k + m - r. Suppose -c + 5*a + 4 = 0, -2*c - 88 = -6*c + k*a. Does 8 divide c?
True
Let n(q) = -q**2 - 6*q + 10. Let j be n(-7). Suppose j*b - 20 = -b. Suppose 2*i - 5*z + 0*z - 28 = 0, i = b*z + 19. Is 9 a factor of i?
True
Suppose 0 = -v + 7*v - 540. Does 15 divide v?
True
Let f(z) = -2*z**2 - 2*z + 5. Let y be f(-4). Let h = y + 38. Does 19 divide h?
True
Let w = 8 + -18. Let s be w/(-6) + 1/3. Suppose -52 = -3*n + r, 4*r - 10 = -s*n + 6. Does 8 divide n?
True
Let s(d) = -d**3 - 14*d**2 + 9*d. Let x be (-1 + -9 - 2) + -3. Does 30 divide s(x)?
True
Let j be (1 - 6*-13)*1. Let u = -53 + j. Does 9 divide u/3 + 4/12?
True
Let z be (10 - -1)*(13 + -12). Is 16 a factor of 12/(-5)