 i - 35 = 0. Is k a multiple of 5?
True
Let q = -101 + 294. Suppose -9*b = -3712 + q. Does 5 divide b?
False
Suppose 0 = -4*a + 7*a - 864. Suppose -4*w = -2*w - a. Suppose -w = -d - d. Is d a multiple of 24?
True
Suppose 0 = -4*m - 5*r + 4181, 0 = -0*m - 4*m + 3*r + 4205. Suppose -m = -4*f + 1039. Is f a multiple of 29?
True
Let y = -61 - -87. Let o = 227 - y. Suppose -8*n = -o - 519. Does 15 divide n?
True
Let t = -94 + 104. Suppose -o = -3*o + t. Suppose 2*b = 4*j - 122, 0*j + o*j - 149 = -b. Is j a multiple of 15?
True
Suppose 3*a - 41 = -2*k - 3*k, a = -4*k + 23. Suppose 2*h + 2*c = 4, 4*h + 1 + a = 4*c. Suppose h = -4*i + 214 + 46. Does 22 divide i?
False
Let a be (-27)/(-3) - 24/6. Let x be 107 - (a - (4 - 0)). Suppose -3*c = 46 - x. Is c a multiple of 18?
False
Let z(v) be the first derivative of v**3/3 - 3*v**2/2 - 2*v - 20. Let w be z(4). Is 8 a factor of -1 - (-32 - 4/w)?
False
Suppose -51*y = 36*y - 147041 - 225667. Is y a multiple of 13?
False
Suppose -27 - 5 = 4*w. Let q(m) = 6*m**2 + 33*m - 17. Is 66 a factor of q(w)?
False
Suppose 21120 = -729*l + 731*l - 4*k, 0 = 5*l + 5*k - 52830. Is l a multiple of 19?
True
Let l be -2 + 4 - -15*(234 - 1). Suppose -10*d = -l - 923. Is d a multiple of 39?
False
Does 103 divide 56274/(-581)*(-630)/12?
False
Let c = -737 + 745. Let r be -1 - (-1 - (0 + 53)). Let k = r + c. Is 10 a factor of k?
False
Suppose -4*x - 4*i + 18648 = 0, -x - 23*i = -18*i - 4670. Does 20 divide x?
True
Let a(r) = -35*r - 298. Let l be a(-10). Is (-24542)/(-20) - l/520 a multiple of 28?
False
Suppose n + n - 90 = 0. Is (0 + -1 - -3) + (n - -314) a multiple of 5?
False
Suppose 0 = 4*f - w + 911, -6*f - 5*w = -10*f - 891. Let h = 764 + f. Does 52 divide h?
False
Suppose h - j - 238 - 69 = 0, 3*h + 2*j - 941 = 0. Is (h/(-5))/((-3)/15) a multiple of 33?
False
Let b = -4 + 7. Let w be 80 - (144/(-24) - -1*2). Suppose -3*y + 0*y - b*k = -w, 4*y - k - 122 = 0. Is 15 a factor of y?
True
Let i(x) = 5*x**3 - 6*x**2 + 32*x - 24. Is i(6) a multiple of 11?
False
Suppose 57*g + 4 = 56*g. Let x = 9 + g. Suppose -210 - 34 = -5*r - 2*j, 248 = x*r + 4*j. Is 5 a factor of r?
False
Is (7 - 6)*(-13)/1 + 25933 a multiple of 36?
True
Let x be (-78)/(-52)*380/6. Suppose u - x = 45. Let r = u - 83. Does 3 divide r?
True
Let p be 39 + 0 - 28/7. Let b = p - 61. Let x = 28 - b. Does 11 divide x?
False
Suppose 31*m - 118137 = 8*m - 28092. Does 27 divide m?
True
Let p(s) = 674*s - 34. Let c be p(15). Let b be -4 + 2 + (c - -6). Is 13 a factor of (-6)/(-33) - b/(-99)?
False
Let i be 2*((-36)/(-8)*-1)/1. Is ((-504)/15)/(i/60) - 2 a multiple of 22?
False
Let f(d) be the first derivative of 7*d**5/30 - 11*d**4/24 - d**3 - 17. Let a(k) be the third derivative of f(k). Does 20 divide a(5)?
False
Let r(l) be the second derivative of -l**5/20 + l**4/3 + 2*l**3/3 + l**2/2 - l. Let u = -1695 - -1699. Does 7 divide r(u)?
False
Let u(r) = 12*r**2 - 2*r - 26. Let i be ((-7)/3)/(12/9 - 1). Is 18 a factor of u(i)?
True
Let d = 2181 - 902. Let y = d + -556. Is y a multiple of 10?
False
Suppose -6*b - b + 42208 + 74790 = 0. Is 78 a factor of b?
False
Suppose 3*f = -2*w + 2227, 3*f + 11*w - 2171 = 16*w. Is 9 a factor of f?
False
Let b(u) = 7 + 29*u + 456*u + 12 - 76*u. Is 75 a factor of b(2)?
False
Let j(q) be the second derivative of -q**5/20 - 4*q**4/3 - 5*q**3/3 - 25*q**2/2 + 2*q - 8. Does 56 divide j(-17)?
False
Let x(n) = 5*n**3 + n**2 - 2*n - 2. Let r be x(-1). Is 18 a factor of (2/4)/(r/(-1392))?
False
Suppose 0 = -2*d - 2*t + 112, d - 42 + 1 = -4*t. Let w be (27/(-12))/((-2)/(-32)). Let a = w + d. Does 25 divide a?
True
Suppose -q - 8187 = -3*i, 37*i - 39*i - 2*q + 5466 = 0. Suppose -54*x + 28758 = i. Is x a multiple of 5?
False
Let z(r) = 3*r + 128. Let t(h) = -h**2 + 36*h - 25. Let l be t(36). Is z(l) a multiple of 28?
False
Let a = -79 - -84. Suppose 0 = -c + a*c - 2176. Does 49 divide c?
False
Let a(b) = -237*b - 417. Is a(-2) a multiple of 11?
False
Let t = -8 - -10. Let o be (7 - 6)/(t/4). Suppose -60 = -o*y + 64. Is 13 a factor of y?
False
Let o(t) = -796*t + 662. Is 10 a factor of o(-3)?
True
Let p(o) = 3*o**3 + 84*o**2 - 269*o - 2. Let s(c) = 2*c**3 + 56*c**2 - 179*c - 1. Let i(w) = -5*p(w) + 7*s(w). Is 26 a factor of i(-31)?
False
Let f(w) be the second derivative of w**7/210 + w**6/180 - w**5/120 - w**4/8 + 23*w**3/6 - 30*w. Let p(s) be the second derivative of f(s). Does 30 divide p(3)?
True
Let f be 2 - (-1 - -180) - 8/(-2). Let p = f + 404. Suppose -5*k - m - m = -p, -5*m + 131 = 3*k. Is 47 a factor of k?
True
Let i = 29 + -24. Suppose -4*m + 677 = -i*x, 4*x - 442 = 5*m - 1286. Is 15 a factor of m?
False
Is 59 a factor of (8 - (-105)/(-12) - 0) + (-233202)/(-24)?
False
Let n be (-13386)/(-8) - (-39)/52. Suppose 7*o - 258 - n = 0. Does 9 divide o?
False
Is 1*(-488706)/(-33) + (-69)/253 a multiple of 39?
False
Let a(z) = 5*z**3 - z**2 - 46*z - 17. Let d(n) = -n**3 + 11*n + 4. Let c(v) = 2*a(v) + 9*d(v). Does 8 divide c(5)?
True
Suppose 2*z - 8 = 0, 6*a = 11*a - 3*z - 13038. Is a a multiple of 90?
True
Let y be ((-10)/(-9))/(14/63). Suppose y*w + l + 114 = 6*w, -4*l = -12. Does 10 divide w?
False
Suppose m + 529 = -2*w, 4*m = w + 9*m + 269. Is (-1 - (0 + -639))*w/(-528) a multiple of 29?
True
Let w be 2/(2 + 0)*(9 - 4). Suppose -5*z + 2*z = s - 486, -w*z - 4*s + 810 = 0. Does 9 divide z?
True
Suppose -12 = 2*g + 2*g. Let o be ((-3)/(-1))/(((-5)/g)/5). Suppose 747 = o*u + 171. Does 32 divide u?
True
Let x(o) = 271*o - 1421. Is x(9) a multiple of 7?
False
Let i = -1400 + 2067. Let x = i - 172. Is 48 a factor of x?
False
Let t(v) = -10 + 3*v + 36 - 15 - 18. Let s be t(3). Suppose -98 + 302 = s*q. Is q a multiple of 13?
False
Let h be (((-2)/(-4))/(-1))/(20/(-200)). Suppose h*w - 4 - 7 = 2*n, 3*n - 5*w + 9 = 0. Is 7 a factor of 99/n + -1 + 2/4?
True
Suppose 2*c = -0*c + 316. Let p = -150 - -154. Suppose -b - p*b + 792 = -4*h, h + c = b. Does 47 divide b?
False
Let g = -49 - 116. Let k = g + 227. Is k even?
True
Let s be (-1*28)/(-3 + 118/38). Let l = s - -519. Let x = l + -77. Is x a multiple of 16?
True
Let c = -2056 - -2375. Is 11 a factor of c?
True
Let o be (2 + 1)/(228/21432). Let y = -191 + 106. Let p = o + y. Is p a multiple of 15?
False
Let s(z) = 3*z**2 + 3*z - 9. Let g(d) = -d**2 - 2*d + 5. Let m(y) = 5*g(y) + 2*s(y). Let t = 1097 - 1092. Is m(t) a multiple of 3?
True
Suppose 92*b + 55866 = -28*b + 614226. Is b a multiple of 40?
False
Suppose 0*i + 35048 = 26*i. Let t = i - 785. Is t a multiple of 26?
False
Suppose 3*y - 4*q = -0*y + 2, 0 = -2*y + 4*q. Suppose -2*j - 590 = -y*a, 4*a - 4*j + j = 1184. Is a a multiple of 50?
False
Is 336/42*(-2586)/(-4) a multiple of 8?
False
Suppose 15075 = 1545*v - 1544*v. Is v a multiple of 96?
False
Let x = -4 + 6. Let a be (-6)/(-4) + 11/((-132)/18). Suppose -291 = -x*m + 3*r, a = 4*m - 4*r + 31 - 615. Is m a multiple of 23?
False
Let y = 4911 + -4395. Is 12 a factor of y?
True
Let y(k) = 2*k**2 - 3*k + 1. Let l be y(2). Suppose -l*j = -4*j - 113. Let h = -86 - j. Is h a multiple of 5?
False
Suppose 17 = -14*n + 17. Suppose 16*z + 5458 - 16418 = n. Is 59 a factor of z?
False
Suppose 63*z - 4*z = 82836. Does 5 divide z?
False
Let m = 71 - 76. Let a(r) = -5*r**3 - 3*r**2 + 10*r - 12. Let d be a(m). Suppose s = -7*s + d. Does 8 divide s?
False
Let d(x) = 6*x. Let k be d(-7). Let q = k - -47. Suppose -4*a + q*a - 5*n - 3 = 0, -2*n = -5*a + 130. Is a a multiple of 10?
False
Let q(v) = -6*v**2 - v + 5. Let m be q(9). Does 21 divide (-140)/m - ((-2385)/7 + -1)?
False
Let q(c) = 33*c**3 + c**2 + c. Let u be q(-1). Let n = u + 74. Suppose -r - w + n = 0, 3*r + 3*w = -r + 166. Is r a multiple of 9?
False
Let o(r) = -23*r + 72. Let x(a) = a**2 + 11*a - 100. Let u be x(5). Is o(u) a multiple of 14?
True
Let t be 24/(-204) - 1534/(-34). Suppose 5*c + 20 = k, 3*k + 5*c + t = 5*k. Is k a multiple of 25?
True
Let v = 17790 - 12592. Is 71 a factor of v?
False
Suppose -4*k + 23104 = 3*u, 2*k + 42593 - 11795 = 4*u. Is u a multiple of 25?
True
Suppose 3*s - 2*s - j - 7 = 0, 3*s + 19 = -5*j. Let k be 3 - (0 + s - (-5 - -2)). Does 11 divide k*105/(-2) - 0?
False
Suppose -2*w - 4*q + 1062 = 0, -75 = -w + 4*q + 456. Does 177 divide w?
True
Does 28 divide 6/45 + -75212*78/(-180)?
True
Let y be ((-32)/(-10))/((-20)/(-50)). Sup