 = -2*j - 662, 5*j + 177 = 5*h + 1822. Is 25 a factor of (4/5)/((-4)/h)?
False
Suppose 0*g + 3*g + 15 = 0, 0 = 2*l - g - 85. Is 14 a factor of l?
False
Suppose -160 = -5*a - 2*f - 50, 0 = 5*a + 4*f - 100. Is 6 a factor of a?
True
Suppose 4*l + l - 50 = 0. Suppose k = 26 + l. Is k a multiple of 12?
True
Suppose 3*k - 82 = -4*p + 25, k - 9 = 4*p. Does 6 divide k?
False
Suppose 2*h - h + 5*t - 950 = 0, -2*h - 2*t = -1940. Does 8 divide h/30 - (-1)/(-2)?
True
Suppose 0*r = 3*r - 6. Suppose t = r*t - 25. Suppose 0 = 2*w - 27 - t. Is 16 a factor of w?
False
Suppose -a + 17 = 4*q, -a + 5 = -0. Is 14 a factor of ((-9)/4)/(q/(-56))?
True
Is ((-7)/3 + 2)*-303 a multiple of 28?
False
Suppose y - 3 = 1. Suppose 0*n + 5*o + 84 = 3*n, -12 = -y*o. Does 12 divide n?
False
Suppose -10*v + 11*v = 44. Is v a multiple of 44?
True
Let y(n) = 6*n - 4. Let r be y(4). Let h = r + 6. Is 11 a factor of h?
False
Let i = -26 + 97. Is 14 a factor of i?
False
Let q(p) = 2*p + 5. Let u be q(-7). Let b = 13 + u. Does 7 divide (56/(-12))/(b/(-6))?
True
Let a = 17 - 12. Suppose 0*u - 5*u + a*x = -290, 3*u - 167 = -4*x. Suppose -6 - 19 = -5*q, -3*m - 3*q + u = 0. Is m a multiple of 7?
True
Let t(o) = 4*o + 14. Is 13 a factor of t(16)?
True
Suppose 4*o + 194 = 1190. Suppose -2*b - 4*w = -132, 4*b + 9*w - 6*w - o = 0. Suppose 3*t + 6*i = 2*i + 60, 3*t + 2*i - b = 0. Is t a multiple of 14?
False
Suppose -z - 2*x + 300 = 3*z, 368 = 5*z - x. Is 9 a factor of 1*z*(-3)/(-6)?
False
Is (-3)/(2/26*-1) a multiple of 14?
False
Let i(l) = -l + 1. Let y be i(-3). Suppose -5*t = 4*p + 1, -y*t - p + 4*p = -24. Suppose t*a = 2*a + 19. Is 12 a factor of a?
False
Suppose -38 = z - 5*t - 146, z - 100 = 3*t. Let y be 0/(-11) + 2*1. Suppose 7*a - y*a - 110 = -2*g, g = 4*a - z. Does 12 divide a?
False
Let x = -13 + 31. Let s = 29 - x. Is 7 a factor of s?
False
Suppose 4*n - 2*a - 74 = 0, 8*a = 3*a - 25. Is (2 + -1)/(2/n) a multiple of 4?
True
Let b(q) = -3*q + 6. Let u be b(4). Does 2 divide 7 + 0 - u/(-2)?
True
Let g(a) = a**3 + 7*a**2 - a + 3. Let t be g(-7). Let b(k) = -3*k. Let d be b(t). Is 5 a factor of ((-84)/d)/(2/10)?
False
Suppose 0 = 2*p - 7*p + 50. Suppose -3*a = -4*c - 8*a - p, 2*c + 5*a = -10. Suppose -4*x = 4*s - 96, 4*x - 2*s + c*s = 66. Is 9 a factor of x?
False
Suppose 3*x - u = 14, -x + 12 = 3*u - 7*u. Suppose 0 = 2*w - 5*k - 107, -4*w + x*k + 170 = -74. Suppose -w = -r - 22. Does 12 divide r?
False
Let o(r) = 2*r + 12. Let w be o(-10). Let i(d) be the first derivative of -2*d**2 + 10*d - 4. Is 15 a factor of i(w)?
False
Let j be 16/12*(1 - 4). Is (-120)/(-5)*j/(-3) a multiple of 7?
False
Is 37 a factor of (300/14)/(4/28)?
False
Let p = -2 + 7. Suppose -9 = p*u + 4*f, 2*u - 3*f + 26 = f. Is 2/5 - 68/u a multiple of 14?
True
Let s(m) = -m**3 + 2*m**2 + 2*m + 4. Let b be s(3). Let v be 4/12*(b - -2). Let w = v + 13. Is 7 a factor of w?
True
Let o = 24 - 44. Let d = 64 + o. Does 11 divide d?
True
Let j = 15 + -6. Suppose -a + 0*a + 3*t = 15, 3*a = 2*t - 80. Does 2 divide a/j*(-12)/10?
True
Suppose -4*d = -2*d + 24. Let a(g) = -4 + 10*g - 4 - 5 + g**2 + 16. Is 9 a factor of a(d)?
True
Let p = 4 - -21. Is 19 a factor of p?
False
Let x = -25 + 55. Does 13 divide 4/x - (-1164)/45?
True
Does 22 divide ((-51)/(-15) + 1)*15?
True
Suppose -3*o = -4*o. Suppose o = 31*j - 28*j - 24. Is j a multiple of 8?
True
Let z be (30/(-2))/((-6)/(-8)). Let l = 56 + z. Suppose 0 = -c - 2*c + l. Is 6 a factor of c?
True
Let p = 3 - -33. Is 12 a factor of p?
True
Suppose 0 = -i - 2*y + 7*y + 88, 0 = -i - 5*y + 38. Is i a multiple of 17?
False
Let a(p) = -p**2 + 5*p + 8. Suppose 0 = -4*g + 37 - 13. Let l be a(g). Suppose 2*j + 64 = -4*i + 6*i, 5*j = -i + l. Is 9 a factor of i?
True
Suppose -2*v + 88 = 2*v. Suppose -146 = -4*o + v. Is o a multiple of 27?
False
Let t = 21 - -2. Let f = t + -15. Suppose 29 = c - u, -2*u + f = -c + 40. Does 16 divide c?
False
Let m = -50 - -102. Suppose 4*o - 52 - m = 0. Suppose -3*b + o = -7. Is b a multiple of 11?
True
Let g be 6/5*(-60)/(-18). Suppose -5*q - a = -3*a - 67, q + 1 = g*a. Does 5 divide q?
True
Let o = 951 + -640. Is 26 a factor of (-2)/(-8) - o/(-4)?
True
Let w = -27 - -73. Suppose 4*h - 5*h = -w. Let n = -8 + h. Does 19 divide n?
True
Let w = 171 + -71. Suppose -3*r = 2*r - w. Is 20 a factor of r?
True
Suppose 2*p - m - 16 = 3*m, -p + 3*m + 3 = 0. Is 9 a factor of p?
True
Let w(b) = -17*b - 2. Is 22 a factor of w(-4)?
True
Let d(i) = -2*i**3 - 2*i**2 + i - 19. Let t(n) = 5*n**3 + 5*n**2 - 3*n + 56. Let s(w) = 8*d(w) + 3*t(w). Is s(0) a multiple of 13?
False
Let a be ((-16)/20)/(4/(-10)). Is 4 a factor of (-1)/(-2) + 7/a?
True
Let d(x) be the first derivative of -x**2 + 57*x + 2. Does 19 divide d(0)?
True
Let c(y) = -2*y + 2. Let i be c(-3). Suppose -i = -l + 21. Is l a multiple of 29?
True
Let p(y) = -y**3 - 5*y**2 - 5*y - 2. Let l be p(-4). Suppose -l*t + 6 = -t. Is t even?
True
Suppose -22 = -2*w + 14. Let n = w + 4. Does 22 divide n?
True
Let p = -44 + 85. Does 13 divide p?
False
Suppose 9 = -0*i + 3*i. Does 3 divide i?
True
Let y be (4 + 0)/(0 - -2). Let p = y - 11. Is 8 a factor of 7 + 3/(p/(-3))?
True
Suppose 209 = 4*u - 43. Does 17 divide u?
False
Let i(g) = 2*g**2 - 3*g - 18. Does 19 divide i(10)?
True
Let s(i) = -25*i**3 - i**2 - 3*i - 2. Is s(-1) a multiple of 12?
False
Let x(y) = y - 2. Let s be x(6). Does 18 divide ((-70)/s)/((-1)/2)?
False
Suppose h - 96 = -33. Is 17 a factor of h?
False
Let u(a) be the third derivative of 7*a**4/24 - a**3/2 + 2*a**2. Let l be u(3). Does 5 divide l/(4/2) + 1?
True
Let n = -149 - -240. Does 14 divide n?
False
Let k = -22 - -25. Suppose 3 = k*y - 42. Is 6 a factor of y?
False
Let o be 4*(-9)/(-12)*-1. Let v = o - -5. Suppose m = -v*x + 3, 2*m + x - 41 = 4*x. Is 10 a factor of m?
False
Let j = 198 + -105. Is j a multiple of 12?
False
Suppose 0*r + 16 = 3*u + r, 0 = u - 5*r. Suppose u*a - 230 = -2*l, -2*a + 5 = -5*l - 58. Does 20 divide a?
False
Let h(m) = -m**3 - 5*m**2 - m. Let v be h(-5). Suppose -4*n - 65 = -v*w, 3*w - 34 = 2*w + 5*n. Is w a multiple of 7?
False
Let o be -14 + 17 - (1 + 0). Let s(l) = -l**2 - 5*l. Let g be s(-5). Suppose g = o*x + 2 - 32. Is 7 a factor of x?
False
Let q(i) = 15*i**2 - 1. Does 14 divide q(-1)?
True
Suppose 287 = 4*n + 5*w - 178, -n + 132 = -4*w. Does 20 divide n?
True
Suppose -4*m + 177 = 5*k, -5*m + k + 44 = -199. Suppose r = -2*r + m. Is r a multiple of 8?
True
Let p(b) = -b**2 + 9*b + 1. Suppose 3*z + 3*f - 2*f = 17, -4*f = -3*z + 22. Does 7 divide p(z)?
False
Let q be (-1 - (-2 - -1)) + 4. Suppose 0*f = q*f. Suppose -3*m + 63 = 3*k, f*m + 4*k = -2*m + 46. Is 11 a factor of m?
False
Let d be 3*(-2 - -1) - -3. Suppose d = -j + 3*j + 24. Let o = 20 + j. Is 7 a factor of o?
False
Let r = -9 - -14. Suppose 3*o - 174 = 3*i, 4*i = r*o + 2*i - 287. Suppose -3*p - 4*m + o = 8, p - 3*m = -1. Is 9 a factor of p?
False
Let d = 5 + -7. Is 5 a factor of 16 - d/1 - -2?
True
Let o(u) = -7*u - 8. Let k be o(-7). Let q(v) = -2*v + 2. Let l be q(-4). Suppose -k = -c - l. Is 19 a factor of c?
False
Let a(k) = k**2 + 10*k + 10. Let x be a(-9). Let g = x + 50. Does 17 divide g?
True
Let q be ((-2)/(-4))/((-4)/(-632)). Let o = q - 43. Suppose 0 = 4*u - 6*u + o. Is 9 a factor of u?
True
Let h(a) = -a**2 + 9*a + 4. Does 4 divide h(8)?
True
Let r be (-3 - (0 + -3)) + 2. Suppose -2*i - 8 = 0, -f - 3*i - 23 = -r*f. Is 6 a factor of f?
False
Let o be (-1)/4 - 3/(-12). Let c be 99/21 - (-4)/14. Let p = c + o. Does 3 divide p?
False
Suppose 4*p + 4*m = -m + 33, -12 = -2*p + 2*m. Is 3 a factor of p?
False
Suppose -46 = -5*n + 24. Suppose 3*h = -v + n, 5*v = 4*h + 7 + 6. Suppose -v = l + 4*t - 16, 0 = -2*l + 3*t + 66. Does 10 divide l?
False
Let d(a) = 2*a**3 - 3*a**2 - 8*a + 8. Does 4 divide d(4)?
True
Let l be (-1 + 145)*22/33. Suppose -3*k = b - 11 - l, 5*b = -4*k + 139. Is k a multiple of 18?
True
Let i(u) = u**2 + 6*u - 13. Is 12 a factor of i(-10)?
False
Let p(v) = v**2 - 6*v + 5. Suppose -5*g - 3*m + 16 = -2*m, 4*g - 4*m = 8. Suppose b - 28 = -g*b. Does 5 divide p(b)?
False
Let f(p) be the first derivative of -p**2/2 + 4*p + 7. Is f(-8) a multiple of 6?
True
Suppose 0 = -a + 2 - 1. Is 4 a factor of a + -3 - (-11)/1?
False
Let p be 1 - 0 - (1 - 0). Let k(o) = -13*o**3 - 9*o**2 + 9*o + 47. Let j(w) = -3