s 4 a factor of m?
False
Let k(b) = 7*b**2 + 2*b + 1. Suppose -9 = -4*v + 7*v. Does 8 divide k(v)?
False
Is 20 a factor of (-7 - (-8)/((-112)/161))*-40?
True
Suppose 3*n = 5*q - 981, q + n = 2*q - 195. Does 18 divide q?
True
Let l = 100 + 97. Is 12 a factor of l?
False
Suppose -2*w + 508 = -3*j, 0 = -35*w + 31*w + 5*j + 1012. Is w a multiple of 31?
True
Suppose 5*o + 31 = 2*k - 287, 0 = -2*k + o + 318. Let r = -79 + k. Is 10 a factor of r?
True
Let a(u) = -u**3 - 10*u**2 + 18*u + 7. Let c be a(-12). Let o = 151 - c. Is 14 a factor of o?
False
Let l(j) = -9*j + 20. Let w be l(-10). Suppose -3*o - k + w = -67, 3*k + 107 = 2*o. Does 18 divide o?
False
Let h = 10 + -8. Is h/(32/796) + (-1)/(-4) a multiple of 10?
True
Suppose 0 = 214*q - 197*q - 6579. Is 3 a factor of q?
True
Suppose -286 = 3*y - 895. Is 29 a factor of y?
True
Suppose -78*p + 1044 = -66348. Is 16 a factor of p?
True
Suppose 0 = -5*q - 3*d + 3, -d + 19 = q - 5*d. Suppose -i - 52 = q*i. Let z = i - -30. Is 8 a factor of z?
False
Let n(l) = 106*l + 1190. Does 85 divide n(0)?
True
Let w = 48 + -53. Let j(r) = -21*r**3 - r**2 + 1. Let s be j(-1). Let a = s + w. Is 4 a factor of a?
True
Let x be 2 + -2 - (1 - 4). Suppose 4*g - x*u + 31 = -4*u, -6 = 2*u. Let p = 3 - g. Is p a multiple of 4?
False
Let f(y) be the second derivative of y**4/6 - 5*y**3/6 - 8*y**2 - 17*y. Does 13 divide f(6)?
True
Suppose 2*r + 44 = -3*g, 0 = -r + 5*r - 8. Let i = g - -88. Is 15 a factor of i?
False
Suppose 11 = 2*g + s, -2*g - 3*s + 17 = -0*g. Suppose -21 = -j + 5*b, 2*j - b = 20 + 13. Let q = j + g. Is 10 a factor of q?
True
Suppose -30*u = -11*u - 53086. Is u a multiple of 40?
False
Let y(t) = t**3 + 9*t**2 - 11*t + 5. Let z be y(-10). Suppose -96 = -3*m + z. Is m a multiple of 36?
False
Let q(d) = -d**3 + 10*d**2 - 5*d + 10. Let u be q(8). Let j = 184 - u. Does 26 divide j?
False
Let b = -8 + 47. Suppose 2*x - 3*p = 7*x - 75, -2*x - 3*p = -b. Is 10 a factor of x?
False
Let t(a) = a**2 + 6*a + 1. Let c be t(-11). Suppose -2*y = -24 - c. Is 22 a factor of y?
False
Suppose -7*f + 4 = -6*f. Suppose 4 + 0 = f*v + 4*w, 2*v = 5*w + 9. Suppose 0 = 2*b + v*j - 34, -3*b - 5*j + 69 = b. Is b a multiple of 8?
True
Suppose -p - 11 = 2*a + 106, 4*p - 192 = 3*a. Let y = -40 - a. Does 13 divide y?
False
Suppose -4 = -5*w - 9. Is 41 a factor of (12/(-9))/(w/123)?
True
Is 10 a factor of 1/((-14)/36)*-7?
False
Let q(a) = a**3 + 2*a**2 - 6*a - 16. Let i be q(-7). Let l = 314 + i. Is 23 a factor of l?
False
Is -6 + (-2234)/(-4) - (-2)/(-4) a multiple of 46?
True
Is ((-8)/(-4))/(1/22) a multiple of 2?
True
Is 14 a factor of (69058/88 - (-10)/8) + -2?
True
Let u = -108 - -143. Let h = 169 + u. Is 12 a factor of h?
True
Let m = 369 + -232. Is m a multiple of 10?
False
Let c be (-3 + 1)/(10/(-15)). Suppose -i + c*i = 18. Does 3 divide i?
True
Let t(u) = -u. Let b be (72/60)/(3/(-40)). Is 2 a factor of t(b)?
True
Let h(z) = 178*z**3 - 4*z**2 + 5*z - 14. Is 13 a factor of h(2)?
True
Is 36 a factor of (2156/12 - -1) + 4/(-6)?
True
Let u(p) = 6*p**3 - p**2. Let o be u(1). Suppose -1071 = -o*a - 261. Is a a multiple of 54?
True
Let q = 243 + -185. Is q a multiple of 9?
False
Suppose 0 = t + 5, -2*u = -t - t - 14. Does 5 divide (-7)/(-1 - (-2)/5*u)?
True
Let k(a) = -a**2 - 10*a - 1. Let z be 2/5 + (-24)/(-15). Suppose 0 = -z*o - 3*o - 35. Is 20 a factor of k(o)?
True
Suppose 5*q - 8*q = 120. Let h be ((-147)/28)/(3/q). Suppose 2*t + h = 4*t. Is t a multiple of 21?
False
Let i(d) = -24*d**2 + 1. Let l be i(-3). Let h = l + 70. Let t = h - -210. Is t a multiple of 32?
False
Let m(t) = 8 - 4 - 23*t - 4. Let g = 0 - 2. Is 23 a factor of m(g)?
True
Suppose -y + 4*w + 131 = 0, -19 = w - 21. Is y a multiple of 44?
False
Let c be (-60)/33 - (-4)/(-22). Let k(m) = -9*m + 2. Let p be k(c). Suppose 4*j = j - 2*o + p, -o + 15 = 2*j. Is 5 a factor of j?
True
Suppose -744 = -2*l - 3*n, -1 = n - 3. Is l a multiple of 9?
True
Suppose -19 = -3*j - 2*k - 2*k, j - 4*k - 33 = 0. Let y = -11 + j. Suppose -6 = -5*f - h + 29, -y*f = -h - 14. Is f a multiple of 3?
False
Let i(a) = 10*a**3 - 6*a + 1. Let z be ((-55)/220)/((3/8)/(-3)). Is 24 a factor of i(z)?
False
Let g be 16/24*(-45)/(-2). Suppose -g*d + 3276 = -d. Is 39 a factor of d?
True
Suppose -3*h + 15 = 0, -3*g + 23 = -3*h + h. Let f(i) = i**2 - 9*i + 18. Does 18 divide f(g)?
False
Suppose -3*u - 3*s = -15, 0 = -9*u + 5*u - s + 32. Is 20 a factor of (-4)/u*24*-3?
False
Let m = 493 - 211. Does 47 divide m?
True
Let y = -114 - -119. Is 0 - y/(-1) - -51 a multiple of 7?
True
Suppose m - 756 = -5*m. Suppose 4*p - o = -p + 210, -4*o - m = -3*p. Is p a multiple of 7?
True
Let c(z) = 7*z**2 - 13*z + 53. Is 20 a factor of c(9)?
False
Suppose -4*m - j = -3 - 9, -2*m - 5*j - 12 = 0. Let q(x) = x**3 - x**2 - x + 5. Does 7 divide q(m)?
True
Let i = -1042 - -1461. Is 29 a factor of i?
False
Let c be 27 - 2 - (-4 + 8). Suppose 57 = 3*g - c. Is g a multiple of 13?
True
Let o(c) = -c**2 - 47*c - 147. Does 7 divide o(-16)?
False
Let s(f) = -57*f**3 + 3*f**2 + f. Let r be s(-1). Suppose 0*x + 37 = x + 3*m, 2*x + 3*m = r. Does 11 divide x?
True
Does 9 divide 7 + (-1 - 0) - (35 + -41)?
False
Suppose -22*x + 13*x + 1530 = 0. Is 17 a factor of x?
True
Let w(x) = x**2 - 2*x - 1. Let i be w(-1). Suppose 3*j = -i + 8. Suppose -94 - 24 = -j*p. Is 20 a factor of p?
False
Suppose 15*g + 200 = 20*g. Let s = 50 - g. Does 10 divide s?
True
Let r(u) = -2*u + 19. Does 2 divide r(-9)?
False
Let p(m) = 906*m**2 - 67*m - 68. Is p(-1) a multiple of 9?
False
Does 14 divide -626*((-20)/(-8) + -3)?
False
Suppose 0 = 15*g + 853 - 3943. Is g a multiple of 9?
False
Let q(j) = 3*j + 86. Let b(f) = -f - 1. Let a(i) = 5*b(i) + q(i). Is 10 a factor of a(0)?
False
Suppose 0*m = 4*m - 852. Is m a multiple of 7?
False
Let o(a) = a**3 - 5*a**2 - 7*a + 2. Let j be o(6). Let s = j + 63. Does 21 divide s?
False
Let l be 2/(0 + 2/79). Suppose 3*o = 5*m + l, 0*o = -2*o - m + 70. Does 11 divide o?
True
Suppose 42*s + 1071 = 49*s. Does 3 divide s?
True
Let p be 2/11 - 4668/22. Let v = 347 + p. Does 15 divide v?
True
Is 34 a factor of 1480/(-222)*(1*-153)/3?
True
Let h(k) = -k**2 + 14*k + 17. Let z be h(14). Let f(g) = z*g - 7*g - 5*g**2 + 1 - 6 + 4*g**2. Is f(8) a multiple of 6?
False
Let g be (0/(-2))/2 - -1. Suppose 0 = 2*k + g - 41. Suppose 5*u - 56 = u - 2*n, k = 5*n. Is u a multiple of 6?
True
Suppose a = 3*z + 174, 25 = 5*a - 4*z - 845. Does 5 divide a?
False
Let w be 6/4 + (-30)/(-20). Suppose -2 = w*k - 23. Is k a multiple of 4?
False
Let b(q) = -q**3 + 5*q**2 + 13. Suppose -18*x - 10 = -20*x. Is b(x) a multiple of 13?
True
Let x(p) be the first derivative of -p**4/4 + p**3/3 + 3*p**2/2 + 7*p - 2. Let l be x(-4). Suppose 3*v = 8*v - l. Is 15 a factor of v?
True
Let b be (-16 + 15)*(26 + 0). Does 16 divide ((-40)/(-6) - 0)/(b/(-312))?
True
Let m(w) = w**2 - 13*w + 20. Let p be m(16). Let g = p + 21. Does 15 divide g?
False
Suppose 4*q - 3741 = -4*u + 3*q, -2820 = -3*u + 4*q. Is u a multiple of 78?
True
Suppose 33*x + 12*x = 44415. Is 21 a factor of x?
True
Suppose 2*l - 2*c = 848, 4*c = -2*l + 7*c + 847. Does 25 divide l?
True
Let b(t) = 5*t**2 + 2*t + 1. Let x be b(-1). Suppose -x*r + 5 = 5*v, -8*v + r + 30 = -3*v. Suppose -v*c + 42 = c. Is c a multiple of 2?
False
Let x = -982 + 1384. Is x a multiple of 67?
True
Let m = -350 - -790. Is m a multiple of 72?
False
Let q be 2*(-3)/(-6)*-57*1. Let x = -36 - q. Does 13 divide x?
False
Suppose -2*n - 3*q - 12 = 0, -3*n - 2*q = -3*q + 7. Let v be n/3*(-51 - 3). Let g = v - 24. Is g a multiple of 15?
True
Let g(d) = 5*d**2. Let w(c) = c**2 + 8*c + 8. Let i be w(-8). Suppose -p - 6 = -i. Does 5 divide g(p)?
True
Suppose -97 = 3*p + 14. Let v = p + 95. Is v a multiple of 14?
False
Is 22 a factor of (-24)/14 + 2 - 38766/(-147)?
True
Let y(u) = 5*u + 28. Is y(11) a multiple of 3?
False
Let d(c) = -c**2 + 8*c + 2. Let x be d(6). Let o be (x/(-49))/((-1)/7). Suppose o*b + m = -2*m + 111, -4*b + 229 = -m. Does 26 divide b?
False
Suppose -4*t - 2016 = -10*t. Is 14 a factor of t?
True
Suppose 0 = l + 5*u + 31 - 9, -3*l = -u + 66. Let r = l - -54. Does 9 divide r?
False
Suppose 3*i - 697 = 2*r, -3*r + 5*r + 4 = 0. Is 7 a factor of i?
True
Suppose -t + 5*h + 420 = 4*t, 2*t - 164 = 4*h. Let z = -66 + t. Is 20 a facto