
Let v be (2/6)/(1/6). Let z = -14 - -19. Is (z/10)/(v/24) a multiple of 6?
True
Suppose -5*c = 5*v - 8595, -5*v + c + 8595 = -0*c. Does 12 divide v?
False
Let o(i) be the first derivative of -i**4/4 - i**3 - i**2 - 2*i - 13. Let r be o(-3). Suppose 2*n = r*n - 156. Is 20 a factor of n?
False
Let w be 639/(-72) + 9 + (-2)/16. Suppose 2*z - 5*c = 3*z + 12, 0 = -4*c - 12. Suppose -j + p + 26 = w, 0*p + 111 = 4*j + z*p. Does 7 divide j?
False
Let p(a) be the third derivative of a**6/120 + a**5/12 - 7*a**4/24 - 7*a**3/6 - a**2. Let y = 495 - 500. Is 14 a factor of p(y)?
True
Let n be -3 - (-3 + 1) - (3 + 74). Let g = n - -138. Is g a multiple of 20?
True
Let w(l) = l**3 - 9*l**2 + 10*l - 1. Is 9 a factor of w(11)?
True
Suppose a = -14 + 6. Let u be 4/16 + (-126)/a. Suppose 2*r - x - 41 = 0, r - 6 = -x + u. Is r a multiple of 7?
True
Suppose 0 = -5*c - 2*i + 24, -c + 2*c + i - 6 = 0. Suppose 5*j - 16 = -3*f, -4*j = f - 6 - c. Suppose 96 = 2*l - 4*y, j*y = -5*l - y + 188. Is 20 a factor of l?
True
Suppose -2*w = -w. Suppose 4*g + i + 15 = w, -4*g - 3*i - 17 = g. Is (-86)/g + (-5)/(-10) a multiple of 7?
False
Let t be 0 - (-1234)/7 - 6/21. Suppose -r + t = 3*p, 2*r - 4*r = -4*p + 228. Is p a multiple of 18?
False
Suppose -2*s + 1 = -t - 0, -t + s = -2. Suppose w = -t*n - 4*w + 230, 46 = n + 2*w. Does 9 divide n?
False
Let k = 2 - 0. Suppose -k*l + 14 = -0*l. Is 24 a factor of (22 - 20) + l*10?
True
Is (-1)/(-5) - 5318/(-10) a multiple of 76?
True
Let k be ((-545)/(-25) - 3)*5. Let j = k - -18. Is 14 a factor of j?
True
Let g(s) = s**2 - 4*s + 1. Let q be g(3). Let o be 0/(-4) + 1 + q. Let a(x) = -42*x**3 - 2*x**2 + 1. Is 17 a factor of a(o)?
False
Let b(j) = 16*j**3 + j**2 + j - 1. Suppose -u + 0 = -1. Let s be b(u). Suppose -14*f - 51 = -s*f. Is 4 a factor of f?
False
Suppose 0 = -4*q - q + 60. Let j be ((-2)/(-2))/(q/792). Suppose -j = -4*w + 2*w + f, 3*w - 113 = 5*f. Does 12 divide w?
False
Let f(l) = l**2 + 10*l + 9. Let b be f(-10). Let n be (-6)/(-27) + (-56)/b. Let o(q) = q**3 + 6*q**2 - 4*q - 1. Does 4 divide o(n)?
False
Suppose -19 = 5*h - 3*x, 5*h - 4*x - 2 = -24. Let z be 10 - (-1 - (h + 1)). Is 76 - z - (-2 - 1) a multiple of 31?
False
Let f(u) = 173*u**3 + 4*u**2 - 3*u + 1. Does 16 divide f(1)?
False
Let a = 150 + 6. Does 11 divide a?
False
Let y(c) = c - 8. Let h be y(12). Suppose 0*t - 2*j - 52 = -h*t, -3*t + j = -38. Is t a multiple of 4?
True
Let d be 21/14*22/3. Let x(j) = -j**2 + 16*j - 10. Is 20 a factor of x(d)?
False
Let s(r) = 16*r**2 + 51*r. Is s(-5) a multiple of 8?
False
Let a be 0/((-3)/3) + -6. Let m = 18 - a. Is m a multiple of 24?
True
Let t(z) = -3*z**3 - 5*z**2 - 5*z + 8. Let v(w) = w**3 + 2*w**2 + 3*w - 4. Let i(k) = -2*t(k) - 5*v(k). Is 5 a factor of i(3)?
False
Let s(d) = d**2 - 4*d + 4. Let h be s(4). Suppose 9*b = -c + 4*b + 37, b = h*c - 85. Does 6 divide c?
False
Let q = 635 + 590. Is q a multiple of 25?
True
Suppose 9*f = 4*f + 15. Suppose -105 = -f*c + 39. Is 12 a factor of c?
True
Suppose -7*m = -23*m + 4864. Is m a multiple of 19?
True
Let b(v) = v**2 + 13*v + 65. Is 86 a factor of b(12)?
False
Let b(p) = -p**2 + p + 1. Let t(o) = -6*o**2 - 4*o - 4. Let g(j) = 5*b(j) - t(j). Let h be g(-6). Is 3/2*(-30)/h a multiple of 5?
True
Let z(f) = 3*f - 2*f**2 + 18 + f**2 - 4*f + 0*f**2. Let q be z(0). Suppose 4 = -2*u + q. Is u a multiple of 4?
False
Suppose 4 = r + 32. Let d be 14/r - (-11)/(-2). Is 9 a factor of (-244)/d - (-2)/(-3)?
False
Let o(u) = -3*u**2 + 5*u**2 + 1 + 19*u + 2 - 6*u. Let y be o(-9). Suppose -5*q - y = -298. Is q a multiple of 23?
False
Suppose 2*t - 477 = -3*i + 136, 0 = 4*t - 5*i - 1171. Does 13 divide t?
True
Let u(f) = 2*f - 7. Let y be ((-10)/6)/((-6)/18). Let p be u(y). Suppose 0 = p*g - 0 - 129. Is 8 a factor of g?
False
Suppose 0 = 5*x - 9*t + 4*t - 6845, -5*x + 6837 = -3*t. Is x a multiple of 65?
True
Let t be ((-4)/14 - 55/77) + 66. Suppose 111 = 2*g + g. Let u = t - g. Is u a multiple of 10?
False
Suppose -y = 6*y + 952. Does 13 divide y/(1*-5*16/40)?
False
Suppose -114 = -2*n - n. Is 8 a factor of n?
False
Let w(a) = 4*a**2 - 21*a - 245. Does 10 divide w(-11)?
True
Let x(v) = -6 + v + 6*v**2 - 5*v**2 + 20. Does 14 divide x(0)?
True
Let n(j) = -j**2 - 8*j + 12. Let i be n(-8). Suppose i*b - 13*b + 84 = 0. Is 14 a factor of b?
True
Suppose -9*g = -21*g + 2916. Is 32 a factor of g?
False
Let i = -490 - -850. Is 30 a factor of i?
True
Let t = 9 + -5. Suppose 5*h - 17 - 60 = -2*d, t*h = 4. Is d a multiple of 12?
True
Suppose 4*z = -4*q + 14896, 13*z + 14896 = 4*q + 14*z. Is q a multiple of 49?
True
Let s = 11 + -6. Suppose -3*q = s*c - 166, 6*q - 146 = 3*q + 5*c. Is 0*1/3 + q a multiple of 13?
True
Let l(s) be the third derivative of -7*s**4/12 - 11*s**3/3 - 12*s**2. Is 33 a factor of l(-11)?
True
Let b(h) = 4*h + 2. Let k be b(-1). Let c(g) = -2*g**3 - 3*g + 3. Is c(k) a multiple of 4?
False
Let o = 2529 + -1338. Is o a multiple of 25?
False
Suppose -o - 6 = -0*o. Let i = o - -9. Suppose -5*j = -2*a + 2, 0 = -a + 3*a + i*j - 34. Is a a multiple of 3?
False
Let g be 5*(-8)/12*-3. Suppose -100 = -3*x - g. Does 22 divide x?
False
Suppose 7*r - 293 = 2409. Does 27 divide r?
False
Let l(a) = 36*a**3 + 4*a**2 - 2*a - 6. Is 6 a factor of l(2)?
True
Suppose -2695 - 1715 = -6*v. Is v a multiple of 15?
True
Let j(s) = -6*s - 38. Let m be j(-6). Does 3 divide 10/(m/(-6)*(6 - 5))?
True
Suppose -5*d - 10 = 15, 5*k - 5 = -5*d. Does 7 divide (-568)/(-12) + k/9?
False
Suppose 0*w + 5*w - 2*p = 282, -4*p - 4 = 0. Let g = 98 + w. Suppose h + h - 80 = -3*t, -g = -5*h + 4*t. Is h a multiple of 24?
False
Suppose 4 = -0*p - 2*p, p + 4 = -2*o. Let v be (-64 + -3 + 0)*o. Suppose v = y + 3. Is 25 a factor of y?
False
Let a = 22 - 22. Is 8 a factor of 4 + a - (-132 + -3 - -2)?
False
Let h(b) = 11*b**3 + b**2 + 4*b - 3. Is 4 a factor of h(2)?
False
Suppose 301*y = 308*y - 3129. Does 19 divide y?
False
Let m(q) = 12*q + 4. Let x be m(5). Suppose 5*j = d + 196, -x = -2*j - 0*d + 4*d. Is j a multiple of 10?
True
Suppose 2*c = h + 2*h + 30, -5*c + 4*h = -68. Let n be 3676/c + 3/(-9). Let a = -214 + n. Is 23 a factor of a?
True
Let j = 1505 + -1075. Is 10 a factor of j?
True
Let f be (-925)/(-15) - ((-15)/(-9))/(-5). Suppose -2*i + 0*i = -4*v + f, v - i = 17. Is v a multiple of 8?
False
Suppose 3*g + 2*q + 42 = 158, -5*q = 4*g - 143. Is 10 a factor of g?
False
Let i(b) = b**3 + 10*b**2 + 8*b + 21. Suppose -3*s + 2*h = 31 + 2, 0 = -2*s - h - 15. Does 27 divide i(s)?
False
Let s = -8 + 16. Let k be (-5 + 2)*s/(-6). Suppose 3*m = 32 + k. Is 12 a factor of m?
True
Let c(q) = -q**3 - 6*q**2 - 2*q - 5. Let x be c(-6). Suppose 3 = 5*g - x. Suppose g*k - 31 = -3. Is 14 a factor of k?
True
Let h = -414 + 654. Is 20 a factor of h?
True
Let t be (-18)/14 + 2/7. Let b(a) = a**2 - 2*a - 1. Let k be b(t). Suppose x - 3*x + 42 = 3*i, 3*i = k*x - 42. Is x a multiple of 7?
True
Let n be (-1554)/(-77) + (-4)/22 + 2. Let r be 1 - 1/(1/36). Let z = n - r. Is 19 a factor of z?
True
Let c be (-46)/(-8) + (-1)/(-4). Suppose -c*f + 2 = -7*f. Let w = f - -5. Is 3 a factor of w?
True
Let r = -38 - -40. Suppose -5*m + 200 + 96 = -r*z, 3*m - 5*z = 170. Is m a multiple of 12?
True
Suppose -1652 = 7*d - 11*d. Is 13 a factor of d?
False
Suppose -5*n + 411 = 5*b - 2*b, 4*n + 2*b - 328 = 0. Let l = n - 28. Is l a multiple of 5?
False
Let c(s) be the first derivative of -s**3/3 - 5*s**2/2 + 4*s - 2. Let j = 67 + -71. Is 7 a factor of c(j)?
False
Let l = 763 - 536. Suppose -l = -2*y - 0*r - r, 0 = -5*y - 5*r + 565. Is 19 a factor of y?
True
Suppose 3*d + 1 = -2*w, -d - d + 3*w + 21 = 0. Suppose d*t - 2*t + 12 = -q, 0 = 4*q + 5*t + 46. Let h = q - -24. Does 5 divide h?
True
Suppose -5 = 2*s - 5. Does 4 divide (45 - s) + -1 - 0?
True
Suppose a = -4*a + 2*i + 654, 2*a - 273 = -3*i. Is 14 a factor of a?
False
Suppose -119 - 41 = 16*m. Let f = 32 - m. Is 15 a factor of f?
False
Let u = -33 + 37. Suppose -3*d + 6*d + m - 28 = 0, -u = d - 3*m. Is 8 a factor of d?
True
Suppose -7327 = -8*v - 2871. Does 47 divide v?
False
Let w = 98 + -98. Is 5/10 + (478/4 - w) a multiple of 24?
True
Suppose 0 = -2*b - q + 6*q + 85, q - 46 = -b. Is 25 a factor of (258/5)/(18/b)?
False
Let c be (4/(-7))/((-18)/63). Let d be (12 - (c + 0)) + 3. Let o(u) = u**2 - 11*u - 18. D