. Is a a multiple of 7?
False
Suppose 3*a - 10 = 2*n - 1, 2*n = -2*a + 16. Suppose 300 = 3*q - 2*l, -2*l - 309 = -3*q + n*l. Is 15 a factor of q?
False
Let t be (-2 - -71) + -1 + 3. Let a = t - 36. Suppose -a = -b - 3*y - y, 2*y - 4 = 0. Is 9 a factor of b?
True
Let p = -177 + 382. Does 21 divide p?
False
Let z(m) = 2*m**2 - m + 11. Let i(f) = -f**2 + f - 5. Let q(g) = 13*i(g) + 6*z(g). Let d(h) be the first derivative of q(h). Is 8 a factor of d(-7)?
False
Let z be 24*((-1 - -5) + 77/(-21)). Suppose -259 = -z*t + 1757. Is t a multiple of 12?
True
Suppose -2*q = 8*z - 6*z - 120, -5*q - 90 = -z. Is 13 a factor of z?
True
Suppose 4*z = 4*a - z - 361, 5*a + z = 415. Does 7 divide a?
True
Suppose 2*j + 5*d + 16 - 44 = 0, 2*j - 5*d + 12 = 0. Suppose 2*b - 4 = -j*k, -k = -0*k - 5*b - 23. Suppose -5*s + 0*f + 17 = f, 0 = k*s + 4*f - 17. Is s even?
False
Let z = 11610 - 7193. Is z a multiple of 22?
False
Suppose -93*l + 162975 = -45438. Does 83 divide l?
True
Let l(r) = 132*r - 1. Let w = -15 + 14. Let h be l(w). Let n = -55 - h. Is 22 a factor of n?
False
Suppose -3*f - 5*x - 4 = 0, 6*x = 4*f + 2*x - 48. Suppose -f - 12 = -p. Is p a multiple of 19?
True
Let g(t) = -6*t - 25. Let u be g(-10). Suppose 0 = 4*m + 4*p + p - 133, m = -3*p + u. Does 14 divide m?
False
Let f(v) = -5*v - 65. Let j be f(-17). Suppose -30*d + 2330 = -j*d. Is 48 a factor of d?
False
Let o(a) = -4*a**3 + 2*a**2 + 2*a. Suppose 0 = 2*x - 5*x - 3. Let t be o(x). Suppose t*f - 20 = -0*f. Is f a multiple of 5?
True
Let a(m) = -m**3 - 17*m**2 - 30*m + 52. Is a(-15) a multiple of 3?
False
Suppose 42 + 3 = 5*f. Let p = 12 - f. Suppose -p*y + 49 = -20. Is 23 a factor of y?
True
Does 38 divide (-1)/(4/1) + (-17823)/(-156)?
True
Suppose 3*s + a - 856 = 0, 0*a = -2*s + 5*a + 582. Does 15 divide s?
False
Let v(c) = -4*c + 353. Is 37 a factor of v(-35)?
False
Suppose -3*t + 6 = -5*t. Let y(a) = a**3 + 5*a**2 + 4*a - 1. Let s be y(t). Suppose -s*w - 4*p + 0*p + 23 = 0, 3*p - 9 = -w. Does 2 divide w?
False
Let q = -12 + 22. Let h(p) = -5*p**2 - 11*p + 13. Let g(c) = 11*c**2 + 21*c - 27. Let w(m) = -6*g(m) - 13*h(m). Does 21 divide w(q)?
True
Let r be 8/(32/84) + 4. Let p = -20 + r. Suppose p*j - 63 - 7 = 0. Is 7 a factor of j?
True
Let k(v) = -v - 9. Let i = 12 + -21. Let f be k(i). Suppose x = -5*c + 80, 0 = -f*c + c - 2*x - 16. Is c a multiple of 14?
False
Suppose -195*u = -198*u + 15. Suppose 2*g - g = -3*w + 97, u*w = -4*g + 164. Is w a multiple of 4?
True
Suppose 97 = -5*q + 2*a, a - 6 = -q - 24. Let u be ((-6)/4)/((2 + -6)/136). Let g = u + q. Is 8 a factor of g?
True
Suppose -9*g = 2 - 2261. Is g a multiple of 12?
False
Suppose -5*u - 44 = -7*u. Suppose -u = -2*p + 178. Is 25 a factor of p?
True
Let c(g) = -2*g**3 - 47*g**2 - 35*g + 18. Is 21 a factor of c(-23)?
True
Suppose -n - 7 = -5*h, -3*h - 3*n + 7*n = 6. Suppose 0*u - 3*u + 164 = -h*j, u + 5*j - 49 = 0. Is 18 a factor of u?
True
Let u(d) = d**2 - 20*d + 27. Let k be u(18). Does 16 divide 2 + 60/(-27) + (-722)/k?
True
Let t(u) = u**3 - 4*u**2 - 5*u. Let d be t(6). Suppose 284 = 5*v - 4*g, -d = -2*v + 2*g + 70. Is v a multiple of 8?
False
Suppose 4*p = -1 + 13. Suppose 5*k = -5*l - 70, p*l - k + 35 + 3 = 0. Let a = 63 + l. Is a a multiple of 25?
True
Let i(u) = u**3 + 5*u**2. Suppose 8*j - 7*j + 3 = 0. Does 4 divide i(j)?
False
Suppose -14*v = -5366 + 326. Is v a multiple of 15?
True
Let b = 754 + -689. Does 5 divide b?
True
Let l(c) = -8*c + 1 + 3*c + 231*c**2 + 1 + 6*c. Is l(-1) a multiple of 19?
False
Suppose -29*h = -25*h + 3*o - 5824, -h - o = -1456. Does 16 divide h?
True
Let k(z) = 2*z**2 - 22*z + 2. Suppose 4*x = 2*w + 26, -2*w - x = x - 4. Let t(p) = p**2 - 11*p + 1. Let b(a) = w*k(a) + 7*t(a). Does 9 divide b(13)?
True
Let i = 40 + -21. Suppose -49 = -q - i. Let l = -18 + q. Is l a multiple of 8?
False
Let b(q) = -11*q - 15. Does 30 divide b(-29)?
False
Let b(i) = i**3 - 8*i**2 - 10*i + 27. Let h be b(11). Suppose -2*n - h = -4*n. Is n a multiple of 20?
True
Let n(t) = -t**2 - 12*t - 6. Suppose 0*f - 38 = 4*m - 2*f, 0 = -2*m - f - 9. Does 29 divide n(m)?
True
Suppose 5*n - 92 = 3*m, -5*m - 6*n - 124 = -7*n. Let d(r) = r + 6. Let f be d(-5). Is f/(-4) - 606/m a multiple of 5?
True
Suppose 2*g + 4*v + 6 = 0, 4 = -3*v - v. Is 48 a factor of -143*2/(-1) + g?
False
Suppose 6*z + 96 = -0*z. Let p(t) = -t**2 - 21*t + 32. Does 16 divide p(z)?
True
Suppose 0 = -10*o + 11*o - 121. Let l = -13 + o. Does 12 divide l?
True
Suppose -4*j + 3*d - 4 = -d, -3*j = -d - 7. Let w be 1*(3 - 2)*7. Suppose 0 = m - j - w. Is m a multiple of 11?
True
Suppose 0 = 19*q - 21*q + 4*n + 1970, -5*n = -3*q + 2960. Is 6 a factor of q?
False
Let h(n) = 19*n + 38. Is h(11) a multiple of 13?
True
Suppose 3*f = 4*y + 84, -5*f - 98 = y - 238. Suppose -4 = -4*u + 8. Suppose j - f = -u*j. Does 3 divide j?
False
Suppose -4*w = 5*n - 2712, -48*n - 2*w + 546 = -47*n. Is n a multiple of 26?
False
Let o(t) = t - 1. Let g be o(13). Suppose g + 4 = 4*c. Suppose c*l = -l + 70. Does 11 divide l?
False
Suppose 3*m - 74*x = -69*x + 3255, -5385 = -5*m - 5*x. Does 36 divide m?
True
Let w be (18/15)/((-4)/(-20)). Suppose 2*t = w, 3*n + 5*t - 406 = 17. Is n a multiple of 21?
False
Suppose 6576 = 17*z - z. Let o = z + -244. Does 40 divide o?
False
Suppose -86*k = -68*k - 7290. Is 15 a factor of k?
True
Let h(l) = 3*l**2 - 14*l + 106. Is 14 a factor of h(24)?
True
Let o(l) = -3*l**2 - 12*l + 16. Let b be o(-11). Let v = b - -311. Does 24 divide v?
True
Does 45 divide (-39 - (-13 + 1))/((-1)/55)?
True
Let n be -1 + (-4)/16*-4. Let r = 3 + n. Is 35 - 4/(r - -1) a multiple of 9?
False
Let k be (-6)/21 - 8/(-28). Suppose w + x + 0*x - 6 = 0, w - 2*x + 6 = k. Suppose -w*u + 38 = t, 2*t = -3*t - u + 226. Does 20 divide t?
False
Let v(x) = x**2 + 12*x - 7. Let y be ((-48)/(-15))/(2/5). Let s be v(y). Is s/(7 + -4)*1 a multiple of 17?
True
Let l = 207 - -33. Suppose 7*i = 348 + l. Is 28 a factor of i?
True
Suppose 4*x + 3*o - 1497 = 8*o, -4 = 4*o. Is 9 a factor of x?
False
Let p(d) = -3*d + 3. Let f(q) = -4*q + 3. Let l(u) = 5*f(u) - 4*p(u). Let o be 4/10 + (-576)/90. Does 14 divide l(o)?
False
Suppose -23*j = -1865 - 7680. Is 3 a factor of j?
False
Let b(h) = 2*h**3 - 6*h**2 - h + 4. Let u(i) = i**3 + i**2 + i. Let n(x) = -b(x) + 3*u(x). Let r be (9 + 2 + 1)*(-4)/6. Is 14 a factor of n(r)?
True
Suppose 15*w = -399 + 5004. Does 38 divide w?
False
Suppose 3*r - 640 - 707 = 0. Suppose 2*h - 133 - r = 0. Does 13 divide h?
False
Suppose 2*j + 849 = -5*v, -v = -j + 59 + 115. Let m = v - -267. Does 48 divide m?
True
Suppose -2*d - 1 = -d + 2*f, d - 4*f = 29. Suppose n - 3 = y, -5*y + 2*n = -0*n + d. Let m = 5 - y. Is m a multiple of 6?
True
Let m(v) be the first derivative of -1/3*v**3 + 0*v**2 + 1/4*v**4 - 2*v + 5. Does 9 divide m(3)?
False
Let m be 1 - (-2 + 0 + -175). Suppose 5*k - 90 = 2*k - 5*n, n = 5*k - m. Is 5 a factor of k?
True
Let i(z) = -z**2 + z - 1. Let j = 10 + -7. Let x(y) = 8*y**2 - 3*y + 1. Let r(m) = j*i(m) + x(m). Is 9 a factor of r(-2)?
True
Suppose -57 - 13 = r. Does 14 divide 1 + (4/(-4) - r)?
True
Let o(k) = -23*k + 193. Is 12 a factor of o(-28)?
False
Suppose 9 - 13 = -f, 5*d - 2392 = 2*f. Is 63 a factor of d?
False
Suppose 2*j = 3*s - j - 54, 0 = 3*s + 2*j - 29. Let h = s + -8. Is (-53)/(-5) + (-3)/h a multiple of 2?
True
Is 5 a factor of 300 + 0*(-1)/(-3) + -5?
True
Let g(n) = -n**2 + 19*n - 8. Let c(f) = -2*f - 3. Let s be c(-5). Let d(x) = x**2 - 6*x + 10. Let t be d(s). Is g(t) a multiple of 19?
False
Does 18 divide 19*1*(21 - 4/(-1))?
False
Let h(o) = o**2 + 3*o - 2. Let z(q) be the first derivative of 8*q**3/3 + q - 2. Let n be z(1). Is h(n) a multiple of 23?
False
Let t(o) = -238*o + 52. Is t(-5) a multiple of 23?
True
Suppose -3*b = 5*u - 247 + 56, 3*u + b = 117. Let d = u - 15. Is d a multiple of 2?
False
Let x be (-11)/(-2) + (-1)/2. Let g(u) = -14*u**2 + 11*u - 15. Let j(r) = 6*r**2 - 5*r + 7. Let m(d) = 2*g(d) + 5*j(d). Does 8 divide m(x)?
True
Let z(f) = -f**3 + f**2 + 11*f - 14. Let y be 3 - (-2 - -3)*-3. Let b(l) = -l**3 + 2*l**2 + 10*l - 13. Let a(u) = y*b(u) - 5*z(u). Is 15 a factor of a(6)?
False
Let z = 43 - 53. Is 11 a factor of (z/(-15))/((-2)/(-66))?
True
Let q be -4 + ((-4)/2 - -231). Suppose -5*u + 225 = -q. Is u a multiple of 10?
True
Let 