p**2 - 16*p - 16. Let r be m(-11). Let z = 90 - r. Is 17 a factor of z?
True
Let n(o) = 15*o - 10. Is 13 a factor of n(5)?
True
Suppose -6 = 4*b + 22. Let w(d) = -d**2 - 9*d + 4. Is 9 a factor of w(b)?
True
Let t be 2 + 1 + (-2 - 1). Suppose l + 2 - 1 = t. Let f = l - -5. Is f a multiple of 3?
False
Suppose 108 = 5*z - 22. Does 13 divide z?
True
Suppose 0 = -4*t - 2*o - 16, -4*o = t - 2*t + 5. Does 6 divide (t + 49)/2*1?
False
Let c(q) = 7*q - 1. Let n be c(2). Let v = n - -2. Is 5 a factor of v?
True
Let y(h) = -2*h**3 + 2*h + 4. Let v be y(-3). Suppose 2*x = -2*a - 82, -5*x - 86 = -2*a + 84. Let k = v + x. Does 6 divide k?
False
Suppose -z - 4*v - 1 = 0, -v = -5*z - 3*v + 49. Does 11 divide z?
True
Suppose 3*d = 4*n - 2*n - 25, n = -4*d - 15. Suppose -n*p - 4*x + 26 + 14 = 0, 4*p - 43 = -x. Is p a multiple of 4?
True
Suppose -4*x + 5 = -11. Let j be x/(-18) + 104/(-18). Let a(y) = -y**2 - 9*y - 6. Is 5 a factor of a(j)?
False
Let s = 9 + -9. Suppose -4*m - 31 = -5*a, 0 = -s*a + 2*a - 5*m - 26. Does 3 divide a?
True
Suppose x - 85 = -x - u, -3 = -3*u. Let z = 1 + -1. Suppose z = 5*j - 73 - x. Is j a multiple of 13?
False
Let u be (4/(-6))/((-1)/3). Suppose -81 = -w - u*w. Does 11 divide w?
False
Does 16 divide (-2)/(2/(-80)*1)?
True
Suppose 0 = -4*m + 4*o + 8, 4*m + 8 = 6*m - 4*o. Let z be m/(-2) + 35/(-5). Does 15 divide (-416)/(-14) + (-2)/z?
True
Suppose -x - 3*h + 198 = 2*x, -x = -h - 66. Does 6 divide x?
True
Let f(q) = q**3 + q**2 - q + 5. Let s be f(0). Suppose -s*p = -10*p + 15. Suppose 17 = t - p*k - k, -5*t = -3*k - 34. Is 5 a factor of t?
True
Let t be (-41)/4 - 21/28. Let y = 15 + t. Does 2 divide y?
True
Suppose -3*j - j = 3*u + 48, 3*u - 2*j = -30. Let i be (-39)/u + (-1)/4. Suppose -i*y - 5*b + 51 = -b, 0 = 4*b - 12. Is 13 a factor of y?
True
Let t = 482 + -344. Is t a multiple of 23?
True
Suppose -5*c = -4*y - 111, -4*y = c - 0 - 3. Does 11 divide c?
False
Suppose -5*i + 9*i = -52. Let k = 2 - i. Suppose -l = 4*l - 5*m - k, 0 = -l - m + 3. Is l a multiple of 2?
False
Suppose 0 = 5*u - 746 + 291. Does 16 divide u?
False
Is 37*(-1 - (-3 + 1)) a multiple of 10?
False
Let f(r) = r**2 - 7*r + 4. Let w be f(7). Suppose 32 = 2*c + c - 5*i, -c + 5*i = -w. Is 4 a factor of c?
False
Let l(a) = a**3 + 10*a**2 + 7*a - 8. Is 9 a factor of l(-9)?
False
Suppose -2*c + 0*c + 5*x + 25 = 0, -x + 7 = 2*c. Suppose -d - d = 4*s - 60, -s - 172 = -c*d. Does 11 divide d?
False
Let o(p) = -2*p - 1. Let b be o(3). Does 6 divide (-2)/b - (-164)/14?
True
Suppose -5*k + 3*w = -65, w = 2*k + 1 - 27. Suppose 0 = 3*m - 2 - 4. Suppose x - m*x + k = 0. Is x a multiple of 12?
False
Suppose -2*c + 8 = -0*c. Suppose u + 3*z = 0, -c*z + 16 = 5*u - 28. Does 4 divide u?
True
Suppose -3*x + f + 24 = 0, 5*f = -3*x + 11 - 5. Does 7 divide x?
True
Let i = 20 + -16. Suppose -i*c = -36 - 68. Is 9 a factor of c?
False
Let t be 1/4 + 7/4. Suppose -t*j + 6 = -4. Suppose -x + j*c = -3 - 0, -4*c = -x + 4. Is 4 a factor of x?
True
Let t be (-2)/5 + (-826)/10. Let a = t - -117. Does 10 divide a?
False
Suppose 71 = 2*h - 5. Suppose 3*r - j + 2*j = 92, -h = -2*r + 4*j. Does 13 divide r?
False
Suppose 2*g = 5*g - 108. Suppose l + 3*v - 7 - 5 = 0, -g = -2*l - 3*v. Does 12 divide l?
True
Suppose 0 = 3*k - 3*b, -k - 2*k + 5*b - 6 = 0. Suppose -4*y - 3*q = 2*q - 135, y - 38 = k*q. Is y a multiple of 18?
False
Suppose c + 2*i + 5 + 3 = 0, -5*i - 33 = -4*c. Suppose 2*j - c*v = -0*j + 2, -1 = -3*j + 4*v. Suppose 2*w = -j*w + 70. Is w a multiple of 8?
False
Suppose -2*h + 7 = -2*r - 5*h, 3*h = 3*r - 27. Suppose -139 = -3*a + 2*q, r*q - 110 = -2*a + q. Is 20 a factor of a?
False
Let x(r) = 2*r**2 - 10*r - 4. Let h be x(8). Let q = h + -27. Is 17 a factor of q?
True
Suppose 2*h = 2*u + 5*h + 5, h + 2 = -u. Is 15 a factor of ((-10)/8)/(u/36)?
True
Let u(o) = o**3 - 5*o**2 - 5*o + 5. Is 11 a factor of u(6)?
True
Suppose -4*m - 110 + 392 = -2*p, 4*p + 288 = 4*m. Let r = 127 - m. Does 29 divide r?
True
Suppose -5*y + 912 = -y. Let a = -163 + y. Suppose -a = -4*d - 17. Is d a multiple of 6?
True
Suppose -3*d - 6 = -6*d. Let m = d + -2. Suppose m = -3*a - 2*a + 65. Is 10 a factor of a?
False
Suppose 0 = 5*s + 6 + 4. Let r(y) = y**2 + y + 1. Let l be r(s). Suppose -2*p = -l*t + 113, 0*t + 2*p + 191 = 5*t. Is t a multiple of 15?
False
Suppose 3*c + 2*c = -5. Is 10 a factor of c*(0 + -2) - -10?
False
Suppose 0 = 6*i - 363 + 45. Is i a multiple of 15?
False
Suppose -2*w = 2*p + 8, 2*p = -2*w - 3*p - 23. Let n be (1 + -3)/(-2*w). Let v = 5 - n. Is 4 a factor of v?
True
Let c(j) = -j**3 + 16*j**2 - 12*j - 11. Does 13 divide c(15)?
False
Let y = 8 + -5. Suppose 31 = y*j - 8. Is 13 a factor of j?
True
Let c(w) = w**2 + 11*w - 8. Does 36 divide c(5)?
True
Suppose 3 = 4*f - 1. Does 25 divide 33 + (f - (0 - -1))?
False
Let l be -4 + 1 - (-5 - -1). Does 12 divide (-4 + l)/(2/(-8))?
True
Suppose -4*k - 4*o + 180 = 0, 2*k = -2*o + o + 92. Is 10 a factor of k?
False
Suppose -3*k - 1 = -a - 12, -a + k = 1. Suppose 0*y - y + 4*j = -12, -4*y + 67 = 3*j. Suppose 4*z - y = a. Is z a multiple of 3?
False
Let y(l) = -l - 2. Let j = -7 - -1. Let k = 0 + j. Is 2 a factor of y(k)?
True
Suppose -3*b - 9 = -3*y, -y = -3*y - 4*b + 30. Suppose 5*o - y = 18. Is 5 a factor of o?
True
Let i = -4 - -8. Suppose i*v - 11 = 169. Does 16 divide v?
False
Is (2 - -2)*66/8 a multiple of 20?
False
Suppose -2*h + 22 = r, -3*r + 30 + 36 = h. Does 11 divide r?
True
Suppose 4*i - 16 = -0*i. Suppose -2*s + 4*s + i*u = 96, 4 = -4*u. Is 11 a factor of s?
False
Let t be 37/2*-2 + 0. Let r = -5 - t. Is 16 a factor of r?
True
Let u be (-20)/35 - (-1112)/(-14). Let o = u - -150. Does 16 divide o?
False
Suppose 4*f = 134 - 2. Does 11 divide f?
True
Let n(w) = w**2 + 6*w - 1. Let h be n(-5). Let l(u) = u**3 + 3*u**2 + 1. Let r(x) = x**2 - x + 1. Let i(g) = l(g) + 3*r(g). Does 13 divide i(h)?
False
Suppose -4*v = -v - 45. Is v a multiple of 8?
False
Suppose 256 = -0*c + 2*c. Suppose 5*h - 5*i + 8 = c, -2*i = -5*h + 114. Is h a multiple of 22?
True
Let x be (-27)/18*(-4)/3. Let t = x - -6. Let d = t + 2. Is d a multiple of 5?
True
Suppose 7*w = 8*w - 138. Is 15 a factor of w?
False
Suppose 0 = 5*q - 2 - 18. Suppose -q*d + 56 = -0*d. Is 14 a factor of d?
True
Let n = -7 + 7. Suppose -h + p - 18 = -6*h, h - p = n. Suppose -8 = -h*f - f. Is f even?
True
Suppose 0*v = 2*v - 40. Is v a multiple of 20?
True
Let m = 59 + -2. Is m a multiple of 7?
False
Let z = 5 + -5. Suppose 10 + z = 2*i. Let o(t) = 8*t - 7. Is 10 a factor of o(i)?
False
Let g be (-4)/(4*-2)*12. Suppose -5*m = -2*k - 128, -m + 2*k + 30 = g*k. Does 13 divide m?
True
Let g(n) = n**3 - 6*n**2 - n + 6. Let j be g(6). Suppose 2*f = -2*f - 3*p + 110, f - p - 31 = j. Let m = f - 12. Is 9 a factor of m?
False
Suppose -30 + 94 = f. Is f a multiple of 4?
True
Let r = 25 + -36. Is 11 a factor of r*(-3)/(-6)*-4?
True
Suppose -4*u + x = 3*x + 2, 3*u - 4 = 4*x. Suppose u = c - 32 - 38. Is 16 a factor of c?
False
Suppose -2*z + 0 = -3*r + 1, 2*r = z + 1. Let c(s) = 2*s - 1. Let h be c(6). Let v = h + z. Does 7 divide v?
False
Let t(q) = 17*q**2 - 4*q - 2. Does 7 divide t(2)?
False
Let z be 4/10 + (-516)/(-10). Suppose -z = -4*g + 40. Does 7 divide g?
False
Suppose -3*y = -5*y + 8. Is 4 a factor of y?
True
Suppose 5*v + 2 = 4*l, 0*v - 5*l = -v + 8. Let p be (3/v)/((-18)/456). Suppose -5*q = a - p, -2*a + q + 242 = 3*a. Does 20 divide a?
False
Let d(z) = 8*z + 16. Is d(7) a multiple of 16?
False
Let y = 13 + -4. Is y a multiple of 8?
False
Let a = -12 + 7. Let i(r) = r - 10. Let z be i(5). Does 12 divide (-121)/a + 1/z?
True
Let x(s) = -2*s**3 + 18*s**2 - 5*s + 13. Is x(6) a multiple of 11?
False
Suppose 5*a - 39 = 2*a - 5*k, a + 5*k = 3. Suppose 0 = 6*n - 9*n + a. Is 4 a factor of n?
False
Let x = -2 + 4. Suppose 0*g = -x*g - 8, 0 = 4*i + 3*g - 12. Does 3 divide i?
True
Let h = 3 - 1. Suppose 1 = 3*c - h. Does 5 divide (26/6)/(c/3)?
False
Let g(s) = -s + 2. Let n(b) = -2*b + 2. Let m(a) = -3*g(a) + 2*n(a). Let h be m(-5). Suppose h*o - 34 = -2*i, -3*o = -4*i + 27 + 5. Is i a multiple of 11?
True
Let h be (-2070)/(-4)*(-72)/(-30). Does 23 divide (4/(-6))/((-12)/h)?
True
Suppose -3*w - 4*u + 10 = 0, 0 = -3*w - 0*u + 2*u + 22. Does 2 divide w?
True
Suppose -y - 3*z = -415, -2*z - 122 - 313 = -y. Is y/21 +