y + 3*b - 30. Suppose -3*d = y + 2, -5*s - 5*d + 10 = 0. Is 2 a factor of s?
True
Let n(o) be the first derivative of o**6/360 - o**5/30 + o**4/24 + 2*o**3/3 + 5. Let t(j) be the third derivative of n(j). Is 4 a factor of t(5)?
False
Suppose 2*p + j = 6*j - 104, 4*j + 65 = -p. Let o = p + 17. Let i = o - -60. Does 20 divide i?
True
Suppose 14*v - 22*v + 592 = 0. Let g = v - -6. Does 9 divide g?
False
Suppose 77*r - 10627 = 46661. Is r a multiple of 9?
False
Let s(r) = -r + 9. Let o be s(4). Let z = -3 + o. Suppose p = z*p - 33. Is 17 a factor of p?
False
Suppose 7*j = 126 + 609. Suppose 0*y + j = y. Is y a multiple of 21?
True
Let z(t) = -t**2 - 4*t + 1. Let h(u) = -1 + 2*u**2 + 2*u**2 + 3 - 3*u - 5*u**2. Let x(j) = -5*h(j) + 4*z(j). Is x(6) a multiple of 24?
True
Let f = 0 + 4. Let x be (-2)/f + 195/6. Let k = 2 + x. Is 17 a factor of k?
True
Let o = 72 + -198. Let i be (-14850)/195 + (-2)/(-13). Let f = i - o. Is 10 a factor of f?
True
Let f(b) = b**2 + 6*b + 20. Let r be f(-7). Is 12 a factor of 6/r - 212/(-18)?
True
Let b(v) = -21*v + 2. Let g(y) = 64*y - 6. Let m(p) = 14*b(p) + 5*g(p). Does 10 divide m(2)?
True
Let d = 8581 + -4495. Does 18 divide d?
True
Suppose -w - 172 = -5*a - 4*w, 5*a - 177 = 2*w. Let i = a + -25. Suppose i*f = 8*f + 70. Is 15 a factor of f?
False
Let l(h) = -h**2 - 10*h + 42. Let o be l(-13). Suppose 5*t + s = 34, -o*t + 0*t + 2 = -4*s. Does 3 divide t?
True
Suppose -2*j - 25 = -31. Suppose -3*z - j*a + 978 = 0, 3*z - a - 493 = 501. Is z a multiple of 66?
True
Let v be -53*(3 + -2)*-2. Suppose -v = 4*k - 362. Does 14 divide k?
False
Let g(s) = s**2 + 5*s. Let x be g(-5). Let h(m) = -m**2 + 2*m + 5. Let v be h(x). Suppose 0*b - 470 = -5*b + v*l, 0 = -4*b - 2*l + 370. Is 31 a factor of b?
True
Suppose 5*p - 2*j = 2173, 0*j + 4*j = 3*p - 1315. Is 8 a factor of p?
False
Suppose 9*c - 10069 = 20945. Is 12 a factor of c?
False
Let l(n) = -385*n - 223. Is l(-5) a multiple of 23?
True
Suppose -17 = 2*f - 27. Suppose 17 = -f*o + 217. Suppose 0 = 4*s + 4, -3*v + 2*v = 5*s - o. Does 19 divide v?
False
Let h(l) = -l**2 - 6*l + 4. Let t be h(-6). Suppose -t*c + 12 + 4 = 0, b + c = 53. Is 4 a factor of b?
False
Let q = -2 - -6. Suppose 64 = q*d - 276. Is 17 a factor of d?
True
Suppose -4*k = -k - 816. Suppose 5*w = k + 128. Is w a multiple of 10?
True
Let j = -2 + 11. Suppose 2*p + j = -p. Is 3 + (-57)/9*p a multiple of 11?
True
Let n = -554 - -714. Is n a multiple of 5?
True
Let h = -87 - -1090. Is h a multiple of 8?
False
Suppose 2*d + 1152 = 4*b, d - 306 = -b - 3*d. Does 29 divide b?
True
Suppose a + a = -5*u - 32, 16 = -2*u - 4*a. Let z(y) = y**3 + 3*y**2 - 9*y - 7. Let x be z(u). Let t = -35 - x. Is t a multiple of 12?
False
Let s be ((-36)/27)/((-4)/15). Suppose -2*q + 4 = -s*p - 9, 2*p = -2*q + 34. Does 8 divide q?
False
Suppose -3*n + 2*n = -11. Suppose 5*u - n = -1. Suppose -x + 3*x - 34 = -u*y, y + 2*x - 22 = 0. Is 3 a factor of y?
True
Suppose -71662 = -75*k + 3338. Is k a multiple of 25?
True
Let b(h) = 2 - 11*h - 1 + 19 + 2 + h**2. Is b(15) a multiple of 27?
False
Let i(q) = -q**3 - 4*q**2 + 11*q - 4. Let a be i(-6). Is 610/12 + a/12 a multiple of 15?
False
Let x = -81 - 40. Let c be (2 + 787)*(-88)/12. Is c/x + (-2)/(-11) a multiple of 13?
False
Let o(m) = 955*m - 38. Is o(1) a multiple of 27?
False
Suppose -5*h = -q + 1075, 12*h = 2*q + 14*h - 2210. Does 27 divide q?
False
Let w(k) = -k**3 - 8*k**2 - 5*k + 17. Let v be w(-7). Suppose 76 = r + v*i, -7*r + 248 = -4*r + 4*i. Is 11 a factor of r?
True
Let k(r) = 68*r - 223. Is k(11) a multiple of 55?
False
Let u(f) = -f**2 - f + 2. Let c be u(2). Let k(j) = -13*j + 8. Does 30 divide k(c)?
True
Let n(v) = -10*v. Let f = -2 - 23. Let x = f + 20. Is n(x) a multiple of 10?
True
Let c(t) = 32*t**2 - 10*t - 76. Does 8 divide c(-6)?
True
Let s = -200 + 370. Is 85 a factor of s?
True
Let b be 2/4 + 1052/8. Suppose m - b = -5*m. Is m a multiple of 4?
False
Let h(g) = -g**2 + 7*g - 8. Let c be h(5). Suppose 2*i - 5*v = 173, 0*i - 2*i + c*v + 164 = 0. Is 12 a factor of i?
False
Suppose 5*n = 2*p + 12, -n + 5*p - 4 = 3*n. Suppose 0 = -5*r + n*r, -5*t + 2*r = -150. Suppose 3*d - 182 = -5*b + 2*d, 0 = -b + 3*d + t. Does 18 divide b?
True
Suppose -2*p + 247 = 5*m - 5*p, m - 47 = 3*p. Is m a multiple of 24?
False
Suppose -38*r + 3510 = -28*r. Is r a multiple of 13?
True
Let p(k) = -k**2 - 23*k - 24. Let y be p(-22). Is 13 a factor of 48 - y*(1 - 0) - -2?
True
Let o be 317/((0 + 2 - 1) + 0). Suppose -16*p + o + 771 = 0. Is p a multiple of 4?
True
Let z be (5/(-2))/(-5)*6. Let i = -61 - -97. Suppose -2*v = -z*x + i + 80, 3*x - 88 = -5*v. Is 10 a factor of x?
False
Let p = 1567 - 560. Does 10 divide p?
False
Let x(n) = -n**2 + 10*n - 1. Let b be x(7). Is 4/(-5)*b/(-4) even?
True
Let o(p) = p**3 - 11*p**2 + 12*p + 12. Let y be o(11). Suppose 2*w - 5*w - y = 0. Is 10 a factor of (-470)/(-8) + (-12)/w?
False
Suppose 0 = -j - 4, -2*n - 10 = -n - j. Suppose -2*i - 22 + 23 = s, -5 = -s + 2*i. Let z = s - n. Is 17 a factor of z?
True
Let k be 2/9 - 129/(-27). Let a(z) = -z**3 + 3*z**2 + 6*z - 6. Let x be a(k). Let i = x - -44. Is i a multiple of 5?
False
Does 34 divide (-3 - (-2 - (-55)/(-15)))*552?
False
Suppose -6*q - s - 2332 = -10*q, -s + 2340 = 4*q. Is q a multiple of 73?
True
Let v(w) be the first derivative of 1/2*w**2 + 1/4*w**4 + 12*w + 0*w**3 + 8. Is v(0) a multiple of 6?
True
Suppose v - 5*z + 37 = -10, 2*z - 8 = 0. Let l = 1 - v. Does 7 divide l?
True
Let y = 66 + -72. Let x(q) = -q + 2. Does 4 divide x(y)?
True
Suppose 0 = -20*y + 3*y + 1071. Is y a multiple of 3?
True
Let m be 19 + 2 + 1 + -2. Let p = m + -38. Let b = 26 + p. Is 5 a factor of b?
False
Let y be (2 - 34) + -7 + 4. Let b = 42 - y. Is 14 a factor of b?
False
Suppose 3308 = 4*q - 5*n, 59*n = 2*q + 58*n - 1654. Is 30 a factor of q?
False
Let h = -20 + 23. Suppose -2*a - 134 = -h*a. Is a a multiple of 32?
False
Suppose -55*p + 52*p - 4*z = -2932, 0 = -3*p - 3*z + 2937. Is p a multiple of 12?
True
Let o be 9/(-27) + 14/6. Suppose 3 = -o*x - x. Does 9 divide (x/(-1))/((-8)/(-136))?
False
Suppose 38 = -4*p + 42. Is 31 - 1 - (p + -1) a multiple of 5?
True
Suppose 0 = 2*t + t + 57. Let w = -13 - t. Does 11 divide (-10 - -13)/(w/22)?
True
Let b(k) = -k**3 - k**2 - k + 119. Suppose 5*n = 8*n. Is b(n) a multiple of 16?
False
Suppose 10*y = 39*y - 7308. Is y a multiple of 18?
True
Let z(a) = -4*a + 14. Suppose 5*w = -2*n + 27, w - n = 4*n. Let p be z(w). Does 7 divide ((-154)/(-7))/(p/(-9))?
False
Let d(f) = -5*f - 1. Suppose 5*c - 2 = -12. Is 3 a factor of d(c)?
True
Let a = -41 + 49. Let w(n) = -n - 2. Let c be w(0). Let v = c + a. Is v a multiple of 4?
False
Suppose -4*z + 0*z = -104. Suppose 3*v - z = -2*i + 159, -3*i = 2*v - 120. Is 13 a factor of v?
False
Is 9/(-21) - 8644/(-14) - 0 a multiple of 5?
False
Suppose -4*a = 2*p - 3*a - 18, -5*p = 2*a - 46. Let m be p/(-45) - 29/(-9). Suppose -108 = -m*l - 0*l. Is l a multiple of 12?
True
Suppose -3*m - 2*p - 772 + 3435 = 0, 4*m - 3*p - 3579 = 0. Does 33 divide m?
True
Let x = -7 - -11. Let s(q) = q**3 - 8*q - 3. Is s(x) a multiple of 11?
False
Let k be (114/8)/(12/32). Let q be 18/((3/1)/(1 + 2)). Suppose 0 = 2*x - q - k. Does 7 divide x?
True
Let j(b) = 17*b**3 - b**2 + b - 1. Let p(o) = -2*o - 4. Let v be p(-15). Let t be (-150)/(-130) - 4/v. Is 4 a factor of j(t)?
True
Suppose -10*l - 14668 = -48*l. Is l a multiple of 7?
False
Suppose 0 = -g - 5*w + 16, -3*g + 4*w + 196 = 2*g. Does 22 divide g?
False
Suppose -3*q - 6 = -15. Suppose -q*b = -p + 10, 4*p - 5*b - 63 = 12. Is 3 a factor of p?
False
Let a be (-2)/6 + (-35)/3. Let t be -4*(0 - (-15)/a). Suppose -5*j = -t*f - 170, -44 = -j - 0*f - f. Is 15 a factor of j?
False
Let z = 495 - 446. Is z a multiple of 7?
True
Let t be (-286)/(-4) + ((-1)/2)/(-1). Suppose -112 - t = -4*g. Is g a multiple of 28?
False
Let a(s) = 55*s**2 + 3*s + 2. Is a(-8) a multiple of 106?
True
Let x(g) = 66*g**2 + 16*g - 1. Is 14 a factor of x(-5)?
False
Let q = 1183 + 21. Is q a multiple of 28?
True
Let f(j) = 53*j**2 - 11*j + 12. Is 12 a factor of f(3)?
True
Suppose -3*x + 5*j - 16 = 0, -1 = 3*x - 4*j + 2*j. Does 6 divide (1 - (-24 + 2))*x/3?
False
Suppose -2*v - 69 - 20 = -n, 0 = -2*n + 3*v + 173. Suppose w - 4*w = -4*i + 221, i + 4*w - n = 0. 