False
Is 2 a factor of 42 + (1 - (7 + 0))?
True
Let m(y) = -3*y**3 - 3*y**2 - 2*y + 2. Let x be m(-4). Suppose -4*p = -5*b + x, -3*b = -4*b + p + 30. Is b a multiple of 13?
False
Suppose 4*m - 5*m = 26. Let h = 38 + m. Is 9 a factor of h?
False
Let w be 15/10*(-10)/(-3). Suppose -b = 3 - w. Suppose 2*z + b*j - 12 = 0, 7 = z + z + 3*j. Is 5 a factor of z?
False
Suppose 54 - 180 = -o. Suppose 79 = 5*t - o. Let s = -21 + t. Does 14 divide s?
False
Let f = 225 + -35. Does 38 divide f?
True
Does 12 divide (14/(-21))/(2/(-180))?
True
Let y be 0 + (-177)/6*-6. Let r = -114 + y. Is r a multiple of 16?
False
Let z = 99 - 58. Is z a multiple of 28?
False
Let w(c) = -4*c**3 - c**2 + 2*c + 1. Let f(r) be the first derivative of -r**4/4 - r**3/3 - 2*r + 1. Let j be f(0). Is w(j) a multiple of 19?
False
Suppose 5*t - 7 = 4*i - 7*i, 4*t = -i. Suppose i*r + 4*k = 36, -3*r - 2*k = -8*r + 17. Suppose r*q = -0*q + 55. Does 4 divide q?
False
Does 28 divide ((-3)/(-1) - -28) + 2?
False
Let n(q) = -4*q - 3. Let x be n(-3). Suppose t = 4*t + b - 15, x = 3*t + 3*b. Let o = 35 - t. Does 11 divide o?
False
Suppose -5*y = 0, 5*i - 3*y = y + 1310. Does 31 divide i?
False
Let h = 54 - -29. Does 9 divide h?
False
Suppose s = 3*s - 4. Suppose -4*c - 227 = -f, -3*c - f - 277 = s*c. Let z = -18 - c. Is 13 a factor of z?
False
Let n(o) = -o**3 + 11*o**2 + 14*o + 28. Is n(12) a multiple of 13?
True
Let l = 107 + -4. Is l a multiple of 15?
False
Suppose 5*z = -0*z + 280. Let a = -39 + z. Is 17 a factor of a?
True
Suppose -3*f = 2*f - 20. Let b(l) = l + 9. Is b(f) a multiple of 13?
True
Let m(y) = -y + 2. Let k be m(-6). Suppose 33 = 3*s + 3. Does 6 divide 164/s + k/(-20)?
False
Suppose 4*v + 2*n - 7*n = 79, 3*v + n = 45. Let j = -7 + v. Let p(d) = -d**3 + 10*d**2 - 6*d - 3. Is 12 a factor of p(j)?
True
Let q(z) = z**3 - 5*z**2 - z + 4. Let t be q(5). Let v be (0 + t)/(1/(-3)). Suppose n + v*n = 172. Is n a multiple of 11?
False
Suppose 9 = -c - 5*u - 14, 5*c + 7 = 2*u. Let q be -9*(5/c)/5. Suppose 3*s = -q*f + 54, 3*s + 48 = 7*s - 4*f. Is s a multiple of 15?
True
Suppose g + 3*b - 148 = -4*g, 5*g = b + 164. Let f = -3 - -6. Suppose s - g = -f*s. Is 4 a factor of s?
True
Let y = -5 - -26. Suppose -3*a - y = -2*g, 2*a = g - 8 - 4. Does 6 divide g?
True
Let y(q) = 39 - 6*q + 39 - 80. Is 16 a factor of y(-3)?
True
Let y = 0 + 6. Suppose 4*s + 2*f = 6*f + 44, -4*s + 4 = 4*f. Is 11 a factor of 4/s + 92/y?
False
Let r(i) = i**3 + 10*i**2 - i + 13. Is 28 a factor of r(-8)?
False
Let a(h) = -h**2 + 3*h + 1. Suppose -3*m = 2*m - 15. Let b be a(m). Suppose 16 - b = p. Is p a multiple of 15?
True
Let x = 29 - 12. Suppose 5*v - 53 = x. Is v a multiple of 12?
False
Let s(a) = -a**3 + 6*a**2 + 10*a - 5. Does 15 divide s(-5)?
False
Let j(a) = 2*a**2 - 13*a - 4. Let n be j(11). Let v = -7 + n. Suppose 7 = -3*x + v. Does 12 divide x?
False
Let h = 122 - 203. Is 5 a factor of h/(-18)*(-4)/(-3)?
False
Let r = -7 + 11. Suppose j = -2, 2*j = -n - 3*j - r. Does 4 divide n?
False
Let d(a) = -2*a - 7. Let t be d(-5). Is t*-2*5/(-2) a multiple of 7?
False
Let f = 4 + -1. Suppose -2*p = -2*i + 6*i - 30, 33 = 4*i + f*p. Let h = 13 - i. Does 2 divide h?
False
Is 5 a factor of (-76)/(-12) - 2/6?
False
Let k = -3 + 8. Is (-4)/10 - (-32)/k a multiple of 6?
True
Let z be (-20)/(-3)*12/(-10). Let h = -6 - z. Suppose h*g + 4*o = 16, 2*o + 2 = -0*o. Is g a multiple of 9?
False
Suppose 41 = -4*p + 281. Is p a multiple of 15?
True
Suppose -2*h - 6 = h. Let d = h + 12. Does 10 divide d?
True
Let b(u) = -2*u**3 - 4*u**2 - 2*u. Suppose 0 = -r + 3*r + 4. Is 4 a factor of b(r)?
True
Let g = -36 - -93. Is g a multiple of 13?
False
Let z(g) = -108*g + 6. Is z(-3) a multiple of 22?
True
Let n = -1 - -5. Is n a multiple of 4?
True
Does 5 divide (-6)/((22/(-140))/11*4)?
True
Let y = 4 + -2. Let n be -2*(3 - 1)/y. Does 7 divide 4/(-2)*16/n?
False
Suppose -2*v - v + 297 = 0. Is 27 a factor of v?
False
Let d(p) = -p**2 + 4*p - 7. Let c be d(2). Let i = -6 + 4. Is 16 a factor of 31 + 1/(i - c)?
True
Suppose -4*k + 27 = -k - m, 0 = 3*k - 4*m - 18. Let a = k - 6. Is a even?
True
Suppose -o - b = -5 - 0, 5*o - 32 = 2*b. Suppose -7 = -p + o. Does 5 divide p?
False
Suppose -3*n - 3*n + 354 = 0. Does 18 divide n?
False
Suppose -10 = 3*d - 5*d + 2*t, 3*t - 1 = -d. Suppose -2*h = 2*s - 4, 7 = 3*s + 4*h - d. Is (-154)/(-6) - s/9 a multiple of 9?
False
Suppose -33*d = -28*d - 275. Does 11 divide d?
True
Let g(q) = q**3 + q + 4. Let w be g(0). Let o = -4 + w. Suppose o = y - 6 + 2. Is y even?
True
Suppose -1 = -3*k + 14. Let w(j) be the first derivative of j**4/4 - j**3 - 3*j**2 + j + 24. Does 12 divide w(k)?
False
Let n be (60/24)/((-1)/(-2)). Is 9 a factor of (-49)/(4 - n) - 4?
True
Let t = 60 - -52. Is t a multiple of 16?
True
Let s(y) = -y**3 - 5*y**2 + 4*y - 6. Let l be s(-6). Let x be (0 + 3 - 2)/1. Does 3 divide (2/4)/(x/l)?
True
Is 3 a factor of (-27)/54*(-1 - 19)/1?
False
Let q(z) = -z**2 + 18*z + 3. Let c be q(18). Suppose 7*r - c*v = 3*r + 333, 4*r + v - 321 = 0. Is r a multiple of 26?
False
Suppose -2*d = -3*h + 20, -4*h + 27 = -5*d + 2*d. Is h a multiple of 3?
True
Let b = 111 + -9. Is 6 a factor of b?
True
Let o(w) = -5 + w**3 + 2*w**2 - 4*w**2 + 0*w + w. Is o(4) a multiple of 8?
False
Suppose -5 - 1 = 3*r. Let v be ((-12)/r)/(0 - -2). Is 9 a factor of -4*v/(18/(-21))?
False
Suppose -u + 3*x + 1 = 0, -4*u - u + 2*x + 5 = 0. Let n be ((11 - u) + 0)/2. Suppose -3*y - 5*l = -132, n*y + 4*l - 133 = 87. Is 18 a factor of y?
False
Let d(j) = -j + 62. Let k be d(0). Suppose 4*f - k - 26 = 0. Is f a multiple of 11?
True
Suppose 0*f - 5*f = -285. Does 24 divide f?
False
Suppose 0 = -4*d + q + 189, -6*d - 3*q + 105 = -4*d. Is 3 a factor of d?
True
Suppose 0 = 5*c - z - 0*z - 28, 4*z - 13 = -5*c. Suppose -h + 0*t - c*t - 29 = 0, -2*h + 2*t = -2. Let g = 9 + h. Is g a multiple of 5?
True
Suppose -9 = -4*w + 67. Let b = -10 + w. Is 8 a factor of b?
False
Let p(q) = -4*q + 2*q - 8 + 4. Let s be p(-4). Is 16 a factor of 568/36 + s/18?
True
Let p be (9/(-6))/((-2)/4). Suppose 3*r - 2*c - 4 = 0, 0 = p*r + 5*c + 5 + 26. Is (-13)/3*3*r a multiple of 13?
True
Is 32 a factor of ((-11679)/(-153))/((-1)/(-3))?
False
Let g(s) = s**3 + 7*s**2 - 8*s + 3. Is g(-8) a multiple of 2?
False
Suppose 5*w = 353 + 382. Does 21 divide w?
True
Let o(y) = 8 + 4*y - 4*y - 7*y**2 + 6*y**2 + y**3. Let r = 0 + 0. Is 8 a factor of o(r)?
True
Suppose -4*r = r + 2*h - 81, 0 = 4*r + 2*h - 66. Is (-1 - -2)*(0 + r) a multiple of 6?
False
Let y = 223 + -157. Is y a multiple of 29?
False
Let c = -110 + 120. Is c a multiple of 5?
True
Let w(g) = -g + 4. Let x be w(0). Let c = x - 1. Suppose 0*h - 68 = -c*z + 2*h, -3*h - 72 = -3*z. Is z a multiple of 10?
True
Suppose 4*r + 52 = 8*r. Let p = -3 + r. Is 4 a factor of p?
False
Suppose 3*l - 3*k = -0*l + 36, 0 = 2*k. Does 4 divide l?
True
Let r = -58 - -97. Let f = 8 + -3. Suppose f*b - r = 1. Does 3 divide b?
False
Let c = -7 + 3. Suppose 3*a = 6 + 6, 5*v - 3*a + 102 = 0. Does 12 divide ((-8)/(-3))/c*v?
True
Let j(z) = 3*z - 2. Let q be j(2). Suppose -q*s + 2*s = -30. Is 15 a factor of s?
True
Let i(d) = 34*d. Is i(1) a multiple of 26?
False
Let f(c) = -c**2 + 3*c + 3. Let h = -3 - -6. Let y be f(h). Suppose -5*r + 28 = y. Is r a multiple of 5?
True
Let y(k) = 2*k**2 + 25*k + 7. Is y(7) a multiple of 20?
True
Let v(q) = -3*q**2 - 3*q. Let y(x) = 5*x**2 + 7*x - 1. Let l(u) = -7*v(u) - 4*y(u). Is l(9) a multiple of 11?
True
Suppose 4*s = -3*d + 415 - 133, 4*d + 4*s = 380. Is d a multiple of 7?
True
Let p = -1 + 3. Let z(i) = 14*i. Is 10 a factor of z(p)?
False
Suppose -p + 0 + 4 = 0. Suppose -35 = -p*a - a. Does 2 divide a?
False
Suppose -y = 2*y. Suppose -f + 33 = 2*f. Suppose y*p + f = p. Is 11 a factor of p?
True
Suppose 3*u - 98 = -4*b, -4*u + 3*b + 105 = -9. Is 15 a factor of u?
True
Suppose 0 = -3*c + 2*o + 155, 0*c - 4*o = c - 75. Does 17 divide c?
False
Let s(q) = q**2 - 9 - 3 + 1 + 7*q - q. Is 8 a factor of s(-9)?
True
Let l(m) = 3*m**3 - 24*m**2 - 5*m - 21. Does 74 divide l(10)?
False
Let a be ((-1)/(-2))/(2/(-44)). Does 11 divide (-4 + 7)*a/(-3)?
True
Suppose -4*h - w + 2*w = -47, -28 = -2*h + 2*w. Let c = -7 + h. Suppose 0 = c*q - 3*q - 10. Is q a multiple of 10?
True
Let u(q) = 26*q**3 + q**2 - q + 1. Is u(1) a mul