) = 7*x - 3. Let t be n(1). Suppose 0 = 2*l - t*m - 8, -5*l - 24 = -9*l + 4*m. Does 12 divide 1*72*l/6?
True
Let l(n) = n**2 - 5*n - 66. Let c be l(21). Suppose -1021 = -4*a + 5*k + c, 3*a - 971 = k. Is a a multiple of 18?
True
Let v = 1809 - 1371. Is 3 a factor of v?
True
Suppose -28*r + 7*r - 378 = 0. Is 0 - r/(476/(-160) - -3) a multiple of 18?
True
Let u(g) = 99*g + 1031. Is u(-8) a multiple of 2?
False
Suppose 55*o - 47*o = 2656. Suppose 5*f - o - 328 = 0. Is 23 a factor of f?
False
Let o(j) = -223*j - 339. Does 13 divide o(-15)?
False
Let z be -1*(-16)/(-4)*-1. Suppose 0 = -6*q + z*q + 624. Is 11 a factor of q?
False
Let k be (6 - 3)*2/(-6). Let s be -15*k/3 + -3. Suppose 42 = s*f - a + 3*a, 3*f + 4*a = 60. Is f a multiple of 12?
True
Let a = 9875 + -3071. Is a a multiple of 28?
True
Let g = -128 + 198. Suppose -g*h = -69*h - 156. Does 13 divide h?
True
Let d = -15184 + 28652. Is d a multiple of 25?
False
Let r = 235 + -74. Let q be (5/12*2)/(26/156). Is 10/q - (1 - r) a multiple of 18?
True
Let t = -45 + 66. Let q be -29 - (7/t)/(1/(-3)). Is 5 a factor of (q/(-6))/(7/(126/4))?
False
Let a(b) = b**3 - 20*b**2 + 35*b + 18. Let l be a(18). Suppose 5*r - 290 = 4*p, l = -4*r + 8 - 0. Let d = -43 - p. Does 12 divide d?
False
Let i be (-11)/(-11)*46*(-18)/(-4). Suppose 2*j + 4*u = 454, 5*u = -j + 7*u + i. Is j a multiple of 31?
True
Does 30 divide (-8)/6*-15017 + (133/(-21))/(-19)?
False
Let s = 25 - 22. Suppose -i = -s*p + 20, p = -4*p + 4*i + 45. Suppose p*o - 161 = -4*y, -2*o + 2*y + 68 = -0*o. Is o a multiple of 11?
True
Suppose -51*x - 1689128 = -160*x - 87*x. Is x a multiple of 31?
True
Suppose 4*z + z - 5*t = 115, 4*t = 2*z - 46. Let i = -10 + z. Is 55 a factor of (i/(-26))/(-1 - (-577)/578)?
False
Let z = 156 - 60. Let d = 187 - z. Is d a multiple of 13?
True
Let c(f) = 3*f**2 - f - 8. Let z be c(-8). Suppose 0*a + 4*a = z. Suppose -4*v - a = -468. Is 19 a factor of v?
False
Let x = -37 - -39. Suppose -a = -4*m + 298, a + x*m = 5*a + 1136. Is 2 a factor of (-2)/9 - (-1 + a/54)?
True
Is 170 a factor of (-186985)/(-25) + (432/(-60))/(-12)?
True
Let z(g) be the second derivative of -g**5/20 + g**4/4 + 5*g**3/6 - 2*g**2 + 15*g + 2. Is 2 a factor of z(3)?
False
Let m be (3/(-9))/((-16)/(-624)). Is 43 a factor of m/((-819)/18) - (-4826)/14?
False
Let o = -1 + 1. Let w be (-17120)/(-160) + -3*5. Suppose -3*h + 2*j - w = -6*h, o = -h - 5*j + 35. Is h a multiple of 4?
False
Suppose 5*q - 65 - 5 = -b, 3*b - 5*q - 110 = 0. Let v be 1 + 2800/b - (-2)/(-9). Let k = 113 - v. Is 3 a factor of k?
False
Suppose -28*q - 8 = -32*q. Suppose -2*t = q*s - 3*t - 1310, -2*s = t - 1314. Is 16 a factor of s?
True
Let u(t) = -5*t + 37. Let q be u(7). Is 249/q + 7/(28/6) a multiple of 13?
False
Let m = -3972 - -4052. Does 20 divide m?
True
Let y = -15464 + 23234. Is 21 a factor of y?
True
Let y(c) = c**2 - 45 + 4*c + 5 + 15*c - 2*c**2. Let d be y(17). Let p(x) = -x**3 - 6*x**2 - 3*x + 3. Does 21 divide p(d)?
True
Let m(u) = 9*u**2 - 25*u + 8. Is m(-25) a multiple of 21?
True
Suppose -8*n - 187 = 181. Let h = -1 - n. Suppose u = 52 + h. Is 21 a factor of u?
False
Let j = -15873 + 49942. Is 13 a factor of j?
False
Let m(x) = x**3 - 4*x**2 - 112*x - 32. Is 16 a factor of m(28)?
True
Suppose 16*i - 13*i = 9, -2*g + 1267 = 3*i. Suppose 2*h - g = -s, -s + 692 - 58 = -3*h. Is 19 a factor of s?
False
Suppose 8853 + 405451 = 32*l. Is 72 a factor of l?
False
Let l(i) = -i**3 + 12*i**2 - 20*i + 108. Let g be (80/48)/((-10)/(-66)). Is l(g) a multiple of 2?
False
Suppose -n + 272 + 10 = -3*f, 3*n - 5*f = 830. Let h = 96 + n. Is 19 a factor of h?
False
Let k be 4*(2 - 9/6). Let c(d) = 28*d - 18. Let p be c(5). Suppose -426 + p = -k*b. Does 21 divide b?
False
Let q(f) be the first derivative of -7*f**5/60 - f**4/4 - 7*f**3/3 + 6. Let m(l) be the third derivative of q(l). Is m(-2) a multiple of 6?
False
Suppose 30 = -7*h + 2*h. Let v(f) be the second derivative of -f**3/2 + 6*f**2 - 11*f. Does 19 divide v(h)?
False
Let m be (-4)/(1*(-3)/(-123)). Let h = m - -308. Is 14 a factor of h?
False
Let q be (2 - 3)*(2 + -4). Suppose 3*g = -4*w + 622, 5*g + q*w = 7*w + 1060. Is 21 a factor of g?
True
Suppose 54*i + 9678 = 794514. Is i a multiple of 13?
True
Let o = -8855 - -15245. Does 9 divide o?
True
Suppose 2*n - 12 = -2*f, -4*f = -2*n + 3*n - 9. Let h be n - 143*(-3 - -4). Let j = -68 - h. Is j a multiple of 11?
False
Let q be (-29)/(-29)*(2 + 0 - -452). Suppose -4*t + 882 + q = 0. Does 23 divide t?
False
Let q = -1401 + 3243. Is 13 a factor of q?
False
Is (-1 + 8/6)/(2154564/(-153900) - -14) a multiple of 15?
True
Let i(p) = -p**3 - 9*p**2 + 8*p - 15. Let x be i(-10). Suppose 0 = -3*z - 5*q + 274, 0*z - 2*q + 444 = x*z. Let m = z + -38. Does 25 divide m?
True
Suppose a + 3*a + 104 = 0. Is 26 a factor of 195/a*40/(-3)*3?
False
Suppose 8*r - 7*r - 33 = 0. Let o be r/9 + (-2)/3. Let h = 41 - o. Does 38 divide h?
True
Let r = -566 + 404. Does 14 divide (108/r)/(1/243*-2)?
False
Let b = -5940 - -18660. Is b a multiple of 30?
True
Let g = -4585 - -8719. Suppose 35*h = 41*h - g. Is h a multiple of 13?
True
Let n(z) be the third derivative of z**5/60 - 5*z**4/8 + 101*z**3/6 - 6*z**2 - 10*z. Is 30 a factor of n(13)?
False
Is 73 a factor of 4392834/918 + (-6)/27?
False
Let p(c) = -c**3 - 20*c**2 - c - 11. Let d be p(-20). Suppose 12*w = d*w + 360. Suppose 0 = -v + o + 4 + 28, 5*v = -5*o + w. Is v a multiple of 14?
True
Let p(a) = 24*a - 2. Suppose 0 = 15*x + 14*x - 29. Is 3 a factor of p(x)?
False
Let z(f) = 1484*f**2 + 96*f + 270. Does 6 divide z(-3)?
True
Let w = -252 + 243. Let n(i) = 7*i**2 - 6*i - 156. Is n(w) a multiple of 15?
True
Suppose -16*p + 188299 + 258191 = 149*p. Is p a multiple of 79?
False
Suppose 3*q - 36 = 4*h + 19, q = 4*h + 21. Let d(w) = 4*w**2 - 45*w - 6. Is d(q) a multiple of 10?
False
Let b(q) = 15 - 3*q - 1 + 3*q - 7*q + 3*q**3 + 5*q**2. Let l be b(6). Suppose -896 = -3*c - 2*t, -76 - l = -3*c + 3*t. Does 24 divide c?
False
Suppose 9*i = -13*i + 502079 + 126373. Is i a multiple of 23?
True
Let d(k) = -4*k**3 + 11*k**2 + 16*k - 18. Let p(i) = 10*i**3 - 32*i**2 - 49*i + 55. Let l(n) = 8*d(n) + 3*p(n). Is l(-9) a multiple of 18?
False
Let a be 1/(-2) + 72/16. Suppose a*r - 5712 = -4*r. Is 51 a factor of r?
True
Let q(j) = 33*j**2 + 64*j + 144. Does 117 divide q(-10)?
False
Let s(v) = -4*v**2 + 296*v + 24. Is 76 a factor of s(26)?
True
Suppose -5*g - 2*j + 31 = 0, -g + j + 11 = 3*j. Suppose -2*i = g*d + 2*i + 61, d - 11 = 5*i. Is (-28)/(d/((-81)/(-6))) a multiple of 14?
True
Suppose 40*q - 46108 + 8708 = -10*q. Does 9 divide q?
False
Does 51 divide 4*(-11)/330 - (-59672)/15?
True
Suppose -32*w + 26*w = -30. Suppose 0 = w*s + 88 - 718. Does 15 divide s?
False
Suppose -91*b + 171222 = -162566. Is b a multiple of 131?
True
Suppose -4*a = 5*f - 28 + 299, 122 = -2*a + 2*f. Let k = a - -68. Suppose -34 = -k*y + 110. Does 6 divide y?
True
Let q(c) = 1102*c - 3052. Is q(10) a multiple of 8?
True
Suppose 5*v - 6*q + 8*q - 118 = 0, 2*q = -2. Let i = 750 - v. Does 22 divide i?
True
Let c = -516 + 356. Let t = c + 171. Is t a multiple of 5?
False
Let w = -144 + 258. Let x = w - -255. Is x a multiple of 41?
True
Let o = -1531 - -1736. Is 41 a factor of o?
True
Suppose -3*b + b - 1962 = -4*q, 492 = q - b. Let j be 1850/8 + 2/(-8). Suppose -2*p = -2*d - 7*p + j, q = 4*d + p. Is d a multiple of 7?
False
Let a = 404 - -2036. Does 4 divide a?
True
Let b be 656/22 + 46/253. Is 25 a factor of (-3)/(b/(-4))*750?
True
Let b(v) = -25*v - v**3 + 26*v**2 - 799 + 25*v**2 - 19*v + 898 - 9*v**2. Is 26 a factor of b(40)?
False
Let n(q) = -5*q + 37. Let x be n(26). Let a = x + 122. Is 3 a factor of a?
False
Let u(j) be the first derivative of j**4/4 + 4*j**3/3 - 4*j + 12. Let h be u(-3). Suppose -4*n - 192 = h*s - 502, -s + 2*n + 62 = 0. Is s a multiple of 16?
False
Let x = -855 - -406. Let j = x - -722. Is j a multiple of 6?
False
Let n be (22/(-8) + 2)*(-24)/9. Suppose n*g = -g - 12. Let v(s) = -3*s**3 - 4*s**2 - 2*s - 9. Is 20 a factor of v(g)?
False
Is 32 a factor of 170810/15 + 2/3 - (-42 + 51)?
False
Is 33 a factor of (-105)/(-15)*(6 + 4771)?
False
Let q(k) = -57*k + 21. Suppose -38 = n + 20. Let c = n + 53. Does 34 divide q(c)?
True
Suppose 0 = -2*x + 6, 5*x + 2715 = 31*u - 28*u. Is 10 a f