+ 6 + 7 = 0. Let a(p) = -p**3 - 9*p**2 - 10*p - 22. Is a(r) a multiple of 45?
False
Suppose 0 = 2*p + 6*p - 144. Let k = -59 + p. Let q = k + 129. Is q a multiple of 22?
True
Let h(g) = 105*g**2 - 7*g + 2. Let x be h(-3). Suppose -x = -6*s - 2*s. Is s a multiple of 12?
False
Suppose -3*m = -3, -43 = -4*o - m + 102. Suppose -7*v - 3799 = -o*v. Is 5 a factor of v?
False
Suppose 836*i = 854*i - 483462. Does 111 divide i?
False
Let k(f) = f**3 + 27*f**2 - 7*f - 19. Let r be k(-26). Suppose -565 - r = -6*m. Does 13 divide m?
True
Is 36/(-24)*2*((-304)/(-3))/(-4) even?
True
Suppose -v = -1197 + 882. Is 11 a factor of v?
False
Let f be ((-117)/(-4))/3*16/12. Suppose 3*m - 367 = g, -m + 3*g - f + 138 = 0. Does 7 divide m?
False
Let s(w) = -18421*w + 889. Does 34 divide s(-2)?
False
Suppose 10133*j - 598503 + 203823 = 10113*j. Is 39 a factor of j?
True
Suppose 14*c - 3802 = -l + 13*c, 0 = 4*l + 5*c - 15202. Is l a multiple of 119?
True
Let s(t) = -9*t + 42. Let g(f) = 12*f - 44. Let a(y) = -3*g(y) - 2*s(y). Suppose -60 = 5*i + 5*u, i + 20 = -u - 2*u. Is a(i) a multiple of 16?
True
Let u(w) = 713*w**2 + 123*w - 339. Does 11 divide u(-7)?
True
Suppose 5*l - 1741 = -4*f - 0*l, 2180 = 5*f + 5*l. Suppose 2*v - i + 0*i = f, 1101 = 5*v + i. Suppose -52 - v = -4*n. Does 14 divide n?
False
Let k(t) = -t**3 - 20*t**2 + 85*t + 48. Is k(-25) a multiple of 4?
True
Let i(o) = 5*o + 170. Suppose 0 = q + 3, 4*q + 67 = 7*x - 2*x. Is i(x) a multiple of 17?
False
Let h be 116/(-5 + -1 - -7). Is (h/5)/(10/125) a multiple of 13?
False
Suppose -6*i - 81 + 2487 = 0. Let v = i + -275. Is 14 a factor of v?
True
Let k = 55 + -46. Let m(l) = l + 7. Let r be m(k). Suppose 0 = -20*u + r*u + 100. Does 3 divide u?
False
Let n(r) = -14*r - 5. Let o be n(-13). Suppose -j = 4*f - o, -2*j = -0*j + 4*f - 354. Is 14 a factor of j?
False
Does 6 divide (83712/224)/(6/63)?
True
Let b = -13369 + 18517. Is b a multiple of 11?
True
Suppose 12 = -4*c, 0 = -5*q + c - 8 - 24. Let w(i) = 59*i + 84. Let b(s) = 20*s + 28. Let f(y) = -7*b(y) + 2*w(y). Does 14 divide f(q)?
True
Let j be (((-1)/4)/1)/(28/(-560)). Suppose -1669 - 661 = -j*m. Is m a multiple of 11?
False
Suppose -36*l = -270*l + 432666. Is l a multiple of 43?
True
Suppose -5*v = 3*n - 33, -6*v = -3*n - 5*v + 51. Suppose n*l + 4852 = 14436. Does 10 divide l?
False
Suppose -6*i + 0*i = -24. Is 9 a factor of 10/(-5) + i + 20?
False
Suppose b + 2 = -3*h + 9, 6 = -3*b. Let v(q) = -2*q**2 - 1 + 2*q + q**3 + q**2 - q**2 + 3*q**h. Is v(2) a multiple of 4?
False
Suppose -10*q + 14 + 26 = 0. Suppose -235 = -q*u + 389. Is u a multiple of 12?
True
Let x(f) = -f**3 + 5*f**2 - 4*f + 6. Let g be x(4). Let v(h) = -2*h - 4. Let d be v(g). Is (5 - 2)/((-12)/d) a multiple of 4?
True
Suppose 4*x = 10*x - 702. Let y = x + -17. Suppose 27*m = 32*m - y. Is 19 a factor of m?
False
Let g(d) = -d**3 + 14*d**2 - 13*d - 3. Let t be g(13). Let y = 9 + t. Does 32 divide 10/(1/(-1 - (-45)/y))?
False
Let k be 4/1 + (0 - 6). Let i be k*1 + 212 + -14. Let g = 42 + i. Is 34 a factor of g?
True
Suppose -3*a + 3*d = -0*d - 6, 22 = 5*a - d. Suppose -4*r = -h - 341, -2*r + 415 = 3*r - a*h. Is r a multiple of 6?
False
Suppose 0 = 3*g + 5*q + 208 + 425, g + 3*q = -211. Let i = -148 - g. Is i a multiple of 3?
True
Let g(n) = -n**3 + 4*n**2 - 3*n + 3. Let u be g(2). Suppose u*b - 21 + 6 = 0. Let m(w) = 20*w + 1. Does 9 divide m(b)?
False
Suppose 3*p + 0 = l + 2, l + 4*p + 16 = 0. Does 45 divide (4/l)/((-1)/(-8)) - -229?
True
Let d be 1/(-3)*(-2 + 1 + 1084). Let f = d + 830. Is f a multiple of 55?
False
Suppose -6*l + 34 = -44. Suppose l*w - 6943 + 1522 = 0. Does 29 divide w?
False
Suppose 2*o = 4*t + 24, 3*o - 9*t + 5*t - 26 = 0. Suppose 9*q - o*q = 140. Does 20 divide q?
True
Let v = -30 + 26. Let m be (-755)/v + 8/32. Let n = -48 + m. Is n a multiple of 8?
False
Does 23 divide (126/(-7) + 15)/((0 + 2)/(-5842))?
True
Let i = -12937 - -13537. Is i a multiple of 10?
True
Let g = 469 - 16. Let y = 1248 - g. Is 53 a factor of y?
True
Let l(r) = 2*r**2 + 3*r - 7. Suppose 3*v - 6 = 4*t - t, 4*t - 2*v + 14 = 0. Let y be l(t). Suppose -5*b + y + 127 = 0. Is b a multiple of 2?
False
Suppose 5*m - 19356 = -4*j + 60974, -4*m + 64268 = 4*j. Does 14 divide m?
False
Suppose 4*a - 944 = -5*c + 3161, -c = -3*a - 802. Does 19 divide c?
True
Suppose -s + 5*j = 1, 2*s + 0*s = -j + 20. Let c(t) = -t**3 - 11*t**2 + 34*t + 108. Let y be c(-13). Suppose y*z - 441 = -s. Is z a multiple of 12?
True
Suppose 2*k - 6018 - 24618 = -4*k. Is k a multiple of 111?
True
Let w be (2/6)/((-28)/1428). Let q = 132 - w. Is q a multiple of 3?
False
Let q = 1846 + -1461. Is q a multiple of 7?
True
Let r = -46 + 49. Suppose 5*p - r*d - 2*d = -5, 3*p + 7 = 4*d. Suppose -q + p*a = -54 - 10, -263 = -4*q + 5*a. Is q a multiple of 14?
False
Suppose -3*g - 2*z = -0*z - 297, 0 = -g - 5*z + 99. Let o = g - 16. Suppose -4*t = -4*m - 68, -m - o = -5*t + 3*m. Is 2 a factor of t?
False
Suppose s = -50*g + 53*g + 17816, 0 = 4*s - g - 71308. Is 57 a factor of s?
False
Let m(s) be the second derivative of 199*s**4/12 - s**3/6 - s**2 - s. Let x be m(2). Suppose -x = -2*a - 6*a. Is 36 a factor of a?
False
Let y = -538 - -572. Does 24 divide 1677/78*(2 + y)?
False
Let f(d) = 3*d**3 + 54*d**2 + 79*d + 4. Let i(x) = x**3 + 18*x**2 + 26*x + 1. Let o(m) = 6*f(m) - 17*i(m). Does 19 divide o(-14)?
False
Suppose -765483 = -42*s + 107147 - 164132. Is 8 a factor of s?
False
Let y(k) = k**2 - 9*k + 12. Let p be y(8). Suppose -360 = -z - 3*q, -4*q + 941 + 531 = p*z. Is 62 a factor of z?
True
Let s(n) = 22*n**3 + 13*n**2 + 2*n. Let r be s(-5). Let k = 3708 + r. Does 13 divide k?
False
Let v(x) = x**3 - x**2 + 12. Let u be v(0). Let q be ((-1955)/460)/(1 + (-19)/20). Is -13 + u - q/1 a multiple of 14?
True
Suppose 4*z + 100 = 3*j - 60, -j + z = -55. Suppose -3*m + j = 2*m. Is m + (-15)/(-10)*-2 a multiple of 2?
False
Suppose -60*h + 56*h = -4*d - 35872, 0 = 2*h + d - 17942. Is h a multiple of 3?
True
Let v(d) = 182*d + 1427. Is 75 a factor of v(14)?
True
Let v(b) = 466*b - 7080. Is 30 a factor of v(75)?
True
Let h be (-1464)/(-9) + 11/33. Does 9 divide h + (-1 - -6) - -3?
True
Suppose -12*k + 7*k + 143412 = k. Is k a multiple of 34?
True
Suppose -515*g + 615*g = 1734000. Does 6 divide g?
True
Suppose -4*y + 3810 = 2*z, 7*y - z - 945 = 6*y. Suppose 5*g + 5*k = y, -4*k = 2*g + k - 365. Is g a multiple of 15?
True
Let y = -23 + 21. Let z(m) = -40*m**3 - 2*m**2 - 2*m - 2. Let u be z(y). Let j = -184 + u. Is 27 a factor of j?
False
Let r(u) = -u**3 - 3*u**2 + 10*u - 12. Let c be r(-8). Suppose -2*q = 3*g - c, -2*q - q + 341 = 4*g. Is 35 a factor of (q - (0 + -1)) + -4?
False
Let s(l) = -11*l**2 + 168*l - 3. Does 19 divide s(13)?
False
Does 4 divide (4 - 23)/(78696/(-3576) + 22)?
False
Let n(k) = 3*k + 1. Let p(l) = l**2 + 6*l + 6. Let r be 176/(-28) + 6/21. Let x be p(r). Does 5 divide n(x)?
False
Suppose 515*q = 507*q - 2640. Is 12 a factor of (1 - (-13)/7)*(-8085)/q?
False
Suppose w - 4 = 5*b + 2*w, b = -4*w + 3. Let x(q) = -4*q**2 - 5*q - 1. Let h be x(b). Is 6 a factor of (-1 + h)/(4 - 564/140)?
False
Let c be 2/(((-17)/(-119))/(1/7)). Suppose 5*s + 9*u - 1748 = 7*u, c*u = s - 352. Is 14 a factor of s?
True
Let r(l) = 50*l**2 - 29*l + 61. Let h be r(2). Suppose -h*u + 211*u = 496. Is u a multiple of 31?
True
Suppose -10*n = -19*b + 18*b - 608003, -5*n - 5*b = -303985. Is n a multiple of 160?
True
Let b = -31 - 25. Suppose 4*h = -4*r - h + 358, -274 = -3*r - h. Let i = b + r. Is 18 a factor of i?
True
Let z = -1370 + 1374. Suppose 5*g + 49 = -c, 0 = -4*c + g - 121 + 9. Let n = z - c. Is 9 a factor of n?
False
Let p(c) be the second derivative of c**4/3 + c**3/6 + 29*c**2/2 + 15*c + 53. Let d(m) = m**3 - m**2 - 3*m + 2. Let i be d(2). Does 9 divide p(i)?
False
Let t be (-6)/(-15)*(2 - -8). Suppose 1040 = t*o - 0*o. Is 13 a factor of o?
True
Let i(c) = 2*c + 19. Let v(m) = m - 3. Let j be v(-5). Let u be i(j). Is 15 a factor of u + (144 - 1 - -3)?
False
Let n = -160 + 128. Is (8/(n/(-33)))/((-9)/(-48)) a multiple of 2?
True
Suppose -5*w + 20 = f - 6, 5*w - 24 = f. Suppose 2*b = -5*h + 697, -w*b = h - b - 143. Is 18 a factor of h?
False
Let p(d) = d**2 - 37*d + 264. Let z be p(15). Let f(x) = x**2 - 3*x - 2. Let m be f(3). Is m/6 + (-6556)/z a multipl