
Let k = -99 + 108. Suppose -13*j = -k*j - 120. Does 14 divide j?
False
Let z be -4*(-3 + 4 - 4). Suppose -16*s = -z*s - 380. Does 15 divide s?
False
Suppose -a + 12 = 2*g + 1, 2*g - 23 = -5*a. Suppose g*u - y + 40 = -0*y, 3*u = -y - 30. Is 10 a factor of (-28)/(-3) - u/15?
True
Suppose 17*a = 31*a - 4732. Is a a multiple of 15?
False
Suppose 2*b - 2934 = -722. Does 7 divide b?
True
Let w = 141 + -101. Let b(u) = 3*u**3 - 2*u**2 - 3*u + 2. Let z be b(2). Suppose -w - z = -p. Is p a multiple of 26?
True
Let q be 12/(-8)*50/(-3). Suppose 6*k - z = 2*k + q, 2*k + 5 = -3*z. Suppose 119 = k*l - 126. Is l a multiple of 15?
False
Let o = -126 + 130. Suppose 3*x + x - 48 = -4*t, o*t - 49 = -3*x. Is t a multiple of 2?
False
Suppose 0 = -2*l + 3*l - 3. Suppose -3*w + 2*w = c - l, 3*w + 21 = 3*c. Suppose 31 + 99 = c*d. Does 26 divide d?
True
Let n = 92 + 497. Is n a multiple of 15?
False
Suppose -10*c + 5*c - 1735 = -5*r, 1707 = 5*r + 2*c. Is 24 a factor of r?
False
Suppose 13*d - 262 = 12*d + 4*j, 5*d = j + 1386. Does 14 divide d?
False
Is 18 a factor of 1187*(-56)/(-32) - 2/8?
False
Suppose 4*y - 225 = 3*l, y - 55 = l - 0*l. Suppose 0 = -3*z + 8*z - y. Is z a multiple of 2?
True
Let m(c) = 9*c. Let g be m(-1). Does 7 divide 3/g + 1112/24?
False
Let x = -5239 - -10330. Is 147 a factor of x?
False
Let r(y) = 5*y**2 + 19*y - 10. Does 30 divide r(-10)?
True
Let o be -10 + 8 - -2*1. Suppose o = -r + 97 + 87. Suppose -6*s = -2*s - r. Is s a multiple of 26?
False
Let a = 3973 - 2113. Is a a multiple of 62?
True
Suppose 5*l + o = -73, 2*l + 5*o + 29 = -14. Is 1041/7 + (-4)/l a multiple of 12?
False
Suppose 0*y = -2*y + 3*p + 250, 2*p = 2*y - 250. Does 25 divide y?
True
Is 40 a factor of 5*5/25 - -981?
False
Suppose -5*x + 2*i = -166, 5*i = x - 32 + 8. Let a = 136 - x. Is 36 a factor of a?
False
Let y(q) = 4*q + 233. Is 5 a factor of y(-32)?
True
Suppose 0 = -0*l + 3*l. Suppose l = -j + 2 + 32. Let t = j - 23. Does 11 divide t?
True
Suppose -4*j - 6632 - 9124 = 0. Is (-1)/(-4) - (j/(-4))/(-13) a multiple of 15?
False
Suppose 115 = -2*j - 3*j. Suppose 16*i - 26*i = -560. Let s = i + j. Is s a multiple of 11?
True
Suppose -9*n = 26*n - 26180. Is n a multiple of 44?
True
Let r = 22 - 17. Does 4 divide 64/6 - r/(-15)?
False
Let s(j) = 17*j**3 + 8*j**2 - 19*j + 6. Is s(3) a multiple of 15?
True
Let j = 55 - 65. Let d = 52 - j. Is 9 a factor of d?
False
Suppose 0 = 27*i + 4*i + 1705. Let w(v) = v**3 + 6*v**2 + 6*v + 3. Let s be w(-5). Does 14 divide i*(3 + s + -2)?
False
Suppose -n - 77 = -3*v - 6*n, 115 = 5*v + 5*n. Let u(y) = -y**2 + 21*y - 10. Is 7 a factor of u(v)?
True
Let o = -101 - -233. Let x = o - 48. Is x a multiple of 28?
True
Suppose -24*j + 39519 = -25689. Is 19 a factor of j?
True
Let j(a) = -a**2 - 8*a - 7. Let s be j(-7). Suppose -2*h + 7*h - 55 = s. Let t(p) = 2*p - 1. Does 9 divide t(h)?
False
Let u = -1807 - 2713. Is u/(-70) - 4/7 a multiple of 16?
True
Let t = -168 + 172. Suppose 733 + 335 = t*s. Is s a multiple of 10?
False
Let j(r) be the third derivative of -5*r**4/24 - r**3/6 - 7*r**2. Let c be j(5). Let d = c + 49. Is d a multiple of 11?
False
Suppose 3*f = -f + z + 105, -4*f = -4*z - 120. Let i = -3 - -3. Suppose -k - 4*k + f = i. Does 2 divide k?
False
Suppose -m - 33 = -393. Is 8 a factor of m?
True
Is 22 a factor of (-3 + (9 - 4))*25?
False
Suppose -3657 = -3*b - 3*d, -3*b - 5*d + 2753 + 894 = 0. Is b a multiple of 17?
True
Let z(a) = 2*a - 21. Let r be z(12). Suppose -2*t + g + 179 = 0, r*t - 357 = -t + 3*g. Is 18 a factor of t?
True
Does 6 divide (-276)/(-40) + (-116)/40 + 3?
False
Suppose 0 = x - 5*r + 48, 3*r - 372 = 5*x - 154. Let d be -63*(x/3 - 3). Is 20 a factor of d/18 + (-2)/3?
True
Let q = 108 + -40. Let r = -18 + q. Does 10 divide r?
True
Suppose g - 16 = 5*g. Is 5 a factor of 1 - (g + 3 - 8)?
True
Let v(f) = 19*f + 8. Let t be v(2). Let n = t - 11. Does 5 divide n?
True
Suppose -4*w = -10*w + 30. Suppose -h = 7*j - 4*j - 85, -j + 5 = w*h. Does 5 divide j?
True
Let d = -4353 - -6432. Does 27 divide d?
True
Let f be (-11 - 0)/((7/63)/1). Let s = f + 183. Is s a multiple of 21?
True
Let c(u) be the first derivative of 9*u**3 - u**2/2 + 3*u - 22. Is 11 a factor of c(-2)?
False
Suppose -s - 4*x = -136, -4*x - 564 = 11*s - 15*s. Does 14 divide s?
True
Let x = -669 + 1213. Does 17 divide x?
True
Let o(g) = -g**2 + g - 1. Let w(z) = 16*z**2 - 9*z + 4. Let t(q) = 6*o(q) + w(q). Does 4 divide t(-1)?
False
Suppose 0 = -3*r - r, 2*r = 2*f - 10. Suppose 0 = -f*q + 153 + 127. Is q a multiple of 8?
True
Suppose -10285 = -27*a + 20603. Is a a multiple of 26?
True
Suppose 2*q - 264 = 96. Is q a multiple of 18?
True
Suppose 9*k - 825 = 4*k. Suppose -k - 155 = -8*b. Is 20 a factor of b?
True
Suppose -5*i + r + 14823 = 0, i = 3*i + 4*r - 5916. Suppose 5*a + 0*y - i = 2*y, 0 = 5*a + 5*y - 2950. Is 20 a factor of a/11 + 8/44?
False
Is (-2)/(-18) + ((-23429)/(-63) - -11) a multiple of 26?
False
Suppose -3*j + 5*k = -6*j + 29, 3*j + 4*k - 28 = 0. Let b(t) = -t + 32. Is b(j) a multiple of 6?
True
Suppose 5*v + 15*v = 12000. Is v a multiple of 21?
False
Suppose -1 - 11 = 4*b. Let t be 2 - b/(-2)*-2. Suppose -t*n - n + 48 = 0. Does 2 divide n?
True
Does 21 divide 23/((-3)/(-360)*10)?
False
Let q(r) = -20*r**3. Let k(p) = p**3 - 9*p**2 - 10*p - 2. Let m be k(10). Let j(x) = x**3. Let o(y) = m*q(y) - 24*j(y). Does 9 divide o(1)?
False
Suppose 3*k - 209 = 148. Suppose -k = -3*n + 1. Is 5 a factor of n?
True
Let q(d) = 5*d**2 - 5. Let x be q(7). Suppose k - 364 = -4*l + x, -4*k = -5*l + 734. Does 30 divide l?
True
Let f = -12 + 24. Does 3 divide f?
True
Let u(r) be the first derivative of -r**4/4 + 13*r**3/3 + r**2 - 4*r + 20. Is u(6) a multiple of 13?
True
Suppose 71 - 26 = 3*m. Let z = 107 - m. Is 23 a factor of z?
True
Let u(q) = -q**3 - 8*q**2 - 14*q - 12. Does 41 divide u(-10)?
True
Let j(g) be the second derivative of -g**4/12 + 5*g**3/6 - g**2 + 9*g. Let q be j(3). Suppose -82 = -q*u + 74. Is 10 a factor of u?
False
Let k(j) = j**2 - 16*j + 19. Let r be k(15). Let h(f) = 3*f**2 - 3*f - 3. Does 4 divide h(r)?
False
Let i(w) = 29*w + 3. Let v(m) = -28*m - 2. Let d(y) = 3*i(y) + 4*v(y). Let p be d(3). Let t = 154 + p. Is 20 a factor of t?
True
Let p be (-4)/(-18) - (-496)/36. Suppose -p*h = -5*h - 198. Is h a multiple of 22?
True
Suppose 32 + 103 = 3*y. Let n = y + -3. Is 17 a factor of n?
False
Suppose -1384 = -z - 0*z - 3*k, 2*k + 1399 = z. Does 37 divide z?
False
Let n = -31 - -34. Suppose r + 11 = 3*r - 5*o, -n*r + 5*o = -24. Is 7 a factor of r?
False
Let a(l) = -62*l. Is a(-1) a multiple of 3?
False
Let a(i) = -i**3 - 5*i**2 - 9*i - 1. Let x = 14 - 21. Let j be a(x). Suppose -3*m - 2*d = -d - j, -d - 115 = -2*m. Does 14 divide m?
False
Let p be 8/(-3)*(-9)/(-3). Does 6 divide p/(-20)*540/3?
True
Let j(b) = -5*b**2 + 170*b + 88. Is j(28) a multiple of 7?
False
Suppose 0 = q + 3, 2*i - 4*i + q = -3155. Suppose -i = -2*h - 6*h. Is 13 a factor of h?
False
Suppose -5170 = 2*r - 13*r. Is r a multiple of 47?
True
Suppose -34 = 5*y - 5*j - 159, -4*y - 4*j + 68 = 0. Suppose 3*b = 4*n + 60, b = n + 2*b + 8. Let p = y + n. Is 9 a factor of p?
True
Suppose 0 = 2*u - 2*g - 720, -1080 = 5*u - 8*u + g. Is 9 a factor of u?
True
Let y(f) = 3*f - 23. Let s be y(8). Is 15 a factor of 1/(s/1 - 385/390)?
False
Suppose -5*s = -s + 4. Let x be s + 4/(-12)*-3. Suppose -3*h + 17 + 7 = x. Is h a multiple of 2?
True
Suppose -81*j + 80*j = -958. Is j a multiple of 10?
False
Let u(z) be the first derivative of -z**2 + 6*z + 5. Let y be u(-6). Suppose 3*r + 2*b - 17 = 0, -b - 4*b + y = 4*r. Does 4 divide r?
False
Suppose 0 = 21*h - 1106 + 140. Does 8 divide h?
False
Suppose 2 = -i + 38. Suppose 162 = 2*d + i. Is 29 a factor of 2 - 6 - (1 - d)?
True
Let g(n) = n**3 - 14*n**2 + 22*n + 28. Is g(13) a multiple of 29?
True
Let q = -20 + 47. Let h = q + -11. Does 6 divide h?
False
Let p(d) = 23*d. Let b be p(-1). Let t = b - -38. Let v = t + -6. Does 5 divide v?
False
Suppose -2 = -3*y - 23. Does 7 divide 2*3/21 - 306/y?
False
Let t(l) = 68*l**3 - 2*l**2 + l. Let k = -8 + 9. Is t(k) a multiple of 16?
False
Suppose 4*q + 264 = 4*k, 0*k - 4*k - 3*q + 243 = 0. Is 18 a factor of k?
False
Let b be -2 - (-1 - -1 - (6 - 4)). Suppose 4*h - 4*f - 852 = b, -f + 80 = 2*h - 355. Does 24 di