uppose 3*j = -1 + b. Let v(w) = 21*w - 17. Is 25 a factor of v(j)?
False
Let n(z) = z**3 - 8*z**2 - 13*z + 15. Let c be n(9). Let g(x) = 8*x + x**2 + 2 + 2 + 13*x - 2*x. Is g(c) a multiple of 3?
False
Suppose 3*j = 2*j - 6. Let v be j/(-18) - 104/(-3). Let o = 63 - v. Does 7 divide o?
True
Suppose 3*c + 30*t = 25*t + 105678, -3*c + 105702 = 9*t. Is c a multiple of 191?
False
Let z = 101 + -95. Does 10 divide 2380/84 + (-2)/z?
False
Let k = -243 - -663. Suppose 2*z - 2*p = 222, p = 4*z + 5*p - k. Is 11 a factor of z?
False
Let l be (-2)/(15/25 + -1). Suppose l*f = -5*q, -5*f = q - 7*f - 9. Suppose q*c + 2*z - 790 = -2*c, 0 = -3*z. Does 10 divide c?
False
Is 117 a factor of -5 + -1 - ((-224)/(-14) - (8 + 5747))?
True
Suppose -18*j + 37968 = -143227 + 2635. Does 32 divide j?
True
Let z(p) be the second derivative of 5*p**3/6 - 7*p**2 - 10*p - 2. Is 8 a factor of z(22)?
True
Let h be (-28)/21 - 4202/(-6). Let k = h - 452. Is 7 a factor of k?
False
Let s be ((-3)/2 - (-38)/12)*3. Suppose 69 = -8*y + s*y. Let z = y - -105. Is 25 a factor of z?
False
Let f = -81 + 149. Let j be (f - 0)/4 - 2 - 1. Does 15 divide j/91 + (-3504)/(-39)?
True
Let r be (0*(1 - 2))/5. Suppose 10*f = -r*f + 1200. Is f a multiple of 12?
True
Suppose 2*l = -3*u + 20652, -2*u = -5*l - 0*u + 51687. Does 65 divide l?
True
Suppose -6*w - 587 - 73 = 0. Let c = 592 - w. Suppose 6*d - 384 - c = 0. Is 9 a factor of d?
False
Let d(b) = -b**3 + 28*b**2 - 28*b - 156. Let k be d(26). Suppose -a + 462 = -5*r, -a - 3*r = -5*r - k. Is 30 a factor of a?
False
Suppose 27*q = 34*q - 966. Let m = 266 + q. Is 51 a factor of m?
False
Let r be 4/(-10) + -1 + 68/20. Let p(a) = -19*a**2 - 9*a**2 + 14 - 8*a - 8*a**r + 46*a**2. Does 8 divide p(3)?
True
Let o be (996/36)/((-1)/(-288)). Suppose o = -29*t + 21772. Is 14 a factor of t?
True
Does 162 divide (-8426)/5*(-1505)/602?
False
Let l(n) = 6*n + 18. Let d be l(11). Let s = d + 7. Let y = s + -28. Is y a multiple of 31?
False
Let h(v) = -346*v + 2228. Is 6 a factor of h(-2)?
False
Suppose r - 2*r = -2*i + 219, 0 = 3*i + 3*r - 333. Suppose -4*k - 32 - 90 = -5*t, 3*k = -4*t + i. Is t a multiple of 26?
True
Is (1 - 1) + (0 - -15)/(395/843009) a multiple of 103?
False
Let q(u) = 15*u + 3181. Does 65 divide q(-67)?
False
Suppose 171*i - 166*i = -50. Does 9 divide (-2238)/(-12) - i/4?
True
Suppose -3*p - 61 = -5*p + 3*x, 0 = -x - 5. Suppose p*c = 4679 - 792. Is 6 a factor of c?
False
Suppose 4*g + 5*d = 2747, -46*g = -45*g + 7*d - 727. Is 2 a factor of g?
True
Let s(b) = b**3 - 7*b**2 + 7*b + 8. Let z be s(6). Suppose -7*r + z = -7. Suppose r*k - 2*v - 12 = -k, 3*k - 2*v - 7 = 0. Is 3 a factor of k?
False
Let c = 19 + -15. Let v be 3*(-6)/63 + 69/21. Suppose -v*d - 2*y = -211, -c*d + 216 = -d - 3*y. Is 12 a factor of d?
False
Let w(b) = -4*b**3 + 6*b**2 - 6*b + 6. Let n be w(4). Let q(t) = -326*t - 8. Let c be q(-1). Let v = n + c. Is v a multiple of 35?
True
Suppose -t - 503 + 1618 = 5*a, -2*t + 898 = 4*a. Does 37 divide a?
True
Let i be (-82)/(20/(-50)*10/4). Let h = 208 - i. Does 8 divide h?
False
Let t be 2/(-4) - (-7)/(140/330). Is 17 a factor of (t/12)/((-4)/(-5373))?
False
Let r(z) = -z**2 - z - 1. Let h(b) = -2*b**2 + 14*b - 60. Let y(k) = -h(k) + 3*r(k). Is 10 a factor of y(-19)?
False
Suppose 2*x + 184 = 3*x. Suppose 0 = 3*o - x - 170. Suppose -74 = -3*j + o. Does 8 divide j?
True
Let u be ((-1780)/(-25))/((-44)/(-10) + -4). Suppose -5*z + 2*z - 66 = 0. Let g = u + z. Is 13 a factor of g?
True
Let c = -8 - 42. Let i = c + 54. Is (-55)/(i/18 - (-33)/(-27)) a multiple of 5?
True
Suppose -30*r + 50802 - 159302 = -37*r. Is r a multiple of 179?
False
Let d = 80 + -74. Suppose 7*g + 35 = d*g. Let h = 47 + g. Is h a multiple of 12?
True
Let m(g) = -10*g**2 + g + 4. Let n be m(2). Let f be ((-2)/6)/((-15)/(-315)). Let a = f - n. Does 4 divide a?
False
Suppose -6*s - 2*s = -3*s. Suppose 6*d - 13*d + 1687 = s. Is d a multiple of 14?
False
Suppose 0 = 3*j - 176 - 88. Let p = j - -324. Is (10/25)/(p/410 + -1) a multiple of 41?
True
Let i(g) = 3*g**2 - 23*g. Let u be i(12). Suppose 3*k - 7*y + 5*y - 249 = 0, 2*k + 2*y = u. Is 9 a factor of k?
True
Suppose 34*r - 5243 - 5703 = -2650. Let d = 8 - 6. Suppose -4*q = 3*v - r, -d*v + 5*v - q - 239 = 0. Does 20 divide v?
True
Let r(m) = -37*m + 65. Let l be r(2). Let d(y) = -3*y**3 - 19*y**2 + 3*y - 41. Is d(l) a multiple of 58?
True
Let p be ((-104)/20 - -4)*10/3. Let g be 2/((-2)/(-117)) - (p + 6). Is 6 a factor of g/(-23)*(0 - (-6)/(-5))?
True
Let u(f) be the third derivative of f**4/12 + 19*f**3/6 + 16*f**2. Let j be u(-7). Suppose -z - 2*z = -4*a + 54, 4*z + 68 = j*a. Does 5 divide a?
False
Suppose -3*o + 571 = -4*n - n, -n + 4*o - 104 = 0. Let p = 116 + n. Suppose p = -0*j + 5*j - 390. Does 14 divide j?
False
Suppose 4*l = -0*l + 2*z + 2208, -5*z + 574 = l. Suppose 62 + l = 14*g. Does 11 divide g?
True
Suppose -2*g + 5*z = 15, 1 = 4*z - 3*z. Let d be (2/g)/((-2)/20) - 2. Is 4 a factor of d*(4/3 - (-4)/6)?
True
Let t = 10196 - 6928. Is t a multiple of 19?
True
Let c = 716 + -373. Is 19 a factor of (c - (14 + -11))*3/4?
False
Suppose 0 = z - 4*x + 51, 279 = -4*z - 4*x + 5*x. Let a = -41 - z. Is 14 a factor of a?
False
Suppose -3*i = m + 22, 2*i - 3*m = 2*m - 43. Is 466/(((-66)/i)/11) a multiple of 22?
False
Let t = 1309 - 1941. Let r(s) = -3*s**2 + 4*s + 208. Let k be r(14). Let x = k - t. Does 39 divide x?
False
Suppose -5*l + 16 = -o, -7 = 3*o - 5*l + 1. Suppose 3*w + b = 1330, 8*b - 13*b - 1805 = -o*w. Does 68 divide w?
False
Let w = 295 + 548. Let o = -238 + w. Does 11 divide o?
True
Suppose -14 = 2*p - 4*i, -4*p = -3*i - i + 20. Let f be -1*(-2 + (-15 - p)). Suppose -10*o = -f*o + 168. Does 7 divide o?
True
Let t(i) = -17*i + 661. Let c(a) = 9*a - 330. Let v(b) = -13*c(b) - 6*t(b). Does 20 divide v(-22)?
False
Suppose -113 - 7 = -5*r + 4*k, 0 = k. Suppose 246 = 9*q - r. Does 17 divide q?
False
Let u(m) = m**3. Let l(h) = -2 + 1351*h**2 - h + 122*h**3 - 1351*h**2. Let y(x) = -l(x) - 3*u(x). Is y(-1) a multiple of 18?
True
Let j be 2/(-6)*(-16 - -16). Suppose f - 3*h + 100 - 393 = j, 4*h - 20 = 0. Does 28 divide f?
True
Suppose q = -0*q - 5*o + 1833, -4*o = -q + 1860. Suppose -36*m + 44*m = q. Is m a multiple of 65?
False
Let g be 374 - (1 + (3 - -1)). Suppose 0 = 3*z - 5*n - 224, -g = -0*z - 5*z + 4*n. Is 4 a factor of z?
False
Suppose -17*j = -33675 - 23819. Does 13 divide j?
False
Suppose 28*x + 8*x - 38304 = 0. Suppose -29*f = -21*f - x. Is 29 a factor of f?
False
Let h = 14453 + -8989. Is h a multiple of 44?
False
Suppose 5*v + w = -3 - 2, 4*w + 3 = -3*v. Let h be v + (-2)/6*-9. Suppose 518 = 3*m + h*j, 698 = 5*m - m - j. Does 35 divide m?
False
Let y(s) = s**2 - 7*s + 22. Let g be y(3). Suppose -g*t - 15 = -1095. Does 6 divide t?
True
Let a(c) = 4*c**3 + 6*c - 6. Let o(d) = 5*d**3 + 7*d - 7. Let k(h) = -6*a(h) + 5*o(h). Let v be k(1). Does 4 divide ((-13)/((-13)/(-4)))/(v/(-12))?
True
Suppose -17*o + 4*z = -15*o - 15052, -4*o + z = -30139. Suppose -o = 53*w - 45696. Does 16 divide w?
True
Let p be (7 - (9 + -3))/((-1)/(-2)). Let f be ((0/1)/(2/p))/1. Suppose 5*b + 3*h - 255 = 0, f*b - b + 5*h + 23 = 0. Does 19 divide b?
False
Let w(n) = 876*n - 1416. Does 7 divide w(2)?
True
Suppose -4*o = -3*w - 6 + 208, 4*w - o = 278. Suppose w = 2*i - 372. Is i a multiple of 17?
True
Suppose -6*k = 11*k + 26486. Is 6 a factor of -3 + k/(-8) - 2/(-8)?
True
Let g = 442 - 184. Suppose -18*p + g = -15*p. Is p a multiple of 14?
False
Suppose 32*t + 3170 = 37*t. Suppose t = 2*r - u, -5*r - 2*u = 497 - 2073. Does 18 divide r?
False
Let y be 1*(6 - (-34)/2). Is ((-2)/15*-33)/(y/2990) a multiple of 26?
True
Let x be (-3*(-1)/2)/(9/(-924)). Let n = 106 + x. Let z = n + 99. Is z a multiple of 10?
False
Let t(y) = y**3 + 25*y**2 - 7*y - 53. Is 17 a factor of t(-22)?
False
Let i = 24284 + -22114. Is i a multiple of 70?
True
Let n(b) = b**3 + 13*b**2 - 20*b - 13. Let a = -51 - -37. Is n(a) a multiple of 14?
False
Is 3 a factor of 2/7 + 23460/14?
False
Let z(o) = 258*o - 5141. Is z(43) a multiple of 74?
False
Let m(w) = -w**3 - 6*w**2 + 2*w + 9. Let y be m(-6). Let h be y/(-6)*-1 - (-25)/10. Suppose 0 = -h*v - 4 + 352. Is 41 a factor of v?
False
Suppose 3*v - 9 = 4*c, -4*v + v = -2*c - 9. Suppose 30*n - 7*n - 368 = c. Is n a mu