 Suppose -c*o = j*z - z - 32, 0 = -2*z. Is o a multiple of 8?
True
Let b = -3 - -6. Suppose -9 = 3*n, 0 = -4*w - 4*n + 2 + 2. Suppose 4*i = -b*v + 54, -w*v - v = 2*i - 104. Is 11 a factor of v?
True
Suppose -8*h + 400 = -656. Is h a multiple of 12?
True
Let x be ((-1)/(-2))/(4/16). Let q = -9 - -16. Suppose x = -z + q. Is z even?
False
Suppose 473 = 5*h + 7*z - 3*z, -3*h - 3*z + 282 = 0. Is 7 a factor of h?
False
Does 9 divide 80/36*3*3?
False
Let y(k) = -18*k - 8. Does 32 divide y(-5)?
False
Let d be 6/(-9)*-1*51. Let b = d - -50. Suppose -123 = -4*p + j, 4*p - 2*p + 4*j = b. Is p a multiple of 16?
True
Suppose k + 4*k + 10 = -5*o, 0 = -5*k + 10. Let q(y) = -3*y + 4*y - 6 + y - 4*y. Is q(o) a multiple of 2?
True
Let o = 87 - 33. Suppose 3*h - 5*h = -o. Is 15 a factor of h?
False
Let m(r) = -33*r - 3. Is m(-1) a multiple of 6?
True
Let i(z) = z + 16. Is i(8) a multiple of 24?
True
Suppose -2*y = 6 - 22. Does 4 divide y?
True
Is 9 a factor of 0 - -11 - (0 + 2)?
True
Let s = -38 + 59. Is s a multiple of 11?
False
Let d = -7 + 10. Suppose -17 - d = -2*t. Is 7 a factor of t?
False
Suppose 4*j + 3 + 9 = 0, -2*j = 3*i - 18. Does 4 divide (-9)/(-4)*i/3?
False
Let s(k) = 4*k**3 - 1. Let l be s(1). Suppose -5*h + 449 = -x, h - 2*h + l*x + 101 = 0. Suppose 0*r + f = -4*r + h, -4*f = -r + 18. Does 22 divide r?
True
Let g = 12 + 3. Let f = g + 0. Does 7 divide f?
False
Let t(o) be the second derivative of -o**5/20 - 5*o**4/12 + o**3/2 - 13*o**2/2 - 6*o. Does 2 divide t(-6)?
False
Let x(z) = 5*z**2 - 3*z - 17. Does 10 divide x(-4)?
False
Suppose 5*k + a = -82, -7*a = -k - 4*a - 26. Let p be 2/(-6) - (-52)/(-6). Is k/(p/6 + 1) a multiple of 17?
True
Let l be (-32)/(-20) + 2/5. Suppose -160 = -l*f - 2*f. Is f a multiple of 8?
True
Suppose 15*c - c = 1470. Does 16 divide c?
False
Let t(h) = h**2 + 63. Is t(0) a multiple of 21?
True
Is 8 a factor of -6*(184/(-12) - 1 - 4)?
False
Suppose h + 3*h = n + 176, 3*h + 5*n = 132. Is h a multiple of 4?
True
Let z(y) = -4*y**3 - 3*y**2. Let h(m) = -m**2 + 1 + 0 + 1. Let x be h(2). Does 10 divide z(x)?
True
Is 45 + (-11)/(-55) + (-16)/5 a multiple of 2?
True
Let c(z) = -z**3 - 3*z + 2 - 4*z**2 - 4 + 0. Let i be c(-3). Let j(m) = -2*m**3 - 2*m**2 - 3*m - 1. Is 4 a factor of j(i)?
False
Let r(v) = v + 2. Let a be r(1). Is (-168)/(12/(-4)) - a a multiple of 13?
False
Let o(d) = 93*d**3 - d**2 - 3*d + 4. Is o(1) a multiple of 18?
False
Suppose -14*z - 2*z + 864 = 0. Is 27 a factor of z?
True
Let q(j) = j + 2. Let f be q(0). Suppose 14 = -f*k - 0*k. Let i = 13 + k. Is 6 a factor of i?
True
Suppose 0 = z + 12 + 51. Let y = z - -115. Suppose -l + y = l. Is l a multiple of 13?
True
Let s = -10 - -12. Is s/(-1)*(-126)/4 a multiple of 11?
False
Let y = 6 - 4. Is 11 a factor of ((-2)/4)/(y/(-136))?
False
Suppose 3*m - 362 - 289 = 0. Is 31 a factor of m?
True
Let s = 22 - -14. Does 4 divide s?
True
Let v(b) = -3*b**3 + b**2 + 3*b + 3. Let x(w) = w**3 + 4*w**2 + 5*w + 4. Let s be x(-3). Is 16 a factor of v(s)?
False
Let w(a) = -a**3 + a**2 + 5*a + 4. Is 15 a factor of w(-3)?
False
Let y be (9/6)/(9/24). Suppose 0 = -y*b - 11 + 43. Is b a multiple of 8?
True
Suppose -4*u = 117 - 373. Is 13 a factor of u?
False
Suppose -4*j - 7*y + 2*y + 23 = 0, -5*j - 3*y + 19 = 0. Let k be j/(2 + (-272)/134). Let r = -40 - k. Is 9 a factor of r?
True
Does 29 divide 227 + 7 + -1 + -1?
True
Let r be (-2 + 1)*-4*1. Suppose -4*p = -r - 52. Is p a multiple of 7?
True
Suppose 2*w - 7*w - 45 = 0. Let r = w - -41. Does 16 divide r?
True
Suppose 4*o + 20 = -0*o. Let x = 40 + o. Is x a multiple of 21?
False
Suppose 7*c = 2*c - 4*o - 9, -5*c + 5*o = 45. Let d = c + 1. Does 10 divide (-1 + 43)*d/(-6)?
False
Suppose 0 = -u + 5, -3*v - 2*u + 238 = v. Is 19 a factor of v?
True
Suppose 0 = 3*n - 0*n + 4*l - 82, -n + 25 = -l. Suppose 0 = 5*o - 79 - n. Let z = 39 - o. Is 9 a factor of z?
True
Suppose 5*x - 3*i = -2*i + 155, 5*x + 2*i - 140 = 0. Is 10 a factor of x?
True
Let g(u) = 0*u**2 - u**3 + 4*u + 0*u**2 + 2. Is g(-3) a multiple of 14?
False
Let r(x) = 2*x - 3 + 0 - 8*x + 7. Does 10 divide r(-6)?
True
Is (-377)/(-52) - 2/8 a multiple of 4?
False
Let s be (2 - (3 - 0)) + 11. Suppose 7*d + 24 = s*d. Is 4 a factor of d?
True
Suppose 94 + 141 = 5*q - k, -235 = -5*q + 4*k. Is q a multiple of 16?
False
Let x(r) = -r**3 - r**2 + 2*r - 1. Let m be x(-2). Let c = 2 - m. Suppose 0 = c*g - 120 + 48. Does 8 divide g?
True
Let x be (-429)/(-6)*2*-1. Let z = x - -283. Is (z/(-50))/(2/(-10)) a multiple of 8?
False
Suppose 0 = -4*z + 49 + 415. Is 12 a factor of z?
False
Let t(o) be the third derivative of -o**6/120 - 7*o**5/60 - o**4/6 - 4*o**3/3 - 5*o**2. Is 10 a factor of t(-7)?
True
Suppose v = 2*v - 141. Is 31 a factor of v?
False
Let u(i) = -i**3 + 10*i**2 - 25. Does 14 divide u(9)?
True
Suppose 3*f = -t + 24, 4*t + 19 = 5*f - 21. Does 8 divide -24*(f/3)/(-4)?
True
Let a be -6 - 0*1/(-3). Let g(t) = t**3 + 9*t**2 + 4*t + 4. Let j be g(a). Suppose -4*u + j = -0*u. Is u a multiple of 7?
False
Let j = 4 - 2. Suppose -j*w + 88 + 52 = 0. Does 12 divide 4/6 - w/(-3)?
True
Suppose -9 = -4*f + 79. Suppose u - f - 14 = 0. Does 18 divide u?
True
Suppose -6 + 0 = -f + 4*z, -10 = 4*f + z. Let o = 6 + f. Suppose o*q - 9 = 15. Is 3 a factor of q?
True
Suppose -2*t - 1 = -3. Let y be (4 - 0) + (1 - t). Does 11 divide (12/9)/(y/78)?
False
Let c(w) be the second derivative of w**5/20 + w**4/6 - w**3/2 + w**2/2 - 2*w. Let a be c(3). Is a/3 + 2/(-6) a multiple of 12?
True
Suppose a + 33 = 2*a. Does 13 divide a?
False
Suppose -12 = 4*q, 4*q + 6 = -4*i - 18. Let z be (-1)/(-1) - i/3. Suppose p = -5*m + 23, 3*m - 9 = -p - z*p. Is 5 a factor of m?
True
Suppose h + b - 4*b + 13 = 0, 4*h - b - 3 = 0. Suppose -h*c + 76 = -0*c. Is c a multiple of 19?
True
Let c = 171 - 75. Is c a multiple of 6?
True
Let v(u) = 12*u**2 + 4*u - 1. Let c be -2*2/4 + -2. Let k be v(c). Suppose 12 = 4*l, -5*l = -5*i + 50 + k. Is 20 a factor of i?
False
Suppose 4*j = 4*s - 87 + 7, 3*s - 48 = -3*j. Is 3 a factor of s?
True
Suppose 3*v - 6*v + 5*m - 29 = 0, 4*m = 2*v + 20. Suppose a + 3*r - 14 - 5 = 0, -9 = -3*r. Let n = v + a. Is n a multiple of 2?
True
Does 12 divide (-3)/((-3)/96*4)?
True
Suppose -5*s = 4 + 6. Let p = s - -26. Does 12 divide p?
True
Let r(y) = -107*y - 27. Does 49 divide r(-3)?
True
Let j(a) = a**3 + a**2 - a + 12. Is j(0) a multiple of 7?
False
Let q(f) = 32*f**2 - 20*f - 9. Let d(r) = 11*r**2 - 7*r - 3. Let w(n) = -11*d(n) + 4*q(n). Let c be w(3). Suppose 0 = -0*g + 3*g - c. Does 6 divide g?
False
Suppose y - 1 - 1 = 0. Suppose -y*q = -2 - 18. Let o = 30 - q. Does 20 divide o?
True
Let a be (8 - (-3 - -1))/(-1). Let r = a + 21. Is 11 a factor of r?
True
Suppose -2*l = 2*u + l - 58, -4*u + 118 = 5*l. Is 8 a factor of u?
True
Let k be 4/10 - 77/5. Let y = k + 33. Is y a multiple of 9?
True
Suppose 3*n = n - 40. Does 9 divide (15/n)/(2/(-32))?
False
Let s(y) be the third derivative of 61*y**6/120 - y**5/30 + y**4/12 - y**3/6 + y**2. Does 15 divide s(1)?
True
Suppose -4*f + 8*f = 276. Does 23 divide f?
True
Suppose k = 0, -4*y + k + 368 = -0*k. Is y a multiple of 26?
False
Suppose -4*l + 7 = -1. Suppose -3*d = -l*d - 9. Is 7 a factor of d?
False
Let g(u) = 13*u - 6. Is 7 a factor of g(3)?
False
Let i(g) = 3*g**3 - g**2. Let x be i(1). Is 25 a factor of 50/((-2)/(-4)*x)?
True
Suppose -6 = -i - i. Let j = -33 - i. Let d = j + 59. Does 8 divide d?
False
Suppose -5*o = -o + 84. Let n = -18 - -24. Does 24 divide ((-108)/o)/(n/56)?
True
Let d(q) = q**3 + 3*q**2 + 2*q + 3. Let j be d(-3). Let x be (1 - -1)*(-3)/j. Suppose x*c - 20 = 48. Is c a multiple of 22?
False
Let q = 91 + -55. Does 10 divide q?
False
Let y(i) = -i**3 - 8*i**2 - 5*i - 4. Does 18 divide y(-8)?
True
Suppose g - 6 = -4. Suppose -w - 5*f = -f - 28, -f = -g*w + 38. Is 14 a factor of w?
False
Suppose 7*v - 195 = 4*v. Is 11 a factor of v?
False
Suppose 0 = -3*i - 5*u + 229, -179 = -3*i + 2*u + 3*u. Is 17 a factor of i?
True
Suppose 7*o = 4*o. Let w(s) = -4*s - 25. Let t(f) = 5*f + 26. Let q(n) = -3*t(n) - 4*w(n). Is q(o) a multiple of 22?
True
Suppose 5*t + 117 = 2*t. Let f = -27 - t. Is f a multiple of 4?
True
Let g(f) = f**2 - 6*f - 26. Is 3 a factor of g(10)?
False
Let u(y) = y**2 + 12*y + 9. Is 3 a factor of u(-12)?
True
Let d(y) = -y - 2. 