(3) a multiple of 63?
True
Suppose -10*j + 4*j - 6 = 0. Let b(l) = -85*l**3 + l**2 + 3*l + 2. Is 9 a factor of b(j)?
False
Suppose -70 = -5*c + 2*x, c + 4*x + x - 14 = 0. Let r(u) = u**3 - 13*u**2 - 11*u - 12. Is 5 a factor of r(c)?
True
Suppose -10*r + 635 = -5*r. Suppose 0 = 5*z - r - 453. Does 29 divide z?
True
Suppose 450 = -17*s + 12*s. Does 4 divide ((-8)/10)/(3/s)?
True
Suppose -109 + 1162 = 39*l. Let z be 2/1*-3 + 1. Let m = l - z. Is 8 a factor of m?
True
Let h(t) = -t**2 - 20*t**3 - 16*t**3 + t**3 + 6*t**3 + 1 + 2*t. Is h(-2) a multiple of 49?
False
Suppose 5*x + 4*j = -8, 4*x - 2 + 4 = -j. Suppose -2 = -x*h - h. Is 0 + h - (-6 + 4) even?
True
Let r be (-14)/4 - 5/(-10). Let l = r + 6. Suppose -l*y + q = -33, 7*q + 33 = 3*y + 4*q. Does 5 divide y?
False
Let p = -6 - -3. Let h(n) = -5*n**3 + n**2 - n - 6. Let o be h(p). Let j = o - 99. Is 8 a factor of j?
False
Let m(z) be the third derivative of -z**5/60 + 7*z**4/24 - 5*z**3/3 - z**2. Let s be m(4). Is (14 - (3 - s))*1 a multiple of 13?
True
Let x = 1073 + -641. Is 18 a factor of x?
True
Let z = 1771 - 483. Is 56 a factor of z?
True
Does 7 divide ((-464)/(-3))/((-178)/(-1068))?
False
Suppose -278 = -0*s - 2*s + 4*r, s = 5*r + 133. Let w = -18 + s. Is w a multiple of 11?
False
Let b(s) = -s + 4. Let n be b(5). Let f = 61 - n. Does 31 divide f?
True
Let u(i) be the third derivative of i**6/120 - 7*i**5/20 + 23*i**4/24 - 14*i**3/3 - 11*i**2. Is u(20) a multiple of 16?
True
Let o = -600 + 753. Is o a multiple of 27?
False
Let a(w) = -w**2 + 11*w + 3. Let c(g) = 3*g - 10. Let p(b) = b - 5. Let s(q) = -6*c(q) + 14*p(q). Let o be s(-5). Is a(o) a multiple of 4?
False
Let q(r) = -5*r - 5. Let n be q(-2). Suppose 4*t - 1182 = -n*u, 0*u - 3*u + 4*t + 690 = 0. Is 18 a factor of u?
True
Does 38 divide ((-255)/5)/(12/(-152))?
True
Let k = 2066 - 112. Does 9 divide k?
False
Let s be (-2)/(-2)*(-3 + 4713)/6. Suppose 4*n + 976 = 5*c, -c - n = 3*c - s. Is c a multiple of 25?
False
Let o = -233 - -290. Is o a multiple of 11?
False
Let l(t) = -t**3 + 5*t**2 - 2*t - 2. Let n be l(4). Let y be (12/(-8))/(-1) - 66/(-4). Let c = y + n. Is 12 a factor of c?
True
Suppose 11 = 11*h - 220. Is 15 a factor of h?
False
Suppose -7*o + 3*r + 870 = 0, o + o + 4*r = 268. Does 18 divide o?
True
Let l = 181 + 151. Let n = -222 + l. Does 10 divide n?
True
Is (12 - 15)*(-2)/(-3) + 722 a multiple of 5?
True
Let k(w) = -54*w**3 + w**2 - 2*w - 3. Let z be k(-2). Suppose -3*g + i + z = g, -20 = 4*i. Is 15 a factor of g?
False
Suppose -5*f = 5*s, 4*s - 5 = -s. Let d be (1 + -2)*0*f. Suppose 0*o - 2*o + 64 = d. Does 10 divide o?
False
Let i(w) = 6*w + 19 + 0*w + 7*w + 0*w**2 - w**2. Let u be i(14). Suppose -4*l = t - 30, -t + 0*l = -3*l + u. Does 4 divide t?
False
Let z(x) be the second derivative of x**4/6 - 23*x**3/6 - 25*x**2/2 - x. Let p(j) = j**2 - 12*j - 13. Let f(w) = 7*p(w) - 4*z(w). Is f(7) a multiple of 9?
False
Let s(l) = l**3 + 11*l**2 + 2*l + 12. Let f be s(-11). Let b = 7 + f. Is 17 a factor of ((-30)/(-4))/(b/(-8))?
False
Suppose 0 = 449*o - 443*o - 2850. Does 12 divide o?
False
Let i = -214 - -232. Is i a multiple of 10?
False
Let p(w) = 71*w**3 + 2*w**2 + 7*w - 14. Is p(2) a multiple of 6?
True
Let f(w) be the first derivative of -31*w**2 + 5*w - 27. Does 33 divide f(-4)?
False
Suppose 336 = 15*m - 7*m. Does 14 divide m?
True
Let y(j) = -j**2 + 9*j + 38. Let s be y(13). Let h(c) = -11*c - 6. Is 13 a factor of h(s)?
False
Let l(v) = -v**2 + 3. Let x be l(0). Suppose 85 = 2*t + x*t. Is 17 a factor of t?
True
Let g(y) = y**2 + 6*y + 9. Let j be g(-6). Let w(a) = a**2 - 6*a + 4. Let t(d) = d**2 - 6*d + 2. Let b(v) = 4*t(v) - 3*w(v). Does 7 divide b(j)?
False
Suppose 0 = -3*g - 3*z + 567, -z = -g - 3*g + 731. Suppose -c + 0 = -1, 5*w - c = g. Is w a multiple of 6?
False
Let o = -19 + 82. Let y = 99 - o. Is y a multiple of 9?
True
Let x = -165 - -39. Let m = x + 66. Let v = m - -108. Is v a multiple of 12?
True
Suppose -55*b + 38360 - 8110 = 0. Is b a multiple of 22?
True
Suppose 0*b + 56*b = 84784. Is b a multiple of 28?
False
Let d be (-10)/(-10) - 1*-9. Suppose 26 = j + 4*v, 2 = 2*j - 3*v + 5. Let b = d - j. Is b a multiple of 2?
True
Let i(m) be the third derivative of 5*m**6/24 + m**5/30 - m**4/12 + m**3/2 + 7*m**2. Let h be i(2). Let u = h - 118. Is 18 a factor of u?
False
Let y = 7 - 7. Suppose 0*k - 3*k + 9 = y. Suppose k*z - 40 = 35. Is 6 a factor of z?
False
Let x = 44 - 62. Let r = -2 - x. Suppose k - 1 = -u, -4*k + 4*u + 4 = -r. Does 3 divide k?
True
Let w be (0 + 6)*(-3)/(-6). Let t(c) = c**2 - 2*c + 3. Let r be t(w). Suppose -3*k - 55 = -r*k + 4*m, 4*k = 2*m + 60. Does 6 divide k?
False
Let m(c) = -3*c**3 - 8*c**2 + 15*c + 8. Let g be m(-7). Suppose 9*w = -0*w + g. Is w a multiple of 20?
True
Let w be 2/4 - (-10)/4. Suppose 0 = -2*y - 7 - 1, 4*a - 2*y = 16. Is (a/w)/((-2)/(-141)) a multiple of 28?
False
Suppose -5*u - 1 = -2*m, 5 = -5*m + 5*u + 15. Suppose m*g - 8*g + 445 = 0. Is 16 a factor of g?
False
Let i(r) = 7*r + 16 - 14*r**2 + 13*r**2 + 14. Is i(9) a multiple of 12?
True
Let u = -10 + 15. Suppose -u + 1 = -2*m. Suppose -5*a - 3*r + 438 = 0, 0 = 6*r - m*r - 4. Is 16 a factor of a?
False
Suppose 0 = -0*b + 2*b - 12. Suppose 12 = b*d - 2*d. Suppose 0 = -4*k - d*j + 211, j = -k - 2*j + 55. Does 14 divide k?
False
Let a = -188 - -96. Is (-117)/26*a/6 a multiple of 20?
False
Let w = -87 + 90. Suppose 2*t + 0*t + 154 = w*v, 5*v - 4*t = 254. Is 54 a factor of v?
True
Suppose 0 = -y + 5*p - 12, 4*y - 2*p + 16 = 2*p. Let m be (2*(-1)/(-8))/(5/20). Is 7 a factor of (m - (y + -1)) + 10?
True
Suppose 2*v = -6 + 2. Let z be (v/4)/(2/(-204)). Let r = -29 + z. Is 22 a factor of r?
True
Suppose 0 = -a - 19 + 125. Let r = a + -63. Is 4 a factor of r?
False
Let s(h) be the first derivative of -h**4/4 + h**3 + h**2/2 + 3*h - 2. Let v(q) = -2*q**3 + 2*q**2 + 3. Let r(j) = 3*s(j) - 2*v(j). Is r(-2) a multiple of 2?
False
Is 15 a factor of 884 - (2 - -6 - 13)?
False
Let j(h) = -106*h - 227. Is 7 a factor of j(-3)?
True
Let h(a) = 1016*a**2 + 6*a + 7. Is 3 a factor of h(-1)?
True
Does 4 divide 69 - -3*15/(-9)?
True
Let i = 202 + -145. Does 6 divide i?
False
Let p = -17 - -14. Is (0 - -1 - p)*(-154)/(-44) a multiple of 7?
True
Let w(t) = -t**3 + 2*t**2 + 2. Let g be w(3). Let y(l) = -17*l - 5 + 39*l - 18*l + l**2. Is 8 a factor of y(g)?
True
Let o(k) = -k**3 + 9*k**2 + k - 8. Let f be o(9). Let u be (2 + f + -3)/2. Suppose 4*z + u*z = 36. Does 2 divide z?
False
Suppose -9*o = -273 - 717. Is 2 a factor of o?
True
Suppose 5*g = 162 + 198. Let v = 174 - g. Does 22 divide v?
False
Suppose 18 = 4*n - 0*p - 2*p, -4 = -n + p. Suppose -2*z - 5*u - 105 = z, -n*z = -4*u + 138. Let m = z - -82. Does 13 divide m?
True
Suppose -5*b = -4*w + 2747, -1379 = -2*w - 14*b + 11*b. Is 38 a factor of w?
False
Is 2 a factor of 222/(-15)*5/(-1)?
True
Let k be (2/4)/((-9)/(-90)). Suppose 5*h + 181 = 2*z, -k*z - 5*h + 287 = -z. Is z a multiple of 13?
True
Let z(v) = -v - 8. Let w be z(-7). Let a(s) = -5*s - 1. Let n be a(w). Suppose 0 = -n*u + u + 72. Is u a multiple of 8?
True
Let q(h) = h**2 + h - 30. Let o be q(-6). Let p(b) = -b + 2. Let y be p(4). Is o/((-2)/y) + 55 a multiple of 19?
False
Let h be 36/(-15)*(-20)/(-4). Suppose 0*y - 4 = -y. Does 13 divide 234/h*y/(-6)?
True
Let a(k) = 25*k - 6. Let d(z) = -25*z + 5. Let u(n) = 3*a(n) + 4*d(n). Let v be u(-3). Suppose 3*m - 2*g - v = -g, -m + g = -25. Is m a multiple of 12?
False
Suppose -o - n + 4 = 0, -n - 28 = -o + 4*n. Suppose -s - 63 = -o*s. Does 9 divide s?
True
Suppose -5*w = -4*w + 7. Let z(h) = -h**2 - 10*h + 7. Let d be z(w). Suppose 4*p - d = -0*p. Is p a multiple of 7?
True
Let w(d) = -2*d + 31. Let x be w(12). Suppose x*k = 6*k + 11. Does 3 divide k?
False
Suppose -4*r + 682 = 7*r. Suppose 388 = 3*l - r. Is l a multiple of 15?
True
Suppose 10 = 7*w - 5*w. Suppose u + 3*u - w*j = 71, 2*u - 19 = -3*j. Let n = u + -6. Does 7 divide n?
False
Let m = 1207 - 510. Suppose 0 = c + 2*f - 114, -m = -4*c + 4*f - 217. Is 16 a factor of c?
False
Does 14 divide 128 - ((-16)/(-28))/(6/21)?
True
Is 19 a factor of ((-320)/6)/((-91)/1638)?
False
Let h = -989 - -2249. Is 54 a factor of h?
False
Suppose -2*h + 1113 + 1047 = 3*k, -4*h = 5*k - 3600. Does 20 divide k?
True
Is (2 - 7*-1)/(14/336)