= m*z - 22. Let a = p - 2. Is 2 a factor of a?
True
Suppose 0 = -2*g + 2*s + 196, -3*s - 198 = -3*g + g. Suppose 5*j - j = g. Is 12 a factor of j?
True
Let h = -13 - -17. Is h even?
True
Suppose -3*n + 4*w = -4*n + 36, 0 = -3*n - 4*w + 148. Is 7 a factor of n?
True
Let v = -4 + 6. Suppose 2*t - 71 = 5*a, a - 68 = -v*t + 3*a. Does 26 divide t?
False
Let v(c) be the first derivative of 6*c**2 + c - 7. Is 11 a factor of v(4)?
False
Let b be 1 + 8 + 3/3. Let k(d) = d - 3. Let t be k(6). Let y = t + b. Is y a multiple of 7?
False
Let q = 2 + -7. Let n(b) = -b**2 + b. Let z(f) = 6*f**2 + f. Let l(w) = -5*n(w) - z(w). Is 4 a factor of l(q)?
False
Let t = -274 + 389. Does 20 divide t?
False
Let q(r) be the second derivative of 5*r**4/12 - r**3/3 - r**2/2 + r. Let y(p) = -p**2 + p + 2. Let i be y(0). Does 15 divide q(i)?
True
Suppose u - 2*q + 4 = 3*u, 5*u - 19 = -2*q. Suppose -u*m = -81 + 26. Is 11 a factor of m?
True
Let s(g) = 2*g**2 - g - 2. Let p be s(2). Suppose 4*n - 3*l = -p, n - 4*l = -n - 12. Is 7 a factor of 7/(1 + (n - 2))?
True
Suppose -5*f + 124 = 2*t, -8*t + 3*f = -3*t - 372. Suppose 0 = -c - 2*c + t. Is c a multiple of 12?
True
Let c = -34 - -94. Let p = 9 - 51. Let h = p + c. Is h a multiple of 18?
True
Suppose -v + 6*v = -5. Let l be 4/(1 + v/2). Suppose 70 = 3*r - l. Is 13 a factor of r?
True
Let q = -270 - -378. Is q a multiple of 27?
True
Let o = -8 + 200. Does 48 divide o?
True
Let b(v) = -v**2 + 5*v + 3. Let u be b(3). Let w be 74/u - (-8)/(-36). Let f(c) = -c**2 + 9*c + 8. Is 8 a factor of f(w)?
True
Let q = -9 - -15. Let z = q - 2. Is 2 a factor of z?
True
Let f(k) = 3*k - 1. Does 5 divide f(9)?
False
Suppose 0 = -0*w - 2*w - 2*r + 76, 4*r - 189 = -5*w. Does 8 divide w?
False
Suppose -3*q + 29 = -34. Is 4 a factor of q?
False
Suppose -2*m - m = -4*s - 26, 3*m + 46 = -5*s. Let f = s + 10. Is 2 a factor of f?
True
Let c = 452 - 176. Does 46 divide c?
True
Let j(x) = -3*x**3 + x**2 - x + 1. Let o be j(1). Let c be -1*(o + 2*-13). Let h = c + -20. Is h a multiple of 8?
True
Let x be (-29)/(-9) + (-8)/36. Is 0 - -1 - x*-10 a multiple of 9?
False
Let g be 2/8 + 477/12. Let o = g + -10. Let j = -14 + o. Is j a multiple of 16?
True
Suppose -5*q = -35 - 35. Let o be (51/(-2))/(3/(-4)). Suppose q = b + 4*l - o, -l + 61 = 2*b. Is b a multiple of 12?
False
Let u = -15 + 36. Suppose -4*x + 4*z - 3*z = -u, 4*z + 12 = -2*x. Suppose -s = -19 + x. Is 15 a factor of s?
True
Suppose 571 - 163 = 8*q. Is 17 a factor of q?
True
Let o(y) = y**3 - 9*y**2 - 4*y - 13. Let m be o(10). Suppose -4*x = a - 37, -2*x - m = -2*a - x. Is 9 a factor of a?
False
Let d = -8 - 18. Let h be ((-3)/2)/(1/10). Let w = h - d. Is 4 a factor of w?
False
Let v = -101 + 153. Does 13 divide v?
True
Suppose -5*i + 295 = -j + 4*j, -99 = -j - i. Suppose -2*q = 3*q - j. Suppose -l = r - 28, q + 77 = 4*l + r. Is l a multiple of 15?
False
Let t(w) be the second derivative of -1/20*w**5 - 1/2*w**3 + 1/2*w**4 - 3*w + w**2 + 0. Does 5 divide t(5)?
False
Suppose -61 = -2*d + 135. Does 21 divide d?
False
Suppose 0 = -3*d - 2*y + 56, 7 = -4*d + y + 100. Is d a multiple of 11?
True
Suppose -4*t = t + 20. Let q = -2 - t. Suppose 3*h - 27 = q*h. Is 12 a factor of h?
False
Suppose c - 9*c = -176. Does 7 divide c?
False
Suppose 3*k = 3*d - 273, k + 1 = -0*k. Is d a multiple of 8?
False
Let b = -337 + 482. Does 25 divide b?
False
Let x = 31 + -8. Is x a multiple of 20?
False
Is (-28)/5*375/(-6) a multiple of 50?
True
Suppose 0 = x - 2, 2*b - 34 = -0*b - x. Suppose 0 = 4*f - b - 272. Does 24 divide f?
True
Suppose 0 = g + 52 + 73. Let q = g - -175. Is q a multiple of 17?
False
Let b = 196 + -102. Suppose -l - b = -3*l. Is l a multiple of 18?
False
Suppose 4 = 4*n - 0. Let f = n + 4. Suppose -j = -f*j + 80. Is j a multiple of 8?
False
Suppose 0 = -4*z + 4*n - 6 - 6, z + 4*n - 22 = 0. Suppose -z*j - 2*j = -8. Suppose -6*s + 3*s - 15 = 0, -166 = -j*g + 4*s. Is g a multiple of 20?
False
Suppose 3*k + 64 = 5*s, -4*s - 3*k - 2*k = -29. Let z = -3 + s. Is 5 a factor of z?
False
Suppose 4*z = z, 0 = -2*n + 5*z. Suppose -2*v - 2 + 50 = n. Does 14 divide v?
False
Suppose 2*x - x = 3. Suppose -l + 36 = x*l. Suppose -5*t + l = -4*y - 24, -y - 6 = -t. Is t a multiple of 5?
False
Let g = 99 - 43. Does 14 divide g?
True
Let w(j) = j**3 + 5*j**2 - 2*j + 2. Let h(x) = 2*x**3 + 10*x**2 - 3*x + 3. Suppose -i - 5 = 2. Let z(t) = i*w(t) + 4*h(t). Is 10 a factor of z(-3)?
True
Let o be 7*8/(-28)*-1. Suppose -2*f - o*d + 12 = 3*d, -f + 2*d + 24 = 0. Is 6 a factor of f?
False
Let g(c) = -c**2 + 8*c - 2. Let k be g(8). Let p(w) = -5*w**3 - 3*w**2 - 3*w. Is p(k) a multiple of 22?
False
Let z = -113 - -58. Let u = -8 - z. Is u a multiple of 16?
False
Let t be (1/(-2))/((-3)/666). Let r = t - 32. Suppose -3*g = 5*k - 53 - r, -5*g + 140 = 5*k. Is 12 a factor of k?
True
Let t(f) = -f**2 + 12*f - 6. Suppose 4*r = -2*d, -2*r = -2*d + 9 + 21. Does 5 divide t(d)?
False
Is 1 + (-2748)/(-52) + 2/13 a multiple of 27?
True
Suppose -4*m + 5 - 28 = f, -4*m = -2*f + 14. Does 7 divide (f/2)/((-3)/18)?
False
Let g = 79 - 60. Does 9 divide g?
False
Let b = -19 - -9. Does 10 divide ((-6)/b)/(2/70)?
False
Let a(f) = f**3 + 8*f**2. Is 8 a factor of a(-6)?
True
Suppose 0 = 3*s - 6 - 0, -4*i = 4*s - 168. Is i a multiple of 9?
False
Let r(s) = -2*s**2 + 7*s - 5. Let f(l) = 2*l**2 - 8*l + 6. Let u(i) = -4*f(i) - 5*r(i). Let h(z) = z**2 - 12*z + 3. Let n be h(12). Is u(n) a multiple of 4?
False
Let y(l) = l**2 - 8*l. Is y(9) a multiple of 9?
True
Suppose 5*w + 5*t + 6 - 16 = 0, 0 = 4*w + 3*t - 11. Suppose 4*o = -w*u + 77, -2*u + u + o = -10. Is u a multiple of 7?
False
Let a = -367 - -248. Is 12 a factor of (-1)/(-5) + a/(-5)?
True
Let f = 64 + 7. Is f a multiple of 5?
False
Let w(r) = 4*r. Let t be w(4). Let c = t - 11. Suppose -p = 4*s - 35, 0 = c*s - 3*p - 42 - 23. Is 6 a factor of s?
False
Suppose 0 = i - 10 - 35. Is i a multiple of 15?
True
Let a = 113 + -79. Suppose -a = -f + 7. Is 16 a factor of f?
False
Suppose -s + 4*s - 6 = 0. Suppose 5 = 5*z, -6*z + 3*z = -s*w + 37. Is 10 a factor of w?
True
Suppose -2*v + 24 = -5*v. Let z = 23 + v. Is 6 a factor of z?
False
Let u(h) = h + 7. Let p = 10 + -2. Is 7 a factor of u(p)?
False
Let h(y) = -y**3 - 9*y**2 - 8*y + 10. Does 10 divide h(-8)?
True
Let s = -22 + 280. Is 43 a factor of s?
True
Suppose 3*m = -3*b + 15, 0*b - b - 2*m = -7. Is b + 54*(-2)/(-4) a multiple of 14?
False
Suppose 0*c + c = 132. Suppose 4*o - 35 = -2*h + 81, 4*h = 5*o - c. Does 11 divide o?
False
Let o(n) = 5*n - 8 + 2*n - 2*n. Is 11 a factor of o(7)?
False
Let r(q) = 21*q**3 - q**2. Does 10 divide r(1)?
True
Let p(f) = -f**3 + 2*f + 1. Let x be p(-2). Let j(s) = -x*s + 2*s - 13 + 0. Is 7 a factor of j(-9)?
True
Suppose -70 = -2*u + 20. Suppose -m + b = -11, m = 5*m - 5*b - u. Is 4 a factor of m?
False
Suppose b - 12 = -4*o, -4*o = 2*b + 2*b. Suppose -o = -z, 2*y = y + 2*z + 39. Is 12 a factor of y?
False
Let k(s) = s + 4. Let c be k(5). Let w = -5 + c. Suppose -4*y = 4, 0*a - w*y = -5*a + 64. Does 12 divide a?
True
Let h be (-1 - 1)/((-2)/7). Let b(c) = 11*c + 6*c**2 + c - 3*c + 2 - c**3. Is b(h) a multiple of 12?
False
Suppose 21 = 8*g - 7*g. Let a = 4 - g. Let j = a + 35. Is 14 a factor of j?
False
Let r(z) = z**3 + z**2 - 5*z + 3. Suppose -3*d + 6 = 3*l, -d + 0*d + 2*l + 14 = 0. Suppose -d*n + 4*n + 6 = 0. Does 12 divide r(n)?
True
Let r = -52 - -178. Is 21 a factor of r?
True
Let g be (-2)/(-15) + 352/60. Let n = -3 + g. Is n a multiple of 3?
True
Suppose -o = 5*b - 5, -2*b = 4*o - 22 + 2. Let y = o - -15. Let m = y - 9. Is 5 a factor of m?
False
Suppose -k + 4 = 1. Suppose 2*z = 45 - 7. Suppose -k = 4*l - z. Is l a multiple of 4?
True
Let x = 1 - -7. Does 8 divide x?
True
Let d be ((-3324)/(-8))/((-6)/(-8)). Let x be (-1)/4 - d/(-8). Is x/15 - (-2)/5 a multiple of 2?
False
Is 6/21 - 313/(-7) a multiple of 15?
True
Suppose 13*n = 17*n - 112. Is n a multiple of 7?
True
Suppose 257 = 2*y + 3*u, u - 5*u - 524 = -4*y. Is 26 a factor of y?
True
Let q(n) be the first derivative of 9*n**2/2 - 10*n + 4. Is q(9) a multiple of 17?
False
Let b(r) = -44*r + 2. Does 46 divide b(-1)?
True
Suppose 5*v - 4*v + 14 = 0. Let g = 16 - v. Suppose 2*f - 3*z = 33, -5*f - 3*z = -0*z - g. Is f a multiple of 6?
False
Let u be ((-3 - -5) + 