= 17, 0 = 6*h - 2*h - t - 7. Suppose 3*o + 3*c - 3 = 0, -2 = -h*o + o + 2*c. Suppose -o = 7*a - 85. Is a a multiple of 6?
True
Suppose t = -2*g + 82, 8*t = 11*t + 4*g - 252. Let m = t - 56. Is m a multiple of 8?
True
Suppose 4*w - 3*v = 1107, 1119 = 4*w - 27*v + 28*v. Is 4 a factor of w?
False
Suppose 2*n - 516*c + 512*c - 16622 = 0, -5*n - 5*c + 41630 = 0. Is n a multiple of 20?
False
Suppose 0 = 2*b - 3*b - 5. Let o(c) = -52*c - 44. Does 9 divide o(b)?
True
Suppose -107*a + 109*a = 42. Suppose a*p - 17772 = -3030. Does 13 divide p?
True
Is 160 a factor of (-40)/(-32)*72/15 + 1 + 153?
True
Suppose 138*w - 131*w = 66178. Suppose -w = -42*k - 2230. Is 86 a factor of k?
True
Let s(c) = -c + 4. Let g be s(8). Let a be (-4)/(-40)*g - (-16)/(-10). Is a + 3 - 2 - (1 + -59) a multiple of 13?
False
Let y(d) = 203*d - 913. Is 15 a factor of y(11)?
True
Suppose -136*o - 249*o + 693264 = -99*o. Is 3 a factor of o?
True
Let g = -13609 + 24426. Is g a multiple of 65?
False
Let p be 1 + (-7 + 10)/3. Suppose -4*z + y + 837 = -526, 3*z - 1026 = p*y. Is z a multiple of 85?
True
Let m = 7658 + 4778. Does 233 divide m?
False
Let b = 1607 + -639. Suppose b = -25*c + 27*c. Suppose 4*o - 416 = c. Is o a multiple of 25?
True
Let a = 56551 - 15631. Is 186 a factor of a?
True
Let p be (-1 - -1)*(-8)/(-24). Suppose 4*x + 2*o = 30, p*x - 2*o + 20 = 2*x. Suppose 0*h = -4*h + 5*w + 81, -3*w + 55 = x*h. Does 7 divide h?
True
Let k(u) = 2*u**2 + u + 6. Let i = 21 - 18. Let r be i/(-1 + 4) + 2. Does 5 divide k(r)?
False
Let t(j) = j**3 + 9*j**2 + 14*j - 26. Let g be t(-6). Is (-3)/g + (6 - (-13391)/14) a multiple of 9?
False
Let v(h) = -73*h + 10. Let p = 346 - 349. Does 83 divide v(p)?
False
Is (-261)/6*((-8)/12 + 500/(-6)) a multiple of 29?
True
Let x(m) = -m**3 - 12*m**2 - 18*m - 44. Let i be x(-14). Suppose 6*j + i = 7*j - 4*z, 2349 = 4*j + z. Is 28 a factor of j?
True
Does 96 divide 4 + 2 + 6 - -5*2052?
True
Let f be 60/24 - 8650/(-4). Let n = -1087 + f. Does 49 divide n?
True
Suppose -3*c = q - 394, 519 = 2*q + 5*c - 265. Let k be q*15/50*5. Suppose w + 3*g = 198, -133 = 2*w - 5*g - k. Is 42 a factor of w?
True
Let o = 3602 + -2363. Is 14 a factor of o?
False
Suppose 0 = -w - 2*c, 0 = 3*w - 2*c - 3*c + 33. Let q be (6/(-2))/(w/(-8)). Let x = 110 + q. Does 15 divide x?
False
Let v(d) = 2. Let i(s) = 19*s**2 - 16*s + 35. Let h(k) = i(k) + 2*v(k). Is 18 a factor of h(3)?
True
Let k = -342 + 243. Is 44 a factor of 30/(-9)*k/6*8?
True
Let p = -1020 + 3028. Is p a multiple of 11?
False
Suppose -4*a = 5*r - 6*a - 75, 4*r = -5*a + 60. Suppose 1002 = -9*z + r*z. Is 40 a factor of z?
False
Let l be (-5 - -7)/((-14)/4 - -4). Suppose l*w + 428 = 5*m - 4*m, 0 = -5*w + 25. Is m a multiple of 8?
True
Let l(g) = -g. Let w be l(-1). Let f(y) = -y - 1. Let h(s) = -24*s - 3. Let p(q) = w*h(q) + 5*f(q). Is p(-1) a multiple of 3?
True
Does 28 divide 51/(-357) - (-331452)/63?
False
Suppose -5*p + 86007 = x, -62*x + 17219 = p - 64*x. Is 159 a factor of p?
False
Let k = 17524 + -5702. Is 19 a factor of k?
False
Suppose 2*s = 46*g - 44*g - 12284, -s = -2*g + 12292. Does 50 divide g?
True
Suppose -d = 3*t - 922, 7*t - 3*t + 5*d - 1233 = 0. Suppose 0*c + 5*c = -4*a + t, 4*c + 4*a - 248 = 0. Does 23 divide c?
False
Suppose 4*a - 2*i + 14 - 50 = 0, -4*a + 30 = i. Is 29 a factor of (a/(-6))/(48/(-8352))?
True
Suppose 0 = c - 1530 - 270. Suppose -115*x + 110*x + c = 0. Does 18 divide x?
True
Let p = 8425 + -1264. Suppose 20*o = p + 11459. Is 11 a factor of o?
False
Does 12 divide (-144963)/(-99) - 6/22?
True
Let h(g) = 828*g**2 - 48*g. Is 66 a factor of h(5)?
True
Let t(i) = 15*i**2 + 22*i - 17. Let u be (-1 + 58/4)*(-170)/255. Does 44 divide t(u)?
False
Suppose -2*i = 5*l - 71, -10*i - 58 = -11*i + 2*l. Is i a multiple of 6?
True
Let r(w) = 2*w - 7. Let x be r(6). Suppose -4*c + 3*c = 2*m - 436, -x*m + 2*c = -1108. Is 11 a factor of m/(-32) + 7 - 87/(-8)?
True
Suppose -28*c = -26*c - 4. Let o be c/(2*(-1)/((-339)/(-3))). Let w = o + 181. Is 12 a factor of w?
False
Let v(d) = -30*d**2 + 12 + 60*d**2 - 37*d**2 + 18*d. Let s be v(13). Let o = -667 - s. Does 45 divide o?
True
Is (752895/(-36))/(-13) + 2/8 a multiple of 17?
False
Let h(a) = -1209*a - 2172. Does 121 divide h(-6)?
True
Let w(q) be the second derivative of q**5/60 + 5*q**4/24 + 5*q**3/3 + 3*q**2 + 23*q. Let c(r) be the first derivative of w(r). Does 20 divide c(-10)?
True
Let q be 3/3 - (8 + -8). Let g be q - 10/(4 - 2). Let v(d) = -15*d - 1. Is 19 a factor of v(g)?
False
Let a(u) = 2*u**3 - 5*u - 3. Let n(i) = -8*i**3 + i**2 + 21*i + 12. Let q(j) = 9*a(j) + 2*n(j). Let f be q(3). Does 15 divide f*(2/4 + 0)?
True
Let d = 1 + 2. Let a = 142 + -148. Is 12 a factor of 382/4 - d/a?
True
Let m(p) = -6*p - 27. Let b be m(-4). Is b/15 + 25368/40 a multiple of 17?
False
Let y(u) = -2397*u**3 + 4*u**2 + 2*u - 1. Is 7 a factor of y(-1)?
False
Let i be (12/10)/(28/70). Is 28 a factor of -3*(-2)/i + 559 + -5?
False
Let q(h) = -h**3 - 6*h**2 + h + 1. Let r be q(-6). Let k(j) = -24*j + 9. Let w(g) = -23*g + 8. Let n(o) = -2*k(o) + 3*w(o). Is 26 a factor of n(r)?
False
Let q = -21148 - -35743. Is 5 a factor of q?
True
Let o = -20174 + 27410. Does 108 divide o?
True
Let o be (1 - (-7)/(-3))/((-25)/75). Let w be ((-20)/(-48)*o + 0)*-3. Let h(l) = l**3 + 7*l**2 + 3*l + 9. Does 8 divide h(w)?
False
Let u = 45 + -41. Let h(p) = 47 + 35 + 6*p - u*p + 8. Does 9 divide h(0)?
True
Does 56 divide (-112)/(-84)*(0 + 1566)?
False
Suppose 3854*q - 3808*q - 8464 = 0. Does 5 divide q?
False
Suppose 2*p = -2*k + k - 19, -4*p - 77 = 5*k. Let d = 2722 + -2761. Is 6 a factor of (231/9)/(k/d)?
False
Suppose 5*q - 475 = -269*x + 274*x, -5*q + 421 = 4*x. Let r be 682/4 - 1/(-2). Let v = r - q. Is 11 a factor of v?
False
Let y(b) = -210*b + 1565. Is 27 a factor of y(-88)?
False
Let b = -336 + 328. Let r(i) = 4*i + 48. Is 7 a factor of r(b)?
False
Let h = 342 - 54. Is 6 a factor of h?
True
Let z(m) = m**3 + 4*m - 7. Suppose 5*q - 20 = -0. Let p be z(q). Suppose -5*v - 49 = -a + p, 0 = 5*a - 2*v - 518. Is a a multiple of 8?
False
Is 11114 + 1*13 + (-15)/((-270)/(-126)) a multiple of 247?
False
Let h(m) = 88*m + 55. Let f be h(11). Let s = f - 701. Is s a multiple of 46?
True
Suppose -115 - 345 = -5*g. Let c = g + -68. Does 4 divide (1760/c)/10 + 2/3?
True
Let i(w) = -w**3 + 61*w**2 - 217*w - 50. Is i(53) a multiple of 13?
False
Suppose h = 2*f + 784, -2*f - 38 - 2338 = -3*h. Does 3 divide h?
False
Suppose -504792 = -193*t + 139*t. Is 82 a factor of t?
True
Suppose 0 = -2*f + 3*f - 22. Suppose 499 = 7*p + 1367. Is 25 a factor of (p/3)/(f/(-3) - -7)?
False
Let k(c) = 12*c**3 + c**2 - c + 8. Let d(h) = 11*h**3 + 2*h**2 - 2*h + 7. Let v(u) = 4*d(u) - 3*k(u). Is v(2) a multiple of 4?
False
Does 6 divide 204 - ((-7)/2)/(16/32)?
False
Let d = -6131 + 8857. Is d a multiple of 47?
True
Let i be (1/((-8)/(-6)))/((-30)/(-600)). Is (i/(-10) - -4)*(-174)/(-3) a multiple of 66?
False
Let p(v) be the third derivative of -v**4/24 - 2*v**3 - 17*v**2. Let m be p(-18). Does 9 divide (((-18)/7)/(m/42))/(-1)?
True
Let x(d) = d**2 + 7*d + 10. Suppose -2*q - 2 = 8. Let t be x(q). Let n(w) = -2*w + 159. Does 53 divide n(t)?
True
Suppose 7*i - 1556 = 320. Suppose 10*o + i = 3568. Suppose o*f - 128 = 326*f. Does 2 divide f?
True
Suppose 941 = b + 4*b - 4*p, -2*b + 3*p = -382. Suppose 0 = 2*i + 5*y - 90, -11*i + b = -8*i - 5*y. Is i a multiple of 13?
False
Does 16 divide 4/(-6) + 188684/12 + -27?
True
Let m(z) = -64 - 18*z - 82 + 73. Does 33 divide m(-27)?
False
Let c = -748 - -277. Let a = 779 + c. Does 11 divide a?
True
Let l(y) = 3*y**3 - 140 - 2*y**3 + 28*y**2 + 19*y + 3 - 15. Is 19 a factor of l(-27)?
False
Let d = 1392 + -1372. Is 20 a factor of d?
True
Let l be -2 + (-16)/(-4) + 1. Suppose 5*p + 28 = -l*f, -3*f - 5*p - 26 = -p. Does 36 divide (-13090)/(-91) + f/(-39)?
True
Let r(w) = 5*w**2 + 3*w - 285. Is r(-25) a multiple of 149?
False
Let d = 25 - -553. Let x = -402 + d. Does 11 divide x?
True
Let z = -49 + 235. Let v = z + -168. Is v a multiple of 6?
True
Let c = -38 - -42. Let h be (2/c)/(14/2156). Let d = h - 44. Is d a multiple of 15?
False
Let s = -152008 - -233999. Does 13 divide s?
True
Let h(t) = 24*t + 510. Let a(l) = -8*l - 170. Let m(n) = -7*a(n) - 2*h(n). Suppose -5*v + 2*g + 12 