a factor of m?
False
Suppose 3*z = -0*z + 5*z. Suppose -4*p + 5*d + 310 = z, 0*d + 3*d - 86 = -p. Is p a multiple of 12?
False
Suppose 23*i - 33917 = -5903. Does 21 divide i?
True
Suppose 0 = -19*z + 312 + 258. Does 2 divide z?
True
Is 39 a factor of (-33)/(-88) - (-4421)/8?
False
Let k = -235 + 675. Is 55 a factor of k?
True
Let f(s) = 76*s**2 - 13*s - 12. Does 20 divide f(-1)?
False
Let t(h) = 3*h**2 + 33*h + 60. Is t(-21) a multiple of 23?
True
Let j(b) = -b**2 + 3*b + 27 + b + 0*b - 3*b. Is 2 a factor of j(0)?
False
Suppose -2*q + 9*q = 0. Suppose 5*c + v - 448 = q, 3*v = -v - 8. Does 9 divide c?
True
Let f be (-1)/2*-34 - 2. Suppose 3*j - f = 2*j. Suppose -4*z + j = z. Is z a multiple of 3?
True
Suppose 340 + 5 = -3*f. Let m = -22 + 10. Is 4/m + f/(-3) a multiple of 14?
False
Suppose 0*k = -12*k + 13392. Does 12 divide k?
True
Let b = 81 + -36. Let t = b - 5. Let h = t + -19. Is 7 a factor of h?
True
Let t(r) be the first derivative of -56*r**2 + 3*r + 7. Does 27 divide t(-1)?
False
Suppose 2*p - 4 = -0. Let i = p - -1. Suppose i = 5*n - 4*n. Is n a multiple of 3?
True
Let b(d) = 14*d**2 + 10*d + 1. Let h be b(7). Let r = 1487 - h. Does 7 divide 1/(-6) - r/(-60)?
False
Let q = -15 + 14. Let c(b) = -4*b**3 - 2*b**2 - 2*b - 1. Let v be c(q). Suppose -2*x - 20 = -m, -v*x - 29 = -3*m + 19. Is 9 a factor of m?
False
Let w = 509 + -495. Is w a multiple of 8?
False
Let d be (-14)/3*42/(-49). Suppose -d*p - p = 3*t - 531, -225 = -2*p + 3*t. Does 9 divide p?
True
Let n = 29 + -30. Let m(k) be the first derivative of -7*k**2/2 - 2. Is m(n) a multiple of 7?
True
Suppose -4*k - 11 + 23 = 0. Suppose -3*g + 4*g = -k*z + 1, 0 = -z + 4*g - 17. Let y(f) = 60*f**2 + f + 1. Is 15 a factor of y(z)?
True
Let v = -3 + 0. Let o be 57 + v + 3 + -4. Let y = 76 - o. Does 9 divide y?
False
Suppose -2*u + 4*u - 1176 = 0. Let t be 3/6*u/1. Suppose -2*c + 365 = 5*f, -3*f - f = 2*c - t. Is 15 a factor of f?
False
Let l be (-8)/3*12/1. Let d be 3/6*(-112)/1. Let u = l - d. Is 5 a factor of u?
False
Let z be -1 + (412 - 0/(-1)). Suppose z = 2*d + 5*j, -2*d - 5*j + 604 = d. Let n = -103 + d. Does 27 divide n?
False
Suppose 0 = -w - 3*w - 8. Let d be (4 - 6)/(w/4). Suppose -n = d*v - 71, -3*v + 53 = -0*v + n. Is 9 a factor of v?
True
Suppose -30*y = -22*y - 4280. Is y a multiple of 63?
False
Let v = 758 + -261. Is v a multiple of 12?
False
Let q(i) = 47*i - 28. Suppose -3*u + 18 = 3. Is 32 a factor of q(u)?
False
Let m(j) = j**3 - 14*j**2 - 14*j + 4. Let v be m(14). Let n = 308 + v. Is n a multiple of 12?
False
Is (-651)/(-465) - (-37786)/10 a multiple of 10?
True
Let g = 274 - 445. Let w = g + -68. Is w/(-6) + (-2)/(-12) a multiple of 18?
False
Suppose 15*i - 5880 = i. Is 42 a factor of i?
True
Let f(c) = 2*c**2 + 5*c - 8. Let z be f(-4). Suppose -o + z = -5. Is 9 a factor of o?
True
Suppose 4*t - 2*r - 50 = 0, -5*t + 3*r + 16 + 44 = 0. Let g(m) = -2*m**2 + 34*m - 18. Is g(t) a multiple of 10?
False
Let x(h) = 12*h - 34. Let a be x(7). Let l = a - -32. Is 13 a factor of l?
False
Let p = 14 + -29. Let a = p - -14. Is 4 a factor of (a + 0)/((-3)/51)?
False
Is (-123)/(-6)*16 - (1 - -3) a multiple of 5?
False
Suppose m + 8 = -2*t, 1 = 4*t - 11. Let u = -603 - 1417. Does 15 divide 2/m + u/(-28)?
False
Suppose -59 = 7*g - 9*g + 3*y, 0 = 3*g - 5*y - 87. Is 13 a factor of g?
False
Let i(b) be the second derivative of -1/20*b**5 + 1/2*b**4 - 5*b + 3/2*b**2 + 0 + 4/3*b**3. Does 10 divide i(7)?
True
Suppose -2*z = -1 - 9. Suppose 7*v = z*v - 56. Is (-3)/(12/v) - 0 a multiple of 2?
False
Suppose m + 2 = -2*b, -5*m = -4*b - 1 - 45. Let r be 57/m*(7 - 1). Suppose -3*z = -r - 24. Is z a multiple of 27?
True
Suppose 2*s = f - 2*s - 205, 3*f - 604 = s. Is f a multiple of 10?
False
Is (-32)/(-6)*1500/50 a multiple of 8?
True
Let p(i) = 6*i**2 + 14*i + 18. Let h(j) = 5*j**2 + 15*j + 19. Let w(q) = -5*h(q) + 4*p(q). Does 8 divide w(-17)?
False
Suppose -5*c = 3*l - 1397, 2*c = 15 - 7. Is 51 a factor of l?
True
Let a = 1 + 7. Let u(c) = c**2 - 2*c + 18. Let n be u(8). Suppose -5*l = -a*l + n. Does 11 divide l?
True
Suppose -4*q = -3*q - k - 3, 51 = 5*q + 4*k. Let s = 59 + q. Does 23 divide s?
False
Is 21*(-392)/(-48) + (-6)/4 a multiple of 17?
True
Let t be 5 + -2 + (-4)/1. Let n be (-2)/t*17/(-34). Is (72 - 0) + 2/n a multiple of 14?
True
Let j(k) = 102*k**2 + 23*k + 16. Is 69 a factor of j(7)?
True
Suppose -5*a + 5*p = 9 - 4, 9 = 3*a + p. Suppose 5*k = a*k + 291. Is 20 a factor of k?
False
Is 138/897 - 34004/(-26) a multiple of 6?
True
Let y = -3 - -15. Suppose 3*s = -24 - y. Let v = s - -33. Is v a multiple of 7?
True
Suppose 20 = -u - 87. Let z = -76 - u. Suppose -2*l - z + 121 = 0. Is 15 a factor of l?
True
Let h = 675 - 318. Is 26 a factor of h?
False
Let w = 1 - -2. Suppose -w*n + 58 = 313. Let a = n - -172. Is 13 a factor of a?
False
Let n = -22 - -5. Let o = n + 16. Is 4 a factor of (-154)/(-11) + o*1?
False
Suppose a - 586 = -4*a + 2*r, -3*r = 2*a - 223. Suppose -4*n = -4*q - 156, 3*n + 3*q = 7*q + a. Is 8 a factor of n?
True
Suppose -3325 = -20*d + 19615. Does 63 divide d?
False
Suppose -o + 4323 = 3817. Is 23 a factor of o?
True
Is 8/(-12)*-3*-2 - -16 a multiple of 7?
False
Let o be -1 + 16 + 3 + 1. Let q(k) = 0 + 0*k + 2 - o*k + 2. Is 7 a factor of q(-2)?
True
Let y = 1345 + -1317. Is 14 a factor of y?
True
Let a be (-1 - 2)*-1 + 1. Let i be 2 - (a/(-4))/1. Suppose 4*x - 20 = i*x. Does 5 divide x?
True
Suppose 40*u - 26*u = 4844. Is u a multiple of 8?
False
Suppose -3*z + 4*w + 944 = 0, -11*w = -9*w + 10. Is z a multiple of 44?
True
Let z(p) = 7*p + 26. Let j be z(11). Suppose 49 = 2*f + 3*q - j, 4*f - 276 = q. Does 35 divide f?
True
Let n = 242 + -37. Suppose 7*b - n = 2*b. Is 13 a factor of b?
False
Let p(m) = -2024*m. Let i be p(-2). Is (-2)/4 + i/32 a multiple of 14?
True
Let h(b) be the third derivative of -b**5/12 + 5*b**4/24 - 7*b**3/6 - 6*b**2. Let i(p) be the first derivative of h(p). Is 7 a factor of i(-3)?
True
Suppose -u = 5*x + 4 - 24, x = -4*u + 4. Let z be 16*(0 + x + -5). Is 22 a factor of ((-100)/z + 4)*4?
False
Does 33 divide (100 - 94) + 587 + 0?
False
Let m(z) = -z**3 + 28*z**2 - 5*z - 431. Does 21 divide m(25)?
False
Suppose -3*y - 7 = 4*y. Let c(t) = 12*t**2 + 5*t + 5. Let a(p) = -p**2 - p - 1. Let h(m) = 4*a(m) + c(m). Is 4 a factor of h(y)?
True
Suppose q + 4 - 3 = 0. Let u be 105/5 + 1/q. Suppose u = s - 13. Is 11 a factor of s?
True
Suppose 3*a + a + 16 = 0, -4*y - 4*a = 20. Does 21 divide ((13 + y)/(-2))/((-5)/35)?
True
Let j(v) be the second derivative of -v**4/4 - 13*v**3/6 + 3*v**2 - v. Let a be j(9). Is a/(-15) + 3/(-5) a multiple of 23?
True
Suppose -2*h + 2 = 3*i, -i = 2*h - 4 - 2. Let n(b) = 35*b + 5. Is n(h) a multiple of 14?
False
Is 2 a factor of 85 - ((-55)/22)/((-1)/(-2))?
True
Does 37 divide 1*(17 - 0)*37?
True
Let u be (2 - (-13)/(-2))*(-8)/(-3). Is (-4)/16 - 759/u a multiple of 7?
True
Let y = -286 - -361. Is 5 a factor of y?
True
Let z be (2/(-4))/((-1)/8). Suppose 5*t = -z*q + 75, -3*t - 3*q = -q - 47. Suppose -3*m = -2*n - t + 56, -4*m + 58 = 2*n. Is n a multiple of 23?
True
Let i = -206 - -426. Suppose -6*t = -10*t + i. Suppose 2*v - v + t = 3*b, 2*v = -b + 23. Does 10 divide b?
False
Let i(o) be the second derivative of o**4/12 + o**3 + 7*o**2/2 + 6*o. Let r be i(-5). Suppose -204 = -r*p - 2*p - 5*l, 0 = 2*p + l - 96. Is 23 a factor of p?
True
Suppose 0 = 3*d + 3*g - 3876 - 2415, -d - 3*g + 2099 = 0. Does 16 divide d?
True
Suppose -y = -5*o - 1722, 3*y + 2*o = 836 + 4398. Does 13 divide y?
True
Suppose -g + 15 = -0. Suppose 2*t + 2*y - 10 = 0, -t - 5*y = -g - 2. Suppose -3*p = c - p - 98, t*c = 4*p + 164. Is c a multiple of 18?
True
Let z(x) be the third derivative of -11*x**7/5040 - x**6/360 + x**5/15 - 5*x**2. Let b(q) be the third derivative of z(q). Does 21 divide b(-4)?
True
Let z be -3 + 7 - (-1 + 2). Suppose f - z - 11 = 0. Suppose -3*b = -22 - f. Does 6 divide b?
True
Suppose f - 120 = -2*h, 3*h - 305 + 111 = 2*f. Let g = -44 + h. Is g a multiple of 6?
True
Let q(p) = p. Let j be q(-2). Let r be (3/j)/((-6)/(-32)). Does 3 divide ((-8)/3)/(r/12)?
False
Suppose -3*w + u - 29 = 0, -w - u = -5*w - 37. Let f be 12/w - 51/(-2). Suppose -i - i + f = 0. Is 12 a factor of i?
True
Suppose 2*f + f + 66 = 0. Let j = f + 30. Is j a mu