= -21*n - 119. Is n a multiple of 17?
True
Let l(u) = -u**2 + 3*u**2 - 62 - 27*u - 3*u**2. Suppose 305 = -29*p - 333. Is l(p) a multiple of 8?
True
Let p(s) = -10*s**3 - 14*s**2 + 73*s - 19. Does 11 divide p(-6)?
True
Let q = 5741 - 106. Does 115 divide q?
True
Let r = 3077 - 2622. Is 65 a factor of r?
True
Let g(w) = -697*w + 112. Is g(-6) a multiple of 113?
True
Suppose 2*q = -3*h + 4301, 1111 = -4*h + 2*q + 6869. Suppose 0 = -4*f - 0*f + 4*g + 1436, -4*f + h = -5*g. Is f a multiple of 5?
False
Suppose -52 = 5*i - 0*g + g, 8 = -i - g. Let u(q) = -q**3 - 11*q**2 + q + 2. Let s be u(i). Does 3 divide (27/(-6))/s + 74/4?
False
Let j = -267 + 1435. Suppose -j + 52 = -6*s. Is 31 a factor of s?
True
Let s(d) = 13*d**2 + 4*d - 5. Let k be s(1). Suppose 0 = -5*h - 2 + k, -5*p + 2*h = -981. Is p a multiple of 32?
False
Is 18 a factor of 26 + -23 - (-16277 + (-12)/(-4))?
False
Let u(b) = -7*b - 7. Let g be u(-1). Suppose 0 = 2*a - 3*k - 142, g*a + 5*k - 262 = -4*a. Does 7 divide a?
False
Is 54 a factor of 316233/48 + 105/(-560)?
True
Suppose -148*b + 252*b = 425984. Does 113 divide b?
False
Let f(x) = 38*x**2 - 180*x + 2632. Is f(16) a multiple of 12?
True
Let o(q) = -144*q + 16. Does 128 divide o(-15)?
True
Suppose 37 = 2*t + 601. Let r be (-3)/12 - t/8. Let c = -15 + r. Is 4 a factor of c?
True
Is 14 a factor of (138/24 - 6)/(16/(-1288832))?
False
Suppose 0 = 943*r - 935*r - 40. Let v be -14*(2 - (-2 - -1)). Does 19 divide r/(-10)*v - 2?
True
Suppose 0 = -4*s - 5*s + 356160 + 136266. Does 29 divide s?
False
Let a = -4 - -9. Suppose 133*d - 11 = 130*d - m, -3*d + 1 = -4*m. Suppose -5*s = -d*c + 2*c - 64, a*c - 5 = 0. Is s a multiple of 12?
False
Let p be 420 - (-2 + -2 + -2). Let f = p - 344. Is f a multiple of 12?
False
Let q(o) = -o**3 - 3*o**2 + 10*o + 21. Let d be q(-7). Does 13 divide ((-240)/(-28))/(6/d) - -2?
False
Let g be (1/2*2)/((-11)/(-1067)). Let p = -22 + g. Does 3 divide p?
True
Let a(l) = -2*l**2 + 40*l**3 + l + 45*l**3 + 1 - 76*l**3. Let d be a(1). Does 15 divide 6/d - 301/(-21)?
True
Let x be 0 + 2 + -3 - (-2012)/2. Suppose -v + x = -2*q + q, -v + 1004 = -2*q. Suppose -1256 = -8*i + 3*i + 2*t, v = 4*i - 2*t. Is i a multiple of 50?
True
Let b = 135 - 138. Let m = b - -206. Is m a multiple of 7?
True
Is (-15 - 0)/(((-135)/5328)/5) a multiple of 40?
True
Let g be (4 - 300/(-9))/(4/6). Suppose 12*z + g - 1256 = 0. Is 4 a factor of z?
True
Let l(i) = -i**2 - 8*i + 35. Let p(m) = 3*m - 12. Let a(d) = -4*l(d) - 11*p(d). Let f = 218 - 222. Is 30 a factor of a(f)?
True
Let c = 23432 - -7648. Is 168 a factor of c?
True
Does 5 divide (3317/124)/((-5)/(-1060))?
False
Let z = -2406 + 2787. Is 9 a factor of z?
False
Let v(u) = 17*u + 102. Let r be v(-6). Let d(z) = 48*z + 516. Is 86 a factor of d(r)?
True
Let m(w) = 62*w**2 + 63*w - 426. Does 17 divide m(11)?
True
Let f(i) = 7*i**2 + 19*i + 1. Let o(a) = -a**2 - a - 1. Let k(n) = -f(n) - 5*o(n). Let h be k(-8). Does 11 divide (2 + 1)*(-616)/h?
True
Suppose -153153 + 153031 = 55*z - 375992. Is 25 a factor of z?
False
Is 58 a factor of (-124)/1860 - (-276692)/30 - 1?
True
Let u(r) = 9452*r**2 - 2. Does 10 divide u(-1)?
True
Let v = 266 - 264. Suppose v*b - 5*y - 372 = -y, -588 = -3*b - 4*y. Is 30 a factor of b?
False
Let y be ((-6)/(-12))/(2/24). Let g be y/(-27) + 7734/54. Suppose g = 5*a + 18. Is 3 a factor of a?
False
Suppose 0 = q + h - 7063, 4*h + 9467 = 4*q - 18785. Is 40 a factor of q?
False
Let c(t) = -663*t - 1443. Is c(-5) a multiple of 52?
True
Let s = -384 - -387. Suppose -s*c + 615 = -3*g, 4*g = -2*c + 105 + 305. Is c a multiple of 41?
True
Suppose 2*f - 648 = -3*w + 2327, f + 3*w - 1492 = 0. Suppose 9*b - 497 - f = 0. Is 11 a factor of b?
True
Let b(q) = q**2 - 7*q + 14. Let g be b(5). Suppose -5*n + n = g*p - 784, 3*n + 594 = 3*p. Let o = 435 - p. Is o a multiple of 34?
True
Let d(x) = x**3 - 29*x**2 - 22*x - 48. Let f be d(30). Let m = f - 117. Is m a multiple of 15?
True
Let d(a) = -62*a + 141. Is d(-2) a multiple of 5?
True
Suppose -64*u - 125201 = -966673. Is u a multiple of 19?
True
Suppose 3*x = -3*h + 9, 0 = -h + x - 7 + 10. Is h/(27/4394) - 4/18 a multiple of 61?
True
Suppose 0 = -2*k - 9*d + 12*d + 320, 2*k = -3*d + 344. Is k a multiple of 2?
True
Let h be 4/(-8) - (-2817)/(-6). Let v = h + 1154. Suppose -156 = -t + 7*w - 4*w, 3*w - v = -4*t. Is 14 a factor of t?
True
Suppose -5*p - 3338 = -15788. Does 11 divide p?
False
Let v(z) = -13*z - 47. Let q(g) = -2*g**2 - g - 18. Let c be q(0). Does 11 divide v(c)?
True
Let q = -172 + 162. Is 1 + q/8 - 45594/(-136) a multiple of 14?
False
Suppose 0*w + 3*w + r = 27865, 3*r - 3 = 0. Is 29 a factor of w?
False
Let n = -134 + 86. Let d = n + 57. Is (d - (-2 - -2))/(18/96) a multiple of 25?
False
Let l(m) = 5134*m - 1096. Does 24 divide l(4)?
True
Is 15 a factor of (-332925)/(-7) - -8 - ((-66)/(-21))/(-11)?
False
Let m(g) = 3*g**3 - g**2 - 22*g - 42. Let f be m(5). Let l = 147 - 90. Suppose -l = -r + f. Does 51 divide r?
True
Let j(y) = -4*y + 158. Let a be j(39). Is 109269/162 + 3/a a multiple of 13?
True
Let p(d) = 10*d**2 - d + 1. Let n = -60 + 54. Let c be 0 - (-3 - (n + 4)). Is p(c) even?
True
Suppose 41*k + 21*k = 147436. Is k a multiple of 15?
False
Let n = -186 - -126. Let d = n - -252. Is 12 a factor of d?
True
Let s(y) = -15*y**3 - 23*y**2 + 25*y + 51. Is s(-8) a multiple of 20?
False
Let l(p) = 500*p + 772. Does 7 divide l(11)?
True
Let z(j) = j + 26. Let p be (30 + -27)/(3/2). Let x be 1/(4 + 27/(-6))*p. Does 7 divide z(x)?
False
Let r(j) = 6*j**2 + 97*j + 3395. Does 86 divide r(-45)?
True
Let w = 102 - 101. Let d be (w + 1/(-2))*(3 - -3). Is d + (-3 - -2) + 229 a multiple of 21?
True
Is 6 - (0 - 4944) - (-11 + 3) a multiple of 37?
True
Let s = 1440 + -1442. Let h be 352/7 + 4/(-14). Let v = h + s. Is 16 a factor of v?
True
Let t be 64/16*(14 + (-6)/3). Does 22 divide (87 + 0)*(t - 41)?
False
Suppose -3*i + 51258 = -3*u, -3*i + 121*u = 122*u - 51234. Is 35 a factor of i?
True
Let n be ((-1)/(-6)*2)/((-2)/8898). Let a = -622 - n. Does 14 divide a?
False
Let h = 71 - 62. Suppose v + h = 2*n, -2*n - v + 40 = 3*n. Suppose 2*m + 300 = n*m. Does 20 divide m?
True
Let n = 35731 + 1117. Is 21 a factor of n?
False
Suppose 13 = -b + 7. Is 7 a factor of b - -7 - (-2 - -4) - -83?
False
Let i be 10/(-8)*(2 - -2). Let f be (i/(-10))/1*2. Suppose 0 = 2*h - f - 7. Is 3 a factor of h?
False
Let y(v) = v**3 - 7*v**2 - 7*v - 7. Let c(i) = 2*i - 2. Let t be c(6). Let x be y(t). Suppose w + x = 3*n + 2*n, -231 = -5*n - 3*w. Is n a multiple of 15?
True
Let g(h) = 3*h + 30. Let o be g(-10). Suppose 4*k = 2*k - 2*i - 176, o = -5*i. Does 2 divide ((-22)/k)/(2/152)?
False
Let k be (9/45 - 88/(-10)) + -2. Suppose 924 = k*f + 441. Is 2 a factor of f?
False
Let u(z) be the third derivative of 0 + 1/6*z**5 - 11/24*z**4 + 0*z - 1/2*z**3 - 1/120*z**6 + 6*z**2. Is u(8) a multiple of 37?
True
Let u = -57 - -651. Suppose -735 - 465 = -4*s + 3*d, 3*d + u = 2*s. Does 24 divide s?
False
Let w(s) = s**3 - s**2 + 6*s + 392. Let l be w(0). Let b = 752 - l. Is 36 a factor of b?
True
Let b = -8661 + 12953. Does 74 divide b?
True
Let x = 6037 - -506. Is x a multiple of 33?
False
Is 12/(10 + 2) + 9376 a multiple of 103?
False
Let c = -3009 + 4297. Is 46 a factor of c?
True
Let z(j) = -3*j - 3*j - j + 28 - 10. Suppose 2*k - 50 = 2*o, 0 = 4*o + 3*k + 23 + 70. Does 31 divide z(o)?
True
Let b be 2/(-3) + 210/45. Suppose -b*y = c - 164, -3*y - 3*c = -123 + 9. Let v = y + 13. Does 10 divide v?
False
Suppose 0 = 23*r + 728 + 5068. Let l = 798 + r. Does 13 divide l?
True
Suppose -2*n - 946 = -4*n - 6*o, -4*n = -o - 1827. Is 2 a factor of n?
True
Suppose 62*a + 3724 = 81*a. Does 3 divide 7/(a/12) + 876/14?
True
Suppose 2*q - 5*q - 5*m + 86062 = 0, -q = -5*m - 28634. Is q a multiple of 59?
True
Let p(t) = -t**2 + 6*t - 8. Let h be p(4). Let y be (1 - -1)/(4/(-10) - h). Let u(d) = -32*d - 35. Is 20 a factor of u(y)?
False
Suppose -3*r + w = 6, -3*r + 3*w = -5*r - 15. Is 21 a factor of 324/2 + (-18)/r?
True
Suppose -3*k = 4*h - 1337 + 60, -4*k + 1710 = -2*h. Suppose 3*f + k = 4*g, -g - 4*g + 529 = f. Is 2 a factor of g?
True
Suppose -5*n - 2*n - 2*n + 199206 = 0. Does 62 divide n?
True
Let a(x) = -10*x - 12. Let u be a(-1). Does 11 divide (-12)/(-10)*u/3*-95?
False
Suppose -4