et u(v) = -v**2 + 15*v - 10. Suppose 0*m - 3*m - n = -40, -m + n + 8 = 0. Let g be u(m). Suppose -g = 3*f - 5*f. Does 13 divide f?
True
Suppose 0 = -8*o + 4*o + 2380. Is 35 a factor of o?
True
Let f = -52 + 74. Suppose 3*j = -8 - f. Let n = 23 + j. Is 9 a factor of n?
False
Let l = -618 + 1074. Is 12 a factor of l?
True
Let b = 1202 + -1175. Is 5 a factor of b?
False
Suppose -20*h = -16*h - 12. Suppose 3*u + 3 - 15 = 0, -44 = h*z + u. Let c = 50 + z. Is c a multiple of 23?
False
Let f be (2/(2/(-3)))/(-1). Suppose 5 = -f*z + 50. Is 3 a factor of z?
True
Is (1 - -1173) + (-4 - -4) + 1 a multiple of 37?
False
Suppose -6*w = -10*w + 4. Let m = w - -62. Is 21 a factor of m?
True
Suppose -5*g - 2770 = -5*p, g + 2758 = 7*p - 2*p. Is p a multiple of 8?
False
Let p(o) = -3*o + 24. Let n be p(9). Let m(x) = -51*x - 13. Is m(n) a multiple of 28?
True
Suppose 17*z + 10 = 22*z. Does 45 divide (-1 + -715)*(z - (-45)/(-20))?
False
Suppose p = 5*p - 5*j - 1988, 0 = -p + 5*j + 512. Does 31 divide p?
False
Let u = 316 - -123. Does 13 divide u?
False
Let k be 2 + ((-6)/3 - -2). Suppose -4 = -0*b - k*b. Let m = b + 11. Does 9 divide m?
False
Let t(r) = -r**3 + 4*r**2 + 9*r - 5. Let w be t(5). Suppose 6*k - 351 = w. Is 10 a factor of k?
False
Let r = 1531 - 1090. Is 2 a factor of r?
False
Let a be 0 - 2 - (-5 - 0). Let o(f) = f**3 - 6*f**2 - f + 2. Let k be o(a). Let q = -19 - k. Is 9 a factor of q?
True
Suppose 0 = j - h - 0*h - 180, 4*j = 3*h + 722. Let r = j - 32. Is 15 a factor of r?
True
Let h(k) be the first derivative of -k**3/3 - k - 3. Let q(u) = 3*u**2 + 13*u + 10. Let c(a) = 2*h(a) + q(a). Is c(-13) a multiple of 2?
True
Does 13 divide (-13468 - -1)/(29 - 32)?
False
Does 15 divide 2/4*6*(8 - -123)?
False
Suppose 21*l - 25*l = -4*x + 5728, -3*x - 4*l = -4289. Does 41 divide x?
False
Let o(d) = -5*d**2 - 2*d. Let s be o(-2). Let z = 142 + s. Suppose -5*r - 40 = -5*b, 5*b + 41 = -4*r + z. Is b a multiple of 13?
True
Suppose 20*g - 2370 = 20130. Is 27 a factor of g?
False
Let v = 5308 + -3332. Suppose v = 6*x + 488. Is x a multiple of 39?
False
Suppose 3*w - 3*m + 4*m = 3321, 4*m + 3321 = 3*w. Is 27 a factor of w?
True
Let s = -1151 + 1344. Is 5 a factor of s?
False
Suppose 41*z = 45*z - 5512. Is 12 a factor of z?
False
Suppose -9 = -4*n + n. Suppose n*f - 8*f = l - 83, f - 5*l - 1 = 0. Suppose -56 = -2*q + f. Does 12 divide q?
True
Suppose b + b = 4. Suppose b*w - 71 = -19. Suppose -2*q + 3*q = w. Is 7 a factor of q?
False
Let n(v) = 4*v**2 - 55*v + 6. Let k be n(14). Is (-12)/k + (-2)/(-20)*466 a multiple of 7?
False
Suppose 6*f - 4*f = 0. Suppose f = 8*y - 86 - 306. Does 5 divide y?
False
Let r(h) = -91*h - 32. Does 29 divide r(-14)?
False
Let q = 19 + -33. Is 8 a factor of (-1288)/(-34) - q/119?
False
Suppose 2506 = 18*w - 4946. Does 23 divide w?
True
Let y(h) = h**3 - 2*h**2 - 3*h + 6. Let u = 19 + -3. Suppose -4*m + u = -0*m. Is y(m) a multiple of 13?
True
Suppose -2645 = -7*q - 601. Is 7 a factor of q?
False
Suppose 2*h = 3*a - 1, 0*a + 3*h = -3*a + 21. Suppose 33 = 5*c - 17. Let o = c - a. Does 3 divide o?
False
Let f be -4 + 3 - (3 + (29 - 3)). Does 35 divide -1 - -5 - 5/(f/774)?
False
Let l be 2/(-1)*10/1. Let b = l - -16. Let r(g) = -11*g. Is r(b) a multiple of 22?
True
Is 27 a factor of (324/10)/((-6)/(-100))?
True
Let q(p) = -5*p + 531. Let c be q(0). Suppose 0 = 5*y - 24 - c. Does 37 divide y?
True
Let p(c) = 5*c - 10. Let u be p(19). Suppose 2*v = -a + 25, -2*a = 4*v - 7*a - u. Is 15 a factor of v?
True
Suppose -4*s - 6*x - 16 = -x, 0 = 5*x. Let t be (54 - s/4) + -4. Let a = t - 27. Is a a multiple of 10?
False
Is (-74)/(2*(-4)/48) a multiple of 34?
False
Suppose -39*k + 129173 = -113017. Is k a multiple of 30?
True
Let m(u) = u**3 + 7*u**2 - 1. Let g be m(-7). Let v be (4 + g)*25/15. Suppose -2*r + 79 = v*f, -4*f = -r + 49 + 23. Is r a multiple of 13?
True
Let i(q) = -q - 2. Let b be i(-4). Let g(n) = 2*n - 2*n + b*n + n**2 + 0 - 66*n**3 + 1. Is g(-1) a multiple of 26?
False
Is 38 a factor of (-13)/((-91)/(-28)) + 59*2?
True
Let j be (-8)/(-10) + (-68)/10. Does 7 divide (2/6)/(j - (-2325)/387)?
False
Let c(z) = -2*z + 53. Let y be c(25). Suppose y*j - 310 = 254. Is j a multiple of 21?
False
Let n = -19 - -27. Suppose -2*u = -2 - n. Let h(r) = r**2 + 3. Does 14 divide h(u)?
True
Suppose -5*i = -b + 22, i - 2 = 2*b - 10. Suppose -b*l + 5*h + 15 = -26, -95 = -4*l - 3*h. Is l a multiple of 14?
False
Let w(i) = -88*i + 60. Is 15 a factor of w(-5)?
False
Suppose 2*w - 32 = 6*w. Let o(g) be the first derivative of -4*g**2 - 10*g - 11. Does 20 divide o(w)?
False
Suppose 4*a = -5*f + 10, -2*f - a + 3*a + 4 = 0. Suppose f*w = -5*k + 910, -3*k - 2*w = w - 555. Is k a multiple of 18?
True
Let l = 4 - 0. Suppose -3*z = -5*v - 21, 3*v = -0*z - l*z - 1. Does 4 divide 0 + -1 - (z - 23)?
True
Suppose -119 + 14 = 7*y. Let u = y - -26. Does 4 divide u?
False
Let a(j) = 5*j**2 - 9*j + 10. Let t(r) = r**2 + 1. Let y(g) = a(g) - 6*t(g). Let p be y(-9). Let s = 8 + p. Does 11 divide s?
False
Let x(f) = 4*f**2 - f - f + 6*f - 3. Is 9 a factor of x(3)?
True
Let s be 0/(3/((-3)/(-2))). Let r = 4 + s. Suppose -108 = -r*q + u, 44 = q + q - 3*u. Does 13 divide q?
False
Let v(z) be the second derivative of z**4/12 - z**3/3 + 49*z**2 + 21*z. Is 14 a factor of v(0)?
True
Let s = 13 + -27. Is 14 a factor of (s - -13)*(248/(-2))/1?
False
Suppose c + 3*v = 244, -3*c + 3*v - 4*v = -748. Is 10 a factor of c?
True
Let m(w) = w**3 - 3*w**2 + 5*w - 2. Let t be (-10 + 1)/(3/(-4)). Suppose 5*o + 6 = 2*a, 4*o = -4*a - 0*a + t. Is m(a) even?
False
Let f = 6 - 3. Let c = f + 4. Does 7 divide (c + -6)/(1/31)?
False
Let x = 1093 + -949. Is 18 a factor of x?
True
Let b(u) be the second derivative of u**4/2 + 11*u**3/6 - 4*u**2 - 4*u - 2. Is 40 a factor of b(-9)?
False
Let m = 634 + 173. Is 82 a factor of m?
False
Let d = -135 - -137. Suppose -2*z - d*q + 342 = -8, -3*q + 702 = 4*z. Is 36 a factor of z?
False
Suppose -2*n = -2*m + 1662, 4582 = 4*m + 3*n + 1279. Is m a multiple of 12?
True
Suppose -l + 5*v - 2575 = -5*l, -l - v = -643. Does 20 divide l?
True
Let c(d) = -d**3 - 15*d**2 + 25*d + 1. Is 22 a factor of c(-17)?
True
Suppose 220 = 10*f - 110. Is f a multiple of 9?
False
Let t = -56 + 147. Suppose 4*j - 8*j + 4 = 0, -j = 5*i - t. Does 6 divide i?
True
Let i(a) = -9*a + 17. Is 4 a factor of i(-10)?
False
Let z be ((-28)/(-35))/((2/35)/1). Suppose -600 = 9*y - z*y. Does 11 divide y?
False
Suppose 2*i = -2*c - 0 + 10, 3*c + 20 = 4*i. Suppose j = -h + 2*h + 27, c = h + 1. Is 11 a factor of j?
False
Suppose 5*y - g - 3335 + 1244 = 0, 0 = -3*g - 3. Is y a multiple of 27?
False
Suppose -4 = f - 11. Suppose -6*a = -f*a + 1. Does 6 divide (a/4)/((-4)/(-656))?
False
Suppose -5*f - 31 = 2*y - 192, -5*f = 5*y - 395. Is y a multiple of 6?
True
Let k be 4 + -2 - 104/(-4). Let l = k + -20. Is l a multiple of 2?
True
Let g(y) = -y**3 - 10*y**2 - 10*y - 7. Let d be g(-9). Suppose -4*s = -d*s + 30. Does 5 divide s*4/(-6) - 2?
False
Let h(k) = k**2 + 14*k + 231. Does 4 divide h(-23)?
False
Let j = 230 + -143. Suppose -163 - j = -5*g. Is g a multiple of 10?
True
Let f = 56 - 40. Suppose 3*n + f - 76 = 0. Does 2 divide n?
True
Suppose 0 = 4*c - 346 - 750. Is c a multiple of 22?
False
Let t(q) be the second derivative of -q**5/20 + 19*q**4/12 + q**3/6 - q**2 + 3*q. Is t(19) a multiple of 17?
True
Suppose -2*r = r. Suppose r = 3*q - 7 - 14. Suppose 0 = q*y - 58 - 54. Is 16 a factor of y?
True
Suppose 4*g = 5*s + 45, 0 = -3*s - s - 20. Suppose -g*l + 504 = 9*l. Is l a multiple of 8?
False
Let b = 2268 - 1391. Is b a multiple of 10?
False
Let f(c) = -c**3 + 15*c**2 - 12*c - 14. Suppose 2*r = -2*y + 13 + 19, 5*r - 38 = -2*y. Is f(y) a multiple of 7?
True
Suppose 7 = x + 3, x - 17004 = -5*a. Is a a multiple of 40?
True
Let g(p) = p**3 + 12*p**2 - 5*p + 130. Is g(9) a multiple of 18?
False
Let g = -27 + 49. Let i be (-8)/(-10) + (-3)/(-15). Is (g*(-9)/(-6))/i a multiple of 7?
False
Suppose -6*h + 5 = -13. Is 114/h*35/14 a multiple of 19?
True
Suppose -1361 + 113 = -4*v. Suppose -5*y + v = -73. Does 18 divide y?
False
Let s be 0 + -1 + 5 + 3. Suppose -2*g = s + 3. Let n = g + 17. Is n a multiple of 4?
True
Suppose 3*p + 2*d - 7 = 0, 2*d + 29 = 5*p + d. Suppose -667 = -2*b - p*w, -316 = b - 2*b + w. Suppo