3 + 2*q**2 - 3*q - 4. Does 23 divide z(-2)?
False
Let v = -15 + 10. Suppose -6*q + 15 = -5*r - 5*q, 0 = q. Is v - r - -65*1 a multiple of 13?
False
Suppose 8*k + 4*m = 4*k + 12, 5*k - 5*m - 25 = 0. Suppose -3*g + 45 + 202 = k*o, 3*o - 185 = -2*g. Does 18 divide o?
False
Suppose 0 = -135*i + 57*i + 28938. Is i a multiple of 7?
True
Let w = 9 - 3. Suppose -5*o + 5*g + 35 = 0, w*g + 31 = 4*o + g. Suppose 3*m = 5*c - 260, o*c = 3*c - 2*m + 65. Is c a multiple of 20?
False
Suppose -3*t = 4*p - 29, -3*t = -0*t - 5*p - 38. Suppose -t = 4*n - 19. Suppose -n*i = -0*i - 60. Is 17 a factor of i?
False
Let f = 3 + -3. Suppose 16 = -4*h - 4, 5*g + 5 = -5*h. Suppose -d + r + 11 = g*r, -d - 2*r + 12 = f. Does 14 divide d?
True
Let s be 3 - (2 - -1)/(6/(-344)). Let p = -166 + s. Is 9 a factor of p?
True
Let d(q) = -17*q + 53*q + 6 - 18*q. Does 15 divide d(3)?
True
Let y(k) = 5*k**3 - 3*k**2 - 12*k + 19. Does 3 divide y(4)?
True
Let j = 618 - 294. Does 9 divide j?
True
Let c(m) = 46*m - 23. Is 12 a factor of c(3)?
False
Let n(p) = 4*p + 34. Let v be n(-7). Suppose -4*w + v + 250 = 0. Does 12 divide w?
False
Let h(k) = -k**2 - k + 2. Let d be h(1). Suppose d = 4*p - 92. Let c = p - 14. Is c a multiple of 9?
True
Let a be ((-23)/4)/((-2)/24). Let o = 130 - a. Does 22 divide o?
False
Suppose 0*k = -4*k - 2*s + 6, 3*s = -9. Suppose -5*g - k*m = 2*m - 50, -2*g - 5*m + 26 = 0. Suppose 3*a - 28 = g. Is 3 a factor of a?
True
Let t be (-2 - 1)/(6/(-8)). Let j = -18 - -21. Suppose -2 = -i + t*z, -j*z + 20 = i - z. Is 7 a factor of i?
True
Suppose 0 = 3*i - 5*s + 5, -2*i - 2*i + 32 = 3*s. Suppose -l + 3*l = -0*l. Suppose l = i*f - f - 72. Does 8 divide f?
False
Let x = -892 + 2450. Is x a multiple of 38?
True
Let s = -31 + 90. Suppose 0 = 5*v + s + 81. Is (-86)/(-7) - (-8)/v a multiple of 11?
False
Suppose 50 = 3*p + 386. Suppose o = -224 + 52. Let c = p - o. Is c a multiple of 20?
True
Let d = 150 + -60. Is d a multiple of 18?
True
Let g(t) = -5*t**2 - t - 5. Let z(q) = -9*q**2 - 2*q - 9. Let c(b) = 11*g(b) - 6*z(b). Let h be c(2). Let v(k) = 4*k**2 + 6*k + 6. Is 15 a factor of v(h)?
False
Suppose -184 = -11*r + 36. Is (64/(-10))/(r/(-50)) a multiple of 16?
True
Is 32 a factor of (112/70)/((-2)/(-370))?
False
Let b(q) = -2*q**3 - 6*q**2 - 2*q + 3. Let x be b(-6). Let u = -151 + x. Is 10 a factor of u?
True
Let n(p) = 16*p**2 + 80*p + 535. Does 3 divide n(-7)?
True
Suppose 0 = -5*d + 2052 + 133. Let l = d + -248. Is 27 a factor of l?
True
Let j = 1771 - 751. Is j a multiple of 30?
True
Suppose 4*l = 5*f + 70, -2*l + 5*f = -l - 10. Suppose -3*v - 22 = -4*j, -2*j - 2*v + l = v. Is j even?
False
Let c(u) = -u**2 - 6*u + 31. Let n be c(-10). Let v(k) = 20*k**3 - 2*k + 1. Let m be v(1). Let g = m + n. Is g a multiple of 5?
True
Suppose 4*t = 9*t. Let u be -1 - t - (-6 + -958). Is 4/(-10) + u/45 a multiple of 9?
False
Let j = -19 - 6. Let w = 44 + j. Is w a multiple of 4?
False
Suppose -43 + 13 = -6*v. Let j = 551 + -323. Suppose v*q - j = q. Is 12 a factor of q?
False
Let a = 86 - 35. Does 6 divide a?
False
Let g = -67 + 47. Is 18 a factor of (g/2)/(-2 - (-19)/10)?
False
Let d(q) = q**3 - 7*q**2 - 10*q - 2. Let o be 36/8*20/6. Suppose -3*f - o = -2*g + 3, -27 = -3*g + 5*f. Does 28 divide d(g)?
False
Let w = 356 - 214. Is 28 a factor of 2/2*(w - 0)?
False
Suppose -10*g = 7*g - 17680. Is 20 a factor of g?
True
Let q(r) = -10*r + 74. Is q(-16) a multiple of 6?
True
Suppose 4*g + 0*g + 440 = 0. Let y = 191 + g. Let i = y - 56. Is i a multiple of 6?
False
Suppose -24*h + 4773 + 1131 = 0. Does 3 divide h?
True
Let b be ((-15)/12)/(2/32). Let l = -8 - b. Let w = 7 + l. Does 12 divide w?
False
Suppose 2*y + 5*n - 23 - 6 = 0, -3*n + 21 = 3*y. Let t(k) = -2 + 75*k**y + 81*k - 80*k - 12*k**2. Is 17 a factor of t(1)?
False
Suppose a + 0 = 29. Let j = 10 - 3. Suppose i = a + j. Is 12 a factor of i?
True
Suppose 2*k - 4 = 4*k. Let p be 15/50 + 104/(-80). Is 18 a factor of (k - (-22 + 1)) + p?
True
Suppose 0 = -4*q + 5*q - 4*n - 444, -429 = -q - n. Is 7 a factor of q?
False
Let h(b) = -2*b**3 - 16*b**2 - 74*b - 33. Does 23 divide h(-14)?
False
Let t(h) = h**3 - 2*h**2 + 3. Let c be t(2). Does 7 divide ((-156)/(-20))/(c/15)?
False
Let a = -9 + 13. Let y(p) = p**3 - 5*p**2 + 7*p - 6. Let s be y(a). Is s/(-4) - 42/(-12) even?
True
Does 15 divide (3 + (-2870)/21)*-3?
False
Suppose c + 4*c - 185 = 0. Suppose -9*y + y = -416. Let q = y - c. Is 7 a factor of q?
False
Let c(x) be the third derivative of x**7/2520 - x**6/720 + x**5/60 - 3*x**2. Let y(l) be the third derivative of c(l). Does 13 divide y(7)?
True
Suppose 5*b + 3340 = 5*n, 1543 = 4*n + 2*b - 1117. Is n a multiple of 74?
True
Let j(l) be the first derivative of 6*l**2 + 5*l + 18. Is j(3) a multiple of 16?
False
Let j be (45/(-25))/9 + 682/10. Suppose j = 3*i - 49. Is 20 a factor of i?
False
Let l(d) = -115*d + 1. Let n be l(-2). Suppose n = 3*o - 3*m, -2*o + 4*m = -140 - 6. Suppose -4*v + o = p, -3*p - 23 = -2*v + 28. Is v a multiple of 7?
True
Let u(n) = 3*n + 59. Is 7 a factor of u(-15)?
True
Is (3/(-9)*-46)/((-18)/(-351)) a multiple of 3?
False
Suppose -7*k + 3*k = -8. Suppose 7*c = k*c + 20. Suppose -4*r - r - i + 192 = 0, -c*i + 198 = 5*r. Does 8 divide r?
False
Let m = 36 + 25. Let f = m + -50. Is 2 a factor of f?
False
Let t(i) = -i**3 - 3*i**2 + 6*i + 4. Let c be t(-5). Suppose -3*r + 9 = 0, -5*r - 41 = 4*j + c. Does 18 divide 176/10 + (-8)/j?
True
Suppose 0 = -2*q + 6, -4*x + 23*q = 18*q - 2105. Is x a multiple of 10?
True
Let x(u) = 9*u - 115. Is 2 a factor of x(16)?
False
Suppose -5*k - 5*g = -95, 76 = 4*k - 2*g + 5*g. Suppose 0 = k*s - 15*s - 476. Is 34 a factor of s?
False
Let t = -1 + 2. Let j = -11 + 16. Does 6 divide j + 4 - (1 + t)?
False
Suppose -7*z + 4650 = -17*z. Does 39 divide z/(-2) + 2 - 7/14?
True
Let m(r) = -r**3 - 5*r**2 - r + 10. Let s be m(-6). Suppose -q = -3*q + s. Is 13 a factor of q?
True
Suppose -7*a + 8*a = 26. Suppose 24*f + 72 = a*f. Is f a multiple of 9?
True
Let f(t) = 6*t + 16. Let o be f(-3). Is 39 a factor of -3*o/3 + 111/3?
True
Is 9 a factor of (501970/(-90))/(-7) + 6/27?
False
Let t(x) = 18*x + 1. Let v be t(6). Let i = -19 + v. Suppose 5*n = 40 + i. Is 8 a factor of n?
False
Is 49 a factor of 6/(-8) - ((-12729)/12 + -4)?
False
Let u(c) = c**2 + c + 1. Let m(i) = -6*i**2 + 12*i + 2. Let l(g) = m(g) + 4*u(g). Does 24 divide l(6)?
False
Let q(n) = -2*n + 28. Suppose -b = -p - 5, -2 = -p + 3*b + 1. Is q(p) a multiple of 8?
False
Let k be 2*-31*(10 + -11). Suppose 42 = d - k. Does 13 divide d?
True
Let z(j) = -2*j**2 + 10*j. Let k be z(5). Suppose -3*l - 4*l + 2394 = k. Is 57 a factor of l?
True
Let d(q) = 3*q**3 - 25*q**2 - 5*q - 48. Let f(y) = -y**3 + 8*y**2 + 2*y + 16. Let w(v) = 3*d(v) + 8*f(v). Let b be w(11). Is 13 a factor of 29*(-2 + (-2 - b))?
False
Suppose -3*m - 76 = -304. Let v = m + -32. Does 6 divide v?
False
Suppose -2*y - 3*h + 7 = 0, 0*h = -y + 5*h - 3. Suppose -4*m + m = -y*d - 13, -5*d = -m + 13. Suppose 0 = m*i - 113 - 43. Does 26 divide i?
True
Suppose 23*k + 3*a = 18*k + 6469, 2*a - 6471 = -5*k. Is k a multiple of 5?
True
Suppose 1411*m - 1412*m + 1693 = 0. Is m a multiple of 59?
False
Is 12 a factor of 935/6 - (69/(-18))/23?
True
Let l(y) = -35*y - 101. Is l(-8) a multiple of 24?
False
Let u(x) be the second derivative of 37*x**4/12 + x**3/3 - 3*x**2/2 - 23*x. Is u(1) a multiple of 4?
True
Suppose -4*x + 10 + 10 = 0. Suppose -x*c = -3*p - c + 208, 0 = -3*c + 6. Is p a multiple of 18?
True
Let q(f) = f**3 - 7*f**2 - 7*f - 6. Let p be q(8). Suppose -p*r = -0*r. Does 22 divide 85*(r + (-9)/(-15))?
False
Suppose -895 = -5*o + 1255. Does 23 divide o?
False
Suppose 28*u + 78435 = 49*u. Is 93 a factor of u?
False
Let u(a) = -a**2 + 29*a + 32. Does 7 divide u(17)?
False
Let u(z) = z**3 + 23*z**2 + 25*z - 28. Is 38 a factor of u(-21)?
False
Is (-306)/51 + -1*818*-1 a multiple of 7?
True
Suppose 2*b + 15 - 43 = 0. Let v = -171 - -136. Is 9 a factor of (40/b)/((-10)/v)?
False
Suppose 0 = x + 5*j - 12, -x - 3*j = -3*x + 63. Suppose -14 = 10*o + 6. Is 6 a factor of 654/x + o/9?
True
Let o(d) = -5*d - 9. Let r be o(-8). Suppose 0 = -2*m + 3*c + r + 231, -m + 4*c + 141 = 0. Suppose -5*y + 15 = -2*y, -5*y = -3*f + m. Is 17 a factor of f?
False
Let s(h) be the first derivative of -1/4*