76 = -d - 4*y, -d - 5*y = -236. Does 72 divide d?
False
Let p(q) be the third derivative of 5*q**4/12 - 5*q**3/6 - 17*q**2. Let b be p(2). Let g(u) = -u**2 + 20*u - 9. Does 11 divide g(b)?
True
Let r(p) = 4*p + 42. Let m be r(-9). Does 3 divide 78 + 2*m/(-4)*1?
True
Let b be 7/(-42) + 251/(-6) + 4. Let f = 138 + b. Suppose f + 95 = 4*o + 3*r, o + 5*r = 70. Does 10 divide o?
False
Let d(n) = 205*n - 21. Suppose -4*o = -9*o + 4*l + 24, -3*l = -3*o + 15. Is d(o) a multiple of 17?
True
Suppose -21 = -5*q + 2*n, -3*n + 3 = -3. Suppose -425 = -q*b + 455. Does 4 divide b?
True
Suppose 18*m - 34 = 74. Suppose 5*l + 403 = 3*w, -9*l = -w - m*l + 141. Does 6 divide w?
True
Suppose 593*t - 5*c + 6981 = 596*t, 3*c - 2319 = -t. Is t a multiple of 41?
True
Let m(o) = 6*o + 1. Let a be m(1). Suppose -a*r = -41 - 1779. Does 65 divide r?
True
Let m = 12355 + -3715. Does 18 divide m?
True
Suppose 8*h + 7 = 47. Suppose 0 = 2*s - h*p - 116, 2*p - 3*p = -2*s + 124. Let i = -29 + s. Does 17 divide i?
True
Does 91 divide 84375/(0 + 15) - -16?
False
Let p = 45 + -41. Suppose 4*g = -0*g - p*z + 2316, 0 = 4*g - z - 2301. Suppose -5*h - g = -9*h. Is 8 a factor of h?
True
Let i(l) = 207*l - 622. Is 298 a factor of i(14)?
False
Let p(s) = 3*s**2 + 13*s + 743. Does 9 divide p(-40)?
False
Let d = 217 + 33. Let g = d - -358. Is 76 a factor of g?
True
Suppose 3*k - 7544 = -4*f + 3366, 2*f + 10880 = 3*k. Does 15 divide k?
True
Let q(t) = -2*t**2 + 48*t + 274. Is q(19) a multiple of 116?
True
Suppose -p - 3*b - 11730 = -4*p, 4*b - 19532 = -5*p. Does 31 divide p/7 + 2/(-7)?
True
Suppose -211 = -4*j + 5549. Suppose 29*q = 24*q + j. Does 18 divide q?
True
Suppose -1 = -2*a + 23. Suppose 2*f = 4*f - a. Let s(q) = 7*q. Is 14 a factor of s(f)?
True
Suppose 753 = -7*k + 221. Let w = k + 343. Is w a multiple of 17?
False
Let r(z) = 340*z - 212. Does 8 divide r(1)?
True
Suppose -z + 20 = 5*l, 3*z + 11 = -4. Is 4 a factor of 45/(-18)*(-344)/l?
True
Suppose -3*a + 3*j = 18, -30 + 0 = 5*a + 5*j. Let p be 2 - (a/9 - (-2)/3). Suppose 0 = -p*l - 6, -5*k + 2*l + 1011 = 0. Does 41 divide k?
False
Let t(i) = -7*i - 34. Let g(p) = 15*p + 2*p**2 + 3*p**2 - 4*p**2 + 35. Let a be g(-11). Does 28 divide t(a)?
False
Let o(v) = -3*v**3 + 3*v**2 + 9*v + 16. Suppose 5*u - 3*r - 2*r = -65, 0 = 5*u + 5*r + 25. Let n be ((-10)/(-3) + -3)*u. Is 21 a factor of o(n)?
False
Let u = -396 - -14212. Does 241 divide u?
False
Suppose 4339 + 5611 = 157*q - 6849. Is 10 a factor of q?
False
Suppose -4*n - n + 26 = -b, 2*n - 2*b = 12. Let x(d) = -d**3 + 6*d**2 - 4*d - 5. Let k be x(n). Suppose k = -2*t + 260 + 30. Is t a multiple of 38?
False
Let x = 69 + -69. Let k be 147 + x*2/8. Let a = k - 27. Is a a multiple of 30?
True
Let y be -1*(0 + 1) - -3. Let x(l) = 5*l**2 + 4*l + 7. Let c(u) = -2*u**2 - 3*u - 3. Let w(a) = 5*c(a) + 3*x(a). Is 20 a factor of w(y)?
True
Let a = -1924 + 4528. Is 12 a factor of a?
True
Let k(j) = 2 - 3*j - 5 - 19. Let i be k(-8). Suppose -i*a = -8*a + 288. Is a a multiple of 4?
True
Let o = 23195 + -16343. Is 21 a factor of o?
False
Let i(r) = -r**3 + 2*r**2 - r + 2. Let t be i(2). Suppose -y + 4 = 0, -d + 4*y = -t*y + 22. Let z(v) = -5*v - 6. Does 24 divide z(d)?
True
Suppose -5*a - 5*t = -85115, -21*a + 20*a - 4*t + 17029 = 0. Does 9 divide a?
False
Suppose 2*u + 4*m = 28476, -156*m + 157*m - 42704 = -3*u. Does 33 divide u?
False
Suppose 10*g - 190 - 172990 = 0. Suppose 1388 = -9*v + g. Is v a multiple of 15?
True
Let x(h) = 12*h - 29*h + 8*h + 3 + 2*h**2 + 10*h. Is 24 a factor of x(3)?
True
Let n(q) = q**2 - 9*q + 14. Suppose -4*l + 9*l - 55 = -5*z, -5*l + 19 = -4*z. Let k be n(l). Suppose k*s - 150 = -2*s. Does 15 divide s?
True
Let l be (3 - 1)*((-11356605)/18)/13. Is 54/513 + (-4)/(228/l) a multiple of 13?
True
Let a be (-90)/(-18) + (-1 - 2). Suppose -4*k + 10 = -3*i, -i - a*i + k + 2 = 0. Suppose -i*j + 23 = -j. Does 23 divide j?
True
Let a = -12 + 33. Let p = 146 - 37. Suppose 2*g - a = p. Is 13 a factor of g?
True
Let l be -2 - (-4 - 8/4). Does 7 divide l/10 + (1158/30 - 1)?
False
Is 28 a factor of ((346724/(-70))/(-29))/(3/660)?
True
Suppose 4372*d + 244980 = 4432*d. Does 3 divide d?
True
Let k = -7646 + 8465. Is k a multiple of 12?
False
Let y(p) = 194*p**2 + 33*p + 194. Does 66 divide y(-5)?
False
Let k(u) = 1. Let n(x) = -19*x - 13. Let t(m) = 6*k(m) + n(m). Let f be t(-6). Suppose f = 5*p - 73. Is p a multiple of 6?
True
Let h = 190 - 187. Suppose -r + 5*a + 183 = 0, -4*a = 5*r - h*a - 837. Is 21 a factor of r?
True
Let t = -50 + 360. Let a = t + -290. Is a a multiple of 4?
True
Let f(b) = b**3 + 9*b**2 - 249*b - 28. Does 10 divide f(20)?
False
Let z(g) = -24*g**3 + g**2 - 4*g + 3. Let c be z(1). Is c/660*-11 + 7816/10 a multiple of 12?
False
Suppose 2*l - 5*l = 882. Let z be l/(-14)*(-28)/(-6). Let g = -85 + z. Does 2 divide g?
False
Suppose -3*o = 0, 145*o - 146*o - 4860 = -3*g. Is 5 a factor of g?
True
Let n be -1 + (0 - -3 - -43). Suppose 5*m - k = n, 0 = -3*m + k - 2*k + 27. Is (0 + m)*130/39 a multiple of 6?
True
Let n(l) be the first derivative of 424*l**3/3 - 7*l**2/2 + l - 40. Is 24 a factor of n(-1)?
True
Let v(r) = r**3 + 8*r**2 + 8*r - 2. Let g be v(-2). Let o(k) = 11*k - 12. Does 14 divide o(g)?
False
Suppose -4 = b - 3*b. Suppose 0 = -b*p + 2*s - 1848, -s = 4*p + 2*s + 3668. Is ((-30)/25)/(6/p) a multiple of 13?
False
Suppose 17745 = 3*r + 5*x, -56*x = -2*r - 59*x + 11831. Does 23 divide r?
False
Let k = 12 - 4. Suppose -z - 4*y = -71, -116 = 6*z - k*z + 5*y. Is 9 a factor of z?
True
Suppose 0 = -9*g - g - 170. Let y be 3 + 1 + g + 131. Let s = y + -70. Is s a multiple of 14?
False
Let j be 1/(-1 + 2 - 0) + -3. Let b be (44/(-6) + j)*21/14. Is (-3*b/(-35))/(2/(-50)) a multiple of 15?
True
Suppose i - 19132 - 21792 = 164. Is i a multiple of 192?
True
Let q(f) = -4*f**3 - 27*f**2 + f + 1. Let j be q(-8). Suppose z - 149 = 3*h, 2*h = -5*z + 415 + j. Is z a multiple of 9?
False
Suppose -5*w = -99 + 19. Is 40 a factor of w/6*(8 - -7)?
True
Suppose -8728 = -4*p - 2*p + 33602. Is p a multiple of 17?
True
Suppose 155*n + 2*a = 157*n - 30232, -3*a = 2*n - 30232. Is 7 a factor of n?
False
Is (1344/(-80))/((-38)/48925) a multiple of 206?
True
Suppose 2*d + z = 1260, 21*d - z - 3150 = 16*d. Is 126 a factor of d?
True
Suppose -8*x + 22444 - 21828 = 0. Does 12 divide x?
False
Let q(t) = t + 23. Let w be q(-18). Suppose 0 = -6*i + 23 - w. Suppose i*n - 4*m + 6*m = 84, -56 = -2*n - m. Is n a multiple of 14?
True
Let l(y) = 6*y**2 + 44*y - 1776. Does 22 divide l(-53)?
False
Let y = 180 - 176. Let g be 8/(-6)*(-7)/((-49)/(-1533)). Suppose -y*o = -6*o + g. Is 5 a factor of o?
False
Suppose -13*j = 6*j - 3*j. Is 27 a factor of 107 + -51 + (-2 - j)?
True
Suppose -22*h + 8151 = -3*h. Suppose 67 - h = -3*g - o, -124 = -g + 3*o. Is 5 a factor of g?
False
Let l be (-2)/9 - 380/(-90). Let f be l*(-9)/30*-5. Suppose 4*a = f*a - 4*o - 530, -760 = -3*a - o. Does 17 divide a?
True
Suppose 5*c - 15675 = 223*u - 228*u, -5*c + 4*u = -15594. Is c a multiple of 11?
False
Suppose 21*w = 2*w - 10*w + 198737. Is 7 a factor of w?
True
Let i = -4 - -8. Suppose 345 + 404 = -7*f. Is 19 a factor of 2*(-2)/i*f?
False
Let s be (-2)/(4*(-1)/(-2)). Does 2 divide ((-12)/24)/(s/112)?
True
Let d(h) = -7*h**3 - 39*h**2 - 317*h + 2. Is 57 a factor of d(-18)?
False
Suppose 4*q = 7*q - 240. Let c = q + -96. Let s = 81 + c. Is s a multiple of 16?
False
Suppose 57*f - 121303 = 14*f. Is f a multiple of 13?
True
Let a = 906 + -870. Is 18 a factor of a?
True
Let n(b) = 82*b + 5409. Is n(73) a multiple of 43?
True
Let u = 39 - 57. Let z be -3 + u/(-3) + 1. Is (-39)/12*z/(-1) a multiple of 2?
False
Let w(v) be the second derivative of 11*v**5/30 - v**4/8 + v**3/3 + 16*v**2 + 29*v. Let p(l) be the first derivative of w(l). Is p(2) a multiple of 13?
False
Let z = -323 - 826. Let k = -1 - 1. Is k/(-8) - z/(-12)*-1 a multiple of 24?
True
Let l(b) be the first derivative of -27*b + 2 - 17 - 27*b + 3*b**2 + 2. Does 24 divide l(21)?
True
Suppose 2*i = d - 328, 10*d - 6*d = -2*i - 328. Let b = i - -188. Does 8 divide b?
True
Let w(d) = 20*d**2 + 15*d - 714. Is w(18) a multiple of 12?
True
Let w(j) = 79*j**3 + 4*j**2 - 5*j + 10. Is 14 a factor of w(4)?
True
Let r be -7 - 5243/21*-3. Let f = r + -47. Is f a multiple of 16?
False
Le