- 26. Does 7 divide a?
True
Let p(f) = f**3 + 8*f**2 + 3*f. Let t be p(-7). Let k = -1 + t. Is k a multiple of 9?
True
Suppose 0 = 5*d - 4*l - 2 + 3, 4*d = 3*l. Does 2 divide d?
False
Is 12 a factor of (-52 + -2)*(-10)/3?
True
Is 3824/64 - -1*(-1)/(-4) a multiple of 5?
True
Let d be 3 + 1/((-1)/(-2)). Let y = d - 1. Suppose y*a + 3 = 71. Does 10 divide a?
False
Let c be 2/10 + 486/(-5). Let q = c - -200. Let f = q - 45. Is 20 a factor of f?
False
Is 4 a factor of 9*(3/9 + 1)?
True
Suppose 0 = -2*t + 3*d - 599, -3*t - 2*d + 3*d = 881. Let r = t + 464. Suppose -4*y + z + r = 0, 3*y - 128 = 4*z + 14. Does 17 divide y?
False
Suppose 2*v = -3*v + 715. Suppose -155 = -5*p + 5*k, -2*p - 3*p + 2*k + v = 0. Is 13 a factor of p?
False
Suppose -4*y = -2*y - 24. Is y a multiple of 7?
False
Let f(h) = h**2 + 2*h - 3. Let a be f(-4). Let m = -3 + a. Is 14 a factor of (0 - m) + 296/8?
False
Let p = -49 + 87. Is 5 a factor of p?
False
Let p(s) = -s**2 + 15*s - 11. Is 17 a factor of p(9)?
False
Suppose -3*l + 2*l = -4. Suppose 3*a - l = 8. Suppose 4*o - 7*o + 14 = 2*s, -a*s - 2*o = -20. Is s a multiple of 2?
True
Let r(w) = 3*w**2 + 5*w - 30. Does 14 divide r(10)?
False
Let q = -73 - -245. Is q a multiple of 45?
False
Let c = 90 + -57. Suppose -2*z = -5*k + 51, -k - 3*k - z = -c. Is 2*k + (2 - 5) a multiple of 6?
False
Suppose 5*y - 2 - 13 = 0. Suppose -y*p + 8*p + 56 = 4*l, 0 = -2*p. Is 9 a factor of l?
False
Let s = 7 - 5. Suppose -2*m + s*u = u - 12, -4*m - 3*u + 44 = 0. Is m a multiple of 5?
False
Suppose -r + 5 = -3. Let g(z) = 1 + 1 - 8*z - r. Is g(-4) a multiple of 13?
True
Let a(i) be the third derivative of i**6/360 - i**5/30 - i**4/8 + 2*i**3/3 + 2*i**2. Let v(m) be the first derivative of a(m). Is v(-3) a multiple of 18?
True
Suppose -13 = -s - 5*g + 9, -2*s - 5*g = -34. Suppose 6*q = 3*q + s. Is 4 a factor of q?
True
Is 27 a factor of 374/2 + -6 + 8?
True
Let m(z) = z. Let d(n) = 8*n + 7. Let x(i) = -d(i) + 2*m(i). Let p be ((-10)/6)/((-2)/(-6)). Is x(p) a multiple of 21?
False
Let k = 163 - 56. Is 14 a factor of k?
False
Let r(x) = 7*x**2 + 3*x + 7. Let d be r(-7). Let w = -209 + d. Suppose 6*h - 3*h = 3*t + w, 4*h = -4*t + 176. Does 14 divide h?
True
Let o(z) = -z + 2. Let w be o(5). Is (5/(-3))/(1/w) a multiple of 2?
False
Suppose -5*k + 87 = 2*n, -4*k - 103 + 7 = -2*n. Is 14 a factor of n?
False
Is 6 a factor of -3 - 1*42/(-2)?
True
Suppose -3*a - 32 = -a. Let i = -7 - a. Is 9 a factor of i?
True
Suppose -2*f + 4*f = 528. Suppose d + f = 5*d. Suppose 2*h - d = -h. Is h a multiple of 11?
True
Let g be 1*(-1 + -1) + -19. Let a be g/(-4) - 2/8. Suppose -i - 4*s + 78 = i, a*i - 2*s - 183 = 0. Does 15 divide i?
False
Suppose 0 = x - f + 92 - 236, -424 = -3*x - 5*f. Does 11 divide x?
True
Let g(q) = q**2 - 2*q + 7. Let h be g(10). Let w = 147 - h. Suppose -4*u + u + w = 0. Does 8 divide u?
False
Let d = -15 - -11. Let a = 17 - d. Is a a multiple of 6?
False
Let v = -10 + 111. Let k = v + -67. Is 17 a factor of k?
True
Suppose -88 = 21*y - 23*y. Does 22 divide y?
True
Let g = 298 + -98. Suppose 5*i + 4*h = g, 5*i + 0*h - 3*h - 165 = 0. Is 12 a factor of i?
True
Let q(n) = -n**3 + 3*n**2 - 4*n + 10. Let p be q(4). Suppose -35 - 10 = 5*j. Let o = j - p. Is o a multiple of 7?
False
Let m be 3/2*64/(-12). Let o = 8 + m. Let r = 5 - o. Does 5 divide r?
True
Let r = 4 - 4. Suppose r = l + 4*l - 5. Let h = 31 + l. Does 13 divide h?
False
Let t be 340/14 - 4/14. Let v be (7/(-3))/((-4)/t). Suppose 2*m - 2*u - 46 = 0, 3*u = -3*m - v + 107. Is m a multiple of 9?
True
Suppose -2*z = z - 6. Suppose -u = -z*u + 9. Does 4 divide u?
False
Suppose -5*y - 11 = 2*w, 4*y - 2*y + 4 = -w. Is 2 a factor of w?
True
Let l(k) = 2*k**2 + 0*k**2 + 2 - k**2 - 2*k - 8. Let z(t) = 2*t**2 - 3*t - 11. Let j(w) = -11*l(w) + 6*z(w). Is 2 a factor of j(-5)?
False
Suppose -2*v + 4 = 0, -2*c - c - 5*v = -10. Suppose -2*z = -c - 6. Does 16 divide (z + 3)*(-10)/(-3)?
False
Suppose -5*n = -g - 2*g + 170, 3 = -3*n. Does 11 divide g?
True
Let o(k) = -2*k + 0 + 14*k**2 + 1 + 15*k**2. Suppose 4*b = -3*i - 0*i - 1, 3*i - b - 4 = 0. Is 14 a factor of o(i)?
True
Let a = 83 - 45. Suppose 5*h - a = -4*t, -2*t + 21 = 3*h + t. Suppose -3*c + h = -2*i, -i = 2*i - 3. Is c a multiple of 4?
True
Let h be (16/3)/(16/408). Suppose 0 = 2*s - 0*s - h. Does 17 divide s?
True
Suppose -o = -2*a + 2*o + 39, 5*a + o = 140. Does 9 divide a?
True
Let c = 36 + -16. Does 7 divide c?
False
Suppose -n + 6*n - 225 = 0. Suppose 3*b + 8 = -5*p + n, 29 = 2*b - p. Does 8 divide b?
False
Let j(p) be the second derivative of -3*p**5/5 - p**4/12 + p**3/6 + p**2 - 2*p. Let k be j(-2). Suppose s = -2, -y = -6*y + s + k. Is 9 a factor of y?
True
Let i be 1 + 1 + 9 + 0. Suppose -g - 5*r = -8, 2*g - i - 5 = 2*r. Is 8 a factor of g?
True
Suppose 7 = 3*l - 77. Suppose 3*f + 2 = 17. Suppose x + l = f*x. Does 3 divide x?
False
Suppose -84 = -h + 4*h. Let u = -58 - h. Let k = 15 - u. Does 20 divide k?
False
Suppose -7*o = -2*o + 20. Let d = o - -9. Is 0/(-1) + 3 + d a multiple of 6?
False
Suppose 2*f + 2*u = 54, -4*f - 3*u + 57 = -50. Does 13 divide f?
True
Suppose -5*t + 162 = -3*t. Is 23 a factor of t?
False
Suppose 5*c = -p + 5 + 3, 3*c - 2*p = 10. Suppose -h + 20 = c. Does 18 divide h?
True
Let j(w) = -3*w + 2*w + 2*w. Let b(v) = 5*v - 28. Let g(h) = -b(h) + 4*j(h). Is g(0) a multiple of 14?
True
Suppose -4*c + 11 = -f, 2*c = 4*f - 9 - 3. Suppose -s - s - f*b = -101, 5*b = 4*s - 157. Does 12 divide s?
False
Is 0 - (-55 - 12/(-4)) a multiple of 13?
True
Suppose -4*b = -7*b + 4*m - 10, -3*b + 14 = 2*m. Suppose 2*k - k - 2 = 0. Suppose -k*r = b*r - 128. Is r a multiple of 14?
False
Let s = 1 + -1. Suppose s = -0*c + c. Suppose j - 5*j + 96 = c. Is 12 a factor of j?
True
Let w = 4 + -7. Let z = w + 3. Suppose -2*o + o + 24 = z. Is 11 a factor of o?
False
Let w(r) = -r + 4. Let k be w(9). Let x = k - -30. Is x a multiple of 25?
True
Suppose 2*w + 7 = -1. Let i be (-11)/w + 6/(-8). Suppose -i*g + 2*h = -2*h - 30, -22 = -2*g + 2*h. Is 2 a factor of g?
False
Let j(b) = b**3 - 2*b**2 - 2*b + 1. Let x be (-1 + 2/8)*4. Let m be j(x). Let c = 59 + m. Is 8 a factor of c?
False
Suppose 4*g - 313 = l, -6*g - 5*l = -5*g - 73. Is 26 a factor of g?
True
Let x(g) = g - 1. Let z(d) = 1. Let w(r) = -x(r) - z(r). Let y be w(-4). Suppose -h + y*c = -28, 4*h + 7*c - 70 = 2*c. Is 10 a factor of h?
True
Suppose n + n - 58 = 0. Let i be 0 + 3/(-3) + 1. Suppose -2*k + 23 + n = i. Is 9 a factor of k?
False
Let k = 31 - 18. Is k a multiple of 13?
True
Let f(s) = 5*s - 16. Is f(13) a multiple of 7?
True
Let b(o) = 4*o + 8. Does 3 divide b(4)?
True
Let t(b) be the third derivative of -b**5/60 + 11*b**4/24 + 2*b**3/3 - b**2. Suppose -14 = -q + 2*k, -3*q = q + 3*k - 23. Is 14 a factor of t(q)?
True
Suppose h + 77 = 91. Is h a multiple of 13?
False
Let s = -13 + 18. Suppose 184 = s*w - 61. Does 16 divide w?
False
Suppose 3*f - 2*f - 16 = -4*j, -2*j = -5*f + 14. Suppose r - 11 = -0*r - 2*q, 4*q = j*r - 23. Is r a multiple of 9?
True
Let g(c) = c**3 - 3*c**2 - 4*c + 4. Let t be g(4). Suppose 0 = t*k - 7*k + 48. Is k a multiple of 13?
False
Is 14 a factor of 10261/186 - (1 + 1)/12?
False
Suppose -2*z + 224 = 4*f, -51 = -2*z + 2*f + 161. Does 8 divide ((-4)/3)/((-6)/z)?
True
Suppose 2*s + 32 = -46. Let p = s + 77. Is p a multiple of 19?
True
Let m be -3*(-4)/(-6) - 3. Let s be (2 + -1)/(m/(-35)). Suppose d + 0 = s. Is d a multiple of 6?
False
Let c(z) = -z**3 - 9*z**2 + 19. Let u(x) = -2*x**3 - 17*x**2 - x + 39. Let v(r) = -7*c(r) + 3*u(r). Does 5 divide v(-12)?
True
Suppose -k - 11 = -22. Is 11 a factor of k?
True
Suppose -w - 429 = -4*w. Is 42 a factor of w?
False
Let w(l) = -l + 37. Is 29 a factor of w(8)?
True
Let p(a) = 5*a - 1. Suppose 0 = -2*i + 2. Suppose -3 + i = -2*j. Is p(j) a multiple of 2?
True
Let r = 62 - 90. Let j be ((-54)/7)/(6/r). Let w = 4 + j. Does 16 divide w?
False
Let o be 2/3 + 8/(-12). Suppose o*g = -5*g + 375. Is 25 a factor of g?
True
Suppose 4*q - 745 - 95 = 0. Is q a multiple of 14?
True
Suppose 0 = 4*m - 7*m + 117. Is m a multiple of 13?
True
Let c be (-8)/(-5)*(-25)/(-10). Suppose -c*h = -3*h. Is 2 + h + (-65)/(-5) a multiple of 15?
True
Suppose -2*k = -k. Suppose -u + 0*u + 2*d - 3 = k, 5*d = -2*u + 30. Suppose 0*r - 58 = -3*c + 4*r, 