- 15. Suppose -4*c - x + 66 = 0. Suppose -c - 23 = -4*g. Is 7 a factor of g?
False
Suppose -21 = 4*g - 3*k, -6*g - 4*k - 3 = -g. Is 32/g*((-87)/12 - -2) a multiple of 13?
False
Let d = 76 - 52. Let i = d - 25. Is (-1 - 38)/i - -4 a multiple of 43?
True
Let p(n) = -n**2 - 2*n + 11. Let w be p(-4). Suppose 0*c - 108 = -2*c + w*s, -c = -s - 56. Does 30 divide c?
True
Let t be 12/14*(-28)/(-6). Suppose r = t*r - 9. Is r a multiple of 2?
False
Let y be (-6)/((42/4)/7). Let f be (y/6)/(1/(-3)). Suppose f*u = 5*u - 108. Is 18 a factor of u?
True
Suppose 0 = f - 863 + 478. Is f a multiple of 31?
False
Let c be -4*(-2 + 14)*9/(-4). Suppose 6*f = -0*f + c. Does 9 divide f?
True
Suppose 25*r = -r + 34944. Is 112 a factor of r?
True
Let x be 55/(-33) + 4/6. Let l be ((-2)/(4 - 3))/x. Suppose -162 = -2*u - 3*u - 4*v, -l*v + 98 = 3*u. Is 17 a factor of u?
True
Let j(h) = 2*h**2 + 8*h + 9. Let r be j(-4). Suppose i + r = -2*i. Is (-201)/(-6) - i/2 a multiple of 8?
False
Suppose -2*v = -6*v + 12. Suppose 4*d = 2*j - 92, 2*j - 263 = -v*j - d. Let a = j - 34. Is a a multiple of 5?
False
Let b = 128 + 80. Is 16 a factor of b?
True
Let w(g) = 320*g**3 + g. Let h be w(1). Let x be (h/9)/((-2)/(-6)). Suppose -3*p + 94 + x = 0. Is p a multiple of 18?
False
Let a(o) be the second derivative of -o**4/12 - o**3/6 + 9*o**2/2 - 4*o. Let w be a(-5). Let l = w - -81. Is l a multiple of 25?
False
Suppose o - n = 291, 0 = 99*o - 95*o - 2*n - 1170. Is 7 a factor of o?
True
Let o = 304 + 466. Does 23 divide o?
False
Let g(a) = a**2 + 4*a - 28. Let t be g(-7). Let v(c) = -9*c - 8. Is v(t) a multiple of 7?
False
Is 588 + ((-2)/6)/(6/(-108)) a multiple of 22?
True
Let g(v) = v + 5. Let u be g(6). Let x = u - -3. Is x a multiple of 8?
False
Let d(w) = 30*w - 301. Is 6 a factor of d(20)?
False
Suppose -t = -5*t - 8. Let w(y) = 3*y**3 + 3*y**2 - 3*y - 2. Let j(i) = -4*i**3 - 4*i**2 + 4*i + 2. Let g(f) = t*j(f) - 3*w(f). Is g(0) a multiple of 2?
True
Let t be 3/(-6)*0 - -4. Suppose 2*v + 24 = t*c + 6*v, 0 = 3*c + 4*v - 14. Suppose 0 = -c*m + 5*m + 240. Does 11 divide m?
False
Let d(w) be the first derivative of -w**3/3 - 3*w**2 - 5*w - 4. Let t be d(-5). Suppose t = h - 4*f - 32, -h - 4*h + 100 = -5*f. Is 4 a factor of h?
True
Let z be (1/(-2))/((-5)/20). Suppose -z*t = 32 - 4. Is (-7)/49 - 282/t a multiple of 20?
True
Let i(u) be the third derivative of 0*u - 1/2*u**3 + 1/24*u**4 + 0 + 1/60*u**5 + 2*u**2. Is 9 a factor of i(3)?
True
Suppose -7*o = 2*o - 63. Let s = 16 + o. Does 17 divide s?
False
Is 8 a factor of 4718/10 - 49/(-245)?
True
Suppose 5*x + 3*f - 18 = 62, -2*x - 4*f + 18 = 0. Suppose -x*c + 500 = -9*c. Does 9 divide c?
False
Suppose 0 = 8*o + 2*o - 2690. Does 6 divide o?
False
Let d(a) = a**3 + 3*a**2 - 5*a - 2. Let m(i) = i**3 + 4*i**2 - i - 2. Let r be m(-4). Let f = r - 5. Is 8 a factor of d(f)?
False
Suppose -4*x = f + 4*f - 15, f - 5*x - 3 = 0. Suppose 6*w - f*w = 18. Suppose 3*m + w = 0, -m + 232 = -0*z + 3*z. Is z a multiple of 26?
True
Let o = -51 + 45. Is 19 a factor of (-1 + 165/o)/((-2)/4)?
True
Let v = -94 + 52. Let a = -21 - v. Let i = a - 8. Does 5 divide i?
False
Suppose 0 = 2*t - t - 2*k - 5, -3*k = 5*t + 14. Does 15 divide 66/12*(2 + -6)/t?
False
Suppose 3*n = -15 + 9. Let s be (0/n)/(5 + -3). Suppose -3*a + 4*f = -122, s = 3*a + 2*a + 3*f - 213. Is 21 a factor of a?
True
Let f(a) = 6 - 12*a + 3*a + 3*a. Does 9 divide f(-2)?
True
Let s be -4 - (-1)/(2/48). Does 8 divide (-55)/s*12*-1?
False
Let w(x) = -5*x - x - x**2 + 4*x. Let n be w(-3). Is (n/(-2))/(3/76) a multiple of 19?
True
Suppose -214 = -f + 116. Suppose 23*b = 18*b + f. Does 25 divide b?
False
Let p(w) = w**3 + 20*w**2 + 29*w - 57. Let j(r) = 6*r**3 + 101*r**2 + 145*r - 286. Let s(t) = -2*j(t) + 11*p(t). Is 15 a factor of s(19)?
True
Suppose -5*q - 4*q = -90. Suppose 190 = q*i - 950. Is i a multiple of 19?
True
Let k = 40 - 45. Is k/75*-3 - 908/(-10) a multiple of 7?
True
Let j be (12/(-30))/((-1)/(-25)). Is 306/15 - 6/j a multiple of 5?
False
Let v be (6 + -1)*(-2 - -1). Is (1/2)/(v/(-210)) a multiple of 8?
False
Let p(f) = 20*f + 118. Is 11 a factor of p(15)?
True
Suppose -34*w = -33*w - 217. Does 15 divide w?
False
Suppose 5*t = -v + 28479, -19833 = -4*t - 4*v + 2963. Is t a multiple of 17?
True
Suppose -r = 3*r + 4, -2*w - r = 41. Is 27 a factor of (-4)/w - 539/(-5)?
True
Suppose 5*y + 358 = 3368. Does 43 divide y?
True
Suppose -o + 741 = -3*h - 6*o, -2*h - 5*o - 494 = 0. Let i = h + 407. Is 20 a factor of i?
True
Let z(y) be the first derivative of -y**3/3 - 7*y**2/2 + y + 5. Let b(f) = -f**2 + 4*f - 4. Let p be b(4). Is 8 a factor of z(p)?
False
Let c(m) = 2*m**2 + 359*m**3 - m**2 - 1 + 0 - 338*m**3. Suppose -l - 2 + 8 = 5*s, 0 = -5*l + s + 4. Does 5 divide c(l)?
False
Let l = -24 - -24. Suppose 0 = -2*p - 3*j - 135, -3*p - 4*j = -l*p + 205. Does 6 divide p/(-5) + -2 + 0?
False
Let x(b) be the third derivative of b**5/120 + b**4/4 - b**3/6 + 5*b**2. Let i(s) be the first derivative of x(s). Does 11 divide i(5)?
True
Does 30 divide (375/9)/((22/12)/11)?
False
Let b(w) = w**3 + 2*w + 191. Let a be b(0). Let u = a - 74. Is u a multiple of 27?
False
Let v = 1334 - 704. Is v a multiple of 10?
True
Suppose -20*z + 18*z + n = -1574, 4*n = -4*z + 3136. Is 14 a factor of z?
False
Suppose 0 = 6*z - z + 155. Is (z + 1)/(42/(-112)) a multiple of 20?
True
Suppose -6 = f - 10. Suppose 5*c + 25 = 0, -g + c + 110 = -f*c. Is 17 a factor of g?
True
Let h = -4 + 4. Suppose -4*u + u = h. Suppose -4*f + u*f + 48 = 0. Is f a multiple of 6?
True
Is 54 a factor of (3/(-4))/((10/(-984))/5)?
False
Let c be (-101*7/28)/((-2)/8). Let t = c + -41. Is 12 a factor of t?
True
Let f = 4 + -1. Suppose -3*m = f*l + 102, 0 = 4*l + 2*m + 141 - 15. Does 12 divide (l/(-4))/((-2)/(-8))?
False
Suppose 33 = 5*l - 212. Let s be -1 - -7*(7 + -3). Let u = l - s. Is 12 a factor of u?
False
Let h be (-12)/(-6) - (2 - 5). Suppose h*k - 13 - 2 = -n, 0 = -5*n + 2*k - 6. Suppose 0 = 4*f - 5*s - 71, 10*f - 5*f - s - 73 = n. Does 4 divide f?
False
Let u = -12 - -16. Suppose -9 = -u*a - 1. Suppose a*c - 25 = 17. Is c a multiple of 8?
False
Let k(f) be the second derivative of -f**3/3 + 13*f**2/2 - 12*f. Is k(-14) a multiple of 11?
False
Let f be -2 - -3 - (-2 - 19). Suppose 113 = 5*u - f. Suppose -h = -3*i + 4*h + 29, u = 3*i - 3*h. Is 3 a factor of i?
False
Let q = 1611 - 1035. Is q a multiple of 9?
True
Suppose 0 = 2*d - 5*o + 192, 5*d + 2*o = -406 - 16. Let p = d - -160. Is p a multiple of 15?
False
Suppose 12 = 2*s - 2. Suppose 15 = 3*n, 0*t - n + s = 2*t. Is 20 + 2*-2 + t a multiple of 16?
False
Suppose -q - 52 = -2*y, -2*y + 3*y - 26 = -4*q. Is 9 a factor of y?
False
Let x be 2 + (4 + -1)/1. Suppose -x*h = -463 + 78. Is 18 a factor of h?
False
Let w(l) be the first derivative of l**6/360 - l**5/60 + l**4/8 - 3*l**3 + 9. Let z(b) be the third derivative of w(b). Is 6 a factor of z(3)?
True
Let y(a) = -89*a**2 + 1. Let c be y(-1). Let w = -47 - c. Let g = -25 + w. Is 16 a factor of g?
True
Suppose 0 = 4*q, 3*q - 91 = -s + 193. Suppose -2*r + 2*j + 157 = 7*j, -4*j + s = 4*r. Is 33 a factor of r?
True
Let b(d) = 4*d**3. Let h be b(-1). Let p be (3/(-6))/(h/40). Let w = 17 - p. Does 6 divide w?
True
Let q(b) = b**2 - 67*b + 191. Is q(71) a multiple of 19?
True
Let q(v) = 16*v + 6. Let t be q(5). Let a = 10 + t. Does 8 divide a?
True
Let s be 12/(-66) + 2226/22. Let j = s + -42. Suppose -4*t - j = -171. Is 19 a factor of t?
False
Let l(a) = 573*a**2 - 3*a + 4. Does 10 divide l(-3)?
True
Suppose 0 = 4*x, 2*x - 4351 = -5*l + 174. Is l a multiple of 20?
False
Let l(k) = -k**3 - 11*k**2 + 16*k + 2. Let n be l(-11). Let h = n + 295. Suppose x = 4*x + 3*z - 192, -5*z - h = -2*x. Is x a multiple of 16?
False
Let x(a) = 5*a**2 + 50*a + 1. Suppose -42 = 5*d + 13. Does 14 divide x(d)?
True
Suppose 3*h - 195 - 121 = g, -5*h = -4*g - 515. Suppose 0 = 5*o - h - 53. Is 8 a factor of o?
True
Let q(t) = -2*t**2 - t - 42. Let i(m) = -3*m**2 - 2*m - 43. Suppose f + 2*p - 13 = 0, 4*f = 5*f - 4*p + 17. Let j(g) = f*i(g) - 4*q(g). Is 15 a factor of j(0)?
False
Let v = -51 + 47. Does 27 divide 3090/75*(-10)/v?
False
Suppose 5*v = 3*r - 2274, -2*r = -v - 3*v - 1514. Does 7 divide r?
True
Does 17 divide 5/(-6)*2*-6*81?
False
Suppose 2*s = x - 2222, 5*s = 51*x 