 + 3*c - 22, 5*c + w = 3*q. Does 4 divide q?
False
Is 48 a factor of (-155)/(-1) - (1 + (-2 - 2))?
False
Let i be 10/(1 + -2 + 2). Let k be 6*i - (-4)/(-2). Suppose -5*x = -5*s - 70, 5*x + 0*s = -s + k. Does 12 divide x?
True
Let d(j) be the second derivative of j**4/2 - j**3/3 + 3*j**2/2 + 6*j. Is d(2) a multiple of 6?
False
Suppose -5*f + 7*f = -2. Is (1*f)/((-4)/124) a multiple of 12?
False
Let g(l) = 2*l. Let m be g(1). Suppose -m*i + 68 = 3*d - 22, 5*i + 15 = 0. Is d a multiple of 16?
True
Let y(b) = 7 + 8 - b - 5 + 0. Let n be y(7). Suppose -u + 4*u + 39 = n*q, 0 = -q - 2*u + 22. Is q a multiple of 16?
True
Let p be -1*2/2*17. Let s = 84 + -41. Let f = p + s. Does 13 divide f?
True
Suppose -3*n + n = q - 99, -q - n = -99. Is 11 a factor of q?
True
Let u(v) = v - 2. Let i be u(-3). Let l = 0 - i. Let f(z) = 2*z**2 - 6*z - 5. Is f(l) a multiple of 5?
True
Suppose -54 = -v + 4*x, 3*v - 4*x - 94 = 52. Suppose 4*d - v = 26. Is d a multiple of 9?
True
Let y(v) be the second derivative of v**5/20 + v**4/6 - 2*v**3/3 - v**2 + 2*v. Let s be y(-3). Suppose 11 + s = 3*z. Does 4 divide z?
True
Suppose 0*g + 184 = 2*g. Is 23 a factor of g?
True
Let o(s) = s**2 + 12*s + 7. Let x be o(-13). Suppose -2*a + 86 = -x. Is a a multiple of 13?
False
Let j(l) = 179*l + 15. Let b(q) = 89*q + 7. Let i(r) = 13*b(r) - 6*j(r). Let t be i(1). Suppose 0 = -h, -2*u + t = 2*u - h. Is 12 a factor of u?
False
Let j be (-5 - -6)/(2/4). Suppose -2*o = 4*m - 4, 3 = -j*o + 2*m + 7. Is o even?
True
Suppose -4*k = -5*a - 17 + 86, -37 = 2*k - 3*a. Let b = k - -20. Suppose b = c - 5. Is 4 a factor of c?
False
Is ((-945)/(-12))/9*4 a multiple of 4?
False
Let t(y) = 9*y - 2. Let a be t(2). Let c(u) = -4*u + 10. Let z be c(-9). Let j = z - a. Is 15 a factor of j?
True
Suppose 5*r + 25 = -2*j + 64, -5*j - 2*r + 108 = 0. Is 8 a factor of j?
False
Let m = -47 + 107. Is m a multiple of 12?
True
Let n be 0 + -1 + (-6 - -7). Suppose 2*w + n*w - 13 = -5*u, w = -1. Suppose 5*b + 2*g - u = 66, -4*b + 5*g = -42. Is 6 a factor of b?
False
Does 28 divide (9 - 10)/((-1)/64)?
False
Let x = -32 + 116. Does 14 divide x?
True
Let f be (4/6)/((-2)/(-147)). Suppose -f - 41 = -3*j. Is 10 a factor of j?
True
Suppose 43 = 5*i + 403. Is 24/(-8) + i/(-2) a multiple of 11?
True
Let y be (25/(-2))/((-7)/(-14)). Let t = 41 + y. Is 9 a factor of t?
False
Suppose -13 = -3*n - s, 6 + 1 = n + 3*s. Suppose -n*f = 51 - 227. Is f a multiple of 18?
False
Suppose x + x - 3*d = 1, 0 = d - 5. Does 7 divide x?
False
Suppose 3*o + 5*n = -3, 5*o - 3*n + 2*n = 23. Suppose y - 2 + o = 0. Is 14 a factor of (y - -1)*(-36 - -2)?
False
Let v be (0/(-1) - -1)*8. Suppose m + 3*z = -2*z + v, -2 = 2*z. Let s = m + -7. Is 4 a factor of s?
False
Let n be 156/3 + -1 + 0. Suppose -5*q + n - 15 = i, -q = -5*i + 76. Is i a multiple of 15?
False
Let m(j) = -j**2 + 14*j - 12. Let r be (-10 + -2)/(4/(-4)). Does 6 divide m(r)?
True
Suppose 0 = y + 1 - 3. Suppose 3*i + 3*l = 33, y*l + 3 = 3*i - 45. Does 8 divide i?
False
Suppose 603 = 8*x - 21. Is 13 a factor of x?
True
Suppose -6*d = -d - 4*b + 484, d - 2*b = -98. Let w be (-12)/(-42) - d/7. Suppose 3*j - w = -r + 3, -29 = -5*j - r. Is j a multiple of 6?
True
Suppose 5*k - 8*k + 192 = 0. Is 21 a factor of k?
False
Suppose 22 - 92 = 5*n. Let m = 77 + -51. Let a = n + m. Is a a multiple of 12?
True
Suppose 0 = 12*y - 16*y + 24. Does 3 divide y?
True
Suppose 2*j + 0*j = 0. Suppose 3*h = l + 3*l - 89, -3*h - 9 = j. Suppose -2*o = 2*t + t - l, 3*o - 4*t = 30. Is 3 a factor of o?
False
Let m(k) = -k - 5. Let s be m(-6). Let r(v) = 67*v**3 - v**2. Is r(s) a multiple of 22?
True
Let p(j) = -3*j - 12. Let l be p(-6). Let y = -6 + 9. Suppose -y*h = -l - 12. Is 5 a factor of h?
False
Suppose 4*c = 3*c + 2. Suppose 0 = c*w + 7 + 9. Let k = w - -22. Is 11 a factor of k?
False
Let s = 13 - 12. Is 2560/48 - s/3 a multiple of 11?
False
Suppose 0 = m - 5 + 13. Let x = 46 - m. Does 11 divide x?
False
Suppose -j - 5*a + 19 = -a, a = -j + 19. Is j a multiple of 5?
False
Suppose 4*t - 511 = 257. Is 16 a factor of t?
True
Suppose -2*g + 168 = 2*g. Suppose 0 = -3*h - 3*t + g, -4*t + 54 = 5*h - 17. Is 7 a factor of h?
False
Is 600/42 + (-4)/14 a multiple of 7?
True
Let w(u) be the second derivative of u**4/2 - u**3/2 - 3*u**2/2 + u. Let b be w(-2). Let g = -15 + b. Is 10 a factor of g?
False
Let f(o) = -35*o + 18. Is 16 a factor of f(-3)?
False
Let b(q) = q**3 + 5*q**2 - q - 2. Is b(-5) even?
False
Does 4 divide 3/(-2)*((-1656)/(-27))/(-4)?
False
Let g(q) = -q**3 + 4*q**2 + 11*q + 12. Let y(o) = o + 1. Let u(h) = -g(h) + 6*y(h). Does 14 divide u(6)?
False
Let i(w) = 4*w + 11. Does 13 divide i(6)?
False
Let i(n) = 20 + 7*n - n**2 - 7*n. Is 10 a factor of i(0)?
True
Suppose -2*r - r = -15. Suppose 0 = -0*d + r*d - 3*q - 46, -3*d + 24 = -3*q. Is d a multiple of 11?
True
Let m(v) be the first derivative of -v**4/4 - 2*v**3/3 - v**2/2 - 1. Is m(-3) a multiple of 6?
True
Suppose 2 = 5*x - 3. Suppose -15 - x = -m. Does 4 divide m?
True
Let x = 1 - -3. Suppose 0 = x*f - 6 + 2. Does 2 divide (-33)/(-9) - f/(-3)?
True
Suppose -7 = -5*f + 4*f. Is f a multiple of 2?
False
Let u be 0 - 0/(-2 - -4). Suppose 2*i = -u*i - 3*h, 5*h = i. Does 14 divide (28 + i)*(0 - -1)?
True
Suppose 2*a + 0*a + 3*c = 24, -2*c = -2*a + 44. Let o = a + 38. Is o a multiple of 14?
True
Suppose 5*t - 2 = 3*t. Is -3 + t - (3 + -7) even?
True
Suppose 0 = 4*b - 7*b - 18. Let l(f) = -f. Let d(u) = 31*u - 1. Let h(r) = b*l(r) + d(r). Does 12 divide h(1)?
True
Let u(j) = -6*j**3 + 3*j + 3. Let p be u(-2). Suppose 3*h - p = -0*h. Let s = h + -11. Is s a multiple of 4?
True
Suppose 8*y = 4*y + 24. Let c be (20/3)/((-2)/y). Is -6 + 5 - (2 + c) a multiple of 6?
False
Let h be ((-13)/4)/((-1)/(-20)). Let l be 3/9 + h/(-3). Suppose -g = -2*g + l. Is g a multiple of 11?
True
Let w be 3 - (-3 - -2 - 3). Suppose 0 = -w*t + 3*t + 80. Does 20 divide t?
True
Suppose 2*g - 65 = q, -g + 3*q - 5 = -25. Is g a multiple of 8?
False
Let x be (-1 - -1 - 1) + 6. Suppose 8*k - 54 = x*k. Is 10 a factor of k?
False
Suppose -5*k = -0*k - 4*p - 83, -3*k + 5*p + 55 = 0. Is 5 a factor of k?
True
Does 22 divide ((-24)/10)/(-6*(-10)/(-4400))?
True
Let l be (-68)/7 - (-2)/(-7). Let n = l + 18. Is 2 a factor of n?
True
Let s(h) = h**2 + 11*h + 18. Does 6 divide s(-11)?
True
Let v(o) = 57*o + 10. Is 24 a factor of v(1)?
False
Let d = 14 - 8. Does 6 divide d?
True
Let b = -4 - -9. Does 3 divide b?
False
Suppose -4*n - 4*q + 46 = q, 28 = 2*n + 5*q. Suppose 3*v - n = 24. Is v a multiple of 3?
False
Suppose 44 + 41 = -5*c. Let r = c + 36. Is 11 a factor of r?
False
Suppose -8 = -2*a - 20. Let i(x) = x**2 + 5*x - 2. Let c be i(a). Suppose -d = c*d - 55. Is d a multiple of 6?
False
Let i(l) = -l + 150. Is 30 a factor of i(0)?
True
Let y(g) = -1 + 6*g + 5*g**2 - 10*g + 5*g. Is 25 a factor of y(-4)?
True
Let d(u) = u - 2. Let k be d(-6). Let r be 31*(k/(-2) - 3). Suppose 0*h - 8 = -2*h, -3*s + r = 4*h. Is s a multiple of 3?
False
Suppose 3*h = -2*h + 320. Let f be -39 - 3*(-2)/(-3). Let t = h + f. Does 9 divide t?
False
Suppose 3*c + 4*i - 45 = 0, 5*c - i = 4*i + 75. Is 13 a factor of c?
False
Suppose 70 + 70 = 5*d. Is 10 a factor of d?
False
Suppose -15 = j - 0*j. Let n = j - -21. Suppose c = -f + 10, 3*c - n = -3*f + 8*c. Is 4 a factor of f?
False
Let m(l) be the second derivative of -2*l - l**3 + 0 + 1/12*l**4 - 1/2*l**2. Does 6 divide m(7)?
True
Suppose 2*p - 8 = -2*p. Suppose 2*g = 0, 5*g + p + 52 = 3*o. Does 11 divide o?
False
Let t = -13 + 16. Let p be ((-29)/(1/(-1)))/1. Let z = p - t. Is 13 a factor of z?
True
Let n = 46 + -23. Suppose -5*x + 216 = 71. Suppose -h = 3*v - n, h - 2*v = v + x. Does 10 divide h?
False
Suppose 3*p - 51 = 5*t, -2*p - 3*t - 15 = -49. Is p a multiple of 3?
False
Let u(b) = b - 4. Let q be u(6). Is 1/((-99)/51 + q) a multiple of 11?
False
Let v = 62 + -57. Is v a multiple of 3?
False
Let f be (0/4 - 156)/(-1). Let n = 222 - f. Does 15 divide n?
False
Let u = 2 + 28. Suppose p = u + 50. Is 20 a factor of p?
True
Let b(n) = -n**2 + 4*n - 1. Let w be b(2). Suppose l - w - 9 = 0. Is 15 a factor of (5/(-2))/((-2)/l)?
True
Let r be 2/2 + 3*1. Let q = r - 9. Let n(y) = -y**2 - 7*y - 3. Is n(q) a multiple of 3?
False
Suppose -5*d - 28 = -988. Is 39 a factor of d?
Fals