ose z + 8 = -a*r, -10 - 66 = -5*z + 4*r. Is 4 a factor of z?
True
Suppose 5*n + m - 485 = -3*m, -4*n + 5*m + 388 = 0. Does 9 divide n?
False
Let v be (-7 + (3 - 0))/(-1). Suppose s = 5*u + 13, -5*s + 3*u + 169 = v*u. Is 11 a factor of s?
True
Let p = -8 - -3. Let f = 4 - p. Suppose 0 = 3*y - d - 65, 0 = 3*d + f - 3. Does 8 divide y?
False
Let n(l) = 12*l**2 - 3*l + 3. Is 6 a factor of n(2)?
False
Suppose z + 29 = -4*l + 8, -21 = z + 5*l. Let a = z - -41. Is 9 a factor of a?
False
Suppose 0 = -x + 10 - 5. Is 3 a factor of x?
False
Let u be (-6)/4*4/3. Let k(v) = -v - 6. Let p(l) = -3. Let h(b) = u*k(b) + 5*p(b). Is h(4) a multiple of 4?
False
Let g(p) = p - 12. Let c(i) = -i + 11. Let d(t) = -4*c(t) - 3*g(t). Let m be d(6). Is 15 a factor of (-58)/(m*1) + 1?
True
Let x(o) = 5*o**2 - 2*o - 4. Let n be x(5). Suppose -3*m + n = 5*r - 4*m, -85 = -4*r - 3*m. Is r a multiple of 11?
True
Suppose t - 2*t = -4. Suppose -23 + 7 = t*u. Is u/(12/(-27)) + 1 a multiple of 10?
True
Let u be 6/4 + (-18)/12. Suppose 4*r - 83 = -5*w + 97, u = -5*w - 5*r + 175. Does 16 divide w?
False
Suppose -4*a + 4*f + 112 = 0, 3*a - 2*f = 104 - 23. Does 6 divide a?
False
Suppose 4*v = -v, -2*r - 5*v + 8 = 0. Suppose -r*z + 41 = 5. Is 8 a factor of z?
False
Let k(x) = x + 314. Let h be k(0). Is h/10 + 30/50 a multiple of 13?
False
Suppose 3*n + n - 12 = 0. Suppose 8*v + 5 = 5*v + 5*q, 0 = -q + 4. Suppose -n*k = y - 0*y - 95, 155 = v*k + 5*y. Is 16 a factor of k?
True
Suppose 0 = -v - 3, 4*a + 3*v - 223 = -0*v. Suppose -5*p + a = 4*s - 4*p, -s = 5*p - 5. Does 15 divide s?
True
Let x = -120 - -224. Let s = 168 - x. Is 24 a factor of s?
False
Let z(o) = -o**2 + o + 14. Let l be z(0). Suppose 5*h + l - 43 = 4*r, 4*r + h + 23 = 0. Let w = 17 - r. Is w a multiple of 7?
False
Is 6 a factor of 20/1*6/5?
True
Suppose -105 = -33*g + 28*g. Is 6 a factor of g?
False
Let q(h) = 6*h - 20. Does 9 divide q(11)?
False
Let n(p) = 7*p + 6. Is n(3) a multiple of 13?
False
Let f(m) = 2*m**2 - 9*m + 10. Does 4 divide f(5)?
False
Suppose 0*r = 2*r - 144. Does 24 divide r?
True
Is 9 a factor of -62*(2/(-4) + 0)?
False
Suppose -5*m - 5*d + 3*d = -635, -3*m - 3*d = -390. Is m a multiple of 22?
False
Suppose 0 = 4*r + 88 - 588. Suppose -3*a + 5*s + 85 = 0, -5*s + 0*s - r = -5*a. Does 12 divide a?
False
Let l = -224 + 340. Is 11 a factor of l?
False
Let r = -4 + 6. Suppose 4*g - 34 = -w - 4, 4*g = r*w - 24. Is 4 a factor of w?
False
Let z(u) = -25*u**3 + u**2 + u - 1. Suppose -5*s + 5*i = 10, i + 3 = -0*s - 4*s. Is 6 a factor of z(s)?
True
Suppose t - 835 = -4*t. Let l = -117 + t. Let x = 70 - l. Does 10 divide x?
True
Let k be -2*(-3)/(-6) - -6. Suppose -k*q + 81 = 21. Is 7 a factor of (-70)/(-6) - 8/q?
False
Suppose 4 = t - 3. Suppose -t*f + 55 = -2*f. Is f a multiple of 11?
True
Suppose 330 - 50 = 4*j. Is 14 a factor of j?
True
Let f = -29 + 69. Does 9 divide f?
False
Suppose 4*r = 37 + 7. Let a be (-2 - (-27 + -1))*-1. Let h = r - a. Is 15 a factor of h?
False
Suppose -9*y + 110 = -7*y. Is 11 a factor of y?
True
Let i(r) = -17*r**2 + 3*r + 16. Let d(t) = -4*t**2 + t + 4. Let y(a) = -9*d(a) + 2*i(a). Does 10 divide y(-4)?
True
Suppose -2*j + 80 = 2*z - 4*z, -100 = -3*j - z. Does 14 divide j?
False
Let y = 688 + -472. Is 36 a factor of y?
True
Suppose 0*r + 10 = 2*r. Is 5 a factor of r?
True
Let d be (-3)/2 + (-436)/8. Is 24 a factor of (d - -3)*(1 + -2)?
False
Let s = -4 + 8. Is 18 a factor of (-248)/(-14) - s/(-14)?
True
Let a = 3 - -2. Suppose 10 = a*c - 45. Does 3 divide c?
False
Let r be (1/2)/((-8)/688). Let j = -28 - r. Does 9 divide j?
False
Is 4 a factor of 5 - 1 - (4 - 7)?
False
Is 7 a factor of (-426)/(-15) - 4/10?
True
Let a be 7/14*(1 + 7). Let u(h) = 2*h - 1. Does 3 divide u(a)?
False
Let h(i) = 2*i**2 - 26*i + 9. Is h(13) a multiple of 6?
False
Let l = 7 - -5. Suppose -2*v - l = -3*v. Let a = v + 0. Is a a multiple of 6?
True
Let h be 20*(16/(-5) - -2). Let s = h - 9. Is s/2*4/(-6) a multiple of 6?
False
Is 19 a factor of 16 - -6*2/4?
True
Suppose -6*v + 140 = -2*v. Does 14 divide v?
False
Let b(l) = -l**2 + 5*l + 8. Let k be b(6). Suppose 2*j + 28 = 3*f - 40, k*j = f - 16. Is f a multiple of 13?
True
Is 3 a factor of (7 - -1) + 9/3?
False
Let z be (28/6)/((-4)/(-6)). Let d = 4 - z. Let b(g) = -3*g - 4. Does 4 divide b(d)?
False
Suppose -2*n - 3*n + 175 = 4*y, -35 = -n - y. Does 19 divide n?
False
Let v(n) = 16*n**3 - 2*n + 1. Let t be v(1). Suppose -2*l - t = -3*a + 83, -l = -2*a + 66. Is 17 a factor of a?
True
Let g(j) = 5*j. Let h be g(-2). Is (72/h)/((-2)/10) a multiple of 12?
True
Suppose -67 - 11 = -3*j. Is j a multiple of 7?
False
Let d(z) = -z - 1. Let w be d(-6). Is 9 a factor of w/10 - 42/(-4)?
False
Let p(j) = 95*j + 4. Let f(x) = x + 1. Let l(y) = -2*f(y) + p(y). Does 19 divide l(1)?
True
Suppose -5*a = -p - 1, 5*a + 6 = -5*p + 1. Suppose -q + 86 = -a*q. Suppose 26 - q = -3*u. Is u a multiple of 13?
False
Suppose 10*h - 60 = 5*h. Does 3 divide h?
True
Let u(x) = -19*x + 2. Is u(-7) a multiple of 9?
True
Let k be (-1)/5 - (-516)/(-20). Let j = k - -48. Does 11 divide j?
True
Let t(v) = 106*v**3 - v + 1. Let k be t(1). Let l = -50 + k. Let d = -27 + l. Is 11 a factor of d?
False
Let x = -12 + 17. Suppose -25 = -2*l - x*t, 3*t = -l - l + 15. Suppose -5*i - 3*q - q = -100, 3*i + q - 60 = l. Is i a multiple of 9?
False
Is 14 - -165 - 1*-3 a multiple of 13?
True
Let v = 276 - 156. Is v a multiple of 17?
False
Let z = 14 - -101. Is 23 a factor of z?
True
Let y = -24 + 85. Is 13 a factor of y?
False
Suppose 0*d - 4*d - 32 = 0. Suppose 2*c - 3*c = h, 2*c + h + 1 = 0. Let k = c - d. Is 4 a factor of k?
False
Suppose 3*n - 9 - 3 = 0. Suppose 2*m + n*h = 29 - 3, -3*m = 3*h - 36. Is m even?
False
Suppose -3*l + 3 = -r, -r - 2*l + 1 + 1 = 0. Suppose r*d - 74 = -d. Suppose 0 = 3*b + 26 - d. Is 8 a factor of b?
True
Suppose 2*u - 94 = -3*r - 7, r = 5*u - 226. Is u a multiple of 4?
False
Suppose 12 = 3*k, -6*p + 2*p + 420 = k. Is p a multiple of 23?
False
Suppose m = 3*m + 4*h - 22, -5*m - h + 100 = 0. Suppose y + 1 = m. Is y a multiple of 13?
False
Let b = -36 - -156. Does 10 divide b?
True
Let j = -64 - -112. Is 12 a factor of j?
True
Suppose 3*x + 10 = -14. Is 10 a factor of x*(2/(-8) + -1)?
True
Let p = 13 + -8. Suppose -4*v - p*n = v - 75, -3*v + 53 = 5*n. Does 8 divide v?
False
Is 29 a factor of 119/3 - (-12)/36?
False
Let j(o) = o**2 - 14*o + 15. Is 15 a factor of j(14)?
True
Let b(k) = 2*k - 1. Let j be b(1). Suppose 3 - j = a. Suppose -s + 78 = a*s. Is 13 a factor of s?
True
Suppose 2*w - 31 = -5*z - 1, 4*w + 5*z = 50. Suppose -2*a = -2*o - 70, 3*o = 2*a + 3*a - 111. Is o/6*(-15)/w a multiple of 6?
False
Let r(c) = 120*c**2 + 2*c + 2. Does 40 divide r(-1)?
True
Let b = -198 - -279. Is b a multiple of 27?
True
Suppose -6*o + 11*o - 1305 = -3*w, 5*w + 25 = 0. Is 8 a factor of o?
True
Does 14 divide 56*(2 - 4)*-1?
True
Let p(h) = 5*h + 11. Does 8 divide p(5)?
False
Let o = 11 - -12. Does 23 divide o?
True
Suppose 2*u - 2 = 0, -2*u = -4*f - u + 11. Suppose -5*y + 5 = -4*y + f*g, 5*y + 4*g = 47. Is 6 a factor of y?
False
Let f be 3*3*(-104)/36. Let i = f + 57. Is i a multiple of 10?
False
Let p be 4/(-10)*(-20)/(-4). Let x = 5 + p. Suppose 0 = -5*a + x*g + 2*g + 145, -2*g + 166 = 5*a. Is 11 a factor of a?
False
Let b(s) = -9*s**3 - s. Let w be b(-1). Let k = 2 + w. Is 6 a factor of k?
True
Let x = 44 - -64. Is 12 a factor of x?
True
Let j(v) = 11*v + 2. Let k be j(4). Suppose 3*x + 60 = 5*p, -3*p + 5*x - 10 + k = 0. Suppose 0 = 2*r - w - 15, 5*w - 17 - p = -3*r. Is 3 a factor of r?
False
Suppose 0 = -6*f - 42 + 108. Is 11 a factor of f?
True
Suppose 4*p - 23 - 13 = 0. Is p a multiple of 9?
True
Let c(n) = n**3 - 5*n**2 - n + 27. Is c(0) even?
False
Let t(s) = -9*s**3 - s**2 + 1. Suppose 4*r = 5*r + 1. Let y be t(r). Is ((-48)/y)/(-1)*12 a multiple of 13?
False
Suppose -3*n = 3*u + 54, 2*n - 42 = 2*u - 2*n. Suppose 3*q - 87 = -0*q. Let p = u + q. Is p a multiple of 4?
False
Suppose 0 = -i + 3*b - 21, -2*i - 38 = i - 4*b. Is -2*9/i + 9 a multiple of 6?
True
Suppose 4*j - 3*a = 2*j + 3, -j + 1 = -a. Suppose 2*n + 0 - 6 = j. Does 2 divide n?
False
Suppose -13 - 1 = -o - 5*n, 5*n - 32 = -3*o. Is 9 a factor of o?
True
Let j = 65 + -43. Does 11 divide j?
True
Let i = 23 + -38. Let y = -5 - 