*k + 26. Is 21 a factor of a(-4)?
False
Let j(q) = -35*q**2 - 25*q + 84. Let k(i) = -69*i**2 - 50*i + 167. Let f(s) = 5*j(s) - 3*k(s). Does 59 divide f(4)?
True
Let l be ((-3)/(-6))/((-3)/(-2862)). Let s = 247 + l. Is s a multiple of 42?
False
Let m be (-2)/8 - 1053/(-36). Let l = 531 + m. Is 20 a factor of l?
True
Let p = -207 + 200. Let x(g) = -151 + 84 + g + 81. Is 3 a factor of x(p)?
False
Let b(d) = -68*d - 934. Does 4 divide b(-19)?
False
Is (-11)/(-77) + ((-730776)/28)/(-6) a multiple of 50?
True
Suppose 4*d + 5186 + 6166 = 0. Let n be 2/((-48)/d) - (-1)/(-4). Suppose 3*l - n = 77. Does 5 divide l?
True
Let h(f) = -47*f - 1 + 2*f**2 + 60*f + 16. Does 23 divide h(10)?
True
Let a be 8334/60 + 8/80. Does 24 divide 150/30 - a/(-1)?
True
Let w = -371 - -43. Let v = w - -436. Does 9 divide v?
True
Let p(o) = o**3 + 11*o**2 - o - 50. Let c be p(-13). Let v = -290 - c. Is v a multiple of 17?
True
Suppose 3*v - 13 = p, 4*v - 4*p - 6 = 14. Suppose -q - 2*r - 3 = 0, q - 3*r - 5 = 7. Suppose -v*a = a - q*o - 147, -3*a + 89 = -o. Is 6 a factor of a?
True
Let z = -76 - -78. Suppose -v = z*s - 47, v + 5*s = 2*s + 43. Does 11 divide v?
True
Suppose -2*j + 4*h - 3932 = 3*h, 0 = 3*j + 3*h + 5898. Let f = -1383 - j. Suppose f - 199 = 6*q. Is q a multiple of 16?
True
Suppose 0 = 8*o - 505 - 4479. Let t = 1238 - o. Does 15 divide t?
True
Let m(b) = -550*b**3 + 2*b**2 + 2*b + 1. Let i be m(-1). Let t = i + -355. Is 68 a factor of t?
False
Let n(p) be the first derivative of p**4/4 + 6*p**3 + 29*p**2/2 - 11*p + 29. Let w = -10 + -6. Does 37 divide n(w)?
True
Suppose 146*w = 143*w + 21573. Is w a multiple of 137?
False
Suppose 0*t - 2*r = -4*t - 4, -2*r = -4. Suppose -4*k + 448 = -t*k. Is k a multiple of 14?
True
Let z(c) = 2*c**2 + 7*c - 179. Does 49 divide z(80)?
True
Suppose -57*g - 27 = -84. Let v(f) = 883*f**3 + f**2 + 3*f - 2. Is 15 a factor of v(g)?
True
Let v(f) = 2*f**3 + 77*f**2 - 72*f + 186. Is 57 a factor of v(-33)?
False
Let b be 13*(0/(-1) - -3 - 2). Let g(h) = 3*h - 35. Let l be g(b). Suppose -x - p + 82 = x, l*x - 2*p - 172 = 0. Does 21 divide x?
True
Let t(l) = l**2 + 56*l + 158. Let v be t(-3). Suppose -i - i = 0. Is (v + 0 - i) + 43 a multiple of 14?
True
Let v be (-725)/(-35) + (-4)/(-14). Let k(x) = -x**2 + 33*x - 48. Let t be k(v). Suppose t = b + 5*b. Does 17 divide b?
True
Suppose -2*r + r = -3068. Suppose -14*a = 1507 - 5651. Suppose -11*g - a + r = 0. Does 14 divide g?
True
Suppose -10279 - 17996 = -13*i. Let k = -1230 + i. Is 21 a factor of k?
True
Let s = 257 - 258. Does 29 divide (10/35)/s - (-6500)/14?
True
Let q(t) = t**3 - 4*t**2 - 6*t + 2. Let c be q(5). Let f be 6 + c + 2*9/6. Is 38 a factor of (-2 + 10/4)*1452/f?
False
Let w = 511 - 507. Does 25 divide (2/(-3))/(w/(-5742))?
False
Let w(c) = 2*c + 20. Let o be w(-7). Suppose 0*z - o*z = -18. Let b = z - -12. Is b a multiple of 5?
True
Let y(q) = q**3 - 19*q**2 + 7*q - 3. Let s(r) = -r**2 - 5*r + 6. Let a be s(-5). Suppose a*k - 57 = 3*k. Is y(k) a multiple of 10?
True
Let z(g) = g**3 + 25*g**2 - 7*g - 16. Suppose 50 = -3*p - 25. Is 5 a factor of z(p)?
False
Let n = 47 + -44. Let i be (-2)/n + ((-24)/(-9) - 4). Does 27 divide 81/2*(i + 80/15)?
True
Let y(v) = 2181*v - 567. Is 13 a factor of y(2)?
False
Suppose -4*m + 26734 = p, 3*m = 4*p - 2*m - 107020. Is 25 a factor of p?
True
Let l = -2602 - -7654. Is l a multiple of 6?
True
Suppose -18002 = -4*r + 38054. Suppose 49336 = 42*h + r. Is 91 a factor of h?
False
Let y(g) = 59*g + 1. Let t(q) = -59*q - 1. Let a(m) = -7*t(m) - 6*y(m). Let x be 0*(-2)/(-18) + 1. Does 9 divide a(x)?
False
Let j = 56 + -53. Let v = 201 + -100. Suppose -2*d - j*d = b - 51, b = 5*d + v. Is 4 a factor of b?
True
Let o be (-7)/(-1) + (7 - 9). Suppose m + 913 = 3*w, -o*m = -4*w - 2*m + 1209. Is w a multiple of 9?
True
Let q = 48 - -220. Suppose q - 11356 = -22*n. Is n a multiple of 8?
True
Let n = -324 + 331. Suppose 941 = n*m - 536. Does 22 divide m?
False
Suppose -5*h = -20, -h = -4*m + 4*h + 32. Suppose 0 = -w + m*w - 3744. Is 26 a factor of w?
True
Let w(p) = -24*p - 32. Let l be w(-7). Suppose c - 274 = -2*o, -4*o + 5*c + 398 = -l. Is 17 a factor of o?
True
Let t = 2056 + -616. Is 40 a factor of t?
True
Let s be 1/(((-1)/(-3))/(732/36)). Let k = 225 - s. Is k even?
True
Let y(q) = -q**2 + q + 1. Let o be y(6). Let w = 34 + o. Suppose 13 = j + w*u - 52, 0 = -5*j - 4*u + 409. Is j a multiple of 17?
True
Let n(g) = g**3 - 26*g**2 + 55*g - 39. Let c be n(24). Suppose -118*f = -c*f + 1496. Is 8 a factor of f?
True
Let h(q) = q**2 + 7*q - 3. Let c be h(-6). Is 24 + c - (0 - -3) a multiple of 3?
True
Suppose 0 = -9*n + n + 24. Suppose n*d = -4*v + 2416, v = 4*d - 2558 - 676. Does 56 divide d?
False
Let q(w) = -w**3 - 32*w**2 + 339*w + 102. Is q(-41) a multiple of 12?
True
Suppose i + 108 = 3*h + 307, i - 5*h = 189. Let q = i + -160. Does 24 divide q?
False
Is 15 a factor of ((-80)/12)/(-20)*90?
True
Let j = 212 - 211. Does 80 divide 365 - j/(4/(-8))?
False
Suppose -6*t + 351097 = 5*r, 5*t - 70940 = -r + 221625. Does 15 divide t?
False
Let j(s) = -55*s - 190. Suppose -x - 4*h + 3*h = 8, 0 = 5*x + 4*h + 38. Is 35 a factor of j(x)?
True
Let p(f) = 2*f**2 - 3*f + 3. Let b be p(2). Let c(z) = -4*z**3 - 20*z**2 + 29*z + 38. Let r be c(-6). Suppose b*k = r*k - 108. Is k a multiple of 12?
True
Let n be 11 - (-2 + 2 - -3). Suppose -g + n = 3*g. Suppose s + 26 = g*m - 109, 3*m - 230 = -4*s. Is 14 a factor of m?
True
Suppose 0 = -2*i - 4*n + 22, -i - 3 = 5*n - 23. Suppose 1170 = -i*o + 14*o. Is 31 a factor of o?
False
Let d be (-1656)/16*(-8)/(-6). Let w = d - -408. Does 6 divide w?
True
Let q(z) = z + 20. Let g(w) = -6*w - 101. Suppose -2*o + a = -a - 24, -2*a - 2 = 0. Let j(k) = o*q(k) + 2*g(k). Does 8 divide j(-6)?
True
Let s = 326 - 96. Suppose -4*m - 2*o = -s - 90, 4*o = -5*m + 406. Is m a multiple of 8?
False
Let l be 24/16*(-1 - -13). Suppose 16 = -a + l. Suppose a*b - 24 = 38. Does 6 divide b?
False
Let n be (-18194)/(-34) + (-6)/51. Suppose 2*s = -3*s + n. Does 4 divide s?
False
Let y(a) = -a - 1. Let j be y(1). Let n be ((-40)/12)/(j/3). Suppose 0*b - 2*b + 2*p = -14, -n*p + 25 = 5*b. Does 5 divide b?
False
Suppose 23*x + 282987 = 15*x + 35*x. Does 30 divide x?
False
Suppose -5*u + 4*l = -78301, 32*l - 34*l = -3*u + 46981. Does 150 divide u?
False
Does 25 divide (2/(-3*2))/(-6 - (-74825)/12471)?
False
Let c(z) = -z + 4. Let j be c(-1). Suppose 0 = j*r - 116 - 109. Is r a multiple of 15?
True
Is ((-4626)/(-30))/(2/10) a multiple of 20?
False
Is 73 a factor of 31309 + -6 + 13 - (-1 + 0)?
True
Suppose -2 = 4*v - 10. Let y be (8/12 + 1 - v)*-42. Does 10 divide (y*4)/1 - (-3 - -4)?
False
Suppose 2*w = 3*r + 33, -15*r + 14*r = -5*w + 89. Does 73 divide -6*((-2802)/w + 6)?
False
Suppose -6 + 1 = -5*c. Let o be (-3)/1 + (c + 2 - -2). Suppose 2*m + 3*f = 51, -2*f + 111 = 3*m + o*m. Is m a multiple of 2?
False
Let l(s) = 3*s**2 + 12*s + 8. Let t be l(-3). Let w(m) = 19*m - 3. Let b(k) = k. Let a(z) = 2*b(z) - w(z). Is a(t) a multiple of 15?
False
Let b = 954 - -2846. Does 40 divide b?
True
Let o(u) = 51*u + 310. Let m be o(-6). Suppose 1 = -3*c + 10. Suppose -m*d - 701 = -3*x, c*x - 235 = -3*d + 473. Is 47 a factor of x?
True
Suppose 7*n + 5 + 23 = 0. Let q(s) = -130*s + 11. Is 32 a factor of q(n)?
False
Let m = 151 - -422. Suppose q - 723 = 4*c + m, -5*q = -c - 6461. Does 34 divide q?
True
Let a(i) = 2*i**2 - 58*i + 753. Does 4 divide a(21)?
False
Let m(w) = 7*w**2 + 4*w**2 + w + 555 - 555. Does 26 divide m(-6)?
True
Let y = -10 + 15. Suppose -5*s + 60 = -1044 - 1. Suppose -4*p + 0*c - c = -s, -p = y*c - 41. Does 8 divide p?
True
Let h = -1326 + 1890. Is h a multiple of 4?
True
Let s(z) = -13*z**3 + 18*z**2 + 92*z + 35. Is s(-5) a multiple of 250?
False
Let s = -2883 + -965. Let u be 24/60 + s/(-5). Suppose 41*r - u = 36*r. Does 14 divide r?
True
Suppose -93 + 121 = -7*i. Let z(r) be the first derivative of -r**4/4 - r**3 - 5*r**2 - 3. Does 15 divide z(i)?
False
Let i(b) = 13*b**2 - 350*b + 176. Is i(27) a multiple of 29?
True
Suppose 34*y = 56*y. Let b(j) be the third derivative of -j**5/60 - j**4/8 + 145*j**3/6 + 3*j**2. Does 16 divide b(y)?
False
Suppose 0 = 314*t - 336*t + 61776. Is 27 a factor of t?
True
Suppose -3*a = 6*y - 9*y - 2661, 2*y = 3*a - 2665. Sup