= 0*z**2 - 2*z**2 - z**2 - 10*z + 8 + 2*z**2. Is 5 a factor of r(-10)?
False
Let h(x) = -x + 15. Let m be h(14). Does 4 divide (4/6)/(m/6)?
True
Let l = 19 + 33. Is 17 a factor of l?
False
Let o = 160 + -79. Does 27 divide o?
True
Let h(l) = l**3 + 12*l**2 - 14*l + 17. Suppose 4*c + y = -49, -c = 4*c - 5*y + 80. Is 10 a factor of h(c)?
True
Suppose 0 = 2*i + 3*o - 9, 0 = -5*i + 2*o - 0*o + 32. Suppose i = x + 1. Is (0 - 22/(-5))*x a multiple of 8?
False
Let r = -7 - -12. Let j(k) = 3 - 9*k + 1 - r. Does 10 divide j(-2)?
False
Does 38 divide 8/(-6) - 2300/(-15)?
True
Suppose 12 = 3*c, 3*o + 5*c - 17 = 2*o. Is (-1610)/(-98) - o/(-7) a multiple of 4?
True
Suppose r - 178 = -2*q, 5 = -4*r - 3. Let g = -51 + q. Is g a multiple of 14?
False
Suppose 2*c = -r, -3*r + 9 + 1 = -4*c. Let k be ((-2)/(-2))/((-1)/(-3)). Suppose -5*v - 9 = -29, k*q + r*v = 23. Is q a multiple of 2?
False
Suppose -3*i - 9 + 58 = d, 0 = -4*i - 5*d + 47. Is 3 a factor of i?
True
Let x(m) = -m**3 + 11*m**2 + 3*m - 18. Does 18 divide x(8)?
True
Suppose -4*m + 220 = -3*m. Suppose 2*r - m = -3*r. Suppose -5*f - 23 = -4*q, 0*f - r = -2*q - 4*f. Does 6 divide q?
True
Suppose d = -6 + 25. Is d a multiple of 13?
False
Let x(v) = 8*v**3 + 11*v**2 + 3*v - 3. Let d(j) = -7*j**3 - 10*j**2 - 3*j + 2. Let q(p) = -7*d(p) - 6*x(p). Does 2 divide q(-3)?
True
Let p be (5/20)/(1/20). Suppose 0 = 4*n, p*n + 69 = 3*b - 3. Is b a multiple of 7?
False
Let u(j) = 16*j - 40. Is u(6) a multiple of 8?
True
Let s = -42 - -20. Let k = 202 + s. Suppose f - 36 = 6*c - 4*c, 2*c + k = 5*f. Is f a multiple of 23?
False
Let p(i) = i**3 - 8*i**2 + i + 2. Let k be p(8). Suppose -2*t + k = g, 0*g = 4*g - 2*t - 10. Is (-18)/g*12/(-3) a multiple of 9?
True
Let b = -4 + 22. Suppose -20 = -5*t - 0*t, 2*t - b = -v. Is 10 a factor of v?
True
Let s be 3/6 - 10/(-4). Suppose -s*b - 3*y = -141, -4*b + 27 = -3*b + 5*y. Is b a multiple of 15?
False
Suppose -34 + 94 = 3*h. Does 3 divide h?
False
Suppose -s - 38 = -131. Does 9 divide s?
False
Let j(n) = 56*n**2 + 1. Let b be j(1). Suppose 0 = -2*m + 5*m - b. Is m a multiple of 13?
False
Let m(z) = 4*z - 6. Let v(k) = -5*k + 7. Let t(y) = -6*m(y) - 5*v(y). Let s be t(7). Is (-16)/(-4)*70/s a multiple of 23?
False
Is 2 a factor of 9 + (-8)/(-4) - 6/2?
True
Let z be (-27)/(-33) - (-2)/33*3. Suppose 23 = h + 4*j, 3*j - 7 = -h + 11. Let d = z + h. Does 2 divide d?
True
Let m = 16 - 8. Suppose -2*s + m = 2. Does 2 divide s?
False
Let b = -5 + 9. Suppose 2*q - 4*o + 3*o - 5 = 0, -3*q - 5 = -b*o. Is 2 a factor of q?
False
Let g(o) = -o**2 - 10*o - 1. Let f(k) = k**3 - 10*k**2 - k + 1. Let n be f(10). Is 4 a factor of g(n)?
True
Let t be 27/9*(-10)/(-6). Suppose 0 = -3*x + 12, -2*c - 10 = t*x - 38. Is 4 a factor of c?
True
Let d(v) = v**2 - 8*v - 2. Is 8 a factor of d(11)?
False
Suppose -c - k + 40 = 0, 2*c + 2*c - 163 = -k. Let o = -9 + c. Is 16 a factor of o?
True
Let j(u) = -7*u**3 - u. Let q be j(1). Let t = -5 - q. Does 3 divide t?
True
Suppose 0 = -3*z + 2*z + 31. Does 31 divide z?
True
Suppose -4*q - 5*z - 59 = 0, -2*q - 2*z - 34 = -4*z. Suppose -3*h = -25 + 112. Let i = q - h. Is 5 a factor of i?
False
Suppose 2*s - 2*b - 38 = 0, 3*s = 2*s - b + 23. Is 7 a factor of s?
True
Let a(v) = v**3 - v**2 + 2*v + 3. Does 17 divide a(3)?
False
Let c(b) = b**2 + b - 9. Let i be c(0). Let g(u) = -3 + u**2 + 6 + 7*u - 7. Is 14 a factor of g(i)?
True
Suppose b = -3*b + 76. Does 8 divide b?
False
Is (1 - 26/6)*(-2 - 10) a multiple of 20?
True
Let t(h) = -h**3 + h**2 + 11. Let v be t(0). Let b = 15 - v. Is 4 a factor of b?
True
Let a(v) = v**3 - 8*v**2 - 10*v + 11. Let j be a(9). Suppose 3*f = y - 8, -y + 19 + 9 = j*f. Is y a multiple of 10?
True
Let d(n) = 1 + 3*n - 6 - 6*n - 3. Is 16 a factor of d(-8)?
True
Suppose -3*q + 8*q + 283 = -3*p, p = -q - 55. Let w = 41 + 42. Let v = w + q. Is v a multiple of 8?
True
Let d(w) = 54*w**2 + 2*w - 1. Is d(1) a multiple of 34?
False
Let o = 13 + -12. Does 8 divide o - -6 - (7 + -10)?
False
Suppose 4 = 5*a - 16. Suppose 1 = c + a*k, -c - 3*c - 2*k = -4. Does 7 divide 17/(-3 + (5 - c))?
False
Let b(j) be the second derivative of -j**4/12 - j**3 + j**2/2 + j. Let v be b(-5). Suppose -a = -v*a + 75. Is 13 a factor of a?
False
Let a = 1 - 1. Suppose 5*w + 5*p - 5 = 0, 35 = 3*w - a*w - 5*p. Suppose -c = -w*r + 7, 24 - 61 = -5*c + r. Is 6 a factor of c?
False
Is 24 a factor of (-20)/(-8)*24*4?
True
Let i be ((-30)/(-7))/(5/35). Suppose 5*g - 29 = -b, -2*g = 2*b - 20 - i. Is 15 a factor of b?
False
Suppose -31 = -l - 5*m - 0*m, 2*m = -5*l + 178. Let d = -23 + l. Does 13 divide d?
True
Let s(r) = -r**2 - 15*r - 18. Does 6 divide s(-12)?
True
Suppose -1066 = -8*r - 298. Does 16 divide r?
True
Let h be 0 - (3 - (-1 + 259)). Suppose 4*l - h = -79. Is 11 a factor of l?
True
Let i(b) = -b**3 + 5*b**2 + 5. Let s be i(5). Suppose -4*m = m - s. Is m/(-2) + (-153)/(-6) a multiple of 14?
False
Let m = -52 - 924. Does 11 divide 2/(-11) - m/44?
True
Let l(b) = 4*b**2 - 26*b - 10. Is l(11) a multiple of 22?
False
Suppose 0 = -3*q - 3*t + 24, -40 = -4*q - 2*t. Suppose -q = 3*j - 39. Does 2 divide j?
False
Suppose 5*k - 2*n - 2 + 15 = 0, 0 = 5*k - n + 14. Let r = 0 - k. Is 2 a factor of r?
False
Let c be (-1 - 0)*0/(-3). Suppose -6*z + 4*z + 24 = 4*y, c = 4*z - 2*y - 28. Is z a multiple of 3?
False
Let a = 112 + -49. Is a a multiple of 17?
False
Let o(a) = -6*a - 7*a - a**3 - 5 - 15*a**2 + 3*a**2 + 0. Does 11 divide o(-11)?
False
Let r be -1 - 1*(1 - 13). Does 13 divide ((-26)/6)/(r/(-66))?
True
Suppose 5*z = -v + 26, -4*v - 4*z - 5 = -141. Does 3 divide v?
True
Let i(r) = -2*r - 10. Let n be i(-12). Let o = n + -1. Does 8 divide o?
False
Suppose -d - g - 148 = 0, g + 3*g + 736 = -5*d. Is ((-2)/3)/(6/d) a multiple of 14?
False
Suppose g + 2*c = 95, 501 = 5*g - 5*c + 2*c. Is g a multiple of 11?
True
Let l(z) = 11*z + 12. Is 21 a factor of l(6)?
False
Let x be 11*11 + (3 - 1). Let k be 0 + 260/(-4) + -3. Let f = k + x. Is 18 a factor of f?
False
Let k(x) = -4*x**3 - 2*x**2 - 3*x. Does 4 divide k(-2)?
False
Is 12 a factor of (-1)/(1*2/(-140))?
False
Let k = 2 - 0. Let b = -1 + k. Does 14 divide 402/15 - b/(-5)?
False
Let c(i) = i**2 - 8*i - 1. Let t be c(8). Let x(h) = -5*h + 1. Let l be x(t). Suppose -38 - l = -4*v. Does 8 divide v?
False
Suppose 3*v - 33 - 39 = 0. Is 10 a factor of v?
False
Let h(d) = -d**3 + 6*d**2 + 3*d + 6. Suppose 0 = -5*c + z + 15, -6*z + z = -2*c + 29. Suppose 24 = 6*n - c*n. Is 12 a factor of h(n)?
True
Suppose -2*k + 8 = 0, -2*l - k + 29 + 27 = 0. Is l a multiple of 26?
True
Suppose -27*a = -17*a - 120. Does 6 divide a?
True
Suppose -5*t + 7*b + 20 = 2*b, -3 = 3*b. Suppose -h - 4 = 4*r + h, 10 = -3*r + 2*h. Is 20 a factor of 40 - (3/t + r)?
False
Let v = 3 + 12. Suppose -2*d + 4*d = 0. Is (d - -2)*v/2 a multiple of 6?
False
Suppose 2*b + 18 = 4*f, -4*b + 4*f = -f + 27. Suppose -5*a - 80 = 3*a. Does 9 divide (b + 2 - a) + 0?
True
Is (-6)/(-27) - (-9060)/54 a multiple of 34?
False
Let q = 40 - -40. Does 20 divide q?
True
Let m(o) = -13*o + 7. Suppose -4*z + 21 = -3*q, -z + 30 = -5*q - 5. Let t be m(q). Let g = t + -53. Does 18 divide g?
False
Let x be 1 - -4 - (-2)/(-2). Suppose -4*b - 5*l + 6 = -0*b, 4*l + 28 = 5*b. Suppose 5*d - 96 = x*n, d - 4*n + 64 = b*d. Is d a multiple of 10?
True
Let w(u) = -u**2 + 4*u + 3. Let q be (-45)/(-12) + (-1)/(-4). Let f be w(q). Suppose -f*h - 2*h + 180 = 0. Is h a multiple of 12?
True
Suppose 7*r - 779 = -30. Is 22 a factor of r?
False
Let u(a) = 8*a**2 + 3*a. Let y be u(-2). Suppose 3*b = b - 5*d + y, -2*d - 20 = -3*b. Does 3 divide b?
False
Suppose -4*m = -3*i + 128, 5*m - m = 2*i - 88. Is i a multiple of 19?
False
Suppose 3*i = -0*i - 63. Let a be (-6)/i - (-194)/7. Suppose -5*m = -a - 22. Does 7 divide m?
False
Suppose -4*p + i + 72 = 0, -4*i + 0*i = 16. Suppose -p = -o - 5. Is 10 a factor of o?
False
Is 7 a factor of (-4)/4 + 0 + 27?
False
Let l(r) = 27*r - 4. Does 10 divide l(2)?
True
Suppose 5*y = 4*y + 57. Suppose -y + 237 = 5*r. Is r a multiple of 18?
True
Does 12 divide ((-198)/(-55))/(3/10*1)?
True
Let s(r) = 4*r**2 - 8*r + 1. Let n(j) = -5*j**2 + 9*j - 1. Let x(b) = 6*n(b) + 7*s(b). Let d be x(1). Does 7 divide 6/5*(-50)/d?
False
Suppose -3*l - h + 99 = 0, -h = -0*h. Is 4 a factor of l?
False
Let g = 4 +