 + 2*b, f = -j*b + 90. Is f a multiple of 19?
False
Suppose 16 = 4*d + 76. Is d/2*(-24)/36 a multiple of 4?
False
Let b(d) be the second derivative of d**4/12 + 2*d**3/3 + 6*d**2 - 5*d. Is 17 a factor of b(7)?
False
Let k(x) = -1035*x - 8. Is 84 a factor of k(-1)?
False
Suppose -1 = -b + 7. Suppose -5*f + b*f - 51 = 0. Does 9 divide f?
False
Let k(t) = t. Let d(p) = p**2 + 3*p + 19. Let w(z) = d(z) - 6*k(z). Does 5 divide w(0)?
False
Suppose 3*r - 6 - 3 = 0. Suppose -r*f - 990 = 5*p, -2*f = 2*p + 2*f + 410. Is 15 a factor of ((-12)/(-15))/((-6)/p)?
False
Suppose -16 = -2*j + 3*i - 5*i, 5*j - 40 = 2*i. Let o = -17 + 17. Suppose 5*b - 12 - j = o. Does 4 divide b?
True
Suppose -d = 3*d. Let t be (6/(30/35))/1. Suppose -j - 147 = -3*u, d = -t*j + 3*j. Does 13 divide u?
False
Let g = 920 - 465. Is g a multiple of 20?
False
Is (-3087)/2*38/(-57) a multiple of 49?
True
Let q(y) = -7*y**3 + 21*y**2 + 10*y - 66. Let o(m) = -13*m**3 + 43*m**2 + 19*m - 132. Let x(u) = 6*o(u) - 11*q(u). Does 21 divide x(27)?
True
Let k = 48 + -35. Let j(i) = -2*i**3 + 27*i**2 - 9*i + 16. Is 34 a factor of j(k)?
True
Let d = -1102 - -1605. Is 49 a factor of d?
False
Suppose 59 = 3*p + a - 9, -4*a - 43 = -3*p. Suppose -236 = -t - 4*x, -2*x - p - 1181 = -5*t. Is t a multiple of 56?
False
Suppose -4*l + 2*l - 3 = -t, -5*t = -l - 15. Suppose -3*r = -0*i - t*i - 69, -3*i + 139 = 5*r. Does 26 divide r?
True
Let g(o) = -2 - 755*o**2 + 1 + 990*o**2. Is 13 a factor of g(1)?
True
Suppose 26 = 2*z - 3*a, -a + 0*a + 50 = 3*z. Let u = z + -15. Suppose r = -u + 16. Does 3 divide r?
True
Let r(v) = v**3 + 6*v**2 + 5*v + 11. Let f be r(-5). Let c = 25 + f. Is c a multiple of 9?
True
Let d(z) = 5*z**2 + 18*z - 130. Is 4 a factor of d(13)?
False
Let p be (-1170)/8 - (-4)/16. Is -4 - p*5/10 a multiple of 23?
True
Let p(x) = -27*x - 111. Is 9 a factor of p(-14)?
False
Let r(p) = -4*p - 14. Let y be r(-11). Does 14 divide (-2 + y)*(-1)/((-10)/35)?
True
Does 5 divide 2588/(-48)*-4 - 14/21?
True
Let w(f) = 3*f**2 + 13*f + 11. Let x(m) = -7*m**2 - 26*m - 23. Let q(u) = -5*w(u) - 2*x(u). Does 22 divide q(-6)?
False
Suppose 69 = -5*z + 209. Does 13 divide ((-555)/(-30))/(2/z)?
False
Let s = 86 - 82. Suppose 0 = -0*n - s*n + 380. Does 43 divide n?
False
Suppose -11*b = -7*b + 16, 4*b - 2588 = -3*y. Is 62 a factor of y?
True
Let i be ((-1)/(-2))/((-2)/(-8)). Let q(z) = -10*z - 72. Let l be q(-9). Suppose 0 = -i*x + 3*x - l. Is x a multiple of 7?
False
Let j = 346 + 115. Suppose -j = -4*u - 3*p, -2*u - p = -165 - 68. Is u a multiple of 54?
False
Let k be (2/(-8))/(19/(-76)). Let s(z) = -2*z + 13*z + 3*z. Does 14 divide s(k)?
True
Let i(l) = -2 + 3 - 7 - 7 + 5*l. Does 9 divide i(13)?
False
Suppose -5*k + 145 = 5*h - 0*h, -5*k + 2*h = -110. Is 42 a factor of 0/(k/6) + 84/1?
True
Let j = 4 + 0. Suppose -41 + 0 = -3*b + f, 0 = -2*b + j*f + 24. Is b a multiple of 3?
False
Let s be (-4)/10 - 35/(-25). Let o be s/(-2) - (-6)/4. Is 6 a factor of 43/3 + o/(-3)?
False
Let p(m) be the second derivative of 11*m**5/60 + m**4/24 - m**3/2 - 5*m**2/2 + 3*m. Let f(k) be the first derivative of p(k). Is 13 a factor of f(-2)?
True
Let l = 1130 - 647. Is l a multiple of 69?
True
Suppose 6*t + 77 + 91 = 0. Is 11 a factor of (-296)/t + 12/28?
True
Suppose 0 = 3*w - 3*l - 201, -w + 0*l + 4*l = -52. Is w a multiple of 17?
False
Suppose 10*b = 14*b - 12. Suppose 91 = b*q + 16. Does 7 divide q?
False
Let j(y) = 3*y + y + 16 - 12. Let r be j(10). Suppose -157 = -5*h - 4*v - r, -5*h - 2*v = -119. Is h a multiple of 25?
True
Let h(a) = 2*a + 2. Let y be h(0). Let l be (8 - 6)*y/4. Is 14 a factor of 14 + 2 - (l - -1)?
True
Does 81 divide (-135)/(-51*1/(-18) + -3)?
True
Does 13 divide 12/(-2) - (-289 - -10)?
True
Let d be -4 - (-28)/12*3. Suppose -601 + 97 = -4*q + 3*u, -d*q = -4*u - 385. Suppose 5*o + 5*l - 3*l - q = 0, -3*l = -12. Is o a multiple of 5?
False
Suppose -2*x = 3*m - 2952, 3*x - m = 4085 + 365. Does 19 divide x?
True
Let a(l) = -l**3 + 16*l**2 + 3. Let d be a(16). Suppose -5*r + 34 = -d*r - 3*i, -4*i + 34 = 3*r. Does 7 divide r?
True
Suppose d + 0*r + 2*r - 50 = 0, 0 = -d + 3*r + 30. Suppose -2*a + d = -54. Is a a multiple of 20?
False
Does 23 divide ((-48)/(-10))/(-8 - 9215/(-1150))?
True
Suppose -1683 + 39 = -3*j. Suppose -j = -7*c + 3*c. Is c a multiple of 25?
False
Let x(f) = f**2 + 10*f - 1. Let a be x(-5). Let y = a + 33. Is 3 a factor of y?
False
Let z(y) be the third derivative of y**6/30 + y**5/30 - y**4/24 - y**3/3 + 5*y**2. Let t be z(-1). Does 31 divide 0/t - 372/(-4)?
True
Let l(f) be the first derivative of -7*f**2/2 + 18*f - 6. Is l(-6) a multiple of 21?
False
Let o(b) = -18*b - 2. Let s = -22 - -36. Suppose -4 - 2 = -3*u - 4*p, 0 = u - 4*p + s. Is o(u) a multiple of 17?
True
Does 13 divide -662*((-6 - -7)*-1 + -5)?
False
Suppose -k + 6 - 103 = n, 4*k = -2*n - 392. Let t = 159 + k. Does 10 divide t?
True
Suppose -2*v = 2*v. Suppose -2*s + 48 = -v*s. Does 12 divide s?
True
Suppose 3*y + 2*i - 202 = 0, 4*i - 19 = 1. Let b = 76 - y. Does 12 divide b?
True
Let f(d) = 4*d**2 - 33*d + 10. Let m be f(8). Suppose -s + 4*s - 6 = 0. Suppose 4 = s*p - m. Does 2 divide p?
False
Let g be (-2)/(-6) + (-354)/(-18). Is 9 a factor of g + (-3)/(2 + -1)?
False
Suppose -3*s = -2*g - 2*s + 5, -3*g - s - 5 = 0. Suppose g*c + 2496 = 13*c. Does 32 divide c?
True
Let b = 2007 - 1398. Is 11 a factor of b?
False
Suppose 20*t + 10*t = 37860. Is t a multiple of 3?
False
Let j(o) = o**2 - 7*o - 149. Is 5 a factor of j(-19)?
True
Suppose 0 = -3*n + 2*a + 185, 0 = -a - a + 10. Let d = n - 37. Does 28 divide d?
True
Let x be 4*-2*(-3)/(-6). Suppose 0 = -3*y + y + 3*g - 715, 4*g = -5*y - 1730. Is (x/5)/(20/y) a multiple of 14?
True
Suppose 2*h = -4*i + 7*h - 10, -5*i + 2*h - 4 = 0. Let u(t) = 5*t + 10 + i - 5*t - 2*t. Does 12 divide u(-7)?
True
Is 38 a factor of 85/2*(287/35 + 7)?
True
Suppose 8*x - 2995 = -731. Is x a multiple of 20?
False
Does 70 divide (-78 + 73)/((-3)/1134)?
True
Is 65 a factor of ((-1)/((-4)/32))/((-2)/(-34))?
False
Suppose i + 14 = -3*v, 4*v - 17 = 5*i - 4. Is i - -2 - (4 + -95 - -3) a multiple of 17?
True
Suppose 0 = -4*j - 3*q + 2164, -8*j + 3*j - 4*q + 2705 = 0. Does 49 divide j?
False
Let j be (-9)/(-15) - (-1752)/(-20). Is 1 - (j/(-6))/((-3)/6) a multiple of 10?
True
Let m(n) = -n**3 - 4*n**2 - n + 2. Let k be m(-4). Let u(j) = -j**3 + 7*j**2 + 7*j - 2. Does 14 divide u(k)?
False
Is (-438)/(-9)*(31 - 4)/1 a multiple of 58?
False
Suppose 3918 = -4*c - 2*c. Let z = -425 - c. Is 48 a factor of z?
False
Suppose 5*t + 0*t - 878 = -3*h, -3*h + 4*t + 869 = 0. Is 6 a factor of h?
False
Let r(i) = 46*i**2 + 2*i + 1. Let c be r(3). Let u = c - 249. Is 36 a factor of u?
False
Let k = -97 + 245. Let o be 4*(k/8 - 0). Suppose -3*v + o - 2 = 0. Does 4 divide v?
True
Let r be ((-10)/(-10))/(2/4*1). Suppose 23 + 22 = 5*a - 3*b, 3*b = -r*a + 39. Does 12 divide a?
True
Let t be -2 - 13*-8*1. Suppose -5*j - l + 258 = -0*l, -l = 2*j - t. Is 26 a factor of j?
True
Does 15 divide (9/4)/(-16 + (-11574)/(-720))?
True
Suppose 2*y + 76 = -4*i, 5*y - 2*i - 3*i = -265. Let w = 222 + y. Is 14 a factor of w?
False
Let o = -21 - -840. Does 13 divide o?
True
Suppose -6*n - 168 = -4*n. Let b be ((-1)/3)/(7/n). Suppose b*k - 168 = k. Is 19 a factor of k?
False
Suppose -3*w - 3 = 0, -6 = -3*j + 5*w + 8. Suppose c - 5*x - 883 = -j*c, -1130 = -5*c + x. Does 35 divide c?
False
Let f = -21 - -176. Is f a multiple of 5?
True
Let a(r) = 4 - 4*r - 1 + 11 - 4. Let q be a(3). Let b(p) = -4*p**3 + 2*p**2 + 2*p - 2. Is 24 a factor of b(q)?
False
Is (-8)/(-12)*(-8)/((-80)/1515) a multiple of 9?
False
Let c be -3*(-3)/3*1. Let s be 4*c/4 + -2. Is 9 a factor of s + (-1 - -19) - 1?
True
Let u(l) = 64*l**2 - 5*l + 1. Let o = 119 - 118. Is u(o) a multiple of 4?
True
Let c = -548 + 975. Does 16 divide c?
False
Let c(i) = -i**3 + 25*i**2 + 96*i + 36. Does 29 divide c(25)?
True
Suppose 2*j - 202 = -m, 4 = 4*j - 8. Is 12 a factor of 10/30 - m/(-6)?
False
Is 54 a factor of (-40220)/(-28) - 20/(-35)?
False
Suppose 8 = -5*y + 33. Suppose y*v + 200 = 10*v. Let x = -19 + v. Is x a multiple of 5?
False
Suppose 0 = -5*w + 3*w + 6. Let q(y) = 14*y - 12. Does 23 divide q(w)?
False
Suppose 4*u + 14 = 38. Suppose 0 = -7*a + u*a + 41. Is a a multiple of 13?
False
Does 68