 k = 12 + z. Suppose 36 + 4 = k*a. Is a a multiple of 16?
False
Suppose 3*n - 4*t - 77 = 0, -n + 4*n - 5*t - 82 = 0. Is n a multiple of 19?
True
Let l = 28 + 9. Does 9 divide l?
False
Let l = 2 - -2. Is 15 a factor of (-1 - 1)/l*-30?
True
Is 18 a factor of (4 - 170/(-25))*15?
True
Let l be (-6)/(-15) + 116/10. Let k = 13 + l. Is 7 a factor of k?
False
Suppose -24 = 4*t + 2*j, 2*t + t + 5*j + 32 = 0. Does 13 divide t + 4 + 4 - -9?
True
Let f be (-2)/8 + 2018/8. Let z = f - 362. Is z/(-8) - 2/(-8) a multiple of 7?
True
Let j(w) = -w - 52. Let b(h) = -h - 1. Let q(r) = 2*b(r) - j(r). Does 25 divide q(0)?
True
Let t(g) = g**3 + 11*g**2 + g + 13. Let b be t(-11). Suppose -h = b*h - 294. Is 25 a factor of h?
False
Suppose 0 = s - 10 - 0. Suppose 2*w = s + 2. Suppose 2*f + 168 = w*f. Is f a multiple of 14?
True
Let j = 26 + -10. Does 14 divide j?
False
Let i(z) = z. Let s be i(5). Suppose -72 = -s*x + 8. Is x a multiple of 16?
True
Let w = -3 - 0. Let s be w + 3 - (-5 - -2). Suppose s*b - 57 = -0*b. Is 7 a factor of b?
False
Let s(t) = t**2 - 2. Let q be s(-9). Suppose -3*y = -m - 15, 5*y - q + 34 = 5*m. Is 12 a factor of (-16)/m*(-18)/(-4)?
True
Let l(z) be the first derivative of z**4/2 - z**3 - z**2/2 - 4*z - 1. Is l(3) a multiple of 4?
True
Let o(t) = -t - 2. Let h be o(-6). Let q = 0 + h. Suppose 0*d = q*d - 52. Is d a multiple of 6?
False
Let j(o) = -11*o - o**2 + 12*o - 15 + 13*o + 5. Is 9 a factor of j(5)?
False
Suppose 0 = 3*k - 6, -5*h + 0*h = -2*k - 621. Suppose -5*d - 2*j + 7*j + h = 0, 8 = -2*j. Is d a multiple of 10?
False
Let y(a) = a + 26. Let x(u) = u + 27. Let l(z) = 6*x(z) - 5*y(z). Suppose -7*j = -3*j. Is l(j) a multiple of 16?
True
Let v = 51 - 88. Let f = -20 - v. Is f a multiple of 10?
False
Let p be 4/(16/4) + 2. Suppose 4*r - p*u + u = 242, -3*r + 154 = 4*u. Is 29 a factor of r?
True
Suppose 5*n - n - 432 = 0. Suppose 3*b - 97 + 32 = 5*l, 4*b + 4*l - n = 0. Is b a multiple of 10?
False
Let x(q) = -q + 61. Does 14 divide x(0)?
False
Suppose 19 = -5*j + 4, 5*f + j - 72 = 0. Suppose 0 = -5*d - 0*d - 5*i + f, 2*i + 50 = 5*d. Suppose -d = -4*s + 4. Does 3 divide s?
True
Let d be (-2)/(-11) + (-12)/66. Suppose d*w + 2*w - 102 = 0. Is w a multiple of 13?
False
Suppose 168 - 558 = -5*x. Is x a multiple of 26?
True
Suppose r = 5*r + 20, 0 = -4*s + 2*r + 10. Suppose p + p - 4 = s. Suppose t = p*t - 14. Is t a multiple of 7?
True
Let m(c) = -4*c**3 - 2*c - 5*c**2 + c**3 + 2*c**3 - 1 + 3*c**2. Does 11 divide m(-4)?
False
Suppose k = -0*k + 10. Suppose -2*t = -3*t + 4*d + k, 5*t - 2*d = 14. Suppose t*o = 4*f - 46, -f + 0*o - 4*o = 11. Does 9 divide f?
True
Suppose 0 = -9*d + 173 - 65. Does 4 divide d?
True
Let d = -17 + 44. Suppose 0*a = -3*a + d. Does 6 divide a?
False
Suppose -2*r - 36 = -h, 3*h + 0*r = 4*r + 118. Is h a multiple of 46?
True
Let j(s) = -14*s**3 - s**2 + 43*s**3 + 3*s - s - 1. Suppose -i = 3*i - 4. Is j(i) a multiple of 12?
False
Suppose 4*u + 2*w = 3*w + 564, -3*w + 722 = 5*u. Is u a multiple of 21?
False
Suppose 26*k = 28*k - 418. Is 19 a factor of k?
True
Suppose 0 = -4*k + 5 + 3. Does 5 divide (-50)/15*(-1 - k)?
True
Let d(x) = x**3 + 4*x**2 - 6*x - 3. Let c be d(-5). Let w be -6*((-11)/(-3) + -3). Is c*12*(-3)/w a multiple of 9?
True
Suppose 2 = 4*t - 10. Let f(m) = -m**3 + 5*m**2 + 3*m + 4. Let q be f(t). Suppose -y + 16 = 5*o - q, -3*o = 5*y - 37. Is 5 a factor of o?
False
Suppose 4*x - 211 = -3*z, 258 = 5*x + 3*z - 5*z. Is 10 a factor of x?
False
Let i(k) = -k**2 + 8*k + 7. Let y(p) = p + 1. Let u be y(6). Let x be i(u). Let b = x - 10. Does 2 divide b?
True
Let p be (-3)/(-2 - (-4 - -3)). Suppose -48 = -0*o - o + p*s, -2*s - 292 = -5*o. Suppose -3*n = -66 - o. Is n a multiple of 13?
False
Let n be (28/6)/((-6)/(-18)). Suppose -5*z = -6 - n. Suppose -4*o = 3*t - o - 36, 5*o = -z*t + 49. Is t a multiple of 8?
False
Let k(p) = p**2 - 9*p + 7. Let i be k(7). Let h = i + 59. Is 13 a factor of h?
True
Let s(k) = -4*k. Let j be s(-5). Let l(b) = -3*b - 18. Let z be l(-6). Suppose r - 7 - j = z. Is r a multiple of 9?
True
Let c be (-1)/2 - 498/(-12). Suppose 3*z + c = 119. Is z a multiple of 26?
True
Suppose 5*s = 10 + 40. Let n(w) = 4*w + 14. Does 18 divide n(s)?
True
Let z(h) be the second derivative of 13*h**3/6 + h**2/2 - 5*h. Does 9 divide z(2)?
True
Suppose -2*l - 6 = -14. Suppose -8*h - v = -4*h - l, 4*v + 26 = 5*h. Suppose 0*w = -h*w + 26. Is w a multiple of 12?
False
Suppose -50 = -5*b + 5. Let t = b - 7. Is t a multiple of 2?
True
Let z(m) = -m**3 - 3*m**2 + 7*m - 11. Is 2 a factor of z(-5)?
True
Let r = -45 + 135. Is r a multiple of 9?
True
Let z = 80 - 42. Let y = z - 22. Suppose x + 6 = y. Is x a multiple of 5?
True
Let u(s) = -2*s**3 - 2*s**2 - 2. Let n be -7 + 6 + (-1)/1. Does 2 divide u(n)?
True
Let a(m) = -24*m - 4. Is a(-1) a multiple of 6?
False
Let z = -173 - -307. Does 28 divide z?
False
Let g(s) = s + 15. Is 2 a factor of g(-8)?
False
Is 4 a factor of (-1 + -1)/((-4)/22)?
False
Suppose 0 = -z - 4*c + 25, -3*z + 6*c = 3*c. Suppose 24 + 3 = 2*t + q, 5 = z*q. Does 10 divide t?
False
Suppose 50*v - 55*v + 880 = 0. Is v a multiple of 22?
True
Let q = 12 - 7. Suppose -x = -0*x - q*t - 49, 5*x - 2*t = 153. Suppose 5*c - 36 = x. Does 10 divide c?
False
Let l = 235 - 138. Is l a multiple of 42?
False
Let l = 21 - -30. Is 3/(-2) + l/2 a multiple of 9?
False
Suppose 0 = 3*i + 9, -7*i + 45 = 4*r - 2*i. Is r a multiple of 15?
True
Is 11 a factor of 315/10 - ((-30)/4)/5?
True
Suppose -3*y = -4*k - 76, 0 = 3*y - 2*k + 5*k - 48. Suppose -w - y = 3*w. Is w/(-20) - 86/(-8) a multiple of 11?
True
Let d = 479 + -320. Suppose 0 = -5*a + d - 419. Let b = -26 - a. Is 13 a factor of b?
True
Suppose y = -2*t + 41, y - 4*y + 78 = -3*t. Does 2 divide y?
False
Is 27 + 3 - (-3 - -1) a multiple of 3?
False
Let b(t) = t**2 - t + 4. Suppose -y = 2*a + 1, 4*y + 4*a = a + 6. Is b(y) a multiple of 10?
True
Let y = -3 + 9. Suppose 0 = g - 16 + y. Is g a multiple of 10?
True
Let r be (-2)/(-2) + (0 - 0). Let d = r - 14. Let m = 20 + d. Is 7 a factor of m?
True
Suppose 4*p + 0*x - x = 3, 7 = 5*p + 2*x. Let t(m) = -6*m**3 + 0*m + 33*m**3 - m. Does 13 divide t(p)?
True
Let v be 1/2 + (-2)/4. Suppose 5*s = -v*g + 2*g - 68, 32 = -2*s - 4*g. Let i = s - -28. Is i a multiple of 7?
True
Does 6 divide 0 + 25 + -2 + 1?
True
Let m = -5 - -20. Let c = m - 50. Let b = 49 + c. Does 12 divide b?
False
Let t(r) = -r**3 - 5*r**2 - 5*r + 4. Does 2 divide t(-4)?
True
Is (100/(-15))/((-8)/84) a multiple of 28?
False
Let x(y) = -4*y - 1. Let v be x(4). Let a = -10 - v. Suppose -3*h = 4*f - a*h - 260, -285 = -5*f - 3*h. Does 20 divide f?
True
Let w be (-4)/(-8)*0/(-3). Suppose w*r = 2*r. Let d = 6 - r. Is d a multiple of 3?
True
Let x(t) = 2*t + 12. Let v be x(13). Suppose 2*f - 4*p = 34 + v, -f = 2*p - 44. Does 20 divide f?
True
Suppose -5*y = -0*y - 870. Does 10 divide y?
False
Let n = 8 - 4. Suppose 34 = 2*h + 4*i, 0 = -h - n*i + 17. Suppose -j + h = -18. Does 12 divide j?
False
Let m(s) = 13*s**2 - s + 2. Does 13 divide m(2)?
True
Let y(p) = -2*p**2 + 3*p + 2. Let v be y(5). Let n = -16 - v. Is n a multiple of 8?
False
Let u = -14 + 38. Is u a multiple of 8?
True
Suppose -4*x = -44 - 52. Does 12 divide x?
True
Suppose 3 - 7 = u. Let z(q) = 3*q**2 + 7*q + 4. Is z(u) a multiple of 24?
True
Suppose 39 = 5*s - 441. Does 8 divide s?
True
Suppose -31 - 299 = -5*w. Is w a multiple of 11?
True
Suppose 4*p = -o - 4*o + 3, -3*p + 2*o = -8. Suppose -2*h + p*a + 28 = -6, 0 = -4*a - 20. Does 6 divide h?
True
Let r be 36/(-16) + 1/4. Is 23 a factor of (-759)/(-15) + r/(-5)?
False
Let a be (-17)/(-1)*-1 - -2. Let h be (-2)/(-5) - (-6)/a. Suppose -4*d + 60 + 108 = h. Is d a multiple of 14?
True
Suppose 4 = -5*k + 89. Suppose k = 3*f - 169. Let b = f + -44. Does 6 divide b?
True
Let u be (-5 - -3)*(2 + -3). Let m = u + 0. Is 2 a factor of m?
True
Let j = -70 + 147. Does 11 divide j?
True
Is -4*39/(-6) - -2 a multiple of 13?
False
Suppose 8*b + 5 = 101. Is 3 a factor of b?
True
Suppose 2*h - 3*c = 21, 0 = h - c - 10 + 2. Suppose 52 = -2*d + 4*w + 332, 2*d = -h*w + 287. Suppose 5*j - d = -p, 2*j = j - 2*p + 32. Does 14 divide j?
True
Suppose 4*l = 6*l - 20. Suppose 0 = -z + g + 22, 3*g = z + 4*z - 106. Let u = l + z. Is 15 a factor of u?
True
Suppose 0 = 3*x - 6*x +