 4). Suppose b*h = h - 15. Is p(h) a multiple of 12?
False
Let c = 24 + -220. Let h = 385 + c. Is 21 a factor of h?
True
Let l = -283 - -547. Let f be l - -3 - 1*(-3 - -2). Suppose -w + i = -90, 3*w - f = 2*i + 3*i. Does 25 divide w?
False
Let f(l) = -64*l + 4. Let x(s) = -2*s**2 + 9*s + 6. Let m(a) = a. Let b(r) = -3*m(r) + x(r). Let g be b(4). Is 27 a factor of f(g)?
False
Let k(f) = -f**3 - 4*f**2 - 4*f. Let w be k(-2). Suppose 0 = 5*z - w*z. Suppose 2*a + 10 = z, -2*a = 4*m - 185 - 221. Is m a multiple of 21?
False
Let v be (-29 - 1)/(-9 + 33/4). Suppose b - d = 72, -4*d = b + v - 132. Is b a multiple of 3?
False
Let l be (-32)/48*(-2 - -5). Let s be (22/(-77))/(l/742). Suppose 4*i + n - s = i, -i + 2*n = -26. Is 17 a factor of i?
True
Suppose 3*p + 80 = -0*p + 2*w, -5*p - 5*w = 100. Does 7 divide (-612)/p - 2/(-4)?
False
Suppose -2*x = -g - 326, -77*x = -81*x - 4*g + 664. Let z = -74 - -127. Let u = x - z. Is u a multiple of 37?
True
Let n be ((-2)/3)/((-13)/(-351)). Let b = n - -22. Suppose 3*z - 47 = -b*a, z + z - 23 = -a. Is 2 a factor of z?
False
Let g be (-24)/10*(-8)/(112/(-35)). Let v(n) = 15*n**2 - n + 8. Is v(g) a multiple of 35?
False
Suppose -3*o - 26 = -17. Let t be (2/10)/(o/(-30)). Suppose 5*r = -t*g + 21, -3*g + 4*r = r - 63. Does 2 divide g?
True
Suppose 1110 = -9*d + 12*d. Suppose -3*z = a + z - 85, 4*a - d = -z. Suppose 2*q - a = 151. Is 10 a factor of q?
False
Let h = -3054 + 17554. Is h a multiple of 125?
True
Let j = -207 + 640. Let f(g) = -g**2 - 23*g - 55. Let b be f(-31). Let d = b + j. Is d a multiple of 22?
False
Let d be (-24)/132 - (-70)/22. Let q be 4*d/12*47. Let t = q + 35. Is 15 a factor of t?
False
Is (-54 - -40 - -12)/((-2)/8587) a multiple of 31?
True
Suppose -6 = -3*l - 0. Let j(c) = -317*c + 0*c**l + 323*c + 18 + 2*c**2. Is j(-9) a multiple of 15?
False
Let z(b) = 79*b + 3 + 5 - 36*b + 1 - 37*b + 5*b**2. Suppose -17 = -v - 4*d, 2*v - 5*v - d = 4. Is 7 a factor of z(v)?
False
Let l(w) = 214*w**2 + 9*w - 16. Is l(-8) a multiple of 14?
True
Suppose -2 = -2*u, -s + 0*s = -2*u - 15. Is (650 - s) + (8 - 2) a multiple of 28?
False
Let m(g) = 6*g. Let y(j) = 12*j + 117. Let p be y(-9). Is 18 a factor of m(p)?
True
Let d(k) = 11 + 31*k - 43*k - 44 + 31*k. Let i be (-7)/4*(1 + -5). Is d(i) a multiple of 25?
True
Suppose 0 = 6*m + 14*m - 65175 - 53985. Does 9 divide m?
True
Let m be -1 + 885 - ((-42)/7 - -8). Suppose 0 = 4*n - 1030 - m. Is n a multiple of 38?
False
Let f = -519 + 524. Suppose 2*q = 3*n - 6*n + 1036, 0 = -5*n + f*q + 1735. Is 25 a factor of n?
False
Does 119 divide 4/((-7)/833*2/(-23))?
True
Suppose 61*r - 723961 + 2695846 = 202*r. Does 9 divide r?
False
Let l = 2 + -4. Let s be l - 4/(-3) - (-44)/12. Suppose -485 = -4*t + p, s*t - p = -0*p + 363. Does 26 divide t?
False
Let u be 2558/3*(-36)/24. Let n = u + 2215. Is 24 a factor of n?
True
Let w = -847 + 614. Let v = w + 344. Is v a multiple of 23?
False
Let v = -19260 + 30134. Is 83 a factor of v?
False
Let h(c) be the second derivative of c**4/3 + 31*c**3/3 - 11*c**2 - 116*c. Does 106 divide h(-28)?
True
Let u be ((-4)/((-12)/9))/((-15)/20). Let w be (5 + u)/((-5)/(-4545)). Suppose -807 - w = -12*z. Is z a multiple of 11?
True
Suppose w + 5*d = -0 + 11, 0 = -2*w - 5*d + 7. Let k be (38/w + -4)/(6/(-88)). Suppose k = -20*a + 23*a. Is 22 a factor of a?
True
Let o = -15428 + 31825. Is 26 a factor of o?
False
Suppose 26 + 0 = -x. Let v = 27 + x. Let c = v + 54. Does 8 divide c?
False
Let w be 24/(18/27 - 451/690). Suppose 0 = 17*o - o + w. Let l = 215 + o. Does 10 divide l?
True
Suppose -93428 = -11*y + 45172. Does 105 divide y?
True
Let n(i) = i**2 - 5*i + 4. Let m be n(4). Suppose -2*u - 16 + 96 = m. Let g = 4 + u. Is 11 a factor of g?
True
Let w = -40 - -60. Let a(t) = t**3 - 19*t**2 - 17*t - 47. Let v be a(w). Suppose v*k - 168 = 11*k. Is k a multiple of 14?
True
Let q(w) = 248*w - 600. Is 16 a factor of q(32)?
False
Let r = -8907 + 10973. Is 22 a factor of r?
False
Let m(g) = -3*g**2 + 531*g - 350. Is m(68) a multiple of 62?
True
Let i(p) = 14*p**2 - 9*p - 41. Let z be i(-19). Suppose -9*d + z = -0*d. Is 72 a factor of d?
True
Suppose -3282 = -5*l - k + 3018, -2*l + 4*k + 2542 = 0. Is l a multiple of 13?
True
Let q be 5 - (-2 + (3 - -1)). Suppose q*z - 6*z - 45 = -i, -i + 42 = -2*z. Let u = i - 6. Is 30 a factor of u?
True
Let n = 16716 + -8505. Does 27 divide n?
False
Let u(f) = f**3 + 20*f**2 + 24*f + 23. Let g be u(-19). Does 28 divide 14/(430/g - -6)?
True
Suppose 0 = -11*a + 37001 + 32211. Is 84 a factor of a?
False
Let t(r) be the second derivative of -r**5/20 + r**4/4 - 21*r. Let z be t(3). Suppose 5*g = 4*v + 1 + 27, z = 5*g - 2*v - 34. Is g a multiple of 2?
True
Let v(u) = -11*u - 48. Let f be v(-12). Is 35 a factor of 129/((-18)/f*-1)?
False
Suppose -4*j = -5*l - 210, -4*j - 4*l = -l - 226. Suppose -18*g + j - 19 = 0. Does 2 divide g?
True
Suppose 0 = -16*y + 60*y - 24156. Does 66 divide y?
False
Let s = 8 + 1597. Suppose s = 4*k + 5*x, -550 = 5*k + 2*x - 2535. Is k a multiple of 38?
False
Let d be (2 - ((-84)/8)/(-3))*4. Is 14 a factor of (-13 + 70/7)/(d/56)?
True
Does 18 divide (-69 - 1)*3381/46*24/(-28)?
True
Let d = 15892 + -6353. Is d a multiple of 3?
False
Let l be (825/(-20))/((-21)/56). Let r = l - -41. Is r a multiple of 13?
False
Suppose -9 = -5*w - f, -4*w = -f + 26 - 35. Is 3 a factor of (-1 - -2)/(-1*w/(-6))?
True
Suppose -14772 = -12*k + 9*k + 3*q, -5*k + 2*q = -24614. Is 3 a factor of k?
False
Let v(k) = 19*k**3 + 2*k**2 - k. Let q be v(1). Suppose 4*s = -q, 4*l + 5*s = 2*l + 711. Suppose 8*t + 112 - l = 0. Is t a multiple of 7?
False
Is 36 a factor of (15 + -1)/((-10)/(-3670))?
False
Let p = 137 + -101. Suppose -5422 = -p*h + 2210. Does 10 divide h?
False
Let h = -21322 + 27722. Is h a multiple of 128?
True
Let o = -165 + 167. Suppose -o*y + 512 = -394. Is y a multiple of 16?
False
Suppose 3*m - 65 = -5*b + 7565, 0 = m + 2*b - 2545. Does 15 divide m?
True
Is 13 a factor of 13978 + (42 + -7)*18/(-63)?
False
Let w(l) = -l**2 - 3*l + 18. Let n be w(3). Suppose n = -12*g + 1464 + 936. Is g a multiple of 2?
True
Let c(l) = -l**3 - 31*l**2 - 66*l - 62. Let v be c(-29). Suppose x = -0*x - 72. Let z = x + v. Does 14 divide z?
True
Suppose 158*w = 155*w + 2751. Is w a multiple of 106?
False
Suppose 0 = 3*x - 2*i - 32, 28 = 8*x - 5*x - i. Is 578/3 - x/12 a multiple of 21?
False
Let b(m) = 97*m**2 - 4*m**3 + 38*m - 54*m**2 - m**3 + 4*m**3 - 24*m**2 - 248. Is 11 a factor of b(8)?
False
Suppose 5*b - 373 = v + 91, 5*b + 5*v - 470 = 0. Suppose -718 + b = -5*a. Is 24 a factor of a?
False
Suppose -2*g + 434 = p, -4*g + 858 = 5*p - 8*p. Suppose 17*z - 18*z + 184 = 0. Suppose 2*f - z = g. Does 50 divide f?
True
Let d = 11268 + -4368. Does 100 divide d?
True
Suppose i - 1123 = -273. Suppose -112*g - i = -117*g. Is g a multiple of 18?
False
Is 11 a factor of (-29154)/(-10) - 6/15?
True
Suppose 0 = -38*r - 729 + 2781. Suppose r*k - 42*k = 5820. Does 21 divide k?
False
Let z(s) = s**3 + 24*s**2 + 162*s + 4184. Is z(-20) a multiple of 24?
True
Suppose -l = 643 - 642, -2*q + 8815 = 3*l. Is 31 a factor of q?
False
Suppose 15*d - 9 + 24 = 0. Is 2794/6 - d/3 a multiple of 41?
False
Suppose g = -3*m + 1203, 3*m + 2*g + g - 1197 = 0. Suppose -1430 = -407*p + m*p. Does 13 divide p?
True
Let k = -1135 + 2215. Does 12 divide k?
True
Let n = 16064 + -2608. Does 116 divide n?
True
Let h = 268 - 115. Let z = h - 9. Suppose d + 2*d = z. Does 18 divide d?
False
Suppose -23 = -8*h - 7. Suppose 4*o + h*o = o. Let z(j) = -4*j + 223. Is z(o) a multiple of 25?
False
Let c(a) = 15*a**2 + 4*a - 10. Let z(k) = -43*k**2 - 13*k + 32. Let i(h) = 14*c(h) + 4*z(h). Does 4 divide i(2)?
True
Let z(v) = -v**2 - 253*v - 1361. Does 3 divide z(-6)?
False
Suppose 15*k = -2*k + 16762. Let m = k - 845. Is 2 a factor of m?
False
Let y be (-5376)/(-28)*(-1 + 3/2). Let v = 7 - 1. Suppose -v*j + y = -2*j. Is j a multiple of 6?
True
Suppose r = k - 9049, 0 = -10*k + 12*k - 5*r - 18113. Is k a multiple of 28?
True
Let x(j) = 11*j - 4. Let y be x(4). Suppose y*h - 43*h = -450. Suppose 0 = 4*i - h - 222. Is 16 a factor of i?
False
Suppose 4*w = 5*f - 2584, 3*w - 5*w - 5*f = 1262. Let b = w - -1193. Suppose -3*s + 4*q + b = 0, q - 4*q = s - 171. Does 30 divide s?
True
Let n(k) = -