iple of 36?
False
Suppose -4*m + 14 = -4*j + 2*j, 4*m - j - 13 = 0. Let f(k) = k - 4. Let d(c) = 5. Let z(s) = m*d(s) + 2*f(s). Is z(12) a multiple of 9?
False
Is 2 a factor of ((-24)/9)/((-12)/18)?
True
Does 15 divide (92/16 + 2)*4?
False
Let u(l) = l + 2. Let q be u(3). Suppose 4*m - 3 = 1, 1 = -h + q*m. Is 3 a factor of h?
False
Let w(n) = n**3 - 4*n**2 - 6*n - 2. Is 15 a factor of w(6)?
False
Let x(i) = 22*i**2 - 6*i - 15. Is 67 a factor of x(-3)?
True
Let q = 11 - -1. Is 12 a factor of q?
True
Let f = 19 + -13. Suppose f = -2*k + 5*k. Suppose 0 = 3*g + 6, 26 = k*p - 2*g + g. Is p a multiple of 12?
True
Let r(p) = -8*p - 12. Let t be r(-8). Suppose -2*g - 2*g = -t. Suppose 3*l + 6 = 0, 2*n - 2*l - g - 19 = 0. Does 7 divide n?
True
Suppose a + 3*a = 204. Is a a multiple of 17?
True
Suppose 5*o + 4*k = 104, -32 = -o + 4*k - 2*k. Suppose 2*q = 3 + 3. Suppose 3*m = -q + o. Does 7 divide m?
True
Let w(l) = -l - 2. Suppose 4*x + j + 44 = 0, 3*j - 44 = 4*x + 2*j. Is w(x) a multiple of 4?
False
Let f(k) = 21*k - 69*k - 95*k + 0*k. Let w be f(1). Let g = -101 - w. Does 16 divide g?
False
Let x(d) = d**2 - 4*d + 2. Let n be x(6). Let k be n/4 - 2/4. Suppose -k*j - w + 56 = -6*w, 56 = 5*j + w. Is 12 a factor of j?
True
Suppose -3*a + 5 = -1. Is 87/2 - (-1)/a a multiple of 11?
True
Suppose -5*c + 0*c - 440 = -4*u, 0 = -2*c. Is 22 a factor of u?
True
Suppose 19 + 5 = 3*j. Is 4 a factor of j?
True
Suppose -109 = -2*i + a + 66, -4*i = 3*a - 375. Is 15 a factor of i?
True
Let w(x) be the first derivative of x**2/2 - x - 3. Does 2 divide w(4)?
False
Is 1/((-28)/(-26) - 1) a multiple of 12?
False
Let w(u) = -u**3 + 6*u**2 - 5*u + 1. Let k be w(5). Let l = k + -1. Suppose l*z - 4*z = -36. Does 6 divide z?
False
Is (32 + 1 + -2 + 0)*1 a multiple of 7?
False
Let s = -19 - -31. Let f be 16/s*6/4. Is 31/f + (-12)/(-8) a multiple of 17?
True
Let a be (-26)/((-2 - -1)*2). Let b = a - 11. Suppose -g + 231 = 3*g + p, -b*g = 5*p - 129. Is g a multiple of 19?
True
Let z be (-2 - 4/(-2))/(-1). Suppose z*c - 22 = -2*c. Is 11 a factor of c?
True
Let n be (0 + -32)*1/(-2). Let k be 18/(-4)*1/((-12)/(-16)). Let h = k + n. Is 10 a factor of h?
True
Let z = 6 - 6. Suppose u + 0*u - 5 = z. Suppose -u*i + 112 - 27 = 0. Is i a multiple of 13?
False
Let x(c) = 2*c**2 + 3*c + 5. Is 16 a factor of x(5)?
False
Let a be 0/(-2) - 0 - -6. Suppose -g - 2 = -a. Suppose -2*f - 2*x + 48 = 0, -5*f = -g*x - 0*x - 102. Is f a multiple of 9?
False
Suppose -3*d - s + 1 + 3 = 0, d + 5*s + 8 = 0. Let t be ((-1)/2)/(d/24). Is 4 a factor of ((-40)/t)/2*3?
False
Let v(b) be the second derivative of -11*b**3/6 + b**2/2 - 2*b. Is 6 a factor of v(-1)?
True
Let b = -37 - -45. Is 8 a factor of b?
True
Let d(t) = -3 + 3*t**2 - t - 4*t**2 + 2*t**2. Let c be d(3). Suppose -o + 64 = c*o. Is o a multiple of 8?
True
Let l = -29 + 40. Let s = l - -3. Does 14 divide s?
True
Let k(x) = -8*x - 1. Let z be (4/(-6))/((-2)/(-9)). Is k(z) a multiple of 14?
False
Let u = 13 - 1. Is u a multiple of 6?
True
Let u = -2 - 1. Let d(m) = 10*m**2 + 2*m + 3. Is 29 a factor of d(u)?
True
Let b(z) = z + 20. Is 9 a factor of b(-4)?
False
Let l(c) = -c**3 - c - 1. Does 14 divide l(-3)?
False
Suppose 5*q - 25 = 0, -9 = 2*t + 4*q + 19. Let k = 0 - t. Is k a multiple of 8?
True
Let s = 0 - 0. Suppose s = 2*p - 0 - 6. Does 3 divide p?
True
Let z(n) = -11*n + 42. Is z(-8) a multiple of 10?
True
Let q(p) = -8*p**3 - 2*p**2 - p + 2. Is q(-2) a multiple of 8?
False
Let w be ((-1)/1)/(0 - -1). Does 9 divide (-1392)/(-36) - w/3?
False
Let u(b) be the third derivative of -b**6/60 - b**5/30 + b**4/8 + b**3/6 - 2*b**2. Is u(-3) a multiple of 21?
False
Let x(v) = -v**2 - 4*v + 4. Let z be x(-4). Suppose -z*d = g - 30, 0*d + 2*d + 3*g - 20 = 0. Is d a multiple of 2?
False
Is (-12)/(-18) - (-20)/6 a multiple of 4?
True
Let r be 0/(2/(-2) + 0). Suppose -i - 2 + 11 = r. Suppose -51 = -5*v + i. Is v a multiple of 6?
True
Let g(d) be the third derivative of d**6/180 - d**5/15 + d**4/8 - d**3/6 + 2*d**2. Let a(m) be the first derivative of g(m). Is a(6) a multiple of 19?
False
Suppose 2*b = -r + 212, 0 = 5*r + 4 + 6. Does 38 divide b?
False
Let r(b) = 65*b + 1. Is 9 a factor of r(1)?
False
Suppose -3*q - 1 = -7. Suppose -4*f = -4*d - 192, q*f + d = -2*f + 172. Does 10 divide f?
False
Let v(o) = -5*o + 6. Let l be v(4). Let z = -8 - l. Is (-16)/z*9/(-2) a multiple of 12?
True
Let k = 74 + -61. Is 13 a factor of k?
True
Suppose 3*r - 42 = -4*u + 5, 2*u = r - 19. Let w = r - 8. Is w a multiple of 3?
True
Suppose 2*r - 5*w = -2*r + 61, -2*r = w - 27. Let k = 23 - r. Is 9 a factor of k?
True
Suppose -2*i - 334 = -4*q, 161 = 2*q - 0*i - 3*i. Does 32 divide q?
False
Let f(c) = c + 3. Let l be f(-3). Suppose l = -5*m - 27 + 97. Is 4 a factor of m?
False
Let f be (-2)/((-6)/3) + -79. Does 9 divide 2/(-2) - f/3?
False
Does 34 divide ((-170)/(-35))/(0 + 1/7)?
True
Let l = -28 + 145. Let w = -82 + l. Is 14 a factor of w?
False
Let j = -2 - -7. Suppose -55 - 10 = -j*y + 5*n, 5*n = -5*y + 65. Does 5 divide y?
False
Let m(h) = -h**3 - 4*h**2 + 7*h - 2. Is 7 a factor of m(-6)?
True
Let t = 17 - 12. Suppose -t*m = 4*o - 97, 0 = -4*o - 2*m + m + 109. Is 14 a factor of o?
True
Suppose -2*r + 3*j = 5 - 3, 3*j = -2*r + 22. Suppose 0 = -2*h - 2*h + r*t + 173, -h + t = -43. Suppose 78 = 4*w - 5*n, 2*w = 2*n - n + h. Does 11 divide w?
True
Let w be 594/10 + (-21)/(-35). Is 6 a factor of ((-4)/(-10))/(2/w)?
True
Suppose 2*y - 458 + 122 = 0. Suppose -2*i + 5*u = -87, -i - 4*u - y = -5*i. Is 16 a factor of i?
False
Let u be (-7)/14*(-1 - 9). Let q = u + 1. Does 2 divide q?
True
Suppose -3 = 2*m - 1. Does 15 divide 30 + (-2 + 2)*m?
True
Let p = -64 - -150. Is 35 a factor of p?
False
Let s(i) = -6*i - 18. Is s(-10) a multiple of 6?
True
Let s be (-30)/(-25)*(-10)/(-3). Suppose -3*n - 4*o = s - 13, 0 = -3*n - 3*o + 12. Suppose 2*u + 200 = n*u. Is 23 a factor of u?
False
Let a be (-5)/(-2)*(3 - -7). Let t = a - -7. Is t a multiple of 16?
True
Let r(i) = i**3 - 5*i**2 + 2*i - 7. Let h be r(5). Let d be 6 + 0 + 0 - h. Suppose 2*m + 0*m + 116 = 2*w, 5*w + d*m - 298 = 0. Does 23 divide w?
False
Suppose 2*r = -2*c + 16, 4*c + 37 = 6*c - 5*r. Suppose 4*j - c = 9. Is j even?
False
Let n(o) = -7*o - 2. Let s be n(5). Let k = s - -61. Is k a multiple of 15?
False
Suppose 94 = 5*t - 96. Suppose -5*w - t = -8. Is 14 a factor of (-3)/w + (-54)/(-4)?
True
Let o = 59 + -12. Is 9 a factor of o?
False
Suppose 4*f - 229 = -3*p, 0 = -7*f + 3*f + 2*p + 214. Suppose -4*r - 3*v + 23 = 0, 3*v - 8*v = -5*r + f. Is 3 a factor of r?
False
Suppose 5*x + 25 = 0, -2*m - m + 2*x = 14. Let k = m - -24. Is 13 a factor of k?
False
Let o = 37 - 18. Is 19 a factor of o?
True
Let u = 7 - 7. Suppose 4*f - 8 = u, 2*t + 2*f = -3*t + 84. Is 4 a factor of t?
True
Let x(d) be the first derivative of -3*d**2/2 - 4*d - 2. Let n be x(-5). Let t = n - -4. Does 15 divide t?
True
Let r be (-24)/18*6/(-4). Let q(s) = -4*s**2 - 4. Let x(o) = 3*o**2 + o + 3. Let z(i) = 4*q(i) + 5*x(i). Is 5 a factor of z(r)?
True
Let s(f) = f**3 + f**2 - f - 30. Let c be s(0). Let x = c + 84. Is 13 a factor of x?
False
Let u(o) be the first derivative of -o**4/4 + o**3/3 - 2. Let x(m) = -4*m**3 + 5*m**2. Let z(l) = -5*u(l) + x(l). Does 8 divide z(2)?
True
Is (-208)/(-6) - (-2)/(-3) a multiple of 17?
True
Let x(c) = c + 10. Let v = 1 + 9. Is x(v) a multiple of 7?
False
Let y(p) = 3*p + 18. Let i be y(12). Suppose 5*a - 356 - i = 0. Does 12 divide a?
False
Does 14 divide ((-140)/5)/((-14)/4 - -3)?
True
Let s(g) = g**2 + 6. Let w(i) be the third derivative of -i**6/120 - 2*i**5/15 - 7*i**4/24 + 5*i**3/6 - 2*i**2. Let y be w(-7). Does 11 divide s(y)?
False
Suppose -5*x = 0, -5*y - x = -0*x + 15. Let d = y - -18. Is 15 a factor of d?
True
Suppose -9 = n - 4*n. Suppose 0 = 4*u + z - 66, z + 3*z - 56 = -n*u. Suppose u = -3*h + 43. Is 4 a factor of h?
False
Suppose r = 4*r + 24. Is (-2 + r)*(-10)/4 a multiple of 13?
False
Let m(w) be the second derivative of w**4/12 - w**3/6 + 5*w**2/2 - 3*w. Is m(-5) a multiple of 14?
False
Let q be (-23)/3 + (-10)/30. Let r = q + 10. Suppose -4*u - r*p = -136, -2*u + 4*u + 5*p - 76 = 0. Does 11 divide u?
True
Let p be 14/6 - 12/(-18). Let m be (-7)/p + 4/12. Does 9 divide (1 - m - 4)*-13?
False
Let g(a) be the thi