4592, 21378 = 4*l + k + 3070. Is l a multiple of 142?
False
Let v(f) = -85*f - 2731. Does 29 divide v(-69)?
False
Suppose -4*y + 7*y = -3*s + 13719, 0 = -2*s - 5*y + 9155. Is 8 a factor of s?
False
Let c(q) = -q**3 + 8*q**2 + 23*q - 12. Let s be c(14). Let v = 1762 + s. Does 14 divide v?
True
Is 21 a factor of (7274/1)/((-112)/(-168))?
False
Let v(o) = -o**3 + 8*o**2 + 18*o + 18. Let u be v(9). Suppose -3*y - 213 + 24 = 0. Let h = u + y. Is h a multiple of 32?
False
Suppose 0 = 2*a + 4*w + 1084, -2*a + 24*w = 19*w + 1102. Let k = 798 + a. Does 22 divide k?
False
Is 39 a factor of 2594 - (9 + 0/(-12))?
False
Let n = 305 + -290. Suppose -n*z + 44 = -46. Is z a multiple of 6?
True
Does 15 divide (-271436)/(9 + -20) + -16?
True
Let f be (58/(-20) - -3) + (-518)/(-20). Let k(j) = j**3 - 26*j**2 + 5*j + 45. Is 18 a factor of k(f)?
False
Let n = -3903 - -7665. Suppose 11*y - n = -0*y. Is y a multiple of 52?
False
Let f(r) = -r**3 - 3*r**2 - 8*r - 3. Suppose 1 = -3*q + 2*z + 6, -2*q + 4*z = 10. Let v be 1/q + 144/(-45). Is f(v) a multiple of 21?
True
Let p(z) = -7*z**3 - 18*z**2 + 6*z + 5. Does 18 divide p(-6)?
False
Suppose -3*c = -3*v - 2*v - 95, -4*c = v + 42. Let m(p) = p**2 + 18*p - 20. Let u be m(v). Suppose 3*r - 2*a = 88, 3*a + u = 2*r + 4*a. Is 12 a factor of r?
False
Does 11 divide (-2)/34 - 1543542/(-1326)?
False
Suppose -423*n + 180716 = -6443285 - 746351. Is 3 a factor of n?
True
Let v(d) = -49 - 5*d + 22 + 12 + 20*d. Suppose 0 = -4*p + 3*p + 6. Does 25 divide v(p)?
True
Let o(c) = 25*c**2 + 6*c - 15. Let j be (-2 + (-72)/(-28))*49/7. Is o(j) a multiple of 33?
False
Does 18 divide (9155/1 - (3 - 4))*(-1)/(-1)?
False
Let c = -41 - -45. Suppose -c*r = v + 29, r - 2*v - 10 = 3*r. Let k(z) = z**2 - 3*z + 16. Is k(r) a multiple of 20?
False
Let a(z) = -2*z**3 + 6*z**2 + 18*z + 15. Let j be a(5). Suppose -j*p - 2*c - c = -5105, 2*p = -5*c + 2023. Is p a multiple of 69?
False
Suppose 3*c = -8*i + 3*i - 28, 5*i = -10. Let v be c/9*-12 - 2. Suppose 2*a + v*a - 768 = 0. Is 15 a factor of a?
False
Let a(t) = -19*t - 48. Let f be a(-3). Suppose -22 = -f*w + 176. Is 8 a factor of w?
False
Suppose 3*t - 3*q - 1971 = 0, 3*t - 89*q = -84*q + 1983. Is t a multiple of 2?
False
Let p(v) = 860*v - 3222. Is p(23) a multiple of 34?
True
Let n = 91708 - 59564. Does 41 divide n?
True
Suppose -4*x + 53 = -3*i, -80 = 4*i - 4*x + 8*x. Let n be 2 + (20*1 - 0). Let p = n - i. Is p a multiple of 10?
False
Suppose a + 117*a + 41*a - 330243 = 0. Is 72 a factor of a?
False
Let k(g) = -g**2 - 20*g - 97. Let w be k(-9). Suppose -2*b + 476 = -5*u - 49, -2 = w*u. Does 26 divide b?
True
Let m be -5 + 1 + -13 + 21. Suppose 2*k + 332 = 6*k. Suppose 0*y + 5*y + 4*g - 155 = 0, -k = -m*y + 5*g. Is y a multiple of 15?
False
Let b be 18/48 + (-3)/8. Suppose b = 39*q - 28*q - 2849. Is q a multiple of 37?
True
Suppose 4*h = a + 834, -a - 834 = -0*h - h. Let t = -492 - a. Is 9 a factor of t?
True
Let w = -59273 - -112963. Is 13 a factor of w?
True
Is 34 + 603 - (2 + (-1 - -6)) a multiple of 5?
True
Suppose 3*m = 4*n + 35, 5*m - 37 = -4*n + 32. Let z(j) = j**2 + 0 - m*j + 8 - 12 - 12. Does 18 divide z(21)?
False
Let p be ((-16)/(-10) - 2)/((-3)/(-45)). Let s(h) = -h - 2. Let n be s(p). Suppose 51 = -n*u + 135. Is 10 a factor of u?
False
Let s = 169 + -98. Let z = 123 - s. Does 13 divide z?
True
Suppose 0 = 4*p - 8077 - 107. Let k = p - 1109. Is k a multiple of 18?
False
Let t be (-7870)/(-18) - (-2)/(-9). Let k be (2 - 3) + 18 + -37 + 31. Suppose 1686 = k*b - t. Does 33 divide b?
False
Suppose 3*y + 2*f = 112122, 68*y = 71*y + 3*f - 112116. Does 19 divide y?
False
Let r(f) = 872*f**2 + 66*f. Is 10 a factor of r(2)?
True
Let t be 2/11*1 + 22316/77. Let g = t + -130. Does 32 divide g?
True
Let c = 20 - -320. Let l = c + -95. Suppose -2*b = -3*v - 101 + 28, -5*b + l = 5*v. Is 11 a factor of b?
True
Let a(n) = -n**3 + 4*n**2 - 3*n + 2. Let q be a(3). Suppose -56 = -q*y - 6*y. Suppose -y*p + 275 - 23 = 0. Does 18 divide p?
True
Let x = 66 + -44. Suppose 0 = -x*t + 17*t. Does 24 divide -1 - -28 - (3 - t)?
True
Let a(j) = 20*j**2 - 50*j + 438. Is 33 a factor of a(13)?
True
Let l(r) = 170*r**2 + 7*r - 31. Let v(f) = -2*f**3 + 2*f**2 + f + 3. Let w be v(0). Does 34 divide l(w)?
False
Let y = 70 + -84. Let u(o) = 15*o - 28. Let q be u(y). Let k = -48 - q. Is 38 a factor of k?
True
Suppose 0*g + 1124 = 5*t + 2*g, -2*t + 455 = -g. Is 3 a factor of t?
False
Suppose -8*n = 273 - 289. Suppose 5*i - 1704 - 5856 = -n*l, -3*i + 4536 = l. Is 14 a factor of i?
True
Suppose 22*v - 958 = -10902. Is v*(3/4)/((-24)/16) a multiple of 15?
False
Suppose -1411 = 9*v - 23722. Suppose 14*m - v = -155. Does 42 divide m?
False
Suppose -12*u + 130 = -170. Suppose -u*y = -22*y - 642. Does 5 divide y?
False
Let o(c) be the third derivative of 1/15*c**5 + 4/3*c**3 + 0*c - 1/12*c**4 + 0 - 15*c**2. Is o(6) a multiple of 35?
True
Let u(l) = 4*l**2 - 5*l + 7. Let q(h) = 2*h**2 - 2*h + 3. Let x(i) = -7*q(i) + 4*u(i). Let n be x(3). Let r(d) = 17*d - 51. Is r(n) a multiple of 17?
True
Let h(v) = -204 + 1003*v + 822 + 4*v**2 - 1001*v. Does 7 divide h(0)?
False
Let t(i) = -i**3 + 16*i**2 + 15*i + 32. Let v be t(17). Let r(l) = 311*l**2 + 10*l + 18. Does 54 divide r(v)?
True
Let i be 2*(-1)/(-1) - 2. Let j(f) = -7*f + 9*f + i*f**2 + 13*f**2 + 19*f**2 + 1. Is j(2) a multiple of 45?
False
Let v be 25/((-35)/(-28)*2). Suppose 8528 = 42*d + v*d. Is 8 a factor of d?
False
Let u be 20/(-3) + (-4)/12. Let b(l) = -10*l - 16. Let d be b(u). Let p = -38 + d. Is p a multiple of 9?
False
Let u be ((-8)/(-12)*-69)/2. Let n be (-8 - u)/((-3)/(-14)). Suppose 2*b + r - 184 = 4*r, 4*r = -b + n. Does 19 divide b?
False
Is (250/525)/(1/7)*56241/5 a multiple of 30?
False
Let o(k) = -k**2 + 11*k + 41. Let x be o(14). Let q(d) = -50*d + 6. Is q(x) a multiple of 28?
True
Let u(c) = -328*c**3 - 37*c**2 - 161*c - 14. Does 219 divide u(-5)?
False
Let w = 218 - 202. Let c = 204 - w. Does 14 divide c?
False
Let j = 49 - 52. Let o be (-4 - 0) + 3*j/(-9). Is 14 a factor of (-57)/(-2) - o/(-6)?
True
Does 15 divide 808/(-4 - (-610)/150)?
True
Let b = 3180 + -2976. Does 2 divide b?
True
Suppose 8*w + 35*w = 125621 + 40316. Is 6 a factor of w?
False
Let v = 210 - 205. Suppose 5*x - 289 - 55 = 2*a, 4*a + 338 = v*x. Is 3 a factor of x?
False
Suppose -3*v + 3 = 0, -2*c + 2*v + 3620 = -1246. Is 208 a factor of c?
False
Let c be ((-36)/30)/(1/(-3095)*2). Suppose c = 8*q - 2047. Suppose -2*k - q = -10*k. Is k a multiple of 7?
False
Suppose 0 = -l + 3*g + 656, -5*l + 596 + 2632 = -2*g. Let a = -312 + l. Is a a multiple of 52?
False
Let z = 4781 + -984. Is z a multiple of 19?
False
Let w = -18 - -14. Let i be 6/w - 9/(-2). Is 1/(3/(-2)) + 182/i a multiple of 20?
True
Let r(q) = -q**2 - 7*q. Let k(w) = 2*w + 1. Let b be k(-3). Let y be r(b). Let v(d) = d**3 - 11*d**2 + 13*d - 13. Does 9 divide v(y)?
False
Suppose -7*g - 5 = -8*g. Suppose -i - 2943 = -g*w - 574, 5*i + 966 = 2*w. Does 76 divide w?
False
Suppose 4*k + 97730 = 5*i + 31572, 4*k = -8. Does 45 divide i?
True
Let n = 1225 + -828. Let m = n + -319. Does 9 divide m?
False
Let k be 28/6*(-69)/(-2). Let x = k - 139. Is 3 a factor of x?
False
Let v = 141 + -56. Let q = v - 46. Does 5 divide q?
False
Let d = -49 + -87. Let b = d + 160. Is b a multiple of 8?
True
Let o = 661 - 661. Suppose -2*g = -4*l - o*g + 2040, 0 = -l + 2*g + 516. Does 74 divide l?
False
Suppose -29*z + 480 = -27*z. Suppose 8*a - 9*a + 3*q = -90, -q + z = 3*a. Is a a multiple of 9?
True
Is -9 - 2 - (169 - 1011) a multiple of 69?
False
Suppose 2*g + 0 - 6 = 0. Suppose g*r - 3*n - 8 = 2*n, -5*n = 5. Is 3 a factor of -5 + 27/2 + r/2?
True
Suppose -5*g - 57834 = -5*c + 33301, -5*c = g - 91165. Is 43 a factor of c?
True
Let w(x) = -x**2 + 57*x - 45. Let h(u) = 2*u + 1. Let z(c) = -3*h(c) + w(c). Does 24 divide z(15)?
False
Suppose -4*u + r - 208 = -3*u, 3*u = r - 620. Let b = 366 + u. Is b a multiple of 20?
True
Let v(c) = -106*c + 3820. Let r be v(36). Suppose -3*k + 3*t + 0*t + 3 = 0, -5*k + 1 = -t. Does 15 divide -120*(k + r + -5)?
True
Suppose -3*i + x + 0*x - 10 = 0, 4*i + 11 = -x. Let q be ((-1)/i)/((-15)/225). Does 8 divide (-4)/((-20)/q) + 45?
False
Is 31657/7 + 2420/(-77) + 31 a multiple of 81?
False
Let y(u) = 35*u - 12. Let n be y(10). Sup