-87 - -92. Suppose 0 = -3*y + 5*y - 2*t - 650, b*t = -y + 313. Is y a multiple of 34?
False
Let i = 1 + 1. Suppose 0 = -g - 0*g + i*d + 27, 0 = -2*g + 5*d + 55. Is g a multiple of 14?
False
Suppose -3*l = 12, -2*l = -a - 5*l - 8. Let p be (3 + -11)/a*-5. Suppose -4 - 1 = -5*h + 5*q, 0 = 5*h - 4*q - p. Is h a multiple of 2?
True
Suppose 0 = 29*r - 16499 - 15198. Is r a multiple of 23?
False
Let m = -467 + 669. Is 6 a factor of m?
False
Let u(r) be the first derivative of r**4/4 - 13*r**3/3 - 10*r**2 - 14*r - 3. Let c be u(15). Let h = 204 - c. Does 24 divide h?
False
Let a(n) = -5*n - 18. Is 56 a factor of a(-26)?
True
Let t(s) = -s - 1. Let v(r) = -6*r**2 + r + 1. Let d be v(-1). Let a be t(d). Suppose a*m = 2*x + 128, -m + 5*x = m - 68. Is 8 a factor of m?
True
Suppose 0*z - 18 = -2*z. Suppose z = 5*b - 2*b. Let v = b + 9. Is v a multiple of 12?
True
Let m(i) = -3*i - i**3 + 2*i**3 - 2*i**2 + 3*i**2. Let h(u) = -2*u**2 - 45*u + 26. Let t be h(-23). Is 9 a factor of m(t)?
True
Suppose -3*g - 4 = -5*y, -23 = -4*g + 4*y - 3*y. Let u(d) = 2*d + 16. Is 5 a factor of u(g)?
True
Is 42 a factor of 8*((-6630)/(-12))/13?
False
Let p(t) = 2*t**2 + 4*t - 36. Is p(4) a multiple of 4?
True
Is 16 a factor of (-1)/(-5) + 784/5?
False
Let a = 86 + -84. Suppose -o = m - 92, 0 = -a*o - 5 - 3. Is 12 a factor of m?
True
Let v(d) = -7*d - 16. Let w(y) = -21*y - 49. Let i(k) = 7*v(k) - 2*w(k). Does 25 divide i(-6)?
False
Let w(j) = j**2 + 2*j + 9. Let v be (-19)/(-2) + (-1)/2. Is 27 a factor of w(v)?
True
Let h(n) = -n**3 + 12*n**2 + 16*n - 14. Suppose 5*u = v - 3, -3*v = 5*u + 10 - 59. Is h(v) a multiple of 7?
False
Suppose 5 = 5*u - 5. Suppose -u*c = -6*c + 620. Is c a multiple of 31?
True
Suppose 3*f + 3*k - 4*k - 193 = 0, -2*f + 2*k = -126. Does 13 divide f?
True
Suppose 0 = 8*n - 468 - 1908. Is n a multiple of 11?
True
Suppose 4*x - 5*f - 6 = 0, -9*x + 2*f + 4 = -7*x. Suppose r = -5*z + 354, -x*r + 68 = z - r. Is 12 a factor of z?
False
Suppose 5*z - 717 = -0*l + 2*l, -2*z + 3*l + 278 = 0. Is 2 a factor of z?
False
Suppose -5*b + 0*l + 1422 = 2*l, 2*b - 564 = -2*l. Does 22 divide b?
True
Let i(v) = -v**3 - 10*v**2 + 22*v + 51. Does 15 divide i(-12)?
True
Let x(f) = 6*f**2 + 5*f - 6. Is 5 a factor of x(1)?
True
Let n(z) = -z**2 - 8*z + 11. Let b be n(-9). Let m be (-1)/b - 162/(-4). Suppose 0 = -4*y + m + 52. Is y a multiple of 6?
False
Suppose 3 = -m + 5. Let d be 7/9 + 6/27. Suppose 5*b - 35 = 4*a, 9 = -m*a - d. Is 2 a factor of b?
False
Let l(m) = -74*m - 544. Is 31 a factor of l(-9)?
False
Suppose -1939*d = -1948*d + 11457. Does 12 divide d?
False
Let k(a) = -a**3 - 18*a**2 - 22*a - 23. Let v be (-102)/(-9)*(-6)/4. Let o be k(v). Let i = o + -36. Is 13 a factor of i?
True
Let l(a) = -7*a - 6. Does 60 divide l(-18)?
True
Let f(b) = b**3 + 20*b**2 - 13*b + 145. Does 26 divide f(-17)?
False
Let i(a) be the first derivative of -18*a + 1/4*a**4 - 7 - 14/3*a**3 + 2*a**2. Is i(14) a multiple of 19?
True
Let s = -33 - -29. Does 7 divide s/16 + 618/8?
True
Let o(j) = j**2 - 4*j - 12. Let q be o(6). Suppose -119 = -2*g + 2*i - 13, q = -4*g - 5*i + 248. Is 11 a factor of g?
False
Suppose -546*r + 538*r + 18224 = 0. Is 67 a factor of r?
True
Suppose 101*r + 53*r - 482174 = 0. Does 36 divide r?
False
Let s = -7 - -5. Let q be 5 + -6*(20/(-8) - 4). Let y = q + s. Does 18 divide y?
False
Let p be 4*(-1)/(-4) - -2. Let y(l) = 67*l. Is 12 a factor of y(p)?
False
Let v(f) = f**3 + 6*f**2 - 9*f + 11. Is 65 a factor of v(-6)?
True
Is 3 a factor of (66/(-110))/((-1)/90)?
True
Let q(j) = -6*j**3 - 2*j**2 - j. Let x be q(-1). Suppose 7*c = x*c + 12. Does 4 divide c?
False
Let g(c) = -c**2 + 10*c + 10. Let z = 11 - 9. Suppose -z*d + 14 = -4. Does 6 divide g(d)?
False
Let q(t) = -t**3 + 8*t**2 + 13*t - 15. Let c be q(9). Suppose -6*a + 123 = -c. Is 12 a factor of a?
True
Let o = -41 + 49. Suppose -x + o*x = 490. Is x a multiple of 10?
True
Suppose -16*c + 1141 = -9*c. Suppose 0 = 5*j - c - 207. Is 37 a factor of j?
True
Let l = 4 + 0. Suppose l*c = 9*c - 10. Suppose 4*d - 182 = c*d. Does 14 divide d?
False
Let z(u) = -127*u - 26. Is 21 a factor of z(-1)?
False
Suppose -2*o - 569 = -3*y - 2*y, -3*y = 5*o - 329. Suppose 275 = j + y. Is j a multiple of 27?
True
Let q be (-2 - 4/4)/(-1). Is q/(1*(-4)/(-260)) a multiple of 16?
False
Suppose -19*d = -2*d - 36635. Is d a multiple of 14?
False
Suppose 3*s + m = 2, 26 = 5*s - m - 3*m. Suppose s = -5*g + 6*g. Suppose g*w - 96 = -0*w. Does 16 divide w?
True
Suppose 2*s - 9 + 1 = 0. Suppose s*r - r - 330 = 0. Is r a multiple of 10?
True
Let h = -47 - -84. Let s = 24 + 3. Let k = h - s. Is k a multiple of 8?
False
Suppose 0*o = -4*o + 2*k + 760, 0 = o + 3*k - 183. Does 7 divide o?
True
Suppose v + 17 = 21, 4*v = 5*g - 9. Does 3 divide g?
False
Suppose 0 = -2*u + 4, -t + 2*u = -3*u - 900. Does 65 divide t?
True
Let p be ((-21)/(-6) - 1)*4. Let u = p - 7. Suppose -10 = -u*s + l, 0 = s - 0*l - 3*l + 10. Is s even?
False
Let o = -32 - -35. Suppose -843 = -5*i - n, 2*i - n - o*n - 346 = 0. Is i a multiple of 24?
False
Suppose 3*c - 6744 = 4*y, c - 6*y + 5*y = 2248. Is 16 a factor of c?
False
Suppose 96*d - 77760 = 42*d. Is 9 a factor of d?
True
Let n(a) = -a**3 + 4*a**2 + 4*a + 4. Let s be n(-3). Let z = s - 9. Is 23 a factor of z?
True
Suppose -57*j + 83786 + 15223 = 0. Is 69 a factor of j?
False
Is (-2 + -14 - -7) + 1951 a multiple of 115?
False
Let v = 566 - 502. Does 8 divide v?
True
Let v(g) = -g**3 - 9*g**2 - 6*g + 14. Let n be v(-8). Does 18 divide (51/n)/((-3)/6)?
False
Let c = -27 - -30. Suppose 305 = 2*z - 3*y, -c*z - 150 = -4*z + y. Does 23 divide z?
False
Let k(f) be the first derivative of -f**4/4 - 10*f**3/3 - 5*f**2 - 5. Does 11 divide k(-10)?
False
Suppose -70027 + 11627 = -40*n. Is n a multiple of 31?
False
Let y(u) = u + 13. Let h be y(-8). Suppose h*v - 672 = -3*w, 3*w - 132 = -2*v + v. Suppose 0*b + v = 5*b. Is 27 a factor of b?
True
Let c = 429 - 300. Suppose -4*l - 107 = -3*n, -5*l + 53 - c = -2*n. Does 9 divide n?
False
Suppose 3*l + j = 4*l - 33, -5*j = 5*l - 165. Let p = l - -16. Does 9 divide p?
False
Suppose -3*n - 6 = 2*z, 0 = -z - 2*n - 2*n - 13. Suppose 4*b = 3*o - 188, 2*o - z*b - 54 - 72 = 0. Is 15 a factor of o?
True
Let i(l) = l**2 - 7*l - 5. Let n be i(8). Suppose -n = -3*q + 2*q. Does 6 divide 3/(q/20) + -2?
True
Let k be (0 + (-20)/8)*-6. Suppose -3*n = -3*c + k, -2*c - 7 = -3*n - 21. Is (-1368)/(-63) + n/(-14) a multiple of 11?
True
Suppose 0 = -x - 2*x. Let q = 136 - 54. Suppose -5*i + q = 2*o - 194, 2*i + 5*o - 123 = x. Is 18 a factor of i?
True
Suppose -2*q = 3*d - 3, -5*q = -3*d + 4 - 1. Suppose q = 5*m - 71 - 4. Let j = 24 - m. Is j a multiple of 9?
True
Let q(a) = -20*a + 1. Let i be q(-1). Suppose -w = -48 - i. Does 7 divide w?
False
Suppose 2*s + 56 = 538. Suppose 2*t = -0*r + 2*r - 94, 0 = 5*r + t - s. Is 24 a factor of r?
True
Suppose 4*u = 5676 - 984. Does 69 divide u?
True
Let i = 31 - 26. Suppose 128 = 2*w + 4*p - 46, -i*w + 4*p + 477 = 0. Does 28 divide w?
False
Suppose -67*b - 6699 = -122341. Is 24 a factor of b?
False
Let u(p) = 63*p - 175. Is u(8) a multiple of 10?
False
Let b(h) = -17*h**2 + 7*h + 1. Let u be b(6). Let j = 889 + u. Let d = j - 228. Does 22 divide d?
False
Suppose -12*r = 141 + 771. Suppose -d + 5 - 21 = 0. Let w = d - r. Is w a multiple of 24?
False
Suppose 2*i - 4248 + 1288 = 3*n, 4*i - 5908 = 3*n. Is 67 a factor of i?
True
Suppose 5*p - 3*x = 13, -3*p - 3*x + 31 = 4. Suppose 3*v - 17 = y, -p*v + y = -3*y - 33. Suppose k = v*l - 213, -2*l - k = -5*k - 96. Does 9 divide l?
False
Let k = -64 - -73. Let x = 19 + k. Is x a multiple of 14?
True
Let n be ((-2)/5)/(2/(-30)). Suppose 12*y = 91 + 17. Let v = y + n. Is 5 a factor of v?
True
Let h(c) = -c**2 - 7*c - 3. Let q be h(-6). Let f = -20 - -24. Suppose r = -f*g + 64, -q*g - 62 = -r - 6*g. Is r a multiple of 14?
True
Let c(f) = f - 3. Let w be c(3). Suppose -r - 1 + 8 = w. Suppose 2*u = r*u - 50. Is u a multiple of 5?
True
Is 22 a factor of 8912/9 + -2 + 96/54?
True
Let j(t) = 368*t + 1002. Is 14 a factor of j(5)?
True
Does 15 divide ((-1)/(-2 + 1))/((-73)/(-5402))?
False
Let a = 850 + -530. Is a a multiple of 40?
True
Let l(a) = -a**2 + 19*a - 2. Let s = -73 + 87. Is l(s) a multiple of 22?
False
Suppose 3*b - 35 - 5 = -4*s,