 - 62 = l. Is o a multiple of 21?
False
Suppose 0*q - 3*q = 0. Suppose -2*r = -4*y + 74, 2*y - 3*r - 67 + 20 = q. Is y a multiple of 8?
True
Let r = -101 - -289. Is 41 a factor of r?
False
Suppose 22 = -4*h + 4*g + 70, h = 5*g + 20. Suppose -4*f = f - h. Suppose -2*m + 39 = 3*o, 9 + 18 = f*o + m. Is 6 a factor of o?
False
Suppose 0 = -5*o + 1762 - 557. Is 16 a factor of o?
False
Let i be 4/(-6) - (-17)/3. Let x be (16 + -1)/(3/i). Suppose -l - 7 = -4*w + x, 3*w - 24 = -3*l. Does 8 divide w?
True
Let i = 3 - 1. Is 5 a factor of -7*6/(-3) + i?
False
Let o be ((-7)/(21/36))/(-1). Suppose 0 = -2*f + 5*w + o, w = 4*f - 2*f - 12. Is 6 a factor of f?
True
Let h(l) = l**2 - 7*l - 9. Let g be h(8). Let j be g/(3/9 + 0). Is 17 a factor of (-2)/j*4*12?
False
Let k(n) be the first derivative of -n**2/2 + 3. Let d be k(-3). Suppose d*s = 7 + 98. Is 16 a factor of s?
False
Let g = 430 + -258. Is 43 a factor of g?
True
Let b = -31 - -55. Is b a multiple of 8?
True
Let n(d) = d**2 - 4*d + 2. Let o be n(5). Let y(r) = r**2 - 5*r - 8. Let t be y(o). Is (-320)/(-18) + t/27 a multiple of 6?
True
Let q = 32 - 17. Let g = q - -27. Is 21 a factor of g?
True
Suppose 4*m + 129 + 125 = 3*g, 5*g - m - 446 = 0. Does 18 divide g?
True
Let c be (-4)/16 - (-21)/4. Let z(i) = c - 2*i - 2*i - 3. Is 12 a factor of z(-3)?
False
Let j be (0 + 2)/((-4)/6). Let w = j - -3. Is 3 a factor of 2*(-1 + 4 + w)?
True
Suppose -b + 11 = -0*b. Does 5 divide b?
False
Let p = -6 - -8. Suppose 2*f + 3*f = -3*o, -3*o = p*f. Suppose -2*k = -5*k - 4*g + 96, o = -4*k - 3*g + 128. Is k a multiple of 16?
True
Let b(s) = 7*s**3 + s**2 + s - 1. Suppose -2*g - g + 3 = 0. Is 8 a factor of b(g)?
True
Let p = 4 - 3. Suppose 0 = -h - 0*h + p. Suppose h + 18 = y. Does 16 divide y?
False
Suppose 3*l - 5*m - 20 = 0, -4 = 3*l + 2*m - 17. Let i = l + 11. Does 16 divide i?
True
Let b = -49 - -27. Let k = b - -49. Does 9 divide k?
True
Let r(h) = -h**2 - h + 3. Let u be r(0). Suppose 5 = u*p - 31. Does 10 divide p?
False
Suppose 4*s - 2*i - i = -12, -i + 4 = -4*s. Let t(r) = -2*r + 3. Is t(s) a multiple of 2?
False
Suppose t + 3*l = 5*l + 10, 4*l = -4*t - 8. Suppose 3*n = -t*n - 10. Let a(s) = -s**3 - s**2 - 2*s - 3. Is a(n) a multiple of 5?
True
Suppose 4*k = 3*b - 0*k - 9, 2*k - 9 = -3*b. Suppose v - 1 = -b. Is v/(7/(567/(-6))) a multiple of 12?
False
Let y(w) = -37*w - 1. Let t be y(-1). Suppose 4*v - 3*f = -v + 38, -f - t = -4*v. Is 10 a factor of v?
True
Let i = -212 - -95. Let g = i + 177. Is g a multiple of 15?
True
Let y = 8 + -3. Suppose -y*q = 4*i + i - 45, 4*q - i = 21. Suppose 0*m + m = q. Does 6 divide m?
True
Let z be 1/(-1)*(1 + -2). Let b be -8*(2/4 - z). Suppose -3*y = j - 12, -3*j - 14 = -b*y - 37. Does 9 divide j?
True
Suppose -4*h = -2 - 58. Is h a multiple of 15?
True
Let y(l) = l**2 + 6*l + 2. Let a be y(-5). Let f be 2*-1 - 16*a. Let q = -33 + f. Does 5 divide q?
False
Suppose 2*k + 5*j = 67 + 411, 237 = k + 2*j. Does 18 divide k?
False
Let l = 170 - -56. Is l a multiple of 51?
False
Suppose 4 = -5*v + v. Is 7 a factor of 7*(v + -2 + 4)?
True
Let f = 166 - 98. Does 34 divide f?
True
Is 105 - -4 - (-5 + 3) a multiple of 36?
False
Suppose 0 = -4*l - 3*l + 147. Does 4 divide l?
False
Let d(o) = 7*o**2 + o - 8. Does 10 divide d(-4)?
True
Is 5/(-2)*(-87 - -3) a multiple of 30?
True
Let b(v) be the second derivative of -5*v**3 - 3*v. Is b(-1) a multiple of 10?
True
Let r(g) = -6*g + 5. Let t be r(9). Let y be 14/t + 2/7. Suppose 3*s = s - d + 94, y = 3*s + 4*d - 136. Is s a multiple of 22?
False
Let m(f) = 73*f - 10. Is m(2) a multiple of 37?
False
Suppose -2 = -2*j + j. Suppose -5*q - 14 = -3*g - j, 0 = -4*g + 16. Suppose -2*k + 53 - 9 = q. Is k a multiple of 11?
True
Let c = 10 + -10. Suppose 5*o - 238 - 97 = c. Is 21 a factor of o?
False
Suppose 2*b - 4*v = -40, v = 2*b - v + 32. Let h = b + 19. Let c(i) = 3*i - 3. Is c(h) a multiple of 18?
True
Suppose 2*r + 3*r = 130. Is (r/2*4)/1 a multiple of 20?
False
Suppose 4*g - 3*k - 31 = 2*k, 5*k + 11 = -g. Suppose 0 = -g*u - 0*u - 16. Is (1 - u)*70/25 a multiple of 7?
True
Let h(p) = p**2 - 6*p - 4. Suppose 2*f = 3*k - 29, 26 = 2*k - 3*f - 0*f. Let a be h(k). Suppose -w + a*w - 78 = 0. Is w a multiple of 17?
False
Let x = -19 - -24. Suppose -x*c - 211 = -4*t, 2*c + 167 = 3*t + 7*c. Does 16 divide t?
False
Let c(g) = -5*g + 1. Let l(h) = h**2 + 4*h - 7. Let n(o) = -6*o**2 + 2*o - 1. Let r be n(1). Let u be l(r). Is c(u) a multiple of 11?
True
Suppose 3*k + 2*u - 661 = 3*u, -2*k = -u - 440. Is k a multiple of 41?
False
Let m be 1*((-12)/(-3) + 21). Let y be 2/(-8) + 2/8. Suppose m = 4*b + 3*u - 17, y = -5*u - 10. Is 6 a factor of b?
True
Let t(b) = b**2 - 9*b - 12. Let z be t(10). Is z - ((-3)/1 - 35) a multiple of 12?
True
Let t(l) = 3*l - 6. Suppose 2 = 5*p - 8. Suppose 3*z + 2 = -v, -19 + 7 = -2*v + p*z. Is t(v) a multiple of 3?
True
Suppose 4*j - 26 = 5*u, j + 2*j - u - 25 = 0. Is j a multiple of 2?
False
Let j = 4 - 4. Suppose j = -v - 3*f + 2, 4*v - 18 = -2*f + 10. Is v a multiple of 3?
False
Suppose 5*l + 313 = 4*u, 2*l - 3*l = -3*u + 232. Does 19 divide u?
False
Suppose 5*s - 615 = -210. Is 27 a factor of s?
True
Suppose i - 90 = -r, -3*i + 4*r = -4*i + 105. Is i a multiple of 7?
False
Let z(o) = 8*o**3 + o - 1. Let t be z(1). Let c be 23/4 + 2/t. Suppose -32 = -c*h + 2*h. Does 8 divide h?
True
Suppose -4 = 4*v, 4*a + 5*v = 1 - 6. Suppose a*o = -4*o. Does 15 divide (o + (-16)/6)*-6?
False
Let j(k) = -k**3 + 4*k**2 + 2*k - 4. Let g be j(4). Suppose 4*v - 8 = 2*v + 2*a, 3*v = g*a + 16. Suppose 3*u + u - 40 = v. Is 8 a factor of u?
False
Suppose -4*l + 10 = 2*m, 2*l + 0*l = 4*m. Let i(v) = -6*v - v + l*v. Is i(-1) a multiple of 3?
False
Let z = 9 - -23. Does 8 divide z?
True
Suppose 0 = -6*y + y + 15. Suppose -x = 3*g + 72, 0*x = g + y*x + 32. Let c = -11 - g. Does 4 divide c?
True
Suppose 5*y - 4*x = 23, 2 + 5 = -y - 5*x. Suppose -y*c - 96 = -5*c. Is 12 a factor of c?
True
Suppose 0 = j - 2*j - 15. Let q = -11 - j. Does 2 divide q?
True
Let h = -83 + 52. Let z = 44 + h. Is z a multiple of 10?
False
Let m(g) = -2*g**3 - 4*g + 3*g**3 + 5*g**2 + 2*g + 11 - 15. Is m(-5) a multiple of 6?
True
Suppose 3*i = 5*u - 195, 5*i = 2*u - 111 + 33. Does 14 divide u?
False
Suppose -2*i - 268 = -7*i - 4*m, 2*i - 3*m = 121. Does 8 divide i?
True
Let p be 59 + -1*(-3 - -2). Let g = 84 - p. Suppose -4*i + g = -i. Does 4 divide i?
True
Let m(k) = 527*k - 1. Let i be m(-1). Let z be (2/4)/((-8)/i). Let n = z + 9. Is 14 a factor of n?
True
Let l(k) be the first derivative of -3*k**2/2 - 8. Is 12 a factor of l(-16)?
True
Let w be (-2800)/(-30) + 2/(-6). Suppose -3*t - 3*b + w = 0, 3*t - 43 - 40 = -5*b. Is t a multiple of 12?
True
Suppose 5*r - 14 = -2*p + 4, -16 = -p + r. Is 13 a factor of p?
False
Is 5 a factor of 4/(-6) - 372/(-18)?
True
Suppose 4*z - 257 = -3*r, -3*r - 167 = z - 436. Is 22 a factor of r?
False
Let f(h) = -h**2 - 1. Let g be f(-1). Is 2 a factor of (3 - 2)/(g/(-12))?
True
Let o = -7 - -10. Suppose o*p = -p. Suppose v - 5*a - 10 = -p*v, 40 = 4*v + 5*a. Does 5 divide v?
True
Let u be (399/6)/(2/4). Suppose 4*r + 100 = 3*f + f, -r = -5*f + u. Is 8 a factor of f?
False
Suppose 3*i = i + 8, -4*i = 5*m - 31. Suppose 0 = -m*n - n + 84. Is 14 a factor of n?
False
Suppose 10 - 2 = -4*a. Let u(g) = g**2 + 3*g + 2. Let z be u(a). Does 11 divide (z - 1) + 3 + 22?
False
Let i = -49 - -91. Is 13 a factor of i?
False
Let i(z) = -z**2 - 9*z - 8. Suppose 4*l - 9*l = 35. Is i(l) a multiple of 2?
True
Let d(j) = -j**3 - 6*j**2 - 3*j + 1. Is d(-6) a multiple of 17?
False
Let h = -151 - -601. Is 50 a factor of h?
True
Let n = -38 - -189. Let u = -77 + n. Is u a multiple of 16?
False
Suppose -15 = -3*h + 12. Let n = 17 - h. Is 8 a factor of n?
True
Let d be (2 - 1)*(3 + -3). Suppose 5*s + 7 + 23 = d. Let v(h) = -h**3 - 6*h**2 + 5. Is v(s) even?
False
Let x = -55 + 100. Suppose -4 = -j + 5*k + 12, -3*k = 2*j - x. Is j a multiple of 7?
True
Suppose 4*i - 16 = 8. Let x be i/5*(-40)/(-3). Suppose 4*s - 2 = o + 3, 4*o = 4*s + x. Does 3 divide o?
False
Let m(j) be the second derivative of j**4/12 - j**3/2 - j**2 + j. Let v be m(4). Does 8 divide 38/5 - v/(-5)?
True
Let k = 4 - 7. Let c = 3 + k. Suppose c*n + n = 14. Does 6 divide n?
False
Let m(t) be the second derivative 