 Does 7 divide c(h)?
False
Suppose 11*a - 8*a = -54. Let q be (24/(-18))/(3/a). Suppose 0 = 3*x, -3*s + q*x = 3*x - 60. Is s a multiple of 20?
True
Does 26 divide 34*40/(-32)*-18?
False
Suppose -7*o - 59 = -850. Is 17 a factor of o?
False
Let g(t) = 67*t + 282. Does 17 divide g(9)?
False
Let o be 2/((-8)/(-12) - (-3)/9). Suppose -745 = -3*d - o*d. Is d a multiple of 25?
False
Suppose -j - 16 = -5*m, 3*j - 2*m - 4 = -0*j. Let r be j/(-22) + (-35)/(-11). Suppose -x + 296 = r*x. Does 18 divide x?
False
Suppose 3*n - 4*h - 3 = 8, -2*n + 15 = 5*h. Does 17 divide ((-15)/n)/(-3)*121?
False
Let k = 4518 + -3222. Is k a multiple of 48?
True
Let w(p) = -p**3 - 7*p**2 + 6*p + 10. Let u be w(-8). Let r = -13 + u. Suppose -4*q + r = -3. Does 2 divide q?
True
Let q = 184 - 20. Suppose -5*d + 96 = -q. Is d a multiple of 26?
True
Let q(b) = -b**3 + 41*b**2 + 183*b - 88. Let y be q(45). Suppose -3*f = f + 148. Let p = f + y. Is p a multiple of 3?
False
Let l = -172 + 722. Is 8 a factor of l?
False
Let u be (-4)/18 - (-3906)/81. Suppose u = 9*g - 8*g. Does 6 divide g?
True
Let k(i) = 3*i**2 + i - 1. Suppose 4 = -6*u + 10*u. Let m be k(u). Suppose -m*n + 25 + 5 = 0. Does 6 divide n?
False
Suppose t + 4*x + 9 = -0, -2*t - 6 = -4*x. Is (-15)/t*528/9 a multiple of 11?
True
Suppose 3*k + 21*j - 22*j = 5779, 2*j = -4*k + 7702. Does 107 divide k?
True
Let d = -515 + 940. Does 17 divide d?
True
Suppose 2*b - 90 = -t + 5*b, -5*b = -5*t + 490. Suppose -4*u = -3*c - t, -u = -3*u + 4*c + 56. Is 3 a factor of u?
True
Suppose -2*g - 45*k + 46*k = -3144, 5*g + 5*k - 7875 = 0. Is g a multiple of 61?
False
Suppose 4*y - 8412 = 4*i, -4*i + 78 = 66. Is y a multiple of 39?
True
Suppose -7*i = -2*i - 95. Suppose -3*q = m - 31, q - 2*m = 3 + i. Is 6 a factor of q?
True
Let i be 4/(-18) + 380/90. Suppose i*w - f = 13, 3*f = -2*w + f + 4. Is w even?
False
Let r(w) = w**3 + 9*w**2 + 8*w - 9. Let b be r(-8). Let m = 56 + b. Suppose 0 = -3*q + m + 79. Is q a multiple of 14?
True
Let x be (15 - 16)/(1/5). Let q = x + 18. Is q a multiple of 13?
True
Let n(m) = -3*m - 4. Let x be n(0). Let a be 1/((-3)/(-45)*1). Let r = x + a. Does 11 divide r?
True
Let b be (3 - (0 - -1)) + 595 + 1. Suppose 2*c = -218 + b. Is 21 a factor of c?
False
Let c be (-3 + -2)/(-1*1). Let s = c + -3. Suppose 3*m + 5*q - 23 = -m, -3*m + 12 = s*q. Is 2 a factor of m?
True
Let s = -29 + 53. Suppose 3*l - 240 - s = 0. Is 22 a factor of l?
True
Suppose 0 = -3*r + h - 11 - 33, 5*r + 4*h + 45 = 0. Let w = -13 - r. Suppose w = 3*b - 282 - 66. Does 29 divide b?
True
Let h = -655 - -1390. Suppose 5*p - 2*p = -h. Is p/(-6) + 1/6 a multiple of 21?
False
Let c = 4273 - 1613. Is 15 a factor of c?
False
Let d(z) = -z**2 - 12*z - 19. Let o be d(-13). Is 8 a factor of (4 - -1)/(-5)*o?
True
Suppose -4*u - 4*u = -24. Suppose -4*y + 270 + 84 = u*l, 0 = -4*y - l + 350. Is y a multiple of 29?
True
Let s(d) = -3*d**2 + 1 + d**3 + 3 + d**2 - d**2. Let q(z) = z - 9. Let g be q(12). Is 4 a factor of s(g)?
True
Let l = 297 - 146. Suppose -2*s + k + 4*k = -108, -3*s + l = -2*k. Is s a multiple of 12?
False
Let q = -1766 + 2522. Let f be (q/(-15))/(-3)*5. Is 30 a factor of (1 + -2)/((-1)/f)?
False
Let q(i) = -2*i**3 - 7*i**2 + 6*i + 10. Let h be q(-4). Suppose h*g = 136 + 2. Is 21 a factor of g?
False
Let v = 5 + -11. Is 11 a factor of v/(-2*(-3)/(-27))?
False
Let o(j) = -75*j**2 - 1. Let d be o(-1). Is 23 a factor of (2 + d)/((-8)/12)?
False
Suppose 3228 = 25*n - 19*n. Is 10 a factor of n?
False
Is 4*11/((-176)/12) - -299 a multiple of 8?
True
Let t(r) = r + r - 12 - 4*r. Is 8 a factor of t(-14)?
True
Let s be 2 + (-1220)/(-18) - 2/(-9). Let g = -62 + s. Does 4 divide g?
True
Suppose -4882 = -20*h + 3778. Is h a multiple of 21?
False
Is 8 a factor of 477/2 - 405/(-270)?
True
Let x be (-5 - -4)*0/((-4)/2). Suppose x = 2*d + w - 164, d - w - 9 = 79. Is d a multiple of 28?
True
Suppose 36 = 5*c + 4*x, -3*c - 3*x = 2*x - 32. Let b(f) = 4*f - 12. Does 2 divide b(c)?
True
Let r = 1 + 0. Suppose r + 7 = 2*m. Suppose -68 = -2*j - 0*j - m*p, -3*j - 2*p = -82. Is 8 a factor of j?
True
Let x = -881 + 1271. Is 15 a factor of x?
True
Let l = -106 + 181. Let w = -60 + l. Is w a multiple of 3?
True
Let i(c) = -c**3 - 3*c**2 + 4*c + 14. Let w be i(-4). Suppose -4*k + 3*u = -227, -3*u + 49 = 2*k - 42. Let z = w + k. Is 24 a factor of z?
False
Let y = 17 - 12. Let g = -272 + 274. Suppose 27 = g*d + p, y*d + 3*p - 67 = -0*d. Is d a multiple of 9?
False
Suppose -12 = -2*d - 0. Does 6 divide 126/4*((-16)/d + 4)?
True
Let s(t) = 21*t**2 - 5*t - 2. Does 9 divide s(-3)?
False
Suppose 5*s + 35 = 5*g, -3*s - 6 = -0. Suppose -u = g*r - 6, 0 = 4*u + 2*r - 69 + 9. Is 8 a factor of u?
True
Let s(u) = -15*u**3 - u**2 - 2*u. Let w be s(-1). Let j be (-204)/w + (-1)/4. Let o(x) = -x**2 - 16*x + 6. Does 9 divide o(j)?
True
Suppose -3*w - 83 = -203. Suppose -64 = -2*b + w. Is 44 a factor of b?
False
Suppose 5*p + 2*i = 287 - 2, -3*p + 190 = 5*i. Is 7 a factor of p?
False
Suppose -14*w = -2*z - 10*w + 1060, 0 = w + 5. Is 3 a factor of z?
False
Let r be 94*(-4 - (-9)/2). Suppose -3*d + t = -58, -5*t - r - 23 = -4*d. Is d a multiple of 5?
True
Let w = -99 + 111. Let a(r) = -8 + 1 - 2 - r + 2*r. Is a(w) a multiple of 2?
False
Let o be 4 + -4 + 156/1 + 1. Suppose 6*v - 3*v - o = 2*u, 0 = 4*u - 4. Does 13 divide v?
False
Suppose -t - 310 = -2*g + t, -316 = -2*g - 4*t. Is g a multiple of 67?
False
Let q = -16 + 16. Suppose -5*m + 5 = -q*s + 5*s, 4*m = 0. Does 6 divide (13 - s)*2/4?
True
Let g(u) = u**2 + u. Let o be g(0). Suppose 2*v + 2 = 8. Suppose 5*y + 165 = 5*q, o*y + 104 = 4*q + v*y. Does 16 divide q?
False
Let q(z) = -2*z - 12. Let b be q(-8). Suppose -a = -4*d + 13, -1 = 5*d + b*a + 9. Suppose d*f = -11 + 39. Is f a multiple of 14?
True
Suppose -3*k = -5*g - 39, 4*k - 26 - 4 = 3*g. Let m be (-3)/(-18) + 1/g. Does 15 divide (-56)/(-2) + (-1 - m)?
False
Suppose 7 = -2*i + 3. Let v(q) = -5 + 2 + q + 5 + 9*q**2. Is v(i) a multiple of 14?
False
Let a = -1858 + 4017. Is a a multiple of 127?
True
Is 2 a factor of 6/(-39) - 476/(-104)*2?
False
Suppose 3*a = a - n - 1, 0 = 3*a + n + 1. Let s = 94 + a. Does 14 divide s?
False
Let t = 23 - -337. Is t a multiple of 10?
True
Is 59 a factor of 25/5 + -15 - -1603?
True
Suppose -5*f - 2*y = -3, 4 = -f - 4*y - y. Suppose -f = -5*q + 44. Let s = 5 + q. Is s a multiple of 6?
False
Let g(d) = 5*d - 13. Let n be g(6). Suppose 0 = n*c - 15*c - 96. Does 24 divide c?
True
Suppose -1 + 14 = 3*c - l, -5*c = -l - 21. Let t = c + 1. Suppose a = t*a - 80. Is a a multiple of 20?
True
Let u(x) = x**3 + 3*x**2 + x + 2. Let s be u(-2). Suppose 3*c - 21 = -s*c. Is (-4)/(c/90*-3) a multiple of 6?
False
Let z = 16 - 14. Suppose -23 = -y - 4*c, -y - z*c - 3 + 18 = 0. Suppose 4*g - y*g = -42. Is 7 a factor of g?
True
Let u = 2 + -20. Let p be (u/27)/((-4)/66). Let q = -2 + p. Is q a multiple of 6?
False
Does 9 divide ((-655)/(-20))/(190/(-48) - -4)?
False
Suppose 5*n - 420 = 2*n. Suppose 0 = -3*k - 2*k + n. Suppose 0 = -v - 3*v + k. Is 2 a factor of v?
False
Let f be -6 + (8 - 23) + (-1)/(-1). Let n = f + 120. Is 50 a factor of n?
True
Suppose -5*y = -25, 3*y + 0*y = 2*t + 1. Suppose -t*x + 29 + 237 = 0. Does 19 divide x?
True
Suppose 0 = 2*l - 5*l. Let r(q) = -27 - 7*q + 75 + 8*q. Does 11 divide r(l)?
False
Is 16/6*5/(-30)*-279 a multiple of 31?
True
Let v be (-3)/1 - -6 - 0. Let b = 6 - v. Suppose 120 = 3*w - x - 1, -4*x = b*w - 146. Is w a multiple of 15?
False
Let s(v) = v**3 + 28*v**2 + 27*v. Let n be s(-27). Suppose -9*i + 582 - 150 = n. Is i a multiple of 12?
True
Let t be (-6)/(-21) - (-198)/42. Suppose t*a = -61 + 461. Is 16 a factor of a?
True
Let y = 19 - 14. Suppose -y = -2*l + 5. Does 2 divide l + -3 + -3 - -8?
False
Let m be 1 - (-3 + 0/2). Let q = 3 - m. Let h = 16 - q. Does 7 divide h?
False
Let l = 28 + -12. Suppose -19*v + l*v + 120 = 0. Is 8 a factor of v?
True
Does 77 divide ((-267 - -2)/(-5))/(5/320)?
False
Let a(m) = 2*m. Let u be a(2). Suppose f + f - u*y = 66, -y = -5*f + 129. Is f a multiple of 5?
True
Suppose 2*y + 170 = -3*y. Let d = 26 - y. Let v = d + -25. Is v a multiple of 16?
False
Let g(a) = 92*a + 576. Does 14 divide g(12)?
True
Let a be (-3)/(-3) - (-3 - 0). Let h = -1 - a. Is 8 a factor of (-1)/h - (-117)/15?
True
Suppose 