2*w = 22. Does 5 divide k?
False
Suppose 0 = 10*r - 8118 - 1592. Is r a multiple of 103?
False
Let c be 1 + -2 + 3 + -22. Let k = -270 + 276. Is 9 a factor of (-225)/c*16/k?
False
Let t(n) be the second derivative of 5*n**3/6 - 12*n**2 + 5*n. Is t(16) a multiple of 7?
True
Let g = 4 - -5. Suppose 3*t - 13 = -4*p, 2 = 4*t - p - g. Is -1 + (t + 38 - 0) a multiple of 8?
True
Let a(z) = 50*z - 122. Is 7 a factor of a(12)?
False
Suppose -p + 6 = 1. Let f be p*(-3 + 0 + 4). Suppose 4*l + 5*z - 85 = 0, -2*l + f*z = -1 - 34. Is l a multiple of 5?
True
Does 17 divide (-252)/27*72/(-32)?
False
Let a = 681 + -382. Is a a multiple of 13?
True
Let z be -120 + (2 - 5) + 0. Let k = -222 - z. Let j = -70 - k. Is 17 a factor of j?
False
Let n(y) = y**2 + y + 2. Let r be n(2). Is 52 + 1/2*32/r a multiple of 8?
False
Let q(k) = 0*k - 7 - 3*k + 3*k - 4*k. Let z be 8*(-2)/(0 - -2). Does 10 divide q(z)?
False
Suppose 3*s + 2*y = -2*y + 168, 5*s - y - 257 = 0. Suppose 2*b - 60 = s. Is b a multiple of 25?
False
Let z(o) = 19*o**2 + 8. Let i be z(-6). Is 2/(-4) - i/(-8) a multiple of 26?
False
Suppose 3*u - i = 4 + 2, -2*u = 4*i - 4. Suppose 0 = -2*d - u*d + 476. Let o = d - 32. Is o a multiple of 18?
False
Let i = -307 + 553. Does 6 divide i?
True
Let w be 4/22 - (-6260)/55. Suppose -2*d - 2*k = -0*k - 84, w = 3*d - k. Does 3 divide (12/36)/(1/d)?
False
Let z = -11 - -11. Let k be 0*((z - -2) + -3). Suppose k = -5*n - 3 + 58. Is n a multiple of 6?
False
Let w = -100 + 410. Is 5 a factor of w?
True
Is 167*(2/(-11) - (-156)/132) a multiple of 3?
False
Let o = 11 - -2. Suppose 482 = -o*r + 1353. Is r a multiple of 4?
False
Let t(j) = j**3 + 5*j**2 - 5*j - 1. Let a be t(-6). Let u(m) = 2*m**3 + 18*m**2 + 5*m + 10. Does 9 divide u(a)?
True
Suppose 5*l - a - 300 = 0, 3*l - a = -2*a + 172. Let g be (-2)/(-4)*4 + l. Let t = g - 27. Is t a multiple of 17?
True
Let n(s) = -s**3 + 13*s**2 - 2*s - 17. Is n(7) a multiple of 83?
False
Suppose -10*a - 178 = -12*a. Suppose 5*c + a = 2*j, 0 = c + 3*c + 20. Is 4 a factor of j?
True
Let z = -1347 + 2265. Does 18 divide z?
True
Let g(m) = -5*m - 66. Let s be g(-14). Suppose 0 = 3*z - 3, 0 = 3*k + s*z - 3*z - 145. Is 48 a factor of k?
True
Suppose 9229 = 5*s - 1066. Does 31 divide s?
False
Is 24 a factor of (-178 - -179)/(2/2112)?
True
Suppose -3*i = -9, -68*s + 69*s = -5*i + 5394. Is 90 a factor of s?
False
Suppose 5*d - 20 = -2*f, -4*d + 48 = 5*f + 15. Let z(c) = c**2 - 1. Let u be z(-1). Suppose -d*r + r + 13 = u. Does 5 divide r?
False
Suppose 8*l = 3*l + 3*q + 5237, l - 2*q = 1046. Does 28 divide l?
False
Suppose 116 = -29*t + 25*t. Let f = 35 - t. Is f a multiple of 16?
True
Let l be 8/(-4) + 2 + 120. Suppose -l = -i - 0*i. Suppose -4*h + i = h. Does 8 divide h?
True
Suppose -3*f - 8 = -4*s + 3*s, -f - 26 = -5*s. Is ((-8)/12)/(f/54) a multiple of 12?
True
Suppose -12 = p - 5*p. Suppose 3 = -2*q + p*q. Suppose 5*h = -5*b + 60, 0 = 2*b - q*h + 6*h - 24. Does 6 divide b?
True
Does 3 divide (-1 - 11)*49/(-98)?
True
Let w = 2743 - 1843. Is w a multiple of 60?
True
Let v = 373 - 214. Let c = v - 82. Let x = c - 33. Is 22 a factor of x?
True
Let t(y) = 0*y**3 + 2*y - 2*y**3 - y**2 - 3*y. Let g = -177 - -175. Does 10 divide t(g)?
False
Let y(q) = 114*q**3 - q**2 + 2*q - 1. Let z be y(1). Let m = z + -48. Is m a multiple of 33?
True
Let r(t) = 3*t + 7. Let a be r(6). Let u = -9 + a. Is 12 a factor of u?
False
Suppose -2*r - 5194 = -5*g, -521 = g - 4*r - 1549. Is 80 a factor of g?
True
Is (-600)/(-12)*-1*(-65 - -1) a multiple of 50?
True
Let l(z) = -7 - 68*z**2 - 19 + 2 + z**3 - 9*z + 52*z**2. Is 15 a factor of l(17)?
False
Let n(i) = i**3 - 10*i**2 + 2*i + 27. Let j be n(11). Let l = j - 100. Is 14 a factor of l?
True
Let k(z) = -101*z + 8 - 2 - 7. Let g be k(-1). Let t = -41 + g. Is t a multiple of 13?
False
Let s be (-6)/(-10) + 211/10*24. Let x = s + -135. Is x a multiple of 48?
False
Suppose 2*c + 119 = c. Suppose -384 - 734 = 26*z. Let b = z - c. Does 19 divide b?
True
Let n = 186 - 293. Let b = -96 - n. Is b a multiple of 3?
False
Let h = -499 + 753. Does 20 divide h?
False
Suppose -2*a + 3*f + 2 = 0, 2*f = -2*a - 0*f + 12. Let d be (-5)/(-10) + (-2)/a. Let o(z) = z + 14. Is 2 a factor of o(d)?
True
Is 12 a factor of 15 + (-42)/6 - -849?
False
Let j(r) = r**2 - 10*r + 2. Suppose -24 - 8 = -2*y. Does 28 divide j(y)?
False
Suppose 4*v - 3*v - 3 = 0. Suppose -f + v*j = -28, 0 - 8 = -f - 2*j. Let h(r) = -r**2 + 20*r + 14. Does 8 divide h(f)?
False
Suppose -1100 = -3*p + 4*a + 1232, 0 = -2*a + 4. Suppose -4*d - 4*k + p = 0, -2*d = 2*k + 3*k - 390. Does 13 divide d?
True
Suppose -2*p + i - 75 = -4*p, 4*p - 151 = -3*i. Suppose -p*s - 96 = -38*s. Is s a multiple of 16?
True
Let n = -12 - -14. Let h be ((-12)/4)/((-3)/n). Suppose f - 14 = -x, h*x - 9 = -f - 0*f. Is 16 a factor of f?
False
Let y be 3 - ((-21 - 7) + -8). Suppose 3*c - 7 = -2*g + 34, 0 = 2*g - 3*c - 47. Let b = y - g. Is b a multiple of 17?
True
Suppose 4*b + 186 = -5*h - 240, 5*h + 322 = -3*b. Let l = 128 + b. Is l a multiple of 3?
True
Suppose 0 = o + 6*o - 28. Suppose -5*c + 275 = 4*r, 2*r - 142 = o*c - 2*c. Is r a multiple of 7?
True
Is 12 a factor of 7*(-4 + 5) + 156?
False
Let i(x) be the second derivative of x**3/6 + 5*x**2/2 - 6*x. Let n be i(-4). Is 13 a factor of 1162/(-56)*(n - 5)?
False
Suppose -4*v = 4*x - 4228, 16*x = 14*x + 2*v + 2114. Is 30 a factor of x?
False
Let v = 57 + -95. Let l = v + 206. Does 42 divide l?
True
Let j(c) = 2*c**3 + 39*c**2 - 21*c + 39. Is j(-20) a multiple of 3?
False
Suppose -r + 68 = 3*t, 3*t - 66 = -4*r - 1. Let d = 74 + t. Does 10 divide d?
False
Is (-21)/(433/109 - (9 - 5)) a multiple of 37?
False
Let k = 268 + -246. Does 6 divide k?
False
Let x = 231 + -159. Is 2 a factor of x?
True
Let u be (2/4)/(1/232). Let a = -227 + u. Let r = a - -167. Is r a multiple of 22?
False
Suppose -2*l - 4 = 0, 0*p + 8*l = 3*p - 2323. Does 6 divide p?
False
Suppose -5*r + 1400 = 5*r. Does 2 divide r?
True
Is (-6)/24 - 570/(-8) a multiple of 10?
False
Let s = 1281 - 526. Suppose s = -h + 6*h + v, 0 = -h + 4*v + 130. Is 10 a factor of h?
True
Suppose t - 13 = -4*z, 2*t + 0*t + 5*z = 17. Is 14 a factor of (-16 + -2 + t)*(-13 + 12)?
False
Does 9 divide (56/(-84))/(4/(-258))?
False
Suppose -3*d - 2*b + 45 = -2*d, b = 5*d - 225. Does 9 divide d?
True
Suppose -2*a - 398 = -3*s - 3*a, -2*s + 4*a + 270 = 0. Is s a multiple of 7?
True
Let u(r) = 2*r**3 + 64*r**2 - 23*r + 116. Is 9 a factor of u(-32)?
False
Let w(c) = 71*c**2 - 336*c + 1. Is 6 a factor of w(5)?
True
Suppose 0 = -4*h + 5*k, h - 3*k = -2*h - 3. Let z(i) = -i**3 - 4. Let b be z(h). Is 9/(-6) - b/(-2) a multiple of 21?
False
Let y be (-64)/28 + 6/21. Does 3 divide y/(-13) + (-438)/(-26)?
False
Let y(p) = -39*p + 27. Is 15 a factor of y(-4)?
False
Let v be 114/18 + 4/6. Let i be 8/(-3 + v) + 2. Is (-3)/i*-7*4 a multiple of 7?
True
Suppose -5*j + 20 = 5*a, 16 = 3*a - 3*j + 8*j. Suppose -a*p = p - 384. Is p a multiple of 16?
True
Suppose 2*p - 1604 = -380. Let o be p/(-9)*7/(-4). Suppose 2*j = -5*r + 65, -o = -4*j + 2*r - r. Does 10 divide j?
True
Let s = 68 + -78. Is 24 a factor of 6/(5/((-1475)/s))?
False
Let u(i) = -2*i**2 - 51*i - 18. Is 53 a factor of u(-24)?
False
Suppose 5*x + 2*a = 89, -1 = -x + 4*a + 8. Let h = x - 15. Suppose 3*o - 93 = -h*o - k, 4*o + 3*k = 70. Does 8 divide o?
False
Let z be (2/(-2))/2 - 22/(-4). Suppose 0 = c - 5*d - 114, c - z*d - 471 = -3*c. Does 18 divide c?
False
Suppose -212*o = -220*o + 25936. Is o a multiple of 20?
False
Is 65 a factor of 2/4 + (-9)/2*-541?
False
Let w = -1095 + 1459. Is w a multiple of 4?
True
Let g = 18 - 24. Does 10 divide (-222)/g - (1 - 0)?
False
Let l(b) = -3*b**2 - 14*b - 3. Let n be l(-6). Is 2 a factor of 2 + 0 - (n - -3)?
True
Let u(p) = 2*p + 7. Let f be u(-5). Is 9 a factor of (3 + f/6)*20?
False
Let k(v) = -v - 5. Let g(c) = 2*c + 8. Let l(i) = -5*g(i) - 8*k(i). Let a be l(1). Is (-35)/a*(-8)/(-10) a multiple of 2?
True
Suppose 4*g - 2069 + 293 = 0. Is g a multiple of 22?
False
Let m = -91 - -42. Let c = -21 - m. Is c a multiple of 28?
True
Suppose -5*j + 3*s - 54 = 0, -j + 5*s = 3*j + 51. Let d be ((-9)/6)/(j/12). Let u = d + 14. Does 16 divide u?
True
Let m(u) = 20*u**3 - u**2 + 11*u + 12. Let v(h) = 59*h**3 - 3*h**2 + 32*h + 35. Let