 1 + 33 + 14/7?
True
Let m(s) = -s**3 + 2*s**3 - s + 2*s - 3*s**2. Let y = -12 - -16. Is m(y) a multiple of 8?
False
Let r be 12/(-42) - 229/7. Let p = 58 + r. Is p a multiple of 13?
False
Let j(r) = -4*r**3 + 3*r**3 + 4*r**2 - 2*r - 3*r + 2*r. Let q be j(3). Suppose 3*a - 18 - 27 = q. Is 4 a factor of a?
False
Suppose 0 = -4*q - 2*y + 9 + 1, 4*q - 13 = -5*y. Suppose q*p - 3*w = w - 2, -p = -3*w + 4. Suppose -32 = -4*g + 5*h + 9, g - 14 = p*h. Is g a multiple of 9?
True
Let u(j) = 4*j - 1. Is 3 a factor of u(2)?
False
Suppose 0 = 15*w - 11*w - 80. Is 5 a factor of w?
True
Let w(b) = b - 1. Let h be w(5). Suppose 4*n - 24 = -h. Let q = n + 11. Is 7 a factor of q?
False
Suppose c = 2*c - 2*w - 12, -2*c + 5*w + 20 = 0. Suppose -c = -2*v + 3*f - 0*f, 5*v + f - 33 = 0. Is v a multiple of 7?
True
Let v(q) = -q**2 + q + 3. Let a be 15/(-12) - (-1)/4. Let f = a - -1. Is 2 a factor of v(f)?
False
Let f(u) = -u**2 + 15*u - 17. Let g(d) = -d**2 + 14*d - 16. Let y be (-58)/10 + 1/(-5). Let j(h) = y*g(h) + 5*f(h). Is j(8) a multiple of 3?
True
Suppose 4*d + 5 - 12 = i, -4*d - 5*i = -37. Let g be 1/d + 250/15. Suppose -q = -11 - g. Is q a multiple of 14?
True
Let k be 3/(15/(-12) - -2). Suppose -z - 36 = -k*z. Suppose -m + 5*n + 41 = m, -4*n = -z. Is 15 a factor of m?
False
Suppose -k + 8 = -0*k. Let p(z) = z**2 - 7*z + 2. Let d be p(k). Is (-4)/d + 74/10 a multiple of 5?
False
Let n(x) = 2*x - 2. Let l(s) = -s**2 - 6*s - 1. Let z be l(-5). Does 3 divide n(z)?
True
Let d(i) = -i**2 + 6*i. Let w be d(6). Suppose w = j + 2*j. Suppose 3*o = -3*f + 15, j*o = f - 4*o. Is 2 a factor of f?
True
Let n(y) be the second derivative of y**8/672 - y**6/720 - y**4/12 + y. Let c(r) be the third derivative of n(r). Does 9 divide c(1)?
True
Let u(a) = 16*a - 27. Let m(y) = 5*y - 9. Let n(q) = 7*m(q) - 2*u(q). Is n(8) a multiple of 12?
False
Suppose 2*q - 5*q + 6 = 0. Suppose 3*a - 422 = 4*s, -q*a + 0*s = -4*s - 284. Does 35 divide a?
False
Suppose 4*u = 3*z - 248, -330 = -3*z - z + 5*u. Does 4 divide z?
True
Suppose -3*i + 2 = -4. Suppose w - 14 = -f - 1, w = -i*f + 11. Does 15 divide w?
True
Let j(q) = q**3 + 11*q**2 + 17*q - 12. Let n be j(-12). Does 12 divide ((-1)/2)/(3/n)?
True
Is 4/(-18) + (-1700)/(-36) a multiple of 11?
False
Suppose 5*n + 47 = 122. Let l = n - 4. Is 7 a factor of l?
False
Suppose 14 = -g + 4*s, -2*g - s = -0*g - 17. Suppose g*q - 11 = -b + 5*q, -35 = -3*b - 4*q. Is 6 a factor of b?
False
Suppose 2*u + 0*u = -348. Let w be u/(-3) - 0/(-1). Suppose -w = -3*g + g. Is g a multiple of 11?
False
Suppose 3*d - 3*o - 3 = 0, -13 = d - 6*d - 3*o. Suppose 29 = -d*b + 91. Let j = -19 + b. Does 12 divide j?
True
Suppose 4*j - 70 = 86. Is 18 a factor of j?
False
Let i(t) = -t**3 + 4*t**2 + 3*t + 2. Let l be i(5). Let z be l/12 - (-4)/6. Suppose 0*o = 3*o - 5*n - 48, 3*n = z. Does 12 divide o?
False
Let r(j) = 9*j**2 - 1. Let l(k) = 3*k + 2. Let z be l(-1). Is r(z) a multiple of 3?
False
Let o be (-1 - 2)/(6/(-4)). Suppose -2*w = 3*v - 4*v - 172, -284 = -3*w - 5*v. Is w/6 - o/3 a multiple of 14?
True
Let h = 5 - 1. Suppose 29 = z + 2*b, z - 68 = -3*z + h*b. Suppose -39 = -2*n + z. Does 15 divide n?
True
Suppose 4*s = -0*s + 60. Does 5 divide s?
True
Let g = 15 + 0. Suppose 55 = -3*t - 2*v, 2*v + 40 = 3*t - 5*t. Is (-5)/(g/4)*t a multiple of 20?
True
Let g(t) = -9*t - 2. Let l be g(-8). Let q = 10 + l. Does 20 divide q?
True
Let m = -4 - -4. Let q be -2 - (-1 + (-1 - m)). Suppose 0 = -4*g + a + a + 50, q = -5*a - 25. Does 10 divide g?
True
Let f(g) be the first derivative of g**3/3 - 7*g**2/2 + 7*g - 3. Let k = 14 - 7. Is f(k) a multiple of 7?
True
Is 2*5*(-10)/(-4) a multiple of 8?
False
Let y = -7 + 10. Suppose 0 = -w - 4*w - y*m + 310, 0 = -w + 2*m + 49. Suppose -41 - w = -2*g. Does 17 divide g?
False
Suppose 2*z + 0*z = 48. Is z/3*(5 - -2) a multiple of 18?
False
Suppose h + 2*n + 83 = 6*h, 0 = -h + 2*n + 15. Does 9 divide h?
False
Is ((-6)/(-9))/((-4)/(-138)) a multiple of 3?
False
Let d(a) = -a**2 - 3*a + 3. Let i be d(2). Let b be 1*-1*2*i. Let p = b + 10. Is p a multiple of 12?
True
Let s = 30 - -16. Is s a multiple of 23?
True
Suppose 3*s = y + 9, -4 + 1 = -s + 3*y. Let h be 23 + s/6*0. Suppose -2*u + h = 1. Is u a multiple of 11?
True
Let f be (0 - -1)/(2/(-8)). Let s(g) = -2 - 2*g**2 + 3*g + 5*g**2 - 2*g**2 + g**2. Does 16 divide s(f)?
False
Let f(w) = 3*w**2 - 12*w + 6. Does 47 divide f(-9)?
False
Let g = -12 + 38. Does 5 divide g?
False
Suppose 5*u - 9 = 11. Suppose 0 = -5*w + 3*f + 17, -f = -u*w - 0 + 8. Let t = w + 2. Is t a multiple of 3?
True
Let i(w) = w**3 + 10*w**2 - 3*w - 13. Let c = -16 - -33. Let t = 7 - c. Is i(t) a multiple of 7?
False
Let o(p) = p - 5. Let f be o(7). Suppose f*c + c = -4*i + 74, 0 = -3*c - 5*i + 79. Is (-256)/(-18) - 4/c a multiple of 7?
True
Suppose z = -2*z. Suppose 3*m - 2 - 13 = z. Suppose 4*i - 41 = -3*x, 29 = 4*i + m*x - 18. Is 8 a factor of i?
True
Is (86/(-6))/((-15)/45) a multiple of 9?
False
Let g(d) = 6*d - 9. Is g(6) a multiple of 14?
False
Suppose -3*s + 12 = 0, 0 = 2*v - 4*s + 21 + 3. Let r = 7 + v. Does 15 divide -2 - (-3*47)/r?
True
Suppose -v - 24 = -4*v. Suppose 3*u - v*u + 75 = 0. Suppose -u = -5*d, n + 4*d = -3*n + 32. Is 2 a factor of n?
False
Is 2 a factor of ((-2)/1)/((-18)/81)?
False
Let b(l) = -l**3 - 3*l**2 - l - 17. Is b(-6) a multiple of 34?
False
Let w(u) = -2 - 2*u - 2 + 0. Let f be w(-3). Suppose -6 = -d - f*d. Is d even?
True
Is 13 a factor of 54 + 2*(-2)/4?
False
Suppose 4*a + 3*n - 27 = 0, 3*n = -3*a + 4*a - 3. Suppose 9*d - a*d - 6 = 0. Suppose -158 = -5*r - d*g, g - 5*g + 156 = 5*r. Does 9 divide r?
False
Let w = -2 - 1. Does 16 divide w/(3/2) + 32?
False
Let q = -8 - -8. Is 7 a factor of (-49 - -3)/(-2 - q)?
False
Let d = 170 + -74. Does 16 divide d?
True
Suppose g + 7 = -4. Let f = g - -28. Is f a multiple of 6?
False
Suppose 5*v - d + 97 = 3*d, -4*v = -5*d + 74. Let z = v + 71. Is 9 a factor of z?
False
Let u be (6/(-10))/(1/(-5)). Let n(k) = -4 - 4*k - k**3 - 7*k**2 + k**2 + u*k**2. Is 8 a factor of n(-4)?
False
Let h(o) = -3*o - 4. Let l(v) = v - 1. Suppose 0 = k - 3*x - x - 11, 4 = -4*k + 4*x. Let b be l(k). Is h(b) a multiple of 6?
False
Let a be (12/(-9))/(8/36). Let f = -23 - -6. Let i = a - f. Is 7 a factor of i?
False
Let y be (-2 + 2)/(1 + 1). Let b(l) = l**2 + 1 - 3*l**2 + y*l**2 + 3*l**3 - 4*l**3 + l. Is b(-3) a multiple of 7?
True
Let f(n) = n**3 + 4*n**2 - n + 8. Is 4 a factor of f(-4)?
True
Let w be 662/(-18) + 10/(-45). Let k = -21 - w. Does 8 divide k?
True
Let i(a) = -a + 4. Let n be i(-8). Suppose 8 = 4*f - n. Let c = 10 - f. Does 5 divide c?
True
Suppose f = -0 + 8. Does 4 divide f?
True
Suppose 2*l - 137 - 1 = 0. Does 4 divide l?
False
Suppose -260 = -3*k - 5*q, 4*k - 5*q - 557 + 152 = 0. Does 14 divide k?
False
Let h = -138 - -135. Let i(o) = 3*o**3 + o**2 - 2*o + 2. Let w(r) = -7*r**3 - 2*r**2 + 5*r - 3. Let x(u) = -5*i(u) - 2*w(u). Does 14 divide x(h)?
True
Let b(l) = -4*l - 20. Let y(n) = 7*n + 40. Let i(f) = 5*b(f) + 3*y(f). Does 5 divide i(0)?
True
Let f = 18 + -13. Let q(r) = 0*r - 3*r + 4*r**2 + f - 3*r**2. Is q(6) a multiple of 20?
False
Let f = -47 + 53. Suppose 2 + 0 = 2*k. Is 6 a factor of f - (k/1 + -1)?
True
Is 19 a factor of (-4 + -110)/((-6)/4)?
True
Suppose 3*p - 172 = -3*v - 2*p, -4*p + 173 = 3*v. Is 15 a factor of v?
False
Suppose 0*p - 10 = -2*p. Suppose 5*y + 0*m + m - 65 = 0, 5*y - p*m = 95. Let z = y - 7. Is 3 a factor of z?
False
Let j(l) = -3*l**2 + 28. Let i(n) = 4*n**2 - 28. Let f = -1 - -4. Let t(w) = f*j(w) + 2*i(w). Is t(0) a multiple of 13?
False
Let k(u) = 2*u - 7. Let b(w) = -9*w**3 - 3*w - 2. Let h(s) = 9*s**3 - s**2 + 4*s + 3. Let i(q) = 3*b(q) + 2*h(q). Let n be i(-1). Does 9 divide k(n)?
True
Let y(u) = u + 5. Suppose -3*s - c = -4*s - 3, c = 5*s + 19. Let f be y(s). Is -9*f*(-15)/9 a multiple of 8?
False
Let v(n) = -7*n + 21. Is v(-10) a multiple of 14?
False
Is 10 a factor of (33 - 5) + (-3)/(-3)?
False
Suppose 6*a = 4*a + 168. Is 21 a factor of a?
True
Let v(m) = -m**2 + 8*m - 1. Let z be v(9). Let r be (-3)/(-15) - 1058/z. Suppose 0 = 2*d - 5*u - r, 0*d + 4*u + 56 = d. Is d a multiple of 20?
False
Let t(a) = a. Is t(4) a multiple of 4?
True
Let j be 436/(-6)*(-2 - 1). Suppose -5*i + 427 = 5*h - j, -3*h - 2*i + 386 = 0. 