 -k - 36 = -2. Let h = k + 54. Does 3 divide h?
False
Let l(k) = -k - 5. Let b be l(-6). Let w be b - (-2)/2 - -38. Let z = 9 + w. Does 11 divide z?
False
Let t(h) = 5*h**3 + 11*h**2 - 5*h + 5. Let i(y) = y**3 + y**2 - y. Let n(m) = -4*i(m) + t(m). Let f be n(-7). Let j = f - -8. Is 10 a factor of j?
True
Let v(a) = 2*a + 3. Let r be v(3). Suppose 4040 = 19*q + 1133. Suppose 51 = 2*j - 3*u, -4*j + r*j = -u + q. Is j a multiple of 15?
True
Suppose -1620 = 47*d - 56*d. Does 12 divide d?
True
Suppose -55*k = -49*k - 564. Suppose 70 = j - 76. Let q = j - k. Is 21 a factor of q?
False
Suppose 3500 = 20*y + 380. Does 6 divide y?
True
Suppose -42 = -10*i + 8. Suppose 0 = h - i*h + 32. Is h a multiple of 4?
True
Let q = 406 - -29. Is q a multiple of 3?
True
Let f = 16 + -9. Let a(o) = o**3 - 6*o**2 - 6*o - 2. Let t be a(f). Suppose -118 = -t*j - b, 0 = 2*j + 4*b - 45 + 5. Is 8 a factor of j?
True
Let s be (-9)/(-3 + 0) - -2. Suppose 1 + s = 2*z. Does 8 divide (2/5)/(z/120)?
True
Let t = -40 - -40. Suppose -5*b + 35 + 115 = t. Is 4 a factor of b?
False
Suppose 0 = 2*j + j - 1242. Let i = j - 284. Suppose -2*s = -i + 28. Is 15 a factor of s?
False
Is 226/(-6)*(-120)/10 + 1 a multiple of 7?
False
Suppose 45 - 15 = 3*z. Let r = z + -15. Let o = 32 + r. Is 9 a factor of o?
True
Suppose -2*d + 1099 = -12*i + 13*i, 4*d - 12 = 0. Is 27 a factor of i?
False
Let g = -8 - -23. Let v(i) = i**3 - 16*i**2 + 16*i - 11. Let y be v(g). Suppose y*c - 2*c - 104 = -2*u, 102 = 2*c + 3*u. Is c a multiple of 10?
False
Suppose 0 = -5*b - 15, -2*b = -2*o - 0*b + 174. Is o a multiple of 16?
False
Is (-1 - -1) + 18/(-12)*-410 a multiple of 29?
False
Let x(u) = -u**2 + 5*u - 4. Let w be x(3). Suppose 0 = -w*y + 3*y - 8. Is y a multiple of 8?
True
Suppose 8 = 2*g - z + 1, 4 = -4*z. Suppose -i = -g*i. Suppose -3*p + 3*a + 63 = i, -5*a - 2 = p - 11. Is 19 a factor of p?
True
Let g(i) = 9*i**2 - 1 + i**2 + 4*i + 9. Is 18 a factor of g(-2)?
False
Let i(f) = -f**2 - 7*f. Let g be i(-7). Suppose 2*a + 0*s = -2*s - 12, g = 3*a - 5*s - 22. Let x = 5 - a. Does 2 divide x?
True
Let z(r) = -6*r - 3. Let m be z(-2). Suppose 3*f + 2*f = 15, 2*u + 4*f - 100 = 0. Suppose m = -5*c + u. Is c a multiple of 7?
True
Suppose j + 11 = 18. Let d = j - -8. Is 9 a factor of d?
False
Let m = 1107 + -434. Is m a multiple of 61?
False
Let k = 40 - 29. Let b = k - -7. Is (-90)/(-3)*b/15 a multiple of 12?
True
Suppose 0 = 5*g + 24 + 156. Is 6/8 + (-1305)/g a multiple of 13?
False
Let i = -211 - -736. Is 11 a factor of i?
False
Let f = 630 + 20. Is 21 a factor of f?
False
Suppose 26496 = -29*u + 95777. Does 15 divide u?
False
Let d be ((-4)/(-10))/((-3)/(-15)). Let t = 6 - d. Suppose 3*n - 2 - t = 0. Is n a multiple of 2?
True
Suppose -2*v = 2*c - 10, -4*v + c = -2*c + 1. Suppose 3*r - v = 16. Is 6 a factor of r?
True
Suppose 6*p + 1502 = 18380. Does 29 divide p?
True
Is (-235890)/30*1/(-3) a multiple of 26?
False
Let q(x) = 207*x. Let m be q(1). Suppose -2*r - r + m = 0. Let j = r + -31. Is 19 a factor of j?
True
Let h = 2451 - 1436. Is 29 a factor of h?
True
Let x = 1014 + -517. Is 7 a factor of x?
True
Suppose 0 = -l + 2*a + 392, -8*l + 4*l = 5*a - 1620. Is 50 a factor of l?
True
Suppose 4*j = 5*m - 11, -4*j - 27 = -2*m - 1. Let y be j/(-12)*4 - -38. Suppose -y + 7 = -2*o. Is o a multiple of 11?
False
Let p = 384 + -216. Is p a multiple of 6?
True
Let z(d) = 3*d**2 - 11*d - 138. Does 35 divide z(-9)?
False
Let m be (6 + -1)*(-6)/(-5). Suppose r = m*r - 30. Suppose -3*y = 4*q - 64, 0 = r*y - y + 2*q - 88. Does 4 divide y?
True
Let a be (-140)/21*(9/2)/3. Suppose -4*x - i - 448 = 0, -4*i - 33 + 145 = -x. Is 7 a factor of (-15)/a*x/(-12)?
True
Let d(p) = p**3 - 4*p**2 - 2*p - 3. Let f be d(4). Let r = 14 + f. Suppose -r*i - 30 = -8*i. Is 6 a factor of i?
True
Is 234/(-156)*(-1068 + -2) a multiple of 16?
False
Let w(t) be the first derivative of 19*t**2/2 - 6*t - 38. Is w(2) a multiple of 7?
False
Suppose 2*p - 1 = g, -2*p - 3*p = 4*g - 48. Let s(y) = 24*y + 8. Does 10 divide s(g)?
False
Suppose -7*i = -i - 24. Suppose i*o = -67 - 97. Let p = o - -59. Does 5 divide p?
False
Suppose -4*y - s + 18 = 0, 0 = y - 3*y + 2*s + 14. Suppose -75 = -3*h - h - 5*a, 0 = -y*h - 5*a + 100. Suppose -h = -6*p + 245. Is p a multiple of 15?
True
Suppose 0 = j - 2*j + 4. Let r be (-164)/j - (5 + -2). Let k = r + 77. Is 11 a factor of k?
True
Suppose 12 = 3*p - 3*j, -5*p - 3*j + 0 = -4. Let i = 15 + 48. Let n = p + i. Is 13 a factor of n?
True
Suppose 0 = 3*v + 2141 + 364. Is (-2)/(-8) - v/20 a multiple of 14?
True
Let a be ((-10)/(-8))/(8/32). Suppose 150 = 2*v - 4*o - 84, -450 = -4*v - o. Suppose -a*c + 27 = 5*j - v, -2*j = 2. Does 8 divide c?
False
Let x = 1630 - 734. Does 56 divide x?
True
Suppose 3*s + 2*c - 25 = 0, -2*c + 6*c + 4 = 0. Let d(y) = -4*y + 4. Let r(w) = 1. Let g(m) = -d(m) - 5*r(m). Is 21 a factor of g(s)?
False
Let i(x) = 3*x + 24. Let b be i(-7). Suppose 4*g + 3*m - 63 = -g, m = b*g - 35. Does 6 divide g?
True
Let y(m) = -m**3 + 3*m**2 + 2*m - 4. Let f be y(3). Let l(r) = r + 1. Let q be l(f). Suppose -2*g + q*g = 6. Does 6 divide g?
True
Suppose -5*q = -3*q - 4. Suppose -q*i + 131 + 5 = 0. Is ((-48)/(-64))/(1/i) a multiple of 13?
False
Let l(t) = 4*t**2 - 16*t - 18. Does 47 divide l(21)?
True
Let k = -851 - -869. Is k a multiple of 9?
True
Let k be ((-12)/4 + -3)/(-2). Let o(m) = 4*m - 8. Let s be o(k). Suppose s*j = 486 - 54. Is j a multiple of 18?
True
Suppose 0 = -23*a + 4555 + 8854. Is a a multiple of 54?
False
Let m(j) = 3*j**3 - 12*j**2 + 8*j - 15. Does 11 divide m(9)?
False
Let f = 11 - 14. Let n(i) = -3*i**3 + i**2 - 5*i. Is 35 a factor of n(f)?
True
Suppose 2*w = -0*w. Suppose w = 5*f + 3*p - 184, -2*f + 14 = p - 59. Is f a multiple of 35?
True
Suppose 3*n = 7*n - 60. Let g = 20 - n. Suppose -4*s - s = -g*o + 325, -s = 2. Is o a multiple of 21?
True
Let d = -246 + 128. Let m be d/(-3) - (-4)/6. Suppose -4*i + 0 = -m. Does 10 divide i?
True
Suppose -36*y - 5399 = -21743. Is y a multiple of 9?
False
Let c(b) = b**3 - b + 225. Let u(t) = -2*t**2 + 14*t. Let j be u(7). Is c(j) a multiple of 25?
True
Let u(m) = -4*m + 0 + 5*m + 1. Let h be u(7). Suppose -5*q + h*q - 72 = 0. Is q a multiple of 8?
True
Let x = 175 + -260. Let s = x - -199. Is s a multiple of 19?
True
Suppose 3*d - 38 - 27 = -q, -5*q + 4*d + 344 = 0. Suppose -58 = 4*i - 5*m - 238, -2*i = 3*m - q. Is i a multiple of 20?
True
Let s(p) = 2*p**3 + 2*p - 1. Let h be s(4). Suppose 4*b - 54 = -2*y, b = -4*y + 2*b + h. Does 11 divide y?
True
Let f(y) = 4*y + 47. Is f(0) a multiple of 6?
False
Let m be 0 - ((-3 - -4) + 5). Let w = 149 + m. Is w a multiple of 42?
False
Suppose 0 = 36*u - 31*u - 805. Suppose -w + 201 = 5*x - 0*w, -4*x = w - u. Is 4 a factor of x?
True
Let m(a) = -11*a**2 + 16*a + 15. Let r(s) = 7*s**2 - 11*s - 10. Let b(j) = 5*m(j) + 8*r(j). Let u = -115 - -125. Does 9 divide b(u)?
False
Let z = -4 - -9. Suppose 19 = 3*j + 3*v - 8, -j - z*v - 7 = 0. Does 9 divide j?
False
Suppose 2*n = 3*p + 1800, -9*n + 10*n + 2*p = 886. Does 3 divide n?
True
Let g be -147 - ((4 - 3)*6)/2. Is 18 a factor of (4/28*g)/(4/(-28))?
False
Let a(q) be the first derivative of q**3/3 + 3*q**2 - 2*q + 7. Let b be a(-6). Is 20*1/(-1 - b) a multiple of 15?
False
Let n = 20 - 33. Let a = -8 - n. Suppose 215 = 5*m + 5*v, 148 = 4*m + v - a*v. Is m a multiple of 20?
True
Let h = 15 + 4. Suppose f = 0, 0 = -m - f - f + h. Does 18 divide m?
False
Let c be (-45)/6 + (-1)/2. Is c - -4 - (-3 + -21) a multiple of 5?
True
Let d = 2552 + -1188. Is d a multiple of 31?
True
Let c be (2/(8/20))/((-2)/(-34)). Suppose 4*h = 5*u - 362, u + 2*h = 7*h + c. Is 7 a factor of u?
True
Suppose g + 93 = 3*g + 3*w, -4*w = g - 59. Let z = 53 - g. Is 10 a factor of z?
False
Suppose 462*k = 463*k - 227. Is k a multiple of 18?
False
Let a be 17/((-510)/(-12)) - 3/(-5). Does 16 divide (a - (2 - 2))*(6 - -47)?
False
Let y(z) = z**2 + 9*z - 26. Does 22 divide y(-15)?
False
Suppose 2*c - 55 = 6*v - 3*v, 0 = -3*c + 4*v + 80. Does 20 divide c?
True
Suppose 4*q = 6 + 66. Let z be (-4)/(-18) + (-4)/q. Suppose -3*p - 2*p + 90 = z. Does 6 divide p?
True
Suppose -748 = 5*i - 10318. Does 87 divide i?
True
Is 4 a factor of (-9)/(72/68)*-8?
True
Suppose -25*k + 507 = 2*c - 26*k, k = -2*c + 501. Is 36 a 