*z = -z. Suppose -4*c + 225 = 5*w + 25, -2*c - w + 94 = z. Does 15 divide c?
True
Suppose 3*n = 5*n + 18. Let h = n + 15. Does 5 divide h?
False
Let s(q) be the third derivative of q**5/60 + q**4/8 + 10*q**3/3 - 2*q**2. Is 20 a factor of s(-8)?
True
Suppose 207 = 6*o - 231. Is 27 a factor of o?
False
Let y(k) = 2*k - 5 - k**3 + 0*k**2 + 4*k**2 - 2*k**2 + 3*k**2. Let t be y(5). Suppose 2*w + t*a - 95 = -9, 5*w - 273 = 2*a. Does 30 divide w?
False
Let r(t) be the third derivative of t**5/60 - 3*t**4/8 + 47*t**3/6 + 8*t**2. Does 11 divide r(16)?
False
Suppose -2*w - 4*j = -54, w - 29 = -5*j + 13. Suppose 18*d - 56 = w*d. Is d a multiple of 28?
True
Suppose -5*j + 4385 = 26*g - 21*g, -g - 875 = -j. Is j a multiple of 69?
False
Is 12 a factor of 18*(394/30 + (-2)/(-10))?
True
Suppose 1 - 28 = 3*f. Let p(s) = -s**3 - 8*s**2 - 6*s - 3. Does 33 divide p(f)?
True
Let n = 215 + -151. Suppose 6*c - 266 = n. Is c a multiple of 6?
False
Suppose 5*b - 20 = 20. Suppose -4*t - b = 0, -5*t = -v + 8 + 219. Is 15 a factor of v?
False
Is 995/2 - (13/2 + -5) a multiple of 16?
True
Suppose 6 = 3*i - 36. Suppose -39*d = -37*d - i. Does 7 divide d?
True
Let d = 652 - 364. Is d a multiple of 12?
True
Let w = -13 + 11. Let c = w + 37. Is 7 a factor of c?
True
Suppose 21*a - 2040 = 10602. Does 52 divide a?
False
Suppose -8*q + 3264 = 600. Is 9 a factor of q?
True
Let q(j) = j - 5. Let u be q(7). Suppose 4*g - 1 = y, 0 = 2*y + 5*g + 4 - u. Does 14 divide y + 43/((-1)/(-1))?
True
Suppose 3*n - 137 = -29. Suppose 2*r = -3*r + 15. Suppose -r = 4*g - a - 47, a = -4*g + n. Is g a multiple of 3?
False
Let t = -16 - -24. Let s(m) = m**3 - 9*m**2 + 11*m - 9. Is s(t) a multiple of 9?
False
Suppose 1840 = 5*s + f, -s - 4*s + 1860 = 5*f. Does 8 divide s?
False
Suppose -5*m - 19*h + 877 = -18*h, -3*m - h = -527. Is 15 a factor of m?
False
Suppose 4*u = 3*c + 1 - 0, 3*c + 5 = 2*u. Let a be 6 - 0/(-1*3). Does 20 divide (a/u)/3*-53?
False
Let z = -14 + 18. Let j be (2 - -4)/(z/8). Is 30 a factor of (27/4)/(j/160)?
True
Suppose 0 = 4*b - 22 - 2. Is (-6 - b/(-3)) + 70 a multiple of 4?
False
Let g(q) = -2*q - 5. Let b be (6/2 - 8) + 1. Let z be g(b). Suppose 189 = z*y + 5*j - 2*j, 0 = -5*y - 3*j + 309. Is 15 a factor of y?
True
Suppose -f = 4*u - 2*f - 517, 5*f = -5*u + 665. Suppose 5 + 0 = -t, -5*w + u = -2*t. Is 10 a factor of w?
False
Let o(a) = -a - 6. Let r be o(-17). Let v(p) = 6*p + 23. Is v(r) a multiple of 11?
False
Let n(q) = -q**3 + 23*q**2 - 10*q + 37. Does 17 divide n(20)?
True
Suppose -3*u - 12 = 0, m + 2*u - 108 + 35 = 0. Let b = m - 53. Let n = b + -21. Does 5 divide n?
False
Let k(t) = -317*t + 24. Is 31 a factor of k(-1)?
True
Suppose -2*k - 6 = -3*k. Suppose k*r - 3*r = -3*c - 135, 2*r - 5*c = -90. Is (21/(-9) - -2)*r a multiple of 5?
True
Let a = -109 - -113. Is 15 a factor of 1644/(-8)*a/(-6)?
False
Suppose 15*h + 1414 = 22*h. Is h a multiple of 8?
False
Let f(u) = 20*u + 3. Let g(j) = -j**2 - 6*j - 2. Let y be g(-3). Is 13 a factor of f(y)?
True
Suppose -5*f = f - 1188. Let a be f/12 + 1/(-2). Does 9 divide a - 12 - 1*-19?
False
Suppose -17 = -4*b - l, l = -3 - 0. Let p be (3/(-3))/(-6 + b). Let a = p + 17. Does 4 divide a?
False
Suppose -53*d + 3*d + 6550 = 0. Is 9 a factor of d?
False
Does 63 divide 2839 - 54/(-12 - -3)?
False
Suppose 3*q - 3*m - 75 = 0, 5*m + 9 - 92 = -3*q. Suppose 10*y + 2640 = q*y. Does 11 divide y?
True
Let a = -111 + 871. Is a a multiple of 19?
True
Let g(r) = 14*r - 13. Let f be g(4). Suppose -f - 207 = -5*y. Is y a multiple of 12?
False
Let f = -335 - -1151. Does 51 divide f?
True
Suppose 0 = 2*a + 3*d - 14, -a + 12 = 5*d - 9. Suppose -4*q + 333 = -3*v, v - a - 84 = -q. Is q a multiple of 14?
True
Does 84 divide 8/(-28)*-1 - (-5766)/7?
False
Suppose 4*k - 1 = -s - 6, 4*s - 2 = -5*k. Suppose s*m + 5 = -1. Is (-65)/(-4) - m/(-8) a multiple of 16?
True
Suppose 142*o - 2508 = 131*o. Does 3 divide o?
True
Suppose 0 = 4*h - 5*o + 19 - 49, 3*h = -3*o + 9. Let f be 2 + 1/(7/7). Suppose -f*u + 25 = h*m, -m + u = 4*m - 25. Is m a multiple of 5?
True
Let b(h) = -2*h**3 + 9*h**2 + 3*h + 4. Suppose -u = 5*l - 0*u - 32, -2*l - 4*u = -2. Let j be b(l). Is 4*(2 + j/(-8)) a multiple of 27?
False
Let c = -42 + 42. Suppose c = 2*q - 0*o - o - 221, 133 = q - 5*o. Is 27 a factor of q?
True
Is (-3 - (-4 - (-2)/1))*-114 a multiple of 8?
False
Let u(w) = w**2. Let c(y) = 3*y**2 - 15*y. Let l(p) = c(p) - 4*u(p). Let r be l(-15). Suppose -3*x = 3*j - 318, x = 3*j - r*x - 338. Is j a multiple of 37?
True
Let f be 12/54 + 50/18. Suppose -4*b + 2*b - 386 = -f*s, s = -3*b + 136. Suppose -415 - s = -5*a. Is 29 a factor of a?
False
Suppose 5*w - w - 104 = 0. Suppose 6*c - 2*c = -40. Let k = w + c. Is k a multiple of 16?
True
Is 18 a factor of 4/((-36)/(-675))*594/15?
True
Let z(j) = j**3 - 44*j**2 + 48*j + 40. Does 51 divide z(43)?
True
Let b(q) = q**3 - 4*q**2 - q - 11. Let z be b(5). Let x(w) = w**3 - 11*w**2 + 21*w - 9. Does 3 divide x(z)?
True
Is 125 a factor of (((-2679)/(-76))/(2/64))/1?
False
Let u(q) = 11*q**3 + 2*q - 1. Let y be u(1). Suppose -5*x - 38 = -4*d - 98, y = x - 5*d. Suppose -x + 56 = 4*r. Is r a multiple of 3?
False
Suppose -2 = -3*b - d + 1, -b + 3*d + 11 = 0. Suppose -5*a = b*f - 226, 2*f - 32 = 3*a - 158. Let w = -29 + a. Does 15 divide w?
True
Suppose 5*o - 12 = 8, 3*r - 2*o = -17. Does 5 divide (-20)/r*(-6)/(-4)?
True
Suppose -5*u + 6*u = 98. Suppose 22*h - 29*h + u = 0. Is 7 a factor of h?
True
Suppose 0 = 19*p - 15*p. Let j be (p - 2)/(6/(-9)). Suppose 32 = 4*f - j*f. Is f a multiple of 5?
False
Is (-35*(-10)/150)/((-1)/(-27)) a multiple of 10?
False
Suppose -3*r - 3*s - 15 = 0, 4 = r - 3*s - 11. Let c(n) = -2*n + 176. Does 28 divide c(r)?
False
Suppose -112*x + 2293 = -110*x - 5*o, -2*o + 2314 = 2*x. Is 108 a factor of x?
False
Suppose 408 = c + 3*k - 6*k, 2*c = -k + 795. Is 19 a factor of c?
True
Suppose -35*r + 36*r - 325 = 0. Suppose -3*j + 110 = -r. Is 28 a factor of j?
False
Suppose n = -1 + 5. Suppose -5*m - n*c + 14 = -295, -m - 5*c + 66 = 0. Let l = m + -39. Does 13 divide l?
False
Let i = 1175 - 1150. Suppose 3*f + 54 = -3*x, x - 104 = 6*x - 2*f. Let l = x + i. Is 5 a factor of l?
True
Let v(h) = 7*h**2 - 32*h + 185. Does 38 divide v(7)?
True
Let l(n) = -n**2 + 7*n + 1. Let q(a) = -a. Let o(u) = l(u) - 3*q(u). Is 5 a factor of o(6)?
True
Suppose 2*z - 370 = -3*z. Let i(o) = o**3 + 7*o**2 - 15*o + 2. Let x be i(-8). Suppose z = 4*p - x. Is p a multiple of 11?
True
Suppose -12 = -a - 3*o + 5, -4*o - 9 = -5*a. Suppose 3*i - 2*r - 82 = 0, a*i + r - 57 = 71. Suppose -3*g + 259 = -i. Is 13 a factor of g?
False
Let s(l) = 30*l + 6. Let a be 7 + (6/(-15))/(1/5). Does 26 divide s(a)?
True
Suppose -n - 2*r + 2 = -0, -5*r = -2*n + 4. Let x be 366/30 - n/10. Suppose i = -m + 3*i + 5, -x = -3*i. Is 5 a factor of m?
False
Let k be 45/(-6)*-2*3. Let n be (-4)/(-18) - 100/k. Is 258/4 + 1/n a multiple of 13?
False
Suppose -115 = -0*k - 2*k + 3*a, -k + 3*a + 65 = 0. Let f = -43 + k. Is 4 a factor of f?
False
Let z = -265 - -345. Is 35 a factor of z?
False
Let x = 80 - 62. Let l = x - -15. Is l a multiple of 11?
True
Suppose -3*z - 192 = -0*z. Let j be 9/21 - z/14. Suppose -j*q + b = -202, -5*q = -b - b - 199. Is q a multiple of 18?
False
Let o = -383 + 476. Does 31 divide o?
True
Let x = -1 + 1. Let b = 58 + -43. Suppose -5*d + 75 = 6*a - a, x = -3*a - b. Is d a multiple of 16?
False
Let b = -114 + 474. Does 40 divide b?
True
Suppose 9*b - 2*b = 4725. Is 45 a factor of b?
True
Let g(j) = 78*j**2 - 3*j + 29. Does 51 divide g(3)?
False
Let i(l) = -l**3 + l**2 + 2*l + 6. Let a be i(-2). Is 1762/a - (-4 + 5)/(-7) a multiple of 18?
True
Let n(t) = -3*t**3 - 15*t**2 - 22*t - 52. Does 13 divide n(-9)?
True
Let k(y) = y**2 - 5*y - 3. Let z be k(6). Suppose -z*c + 272 + 97 = 0. Suppose 3 = -4*h + c. Is 6 a factor of h?
True
Suppose 9*a = 6*a + 1257. Does 13 divide a?
False
Let h be 1/(-3) - (-38)/6. Suppose 694 = -6*f + 658. Does 5 divide h - ((2 - -1) + f)?
False
Let i(s) = -2*s - 8. Let l be i(-4). Suppose 4*j + 2 - 10 = l. Suppose 0 = j*x - 4*x + 96. Does 7 divide x?
False
Let z(n) = 25*n + 1. Let q(x) = -x - 6 - 7*x + 4*x. Let c be q(-2). Does 14 divide z(c)?
False
Suppose 0*t - 3*i + 7 = -2*t, -3*t + 3*i = 6. Let n be 1 + (2 - t) - -6. Suppose -n*f + 1