*3 - 7*p**2 - 8*p + 5. Let r be w(-6). Does 33 divide z(r)?
True
Let w(z) = -3*z - 10. Let x be (-5)/(-30) - 35/(-6). Let m(j) = 3*j + 9. Let p(v) = x*m(v) + 5*w(v). Is p(6) a multiple of 22?
True
Suppose -2*s = -s - 5. Suppose -3*q + s*c - 4*c = -270, q - 90 = 2*c. Is 20 a factor of q?
False
Suppose 0*z + 2*z = 4*u + 610, -2*z + 620 = -2*u. Suppose 7*j = z - 28. Is 15 a factor of j?
False
Let j = 19 - 21. Is (j - 1)*(-1 + -2) a multiple of 9?
True
Suppose 3*d + 4*x - 2025 = 0, -2*d + 15*x = 12*x - 1367. Is 97 a factor of d?
True
Suppose -b + 6653 = 2*o, 4*b - 778 + 7436 = 2*o. Is 23 a factor of o?
False
Let a be 128 - ((-3)/3 - 1). Suppose 0 = -2*k + a - 44. Suppose 1 = t - k. Is t a multiple of 18?
False
Let b be 194/4*(11 + -9). Suppose -4*g + b = -j - 432, 2*g = 2*j + 266. Is g a multiple of 33?
True
Suppose -9*j - 5*y - 160 = -10*j, -3*y = 3*j - 534. Is 25 a factor of j?
True
Suppose 960 = 18*r - 6*r. Is r a multiple of 5?
True
Suppose -5*m + 15 = -5*p, -4*p = -5*m + 15 + 1. Suppose 0*l + l + 76 = 3*t, 5*l - 95 = -m*t. Is t a multiple of 2?
False
Let r(z) = 23*z - 40. Let n(u) = -23*u + 39. Let k(s) = -3*n(s) - 4*r(s). Is k(-4) a multiple of 27?
True
Let y = 37 - -51. Let q(k) = -k**2 + 4*k + 8. Let w be q(5). Suppose n + 155 = 5*x - 4*n, -w*x - 2*n + y = 0. Is 11 a factor of x?
False
Suppose 0 = -z + 5*z - 20. Suppose a - 5*c + z = 0, 4*a + c - 4*c - 14 = 0. Is a a multiple of 3?
False
Suppose 1 + 8 = 3*l. Let t(i) = 11*i**2 - 4*i - 7. Let v be t(-2). Suppose -4*z + v = -l*u, -4*z = -3*z - 3*u. Does 15 divide z?
True
Is 74 a factor of ((-4)/(-26) - 84640/(-104))*1?
True
Let g = 646 + -46. Suppose -g = 125*b - 129*b. Is b a multiple of 26?
False
Let f = -29 + 21. Let g(q) = q + 10. Let h be g(f). Suppose -j + 2*b = -2*j + 79, h*b = 4*j - 276. Does 13 divide j?
False
Let m(u) = -4*u**2 - 11*u + 25. Let q be m(-10). Let h = q - -499. Does 18 divide h?
True
Let t(k) = -k**2 - 33*k + 490. Is t(-38) a multiple of 4?
True
Let n be (-438)/(-1)*(-5)/(-15). Let u = n + -57. Is u a multiple of 16?
False
Let g(x) = 7*x - 12. Let s(c) = -35*c + 60. Let i(t) = 11*g(t) + 2*s(t). Let l be i(15). Let o = l - 9. Does 14 divide o?
True
Is 3 + ((-10)/25 - (-30276)/15) a multiple of 23?
False
Let j = -483 - -849. Is j a multiple of 43?
False
Let t(d) = 2*d**2 - 10*d**2 + 4 - 5*d + 12*d - d**3. Suppose -2 = -3*s - 11, -2*s = -2*j - 12. Is 6 a factor of t(j)?
False
Let l = 14 + -9. Suppose l*c + 73 - 16 = 3*s, -3*c = 4*s - 47. Suppose t - s = -0*t. Is 2 a factor of t?
True
Suppose 22 = 3*j - 4*t - 4, -25 = 5*t. Suppose 0 = j*p + 2*p + q - 310, -85 = -p - 4*q. Let k = -27 + p. Is 25 a factor of k?
True
Let f be 10 + (4/(-2) - 1). Suppose -6*j + f*j = 476. Suppose 4*x = 5*l - 29 - j, -3*l + 311 = -4*x. Is 20 a factor of l?
False
Suppose -9128 + 2928 = -40*r. Is r a multiple of 15?
False
Is 500*-18*4/(-60) a multiple of 33?
False
Let j(q) = 35*q**2 - 29*q + 4. Does 7 divide j(4)?
True
Let j = -333 - -393. Is j even?
True
Let o = -17 + 22. Suppose 9*d = -o*d + 1372. Is d a multiple of 19?
False
Let u(x) = x**2 - 2*x - 6. Let w be u(4). Let d(t) = -t + 4*t + 5 + 9*t**w + 2*t + t**3. Is d(-8) a multiple of 14?
False
Suppose 0 = 16*r - 11*r. Is 10 a factor of 0 - (1 - (1 - r) - 30)?
True
Let q(o) = -o**3 + 23*o**2 - 16*o - 135. Is q(21) a multiple of 16?
False
Let f(q) = -4 - q**3 + 3*q - 7 + 0*q**3 - 1. Is f(-5) a multiple of 14?
True
Suppose 14 - 80 = -3*v. Let m = -34 - -37. Suppose -m*r - v = -79. Is 14 a factor of r?
False
Suppose -4*l + 2*n + 178 = -158, -411 = -5*l - 2*n. Suppose 3*w + l = 4*w + 2*p, 0 = -w + 5*p + 90. Is w a multiple of 15?
False
Let d(x) = 11*x**2 - 3*x + 6. Let w be d(6). Suppose 5*l = l + w. Is 32 a factor of l?
True
Let n = 255 - -33. Is n a multiple of 32?
True
Let t = -89 + 163. Let x = -35 + t. Does 3 divide x?
True
Let h = -16 + 18. Suppose -24 = -5*j + h*j. Suppose 2*p = -3 + 11, -5*p = -2*b - j. Is b a multiple of 6?
True
Let x be (-6)/4 + 10/4 + 2. Suppose 5*g - 5*n + 268 = 6*g, x*n = 3*g - 732. Is 24 a factor of g?
False
Let y(a) = 0 - 37*a**3 + 109*a**3 - 1 + 0*a**2 + 2*a**2. Does 20 divide y(1)?
False
Let v = -58 - -181. Let p = v + -37. Is 28 a factor of p?
False
Let g = -9 + 12. Suppose -j + 4 = 0, 5*j + 13 = g*r - 27. Is r a multiple of 8?
False
Suppose 7663 = 7*l - 3047. Is 102 a factor of l?
True
Let d(k) be the third derivative of k**6/120 - 7*k**5/30 + 11*k**4/24 + 13*k**3/6 + 7*k**2. Let z be d(13). Does 2 divide (-24)/z + (-4)/(-26)?
True
Suppose -5*d + 14 = j - 3*j, 0 = 3*d + 2*j - 2. Suppose 5 = -d*l + 49. Is l a multiple of 22?
True
Let k be 1 - 1*(0 - 439). Is 25 a factor of (30/8)/(66/k)?
True
Let f = 177 - 9. Does 12 divide f?
True
Let w = -13 + 7. Let g be 8/w*(4 - 1). Let r(n) = -7*n + 3. Is 18 a factor of r(g)?
False
Suppose -5*c = -4*m + 2967, 6*c = 2*c + 20. Is 34 a factor of m?
True
Let r = 3844 + -2388. Does 26 divide r?
True
Let d(x) = 4*x**3 - 5*x**2 - 3*x + 19. Let v(k) = -7*k**3 + 10*k**2 + 5*k - 37. Let w(p) = -5*d(p) - 3*v(p). Is w(7) a multiple of 8?
False
Let y(j) = -j**2 - 15*j - 1. Let c be (1 - 5) + (1 - -2). Let w be (-4 + 2 + 9)*c. Is 19 a factor of y(w)?
False
Let j be (1 - (-81 + -2))/(-3 - -2). Let v = 161 + j. Does 22 divide v?
False
Suppose x = z + 2*z + 35, -5*x = 2*z + 46. Let g = 17 - 48. Let a = z - g. Is 11 a factor of a?
False
Suppose -197*w + 179*w + 19602 = 0. Does 11 divide w?
True
Suppose 2*k = -2*k + 8. Suppose 2*h - 142 = -2*j, 2*j = -3*j + k*h + 369. Does 15 divide j?
False
Suppose 5*q + 129 = -c, -c = c - 2*q + 318. Let l = 225 + c. Is 19 a factor of l?
False
Suppose 0 = 2*t - 6 - 4. Let u be (-2)/t + (-24)/15. Let g = 10 - u. Does 3 divide g?
True
Let k(y) = -y**2 - 9. Let g be k(0). Let x = 13 + g. Suppose x*q = -2*d + 340, -2*q = -d - 4*d - 146. Does 23 divide q?
False
Let w(y) = 7*y**2 - 3*y - 2. Let p = -34 - -31. Is w(p) a multiple of 14?
True
Suppose -3*b + 0*l - l + 4 = 0, 0 = 3*b + 3*l - 6. Suppose h = -b + 4. Is 4 a factor of 1*((3 - -1) + h)?
False
Let v(r) = 17*r**3 + 2*r + 3. Let x(a) = 34*a**3 + a**2 + 5*a + 7. Let o(h) = -5*v(h) + 2*x(h). Let g be o(1). Is (-596)/g - 6/(-8) a multiple of 15?
False
Suppose 15 = -2*w - a - 2*a, w - 5*a - 12 = 0. Let s = 31 + w. Does 28 divide s?
True
Suppose -4*i = -5*y - 0*i - 1965, -4*y - 1593 = i. Let k = y - -697. Does 50 divide k?
True
Suppose 30*v = 33*v - 1281. Is v a multiple of 8?
False
Suppose 0 = -4*b - 128*b + 354552. Does 17 divide b?
True
Let v = -9 - -12. Suppose 0*g = -v*g + 12. Suppose 10 = 2*z - g. Is 7 a factor of z?
True
Let g = -3224 - -6389. Let k be g/165 - (-4)/(-22). Suppose -5*m + 3*u = -89, -u - 55 - k = -4*m. Is m a multiple of 6?
False
Let p(y) = 82*y**2 + 4*y - 76. Is p(6) a multiple of 127?
False
Let s(t) be the first derivative of -t**4/4 - 4*t**3/3 + 2*t**2 - 3*t + 1. Let u be s(-5). Suppose -p = -5*b + 4*p + 170, u*b - 103 = -5*p. Does 7 divide b?
False
Suppose 5*j - 4*r + 2634 = 7*j, 2*j + 2*r = 2636. Is j a multiple of 15?
False
Let i = -276 - -330. Is 5 a factor of i?
False
Suppose 5*p = -186*c + 189*c - 1175, -p = -c + 391. Does 26 divide c?
True
Let f(y) = -y**2 - 5*y + 5. Let a be f(6). Let l = a + 139. Does 13 divide l?
True
Let s = 230 + 13. Is 48 a factor of s?
False
Suppose 2*i - 7 = -1. Suppose i*c = -21 - 51. Let d = 10 - c. Is d a multiple of 34?
True
Let i(s) = -3*s + 8. Let j be i(10). Let l = j - -12. Let p = 46 + l. Is p a multiple of 18?
True
Suppose -288*n + 15450 = -282*n. Is n a multiple of 29?
False
Suppose -5*i + 6*i - 326 = 0. Suppose 3*z = 5*g + 5*z - i, 4*z = -4*g + 268. Is g a multiple of 17?
False
Let i = -106 - -354. Suppose 5*b - 430 = -5*l, -l - i = -4*l - b. Is 27 a factor of l?
True
Suppose 5*w - 3*t + 8*t = -15, -3*t - 9 = -4*w. Suppose 2*a - 3*d = 19, -2*a + w - 1 = d. Suppose 3*x - a*j - 125 = 0, -2*j = 5*x + j - 240. Does 9 divide x?
True
Suppose -21*k + 459 = -1053. Does 12 divide k?
True
Let b = 13 - 65. Suppose 4*x - 382 = 34. Let d = x + b. Is 26 a factor of d?
True
Suppose 6*p - 9*p + 1938 = 2*a, -3*p = 0. Is 23 a factor of a?
False
Does 29 divide 7536/10 + 132/330?
True
Suppose 20 = d + 3*u, d - 20 = 2*d - 5*u. Let o(s) = 5*s + 10. Let q be o(-2). Suppose q = -t + 21 - d. Is t a multiple of 8?
True
Let h = 66 + 110. Let d = 280 - h. Is 13 a factor o