 59*g - 291. Let a(z) = z - 2. Let u(h) = 5*a(h) - d(h). Is u(-12) a multiple of 40?
False
Is 13 a factor of (1788/(-16) - 0)/((-174)/15776)?
False
Suppose 0 = 4*z - 4*j + 8, 20 = 5*z - 0*z + j. Suppose -x - z*n = -3*x + 151, 0 = -3*x + 4*n + 227. Is x a multiple of 40?
False
Let l(p) = -p**3 - 16*p**2 - 23*p - 18. Let n be l(-16). Let u be (-18)/99 - 180/(-22). Suppose 0 = u*q - 15*q + n. Does 12 divide q?
False
Let g = -11762 - -16802. Is 30 a factor of g?
True
Suppose 5*y - 1 = -11. Let h = -1746 + 1880. Does 8 divide (h - y) + (-2)/1?
False
Suppose 298*m - 83*m = -1775 + 46710. Is m a multiple of 2?
False
Suppose 2*w + w - 49542 = -4*t, 0 = 5*t - 3*w - 61968. Is t a multiple of 59?
True
Is 45 a factor of 4 - 56/21 - 32200/(-69)?
False
Suppose 0 = -z - 0*z - 2*c + 1886, 0 = 4*c + 8. Is z a multiple of 135?
True
Suppose -s - 5*k = 5, -2*s - 4*k = 2*s + 20. Let u = s - -53. Is 12 a factor of u?
True
Let b(u) = 1652*u - 50. Let a be b(1). Let i = -1134 + a. Is i a multiple of 10?
False
Suppose -4*y = -34 + 14. Let w(z) = 5*z**2 + 3*z. Let k be w(5). Suppose -10 - k = -y*l. Does 6 divide l?
True
Let n = -238 + 252. Suppose n*r - 8498 = 742. Is 55 a factor of r?
True
Let i(f) = -42*f**3 - 8*f**2 - 16*f - 129. Is i(-7) a multiple of 90?
False
Let n(t) = t - 11. Let d be n(15). Suppose d*j - 1123 = 901. Does 67 divide j?
False
Suppose -2*u + 3808 = -q, 18*u = 17*u + 4*q + 1911. Does 9 divide u?
False
Suppose 26*j - 61421 = 144499. Does 110 divide j?
True
Suppose 0 = -373*z + 92*z + 6555449. Is z a multiple of 20?
False
Let c be (1/(-5))/(3/15). Let m be c/(-2) - (-187)/(-2). Let l = m + 102. Is 2 a factor of l?
False
Suppose 76758 = 4*v + 2*f - 4286, 5*f + 81072 = 4*v. Is v a multiple of 26?
False
Let i be (46 - (-4 + -4))*2/(-3). Is (-2 - i) + 2 + -2 a multiple of 34?
True
Is ((-6613)/(-102))/((1/(-78))/(-1)) a multiple of 8?
False
Let p be 4*-95 + (-1)/(-1). Suppose 39*q - 35*q - 253 = v, -2*v - 3*q = 440. Let y = v - p. Is y a multiple of 15?
True
Let u(q) = -q**2 + 24*q + 4. Let l be u(24). Let c be l/4*7 - 2. Suppose 6*y - c*y - 54 = 0. Is y a multiple of 22?
False
Let b be 27/(-2)*2/3. Let w(h) = h**3 + 7*h**2 - 3*h + 28. Let r be w(b). Let u = r + 185. Is u a multiple of 6?
True
Suppose j + 6 = -2*j + 2*k, 5*j = -5*k + 15. Does 54 divide 12/(-10)*(j - 180)?
True
Let i = 14991 + -9103. Is 101 a factor of i?
False
Suppose 2*g = 57 + 269. Suppose -g = c - 685. Does 41 divide c?
False
Let s(b) = -54*b + 2147. Does 3 divide s(-177)?
False
Let b(x) = -20*x**3 - 10*x**2 - 4*x - 38. Let n be b(-7). Suppose 51*q - n - 14499 = 0. Does 20 divide q?
False
Let z(c) = 4*c**2 + 30*c + 14. Let l be z(-7). Let i = 32 - -157. Suppose l = 2*u - 4*q - 82, 4*u + 3*q - 6*q - i = 0. Is 15 a factor of u?
False
Let j(o) = o**3 - 13*o**2 + 12*o - 2. Let g be j(12). Is (28/84)/(g/(-96)) a multiple of 14?
False
Let h(c) be the second derivative of -85*c**3/6 - 23*c**2/2 - 41*c. Let t be h(-7). Does 18 divide 2*t/8 + 3?
False
Suppose -186199 = -97*n - 10435. Does 3 divide n?
True
Let x = 349 - 344. Suppose 1944 - 674 = x*u + 5*r, -2*u = -3*r - 518. Is u a multiple of 30?
False
Let y(i) = 31*i**2 + 493 + 65*i**2 - 499 + 7*i. Is y(2) a multiple of 33?
False
Suppose -3728 - 3164 = 42*d - 45364. Is 17 a factor of d?
False
Suppose -2 = w + 3*n - 369, -5*w + 1835 = -n. Is w + 8/(-6)*(-72)/32 a multiple of 8?
False
Let i be (14*125/700)/(5/12). Let u(k) = 54*k - 13. Let y(g) = 27*g - 6. Let m(t) = 4*u(t) - 7*y(t). Is 14 a factor of m(i)?
False
Let f = 89 + -84. Suppose -u = -2*k, -f*u = 2*k + k. Suppose -s = u, 5*s = 5*q - 92 - 33. Does 16 divide q?
False
Let l be (-80)/10 + (-36744)/(-3). Suppose -l = -4*g - 11*g. Does 24 divide g?
True
Suppose -205 = -5*p + d + 82, -5*p + 302 = 4*d. Let o = 25 + p. Let z = -46 + o. Is z a multiple of 37?
True
Let c(t) = -t**3 + 14*t**2 + 6*t + 71. Let m be c(16). Is (m/(-2))/(21/28) a multiple of 23?
True
Let n(d) be the third derivative of 5*d**4/12 - 3*d**2. Let b be n(-1). Let z(w) = -w**2 - 17*w - 7. Is 12 a factor of z(b)?
False
Suppose 49*c - 266046 = -90*c. Is 10 a factor of c?
False
Let y = 93 + -71. Suppose 0 = 6*z - 4 + y. Is (540/16)/z*-4 a multiple of 11?
False
Suppose 2*c = 3*i - 24, 0 = 2*c - i + 12 + 16. Does 31 divide c/(-60) - 1171/(-4)?
False
Let c = 47 - 43. Suppose c = -32*w + 36*w. Does 6 divide (-1341)/(-45) + w/5?
True
Let j(u) = -120*u - 147*u - 160 + 227*u. Is j(-12) a multiple of 8?
True
Let p be (-7)/(-4) - (-3 + (-11)/(-4)). Suppose 2*i = 4 + 2. Suppose -b = -i*b + t + 285, -3*b = -p*t - 428. Does 22 divide b?
False
Let p = 5327 - 5398. Suppose 600 = -4*r - r. Let v = p - r. Is 7 a factor of v?
True
Suppose 270 = 6*y - 1782. Let q be ((-10)/(-10))/((-3)/(-618)). Let r = y - q. Is r a multiple of 17?
True
Let r = 3 - -1. Suppose 5*d = 4*h - 419, -r*h + 429 = 3*d + 2*d. Suppose h = 15*j - 29. Does 2 divide j?
False
Suppose 0 = 5*c - 6745 + 1105. Suppose 0 = 9*k - 3*k - c. Is k a multiple of 47?
True
Let m = 427 - 424. Is 115/m + 57/(-171) a multiple of 3?
False
Let p be ((-15)/10)/((-4)/8). Suppose 31 = p*q - 2*q - 3*t, 5*q = -5*t + 75. Is 11 a factor of q?
False
Let v be ((-21)/(-14) - 0)/(3/4). Let p(k) = 16*k**2 + 3*k - 6. Is p(v) a multiple of 8?
True
Let t(q) = -q**3 + 9*q**2 - 2*q + 3. Let v = -129 - -135. Is t(v) a multiple of 33?
True
Suppose -432 = -3*p - 3*h, -326 - 98 = -3*p - h. Does 7 divide p?
True
Suppose -q - 427*w + 7002 = -424*w, w - 34982 = -5*q. Is q a multiple of 22?
True
Suppose 0 = -2*g - 5*a + 33605, a = -79*g + 84*g - 83945. Is 46 a factor of g?
True
Let j = -556 + 562. Is 20 a factor of -6 - (-1215 + (10 - j))?
False
Suppose 0 = 5*a + 2*v + 2745, -a + 4*v + 301 - 872 = 0. Let o = -158 - a. Suppose 0*m - 2*m - 318 = -4*j, 5*j + 2*m = o. Is 17 a factor of j?
False
Is 33 a factor of 13 + 32/(-2) - -4392?
True
Let x(l) = -1001*l + 23. Let z be x(3). Let i = -1726 - z. Is 12 a factor of 7 - i/(-18) - (-1)/3?
False
Does 171 divide 13 - (18 + -18 + -1868)?
True
Let n(z) = -17*z**3 - 2*z**2 + 40*z + 125. Is n(-4) a multiple of 15?
False
Let n(z) = -z**2 + 34*z + 96. Let d be n(37). Let p(o) = o**2 - 27*o - 18. Let m(w) = -5*w**2 + 109*w + 72. Let y(r) = 2*m(r) + 9*p(r). Does 33 divide y(d)?
True
Let i = -20 - -19. Let l be (2366/(-21))/(i/3). Let d = l + -177. Does 35 divide d?
False
Let u be (6/4)/(9/12). Suppose y - 27 = 27*l - 30*l, -2*l = -5*y + 101. Suppose 3*v + 3*s = 54, -u*s + y = -4*v + 75. Is v a multiple of 3?
True
Does 13 divide (-91)/78*(-8)/14 + (-70910)/(-15)?
False
Let g(i) = 379*i**2 + 177*i + 820. Is g(-5) a multiple of 102?
False
Suppose -11985*h + 7980 = -11970*h. Is h a multiple of 38?
True
Let q be (-48 + 1)/(45/315). Let n = q - -500. Is 12 a factor of n?
False
Suppose 862*a = 878*a - 311840. Is a a multiple of 21?
False
Let q(x) = -1 - 1 + 106*x**2 - 92*x**2. Does 18 divide q(2)?
True
Let q(o) = 270*o - 2754. Is 9 a factor of q(15)?
True
Let h(p) = p**3 + 8*p**2 + 3*p. Let n be h(-8). Let a be n/(-32) + (-9)/(-4) - -5. Suppose -a*u + 1934 = 174. Does 22 divide u?
True
Suppose -2*d - 3*d = g + 7, 0 = 3*d + 2*g. Does 44 divide (-9)/((-495)/(-249) + d)?
False
Let l(n) be the second derivative of n**4/12 + n**3/6 - n**2 + 12*n. Let v be l(0). Does 2 divide (-23)/4*v*2?
False
Suppose -258*y + 268*y - 41810 = 0. Is 8 a factor of y?
False
Suppose 5*j + 5 = 0, h = 2*j + 250 + 815. Let q = h + -621. Is 11 a factor of q?
False
Let k(j) = -5*j + 103. Let y = 142 + -161. Is k(y) a multiple of 22?
True
Let r be ((-36)/(-8) - 4)*1508. Let g = 2534 - r. Suppose -169 = 9*b - g. Does 14 divide b?
False
Let c = -614 - -1374. Is 16 a factor of 7*(-3)/(-3) + c?
False
Suppose d - 4*j = 127, -5*d - j + 342 = -2*d. Let c be (-198)/(-8) + (25/(-20))/(-5). Let b = c + d. Is 20 a factor of b?
True
Let p(h) = -20*h - 150. Let f be p(-23). Suppose -20*b + f = -18*b. Is b a multiple of 2?
False
Suppose -3*m = -3*u + 125886, 0 = -1477*m + 1473*m - 8. Is 47 a factor of u?
False
Let k = 66 - 58. Suppose -k*a + 207 = 23. Let u = a + -19. Is u a multiple of 2?
True
Let p(x) = -2*x**3 + x - 2. Let j be p(2). Suppose -79 = 3*d + r - 147, 2*r = 4*d - 74. Let q = d + j. Is 5 a factor of q?
True
Let i = -2133 - -5103. Is i a multiple of 18?
True
Let w be ((-3604)/102)/(4/(-6)). Suppose 0 = 4*o - 12, -3*g - 