*z = -2*q + 26267. Does 13 divide q?
False
Is 2/(-5) + ((-229964)/(-35) - (-1 + -5)) a multiple of 24?
True
Let b be (-22)/(-3) + (-16)/(-24). Let l(f) = f**3 - 10*f**2 + 7*f. Let h be l(10). Suppose -b = -2*a + h. Does 13 divide a?
True
Let f(a) = 2*a**2 - 51*a + 86. Does 16 divide f(90)?
True
Let u(k) = -k**3 + 15*k**2 - 27*k + 17. Let h be u(13). Suppose -h*a = 3*l - 209, -4*l + 20 = -a - 227. Let y = 93 - l. Does 18 divide y?
False
Let x(t) = -48*t - 18. Let q be x(-4). Let d = q + -116. Suppose -g = s - d, 2*g + 5*s = 6*g - 250. Is g a multiple of 12?
True
Let b(i) = 112*i**3 - 4*i**2 + 23*i - 19. Is b(5) a multiple of 79?
False
Let r(m) = -m**3 + 0*m**3 + m**3 - m**3. Let k(j) = 7*j**3 + 4*j**2 + 7*j + 2. Let v(t) = -k(t) - 6*r(t). Is 3 a factor of v(-3)?
False
Suppose 7*m = 3*m - 5*j + 13686, m + 7*j = 3433. Does 48 divide m?
False
Is 241020/126 + 2/14 + -8 a multiple of 44?
False
Let x = 38655 + -34808. Does 31 divide x?
False
Let s(v) = -26*v - 272. Let b be s(-46). Suppose 0 = -6*z + 39*z - b. Is 7 a factor of z?
True
Suppose -9*t = 6*t + 2*t. Suppose t = 7*b - 38*b + 35557. Is b a multiple of 17?
False
Let m(j) be the third derivative of j**6/120 - 13*j**5/30 + 43*j**4/8 + 25*j**3/6 - 41*j**2 - 5. Is 23 a factor of m(21)?
True
Suppose -109*c = -220*c + 142*c - 366947. Is c a multiple of 74?
False
Let t be (5/2)/(11/44). Is 2784/120 + 8/t a multiple of 24?
True
Suppose -1 = 5*q + 4*b, -2*b - 20 = -4*q - 0*b. Suppose 0*g = -3*g. Suppose -2*c + 3*c + 2 = 0, g = -q*a - 5*c + 2. Is 4 a factor of a?
True
Suppose 2*v = 2*o - 13094, -2*v = -4*o + 7*o - 19656. Does 131 divide o?
True
Let l = -1515 + 7428. Does 37 divide l?
False
Let s = 762 + -1220. Let t = s + 565. Is 2 a factor of t?
False
Let m(s) = -132*s - 6036. Is 115 a factor of m(-98)?
True
Suppose 0 = f - 4*j - 33 - 52, 5*f - j = 330. Let l(w) = 201 - 92 - f + 2*w. Is l(-17) even?
True
Let f(n) = 6630*n - 4713. Is 151 a factor of f(3)?
False
Let q be ((-1 - -7) + -8)*(-31)/2. Suppose q = 10*a - 49. Is 4 a factor of a?
True
Let j = 103 - 35. Let r = 70 - j. Let k(o) = 95*o + 4. Does 29 divide k(r)?
False
Let s(x) be the first derivative of -113*x**2/2 + 34*x + 27. Let m be s(4). Is 20 a factor of (-2)/(-6)*(5 - m)?
False
Let a(i) = -145*i**3 - i**2 - 42*i - 51. Is a(-4) a multiple of 159?
True
Suppose 53*u - 23617 = 42*u. Suppose -5*m = -7*b + 5*b + 874, 5*b - u = 3*m. Does 7 divide b?
True
Does 29 divide (-697 + 1)*(8*-1 + 196/42)?
True
Is (-7152)/(-14) + 1/7 a multiple of 8?
False
Let k(y) = -3*y + 12. Let x be k(3). Suppose 13 = -5*w + x*a, -3*w + 5*a + 5 = -0. Does 16 divide (2/3)/(w/(-120))?
True
Let r(q) be the second derivative of 5*q**4/12 + 13*q**3/6 + 37*q**2 + 52*q. Does 31 divide r(-7)?
False
Suppose -1154130 = -195*s + 290820. Does 6 divide s?
True
Let b(s) = s**2 + 12*s + 4. Let j be b(-13). Let n(r) = 2*r + j + 1 + 2*r + 2*r. Is n(12) a multiple of 30?
True
Let n = -170 + 272. Suppose -106*x + n*x + 64 = 0. Is x a multiple of 8?
True
Let o(z) = -z**2 - 2*z - 4. Let t(b) = -3*b**2 - 2*b - 9. Let r(s) = -5*o(s) + 2*t(s). Let p(l) = 3*l - 3. Let u be p(3). Does 2 divide r(u)?
True
Suppose -8*o + 220 = -6*o. Let c be -1 - ((-160)/50 + 1/5). Suppose 0 = c*k - o - 26. Does 7 divide k?
False
Let m = 174 + -230. Let b = m - -164. Is 18 a factor of b?
True
Is 6 a factor of 12/3 + 3914/11 + (-40)/(-220)?
True
Let p be ((-273)/(-28))/((-1)/(-32)). Suppose 0*w = -4*w + p. Suppose -7*c + w + 62 = 0. Is c a multiple of 20?
True
Suppose -8 = -4*r - 0. Suppose -r*c = -c - 4*c. Suppose 3*p + l - 309 = 0, 2*l + 2*l = c. Is p a multiple of 24?
False
Is 95 a factor of -10505*(663/85 - 9)?
False
Let h = -33678 + 65570. Is 14 a factor of h?
True
Suppose 163*j - 9244800 = -37*j. Is 12 a factor of j?
True
Let g be (-20)/(-16) + 0 + (-6629)/(-28). Suppose -54*d - g = -61*d. Is 2 a factor of d?
True
Suppose 0 = 4*j + 5*p + 3, -3*j + 2*j = 4*p + 9. Suppose 2*d + 339 - 1174 = -j*h, d + 820 = 3*h. Is h a multiple of 25?
True
Suppose w + 2922 = 4*u, -58 + 64 = -w. Does 9 divide u?
True
Let y(a) = 46*a**2 - 2*a - 5. Let c be y(-1). Suppose c + 749 = 4*j. Does 33 divide j?
True
Suppose -25 = -7*y + 31. Suppose -5*q + 1020 = 5*t, 14 = 2*t + y. Is 5 a factor of q?
False
Let h(q) = 7*q + 28. Let o be -3 + 6 + (-9)/(-2)*2. Let n = o - 3. Is h(n) a multiple of 8?
False
Suppose -6*z + 23*z - 34 = 0. Let o be z/(18/4 + -4). Suppose o*h - 3*r - 331 = 0, h - 148 = -h - 2*r. Is 15 a factor of h?
False
Suppose 0 = -12*z - 11*z + 46. Suppose m = -z*p + 378 - 22, -5*m = 2*p - 1796. Is 6 a factor of m?
True
Let z(y) = 6*y**2 + y + 2. Let g be z(2). Let f = 21 - g. Is 25 a factor of (f + 6)/((-1)/(1 + 126))?
False
Suppose 8*c + 2*h + 2 = 4*c, -12 = -c + 2*h. Suppose c*w + 134 = 806. Suppose -2*k - 5*k = -w. Is 16 a factor of k?
True
Suppose 15*h + 12*h - 2673 = 0. Suppose 103*k - h*k = 1080. Is 30 a factor of k?
True
Suppose -4*t + 2*z = 4, 5*t + z - 6*z + 10 = 0. Let d be (t + 0)*5/(-10). Is 5 a factor of (-1 - d - -2) + 32?
False
Suppose 2 - 42 = -20*f. Is 8 a factor of (-7964)/(-12) - f*(-7)/42?
True
Suppose -6*d + 3*p = -3*d - 4161, -5*d - 5*p + 6905 = 0. Suppose -d - 296 = -6*c. Does 20 divide c?
True
Let g(c) = -c**3 - 25*c**2 - c - 16. Let s be g(-25). Let p be 10/4*s/45*6. Suppose 162 = 2*h - 4*z - 0*z, p*z + 6 = 0. Is 7 a factor of h?
True
Is (-1*(-4746 - (-2)/(10/(-25))))/1 a multiple of 113?
False
Suppose -38*k = -7316 - 45504. Does 9 divide (k/(-10))/((-1)/3)?
False
Is 11 a factor of 3687/35*7*5?
False
Let h = 1039 - 367. Is 21 a factor of h?
True
Let x be -3 + 3 + (15/(-5) - -1390). Let f = -562 + x. Is 33 a factor of f?
True
Let z(i) = 3*i + 30. Let q be z(-10). Let g(a) = -2*a**2 - a. Let v be g(q). Suppose -k + c = -89, 0 = -v*k + k + 2*c - 95. Is 7 a factor of k?
True
Suppose -1254*g = -1358*g + 115128. Is 33 a factor of g?
False
Let x = -78 - -174. Suppose 3*w = 381 + 27. Let d = w - x. Does 10 divide d?
True
Let i(b) = 81*b - 1678. Is 50 a factor of i(35)?
False
Suppose -5*c - 25 = -4*v, -2*v + 2*c - 3*c = 5. Suppose 5*f + 3*a - 314 = -v*f, 0 = 2*f + 2*a - 128. Is f a multiple of 3?
False
Suppose -21661 = -3*h - 7*u + 8*u, u + 1 = 0. Is 95 a factor of h?
True
Suppose 18*d = 14817 + 31911. Suppose -f - 19*n + 15*n + 1284 = 0, -2*f - n = -d. Is 65 a factor of f?
True
Let a = -4176 + 4381. Is 3 a factor of a?
False
Suppose -5*j = -10, 4*j - 474 = 2*q - 4*q. Does 78 divide q?
False
Suppose 23*k + 7*k - 3840 = 0. Suppose -3*r + 2*d = -160, -2*r + k = 6*d - 2*d. Does 7 divide r?
True
Suppose -44*d = -31*d - 16016. Is 56 a factor of d?
True
Suppose -4*f - 68 + 0 = 0. Let t(g) = -g**3 - 7*g**2 - 8*g - 2. Let s be t(-7). Let q = s + f. Is 31 a factor of q?
False
Suppose 5*b = -3*x - 0*b + 295, -5*x + 5*b + 425 = 0. Suppose x = -10*f + 10. Is 2 a factor of 48/f*40/(-6)?
True
Let m be 3*-21*(-1)/9. Let n = 111 - m. Suppose 4*w + 2*b = n, -4*b + 0*b + 104 = 4*w. Does 14 divide w?
False
Does 8 divide 9 - -5921*70/(-140)*(-9 - -1)?
False
Let u(b) = -23*b**3 - b**2 - 4*b + 8. Let m be u(2). Let y = 579 - 857. Let w = m - y. Does 30 divide w?
True
Let y(i) = 856*i - 1866. Is 46 a factor of y(11)?
False
Let r = 925 - 923. Suppose r*g - 1174 = -122. Does 16 divide g?
False
Is 22 a factor of 6974*((-4)/3 + 1)/(63/(-189))?
True
Let y(s) be the second derivative of s**5/20 - 7*s**4/6 + s**3/6 + 15*s**2/2 + 9*s. Suppose -40 = -17*t + 198. Is y(t) a multiple of 6?
False
Let r(y) = -y**2 - 10*y - 14. Let w be r(-6). Is 5/w - (-1293)/6 a multiple of 57?
False
Let g be 1*((-24)/18 + 4/3). Suppose 350 = 4*q - 2*c + 5*c, g = -4*q - 2*c + 348. Is 10 a factor of q?
False
Suppose 56582 = 12290*u - 12306*u + 312230. Is 8 a factor of u?
False
Suppose 0 = -4*v - 2*f + 46, 3*v + 5*f - 33 = 2*f. Let o be (v/(-15))/((-14)/385). Is (-12)/(473/4598 + (-4)/o) a multiple of 22?
False
Let x(p) = 4*p + 148. Let f = 212 + -227. Is x(f) a multiple of 8?
True
Let k be (-264)/(-68) + 9/((-918)/(-12)). Suppose 0 = -4*w + 4*i + 508, 0 = 5*w - k*w + 5*i - 145. Is 8 a factor of w?
False
Suppose 17*f = 20*f - 3636. Is f a multiple of 101?
True
Suppose -b = 4*j - 695, -4*j + 6*j - 2085 = -3*b. Let l = b - 455. Is 30 a factor of l?
True
Let l = 60 - 46. Suppose 0 = -l*n - 1527 + 4551. Is 27 a factor of n?
True
Suppose -u = 2*u. Suppose -3 = -m 