c = 2*y - 36, -8 = 2*y - 5*c. Suppose o - y = 45. Is o a multiple of 17?
True
Let o = 310 - 19. Suppose 0*d + o = 3*d. Suppose t - r = 46, -4*r + 69 + d = 3*t. Is 25 a factor of t?
True
Does 41 divide (-2)/(-2) + 1920 + (-17 - -13)?
False
Let b(d) = -d**2 + 2*d - 1. Let t be b(1). Suppose 9*l - 3*l = -78. Let a = t - l. Is a a multiple of 4?
False
Let i be (2 - 5)/(3/(-5)). Suppose 5*m + s = -s + 553, -3*m + i*s = -307. Suppose -m = -2*b - 41. Does 24 divide b?
False
Suppose -5*r - 75 = -25. Let y be (5/r)/((-1)/60). Suppose -a + 3*v + 36 = 0, -4*v + 98 = 4*a - y. Is 9 a factor of a?
False
Let m(v) = 2*v**2 - 20*v - 19. Let l(q) = -3*q**2 + 39*q + 37. Let z(s) = -3*l(s) - 5*m(s). Does 9 divide z(-10)?
True
Let v(u) = u**3 + 13*u**2 + u + 21. Let g be v(-13). Suppose g*w - 6*w - 34 = 0. Is w a multiple of 7?
False
Suppose -2*n - a = -135, -5*n = -6*n - 5*a + 63. Is n a multiple of 12?
False
Is 7 a factor of 2/10 - 55418/(-110)?
True
Suppose -5*d = -d + 4*v - 16, 10 = 5*v. Let l be ((-27)/(-18))/(1/d). Suppose 0 = 2*g + l*t - 48 + 4, 4*t = -4*g + 80. Is 10 a factor of g?
False
Let b(d) = -3*d + 12. Let t be b(3). Does 19 divide (t/5)/1 + (-1986)/(-15)?
True
Let z be (1 - (-6)/(-3))*-4. Suppose 3*l + l - z*y = 448, 5*l - 553 = -2*y. Suppose 4*u - 5*i - l = 0, -u + 12 = 7*i - 3*i. Is 12 a factor of u?
True
Let q be ((-2)/(8/28))/(-1). Suppose -2*s = -q - 123. Is s a multiple of 15?
False
Let l be -5*15/(-50) - (-23)/(-2). Does 10 divide (-11*(-4)/l)/((-15)/150)?
False
Suppose 145*k - 24531 = 128*k. Is k a multiple of 39?
True
Let p(m) = 7*m + 182. Let k be p(-22). Let d(x) = 2*x**2 + 10*x + 9. Let c be d(-6). Let y = k - c. Is y even?
False
Suppose 2*o = 61*n - 56*n - 3132, -3148 = -5*n - 2*o. Does 9 divide n?
False
Suppose -3*a + 2*a + 3*q = 6, 2*a - 2*q - 4 = 0. Suppose -14*l = -11*l - a. Suppose 0 = 3*r - 4*n - 150, 5*n = l*r - 40 - 53. Is 15 a factor of r?
False
Let c = -26 + 137. Does 19 divide c?
False
Suppose v - 2*j + 17 = -6*j, 0 = -3*v - 4*j - 11. Suppose 0 = -l + v*l, -2*l + 5 = 5*n. Is 11 a factor of (4 + n)*(-52)/(-10)?
False
Suppose -9116 = 3*f + 3*k - k, -4*k - 9106 = 3*f. Let c be f/(-33) + 2/(-11). Suppose 0 = -n - 3*w + c, 4*w - 95 = -n - 0*w. Is 22 a factor of n?
False
Let h = 52 + -50. Is (74/(-2))/((-1)/h) a multiple of 16?
False
Suppose 2*v - 8 = -2. Let k be (-93)/((-4 + v)*-1). Let d = 193 + k. Does 13 divide d?
False
Suppose 764 = -4*f + 4*m + m, -3*f = -5*m + 568. Let v = f + 396. Does 40 divide v?
True
Suppose -10*o - 36 = -22*o. Suppose -102 = -o*j - 15. Is j a multiple of 5?
False
Let l = 6 + 0. Let f be (-86)/l + 2/6. Is (f - -12) + 1*55 a multiple of 34?
False
Let x = -46 + 53. Suppose -x*d = -d - 378. Is 7 a factor of d?
True
Let m(l) = 2*l**2 + 2*l - 2. Let c be m(-2). Suppose -2*w + c = -0, 5*w = -a + 64. Is 11 a factor of a?
False
Let t = 109 - 261. Let s be 1 - -1*(-1 - t). Is 19 a factor of 15/10*s/6?
True
Let h(w) = -2*w + 46. Is 20 a factor of h(3)?
True
Suppose 7*t + 900 = 13808. Is 89 a factor of t?
False
Let k(p) = 3*p - 1. Let h(o) = o**2 - 6*o - 3. Let d be h(6). Let v be k(d). Is v/(1 + (-63)/57) a multiple of 19?
True
Let i(g) = -3*g**3 + g**2 + 12*g + 8. Let a be i(-6). Does 5 divide a/35 - 4/(-14) - 2?
False
Let z(k) = 82*k**3 - 8*k + 11. Is z(2) a multiple of 31?
True
Suppose -4*r + 337 + 419 = 0. Suppose -20*t = -27*t + r. Does 9 divide t?
True
Let y(f) = 2*f + 21. Let x be y(12). Let o = 67 - x. Does 20 divide o?
False
Let z be (-5)/(20/(-1628)) + -1. Let j = z - 234. Suppose -2*a + j = 2*a. Does 9 divide a?
False
Suppose -3462 = -5*y - 3*c + 1653, 2*y + 3*c = 2037. Is y a multiple of 13?
False
Suppose -2*v = -3*a, 0*v - 5 = 5*a - 5*v. Suppose q = 4*l + 76, a*l = q - l - 78. Is q a multiple of 10?
False
Let n be (-25)/6 + (-12)/(-72). Let p(v) be the first derivative of v**4/4 + 4*v**3/3 - v**2 - 6*v - 3. Is p(n) even?
True
Is (((-1480)/(-12))/((-5)/(-45)))/1 a multiple of 38?
False
Suppose -3*r + 1453 = -10*x + 12*x, 0 = 2*x - 5*r - 1429. Is 35 a factor of x?
False
Suppose m + 2*p = 12, 10 = p + p. Let j(z) = -z**3 + z**2 + 2*z. Let b be j(m). Suppose -3*w + 13 + 89 = b. Does 34 divide w?
True
Let l = 1 + -1. Suppose l = 2*f + 2*m + 11 - 89, -5*f + 216 = -2*m. Is f a multiple of 6?
True
Suppose 0*y + 2*k + 6 = 2*y, 5*y + 2*k - 29 = 0. Suppose y*g + 3*z = 252, 6*z = 2*g + 2*z - 80. Let v = 70 - g. Is v a multiple of 21?
False
Let k be (5/((-90)/(-348)))/(2/(-15)). Is (-3)/(3/k - 0) a multiple of 22?
False
Let z be 12/(-1)*(-4)/16. Let b be z + (-2)/((-3)/(-3)). Let u(w) = 52*w**3 - w**2 - 2*w + 2. Is 17 a factor of u(b)?
True
Suppose 2*l = -2*u + 64, -2*l + 5*u = u - 52. Suppose -4*i + 29 = 17. Suppose -i*f - l = -6*f. Is f a multiple of 10?
True
Let j = -267 + 598. Suppose 637 = 8*y - j. Is 27 a factor of y?
False
Let u(z) = 45*z - 3. Let l(k) = -k + 1. Let f(q) = 12*l(q) + 3*u(q). Is 21 a factor of f(1)?
True
Let v = -29 - -91. Is 31 a factor of v?
True
Let o = -423 + 733. Is o a multiple of 8?
False
Suppose -3*a - 101 - 34 = 0. Let s = a - -77. Is 3 a factor of s?
False
Let j(r) = r**3 + 15*r**2 + 17*r - 5. Does 13 divide j(-10)?
True
Let o(y) = y + 29. Let x be o(0). Let w = -20 + 27. Let v = w + x. Is 10 a factor of v?
False
Let c(o) = -4*o**3 - o**2 - o - 1. Let y be c(-1). Suppose -5*s = 3*g - 3*s - 41, -2*g + y*s = -10. Is 6 a factor of g?
False
Let t(j) = 8*j. Let d be t(2). Suppose -5*o + 101 = -r - 23, 0 = o + 2*r - d. Is o a multiple of 12?
True
Let m(n) be the second derivative of -n**5/20 - n**4/2 - n**3/2 - 8*n**2 + 3*n. Is 22 a factor of m(-7)?
False
Suppose -2*n - 2*n - 2*i + 10 = 0, -5*n + 4*i - 20 = 0. Suppose -b + 12 + 2 = n. Is 6 a factor of b?
False
Let p = 43 - 38. Suppose 3*n + 5*i = 80, -p*n + 2*i + 33 = -59. Is 10 a factor of n?
True
Suppose -4*m + o - 2*o = 0, -m = 2*o. Suppose m = z - 2*d + d - 76, -5*z - 2*d = -394. Is 13 a factor of z?
True
Suppose 4*u + 37*g - 34*g - 1422 = 0, -3*u + g + 1060 = 0. Does 16 divide u?
False
Let f(g) = -g**3 + 7*g**2 + 6*g - 8. Let v be f(8). Let d = v + 34. Does 4 divide d?
False
Suppose 5*o - 3147 = 93. Is o a multiple of 27?
True
Suppose 3*i + f + 10 = 0, 36 = -5*i - 3*f + 14. Does 4 divide (-3)/3*62/i?
False
Suppose -20*d + 10141 = -16*d + h, 0 = 3*d - 4*h - 7601. Is d a multiple of 17?
False
Suppose 27*x - 32*x = -60. Suppose -x*v + 3*v + 1782 = 0. Is v a multiple of 33?
True
Let n = 26 - 4. Let i = n - 12. Suppose 0*h - i = -h. Is h a multiple of 4?
False
Let w(t) = 97*t - 50. Is w(4) a multiple of 10?
False
Let n(z) = -z**3 - 4*z**2 + z + 6. Let o be n(-4). Is (5 - 4) + 31 + 2/o a multiple of 6?
False
Suppose 0*j + 5*r = 4*j + 347, -3*r - 201 = 2*j. Let i = j - -176. Is i a multiple of 8?
False
Suppose 5*m + 3*b - 255 = 0, -m - 133 = -3*m + 5*b. Is 4 a factor of m?
False
Suppose -u + 199 = -5*f + 1659, 3*f - 5*u = 876. Is 5 a factor of f?
False
Is -8 + 252/((-24)/(-8)) a multiple of 5?
False
Let p(b) be the first derivative of b**5/20 + b**4/6 - b**3/6 - 2*b**2 - 1. Let s(u) be the second derivative of p(u). Is s(-6) a multiple of 31?
False
Suppose -4*d + 7*p = 12*p - 4500, 2*d + 3*p = 2248. Is 8 a factor of d?
False
Suppose -4*d - 9*d - 52 = 0. Let y(f) = 8*f**2 + 22*f + 5. Is y(d) a multiple of 15?
True
Let d = 13 - 9. Suppose 3*o - 3 = -3*m, -5*o + 4 + 1 = -d*m. Suppose m = -3*n - 0*n + 240. Does 23 divide n?
False
Let b = -9 + 8. Let n be (-153)/15 + b/(-5). Does 19 divide (8/n)/((-2)/55)?
False
Let v(c) = -c**3 + 13*c**2 - 15*c + 5. Let l be v(12). Suppose -2*z + z = 7. Is z/(-7) + (2 - l) a multiple of 21?
False
Let p be (-1)/5 + (-423)/(-15). Suppose -7*s + p = -3*s. Does 6 divide s?
False
Suppose 0 + 8 = 2*o - n, -4 = -o + n. Let u = 74 + -24. Suppose -u = -o*h + 2*h. Does 15 divide h?
False
Let t(w) = -1. Let m(d) = d**2 - 14*d + 12. Let l be m(13). Let v(y) = 27*y + 5. Let f(z) = l*t(z) + v(z). Does 20 divide f(2)?
True
Suppose 8*l - 9*l - 161 = 0. Let i = -71 - l. Does 18 divide i?
True
Let s be (-1)/(14/(-5) + 3). Let u be (s/2)/(3/(-6)). Suppose 5*r = 3*f + 114, -u*f + 2 = r - 4. Is r a multiple of 7?
True
Let h(c) = 3*c + 15. Let t = -17 - -4. Let l be h(t). Let r = l - -54. Does 15 divide r?
True
Suppose -2*t - 1046 = -5*k, 10*t - 634 = -3*k + 8*t. Does 7 divide k?
True
Suppose -4*r + 7*r = -18. Let h = r + 12.