- 30*s + 5. Is h(n) a multiple of 61?
True
Let w be 5*1*(-90)/(-45). Is 31 a factor of (-1 + 134/w)/((-19)/(-95))?
True
Suppose 0 = -2*z - 5*a + 12 - 2, -2*a - 20 = -4*z. Is 0 + z - -1*(2 - -301) a multiple of 14?
True
Suppose -3*v + 15129 = -2*j + 42439, -j + 13657 = -2*v. Is j a multiple of 66?
False
Let x(m) = -2*m + 2. Let j be x(-5). Suppose j*n - 2*n = 60. Suppose -u + 11 = -n. Does 3 divide u?
False
Let v(a) = 65*a**2 + 4*a + 3. Let g = -22 + 24. Suppose 5*z + 3 + g = 0. Is v(z) a multiple of 32?
True
Let r(m) = 5*m + 1553. Does 50 divide r(-36)?
False
Let p(s) = -s**2 + 11 - 24*s + 10*s - 38 + 17. Is 23 a factor of p(-3)?
True
Suppose 0 = 3*y - 4*l - 14, 6*y = y + 2*l + 28. Suppose -z = 2*g + 90, y*z - 3*z = 4*g + 160. Let h = 27 - g. Does 11 divide h?
False
Let v(l) = l**2 + 33*l - 22. Does 39 divide v(38)?
False
Suppose -40*c + 37*c = 4*j - 7746, -5*j - c = -9688. Is j a multiple of 6?
True
Suppose -4*g = 5*z + 207, -4*g - 2*z - 177 = -7*z. Let i = g - -47. Does 6 divide (-326)/(-14) + i + (-34)/119?
False
Let z = 2531 - 1642. Is 10 a factor of z?
False
Let f(y) = -y**2 - 15*y - 27. Let s be f(-14). Let m = s + 8. Does 2 divide (7*m)/5*-1?
False
Suppose -229*g - 696 = -227*g. Let z = 1392 + g. Does 29 divide z?
True
Let d(s) = -2*s**3 - 4*s**2 - 3*s. Let l be d(-2). Let q be ((-9)/(-15))/(l/30). Suppose 2*a = -q*y - 3*a + 15, 4*y + 2*a - 20 = 0. Does 5 divide y?
True
Suppose -13 - 212 = -2*n - 5*w, -w = -5*n + 630. Suppose -n = 93*u - 98*u. Is u even?
False
Let o = -2333 + 2909. Is 11 a factor of o?
False
Let j = -45 - -49. Suppose -2*b = 3*n + 2*b - 356, -j*b = n - 116. Suppose -h + 3*f = -0*f - 4, 5*h + 5*f = n. Is 10 a factor of h?
False
Let t(o) = 12 - 2*o + 11*o - 3*o. Let a be t(19). Suppose -4*w + 133 = 5*h, 4*w - 4*h = -2*h + a. Is w a multiple of 4?
True
Let y = -1292 - -2062. Let b be (-20)/14*(-112)/32. Suppose b*w + y = 12*w. Is w a multiple of 9?
False
Let j(u) = u**2 - 2. Let o(f) be the first derivative of f**3/3 + 10*f**2 + 3*f + 14. Let h be o(-20). Is j(h) a multiple of 2?
False
Suppose -88 = 2*v - 10*v. Suppose 20 = 6*n - v*n. Is ((-3)/n)/((-9)/(-72)) a multiple of 5?
False
Is (3 - 98/42)/((-4)/(-3078)) a multiple of 24?
False
Let u(y) = -2*y**2 + 10*y - 3. Let h be u(5). Let t be 23/h*(0 - 21). Suppose 4*a - t = 3*k, 0*k + 3*k = a - 47. Is a a multiple of 12?
False
Suppose -5*f = -3*b - 1 + 8, -2 = 2*b. Let d(r) be the first derivative of -11*r**2/2 - 5*r - 163. Does 4 divide d(f)?
False
Let x be (2 + -2)/((-8)/(-4)) - -4. Suppose x*n = 5*n - 494. Is n a multiple of 15?
False
Suppose 10*k - 1273 + 333 = 0. Is 16 a factor of 141/k + 1914/4?
True
Let w(a) = 126*a**3 + 10*a**2 + 5*a + 7. Is w(3) a multiple of 7?
True
Suppose p = -7*p - 1600. Let r = -114 - p. Does 63 divide r?
False
Suppose -2*t - i = -11456, t - 93*i = -92*i + 5719. Is t a multiple of 26?
False
Let h(n) = -n**3 + 10*n**2 - 8*n - 34. Let x be h(8). Suppose -x*z + 28*z = -1358. Does 57 divide z?
False
Suppose 0 = 2*v + 8 + 4. Let d = v - -14. Suppose -3*c + a = d - 347, c = 3*a + 105. Is c a multiple of 11?
False
Let g(q) = -49*q - 75. Suppose -43 = 7*k + 20. Does 43 divide g(k)?
False
Suppose h + 0*h = 3*b - 483, -2*h - 480 = -3*b. Let o = 132 + b. Is 61 a factor of o?
False
Suppose 5*r - 15033 = -2*n, n - 2010 - 5526 = 4*r. Is 198 a factor of n?
True
Suppose s + f - 5 = -4, f - 1 = s. Suppose -3*z - 4*c = -6, c + s = -2*z - 1. Is 8 + 4/(-8)*z a multiple of 2?
False
Let v(p) = p**3 + 30*p**2 - 28*p - 458. Is v(-17) a multiple of 14?
False
Let i(k) = 2*k**2 - 7*k + 108. Is i(20) a multiple of 16?
True
Suppose -t + 9208 = -x + 3*x, -46016 = -5*t + 2*x. Is t a multiple of 118?
True
Does 16 divide -2*(-317950)/150*(-6)/(-4)?
False
Let m be (-51)/6 - 1/2. Let u be 3/m - 3/(-9). Suppose 4*y - 157 = -3*f, u*y = -5*y + 4*f + 204. Is 8 a factor of y?
True
Suppose 3*o = 6*d - 142980, -119*o + 124*o = 20. Does 12 divide d?
True
Suppose 6*w - 5*w + 5*w = 0. Let i(l) = 27*l + 456. Is 31 a factor of i(w)?
False
Let g(b) = -232*b + 43. Let d be g(-9). Let p = -1455 + d. Is p a multiple of 52?
True
Suppose -4*m + 7*r = 8*r - 28361, 0 = -3*m - 3*r + 21255. Does 13 divide m?
False
Suppose 4*a - 4*l = 4, 0*a - 3*a - 2*l - 22 = 0. Does 8 divide (-11)/77 - 701/(-7) - a?
True
Suppose 10*j - 1320 - 150 = 0. Does 15 divide 61726/j + 6/63?
True
Let a = 7871 + 1340. Does 61 divide a?
True
Suppose 111936 = -63*d + 87*d. Does 9 divide d?
False
Suppose y + 1078 - 4081 = 0. Does 7 divide 16/(-20) + y/35?
False
Let j(g) = -g**3 - 149*g**2 + 14*g + 398. Is j(-150) a multiple of 155?
False
Let d = 1169 - 67. Suppose 11818 = 19*m + d. Does 47 divide m?
True
Suppose 10*x - 14807 + 1597 = 0. Is 2 a factor of x?
False
Suppose -5473 = -3*k - 0*y - y, -y = -1. Suppose 3*r - k = 2*l, 2449 = 5*r - r + 3*l. Is 61 a factor of r?
True
Suppose 0 = -15*l + 2*l - 8*l. Suppose l = g + 7*g - 248. Is 7 a factor of g?
False
Suppose 3 = 3*b + l - 3*l, -b + 18 = 5*l. Suppose -2*x = b*x - 25. Let o(m) = 3*m**2 - m + 15. Is 43 a factor of o(x)?
False
Suppose -u = 5*c - 26, 47*c - 52*c = -u - 24. Let i(j) be the third derivative of 2*j**4/3 + 5*j**3/6 + j**2. Is i(c) a multiple of 17?
True
Does 21 divide (-1)/6*21*-906*1?
True
Let o be (-9)/(9/52) + 2/(-1). Let t = o + 18. Does 12 divide t/(-14)*(-336)/(-9)?
True
Suppose 4*a - m - 4495 = 0, -2*m + 2111 = -4*a + 6605. Does 5 divide a?
False
Let r = -45 + 41. Let p(t) = -103*t - 233. Is p(r) a multiple of 17?
False
Suppose 95*i + 56430 - 251081 = 34*i. Does 25 divide i?
False
Let d(l) = -40*l - 70. Let c be d(-18). Suppose 656*i = c*i + 3300. Is 55 a factor of i?
True
Let t(d) = -13*d**2 - 32*d - 45. Let h(q) = -7*q**2 - 16*q - 23. Let v(y) = -11*h(y) + 6*t(y). Let l be v(-10). Is 2*1/2 + l + -27 a multiple of 12?
False
Suppose -11*k = -101 - 64. Suppose 3*f - k = 0, -3*f = -3*v - 4*f - 1. Does 23 divide 4 - (v + -1 + -129)?
False
Suppose -b + 13*w + 2712 = 9*w, -2*w = 5*b - 13582. Is b a multiple of 14?
True
Let x(g) = 44*g**2 + 27*g + 7. Let c(o) = -15*o**2 - 9*o - 2. Let f(j) = -7*c(j) - 2*x(j). Is 22 a factor of f(-3)?
False
Suppose -31 = 2*q - 5*x - 206, 0 = 9*q + x - 670. Is 10 a factor of q?
False
Let w(f) = 45*f**3 + 12*f**2 - 9*f - 28. Is 51 a factor of w(5)?
False
Let i(r) = -r**2 - 6*r + 14. Let q be i(-7). Let c be (-9)/(9/26)*q/(-2). Suppose -3*x + c = -68. Is 12 a factor of x?
False
Suppose -2*k + q = k - 44, q + 58 = 4*k. Suppose k*j = 3016 - 118. Is j a multiple of 23?
True
Suppose -b = -5*z + 35, -4*b = -24 + 4. Suppose -z*g = -9*g + 3*w + 101, 4*w = -g + 122. Is 3 a factor of g?
False
Let i = -27 - -30. Suppose 5*q + 2*l = -0*l - 331, i = -l. Let n = -37 - q. Does 6 divide n?
False
Let f = 37522 - 15654. Does 28 divide f?
True
Let x(b) = -b**3 + b**2 + 15*b - 6. Let i be x(4). Suppose -w - 1162 = i*w. Let z = 236 + w. Is 14 a factor of z?
True
Suppose -17*a + 879137 = 3*i, a - 35*i + 38*i = 51697. Is a a multiple of 76?
False
Let y = 104457 + -47837. Does 95 divide y?
True
Let s be 17 + ((-4)/1 - -6). Let r(a) = -6*a - 63. Let g be r(s). Let c = -89 - g. Does 8 divide c?
True
Suppose 0 = 12*o - 0*o - 876. Suppose -b + 719 = 4*y, 621 = 3*y - b + o. Is -4 + 60/16 - y/(-4) a multiple of 5?
True
Suppose 3*r + 90*c - 24702 = 93*c, 0 = -4*c + 4. Is 15 a factor of r?
True
Let u(s) be the third derivative of -11*s**4/24 - s**3 + 127*s**2. Suppose 0 = -3*m - 15, -5*m - 13 = 2*q + 22. Is 6 a factor of u(q)?
False
Is 73 a factor of 2 + 33/(-9)*-1871 + (-110)/330?
True
Let m(f) = 143*f - 866. Is 3 a factor of m(19)?
True
Suppose -2*l = 5*j - 9*j - 42, -5*j - 3*l - 69 = 0. Is 4/(40/25) + (-15438)/j a multiple of 16?
False
Suppose 2*v + 2*v = 64. Suppose 0 = -4*f - 5*x + 89, -28*x + 32*x = 5*f - 60. Let t = f + v. Is t a multiple of 32?
True
Let q = -850 - -2642. Is 41 a factor of q?
False
Suppose a = -3*q + 1604, 452 = -3*q - 5*a + 2064. Does 40 divide q?
False
Let i(h) = 28*h**2 + 45 - 23*h**2 + 333*h - 671*h + 342*h. Let j = 8 - 13. Is i(j) a multiple of 10?
True
Let m(v) be the second derivative of v**5/20 + 13*v**4/12 + v**3/3 + 23*v**2/2 - 14*v. Let c be m(-13). Let n(x) = -2*x**3 - 2*x**2 + x - 4. Does 8 divide n(c)?
False
Suppose -h + 1 - 5 = 2*k, 5*h - 8 = -3*k. Suppose n + 0*n - 33 = -h*b, 2*n - 10 = 0. Suppose -d + b = -73. Does 40 divid