51 - -2114. Does 49 divide q?
False
Suppose -5*v = 2*r - r - 4, v - 5*r = -20. Is (v - -2)/(5/40) a multiple of 4?
True
Let r be 4/32 + (-348)/(-32). Let t(a) = a**2 + 4*a + 5. Does 17 divide t(r)?
True
Let q be 174/24 - (-6)/8. Let r(u) = -10 + u - u + u + 3*u. Does 4 divide r(q)?
False
Let s(f) = f**3 + 7*f**2 - 10*f - 11. Let b be s(-8). Suppose b*t + 4*p = 768, -3*t - 3*p + 158 = -2*t. Is t a multiple of 19?
True
Let m(w) = w**3 + 6*w**2 - 12*w + 8. Let y(l) = -2*l**3 - 12*l**2 + 23*l - 15. Let j(u) = 5*m(u) + 2*y(u). Is j(-7) a multiple of 7?
False
Suppose -18 = -4*s - 5*f, -s - 2*s - 4*f = -14. Let v be (4/(-6)*-15)/s. Suppose -2*j - v*q = -102, -3*j + 7 = 3*q - 155. Is 14 a factor of j?
True
Does 4 divide (117 + -285)*(-3 + 1)?
True
Suppose -4*w = 12, f - 5*w - 1 = 19. Is f a multiple of 5?
True
Let u(p) = p**3 - 6*p**2 + 6*p + 3. Suppose i = -2*i + 39. Let v(x) = -x**2 + 14*x - 8. Let f be v(i). Is 4 a factor of u(f)?
True
Let s = -142 - -146. Suppose -s*f + k + k + 258 = 0, -320 = -5*f + 3*k. Does 12 divide f?
False
Suppose q = -3*w + 19 + 1, -q - 5*w = -24. Let m(v) = -v**2 + 15*v + 3. Let o be m(q). Let g = 23 - o. Is 3 a factor of g?
True
Let y be 34 - (0 - (-15)/(-5)). Let w = y - 35. Suppose -w*s + 27 = 3. Does 3 divide s?
True
Let a(j) = j + 14. Let c be a(-11). Suppose 3*s = -c*d - d - 6, -3*d - 3 = 3*s. Is 6 a factor of 3/(3/d) + 21?
True
Let k be -1 + -1*(-21)/3. Let n be (-12)/4*(-104)/k. Suppose -5*g + n = 3*i, i + g = 3*i - 39. Is 5 a factor of i?
False
Is (5931/45 - 2)*(-5)/(-1) a multiple of 11?
True
Let t be 36 - 3*2/6. Let r(i) = -i**3 + 2*i**2 + 9*i - 2. Let u be r(-3). Let o = t - u. Is o a multiple of 16?
False
Suppose 32 - 44 = -4*h, h = -4*n + 4427. Is n a multiple of 13?
False
Suppose 3*k = 4*j - 14, 5*j - 8 - 9 = 4*k. Suppose -j*o - 5*t - 18 = 2, 5*o = -2*t - 26. Let n = o + 10. Is n a multiple of 3?
False
Suppose -6*c + 3*c = -15. Suppose c*l = 8*l - 309. Is 31 a factor of l?
False
Let v(l) = -15*l**3 - 7*l**2 - 10*l + 10. Let s be v(-5). Is ((-6)/(-5))/(24/s) a multiple of 11?
True
Does 3 divide -1 + 0 - (0 + (-74 - 2))?
True
Suppose -5*z + 8*z = -3*g + 159, 4*g = 2*z + 200. Is g a multiple of 2?
False
Let l(f) = -f**2 + 24*f + 3. Let y be l(24). Suppose -4*z + 28 = 2*a, -z + 0*a + 2*a - 3 = 0. Suppose -z*v - y + 58 = 0. Does 2 divide v?
False
Suppose 68*g - 141768 = 46*g. Is 18 a factor of g?
True
Let l(t) = 76*t - 228. Does 56 divide l(17)?
True
Let m be -2*1/(-1) + 0. Suppose -m*r = -4*r + 28. Is r a multiple of 7?
True
Does 23 divide 8/((-48)/(-15))*232/10?
False
Let j(c) = -c**3 - 4*c**2 + 8*c + 3. Let z be j(-5). Does 17 divide 106 - (-3)/(z/16)?
True
Let k(p) = p**2 - 19*p - 24. Let v be k(20). Suppose -4*i - 5*g = -4 + 5, g - 13 = -3*i. Is 10 a factor of v*(-1 + i)/(-1)?
True
Let z(u) = -u**2 + 9*u - 4. Let c be z(7). Let v = c - 4. Does 6 divide v?
True
Let p(t) = -t**3 + 11*t**2 - 10*t + 2. Let x be p(10). Suppose -120 = -x*y - 48. Does 9 divide y?
True
Let o be 0/(0 - 2/2). Suppose -2*r + 19 = 5*x, -2*r + 5*r - x - 3 = o. Suppose 0 = 2*c + r*c - 60. Is 15 a factor of c?
True
Suppose 14 + 13 = 3*b. Suppose b*g + 90 = 14*g. Is g a multiple of 3?
True
Let r(c) = -2*c**2 + 18*c - 11. Let n be r(8). Suppose -z = -i - 231, 4*i = 5*z + n*i - 1185. Is 34 a factor of z?
False
Let i = -1410 + 1887. Does 9 divide i?
True
Suppose -6*d = p - 2*d - 386, -4*p - d = -1529. Is 72 a factor of p?
False
Let c(o) = 10*o + 398. Is c(-30) a multiple of 2?
True
Let u = 18 - 62. Does 6 divide 2*118/8 - (-22)/u?
False
Suppose -4*q + 2920 = -2*z + 522, -2998 = -5*q + 2*z. Is q a multiple of 24?
True
Let v(y) = -y + 8. Let g be v(5). Suppose 13 - g = 2*t. Is 11 a factor of (21/t - 2)*5?
True
Let r(g) = g**3 - g**3 - 2 - g**2 + 0 + 3*g**3. Let w be r(-2). Is 16 a factor of 4/10 + (-1818)/w?
False
Let r(a) = a + 7*a**2 - 5*a - 6*a + 0*a + 10. Is 7 a factor of r(3)?
False
Let b = 4312 - 2155. Is 7 a factor of b?
False
Let a = -8 + 10. Let l be 60/(-2)*a/4. Is 30 a factor of (-10)/6*(-36 + l)?
False
Let w(g) = -1004*g - 48. Is 25 a factor of w(-3)?
False
Suppose -3*y - 2*y - 10 = 0. Does 8 divide 53 - 8/(8/y)?
False
Let t(w) = -w**2 - 27*w - 22. Let v be 396/(-48) - (-3)/(-4). Is t(v) a multiple of 14?
True
Suppose 0 = -35*x + 32*x + 3354. Is 13 a factor of x?
True
Suppose -10*p + 1119 = -5451. Does 62 divide p?
False
Suppose 4*c + 111 = 999. Does 6 divide c?
True
Let a(l) = 5*l**3 + 6 - 8 + 3*l + 2*l**3 - 5*l**3. Is a(1) a multiple of 2?
False
Let g(f) = 3*f + 5 + 5*f**2 + 5*f**2 + f**3 - 5*f**2. Let m be g(-5). Does 3 divide -25*(-1 - 6/m)?
False
Let w(b) = 9*b - 14. Let x be ((-2)/3)/(14/(-105)). Let g be 3 - (-4 - (x - 2)). Does 19 divide w(g)?
True
Let t be (-22)/77 + (-16)/(-7). Let w be 2 + t + -3 - -4. Suppose 192 = w*k + 12. Does 21 divide k?
False
Let v = -11 + 18. Let z be 64/28 + (-2)/v. Suppose -30 = -2*x + 4*m, -2*x + z*m + 36 = 2*x. Does 7 divide x?
True
Let n = 22 - -133. Is n a multiple of 4?
False
Suppose -2*c + 695 + 113 = 0. Is c a multiple of 13?
False
Suppose -5*v = 5*n - 2310, -v - 2*v = -n + 454. Let l = n - 328. Does 22 divide l?
True
Let s(f) be the third derivative of -f**6/120 + f**5/20 - f**4/12 + 2*f**3/3 - 9*f**2. Let m be s(3). Is 9 a factor of m - 6*(-33)/6?
False
Let b(s) = 29*s + 2. Let c be b(7). Let v = -121 + c. Does 14 divide v?
True
Let c be ((-2)/(-5))/(((-8)/(-10))/(-4)). Does 62 divide -4*191/(-8) - c/4?
False
Suppose 2*w - 4 = -0*w. Suppose -s = -10 - w. Is 31 a factor of (-258)/4*s/(-9)?
False
Let d(h) = -8*h**2 + 8*h**2 + 10*h**2 - h**3 + 2*h**3 - h. Let x be d(-10). Is 35 a factor of (-8)/x*195/(-3)?
False
Suppose f = -1, -3*z = -7*z - 3*f + 109. Suppose 0*a + z = a. Does 7 divide a?
True
Let o be (7 - 10)/(2/2) + 196. Let k = o - 85. Is 11 a factor of k?
False
Is (2/3)/((-71)/1917)*-119 a multiple of 9?
True
Let k = -2 + 7. Suppose -3*n + 5 = 2*q - 9, -q = -k*n - 7. Suppose q*f = 3*f - 2*o + 154, 0 = -4*f - 3*o + 153. Does 14 divide f?
False
Let u = 2682 + -1563. Does 12 divide u?
False
Let z(s) = 29*s**2 + s - 4. Let d be z(-3). Suppose 2*c - 57 = -o, -4*o - c = -6*c - d. Is o a multiple of 13?
False
Suppose 4*l - 3*m - 2061 = 0, -l + 3*m - 122 = -644. Is l a multiple of 44?
False
Let u(p) = p**2 + 12*p + 5. Let j be u(-9). Let z = 35 + j. Let r = z - -3. Does 16 divide r?
True
Suppose 5*z - z - 4*g - 88 = 0, z - 2*g = 26. Let h = 94 + z. Does 16 divide h?
True
Let p(l) = -3 - 3 - 1 - 3*l. Let i = -92 - -83. Does 10 divide p(i)?
True
Suppose 2*n - 7*n + 780 = 0. Suppose -2*c = -3*u - 117, 3*u + 33 = -2*c + n. Is c a multiple of 12?
True
Suppose y = -y. Suppose y = -7*s + 3*s + 284. Suppose -4*v - 15 = -s. Does 14 divide v?
True
Let l = 76 + 24. Is l a multiple of 23?
False
Let p be (-24)/((-24)/(-4)) - (-6 - 1). Is (-1)/((-3)/18)*(p - -11) a multiple of 14?
True
Let h(v) = 128*v + 143. Does 23 divide h(12)?
True
Let o(l) be the third derivative of 17*l**4/24 - 3*l**3/2 - 32*l**2. Is o(2) a multiple of 10?
False
Let r(t) = -t + 1. Let g(q) = 36*q + 7. Let j(l) = g(l) + 6*r(l). Is 19 a factor of j(3)?
False
Let a = -19 + 22. Suppose a*t = -3*y + 81 - 24, -4*t + 36 = -4*y. Is 4 a factor of t?
False
Suppose 12*h - 11*h = 2. Suppose 0*a - 5*s - 24 = -a, 0 = a - h*s - 33. Is a a multiple of 9?
False
Suppose 2138 + 156 = 2*k. Does 50 divide k?
False
Let f(j) = -j**3 + 11*j**2 + 12*j + 17. Suppose g = 4*g - 36. Is 5 a factor of f(g)?
False
Suppose 13 + 77 = 5*t. Suppose 288 = -t*s + 22*s. Does 22 divide s?
False
Let y(x) = 4*x + 1. Let o be y(14). Let m = -7 + o. Is m a multiple of 25?
True
Let r(s) = -4*s**2 + 4*s - 21. Let v(b) = b**2 - b + 5. Let g(d) = 2*r(d) + 9*v(d). Let k be (-3)/2*(-6)/3. Does 9 divide g(k)?
True
Let i(v) = -v**3 - 19*v**2 - 34*v + 19. Is 10 a factor of i(-17)?
False
Let i(h) = 2*h**2 + 3*h + 2. Let g be i(-3). Let n(w) = 2 + 13*w**2 - 8 + w**3 + g*w + 0. Is n(-12) even?
True
Let m = 2 + 0. Suppose -4*k + 876 = 4*o, -k + m*o - 6*o + 210 = 0. Suppose -3*p - k = -6*p. Is p a multiple of 21?
False
Let q(n) = 1. Suppose 5*i + 11 - 34 = -2*x, 3*i = 2*x + 17. Let z(f) = f - 4. Let k(o) = x*z(o) - 2*q(o). Is 4 a factor of k(-2)?
True
Let l(q) = -q**3 - 14*q**2 - 9 - 28*q + 0*q**2 + 6. Is l(-12) a multiple of 9?
True
Suppose 6*y = 13*y - 5649. Is y a multiple of 12?
Fa