Suppose -h = -4*q + 14. Is 6 a factor of q?
False
Let x = 2 + 0. Suppose 7 - 1 = -x*z. Let b(w) = -w**3 - w**2 - 4*w + 1. Is b(z) a multiple of 11?
False
Suppose 0 = 2*v - 153 + 3. Let z = v - 14. Does 15 divide z?
False
Let f = -1 - -14. Suppose -f*n + 8*n = -420. Is 14 a factor of n?
True
Suppose 0 = 2*a, 0 = w + 2*a - 1 + 13. Does 15 divide (9/w)/(1/(-40))?
True
Let b = 1 - 1. Let r be -1 + b - 1*-22. Suppose -5*u + 101 = r. Is u a multiple of 16?
True
Suppose -2*r + 157 = 47. Suppose b + 0*b = -p + r, -2*p + 104 = 5*b. Let n = 99 - p. Is 21 a factor of n?
True
Suppose 5*l - 95 = -5*y, l = -5*y - 3*l + 95. Does 8 divide y?
False
Let h = -103 + 219. Is 29 a factor of h?
True
Suppose 6 = m - 0. Suppose -i - 220 = -m*i. Does 15 divide i?
False
Is (1 + 0 + 2)/((-9)/(-162)) a multiple of 18?
True
Let v(y) = y**3 - 6*y**2 + 6. Let s be v(6). Let z be (s - 3) + -1 - -2. Is 3*5/3*z a multiple of 10?
True
Let g(z) = 2*z**2 + 5*z + 11. Is 12 a factor of g(-5)?
True
Suppose -4*q + 6*j + 24 = 2*j, 2*j = -q - 9. Is (-2 + 2 + q)*19 a multiple of 19?
True
Suppose 0 = u - 2*u - 3*q + 188, -768 = -4*u - 4*q. Suppose -i + u = 4*i - 4*b, 4*i + 2*b - 176 = 0. Is 21 a factor of i?
True
Let l(y) = 3*y + 2. Does 2 divide l(10)?
True
Suppose 0 = -4*o - 12, -3*o + 3 - 21 = 3*m. Let r be (-1 + 7)/(m/(-4)). Is 10 a factor of r/(-20) - (-52)/5?
True
Let l = 7 - 4. Let v(s) = 3*s - 1 - 3*s + 11*s**l + 2*s. Is 12 a factor of v(1)?
True
Let z = -8 + 7. Is -3 + (-5)/z - -37 a multiple of 11?
False
Let n be 1/2 - (-7)/(-2). Is 8 a factor of 108/15*(-10)/n?
True
Suppose 16*t - 9 = 15*t. Is 3 a factor of t?
True
Is 16 a factor of 2093/28 - 6/8?
False
Let y(t) = t**2 + 3*t + 10. Does 10 divide y(-8)?
True
Does 16 divide ((-704)/(-110))/(4/70)?
True
Let s = 81 + -33. Does 8 divide s/10*(-20)/(-6)?
True
Let o be -97 + 0 - (2 + -2). Let q = -11 - o. Suppose -2*j = 4*i - q, -2*j - 46 = i - 3*i. Is i a multiple of 13?
False
Suppose -7 + 1 = -n. Is 2 a factor of n?
True
Let j(z) = z**2 - 2*z - 8. Let s = -19 - -13. Does 8 divide j(s)?
True
Is 18/(-6) - (-2*1 - 10) a multiple of 9?
True
Let p(g) = -g**3 + 7*g**2 - 8*g + 7. Suppose 2*q - 3*q + 5 = 0. Is p(q) a multiple of 8?
False
Is 6 a factor of ((-3)/(-2) + 0)*100/6?
False
Suppose 5*o - 54 = 3*l - 15, -l - 5*o = -7. Let p(i) = -4*i - 5. Is 8 a factor of p(l)?
False
Let v(i) = i - 3. Let r be v(7). Is r/(-6) - 60/(-9) a multiple of 2?
True
Is (-2)/(3/(-252)*2) a multiple of 21?
True
Suppose -2*r = -6*r + 12. Suppose 3*p - 2*p + r = -3*m, 3*p = 5*m + 61. Does 5 divide 56/p - (-1)/3?
True
Suppose o = 5*o. Suppose o*l = -l + 51. Is 20 a factor of l?
False
Let r = 0 + -6. Is 15 a factor of 3*9 + (-4 - r)?
False
Let w = 3 + 10. Let v = w + -3. Is v a multiple of 10?
True
Let l = -17 + 24. Suppose 2*f - 17 = l. Is f a multiple of 4?
True
Let d(i) = -i**3 + 6*i**2 - i + 6. Let u be d(6). Suppose u*a = 3*a - 27. Does 9 divide a?
True
Let p(j) = 25*j**2 + 2*j - 1. Let q be p(3). Suppose 0 = -5*f + q - 60. Is f a multiple of 15?
False
Let t(h) = 59*h**3 + 1. Let q = 1 - 0. Let z be t(q). Suppose 0*m = -4*m - y + 45, -4*m + z = -4*y. Is m a multiple of 12?
True
Let x = 62 + 16. Is 13 a factor of x?
True
Suppose 0 = -3*n + v + 25 + 29, -5*n + 97 = -4*v. Is 4 a factor of n?
False
Let a(s) = s**3 - 6*s**2 - 2*s - 9. Suppose 4*h - 6 = 2*o, -3*o - 3*h + 28 + 8 = 0. Does 13 divide a(o)?
True
Let y(w) = -w**3 - w**2 - 2*w + 7. Let r(i) = -2*i**3 - 3*i**2 - 5*i + 14. Suppose t + 8 = -3*t. Let n(k) = t*r(k) + 5*y(k). Is 7 a factor of n(0)?
True
Let j be (-6)/(((-12)/(-8))/1). Is 18 a factor of j/(-6) - 4009/(-57)?
False
Let v(j) = 3*j**3 - 5*j**2 + 2*j - 3. Does 9 divide v(4)?
True
Let w be (-1 + -4)/1*6. Let x = -20 - w. Is 10 a factor of x?
True
Let u be -10 + -2*(0 + -1). Is (-575)/(-20) + 6/u a multiple of 13?
False
Let p(k) = k**3 - k**2 + k + 3. Let l be p(0). Suppose 58 = l*z - z. Does 15 divide z?
False
Let k(l) = -52*l + 6. Is 10 a factor of k(-2)?
True
Let i be (5/(-1) - -1) + 2. Is 0/i - (-36)/3 a multiple of 3?
True
Let f = 0 + 3. Suppose 0 = -f*n + 15 + 27. Does 4 divide n?
False
Suppose -k + 6*k - 10 = 0, 0 = -4*h - 2*k + 300. Is 18 a factor of h?
False
Let k(r) = -3*r**3 + r + 1. Let n be k(-1). Suppose -n*w + 82 = -116. Suppose 0 = 3*p - w - 45. Is p a multiple of 17?
False
Suppose -w + 5*w - 341 = 5*p, -3*p = w - 64. Suppose 0 = -4*x - w + 207. Does 12 divide x?
False
Let z(b) = 5*b**2 + 63*b + 2. Is 26 a factor of z(-15)?
True
Let t be (5/(-4))/(4/16). Is 17 a factor of (2/(-4))/(t/510)?
True
Suppose b - 5 = -6. Does 16 divide (b - -14) + 1 + 2?
True
Let d(c) = 2*c. Let f be d(1). Suppose -u = f*u - 126. Is u a multiple of 14?
True
Suppose -254 = 15*a - 809. Is a a multiple of 37?
True
Let k(g) = -368*g**3 + 2*g**2 + 5*g + 3. Is 16 a factor of k(-1)?
True
Suppose 38 = -2*n + 8. Let w = 9 - n. Does 6 divide w?
True
Suppose 2*l + 3*y - 15 = 0, 2*l + 3*l - 9 = 2*y. Does 9 divide 2 - (-16 + l - -2)?
False
Suppose 30 = 4*p + 130. Let s = p + 39. Is s a multiple of 14?
True
Suppose -3*w + 95 = -121. Is w a multiple of 12?
True
Let p(z) = -z. Let u be p(-9). Let k = 14 - u. Does 3 divide k?
False
Suppose y + 1 = -0*y. Is 8 a factor of y/2 + 77/2?
False
Let h = 136 - -23. Let y = h + 87. Does 15 divide (-2)/(-3)*y/4?
False
Let y(j) = -2*j**3 - 5*j**2 - 2*j - 4. Let t(p) = -3*p**3 - 6*p**2 - 2*p - 4. Let u(c) = 3*t(c) - 4*y(c). Let r be u(3). Is 3 a factor of -1*((1 - r) + -3)?
True
Is (-2 + 14/10)*-105 a multiple of 21?
True
Let k = 0 + 0. Suppose 0*p + 3*u - 49 = -4*p, k = 2*p + 4*u - 22. Does 6 divide p?
False
Let b(m) = m**2 - 7*m - 20. Is b(-7) a multiple of 13?
True
Is (14/(-4))/(4/(-8)) a multiple of 7?
True
Suppose 3*y - d - 52 = 99, -2*y = d - 99. Is 11 a factor of y?
False
Suppose c + c - 3*r - 79 = 0, -3*c - 3*r + 81 = 0. Is 8 a factor of c?
True
Suppose 4*r = 2*m - 84, 0 = -5*m - 0*r + r + 228. Suppose -2*u = -0*u - m. Does 12 divide u?
False
Let p(u) = -11*u + 1. Let i(q) = 12*q. Let t(n) = -2*i(n) - 3*p(n). Let z = 0 + 3. Does 10 divide t(z)?
False
Suppose -4*j = -3*k - 480, 3*k = 3*j - 7*j + 456. Is 13 a factor of j?
True
Let b(j) = -j**2 - 14*j + 16. Let g be b(-17). Suppose 0 = k - 0*k + 57. Let o = g - k. Does 11 divide o?
True
Suppose 2*h = 4*u + 112, 0*h = -2*h + 3*u + 117. Suppose 0*q - 633 = -3*q. Suppose 5*y - q = -h. Does 10 divide y?
False
Let a(z) = 2*z**2 + 3*z - 13. Let u be a(-7). Let f(g) = -4*g**3 - g**2 - g - 1. Let h be f(-1). Suppose s + h*s = u. Is s a multiple of 16?
True
Let n(a) = -3*a**2 + 3*a + 1. Let d(h) = -7*h**2 + 6*h + 3. Let o(w) = 4*d(w) - 10*n(w). Is o(4) a multiple of 5?
True
Suppose 72 = -5*o + 7. Let t = o + 23. Is t a multiple of 5?
True
Suppose -3*y + q + 10 = -2*y, 3*y + q - 10 = 0. Suppose -4 - y = -4*d - 3*o, 6 = -5*d + 2*o. Suppose 3*u - 49 + 1 = d. Is u a multiple of 13?
False
Let b = -143 - -202. Is b a multiple of 8?
False
Suppose 0 = 5*v - t - 18, 3*v + v - 6 = -2*t. Suppose v*u + 81 = 6*u. Is 10 a factor of u?
False
Suppose 0 = -0*a - 5*a + 20. Suppose -2*d = -s + 3*s + a, -2*s + 3*d = 9. Let o = 13 - s. Is 16 a factor of o?
True
Let m(j) = j + 5. Let p be m(-6). Let x be (-2 - p) + 6/2. Suppose 2*o = o + x, -5*w - o = -27. Is w even?
False
Let p be -9 + (-3 - -3)/4. Is 80/2 + p + 11 a multiple of 15?
False
Let l(w) = -w**2 - 11*w - 21. Does 9 divide l(-6)?
True
Let j be 42/9 + (-1)/(-3). Suppose 0 = -j*u + 112 + 218. Is u a multiple of 27?
False
Let q(t) = t + 2. Let l be q(5). Suppose l*i = 2*i + 30. Is 6 a factor of i?
True
Let c(f) = -f**3 + 2*f**2 - 2*f + 1. Let p be c(2). Let a be (-243)/(-15) + p/15. Suppose 3*t + a = 4*t. Is 7 a factor of t?
False
Suppose -3*h = 2*q - 671, -1121 = -5*h - 0*q - 4*q. Is 46 a factor of h?
False
Let c = 3 + -1. Let i be (-4)/6 + (-2)/(-3). Suppose 22 = l + c*j, i = 3*l + 5*j - j - 64. Does 10 divide l?
True
Suppose 0 = 161*t - 156*t - 45. Is 9 a factor of t?
True
Suppose -j = -d + 3*d - 28, 3*d - 4*j = 31. Let o = 23 - d. Does 25 divide (o*-1 + 2)*-8?
False
Let s(n) = 21*n**3 - n. Let l be -1*1*3/(-3). Does 20 divide s(l)?
True
Let p(g) be the third derivative of g**6/120 - 2*g**5/15 - 3*g**4/8 - 5*g**3/6 - 2*g**2. Let l be p(9). Let v = 18 + l. Does 13 divide v?
True
Let q(t) = 8*t. Let p be q(3). Let w = 43 - p. Is w a multiple of 11?
Fa