l = -56 + 190. Does 15 divide l?
False
Suppose 0 = 6*o - 1301 + 389. Does 4 divide o?
True
Let z(f) = -f**2 - 15*f + 30. Let t be z(-14). Suppose -2*s + 2*b - 5*b - 9 = 0, s + 9 = -3*b. Let g = t - s. Is 8 a factor of g?
False
Let u(q) = 92*q**2 + 46*q + 96. Is u(-2) a multiple of 62?
True
Suppose 225 - 1737 = 8*c. Let f = c - -344. Is 18 a factor of f?
False
Let z = -551 - -929. Does 13 divide z?
False
Let h = 35 + 52. Suppose -2*j + 7 = -h. Is j a multiple of 8?
False
Suppose 2*t + 2*t + 3 = d, 5*t - d = -5. Is 33*((-1)/(-2))/(t/(-4)) a multiple of 21?
False
Let g(i) = 727*i**2 + 3*i + 4. Is g(-1) a multiple of 13?
True
Let a be 6/21 + (-570)/(-14). Suppose -z + 22 = -4*f, 0 = 2*z + 4*f - a + 9. Is 18 a factor of z?
True
Let g be -196 + (-1 - -2) - 2. Let q = 327 + g. Is 13 a factor of q?
True
Let b = 1002 + -458. Is 4 a factor of b?
True
Suppose 65 = 3*t - 106. Is t a multiple of 57?
True
Let j be (-59)/5 - (-4)/(-20). Let n be j*(2 + 15/(-6)). Is 20 a factor of (n/18)/((-1)/(-117))?
False
Let k(v) = 43*v**2 + 4*v - 20. Does 24 divide k(4)?
False
Let p(m) = -4*m**2 - 36*m + 304. Let z(n) = -n**2 - 7*n + 61. Let u(r) = 2*p(r) - 11*z(r). Is 17 a factor of u(7)?
True
Suppose c = -4*c + 460. Suppose -3*g + c + 82 = 0. Let m = g + -26. Does 16 divide m?
True
Let a = -49 - -37. Let t = 1 - a. Is 9 a factor of t?
False
Let k = -268 - 123. Let q = k - -635. Suppose m + q = 5*m. Does 26 divide m?
False
Does 11 divide -159*(3 - (115/15 - 4))?
False
Suppose 6*f = 8*f + 532. Does 11 divide 4/2 - (f + 4)?
True
Suppose n - 5*w - 6 = -37, 4*n - 5*w + 49 = 0. Is 5 a factor of (4 - 0 - 1)*(-40)/n?
True
Let o(n) = -4*n**3 + 22*n**2 + 7*n - 1. Is 3 a factor of o(5)?
True
Let l(z) = z**3 - z**2 + 2*z + 43. Suppose -9*s = s. Does 13 divide l(s)?
False
Let p be 1/(-2)*(7 - 7). Suppose 4*k - 2*n - 68 = p, -5*k + 67 = -0*k + 2*n. Suppose k = 3*s, 197 = 4*b - 4*s + 41. Does 20 divide b?
False
Let u(v) = -3*v**2 - 2 - 4*v - 1 + 4*v**2. Let y be u(5). Suppose y*d + 44 = 2*p, 63 = 4*p - 5*d - 27. Is p a multiple of 9?
False
Let i = 261 + -161. Is i a multiple of 8?
False
Let c = 3 + 1. Let a(t) be the first derivative of -t**3/3 + 11*t**2/2 - 3*t + 59. Is a(c) a multiple of 13?
False
Let x(r) = 28*r - 16. Let g be x(-5). Let l = g + 320. Is 20 a factor of l*((-8)/4)/(-4)?
False
Suppose 2*l + 3*t + 9 = 0, -5*l - 5*t = -3*t - 5. Let o(y) = 87*y**2 - 2*y + 2 - 46*y**2 - 40*y**2. Is o(l) a multiple of 2?
False
Let v be 99/(-2) - 4/(-8). Let k = 86 + v. Suppose -3*i - 51 = -7*i - 3*w, -3*i + k = w. Is 12 a factor of i?
True
Let j(i) = 21*i - 2. Let a(x) = 21*x - 1. Let l(s) = -5*a(s) + 6*j(s). Is l(2) a multiple of 7?
True
Let s be (-2)/(0/(-2) + -2). Suppose -5*z - 3*l = -4, 4*l + 17 = 5*z - s. Suppose 51 - 6 = f + z*c, -f + 57 = -c. Is f a multiple of 22?
False
Let s(y) = y**2 - 14*y - 14. Let d be s(8). Let n = -37 - d. Is 15 a factor of n?
False
Let g = 730 + 26. Does 14 divide g?
True
Let f(x) = -63*x + 24. Suppose -s - 2*s - 2 = -2*l, 0 = 4*s + l + 21. Is 46 a factor of f(s)?
True
Let n(t) be the first derivative of -2*t**3/3 - t**2/2 - 3*t - 3. Let o be n(3). Let c = -6 - o. Does 6 divide c?
True
Let o(q) = 11*q - 8*q - 6*q. Let a be o(-8). Suppose 94 - a = 5*i. Does 3 divide i?
False
Let g(l) = l**3 - 2*l**2 + l + 1. Let a be g(1). Let x = 5 + a. Is 2 a factor of x/(-42) + (-44)/(-14)?
False
Let y(d) = d**2 - 12*d + 12. Let x be y(10). Does 12 divide x/(-6) + (-222)/(-9)?
False
Suppose -107 = t - 6*t + 4*l, 2*l + 6 = 0. Is t a multiple of 15?
False
Suppose 0 = -5*i - 20, -4*b + i = -0*b - 32. Let d = 107 + -112. Let s = d + b. Does 2 divide s?
True
Let d(b) = 20*b - 147. Does 2 divide d(11)?
False
Let x = 591 + -553. Does 7 divide x?
False
Let g be 12/9*(-6)/(-4). Suppose -8*t - 16 = -12*t. Suppose -g*y + 3*d = d - 36, -6 = -y + t*d. Is y a multiple of 11?
True
Let g = -324 - -430. Does 3 divide g?
False
Let l(p) = 4*p**2 + 15*p - 8. Suppose 10*x + 11 = -69. Is 16 a factor of l(x)?
True
Is 8 a factor of (-13 + 17)/((-3)/(-381))?
False
Let p be 410/18 + (-8)/(-180)*5. Suppose h - p = -4*a, 3*h - 6*a = -3*a + 54. Is 19 a factor of h?
True
Does 7 divide (1/5)/(-1) - (-60027)/85?
False
Let o(w) = -w**3 - 3*w**2 - 2*w - 14. Is o(-5) a multiple of 14?
False
Let a = 528 + -154. Does 12 divide a?
False
Let r be (-5)/2*(-72)/45. Suppose -17 = r*o - 113. Suppose -o - 16 = -5*q. Does 3 divide q?
False
Suppose -2*o - 24 = -10*o. Suppose s - 480 = -o*s. Is 10 a factor of s?
True
Let n(d) = -2*d - 26. Let m be n(-18). Suppose -u = -3*u + m. Suppose 3*q - b = 2*q, u*q + b = 18. Is 3 a factor of q?
True
Is 270*((-114)/19 - 80/(-6)) a multiple of 60?
True
Let o(t) = -t**3 + t**2 + 13*t - 8. Let w(x) = 3*x**3 - 4*x**2 - 38*x + 24. Let j(i) = 8*o(i) + 3*w(i). Is j(6) a multiple of 10?
True
Is 13 a factor of 5148/108 - (8/(-6) + 2)?
False
Let o(t) = -33*t + 291. Does 59 divide o(-25)?
False
Let z(j) = -6*j - 13. Let y be z(-10). Suppose 2*a - y = -5. Does 8 divide 218/14 - a/(-49)?
True
Suppose 37*o = 16*o + 8190. Is o a multiple of 6?
True
Let h(t) = -5*t**3 - 10*t**2 + 15*t - 24. Let a(i) = -2*i**3 - 5*i**2 + 7*i - 12. Let q(v) = 7*a(v) - 3*h(v). Is 15 a factor of q(7)?
False
Let y be (-5)/(-5) - (-3)/(-3). Let k be -365*(-2 - y)/2. Suppose 2*a = -q + 175, 0 = -5*a - 3*q + k + 75. Is a a multiple of 35?
False
Suppose -1696 - 5096 = -24*v. Is v a multiple of 30?
False
Let j(q) be the second derivative of -q**5/20 - q**4/3 - 2*q**3/3 - 3*q**2 - q. Let u be j(-5). Let g = u - 28. Is g a multiple of 11?
True
Suppose -25*x = -10652 - 7348. Is x a multiple of 9?
True
Suppose s - 18 = -5*i - 100, 2*s = 5*i - 89. Let y = -207 + 304. Let f = y + s. Is 6 a factor of f?
False
Let t be 4/16*-586 + 1/(-2). Let x = t - -257. Does 10 divide x?
True
Let r be ((64/10)/8)/((-1)/(-5)). Is 1 + -1 + 95 + r a multiple of 11?
True
Suppose -10 = -5*x, -15 = -3*a + 5*x + 14. Let f = a + -11. Suppose -4*u - f*r = 2*r - 92, -2*r + 28 = u. Is 9 a factor of u?
True
Let u(c) = -3*c**2 - 12*c + 5. Let l be u(-4). Suppose 3*r + 99 = 3*i + i, -l*r = 3*i - 38. Is i a multiple of 3?
True
Suppose -3*h - 6*h = -45. Suppose -h*m + 103 = -4*a + 2*a, 3*m + 2*a = 49. Does 16 divide m?
False
Let x(h) = 170*h + 20. Let c(o) = -57*o - 7. Let l(s) = -57*s - 7. Let b(u) = 6*c(u) - 7*l(u). Let k(g) = -11*b(g) + 4*x(g). Is 36 a factor of k(2)?
False
Let y(v) be the first derivative of v**3/3 + 2*v**2 - 2*v + 3. Let f(o) be the first derivative of y(o). Is f(0) a multiple of 2?
True
Let s(p) = -80*p**2 - p - 1. Let g = 11 + -12. Let v be s(g). Is (-6)/10 - 1408/v a multiple of 10?
False
Let q be (-45)/7 + (-42)/(-98). Does 13 divide q + 10 - (-36 - 1)?
False
Suppose 0 = -44*m - 55239 + 319239. Is 45 a factor of m?
False
Suppose 6 = 3*p - 0*p. Suppose 0 = -p*o - 59 + 179. Is o a multiple of 14?
False
Let o be (-3 + 4 - 1)/(-1). Suppose 6*z - 2*z - 112 = o. Is 9 a factor of z?
False
Let n = 32 + -54. Let k = -14 - n. Is 8 a factor of k?
True
Let n = 139 + -40. Suppose 6*d - 55 = -37. Let u = d + n. Is 31 a factor of u?
False
Let p be 2/2 - (31 - 18). Let y = p - -9. Does 19 divide y*6/9 + 40?
True
Let p(m) = m**2 + 14*m - 4. Let n(r) = -5*r**2 - 5*r - 3. Let j(i) = 11*i**2 + 10*i + 6. Let u(d) = 2*j(d) + 5*n(d). Let v be u(-3). Is p(v) a multiple of 4?
False
Let t(g) = 32*g - 109. Is t(5) a multiple of 17?
True
Let z(n) = -9*n + 15. Let p(r) = 5*r - 8. Let y(s) = 11*p(s) + 6*z(s). Suppose -9 = -4*c + 19. Is 5 a factor of y(c)?
False
Let n = -244 + 362. Let m = n - -2. Is 24 a factor of m?
True
Suppose -495 = -12*w + 897. Does 29 divide w?
True
Suppose -5*k = -v - 48, v - 10 = -k + 2. Suppose -4*o + k = o. Suppose -4*g + 77 = y, -3*g + o*g + 8 = -2*y. Is g a multiple of 9?
True
Let u(c) = 0*c + 33 - 7*c**3 + 8*c**3 + 0*c**3 - c. Is 11 a factor of u(0)?
True
Let t(f) = 6*f**3 - 4*f**2 + 14*f - 7. Does 8 divide t(4)?
False
Suppose 3*g + 21 = -96. Is (-1 - g)/(1/2) a multiple of 23?
False
Suppose 6*g = 4018 + 27830. Does 40 divide g?
False
Does 43 divide ((-30)/20)/((-3)/470)?
False
Suppose 0 = -0*i + i - 771. Suppose 2*b + 211 = i. Suppose 4*f + 4*c = b, -f + 4*c + 29 = -66. Does 20 divide f?
False
Let r(h) = h**3 + 3*h**2 + 2*h + 5. Let w be r(-5). Suppose -i = -2*i - 119. Let s = w - i. Does 14 divide s?
False
Let q be (-15)/(-3