 + 10, -5*h + 14 = -3*b. Suppose 5*q - 25 = -3*j, -j - j = h*q - 18. Does 2 divide q?
True
Suppose u = -4*u + 230. Is 20 a factor of u?
False
Let q be (3 + -1 - -5)*3. Let n be 4/(-14) + 1413/q. Suppose n = 2*f + 27. Is f a multiple of 10?
True
Suppose -u = 2*u. Let h = u - 2. Is h*(11/(-2) + 0) a multiple of 5?
False
Let g be 8 - 0/(-1*4). Suppose -10*x = -g*x - 36. Is x a multiple of 18?
True
Is 4/(-12) + 196/12 a multiple of 8?
True
Let b be (-119)/(-6) + 2/12. Suppose b = 5*z - 0. Is 4 a factor of z?
True
Let i(l) = -l**2 - 13*l - 9. Let g be i(-12). Suppose g*z + 13 = 46. Does 10 divide z?
False
Suppose 0 = -5*a + 15, 4*k + 0*k - 5*a - 553 = 0. Let q be k*1*4/8. Suppose -q = -2*b - v, -67 - 112 = -5*b - 2*v. Does 14 divide b?
False
Suppose -2*t - 1 = 5*z, -4*t - 5*z = -3 - 20. Is t a multiple of 2?
True
Let d(k) = -4*k - 9. Let g be d(-8). Suppose -i + g = -4*s + 113, 0 = 4*s + 2*i - 96. Is s a multiple of 14?
False
Suppose 2*m - t = 8, 2*m + 2*t + 5 = 1. Suppose -7*d = 5*h - m*d - 30, -5*d = 3*h - 16. Is 3 a factor of h?
False
Let d = 18 - -13. Does 31 divide d?
True
Suppose 6*n = 7*n - 96. Is 48 a factor of n?
True
Let j(v) = -v - 10. Let w be j(0). Let d(c) be the second derivative of c**4/12 + 3*c**3/2 + 11*c**2/2 + 2*c. Does 21 divide d(w)?
True
Let c = 4 + -3. Is c + 19 + 0/6 a multiple of 10?
True
Suppose -r + 20 = 12. Suppose 0 = 3*y - r*y + 245. Does 13 divide y?
False
Is 18 a factor of ((-216)/(-10))/(6/20)?
True
Suppose -201 = -3*i + 2*p, -6*i + 127 = -4*i + p. Is i a multiple of 45?
False
Suppose 0 = 5*m - 0*m. Suppose -v + 27 = -m*v. Is v a multiple of 17?
False
Let x = -6 - -10. Suppose x*g + g - 60 = 0. Is g a multiple of 12?
True
Let y be (3/9)/(1/(-6)). Does 5 divide y/4*0 - -12?
False
Let h = 24 + -9. Does 4 divide h?
False
Suppose -3*v = -15, -y - 5*v + 28 = -v. Let g = y - 2. Is (-4)/6*(-207)/g a multiple of 9?
False
Let t be (-4)/5*10/(-4). Suppose -3*c + 53 = 2*p - 211, -168 = -t*c - 4*p. Suppose 2*z - c = -z. Is 11 a factor of z?
False
Let m(s) = s + 1. Let j(b) = -5*b - 2. Let c(t) = j(t) + 4*m(t). Is 4 a factor of c(-2)?
True
Let y be -1*(-4 + (2 - 1)). Suppose -2*c + y*a = 1, 0*c - 3*a + 21 = 3*c. Suppose 0 = 4*d - c*q - 12, -d + 4*q = -4 + 1. Is d a multiple of 2?
False
Let a = -4 + 4. Suppose 3*x + a*x + 60 = 0. Let d = x + 35. Is 7 a factor of d?
False
Suppose 4*s - 2*a - 51 - 29 = 0, a = 2. Is 15 a factor of s?
False
Does 10 divide ((-19)/76 - 721/(-4)) + 3?
False
Suppose 0 = 10*q - 5*q - 150. Does 6 divide q?
True
Let q(x) = x**2 - 7*x + 9. Suppose -3*z = 2*u - 7, 5*u - 2*z - 49 = z. Is 13 a factor of q(u)?
False
Suppose -b = -40 - 83. Is b a multiple of 16?
False
Let a(n) = -n**2 + 12*n + 13. Does 12 divide a(11)?
True
Let x = -1 + 6. Let p be 2*9/5*x. Suppose 2*y - p = -y. Is y a multiple of 3?
True
Suppose 5*s - 154 = g, -49 = -4*s + g + 74. Is s a multiple of 6?
False
Let f = -3 + 7. Is (-5)/(-2)*f/1 a multiple of 5?
True
Let x(w) = -2*w + 2. Let h be x(4). Let z(i) = -i**2 - 5*i + 7. Let r be z(h). Does 7 divide (-3)/(-9)*(r - -38)?
False
Let m = 0 - 7. Let w(r) = 5*r + 2 - 2 - r**2 + 6 + 2*r**2. Is 20 a factor of w(m)?
True
Suppose 0*b + 5*b - 130 = 5*u, 3*b - 5*u - 84 = 0. Is b a multiple of 9?
False
Suppose 0*k = 4*y - k + 9, -5*y - 3 = -4*k. Let b be 18/(-2) + 0 + 0. Is 4 a factor of 12/b*y - -1?
False
Let b = -7 + 5. Let f be (b/5)/(1/(-80)). Let y = f + -19. Is y a multiple of 9?
False
Let o(v) = v**3 - v**2 + 7. Let l be o(0). Suppose -y = -5 + 4, -2*t + 17 = y. Let h = l + t. Is 15 a factor of h?
True
Suppose -20*l = -16*l - 616. Is 21 a factor of l?
False
Let z be 554/(-18) - 2/9. Let y = z - -54. Is y a multiple of 14?
False
Is (-6)/(11/(-3) + 3) a multiple of 9?
True
Let z(w) = -w**3 + 9*w**2 + 27*w - 10. Is z(10) a multiple of 32?
True
Let f = 7 - 5. Is 14 + 1 - (f - -1) a multiple of 12?
True
Let m = 259 - 224. Is 2 a factor of m?
False
Suppose 2*v + 0*v = 30. Does 4 divide v?
False
Let h = 10 + -59. Let y = h - -69. Is 10 a factor of y?
True
Let w(l) = 30*l**2 + 2*l - 3. Let q be w(2). Let s = q - 83. Is s a multiple of 9?
False
Let u = -100 + 196. Is 8 a factor of u?
True
Let z = -7 + 11. Suppose 16 + z = 2*l + 4*f, 0 = -4*l - 2*f + 22. Is 2 a factor of l?
True
Let k be (-1)/(1 + (-153)/156). Let l be 90 - (2 + 0 - 0). Let v = l + k. Is v a multiple of 18?
True
Does 12 divide -5 + 50 - -1 - (3 + 0)?
False
Let c = 82 + -129. Let a = -30 - c. Suppose -28 - a = -5*v. Is v a multiple of 9?
True
Suppose 18*h = 20*h - 352. Is h a multiple of 19?
False
Suppose 10*n = 5*n + 2*u + 185, -3*n = 4*u - 85. Does 5 divide n?
True
Let s(p) = -4*p - 2. Let r be s(-2). Suppose r*g - 2*g = 72. Is g a multiple of 9?
True
Let b(t) = t - 2. Is b(16) a multiple of 10?
False
Suppose 2*s - l - 92 = 0, 0*l = -l - 2. Is s a multiple of 20?
False
Let k = -9 - -3. Let b(n) = 6 + 6*n - 4 + n**2 + 3 + 3. Is b(k) a multiple of 8?
True
Does 4 divide (-2)/9 - 2044/(-126)?
True
Let l(f) = 4*f**2 + f + 1. Let x be l(-1). Let c be 264/15 - 4/(-10). Suppose x*m - 2 = c. Is m a multiple of 2?
False
Suppose -12 = -4*p + p. Let j(b) = 6*b + p*b + 3*b. Does 13 divide j(1)?
True
Suppose -2*d - 8 = -2, 4*u + 5*d = 9. Let x = -3 + u. Suppose x*m + 16 = t, -3*m + 8*m = t - 22. Is t a multiple of 7?
True
Let r be -8 + (0/(-1) - -2). Let n = r - -11. Suppose n*z = 2*z + 21. Is z a multiple of 3?
False
Let d(q) = 94*q + 4. Let n be d(8). Suppose 5*r + 226 = n. Is 33 a factor of r?
False
Is (-13)/(-4 - (-19)/5) a multiple of 10?
False
Suppose -5*d + 82 = 2*z, 5*d = 2*z - z + 79. Suppose -40 = 2*y - 5*k, -y + 5*k = -0*k + 30. Let x = d + y. Does 6 divide x?
True
Let t be (4/6)/(3/54). Suppose 4*a = -0*a + t. Suppose 3*q - 29 = -2*r, -43 = -r - a*r - 3*q. Does 7 divide r?
True
Let h(n) = 2 + 0 - 7 + 1 + n. Let p be h(6). Suppose -p*t - 55 = -3*d, 2*d - t + 39 = 4*d. Does 14 divide d?
False
Suppose 34 - 228 = -2*m. Is m a multiple of 14?
False
Suppose 0*c - 1 = i - 2*c, 3*i - c = -3. Let s = i - -1. Suppose -5*b - 5*t + 100 = s, b + 3*t - 15 = 9. Is 9 a factor of b?
True
Suppose 26 = 2*t + 8. Is t a multiple of 3?
True
Let y = -11 + 8. Let w = y + 3. Suppose 16 = 4*p - 4*c, -3*p + 24 = 3*c - w*c. Is p a multiple of 6?
True
Let c = 9 + -3. Let l(i) = i**2 - 4*i - 5. Let h be l(c). Suppose -3*f = -h*f + 52. Is 13 a factor of f?
True
Suppose 2*x + 18 - 56 = -2*m, -3*m - 12 = 0. Suppose 3*u + 22 - 55 = 0. Let b = x - u. Is b a multiple of 6?
True
Let o(h) = -2*h**3 - 6*h**2 + 5*h - 3. Let c be o(-5). Is ((-2)/(-4))/(6/c) a multiple of 3?
True
Let x be (0 + -110)*4/(-10). Suppose -u + x = u. Is u a multiple of 10?
False
Let n(d) = d**2 - 5*d. Let i be n(4). Let x = 3 + i. Let w = x - -10. Is w a multiple of 9?
True
Let s = 4 - 0. Suppose 92 = s*k + 2*r - r, -2*k + 4*r = -46. Is k a multiple of 21?
False
Let v be ((-1)/3 - 3)*-51. Suppose -4*a + 95 = 3*w, -5*w + v = -a - 4*a. Does 17 divide w?
False
Suppose 3*w + 3*p + 2 + 7 = 0, -2*p = -3*w + 11. Let f = w + 0. Is 2 - (-1 + f) - -5 a multiple of 7?
True
Let m(x) = 3*x**2 - 9*x + 4 - 4*x**2 - 1. Let n be m(-4). Let u = n + 9. Is 16 a factor of u?
True
Let k(b) = -4*b + 2*b - 17 + 2 + 0*b. Does 13 divide k(-14)?
True
Let r = 0 + 1. Let x(k) = 31*k**2 - k. Let i be x(r). Suppose -5*l + i = -20. Is 5 a factor of l?
True
Let u(n) = -n**3 - 8*n**2 + 4. Is 4 a factor of u(-8)?
True
Let m = 61 - 46. Is m a multiple of 3?
True
Suppose -y - y = -28. Suppose -2*f + 24 = -5*t, 2*t + y = f + 4. Does 12 divide (f/2)/(5/165)?
False
Let b = -592 - -839. Is 19 a factor of b?
True
Let b = -39 + 229. Is 19 a factor of b?
True
Let i = -122 + 207. Is i a multiple of 17?
True
Let u(a) = -7*a + 14. Let m(n) = 6*n - 13. Let j(l) = -6*m(l) - 5*u(l). Is 21 a factor of j(-13)?
True
Let h = 51 - 104. Let k = -37 - h. Is 8 a factor of k?
True
Suppose -4*l - 5*s - 3 - 5 = 0, 2*s = 0. Let b = 44 + l. Is 21 a factor of b?
True
Let q(b) = -b**3 - 1. Let t be q(1). Let i be 0 - (t + -84 - 0). Suppose 0 = 3*r - 4*h - i - 27, r + 5*h - 6 = 0. Is r a multiple of 11?
False
Let k(a) = a**3 + a + 1. Let v(h) = 6*h**3 + 10*h**2 + 15*h + 4. Let f(s) = 5*k(s) - v(s). Suppose 2*q - q + 9 = 0. Is f(q) a multiple of 5?
True
Let q be -4*(-3)/6 - -2. Let o(r) = 2*r**3 - 4*r**2 + 5*r - 3. Does 27 divide o(q)?
True
Suppose 2*a + 3 = 3*a. S