6 = 4*z. Suppose 12*q + 10 = u*q. Is 2 a factor of (q - -1)*(-8 - -1)?
False
Let q = 166 - 158. Does 3 divide q?
False
Let t(n) = -9*n**3 - 16*n**2 + 27*n - 19. Let q(y) = 5*y**3 + 8*y**2 - 14*y + 10. Let i(d) = 11*q(d) + 6*t(d). Does 8 divide i(9)?
False
Suppose -4*o = 974 - 3182. Is o a multiple of 8?
True
Let l = 31 + -22. Is l a multiple of 4?
False
Let l(q) = -2*q - 12*q - 9 + q**2 - 2*q**2 + 23*q. Is l(6) a multiple of 9?
True
Let h(d) = 5*d - 2. Suppose j = -8 + 10. Is 3 a factor of h(j)?
False
Let t(y) = y**3 + 17*y**2 - y - 24. Is t(-11) a multiple of 23?
True
Suppose -2*k + 3*m = -266, -21*m + 18*m = k - 124. Is k a multiple of 6?
False
Let l = 6 + -2. Does 11 divide ((-222 - -2)/l)/(-1)?
True
Suppose -2*r = 3*x + x + 18, 5*x + 4*r + 30 = 0. Let c = 114 - x. Is c a multiple of 29?
True
Suppose 3*q = -3*s + 453, 48*s = -3*q + 47*s + 463. Is q a multiple of 39?
True
Suppose 5*i - 26 = 5*z - 11, -3*z - 3*i + 15 = 0. Let v(o) = -5 + z + 8*o**2 + o - 2 - 3*o. Is 19 a factor of v(3)?
False
Let t be (-14)/63 + 1940/(-18). Let y = -12 - t. Is y a multiple of 12?
True
Let q(w) be the third derivative of w**5/30 - w**4/8 - 5*w**3/6 - 6*w**2. Let d be q(-5). Does 3 divide d/(-50)*(-40)/6?
False
Suppose -2*n - 5*p + 136 = n, -4*p + 50 = n. Is 11 a factor of n?
False
Suppose -5*n - 35 = -5*x, x - 2*n - 13 + 1 = 0. Let y be ((-212)/6)/(x/(-3)). Suppose 2*a - o = -4*o + 29, 4*a + o - y = 0. Is a a multiple of 13?
True
Let v be (1 - 2) + -1 + 128. Let p = 178 - v. Suppose 4*g - p = -8. Is g a multiple of 7?
False
Let x = -4365 - -6594. Is x a multiple of 14?
False
Let h(o) = 92*o - 5. Let r be h(-1). Let y be (66/9)/(2/(-6)). Let v = y - r. Is v a multiple of 25?
True
Suppose -2*y = -5*t - 7, -4*y - 4*t = -3*t - 3. Let c be ((0/(-1))/2)/y. Suppose c*g + 27 = 3*g. Is g a multiple of 4?
False
Let t(b) = b**3 + 12*b**2 - b - 10. Let w be t(-12). Suppose -w*x + 4*l = x - 86, -3*l = -3. Is x a multiple of 6?
True
Let s(f) = -66*f + 1. Let w be s(-1). Let t = w - -8. Suppose u + 4*a = t, 2*u = -4*a - 0*a + 134. Is 17 a factor of u?
False
Let i(c) = -c + 1. Let w be i(-1). Suppose -15 - 1 = w*g. Let a = 23 + g. Is a a multiple of 6?
False
Let k(j) = -j + 14. Let t be k(11). Let x be (t - 2) + 1/1. Does 6 divide 2/(x/2) - -27?
False
Let i = 645 + 1128. Does 68 divide i?
False
Suppose -3*u - 12 = 0, -813 = 2*l + 5*u - 3253. Is l a multiple of 17?
False
Let r(f) = 6*f**2 + 17*f + 117. Is 28 a factor of r(-16)?
False
Let h(d) be the second derivative of d**4/12 + 5*d**3/6 + 3*d**2 - 13*d. Let c be h(-5). Suppose u = c*u - 160. Does 16 divide u?
True
Suppose s - 408 = k, s - 8*k - 408 = -11*k. Is s a multiple of 12?
True
Let l(r) = -r**3 + 12*r**2 - 17*r - 25. Let k be l(10). Let z be 52/10 - 1/5. Suppose 0 = -5*j - x + 412, -4*j - z*x = -k*j + 72. Is j a multiple of 23?
False
Suppose -2*d - 8 = -12. Suppose 4*x - d*x = 246. Suppose -4*q + q + x = 0. Does 16 divide q?
False
Let y be 32/(-18) - 4/18. Let q be 28/12*(5 + y). Let u = 29 + q. Is 12 a factor of u?
True
Let h = -1290 + 1413. Does 4 divide h?
False
Let q(m) = 7*m**2 - 3*m - 5. Suppose -2*h - 102 = 4*h. Let a = -19 - h. Does 15 divide q(a)?
False
Suppose -5*q + 12050 = 3*t, -5*q = -2*q - 4*t - 7230. Does 15 divide q?
False
Let i = -183 - -404. Suppose -i = -5*p + 184. Does 12 divide p?
False
Suppose 3*k = -2*w + 5*w - 2448, -5*w + k + 4096 = 0. Is w a multiple of 10?
True
Suppose 20 = 3*f - 19. Suppose f*m = 230 + 511. Does 14 divide m?
False
Let q be ((-28)/12 - -2)/(3/531). Let u = 99 + q. Does 8 divide u?
True
Suppose 335 = 2*q - 85. Does 9 divide -12*7/49*q/(-4)?
True
Suppose 0 = 18*h - 751 - 1409. Is h a multiple of 10?
True
Let r(y) = y**2 - 3*y - 2. Let m(x) = x. Let q(i) = 2*m(i) - r(i). Let d be q(4). Is 3/d + 47/2 a multiple of 13?
False
Let w(i) = i**2 - 5*i + 9. Suppose -2*o + 15 = o. Let m = 1 + o. Does 7 divide w(m)?
False
Let s(p) = -p**3 - 6*p**2 + 5*p + 2. Let h be s(-7). Let r(l) = 1 - 3*l - 13*l**2 - l + h*l**2. Does 12 divide r(3)?
False
Let r(d) = 11 + 10 - 34 - 3*d. Let h be r(-6). Suppose -583 = -h*x + z, 4*x + 4*z - 96 - 356 = 0. Is x a multiple of 13?
False
Let z = -8 + 244. Does 17 divide z?
False
Let n be (-8)/(-6)*(-36)/(-12). Suppose -2*l + n*g = 5 - 87, -4*g + 53 = l. Is l a multiple of 9?
True
Let u be (-12)/20 + (-2)/(-20)*6. Suppose -o - 43 = 2*m - 140, o + 5 = u. Is m a multiple of 14?
False
Suppose 194*z = 185*z + 16461. Does 10 divide z?
False
Let g = -48 - -88. Let u = g - 28. Does 6 divide u?
True
Let u(y) = -3*y**3 + 3*y**2 - 3*y + 2. Let m be u(2). Suppose 4*a - 52 = 28. Let v = a + m. Is v a multiple of 4?
True
Suppose 77 - 501 = -4*x. Suppose x = 5*m + 4*k, -4*k = -2*m - k + 24. Is 5 a factor of m?
False
Let d(j) be the first derivative of -j**4/4 + 2*j**3 - 4*j + 15. Suppose -4*y + 13 = -7. Is 7 a factor of d(y)?
True
Let u = 76 + -76. Suppose 2*l - 2*x - 262 = u, -4*l - 2*x + 530 = -4*x. Is l a multiple of 29?
False
Let g = 14 - 10. Is (g - 1)*144/6 a multiple of 24?
True
Let l be -1 - -30 - (1 - 4). Suppose 34*r - 486 = l*r. Is r a multiple of 27?
True
Suppose 2*w - 3*c = -130, 65 = -0*w - w + 4*c. Let k = -36 - w. Suppose 0 = 2*r - k - 19. Is r a multiple of 12?
True
Let g = 7 - 8. Let t = g + 3. Suppose -t*q + 24 = -5*s, 3*s = -q - 2*s + 12. Is 12 a factor of q?
True
Suppose 2*g = 2*p, -3*p + 7*p = -4*g + 40. Suppose 384 = g*a + a. Is a a multiple of 32?
True
Suppose -4*m + 10 = -6. Let v be m + (-1)/(-3)*6. Suppose v*j = 4*j + 168. Does 18 divide j?
False
Let t(p) = -p**3 + 14*p**2 - 6*p + 144. Is t(13) a multiple of 5?
True
Is (2 - 4) + 1/(8/8896) a multiple of 21?
False
Suppose 7*v - 2*v = 2*y - 144, v - 2*y = -24. Does 20 divide v/75 - 234/(-10)?
False
Let d(x) = -4*x**3 + 6*x**2 - 2*x + 6. Let z be d(4). Let h = -40 - 76. Let s = h - z. Is s a multiple of 15?
False
Let r = 1803 - 167. Is r a multiple of 82?
False
Let k(z) = z**2 + 2*z - 9. Let u be k(-5). Suppose -5*o = 5*v - 15, 3*v = 2*o - 2*v - u. Suppose -o*f = -2*c + 38, -3*c + 3*f = 2*c - 95. Is 6 a factor of c?
False
Let g be 145/11 + -1 - (-116)/(-638). Let z(u) be the second derivative of u**4/12 - 4*u**3/3 - 15*u**2/2 + 2*u. Is z(g) a multiple of 15?
False
Let x = 8 - -35. Suppose 6*n - 163 + x = 0. Is n a multiple of 3?
False
Let a = 10 + -13. Let b be ((-144)/27)/(1/a). Let m = 33 - b. Is m a multiple of 8?
False
Suppose 7359 = -32*v + 26367. Is 9 a factor of v?
True
Suppose -9*b + 10372 = -11579. Does 12 divide b?
False
Let w = -18 - -18. Suppose -3*u = -2*p - 8, 3*p + 4*u + 16 + 13 = w. Let l(s) = -4*s + 5. Is 33 a factor of l(p)?
True
Let r(c) = 6*c**3 - c**2 - 4*c - 3. Let p be r(4). Suppose -34 = 5*f - p. Does 10 divide f?
False
Suppose 14*p + p - 495 = 0. Suppose 8*h = 9*h - p. Does 14 divide h?
False
Suppose 7*h = 2*h - 5*y + 1135, 0 = 3*h + 4*y - 680. Let c = h - 104. Does 26 divide c?
False
Suppose 4305 = 24*t - 3687. Is t a multiple of 34?
False
Suppose 2*n + 8 = 14. Suppose 0 = -2*r + n*w + 27, -r + 5*w = -4*r + 69. Is 3 a factor of r?
True
Suppose -171*y + 177*y = 540. Is y a multiple of 45?
True
Suppose -25 = -5*w - 10. Suppose 15 = w*n, 5*y = -0*n + 2*n + 235. Does 7 divide y?
True
Suppose 0 = -b + 2, -3*b + 6 = 2*s - 4*b. Let k = s + -6. Let a(c) = -19*c - 2. Does 12 divide a(k)?
True
Let s = 295 + -128. Does 9 divide s?
False
Let k = 13 - 10. Suppose 0 = -4*i + k*i - 1. Let w(v) = 16*v**2 - 1. Is w(i) a multiple of 5?
True
Is 39 a factor of (2/(-4))/(-1 + (-19305)/(-19318))?
False
Let i be 14/21*(-1 + -2). Let d(x) = 1 + 4*x**2 + 2*x**2 + 6*x**2 - 2*x**2 + 2*x. Does 11 divide d(i)?
False
Let o(g) = -5*g + 32. Let c be o(6). Suppose 4*z - 3*x - 241 = 0, c*z - x - 87 - 34 = 0. Does 29 divide z?
False
Let k(v) = -v**3 - 2*v**2 + 3*v + 3. Let j be k(-3). Let a = 15 - j. Is 9 a factor of a?
False
Is (-99 - -12)/((-3)/50) a multiple of 28?
False
Let c(a) = -8*a**2 - 13*a - 29. Let q(g) = 23*g**2 + 39*g + 86. Let l(y) = 11*c(y) + 4*q(y). Does 7 divide l(-6)?
True
Let j be 2/(3/18*4). Suppose -5*g + 2*n = j*n + 108, -4*n = -4*g - 72. Does 25 divide g/(-14)*100/6?
True
Let o(q) = q**3 - 9*q**2 - 20*q - 16. Let j be o(11). Suppose -j = -x + k, 4*x - 13 = -k + 6. Is 5 a factor of x?
True
Suppose 4*f - 12 = -4. Suppose 0 = h + f*a - 132, 0*a - 660 = -5*h + 2*a. Suppose -3*c = c - 