-r + 135 = u*c. Does 13 divide c?
True
Let q(b) = -b**2 - 7*b - 4. Let z be q(-6). Suppose -n - z*n + 6 = 0. Suppose -n*f + 6 = -0*f. Does 3 divide f?
True
Does 15 divide (203/14)/(2/4)?
False
Let v be 1/((-3)/6 + 1). Suppose -v = -4*d + 2. Suppose -3*r + 23 + d = 0. Is 8 a factor of r?
True
Does 33 divide -111*((-2 - -2)/4 + -1)?
False
Suppose -14 = -2*m + 4*c + 14, 3*c + 3 = 0. Suppose -6*q + m = -2*q. Is 3 a factor of q?
True
Let g(i) = -2*i - 5. Let p be g(-5). Let n(t) = -6*t - 1. Let r be n(-2). Suppose -14 = -p*l + r. Does 5 divide l?
True
Let q = 29 - 16. Let a = 29 - q. Is a a multiple of 8?
True
Let w(j) = 4*j**2 + 2*j + 12. Let f(i) = -2*i**2 - i - 6. Let z(a) = -9*f(a) - 4*w(a). Is 6 a factor of z(-4)?
False
Suppose 0 + 701 = 3*p - 4*c, -5*p + 1215 = 5*c. Does 12 divide p?
False
Let f = -12 + 28. Suppose -2*o + 16 = -3*b, o + o + 2*b - f = 0. Is o a multiple of 3?
False
Let n be -1 + 68/(6/(-3)). Let s = n - -67. Does 16 divide s?
True
Is 14 a factor of (-4 + (-80)/1)*(-4 + 1)?
True
Suppose 4*k = -9*l + 4*l + 236, -3*k + 12 = 0. Is l a multiple of 22?
True
Let y = -102 + 192. Is 9 a factor of y?
True
Let y = -172 - -412. Is 28 a factor of y?
False
Let t(p) = 54*p - 6. Let j(l) = -11*l + 1. Let k(a) = 22*j(a) + 4*t(a). Does 26 divide k(-4)?
False
Let r(i) = -i**3 - 12*i**2 + 3*i + 8. Is r(-13) a multiple of 17?
False
Suppose -5 = x + 3. Is 8 a factor of 45/(-6)*x/6?
False
Let z = 28 + -17. Is 7 a factor of z?
False
Let t = -3 + -1. Let z = 41 - t. Does 18 divide z?
False
Let s be (-2)/6 + 49/3. Suppose 0 = -z - z + s. Is 8 a factor of z?
True
Let o = 1 - 0. Let n(h) = -h - o - 3 + h**2 + 2. Is 2 a factor of n(-2)?
True
Let o be 34/6 - 4/6. Let p = o - 5. Suppose 0 = -v - p*v + 18. Is v a multiple of 9?
True
Suppose 8*t - 1738 = -266. Is 23 a factor of t?
True
Suppose 2*q - 5*i - 7 = -2, 0 = -5*i + 25. Is 7 a factor of -2 - q/(-3 + 2)?
False
Let u(i) be the third derivative of i**5/60 - i**4/4 + i**3/6 + i**2. Let j be u(5). Does 9 divide (j + -1)*(-36)/10?
True
Let n(f) = -f**2 - 16*f + 30. Is n(-15) a multiple of 5?
True
Suppose 34 = -2*x + 86. Is 18 a factor of x?
False
Let w(s) = s**2 - 7*s - 1. Let q(k) = 6*k + 1. Let n(i) = 6*q(i) + 5*w(i). Is n(2) a multiple of 15?
False
Let i = 26 + -16. Suppose -i + 2 = -p. Is 8 a factor of p?
True
Suppose i - a = 2*i - 11, 5*i - 2*a - 55 = 0. Does 5 divide i?
False
Let f(p) = 11*p**2 + 4*p + 3. Let u(t) = 10*t**2 + 5*t + 4. Let q(b) = 5*f(b) - 4*u(b). Is 14 a factor of q(-1)?
True
Let y = 5 - 2. Suppose 0 = y*q - 3*i - 273, 0 = 3*i - 3. Is 30 a factor of q?
False
Let x be (-2)/(6/(-4) + 1). Suppose -x*w = -7*w - 33. Does 15 divide (-2)/w + 471/11?
False
Suppose h - 22 = -3*w, -5*h = 2*w + 2*w - 143. Does 18 divide h?
False
Suppose 4*k + 62 = -58. Is k/(-9) + (-1)/3 a multiple of 2?
False
Suppose -2*t - 5*n + 43 = -26, -4*n = 4*t - 108. Suppose -z - z + t = 0. Suppose 1 = u - z. Is u a multiple of 8?
False
Let r(a) be the third derivative of -a**4/3 - a**3/6 + 2*a**2. Does 5 divide r(-2)?
True
Let p be (-336)/(-10) - 24/40. Does 16 divide (-1008)/(-22) - (-6)/p?
False
Does 16 divide (2 + -4)*-33 + -2?
True
Suppose 4*r = 6*r + 32. Let w = 20 - r. Is 12 a factor of w?
True
Suppose -2 = k + x + 2, -65 = 5*k - 4*x. Let j be 32 - 1/2*-2. Let o = j + k. Is 14 a factor of o?
False
Suppose -67 = -3*t + v, 22 - 129 = -5*t - 3*v. Suppose 0*c + t = c. Is 11 a factor of c?
True
Let q be (0/2)/(0 - 2). Suppose -c + 49 + 5 = q. Is 17 a factor of c?
False
Suppose 27 = 5*i - 4*k, 9 = 5*i + 2*k - 0. Let g(o) = -5*o - 4. Let n(h) = 5*h + 3. Let s(l) = i*n(l) + 2*g(l). Is 8 a factor of s(3)?
True
Let f(u) = -u + 5. Let r be f(6). Does 8 divide 10 + -1 + (-2 - r)?
True
Suppose 9 = 2*x + f - 5, -4*x + f + 16 = 0. Suppose -x - 11 = -y. Does 8 divide y?
True
Suppose 3*o - 163 = 149. Suppose 3*p = -p + o. Is p a multiple of 13?
True
Let p be -6*((-2)/(-4) - 2). Let a(n) be the third derivative of -n**5/60 + 5*n**4/12 + 13*n**3/6 + n**2. Is 11 a factor of a(p)?
True
Let z = -5 + 9. Suppose 0 = -z*s + 3*s + 5. Suppose 4*q + s = -4*u + 41, 0 = -2*q - 5*u + 18. Is q a multiple of 3?
True
Suppose 0*l = -5*z + 4*l + 35, -3*l - 30 = -5*z. Let b(r) = r**2 + r**z + 5*r**2 - 4 + 7 + 5*r. Is 9 a factor of b(-4)?
False
Let o(h) = -38*h**2 - 5*h - 4. Let f(j) = j**2 - j - 1. Let c(p) = 5*f(p) - o(p). Is 11 a factor of c(-1)?
False
Suppose -2*g = 2*g - 24. Suppose 2 - g = -r. Suppose -48 + 176 = r*x. Is 11 a factor of x?
False
Suppose 0*q = -2*q. Let s = 3 - q. Suppose -s*m + m + 20 = 0. Does 9 divide m?
False
Let u(p) = 5*p**2 + 5*p - 9. Let c be u(-7). Suppose -5*o + g = -0*o - c, -37 = -o - 3*g. Is o a multiple of 11?
False
Suppose 140 = -b + 546. Suppose -3*s + 28 = b. Is 13 a factor of s/15*(-5)/2?
False
Let s be ((-1)/1)/(1 - 0). Let c be 0/((s*2)/(-2)). Suppose 3*o - 5*o = c, 2*y + o - 42 = 0. Is 18 a factor of y?
False
Let h(d) = d**2 + 5*d + 11. Does 7 divide h(-4)?
True
Let y(t) = -t**2 + 6*t. Let l be y(5). Let v(p) = p**3 + 5*p**2 + 2*p - 2. Let x be v(-4). Let c = l + x. Is 11 a factor of c?
True
Suppose 0 = y - 2 - 0. Let s = 14 - y. Suppose 3*d - 51 = s. Does 7 divide d?
True
Let q(y) = y**2 - y - 2. Suppose 5*u = 0, 7*u - 10 = -5*c + 2*u. Let t be q(c). Suppose t = r - 3*r + 8. Is r a multiple of 2?
True
Let b(l) = 10*l**2 - 2. Let u be b(-3). Suppose s + 3*s - u = 0. Suppose -s = -h - h. Is 6 a factor of h?
False
Let f(i) = -14*i - 19. Is f(-6) a multiple of 11?
False
Suppose -3*v = -3 - 27. Is v a multiple of 5?
True
Suppose 4*n + 244 = 4*u, -313 = -5*u - 0*u + 3*n. Is u/2 + (-1)/(-2) a multiple of 11?
True
Let g(z) = z**2 + 4*z - 24. Is 24 a factor of g(10)?
False
Suppose 0 = w - 5, -6*g + 458 = -3*g - 5*w. Is g a multiple of 23?
True
Let p(g) = -g + g + 5*g**2 + 9*g**3 - 4*g**2. Is 7 a factor of p(1)?
False
Suppose 0 = -2*g + 10 + 14. Does 8 divide g?
False
Suppose -2*y + 7 = -5*h - 4, 3*y + h + 9 = 0. Is (y + 4)/(1/10) a multiple of 8?
False
Suppose 0 = -4*k + 3*n + 100, -2*k - 3*n - 6 + 38 = 0. Is 17 a factor of k?
False
Let b be (1 - 0) + -10*1. Let t be 2*-38 + -7 + 5. Does 13 divide (0 - t/b)*-3?
True
Is 8 a factor of (5 + 13 - (-5 + 3)) + 4?
True
Let s(o) = 4*o**2 + 4*o. Let g be s(-7). Suppose 2*p = -0*x - 2*x + 84, 4*p - 3*x - g = 0. Does 14 divide p?
True
Suppose 3*j + 4 = 4*j. Let v be (-14)/(-2)*j/14. Suppose -2*y - 32 = -4*c + v*y, -2 = -y. Is c a multiple of 5?
True
Let p(m) = 3*m**2 - m**3 + 69 + 0*m**3 + m - 2*m**2. Let a be p(0). Suppose -a - 16 = -5*o. Is 7 a factor of o?
False
Let m(z) = z**3 + 12*z**2 + 10*z - 1. Is 5 a factor of m(-11)?
True
Let k(m) = 4*m**2 - 2*m + 2. Suppose 2*w - 3*w - 3 = n, 2 = -4*w - 2*n. Let x be k(w). Suppose 2*u - x = 16. Is u a multiple of 15?
True
Let p(i) = i**3 - 5*i**2 + 6*i - 5. Let n = -10 - -14. Let g be p(n). Let j = 18 - g. Does 9 divide j?
False
Suppose -3*a + 9 = -0*a. Suppose -a*j - 17 = -80. Is 21 a factor of j?
True
Suppose 6*s = 4*s + 2*j - 188, j - 282 = 3*s. Let m = -62 - s. Suppose -3*r = -2*r - m. Is r a multiple of 12?
False
Let d(r) = -r**3 + 8*r**2 + r - 1. Suppose 3*p - 6 - 6 = 0. Let i be d(p). Let z = -47 + i. Does 7 divide z?
False
Suppose y - q - 48 = 0, -q - 136 = -2*y - y. Is y a multiple of 5?
False
Let k(s) = s**3 - s**3 + 4 - 3*s**2 - s**3. Let p be k(-3). Does 13 divide ((-45)/(-6))/(2/p)?
False
Let i be (-12)/8 + 4/8. Let l(w) = -36*w + 2. Is l(i) a multiple of 10?
False
Let c = -4 - 6. Let i(y) = -y**2 - 10*y + 6. Is i(c) a multiple of 4?
False
Let t(b) = b**2 + 4*b. Let y be t(-4). Suppose y*z + 128 = 4*z. Suppose -2*i - 82 + 10 = -5*q, z = q + 4*i. Is q a multiple of 11?
False
Suppose 28 - 84 = -4*s. Let w = 20 + -11. Let v = s - w. Does 2 divide v?
False
Let z = 20 - -15. Is z a multiple of 13?
False
Let u = 98 + -26. Does 24 divide u?
True
Suppose -4*c + 2*c + 3 = 3*b, -5*b = -2*c + 43. Let m(v) = 2*v**2 - c*v**2 - v**3 + 6*v + 3 + 0*v. Is m(-8) a multiple of 17?
False
Let u = 3 - 9. Suppose m = -1 - 3. Does 12 divide (m + 2 - u)*9?
True
Let d be (15/(-6))/(1/(-2)). Suppose 4*o = 4*t + 12, -5*t + 26 = d*o - 9. Suppose 2*n - o*n - 6 = 0, n - 58 = -3*u. Is 10 a factor of u?
True
Let g be (2/4)/(3/30). Let w = g + -3. Is w even?
True
Suppose 4*g = 2*g. Suppose g = t + f + 55, -4*t = -t - 3*f + 135. Let x = 72 + t. Is 11 a