*p + g + 92, -107 = 2*p - n*p + 4*g. Is 11 a factor of p?
False
Let a be (3/(-9))/((-1)/24). Suppose -5*i + 467 = -a. Does 19 divide i?
True
Let o(a) = -a + 6. Is o(-6) a multiple of 2?
True
Is 3 a factor of ((-7)/2)/(-1 + 4/8)?
False
Suppose -3*b + 1 = 4. Let i be (-2)/b - (-1 + 0). Suppose 14 = x + 2*g, i = 4*g - 3*g. Is 3 a factor of x?
False
Suppose -f + 263 = 5*x, 5*x = 3*f - 24 - 705. Is f a multiple of 43?
False
Let c(t) = -t + 4. Let g be c(9). Is 11 - g/((-15)/(-9)) a multiple of 7?
True
Suppose 3*h + h - 16 = 0. Suppose -4 = -i, i = -2*c - 0*i + 228. Suppose 0*d - h*d + c = 0. Is 16 a factor of d?
False
Suppose 3*y = 10*y - 1099. Is 12 a factor of y?
False
Suppose 2*y = -u, -5*y = -u - 0 - 14. Suppose 2*g + 0*g = -y. Is 0 - g - 8/(-2) a multiple of 2?
False
Suppose 0 = 4*z + 2*d + 12, 2*z + 2 = -z - 5*d. Is 12 a factor of (-1)/4 + (-129)/z?
False
Let s(a) = 3*a**3 + 4*a**2 - 4*a. Let b(c) = -4*c**3 + 2*c + 1. Let h be b(-1). Does 31 divide s(h)?
False
Suppose -206 = -2*j - f, -2*j - 202 = -4*j - 2*f. Does 15 divide j?
True
Is 30 a factor of 5*1*(7 + 23)?
True
Suppose 2*j - 252 + 32 = -2*u, 0 = -4*j - 5*u + 435. Does 24 divide j?
False
Let o be 188*((-9)/(-6) - 1). Suppose -5*d + 101 = 4*z, 5*z - 2*d - o + 9 = 0. Is z a multiple of 7?
False
Suppose -2*a + 4*a - 4 = 0. Suppose -4*b - a*r + 69 = -55, -5*b = -4*r - 168. Does 16 divide b?
True
Suppose -3*s = 2*d - 1, d - 2*s + 4 = -d. Suppose -4*b + 623 - 1701 = 3*h, 4*h + 1431 = b. Is d/(-4) + h/(-8) a multiple of 15?
True
Suppose i + 25 - 48 = 0. Does 10 divide i?
False
Let d(x) = x**3 + 17*x**2 - 18*x - 3. Is 43 a factor of d(-17)?
False
Is 22/121 + 713/11 a multiple of 13?
True
Suppose -s - 23 - 63 = -4*r, -34 = -2*r + 5*s. Is r even?
True
Does 42 divide (-826)/(-6) + 6/(-54)*-3?
False
Suppose -10 = o - 34. Let n = o + -14. Is 5 a factor of n?
True
Let b(a) = 7*a**3 - 3*a**2 + 6*a + 14. Let v(l) = -6*l**3 + 4*l**2 - 6*l - 13. Let x = 0 - -6. Let i(h) = x*v(h) + 5*b(h). Does 8 divide i(8)?
True
Let z be -4*(6/(-3))/2. Suppose 5 = x + 4*k, -z*x - 1 = -4*k - 41. Is 6 a factor of x?
False
Let h(m) = -6*m**3 - 3*m**2 + 3*m + 2. Let j be h(-3). Does 18 divide ((-3)/(-6))/(2/j)?
False
Suppose -4*c - 4*y + 1044 = 0, c - 30 = y + 233. Does 26 divide c?
False
Let d be 1/((-1)/(-3)) - 5. Let g(h) = h**3 - h**2 - 3*h - 2. Let a be g(3). Let p = d + a. Is 4 a factor of p?
False
Suppose 0 = -4*c - 10*c + 336. Is 24 a factor of c?
True
Let c(l) = -l - 2. Let s be c(4). Let n(d) = d + 1. Let b(a) = -a**3 - 5*a**2 + a - 12. Let t(q) = -b(q) - 6*n(q). Does 12 divide t(s)?
True
Suppose -t - 4*t + 75 = 0. Is 2 a factor of t?
False
Let i(t) = -9*t - 1. Let h(p) = -17*p - 3. Let j(w) = 2*h(w) - 5*i(w). Let q be j(2). Does 2 divide (-16)/(-6) + 7/q?
False
Let u(c) = -c**3 - c**2 - c + 6. Is u(0) even?
True
Suppose -4*x + f = -f - 4, 4*f - 31 = -5*x. Is 2 a factor of x?
False
Let t = -460 - -656. Is 51 a factor of t?
False
Suppose 2*d + 21 = 4*d - 3*r, 0 = -3*d + r + 14. Is 5 a factor of 2/6*8*d?
False
Suppose 3*p - 70 = -4*t + 60, 70 = 2*t + 4*p. Does 31 divide t?
True
Suppose 0 = -f + 2*f + 20. Let z(c) = -c**2 + 13*c - 3. Let m be z(9). Let n = f + m. Is n a multiple of 13?
True
Let c be 1 + -1 + (4 - 2). Suppose c*b + 4 = 3*b. Is 4 a factor of b?
True
Suppose -30 = 2*a + 3*a. Does 22 divide a*(-1 + 60/(-9))?
False
Suppose 5*n - 203 = 97. Suppose 13*g - n = 9*g. Is g a multiple of 13?
False
Suppose -5*f = -q - 2*f + 70, 4*q - 256 = 4*f. Let k be (48/4)/4 - -8. Suppose 0 = -4*z - s + q, -3*s - k = -z + s. Is 5 a factor of z?
True
Let o(f) = 3 - 3 + 2 - 4 + 4*f + f**2. Let d be (-52)/(-16) + (-3)/12. Is o(d) a multiple of 15?
False
Suppose 0 = -2*f + 7*f - 85. Suppose -6*b + 2*b = 32. Let o = b + f. Is 3 a factor of o?
True
Suppose 2*t - 9 = t. Let z = t + -6. Suppose u = z*a + 5*u - 66, 0 = 2*a - 4*u - 64. Is 13 a factor of a?
True
Let p(n) = -n + 28. Suppose -8*d = -3*d. Is 14 a factor of p(d)?
True
Suppose -22 = 3*k - 139. Suppose 10 = -b + k. Does 14 divide b?
False
Suppose b + 3*y = -6, 3*b - 5*y - 3 = 7*b. Suppose 3*p - 2*t = 35, -b*t + 6 = -p + 27. Does 9 divide p?
True
Let n(g) = -37*g + 4. Let f be n(3). Let m = -71 - f. Is 18 a factor of m?
True
Suppose 0 = 2*d - 5*v, -23 = d - 4*d - 4*v. Suppose -4*o - 2*c - 3*c + 115 = 0, o + d*c = 25. Let a = o + -18. Does 12 divide a?
True
Suppose 2*l = -2 - 10. Let h be 6/((-13)/l - 2). Suppose -h = -0*q - 4*q. Is q a multiple of 8?
False
Let u = -19 - -27. Is 17 a factor of 361/4 - u/32?
False
Let j = -11 + 32. Is 5 a factor of j?
False
Let b = 3 - 0. Suppose 243 = -b*q - 0*q. Let d = -53 - q. Is 14 a factor of d?
True
Suppose -6*w + j + 180 = -3*w, 0 = 2*w + 4*j - 134. Does 5 divide w?
False
Suppose -5 = 3*u - g - 4, 3*g = u + 3. Suppose 5*s - 2*z - 83 = u, s + 6 = -4*z + 5. Is 6 a factor of s?
False
Suppose 14 = 3*x - 19. Suppose x = 2*d - 5. Is 1/2*4*d a multiple of 16?
True
Let m(u) = -u - 11. Let t be m(-7). Does 12 divide (-1)/t - (-188)/16?
True
Let p = 81 - 29. Does 13 divide p?
True
Let u(s) = -s**2 + 13*s - 13. Let n be u(11). Let v = n - -5. Is 7 a factor of v?
True
Let a(k) = -k**3 - 5*k**2 - 4*k - 1. Let p be a(-4). Let z(v) = 12*v**2 + 2*v + 1. Does 11 divide z(p)?
True
Let u = 0 + 4. Suppose 0*h + u*h = 140. Is h a multiple of 12?
False
Suppose -2*g = -3*t - 96, -3*g + t - 2*t = -122. Is g a multiple of 3?
True
Suppose -6*l + 186 = -4*l. Suppose -5*h - l = -3*j + 11, j - 32 = -h. Is j a multiple of 10?
False
Let i = -2 + 38. Does 4 divide i?
True
Let i = 2 - -2. Suppose 65 = -s - i*s. Let o = -7 - s. Is o a multiple of 5?
False
Let x(h) = -2*h - 2. Let s(f) be the third derivative of -f**4/12 + f**3/2 - 3*f**2. Let z be s(3). Does 4 divide x(z)?
True
Let g(l) = 2*l**2 - 7. Is 11 a factor of g(-3)?
True
Let c(k) = k - 11. Is 2 a factor of c(16)?
False
Let t(a) = -17*a + 8. Let d(m) = -8*m + 4. Let z(c) = -13*d(c) + 6*t(c). Let q be z(4). Does 6 divide 20/5*7/q?
False
Suppose 4*w - 401 = 5*m, 4*w + m = -3*m + 428. Is 13 a factor of w?
True
Suppose 7*v - 285 - 1255 = 0. Is v a multiple of 20?
True
Suppose -s - 3*s = -8. Does 14 divide (34 + s)/(0 + 1)?
False
Suppose 4*c - 3*c = -h + 4, -10 = -3*h - 2*c. Suppose 0 = h*n - 4*n + 52. Is n a multiple of 12?
False
Let m = -294 - -510. Does 54 divide m?
True
Let h = 6 + 1. Let n = 6 - h. Let y = 5 + n. Does 2 divide y?
True
Let w be 6/15 - 73/(-5). Is 4 a factor of 0 + w/(-6)*-2?
False
Let b(q) = q**2 + 8*q + 8. Let w be b(-8). Suppose -w*s + 5*s + 66 = 0. Is s a multiple of 18?
False
Let p = 78 + -26. Is p even?
True
Let j = 9 - -45. Is j a multiple of 9?
True
Let k be (2/4)/(4/64). Suppose -12 = -4*t + k, -z + t + 27 = 0. Is 12 a factor of z?
False
Suppose -2*r + 0*r = 2. Let s be r/(4/(-3) + 1). Let b = 5 - s. Is b even?
True
Let s = -35 - -71. Suppose -6*n + s = -3*n. Is 6 a factor of n?
True
Suppose 0 = -3*s - 6, -s - 281 = -4*b + 205. Is 11 a factor of b?
True
Let b(h) = h**2 + 11*h + 9. Let j be b(-11). Suppose 0 = -5*x + 11 + j. Does 4 divide x?
True
Let s(x) = 2*x**3 + 27*x**2 + 11*x - 2. Is s(-13) a multiple of 13?
False
Let z(v) = 38 + 11 - 29 + 30 + v**2. Does 25 divide z(0)?
True
Suppose -4*f = 3*m + 283, 0*f - 2*f - 137 = 3*m. Let y = -49 - f. Suppose -2*j - 25 = -5*b + y, -42 = -3*b - 3*j. Does 7 divide b?
False
Is 1/(-4) + 666*1/8 a multiple of 11?
False
Suppose 3*h + 3*t = 99, -h - 2*t = 3*t - 37. Is 32 a factor of h?
True
Let i(l) = -5*l**2 - 6*l + 10. Let r(a) = -4*a**2 - 6*a + 11. Let v(p) = 3*i(p) - 4*r(p). Is v(-10) a multiple of 18?
False
Suppose 5 = -5*g - 5. Suppose 0 = s - 36 + 99. Is 1/g - s/6 a multiple of 5?
True
Let y = 70 - 34. Is 9 a factor of y?
True
Suppose 14*v = 12*v + 14. Is 346/14 - (-2)/v a multiple of 10?
False
Let l(v) = -v**2 + 18*v + 7. Does 21 divide l(16)?
False
Let r(m) = -m**3 + 2*m**2 - 8*m - 5. Let x be r(-5). Let v be 2/6*(x - -3). Suppose 4*t - 9*w + 4*w = v, -w = -2*t + 43. Is 13 a factor of t?
False
Suppose -3*q = -2*z - 323 + 96, 3*q = 5*z + 221. Does 9 divide q?
False
Let k = 7 + -4. Suppose 0 = k*j - 35 - 7. Is 7 a factor of j?
True
Suppose 2*z + 2*z - 956 = -4*g, 4*g + 1231 = 5*z. Is z a multiple of 9?
True
Let x(t) = -2*t + 1. Suppose q = -0*q + 1. Let w be x(q). Is 1 - -1*(-21)/w a multiple of 11?
True
Suppose 0 = -a - 2*a. Suppose a*p - p