et h(j) = -26*j**2 - 8*j + 14. Let t(l) = -4*h(l) - 7*w(l). Is 30 a factor of t(-3)?
False
Let t(o) = -o**3 + 17*o**2 + 6*o + 4. Let a be ((-6 - -4) + 1)*-17. Is t(a) a multiple of 10?
False
Is 4/(-70) + (-704808)/(-840) a multiple of 37?
False
Suppose -2*v + 12 = -4*u - 6, 3*v = -2*u + 27. Suppose -i - y + 49 - v = 0, -4*y - 20 = -i. Suppose i = c - 6. Is 21 a factor of c?
True
Let c = 8355 - 3306. Is 139 a factor of c?
False
Let x(o) = o**2 - 5*o + 73. Is 3 a factor of x(19)?
True
Let l(s) be the second derivative of 5*s**3/2 - 2*s**2 + 15*s. Does 14 divide l(5)?
False
Let o = 3279 + -2289. Is o a multiple of 15?
True
Let c(x) be the second derivative of -x**6/180 + x**5/24 - 5*x**4/12 - x. Let n(r) be the third derivative of c(r). Is n(-5) a multiple of 11?
False
Let a(x) = x**3 + 5*x**2 + 5*x - 3. Let l be a(-3). Is (-2 + 0)*((-71)/2 + l) a multiple of 19?
False
Suppose 5*j = 48 + 52. Let u = 46 - j. Suppose -c - 3 = -u. Is 21 a factor of c?
False
Let c = -43 + 51. Is 9 a factor of 68/c*(7 + -1 + 2)?
False
Suppose -2*r - 4*s + 2058 = 0, 0 = r + s + 3*s - 1023. Does 26 divide r?
False
Let i = 20 + -17. Suppose i*v = 4*v - 60. Is 30 a factor of v?
True
Let r = 183 - 88. Let m = r + 10. Does 19 divide m?
False
Suppose 0 = -2*m - 3*m. Let a be (-5 + m)*(-3 + 2). Suppose 0 = -a*d - 3*w + 81, -8 = 5*d - w - 101. Is 6 a factor of d?
True
Let a = 1965 + -1545. Does 21 divide a?
True
Suppose 5*m + 5*j = -30, 3*m - 4*m - 12 = -j. Let h = 0 - m. Suppose -2*c - 2*t = -18, 0 = -h*c + 4*c - t + 45. Is c a multiple of 9?
True
Suppose 3*g + 17 = -m, -2 = -3*m + 1. Let q be (-370)/(-3) - 4/g. Is (q/8)/(1/2) a multiple of 30?
False
Let g(h) = 9*h**2 + h - 85. Is g(7) a multiple of 11?
True
Let m = 278 - 6. Is 17 a factor of m?
True
Let u = 237 - 457. Let r = u - -500. Suppose 0 = 2*f + 3*f - r. Is 14 a factor of f?
True
Let t(r) be the second derivative of -1/20*r**5 + 15/2*r**2 - 1/6*r**3 - 1/12*r**4 - r + 0. Is 15 a factor of t(0)?
True
Let i(f) = -f**2 + 12*f + 16. Let r be 9 + (1 - (-4 - -1)). Let o be i(r). Suppose 4*u - 280 = -4*m, -o*m = u - 0*u - 78. Does 22 divide u?
True
Suppose -23*r + 24*r = 10. Suppose 55 = 5*m - r. Is 13 a factor of (0 + -2 + 7)*m?
True
Let v = 19 + -35. Suppose 5*w + 3*t + 2*t - 175 = 0, w = -3*t + 41. Let q = v + w. Is 16 a factor of q?
True
Let n = 35 - -145. Suppose -n = -0*y + 2*y. Is (6/4)/((-15)/y) a multiple of 3?
True
Suppose 4*q + 10732 = 5*v - 9624, 2*v + 3*q - 8147 = 0. Does 54 divide v?
False
Let c be (-1 - -2) + (-1 - -2). Let s(n) = n**c + n + 4*n - 1 - 8*n. Is 15 a factor of s(7)?
False
Let o = 9 + -6. Suppose 0 = -o*s - s + 96. Is s a multiple of 8?
True
Let a(d) be the third derivative of d**5/60 + d**4/12 + 7*d**3/3 - 4*d**2. Does 31 divide a(6)?
True
Let g(j) = j**2 + 14*j + 5. Let n be g(-14). Suppose 10 - 180 = -n*f. Is 13 a factor of f?
False
Let p(m) = m**3 + 2*m**2 + 5*m + 4. Let t be p(-2). Let h be ((-3)/t)/((-3)/(-18)). Suppose -q = -h*x, 7*q - 26 = 2*q + 2*x. Does 2 divide q?
True
Suppose -6*l + 10*l - 208 = 0. Suppose 2*c - l + 20 = 0. Is c a multiple of 4?
True
Let d(n) = -n**2 - 12*n - 9. Let z(w) = -2*w**2 - 24*w - 18. Let k(c) = 9*d(c) - 4*z(c). Let f be k(-13). Let i = f + 114. Is 24 a factor of i?
False
Suppose -31*i + 36076 + 16004 = 0. Is 30 a factor of i?
True
Let p(l) be the second derivative of l**5/20 - l**4/3 + l**3/3 - 13*l**2/2 + 12*l. Is 9 a factor of p(5)?
False
Let v be (10/20)/(210/(-212) + 1). Suppose 2*d = -5*k + 472, 227 = 3*k + 2*d - v. Is k a multiple of 24?
True
Suppose -2*u + 4*q = -94, 5*u - 295 = 2*q - 4*q. Suppose -c - 7 = -u. Suppose -j - c = -3*j. Is 6 a factor of j?
False
Let l = -269 - -769. Is l a multiple of 25?
True
Let x(z) = 3*z - 3. Let m be x(3). Suppose -m*w = -10*w. Suppose w = -4*c + 2*c + 40. Is c a multiple of 5?
True
Suppose f - 366 = -2*q, -6*q + 2*f = -2*q - 724. Is q a multiple of 26?
True
Suppose 99 - 315 = -6*k. Is 9 a factor of k?
True
Suppose 4*d - u + 2078 = -d, 0 = -2*d + u - 830. Let c = -227 - d. Does 8 divide c?
False
Let n = -310 - -394. Is n a multiple of 6?
True
Let q(l) = 5*l**3 + 647 - 2*l**2 + 4*l**3 - l - 643. Does 13 divide q(2)?
False
Suppose -5*n - 4*t + 3430 = 0, 1172 - 4557 = -5*n + 5*t. Is n a multiple of 31?
True
Let q be 1*(28 + 10/(-5)). Suppose z - q - 76 = 0. Is z a multiple of 34?
True
Let h(i) = -6*i + 0*i + 13*i + 1 - 2*i. Is h(1) a multiple of 3?
True
Let x(h) = 3*h + 6. Let v(y) = -9*y - 19. Let z(r) = -2*v(r) - 7*x(r). Let o be z(-2). Does 37 divide o/5 - (-1098)/30?
True
Suppose 9*r - 4*r = 20. Suppose 6 = 5*t - r. Suppose 2*s + y + 2*y = 19, -t*s + 29 = 5*y. Is s a multiple of 2?
True
Suppose -3*z = 2*z. Suppose 2*l - 206 = -4*u, z = 2*l - l + 3*u - 102. Suppose 0 = -7*o + 2*o + l. Is o a multiple of 7?
True
Let r be (-6)/15 - 12/(-5). Suppose 3*l - 3*g = 9, -7 = 2*l + r*g - 21. Suppose -d + 12 + l = 0. Is d a multiple of 17?
True
Suppose 4905 - 13415 = -5*c - l, -5104 = -3*c - l. Is c a multiple of 67?
False
Suppose -3*m + 21 = 2*g - 2*m, 5*m = -2*g + 33. Let v be 168/g*(-60)/(-16). Suppose 0 = 3*z - 4*h - v, 0 = -z - 0*h - 2*h + 40. Is z a multiple of 14?
False
Let k(m) = -m**3 + 8*m**2 - 4*m + 9. Suppose -2 + 9 = w. Does 15 divide k(w)?
True
Is 40/(-4)*(50/(-4) - -3) a multiple of 5?
True
Suppose 5*p + 2*p - 28 = 0. Suppose -4*q + 112 = p*w, -2*q + w - 128 = -7*q. Is q a multiple of 13?
False
Let t(n) = 6*n - 6 + 5 + 6 - n**2 + 4*n. Is 26 a factor of t(7)?
True
Let a(x) = 50*x - 1. Let b = -18 + 20. Is 11 a factor of a(b)?
True
Let q(b) = b**2 + 3*b + 2. Let u be q(-3). Suppose u*o = 22 - 0. Let s = 31 - o. Is 7 a factor of s?
False
Let p(n) = 606*n**2 - 155*n - 310. Does 101 divide p(-2)?
True
Let n = 1128 - 529. Does 7 divide n?
False
Does 20 divide (2628/(-3 - 0))/((-102)/476)?
False
Let f be 2603/285 + 4/(-30). Let a = f - -12. Is 21 a factor of a?
True
Suppose 63963 = 85*d - 33957. Is 18 a factor of d?
True
Let a(y) = -46*y - 157. Is 41 a factor of a(-15)?
True
Let i(u) = -11*u + 6*u + 5*u + 9*u - 19. Is i(11) a multiple of 16?
True
Let p = 2544 + -1660. Is 4/(-16) - p/(-16) a multiple of 12?
False
Let k = -666 - -1152. Is 26 a factor of k?
False
Let y(u) = 6*u**2 + 19*u + 11. Is 43 a factor of y(-7)?
True
Suppose 0 = 3*r - 4*q - 5762, -r + 3*r - 3813 = -3*q. Does 58 divide r?
True
Suppose -2*z + 3699 = z. Is z a multiple of 28?
False
Let b(f) = -50*f - 128. Is b(-9) a multiple of 46?
True
Let d = 39 + -39. Does 6 divide (-2 + d)/(4/(-46))?
False
Suppose -17*q - 5*q + 18392 = 0. Is q a multiple of 19?
True
Let s(c) = -3*c**2 - 15*c + 8. Is s(-5) a multiple of 4?
True
Suppose -3*d = -5*l - 513, -3*l - 401 = -3*d + 112. Is d a multiple of 4?
False
Let x(t) = 5*t**2 + 2*t - 198. Is 10 a factor of x(15)?
False
Suppose 0 = 5*z + 3*h - 4, -z - 2*z + 14 = -4*h. Suppose -2*j = -4*v + 144, 0 = -v + z*j + j + 31. Is v a multiple of 12?
False
Let z(k) be the second derivative of k**5/20 + k**4/2 + 5*k**3/6 + 3*k**2/2 - 5*k. Let i be z(-5). Suppose -5 + 83 = i*s. Does 17 divide s?
False
Let t(k) = 11*k - 4. Let g be t(1). Does 5 divide (2/3)/((42/297)/g)?
False
Suppose 70 = n - 367. Suppose 0*f - n = -5*f + 3*k, -2*f + 172 = -4*k. Is f a multiple of 11?
True
Suppose 272*o - 4080 = 262*o. Does 12 divide o?
True
Suppose 4*d - p = -d + 20, 3*d + 1 = -2*p. Let h(v) = -v**d - 14*v - 23 + 4*v + 17*v**2 + 18 + 16. Is h(16) a multiple of 17?
False
Let n(t) be the first derivative of -15*t**2/2 + 3*t - 4. Let r(f) = 4*f - 1. Let m(i) = -4*n(i) - 18*r(i). Does 14 divide m(-3)?
True
Suppose 4*i = 2*i. Suppose i = -3*j - 5*s + 52, 7*j = 4*j - 2*s + 37. Suppose -j*q + 7*q = -24. Is 6 a factor of q?
True
Does 24 divide (324/7)/((-34)/(-476))?
True
Let x = 978 + -824. Is 82 a factor of x?
False
Suppose -5*g = -7*g + 2*h + 4366, 0 = -4*g + 2*h + 8726. Is g a multiple of 85?
False
Let s(h) = 10*h**2 + 11*h - 17. Is 18 a factor of s(-6)?
False
Suppose 0 = -3*s - 2*z - 4, -2*s - 4*z - 14 = s. Suppose 0 = s*j - 2*r + r - 10, 0 = j - 2*r - 5. Suppose 0 = j*p + 14 - 4, -a - 3*p = -18. Does 8 divide a?
True
Let w(s) = -s - 3. Let i be w(-11). Let b = 14 - i. Is 3/b*(70 + -4) a multiple of 12?
False
Let a(g) = 8*g**2 + 6*g - 1. Let i be a(3). Is 22 a factor of (-4 - i)*-1 - 5?
True
Let h be (-6)/(-1 + (2 - 2)). Suppose 193 = -h*g + 1027.