-p*h - 3*h + 312. Is h a multiple of 17?
False
Let x be 165*(-8)/(-6) - 1. Suppose 3*g = 2*v - x, 0 = -2*v - 3*v - 2*g + 500. Does 11 divide v?
False
Let c be (-17)/(-5) + 2/(-5). Suppose -134 = -2*l - 0*n - 3*n, 2*l = c*n + 110. Does 20 divide l?
False
Let r = 8 + -19. Let n be r/(-55) - 12/10. Is 2 a factor of -2*n*(1 - 0)?
True
Let y(v) = 7*v**2 + 85*v - 15. Is y(-22) a multiple of 99?
False
Let u = -37 - -37. Let w be 15*((-2)/(-10) + u). Suppose 158 = w*g + 5*p - 3*p, 211 = 4*g + 3*p. Is 13 a factor of g?
True
Suppose -1403 = -8*b + 3037. Is b a multiple of 15?
True
Let v = -1635 + 1707. Is 3 a factor of v?
True
Let x(t) = 19*t**2 - 4. Let o be -6 + 5 + 2 + -3. Is x(o) a multiple of 18?
True
Let w be 2*(-12)/(-8) + 2. Suppose 3*d = -4*v + 366, 2*v + 62 - 258 = w*d. Is v a multiple of 9?
False
Let t(l) = 37*l**2 + l - 4. Is 8 a factor of t(4)?
True
Let j(u) = 6*u - 7. Let s be j(2). Suppose -5*y - 2*d - 3*d = -55, -2*d - 62 = -s*y. Is ((-76)/(-3))/(y/18) a multiple of 19?
True
Let l = -8 + 2. Let t be (2 + -4)/2*l. Suppose 9*c = t*c + 102. Does 10 divide c?
False
Let d(h) = 12*h - 22. Let q be d(-12). Let c = -106 - q. Is 12 a factor of c?
True
Let k = 1446 - -112. Is 82 a factor of k?
True
Let s be ((-189)/90 + (-4)/10)*2. Let l(v) = -2 + 0*v + v**2 - v - 3. Does 10 divide l(s)?
False
Let x be ((-25)/(-10))/(2/(-4)). Is (-1)/x - (-948)/10 a multiple of 15?
False
Suppose 36 = 2*i + 2*i. Is 18 a factor of (-3)/i*0 - -90?
True
Let h be 57 - ((1 - -1) + 2). Let f = h + -51. Is f even?
True
Let s(m) be the first derivative of -m**2/2 + 50*m + 177. Suppose 2*j = -3*a, -3*j - 4*a = -2*a. Is 25 a factor of s(j)?
True
Let y be 1 + -6*(-4)/6. Suppose y*t = -4*v + 19, -4*v = -2*t + 6 + 24. Does 7 divide t?
True
Let w(k) = -k**3 + 2*k**2 + 2*k - 1. Let b be w(3). Let g be 0 + b + (3 - 2). Is 2 + g - (-3 - 10) a multiple of 6?
True
Let s be (1/1)/((24/232)/(-3)). Is (-3 + 2)/(1/s) a multiple of 9?
False
Is 24 a factor of (96/15 + -6)*2160?
True
Let y(o) be the first derivative of -1/3*o**3 - 6*o**2 - 1 - 11*o. Does 16 divide y(-9)?
True
Let q be ((-15)/12)/((-2)/8). Suppose -4*t = -c - 6, -q*t + c + 8 = -0*c. Suppose -2*i = 1 + 1, 2*d - t*i = 146. Is d a multiple of 12?
True
Let w = 1777 + -289. Is 36 a factor of w?
False
Let q(o) = -o**3 - 13*o**2 - 41*o - 20. Is q(-14) a multiple of 10?
True
Let q = 2779 - 2627. Is 2 a factor of q?
True
Suppose 12*w = 4*w + 80. Is 24 a factor of ((-8)/w)/((-1)/85)?
False
Suppose 0 = 8*j - 7*j + 198. Does 25 divide (j/30)/(3/(-30))?
False
Let t = 511 - 364. Suppose o - t = 46. Suppose -5*v = 4*q + q - 165, -5*q + o = -2*v. Does 5 divide q?
False
Let v = -67 - -171. Suppose 0*q - v = -4*q. Suppose a = -a + q. Does 7 divide a?
False
Let n(v) = -61*v - 1. Let f be n(2). Let z = 31 + f. Let l = -2 - z. Is l a multiple of 11?
False
Is 33 a factor of 1496/2 - ((-9 - -4) + -1)?
False
Suppose -4*n + 16 = 8. Let p be 1*(-5)/(15/(-4542)). Is 34 a factor of n/(-18) + p/18?
False
Let o(b) = -2*b + 42. Let k be o(17). Suppose c = 2, k*a - 940 = 3*a + 5*c. Is a a multiple of 38?
True
Let o be (-385)/(-121) - (-4)/(-22). Suppose o*f = -2*f + 100. Suppose -g + f = 3*g. Is 2 a factor of g?
False
Let u(m) = -10*m**3 - m**2 - m. Let y be u(-1). Suppose -24 = -y*p + 4*p. Suppose -p*l = -t + 4*t - 69, l = -2*t + 16. Is l a multiple of 6?
True
Suppose -638 = 2*o - 2268. Suppose -18*c = -o - 2731. Is 17 a factor of c?
False
Does 12 divide 5/(-2)*(-198)/55 + 3?
True
Suppose 11460 = -2*x + 7*x. Let g be (-1)/(-5) - x/(-15). Suppose 3*a + 30 - g = 0. Does 7 divide a?
False
Let h be 10/(4 - (-66)/(-15)). Let j be (-2)/(-5) + (-40)/h. Suppose 36 = j*n + n. Is n a multiple of 6?
True
Let f be ((-124)/12)/(2/(-6)). Let l be f + (-1)/(4/(-12)). Suppose 0*k + l = 3*k - 4*c, c = 2. Is k a multiple of 3?
False
Let c = 29 - 31. Is 3/(-3 - 42/(-16))*c a multiple of 11?
False
Let f(s) = s**2 + s - 3. Let x be 721/(-35) + 6/10. Let d = x + 17. Is f(d) a multiple of 2?
False
Let n = 6221 - 3618. Is 7 a factor of n?
False
Is 2/(-3)*3*-5*34 a multiple of 17?
True
Does 4 divide -10*(299/2)/(-13)?
False
Suppose 0 = -4*j + 2*j - 10. Let i(u) = -u**3 - 7*u**2 - 5*u + 2. Let n be i(j). Let f = n - -58. Is 17 a factor of f?
False
Let i(j) = -j**2 - 5*j + 7. Let l be i(-5). Suppose 0 - l = -o. Suppose 130 = -2*r + o*r. Is r a multiple of 16?
False
Is 3670/9 - (-10 + (-1320)/(-135)) a multiple of 17?
True
Let q = -4 + 7. Suppose 2*t = 5*m + 171, t + 3*t = q*m + 111. Let p = 68 + m. Does 5 divide p?
True
Suppose 0 = -4*y - 5*y + 36. Suppose -15 = y*j - 47. Is 8 a factor of j/24 - (-47)/3?
True
Suppose -2824 = -4*a + 3*f + 2*f, f = -2*a + 1412. Is a a multiple of 16?
False
Let b be ((-6)/(-4))/((-2)/(-4)). Suppose -t + 29 = -o, -4*t - t - b*o + 177 = 0. Is t a multiple of 33?
True
Suppose -3*k = 5*w + 6, -8 = -6*k + 5*k - 5*w. Let z(r) be the second derivative of -r**3/2 + 3*r**2/2 + r. Is 8 a factor of z(k)?
True
Suppose 0 = 2*r + 3*c - 258, -3*c + 132 = r - 0*c. Is r a multiple of 3?
True
Suppose -s - 32 = s. Does 30 divide ((-12)/5)/(s/200)?
True
Suppose -2*h + 4*i + 186 = 0, -5*h - 7*i + 6*i = -465. Does 8 divide h?
False
Let x(u) = 371*u**2 + 5*u - 4. Is x(1) a multiple of 9?
False
Let o(w) = -w**2 + 12*w. Let g be o(6). Let s = g + -32. Suppose -3*q = 3*l - 153, 2*q - q = -s*l + 51. Is 10 a factor of q?
False
Let b(m) be the second derivative of 1/20*m**5 - 6*m**2 + 2*m**3 - 3/4*m**4 + 5*m + 0. Is 10 a factor of b(8)?
True
Let d(k) be the second derivative of 3*k**3/2 + k**2 + 80*k. Let m(b) = b - 3. Let g be m(5). Is d(g) a multiple of 4?
True
Let z(x) = -x**3 - 4*x**2 - 5*x - 4. Let v be z(-3). Suppose 0 = v*j - 4*j + 6. Suppose j*p - 3 = 51. Is p a multiple of 9?
True
Let q = 19 - -10. Suppose 5*l = -4*s + 122, s - 7 = -4*l + q. Is s a multiple of 4?
True
Suppose 0 = -15*i + 12*i. Suppose 3*v - 3*l + 63 = i, -135 = 5*v - 2*l - 27. Let w = -7 - v. Is w a multiple of 5?
True
Let k = -119 + 599. Is k a multiple of 12?
True
Let i = -1087 + 2016. Is i a multiple of 8?
False
Suppose -3*j = -0*j - 15, 1119 = 2*f - 5*j. Is 52 a factor of f?
True
Suppose 464 = -3*z + 3*t + 107, -3*t = -4*z - 478. Let m = 201 + z. Is 13 a factor of m?
False
Let h = -27 - -8. Let z(j) = j**3 + 19*j**2 - 2*j - 44. Let q be z(-19). Does 24 divide h/(-57) + (-706)/q?
False
Let u be (5 - (-6)/(-2)) + 92. Let t = u + -42. Suppose q - t = -8. Is 17 a factor of q?
False
Let b(f) = 50*f**2 + 2*f - 1. Suppose w - g = 3*w - 4, 7 = -w + 4*g. Does 18 divide b(w)?
False
Suppose -23 = -5*o + v, 2*o - 2*v = 3*v. Suppose o*y - 152 - 58 = 0. Is 8 a factor of y?
False
Let x(w) = -w - 1. Let b be x(-3). Let i be (-5)/10*(3 - 1). Is 9 a factor of (11 - b/(-2)) + i?
False
Suppose -25 = -h + 3*f + 2, f + 1 = 0. Let b = 47 - 11. Let n = b - h. Does 12 divide n?
True
Suppose 12*g + 853 = 73. Let x = 197 - g. Does 25 divide x?
False
Does 11 divide -1 + 1 + -3 + 936 + 2?
True
Let x = 20 - 8. Suppose 4*h + 4 - x = 0. Suppose 0 = 2*b + h*b - 88. Is 9 a factor of b?
False
Let u(z) = -8*z - 16. Let m(q) be the first derivative of 3*q**2/2 + 5*q + 3. Let f(l) = -14*m(l) - 5*u(l). Does 13 divide f(-8)?
True
Suppose 5*z + 5*u = 2705, 0 = -4*u - 9 + 17. Does 15 divide z?
False
Suppose -4*y + 14 = -158. Suppose -2*w + 3 = -y. Is 9 a factor of w?
False
Let c(t) = t**2 + 15*t + 47. Is 13 a factor of c(13)?
False
Let q be ((-3)/2)/(7/(-56)). Let y = q - 12. Suppose 159 = 3*r - y*r. Is 21 a factor of r?
False
Suppose 6 = -2*h + 18. Let f = h - 4. Suppose -5*k + 160 = -f*y, k - 21 = -2*y - 1. Does 13 divide k?
False
Suppose -12*z + 158 = -346. Does 30 divide z?
False
Let k(j) = j**3 - 7*j**2 + 19*j - 13. Let o = -97 - -104. Is k(o) a multiple of 30?
True
Let c(d) = d**2 + 12*d - 24. Is 68 a factor of c(8)?
True
Let y(n) = 10*n**3 - 4*n**2 + 11*n + 5. Let l be y(5). Suppose 2*j - l = -3*j. Is j a multiple of 22?
True
Suppose 105 = 6*i - i. Suppose 0 = h - 30 - i. Does 17 divide h?
True
Let i(g) = -g**3 + g + 27. Let n be i(0). Suppose -330 = n*o - 29*o. Does 15 divide o?
True
Suppose 4*n + 0 = 4. Suppose 28 = f - n. Is 15 a factor of f?
False
Suppose -3*a + 140 = -5*z, 6*a = 10*a + 3*z - 148. Is 8 a factor of a?
True
Suppose 4*m + m = -j + 1561, -2*m + 2*j = -634. Is m a multiple of 24?
False
Let v = 60 - 56. Does 3 divi