 -0*z + w*z. Is 7 a factor of z?
False
Suppose z = 6*z. Suppose z = 6*u - 2*u - 92. Suppose u + 1 = g. Is g a multiple of 12?
True
Let g(i) = i + 1. Let p be g(-1). Suppose p = -a + 44 - 14. Is a a multiple of 10?
True
Let p = 33 - 0. Suppose 47 = 4*q - p. Is q a multiple of 10?
True
Suppose 0 = 4*w + 114 - 858. Is 41 a factor of w?
False
Suppose -3*x + 6 = -h, 18 = 3*h + 4*x - x. Suppose -4*g = -h*t - 10, 5*g = t + 4*t + 15. Does 7 divide 4*4 + (-2)/g?
True
Does 24 divide 290/4 - (-4)/(-8)?
True
Suppose 2*f + 7 = o - 8, 5*o - 2*f = 43. Let n = 15 - o. Is 4 a factor of n?
True
Let l(z) = 4*z - 2*z - z + 17. Is 7 a factor of l(0)?
False
Suppose -8*v - 12 = -10*v. Suppose -2*c = 4*s - 270, -s = -v*s + 5*c + 315. Is 18 a factor of s?
False
Let x(s) = 14*s**3 - 2*s + 1. Let n be x(1). Let o = n + 5. Does 9 divide o?
True
Let q(y) = 4*y - 28. Does 4 divide q(9)?
True
Suppose 68 = 2*m + 2*h, -m - 3*h + 29 = -h. Is 13 a factor of m?
True
Suppose -31 = -2*c - 3*d + 8*d, -5*c = 3*d - 31. Suppose y + c = x, -2*x = -y - 5 - 1. Is 2 a factor of 34/9 + y/(-45)?
True
Let z(g) be the third derivative of g**4/2 + g**3 + g**2. Let l be z(6). Suppose -4*p + l = -p. Is p a multiple of 17?
False
Let i be (-3 - -2) + 8*5. Let j = -17 + i. Is 11 a factor of j?
True
Let l = -48 - -64. Is 8 a factor of l?
True
Suppose -3*p - u = -66, p - 5*u = 17 + 5. Does 22 divide p?
True
Let u(z) be the third derivative of -z**5/60 - z**4/4 + 5*z**3/6 - z**2. Does 13 divide u(-4)?
True
Let u be (0*(-3)/(-6))/(-1). Suppose -2*x - 26 = -4*v, u*v + v - 5*x = -16. Is v a multiple of 7?
False
Let m(f) = -2*f**3 - 5*f**2 + 7*f + 1. Is 13 a factor of m(-5)?
True
Let i = 41 - 14. Does 9 divide i?
True
Let y = 18 - 30. Is (-54)/(y/8*1) a multiple of 9?
True
Let s be 7/21 + 10/(-3). Let u = s + 16. Is 10 a factor of u?
False
Let h(x) = -3*x**2 + 8*x + 7. Let l(w) = 13*w**2 - 33*w - 27. Let y(t) = -9*h(t) - 2*l(t). Let f be y(8). Let k = 22 - f. Is 15 a factor of k?
True
Let u be (-15)/10*8/6. Does 4 divide 0 - 26/u - 1?
True
Let s(l) = 27*l**2 - 2*l + 1. Let d be s(-3). Does 25 divide d/(-5)*1/(-2)?
True
Let x(y) = -1 - 4*y + 0 + 8 + 2*y**3 + 6*y**2 - 3*y**3. Is x(5) a multiple of 12?
True
Let r(n) = 2*n - 2. Let z be r(3). Let s be z/(-4)*(-12)/2. Let x(u) = u**2 - 3*u + 3. Is 13 a factor of x(s)?
False
Suppose -4*z = -z. Suppose z = -w - 4*g + 25, -2*g = -2*w - 16 + 76. Suppose 5*h + 0*i - 13 = -3*i, -i = -5*h + w. Is h even?
False
Let w = 253 - 51. Is w a multiple of 14?
False
Let v(y) = 1 - y**3 + y + 0*y**3 - 9 - 6*y**2. Is v(-7) a multiple of 13?
False
Let x = -8 + 17. Does 3 divide x?
True
Let a = 165 + -117. Suppose 3*k + 2*b + a = 6*k, -k + 16 = -b. Does 16 divide k?
True
Suppose -28*y = -32*y + 140. Does 29 divide y?
False
Let l(i) = -26*i - 3. Let y be l(-2). Suppose 4*v - y = 2*v + 5*q, -2*q + 134 = 4*v. Is v a multiple of 17?
False
Let r(n) = -n**3 - n**2 + 2*n + 2. Let s be r(-2). Suppose -4*w = -s*w - 6. Is 13 a factor of ((-1)/w)/((-1)/39)?
True
Suppose -4*a + 820 = a. Let p = -30 + a. Does 35 divide p?
False
Let v(w) = -2*w**3 + 2*w**2 + w + 2. Let t be v(-2). Suppose -7 = -5*o + 3*y + 7, 0 = -4*o - 4*y + t. Suppose 23 = g - 3*s, -g = o*s + 11 + 1. Does 8 divide g?
True
Let d be -1*-2*6/4. Suppose 2*v = -4*m + 145 - 43, 63 = d*m - 3*v. Does 12 divide m?
True
Let m(p) = -14*p**3 + 2*p**2 + 3*p + 2. Let a be m(-2). Suppose -2*d = 2*d - a. Let z = d - 21. Does 3 divide z?
False
Suppose 4*i = -4, -v = v + 2*i - 30. Is 16 a factor of v?
True
Suppose -2*g - 57 = 37. Let u = -20 - g. Is 10 a factor of u?
False
Let j = 35 + -25. Suppose 5*o + 0*o + j = 0. Is 8 a factor of 4/8 - 33/o?
False
Let f be -1*(1 + 1) - -65. Suppose -4*t = -5*h + 75, 4*h - 2*h - f = -5*t. Does 16 divide h?
False
Suppose 5*c - 30 = 2*u, 2*u = 3*c - 1 - 21. Let h(a) = -a**2 + 2. Let f be h(0). Let y = f + c. Does 4 divide y?
False
Suppose 5*m - 4 = 2*j, -j - 10 = 4*j - 5*m. Is ((-1)/2)/(j/120) a multiple of 15?
True
Suppose -w + 0*w = -208. Is 26 a factor of w?
True
Let q(n) = 11*n**3 - n**2 + n - 1. Is q(1) a multiple of 3?
False
Let h be 1 - (2 + 1) - -3. Let l be 1 - (h + -48 + -1). Suppose 33 = 3*k + 3*t, -3*t = k + 3*k - l. Is 10 a factor of k?
False
Let r = -1 - -4. Suppose r*c - c = 4*z + 28, 5*c = 5*z + 95. Is 12 a factor of c?
True
Let c be 1*((-1)/1 - -5). Let s(o) = o + 2. Is 3 a factor of s(c)?
True
Does 5 divide (-8 + 7)/((-2)/22)?
False
Let g(d) = 3 + 0*d - d**2 - d - 13*d. Does 23 divide g(-10)?
False
Let o = 73 - 43. Suppose 0 = 4*h - 18 - o. Is h a multiple of 12?
True
Let u be (-1)/(10/4 + -3). Let d be 7/u - (-2)/(-4). Is 6 a factor of d - (-2 + 7) - -12?
False
Suppose -2*x - r = -x - 10, 3*x - 29 = -2*r. Is x a multiple of 9?
True
Suppose 0 = -3*p - 3*c + 204, 4*p - 2*c = 193 + 97. Let t = p + -45. Is 13 a factor of t?
True
Let k(r) = -r**3 - 9*r**2 - 10*r - 12. Let v be k(-8). Suppose -v*j = l - 263 - 114, -392 = -4*j + 4*l. Suppose 2*c - 33 = j. Does 22 divide c?
False
Suppose 2*p = -2*u + 176, 2*u = 2*p + 2*p - 376. Is p a multiple of 23?
True
Is ((-8)/6)/4*-12 a multiple of 2?
True
Suppose -t = -5*t - 4*n + 120, -2*t + 69 = 5*n. Suppose 0 = 3*m - 5*u - t, -5*m + 45 = -3*u + 7*u. Does 6 divide m?
False
Suppose -2*o = 3*f, -5*o + 5 = 4*f - 2. Is 226/5 - f/(-10) a multiple of 9?
True
Let w(t) = -t**3 + 5*t**2 + 4. Let b be w(5). Does 18 divide ((-81)/(-6))/(b/16)?
True
Let u(m) = 7*m - 20 + 0*m + 22. Let r be u(-2). Is -1*(1 + -1 + r) a multiple of 12?
True
Let g(f) = f - 1. Let w be g(1). Let i(s) = -s + 32. Let h be i(w). Suppose m = -m + h. Is m a multiple of 8?
True
Let l be 4/16 - 23/(-4). Does 4 divide 2 - (-1)/(1/l)?
True
Let t = -4 + 6. Suppose -7*i - 62 = -202. Is 6 a factor of (t/3)/(i/630)?
False
Let w(k) = 11*k**2 - 2*k - 1. Let h be w(-1). Suppose -4*r = -h, 0 = -5*i + r - 2*r + 163. Does 16 divide i?
True
Let z(m) = 9*m**2 - 14*m - 20 + 3*m**3 - 2*m**3 + 6. Is 13 a factor of z(-10)?
True
Let d(p) = 2*p**2 + 4*p + 5. Let r be d(-4). Suppose -4 = -x + r. Is 18 a factor of ((-120)/x)/(2/(-15))?
True
Is 6 a factor of -2 + (-7)/28 + 402/8?
True
Suppose k + 5*c - 150 = 0, -c = 3*k - 0*c - 478. Does 19 divide k?
False
Let b be ((-6)/8)/(6/(-24)). Suppose 4*p + 3 = 7. Suppose -b*t = -29 - p. Is 4 a factor of t?
False
Let c be 3/(-2) + (-34)/(-4). Suppose 4*h + c = 3*n - 4, -1 = -n + 2*h. Does 3 divide n?
True
Let q = -168 - -166. Let g(d) = d**3 + 4*d**2 - 3*d + 7. Let h be g(-5). Does 11 divide (33 + -9)/(q/h)?
False
Suppose 0 = -u - 5*u + 108. Does 3 divide u?
True
Suppose -432 = -5*c - 3*h, 3*c - 232 = 5*h - 0*h. Suppose 0 = -3*v - v + c. Is v a multiple of 10?
False
Let j(n) be the third derivative of n**6/120 - 3*n**5/20 - 5*n**4/12 + n**3/2 + n**2. Suppose 2*d + 2 = 22. Is 2 a factor of j(d)?
False
Let n(f) = 9*f + 3. Let w(s) = -s**3 + 6*s**2 + 7*s + 5. Let x be w(7). Suppose -x*h - 2*r = r - 33, 4*h - 28 = -4*r. Is 20 a factor of n(h)?
False
Suppose -5*d - 15 + 0 = 0. Let f(k) = 4*k + 1. Let i(r) = -19*r - 5. Let g(j) = -11*f(j) - 2*i(j). Is g(d) a multiple of 6?
False
Let y = 31 + 2. Suppose -x - 4*h - 5 = -y, 0 = x - 4*h + 4. Does 4 divide x?
True
Let h(s) = -s**2 - 2*s + 4. Let l be h(-3). Suppose -z + l + 14 = p, 5*p - 69 = -3*z. Is 7 a factor of p?
False
Let a(m) = -m**3 - 4*m**2 - m + 2. Let x be 1 + 2 + 14/(-2). Let b be a(x). Suppose -k = -2*k + b. Does 3 divide k?
True
Let g = 16 - 9. Let s(d) = 15*d - 3. Let y be s(3). Suppose 50 = 4*w - 5*q, q + y = g*w - 3*w. Does 10 divide w?
True
Let i(a) = -8*a - 12. Does 6 divide i(-3)?
True
Let s(i) = -2*i**2 - 36*i - 51. Is s(-16) a multiple of 2?
False
Suppose -5*u - 175 = -5*d, -3*d + 2*u + 97 = -3*u. Is 13 a factor of d?
True
Let k(l) = 4*l + 2. Is k(9) a multiple of 8?
False
Suppose 12 = -3*i + 7*i. Is i even?
False
Let j = 70 + -106. Let r be j/((-14)/(-20) + -1). Suppose 0 = -6*n + 2*n + r. Is 15 a factor of n?
True
Suppose -5*c + 2 = -3. Does 3 divide (0 + c)/1 - -3?
False
Let d = -70 - -47. Let y = -7 - d. Does 8 divide y?
True
Let v(j) = 5*j**3 - 4*j**2 + 6*j - 11. Let r(w) = 4*w**3 - 4*w**2 + 5*w - 10. Let y(b) = -6*r(b) + 5*v(b). Is y(-4) a multiple of 2?
False
Suppose 0*q = 3*q - 267. Is q a multiple of 25?
False
Suppose -2*p = -p. Let r(m) = -m**2 + 12. Does 6 divide r(p)?
True
Let d = 9 + 26. Is d a multi