 = -2*l - b*g + 976, l + 5*g - 170 = 325. Is l a multiple of 51?
False
Let d = -10 + 12. Suppose 22*w - 16637 = 17507. Is (d/2)/(8/w) a multiple of 30?
False
Let b(u) = -29430*u**3 - 18*u**2 - 32*u - 13. Is 6 a factor of b(-1)?
False
Let s = 52 + 208. Suppose 4*x + 240 = s. Suppose -x*c = -3*c - 226. Is 20 a factor of c?
False
Let g(k) = 453*k + 2147. Is 31 a factor of g(5)?
False
Let t be ((-558)/(-12))/(4/8). Let l = t + -89. Suppose 5*b + 768 + 512 = 5*k, l*b + 16 = 0. Is k a multiple of 21?
True
Let c(d) be the second derivative of -d**5/20 + 19*d**4/12 - 3*d**3 - 39*d**2/2 + 82*d + 2. Let b = 7 + 10. Is c(b) a multiple of 13?
False
Let j = -25 + 28. Suppose 0 = -5*w + j*t - 80, 5*t = 3*w - 2*w - 6. Let g = 37 + w. Does 9 divide g?
True
Suppose 3*n + 70636 = 2*s + 15751, 0 = -3*s - 3*n + 82365. Does 90 divide s?
True
Let v(y) be the second derivative of 11*y**4/12 - 4*y**3/3 + 63*y**2/2 + 71*y + 2. Is 28 a factor of v(9)?
False
Suppose -2*o - 2*j + 11668 = 0, -4*o = -5*j + 7923 - 31268. Does 3 divide o?
True
Let j(l) = 26*l - 26. Suppose 47 - 82 = -7*b. Is j(b) a multiple of 13?
True
Is 2880 + (-2)/(50/(-15) + 1 - -3) a multiple of 7?
True
Let d(v) = 2*v**2 + 17*v + 35. Let z be d(-6). Suppose 2*j = -z*n + 1564, 2*j = -n + 6*n - 1556. Is n a multiple of 26?
True
Suppose 10*i = -142 - 18. Let c = 19 + i. Suppose c*s = 9*s - 480. Is s a multiple of 20?
True
Suppose 6257274 = 499*u + 1791723. Is 95 a factor of u?
False
Let z(q) = 6*q**2 + 424*q + 737. Does 59 divide z(-87)?
True
Let l(t) = -5*t**2 + 17*t - 50. Let k be l(-12). Let q = 1491 + k. Is q a multiple of 47?
True
Suppose -x - q + 12613 = -4934, 5*q = -35. Is 9 a factor of x?
False
Let u(r) = -344*r + 6. Let s be u(1). Let d = s - -387. Does 7 divide d?
True
Let z = -12509 - -21916. Is z a multiple of 25?
False
Suppose d + 5 = 0, -213 = -18*q + 17*q + 4*d. Suppose 201*o = q*o + 1104. Does 23 divide o?
True
Let i = -30 - -26. Let r(q) = -q**3 - 3*q**2 + 5*q + 6. Let b be r(i). Is 7 a factor of b/(-14) - 240/(-14)?
False
Let j(l) = 14*l - 8. Let o be j(10). Is 62 a factor of 5/(-3) - (-25960)/o?
False
Let v(o) = 3318*o**3 - 5*o**2 + 9*o + 21. Does 60 divide v(2)?
False
Let z(i) = i**2 - 7*i + 2. Let j be 6/3 - 42/(-7). Let d be z(j). Suppose d*y - 5*y = 120. Is 3 a factor of y?
True
Let t(q) be the third derivative of q**6/180 + q**5/20 - q**4/4 + 3*q**3/2 - 50*q**2. Let w(j) be the first derivative of t(j). Is w(-8) a multiple of 21?
False
Suppose 13 + 7 = 2*n. Is 114 a factor of (171*(-2)/n)/((-58)/2320)?
True
Let t = 106 - 115. Is 31 a factor of (-45)/t*124/10?
True
Does 27 divide 3213920/1280 + 1/8?
True
Suppose -2*u = 3*r - 32128, -40*r + 37*r = 5*u - 80320. Is 8 a factor of u?
True
Let g be 7*(2/(-1) + 3). Suppose 0 = g*y - 525. Is 8 a factor of y?
False
Suppose -k = 3*p - 71523, -3*p + 53705 = 5*k - 17830. Is p a multiple of 214?
False
Suppose 6*h - 14 - 4 = 0. Suppose -13 = h*t - 25. Suppose 0 = -t*g + g + 240. Does 35 divide g?
False
Suppose -12*o + 14*o - 194 = -4*f, 0 = 2*f + 10. Suppose 2*v - q - o = 189, -2*v + 3*q = -300. Is 58 a factor of v?
False
Let u(q) = 13273*q**2 - 15*q - 14. Let p be u(-1). Suppose -22*c + 13544 = -p. Is 27 a factor of c?
False
Let p(q) = q**3 - q**2 + 600. Suppose 17*v - 19*v = 0. Is p(v) a multiple of 24?
True
Suppose -11*u = -166 - 14101. Suppose u = 4*g - 159. Is 13 a factor of g?
True
Let p(z) = -z + 100. Let q(m) = 3*m + 2. Let k(r) = p(r) + 4*q(r). Does 23 divide k(32)?
True
Is 17 a factor of (0 - -90)*(-4779)/(-243)?
False
Let s = 612 - 930. Does 4 divide 1369/6 + (-265)/s?
False
Suppose -21316 = -5*c + c - 3*a, 3*c = -3*a + 15990. Does 17 divide c?
False
Does 8 divide 2 + (-14)/112*-59896?
False
Let g(i) = -i**3 - 14*i**2 - 32*i - 153. Is g(-23) a multiple of 32?
True
Let z(o) = 3*o**2 - o - 2. Let n be z(-1). Suppose 2 + 6 = -n*p. Is -4 - -4*(32 + p) a multiple of 36?
True
Let z(j) = -22*j - 66. Suppose 22*l + 135 = 13*l. Is 66 a factor of z(l)?
True
Suppose -3*g - 4*v = -8*v - 78, 0 = 5*g - 5*v - 135. Let x = g + -45. Let y = 49 + x. Does 3 divide y?
False
Let q(s) be the first derivative of -50*s**3/3 - 2*s**2 - 2*s - 22. Let r be q(-1). Let a = r + 112. Is a a multiple of 32?
True
Let k be -4*(-3)/4 + 1*-5. Let h be (k + 6/(-3))*(2 + -4). Suppose 0 = s - 5*b + h*b - 33, 74 = 2*s + 2*b. Is 8 a factor of s?
False
Suppose 0*l = 4*j - 3*l - 12147, -2*j + 6112 = 4*l. Is 26 a factor of j?
True
Let b(h) = 8*h - 60. Let u be b(8). Suppose u*j - 1035 + 11 = 0. Does 16 divide j?
True
Let t be (-6 + 573)/9 + -7. Suppose -3*z + 50150 = t*z. Does 25 divide z?
True
Suppose -t = 2*j - 3103, 7*j = 3*j - 5*t + 6209. Suppose -j = -5*o - 4*m, 0 = o - m + 105 - 417. Is o a multiple of 13?
False
Does 9 divide 4 + 0 + 3 - 33187/(-1 - 10)?
True
Let l(i) = 6*i**2 + i + 10. Suppose -16*h = -10*h - 12. Suppose -12 = h*x - 0. Is l(x) a multiple of 44?
True
Let i(c) = -2*c**2 + 12*c. Let b be i(6). Let j be (b - -3)/(3/45). Does 16 divide ((-15)/j)/(2/(-708))?
False
Is ((57330/(-12))/5)/(10/(-60)) a multiple of 13?
True
Let o be (0 - (-3 - (-4 + 0)))*5. Let i(a) = 6*a**2 + 12*a - 13. Does 11 divide i(o)?
True
Let g be (-11406)/24*1/(3/(-12)). Suppose 2*a = 5*q - g, 0 = a + 3*a - 8. Is 57 a factor of q?
False
Suppose 79*j - 128919 = 30*j. Is j a multiple of 10?
False
Let q = 66386 + -36857. Is q a multiple of 27?
False
Let s = 218 - 214. Suppose 0 = -3*a - s*b + 339 + 681, 2*a - 4*b - 660 = 0. Is a a multiple of 7?
True
Let j(s) = -47*s**2 + 1361*s + 43. Is j(24) a multiple of 3?
False
Let c be -1135*4*1/10. Let r = 903 + c. Is r a multiple of 14?
False
Let t = -167 + 187. Suppose t = 5*i - 1375. Does 9 divide i?
True
Suppose -52*p - 3*a = -49*p - 15858, -a = -p + 5292. Is p a multiple of 43?
True
Let q be 219224/201 + (-2)/3. Let s = -540 + q. Does 10 divide s?
True
Suppose 6660 = -18*n - 19*n. Let m be (-1246)/(-4) - 2/(-4). Let l = m + n. Is 11 a factor of l?
True
Suppose 0 = m - 1 + 4. Let d(v) = -v**3 - 2*v**2 + 3*v + 2. Let y be d(m). Suppose -y*n = -2*w + 104, 4*w = 9*w + 5*n - 310. Does 16 divide w?
False
Let x = -3153 - -4847. Is x a multiple of 121?
True
Is 100050/33 - ((-348)/87)/(44/2) a multiple of 32?
False
Suppose n - 23 + 28 = 0, 0 = -4*f - 2*n + 56366. Is -3 - ((-1)/2)/(29/f) a multiple of 12?
True
Let u(j) be the first derivative of 2*j**3/3 - 12*j**2 - 32*j - 118. Is 8 a factor of u(18)?
True
Let s = -48 + 54. Let n be -22*-10*(s/2)/(-12). Let q = n + 156. Does 13 divide q?
False
Let p = 4908 + 3794. Is 10 a factor of p?
False
Let j be (-8)/(-32) + (-339)/(-4). Let f = 119 - j. Let m = f - -8. Is 21 a factor of m?
True
Let c(z) = -4*z**2 + 6*z + 5. Let k(v) = -v**2 + v. Let h(u) = -c(u) + 3*k(u). Let i be h(-7). Let g = -38 + i. Is 7 a factor of g?
False
Let v(x) = -3*x + 10. Suppose 6*t + 25 + 11 = 0. Let n be v(t). Let i = n - -35. Is 7 a factor of i?
True
Let x(h) = -h**2 - 8*h - 4. Let w be x(-7). Suppose -4*v - w*v = -35. Suppose 4*z = v*a + 69, 44 = 6*z - 3*z + 4*a. Is 3 a factor of z?
False
Does 56 divide (15868/(-6) + -1)/(109/(-327))?
False
Suppose 5*m = -13 - 317. Let s = m - -68. Suppose 5*g = b + 4*b - 100, -s*b = -g - 36. Is 8 a factor of b?
True
Let b be 39/6 - 3/6. Let o be 15/2*4/b. Suppose -11*t + 522 = -o*t. Is t a multiple of 17?
False
Let u(t) = 80*t + 43. Let l be u(14). Suppose 872 = 5*w - l. Does 37 divide w?
True
Let c(l) = -2*l**2 - 17*l - 28. Let k be c(-6). Is 206/(5 - (k - -1)) a multiple of 20?
False
Let j be (0 - -12) + (-6 - -3). Let d be 6/(-9) + (-3)/j. Is 20 a factor of 500/5 - (1 + d)?
True
Let u be ((-4)/6 + 0)/(2/(-39)). Suppose 2*x - r = 1 + u, -3*x + 4*r + 16 = 0. Suppose -3*f = y - 44, -3*y + 3*f - 184 = -x*y. Does 9 divide y?
False
Let y(z) = 7*z - 50. Let x be y(10). Is x - ((-3)/(-3) + 2) a multiple of 4?
False
Let z = -1428 - -1332. Let m be 1/(((-4)/123)/(-4)). Let t = m + z. Is t a multiple of 7?
False
Let m(q) = 11*q**2 - 13*q**3 - 12*q**2 + 7*q**3 - 63*q**3. Does 17 divide m(-1)?
True
Is (-10827)/(-351) + -31 - 1232445/(-39) a multiple of 82?
False
Suppose 2*c - 5*c = -3024. Let t = -679 + c. Is t a multiple of 6?
False
Suppose -13*s + 10*s - 4*j = -3055, 0 = 3*s + 2*j - 3065. Let o = -541 + s. Is o a multiple of 44?
True
Let w(s) = -7*s**2 + 25*s**3 + 9*s - 15 - s**2 + 0*s**2 - 24*s**3. Let k