 -4*y - 2*b - 2 = 0. Is 2 - (-44)/(y + 5) a multiple of 13?
True
Let m(d) = d**2 - 3*d - 2. Let q be m(4). Let j(b) = b**3 + 4*b**2 - 6*b + 7. Let x be j(-5). Is 6 a factor of (-2)/(-1) + x + q?
False
Suppose 5*z + 17 = 3*y, 3*y + 4*z - 7 - 1 = 0. Is y a multiple of 2?
True
Suppose 2*w - 2*h - 162 = 0, -5*h - 69 = -w + 32. Suppose -w - 60 = -4*v. Does 12 divide v?
False
Let u be (5/(-2))/((-3)/(-6)). Let q be 212/5 - 3/u. Suppose -5*s - 42 = -g, 4*g - s - q = -6*s. Is g a multiple of 7?
False
Let w(n) = -18*n - 1. Let o be w(1). Let i = 28 - o. Is i a multiple of 13?
False
Let v = -13 - -20. Suppose 4*l + 2 = 2*z, 2*l - 17 = -v*z + 2*z. Suppose 0 = n + 5*b - z*b - 9, 4*b = 0. Does 3 divide n?
True
Let o be (-2)/2 - (-43 - 1). Suppose o = u - 7. Is u a multiple of 19?
False
Let y be ((-2)/3)/((-2)/588). Suppose s = -2*m - 66 + y, 8 = 2*s. Does 22 divide m?
False
Let k = -143 + 246. Let a = k + -46. Does 19 divide a?
True
Suppose -4*n + 4*c = -20, -4*n + c + 8 = 3*c. Does 10 divide 33 + (0 - 0 - n)?
True
Suppose 2 = -2*k + 4*a, 4*k + 3*a = -a - 4. Does 7 divide (6*2 - -1) + k?
False
Let c = 13 + 3. Is 8 a factor of c?
True
Suppose -4 = -2*x + 6*x. Is -5*-2*(1 - x) a multiple of 10?
True
Suppose -t = t - r - 16, r - 14 = -t. Does 4 divide t?
False
Let x = 150 - 44. Does 6 divide x?
False
Let a(i) = 2*i - 6. Is a(7) a multiple of 8?
True
Let f = 28 + -12. Is 16 a factor of f?
True
Is 7 a factor of (-1 - 4)*(-88)/20?
False
Let l(w) = -4*w - 8. Is 11 a factor of l(-13)?
True
Suppose 0*l - d = 2*l - 153, 3*d - 3 = 0. Suppose 0*h = 2*h - l. Is h a multiple of 19?
True
Suppose b + 3*n - 16 = n, 2*b - n - 17 = 0. Let h be b/14 + (-4)/(-14). Does 19 divide 2 - (3 + h*-45)?
False
Let z = 0 - 0. Suppose m + 2*y - 12 = 0, 5*m + 4*y - 28 - 2 = z. Is 14 a factor of m/(-8) + (-165)/(-4)?
False
Let g(n) = -5*n + 109. Is g(0) a multiple of 27?
False
Let d(q) = 49*q. Let u be d(-1). Let h = -94 - u. Let l = -26 - h. Is l a multiple of 19?
True
Let i = -24 + 60. Suppose -2*a = -24 - i. Is a a multiple of 8?
False
Let h be 0 - (4 + (0 - 0)). Let x = 17 - h. Is x a multiple of 10?
False
Let q = -14 - -62. Is 24 a factor of q?
True
Let j(y) = y + 1. Let t(u) = -15*u + 1. Let m(p) = 2*j(p) - t(p). Let w = 9 + -7. Does 14 divide m(w)?
False
Suppose 0 = 5*a - 42 - 53. Let o = 1 - a. Let h = o - -26. Is h a multiple of 4?
True
Let b be (5 - -1)/(4/2). Let q be 5 + -2*(b + -2). Let g = q - -3. Does 3 divide g?
True
Suppose 0 = -5*w + 2*m + 670, 0 = 3*w - 7*w + 3*m + 529. Is w a multiple of 45?
False
Let w = 4 - -26. Let g = -14 + w. Is 12 a factor of g?
False
Let q = 27 + -7. Is 3 a factor of q?
False
Let o(g) = -6*g**2 - g - 2. Let a(h) = h**2 + h + 1. Let c(u) = 3*a(u) + o(u). Let j be c(-2). Let n = 29 + j. Is 7 a factor of n?
True
Let r(s) = -s**3 + 4*s**2 + 3. Let o be r(4). Suppose 5*n - o*y - 63 = 0, -19 = -5*n - y + 40. Is 32*((-3)/n - -2) a multiple of 28?
True
Let h be (9/45)/((-2)/(-50)). Is h - -23 - (3 - 0) a multiple of 25?
True
Let n = -22 - -41. Is 7 a factor of n?
False
Suppose 11*l - 1638 = -307. Is 12 a factor of l?
False
Suppose -17 + 41 = -4*l. Is 11 a factor of 25 + (l/3 - -2)?
False
Let l be (-1 - -1 - -1)*2. Suppose l*u = 61 - 21. Is 10 a factor of u?
True
Suppose 3*t - 7 - 6 = b, 0 = b - 4*t + 18. Let a(y) = -1 + y + 2*y**2 - y**b + y**2 + 2*y**2. Does 8 divide a(-2)?
False
Let z(a) = a - 12. Let t be z(11). Does 34 divide 100 + (t - (-3 + 0))?
True
Let d(f) = 2*f**3 - 6*f**2 - 6*f. Let w be d(5). Suppose -5*q = 3*g - 42, 2*q + w = 5*g + 3*q. Is g a multiple of 14?
True
Suppose 2*y = -0*y - 6. Let o = 6 + y. Suppose 0 = -q - o, m - 4*q = 4*m - 60. Does 12 divide m?
True
Let t(u) be the second derivative of -u**3/2 - 2*u. Does 9 divide t(-4)?
False
Let z = -1 + 4. Let x be (-4)/(-3)*z/2. Suppose -41 = -3*a + x*c, 15 = a - 2*c - 0*c. Is 13 a factor of a?
True
Suppose 0 = -2*p + 3*p - 4. Let b be (-23)/2 + (-2)/p. Is 4 a factor of (-21)/b*(5 - 1)?
False
Let z be (-1)/2 + 10/20. Suppose 3*r - 61 = 5*d, z = 2*r - 0*d - 2*d - 42. Does 22 divide r?
True
Suppose 2*g + y = 9, 4*g + 2*y - 4*y + 2 = 0. Let c = -35 - -34. Is (g - 2)*c + 12 a multiple of 8?
False
Let a be (-4 - -1)*132/(-18). Suppose -16 = -n + a. Does 13 divide n?
False
Suppose -d + 111 = -3*q, 4*d - d - 323 = -q. Suppose 0*r + 3*r - b - 62 = 0, -5*r = -4*b - d. Is 10 a factor of r?
True
Suppose 0 = 2*a + 2*a - 96. Does 12 divide a?
True
Does 8 divide ((-124)/8)/((-3)/6)?
False
Let k = 4 + -2. Suppose -m + k*m + 2*a - 32 = 0, -4*a - 76 = -3*m. Is 14 a factor of m?
True
Let a be (-45)/9*131/(-5). Let t = -84 + a. Is t a multiple of 23?
False
Let g(l) = -14*l**3 - 2*l**2 - l. Let o be g(-1). Suppose -5*f + 12 = -o. Suppose 0 = f*n + 28 - 158. Is 13 a factor of n?
True
Let u = 52 + 18. Is 3 a factor of u?
False
Suppose -2*c - 2*c = -2*m + 12, c + 21 = -4*m. Let u(y) = y**2 + 3*y - 7. Let f be u(c). Let v(d) = 13*d - 1. Is v(f) a multiple of 16?
False
Let f = 15 - -79. Is 7 a factor of f?
False
Let r be (1 + 61)/(2/(-3)). Let z = 54 + r. Let a = -12 - z. Is 9 a factor of a?
True
Let v(z) be the second derivative of z**4/2 + z**3/6 - 2*z**2 + 3*z. Does 19 divide v(-3)?
False
Let o(r) = -r**3 + 10*r**2 + r - 5. Is o(10) a multiple of 5?
True
Suppose -4*v = r + 63, 57 = -0*v - 3*v - 4*r. Is 5 a factor of 35/v*(-2 - 1)?
False
Let g be (-3 - -1 - 0) + 6. Suppose -3*v + 52 = -2*v. Suppose -g*n + 0*n = -v. Is 13 a factor of n?
True
Is 8 a factor of (-8 + -2)*(-4)/5?
True
Let j = -9 + 7. Let h be (-2)/(-4) - j/(-4). Suppose h = -b + 6*b - 65. Is b a multiple of 5?
False
Suppose 0 = 2*y - 3*z + 6 - 20, z = y - 8. Let f be -5*(-2 + 14/y). Is (6/f)/(-2)*-54 a multiple of 23?
False
Suppose k - 199 - 81 = 0. Does 16 divide k?
False
Suppose -2*k = k. Let d be ((-11)/1)/(2 - (-21)/(-9)). Suppose k = -3*z - 5*j + 44, z + 2*j = 2*z - d. Is 6 a factor of z?
False
Suppose -4*j = -17 - 3. Suppose 29 = -0*o + o. Suppose -j*q = -c + o, -c - 5*q - 8 - 3 = 0. Is c a multiple of 9?
True
Let p(n) = 10*n - 16. Is p(17) a multiple of 14?
True
Suppose 122 = 2*z - 0*z + 4*y, 284 = 5*z + 3*y. Does 11 divide z?
True
Suppose 0 = -g + 3*y + 63, -6 - 229 = -5*g - y. Suppose -4*w - g = -0*w. Is (w/5)/(3/(-20)) a multiple of 16?
True
Suppose 0 = 3*a + 8 - 26. Does 6 divide a?
True
Let b(v) = v**3 - 4*v**2 - 5*v + 4. Let w be b(5). Suppose 3*j + w*k = -2 + 10, 5*j + 2 = k. Does 17 divide 1 + j + 0 + 16?
True
Let x(z) = -z. Let y(s) = -s**2 + 6*s - 2. Let l be y(6). Let h be x(l). Let r(a) = 13*a - 2. Does 8 divide r(h)?
True
Let y(j) = 2*j**2 + 8*j + 5. Let p be y(-5). Let q be (0 + (-6)/p)*-20. Is 18 a factor of (7 - q)*(-72)/2?
True
Let f(n) = -n + 15. Let u be 75/7 - 4/(-14). Let b be f(u). Suppose h + b*z - 44 = 0, 49 = -3*h + z + 155. Does 18 divide h?
True
Does 16 divide 64/1 - (0 - 0)?
True
Suppose -4*i = b - 9, -5*i + 44 = -5*b + 14. Suppose 0 = 5*v - i*v + 62. Let p = -15 - v. Does 16 divide p?
True
Suppose -x + 1 = -o, -2*x - 2*x + 25 = 3*o. Suppose 2*w = 8 - x. Is -4 + (3 - w) + 12 a multiple of 9?
True
Let v(c) = -c**3 - 12*c**2 - 10*c + 14. Let a be v(-11). Is 330/18 - a/9 a multiple of 4?
False
Does 12 divide 172 + 1 + 2 - -5?
True
Suppose 11 + 1 = 3*j. Does 11 divide 2/(j/38) + -1?
False
Let n = -21 - -18. Let m = n - -12. Does 3 divide m?
True
Suppose -5*j - 50 = 5*z, -3*j - 22 = -2*z + 3*z. Let i = -16 + j. Let f = i - -44. Does 9 divide f?
False
Suppose 3*p + 0 + 18 = 0. Let t = 5 - p. Is t a multiple of 7?
False
Let i(r) be the second derivative of -r**5/20 - r**4/3 + 7*r**3/6 - r**2 - 8*r. Does 13 divide i(-6)?
False
Let h be 7 + -6 + 2*4. Let t be (h/(-6))/((-2)/(-4)). Does 12 divide 15 + (1*-6 - t)?
True
Suppose 0 = 2*i + 4*j - 6*j - 94, 0 = -i - j + 57. Is i a multiple of 26?
True
Let l = 3 - -4. Let m(n) = 0 + 2*n - 6 - 2 - 1. Is m(l) a multiple of 5?
True
Let v = 10 + -15. Let d = -14 + v. Is 9 a factor of (d/(-2))/((-3)/(-6))?
False
Let g = -12 - -18. Is 6 a factor of (14/g - 1)*18?
True
Suppose 5*l = 2*l + 456. Suppose -80 = -4*x + l. Is 15 a factor of x?
False
Suppose 3*j - 4*r - 56 = 0, -73 - 19 = -4*j + r. Is 22 a factor of j?
False
Let x(m) = 74*m**2 + 3*m - 2. Is x(1) a multiple of 23?
False
Let t be (-3 - -4)*6 + -3. Suppose 5*k - t*k - 149 = -z, -3*k + 5*z + 230 = 0. Does 25 divide k?
True
Let u