t p = l - -8. Let x(f) = 23*f. Is 23 a factor of x(p)?
True
Let y(i) = 2*i**2 - 6*i - 6. Let z be y(-4). Let t = z + -28. Is t a multiple of 7?
False
Suppose 0*p - 4*p = 2*t - 666, 4*p = -4*t + 672. Is 11 a factor of p?
True
Let w(i) = 4*i + 0*i - 2*i - 5 - 7*i. Does 7 divide w(-4)?
False
Suppose p + 3*z = 53 + 11, -3*p + 4*z + 140 = 0. Is p a multiple of 13?
True
Let f = 69 + -14. Does 3 divide (24/10)/(22/f)?
True
Let s(j) = 3*j**2 - 6*j + 6. Is s(3) a multiple of 3?
True
Let p = 0 + 0. Let d = p - 0. Is d + -2 + 1 + 23 a multiple of 11?
True
Let z = -7 - -5. Let v be 1/z - (-44)/(-8). Let q = 47 + v. Does 18 divide q?
False
Let j = 10 - -10. Is j a multiple of 4?
True
Let g = 117 - 75. Is 21 a factor of g?
True
Is 40/4 - -3 - 3 a multiple of 10?
True
Let p = 79 + 86. Does 11 divide p?
True
Let q = 3 + -3. Suppose 5*z - 115 = -4*o - q*o, 5*o - 82 = -3*z. Is 12 a factor of z?
False
Let f(j) = -j**2 - 22*j + 36. Is 33 a factor of f(-20)?
False
Suppose 5*y - 38 = 3*o, -2*y + 16 = -o - 0*o. Is y a multiple of 4?
False
Suppose -2*x - x = -12. Suppose -x*n - n = -285. Is 12 a factor of n?
False
Suppose -7*q + 1301 = 363. Is q a multiple of 21?
False
Let q be 3/(-2)*224/(-3). Let s = -37 + q. Suppose 0 = 6*y - y - s. Is y a multiple of 15?
True
Suppose -3*c - 152 = -4*p, 5*c = -4*p + 4*c + 152. Does 23 divide p?
False
Suppose 0 = 5*m + 5*p + 65, -m + p = 3*m + 37. Let c = 4 + m. Is ((-28)/c)/((-3)/(-9)) a multiple of 14?
True
Suppose 2*p = 9 + 1. Does 7 divide p - -9 - 0/1?
True
Is 6/10 - 1085/(-25) a multiple of 13?
False
Does 13 divide (-1)/3 - (-190)/3?
False
Suppose 0 = -v + 2 + 1. Suppose -4*h - 10 - 78 = -5*x, -v*h + 10 = x. Is 15 a factor of x?
False
Suppose -100 = 2*m - 4*m. Let d be (4/10)/(2/m). Is 14 a factor of (-28)/d*(-1 + -4)?
True
Suppose 2*z = -3*z - 315. Let y = -44 - z. Does 14 divide y?
False
Is (6 - 0)*(23 - 7) a multiple of 16?
True
Suppose 9 + 6 = 3*q. Let f(x) = x**2 - 4*x + 12. Let r be f(8). Suppose q*d = d + r. Is 6 a factor of d?
False
Let a(n) = n**3 - 5*n**2 + 6*n - 4. Let c be a(4). Suppose -g = -c*g. Suppose 3*d + 0*d - 39 = g. Is d a multiple of 5?
False
Suppose -3*i = 2*t + t - 387, -5*t = -i - 639. Is t a multiple of 39?
False
Let k = 9 + -6. Let b(h) = h**2 - 5*h + 8. Let q(j) = j**2 - 6*j + 8. Let x(r) = k*q(r) - 2*b(r). Is 8 a factor of x(8)?
True
Let u(d) = -17 + 65 + 0*d**2 - d**2 - d + 0*d. Let i be u(0). Suppose -4*s + s + i = 0. Is s a multiple of 7?
False
Suppose 0 = -4*f - 3*i + 104, f - i + 26 = 2*f. Does 20 divide f + 3 + (-18)/3?
False
Suppose 0 = -2*r - 6, -6 - 39 = -g + 3*r. Is 12 a factor of g?
True
Let z(d) be the first derivative of -d**3/3 - 7*d**2/2 + 8*d - 1. Let g be z(-7). Let x = g - -8. Is x a multiple of 10?
False
Let o = -6 + 7. Let s = o - -1. Suppose 2*t + 20 = p, 0*p + s*t - 16 = -p. Is p a multiple of 18?
True
Let f be (3/6)/((-1)/14). Let x = -25 - -38. Let d = x + f. Is d a multiple of 3?
True
Let m(f) = 255*f**3 - 2*f**2 + 3*f - 1. Is 56 a factor of m(1)?
False
Let i(w) be the second derivative of -w**7/840 + w**6/360 + w**4 - w**3/3 + w. Let g(k) be the second derivative of i(k). Is 7 a factor of g(0)?
False
Suppose 0 = -3*y - 2*y - 4*w + 75, -51 = -4*y - 5*w. Is 6 a factor of y?
False
Let n(m) = m**3 - 10*m**2 - 11*m - 1. Let o(z) = -4*z**3 + 31*z**2 + 34*z + 2. Let g(p) = -7*n(p) - 2*o(p). Is 10 a factor of g(-6)?
False
Let t = -10 + 6. Is 5 a factor of 57/2*t/(-6)?
False
Suppose 2*p = -3*a + 3, 2*p = -a + 3 + 2. Is 12 a factor of 13*(p + (3 - 5))?
False
Let n = -2 + 5. Suppose -21 = -3*l + 5*t, 4*l + t - 42 = n*t. Is 6 a factor of l?
True
Suppose 0*s + 14 = s. Is s a multiple of 14?
True
Is 18/(-12) - (-35)/2 a multiple of 8?
True
Let l(s) = s - 2. Let f be (7/(-4))/((-2)/8). Is 4 a factor of l(f)?
False
Is 3628/24 - (-1)/(-6) a multiple of 8?
False
Suppose -5*z = 2*i - 235, 0 = 3*i + 5*z - 44 - 321. Suppose -3*v = -8*v - 4*b + i, 0 = 5*v + 2*b - 120. Is v a multiple of 11?
True
Suppose -5*h = 4*a - 468, 7*h - 20 = 2*h. Is 7 a factor of a?
True
Suppose -4*s = -3*u - 153, -9*u = -5*s - 7*u + 200. Does 6 divide s?
True
Suppose -c = -2*q - 5*c - 6, -4*q + 6 = 2*c. Suppose q*t = 109 + 23. Is t a multiple of 15?
False
Suppose 340 = 8*i - 3*i. Does 17 divide ((-1)/2)/((-1)/i)?
True
Let p(j) = j**2 - j - 8. Let c be p(4). Let t = 10 - 7. Let a = c + t. Is 4 a factor of a?
False
Suppose a - 10 = 1. Does 5 divide a?
False
Let u(q) = -11*q**3 + 4*q**2 - 4*q - 20. Is u(-3) a multiple of 13?
True
Let l(p) be the first derivative of p**4/12 - 2*p**3/3 - 5*p**2 - 2*p - 1. Let c(j) be the first derivative of l(j). Does 5 divide c(7)?
False
Let n(w) = w**3 - 4*w**2 + 4. Let q be n(3). Is (-1 + -3)*(q - -1) a multiple of 8?
True
Suppose -f - 4*u - u + 33 = 0, 3*f - 99 = 2*u. Suppose s + 0*s = f. Does 11 divide s?
True
Let k be ((-4)/(-8))/(2/(-536)). Let y = -88 - k. Is 23 a factor of y?
True
Let s = 5 - 3. Suppose -s*t - 92 = -4*t. Does 23 divide t?
True
Let a = -6 + 8. Suppose -a*v = -4*j + 90, -105 = -8*j + 3*j + v. Is 10 a factor of j?
True
Suppose -1 = -2*x + 1, -w - 1 = 3*x. Let p be (-2)/w - (-9)/6. Suppose p*j - 4*o - 32 = 0, -24 = -j + 4*o + 2. Does 6 divide j?
True
Let s(y) = -y - 5. Let w be s(-8). Suppose 4*l - 20 = -5*k + l, 3*k - 12 = w*l. Suppose q = k + 26. Is 15 a factor of q?
True
Suppose -3*o + 4*m = -2*o + 18, -2*o = -4*m + 24. Let u be (48/10)/(6/20). Let c = o + u. Is 4 a factor of c?
False
Let v = -338 + 614. Is v a multiple of 11?
False
Suppose g + 15 = 67. Is g a multiple of 8?
False
Suppose -4*t = -6*t + 28. Does 7 divide t?
True
Suppose -2*l + 7*l + 5 = 0. Let b be l/((-2)/22) + -3. Suppose -148 = -5*v + 2*q, -v - 5*q + 0*q = -b. Is 14 a factor of v?
True
Let y = 666 - 395. Suppose 0*c - y = 5*c - u, 3*c + 153 = 3*u. Let k = 85 + c. Is k a multiple of 15?
True
Let j(b) be the second derivative of b**4/12 - b**3/2 - 4*b**2 + b. Is j(7) a multiple of 15?
False
Suppose 24 = 5*u - 1. Let d(o) = -o + 6. Let h be d(u). Suppose 2*q - 11 = h. Is q a multiple of 5?
False
Suppose -281 + 766 = 5*c. Let p = 62 - c. Does 12 divide (-14)/p - 236/(-10)?
True
Let c(d) = -d + 2. Let p be c(5). Let b = 3 + p. Suppose b = 3*l - 1 - 11. Is l a multiple of 2?
True
Suppose -5*x + 190 = -60. Is x a multiple of 17?
False
Suppose r - 23 = -0*r. Let a = 62 - r. Is a a multiple of 13?
True
Let m(n) = n**2 + n. Let h(o) = 5*o**2 + o. Let g(u) = h(u) - 3*m(u). Is 12 a factor of g(-3)?
True
Let j = -9 + -63. Let k be j/28*7*-1. Suppose 2*g = k + 58. Does 13 divide g?
False
Does 8 divide 278/(-8)*-4 + -4?
False
Let g(b) = 4*b**2 + 2*b + 2. Let j be g(3). Let z = -74 + j. Let n = 50 + z. Is n a multiple of 7?
False
Does 20 divide 3*(-3)/(-9)*31?
False
Let a = 119 + -177. Let s = 95 + a. Is 11 a factor of s?
False
Let c(q) = 2*q - 3. Is c(15) a multiple of 27?
True
Suppose 4*z = 5*s + 107, -s - 38 = -z - 2*s. Does 6 divide z?
False
Suppose 23*s - 22*s = 30. Is s a multiple of 30?
True
Let m = 151 - 63. Does 16 divide m?
False
Let f(d) = -d**3 + 10*d**2 - 7*d - 3. Does 5 divide f(9)?
True
Let y(q) = -3*q - 15. Let d be y(-10). Let b = 7 + d. Does 6 divide b?
False
Let k(b) = -11*b**2 + 5*b + 1. Let l be k(4). Let t = l - -249. Suppose a + a = t. Does 14 divide a?
False
Let s be (0/(-3)*-1)/1. Suppose 0 = -y - s*y - 9. Is 10 a factor of (-184)/(-18) + 2/y?
True
Let s be ((-2)/4)/((-7)/28). Suppose -s*v + 20 = -v. Is v a multiple of 15?
False
Let c(g) = g**3 + 10*g**2 - 13. Let v be c(-10). Let j = v + 20. Is j a multiple of 4?
False
Suppose 0 = -4*x - 20, -3*r + x + 10 + 1 = 0. Suppose -2*a - r*a + 20 = 0. Suppose 118 + 77 = a*l. Is l a multiple of 19?
False
Suppose 5*r = 25, r - 6*r = -2*y + 77. Does 20 divide y?
False
Let a(z) = -z**3 + 4*z**2 - 2*z - 1. Let m be a(3). Suppose 21 = 2*s - 5*r, -m*s + 6*s - 2 = 2*r. Is 20 a factor of 1*(s + (1 - -58))?
False
Let r(q) = q**2 + 4*q + 3. Let h be r(-4). Let v = 3 - h. Does 12 divide 2*(30/4 - v)?
False
Let h = -1 - -5. Let k = 14 - h. Is 5 a factor of k?
True
Suppose 0 = -4*r + 500 - 48. Does 12 divide r?
False
Let s(a) = 4*a. Let y(h) = -h**3 + 2*h**2 + 5*h - 4. Suppose -6*k + 2*k + 12 = 0. Let j be y(k). Is s(j) a multiple of 4?
True
Let f be 22/6 + (-10)/15. Suppose -5*s = y - 20, 0 = -4*y - 4*s + 8*s - 16. Suppose y = f*q - 2*b - 13, -q = 3*q - 