/(-2))/2). Suppose m*j + 2*j = 55. Is j a multiple of 11?
True
Suppose -2*h + 2*p = -23 - 23, 0 = 5*p. Let b = 4 - 12. Let s = h + b. Does 14 divide s?
False
Let j(y) = 4*y - 5 - 6 + 4 + 3. Is j(4) a multiple of 12?
True
Suppose -5 = 5*s - 15. Suppose -3 - 11 = -k. Suppose -2*l = -k - s. Is l a multiple of 4?
True
Let u(w) = w**2 - 9*w - 1. Let a be u(9). Is (-10)/a*(-70)/(-25) a multiple of 17?
False
Let n be (-2)/(-8) + 1673/28. Suppose 4*o - n = -4*x, 4*x - x - 85 = 5*o. Is 6 a factor of x?
False
Let w(d) = -d**3 + 5*d**2 + d. Let v be w(7). Suppose 2*m + 210 = -3*m. Let l = m - v. Is 20 a factor of l?
False
Let h(x) = -3*x**2 + 2*x**2 - x + 2*x**2. Let a = -2 + -1. Is 6 a factor of h(a)?
True
Let a(b) = b**3 - 5*b**2 + b + 2. Is 18 a factor of a(6)?
False
Suppose 0 = -4*i - 5*f - 7, -3*i - f + 7 = 2*i. Does 15 divide i/(-8) - (-242)/8?
True
Does 30 divide (-1)/(-1 - (-87)/90)?
True
Suppose 16 + 60 = 2*r. Is 38 a factor of r?
True
Let c(u) = -44*u - 51. Is c(-5) a multiple of 13?
True
Let s(f) = 3*f - 4. Is s(14) a multiple of 29?
False
Suppose 6*x = 2*x. Suppose -2*a = 4 - x. Is 15 a factor of (28 - a) + 1 + -1?
True
Let p(z) = 4*z + 12. Is p(4) a multiple of 28?
True
Let m = -1 + -1. Let g = m + 5. Is 3 a factor of g?
True
Let r(d) = -d**3 + d**2 + d + 4. Let s be r(0). Suppose -i + 30 = -5*j, -i + j - 42 = -s*i. Is i a multiple of 15?
True
Let q(u) = 6*u**2 + 3*u - 5. Let x(c) = 5*c**2 + 4*c - 4. Let y(b) = -6*q(b) + 7*x(b). Is 11 a factor of y(9)?
True
Suppose 0 = 6*l - 34 + 10. Suppose l*u - 6 - 30 = 0. Is 9 a factor of u?
True
Suppose -45*b + 84 = -41*b. Is 3 a factor of b?
True
Suppose -g + 0*k = -3*k - 106, 0 = -k - 4. Does 14 divide g?
False
Let h(l) = l**3 - 3*l**2 + 4*l - 2. Let y be h(2). Suppose 82 = 4*i + y*x, 119 = 2*i + 3*i - 3*x. Is i a multiple of 10?
False
Suppose -2*u = 3*u - 395. Does 18 divide u?
False
Let h be 4*(3 + 161/4). Let g = h - 111. Let b = 92 - g. Does 18 divide b?
False
Suppose g - 6*a + 3*a = -15, 5*a = 25. Suppose m + 6 = -g*m. Does 18 divide (-213)/m + (-1)/(-2)?
True
Suppose 0 = 5*i + 4*t - 158, 4*i - 86 = 4*t + 26. Is 15 a factor of i?
True
Let f(m) = -m + 1. Let q be f(-5). Let p(l) = 3*l**2 + 14*l**2 - 1 - q*l**2. Is 10 a factor of p(-1)?
True
Suppose h = -2*y + 2, -y + 1 = h - 2*h. Suppose h*z + 111 = 3*z. Is z a multiple of 15?
False
Let b be (90 + 3 - 3) + 1. Let w = b - 48. Is w a multiple of 21?
False
Let s be 8*((-4 - -3) + -3). Let i be -4*4/(s/306). Suppose 5*b - i = -18. Does 9 divide b?
True
Let d(m) = 2*m**2 + 4*m - 1. Suppose -8 = -3*i + 5*f + 1, 0 = -i + 4*f + 3. Let v be d(i). Let g = -19 + v. Is 5 a factor of g?
True
Suppose -4*x - 5*w = -x - 6, 2*w - 12 = 2*x. Let v(a) = 2*a + 2. Let h be v(x). Is 42/h*(-14)/21 a multiple of 2?
False
Let i(k) = 2*k - 5. Let b be i(5). Suppose 4*a - 4 + 1 = -y, 0 = b*a - 5*y - 35. Is 11/((a - 2) + 1) a multiple of 6?
False
Suppose -2*d + 4 = -5*o, -3*d - 2 = 4*o - 8. Let u be (d/(-12))/((-2)/12). Is 7 a factor of (-4 - (0 - u)) + 11?
False
Let p(r) = 128*r**2 + 2*r + 1. Does 10 divide p(-1)?
False
Suppose -3*c = 5*h - 0*h, -c = -4*h. Suppose c = 3*w - 46 + 7. Is 9 a factor of w?
False
Let r(t) = 5*t - 5 - 7 - 2 + 0. Is r(8) a multiple of 26?
True
Let y = -15 + 32. Is 7 a factor of y?
False
Suppose -5*p = -p. Suppose -330 = -4*j - 2*t, -j - 5*t + 78 = -p*t. Is j a multiple of 23?
False
Let p = 140 + -79. Does 24 divide p?
False
Let n(m) = 4*m - 4 + 0 + 0 + 0. Does 2 divide n(2)?
True
Let l(x) = x - 11. Let t be l(8). Let h = t - -20. Is h a multiple of 17?
True
Suppose 323 = 2*n - 353. Is n a multiple of 13?
True
Let g = 3 - 1. Suppose -g*y + 0*y = -48. Does 12 divide y?
True
Let r be (-48)/(-2 + -2 - -3). Suppose -c = -2*u - r, -c + 157 = 3*c - u. Is c a multiple of 19?
True
Suppose 32 - 7 = 5*p. Let w(n) = n**3 - 4*n**2 - 4*n + 2. Is w(p) even?
False
Let q(f) = 9*f**2 - 3*f + 1. Is q(2) a multiple of 11?
False
Suppose 4 + 0 = f. Is 15 a factor of 128/24*30/f?
False
Let x(d) = -d**2 - 13*d - 3. Let a be x(-12). Suppose a = 2*n + 95. Let w = n - -70. Is w a multiple of 9?
True
Let i = 17 - -13. Does 15 divide i?
True
Suppose 3*b - 127 = -2*u, 8*u - 221 = 4*u + 5*b. Let a = u - 11. Is 24 a factor of a?
True
Let f be (-10)/((-21)/(-9) - 2). Let b = f + 20. Is (-4)/10 - 244/b a multiple of 12?
True
Let j = 226 - 103. Let b = 135 + -74. Suppose 5*c - b - j = -p, 56 = c + 5*p. Is 12 a factor of c?
True
Let o(y) = y**3 + 5*y**2 + 4*y + 5. Let v be o(-4). Suppose 3*r + 136 = v*s - 0*r, r + 132 = 5*s. Is s a multiple of 15?
False
Suppose p - 6*p + 25 = 0. Suppose -25 - 40 = p*o. Let w = o - -24. Is 7 a factor of w?
False
Let d = 487 - 326. Let a = -113 + d. Let g = -32 + a. Is g a multiple of 15?
False
Let c be -1 + -1 + 1 - -3. Suppose 3*p = -c*x - 3 + 4, -11 = -4*x + 3*p. Suppose -a - 40 = -3*a - x*f, 4*a + 5*f - 83 = 0. Is 6 a factor of a?
False
Suppose 488 - 63 = 5*a. Suppose 10 = s + s. Suppose 4*c - 16 = 0, -21 + a = s*z + c. Is 12 a factor of z?
True
Suppose 0 = 3*a + 2*c - 30 - 7, -5*c = -2*a + 31. Let p = a + -23. Does 4 divide (-84)/p + (-4)/10?
True
Suppose 7 = -5*l + 2, -2*u - l = 13. Let i = u + 13. Is 7 a factor of i?
True
Suppose -3*j - 2*b = -6*j + 25, -14 = -j - 5*b. Suppose -j = -z + m, -m = m - 8. Does 9 divide z?
False
Let n = 1056 + -741. Does 31 divide n?
False
Let z(d) = 3*d**2 - 3*d - 7. Does 15 divide z(5)?
False
Suppose -193 = -i + 236. Is i a multiple of 33?
True
Let x = -17 + 21. Is 17 a factor of -4*2/x + 19?
True
Let n = 6 + -4. Suppose -3*k - 24 = -3*z, n*z - 5*k - 2 = 23. Is z even?
False
Suppose 0 = 2*r - 5*b, -3*r + 4*b = 2*r + 17. Let a(u) = 10*u + 1. Let p(c) = -9*c - 1. Let x(i) = 5*a(i) + 6*p(i). Is x(r) a multiple of 9?
False
Suppose 207 = 4*p - 105. Does 16 divide p?
False
Let l(f) = -225*f**3 + 2*f**2 + f - 1. Is l(-1) a multiple of 13?
False
Let y = -71 - -110. Suppose 0 = -3*c + g + 58, 5*g - 4*g = 2*c - y. Does 19 divide c?
True
Let q(g) = 159*g + 1. Let y be q(1). Suppose t - y = -4*t. Is t a multiple of 16?
True
Let b = -10 - -14. Let k(p) = 2 - b + p + 3. Is k(8) a multiple of 4?
False
Let t(z) = -40*z**3 + z**2 + 4*z + 1. Is t(-1) a multiple of 3?
False
Let i(f) be the first derivative of f**2 - f - 2. Let x be i(-6). Let a = 29 + x. Is a a multiple of 9?
False
Is (-6)/(-33) + 361/11 a multiple of 11?
True
Let n = 9 - 40. Let y = n + 67. Does 17 divide y?
False
Let o(c) = c**2 + 2*c + 3. Let q be o(-3). Let v(p) = p**2 - 7*p - 7. Let z be v(q). Let x = z + 32. Is x a multiple of 12?
False
Let z = 1 + 4. Suppose -z*i = -2*t - 249 + 53, t - 122 = -3*i. Does 15 divide i?
False
Let b = 71 + -48. Is b a multiple of 7?
False
Let m(g) = 4*g + 15. Let c(l) = -2*l - 8. Let f(i) = 7*c(i) + 4*m(i). Let x be f(3). Suppose -o - 3 = -x. Is o a multiple of 7?
True
Suppose 0 = -3*v + 2*v + 61. Does 18 divide v?
False
Let u(r) = -r + 49. Does 28 divide u(0)?
False
Let h = 6 + -2. Is h/(-3)*585/(-26) a multiple of 17?
False
Let x(l) = -l**3 - l**2 + 112. Let o be x(0). Let i = o + -56. Does 28 divide i?
True
Let j(x) = 4*x - 6. Let p be j(6). Suppose -2*z + 2 + p = 4*n, -5*n = -2*z - 25. Suppose 3*c - 30 = -5*b, -c + 4*b - 8*b + 17 = z. Is 5 a factor of c?
True
Let y(w) = 2*w**2 - 6*w**2 + 4*w + 5 + 5*w**2. Let j be y(-4). Suppose 0 = -0*h + h + 2*r - 9, -j*r - 23 = -4*h. Is h a multiple of 7?
True
Suppose 0*t = -5*t + 110. Is 11 a factor of t?
True
Suppose -8 - 10 = 3*t. Let u = t + 6. Suppose b + u*b = 21. Is 7 a factor of b?
True
Let w = -12 - -16. Suppose -5*f - w*g + 170 = 0, -f + 4*g = 5*g - 35. Does 17 divide f?
False
Let y = 52 - 32. Is y a multiple of 20?
True
Let i be (-149)/(-6) + (-2)/(-12). Suppose -4*m = 5 - i. Is 5 a factor of m/(3/18*2)?
True
Let t be 3/((-4)/(-4)*1). Let u(g) = 4*g - 2. Is u(t) a multiple of 10?
True
Let v(c) = c + 5. Suppose -u + 35 = 4*u. Let j be v(u). Does 15 divide (66/(-4))/(j/(-16))?
False
Is 0 + (-2 - 4)*10/(-4) a multiple of 15?
True
Let y(o) = 55*o. Does 19 divide y(3)?
False
Let t = -93 - -185. Is ((-9)/6)/((-3)/t) a multiple of 16?
False
Suppose 5*f + 5*n = 5, 5 - 3 = -2*f - 4*n. Let y(p) = 14*p - 2. Let i be y(f). Let u = 66 - i. Is u a multiple of 7?
False
Let y(m) = 2*m - 7. Let o be y(5). Suppose -o - 9 = -4*p + 3*i, -5*p = -4*i - 16. Let t = p - -8. Is t a multiple of 5?
False