 -3*o. Is 12 a factor of q?
True
Suppose 4*p + 21 = 3*z, 5*z + 11 = -3*p - 12. Let d = p - -10. Is d a multiple of 4?
True
Let d be 4 + 3 + -2 + -1. Suppose d*z = 3*l + z - 39, -4*l + 87 = 3*z. Does 6 divide l?
True
Is (-2)/14 - 129/(-21) a multiple of 6?
True
Let l(x) = -x**3 + 7*x**2 + 8*x + 9. Let p be l(8). Suppose 0 = -f - 0*f. Let q = f + p. Does 9 divide q?
True
Suppose 5*o + 15 = 3*j - 12, -4*j - 2*o = -36. Does 6 divide 8/12*2*j?
True
Let f be (-2)/(-6) + 10/6. Let y(s) = 3*s**3 + 6*s**2 + f + 3 - 4*s**3 + 2*s**3. Does 15 divide y(-5)?
True
Let g(i) = i**3 + 5*i**2 - 20*i - 7. Does 7 divide g(-7)?
True
Is (-10)/6*(-23 + 2) a multiple of 15?
False
Let v = -2 + 2. Let y = -3 - v. Let i = y + 9. Does 6 divide i?
True
Let b(r) = 10*r**2 + 3*r + 3. Let d be (8/(-10))/(4/10). Is 12 a factor of b(d)?
False
Let u be 4/(-3)*9/6. Let b = u + 14. Does 5 divide b?
False
Let z = -75 + 7. Let j = 110 + z. Suppose -j = -3*s - 3. Does 13 divide s?
True
Let g be -2*(-219)/(-6)*-3. Suppose -264 = -7*h + g. Is h a multiple of 21?
False
Suppose -10 + 1 = -k. Suppose 4*q = 3 + k. Does 2 divide q?
False
Let l(m) = 1 - 5 + 6*m**3 + 2*m + 3 - 4*m. Does 17 divide l(2)?
False
Let c = 1547 + -992. Suppose -5*y - 3*p + c = -21, -5*p + 570 = 5*y. Suppose -j = 2*j - y. Is 21 a factor of j?
False
Suppose -f - 2*f = -3*x + 54, -3*x + 60 = -f. Suppose 6 = 2*i - 0. Suppose -18 - x = -i*z + 2*d, -z - 4*d = -27. Is 15 a factor of z?
True
Let j be -3*(-2 + 2/6). Let w be 15/j*(-52)/(-3). Let s = w + -16. Is s a multiple of 18?
True
Let n = 18 + -8. Does 16 divide (24/(-14))/(n/(-105))?
False
Let b be -2*(0 + (-1)/2). Suppose -3*g + 7 - b = 0. Is 11 a factor of (22 - (0 + g)) + 2?
True
Suppose c = 3*z - 290, 2*c = -z + 36 + 63. Is z a multiple of 25?
False
Is -3 - (16 + -17 - 260*1) a multiple of 16?
False
Suppose 0 = 3*p - 30 - 24. Let l = p - 4. Let v = l - -1. Is v a multiple of 8?
False
Suppose 3*r + r = 8. Suppose -r*l + 66 = -140. Suppose 0 = 5*b + 18 - l. Is 14 a factor of b?
False
Suppose -2*z + 8 = -7*z - 3*h, 0 = -5*z - 5*h. Is z/(-12) - (-82)/6 a multiple of 13?
False
Suppose 0*g + 9 = 5*d + 3*g, 3*d - 4*g = 17. Suppose 2*v - v = -d. Is 6 a factor of (v*(-30)/9)/1?
False
Let m = 417 - 287. Let p = -31 + m. Is 30 a factor of p?
False
Let t be 2 + (-2 + 0 - 0). Suppose t = -3*n + 4*n - 17. Is n a multiple of 11?
False
Let z(r) = 2*r**2 - 5*r. Does 22 divide z(8)?
True
Let s(i) be the second derivative of -i**6/120 - i**5/30 - i**4/12 + i**2 + 2*i. Let c(l) be the first derivative of s(l). Does 6 divide c(-3)?
False
Suppose -n + 614 = 2*x, -2*x + 622 = -5*n + 2*n. Is x a multiple of 44?
True
Let x = 2 + 5. Does 6 divide x?
False
Suppose -3*z = -3*y + 12, 0 = 5*z + 4*y - 21 + 5. Suppose 2*u - 2 - 62 = z. Is u a multiple of 16?
True
Let v(s) = s**2 - 2*s - 2. Let x be v(-8). Suppose -264 = -3*m - x. Let z = m + -43. Does 8 divide z?
False
Let h(m) = -2*m**3 - m**2 - 2*m - 1. Let o be h(-1). Suppose -l + 61 = 4*p, o*p = 3*l + p - 118. Is 13 a factor of l?
False
Let s = -13 - -14. Is (1/3)/(s/39) a multiple of 13?
True
Suppose -16 = -4*r - 2*p, 3*r + p = 16 - 6. Suppose -5*u = 4*k - 12, r*k = u - 0 + 6. Suppose -2*o + 29 + 5 = u. Does 17 divide o?
True
Suppose -m = -6 + 1. Is 7 a factor of 2 - 5 - m*-2?
True
Let x(d) = d + 2. Let k(l) = l + 3. Let g(a) = -3*k(a) + 2*x(a). Let u be g(-8). Suppose u*j - 45 = 2*j. Is 14 a factor of j?
False
Suppose 0 = -12*x + 7*x + 190. Does 10 divide x?
False
Let f(a) be the first derivative of 1/3*a**3 + 12*a - 5*a**2 + 2. Is f(9) a multiple of 3?
True
Suppose -257 - 43 = -6*w. Is w a multiple of 18?
False
Suppose 48 = -0*g + 3*g. Is 4 a factor of g?
True
Let a = -8 - -6. Let v(s) = s**3 + 3*s**2 - s. Is v(a) a multiple of 6?
True
Suppose b = 2*c, -c - 30 = 5*b - 8. Does 13 divide (c - -1*28) + 0?
True
Suppose -4*c = -0*c + 132. Let k be c/(-7) - 6/(-21). Suppose -3*h = k*a - 141, a + h = -4*a + 147. Is 11 a factor of a?
False
Let l(m) = m**3 + 5*m**2 - 7*m - 5. Let v be l(-6). Let d be v/((-2)/96*-1). Let b = d - 34. Is 7 a factor of b?
True
Let d = 0 + 2. Suppose 72 = 4*s + d*p, -3*s + 0*s = -2*p - 47. Let g = s + 5. Is 9 a factor of g?
False
Suppose -4*i - 5 = -9*i. Suppose -v + 3 = -i. Suppose -v*z - 31 + 103 = 5*s, -z + 18 = -2*s. Is 10 a factor of z?
False
Suppose -3*v - 4 = w, -4*w + 3*v - 4 = -3. Let f = w - -2. Suppose 5*r - f - 6 = -q, -5*r = -2*q - 1. Is 2 a factor of q?
True
Let x = -40 - -60. Suppose 0 = -u - 4*u + x, -3*u = 3*j - 24. Is 4 a factor of j?
True
Is 11 a factor of (-516)/(-10)*50/15?
False
Is 75/(-10)*(-64)/10 a multiple of 19?
False
Let j(d) = d**2 - 5*d - 1. Let f be j(5). Let b = f + 17. Is b a multiple of 8?
True
Suppose -2*h = 5*n + 8 - 67, -h = -4*n - 10. Suppose -b = -2*i + 4*i - 3, 4*b - 4*i = 0. Suppose -4*p = j + 3 + b, -4*j = -3*p - h. Does 2 divide j?
True
Let f(w) = w + 5*w + 1 + 2*w. Let l be f(1). Suppose -2*k + 80 = 5*r, 2*r = 3*k + 4 + l. Is 7 a factor of r?
True
Let x = 2 - 0. Let j be 45/10 + (-1)/x. Suppose s + 7 = 3*p + 36, -90 = -5*s + j*p. Does 7 divide s?
True
Let d be ((-3)/(-9))/((-1)/(-6)). Is 5 a factor of (d*13/(-2))/(-1)?
False
Let p = -45 + 102. Does 19 divide p?
True
Let m(c) = -c**3 - 10*c**2 + 8*c + 2. Suppose -3*s + 16 = 4*f - 13, -9 = 2*s - 3*f. Suppose -s*l + 0*l = 33. Does 11 divide m(l)?
False
Let q = 41 + -21. Does 17 divide q?
False
Let b = 8 - 4. Let m(g) = 9*g - 3. Does 11 divide m(b)?
True
Let c = 25 + -18. Let y(u) = u**3 - 8*u**2 + 7*u + 4. Let p be y(c). Is 4 a factor of 7/2 - (-6)/p?
False
Suppose 0 = -6*n + 51 + 99. Does 5 divide n?
True
Let u = 11 - 8. Suppose -4*b + 0*b + 5*q + 191 = 0, -u*b + 143 = -4*q. Is 13 a factor of b?
False
Let a(z) = z**3 + 31*z**2 - 5*z - 27. Is 16 a factor of a(-31)?
True
Let t(m) = m**3 - 10*m**2 + m - 4. Let w be t(10). Let l = w + -3. Is 3 a factor of l?
True
Suppose -2*f - 4 = -2, 0 = c + 5*f + 3. Suppose -c*k + 450 = 4*k. Is 24 a factor of k?
False
Let f(k) = 3*k + 5. Let r be f(10). Let s = r - -1. Is 11 a factor of s?
False
Let n(g) be the first derivative of g**5/20 - 2*g**4/3 - 3*g**3/2 + 5*g**2 - g + 1. Let u(z) be the first derivative of n(z). Does 5 divide u(9)?
True
Suppose 0*o - c - 15 = -3*o, 4*c = -3*o. Let r(u) = o + 2*u + 2*u - u. Does 11 divide r(4)?
False
Let y = 53 + -20. Is 10 a factor of y?
False
Let f = 1 + 1. Let q be (-5 + 2)/(f/(-58)). Suppose 56 = 3*m - 2*y, -2*m - 3*m + q = 3*y. Is m a multiple of 9?
True
Suppose 0 = -o + 6*o. Suppose 4*a - 8 = -2*i - 2*i, 0 = 5*i + a - 10. Suppose o = -2*q - i*z + 3 + 11, 5*q + z - 23 = 0. Is 4 a factor of q?
True
Suppose -3*z + 8*z = 0. Let r = z - -16. Does 8 divide r?
True
Suppose 25 = 5*h, -2*z + 2*h = -0*z - 120. Is z/7 - 30/105 a multiple of 9?
True
Suppose -33 = -4*q - 1. Does 8 divide q?
True
Let j = -44 - -71. Let m(o) = -o**2 - 10*o. Let i be m(-5). Suppose -i = 3*c - 8*c, -4*b + j = -5*c. Is b a multiple of 13?
True
Suppose -252 = -4*d + 192. Is 9 a factor of d?
False
Let z(j) = j**2 - 5*j + 2. Is 13 a factor of z(10)?
True
Let p = -5 + 6. Let z be (-2 + 6)*p/2. Suppose -y = z*u - 54, 3*y = -3*u + y + 83. Does 12 divide u?
False
Let n(j) = -2*j + 2*j**3 - 3*j**2 - 11 + 8 + 4*j. Suppose -4*a - y = -5*a + 8, 4*y = -4*a - 8. Is 11 a factor of n(a)?
False
Let s(r) = r**2 - 3*r - 7. Let h = 10 + -5. Let i be s(h). Is (1*i)/((-18)/(-48)) a multiple of 8?
True
Let x = 50 - 20. Suppose -3*r + 26 = -5*w - x, -2*r = 3*w - 50. Does 10 divide r?
False
Let a(y) = -6*y**3 - 2*y**2 + 7*y - 1. Let l(x) = -5*x**3 - x**2 + 6*x - 1. Let v(i) = -6*a(i) + 7*l(i). Is 17 a factor of v(-3)?
True
Let r = -143 + -242. Does 21 divide r/(-9) - (-6)/27?
False
Let d = 124 + -74. Does 10 divide d?
True
Is 34 a factor of (0/3 + -19)*-5?
False
Let m(v) = -6*v. Suppose -k + 10 = 2*b + 3, 0 = 3*b - 2*k. Let z be m(b). Let c = z + 35. Is c a multiple of 23?
True
Let p = 2 + 2. Suppose 1 = -5*z - p. Let l(w) = -28*w. Is 14 a factor of l(z)?
True
Let u be -1 - (-1 + 0/3). Is (-7 + u)*(1 + -2) a multiple of 3?
False
Let m(s) be the second derivative of s**3/6 - s**2 + s. Let b be m(3). Let v = b - -8. Is 9 a factor of v?
True
Suppose -13*y + 12*y = -126. Is 6 a factor of y?
True
Suppose 5 = n + 3. Suppose -3*w + n*h + 20 = 0, -2*w + 6*h - h = -17. Let x(u) = 2*u - 8. Is x(w) even?
True
Let f