5942 = -4*g + 2*g, -4*f - 5*g = -5945. Suppose 2*w - 6*z = -2*z + 1014, f = 3*w + 3*z. Is 12 a factor of w?
False
Let r = 33535 + -21405. Is 95 a factor of r?
False
Is (1 - -1109)/((900/234)/25) a multiple of 111?
True
Suppose -122*r + 12200 + 28963 = -2147. Is 71 a factor of r?
True
Let a be (4 - 2)/(4/32*4). Is (194 - 10/5) + a a multiple of 28?
True
Let h(s) = 410*s**2 + 6*s + 11. Let t be h(-2). Is 20/(-60) + t/3 a multiple of 13?
True
Let a = -144 + 142. Let k(t) = 175*t**2 + t + 2. Does 28 divide k(a)?
True
Suppose 0 = -2*m + p + 314, -m + 33 + 131 = -4*p. Suppose 2*k = -3*a - 2*a + 64, 4*k - 4*a = m. Suppose o - k = 2*y, 3*y - 1 = -7. Does 25 divide o?
False
Let p(y) = 4*y - 27. Let d(k) = 5*k - 25. Let q(z) = 2*d(z) - 3*p(z). Let s be q(14). Suppose -2*i + 300 = -4*r, 3*i + s*r = -0*i + 405. Is 21 a factor of i?
False
Let w = 31684 - 15880. Does 12 divide w?
True
Let p(q) = 2*q - 11. Let m(k) = -k + 6. Let z(a) = -7*m(a) - 4*p(a). Let o be z(-3). Let t(w) = -w**3 + 9*w**2 - 6*w - 6. Does 10 divide t(o)?
False
Let u(s) = 8*s + 169. Let m be u(-15). Does 2 divide (-43)/(-2) - (m/14 - 4)?
True
Let x(w) = -14*w**3 - 3*w**2 - w. Let j be x(-1). Let l(o) = 16 + 1 - j*o - o**2 + 0*o**2 - 4. Is l(-9) a multiple of 10?
True
Let g(s) = 139*s**2 + 319*s - 3630. Is 23 a factor of g(11)?
True
Let n(d) = -d**3 + 11*d**2 + 5*d - 5. Let q be n(11). Suppose 2*f + 5*c = q + 164, f - 4*c = 120. Is 27/(-2)*f/(-12) a multiple of 38?
False
Suppose 22*l = 19*l - 87. Suppose 5*t + 12 = -53. Let d = t - l. Is 8 a factor of d?
True
Suppose 5*o - 10 = -m + 5, 0 = 2*o + 4*m - 24. Suppose o*j - 452 = -w, -j - 118 - 1735 = -4*w. Does 11 divide w?
True
Let v(t) = 3*t**2 - 27*t - 28. Let f be v(-20). Let g = f + -848. Is g a multiple of 12?
True
Suppose 0 = -n - 2*s + 3, 121*n = 126*n - 2*s + 33. Suppose -3*r = l - 29, 3*l - r - 68 + 11 = 0. Is (-8)/l - 177/n a multiple of 5?
True
Let b = -4617 + 5539. Is b a multiple of 3?
False
Suppose 0 = 3*s - 7*s. Suppose 3*g = s, 4*g = f - 0*g - 576. Is (5/(-9)*3)/((-4)/f) a multiple of 48?
True
Is 259 a factor of (1 - -52442)/(-7*81/(-378))?
False
Let y = -165 + 165. Suppose 2*m - 470 = -19*a + 14*a, -5*m - 2*a + 1217 = y. Is 33 a factor of m?
False
Let h(p) = p**3 + 2*p**2 - 3*p + 4. Let u be h(-3). Suppose -u*w + 1559 - 215 = 0. Let d = -228 + w. Is d a multiple of 12?
True
Let q(r) = -11*r + 52. Let a be q(4). Suppose -a*z + 2267 = 371. Does 13 divide z?
False
Let w be ((-30)/(-4))/((-6)/272) - -4. Let z = w - -374. Does 2 divide z?
True
Is (17550/(-60))/((6/14)/(624/(-84))) a multiple of 15?
True
Does 7 divide -5*(-302)/(-453)*9981/(-10)?
False
Suppose 0 = 3*l + 37*l - 9*l - 174933. Does 171 divide l?
True
Let q(m) = 50*m**3 - m**2 + 8*m + 9. Let s be q(-1). Is 44 a factor of 299234/425 - (-4)/s?
True
Let w = 580 - -617. Is w a multiple of 15?
False
Suppose 47*k = 86829 + 83593. Is k a multiple of 49?
True
Suppose -2*i = 3*r - 4545, 0 = 3*i - 146*r + 151*r - 6820. Is i a multiple of 115?
False
Let r(l) = 72*l - 16 + 8 - 10. Is r(3) a multiple of 11?
True
Let s be (1033 + 0)*-1*(-15 - -14). Suppose 4*h + 1248 = 3*d, 3*h - 2697 = -4*d - s. Is 51 a factor of d?
False
Let d = 1903 + 4718. Is d a multiple of 8?
False
Let g(f) = -f**2 - 45*f - 291. Let l be g(-37). Suppose -3*a - 3194 = -l*x + a, -4*x + 2556 = -3*a. Is x a multiple of 57?
False
Let s(h) = 16*h**3 + h**2 - 35*h + 180. Is s(7) a multiple of 19?
True
Let y = 944 + 1408. Suppose -35*j + 43*j = y. Does 31 divide j?
False
Let y(z) = 3*z**2 + 31*z + 104. Let q be y(-9). Suppose q = g - 265. Is g a multiple of 111?
True
Suppose 784 = 4*d + 4*p, -4*d + 3*p = -8*d + 778. Is d a multiple of 2?
True
Let d(i) be the third derivative of -i**6/120 - i**5/5 + 3*i**4/8 + 7*i**3/6 - 7*i**2. Let k be d(-13). Let p = k + -50. Is p even?
False
Suppose 8*k - 2*k = -130*k + 1020000. Does 6 divide k?
True
Let q = -794 + 794. Suppose q = -8*w + 329 + 199. Is 6 a factor of w?
True
Is 1753/(-6)*(3 - 9) a multiple of 36?
False
Let z(r) = -r**3 + 16*r**2 + 37*r - 13. Let a be z(18). Suppose 2*t + 4*i - 249 = -91, a*t - 410 = -5*i. Is t a multiple of 5?
True
Suppose -5*w + 30*m - 26*m = -20330, 0 = -4*m + 20. Does 55 divide w?
True
Let l be (-22)/(-55) - 424/10. Let k be 20/14 - 24/l. Suppose 0 = -5*y + 2*w + 349, -k*w - 3*w + 197 = 3*y. Does 20 divide y?
False
Let t(j) = -11*j - 311. Let w be t(0). Let d = -153 - w. Is d a multiple of 32?
False
Suppose 2*m = 10*m + 520. Let f = m + 300. Suppose 9*o - 14*o = -f. Is o a multiple of 18?
False
Let i = -1752 - -2229. Is i a multiple of 28?
False
Let p(l) = -7*l + 42. Let f be p(5). Suppose -5*b - f - 3 = 0, -17 = -3*o + b. Suppose 0*u = -o*u + 240. Is u a multiple of 23?
False
Suppose 5546*w + 991375 = 5649*w. Does 48 divide w?
False
Suppose 0 = i - 1 - 2. Suppose i*f = 9*f - 414. Let q = f - 21. Is q a multiple of 24?
True
Suppose -446490 = -30*m + 15*m. Is m a multiple of 11?
True
Suppose 2*w - 1064 = 4*j + 3*w, 4*j + 1056 = w. Let h = -21 - j. Suppose -7*o - h = -9*o. Does 17 divide o?
False
Let g = -162 - -261. Let a = 0 - -9. Suppose a*y + 18 = g. Does 3 divide y?
True
Let c = -297 + 346. Let v(s) = 6*s - 237. Does 3 divide v(c)?
True
Let g be 4 - (-12 + (-3 - -5)). Let r = 300 - g. Is 22 a factor of r?
True
Let u(x) = -68*x - 36. Suppose 5*m - 14 = -4*t - 43, -5*m + 2*t = 53. Is 12 a factor of u(m)?
True
Suppose 3*i + 2650*b - 2651*b - 87476 = 0, 5*b = -3*i + 87428. Does 197 divide i?
True
Let k(p) be the second derivative of -15*p + 21/2*p**3 + 0 - p**2. Is k(1) a multiple of 12?
False
Let s = 2 + -11. Let v(d) = -d**3 - 8*d**2 + 10*d + 9. Let l be v(s). Suppose -2*x + 3*t + 44 = l, -2*t + 2 = -2. Is 8 a factor of x?
False
Suppose -12*i = -17*i - 245. Let j = -43 - i. Suppose -j*x = x - 511. Is x a multiple of 13?
False
Suppose -5*v + 6172 = 4*u, 31*u + 2474 = 2*v + 30*u. Does 47 divide v?
False
Let j be -6 - -7 - ((0 - 6) + 2). Suppose j*l + 1 = 31. Suppose -l*a = -16 - 38. Is a a multiple of 3?
True
Let s = 83 + -91. Let n(l) = -2*l**3 - 11*l**2 - 8*l - 9. Is 25 a factor of n(s)?
True
Suppose -92*k = -94*k + 2370. Let y = -680 + k. Is 20 a factor of y?
False
Suppose -8396*k - 36850 = -8407*k. Is 24 a factor of k?
False
Suppose -29*t = -28*t - 4. Suppose -250 = -o + 3*i, 1000 = t*o - i + 6*i. Let k = 525 - o. Is k a multiple of 21?
False
Let a(v) = v**3 + 13*v**2 - 5*v - 7. Let n(h) = -6*h**3 - 66*h**2 + 24*h + 35. Let m(g) = 11*a(g) + 2*n(g). Is 6 a factor of m(5)?
True
Suppose -174 = -3*r - w, 0 = 2*r - 5*w - 74 - 25. Is 19/r + 47/3 a multiple of 15?
False
Let a = -5701 + 6321. Is 142 a factor of a?
False
Suppose -2566 = h - 3040. Is 8 a factor of h?
False
Let i(b) = -3*b**3 + 2*b**2 - 5*b - 2. Let j be i(-3). Suppose -27*d + 23*d + j = 0. Suppose -s - 4*x + 33 = -7*x, -4*x = -s + d. Does 18 divide s?
False
Suppose 4*i - 1828 = -2*m, -4*m + 3*i + i + 3632 = 0. Is 13 a factor of m?
True
Let p(h) = -81*h**3 + 7*h**2 + 95*h + 165. Does 9 divide p(-2)?
False
Let b(p) = -3*p - 5. Let f(n) = -2*n - 41. Let l be f(-19). Let g be b(l). Suppose -3*y + 5*z + 53 = 0, g*y - 3*y + z = 15. Is y a multiple of 3?
False
Let t(l) = -452*l - 552. Is t(-54) a multiple of 28?
True
Is 16 a factor of (-6 - 524)/((-11)/((-1771)/(-14)))?
False
Let s = 19 + -39. Let h be (-2)/(2/30*3)*s. Suppose -2*y + 5*i + 187 = 62, -3*y + h = 5*i. Does 13 divide y?
True
Let f = 4119 - -3559. Is 13 a factor of f?
False
Let c = -338 + 498. Does 10 divide c/(-60)*381/(-4)?
False
Suppose 64*r - 29*r = 36925. Is r a multiple of 18?
False
Does 58 divide (-48138)/(-10) - (-48)/240?
True
Let x be 0 - (4 + (-56 - -4)). Suppose -6*d + 8*d = -x. Is 9 a factor of (-4)/d + (-987)/(-18)?
False
Let q(v) = -2*v**3 - 19*v**2 + 30*v - 36. Let d be q(-11). Let l be 2/3 - (-395)/15. Let f = l - d. Does 10 divide f?
True
Suppose 6345 = 5*t + f, -7*t + f = -6*t - 1269. Is t even?
False
Let u(v) = -3903*v**3 - 13*v**2 - 18*v - 6. Is 37 a factor of u(-1)?
False
Let s(h) = -2*h - 22. Let g be s(-12). Suppose 2690 = 5*l + 5*x, 0*l - 1073 = -g*l - 5*x. Does 9 divide l/21 + (-1)/(-3)?
False
Is -1*(-14396 + -1) + 12 a multiple of 13?
False
Let j = -731 - -730. Is (84/168)/(j/(-1084)) a multiple of 13?
False
Let r(p) = -p**2 - 6*p + 19. Let l be r(-6). Suppose -l*z = -23*z + 40. Is 10 a factor of (1