41*s = -w*s - 176. Is s a multiple of 8?
True
Suppose 0 = -2*r + 5*l + 205, 5*r - l = 385 + 185. Suppose 5*g = 4*y - r, -7*y + 122 = -3*y + 2*g. Is y a multiple of 11?
False
Suppose 4*f + 20 = 0, -10*z + 5*z - 3*f + 1310 = 0. Is 11 a factor of z?
False
Let g = -293 - -643. Is 26 a factor of g?
False
Suppose 54 - 539 = -h. Suppose -7*f = -h - 985. Does 21 divide f?
True
Let o(v) = 8*v**2 - 9*v - 133. Does 7 divide o(13)?
False
Suppose 278 = -9*y + 1547. Does 48 divide y?
False
Let w be (8/(-6))/(10/(-15)). Suppose -w*u + 440 = 3*u. Does 11 divide u?
True
Let v = 4139 + -2141. Does 39 divide v?
False
Let g(u) = -55*u + 10*u + 3 - 2. Is 19 a factor of g(-1)?
False
Suppose 4645 = 14*n - 269. Does 29 divide n?
False
Suppose 0 = -3*s - 4 + 124. Is 25 a factor of (15/(-12))/((-2)/s)?
True
Suppose 19*q = 8582 + 2229. Does 15 divide q?
False
Let n(p) = 289*p**2 - 1. Is n(1) a multiple of 72?
True
Suppose -w - 8 = -5*x, 0 = -w - w + 2*x. Suppose 4*q - 262 = -w*n, 7*n + q - 646 = 2*n. Is n a multiple of 27?
False
Does 16 divide 13758/30 + 8/20?
False
Let a be (8/6)/(1/((-18)/(-12))). Suppose a*p + 2*p + 37 = t, -38 = -t + 3*p. Does 27 divide t?
False
Let d(t) = -t**3 - 7*t**2 - 2. Let r be d(-7). Does 19 divide (2 + r + -1 + -75)/(-2)?
True
Let p(n) = n**3 + 11*n**2 + n + 11. Let q be p(-11). Let m be ((-2)/(-6) - 1)*-6. Suppose q = -m*c + 32 + 28. Is c a multiple of 14?
False
Let v = 85 + -64. Let p = 56 - v. Is 7 a factor of p?
True
Let z(y) = y**3 + 16*y**2 - 85*y - 60. Is z(-15) a multiple of 20?
True
Let k(s) = -5*s**2 + 7*s + 1. Let o be k(6). Let g = 247 + o. Is g a multiple of 22?
True
Let z = 10 - 1. Suppose -2*q - z - 7 = 0. Let c = -2 - q. Does 3 divide c?
True
Suppose -9*t + 828 = -2844. Is t a multiple of 51?
True
Let n be 22/(-99) - (-112)/18. Suppose n*r - 81 = 3*r. Is 8 a factor of r?
False
Let x = 610 - -63. Does 24 divide x?
False
Let q = 301 + -192. Does 12 divide q?
False
Suppose -4*q = 2*a - 2340, -4*q + 15*a - 11*a = -2340. Is q a multiple of 15?
True
Suppose -6*g + 4*g + 2448 = 0. Let d be 3/((-5)/25*1). Is 24 a factor of (-6)/d + g/15?
False
Let b(q) = -q**2 + 22*q + 2. Does 19 divide b(8)?
True
Suppose 4*c = 2*c + 36. Suppose j - 43 = -c. Is j a multiple of 8?
False
Suppose 4*a + 705 = 5*y, -4*y + 571 = -4*a + 7. Is y a multiple of 88?
False
Let j be -2*16*(-14)/(-4). Let d be j/(-18) - (-6)/(-27). Let y = d + 69. Does 15 divide y?
True
Let f(p) = 2*p**2 - 3*p - 1. Suppose -4*j - 22 = -3*j. Let k = j + 26. Does 6 divide f(k)?
False
Suppose -u + 2*i + 81 = 0, -3*u - 5*i + 480 = 2*u. Suppose 4*q + 0*q - 3*k - u = 0, -q + 4*k = -26. Is q a multiple of 11?
True
Let z = -940 + 1260. Is z a multiple of 4?
True
Let z(y) be the first derivative of 2*y**3/3 - 5*y**2/2 + 4*y + 10. Suppose -5*m + 6 = -3*m. Is 6 a factor of z(m)?
False
Let r be (18/30)/((-2)/(-10)). Suppose r*w - 12 = 7*w. Let n(v) = 4*v**2 - v - 2. Does 13 divide n(w)?
False
Suppose q - 5272 = -7*q. Is 45 a factor of q?
False
Let r(c) = -c**3 - 8*c**2 + 7*c + 24. Let w be r(-6). Let u = 310 + w. Does 20 divide u?
True
Suppose -338 = -5*d - w + 221, 2*d - 5*w - 202 = 0. Let t = 213 - d. Is 51 a factor of t?
True
Suppose -130 - 4201 = -61*u. Let s = 30 - -11. Let b = u - s. Is b a multiple of 30?
True
Let h(m) be the first derivative of m**2/2 + 4*m - 7. Let v be h(3). Suppose -29 = -f + 4*w, 3*f = v*w - 2*w + 52. Is 9 a factor of f?
True
Let n = 256 + 1856. Is n a multiple of 43?
False
Suppose 7*i = -o + 2*i + 80, 3*o - 160 = i. Let z be (-11 - (1 + -1)) + -27 + 25. Let l = z + o. Is l a multiple of 34?
False
Let w be (-2400)/72 - (-1)/3*1. Is 26 a factor of w*(-4)/(-18)*(-17 - -2)?
False
Suppose 7*m + 8800 = 57*m. Does 44 divide m?
True
Let w be 2/(3 - (-118)/(-40)). Suppose 4*a = -20 + w. Suppose -3*n + 66 = 3*j, 0 = 4*j + 2*n - a*n - 116. Does 13 divide j?
True
Let a(v) = 228*v + 86. Is a(3) a multiple of 11?
True
Let w = 24 - 18. Suppose 4*x = 297 + 143. Is 12 a factor of 9/w + x/4?
False
Suppose 3*g - 106 = 614. Is g a multiple of 22?
False
Let g(l) = -2*l**3 - 9*l**2 + 7*l + 7. Let a be g(-6). Does 4 divide (a/(-3))/((-12)/(-18))*-2?
False
Let d(n) = 3*n**2 - 5. Let s(z) = -z**2 - z. Let j(o) = -d(o) - 2*s(o). Let g be j(7). Is (-40)/15*g/8 a multiple of 5?
True
Let r be (-18)/(17/(-10) - -2). Let s be r/(-14) - 2/7. Suppose s*f - 3 - 33 = 0. Is 3 a factor of f?
True
Let s(h) = -6*h + 7. Let p be s(7). Let b be (-298)/14 - 10/p. Let w = 6 - b. Does 7 divide w?
False
Let a be ((-8)/(-6))/((-4)/(-12)). Is 123 + (-2 + a - (2 - 3)) a multiple of 22?
False
Suppose -10 = -4*m - 4*q + q, q + 2 = 0. Suppose 9 = -3*o, m*o - 12 - 63 = -s. Is 29 a factor of s?
True
Suppose -53 = -4*o - 169. Let z = o - -71. Does 7 divide z?
True
Suppose 0 = -166*z + 163*z + 144. Is z a multiple of 8?
True
Let d be 3/6*0*1. Let s be -86*(3/(-2) + 1). Suppose 2*i - i - s = d. Does 12 divide i?
False
Let h = 49 - -21. Suppose -14*p = -434 + h. Does 5 divide p?
False
Suppose 39*p = 43*p - 1056. Is p a multiple of 24?
True
Suppose -3*c - 4*s + 8 + 0 = 0, 4 = 2*s. Suppose 3*o - 84 = -c*o. Is 14 a factor of o?
True
Suppose 4*r = 16*r - 1296. Does 27 divide r?
True
Suppose 0 = -48*o + 4215 + 21561. Does 7 divide o?
False
Let l(b) = b**2 - 10*b - 64. Is 11 a factor of l(28)?
True
Is 1/(-5)*142*(-60)/24 a multiple of 20?
False
Suppose -4*t + 2*t + 10 = 2*b, 3*t - 13 = -2*b. Is 45/20*(9 + t) a multiple of 11?
False
Suppose -5*b + 8*o + 330 = 3*o, 2*b = -2*o + 152. Is b a multiple of 7?
False
Is 78 a factor of (-330)/(-495)*(0 - 8856/(-2))?
False
Let b(r) = -4*r**3 - 3*r**2 + r. Let g(i) = i**3 - 14*i**2 - i + 12. Let k be g(14). Does 18 divide b(k)?
True
Suppose -6*y = 3*y - 54. Suppose l - y - 89 = 0. Does 14 divide l?
False
Is 26 a factor of (54/45)/(3/4210)?
False
Is 97 a factor of ((-105)/175 - 20496/(-10)) + 4?
False
Let a be 6/(33/6 + -4). Suppose -a*x + 0*x + d = 151, x = 5*d - 52. Let f = 135 + x. Is f a multiple of 28?
False
Let s be (-3 + 2)*(1 + -1). Let t(v) = v**2 - 29*v + 158. Let y be t(7). Suppose s = -6*z + y*z + 4*q - 6, z - 17 = -2*q. Is 7 a factor of z?
True
Let b = 1413 + -1286. Does 5 divide b?
False
Let s(i) = 2*i**2 + 32*i - 9. Suppose -5*m - 60 = 5*l, 0*m = -3*l + 4*m - 71. Is 3 a factor of s(l)?
False
Suppose -5*s - 3*y = -1635, -303 = 3*s + 3*y - 1290. Is 6 a factor of s?
True
Suppose -g + 4*d = -16, d - 74 = -3*g + 39. Let m be ((-27)/g)/((-2)/(-40)). Is (-1)/(-1)*(3 - m) a multiple of 18?
True
Let i = 11 + -7. Suppose -2*x + 0*x + 46 = -4*g, 0 = i*x + g - 92. Suppose 5*y - 37 = x. Is 12 a factor of y?
True
Let s be 4 + 4/8*-8. Suppose s = -11*k + 6*k + 135. Is 8 a factor of k?
False
Let i be (-61 + 1 - -1)/(-1). Let t = i + -9. Is 10 a factor of t?
True
Suppose 2*d + 51 = o + 206, -o = d - 73. Is 14 a factor of d?
False
Suppose -2*w + 378 = -132. Suppose 0 = 8*n - w - 225. Is 15 a factor of n?
True
Let k be (-8 - -2) + 2*1. Let p be (8/2)/(k + 5). Is (p/(-10))/(2/(-190)) a multiple of 19?
True
Suppose -1900 = 18*f - 37*f. Is f a multiple of 20?
True
Suppose 3*v + 2*v - 5*k = 0, 0 = -2*v - 2*k + 12. Let q = -11 + v. Is q/(-20) + (-253)/(-5) a multiple of 17?
True
Suppose -b = 14 - 1. Let a be 5/1 + -3 - b. Is (4/5)/(6/a) a multiple of 2?
True
Let w = -67 + 30. Let s = 63 - w. Is 24 a factor of s?
False
Suppose -4*t = -3*v - 11706, -5*t + v + 14617 = 5*v. Is t a multiple of 13?
True
Does 12 divide 4*((-130845)/(-22))/13?
False
Is ((-3)/(21/1337))/(0 - 1) a multiple of 19?
False
Suppose -2*j - 6 + 2 = -2*g, 3*g - j = 12. Suppose 2*u - 5*l - 159 = 0, -g*u + 383 = -0*u + 2*l. Does 11 divide u?
True
Let d(x) = 252*x**2 + 6*x - 8. Does 15 divide d(1)?
False
Let k be (2/9)/(0 + (-4)/(-18)). Let q(o) = -5*o - 2*o + 5*o + 43*o**2. Is 10 a factor of q(k)?
False
Suppose 5*p - 53 - 170 = -3*i, 4*i = -p + 269. Let l = 62 + i. Does 16 divide l?
True
Let i(d) = d + 1. Let w be i(4). Suppose -w*y = -6*y + 72. Suppose -p = -4*p + y. Does 8 divide p?
True
Suppose -16 = 3*t - 7*t, 0 = 3*o + t - 196. Suppose 3*y - 470 = -2*y. Let z = y - o. Is 10 a factor of z?
True
Suppose 2*p = s + 7, s - 15 = -3*p - 2*s. Suppose p*d + 5*j - 82 = 21, 0 = -4*d + j + 133. Is 6 a factor of d?
False
Let t be (-3 + 9)*10/15. Suppose 0*z + 172 = t*z. Does 29 divide z?
False
Let b(x) = -28*x**3 - 33*x**2 + 2*x + 35.