2*q = 3*l - m. Suppose -q*a + 108 = -a. Does 9 divide a?
True
Let p(s) = 2*s**2 + 11*s + 7. Let a be p(-5). Suppose 0*j - 240 = -5*j - 4*o, a*o = 4*j - 192. Is 16 a factor of j?
True
Let b = 16 - -10. Is 13 a factor of b?
True
Let p = -15 - -3. Is p/20 - 476/(-10) a multiple of 34?
False
Let d(s) = 5*s**2 + 3. Is 12 a factor of d(3)?
True
Let n(r) = r**2 - 5. Let y be n(5). Let m be 1 + y + -2 - 0. Is 10 a factor of (-1)/(-2) + m/2?
True
Suppose -a - 3 = -2, -4 = -m + 2*a. Suppose 44 - 10 = -m*h. Let l = -10 - h. Is 3 a factor of l?
False
Suppose -4*v = 0, 18 = s - 3*v + 6*v. Is s a multiple of 6?
True
Let z(j) = 2*j - 2. Let r be z(2). Suppose 4*f = -3*b + 8, -r*b + 9 = -5*f - b. Let n = 34 - f. Is 14 a factor of n?
False
Suppose 0 = 4*c + 2*p - 10, -5*p - 2 = -3*c - 1. Let d(x) = x. Is 2 a factor of d(c)?
True
Let q = -1 - -3. Let u(p) = -3*p**2 + p - 1. Let r be u(q). Is 444/22 + 2/r a multiple of 8?
False
Let t(z) = -3*z**3 - 5*z**2 - 12*z - 22. Is 32 a factor of t(-5)?
True
Is 5 a factor of 20*3 + (1 - (-1 + 2))?
True
Suppose 0 = 4*q + 4*r - 104, 4*q = -0*q - r + 110. Is 7 a factor of q?
True
Let r be (3 - 0)*(3 + -2). Suppose -r*g = 2*g - 150. Is g a multiple of 17?
False
Let d(c) = 2*c + 6. Does 13 divide d(10)?
True
Suppose -33 - 67 = -4*r. Suppose -4*n - 10 = 2. Let v = r + n. Does 10 divide v?
False
Let c(i) be the first derivative of 4*i**2 - 1/4*i**4 + 5/3*i**3 + 3 - i. Is 3 a factor of c(6)?
False
Let q = -73 - -137. Is q a multiple of 16?
True
Let o(k) = k**3 - k + 6. Let f(x) = x**2 + 6*x. Let a be f(-6). Let b be o(a). Does 15 divide -66*((-20)/b)/5?
False
Let u be (-42)/(-7)*5/(-3). Suppose -4*c + 2*s - 66 = 0, 5*s = -c - 0*s + 11. Let w = u - c. Is w a multiple of 4?
True
Suppose -4*g - 108 = -7*g. Suppose 2*b = -5*p + 126, p + 5*b - b = g. Is p a multiple of 12?
True
Let v(k) = -k**3 + 4*k**2 + 7*k + 1. Let w be v(5). Let o = w + -8. Suppose 2*d + o*l + 0*l - 22 = 0, 5*l - 15 = d. Is 3 a factor of d?
False
Does 51 divide (-5245)/(-30) - (-1)/6?
False
Suppose 6*j - 5*j - 146 = 0. Is 24 a factor of j?
False
Let k be 1/(-1)*(-3 + 2). Let j = k + 4. Is j even?
False
Let x(t) = t**3 - 8*t**2 + 12. Is 3 a factor of x(8)?
True
Suppose 4*y = 5*p + 35, -2*y + 4*y - 4*p - 22 = 0. Suppose -3*t - y*b = -115, 0*t = -3*t - 2*b + 100. Does 15 divide t?
True
Let k(f) = f**2 - f - 5. Let t be k(-6). Suppose 2*a = 3*q + 2*q + t, 4*a - 80 = 4*q. Is 5 a factor of a?
False
Suppose 3*c = -x + 119, 5*x - 6*c + c - 635 = 0. Is x a multiple of 25?
True
Let g(i) = 31*i**3 - 3*i**2 + 4*i - 3. Is g(2) a multiple of 21?
False
Let r be -3*3/(-18)*14. Suppose -4 + 1 = 3*c - 3*o, -r = -3*c - 2*o. Does 5 divide (8 - c) + -2 + 0?
True
Suppose -1 + 13 = 3*s. Suppose -3*w - 2 = s. Is 12 a factor of 1/2 + (-23)/w?
True
Suppose 0 = -9*s + 4*s + 65. Let o = s - 5. Is o a multiple of 4?
True
Suppose 3*l + 352 = 5*b - 113, 2*l - 440 = -5*b. Is 45 a factor of b?
True
Let g(r) = 2*r - 3*r**3 - 3*r**2 + 2 + r**2 + r**3. Does 18 divide g(-4)?
True
Let z = 344 - 216. Is z a multiple of 26?
False
Suppose -7*t - 196 = -4*i - 3*t, 5*i = -2*t + 231. Is 25 a factor of i?
False
Let u = 85 - 37. Does 3 divide u?
True
Let u(r) = 13*r**3 + 17*r**2 + 16*r + 3. Let z(w) = 3*w**3 + 4*w**2 + 4*w + 1. Let y(k) = 2*u(k) - 9*z(k). Is 13 a factor of y(-3)?
False
Is (-28)/7*(-22)/8 a multiple of 11?
True
Let z(x) = -x**2 + 12*x + 5. Suppose d - 3*d = -22. Is 5 a factor of z(d)?
False
Let n = 6 + -10. Is 6/n*4/(-3) a multiple of 2?
True
Does 12 divide 658/4 + (45/10)/(-9)?
False
Let i(m) = -m**2 - 3*m + 4. Suppose 3*o - 21 = 4*r, r + r - 2*o = -12. Is i(r) a multiple of 3?
False
Let z = 8 + 1. Let u(v) = v**2 - 8*v - 5. Let o be u(z). Suppose 0*a - w = 3*a - 21, o*a = 2*w + 28. Is a a multiple of 7?
True
Let o(h) = 2*h**2 - 4*h. Suppose -36 = -4*p - 5*d, 3*p + 20 = 5*p + 3*d. Is o(p) a multiple of 8?
True
Let d(n) = -n**3 - 2*n**2 + 6*n + 6. Let a(g) = 2*g**3 + 3*g**2 - 13*g - 13. Let x(y) = -2*a(y) - 5*d(y). Is x(-4) a multiple of 4?
True
Suppose -n = -0 - 25. Suppose -w + n = -0*w. Does 15 divide w?
False
Suppose -2*s = -5*s + 3. Is 74/s + -3 + 1 a multiple of 12?
True
Let v be ((-15)/2)/((-1)/(-2)). Is 166/6 - (-10)/v a multiple of 10?
False
Suppose -5*a + b - 15 = -10*a, -5*b = 2*a - 29. Is 6 a factor of 10 - a/(-4)*6?
False
Let s = -9 + 9. Suppose s = 2*v + 8, 5*v = -d - 2 - 3. Is 6 a factor of d?
False
Let n be (-81)/(-4) + 1/(-4). Let x be 2/5 - (-752)/n. Suppose -5*y + 3*y + x = 4*j, 3*j = 5*y + 35. Is j a multiple of 5?
True
Suppose 5*p + 2*t + 53 = 0, -5*p - 3*t - 99 = -42. Let o be 176/6 - 6/p. Suppose -4*s = -y - 73, -o = -2*s - 4*y + 2. Is 15 a factor of s?
False
Suppose 0 = -5*t + 4*z + 85, 0*t - 2*t + 4*z + 46 = 0. Let u = 4 - t. Is 19 a factor of (-2)/9 - 506/u?
False
Suppose -2*p - 20 = -3*p. Let j be 4/6 - p/3. Let d(u) = -u**3 - 7*u**2 - 8*u - 7. Is 5 a factor of d(j)?
True
Let i be -111*(4 + (-57)/9). Suppose -3*j = 43 - i. Is j a multiple of 34?
False
Let b be 12*(2 - (4 + -1)). Let a = -1 - b. Suppose h - p = a, -h + p + 18 = h. Is 7 a factor of h?
True
Suppose -10 = t - 0*t. Let n(z) = -z**2 - 12*z - 8. Is 6 a factor of n(t)?
True
Let k be (-2)/(-1) + (-5)/(-5). Suppose 0 = -k*m - 2*m + 145. Is m a multiple of 8?
False
Suppose 0*l = -4*l + 4, -2*x = 5*l - 13. Let b = x + -10. Is (2 - 38)*b/9 a multiple of 12?
True
Let n = -15 - -76. Let u = n - 31. Does 30 divide u?
True
Let s be -1 - 4/2*1. Let y be s*(2/(-3) + 0). Is -3*y/(-1 + -1) a multiple of 3?
True
Let k be (72/(-21))/(-4)*-7. Let f(u) be the second derivative of -5*u**3/6 + 3*u**2 + 2*u. Does 12 divide f(k)?
True
Let f(g) = 2*g**2 - 18. Is 6 a factor of f(-6)?
True
Suppose -a - 3*a + 72 = 0. Is 7 a factor of a?
False
Let f be ((-5)/15)/(1/(-15)). Suppose 0 = f*q - 5*s - 161 - 154, 2*q = -2*s + 146. Let o = q - 32. Is o a multiple of 18?
True
Let j be (-6)/(-4) - 3/6. Let n = 1 + -1. Is 10 a factor of (n - -5)/(j/2)?
True
Let o(b) = 3*b**2 + 4*b + 4. Is o(-4) a multiple of 12?
True
Suppose -2*n = -5*p - 0*n + 194, -3*p = -n - 116. Does 11 divide p?
False
Let i(r) = 3*r**2 - 14*r - 24. Does 37 divide i(11)?
True
Suppose -20 = 4*k, 3*j - 5*k - 66 = -5. Let i be (j - 2) + 2*1. Let v = i - -14. Is 12 a factor of v?
False
Let s(t) = t**2 - 8*t + 10. Let d be s(8). Suppose -1 = i - d. Does 3 divide i?
True
Suppose -3*u + 7*u = 84. Does 9 divide u?
False
Suppose 0 = 3*k + p - 1, 2*k - 5*p + 4*p + 1 = 0. Suppose k*m - 96 = -2*m. Is m a multiple of 21?
False
Suppose 3*u + 9 - 237 = 0. Suppose 56 = 4*o - u. Does 15 divide o?
False
Let r(w) = -w**3 - 2*w**2 + 10*w + 7. Does 16 divide r(-5)?
True
Suppose -6 = 5*a - 1. Let u(i) = i**2 - i + 1. Let c(f) = 3*f**2 - 7*f + 8. Let r(o) = a*c(o) + 4*u(o). Does 10 divide r(-6)?
False
Suppose -2*y = -17 + 113. Let x be (-2)/7 + (-624)/21. Let b = x - y. Is b a multiple of 9?
True
Let p(t) = t**2 + t + 30. Let w be p(0). Does 14 divide (-18)/w - 143/(-5)?
True
Let i(j) = 3*j**3 - j**2 + j - 12. Does 14 divide i(4)?
True
Let h(r) = r + 3. Let k be h(-3). Let c(a) = -a + 2. Let d be c(k). Suppose -3 = -d*z + 37. Is z a multiple of 12?
False
Let o(j) = -3*j - 4. Let h be o(-3). Suppose l + h = u, 6*u + 4 = 2*u - 2*l. Is 14 a factor of u*(-2 - -3) + 13?
True
Let k(r) = -31*r. Suppose -i = 4*h + i + 4, 3*h = i + 7. Let w be k(h). Let v = -19 - w. Is v a multiple of 12?
True
Suppose 5*s - s = -2*g + 120, -36 = -s - 2*g. Suppose t + s = 3*t. Is 8 a factor of t?
False
Let w = -8 + 10. Let f be 3 + (3/3 - w). Suppose 4*u = f*u + 4*o + 28, o = 4*u - 42. Is 7 a factor of u?
False
Suppose w - 3*f - 8 = 0, -f = -1 - 4. Is w a multiple of 22?
False
Suppose 2*b + 52 - 2 = 0. Let o = -13 - b. Does 6 divide o?
True
Let o = -119 - -233. Suppose p + 2*p - o = 0. Does 12 divide p?
False
Let v = -81 + 121. Is 8 a factor of (-2)/(-2 + v/22)?
False
Let x(d) = 5 - d + 3 + 15. Does 2 divide x(16)?
False
Let a(h) = -42*h - 1. Let p = 13 + -14. Is 13 a factor of a(p)?
False
Let d(l) be the third derivative of -13*l**7/5040 - l**6/240 - l**5/20 - l**2. Let a(t) be the third derivative of d(t). Does 17 divide a(-4)?
False
Let a(y) = y**3 + 6*y**2 - 8. Let f be (32/4)/(-2 - -1). Let h be a(f). Does 13 divide (1/(-2))/(4/h)?
False
Suppose 5*z = -0*z + 520. Suppose -f = 3*f - z. Is f a multiple of 13?
True
