x) a multiple of 20?
False
Suppose 0*v - 5*v = -25. Suppose -17 = -2*b + 5*o, 2*b = -2*b + v*o + 29. Is 2 a factor of b?
True
Let q = -6 - -5. Let z(k) = -5*k + 1. Is z(q) a multiple of 4?
False
Let c = 29 - -1. Is c a multiple of 15?
True
Let j = -284 - -548. Is 24 a factor of j?
True
Suppose -210 = -3*j + 3*f, 0 = 5*j - 12*f + 10*f - 350. Is j a multiple of 10?
True
Suppose -5*x + 9*x = q - 126, -3*q - 2*x + 308 = 0. Is 36 a factor of q?
False
Is 9 a factor of 1 + (-2)/7 + 2253/21?
True
Let z = -27 + 65. Is z a multiple of 8?
False
Suppose 0 = u - 0*u. Let l = u + 5. Suppose -108 - 32 = -l*d. Is 14 a factor of d?
True
Let p(b) = b**2 - 3*b - 8. Is p(7) a multiple of 20?
True
Let u(o) = 5*o - 1. Let p be u(1). Let a be p/3 - (-4)/6. Is a*12/(6 + -3) a multiple of 4?
True
Let w = 28 + 23. Is 10 a factor of w*3/(-9)*-1?
False
Suppose -5*f + 402 = 3*j, 2*f + 321 = 2*j + 53. Does 6 divide j?
False
Suppose 3*k = 4*k - 5. Suppose k*g = 98 - 28. Is g a multiple of 7?
True
Suppose 3*u - 40 = 5. Is u a multiple of 15?
True
Suppose c + c = 66. Does 5 divide c?
False
Let b = -17 + 41. Suppose 19 + 8 = 3*q. Let d = b - q. Is d a multiple of 5?
True
Suppose 127*m - 122*m - 240 = 0. Is m a multiple of 12?
True
Let d = -19 + 10. Let n = d + -16. Let o = -15 - n. Does 5 divide o?
True
Let l = 87 - -79. Let w = l - 80. Suppose 34 = 3*o - w. Does 17 divide o?
False
Let t(f) = f**3 + 16*f**2 - 18*f - 7. Does 5 divide t(-17)?
True
Let p(k) = k + 8. Let z be p(-6). Suppose -f = -z*f + 16. Suppose -x + 13 = 3*y, 4*x - 5*x = 2*y - f. Does 11 divide x?
True
Suppose -5 = -x - 3. Suppose 5*k = -3*d + 120, 0*k - 2*d - 32 = -x*k. Is k a multiple of 7?
True
Let h(o) = -7*o**2 - 5*o + 4. Let y(l) = l**2 + l - 1. Let p(x) = -h(x) - 6*y(x). Let r be p(0). Suppose -14 = -0*d - r*d. Does 3 divide d?
False
Let a(r) be the third derivative of -r**4/8 - 2*r**3/3 - 3*r**2. Is a(-6) a multiple of 12?
False
Suppose m + 4 = -1, -2*m = 2*z - 306. Is z a multiple of 45?
False
Let a(s) = 6*s**2 + 20*s. Is a(-7) a multiple of 7?
True
Suppose -2*w + 20 = -2*q, -2*q - 16 = -5*w + 4*w. Does 2 divide ((-2)/q)/(2/12)?
True
Suppose 5*a - 7*a + 5*l + 505 = 0, a = -4*l + 285. Is 53 a factor of a?
True
Suppose f + 2*l = 111, -5*f + 2*l + 403 = -140. Does 17 divide f?
False
Let d be (4 + -6)/(2/(-4)). Let v(q) = -q**2 + 4*q + 4. Let b be v(d). Suppose 2*g + b*c - c = 27, -4*g + 60 = 4*c. Is g a multiple of 9?
True
Let s = 2 + 35. Suppose 0 = 3*j - 127 + s. Is j a multiple of 13?
False
Suppose 5*h = 58 + 182. Does 18 divide h?
False
Let c be (0/(-2 - 1))/(-2). Suppose 2*q - q - 57 = c. Suppose -5*y - i = -q, y + i = 5*i + 3. Does 8 divide y?
False
Let p = 59 + 13. Let s = p - 33. Does 14 divide s?
False
Does 9 divide (-462)/9*3/(-2)?
False
Let q(g) = 11*g - 3. Is q(3) a multiple of 5?
True
Is 14 a factor of ((-30)/(-10))/(6/128)?
False
Suppose 0 = -5*y - 2 - 8. Is 5 a factor of 1/(y/8) + 14?
True
Suppose g - 2*g = 3*k + 93, 5*k + 148 = -4*g. Let u = k + 65. Is u a multiple of 11?
True
Suppose 0 = 3*m - 9. Suppose 22 = t - 0*u + u, -t + m*u = -14. Is 10 a factor of t?
True
Let s be ((-1)/(-3))/(2/18). Suppose -b = h - 11, -9 = -h + s*b - 2*b. Is h a multiple of 10?
True
Suppose -5*y - 4*a - 5 = 0, 2*y + 0*a = -a + 1. Let n = -1 + y. Suppose -3*u + 60 = 3*g, 0*u - n*u - 4*g = -40. Is u a multiple of 10?
True
Let y(p) = p + 8. Let x be y(-4). Suppose 0 = -4*n - x*h + 136, 5*n - n - 136 = h. Is n a multiple of 15?
False
Let u = 40 - -10. Suppose -2*q = 6, 0 = 4*p + 5*q - u + 13. Suppose -4*w + 5*w = p. Is w a multiple of 13?
True
Let t = 1 + -1. Suppose 2*l + 2*k + 0*k - 32 = t, 4*l - k = 64. Is l a multiple of 7?
False
Let b = 67 - 17. Is b a multiple of 14?
False
Let y be -3*(-1 + 2/(-6)). Suppose y*z - 165 = 4*v - v, -3*z - 3*v + 150 = 0. Is z a multiple of 20?
False
Let j(w) = 2*w**2 - 5*w + 6. Does 23 divide j(10)?
False
Suppose 2 = -c + j - 1, -15 = -5*j. Suppose -k = 2*s - 27, c*s + 2*k + 42 = 2*s. Suppose o - 4*o = 4*n - 36, -4*o = -s. Does 3 divide n?
True
Let f be ((-35)/5)/((-2)/22). Suppose f = 4*o + 3*q, 2*o = o + q + 21. Is 7 a factor of o?
False
Let p(v) = -v - 5. Let m be p(-12). Let z = -54 - -93. Suppose 0 = -2*k + m*u - 2*u + z, -5*u - 15 = 0. Is 8 a factor of k?
False
Let z(d) = 12*d**2 - 7*d + 4. Does 42 divide z(-3)?
False
Let t be (-16)/8 - (-1 + -17). Let b = t + 3. Does 10 divide b?
False
Let f = -46 + 76. Is 10 a factor of f?
True
Let i(q) = 4*q + 0*q**2 + 0*q + q**2 + 7 - 2*q. Is i(-5) a multiple of 11?
True
Does 11 divide (2/(-6) + 1)*114?
False
Let p(f) be the third derivative of f**5/20 + f**4/8 + f**3/2 + 3*f**2. Is p(-2) a multiple of 9?
True
Let t = -47 - -5. Let q = 55 - t. Does 21 divide q?
False
Let b(d) be the second derivative of 0*d**2 + 1/20*d**5 + 1/3*d**3 + 0 - 1/12*d**4 - d. Is b(2) a multiple of 4?
True
Let g = 2 - -25. Let q = 18 + -18. Suppose q + g = 3*x. Is 7 a factor of x?
False
Let j = -5 - -16. Let o = j - 8. Is o - 3 - 17*-1 a multiple of 17?
True
Let t(v) be the first derivative of -v**4/4 - v**3 + 3*v**2/2 - v + 1. Let x be t(-4). Suppose x*c - 35 = 4. Is 13 a factor of c?
True
Let u(c) = c**3 + 6*c**2 + c - 6. Let w be u(-5). Is 3 - (-3 - (-2 + w)) a multiple of 7?
False
Suppose 4 = 2*i - 4*k, 0*i - 45 = 5*i + k. Is (-84)/(-16)*i/(-3) a multiple of 10?
False
Let s(i) = -i**2 - 5*i + 2. Suppose 0 = 4*v - 12 + 32. Let n(w) = w. Let r(o) = v*n(o) + s(o). Does 12 divide r(-5)?
False
Suppose 0*g = 2*g - 10. Let h = g + -1. Suppose 12 = h*o - 8. Is 5 a factor of o?
True
Let h = 10 + -6. Is (-486)/(-12)*h/3 a multiple of 18?
True
Let r(w) be the third derivative of w**5/60 + w**4/8 - w**3 + w**2. Is 4 a factor of r(-5)?
True
Suppose 2*h + 66 = 4. Let w = h - -56. Suppose 8 = -u + w. Does 7 divide u?
False
Let b(t) = -t**3 + 7*t**2 - 7*t + 6. Does 13 divide b(4)?
True
Suppose 0 = -f - 3*v + 12, -3*f + 6 = -f - 3*v. Let k = f + -4. Suppose -w - k = -8. Does 4 divide w?
False
Let m(t) = t**2 + 4*t - 1. Let w be m(-4). Let j(h) = -26*h. Does 13 divide j(w)?
True
Suppose -m - 6 = -2*m. Suppose 0 = 3*s + m + 24. Is 13 a factor of (3 + (-11)/2)*s?
False
Let j = -6 + 6. Let r = j - 2. Is 12 a factor of 303/9 - r/(-3)?
False
Let i = 6 - 7. Let x = 18 + i. Is 17 a factor of x?
True
Let c = 330 - 6. Is c a multiple of 19?
False
Let u(l) = 6*l**3 - l. Let j be u(1). Suppose 3*f - j*f + 42 = 0. Is 6 a factor of f?
False
Suppose 0 = -0*w - 4*w + 96. Is w a multiple of 12?
True
Suppose -3*d - 3*g = -g - 25, 4*d - g - 15 = 0. Is 4 a factor of d?
False
Does 41 divide (6/(-7))/(-1*(-4)/(-224))?
False
Let v(d) = -d - 15. Suppose 6 = -s - 2*s - 3*y, -4*s - 48 = -4*y. Let w be v(s). Is (-26)/(-6) - w/12 a multiple of 4?
False
Let r(z) = 2*z + 3. Let u be r(3). Let j(s) = s**2 - 3*s - 12. Does 21 divide j(u)?
True
Let k(f) = f**2 + 9*f + 12. Let v be k(-8). Let z = 26 + v. Is 9 a factor of z?
False
Let l be 319/5 + (-8)/(-40). Let k = l - 24. Does 20 divide k?
True
Let l = 5 - -19. Is l even?
True
Let f(r) = 3*r - 7. Does 2 divide f(4)?
False
Let h(y) = y**2 + 4*y + 4. Let d(l) = -l + 4. Let k be d(9). Is 9 a factor of h(k)?
True
Suppose 0 = -4*p - 4*h + 652, -6*p + 2*p + 3*h + 617 = 0. Is 5 a factor of p?
False
Let q be (-3)/((-3)/(-2)) - 2. Let t(c) = -71*c - 4. Let o be t(q). Suppose -f = 4*b - 60, 5*f - o = -2*b - 70. Is f a multiple of 11?
False
Let c = -147 + 221. Let o = -42 + c. Does 15 divide o?
False
Let f = 14 - -34. Does 5 divide f?
False
Let b(a) = 12*a + 3. Suppose 19 + 1 = 5*m. Is b(m) a multiple of 19?
False
Suppose -6*j + 393 + 147 = 0. Is j a multiple of 5?
True
Suppose -7 + 20 = t - 5*b, 5*t - b = 41. Does 9 divide (-62 + t)/(-1 + -1)?
True
Suppose 28 = -4*w - 0*w. Let z(v) = v**2 + 4*v - 3. Is 17 a factor of z(w)?
False
Suppose -45 = -4*c + 147. Is c a multiple of 24?
True
Suppose 4*v - 20 = -v. Suppose -15 = -0*a + v*a + 5*l, -12 = 5*a + 4*l. Suppose 6*y - y - 50 = a. Is 5 a factor of y?
True
Let j(s) = 2*s**2 + s - 3. Suppose 8*y - g - 17 = 3*y, 0 = 2*y + 5*g - 23. Suppose 0 = -z, -4 = 2*l - y*z + 2. Is j(l) a multiple of 12?
True
Suppose 4*t + 5*v - 12 = 53, 3 = -v. Is (-288)/(-10) - (-4)/t a multiple of 11?
False
Suppose 3*f + 4*z - 39 = -0*f, 0 = 4*f - z - 33. Let o be (2/6)/(1/f). Suppose 0 = -o*l + 4 + 8. Is l even?
True
Suppose -4*s = 4*h + 28