ppose 22 = 6*p + 5*p. Suppose 193 = p*y + 3*t, 0 = -0*y + y - t - 104. Is y a multiple of 7?
False
Let c = -94 + 161. Is c a multiple of 11?
False
Let n be (-200)/(-7) + 3/7. Suppose 24*q = n*q - 490. Does 12 divide q?
False
Let t = -88 + 63. Let v = t + 34. Is v a multiple of 3?
True
Let s(a) be the first derivative of -13*a**4/12 - a**3/6 - a**2 - 2. Let v(z) be the second derivative of s(z). Is v(-2) a multiple of 9?
False
Let o(a) = a**3 - 20*a**2 - 52*a - 12. Is o(23) a multiple of 28?
False
Suppose -10*j + 2314 = -286. Is 20 a factor of j?
True
Suppose 5*m - m = -3*z - 10, 0 = -2*m + 3*z + 4. Let q be m + (-3 - -113) - -3. Suppose -454 = -4*i - 2*f - q, 0 = -3*i + 4*f + 284. Does 19 divide i?
False
Suppose 17*l = 28*l - 32538. Is 58 a factor of l?
True
Let q(x) = -18*x + 4. Let f be q(3). Let n = 92 + f. Suppose -2*g + n = -0*g. Is 21 a factor of g?
True
Suppose 3*f - f = 62. Let d = 134 - f. Is 31 a factor of d?
False
Suppose -16*r + 2*q - 540 = -18*r, -5*r + 1362 = -q. Is r a multiple of 16?
True
Suppose -1 = 2*x + 1. Let r be -2*(6/(-3) - x). Suppose -h = -5*a - r*h + 120, 2*a + 3*h = 35. Is a a multiple of 18?
False
Let k(y) = 26*y**2 - 6*y + 14. Is 10 a factor of k(3)?
True
Suppose i + 18 = 24. Is 17 a factor of (-9664)/(-40) - 1/10*i?
False
Is ((-4)/10)/((-40)/16200) a multiple of 10?
False
Suppose 0 = -21*j - 19*j + 10680. Does 19 divide j?
False
Suppose -5*m + 12*t + 2996 = 10*t, 2999 = 5*m - 3*t. Does 23 divide m?
True
Suppose 5 - 17 = 3*t. Does 9 divide -54*-3*t/(-18)?
True
Suppose -8 = -n - 5*h, 2*h - h = 5*n + 12. Is 1/(n/(-6)) + (56 - -1) a multiple of 12?
True
Let r(a) = 25*a - 4. Let b be r(3). Suppose 0*w + w - b = 0. Let l = 112 - w. Is 9 a factor of l?
False
Suppose -695*y = -694*y - 1365. Does 34 divide y?
False
Let y = 99 + 403. Suppose -52 + y = 10*q. Does 9 divide q?
True
Let l(s) = -35*s**2 - 6*s + 7. Let y(x) = -32*x**2 - 5*x + 6. Let i(m) = 6*l(m) - 7*y(m). Let j = -3 - -5. Is i(j) a multiple of 11?
False
Let j be (-5 - -13)/((-1)/1). Let g(k) = 3*k**2 + 10*k + 10. Does 13 divide g(j)?
False
Let z = 568 - 527. Is 2 a factor of z?
False
Let j be (-2 - -12)*(-1)/(-2). Suppose -5*h + 15 = -2*i, -j*i + 14 + 26 = 3*h. Is 30 a factor of 184/i + (-64)/80?
False
Let a = -705 + 1570. Suppose -4*g = 4*i - 438 - 278, -a = -5*g + 5*i. Is g a multiple of 13?
False
Let l = -66 - 152. Is l/(-12) - (-1)/(-6) a multiple of 3?
True
Suppose -647*i = -648*i + 204. Does 24 divide i?
False
Suppose 3*u = 11*u + 1552. Let f = -102 - u. Is 23 a factor of f?
True
Let a(u) = -u**2 + u + 1. Let x(q) = -144*q**2 - 4*q - 5. Let w(b) = -4*a(b) - x(b). Does 24 divide w(1)?
False
Suppose -4*w = -12, 2*w + 1528 = 2*x + 4*w. Is 90 a factor of x?
False
Let h(n) = -n - 20. Let l be h(-14). Let v(c) be the second derivative of c**4/6 + 4*c**3/3 + c**2 + 5*c. Is v(l) a multiple of 7?
False
Let h(o) = -12*o - 194. Is 6 a factor of h(-20)?
False
Suppose 39*p + 236 = 41*p. Let f = 235 - p. Does 6 divide f?
False
Let d(q) = -132*q + 134. Is d(-12) a multiple of 11?
False
Let d(b) = -16*b + 1. Let g be d(-5). Suppose -3*f - 6 = 0, g = v - 4*f - 17. Is 15 a factor of v?
True
Suppose 5*n - 955 = -39*m + 38*m, 5*m + 985 = 5*n. Is n a multiple of 24?
True
Suppose -4 = -x - 1. Let l(r) = 4*r - 10*r + 2*r + r**x + 3 + 2*r. Does 7 divide l(2)?
True
Suppose 4*o - 16 = 0, -3 - 21 = 4*m - 4*o. Let p(d) = -d**3 - 2*d**2 - 2. Let q be p(m). Let h(w) = -3*w**3 - 3*w**2 - 3*w - 2. Is h(q) a multiple of 14?
False
Let p be 5/(-2)*(-112)/10. Let o = 79 - p. Is o a multiple of 51?
True
Let v(m) = m + 1. Let l be v(0). Let x be -3 - (0 + -3 + l). Does 4 divide (x/3)/((-11)/330)?
False
Suppose -4*q - 6 = 102. Let z = 17 + q. Let s = z - -62. Is s a multiple of 8?
False
Let u(j) = 12*j**2 - 2*j + 2. Is 6 a factor of u(1)?
True
Does 26 divide 3*((-4136)/(-24) - -1)?
True
Let p(r) be the first derivative of r**4/4 - r**3/3 - r**2/2 + 41*r - 1. Is 15 a factor of p(0)?
False
Let o = 80 - 76. Suppose 4*j + 3*k = 296, 5*j = o*k - k + 370. Does 10 divide j?
False
Let k(w) = -23*w**3 + 6*w**2 + 12*w + 5. Does 24 divide k(-2)?
False
Let o = -11 - -15. Suppose r = o*r - d - 254, -5*r = -2*d - 424. Suppose -l + 16 = h, -r = -5*l - 2*h - 2*h. Is l a multiple of 4?
True
Suppose -8*z + 3*z = 55. Let q = 48 + z. Is q a multiple of 10?
False
Let q(s) = -s**3 - 2*s**2 - 13*s - 33. Is 4 a factor of q(-4)?
False
Let f(d) = 2*d**2. Let i be f(-1). Suppose -4*s + i*w = -976, -5*s + 0*w + 1215 = -5*w. Is 35 a factor of s?
True
Suppose -2*a - 3*b = -263, -b - b + 262 = 2*a. Does 2 divide a?
True
Let p be 7/(-21) - (-8)/6. Suppose p = -v, 2*z = -0*v + 5*v + 151. Suppose 3*c + 3*f - 255 = 0, -3*c - f = -184 - z. Is 23 a factor of c?
False
Is -1362*-4*(-10)/(-20) a multiple of 57?
False
Suppose -56*s + 54*s - r + 899 = 0, -5 = 5*r. Is 30 a factor of s?
True
Suppose -5*o = 3*w - 108, -4*w + w + 2*o = -108. Let r = 112 + w. Is 34 a factor of r?
False
Suppose 4*y + 4*m = -0*m, -4*m - 9 = y. Let n be 1 + 58 + (3 - y). Let x = -9 + n. Is x a multiple of 18?
False
Let t = 487 - -193. Is 10 a factor of t?
True
Let s = -147 + 727. Is 20 a factor of s?
True
Let b = -50 - -55. Suppose -4*z = -b*s - 786, 0 = 2*z + 2*z - 3*s - 782. Is 16 a factor of z?
False
Suppose 10*s + 8127 = 7*s. Is 5 a factor of s/(-36) - (1 - 3/4)?
True
Let w(j) = -j**3 - 6*j**2 + 7*j + 2. Let y be w(-7). Let f(x) = 10 + 2*x**y - 3*x**2 + x + 12*x. Is f(7) a multiple of 13?
True
Let g(u) = -16*u**3 - 10*u**2 - 5*u + 16. Let y(s) = 3*s**3 + 2*s**2 + s - 3. Let p(f) = -2*g(f) - 11*y(f). Is 13 a factor of p(-3)?
True
Let b(h) = h - 7. Let q(d) = -d**3 + 5*d**2 + 7*d + 1. Let l be q(6). Let x be b(l). Suppose 3*i - 2*i - 88 = x. Does 22 divide i?
True
Is (-496 + -11)/(36/(-96)) a multiple of 26?
True
Let q = -65 + 68. Suppose 5*w - 166 = -b + 325, b + 301 = q*w. Is w a multiple of 18?
False
Is 22 a factor of -5 + 772/1 + 3?
True
Let w = -19 + 8. Let p = w + 19. Does 7 divide p?
False
Suppose 0 = -20*o + 706 + 1254. Is 49 a factor of o?
True
Is 46 + 7/((-7)/(-6)) a multiple of 26?
True
Suppose -311 - 319 = -5*v. Suppose -2*m + v = -2*j, 5*m + 2*j - 200 = 101. Is 13 a factor of m?
False
Let u be (-27)/9 - (60/(-2))/3. Is 7 a factor of u/((-14)/(-6)) + 58?
False
Suppose -2828 = -a + 5*w - 99, -13*a + 35225 = -2*w. Is a a multiple of 63?
True
Suppose -1426 = -12*p + 5846. Is p a multiple of 9?
False
Let c(q) = q + 38. Let m(z) = -1. Let v(k) = c(k) - 3*m(k). Let f be v(0). Suppose -3*r + 164 = f. Is 17 a factor of r?
False
Let o(h) = 770*h**2 - 71*h + 136. Is 106 a factor of o(2)?
True
Let x = -69 + 95. Let m(k) = 3*k + 20. Is m(x) a multiple of 14?
True
Let y = -210 - -574. Is 23 a factor of y?
False
Let q(u) = 3*u**2 - 6*u. Let y(z) = -3*z - 1. Suppose 3*t = -4*f - 22, 0*t - 10 = -5*t + 5*f. Let n be y(t). Is 15 a factor of q(n)?
True
Let r(s) = -s**2 - 16*s - 13. Let h(n) = -n**3 - 6*n**2 + 2. Let i be h(-4). Let l be (7 - -1)*i/20. Does 11 divide r(l)?
False
Let c = 1298 + -808. Is 49 a factor of c?
True
Let j = 238 - 143. Let n = 167 - j. Is 11 a factor of n?
False
Let d = 42 + -37. Suppose -d*z + 102 = -3*a, -z + 3*z = -5*a + 16. Is z a multiple of 3?
True
Let i(p) = -p**2 + 14*p - 1. Let t be i(9). Suppose -2*m = 5*v - 38, 5*m + 6 = -3*v + t. Is v a multiple of 2?
True
Let z(j) = -j**2 - 6*j + 9. Let h be z(-8). Let i = -17 - h. Is 22 a factor of (4/(-1))/(1/i)?
False
Suppose -4*m - 16 = -4*r, 2*r + 4*m - 38 = -3*r. Let l be -2*r*(-3)/12. Suppose 5*p - 5*a = 80, -2*p + l*a + 26 = 4*a. Is p a multiple of 7?
True
Let v be ((-3)/(-9))/((-2)/(-18)). Suppose v*m + 26 = -k, -2*m + k + 12 = -3*m. Let i(h) = -4*h + 9. Is i(m) a multiple of 12?
False
Let a(m) = m**2 + 14*m + 19. Let v(q) = -q**2 - 12*q - 24. Let f be v(-11). Does 6 divide a(f)?
True
Let f = -61 - -53. Let v(w) = 2*w**2 + 11*w + 23. Is v(f) a multiple of 16?
False
Let t be (-1 - -2 - -5)*(-9)/(-27). Suppose k - 188 = t*l, 5*k - 185 = 4*k + 5*l. Is 38 a factor of k?
True
Let a(c) = 329*c**2 + c. Let x be a(1). Suppose 30*l = 36*l - x. Does 11 divide l?
True
Suppose 0*p + 8*p - 16 = 0. Suppose -4*o = -2*i - 638, -2*i = -o - p*o + 477. Does 15 divide o?
False
Let k be 2 + -7 + 3 - -4. Let o(g) = 20*g - 1. Is 13 a factor of o(k)?
True
Let f be 8/(-6)*57/(-38). Suppose 3*i + 4*l = 403