5 divide f(0)?
False
Let p = 162 - 91. Is 25 a factor of p?
False
Let r(k) = k + 3*k + k**2 - 5*k**2 + k**3. Let o be r(3). Suppose -4*t + o*z + 32 = 0, -2*z - 3*z - 16 = -2*t. Is t a multiple of 8?
True
Let u(i) = -5*i - i**3 - 4 - 4*i**2 + 3 + 0. Is u(-5) a multiple of 13?
False
Let l(m) be the second derivative of -m**3/6 - 3*m. Let i be l(6). Let c(q) = -q + 7. Does 11 divide c(i)?
False
Suppose 5*b - 4*f = 130, -3*b - 2*f = 3*f - 78. Is b a multiple of 13?
True
Let l = 2 + 8. Suppose -l = d + 25. Is (-282)/(-7) + 10/d a multiple of 20?
True
Let s(m) = 3*m + 34. Is s(15) a multiple of 12?
False
Let b = 160 + -96. Does 16 divide b?
True
Let r(v) = -2*v - 4. Let a be r(-3). Let h(k) = -3*k + 14*k**a - 17*k**2 + 2*k**3 + 0*k**3. Is 8 a factor of h(3)?
False
Let q(l) = l. Let v be (-65)/(-13) - (-2 + 0). Is 7 a factor of q(v)?
True
Suppose 9*z - 10*z = -21. Suppose 0 = 10*j - 7*j - z. Is j a multiple of 2?
False
Suppose -3*j - 3*x = -162, 0 = -5*j + 4*x + 120 + 132. Is (j/(-16))/((-2)/16) a multiple of 7?
False
Let d be ((-4)/(-6))/((-1)/3). Let g = d + 2. Suppose 2*s = 8, 2*s + g + 17 = 5*r. Is 5 a factor of r?
True
Suppose w - 33 = 37. Does 11 divide w?
False
Let b = -2 + 0. Is 15 a factor of b/4*2 - -68?
False
Let d(q) = -19*q. Suppose -4*a = 2*i + 14, 3*a - i = 1 + 1. Does 19 divide d(a)?
True
Let z(m) = -m**3 + 3*m**2 - 2*m + 2. Let r be z(2). Suppose 5*p - r*d - 221 = 0, 12 = -0*d - 4*d. Is 15 a factor of p?
False
Suppose 2*q - 12 = -2*q. Suppose q*i + 0*i = 63. Does 7 divide i?
True
Suppose 251 = 5*h - q - 74, -q + 195 = 3*h. Does 13 divide h?
True
Let s = -21 + 16. Let k = s + 10. Is k a multiple of 2?
False
Suppose -5*p + 133 + 842 = 0. Suppose 0 = -5*l - z + p, -5*l + 282 - 87 = -z. Is 13 a factor of l?
True
Is (-25)/(-2)*(-2)/(-1)*2 a multiple of 7?
False
Let m = 43 + -31. Let c = m - -1. Is 13 a factor of c?
True
Suppose 0 = -3*p + 5 + 13. Let z(m) = m**2 - 4*m + 9. Let t be z(p). Let j = t + -9. Is j a multiple of 8?
False
Suppose 5*j = -2*g + 15, j + 16 - 42 = -5*g. Let y(p) = -p**3 + 5*p**2 + 5*p + 1. Let i be y(g). Let s = i + 0. Is s a multiple of 13?
True
Let r(o) = -o - 2. Suppose 0 = -w - 0 + 2. Let t = -10 + w. Is 3 a factor of r(t)?
True
Let f = -132 + 256. Is f a multiple of 31?
True
Suppose -3*l + u + 126 = 4*u, -4*u = 12. Is 15 a factor of l?
True
Suppose g + 29 = 4*w + 4*g, 0 = -2*g - 2. Suppose -a - 4*a - 38 = -3*j, w = j - 4*a. Is 8 a factor of j?
True
Let u(f) = -3*f + 1. Let j be u(-1). Suppose -37 - 61 = -5*l + 4*x, 76 = j*l - 2*x. Is l a multiple of 9?
True
Suppose -4 + 6 = -4*r - c, 2*r - 8 = -5*c. Let l(u) = -27*u - 8*u + 1 - 6*u. Is l(r) a multiple of 14?
True
Let r = 11 + -10. Is 2 a factor of (r + 1)*1 + 0?
True
Is 3 - (-24 + (3/(-1) - -1)) a multiple of 9?
False
Suppose -o - 3*r + 25 + 19 = 0, -3*r + 196 = 5*o. Is 9 a factor of o?
False
Suppose 3*v - 108 - 15 = 0. Let x = 71 - v. Is x a multiple of 12?
False
Suppose -2*k + 32 = -2*z, -4*k + k = z - 36. Suppose 15 + 18 = -5*f + d, 0 = 2*f + 4*d. Let r = f + k. Is r a multiple of 7?
True
Let r(x) = x**3 - 5*x**2 - 5*x - 3. Let c = 12 + -6. Let j be r(c). Suppose 5*o + 3*k = 87, -k + 19 = j*o - 34. Is o a multiple of 18?
True
Suppose -u + 25 + 5 = 0. Let p = u + -4. Is p a multiple of 13?
True
Suppose -3*j + 8 + 1 = 3*a, 4*j = 0. Let l be 3 + -2*a/6. Suppose -4*m = -0*r + 2*r - 48, l*r - 52 = -3*m. Does 15 divide r?
False
Let m be 30/20*6*33. Suppose 0*s = -3*s + m. Does 26 divide s?
False
Let c(l) = l - 1. Let n be (72/5)/((-18)/(-60)). Let d(z) = -18*z + 16. Let f(m) = n*c(m) + 3*d(m). Is 19 a factor of f(-5)?
False
Let w(t) = 15*t - 5. Is 5 a factor of w(4)?
True
Suppose 0 = a + u + 2, -4*u - 6 = a + 8. Let l = 18 - a. Is 16 a factor of l?
True
Let z = -2 + 7. Let h = -9 + 30. Let w = h + z. Is w a multiple of 13?
True
Let b(w) = w + 1. Let k(l) = -l**2 - 15*l - 11. Let r(d) = 3*b(d) + k(d). Let p be r(-6). Suppose 0*m + 5*a = m - p, -20 = -2*m - 2*a. Is m a multiple of 7?
False
Let x = 44 - 6. Does 19 divide 0/(1 + -2) + x?
True
Does 2 divide (-4)/18 - 415/(-45)?
False
Let d be (2/(4/34))/1. Let k = d - 6. Does 9 divide k/1 - (-2 + 0)?
False
Let w = -12 + 6. Let j be w/(-24) - 1/4. Suppose j = 2*i + i - 48. Is i a multiple of 13?
False
Suppose 4*y - 11 = 21. Suppose m + y = -5*v - m, 0 = 4*v - 3*m - 12. Suppose -4*i + u = -v*u - 59, -5*u = 5*i - 105. Is 8 a factor of i?
True
Suppose 0 = 13*s - 19*s + 240. Does 4 divide s?
True
Let x(p) = p**2 + 4*p + 6. Is x(-8) a multiple of 14?
False
Let k be ((-4)/6)/((-2)/15). Let n be -3 + 6 - (0 + -1). Suppose -3*q + 0*q + 32 = n*p, -2*p = k*q - 30. Is q a multiple of 2?
True
Suppose 0*t = 3*t. Let n(v) = v**2 - v + 58. Is 21 a factor of n(t)?
False
Is 19 a factor of (11/22)/((-2)/(-304))?
True
Let g(q) = -4*q - 38. Does 18 divide g(-14)?
True
Suppose 0 = 5*m - 668 - 382. Suppose 5*r + 0*r - m = 0. Does 8 divide r?
False
Let a = 11 - 3. Let s be (-1 - 2/(-3))*-9. Suppose 13 + a = s*t. Does 7 divide t?
True
Is (0 - -3 - 0)/((-3)/(-105)) a multiple of 15?
True
Let v = 20 - 4. Let s = v + 0. Is 16 a factor of s?
True
Let r be 2/(8/44)*5. Suppose 6*l = l + r. Is 5 a factor of l?
False
Is (-117)/(-2) + 9/6 - 2 a multiple of 29?
True
Let r = 8 + -18. Is 1790/25 + (-4)/r a multiple of 14?
False
Let j(y) = y**2 + 2*y + 1. Let c be ((-3)/6 - -1)*-2. Let u be j(c). Suppose u*n = -2*n + 52. Does 13 divide n?
True
Let g = 184 + -354. Is 14 a factor of g/(-4) + (-6)/12?
True
Does 31 divide (0 + (-1 - 0))*-161?
False
Let t be -423*((-6)/(-9) - 1). Let z = t + -101. Is 20 a factor of z?
True
Let h(g) = -50*g + 2. Does 26 divide h(-1)?
True
Suppose q - 36 = 4*t, 2*t - 20 - 10 = -q. Is 14 a factor of q?
False
Let g = 9 + -9. Suppose -33 = -3*p + 5*v, 4*v + 12 = -g. Does 4 divide p?
False
Let q = 0 - -212. Let t = 147 - 141. Suppose q = -2*f + t*f. Does 15 divide f?
False
Suppose q + 2*o = 3*q - 116, -4*o - 58 = -q. Is 10 a factor of q?
False
Is 10 a factor of ((-6)/(-9))/((-5)/((-555)/2))?
False
Let o = 44 - 37. Is o a multiple of 7?
True
Does 14 divide (12/2)/2 + 73?
False
Suppose -2475 = -2*i - 7*i. Does 46 divide i?
False
Let t(l) = -36*l - 2. Suppose 0 = m - 2*m - 2. Let w be t(m). Is (-2)/(5/(w/(-4))) a multiple of 7?
True
Let m = 6 - -54. Does 15 divide m?
True
Suppose -8*c + 452 = -108. Does 26 divide c?
False
Suppose k - 3*f - 122 = -0*k, -3*k - 4*f + 431 = 0. Suppose 5*s = 13 + k. Is s a multiple of 13?
False
Suppose 2*y + 75 = -q, -3*y + 59 + 381 = -5*q. Is ((-56)/35)/(2/q) a multiple of 22?
False
Suppose -y = -29 - 6. Does 14 divide 30/15*(-1 + y)?
False
Suppose -4*r = -8, 2*c = 3*r - 0*r. Suppose -c = a, -5*u - 4*a = -3*a - 187. Is u a multiple of 19?
True
Let z be 12/8*28/6. Let l(m) = m**2 - 6*m. Let t be l(z). Let y(f) = f**2 - 3*f + 4. Is y(t) a multiple of 16?
True
Suppose -2*d + 4 = 3*w - 8, w + 3*d - 4 = 0. Suppose -w*o = -2*g - 230, 2*o - o + 3*g - 54 = 0. Is o a multiple of 19?
True
Is (-395)/(-35) + 2/(-7) a multiple of 11?
True
Suppose -5*b = -12*b + 497. Is b a multiple of 11?
False
Let t(v) = -17*v**2 - 7. Let a(q) = 11*q**2 + 5. Let f(u) = 8*a(u) + 5*t(u). Is 25 a factor of f(4)?
False
Suppose 5 = 3*d - 4*t, -3*d - 2*t = -2*d + 5. Let l = 1 - d. Suppose 2*c - 2*a + a = 62, 0 = l*c - 3*a - 70. Does 13 divide c?
False
Suppose w + 0 = -15. Let o(n) = n**2 + 13*n + 3. Does 9 divide o(w)?
False
Let o = 43 + -25. Does 6 divide o?
True
Let d(l) = 2*l**2 - 2*l - 5. Let n be d(5). Let p = 59 - n. Suppose p = 2*c - 6. Does 15 divide c?
True
Suppose -y + 3*o + 17 = 0, 2*o + 16 = 2*y + 5*o. Is 2 a factor of y?
False
Let w(b) be the first derivative of 1/3*b**3 + 7*b - 1 + 3*b**2. Is w(-6) a multiple of 6?
False
Suppose 4*y = 4*t - 158 - 274, -y = 4*t - 422. Does 21 divide t?
False
Let i(y) = -2*y - 4. Let j be i(-6). Let l be 172/j*(1 - -1). Let f = -21 + l. Does 11 divide f?
True
Suppose 0 = -0*b + 5*b + 60. Does 5 divide (9/(-6))/(2/b)?
False
Let r(p) = 4*p + 0*p - p + 3*p. Is 15 a factor of r(5)?
True
Suppose 5*p + 30 = 5*h, 5*h - 3*p - 16 = -5*p. Suppose -h*y - y = -40. Is 6 a factor of y?
False
Is (24/(-40))/(1/(-35)) a multiple of 21?
True
Suppose 3*k + 2*k = -100. Let w be 2/5 + (-32)/k. Suppose -w*d + 20 = -0*d. Is d a multiple of 6?
False
Let b be ((-1)/(-1))/(1/(-4)). Let w be b/(-6) - 111/(-9). Suppose 