b a multiple of 3?
False
Suppose -403*o + 7380 = -383*o. Does 14 divide o?
False
Let b(c) = 3*c - 85. Let n be b(26). Let v = n - -91. Is v a multiple of 7?
True
Let q = -14147 + 20447. Is q a multiple of 175?
True
Suppose -8*o - 1080 = 3*s - 5*o, 718 = -2*s - 3*o. Is 2/(s/(-72) + -17 + 12) a multiple of 8?
True
Suppose 0 = d + 5*m - 4 - 16, 4*m = -4*d + 64. Let v be (d/(-6))/(3/(-6)). Suppose 2*g - 122 = -c + 3*c, v*c + 81 = g. Is g a multiple of 6?
False
Let w = 306 + 3954. Does 15 divide w?
True
Suppose -4*u = -82381 + 4017. Does 137 divide u?
True
Is 209*(-60)/25*-20 a multiple of 8?
True
Suppose 13*f + 4 = 15*f. Suppose -5*l - 2455 = -f*c - c, -5*l + 785 = c. Suppose -3*g + c = 243. Is 13 a factor of g?
False
Suppose -6*x + 3*z + 43416 = 0, z + 36177 = -28*x + 33*x. Is 57 a factor of x?
False
Let d(f) = 2*f**3 + 43*f**2 - 17*f. Let w be d(-26). Is w/(-52) - 2/4 a multiple of 18?
True
Suppose 3*k - 4*p + 244 = 7*k, -177 = -3*k + 3*p. Suppose 0 = -5*f - 5*c - 45, -2*c - 18 = -3*f - k. Is 4/f*489/(-1) a multiple of 17?
False
Suppose -4*h + 2*m = 844, -5*m - 3 = 7. Let v = -27 - h. Is 20 a factor of v?
False
Let s(f) = 62*f**3 + 14*f**2 - 39*f + 19. Does 45 divide s(6)?
False
Let z(o) = 10*o - 228. Let d be z(23). Suppose i - 482 = 7*j - 12*j, -925 = -d*i + 3*j. Is 12 a factor of i?
False
Suppose -5*s = v + 68, v = 36*s - 35*s - 92. Let n(j) = 4*j**2 - 6*j - 6. Let u be n(-5). Let o = v + u. Is o a multiple of 9?
True
Suppose -3*l + 7*j - 3*j = -56, -2*l - 4*j = -44. Suppose -l*q + 824 + 6456 = 0. Is 25 a factor of q?
False
Let p be 4/(-18) + (-40)/(-18). Suppose f = -p*f + 3*x - 9, -12 = -f - 2*x. Suppose 86 = -2*y + 6*y - 2*n, -5*y = f*n - 112. Is y a multiple of 4?
False
Does 11 divide (-24 - -6140)*(-2 + (-9)/(-4))?
True
Suppose 18*c - 328935 = -219422 + 473903. Is c a multiple of 73?
True
Let x = 88282 + -54132. Is x a multiple of 25?
True
Let q = 2373 + -308. Does 35 divide q?
True
Let r(z) = z**2 - 5*z - 3. Let p = -12 + 18. Let c be r(p). Suppose -a + 31 = j, 4*a = -c*j - 50 + 148. Is 9 a factor of j?
False
Let a(n) be the first derivative of 13*n**4/24 - n**3/3 + 3*n**2 - 14. Let m(i) be the second derivative of a(i). Does 8 divide m(2)?
True
Let n = -41 + 43. Suppose -5*b + n*d = -0*d - 19, 5*d - 30 = -3*b. Suppose 2*w - 5*u - 92 = 0, 2*w = w - b*u + 16. Does 18 divide w?
True
Does 199 divide 2/(-1 + 5) - (-6201265)/742?
True
Suppose 9*y - 480 = 14*y. Let t = 56 - y. Is t a multiple of 38?
True
Let x be (-3 + 3)/(21/21). Suppose 12*a - 16*a + 12 = x, -5*a = -5*n + 1485. Is n a multiple of 42?
False
Let n(j) = j**3 - 35*j**2 - 33*j - 73. Let q be n(36). Is 29 - (-21)/q*-5 a multiple of 15?
False
Let s(i) = -423*i**3 + 2*i**2 + 22*i + 33. Is 113 a factor of s(-2)?
False
Let z be 1/(-10) - (-224397)/270. Let b = -455 + z. Does 47 divide b?
True
Suppose -3*i - 48 = -63. Is 2060/i + -12 + 8 a multiple of 24?
True
Let b(t) be the third derivative of t**5/20 - t**4/3 - 5*t**3/3 + 25*t**2. Is b(5) a multiple of 2?
False
Let z = 465 - 470. Does 3 divide -2 - (-8 - (z - -44))?
True
Is (-2 + 1 + -25)*49610/(-2420) a multiple of 3?
False
Suppose 3*h + 2*y = 934, -3*h + 4*y = -520 - 384. Does 5 divide (-7464)/(-88) - (-7)/(h/8)?
True
Suppose -x = -2*x - 3. Suppose 33*m + 48 - 246 = 0. Does 10 divide 110 + m/x - -1?
False
Does 84 divide (-751383)/765*(-2 + -3)?
False
Let n(o) = 20*o**3 - 4*o**2 + 18*o + 3. Is 47 a factor of n(6)?
False
Suppose 5*p + 1140 = -3*s, 0 = -5*p - 4*s - 843 - 297. Let a = p + 437. Is 13 a factor of a?
False
Suppose 5*i + 5 = 0, -3*s - 4*i - 7 = -66. Let j = 0 + s. Does 6 divide j/14*128/3?
False
Let j(x) = -x**3 + x**2 - x + 2. Let m be j(2). Let q(n) = -5*n - 16. Let w be q(m). Suppose 3*g - 130 = -2*b, -w*g + 50 = 2*b - 82. Does 14 divide b?
False
Suppose -17*x + 5*x + 5304 = 0. Suppose 0 = -5*y + 3*w + x + 1527, -2*y + 793 = -3*w. Does 28 divide y?
True
Let k(y) = -y**3 + 15*y**2 + 14*y + 10. Suppose -23*c - 495 = -32*c. Let t = c + -40. Is 32 a factor of k(t)?
False
Let m(a) = -7*a**3 - 28*a**2 - 16*a + 9. Let x(d) = 3*d**3 + 14*d**2 + 8*d - 4. Let l(g) = 2*m(g) + 5*x(g). Suppose 43*q = 91 - 650. Is 7 a factor of l(q)?
True
Let y(h) be the third derivative of -7*h**6/60 + h**4/8 + 3*h**3/2 - 116*h**2 - h. Is y(-3) a multiple of 27?
True
Suppose -190*l + 760 = -182*l. Suppose l + 13 = d. Is 9 a factor of d?
True
Suppose 81*o + 2*c + 2424 = 83*o, 3*o - 2*c - 3636 = 0. Is o a multiple of 6?
True
Let b(m) = -4*m - 48. Let t be b(-21). Suppose -105 = -3*a - 5*k, a - 5*k - t + 1 = 0. Is 7 a factor of a?
True
Let y(x) = -46*x - 98. Let u be y(8). Let o = u + 751. Is 28 a factor of o?
False
Let j(s) = -341*s + 12. Suppose -2*o + 7 = p, 4*p = 3*o + 8*p - 18. Suppose 4*f + 6 = 2*i, -o*i = 5*f - 2*f + 8. Is 46 a factor of j(i)?
False
Let s = -4612 + 5377. Is s a multiple of 22?
False
Suppose -2*b + 1735 - 1017 = -2270. Is 9 a factor of b?
True
Suppose -u + 2*d + 780 + 1058 = 0, -7358 = -4*u + 5*d. Is u a multiple of 32?
False
Let u = -19 + 22. Suppose 2*j + 0*h = -5*h + 27, 0 = 2*j + u*h - 29. Is 7 a factor of -4 + (3 - 2) + j?
False
Let u(h) = h**3 - 7*h**2 - 9*h + 8. Let v be u(8). Suppose 3 + 0 = y. Suppose 4*f + y*c - 89 = v, 4*f - 35 = 3*f - 5*c. Does 2 divide f?
True
Suppose -8*k + 6*k = 0. Let y be 3/(-12) - (k - 6903/12). Suppose -y = 26*r - 31*r. Is r a multiple of 7?
False
Let z(l) = 33*l - 1096. Is 8 a factor of z(48)?
True
Suppose 3*x + 30*p - 33*p = -141, -x + 5*p = 59. Let z(d) = 4*d**3 - 4*d**2 + d - 4. Let c be z(3). Let n = c + x. Does 9 divide n?
True
Suppose -8*g - 35*g + 325295 = 0. Does 45 divide g?
False
Suppose 4 = -4*j, -3*s - 2*j + 21 = -5*j. Suppose s*g + 274 = 8*g + 3*u, -u = g - 138. Does 10 divide g?
True
Let l(x) be the second derivative of -x**5/20 + 7*x**4/12 - 2*x**3/3 - x**2 - 56*x. Does 10 divide l(2)?
True
Let d = 2512 - 112. Is d a multiple of 8?
True
Let g(p) = 10*p**2 - 54*p - 335. Does 163 divide g(-46)?
True
Let c be (-3)/6 + ((-1)/2 - -3). Suppose -4*x + 2*p = 1 - 7, -3*x + 15 = c*p. Suppose 0 = x*u, 2*u - 180 = -5*r - u. Is r a multiple of 4?
True
Let g = 3591 + 2233. Is 26 a factor of g?
True
Let h(s) = 2 + 19 + 0 + 20*s + 5. Is h(5) a multiple of 45?
False
Suppose -41832 - 124650 = -18*j. Is 83 a factor of j?
False
Is 15 a factor of 192/(-90) + (-14)/(-105) + 2522?
True
Let i = 187 + -90. Let j = i + 175. Does 19 divide j?
False
Let d be -21*(2/3)/(-2). Let h(l) = 3*l**2 - 13*l + 39. Does 5 divide h(d)?
True
Suppose 28*q + 18*q = -15*q + 997899. Is q a multiple of 19?
True
Suppose 2*g = -t - 4, 3*g = -5*t - 0*g - 6. Let j = 0 - t. Suppose -488 = -2*c - j*c. Is 36 a factor of c?
False
Let w(p) = p**2 - 15*p - 52. Let o(m) = m**2 - 8*m + 20. Suppose -5*l = -4*l - 8. Let a be o(l). Is w(a) a multiple of 16?
True
Let a = -578 + 826. Suppose 8*z - 11*z + 4*b = -a, 2*z = 3*b + 165. Is 3 a factor of z?
True
Is 107 a factor of (-503)/(-3)*(-37)/(37/(-12))?
False
Suppose -41788 = -4*q + 3*d, -164*q - 4*d + 52204 = -159*q. Does 14 divide q?
True
Let o be (-2446)/8 - (-3)/(-12). Is (65/3)/(o/(-27) - 11) a multiple of 65?
True
Let u = 45045 - 22657. Is u a multiple of 116?
True
Let o = -319 - -322. Suppose 0 = -o*d + 161 + 139. Is 2 a factor of d?
True
Let d = -325 + 317. Let p(w) = w**3 + 10*w**2 - 16*w - 32. Is 28 a factor of p(d)?
True
Let d be -371 - ((-12)/(-6) + 0). Let p = -130 - d. Is p a multiple of 8?
False
Suppose -9*h + 8*h = 5*j - 30, 4*j + 121 = 5*h. Suppose 7064 = h*b - 7961. Does 68 divide b?
False
Suppose 2*b = -y - 1 - 10, -4*b = -3*y + 7. Let u(r) = -3*r**3 + 2*r**2 + 3*r - 12. Is 25 a factor of u(b)?
True
Let a = 88 + -85. Suppose 2*i + a*r = 689, -r + 695 = 9*i - 7*i. Does 40 divide i?
False
Let m(b) = -14*b + 35. Let w be m(-5). Let x = 185 + w. Is 10 a factor of x?
True
Let m be ((-27)/(-16))/(36/48)*52. Suppose -115*n + m*n = 1122. Is n a multiple of 33?
True
Let b be (9 - 13)/((-4)/(-2)). Let v be (10/8)/(b/(-8))*13. Let k = -5 + v. Does 5 divide k?
True
Suppose -5*u + 3*h - 501 = 164, -4*u - 4*h = 564. Let j = u - -196. Does 30 divide j?
True
Suppose 5*r - 4*a - 71684 = -22278, -2*r - 2*a + 19766 = 0. Is 162 a factor of r?
True
Suppose -k + 7528 = 407*j - 405*j, -k + 2 = 0. Is 48 a factor of j?
False
Suppose 1474 = -62*y + 48. Suppose -4*o = o - 215. Let g = o - y.