x = -15*c + 2348, -471 = -c + 2*x. Is 67 a factor of c?
True
Suppose 3*k + f - 22 - 1 = 0, 3*k + 5*f = 19. Suppose -k*n = -780 - 892. Is 21 a factor of n?
False
Does 3 divide 20948/18 - (-44)/198?
True
Let l = -65 + 82. Suppose -15*v - 102 = -l*v. Is v a multiple of 17?
True
Let a = 534 + -144. Is a a multiple of 65?
True
Let o(y) = -y**3 + 7*y**2 - 15*y + 22. Let u(n) = 3*n**3 - 22*n**2 + 44*n - 65. Let q(p) = -8*o(p) - 3*u(p). Does 12 divide q(8)?
False
Let w = 11 - 9. Let t be (2/w)/((-5)/55). Does 8 divide (16 + t)*64/10?
True
Let k(p) = p**3 - 7*p**2 - 8*p - 18. Let w be k(8). Does 19 divide (3 + 195/(-9))/(3/w)?
False
Let c = 78 - 3. Let n = c - 56. Does 7 divide n?
False
Let t(a) = 2*a**3 - 10*a**2 - 22. Is 44 a factor of t(7)?
False
Let p(w) = -41*w + 4. Let t be p(-9). Suppose -98 + t = 5*x. Is x a multiple of 10?
False
Suppose 0 = 4*u - 2*o + 6, u - 3*u + 2*o - 4 = 0. Let v be (-27)/(-6) - u/(-2). Suppose 0 = -v*m + 3*w + 139, 61 = 2*m - w - 8. Is 14 a factor of m?
False
Let i(t) = -t**3 + 3*t**2 + 11*t - 2. Let k be i(5). Suppose 5*c - 263 - 162 = 2*s, -2*c - k*s = -170. Is 17 a factor of c?
True
Suppose 4*m - 415 = -151. Let l = 167 - m. Is 33 a factor of l?
False
Let v = -389 + 597. Does 13 divide v?
True
Is 19 a factor of (0 - 944/20)/(8/(-60))?
False
Suppose 5*y = 2*c + 3602, -866 + 3040 = 3*y + 2*c. Is 29 a factor of y?
False
Suppose 4*t = -t - 4*o + 45, 0 = -4*o. Is t/(-2)*(-4)/3 even?
True
Let u(z) = 486*z**3 - 2*z**2 + 3*z - 4. Is 67 a factor of u(1)?
False
Let c be 9/12 - 12/16. Suppose 2*l - 6 = c, 5*u + 4*l = 8 + 29. Suppose o - 79 = -u*b, -b - b = o - 31. Is 3 a factor of b?
False
Suppose -11 + 1 = -2*v. Suppose 3*s - v*u + 1 = 0, u = s - 3*s + 21. Is s a multiple of 7?
False
Suppose 5*l = -5*h + 2*h + 13, -5*l = 5*h - 35. Let c = -8 + h. Suppose 0 = c*m - 16 - 68. Is m a multiple of 10?
False
Suppose -256*c + 245*c = -5973. Is 6 a factor of c?
False
Let h = 193 - -80. Suppose -2*u + 10 = -5*y, -5*y - 6 - 4 = 2*u. Suppose -q - 2*x + 59 = u, 3*x - h = -5*q + 4*x. Does 11 divide q?
True
Let p(v) = 2*v + 49. Let d be p(-22). Let i(z) = z**2 - z - 15. Is i(d) a multiple of 3?
False
Let h = 1852 + -1285. Is 9 a factor of h?
True
Let w be (-470)/(-90) + (-4)/18. Suppose w*o - 389 = 131. Is o a multiple of 26?
True
Let m = -48 - -20. Let l be (48/m)/(8/(-140)). Does 16 divide (-20 + 0)*(-24)/l?
True
Let h be (18/4)/(9/18). Let m(f) = 3*f - 13. Is 7 a factor of m(h)?
True
Let s be 2/((-3)/(-2) - (-69)/(-54)). Is 2 + 30 + 27/s a multiple of 5?
True
Let m be -2*6/(-5) + (-21)/(-35). Let n(f) = 0*f + 7 + 4*f**2 + f - 4. Does 19 divide n(m)?
False
Let h be 18/(0/3 + 1). Let i = 25 - 45. Is i*(-2)/12*h a multiple of 13?
False
Let x = 12518 + -6894. Is 74 a factor of x?
True
Let r(x) = -2*x**3 + 29*x**2 + 15*x + 4. Let m be r(15). Let z be (-2)/3 + 14/3. Suppose 0*h = -4*v + z*h + 20, 2*h + 14 = m*v. Does 2 divide v?
True
Let n(l) = -12*l + 363. Does 11 divide n(-8)?
False
Suppose -9*h + 4*h + 334 = -2*g, 201 = 3*h - g. Is 5 a factor of h?
False
Let y = -5 + 731. Does 19 divide y?
False
Let p(h) = -106*h - 28. Let m(y) = -35*y - 9. Let n(z) = -7*m(z) + 2*p(z). Let u be n(7). Suppose 82 = -3*k + u. Does 13 divide k?
True
Let k be (-14)/(-6) + 3/(-9). Is k/(-3)*(-282)/4 a multiple of 3?
False
Let b(q) = 15*q - 16. Let c be -2 + 5 - -4 - 2. Let z be -2 + -2 + (c - -4). Is 11 a factor of b(z)?
False
Let x = 286 - 46. Is 19 a factor of x?
False
Suppose 3*m - 469 = 4*a, -5*m = 5*a - 0*a - 735. Suppose -2*f - 81 = -5*t + m, 3*f = 12. Suppose -h = -t - 15. Is h a multiple of 21?
True
Let p = -92 - -347. Suppose 19*b = 22*b - p. Does 17 divide b?
True
Let v(n) = -28*n + 38. Let l be v(-3). Let b = l + -98. Is b a multiple of 6?
True
Let m(v) = 7*v - 11. Let o be m(4). Suppose -2*k = -o - 33. Is k a multiple of 25?
True
Let v = 3658 + -2556. Is 38 a factor of v?
True
Suppose 13*i - 812 = 6*i. Let s(k) = 22*k + 2. Let n be s(3). Let y = i - n. Is 16 a factor of y?
True
Suppose -2*r = 8, 3*g = -3*r + 5*r + 20. Suppose 2*v = -g*z + 318 + 106, 2*z = 4*v + 192. Is 15 a factor of z?
False
Let x = 149 - 104. Let r = -17 + x. Suppose 2*p + r = 6*p. Is p a multiple of 6?
False
Let m(v) = -v**2 - 5*v + 10. Let o be m(-6). Suppose o*w = 8*w - 52. Is 13 a factor of w?
True
Let q be (45/3)/(3/200). Suppose 2*k - 482 = 2*l, -3*k = 5*l + 301 - q. Is 34 a factor of k?
True
Suppose 4*w + 36 = -o - 3*o, -2*o = -2*w - 2. Let y = o - -43. Is y a multiple of 39?
True
Let k(d) = 15*d + 332. Is k(-18) a multiple of 29?
False
Let l be ((-72)/10)/(1494/(-750) - -2). Does 19 divide l/(-40) - (-3)/(-2)?
False
Let k = 27 - -342. Suppose 7*r - 312 = 3*r - 5*f, 5*r + f - k = 0. Does 15 divide r?
False
Suppose -289*z = -288*z - 167. Is z a multiple of 5?
False
Let k(b) be the second derivative of b**5/60 - b**4/24 - 2*b**3/3 + b. Let m(n) be the second derivative of k(n). Is m(11) a multiple of 21?
True
Is ((-6)/4)/((-3)/106) - -3 a multiple of 3?
False
Let t(h) = h**2 + h + 154. Does 14 divide t(0)?
True
Let v(j) be the third derivative of j**6/120 - j**5/4 + 2*j**4/3 - 3*j**3/2 + 4*j**2. Does 5 divide v(14)?
False
Let u = 3909 - 2053. Is 9 a factor of u?
False
Suppose 4*z = 233 + 487. Is z a multiple of 30?
True
Suppose -44 = 2*b + 2*b. Let w(y) = 2*y**2 + 10*y - 4. Is w(b) a multiple of 32?
True
Let l be (30/(-50))/((-2)/(-10)). Let a(b) = -3*b**3 - 2*b**2 - 3*b + 3. Is 36 a factor of a(l)?
False
Let a be ((-42)/(-28))/((-2)/(-148)). Let z = a - 60. Is z a multiple of 13?
False
Suppose 0 = -m + 39 + 97. Let x = -40 + m. Is x a multiple of 24?
True
Let p(q) = 16*q + 1. Let s be p(1). Let t = s + -11. Let l(d) = -d**2 + 12*d - 14. Is l(t) a multiple of 22?
True
Let x be 557/5 - 10/25. Let k = x - 39. Is k a multiple of 12?
True
Let s(v) = v**2 + 8*v + 15. Suppose r + 42 = -5*z - 0*r, -3*r + 18 = -z. Is s(z) a multiple of 16?
False
Let a(n) = n**3 - 12*n**2 - 12*n - 11. Let i be a(13). Suppose -3*f + 8 = -i*f. Let k = f + -1. Is 7 a factor of k?
True
Suppose -10 = -2*b - 10. Let k(d) = -d**3 + d**2 - 3*d + 123. Is 32 a factor of k(b)?
False
Let f = -772 + 812. Does 40 divide f?
True
Suppose 854 = -0*v + 7*v. Let n = v - 79. Is n a multiple of 28?
False
Let w(o) = o**2 - 3*o + 2. Let n be (8/(-10))/(2/50). Let y be 78/21 - n/70. Is 2 a factor of w(y)?
True
Suppose -u = -3*u. Suppose u = -0*p - p. Suppose -190 = -5*f - 5*d, p = -f + 3*f - 2*d - 80. Is f a multiple of 19?
False
Let p be (-2)/(-3) + 7/3. Suppose -27 = -3*j - 2*n + p, -2*j = -2*n - 30. Does 3 divide j?
True
Suppose -5*j + 1510 = 5*d, j - 5*d - 272 = -0*j. Suppose 110*u = 107*u + j. Does 33 divide u?
True
Let o(l) be the second derivative of 11*l**2 + 4*l - 1/12*l**4 - 1/6*l**3 + 0 - 1/20*l**5. Is o(0) a multiple of 13?
False
Suppose 6*n + 218 = 866. Is 18 a factor of n?
True
Is 2946/8 - ((-49)/28)/(-7) a multiple of 16?
True
Suppose 0 = -k + 121 + 116. Is k a multiple of 6?
False
Suppose 0*l + 17568 = 9*l. Is l a multiple of 122?
True
Let j = 809 - 245. Let t = 804 - j. Is 16 a factor of t?
True
Let w be 5/(-2*(2/4 + -1)). Suppose 10*m - w*m = 5*s - 185, -4*m = 2*s - 68. Does 18 divide s?
True
Let u = -494 - -860. Does 61 divide u?
True
Let v(b) = b**3 + 12*b**2 - 27*b + 22. Does 122 divide v(10)?
True
Suppose 6*b - 28 + 10 = 0. Suppose 3*g = 2*v + b*v + 82, -5*g + 146 = v. Is g a multiple of 28?
False
Let z(f) = 2*f**2 + 8*f + 5. Let v be z(-5). Let k = v - 8. Let a(b) = b**3 - 6*b**2 - 3*b + 2. Does 10 divide a(k)?
True
Let l(h) = 3*h - 14*h + 10*h + 5. Let v be l(7). Is 9 a factor of v + 4 + 0 + 32?
False
Is 8 a factor of (-3 - -6)*1572/18?
False
Suppose 0 = 5*f + 5*u - 3635, -9*f + u + 723 = -8*f. Suppose -8*s + 13*s - f = 0. Is s a multiple of 29?
True
Suppose 0 = -5*c + 9 + 1. Suppose 0 = -0*b - c*b + 28. Suppose -3*a - 3*h = -51, a = -5*h + b + 7. Is 16 a factor of a?
True
Does 26 divide (-6)/((-7910)/(-721) + -11)?
False
Let v(m) be the first derivative of -m**4/2 + 26*m**3/3 - 7*m**2 + 5*m - 24. Is 25 a factor of v(12)?
True
Let y(i) = 4*i - 9. Let k be y(-10). Is 8 a factor of (9 + k)/(-2*1)?
False
Suppose 68*f - 12455 = 21*f. Does 53 divide f?
True
Let o(l) be the second derivative of -l**6/120 + l**5/10 - l**4/24 + 2*l**2 + 6*l. Let m(z) be the first derivative of o(z). Is 14 a factor of m(5)?
Fa