1. Let u = k + 6. Suppose -u = -5*p + 4*p. Does 8 divide p?
False
Let j = -3 + 5. Suppose j*g = 166 + 268. Suppose -5*m - g = -3*s, 5*m = 2*s + m - 148. Is s a multiple of 17?
False
Let o = -18 + 18. Suppose t + 5*i = -103, -2*t - 2*i - 88 - 78 = o. Let w = t - -134. Is 21 a factor of w?
False
Is (-159)/(-2)*6*(7 - 6) a multiple of 36?
False
Suppose 5*y = -3*a - 2, 3*y + 3*a + 8 = 2. Is y/(-5*10/(-4025)) a multiple of 7?
True
Let w(u) = -5*u - 2. Suppose -4*b + 7 = 2*m + m, -8 = -3*m - 5*b. Suppose -4*a - 5*p - m = 24, a + 19 = 3*p. Does 18 divide w(a)?
False
Let z(y) = -178*y + 1716. Is z(6) a multiple of 41?
False
Suppose -4*a + 7828 = -4*l, -2*a - 4*l + 3896 = -0*l. Does 65 divide a?
False
Let n be 30/8*(-20)/(-15). Suppose 476 + 69 = n*f. Does 17 divide f?
False
Suppose 498 - 174 = 2*h. Suppose -j = 2*j. Suppose -s - s + h = j. Is s a multiple of 11?
False
Let p(v) = 6*v**2 - 5*v. Let z(i) = 6*i**2 - 6*i - 1. Let w(d) = 5*p(d) - 4*z(d). Is w(-4) a multiple of 12?
False
Let k = 1876 - 1559. Is 2 a factor of k?
False
Suppose 2*s + 96 = -6*s. Let v = s + 181. Is 39 a factor of v?
False
Suppose -55*g + 785 = -50*g. Is g a multiple of 11?
False
Let k = 15 - 14. Is 63/(-42) - ((-350)/4 - k) a multiple of 7?
False
Suppose i + 5 = b, 5 = -5*b - 2*i - 3*i. Let p be b*3/6*-35. Let q = p - -55. Is 8 a factor of q?
False
Suppose -3*p + 159 = 2*k, -3*k = -3*p - 6*k + 162. Is p a multiple of 3?
True
Does 2 divide -1 + 3 - -42*2?
True
Let o(p) = -4*p**3 + 15*p**2 + 2*p - 11. Let v(t) = -2*t**3 + 8*t**2 + t - 6. Let n(c) = -4*o(c) + 7*v(c). Is 14 a factor of n(4)?
False
Suppose -511 = -7*r - 119. Let f = -42 + r. Does 14 divide f?
True
Let t = -30 + 35. Suppose 14 = -q - 4*u + 77, -2*q = -t*u - 113. Suppose 4*j = 5*a + q, -3*a + 8*a = j - 11. Is j a multiple of 16?
True
Suppose -14*s = 11*s - 2900. Is 30 a factor of s?
False
Is 29 a factor of 116/(-10)*(-19 + 1182/(-12))?
True
Suppose 17 = 5*x - 4*n - 18, -4*x - 4*n - 8 = 0. Let s be x/(-6) + 10/4. Is 27 a factor of s/(-3) + (-323)/(-3)?
False
Suppose -7*v - 979 + 2589 = 0. Does 46 divide v?
True
Let q = 8 - 7. Let i(d) = -47*d**3 - 2*d**2 + 1. Let b be i(q). Let x = b - -122. Is x a multiple of 37?
True
Let q = 17 + -13. Suppose 2 = -h + 1, q*y + 3*h - 261 = 0. Is 3 a factor of y?
True
Let u(n) = n**2 + 2*n - 1. Suppose -4 + 49 = -5*b - 5*a, 5*b = 2*a - 24. Is 16 a factor of u(b)?
False
Let d be 84/(-48) + 1/(-4). Is 10/4 - 139/d a multiple of 16?
False
Is 70 a factor of (-4)/1 + 21420/12?
False
Let x(v) = 2*v**2 + 5*v - 3. Let i be x(4). Suppose 4*w = -126 + 2. Let n = i + w. Is 6 a factor of n?
True
Let l = 3081 + -1404. Is l a multiple of 66?
False
Suppose -3*n + a + 2*a = -192, 0 = -3*a + 9. Is 15 a factor of n?
False
Suppose 2 + 1 = 3*c, -1 = 4*s + 3*c. Does 9 divide s/6 - (-434)/12?
True
Let p be 22/12 - 4/(-24). Suppose -p*l = 0, 2*m - 111 = 2*l + 25. Does 17 divide m?
True
Suppose 13*p = 5*p + 400. Let r = p + -84. Let j = -15 - r. Does 19 divide j?
True
Suppose -7*p + 2*p + 185 = 0. Suppose -c = 5*k - p, -k - 4*c = k - 4. Suppose -10*r = -k*r - 38. Does 12 divide r?
False
Let x = -2 + 0. Let y(p) = 8*p**2 - 4. Is y(x) a multiple of 14?
True
Suppose 200 = 237*v - 233*v. Is 10 a factor of v?
True
Let w(q) = -q**2 - 9*q - 9. Let r(a) = a**2 - 15*a + 19. Let l be r(13). Let v be w(l). Suppose 0*j - v*j = -460. Is j a multiple of 17?
False
Let g(u) = 95*u + 5. Let n be g(2). Let f = -105 + n. Is 18 a factor of f?
True
Let a(s) = -s**3 - s**2 - s + 1. Let j be a(-2). Suppose 32*b - 25*b = 0. Suppose b = 12*z - j*z - 285. Is 19 a factor of z?
True
Suppose 0 = 10*v + 8910 - 42280. Does 71 divide v?
True
Let p(l) be the second derivative of 0 + 6*l + 11/2*l**2 - 1/2*l**3. Is 13 a factor of p(-5)?
True
Let u be (1 + 0)*(-8 - -22). Suppose z + u = 5. Is 3/(z/12)*-5 a multiple of 5?
True
Let y(h) = 6*h + 13. Let s(q) = 3*q + 6. Let m(n) = 9*s(n) - 4*y(n). Is 29 a factor of m(9)?
True
Let c(r) = -7*r**2 - 19 - 6*r - 2*r + 3 + 6*r**2. Let y be c(-7). Let m(w) = w**3 + 11*w**2 + 9*w + 3. Does 12 divide m(y)?
True
Let y = 486 - 451. Does 15 divide y?
False
Suppose 0 = -2*m - 3*m + 265. Let p = m - 89. Is 10 a factor of (148/6)/(p/(-54))?
False
Suppose -t + 273 = 3*x, -t + 2*t - 255 = 3*x. Is 11 a factor of t?
True
Let l(i) = -i**3 + 17*i**2 + 2*i + 6. Suppose 90 - 31 = 3*p + 2*z, 4*z - 16 = 0. Let u be l(p). Is ((-416)/u)/((-4)/10) a multiple of 13?
True
Suppose -8*q = -11*q - 9. Let a be (-180)/(-40)*(-2)/q. Suppose -4*k = 0, -a*k + 234 = 3*p - 0*k. Is p a multiple of 9?
False
Suppose 3*a + 345 = 5*h, 35*a - 33*a = 4*h - 278. Is 10 a factor of h?
False
Let s(k) = k**2 + 16*k - 7. Let x be s(-7). Let u = x - -110. Does 5 divide u?
True
Let q(w) = -w**3 - w**2 + 2*w - 77. Let u be q(0). Let j = -26 - u. Is j a multiple of 3?
True
Let v = 63 - 22. Is 21 a factor of (-24)/(-8) - v*-2?
False
Let p = -31 + 37. Suppose p*x - 24 = 5*x. Is 6 a factor of x?
True
Suppose -6*k = -k - 1050. Is 42 a factor of k?
True
Suppose -5*n + 2645 = 445. Does 61 divide n?
False
Suppose -6*d = -5474 + 1952. Does 59 divide d?
False
Suppose -3*o + 4*x + 1635 = -2*o, 0 = -4*x + 16. Is 17 a factor of o?
False
Let w(i) = 16*i**2 + 5*i + 10. Let g be w(-4). Let u = -3 + -3. Does 18 divide u/(-14) - g/(-14)?
True
Let s = 4 - 4. Suppose s = -2*w, 2730 = 7*p - 2*p - 3*w. Is ((-2)/(-2))/(13/p) a multiple of 14?
True
Suppose d + 3*x = 1617, 2*d - 7*d + 5*x + 8185 = 0. Is 17 a factor of d?
True
Suppose -3*m = 4*m - 455. Let y = m + -37. Does 7 divide y?
True
Suppose -4*o + 15 = x, 3*o - 11 = -2*x + 4. Let s be -6 + o + 1*68. Let p = -46 + s. Is 19 a factor of p?
True
Suppose -2 = 6*b - 14. Suppose -p + 38 = 3*h, -p - b*h - 258 = -6*p. Is 25 a factor of p?
True
Let j(u) = -u**3 + 15*u**2 + 10*u - 38. Is 10 a factor of j(7)?
False
Let p(r) = -57*r + 795. Does 43 divide p(-20)?
True
Let k(v) be the second derivative of 7*v**6/360 - v**5/30 + 5*v**4/12 - 5*v. Let o(j) be the third derivative of k(j). Does 14 divide o(6)?
False
Let k be (-2)/((-4)/(-2))*11. Let v = 10 + k. Does 7 divide 6 + 6/3 + v?
True
Suppose -4*u = -22 - 122. Suppose -5*r = -u - 24. Is r a multiple of 6?
True
Suppose -5*z + 12 = -2*z. Suppose 3*j - 13 = -3*i - 2*i, -3 = -z*i + 5*j. Is 2 a factor of i?
True
Suppose -209 + 24554 = 45*g. Is 16 a factor of g?
False
Suppose -4*s = 4*x - 116 + 20, 3*s + 48 = 3*x. Let j = 20 - x. Suppose -3*h + j*h + a + 77 = 0, -3*h - 5*a = -83. Is h a multiple of 15?
False
Let n(u) = -u**2 + 9*u - 10. Suppose -l + 2*d = -9, -3*d - 11 = -4*l + 3*l. Does 2 divide n(l)?
True
Let d(u) = -42*u - 8. Let w = 125 + -126. Does 17 divide d(w)?
True
Let l = 80 + 695. Is l a multiple of 27?
False
Suppose l + 3*d = 479, -25*l + 22*l = 3*d - 1407. Is l a multiple of 29?
True
Let c be ((-55)/(-22))/(2/(-4)). Does 24 divide (-482)/c + 24/(-60)?
True
Let p be (18/(-21))/(2/(-280)). Let q = p - 71. Does 20 divide q?
False
Let l = 2255 + -1250. Is 31 a factor of l?
False
Suppose 82*h - 11312 = 66*h. Does 21 divide h?
False
Let w(p) = 12*p - 374. Is 2 a factor of w(46)?
True
Let u(y) = -5*y**3 + 5*y**2 + 22*y. Let w(v) = 4*v**3 - 6*v**2 - 21*v - 1. Let h(a) = -5*u(a) - 6*w(a). Is 15 a factor of h(-7)?
True
Let h = -11 + 9. Let s be h/9 - (-164)/9. Suppose 3*t = -2*g + 7*g - 23, -t + s = 2*g. Is g a multiple of 2?
False
Let x be 55/15 - 4/(-3). Let z = x + 0. Suppose -z*c = 31 - 136. Is 14 a factor of c?
False
Suppose 3*k = 5*u - 340, -3*u + 188 = -2*k - 3*k. Let h = u + -36. Is h a multiple of 7?
True
Let q be -105*(56/(-12) + 2). Suppose q = 4*h + h. Is 28 a factor of h?
True
Is 36 a factor of (86/(-11) + 10/(-55))*-27?
True
Let r be (-9)/(0 + 9/6). Let w = 6 + r. Suppose -3*n + 2*z + 53 = w, -n - 4*z + 59 = 4*n. Is 10 a factor of n?
False
Suppose -5*f + i + 1003 = 0, -994 = 4*f - 9*f - 2*i. Does 100 divide f?
True
Let s = 229 - 182. Is s a multiple of 7?
False
Suppose 2*v - 7*v + 19 = -2*y, 5*y = 15. Suppose 4*l - 3*l = 2*q + 52, v*l - 5*q - 280 = 0. Is l a multiple of 12?
True
Let i = 4014 + 11. Is 35 a factor of i?
True
Let f(y) = y**2 - 6*y + 7. Let q be f(6). Suppose 0 = -2*z + q*z - 600. Does 20 divide z?
True
Let h(v) = -v**2 + 13*v - 6. Let o be h(12). Suppose 5*x - x = -5*a + 169, 0 = -2*a - o. Suppose 104 = 5*m - x. Is 6 a factor of m?
True
Let k = 25 + -21