 q, j - q = -0*q - 11. Let r be a(j). Does 16 divide (-3)/r + 1239/28?
False
Suppose 0 = 3*o + 5*m + 1534, 8 + 17 = -5*m. Let s = 619 + o. Is s even?
True
Let t = -312 + 314. Suppose -7*g = 5*k - 8*g - 4672, -1860 = -t*k - 4*g. Does 53 divide k?
False
Let r(l) = l**3 + 17*l**2 + 8*l - 23. Let f be r(-12). Let w = -420 + f. Suppose d + 3*h = 5*d - w, -d + 5*h = -24. Does 4 divide d?
False
Let j(c) = -c**3 + 3*c**2 + 7*c. Suppose -2 = 2*x + 6. Let v be (-1)/(-14)*-46 - x/14. Is 19 a factor of j(v)?
False
Suppose 2*r + 11 + 5 = 0. Let m(i) = i**3 + 8*i**2 - 19*i + 4. Does 6 divide m(r)?
True
Let a(c) = 27*c**2 - 229*c - 468. Is a(-2) a multiple of 49?
True
Suppose -3*o = -3*t - 9099, -t + 4 = -5*t. Suppose 0*l - 8*l + o = 0. Does 40 divide l?
False
Suppose 160*q - 66*q + 190*q - 648088 = 0. Is q a multiple of 6?
False
Let o = -9978 + 27306. Is 6 a factor of o?
True
Let f = -22077 + 38382. Is f a multiple of 77?
False
Suppose 203 = 4*y - 5*o, 2*o + 202 = 3*y + 55. Let n = -286 + 303. Let k = y - n. Is 6 a factor of k?
True
Is 6/12*(-429300)/(-18) a multiple of 15?
True
Let i = -409 - -287. Let y = i - -692. Is 36 a factor of y?
False
Suppose -w - 195 = 3*n + 2*w, -2*n + 3*w = 120. Let t be -6*(-1)/((-1)/23). Let z = n - t. Is 25 a factor of z?
True
Let a = 47 - 178. Let b = -332 + 579. Let y = b + a. Does 26 divide y?
False
Suppose 28546 = i - 5*h + 8967, -i + 19586 = 2*h. Is 72 a factor of i?
True
Suppose -113*v + 4233 = -62*v. Is 22 a factor of v?
False
Let d(y) = 20*y + 40. Let o be d(-2). Suppose o = -53*t + 66*t - 3094. Is t a multiple of 34?
True
Suppose 3*t - w - 18 - 5 = 0, 0 = -4*t - 3*w + 35. Suppose t*i = 3*i + 1570. Does 16 divide i?
False
Let q(p) = 20*p - 19. Let a be q(1). Let y(x) = 603*x - 39. Is 12 a factor of y(a)?
True
Let q(u) = 19094*u + 294. Is q(1) a multiple of 131?
True
Let t(v) be the third derivative of v**5/60 - 11*v**4/8 - 10*v**3 + 3*v**2 - 2. Is t(36) a multiple of 3?
True
Suppose -31*n - 11*n + 84 = 0. Suppose 2*y + 3*t = 813, -5*y + n*t - 408 = -6*y. Does 28 divide y?
False
Suppose 0 = 55*m + 123*m + 385415 - 1191399. Does 9 divide m?
False
Suppose 0 = 2*o - 8, -4*a - o + 4 = -4*o. Suppose -8 = -4*q - 3*v + v, 0 = -a*v - 16. Suppose q*z - 55 = 133. Does 14 divide z?
False
Let i be -5*((-21)/15 + 1). Let j be (0 - 0)/(2 + 2 - 1). Is j/(i + -3) - -44 a multiple of 3?
False
Let q(f) be the first derivative of 13*f**3/3 + 4*f**2 - 20*f + 15. Is q(-6) a multiple of 64?
False
Suppose i = 2*g + 4, i + 4*i - 20 = 3*g. Let y(k) = k**2 - k - 14. Let w be y(7). Suppose 5*o + q = 290, o - 5*q - w = i. Is 14 a factor of o?
False
Is 21285/6 + (-759)/(-138) even?
False
Let w be ((-2)/(-8) - (-2)/8)*-24. Let g be 1*70*w/(-30). Is g*(-1 + (-14)/(-4)) a multiple of 24?
False
Let u be 5/15*-63*(-1)/1. Suppose -2112 = -u*z + 9*z. Is z a multiple of 11?
True
Let o(u) be the second derivative of 1/20*u**5 - 5/12*u**4 + 8*u**2 - 2*u**3 + 0 - 2*u. Is 5 a factor of o(7)?
True
Let v = -1284 - -12773. Is 14 a factor of v?
False
Suppose 0 = 13*q - 16*q + 1080. Suppose -2*y - q = -10*y. Does 32 divide y?
False
Suppose 5*w = -3*u + 13595, 4*u + 0*u - 38044 = -14*w. Does 14 divide w?
True
Suppose r - 1 = 0, 2*z - 11*r = -9*r - 7352. Is (9/(-18))/(3 + z/1224) a multiple of 51?
True
Let f(h) = 6*h**3 + 3*h**2 - h - 1. Let t be f(-3). Let o = 368 + t. Is o a multiple of 20?
False
Suppose 68 = -3*x - 529. Let t = x - -439. Is t a multiple of 30?
True
Let x = -2619 - -5719. Does 20 divide x?
True
Suppose 5*t - 29 = -k - 0*k, 84 = 2*k - 3*t. Let f = k - 36. Suppose 3*c + 6 = 0, w - 278 = -f*w - 3*c. Is 15 a factor of w?
False
Suppose -6*h = -2 - 10. Suppose -h*c - 11*x + 1119 = -6*x, 0 = -5*c - 4*x + 2840. Does 26 divide c?
True
Let f be 0 + (-2)/5 - (-84)/35. Let p(o) = 25*o**3 + 0*o**2 + 22 - 2*o - 12 - 2*o**2. Is p(f) a multiple of 9?
True
Let m = 18974 + 5826. Does 76 divide m?
False
Let w be ((-8)/(-6))/(((-16)/(-3))/8). Suppose 4*g = -7*h + w*h + 125, -25 = -h + 5*g. Is 18 a factor of h?
False
Suppose 5*s - 485 = -2*p, -2*p + 0*p + 500 = 2*s. Let b = p + -180. Does 6 divide (400/b)/((-2)/(-6))?
False
Let i be 7/(-28) - (-13)/4. Suppose 2*s - 6*s - 20 = 0, -i*s = 5*r - 720. Suppose -3*h + d = 2*d - 195, -r = -2*h + 5*d. Is 20 a factor of h?
False
Suppose -6*g = -292 - 1497 - 551. Is 15 a factor of g?
True
Let j be 10/(-15)*801/6. Let q = 218 + j. Is 32 a factor of q?
False
Let k(j) = 1327*j - 707. Is 347 a factor of k(26)?
False
Suppose -4*i + 4*p + 174 = i, -2*i = -p - 69. Suppose -5*a = -4*l - i, -5*l = -5*a + 36 + 9. Let q(w) = 2*w**3 + 23*w**2 - 4*w - 9. Is 52 a factor of q(l)?
True
Suppose 0 = -13*v + 11*v - 2. Let p = -44 - -47. Is (2/(-8))/(p/(-1308)) - v a multiple of 16?
False
Let v = -28722 + 40937. Is v a multiple of 39?
False
Suppose 19*y + 13440 = 40*y - 9*y. Is y a multiple of 10?
True
Suppose -30*w + 159744 = -2*w + 20*w. Does 64 divide w?
True
Let w = 61 + 6. Let k = -26 + w. Let d = k - 23. Does 9 divide d?
True
Let j(m) = -2*m**2 + 181*m - 393. Is j(57) a multiple of 20?
False
Let d be -3 - -3 - (-3)/1. Let p(s) = s**3 + s**2 - 1. Let b(t) = t**3 - 3*t**2 + 3*t - 4. Let y(j) = b(j) + 3*p(j). Does 22 divide y(d)?
True
Does 25 divide (-4)/7 + (17572/28 - 2)?
True
Let l(y) = 120*y**2 + 96*y + 546. Is l(-8) a multiple of 11?
True
Suppose 0 = -3*i - 2*g + 5661, 2*i + 0*g = 5*g + 3812. Is 6 a factor of i?
False
Let y = 6512 - -352. Is y a multiple of 8?
True
Suppose -6*n = -10*n. Suppose n = 20*i - 524 - 2216. Does 42 divide i?
False
Let f(w) = -14*w + 3*w + 0*w + 47 - 7*w. Is f(-14) a multiple of 23?
True
Let i = 7132 + 9068. Is i a multiple of 225?
True
Suppose 330 = -24*r + 9*r. Let n(m) = -m**2 - 72*m + 67. Is 35 a factor of n(r)?
False
Suppose 1461 + 489 = 5*k. Is 2 a factor of ((-5)/(-6))/(65/k)?
False
Let n(r) = 39*r - 15. Let p(g) = -3*g - 35. Let x be p(-12). Is n(x) a multiple of 24?
True
Suppose -3*x + 6 = l - 0, -3*l = 0. Suppose -4*y = x + 22. Is 20 a factor of ((-440)/150 - 2/5)*y?
True
Let o be -8 - -10 - -2*(-394)/(-4). Suppose -3*f = -o - 209. Is f a multiple of 17?
True
Suppose -2*j + 17 = o, j - 7 = 4*j - 5*o. Is 3 a factor of 103 + (j/(-4))/(18/12)?
True
Let a = 291 + -67. Suppose 2*g + 3*j = 756 - a, -4 = -j. Does 35 divide g?
False
Let i(l) = -37*l**3 - 5*l**2 + l - 5. Let o be i(4). Let h = -1665 - o. Suppose 2*b = 4*n - h, -3*n + 417 + 168 = -3*b. Is 17 a factor of n?
False
Suppose 411432 = 84*l - 461160. Is l a multiple of 14?
True
Suppose -s - 3 = 5*x, 2*x - 3*s + 6*s = -9. Is 11 a factor of (-2 - -11 - x)/((-27)/(-828))?
False
Let s(d) = 4*d**2 - 121*d + 266. Does 28 divide s(74)?
True
Let p(j) = j**2 - 12*j + 3. Let h be p(9). Let n(x) = -x - 22. Let f be n(h). Suppose f*z + 4*g = 276, 118 - 565 = -3*z + 5*g. Does 36 divide z?
True
Suppose -o + 8 = 3*o. Suppose -m + 131 = 3*b, -4*m + o*b - 98 = -608. Let i = m - 83. Is i a multiple of 9?
True
Let a(y) = 13*y**2 - 22*y + 89. Is a(10) a multiple of 115?
False
Suppose -815*u = -773*u - 302862. Is 4 a factor of u?
False
Let s(z) = -z**3 + 8*z**2 - z + 13. Let c be s(8). Let k(l) = -17*l + 13. Let m(t) = -8*t + 7. Let w(y) = c*m(y) - 3*k(y). Is 40 a factor of w(4)?
True
Suppose 2*t + 5*t - 1190 = 0. Let g be (t/17)/((-2)/49). Let a = -161 - g. Does 12 divide a?
True
Suppose 11*i = -50458 + 502822. Is 69 a factor of i?
True
Suppose -2*t - a - 3*a = 172, 0 = -t - 4*a - 92. Let z = 166 - t. Suppose -2*r + z = r - 3*y, 5 = -y. Does 20 divide r?
False
Suppose 2*f = 4*s - 3*f + 47, 4*s + 48 = 4*f. Let a(j) = -3*j**2 - 24*j + 15. Let t be a(s). Does 21 divide ((-2)/(-3))/(-5 + (-902)/t)?
False
Suppose -2*f - 5 - 19 = 0. Let c(v) = 2*v + 24. Let s be c(f). Suppose s = 6*d - 2*d - 24. Is d a multiple of 2?
True
Let p(y) = 11*y + 79. Let s be p(-6). Suppose -s*m + 2256 = 280. Does 10 divide m?
False
Let i(j) = 2*j**2 - 7*j + 10. Let s be i(2). Suppose 4*d + 4*y - 3 = 5, 0 = d + s*y - 11. Is (-40)/(((-3)/(-9))/d) a multiple of 15?
True
Is ((-50)/(-10) - 6)*-658 a multiple of 94?
True
Let y = -72 + 70. Let u be 2 - y/(-4) - 45/30. Suppose -6*b = -u*b - 714. Is 25 a factor of b?
False
Let b(v) = -6*v**3 + 82*v**2 + 851*v - 15. Is 9 a factor of b(-11)?
True
Let o(y) = -9*y + 2. Let s be o(1). Let n(m) = -m**2 - 5*m + 5. Let b be n(s). Is 34 a factor of -2*b/3*17?
True
S