e
Suppose 5*w = -5*y + 10, -8 + 4 = -2*y + 2*w. Suppose -87 = -y*q + 53. Is q a multiple of 20?
False
Let l(b) be the first derivative of -34*b**4 - b**3/3 - 4. Suppose 3*n = 2*h + 3, 3*n + 5*h = 4*h - 6. Does 9 divide l(n)?
True
Let i = 3485 + -567. Suppose -3*d - 4*m = -i, 3*d + m - 1391 - 1512 = 0. Is 69 a factor of d?
True
Let o(f) = 8*f**2 - 2*f + 4. Let g be o(-4). Let h be 1/(-2)*g/(-14). Suppose 2*j - 3*l = 7*j - 174, 3*j - 114 = -h*l. Is j a multiple of 3?
True
Suppose 12 = 7*j - 16. Suppose -3*h + 5*b = -338, 0 = -0*h - j*h + 3*b + 469. Suppose -3*a + 71 = -h. Is a a multiple of 8?
True
Let d = 561 - 305. Let f = -61 + d. Does 65 divide f?
True
Let l(i) be the second derivative of 22*i - 41/2*i**2 - 1/12*i**4 + 0 - 13/3*i**3. Is 37 a factor of l(-17)?
False
Let n be 12/4*(2 - 1). Suppose n*l - 561 = 3*c, -8*l + 4*l - c = -748. Does 11 divide l?
True
Suppose -k + 13*v = 16*v - 466, 5*v - 1378 = -3*k. Let p = 677 - k. Is 10 a factor of p?
False
Does 42 divide (14/(-3))/(14 + 260076/(-18576))?
True
Let y(p) = 400*p**2 + p + 14. Does 44 divide y(-3)?
False
Let z(r) = -r**3 - 23*r**2 - 21*r + 42. Let c be z(-22). Suppose -4*n + 4785 = 3*a, -3*n + c + 3590 = -2*a. Is n a multiple of 30?
True
Let u(w) = 223*w**3 + w**2 - w + 1. Let d be u(1). Let m be 3*4*(6 + d/24). Let b = 496 - m. Is 24 a factor of b?
True
Is 58 a factor of (0/5 - 86630/(-14)) + (-36)/(-252)?
False
Let k be (1 - 0)/(1/7). Let f = 0 + k. Let d(r) = 15*r - 28. Is d(f) a multiple of 16?
False
Does 52 divide (11 - (-6210)/50)*(-320)/(-8)?
True
Let r(j) = 4*j**2 - 99*j - 20. Let n be r(25). Let v(c) = 147*c + 17. Does 16 divide v(n)?
True
Let j be 15/9*615/25. Suppose j*s - 4132 - 15507 = 0. Is s a multiple of 11?
False
Let r(f) = -f**3 - f**2 - f + 5. Let s be r(0). Suppose -u + t = 4*t - 61, 305 = s*u + 5*t. Suppose -313 + u = -2*p. Is p a multiple of 15?
False
Suppose -4*y - 2646 = -5*j, 4*y = -3*j - 0*j + 1562. Is 17 a factor of j?
False
Suppose -81 = -4*l + 39. Suppose 679*c = 680*c - l. Is 8 a factor of c?
False
Suppose 0 = -m + 15 - 16. Does 24 divide -7 + 3014/55 - m/5?
True
Let s(y) = y**2 + 16*y - 19. Let h be s(-17). Let r be 3*-57*(1 + h). Suppose -r - 301 = -4*z. Does 14 divide z?
False
Let n = -20 - -29. Let j be (-2721)/(-21) + n/21. Suppose 7*l = 122 + j. Does 9 divide l?
True
Let l be (-80)/(-4) - (3 - 3). Suppose a = 5*k + 20, -5*a = -k - l - 8. Suppose -3*y + 0*y = -3*b - 510, 0 = -a*y - 5*b + 860. Does 24 divide y?
False
Let a(g) = -g**3 + 14*g**2 - 16*g + 26. Let q be a(13). Let t(d) = -22*d + 6. Is t(q) a multiple of 10?
False
Suppose 2*k = -2*s + 30, 5*k - 4*s + 3*s - 81 = 0. Let f(q) be the second derivative of -q**3/6 + 22*q**2 - q - 5. Is 14 a factor of f(k)?
True
Suppose -311*o + 294*o + 30532 = 0. Is o a multiple of 2?
True
Let o be (-12988)/(-44) - 4/22. Let t = 2281 - 2281. Suppose 10*l + 5 - o = t. Is 4 a factor of l?
False
Let h(s) = s**3 + 19*s**2 + 4*s - 49. Let c be h(-21). Let v = -474 - c. Suppose 3*t - 68 - v = 0. Does 18 divide t?
False
Let d be 154/1 - (39 - 35). Suppose 5*v + 5*t - 450 = 0, -d = -5*v + 5*t + 280. Is 3 a factor of v?
False
Suppose -2*j = 5*w - 3*w + 56, w = j + 20. Let k be 9/4 - 18/j. Is 14 a factor of 92*k*4/8?
False
Suppose 4328 = 2*d - 952. Is 40 a factor of d?
True
Let q = 3 - -2. Let k(v) = -v**2 - 25*v - 49. Let j be k(-22). Suppose 2*r - 4*z - 63 = j, -q*z - 37 = -r. Does 21 divide r?
True
Let q(z) = -160*z - 195. Is 13 a factor of q(-13)?
True
Let k(s) = 1714*s + 2185. Is k(5) a multiple of 15?
True
Is (-4 - -4082) + 8 + -22 + 21 a multiple of 19?
True
Is 8 a factor of 21/(-168) + (-1)/(8/(-16409))?
False
Let a(h) = 19*h + 25. Let s be 10/(((-1)/(-7))/((-1)/(-7))). Is 5 a factor of a(s)?
True
Suppose -2*u + 10 = -6. Suppose -4*k - u*k + 96 = 0. Is 3 a factor of (-2)/k + (-119)/(-28)?
False
Let n(b) = b**3 - 17*b**2 + 42. Let j be n(17). Let o be (-25)/(-10)*(-2 - j/(-15)). Suppose 570 = -o*a + 8*a. Is 28 a factor of a?
False
Let t(d) = -3*d**3 - 4*d**2 + 82*d - 310. Is t(-14) a multiple of 30?
False
Suppose -15*c + 1300 = -5*c. Is 6 a factor of c?
False
Suppose -z + 3*c = 73, 3*z + z = 2*c - 342. Let s = z - -182. Suppose 0 = 4*m - 2*m - s. Is 4 a factor of m?
False
Let s(l) = 3*l**3 + 4*l**2 - 15*l - 13. Let a(t) = t**3 - t - 1. Let m(q) = 4*a(q) - s(q). Let i be m(6). Does 18 divide i*(0 - 6/(-9))?
False
Suppose -1525 = -l + 4*l - 16048. Is l a multiple of 86?
False
Suppose 5*s = -2*k + 13110 + 1468, -s = 3*k - 2913. Is 243 a factor of s?
True
Suppose 5 = 5*r, -5*r - 2 = -5*i - 27. Let d be -562*(2/5)/(i/5). Suppose -d = -3*c + p, -180 = -2*c - 6*p + 3*p. Is 13 a factor of c?
False
Suppose 0 = 15*y - 18*y + 3. Is (y*-22)/((-9)/99) a multiple of 22?
True
Let c be 14/3 + -2 + (-12)/(-9). Suppose -5*r - 10*p + 15*p = -1520, 1184 = 4*r + c*p. Is 32 a factor of r?
False
Is 54 a factor of ((-249)/(-18))/(((-133)/7014)/(-19))?
False
Suppose 7 = 4*y - f, -2*f + 4*f - 1 = 3*y. Suppose -98 = -y*x - 4*x. Suppose 3*l + 1760 = x*l. Is l a multiple of 16?
True
Let b(v) = -2*v**3 - 50*v**2 - 48*v + 57. Is b(-25) a multiple of 3?
True
Suppose -5*k + 5180 + 6255 = 3*n, 3*n = 4*k + 11480. Suppose 3795 = 5*z - 0*z + 2*r, 0 = -5*z + 3*r + n. Is z a multiple of 13?
False
Let t = 216 + -168. Suppose d = 102 + t. Does 15 divide d?
True
Is (-5)/(0 - 5/1583) - 6/(-2) a multiple of 14?
False
Let z be (-40 - -39) + 121*1. Let r = z + 32. Is 54 a factor of r?
False
Let d(q) = -392*q + 199. Let a(j) = -98*j + 50. Let x(f) = -9*a(f) + 2*d(f). Is 24 a factor of x(2)?
True
Let k(p) = 10*p + 74. Let g be k(-7). Suppose g*u - 806 = -3*z + 123, -u - 2*z = -231. Does 76 divide u?
False
Let z be (0 - -1 - 6)/(0 - 1). Let j be 23 - (1 + 0 + 2). Let d = j - z. Does 11 divide d?
False
Let t be 2/(-3) + (-320)/60. Does 11 divide 1451/4 + (-14 - t)/(-32)?
True
Suppose 5*u + 5*p = 70, 8*u + 5*p = 5*u + 48. Let x(a) = 27*a + 42. Let i be x(u). Suppose j = -5*q + q + 437, -3*q - 3*j = -i. Is 12 a factor of q?
True
Suppose -3*p + 2903 = 3*j + 863, 2*j + 4 = 0. Let q = p + -270. Is 13 a factor of q?
False
Let t(v) = 13*v - 160. Let p be t(12). Let r(j) = 40*j**2 + 2*j + 7. Does 8 divide r(p)?
False
Let j = 39656 - 24813. Is 16 a factor of j?
False
Let i = 88121 - 46688. Does 15 divide i?
False
Let d(a) = 37*a**2 - 3*a + 50. Is 53 a factor of d(-15)?
False
Let m = 43 + -34. Let j(z) = 2*z**2 + 17*z - 19. Does 8 divide j(m)?
True
Suppose -8*b = 6*b - 42. Let k(r) = r**2 - 6*r + 3. Let i(c) = 2*c**2 - 12*c + 5. Let o(w) = -6*i(w) + 11*k(w). Is 2 a factor of o(b)?
True
Is 5 a factor of (-10524)/(-10)*245/147?
False
Is 13 a factor of (-2496)/((1 - -2)*5*3/(-45))?
True
Let k = 96 - 84. Let g(b) = -2*b + 11*b + k*b. Is 7 a factor of g(2)?
True
Let v = 41 + -43. Let b be 4*72 - (v - -6). Suppose 4*w = -0*w + b. Is w a multiple of 17?
False
Suppose 4*i - 251*a - 12336 = -246*a, i - 3062 = 4*a. Does 26 divide i?
True
Suppose 11*q + 2476 = 9*q. Let v = -811 - q. Is v a multiple of 7?
True
Let a = -5 + 36. Let z(d) = -134*d - 71. Let m be z(-1). Let u = m - a. Is u a multiple of 8?
True
Suppose 131*m + 11*m = 142113 + 123285. Is m a multiple of 7?
True
Let l = -435 - -654. Suppose -7*d + 425 = -l. Does 23 divide d?
True
Suppose -11 = b - 13. Suppose -3*a + 211 - 21 = -5*t, t = b*a - 129. Is 13 a factor of a?
True
Let s be 2/7 - 207/63. Does 18 divide (-1)/s*381 + -1?
True
Let g(f) = -6011*f - 188. Is g(-2) a multiple of 66?
False
Suppose 46041 = 27*v + 12453. Suppose 0 = -4*j, -2*p - 4*j = -230 - v. Is p a multiple of 11?
True
Is 13 a factor of ((-2)/(-1))/((8 + (-22668)/2833)/(-26))?
True
Suppose -4*u - 344 = -n, -4*n + 6*n + 430 = -5*u. Let d = -29 - u. Is d a multiple of 21?
False
Suppose -16 = 2*v - 28. Let z(p) = -p**3 + 5*p**2 + 7*p - 4. Let g be z(v). Suppose 0*u - 4*u - 64 = -g*f, 4*u + 112 = 4*f. Does 4 divide f?
True
Let d(n) = -27 + 43 + 60*n - 212*n - 136. Is 63 a factor of d(-4)?
False
Suppose 5*y - 7*y + 208 = 0. Suppose 4*d - 513 = -3*c + y, 5*d - 778 = 3*c. Does 46 divide d?
False
Let l be 40 + 1 + -2 + 0. Suppose 100 - 16 = 4*m - 4*c, 2*m + c = l. Suppose 34*g = 29*g + m. Is g even?
True
Is 60 a factor of 1/(19/(-2511325)*-17)?
False
Suppose 2206100 = -7*f + 57*f. Is f a multiple of 25?
False
Suppose -3*b = -3*z + 4*z - 5885, -9*z + 52878 = -2*b