 w(7). Is z(x) a multiple of 2?
False
Let h(r) = -r**3 + 9*r**2 + 3. Let g be h(8). Suppose 5*p - 6*l - g = -3*l, -9 = p + 5*l. Is 4 a factor of p?
False
Let k(c) = 610*c**2 - 2*c. Does 21 divide k(2)?
True
Suppose k = 5*g + 5, -3*k - 5*g - 1 - 4 = 0. Suppose k*v - 4*z = -3*v + 164, -5 = z. Is v a multiple of 24?
True
Let z = 40 + 81. Does 13 divide z?
False
Suppose -i - 6 = -2*z - 2*i, 4*i = 3*z + 13. Let k be z/(((-2)/(-1))/(-2)). Is -1*k*(38 + -1) a multiple of 9?
False
Let s(o) = o**3 + 19*o**2 + 16*o - 14. Let y(x) = 4*x - 4. Let k be y(2). Suppose -55 = k*i + 17. Is 22 a factor of s(i)?
True
Let k be 9/(-15) + (-2 - (-114)/15). Suppose -k*r = u - 141, 0 = -2*u + 3*r + 218 + 103. Is u a multiple of 12?
True
Suppose -844 = -4*z - 2*n, 6*z + 3*n = 10*z - 834. Is z a multiple of 6?
True
Suppose -12*s - 3 = -99. Suppose -5*q - s*x + 53 = -6*x, 2*q - 5*x + 2 = 0. Does 3 divide q?
True
Let v(m) = 3*m - 17. Let t be (-1 - -4)*15/9. Let j = t - -9. Does 23 divide v(j)?
False
Let w = -374 - -764. Is 30 a factor of w?
True
Let p = 128 + 105. Is p a multiple of 5?
False
Let g(v) = 7*v**2 + 3 + 7 + 5 + v**3 + 2 - v. Let d be g(-7). Is 5*(d/20 - -4) a multiple of 8?
False
Suppose 4*j = j. Suppose -2*v + 0*v + 70 = j. Is 5 a factor of v?
True
Suppose -2392 = -4*c - 2*x, 2*c = 3*x + 449 + 747. Is 7 a factor of c?
False
Suppose s - 6*s - 145 = 0. Is 5 a factor of (-551)/s + (1 - 0)?
True
Let l = -348 + 870. Is 58 a factor of l?
True
Let z(b) = -b**2 + 17*b - 3. Let t be (-15)/(((-2)/(-2))/(-1)). Is 10 a factor of z(t)?
False
Let d = 937 + -417. Is d a multiple of 26?
True
Suppose v = -4*v + 70. Suppose -v*h + 459 = -2201. Is 29 a factor of h?
False
Let u(x) = -11 + 359*x + x**2 + 21 + 24 - 344*x. Is u(8) a multiple of 32?
False
Let r(x) = 1 + 3 + 1 + 20*x + 16*x**2 - 1. Does 15 divide r(-5)?
False
Suppose -2*z - 40 = -10*z. Suppose -z*p = 3*i - 92, -4*i = 4*p + p - 116. Is 12 a factor of i?
True
Is 4 a factor of 748/14 - (-128)/224?
False
Suppose 2*u = u + 5. Suppose 3*l + 9 = -4*x, -9*x - 15 = -4*x + 5*l. Suppose x*k = k - u, -3*d + 86 = 4*k. Is 22 a factor of d?
True
Let g(q) be the third derivative of -371*q**4/24 - q**3/2 - 23*q**2. Is g(-1) a multiple of 58?
False
Suppose -c = 2*h - 315, 1 = 4*h + 17. Is c a multiple of 17?
True
Let q(x) = -x + 5. Let y be q(0). Suppose -146 - 174 = -y*c. Is c a multiple of 16?
True
Let m(a) = 1 - 6 + a**2 + 0. Suppose 6*l - 42 = 12*l. Is m(l) a multiple of 21?
False
Let m(x) = 2*x + 26. Let p be m(0). Suppose i - 76 = -i. Suppose p = 4*l - i. Does 8 divide l?
True
Let d(p) = 20*p**2 - 11*p**2 - 3*p + 2*p**2 + 2. Let y be d(3). Suppose 4 = -2*s + y. Is 22 a factor of s?
True
Let g(h) = -h**3 + 2*h**2 - 11*h + 4. Let y be g(-6). Let m = y + -93. Does 55 divide m?
False
Suppose 7 = 4*k - 1. Suppose -3*r - 49 = -k*h - 0*h, 3*h - 3*r = 81. Suppose 4*g - h = 4*a + 220, 0 = g + a - 57. Is 18 a factor of g?
False
Suppose -p + 2*q = -0*p - 26, p = 5*q + 23. Does 4 divide p?
True
Suppose -129 - 67 = -3*x + 2*w, -2*w = x - 76. Is 30 a factor of x?
False
Let l(i) = -i + 21. Suppose 43 = -7*r - 62. Is l(r) a multiple of 9?
True
Suppose 5*t - 330 = -0*t. Suppose 0 = -x + 3*r + 93, 6*r + 190 = 2*x + 2*r. Suppose 5*u - x = t. Is 14 a factor of u?
False
Suppose -24*u = -610 - 1790. Is u a multiple of 10?
True
Suppose 35*s - 56*s = -47187. Does 46 divide s?
False
Let f(h) be the second derivative of -3*h**5/20 - h**4/4 - h**3/2 + 4*h**2 - 9*h. Does 42 divide f(-4)?
False
Let b = -4 + 281. Suppose 0 = 4*i - 43 - b. Suppose -88 = -4*o + i. Is o a multiple of 14?
True
Suppose 0 = -9*r - 0*r + 540. Suppose 0*s = -s - q + 11, 5*s + 4*q - 50 = 0. Suppose 2*n = s*n - r. Does 7 divide n?
False
Let i(y) = 4*y - 28. Is i(14) a multiple of 4?
True
Let v(k) = 3 - k - k + 7*k**2 - 8*k**2 + k**3. Let t be v(3). Let m = t + 62. Is 26 a factor of m?
False
Let c be (-63)/(-15) - 1/5. Suppose 4*w + 2*h = 520, -c*w = w - 2*h - 668. Does 19 divide w?
False
Let c(n) = 41*n - 1. Let j be c(-1). Let q = 37 + -40. Is (2/q)/(1/j) a multiple of 14?
True
Let m(f) = -20*f - 52. Let u be m(-9). Let y = u - 8. Is y a multiple of 40?
True
Let y = -54 - -97. Suppose j + 4*n - 8 = -j, 0 = -3*j + 5*n - y. Is (-76)/j - 8/(-24) a multiple of 6?
False
Let q(p) = 55*p**2 - 27*p + 118. Does 10 divide q(4)?
True
Let u(k) be the second derivative of -k**6/80 - 13*k**5/120 - k**4/3 - 8*k. Let a(d) be the third derivative of u(d). Is 13 a factor of a(-6)?
False
Suppose 0 = 4*t + 2*c + 8 - 0, -3*t + 20 = -5*c. Suppose 4*u + 546 + 166 = t. Let n = -106 - u. Is 18 a factor of n?
True
Suppose -p + 151 = -2*b - 315, -4*b = -4. Is 39 a factor of p?
True
Suppose 3*y + 3 = -5*t + 12, 2*y + 1 = -t. Is 1 + 48 + (t - 2) a multiple of 9?
False
Suppose -4*v + 2*u = -5*v - 3, 3*v - 2*u - 15 = 0. Suppose -m + 106 = v*z, -66 = 5*m + 4*z - 574. Is 25 a factor of m?
True
Suppose 3*i = -i + 124. Suppose 47 = 3*c - 3*d + d, -2*c + d = -i. Suppose 4*a = c + 33. Is a a multiple of 4?
True
Let q = -25 - -22. Let g be -4*3/q - 0. Suppose -t + 6*t + h - 50 = 0, 0 = -2*t - g*h + 20. Is t a multiple of 10?
True
Let q(p) = p**3 + 33*p**2 + 70*p + 72. Is 16 a factor of q(-30)?
True
Let m(j) = 2*j**2 - 4*j - 1. Let x be m(3). Let v(n) = -4*n - 21. Let l(p) = 2*p + 11. Let d(h) = -7*l(h) - 4*v(h). Is d(x) a multiple of 14?
False
Suppose 20242 = -18*h + 47*h. Is 38 a factor of h?
False
Suppose 5*v - 8942 = 4*j + 9538, 0 = 2*v - 2*j - 7390. Does 9 divide v?
False
Let y = 139 + -116. Suppose y + 73 = 2*q - 3*m, 3*q = -m + 133. Does 23 divide q?
False
Suppose 2*f = 1321 - 439. Does 21 divide f?
True
Let n be 1 + 10/4*-20. Let x = 85 + n. Is x a multiple of 16?
False
Is 4 a factor of (3/(-2) + (-1)/(-2))*-163?
False
Let w = -423 + 814. Is 23 a factor of w?
True
Let x(n) = -n**3 - 12*n**2 - n - 2. Let p be x(-12). Let d be ((-16)/10)/((-4)/p). Is d + (2 - 0/3) a multiple of 3?
True
Suppose -i + 137 = 4*q, -5*i + 9 = -5*q + 149. Does 9 divide q?
False
Suppose -5*l - 123 = 5*o + 332, -3*l + 3*o = 243. Let y = 79 - 137. Let q = y - l. Does 7 divide q?
True
Let h = 242 - -26. Suppose m - h = 2*j + 88, -3 = j. Suppose -5*a = 5*b - m, 3*a + a = 3*b - 210. Does 35 divide b?
True
Is 57 a factor of 408 - -4 - (1 + (-1 - 0))?
False
Let p(c) = -630*c - 334. Is 53 a factor of p(-7)?
False
Suppose -63*q + 71*q = 10080. Does 45 divide q?
True
Suppose -3*a + 5836 = -2*h, 6*h - 3*h + 15 = 0. Does 17 divide a?
False
Is (-17)/(-51) - (-1133)/3 a multiple of 9?
True
Let b = -141 - -143. Suppose b*c - 468 = -5*p, -431 = -2*c - 4*p + 39. Is c a multiple of 26?
False
Suppose g = -4*p - 18, -2*p - 3*g + 1 = -p. Let t = 5 - p. Is t a multiple of 8?
False
Let u = -38 - -38. Suppose -151 = -p + 3*c, u = p + 6*c - c - 175. Is 12 a factor of p?
False
Suppose 2 = -3*a + 2*o, -6 = a - 2*o - 0*o. Suppose a*x + 1080 = 7*x. Is 16 a factor of x?
False
Let d(c) = -5*c**3 - 2*c - 12. Let t(a) = -9*a**3 - a**2 - 4*a - 23. Let o(z) = 11*d(z) - 6*t(z). Let p be o(6). Does 6 divide (-14)/63 + 112/p?
True
Let t(i) = -786*i**3 + 3*i**2 + 3*i + 1. Let q be t(-1). Let d = q - 475. Does 19 divide (28/6)/(16/d)?
False
Does 2 divide (-72)/(-90)*(-15)/(-2)?
True
Let l(i) = -30*i + 3. Let z(a) = -4*a**2 + 6*a - 6. Let s(c) = -3*c**2 + 6*c - 5. Let k(j) = -3*s(j) + 2*z(j). Let d be k(5). Is l(d) a multiple of 21?
True
Suppose 2*y - 5*f - 690 = -254, -3*y = -2*f - 632. Does 26 divide y?
True
Suppose -4*k + g = -909, -28 + 3 = 5*g. Does 38 divide k?
False
Is 41 a factor of ((-444)/30)/((-6)/615)?
True
Suppose 0 = 26*k - 12011 - 10557. Is k a multiple of 31?
True
Suppose 8*s - 296 - 2072 = 0. Suppose 4*a = -0*a + s. Does 19 divide a?
False
Let a(y) = 12*y**3 + 2*y**2 - 3*y - 2. Let i be a(-1). Does 25 divide (-1)/(-4)*i/((-36)/1072)?
False
Suppose 100*l = 104*l - 380. Does 20 divide l?
False
Suppose 261*o - 2800 = 256*o. Does 10 divide o?
True
Let x = -23 + 16. Let o = 9 + x. Suppose 16 = o*t - 34. Does 13 divide t?
False
Let k(y) = -y**2 + 12*y - 10. Let c be k(11). Is 38 + -6 + 2 + c a multiple of 5?
True
Suppose v - 1 = -2. Let m = 0 - v. Does 4 divide ((-38)/8)/(m/(-4))?
False
Let r be 2/4*(5 - -5). Suppose 0 = r*m + 6 + 254. Let n = -27 - m. Is n a multiple of 25?
True
Suppose -11514 = 31*f - 37*f. Does 19 divide f?
True
Does 11 divide (-418236)/(-630) 