tive of -7/2*z**2 + 0 + 3*z - 13/6*z**3. Is x(-3) a multiple of 16?
True
Let z = -33 - -33. Suppose z = -20*n + 17*n + 78. Is n a multiple of 4?
False
Suppose 0 = 2*z + 7*a - 3*a + 20, -5*z - 2*a = 34. Is 18 a factor of -1 + 0 + 139 + (-36)/z?
True
Let i(u) = -3*u + 915. Is 29 a factor of i(-43)?
True
Let t(l) = -l**2 - 29*l + 41. Let f be 38/133 + (-396)/14. Is 5 a factor of t(f)?
False
Let b(y) = 21*y**3 + y**2 + 2*y - 3. Suppose -5*s + 2*s = -6. Let a be b(s). Suppose 7 = 4*g - a. Is 16 a factor of g?
False
Suppose 5*b - 4*k = 300, -59 = -2*b + 5*k + 61. Suppose -19*j + 15*j = -b. Is 13 a factor of j?
False
Let j be (-14 + -4 + 2)/((-4)/146). Suppose -586 - j = -5*w. Is w a multiple of 13?
True
Let k = 58 + -114. Let c = k - -96. Is 5 a factor of c?
True
Let i(g) = 4*g**2 - 2*g + 2. Let d be i(1). Is 11 a factor of ((-24)/30)/(d/(-310))?
False
Let g(m) = -6*m**3 + 3*m**2 - m + 2. Is 3 a factor of g(-3)?
False
Let b(g) = g**2 - 2*g - 8. Is 28 a factor of b(-16)?
True
Suppose 0 = 4*c + 2*q - 8990, -5*c - 7*q + 11234 = -8*q. Is c a multiple of 21?
True
Let k(y) = 7*y**2 - 28*y - 115. Does 59 divide k(-12)?
False
Let c be (1 + (-140)/12)*-3. Let x = -12 + c. Is x a multiple of 7?
False
Suppose v + 2*v - 132 = 0. Suppose -2 = -l, -2*g + 4*g - v = 5*l. Is g a multiple of 9?
True
Suppose w - 84 = -2*z, 124 = -0*z + 3*z + 2*w. Is z a multiple of 3?
False
Is 10 a factor of ((-42636)/198)/((-1)/3)?
False
Let q(o) = -2*o**2 - 8*o + 4. Let r(z) = -z**2 - 3*z + 1. Let t(n) = -n - 2. Let w be t(6). Let y(v) = w*r(v) + 3*q(v). Does 5 divide y(-2)?
False
Suppose 0 = 7*d - 3*d + 8. Let g = 13 - d. Suppose -k = 2*k - g. Is 5 a factor of k?
True
Let s = -23 - -23. Suppose s = -3*u - 3*g + 8*g + 461, -3*u + 4*g = -460. Is u a multiple of 37?
False
Suppose 0 = -3*c + 4*x + 1923, 0 = 2*c - 6*x + 7*x - 1282. Is c a multiple of 13?
False
Let o(w) = -13*w - 1. Let z be o(-1). Suppose 0 = 2*b + z - 16. Is 4 a factor of (-5)/((-15)/6) + b?
True
Suppose 3*l - 226*v - 1736 = -228*v, -5*l + 2890 = 5*v. Is 29 a factor of l?
True
Suppose 36*m + 2492 = 38*m. Is m a multiple of 89?
True
Suppose 89 = -4*s - 3*b, -5*s - 118 = -2*b - b. Let r = s + 28. Suppose 4*p - 195 = -0*p + r*t, -3*t = 9. Does 22 divide p?
False
Let o = 1 + -1. Suppose o*a + 2*a - 4 = 0. Suppose a*m - 4*m = -32. Is m a multiple of 8?
True
Let w be 52 - (-1 + 0)*-2. Suppose y - 2*b - 25 - w = 0, 115 = 2*y + 3*b. Does 13 divide y?
True
Suppose i - 79 - 60 = 4*j, 2*j + 598 = 4*i. Let v be i/2 + 5/(-10). Suppose 4*q - q - v = 0. Is q a multiple of 11?
False
Suppose -26318 = -95*d + 22322. Does 32 divide d?
True
Suppose 0 = 3*o - 6*o. Suppose -3*f + f = o. Suppose -2*v + 24 + 4 = f. Is v a multiple of 8?
False
Let d(l) = l**2 + l + 2. Let q be d(5). Suppose 3*o + q = -o. Let m(n) = -3*n - 10. Is 10 a factor of m(o)?
False
Suppose -5*m = -41 - 159. Let t = m + 37. Does 11 divide t?
True
Suppose -3*z + 2*z - 1 = 0. Is 15 a factor of (-120)/((2 + 1)*z/3)?
True
Let w(h) = -10*h**3 - 2*h**2 - 51*h - 157. Is 31 a factor of w(-3)?
True
Suppose -11 = -2*o + 1. Suppose 28*u - 27*u = -o. Is 18 a factor of ((-108)/(-16))/(u/(-32))?
True
Suppose -7*h = -3*h - 104. Suppose -4*o + q + 71 = h, -5*q = -3*o + 21. Is o a multiple of 2?
True
Is 61 a factor of (-14)/((-168)/60) + 1 + 72?
False
Suppose 0 = -4*w + 5*w - 3. Suppose 2*i = -w*q + 4*q - 41, 3*q + 3*i = 168. Does 50 divide q?
False
Let b(o) be the second derivative of -o**3/6 + 27*o**2/2 - 9*o. Is 6 a factor of b(9)?
True
Suppose 10048 + 677 = 5*o. Suppose -11*i + 0*i = -o. Does 13 divide i?
True
Let a(q) be the second derivative of -8*q - 5/2*q**3 + 0 - 19/2*q**2. Does 15 divide a(-6)?
False
Let o(x) = 40*x + 39. Let a be o(-6). Let v = -74 - a. Does 27 divide v?
False
Let v(t) = -3*t - 3. Let r be 154/49 - (-2)/(-14). Let g be v(r). Let s = -4 - g. Is 4 a factor of s?
True
Does 56 divide 13/(-26)*(-4585 - -3)?
False
Suppose 0 = -4*a + 3877 + 791. Does 66 divide a?
False
Suppose 10*q - 44200 = -40*q. Does 19 divide q?
False
Let q(v) = -145*v - 19. Let d be q(-3). Let x = d + -254. Is 16 a factor of x?
False
Suppose 5*g = 9*k - 5*k - 463, -3*k + 361 = -g. Let f = 401 - k. Is f a multiple of 31?
True
Suppose 0 = p + 3*n - 11 + 66, 90 = -2*p - n. Let s = p - -78. Does 7 divide s?
True
Let o(r) = -r**2 + 5*r - 1. Let i be o(4). Let k be (-1620)/(-25) - (-2)/10. Suppose i*j - 8*j = -k. Does 13 divide j?
True
Let j = -47 + 23. Let d = j + 17. Let a = d - -24. Is a a multiple of 6?
False
Let d(x) = 124*x + 2. Let w be d(-1). Let u = -22 - w. Suppose -3*p - 12 = 0, -u = m - 6*m - 5*p. Does 8 divide m?
True
Is 23 a factor of (-6276)/(-21) + 5*(-6)/(-210)?
True
Does 4 divide 11 + 8721/9 + -1?
False
Let k = -667 - -1037. Does 15 divide k?
False
Let k(f) = -59*f - 320. Is 2 a factor of k(-16)?
True
Let m(f) = f**3 + 15*f**2 - 24*f - 11. Let h = -57 - -41. Is m(h) a multiple of 13?
True
Suppose -3*a - r + 5 + 7 = 0, 17 = 4*a + r. Let b(q) = 4 + a*q + 11*q - 30*q + 6*q. Is 16 a factor of b(-3)?
False
Let y(g) = -3 - 1 + 6 - 5 - g. Let s be y(-5). Let v = 25 + s. Is 15 a factor of v?
False
Let c = -261 - -669. Is c a multiple of 51?
True
Suppose 0 = -4*b - 7*n + 5*n + 456, -2*b = 5*n - 244. Is 7 a factor of b?
True
Let p = 263 + -234. Is 29 a factor of p?
True
Suppose 0 = 13*v - 14*v + 5. Let g = 65 + -16. Suppose 4*i + 3*q - 113 = -2*q, 2*i + v*q - g = 0. Is i a multiple of 8?
True
Let i(t) = -t**3 + 4*t**2 + 2*t + 17. Let f be i(5). Let k(s) = -3*s + 3*s**3 - 6*s**2 + 2*s**2 + 2*s**2 + 3. Is 13 a factor of k(f)?
True
Let y be ((-10)/4)/(25/(-30)). Suppose 0 = y*a - 19 - 29. Does 3 divide a?
False
Suppose 0 = -20*u - 3848 + 14048. Is u a multiple of 15?
True
Suppose 27*b = 22*b + 5545. Suppose -2*p + b = 2*r + 3*r, 0 = -2*r + p + 440. Is 13 a factor of r?
True
Suppose 10*d = 7*d + 2106. Does 64 divide d?
False
Let y(v) = -2*v**2 + 2*v + 2. Let z(c) = 3*c**2 - 2*c - 2. Let f(d) = 3*y(d) + 4*z(d). Suppose k = -4*q + 2*k + 13, -q - 5*k = 23. Does 7 divide f(q)?
False
Suppose 2*o = d + 14, 0 = -2*d + 3*d + o + 5. Let u be d/(-20) + 406/10. Suppose -3*b + 101 = u. Does 20 divide b?
True
Let g be ((-3)/3)/((-3)/6). Suppose -g*u + 24 = 3*b, u = -3*b + 3 + 15. Suppose u = -5*k + t + 19, 3*t = k + 3. Is k a multiple of 3?
True
Suppose 0 = -4*m + 2*m - 50. Let i = m - -27. Suppose 127 = 3*p + j, -i*j - 27 - 97 = -3*p. Is p a multiple of 7?
True
Is 48 a factor of (-15315)/(-10) - 9/(-24)*-4?
False
Let n(y) = -y**3 + 5*y**2 + 7. Let h be n(5). Suppose -h*u - 123 = -8*u. Is 43 a factor of u?
False
Suppose 4*q - f - 1091 = 0, 5*f - f - 550 = -2*q. Does 7 divide q?
True
Suppose -c = -5*b - 18, 5*b + 0 = -2*c - 9. Let i be ((-41)/(-2))/(c/6). Suppose i + 46 = y - 3*w, 0 = 4*y - 5*w - 313. Is y a multiple of 19?
False
Let m(p) be the third derivative of 49*p**5/10 + p**3/6 - 10*p**2. Let x be m(-1). Suppose -o = 4*o - x. Is o a multiple of 14?
False
Let w = 437 + 1. Let a = w + -286. Is 25 a factor of a?
False
Let w = 1186 - 559. Is 19 a factor of w?
True
Let b be (-4)/3 - 2104/24. Let x = -41 - b. Does 28 divide x?
False
Suppose 4*l = 27 - 87. Is 24 a factor of -4 + (-690)/(l/3)?
False
Suppose 11*v - 3353 - 805 = 0. Is v a multiple of 63?
True
Suppose -2*i + 6*r = 4*r - 506, -r = -3*i + 761. Let j = i + -119. Is j a multiple of 15?
True
Let l be ((-292)/2)/(-4 + 2). Suppose 2*g - 2*q = 2*q + 12, g - 4*q = 12. Suppose r - 3 = 0, h + g*h + 3*r - l = 0. Is 20 a factor of h?
False
Let s = 353 - -13. Suppose -5*n = -3*q - 929 + s, 229 = 2*n - 5*q. Is n a multiple of 32?
False
Let k(l) = 3*l**2 + 2*l + 2. Let c be k(-1). Suppose 38 = c*q - 286. Is 36 a factor of q?
True
Suppose 3*r + 2*d - 860 = 0, 4*r = d + 65 + 1089. Is 16 a factor of r?
True
Let k(z) = 4*z**2 + 13*z - 9. Let x be k(-5). Let c = -17 + 3. Let s = x + c. Does 3 divide s?
True
Suppose 3*j + o = -o + 325, 5*o - 25 = 0. Is j a multiple of 9?
False
Let r(c) be the first derivative of c**4/2 - c**3/3 - 3*c**2/2 + 3*c - 7. Let v = 3 - 1. Is 2 a factor of r(v)?
False
Let x(k) = -3*k + 15. Let r be x(7). Is 23 a factor of ((-184)/(-14))/(r/(-21))?
True
Suppose 0 = -3*g + 5*t + 8, 3*g - 2*t = 2*g + 1. Suppose -g*u + 761 = 178. Is u a multiple of 44?
False
Suppose 0 = y - 6*y. Suppose 2*m + a - 10 - 201 = y, -m - 3*a = -118. Is m a multiple o