-5*v - 461 = -n - 7*v, 0 = -3*v - 9. Let d = n - 422. Is 15 a factor of d?
True
Suppose -3*z + 6414 = z + p, -7998 = -5*z + 2*p. Is z a multiple of 6?
True
Suppose 0 = -p + 4*a + 38275, -114735 = 779*p - 782*p + 2*a. Does 156 divide p?
False
Let h = -7775 - -15947. Is 9 a factor of h?
True
Let v = -7462 - -10830. Let n = v + -2293. Is 43 a factor of n?
True
Suppose -39*i + 50*i = 33. Suppose i*v - 70 = 599. Is 6 a factor of v?
False
Suppose 0 = 12*o - 9*o. Suppose o = -6*s + 2*s + 36. Suppose 2*t + s*t = 572. Does 22 divide t?
False
Let p be 2 + -584 + 0 + 1 + -3. Let y be p/4 - (-1 + 5). Let m = 238 + y. Does 11 divide m?
True
Let o be 30/(-35)*7*-1*3. Let q be 1944/o + -1*(1 + 0). Suppose -2*u = 1 - q. Is u a multiple of 19?
False
Let f(s) = -36*s + 3. Let n be f(-2). Let c = n - 63. Does 7 divide -327*(44/c + -4)?
False
Suppose 0 = 4*d - 20, 2*d - 7 = 3*a - 381. Let v = -127 + a. Does 9 divide 1 - v - -32*6/4?
False
Let w = 5293 - 2815. Does 59 divide w?
True
Let l be (5 - 0)*(174 + 25). Let n = l + 699. Is n a multiple of 14?
True
Suppose -2*a - c + 35 = -4*c, 5*a - 122 = -4*c. Suppose 30*q = a*q + 2912. Is 52 a factor of q?
True
Let c(a) = -353*a - 292. Is c(-4) a multiple of 17?
False
Let t be ((-16)/6)/((-20)/30 + 0). Suppose -2*z + 3*g + 77 = 0, -73 - 87 = -4*z + t*g. Does 4 divide z?
False
Suppose -27*f + 29*f + 81392 = j, 0 = 2*f + 3*j + 81408. Is f/(-56) + (-3)/4 + 1 a multiple of 35?
False
Let z = -690 - -1245. Does 10 divide z?
False
Suppose -5*o + 5*c = -o + 541, 2*c - 268 = 2*o. Suppose -5*s - 2*b - 1030 = 0, -10*s + 1030 = -15*s - 4*b. Let v = o - s. Does 22 divide v?
False
Suppose 10*g + 550 = 21*g. Suppose -38*t + g*t = 1980. Is t a multiple of 33?
True
Let h(n) = 2*n**3 - 7*n**2 - 24*n + 18. Let p be h(10). Suppose -5*m = l - p, 3*m + l = 373 + 273. Is 27 a factor of m?
True
Let w(q) = 83*q**3 + 21*q**2 + 5*q + 13. Is w(3) a multiple of 13?
False
Suppose n = -2, -3*r = -2*n + 5*n + 18. Does 4 divide 24/(r/(400/(-15)))?
True
Suppose i - 5*t = 7360 + 3870, -5*i + 4*t + 56234 = 0. Does 10 divide i?
True
Let l = 73 - 67. Suppose -2*m - 2668 = -l*m + 5*z, 2*z + 2680 = 4*m. Is (-24)/16*m/(-9) a multiple of 14?
True
Let n(z) be the first derivative of 11*z**3/3 + z**2/2 - 5*z - 10. Is 25 a factor of n(4)?
True
Let z be 23/1 + -1 + 1. Suppose 4*q - z + 3 = 0. Suppose 0 = -4*n - 4*g + 272, -3*n + 236 = n - q*g. Does 13 divide n?
False
Suppose 207*o = 220*o - 40755. Does 15 divide o?
True
Suppose o = -4*l + 62758, -33*l + 28*l - 5*o + 78470 = 0. Is l a multiple of 106?
True
Let z(a) be the second derivative of -3*a**2 + 0 + 1/20*a**5 + 5/12*a**4 + 2*a - 1/3*a**3. Is z(-4) a multiple of 3?
True
Does 37 divide 77945/140 + (-35)/20?
True
Let w be ((-56)/(-20))/((-20)/(-50)). Does 2 divide 186/9 + w/21?
False
Suppose -5*y - 4 - 16 = 0. Let x be -4*(0 - (2 + 1/y)). Suppose 0 = -5*q + 2*s - x*s + 345, -3*q = 5*s - 211. Is 16 a factor of q?
False
Suppose 10*z - 1488 = -78. Suppose 0 = r - z - 200. Does 25 divide r?
False
Suppose -3*p = d - 18483, 4*p + d + 4*d = 24655. Does 110 divide p?
True
Let v(j) = -j**3 + 30*j**2 + 315*j - 177. Does 7 divide v(25)?
False
Suppose 5*y - 44 = -w, 5*w - 2*y - 154 = 12. Suppose 675 = -31*s + w*s. Does 14 divide s?
False
Let v be (-5)/((-180)/8) + (-20430)/81. Let w = 714 + v. Is w a multiple of 21?
True
Let r(f) = 5*f**3 - 17*f**2 + 34*f + 320. Is 30 a factor of r(20)?
True
Let k(w) = -12*w + 137. Let h(p) = 14*p - 138. Let i(b) = 3*h(b) + 4*k(b). Is 29 a factor of i(-28)?
False
Let j(w) = 177*w + 1333. Is 56 a factor of j(-5)?
True
Let r = 131 + -129. Suppose 2*d - 114 = -4*m, -7*m - 135 = -r*d - 4*m. Is ((-42)/d - 20/(-3))*6 a multiple of 18?
True
Suppose 117*t = 122*t - 1535. Let a = t - 25. Does 13 divide a?
False
Let r(q) be the third derivative of -19*q**2 + 0 + 0*q - 1/24*q**4 + 5*q**3. Is r(18) a multiple of 4?
True
Suppose 2*s + 14*l - 9*l = 4236, l + 4 = 0. Does 57 divide s?
False
Suppose -15*h + 13840 = 4660. Is h a multiple of 2?
True
Suppose 4*n + 5*s - 122 = 0, 5*n - 27 = -4*s + 121. Suppose -3*t = -n - 5. Suppose 4*d + t = 5*d - 3*p, d - 29 = -3*p. Is 10 a factor of d?
True
Let k(v) = 2*v**2 + v + 13. Let c be k(9). Let u(m) = 7*m**3 + m - 4. Let y be u(2). Suppose -c + y = -4*f + 3*l, -f - 3*l + 40 = 0. Is 34 a factor of f?
True
Let t(d) = -d**2 + 43*d + 15. Let l be t(34). Let z = -253 + l. Is z a multiple of 7?
False
Is 10 a factor of 6*(38/(-4))/(93/(-7316))?
False
Suppose 0 = -m + 20 + 19. Suppose m = 2*r + 35. Suppose p - 191 = -2*p - r*g, p - 2*g = 69. Is p a multiple of 20?
False
Let b = 23046 - 15984. Is b a multiple of 107?
True
Let y(u) = 3*u**3 + 9*u**2 - 12*u - 16. Let f(r) = 2*r**3 + 10*r**2 - 12*r - 15. Let a(n) = 4*f(n) - 3*y(n). Suppose 9*m - 61 = 38. Is 7 a factor of a(m)?
True
Suppose -2*t = -79 + 333. Let a = 227 + t. Is 25 a factor of a?
True
Let g be -1 + (-5 - (-37 - -1)). Let p = -32 + 26. Let o = g + p. Is o a multiple of 12?
True
Suppose 3*k + 5*o = 8563, -3171 = 4*k - 5*o - 14530. Let p = -1744 + k. Is p a multiple of 17?
False
Let k(a) = -91*a + 20. Let u(y) = 93*y - 18. Let n(p) = -3*k(p) - 4*u(p). Is 23 a factor of n(-6)?
False
Suppose 0 = -4*f - 5*t + 4 - 102, 83 = -3*f + t. Let y be 25/(-5)*f/3. Suppose 5*n = 4*h + 668, 4*h - y - 239 = -2*n. Is n a multiple of 15?
False
Let p = 125 - 127. Is (2 + 3/p)*1320 a multiple of 60?
True
Let u(m) = 7*m - 60. Let k(b) = -1. Let w(q) = -5*k(q) - u(q). Is w(-8) a multiple of 51?
False
Let b(h) = -18 - 873*h + 430*h + 439*h + h**2. Let r(g) = -9*g + 1. Let n be r(1). Is b(n) a multiple of 26?
True
Let t(f) = 300*f + 384. Is 27 a factor of t(7)?
True
Suppose -3*j = 6 + 12. Does 74 divide (j/8)/(7/(-20720)*5)?
True
Is (-3)/3 + 0 - 1*(-5902 - -5) a multiple of 22?
True
Let j = -22 + 161. Suppose 4*c = 9*c - 4*v - 209, -3*c - v + j = 0. Is 15 a factor of c?
True
Suppose -200*b - 21 = -203*b. Suppose -b*s + 1259 = 153. Is s a multiple of 8?
False
Let z(b) = 169*b - 547. Does 7 divide z(64)?
True
Let r = -85 - -90. Suppose 0 = -r*v + 1088 + 7. Does 54 divide v?
False
Let y(c) = -c - 16. Let d be y(-24). Let u(z) = 48*z + 5. Let j(l) = -32*l - 3. Let r(i) = d*j(i) + 5*u(i). Is 9 a factor of r(-5)?
True
Let k(s) = -59*s - 1. Let i be k(-5). Let j = i - 217. Does 60 divide j?
False
Suppose -1 = -u, a + u + 23 = 227. Suppose 2*j - a + 43 = 0. Does 5 divide j?
True
Is 15 a factor of 10/(-13 + (-468758)/(-36057))?
True
Suppose -24*u + 1207710 = 15*u + 87*u. Is u a multiple of 71?
True
Suppose -108*f + 1021840 = 104*f. Does 20 divide f?
True
Let g = -2 + -26. Let v = g - -38. Suppose -243 = -v*r + 477. Is r a multiple of 18?
True
Let d = -33 + -27. Is 9 a factor of (-35 + -7)/(2/d)?
True
Let l(m) = 7*m**2 - 3*m + 2. Let g be l(1). Let b be 2/1*((-11)/(-2) - g). Is -13 + 12 - 29*b a multiple of 28?
True
Let f = 200 + 3407. Is 15 a factor of f?
False
Let g be ((-133)/28)/((-1)/44). Suppose g*s - 213*s = -360. Does 5 divide s?
True
Suppose -90*g + 100*g = 9660. Does 42 divide g?
True
Suppose 0 = 7*m - 225 + 15. Is 6/5*2500/m + -4 a multiple of 8?
True
Let a(n) = 4*n - 4. Let k be a(4). Suppose -k - 8 = -5*v, 2*j = 5*v - 20. Suppose 250 = 2*i - j*i. Is 30 a factor of i?
False
Let p = -204 - -508. Let z = p - 157. Suppose z = 6*w - 3*w + f, w - 54 = -2*f. Is 24 a factor of w?
True
Let p = 11621 - 9827. Does 12 divide p?
False
Let b be 3*(70/(-3))/(-7). Let t be ((-16)/10)/(8/(-20)). Suppose -b = 5*s, -n + 2*n = t*s + 69. Is n a multiple of 6?
False
Let o(l) = 80 - 7 - 47 + 9*l + 39*l**2 + 15*l**2. Is o(-3) a multiple of 45?
False
Let q be 3 - (211*-24)/(-8). Let i = q - -848. Is i a multiple of 39?
False
Suppose 2*b = -3*g + 10, -2*b + g + g = 0. Let c(a) = -8*a + 3*a**b - 4*a + 2*a + 16 - 16*a. Does 17 divide c(11)?
False
Let t be (-53 + 2)*(-33)/11. Suppose -t*u = -149*u - 420. Is u a multiple of 15?
True
Suppose 742*n - 696*n = 146556. Does 47 divide n?
False
Suppose -2*w + g = -4889, -5*g - 3251 = -3*w + 4079. Is 102 a factor of ((-80)/30)/((-10)/w)?
False
Suppose 467*l - 43332 = 461*l. Is 46 a factor of l?
True
Suppose 26*d = 46989 + 35230 - 26423. Is d a multiple of 3?
False
Does 59 divide (-46197)/87*16/(-1)?
True
Let i(v) = -v**3 - 14*v**2 + 11*v + 12. Let o be i(-15). Let g = o + -66. Suppose -3*k - g*k = -1026. Is k a multiple