 - 44. Does 12 divide l(-16)?
True
Suppose -4*a + 2*x = 30, -5*a - x = 3*x + 31. Let o(m) = -m**3 - 7*m**2 - 2*m + 6. Let z be o(a). Is 15 a factor of ((-225)/z)/(1/(-4))?
True
Suppose 4*d = 3*d + 44. Let l = d + 24. Let w = l + -15. Does 9 divide w?
False
Let k(y) = -y + 5. Let v be k(5). Suppose v = -o - o - 4, 0 = -5*d - 3*o + 394. Let s = d - 41. Is 13 a factor of s?
True
Let n = 2161 + -1801. Does 45 divide n?
True
Suppose -3*l + 3*y = -4*l + 94, 0 = 5*l - 2*y - 453. Is l a multiple of 13?
True
Let f(u) = -6*u**2 + u + u + 13*u**2 - 132*u**3 - 5*u**2. Is f(-1) a multiple of 22?
True
Let m(h) = -h**2 - 15*h - 16. Let c = 3 - 3. Let x = c + -12. Does 4 divide m(x)?
True
Suppose 421 = 2*x - m, -x = 5*m + 81 - 275. Is x a multiple of 9?
False
Let z(g) = 50*g - 3. Let p be z(14). Suppose 0 = -7*y + p + 626. Is y a multiple of 9?
True
Is (-740)/(-14) - (-2 - -3)/(-7) a multiple of 53?
True
Let x be 6*12/(-8) + 3. Let a be (3/x)/(3/(-822)). Suppose -4*i + 0*z + a = 5*z, 2*i + z = 67. Does 11 divide i?
True
Let z(y) = -y**3 + 6*y**2 - 4*y - 3. Let a be z(5). Let q be a/(-4) - (-3414)/12. Suppose 2*d = 4*j + 3*d - q, -j - 3*d + 60 = 0. Is 17 a factor of j?
False
Let v be 5/(-10)*-5*24/10. Is 40 a factor of -2*2/v*-198?
False
Suppose -5*w + w + 100 = 0. Let u = w + -13. Suppose 8*f - 12*f + u = 0. Does 3 divide f?
True
Suppose 0 = 4*w + 4*w - 96. Let l(s) = 9*s - 8. Is 18 a factor of l(w)?
False
Suppose 3 = j - 2*j + q, -2*q + 12 = j. Suppose -5*x + 15 = 0, x = -j*o - 2*x + 93. Is 13 a factor of 1314/o + 4/(-14)?
False
Let c be (-1)/(-2)*(0 - -4). Let p be (4 - c)/(8/16). Let m(t) = 4*t**2 + 4*t - 5. Is m(p) a multiple of 25?
True
Suppose 10*r - 435 = -75. Is r a multiple of 24?
False
Suppose 127*u - 3726 = 124*u. Is u a multiple of 27?
True
Let j(s) = 2*s - 1. Let g be j(-1). Let o(n) = n**2 - n - 8. Let m be o(g). Suppose 0*z = 5*f - z - 324, 3*f - m*z = 208. Does 17 divide f?
False
Let u(l) = -23*l + 6. Does 44 divide u(-12)?
False
Suppose -5*j = 4*g - 46, -2*j + 32 = -3*g + 8*g. Suppose -o - 132 = -3*d, j*d = 5*d - 5*o + 44. Is d a multiple of 9?
False
Suppose 4*s = -3*a + 17, -2*s + 5*a - 7 = 2*s. Suppose s = -f, -5*i - 3*f + 2*f + 68 = 0. Is i a multiple of 4?
False
Does 7 divide 83/(2/((-4)/(-10)*5))?
False
Let c be (364/21)/(1/6). Let s = -44 + c. Suppose -2*l - 37 - 67 = -4*y, 0 = -3*y - 3*l + s. Is 12 a factor of y?
True
Does 106 divide ((-2)/7 - 63630/(-98)) + 4?
False
Let j = -38 - -550. Does 14 divide j?
False
Let h(n) = 14*n**2 - 6*n + 6. Let o(w) = -42*w**2 + 17*w - 18. Let c(a) = -8*h(a) - 3*o(a). Is 4 a factor of c(2)?
True
Let b(h) = -h**3 + 8*h**2 + h + 3. Let r(s) = s - 2. Let u be r(4). Let c(q) = q**2 + q + 2. Let l be c(u). Does 4 divide b(l)?
False
Let g(l) be the third derivative of l**5/60 + l**4/8 - 2*l**3/3 + 7*l**2. Let x be (-10)/((0 - 0) + -2). Does 18 divide g(x)?
True
Let y = 1122 + -566. Suppose 2*t = y - 10. Does 15 divide t?
False
Suppose -15*c - 4*c = -5111. Does 2 divide c?
False
Suppose -3613 = -5*u + 4*c, 6*u - 1438 = 4*u + 4*c. Does 9 divide u?
False
Let w(j) = -j**2 - 48*j - 19. Is w(-11) a multiple of 32?
False
Let r(x) be the first derivative of -x**5/20 + x**4/2 - x**3/2 + 3*x**2/2 - 5*x + 9. Let m(h) be the first derivative of r(h). Does 21 divide m(3)?
True
Let y be (1 - (-216)/99) + 2/(-11). Is 32 a factor of y + -4 + 2 - -19*5?
True
Does 23 divide 102884/102 + (-4)/6?
False
Suppose -2*s + 4783 = 3*z, 5*z + 0*s - 7935 = 4*s. Is 43 a factor of z?
True
Suppose 4*b = 16, 3*q + 5*b - 962 = 3*b. Is q a multiple of 72?
False
Let s = 286 - 254. Is 4 a factor of s?
True
Does 14 divide -1 + (-1)/(2 + (-5685)/2841)?
False
Let h be -1*(-6)/15*5. Suppose -4*s - 5*d + 3*d = 38, 5*s = h*d - 43. Let p = s - -14. Is p a multiple of 3?
False
Let j = -18 + 20. Let s = j - -20. Does 4 divide s?
False
Let f(d) = 5*d**2 + 34*d - 17. Let o be f(-15). Suppose 0 = -9*b - 4*b + o. Is 8 a factor of b?
False
Let d(q) = 5*q - 34. Let f be d(7). Is 24 a factor of f - (2 - (1 - -15*8))?
True
Suppose 2 = -2*t - 0, 4*t = -5*g + 11. Let b(a) = 6*a**2 + 2*a - 6. Does 27 divide b(g)?
True
Suppose -22*f + 27104 = 22*f. Is 10 a factor of f?
False
Suppose -154*a = -163*a + 8667. Is 10 a factor of a?
False
Suppose 1667 + 841 = i. Suppose -i = -26*b + 4*b. Does 38 divide b?
True
Let h(s) = 12*s + 35. Is h(9) a multiple of 11?
True
Suppose 14*u - u + 234 = 0. Does 20 divide 1/(3/(-20))*u/4?
False
Let o be (8/10)/((-2)/5). Let w(l) = 3*l - 17*l**2 - 8*l**3 - 6*l + 13*l**2. Is w(o) a multiple of 18?
True
Suppose 5*y = m + 3375, 5*m = 4*y + 6*m - 2691. Is 13 a factor of y?
False
Let h(s) = s + 12. Let a be h(-5). Suppose -a*x + 4*x - 72 = 0. Is 2 - x/(4 + 0) a multiple of 6?
False
Suppose 2*x - 12 = -x. Does 31 divide x/6*((-97)/(-2) - 2)?
True
Let b be (0 - -2)/((-6)/147). Let x = b - -81. Is 8 a factor of x?
True
Suppose -g + 248 = j, -5*j - 4*g = 536 - 1772. Suppose -u - j = -3*w, -238 = -3*w - 4*u - u. Does 4 divide w?
False
Let w(l) = -16*l - 208. Is 16 a factor of w(-22)?
True
Let n(w) = w**3 + 27*w**2 - 35*w - 187. Is n(-26) a multiple of 8?
False
Let f = -2743 - -4690. Is f a multiple of 59?
True
Let y(t) = 2*t**3 + 3*t**2 - 5*t + 3. Let g be (8/(-6))/(3/9). Let k be y(g). Let h = 112 + k. Does 23 divide h?
False
Suppose -4 = -8*q + 28. Suppose -q*j - 5*g = 8, -3*j + 2 + 27 = -5*g. Suppose j*a - 145 = -55. Does 15 divide a?
True
Suppose 133*d - 139*d = -1848. Is 21 a factor of d?
False
Let y(c) be the second derivative of c**4/3 - 2*c**3/3 - 2*c**2 + 29*c. Does 8 divide y(-4)?
False
Let z(c) = c - 5. Let x(h) = -h**3 - 4*h**2 - 5*h - 2. Let o be x(-3). Let j be z(o). Does 26 divide j + 109 - (19 - 15)?
True
Let x be ((-13)/(-2))/(5/10). Suppose x*b - 275 = 12*b. Does 20 divide b?
False
Suppose -4 = -2*m + 4*m, 0 = -3*f - m + 3553. Does 20 divide f?
False
Let u(t) be the second derivative of -t**5/20 - 2*t**4 - 7*t**3/6 - 49*t**2/2 - 24*t. Is u(-24) a multiple of 17?
True
Let d = 35 - 24. Let t(y) = y**2 + y. Let h be t(-1). Suppose 2*r - d - 23 = h. Does 17 divide r?
True
Suppose 0 = 3*h - z - 570, -242 + 992 = 4*h + 2*z. Is 9 a factor of h?
True
Suppose -32 = -2*b + 144. Does 5 divide b?
False
Let n be (-3)/(-1)*24/18. Suppose -3*x = -4*r - 6 + 106, n*r - x - 100 = 0. Is r a multiple of 5?
True
Suppose -2*d + 1818 = 5*z, 0 = -4*z + 6*z + 5*d - 723. Does 13 divide z?
True
Suppose -6 = -2*l - 3*y - 2, 4*y + 33 = 5*l. Let p(f) = -f**2 + 6*f + 13. Let z be p(5). Suppose 0 = -n + 2*d + z, 2*n - n - l*d - 33 = 0. Is 8 a factor of n?
True
Let n = -19 - -14. Let h = 2 + n. Is 2 a factor of 2 - h - (-7 + 5)?
False
Let s(p) = 2*p**2 + 58*p - 853. Is s(-52) a multiple of 81?
True
Let b be (3 - 6)*(7 + -2). Let n = 29 + b. Does 7 divide n?
True
Suppose 3030 = 14*s + 6. Is s a multiple of 36?
True
Let t(k) = -2*k + 19. Let v(a) = a + 1. Let p(x) = -t(x) + 3*v(x). Does 7 divide p(12)?
False
Let p = -61 - -238. Let o = p + -102. Is 270/o*10/3 a multiple of 10?
False
Is 17 a factor of ((-193)/(-12)*6)/(1/6)?
False
Let d be 6/24 - 22/(-8). Let u be (-4)/(2 - d/1). Suppose 87 = u*a - 145. Is a a multiple of 29?
True
Suppose 19 + 141 = -4*p. Is 6 a factor of ((-243)/12)/(((-75)/p)/(-5))?
True
Let g(z) be the first derivative of z**5/30 + z**4/8 - z**3/3 - 3*z**2 + 8. Let m(u) be the second derivative of g(u). Is m(-5) a multiple of 33?
True
Let z(g) = -3*g + 169. Does 54 divide z(-13)?
False
Let w(t) = -t**2 - 6*t - 2. Let p be w(-2). Let b be -3 - p/(-3)*54. Let o = -39 + b. Is 22 a factor of o?
True
Let s(l) = -l + 480. Let c be s(0). Suppose 5*h - c = -0*h. Is h a multiple of 14?
False
Suppose 0 = 2*w - 6*w + 8. Let k be -1 + w + (4 - 1). Suppose 5*x + 160 = k*q + 9, 5*q - 198 = -3*x. Is q a multiple of 13?
True
Let w = 39 + -37. Is 4 a factor of (171/(-27))/(w/(-12))?
False
Suppose 32 = 10*r + 6*r. Let t(b) = 2*b**2 - 2*b + 7. Is 3 a factor of t(r)?
False
Let w = -1 - -6. Suppose -l - 67 = -0*l + 5*m, -3*l - w*m = 151. Let t = l - -78. Is 7 a factor of t?
False
Suppose b + 8 = 45. Does 5 divide b?
False
Let d(n) = -7 + 2 + 36*n + 4 - 113*n. Let a be d(-1). Suppose -2*t - l + 38 = 0, 0*t - l = 4*t - a. Does 6 divide t?
False
Let r = -7 - -12. Suppose r*x - 3*x - g - 198 = 0, x - 5*g - 81 = 0. Suppose -2*u = -21 - x. Does 14 divide u?
False
Suppos