q(86)?
False
Let i(p) = p**2 + 5*p + 82. Let h = -183 - -164. Is 11 a factor of i(h)?
False
Let d = -2937 - -4438. Is 26 a factor of d?
False
Suppose -2*i = 45 + 257. Let f = 138 - i. Is 13 a factor of f?
False
Let k = 389 - -1073. Is k a multiple of 43?
True
Suppose 0 = -3*m + 3*x + 42, 4*m = x + 20 + 27. Suppose 4*z - m = 5, -4*z = -4*n + 1352. Is 18 a factor of n?
True
Let d(z) = -z**2 + 5*z - 3. Let p be d(2). Suppose 2*m + p*v = 417 - 142, -m - 2*v + 140 = 0. Is 10 a factor of m?
True
Is 9040 + (-37)/(481/(-117)) a multiple of 74?
False
Suppose -5*t + 145 - 115 = 0, -5*t + 36742 = h. Does 26 divide h?
True
Let t(c) = -c**2 - 9*c + 20. Let p be t(-10). Suppose 0 = -7*i - p*i + 3910. Is i a multiple of 38?
False
Let n = 647 + -621. Suppose -5*i = -3*w - 5004, 0 = 3*i + 5*w - n - 2956. Is i a multiple of 37?
True
Let h = -3328 - -4848. Is 80 a factor of h?
True
Suppose 6*f = f + 15. Suppose f*z - u = 7*z + 100, 0 = -4*u. Let r = z - -47. Is r a multiple of 13?
False
Let y = -86 - -97. Suppose -y*l = -6*l - 345. Is l a multiple of 3?
True
Suppose 0 = -4*v + 3*r + 8268, 3*v + 938*r - 6222 = 935*r. Is 30 a factor of v?
True
Let g(p) = 68*p**3 - 8*p**2 + 4*p - 13. Is g(2) a multiple of 3?
True
Let j be (5 - 11)*(-3)/6*1. Let p be j/(-12)*(2 + 3)*-4. Suppose -2*c + p*c = 177. Does 7 divide c?
False
Suppose -2*x + 0 = -162. Suppose -x*k = -83*k + 6. Suppose -k*w + 38 = -46. Does 14 divide w?
True
Suppose 8*j - 15474 = -1698. Is 14 a factor of j?
True
Suppose 2*v = 8, 3*r + 24 + 11 = 5*v. Let y(w) = 14*w**2 - 67 - 81 + 162 + w - 12*w**2. Is y(r) a multiple of 9?
False
Suppose -10 + 2 = -g. Suppose -22 = 2*h - g. Is 28 a factor of (1/2)/(h/(-1610))?
False
Is 0 + 0 - (-8135 + (1 - 5)) a multiple of 4?
False
Let h(u) = 230*u**2 - 249*u - 249. Is 12 a factor of h(-1)?
False
Let r = 15 - 17. Let a be -4*r/(-6)*(-114)/4. Suppose 3*h - k + 0*k - 74 = 0, -a = -h + 3*k. Is 16 a factor of h?
False
Let t = 4248 - -10590. Is 17 a factor of t?
False
Suppose 4739 + 8310 = 16*a - 7399. Is 15 a factor of a?
False
Let m(n) = 3*n**2 + 13*n - 1. Let q = 30 - 35. Let i be m(q). Is (-1*(i + 0))/(-1) a multiple of 3?
True
Does 15 divide 3980 + 2 - 6*1?
False
Suppose 0*s + 3*s - 3*l = 11178, -5*s + 4*l = -18627. Suppose -1522*v + 1525*v = s. Does 17 divide v?
True
Suppose 3*u - q - 131 - 202 = 0, -3*u - 4*q + 348 = 0. Does 5 divide (32/u)/(184/182 + -1)?
False
Is 5 a factor of 180/630 - 166778/(-14)?
False
Let s(d) = 440*d + 2860. Is 129 a factor of s(17)?
False
Let i(v) = -v - 1. Let z(r) = 5*r**3 + 3*r**2 + r - 1. Let w(h) = 4*i(h) - z(h). Let l be w(-1). Suppose -l*x - 76 = -748. Is 24 a factor of x?
True
Suppose -6*l = -485 + 719. Suppose -4*q + 4*d + 310 = -82, 0 = 4*q + 2*d - 416. Let m = q + l. Is 10 a factor of m?
False
Suppose 0 = -3*w - 6*w + 36. Let m be -2 + -2 - w*-2. Suppose m*r + 5*f - 425 = -r, 0 = -5*r - f + 421. Is 25 a factor of r?
False
Suppose 4*j = 4*p + 4572, j + 2*p - 881 = 247. Does 9 divide j?
False
Let t(g) = -7*g**2 - 20*g - 8. Let w be t(-6). Let m = w - -192. Does 15 divide m?
False
Let x(y) = y**3 + 8*y**2 - 16*y + 266. Is x(14) a multiple of 3?
False
Suppose -558*v + 580*v = 270314. Is 19 a factor of v?
False
Suppose -2207 = 12*q - 13*q - 5*z, -2*q + 4378 = 4*z. Is 26 a factor of q?
False
Let d(n) = -85*n**2 + 2*n - 2. Let h(p) = -86*p**2 + 2*p - 2. Let f(u) = 2*d(u) - 3*h(u). Let v be (-9)/(-6)*1/((-3)/(-2)). Is f(v) a multiple of 23?
False
Let u(s) = -s**2 - 18*s - 26. Let p be u(-5). Let m = p + 148. Is m a multiple of 11?
True
Suppose 2*p - 5*q - 87 = 0, -2*q + 15 = -5*q. Suppose p*m = 34*m - 360. Is m a multiple of 60?
True
Suppose -1303 = -17*r + 27359. Is r a multiple of 35?
False
Suppose 3*x = -8*l + 550242 - 10074, 202563 = 3*l - 5*x. Is 12 a factor of l?
False
Let t(u) = 6*u**2 - 5*u - 193. Is 99 a factor of t(40)?
True
Let t(k) = -5*k + 4. Let z be t(0). Suppose u = 2*u + 4*s + 3, 0 = 5*u + z*s - 17. Suppose 469 + 41 = u*d. Is d a multiple of 17?
True
Let x = -11 - -9. Let m be (79/2)/((-1)/x). Suppose m - 324 = -7*l. Is l a multiple of 35?
True
Suppose 66025 = 73*f - 55666. Is 2 a factor of f?
False
Let n(k) = -2*k**2 - 19*k - 4. Let g be n(-8). Is (-8)/g*-10 + 503 + 3 a multiple of 51?
True
Let d = -10629 - -19279. Does 57 divide d?
False
Let a = 10683 + -4473. Does 82 divide a?
False
Let g(d) = -d**2 - 38*d + 55. Let q be g(-35). Let r = q + -153. Is r a multiple of 7?
True
Suppose 9*f = 5*f + k + 240, 5*f = 5*k + 285. Suppose -5*p - 150 = -3*x, 27 + f = -4*p - 4*x. Is 17 a factor of (-3720)/p + -2 - 6/(-27)?
True
Let a be 576/(-5) - (-6 - 116/(-20)). Let z = -78 - a. Suppose 2*p + 4*t - 148 = 0, t + z = 4*p - 250. Is 11 a factor of p?
False
Let o = -20502 + 34807. Is 15 a factor of o?
False
Let r(u) = 60*u**2 + 30*u + 132. Is 19 a factor of r(-5)?
True
Let p(i) = i**3 + 19*i**2 + 19*i + 14. Let k be p(-18). Let d(j) = 7*j**2 - 8. Is d(k) a multiple of 31?
False
Let v be 107326/24 + 205/12 + -17. Suppose -5*d + z = -v, -5*d + 2*z + 4480 = -3*z. Is d a multiple of 11?
False
Let m be ((-78)/91)/(-2*(-2)/28). Is 2 a factor of 89/3 + (20/m)/5?
False
Suppose -2522 = -28*d + 45638. Is 4 a factor of d?
True
Let i(s) = 2*s**3 - 2*s**2. Let y(j) = 12*j**3 - 43*j**2 + 10*j + 18. Let r(t) = 5*i(t) - y(t). Is 6 a factor of r(16)?
True
Let x = 102 + -218. Let m = -18 - x. Suppose 4*w - m = -4*c + 82, 0 = 5*c - 3*w - 225. Does 27 divide c?
False
Is ((-3)/(-2))/(((-30)/56440)/(-1)) a multiple of 17?
True
Suppose 83*v - 228 = 6*v + 388. Is 8 a factor of v?
True
Let x(l) = -7*l**2 - 42*l + 1. Let j be x(-6). Let i be ((-22)/(-55))/(j/10). Does 20 divide (68/14)/(232/56 - i)?
False
Suppose -336485 - 40370 = -113*o. Is o a multiple of 29?
True
Let u = -897 - -5565. Does 12 divide u?
True
Let i(a) = a**3 - a**2 + 3*a. Let c be 0/(35/(-45) + (-4)/18). Suppose c = 5*b - 10, 0 = m + m - 4*b. Does 15 divide i(m)?
True
Let t(d) = -14*d + 25. Let i(m) = -12*m - 5. Let j be i(-2). Let o be t(j). Let k = o - -412. Is k a multiple of 9?
True
Let t(w) = -w**3 + 32*w**2 - 17*w - 135. Does 35 divide t(23)?
True
Let d = 0 + 2. Suppose d*m = -2*m - 120. Is (-6*13/(-10))/((-3)/m) a multiple of 13?
True
Suppose 11*x - 8*x = 0. Suppose -2*z - 4*g - 196 = -x*g, 0 = -4*g. Let p = z + 258. Does 10 divide p?
True
Let m(p) = -p**3 + 55*p**2 + 383*p - 188. Is m(43) a multiple of 14?
False
Let s = -72 + 80. Let v(y) = 30*y - 14. Does 23 divide v(s)?
False
Suppose -8*j = -2103 - 57. Suppose 21*a - 19*a - 92 = -y, -3*a + j = 3*y. Is 2 a factor of y?
True
Suppose 69*k = 215 + 82516. Does 12 divide k?
False
Is 5 a factor of 18*268*(-110)/(-66)?
True
Let w be 2934/36 - 1/(-2). Suppose 0 = -w*p + 80*p + 578. Is 8 a factor of p?
False
Suppose 0*u = u - 2. Suppose 0 = u*y + y - 12. Does 28 divide (-122)/y*3*(-16)/24?
False
Suppose 13 - 3 = 5*n. Suppose -n*y + 15 - 72 = 3*z, 2*y - 90 = 4*z. Let f(o) = o**2 + 20*o - 11. Is 10 a factor of f(z)?
True
Is 2 a factor of -28*(-47)/((-1645)/(-150))?
True
Let l(j) = 11*j**2 + 70*j - 907. Does 26 divide l(19)?
True
Suppose 0 = -7786*d + 7799*d - 104975. Is d a multiple of 17?
True
Let p = 8 - 0. Suppose p*y - 360 = 4*y. Suppose -6*r + y = l - r, 0 = 5*l - 5*r - 570. Is 27 a factor of l?
False
Let i(o) = -3*o - 24. Let a be i(-10). Let p be 2/6*8 + 2/a. Suppose -5*z - 16 = -0*r - r, p*z + 18 = 2*r. Is r a multiple of 6?
True
Let q = 65 + -61. Suppose -18*p + 2856 = -q*p. Does 51 divide p?
True
Suppose -2*c - 2992 = -2*k, -6*c - 3 = -7*c. Suppose s = 4*h - k, 4*h - 4*s - s - 1511 = 0. Is h a multiple of 15?
False
Suppose -28*u - 20 = -32*u. Suppose 15 = -2*l + u*l. Suppose -g = -l*g + 20. Is 5 a factor of g?
True
Suppose 0 = -628*q - 38*q + 14139471 + 19325697. Is q a multiple of 90?
False
Suppose 0*n + 645 = 43*n. Suppose n*d = 9045 - 375. Is d a multiple of 9?
False
Let p(t) = -31*t - 24. Let r be (-3)/(-9)*(16/4 + 2). Let x be -5 + r - (3 - 1). Is p(x) a multiple of 12?
False
Let q(w) = -w**3 - 8*w**2 - 14*w - 40. Let c be q(-7). Suppose -c*m + 1799 = -2305. Is m a multiple of 12?
True
Let w(a) = 6*a - 4. Suppose -n = f - 3*f + 10, 4*f = 3*n + 24. Let y be w(n). Does 28 divide 7/y + 0 + 685/4?
False
Let j(b) = 159*b**3 - 6*b**2 - 155*b + 626. Does 7 divide j(4)?
False
Suppose 216 - 214 = 4*q - 5*k, -5*k = 5*q - 70. Let y(i) = 10*i 