t z be r(5). Is 12 a factor of (25 - (-1 + z)) + -1?
True
Suppose 9 = -2*k + 5*k. Suppose k*d = -d + 120. Is d a multiple of 15?
True
Let x be 724/24 + (-1)/6. Suppose -4*l + 9*l = x. Is 3 a factor of l?
True
Suppose -4*j + 3*j + 14 = 0. Is j a multiple of 14?
True
Let o be 4 + (-4 - (-3 + -1)). Suppose 0 = 5*d - 5*l - 20, -2*l - 4 = d + l. Suppose -d*w - 86 = -o*w. Does 13 divide w?
False
Let y(b) = 10*b. Let s be y(2). Suppose -4*p + 17 + 3 = 0, 5*p = -5*f + s. Let n = 33 - f. Is n a multiple of 15?
False
Let i(k) = 9*k - 12. Let z(b) = 3*b - 4. Let m(f) = -6*i(f) + 17*z(f). Let y be -1*2/(-2)*-7. Does 13 divide m(y)?
False
Let t = 48 - -33. Suppose 4*c = c + t. Is 9 a factor of c?
True
Let p(g) = 6*g + 7. Let o be p(8). Suppose -5*c + 3*s = -2*s - o, 4*c + 2*s = 26. Does 3 divide c?
False
Suppose -5*s = -0*s. Suppose 2*c + 16 = 6*c, 3*r + c + 584 = s. Is (r/6)/(2/(-3)) a multiple of 17?
False
Suppose 2*z = 4*k - 12, k - 6*k + 15 = 3*z. Let a be (z - 1)/(2/(-6)). Suppose -a*d = -21 + 3. Does 5 divide d?
False
Let o be (-20 + -1)/(-3) - 2. Let m be (-1)/(-5) - (-84)/o. Suppose m = g - 2. Is g a multiple of 19?
True
Suppose 0 = -5*y + 4 - 19. Let c be y/(-12)*-11*-8. Let d = c - 13. Is 9 a factor of d?
True
Suppose 3*j - c = 158, -4*c = 4*j - 2*j - 96. Suppose 2*t - 4*t - 2*d = -j, 5*d = 2*t - 17. Let o = t + -13. Is o a multiple of 8?
True
Let o(f) = -4 - 8 + 0*f + 2*f. Let w be o(10). Is (-5)/4*w*-2 a multiple of 10?
True
Let l(h) = -h**2 + 4*h - 1. Let q be l(3). Suppose 7*c = q*c + 80. Is c a multiple of 7?
False
Suppose -3*b - k = -15, -2*b - 4*k + 6 + 4 = 0. Suppose -z - 107 = -3*q - b*z, 2*z = -3*q + 109. Does 17 divide q?
False
Suppose 0 = 3*x - 3*l - 63, 3*l = -4*x + 20 + 36. Suppose -2*h = -33 - x. Does 11 divide h?
False
Suppose -5*x + 4*q - 2 = -1, 4*x + 4*q = 28. Suppose -x*i + 8*i - 2*w - 61 = 0, -4*i + 2*w + 50 = 0. Is (1 - i)*(-2)/4 a multiple of 5?
True
Is 16 a factor of 2696/56 + (-1)/7?
True
Let c(i) be the first derivative of 1/2*i**2 - 2 + 7*i. Is 12 a factor of c(5)?
True
Let f(m) = 2*m**2 + 12*m - 4. Let t(k) = -3*k**2 - 13*k + 5. Let n(b) = -4*f(b) - 3*t(b). Is n(11) a multiple of 23?
True
Suppose f - 7 = -2*r, 5*f + 6 = 21. Suppose -57 = -4*y - t + r*t, t = -1. Suppose 3*q = -y + 53. Is q a multiple of 5?
False
Suppose 4*q - q - 129 = -4*y, -4*q + 3*y + 147 = 0. Is q a multiple of 13?
True
Suppose 21 = 2*k + k. Let v(t) = t + 1. Let p(u) = -u**2 - 2*u - 8. Let c(l) = -p(l) - 3*v(l). Is 12 a factor of c(k)?
False
Suppose 14 = 2*i - 8. Suppose y = -3*g + 43, -2*y - i = -g - 4*y. Is g a multiple of 13?
False
Let j(i) = -65*i - 19. Is 8 a factor of j(-2)?
False
Let t = 32 - 17. Is 6 a factor of t?
False
Let j(d) = d**3 - 13*d**2 + 2*d + 19. Is j(13) a multiple of 15?
True
Let j be ((-2)/(-10))/((-2)/(-110)). Let y = 6 + -9. Let b = y + j. Is b a multiple of 4?
True
Suppose 5 = -2*q + v, 3*v = -5*q - v + 20. Let t be ((-9)/6 + q)*-28. Let f = 76 - t. Is f a multiple of 14?
False
Let t be (-10 - 0)/(1 + 0). Does 4 divide t/(-2)*72/30?
True
Let i(u) = -u**3 + 17*u**2 + 13*u - 2. Is i(17) a multiple of 22?
False
Let w be (-34)/((-3)/6 - 0). Suppose i + i - w = 0. Does 17 divide i?
True
Let y = 2 + -2. Let s be -1 - y - (-1)/1. Suppose -5*i = -s*i - 110. Is 11 a factor of i?
True
Let p(r) = r + 2. Let b be 5 - (-1)/(2 + -3). Is 2 a factor of p(b)?
True
Suppose 4*l - 43 - 13 = 0. Suppose 4*d - l = 2. Is 4 a factor of d?
True
Suppose -q + 17 = -152. Does 13 divide q?
True
Suppose -5*k = -2*h - 8, 0 = k - 3*h + 7 - 19. Suppose -3*z = 12, z = 4*f - 3 - 1. Suppose k*i - i - 64 = -3*o, -5*o - 3*i + 88 = f. Is o a multiple of 10?
True
Suppose -4*o - 24 = -4*k, 2*k + 3*k = 2*o + 18. Is 2 a factor of k?
True
Suppose 2*i = -p + 223, -4*i - p = -2*p - 437. Is 11 a factor of i?
True
Suppose 17*o = 21*o - 44. Is 3 a factor of o?
False
Let l(c) = -c**3 + 4*c**2 + 6*c - 2. Let g be l(5). Is 1*g/(-6)*-24 a multiple of 9?
False
Let j = -105 + 185. Is j a multiple of 20?
True
Let q(m) = 3*m**2 + 0*m**2 - 4 + 7*m**3 - 5*m + 0*m**2. Let j(g) = 7*g**3 + 4*g**2 - 6*g - 5. Let h(l) = 4*j(l) - 5*q(l). Does 3 divide h(-1)?
False
Let j(i) = -8*i**3 + 1 - i**2 + 4 - 4. Let u be j(-1). Let z = u + -3. Is z a multiple of 2?
False
Suppose 0 = -3*f - 2*j + 208, -3*j = 3*f - 2*j - 206. Is f a multiple of 17?
True
Suppose -3*m + 8 = -139. Suppose -s + 0*p + 3*p + 7 = 0, -5*s + m = -p. Suppose 2*l - s = l. Is l a multiple of 10?
True
Let a(d) = d**3 + 4*d**2 - 2*d - 5. Suppose k = 5*i - k - 24, -2*i - 4*k = 0. Suppose -4*m - i*z = z + 26, 2*m = -z - 10. Does 3 divide a(m)?
True
Let x(d) = 27*d - 18. Does 16 divide x(7)?
False
Let t be 2/(-6) - 26/(-6). Let w be 4/2 + (1 - t). Does 17 divide (w - -18)*-2*-1?
True
Let p(g) = -2*g**3 + 8*g**2 + 2*g + 15. Let n(y) = 5*y**3 - 25*y**2 - 5*y - 44. Let i(c) = -3*n(c) - 8*p(c). Is i(-11) a multiple of 23?
True
Let n(z) = 5*z - 5 + 0*z + 5. Does 3 divide n(2)?
False
Let f(v) = v**3 + v**2 + v + 87. Let q be f(0). Let z = 135 - q. Is z a multiple of 21?
False
Let y = 3 - 10. Let r = -9 - y. Is 0 + -2 + (-36)/r a multiple of 11?
False
Let v(q) = q**3 + 3*q**2 - q - 1. Let y be v(-3). Is (-20)/(-1*(y - 0)) even?
True
Let g(d) = d**2 + 3*d - 5. Let j be ((-32)/12)/(3/9). Let b = j + 14. Does 14 divide g(b)?
False
Suppose -y = 3*y + 148. Let j = y + 53. Is 6 a factor of j?
False
Suppose f - 378 = -5*f. Is f a multiple of 19?
False
Suppose 4*u - 6*u = -40. Is 13 a factor of u?
False
Suppose -5*w - 374 = -1089. Suppose 5*o - 147 = w. Is o a multiple of 21?
False
Suppose -h - 5*a + 50 = 4*h, 0 = 4*h - a - 50. Suppose 3*s - 4*s - 4*w = -h, 5*s = -2*w + 96. Is s a multiple of 4?
True
Suppose 5*u - 65 = 4*u. Is 16 a factor of u?
False
Let t(q) = -q - 6. Let f be t(-6). Suppose f*r = -r + 5. Suppose 2*d - 5 = r. Is 5 a factor of d?
True
Suppose 3*b = 178 - 22. Let h = b + -23. Is 11 a factor of h?
False
Let z(c) = -c + 22. Let l be z(17). Suppose 0 = l*u - 5 - 25. Is u even?
True
Let k(a) = -a**3 - 4*a**2 - 3*a + 4. Let l = 7 - 11. Is k(l) a multiple of 8?
True
Let g(h) = 2*h**2 - 7*h - 19. Is g(7) a multiple of 7?
False
Suppose 10*n + 30 = 1290. Is 14 a factor of n?
True
Let i(d) = 4*d + 2. Let g be i(-2). Let u = g - -8. Suppose h = u*h - 12. Is 12 a factor of h?
True
Does 31 divide 97 - (-3 - 1 - -5)?
False
Suppose 0 = 2*u - 5*h - 22, -u + 4 = -h - 4. Let t = u - 11. Let m = 15 - t. Is 11 a factor of m?
False
Suppose 0*n - 3*n - 35 = -2*x, 5*x + 5*n - 50 = 0. Suppose 0 = 5*g - 3 + x. Is ((-16)/(-6) + g)*24 a multiple of 5?
False
Does 19 divide (190/(-15))/(2/(-3))?
True
Suppose -3 = j, 3*v - 219 = 3*j + 2*j. Does 44 divide v?
False
Is 586/14 + 1/(-49)*-7 a multiple of 6?
True
Let s = -228 + 371. Is s a multiple of 36?
False
Suppose -g = 2*g - 3. Is 4/(g - -1) - -26 a multiple of 14?
True
Let h(q) = -q**3 - 5*q**2 + 7*q + 8. Let t be h(-6). Is (-1)/(1*t/(-18)) a multiple of 9?
True
Let m(n) = n**3 + n. Let g = 8 - 8. Let v be m(g). Suppose -2*w - 2*w + 136 = v. Is w a multiple of 11?
False
Let l(d) = d**3 + 10*d**2 + 10*d + 6. Does 11 divide l(-5)?
False
Let f(n) = -n**2 + 2*n + 1. Let d be f(3). Is (3 + (-46)/4)*d a multiple of 7?
False
Let t = -733 - -1268. Suppose 0 = 6*m - t + 79. Is 19 a factor of m?
True
Let r(p) = -p + 14. Suppose 4 = -s, -5*q + 2*s + 8 = -2*q. Let d be r(q). Suppose 0*j + j = d. Does 11 divide j?
False
Suppose -3*i + y = -719, 3*y - 8*y = 2*i - 485. Does 20 divide i?
True
Let a be (-225)/(-81) - (-2)/9. Suppose 0 = a*y - 15 - 117. Is y a multiple of 22?
True
Suppose 2*m - 56 - 80 = 0. Suppose 0*s + m = s. Does 34 divide s?
True
Let a = -13 - -43. Let h(n) = 24*n - a*n**3 - 24*n. Is 15 a factor of h(-1)?
True
Suppose -2*h = -5*m - 6, 3*h = 5*h - 4*m - 6. Suppose -h*r + 46 = -26. Is r a multiple of 8?
True
Is (-386)/(-12) + (-8)/48 a multiple of 15?
False
Suppose 2*g + 3*q = 104, -5*g - 2*q + 249 = -0*q. Is 22 a factor of g?
False
Suppose -2*g + 5*h + 78 = -20, 98 = 2*g - 2*h. Is g a multiple of 39?
False
Let v(w) = 6*w**2 - 5*w - 20. Is 13 a factor of v(-4)?
False
Suppose 4*r + 4*v + 20 = 0, 2*v = 5*r - 4*r - 10. Suppose -5*o + r*y + 190 = -5*y, -5*o - 3*y + 222 = 0. Does 21 divide o?
True
Suppose -12*n = -5*n - 42. Is 6 a factor of n?
True
Let k = -53 + 112. Is 4 a factor of k?
False
Let p(r) be the t