 Is k a multiple of 15?
False
Let a(l) = -48*l**2 + l - 2. Let b be a(1). Let j = b + 119. Does 10 divide j?
True
Let r be (-46)/(3 - -2 - 4). Let g = r + 101. Does 5 divide g?
True
Let s(l) = -32*l + 35. Let v(i) = -21*i + 23. Let z(r) = -5*s(r) + 8*v(r). Does 14 divide z(-14)?
False
Suppose 3*n = n + 16. Suppose 7*z - n*z = -41. Let f = z - 21. Is f a multiple of 10?
True
Let h be (-243)/(-6) - (-6)/12. Suppose h = l - 67. Is l a multiple of 22?
False
Let k(y) = 20*y**2 - 14*y + 2. Let c(i) = -i - 2. Let j be c(1). Does 57 divide k(j)?
False
Let y = 20 + -4. Let f = y + -12. Suppose -j + 187 = 4*q - 4*j, q - 63 = f*j. Does 11 divide q?
False
Let f(b) = 2*b - 8. Suppose 4*q - 3*w = -q + 50, -3*q - 4*w + 1 = 0. Let u be f(q). Suppose u + 469 = 5*r. Is r a multiple of 19?
True
Suppose -2*u = 4*u - 24. Suppose -15 = -3*h + 3*c, -3*h = -2*h + u*c + 5. Suppose -l + h*f - 35 = -2*l, 5*l + 3*f = 115. Does 20 divide l?
True
Suppose -7*r = -8*r + 2*s + 11, 0 = 5*r + 5*s - 70. Suppose 5*z + 2 = -2*h, 5*z + 42 - r = h. Is 9 a factor of h?
True
Suppose -5*z - 4*t + 2140 = -8*t, -2*z = 5*t - 889. Is 18 a factor of z?
True
Let y = 886 - 539. Does 10 divide y?
False
Let s = 3240 - 395. Is s a multiple of 101?
False
Let y(k) = -479*k**3 - 2*k - 1. Is y(-1) a multiple of 20?
True
Let s = -6 + 6. Suppose n - 5*w - 4 = s, -5*n + 22 + 50 = w. Is (-6)/n + (-610)/(-35) a multiple of 17?
True
Suppose 2*j - 390 = -8*j. Suppose -51 + j = -w. Is w a multiple of 4?
True
Let j(r) = -r**3 + 6*r**2 - 4*r. Let c be j(5). Suppose c*n - 4*y = -2*y + 11, -n = 2*y - 7. Let i = 0 + n. Does 2 divide i?
False
Let s(h) = -h**3 - 11*h**2 + 8*h + 12. Let p(a) = a**2. Let b(c) = -2*p(c) - s(c). Is b(-9) a multiple of 10?
True
Let y = 64 - 58. Suppose y*m = 662 - 176. Is 7 a factor of m?
False
Suppose 5*y = -5*b + 2*b - 45, 3*b = -4*y - 39. Let z(i) = -40*i - 5. Is z(y) a multiple of 47?
True
Suppose -3*b + 84 - 12 = 0. Is 2 a factor of b?
True
Suppose -10*x + 18 = -13*x. Let s be x/4 - 45/(-10). Suppose -u + 27 = 5*a, -57 = -4*u - 0*a - s*a. Does 12 divide u?
True
Suppose -17*o = -20*o + 756. Is 84 a factor of o?
True
Let s = 0 - -2. Let n be (-4)/(-3)*(s - -1). Suppose -3*w - u - 18 = -4*w, 68 = n*w - 3*u. Is 7 a factor of w?
True
Suppose -2*f = 2*k - 1006, -2*k + 4*f = -4*k + 1004. Does 6 divide k?
True
Suppose -404 - 730 = -18*c. Is c a multiple of 9?
True
Does 27 divide 6 - (-12)/2*582/12?
True
Let t = -590 + 611. Is t a multiple of 2?
False
Let c = 1282 - 943. Is c even?
False
Let h(n) = -23*n + 185. Is 52 a factor of h(-7)?
False
Suppose 4*b - 2*p = 26, 39 = 5*b + 4*p - 0*p. Let d = -9 + b. Is 11 a factor of (-6)/d*43/3?
False
Let u(d) = 4*d**2 - 2 - 5*d - d - 7*d**2 + 5*d**2. Does 22 divide u(9)?
False
Suppose 0 = 2*c + 1 + 7. Let p be (-5 - c) + 2 + -5. Is 7/((-14)/p) + 30 a multiple of 4?
True
Let r(j) = 4*j + 0*j + j + 0 - 3. Let b(m) = -m + 1. Let k be b(-6). Is r(k) a multiple of 16?
True
Let q = -31 + 50. Let v = -1 + q. Suppose -s + v = -16. Is s a multiple of 17?
True
Suppose -v = 2*v + 5*j - 422, 2*v + 2*j - 288 = 0. Suppose b + v = 5*b + u, -4*u = -b + 16. Is 9 a factor of b?
True
Let t = 184 - -1966. Is 25 a factor of t?
True
Suppose 2*u + z = -2*u - 695, -3*z + 365 = -2*u. Let b = 250 + u. Is b a multiple of 12?
False
Let r(p) = -54*p + 90. Does 48 divide r(-33)?
True
Let w(t) = -3*t**2 + 7*t - 3. Let z(k) = -4*k**2 + 8*k - 2. Let i(n) = 5*w(n) - 4*z(n). Let m be i(-5). Is 3 a factor of 12*(3 + (-8)/m)?
False
Suppose 3*k = -y + 4*k + 120, -3*y + 355 = -2*k. Is y a multiple of 5?
True
Is 78/2*14/(8/8) a multiple of 26?
True
Suppose 10083 = 71*c - 70. Is c a multiple of 92?
False
Let t = -117 + 199. Let k = t + -72. Does 3 divide k?
False
Suppose -22*v + 17*v + 65 = 0. Is v a multiple of 7?
False
Let a be ((-85)/10)/(1/(-2)). Let x = a + 3. Does 4 divide x?
True
Let k(x) be the first derivative of x**4/4 + 8*x**3/3 + 7*x**2/2 + 18. Let c be 1 + -1 - (7 - 2). Does 20 divide k(c)?
True
Let a = 7 - -637. Suppose -5*k + a = 2*k. Is k a multiple of 46?
True
Suppose 0*t = 3*t - 57. Let x = -32 + t. Let r(g) = -3*g + 12. Is 17 a factor of r(x)?
True
Let n(y) be the second derivative of -7/6*y**3 - 1/20*y**5 + 2/3*y**4 - y**2 + 0 - 3*y. Does 19 divide n(5)?
True
Let q(x) = x**2 - 2*x - 2. Let g be q(-1). Is -4*(-30 + g + 3) a multiple of 13?
True
Let t = 2709 - 1533. Is t a multiple of 84?
True
Let s(k) = -3*k + 3. Suppose -53 = 3*y - 4*v, -v - 2*v + 15 = 0. Let o(f) = -f**2 - 12*f - 14. Let q be o(y). Does 6 divide s(q)?
True
Let f(r) = -r + 8. Let g be f(4). Suppose -q + 1634 = -0*q + 2*l, 3*q - g*l = 4892. Does 14 divide q/39 + (-4)/(-26)?
True
Suppose -4*i = -4*x + 24, x - 2*i = -3*x + 20. Suppose -16 = -y + 2*p - p, -y + x*p = -7. Does 5 divide (-3)/2 - y/(-2)?
False
Let j be 28/5 + 3/(-5). Suppose -2*u - j*y - 4 = 0, 2*u = 2*y + y + 12. Suppose 55 = u*p - 62. Is 26 a factor of p?
False
Let o = 289 + -146. Suppose 0 = 8*d - 41 - o. Is d a multiple of 23?
True
Suppose -3*p + 2*j = -2*j + 8, 3*j - 6 = 0. Suppose -4*f + p + 16 = 0. Suppose -f*k + 7*k = 330. Is k a multiple of 29?
False
Suppose 0*s + 1320 = -8*s. Let i = 263 + s. Is i a multiple of 11?
False
Let y be (-10)/25 - (-2)/((-10)/33). Let i = 33 + y. Is 6 a factor of i?
False
Let k(x) = -92*x - 69. Is k(-10) a multiple of 10?
False
Let l(x) = -2*x**2 + 3*x + 9. Let v be l(7). Let s = -33 - v. Does 16 divide s?
False
Let d = -20 - -30. Suppose d*h - 68 = 6*h. Suppose -h - 11 = -4*f. Is 7 a factor of f?
True
Suppose -4*r = r - 10. Suppose -19 = 3*g - r*g. Let f = -16 - g. Is 2 a factor of f?
False
Let x(v) = -v**2 + 3*v + 225. Does 5 divide x(0)?
True
Let f be 42/(-14) + (3 + -2)*212. Suppose -4*x + 15*x - f = 0. Is 9 a factor of x?
False
Let p(x) = 9*x**2 - 5*x - 4. Let h(j) = -7*j**2 + 6*j + 3. Let o(t) = -5*h(t) - 4*p(t). Is 6 a factor of o(-7)?
False
Let p = 305 - 112. Is 13 a factor of p?
False
Let y be -1 + 0 - (-2 - 3). Suppose 9 = c - y*c. Let u = c + 16. Does 8 divide u?
False
Suppose 0 = 4*j + 16 + 36. Let i = 15 + j. Is 0 + (4/i - -1) even?
False
Let i be (-2 + 6 - 4)/(2/2). Suppose -16*f + 14*f + 132 = i. Is 22 a factor of f?
True
Suppose 3*c - 74*w - 19 = -75*w, 2*c + 4 = -4*w. Suppose -1420 = -0*d - 4*d. Does 18 divide 2/c - d/(-20)?
True
Let q(d) = -d**2 - 6*d + 4. Suppose -3*f + 21 = -5*x, 0*x - 2*x - 5*f = -4. Let i be q(x). Let w = 19 - i. Is w a multiple of 6?
True
Is 13 a factor of 276183/126 - 7/(-98)?
False
Let q = 8 + -8. Suppose q = -5*a + 10 + 590. Suppose 4*j - a = -3*s, 2*s - 68 - 23 = j. Is 9 a factor of s?
False
Let r(k) = -2*k + 85. Let f be r(25). Let y = -1 + f. Is 2 a factor of y?
True
Let v = -7 + 9. Suppose v*p - 5*p = -312. Is p a multiple of 12?
False
Suppose 5*t + o - 282 = 5*o, -64 = -t - 3*o. Is 14 a factor of t - (-4)/(-16)*2*4?
True
Let c = -436 - -977. Is c a multiple of 41?
False
Suppose 0 = -26*s + 9459 + 8871. Does 15 divide s?
True
Does 104 divide (-2 + -1 - 49)*5*-6?
True
Let b(o) = 3*o + 14. Let x(y) = -4*y - 15. Let m(j) = -5*b(j) - 4*x(j). Let q be m(13). Suppose -5*v + 245 = 5*t, 3*t - q*v + 39 = 4*t. Is 28 a factor of t?
False
Let q(t) = -t**2 + 11*t + 15. Let y be q(12). Suppose 0 = -5*l + 2*u + 73 + 132, l - 41 = y*u. Is 31 a factor of l?
False
Let s(h) = 2*h + 29. Suppose 6*t = 9*t + 21. Is s(t) a multiple of 15?
True
Suppose 3*y = -p + 530, -4*y + 49 + 645 = -5*p. Is y a multiple of 16?
True
Let b = -238 + 628. Is 13 a factor of b?
True
Suppose d - 2175 = 4*k, -2*d + 13*k - 8*k = -4344. Is 10 a factor of d?
False
Let k = 135 - 109. Let i be -6*(-1 - 4/(-6)). Suppose -i*j = -j - k. Does 13 divide j?
True
Let p(d) = -7*d + 51. Let h be p(8). Let v(y) = 2*y**2 + 14*y + 36. Is v(h) a multiple of 4?
True
Let i(d) = -d**3 - 5*d**2 + 6*d + 4. Let k = 12 - -27. Let w = k + -45. Does 3 divide i(w)?
False
Let z be (-7 - (-1 - 3))/((-1)/1). Suppose -3 = s, z*r + 2*s = -r + 578. Is r a multiple of 28?
False
Suppose p + 0*p - 9 = 0. Let l(v) = -v + 22. Let q(x) = -4*x + 88. Let b(t) = 9*l(t) - 2*q(t). Does 13 divide b(p)?
True
Suppose -531 - 129 = -4*p. Is p a multiple of 3?
True
Let a = 42 - 12. Suppose -5*s + a = 2*k, k + s - 21 = -3*s. Is 2 a factor of k?
False
Let p = 330 + -64. Is p a multiple of 38?
True
Suppose o + 2*u - 10 = -o, u = o + 1. Let d be -32 + 2 + (