2*a. Suppose 0 = -5*j - 15, 0*k - a*k - 123 = 3*j. Let i = k - -53. Is 15 a factor of i?
True
Suppose -5*b + a + 0*a = 2, -5*a + 10 = 4*b. Suppose b*n - 6450 = -10*n. Let g = n + -357. Is 48 a factor of g?
True
Does 76 divide 19378 + (-60)/(-18)*9/6 + -3?
True
Suppose -37*b + 2*b + 7700 = 0. Let t = b + -205. Does 5 divide t?
True
Suppose 3*q - 3*p - 40643 = 19861, -3*q + 4*p + 60503 = 0. Does 81 divide q?
True
Let l(f) = 354*f**2 - 501*f - 2966. Is l(-6) a multiple of 22?
False
Let q = 16464 + -9804. Is q a multiple of 60?
True
Let l(d) = -d**3 - 10*d**2 - 3*d + 21. Let f be l(-10). Suppose 4*q - f = 309. Is 9 a factor of q?
True
Suppose -3*y = 0, 17*y - 432 = 4*d + 15*y. Is (146/6)/(2 - (-212)/d) a multiple of 53?
False
Let r = 198 + -203. Does 32 divide -640*(22/r - -4)?
True
Is 81 a factor of 41/(-6) + 7 + 1021196/24?
False
Let u = 12630 - 9651. Is 9 a factor of u?
True
Suppose -12*n - 23 = -15*n + 4*m, 18 = 4*n + m. Suppose -n*h = 10, 16*d - h = 11*d + 8602. Does 40 divide d?
True
Let z(n) = -14*n**3 - n**2 + 2*n - 8. Let y(x) = 14*x**3 + x**2 + 6. Let l(w) = 4*y(w) + 3*z(w). Is l(4) a multiple of 39?
True
Suppose 1896 = 30*j - 22*j. Suppose j*f - 233*f - 3468 = 0. Is f a multiple of 12?
False
Let n = -138 + 213. Suppose 0 = n*k - 82*k + 630. Is 3 a factor of k?
True
Let r = 257 - 202. Suppose -50 = 6*k - 11*k - 2*o, 0 = -5*k - o + r. Does 12 divide k?
True
Suppose -l + 894 = 7*q - 4*q, 5*l + 3*q - 4434 = 0. Is l a multiple of 3?
True
Suppose 17*o = 22*o. Suppose o = -34*w + 35*w - 72. Does 12 divide w?
True
Let a(m) = -2*m**2 + 20*m - 45. Let j be a(7). Is (-694)/j + (-5)/(-4 - -19) a multiple of 7?
True
Let r(j) = -16*j**3 - 11*j**2 + 10*j + 131. Does 30 divide r(-7)?
True
Let x(n) be the third derivative of n**6/120 - n**5/60 + 2*n**3 - 16*n**2. Let z be x(0). Is (-45)/z*32/(-6) a multiple of 10?
True
Let d(z) = 2*z**3 - 38*z**2 + 290*z + 19. Does 94 divide d(18)?
False
Is 3*(-42016)/(-72)*3 a multiple of 4?
True
Suppose 56*l + 9471 = 67*l. Is l a multiple of 7?
True
Let o be 55643/(-28) - 1/(-4)*1. Let n = -979 - o. Does 72 divide n?
True
Let a(s) = -9*s**3 + 2*s**2 - 6*s - 1. Let z(k) = -k**2 - 7*k + 96. Let o be z(-14). Does 7 divide a(o)?
True
Let b(v) = -v**3 + 39*v**2 + 98*v - 95. Is 8 a factor of b(41)?
False
Suppose 0 = -10*z + 8*z + 92. Let g = 543 + z. Is 14 a factor of g?
False
Suppose -5*p + 470 = -5*z, -5*p + 140 = -3*z - 328. Let l = p + -89. Suppose 2*w + 152 = 3*r + l*w, -3*r + 3*w + 132 = 0. Does 6 divide r?
True
Suppose -176549 = -5*w - 2*a - 67054, 0 = w + 3*a - 21886. Is 121 a factor of w?
True
Let h(b) = -2*b**2 + 34*b - 23. Let k be h(16). Suppose -777 = -k*c + 807. Is 5 a factor of c?
False
Let b(g) = -g**2 + 25*g + 24. Suppose 0 = -2*t - t - 12, -z + 4*t = -28. Does 15 divide b(z)?
True
Suppose 63*k - 2303 = 5676 + 1345. Does 6 divide k?
False
Suppose -2*r = -5*t - 135, -2*r + 120 = t - 3*t. Suppose 0 = -16*q + 5*q + r. Suppose 2*a - 4 = -q*l, -2*a - 2 = l + l. Is l even?
True
Let v(q) = 62*q - 1. Let a be v(-2). Let f = -61 - a. Is f a multiple of 5?
False
Let k = 2063 + -1301. Suppose k = -8*u + 14*u. Suppose -u = 5*a - 507. Is a a multiple of 17?
False
Let h = 72853 - 45113. Is h a multiple of 38?
True
Suppose u = 3*u - 18. Let c(q) = 13*q - 8*q + 107 - 113 - q - 2*q. Is c(u) a multiple of 6?
True
Suppose -3*a = 4*l + 32, -24 = 3*l + 2*a - 3*a. Let d(z) = 2*z**2 + 15*z - 2. Let q be d(l). Does 30 divide (-1230)/12*q/(-3)?
False
Let p = 177 + -146. Let q = p - -45. Is q a multiple of 19?
True
Let l be (0 - 0)/((-3)/3)*1. Suppose l = 5*w - 11*w + 300. Let h = 116 - w. Is h a multiple of 11?
True
Let q = 2871 - 1681. Suppose -q = -7*g - 196. Suppose -5*s - 376 = -3*o, 3*o - 5*s - g = 2*o. Is 19 a factor of o?
False
Suppose -4*h + 2992 = 3*u - 3855, -4580 = -2*u + 5*h. Does 110 divide u?
False
Let z be ((-112)/35 + 4)/(1/(-5)). Is 20 a factor of ((-50)/2)/((-2 - z)/(-30))?
False
Suppose -2*i = i - 999. Suppose -4*z = -a + i, -z - 1332 = -4*a + 3*z. Is 37 a factor of a?
True
Suppose -10*r + 336 = 6*r. Is ((-16)/3)/((-7)/r) a multiple of 16?
True
Let d = -3120 + 4410. Does 15 divide d?
True
Suppose -q = -4*j + 36, -2*j + 6*j + 3*q = 52. Does 17 divide j*((-176)/(-1) - -5)?
False
Let r be ((-48)/(-72))/((-2)/(-972)). Let k be (12/10)/(3/15). Suppose k*o - r = 4*o. Is o a multiple of 18?
True
Suppose h - 5 = 5*i - 0*h, 3*i + 3*h - 15 = 0. Suppose 2*l - 6*l = 4*w - 1128, -5*w + 5*l + 1450 = i. Suppose 5*n - 3*n = w. Is n a multiple of 19?
False
Suppose 0 = -8*z + 2*z + 18. Suppose 3*y - 33 = -3*h, 5*y = -z + 28. Suppose h*k = -k + 1050. Is 35 a factor of k?
False
Suppose -62*t - 132 = 2*p - 63*t, 0 = t - 4. Suppose 0 = -4*d + 2*j - 2, 9 = -3*d + 2*j + 2*j. Is (1/d)/(((-18)/p)/9) a multiple of 8?
True
Suppose p - 5*p + 5*o + 37 = 0, 5*p + 5 = -4*o. Let m = p - -17. Suppose 3*g - m = 58. Does 14 divide g?
False
Suppose -5*t - 4*j + 56692 = 0, -45350 = -4*t + 25*j - 30*j. Is 14 a factor of t?
True
Suppose 30*w = -4*w + 102. Suppose 1349 = w*s - p, -5*p - 921 = -0*s - 2*s. Is 32 a factor of s?
True
Is (2/1 + 3)*9220/10 a multiple of 50?
False
Let i(t) be the second derivative of -t**4/12 + 2*t**3 - 11*t**2/2 - 26*t. Let l be i(10). Is 17 a factor of (-540)/24*(-24)/l?
False
Let w = -270 + 275. Does 15 divide 7/(w + -12)*-921?
False
Let z be (-7)/((-196)/8) - 206/(-14). Let x be (48/z - 4)/(4/(-30)). Suppose -4*u = 5*o - 78, 5*u - x*o - 118 = -2*o. Does 11 divide u?
True
Let j = 8142 + -6922. Is 3 a factor of j?
False
Let b be (-6)/(-4) + (-1981)/(-2). Suppose -16*h = -8*h - b. Suppose -65 = -3*o + h. Is o a multiple of 14?
False
Let x(r) = -r**3 + 15*r**2 - 15*r + 12. Let g be x(14). Let a be 8/(-3)*6/g. Does 19 divide 704/12 + a/6?
False
Let f = 8610 - 3558. Suppose 5*a - x = 241 + f, 2*a - 4*x = 2128. Is 71 a factor of a?
False
Suppose -4*o + 13626 = 3*b, -121*b + 120*b + 10217 = 3*o. Is 15 a factor of o?
True
Let m be (6/(-21))/((-355)/70 - -5). Let p(z) = -9*z**3 - z**2 + 2*z + 1. Let s be p(-2). Suppose 5*r = 4*n + 128, -m*r - 3*n = -2*r - s. Is 7 a factor of r?
True
Let h(g) = g. Let b be h(-11). Let u = b + 125. Is 19 a factor of u?
True
Suppose -753*n + 4557 = -746*n. Let f = n - 632. Is f even?
False
Suppose -2*z - 1781 = -0*b + b, 0 = -3*z - b - 2674. Let r = -459 - z. Suppose 2*s + 2*s - 588 = 2*n, 0 = 3*s - 5*n - r. Does 13 divide s?
False
Let i(p) = -p**2 - 44*p - 163. Let g(l) = 6*l**2 - 47*l - 2. Let u be g(7). Is i(u) a multiple of 3?
True
Let h = -3493 + 3666. Is h a multiple of 3?
False
Let s be ((-2850)/(-7))/(516/252 - 2). Suppose 62*k - s = 56*k. Does 75 divide k?
True
Let p = -22 + 30. Suppose 2 = p*l + 2. Let g(k) = -2*k + 63. Is g(l) a multiple of 18?
False
Let j be (-142)/(-10) - (56/35)/8. Let g(r) = j*r**2 + 15*r**2 + 12*r - 26*r**2. Is g(-9) a multiple of 15?
True
Let y(c) = 8*c**2 - 3*c + 7. Let p be y(5). Let n be (5/(-10))/((-2)/p). Let s = n + -2. Is s a multiple of 10?
False
Let x(k) be the second derivative of -5/3*k**3 + 6*k + 0 + 1/6*k**4 + 5/2*k**2. Does 15 divide x(10)?
True
Suppose 3*w = 9*w - 12. Suppose 0 = -4*r - 0*p + w*p + 330, 0 = -r - 4*p + 60. Is r a multiple of 4?
True
Suppose -78*n + 77*n + 43208 = 0. Suppose -38*l = -4444 - n. Is 38 a factor of l?
True
Let u = 111 - 94. Suppose -9*y - 1160 = -u*y. Does 29 divide y?
True
Let p(k) = 125*k + 3125. Is 10 a factor of p(13)?
True
Suppose 60*n + 205594 = 2236046 - 76132. Is n a multiple of 34?
True
Let p(l) = 154*l**2 + 12*l - 11. Let j = 166 - 165. Is 6 a factor of p(j)?
False
Let z(u) = u - 20. Let f be z(16). Let v be f/(1 + -2 + -1). Suppose v*c + 0 = 3*b - 37, -2*c = 4*b - 26. Does 7 divide b?
False
Suppose -l - 41 = 5*m, 4*l + m + 33 = -150. Let d = -43 - l. Suppose 4 = -2*f, -2*v - d*f = -48 - 10. Is v a multiple of 10?
False
Let q(y) be the second derivative of 9*y**3/2 - 56*y**2 - 229*y. Does 14 divide q(14)?
True
Suppose 0 = 6*q - 10*q + 2560. Let k be (-10)/35 - 37/(-7). Suppose k*v + 5*f = q, 2*v - 260 = 2*f - 3*f. Is 33 a factor of v?
True
Let u(n) = n - 17. Let w be u(22). Suppose -w*y - 329 = -12*y. Suppose -y = -t - 15. Is t a multiple of 32?
True
Suppose -33*r - 4846 = 29606. Does 15 divide (47/(-3) - 1)*r/145?
True
Let q = 7516 - 334. Is 42 a factor of q?
True
Let o(d) = -6*d**2 - 18*d - 17. Let f(k) = 7*k*