ctor of p?
False
Suppose -25*z = -7*z - 6732. Does 17 divide z?
True
Suppose c - 35 = -2*t - 2, -4*c + 132 = -5*t. Is 3 a factor of c?
True
Suppose 2*a = 2*c + 24, -5*c - 3*a = 72 + 4. Let z = c - -8. Is 2 a factor of (14/z - 0)*-3?
False
Suppose -4*b - b + 78 = i, -3*b - 3 = 0. Does 10 divide i?
False
Let d(u) = -2*u**2 + 3*u - 1. Let r be d(2). Let w(a) be the second derivative of a**4/4 - a**3/2 - 3*a**2/2 - 3*a + 9. Is 11 a factor of w(r)?
True
Let p = -335 - -440. Is p a multiple of 57?
False
Suppose 9*b - 403 = 5537. Is b a multiple of 59?
False
Suppose 93 = o - 56. Is 4 a factor of o?
False
Let n(o) = -o**3 + 4*o**2 + 2*o + 1. Let c be n(-5). Suppose -5*a = a + c. Let h = a - -62. Is h a multiple of 13?
True
Let z = -1612 - -2392. Is z a multiple of 20?
True
Let n(v) = -v**3 + 6*v**2 - 4*v - 2. Let s be n(5). Let f = s - 26. Let g = -9 - f. Does 6 divide g?
False
Suppose -2*l + 5 = -1. Let t(y) = 9 - 13 - 4*y - y**l - 10*y**2 + 0*y**3. Is t(-10) a multiple of 11?
False
Suppose 0*p = 3*u - 5*p - 2145, 5*u - 3597 = p. Does 18 divide u?
True
Suppose -185 = -7*v + 2*v + 2*c, 4*v - 135 = -c. Is v a multiple of 4?
False
Suppose 9396 = 5*g - 2*u, 5*u - 9414 = -5*g - 2*u. Is g a multiple of 40?
True
Suppose -2*n = -3*x - 5180, 5166 = 2*n - 2*x + 6*x. Is 13 a factor of n?
True
Let z be (3 - 6)/(-6 - -3). Let u be (-1*10)/(-2) - z. Suppose u*v - 73 = -5. Does 16 divide v?
False
Let l be 18 + ((-2)/(-2) - 0). Suppose 4*d - 85 = l. Is 26 a factor of -16*d*(-3)/12?
True
Let h be (-1)/6*2*-3. Let r be (h + -3)*3/6. Let j(f) = -9*f. Does 8 divide j(r)?
False
Let s be ((-1570)/25)/((-2)/10) - 4. Suppose 0*p = 2*o + 2*p - 118, -s = -5*o - 2*p. Is o a multiple of 4?
True
Let o be -131 - (-3 + 1)/(-2). Does 12 divide ((-16)/(-12))/((-8)/o)?
False
Suppose 4*f - 4*v - 2632 = 0, 3*v = 5*f - 0*v - 3288. Suppose f = 5*b + k, 5*k + 76 = 2*b - 176. Is 31 a factor of b?
False
Let t be ((-7)/(-2) + -2)/((-9)/(-18)). Does 19 divide (-96)/(t - (6 - 2))?
False
Suppose 67662 = 32*i + 22*i. Is 68 a factor of i?
False
Suppose -9628 = -5*l + 4*s, -l = -3*s - 1848 - 82. Is l a multiple of 13?
True
Let m = 0 + 3. Suppose 4*y = -t + 8, -2*y + m*y = -5*t + 21. Suppose -2*g + 4*g + 5*d = 57, 0 = t*d - 20. Does 6 divide g?
False
Let q(g) = -g**2 - 16*g - 12. Let c be q(-15). Is (6/8)/(c/288) a multiple of 24?
True
Let n be (-1)/(-3) + 366*(-24)/(-54). Let r = n + -39. Does 15 divide r?
False
Let q(z) = 3*z**3 - 7*z**2 + 3*z - 18. Does 44 divide q(6)?
True
Is 2*(-1)/(-6)*(-12 - -2733) a multiple of 15?
False
Suppose -3*n = -10*n + 280. Is 3 a factor of -3 - n/(-15) - (-26)/6?
False
Let w be (4/(-5))/(24/420). Let u = 34 + w. Is u a multiple of 20?
True
Does 80 divide (-128)/(-96) - 8396/(-3)?
True
Let v be (-3)/5*30/(-6). Suppose 0 = -2*h - 1 + 47. Let s = h - v. Is s a multiple of 10?
True
Let l(k) = 9*k**2 - 14*k + 33. Is 3 a factor of l(5)?
False
Let n(x) = -510*x**3 - 4*x**2 - x - 2. Is 5 a factor of n(-1)?
True
Is (-7 + (-490)/10)*-3 a multiple of 84?
True
Let j(s) = s**2 + s - 24. Let g be j(0). Let z be (-18)/(-8) - (-6)/g. Suppose 0*k - w = 4*k - 275, z*w - 67 = -k. Is k a multiple of 21?
False
Suppose 0 = -29*j + 16 + 100. Is j a multiple of 2?
True
Let s = -4 + 8. Let y be s*(9/6)/3. Suppose -y*x - 8 = -3*r, 2*r - r + 3*x - 21 = 0. Does 4 divide r?
False
Let c be (2 - 3)/(7/(-1365)). Let j(m) = m**3 + 4*m**2 - m - 3. Let g be j(-3). Is 3 a factor of c/10*6/g?
False
Suppose -8*a = -2748 + 12. Does 10 divide a?
False
Let t(g) be the second derivative of -g**3 - g**2/2 + 3*g. Let b be t(-1). Suppose z + 4*z - 284 = -h, -4*z - b*h + 223 = 0. Does 23 divide z?
False
Let n = 117 + -30. Is 3 a factor of n?
True
Suppose 0 = -108*n - 29263 + 203143. Is 5 a factor of n?
True
Suppose 8*g + 2788 = 12*g - 2*u, -4*g = 3*u - 2778. Is 9 a factor of g?
False
Let h(d) = -178*d - 521. Does 5 divide h(-7)?
True
Let s(j) = j**3 + 18*j**2 - 30*j - 49. Does 32 divide s(-19)?
True
Let c be 2923/15 - (-32)/240. Let y = -132 + c. Is y a multiple of 9?
True
Let b(h) = h**2 - 19*h - 4. Let s(m) = m**2 - 18*m - 4. Let w(i) = 5*b(i) - 6*s(i). Is 23 a factor of w(7)?
True
Suppose -x + 285 = -300. Does 18 divide x?
False
Let m(i) = -3*i + 13. Let p be m(12). Let x = p - -67. Is 7 a factor of x?
False
Let f be -3*3*(-3)/9. Suppose 4*j - 102 = -5*c, -f*c + 8*c - 4*j - 78 = 0. Is 9 a factor of c?
True
Let i = -6 - -10. Let j(q) be the third derivative of q**4/6 - 2*q**3/3 + 25*q**2. Is 4 a factor of j(i)?
True
Let n be 16/(-10)*45/(-18). Suppose -2*o + 2 = -n. Suppose o*w = 2*w + 17. Does 4 divide w?
False
Let o = 100 - 51. Suppose 3*z + w - o = 0, 3*z - 7*z - 3*w + 67 = 0. Is z a multiple of 3?
False
Let b = 1761 - 1629. Is b a multiple of 4?
True
Suppose 0 = 2*m + m + 33. Let b = m - -23. Is b a multiple of 12?
True
Let t = -6 - -3. Does 32 divide t*(-24)/(-9)*-16?
True
Let o be 1304/(-12) - (-10)/15. Let h = 157 + o. Is 12 a factor of h?
False
Suppose 0*w + 7 = w. Suppose 4*z + z + w = 3*u, u = 4*z. Suppose 72 = 3*f - u*y + 13, -3*f + 5*y + 55 = 0. Is f a multiple of 8?
False
Does 21 divide (77/(-14) + 9)/((-2)/(-12))?
True
Let y(o) = o**3 + 8*o**2 - 9*o + 2. Suppose 0 = 5*s + 4*c - 3*c + 40, -2*s + 2 = 4*c. Let b be y(s). Suppose -b*u = 3*u - 295. Does 9 divide u?
False
Suppose 0 = 4*b - 3*f - 40, 2*b - 31 = f - 13. Is b/((-11)/22*(-1)/2) a multiple of 9?
False
Let d(o) = -o**3 + 4*o**2 + 12*o - 23. Let l be d(5). Suppose 5*s + 15 + 25 = 0. Is 14 a factor of -4*(l/s + -2)?
True
Suppose -3*w = -9*w - 30. Does 3 divide (-23)/(-7) - w/((-210)/12)?
True
Let v(g) be the first derivative of g**4/12 - 7*g**2/2 + 5*g + 1. Let c(l) be the first derivative of v(l). Does 15 divide c(6)?
False
Suppose 5 - 4 = -o. Let v(d) = -2*d**3 - 4*d**2 + 2*d - 10. Let t(u) = u**3 - u**2 - u + 1. Let a(p) = o*v(p) - 3*t(p). Is 9 a factor of a(7)?
False
Suppose 0*p - 21312 = -37*p. Does 14 divide p?
False
Suppose 0 = -5*p - 45 - 0. Let i = p - -52. Is i a multiple of 18?
False
Let z = -3896 + 7705. Is 13 a factor of z?
True
Suppose -4*y + 132 = -0*y. Suppose 0 = 2*c - w - 243, 510 = 4*c + w + y. Does 8 divide c?
True
Suppose 0 = -3*j + 2*j + 11. Let c = -4 - -2. Let y = j - c. Is 13 a factor of y?
True
Let p = -503 - -558. Does 3 divide p?
False
Let y = 90 + -68. Let v be (-18)/(-4) - 3/6. Suppose 122 = v*p - y. Is p a multiple of 12?
True
Let c = -328 + 315. Let z be -25 + (-2 - (2 + -3)). Let u = c - z. Does 13 divide u?
True
Let g = 11 + 8. Let q(h) = -21*h + 47*h - g*h + 8. Does 11 divide q(13)?
True
Let y(s) = -s**3 + 12*s**2 - 5*s + 10. Is 14 a factor of y(6)?
True
Suppose 3*g - 182 = -2*t, 0 = 2*t - 2*g - 84 - 118. Does 5 divide t?
False
Suppose -84 = 11*x - 4*x. Let p(j) = -j**3 - 13*j**2 - 16*j - 11. Does 23 divide p(x)?
False
Suppose -3*q - 35 = -4*y - 10, -5*y + 4*q = -32. Suppose -4*p - 265 = -y*s + p, 3*s = -3*p + 219. Is s a multiple of 35?
True
Suppose -3*c + 105 = -9. Suppose 7 + c = 4*u + m, -19 = -2*u + 3*m. Let o = -1 + u. Is 3 a factor of o?
False
Does 56 divide ((-14)/(-28))/(-1*(-2)/8668)?
False
Let r be (-2)/(-4) + (-38)/4. Is 28 a factor of (r + 37)*18/(-8)*-2?
False
Let h(p) = p**3 - 21*p**2 - 2*p + 45. Let r be h(21). Is (-2 + r)*1*90 a multiple of 10?
True
Suppose -24 = 6*l - 0. Does 13 divide 4 + l*2 + 27?
False
Suppose -2*n + 6 + 4 = -2*p, -5*p + 5 = 0. Let c be 35/15 + n/9. Suppose -2*k - 2*o + 5*o = -230, -5*k - c*o = -533. Is k a multiple of 19?
False
Suppose -4*y - 2*m + 4 + 2 = 0, 0 = 4*y + 5*m + 9. Suppose y*o + 2 - 14 = 0. Suppose -s + 16 = -3*j + 59, 0 = -o*j - 3*s + 63. Is j a multiple of 16?
True
Suppose 5*a - 51 = 89. Suppose 4*g + 32 = -a. Does 6 divide 12/40*-4*g?
True
Let z be (8/8)/((-1)/(-20)). Let p be 1 + -2 + 4 - 0. Suppose -z = 2*b + p*b, b - 32 = -4*c. Does 3 divide c?
True
Suppose 0 = t - 9 - 14. Suppose -4*i = 3 - t. Suppose -2*s = 3*r - 90, -i*r - s = 4*s - 155. Does 28 divide r?
True
Suppose d = 3 - 0. Let u(t) = -13*t - 4. Let o(v) = 40*v + 12. Let f(x) = -3*o(x) - 10*u(x). Is 34 a factor of f(d)?
True
Is ((-12)/8)/3*-506 a multiple of 9?
False
Let b = -41 + 46. Suppose 4*i = b*j + 136 + 377, -5*j = -3*i + 381. Is 33 a factor of i?
True
Let o = 358 + -185. Is 12 a factor of (o/(-4))/(-1) + 4/(-16)?
False
Let b(i) be the first derivative of -i**3/3 - 2*i**2 - 2*i + 