et m(l) = l**3 + 0*l + 12 - 7*l**d - 6*l - 3*l + 0*l**3. Does 3 divide m(8)?
False
Suppose 40*o = 44*o - 4. Let m(n) = 133*n**2 + 4*n - 4. Does 26 divide m(o)?
False
Let v be (-15)/(-3*2/4). Suppose -25*p + 372 + 378 = 0. Let x = p + v. Is x a multiple of 19?
False
Suppose 5*f = 25*f. Let y be 0 + 47 + 2 + -1. Let u = f + y. Is 24 a factor of u?
True
Let d = 10 + -8. Suppose -q + 54 = d*q + 3*n, 4*q - n = 47. Is q a multiple of 10?
False
Suppose -5*g + 66 = -7*g. Let y = g + 19. Let s = y + 17. Is 2 a factor of s?
False
Let w = 2 - 5. Let p(g) = -48*g - 3 - 2 + 8 + 46*g. Does 8 divide p(w)?
False
Suppose -34*z + 3764 = -10. Is z a multiple of 9?
False
Let k(u) = 4*u**3 - 6*u**2 + 4*u - 4. Let w be (-1)/5 - (-42)/10. Let c be k(w). Suppose -2*p - c = -4*d + 3*p, p = -d + 34. Is d a multiple of 12?
False
Does 9 divide 62/(-9 + (-330)/(-36))?
False
Let f(p) = -p**3 - 11*p**2 + 11*p + 9. Suppose 4*u = 2*u - 24. Is 7 a factor of f(u)?
True
Does 14 divide ((-123)/(-9) + -7)*168?
True
Let h(j) = -j + 8. Let x be h(7). Let c be 2 - 21 - (0 - x). Is 6 a factor of (1 - 0)/((-3)/c)?
True
Suppose 3*w - 6*w + 12 = 0. Suppose -5*f = -3*t + 121, -w*f + 22 = t - 24. Is 21 a factor of t?
True
Let f(m) = 19*m - 2. Suppose 0 = -5*w - 110 + 20. Let s be -1 + -3 + w/(-3). Does 12 divide f(s)?
True
Let h = -21 - -13. Let y be 3/12 - 14/h. Suppose y*c - 4*c = 4*i - 32, 4*c - 3*i = 53. Does 6 divide c?
False
Let j(d) = 11*d - 10. Let u(m) = 11*m - 10. Let k(p) = -4*j(p) + 3*u(p). Let x = 10 + -17. Is k(x) a multiple of 25?
False
Let r be (4 + 2 - 4)*(-10)/4. Is (7 - 927/r) + (-4)/10 a multiple of 15?
False
Let f(n) = 66*n + 544. Is f(17) a multiple of 7?
True
Is (1 - 321/(-15))/(12/150) a multiple of 20?
True
Let g = -1176 + 2356. Does 59 divide g?
True
Let z(g) = -g + 4. Let q be z(0). Let m = 173 - 104. Suppose -s = -q*s + m. Is s a multiple of 6?
False
Suppose -r - 47 = 3*z, -3*z - 53 = 4*r - 0*r. Let k = z + 8. Is 23 a factor of -1*k*13*1?
False
Suppose 2*h + 3448 = 5*o + 639, o - 565 = 2*h. Is o a multiple of 51?
True
Suppose 0 = 12*h + 47*h. Let d(m) = -m + 2*m**2 - 3*m**2 + 15 + 0*m**3 - m**3. Does 9 divide d(h)?
False
Suppose -r + 10 - 14 = 0, 1811 = u - 3*r. Does 73 divide u?
False
Let k(p) be the third derivative of 11*p**4/24 - 47*p**3/6 + 20*p**2. Is 5 a factor of k(9)?
False
Let s be (6 + 0)/((-6)/(-416)). Suppose g - 5*g = -2*d + s, 0 = -5*d - 5*g + 1025. Suppose -a + d = 3*t + 33, -4*t + 2*a + 224 = 0. Does 19 divide t?
True
Suppose -18 = -4*n + 3*l, 9 = 5*n - l + 4*l. Suppose 53 = n*m - 19. Is m a multiple of 8?
True
Suppose 2 = 2*c - 3*y, -c - 3*y + 4*y + 2 = 0. Suppose -c*q = -2*d - 138, -2 + 1 = -d. Is q even?
False
Suppose -17*t - 4*v + 1382 = -16*t, 3*v = -12. Is t a multiple of 13?
False
Let j be (-4)/(-14) + (-687)/(-21). Suppose -j = -5*t + 4*y, 3*t - 11 = -3*y + y. Suppose p - 169 = -t*a, -5*a - 5*p + 129 = -36. Is 9 a factor of a?
False
Suppose -d = -u - 87, 2*d + u + 174 = 4*d. Is d a multiple of 6?
False
Let h(a) = 2*a**3 - 8*a**2 + 1. Let n be h(6). Let v be (1 + -1)/(-1*1). Suppose v = b + 4*b - n. Is b a multiple of 9?
False
Let l = 502 - 77. Does 20 divide l?
False
Suppose -3*f = -2*k - 1378, -3*f + 4*k + 2294 = 2*f. Does 6 divide f?
True
Let k(c) = 2*c**3 - 10*c**2 + 23*c - 93. Is 88 a factor of k(7)?
True
Let l(w) = -36*w + 11*w**2 - 10*w**2 + 17*w + 14. Is 2 a factor of l(19)?
True
Let h(c) = 29*c - 21. Let o be h(9). Suppose o = -93*k + 97*k. Is k a multiple of 10?
True
Let o(x) = 2*x + 219. Is 4 a factor of o(19)?
False
Let t(d) = 8*d - 124. Is t(50) a multiple of 12?
True
Suppose 4*n + 803 = -341. Let i = -95 - n. Is 14 a factor of i?
False
Is 35 a factor of 90/(-54)*501/(-5)?
False
Let n be 3*(-2)/(-12)*(3 - -1). Suppose -n*d + 46 = 2. Is d a multiple of 9?
False
Suppose -4*k = -5*i + 1168, -2*k + 4*k + 700 = 3*i. Suppose -2*r + 138 = r + 3*z, 3*z - i = -5*r. Does 47 divide r?
True
Let a(q) = -7*q - 11. Suppose 5*z - 2*r - 18 - 6 = 0, 2*z = 3*r + 14. Suppose -f = -z*f - 24. Is a(f) a multiple of 12?
False
Let w(y) = -y**2 + 16*y + 5. Let s be w(15). Suppose -d + 89 = 3*k, 4*k = -d + 97 + s. Does 12 divide k?
False
Let i(s) = -16*s - 278. Is i(-19) a multiple of 3?
False
Let n be (1968/20 + 2)/(1/5). Let u = n - 334. Is u a multiple of 12?
True
Suppose 27*m - 22918 = 8240. Is 72 a factor of m?
False
Let d(c) = 47*c + 47. Does 14 divide d(13)?
True
Let i(n) = -n**2 - 2*n + 1. Let u be i(-2). Suppose -2*z - u + 63 = 0. Is 21 a factor of z?
False
Is 2 a factor of 0/(-1) + (-1320)/(-40)?
False
Let u(t) = -t**2 + 13*t + 3260. Is u(0) a multiple of 41?
False
Let k = 1841 - 561. Is k a multiple of 27?
False
Let q be ((-1)/(-2))/((-7)/(-70)). Suppose -86 - 59 = -q*m. Does 19 divide m?
False
Suppose 0*f + 2*y - 554 = -4*f, -y - 143 = -f. Is f a multiple of 7?
True
Suppose -2*u = 10, -7*q + 6*q = -3*u - 801. Is 161 a factor of q?
False
Let o(g) be the second derivative of g**5/20 - g**4/3 - g**3/3 - g**2/2 + 2*g - 2. Suppose 9*q - 4*q - h - 27 = 0, -4*h - 13 = -q. Is o(q) a multiple of 3?
False
Let t(l) = 3*l**2 + 12*l - 3. Let h be t(-9). Let k = h + -83. Is k a multiple of 15?
False
Let u(z) = 0*z**2 - 2*z + 6*z**2 - 4*z**2 - 5*z. Let k be u(6). Is (-3)/((-3)/k*1) a multiple of 15?
True
Suppose -14*p = -18*p + 8. Suppose 0 = 4*z - h - 273, -2*h = 12 - p. Does 9 divide z?
False
Let c = -184 + 624. Does 20 divide c?
True
Is (12 + (-132)/(-9))/((-4)/(-6)) a multiple of 2?
True
Let l(v) = -v**3 + v**2 - v. Let z be l(1). Let n(w) = 31*w**2 - w - 2. Let m be n(z). Suppose m = 4*i + 6. Is 2 a factor of i?
True
Let b(h) be the third derivative of -h**4/3 + h**3/3 - 5*h**2. Let a be b(3). Is -4 + 6 + a/(-2) a multiple of 7?
False
Suppose 12*j - 11*j - 8 = 0. Suppose 0*q - 1064 = -j*q. Is 43 a factor of q?
False
Let s(h) = 4*h + 8. Suppose -20 = -a - 3*a. Suppose -u - 39 = -a*d, d - 3*u - 23 = u. Does 12 divide s(d)?
True
Let n be 508/18 + 6/(-27). Suppose 18 = 3*q - 3*v, -2 = -3*q - 6*v + v. Suppose -n + 96 = q*l. Is l a multiple of 3?
False
Suppose 0 = -64*m + 64238 + 74002. Is m a multiple of 27?
True
Suppose 0 = 2*q - 1671 + 337. Is q a multiple of 29?
True
Suppose -3*c + 3*d = -207, -4*c + 2*d + 316 = 6*d. Is 61 a factor of c?
False
Suppose 0 = 7*b - 2*b - b. Suppose f + 5*f - 1362 = b. Does 36 divide f?
False
Suppose 3*h = -9*x + 8*x + 1695, -4*h + 2271 = 5*x. Is 6 a factor of h?
True
Suppose -9*s = -8*s - 3. Let g(w) = w - w - s*w + w. Is 9 a factor of g(-9)?
True
Suppose 0 = 2*q - 21 + 9. Suppose q = 3*b - 0. Suppose -6*t + 3*t = -5*i + 48, 5*i - b*t = 47. Is i a multiple of 3?
True
Let y(q) = 10*q - 5*q + 4*q**2 - 2*q**2 - 26. Is y(-7) a multiple of 9?
False
Let f be 2/4*(1 - 1). Suppose f = -4*q + 4, -2*r + 2*q = -3*r + 129. Let j = r - 64. Does 21 divide j?
True
Is (3 - (-1953)/15) + 4/5 a multiple of 67?
True
Suppose -5*h + 6004 - 600 = 2*n, n = -h + 1082. Does 18 divide h?
True
Let w(v) = -v**3 - 15*v**2 - 13*v + 8. Let l be w(-14). Does 11 divide (69/l)/((-1)/2)?
False
Let d(q) = q**3 + 12*q**2 + 19*q - 20. Is d(-9) a multiple of 19?
False
Let v = 134 - 230. Let p = 140 + v. Let c = p + -28. Is c a multiple of 8?
True
Let b = -722 - -1264. Is 11 a factor of b?
False
Let m(l) be the third derivative of 1/24*l**4 + 0*l + 23/2*l**3 - 1/60*l**5 - l**2 + 0. Is 23 a factor of m(0)?
True
Suppose 0*s + 4*s - 36 = 0. Suppose 0 = 3*z - s. Suppose -4*d + z*d = -3. Is 2 a factor of d?
False
Suppose 3*k + 6 = -i, 4*i = i + 3*k + 18. Suppose -z = 2*n - 219, 887 = 4*z - 6*n + i*n. Is z a multiple of 39?
False
Let n = 15 + -43. Does 5 divide 14/(-18)*n - 2/(-9)?
False
Let g(t) = t**3 + 31*t**2 + 35*t - 107. Is g(-23) a multiple of 43?
False
Let v(p) = 3*p**3 - 8*p**2 + 18*p + 5. Does 27 divide v(5)?
True
Let v = 201 + 16. Is 7 a factor of v?
True
Suppose 4*g + 2*y - 1425 - 303 = 0, -4*g = 3*y - 1724. Does 21 divide g?
False
Let l(o) = -15*o - 119. Does 98 divide l(-21)?
True
Let d(h) = -h**2 - 3*h + 2. Let y be d(-3). Let n(f) = -6 + 0*f**3 - 2*f + y - f**3 + f**2. Is n(-4) a multiple of 26?
False
Let d be 67/(-5) + (-10)/(-25). Let s(x) = -x**3 - 14*x**2 - 13*x. Let a be s(d). Let l = 37 + a. Is l a multiple of 12?
False
Suppose -5*x + 5*f + 1696 = -2109, 2*x = -f + 1510. Is 7 a factor of x?
False
Let i = 501 - 288. Suppose 93 = 3*w - i. Is w