 Let n = 177 - r. Suppose 2*s = -3*s + n. Does 9 divide s?
False
Let t(n) = 5*n - 21. Is t(9) a multiple of 6?
True
Suppose -3*t = 4*p + 56, 4*p + 0*t + 60 = -2*t. Let a = p - -30. Is a a multiple of 13?
True
Suppose 3*r + 49 = -56. Let j = r + 17. Let x = 32 + j. Is 14 a factor of x?
True
Let b = 12 + -15. Let g(r) = 3*r**2 + 2*r - 2. Is 10 a factor of g(b)?
False
Suppose 0 = 5*x - 4*d - 279 + 19, -5*x = -3*d - 255. Is 16 a factor of x?
True
Suppose 3*f - 2*d = -d + 4, -5*d + 37 = 4*f. Suppose -f*t - 15 = -51. Suppose 0 = 4*b - 40 + t. Is 5 a factor of b?
False
Suppose -125 = -c + 5*l, -286 = -3*c + 2*l + 141. Is 23 a factor of c?
False
Let n(p) = p + 8. Let t be n(-5). Suppose m - 65 = -2*x, -x - 220 = -t*m - 2*x. Suppose 3*z = -2*z + m. Is z a multiple of 10?
False
Let f be ((-6)/(-8))/((-1)/(-60)). Suppose -46 + 4 = 3*h - 5*k, 0 = 3*h - 4*k + f. Let l = 4 - h. Is 8 a factor of l?
False
Suppose -42 = 3*s + 30. Let x = -47 - -53. Is s*(x/(-4) - -1) a multiple of 6?
True
Let u(c) = c**3 + 9*c**2 - 3*c - 3. Let r be u(-9). Suppose x = -4*x + 5, -2*m - 2*x = -r. Does 4 divide m?
False
Let d = -79 + 362. Does 20 divide d?
False
Let h(y) be the second derivative of y**4/12 + y**3/2 + y**2 - y. Let i be h(-3). Suppose -i*w + 10 = -0. Is w even?
False
Let k be (-56)/(-32) + 2/8. Suppose 4*a + 3*i = i + 24, -k*i = a. Is 4 a factor of a?
True
Suppose 0 = -2*g - 4. Let d = 3 + 1. Does 7 divide d/2 + g + 14?
True
Suppose 11*g - 288 = 7*g. Is 18 a factor of g?
True
Suppose -k + 2 = x - 1, 3*k + 2*x = 8. Does 2 divide k?
True
Suppose 80 = 5*y - 320. Is y a multiple of 20?
True
Suppose 4*t - 89 = -17. Is 14 a factor of t?
False
Let z(c) = 6*c - 4. Is z(5) a multiple of 13?
True
Let t(f) = 18*f + 8. Let h be t(4). Suppose -l + 11 = z, 4*l - 5*z = -0*z + h. Is l a multiple of 7?
False
Let i(o) = 9*o - 6. Is 9 a factor of i(5)?
False
Let v(d) = 2*d**2 + 6*d + 2. Let h be 0/(-1) + -10 + 4. Is v(h) a multiple of 12?
False
Let g(m) = -2*m**3 - 7*m**2 - 9*m - 6. Let z be g(-6). Let a = 7 + -2. Suppose t = a*t - z. Is t a multiple of 20?
False
Let v be (2 + 0)/1 + 5. Is 374/14 + 2/v a multiple of 27?
True
Suppose 0 = r + 5 - 109. Is 22 a factor of r?
False
Let y(h) = h**2 - 8*h - 5. Does 36 divide y(-10)?
False
Let h(k) = -k + 11. Let f be h(8). Suppose 5*o - f*u - 170 = 0, -2*u = 2*o - 6*o + 136. Does 34 divide o?
True
Let f = -25 - -32. Is 2 a factor of f?
False
Is 10 a factor of (-4 - 0)*1*-32?
False
Is 10 a factor of (1 + 358/6)*(-33)/(-22)?
False
Let v(u) = -18*u**2 - 2*u - 4. Let q(t) = -37*t**2 - 5*t - 9. Let l(z) = 3*q(z) - 7*v(z). Let i be l(1). Let b = 46 - i. Does 12 divide b?
False
Suppose 0 = 4*j - 1 - 3. Is 24*(j - (-3)/12) a multiple of 17?
False
Let c(h) = h**2 - 6*h + 5. Let u be c(5). Suppose 4*r = -u*r + 72. Does 17 divide r?
False
Let r(x) = 3*x**2 - 2*x + 2. Let s be r(2). Suppose s - 2 = 4*i. Suppose 0 = -i*y + 14 + 10. Does 12 divide y?
True
Is ((-5)/20)/(1/(-524)) a multiple of 13?
False
Let i(y) = -y - 4. Let d = -18 - -10. Is i(d) even?
True
Let o(k) = -2*k - 4. Let i be o(3). Let b be i/(-2) + 0 + -1. Is 9 a factor of 1/4 - (-79)/b?
False
Suppose 0 = 4*c + 4*a - 20, c - 5*a - 14 = -3. Suppose -z + 26 = -c. Does 32 divide z?
True
Let a(l) = l + 2. Let i be a(-2). Suppose -3*w + i*w = 0. Does 3 divide 6/3 + w + 1?
True
Let y(j) = j**3 + j**2 - 5*j - 4. Let x be y(-3). Let l = -5 - x. Suppose 2*n + l*q - 38 = 0, 102 = 5*n - 2*q - 0. Is n a multiple of 20?
True
Suppose 3*l - 209 - 166 = 0. Suppose l = -0*q + 2*q - 3*g, -5*g = 4*q - 305. Is 35 a factor of q?
True
Suppose 7*z = 261 - 93. Is 3 a factor of z?
True
Let r(y) = 5*y**2 - 2*y + 9. Is 36 a factor of r(-5)?
True
Suppose -16 + 41 = v. Does 12 divide v?
False
Let o(t) be the third derivative of -t**8/20160 + t**7/720 - t**5/60 - 4*t**2. Let w(y) be the third derivative of o(y). Is w(5) a multiple of 7?
False
Is 11/((-44)/6) - 73/(-2) a multiple of 35?
True
Let v be 6/21 - (-4)/(-14). Suppose 2*n + v*b + 6 = -2*b, b = -5. Is n even?
True
Suppose -w + 0*w + 168 = 0. Is 24 a factor of w?
True
Let t = -58 + 81. Is 23 a factor of t?
True
Suppose -12 = 5*g - 37. Suppose -2*v = b - 73, -g*b + 55 = 2*v - 318. Is 14 a factor of b?
False
Suppose 2*n - n + 17 = -4*b, -3*n + 2*b + 5 = 0. Is 9 a factor of n - -43 - 4/(-2)?
False
Let s(n) = n. Let u be s(-1). Let b(c) = 4*c**2 - 2*c - 1. Let y be b(u). Suppose y*h = 2*h + 36. Does 6 divide h?
True
Let p(o) = -5*o**2 + 2*o - 6. Let r(c) = c + 13 - c + 15*c**2 - 4*c**2 - 4*c. Let x(y) = -9*p(y) - 4*r(y). Is 13 a factor of x(6)?
True
Let z = -2 - -4. Suppose z*b = j - 17, 8 = -3*b + b. Does 9 divide j?
True
Suppose -5*x - 3*n = 111, 4 + 11 = 5*n. Is (10/(-3))/(4/x) a multiple of 20?
True
Let x(l) = -l**3 + 5*l**2 + 7*l. Let b be x(6). Let p(w) = -4*w**2 + 3*w + b - 6*w + w**3 - 4*w. Does 18 divide p(6)?
True
Let f(b) = 33*b + 5. Let p(m) = 32*m + 6. Let u(j) = -5*f(j) + 4*p(j). Is 24 a factor of u(-1)?
False
Let b be 0/(1 + (-2)/1). Suppose b*m = 3*m - 54. Is 18 a factor of m?
True
Suppose 0 = 5*d + a - 105, 3*d + 5*a - 65 = d. Is d a multiple of 10?
True
Suppose -7*q + 288 = -3*q. Is q a multiple of 14?
False
Is 44 a factor of 6/(18/3) + 219?
True
Let j(d) be the third derivative of 55*d**4/24 - d**3/6 - d**2. Is 18 a factor of j(1)?
True
Let x = -25 + 48. Suppose 0 = 3*u - u + 3*t - x, 3*u - 33 = -3*t. Is 5 a factor of u?
True
Let i = -5 + 5. Let p(v) = -v + 15. Is 7 a factor of p(i)?
False
Let f = -27 - -58. Suppose -w - 3*b + f = -13, 3*w - 3*b - 84 = 0. Does 16 divide w?
True
Suppose 4*r + 12 = 56. Suppose -j + r = -3. Is j a multiple of 10?
False
Let d = -7 - -10. Let j = d - -7. Is 10 a factor of j?
True
Let a(c) = -42*c**3 - c**2 - c. Suppose 4*o + 4*n = -20, -2*o = 3*o - 3*n - 7. Does 14 divide a(o)?
True
Suppose -2*u - 10 = 4. Let m = 10 + u. Suppose -m = -z - 1. Is z even?
True
Suppose -2*a + 5*y + 69 = 0, 2*a + y + 5 = 56. Suppose -5*m + 114 = 5*j - m, 0 = j + 5*m - a. Is 11 a factor of j?
True
Suppose -5*m = -0*m. Suppose -2*i + 3 + 33 = m. Does 9 divide i?
True
Let f(q) = -q**2 - 22*q + 18. Is 13 a factor of f(-14)?
True
Let t(g) = 8*g + 5. Let k(z) = -z - 1. Let m(h) = -3*k(h) - t(h). Let x be m(-6). Let f = x - 11. Is f a multiple of 7?
False
Suppose 3*y = 8*l - 4*l - 12, -5*y - 6 = -2*l. Let d(g) = l*g**3 - g**3 + 5*g - 3 + 0 - 4*g**2. Is 15 a factor of d(3)?
True
Let c be 20/(-15)*(-1 + 7). Let b(g) = 4*g**3 - 14*g**2 - 7*g - 12. Let h(v) = v**3 - v**2 + v. Let t(j) = b(j) - 5*h(j). Is t(c) a multiple of 10?
True
Let m = 1 - 0. Let s(t) = 6*t**3 - 2*t**2 + 1. Let k be s(m). Suppose 0 = -4*f + 3*z + 40 + k, 4*f + z - 33 = 0. Does 9 divide f?
True
Let h(w) = -w**3 - 7*w**2 - 4*w + 14. Let o be h(-6). Let j(d) = 2*d + 1 + 6*d + 7*d. Is 17 a factor of j(o)?
False
Let z(v) = -4*v**3 - v**2 - 2*v - 1. Let f be z(-1). Suppose 2*a + 2*n = n + 82, -a = -f*n - 23. Is a a multiple of 16?
False
Does 12 divide 1179/(-6)*10/(-15)?
False
Let r = 266 - 188. Does 21 divide r?
False
Suppose -3*u - 2 = 4, 4*u - 2 = -2*z. Suppose z*s = s. Let n = s - -4. Is 4 a factor of n?
True
Let h = 27 + -10. Suppose 3*o = h + 4. Does 7 divide o?
True
Let j = 20 - 25. Let y(q) = q**2 + 2*q - 7. Is y(j) a multiple of 4?
True
Let s = -79 + 136. Is s a multiple of 17?
False
Suppose 0 = 3*d - 0*d - 12. Suppose -d*g - 100 = -376. Does 23 divide g?
True
Let u = 62 + -18. Does 10 divide u?
False
Suppose -3*c + 16 = c + 3*y, 0 = y. Let i(x) = -8*x**3 + 8*x**2 + 12*x**3 + 6 - 5*x**3 - 7*x. Is 21 a factor of i(c)?
True
Let b(z) = -5*z - 3. Let s be (-34)/6 + (-12)/(-18). Is 7 a factor of b(s)?
False
Let p be (-2)/(-7) - 2/7. Let q(n) = -n**2 + 10*n + 5. Let f be q(6). Suppose 0 = -2*b + u + f, p*b - b = -5*u - 19. Is b a multiple of 14?
True
Let w be -3 + (-52)/(-2) + -4. Suppose 0*b = 3*b, -r - 2*b + w = 0. Is r a multiple of 14?
False
Let g(k) = k**2 + 7*k - 5. Suppose 0 = -s + 1 + 1. Suppose -2*m - 7 = -2*b + 11, -s*b - 9 = m. Is 13 a factor of g(m)?
True
Let w = -35 + 22. Let s = 15 - w. Does 8 divide s?
False
Suppose -r - 4*s - 9 = 0, 6*r + 4*s = 3*r - 3. Let h(i) = -8*i - 4. Let w be h(r). Is w/6*(-1 + -2) a multiple of 7?
True
Let y = -18 + 30. Suppose -2*m + 3*b - y = -0*b, -b + 4 = -3*m. Suppose m = 3*c - k - 76, c = -4*c - 5*k + 100. Is c a multiple of 12?
True
L