se 30 - 336 = -3*n. Is n a multiple of 17?
True
Let o(c) = -c**2 + 5*c - 3. Let w be o(4). Let j(n) = 149*n + 1. Let y be j(w). Suppose 3*r = 9, 5*d - 38 = -r + y. Is 15 a factor of d?
False
Let m(g) = -2*g. Let x be m(-2). Let b = x + -3. Is 4/b - -1 - 0 even?
False
Suppose 5*y - 3*r + 4*r - 6 = 0, -4*y = r - 4. Let h(i) = 8*i**3 + 2*i**2 - 3*i + 1. Let m be h(y). Let l = m + -36. Is l a multiple of 14?
False
Let q(t) be the third derivative of -11*t**8/6720 + t**6/360 + t**5/120 - t**4/24 - 3*t**2. Let k(s) be the second derivative of q(s). Does 7 divide k(-1)?
False
Let v(w) = 3*w**2 - 4*w - 8. Does 43 divide v(-7)?
False
Suppose -2*m + 2*y + 123 = -73, m - 2*y = 103. Suppose 280 - 60 = -4*x. Let l = x + m. Does 14 divide l?
False
Suppose 0 = 5*m - m - 256. Suppose 2*n - t = m, 2*n - t = t + 68. Let h = n + 24. Does 18 divide h?
True
Suppose 0*v = -v - 16. Let h = v + 28. Let g = h - -2. Does 6 divide g?
False
Let t(o) be the first derivative of 43*o**2/2 - 2*o - 2. Let i be t(2). Suppose d - 3*d + 61 = 3*y, 4*d = -4*y + i. Is 7 a factor of y?
False
Let h be (-2)/1*(-3)/(-2). Let z(r) = 3*r + 2*r**3 + 4*r**2 - 3*r**3 + 2 + 2*r**3. Does 2 divide z(h)?
True
Let j(v) = 2*v + 2. Let i be j(3). Let m(x) = x**2 - 6*x - 8. Let s be m(i). Suppose -4*y - 5*t + 45 = 0, -3*t + s = -2*y + 25. Is 4 a factor of y?
False
Let i be 6/4*2/3. Let t be i/(-2)*16/4. Does 2 divide (t/(-4))/(1/8)?
True
Let z(d) = d**2 + 5*d - 4. Let k be z(-6). Let b(a) = -a + 31. Let c be b(0). Suppose 4*f = -n + c, n = -2*f + 23 - k. Does 4 divide n?
False
Suppose -2*z + 430 - 82 = 0. Does 17 divide z?
False
Suppose -3*i = 4*x - 113, -4*i = -6*i - 5*x + 73. Is 7 a factor of i?
False
Let y(v) be the second derivative of -v**4/4 + v**3/6 - 2*v**2 + 3*v. Let l be y(3). Let p = -13 - l. Is 15 a factor of p?
True
Is (-4)/(-10) - (2 + (-188)/5) a multiple of 12?
True
Let v(o) = -o**3 - 2*o**2 + o - 3. Let m be v(-3). Suppose 2*t - 5*t + 69 = m*b, 4*t = 5*b + 56. Does 19 divide t?
True
Suppose -3*r + 49 = -4*o + 137, 0 = -3*o - 2*r + 66. Is o a multiple of 10?
False
Let f be -121*(0/3 + 1). Let k = f + 198. Is k a multiple of 12?
False
Let q(t) = 16*t. Let l be q(1). Suppose -4*a - 4*p + 25 - 1 = 0, 5*a - 2*p - l = 0. Suppose 0*d - g = -d + 29, a*d + 4*g - 84 = 0. Is d a multiple of 9?
False
Is (-4)/18 - 400/(-18) a multiple of 9?
False
Let q(x) = -x**3 - 9*x**2 - 12*x - 1. Let v be q(-8). Suppose -10 = -h - v. Does 11 divide (-4)/14 - 237/h?
True
Let b(x) = -x**2 + 6*x - 2. Let u be b(4). Does 27 divide u/(-7)*(-61 + -2)?
True
Let b(j) = j**3 - j**2 - 2*j + 196. Is b(0) a multiple of 25?
False
Suppose -5*x + 4*x + 85 = 0. Suppose -35 = -3*n + x. Is 20 a factor of n?
True
Let r = -21 + 18. Let s(p) = 6*p**2. Let v(w) = -w**2. Let k(b) = s(b) + 4*v(b). Is k(r) a multiple of 7?
False
Suppose v + 11 = 3*w, v + 5*w - 39 = -10. Suppose 0 = -q - v*s + 16, -4*s + 41 = 3*q + s. Is q a multiple of 12?
True
Let f = 59 - 9. Is f a multiple of 10?
True
Let n(j) = j**3 - 2*j + 4 + 3 - j**2 - 4. Let t(c) = 2*c - 17. Let s be t(10). Does 13 divide n(s)?
False
Suppose -2*w + 61 = 21. Is w a multiple of 5?
True
Let h(t) = -t - 1 - 1 + 9. Let q be h(7). Suppose q*c - 5*x + 35 = c, -2*c - 3*x = -77. Is c a multiple of 20?
True
Suppose -34 + 14 = -2*b. Is b a multiple of 10?
True
Suppose -4*h + 0 + 60 = 0. Does 9 divide 6/h - 78/(-5)?
False
Let s = -2 - 3. Let n(m) be the second derivative of m**4/12 - m**3/2 + 2*m**2 - m. Is 21 a factor of n(s)?
False
Let h(d) be the first derivative of 8/3*d**3 - 2*d - 3 - 3/2*d**2. Is h(-2) a multiple of 12?
True
Let h = 27 - 33. Let y = -6 - -8. Does 22 divide (66/y)/((-9)/h)?
True
Is (0 - 3)/(-3) - -45 a multiple of 17?
False
Let s(l) = -l. Let c(g) = 2*g - 1. Suppose 0*b - 9 = 3*b. Let u(x) = b*s(x) - 2*c(x). Does 11 divide u(-9)?
True
Let f(u) = -u - 1. Let m be f(-4). Suppose 4*c + 2*d + 24 = 6*d, -m*d = -c - 16. Does 3 divide -1 + (c - -5)*1?
True
Let v(c) = c**3 + 5*c**2 + 5. Let l be v(-5). Suppose 3*u - l = 7. Is u a multiple of 4?
True
Suppose 0 = 5*h - 5*v - 70, -v = v + 8. Let j = h - 5. Is j a multiple of 5?
True
Suppose -w - 4*j + 9 = -0*j, 4*w + 21 = 3*j. Let c(t) be the third derivative of -t**4/12 - t**3/3 - t**2. Is 4 a factor of c(w)?
True
Let p(i) = -2*i + 1. Let t be p(5). Is (5 + -2)*(-30)/t a multiple of 10?
True
Let t = -4 - -3. Is 25 a factor of (t - 22)/((-1)/4)?
False
Let s(i) = -2*i + 2*i + 2*i + 4*i. Does 18 divide s(3)?
True
Let j(k) = 4*k**2 - 4*k - 3. Does 3 divide j(-2)?
True
Suppose -3*y = 2*u - 550, -384 = -2*y - 0*u + 3*u. Is y a multiple of 62?
True
Suppose y - 1 - 5 = 0. Suppose -2*d = -y - 0. Does 2 divide d?
False
Suppose 569 = 5*a - 201. Is 22 a factor of a?
True
Let k(f) = -f**2 - 17*f. Is k(-7) a multiple of 7?
True
Suppose 5*f = -10, 2*l + 2*l + 5*f = 230. Is 6 a factor of l?
True
Let h(l) = -l**3 + 7 + 3*l - 5*l**2 - 1 - 6*l. Is h(-5) a multiple of 12?
False
Let x(k) = 4*k**2 - 10*k - 29. Is x(-3) even?
False
Suppose 5*t - 2 = 4*t. Suppose -2*z = t*b - 40, 5*z - 2*z - 28 = 5*b. Is 12 a factor of z?
False
Suppose 46 = 5*y - 0*s + s, 3*s - 30 = -3*y. Suppose 3*g + 0*g = -y. Is 0 + 0 - (-16 - g) a multiple of 13?
True
Suppose 200 = 2*o + 2*o. Is o a multiple of 25?
True
Let m(p) = -p**3 - 6*p**2 + 5*p - 9. Let x be m(-7). Let u(q) = -q + 17. Does 6 divide u(x)?
True
Let n(k) = 2*k**2 - 11*k + 10. Is n(8) a multiple of 25?
True
Let p(c) = -5*c + 1. Let f(g) = -2*g. Let l(u) = -7*f(u) + 3*p(u). Let w be l(3). Suppose -j - 3*z + 15 = w, 2*j + 6 = 4*z + 16. Is 9 a factor of j?
True
Let n = 45 - 19. Suppose g - 6 = n. Does 16 divide g?
True
Let o = 70 + -42. Does 8 divide o?
False
Let v(h) = -h + 3. Let j be v(3). Suppose -2*k + m + 26 = -j*k, -2*m - 22 = -2*k. Suppose -k + 7 = -q. Is 4 a factor of q?
True
Let z(t) = -t. Let h be z(1). Let r(c) = -115*c**3 - c**2 + 1. Let b be r(h). Suppose 8*q - b = 3*q. Is q a multiple of 23?
True
Let c(i) = 2*i**2 + 10*i + 18. Is c(-11) a multiple of 25?
True
Let r = -1 - -3. Suppose 3*l = -r*v + 43, v = 5*v - 20. Is 10 a factor of l?
False
Is 16 a factor of (-2 - -5)/(15/745)?
False
Suppose k - 27 = -2*k. Is k a multiple of 9?
True
Let i(c) be the second derivative of -3/2*c**2 - 5/12*c**4 + 0 + c + 2/3*c**3 - 1/20*c**5. Does 5 divide i(-6)?
False
Let i = 4 - 2. Suppose -u + 3 = -0*u + i*x, x + 37 = 3*u. Does 4 divide u?
False
Suppose -4*o = -36 - 4. Is o a multiple of 4?
False
Let v = -31 - -68. Let m = v + -25. Does 12 divide m?
True
Let r = -13 - -22. Is r a multiple of 2?
False
Suppose 0*s = -s + 3. Let m(t) = t**3 - t**2 + 2*t - 3. Is 12 a factor of m(s)?
False
Let r(c) = -c**2 - 14*c + 4. Let j be r(-10). Suppose 4*x + 0*x = -y - 2, 3*y - 3*x - 69 = 0. Suppose y + j = 2*o. Is o a multiple of 16?
False
Let a = 7 + -3. Let l be -22 + (-4 - a/(-2)). Let p = l - -38. Is p a multiple of 8?
False
Let g be 6*(-2)/(2 - 0). Let i = g + 8. Is 11 a factor of (i + 1)/((-2)/(-14))?
False
Suppose -660 = -5*m - 2*c - 2*c, 5*m - 660 = 4*c. Does 33 divide m?
True
Let v(z) be the first derivative of -3*z**2 - 4*z + 1. Is 20 a factor of v(-4)?
True
Suppose -6*v - 14 + 68 = 0. Is 2 a factor of v?
False
Let m be (-5 - -1)/((-4)/6). Suppose -m*d = -d - 165. Does 14 divide d?
False
Let s = -18 + 90. Is s a multiple of 18?
True
Let i(p) be the third derivative of p**6/72 + p**5/60 + p**4/12 + p**2. Let h(o) be the second derivative of i(o). Is h(2) a multiple of 9?
False
Suppose -16*z + 81 = -13*z. Suppose z*b - 24*b - 36 = 0. Is 6 a factor of b?
True
Suppose -3*w = 2*y + 3 + 1, 0 = y + 2*w + 4. Let z(s) = s**2 - 5*s - 2. Let g be z(6). Suppose 4*k = -g*b + 20, 4*k + 1 + 3 = y*b. Does 3 divide b?
True
Let s(t) = t - 2. Let r be s(5). Does 5 divide 42/6 + (1 - r)?
True
Let t(w) = 10*w**3 + 2*w**2 + w - 2. Let j be t(-2). Let p = -47 - j. Does 8 divide p?
False
Let l(s) = s**2 + 14*s + 5. Let x be l(-16). Suppose 4*a = 8 - 0. Suppose -2*q + x + 11 = a*i, 0 = -5*q + i + 96. Is 10 a factor of q?
True
Let b = 165 + -121. Is b even?
True
Let y = -27 - -123. Suppose 0 = -2*h - 0 + 6. Suppose -4*i + 124 = 3*s, -h*i - y = -7*s + 4*s. Is 18 a factor of s?
True
Let f(z) = z**2 - 3*z - 1. Let m be f(3). Let q be (-2 - m)/((-3)/42). Is 5 a factor of 8/(-4) - -1*q?
False
Let t(q) = 6*q**2 + 4 + 4*q - 1 - q**3 - 1. Is t(6