rivative of -h**4/12 - 7*h**3/3 - h**2 + 3*h. Is 14 a factor of d(-9)?
False
Let u = 10 + 43. Does 23 divide u?
False
Let v be (30 - -4) + (-1)/(-1). Let l = v + -21. Does 14 divide l?
True
Let u(w) = -29*w**3 + 3*w - w - w. Suppose -2*a - 1 = a - g, 2*a - 2 = 2*g. Is 11 a factor of u(a)?
False
Suppose -t = 2*t - 171. Let z = t + -2. Is 16 a factor of z?
False
Suppose 13 = g - 4. Let u be (-6)/((6/(-4))/(-3)). Let l = g + u. Does 4 divide l?
False
Let u = 2 - 2. Let i be ((-2 - u) + 2)/1. Suppose -k = -q + 16, -2*q + 24 = -i*q - 4*k. Does 10 divide q?
True
Suppose 0 = b - 6 - 22. Let c = -16 + b. Is 12 a factor of c?
True
Suppose -2*z = 4*s + 10, 2*s - 13 = z + 4*z. Is ((-10)/25)/(s/40) a multiple of 13?
False
Let t(i) = -12*i**3 - 2*i**2 + 1. Let x be t(-1). Let n = x - -72. Does 22 divide n?
False
Suppose 3*n + 30 = 6*n. Is n a multiple of 8?
False
Suppose -c + 251 = -5*m - 31, -2*m - 4*c - 126 = 0. Let o = m - -81. Does 12 divide o?
True
Suppose 4*s = -2*p - 16 + 68, -2*s = 2. Is p a multiple of 17?
False
Let k(s) = s**3 - 2*s**2 + 2*s + 1. Let z be k(2). Suppose -55 = 5*i + 4*g, -z - 5 = 2*i + 4*g. Let b = i + 28. Does 6 divide b?
False
Suppose -9*n + 7*n = -14. Let v = -1 + 7. Let w = v + n. Does 6 divide w?
False
Let p be (0 - 13)/((-5)/15). Suppose -2*b + b = 5*a - p, -2*b + a = -34. Is b a multiple of 10?
False
Suppose -3*p = -15 - 21. Is 4 a factor of p?
True
Let t = 1197 - 822. Is t a multiple of 25?
True
Let i(k) = k. Let o be i(3). Let u(a) = a**3 + 2*a**2 + 30. Let c be u(0). Suppose c = o*x - 48. Does 13 divide x?
True
Let s(b) = 0 - 3*b**3 - 1 - 1. Let r be s(2). Let h = r - -45. Is h a multiple of 11?
False
Let u(h) = -h + 18. Is 5 a factor of u(-12)?
True
Let t be 2/5 - 46/(-10). Let j(w) = -5 - 4 - t*w - 4*w + 3. Is 19 a factor of j(-4)?
False
Let s = -29 + 173. Let f = 204 - s. Is f a multiple of 30?
True
Let b be -36*5/(15/(-6)). Suppose -4*t + 86 = -6*t. Let d = t + b. Is d a multiple of 11?
False
Suppose 3*i + 0*i = 2*o + 106, -4*o = -i + 42. Suppose -r + i = -0*r. Is 17 a factor of r?
True
Suppose 530 = 5*y - 5*b, -11 = -3*b + 1. Does 14 divide y?
False
Does 10 divide (-5)/((-145)/(-50) - 3)?
True
Suppose v + 4 = 4*k - 3*k, -5*v - 5 = 0. Suppose 2*x = k*w + 43, -15 = -3*x - 2*w + 17. Is 4 a factor of x?
False
Suppose -3*z + 28 = -5*u, -4*u = z - 3*z + 24. Let a = u - -2. Does 11 divide 10/a*(0 - 9)?
False
Let o(q) be the second derivative of 19*q**3/6 - q**2/2 + 2*q. Let p be o(4). Is 7 a factor of p/10 - 1/(-2)?
False
Let b be (2 + 1)/6*12. Let r(v) = -v - 2. Let a be r(-5). Suppose a*q = -b + 24. Is q a multiple of 2?
True
Suppose -u - 7 + 3 = 0, 3*u = 5*m + 83. Let p = 10 + m. Let y = p + 14. Is y a multiple of 3?
False
Suppose 320 = -99*k + 103*k. Does 16 divide k?
True
Suppose 4*o + 9*y - 8 = 5*y, -4*o - 3*y = -10. Let t be 6 + -1*3/3. Suppose 2*b + 54 = t*b + 3*a, -o*a = 3*b - 51. Is b a multiple of 11?
False
Let j(b) = 8*b**2 + 0*b**2 - b**3 + 6 - 3*b**2 + 5*b. Let f be j(6). Let c(h) = -h + 14. Is c(f) a multiple of 7?
True
Suppose -2*x + 25 = 5*o, -5*o - 14 = x - 34. Suppose 4*q = -q + 90. Suppose -x*y + 52 + q = 0. Is 10 a factor of y?
False
Suppose 0 = 5*g - 408 - 542. Is 9 a factor of g?
False
Suppose 12 = -0*r + 4*r. Suppose -7*l + r*l - 5*y - 3 = 0, -5*l - 15 = -5*y. Is -5*(l + 2 + -3) a multiple of 15?
True
Suppose -x = -9 + 2. Let p = x - 5. Suppose 0 = -2*j + m - 3*m + 38, -4*j = p*m - 78. Does 8 divide j?
False
Let s(b) = -b**3 + 4*b**2 + b + 1. Let v be s(4). Suppose 2*k = k - v. Does 20 divide 25/(-2)*8/k?
True
Suppose -4*a = a + 5. Let i be (-3 + (-2)/1)*a. Suppose 3*m - 47 = -i*c, -5*c = -4*m + 6*m - 33. Does 14 divide m?
True
Suppose l + 6 = -3*a, 1 + 2 = 5*l + 4*a. Let p = 5 - l. Is -2*(-1)/p*5 a multiple of 4?
False
Let x(a) = a**2 + 2*a - 3. Let z be x(2). Suppose 2*y - 4*k = 4*y + 10, -3*k - 18 = z*y. Let n = 14 - y. Is n a multiple of 11?
False
Does 23 divide (-6 + (-84)/9)/((-1)/3)?
True
Is 9 a factor of (122/8)/(16/64)?
False
Let n = 4 + 20. Does 6 divide n?
True
Let t(v) = 2*v**3 - 2*v**2 - 2. Let h be t(3). Suppose 4*j - 73 = -5*n, 5*j - 3*n - 11 - h = 0. Let f = 0 + j. Does 4 divide f?
True
Let d(z) = 3*z**2 + 8*z - 45. Does 14 divide d(5)?
True
Let o = 121 + -29. Suppose 2*u - o = -2*u. Does 20 divide u?
False
Let c be 3*1 - (3 + -4). Let x(a) = 2*a**2 + 5. Is x(c) a multiple of 17?
False
Let a = 319 + -223. Is a a multiple of 16?
True
Let m be ((-24)/(-15))/((-6)/(-15)). Suppose -2*y + m*y + 14 = 5*x, -4*x + 2*y + 10 = 0. Does 4 divide x?
True
Let b(m) = -81*m - 3. Let a be b(-3). Suppose 3*c = -2*c + a. Is 13 a factor of c?
False
Let p = 87 - 49. Is 4 a factor of p?
False
Suppose 3*o + 42 = 2*u - 17, 3*o + 31 = u. Let t(f) = -f - 2. Let b be t(-4). Suppose -b*l - u = -6*l. Is l a multiple of 2?
False
Let g = -10 + 12. Suppose -g*c - y + 2*y = -16, 0 = -3*c + y + 26. Does 6 divide c?
False
Suppose n = -5*w + 5*n + 83, -3*w - 5*n = -35. Is 3 a factor of w?
True
Let z = 19 - 10. Let a(l) = 7 - 7*l + 15*l + 19*l - z. Does 19 divide a(2)?
False
Let b(h) = -3*h + 5. Let y be b(-5). Suppose -3*v = c + 2*v - y, -4*c - 3*v = -12. Suppose -5*n - 4*l + 52 = c, n - 3*n + 3*l + 7 = 0. Does 8 divide n?
True
Suppose 0 = 4*y - y - 15. Let q(j) = -j**3 + 8*j**2 - 7*j. Let s be q(6). Suppose 0 = k + 3*d - 36, y*k = d + s + 102. Is k a multiple of 21?
False
Let i(f) = 2 - 6 + 2 - f. Let g be i(-2). Suppose g = x - 9 - 8. Is x a multiple of 10?
False
Suppose 2*m + 2*m = 4*f + 32, f = -2. Suppose -5*r = -5*u + 350, m*u - 4*u - 126 = -5*r. Is u a multiple of 13?
False
Let x be 2*-6 + -7 + 9. Is 6 a factor of 14/35 - 136/x?
False
Suppose 0 = -5*j + 10 + 25. Does 7 divide (j/(-14))/(1/(-14))?
True
Is 2 a factor of (-1)/(4/(-14))*(-630)/(-147)?
False
Let a(x) = x - 5*x - x**3 + 2*x**3 - 5*x**2. Let w(s) = -3*s. Let r be w(-2). Is 11 a factor of a(r)?
False
Does 5 divide 75/(-2)*(-10)/15?
True
Let k(s) = -16*s + 1. Let j be k(4). Does 9 divide (j/35)/(2/(-10))?
True
Let n = -57 - -171. Is 16 a factor of n?
False
Suppose -2*i + 116 = -3*r + 5*r, -r + 4*i + 68 = 0. Is 12 a factor of r?
True
Suppose -4*f + 122 + 10 = 0. Does 14 divide f?
False
Let g(a) = -a**3 - 7*a**2 + 8*a + 1. Let m be g(-8). Let d be (0 - 1/m)*-2. Suppose d*b - b = 38. Is b a multiple of 19?
True
Let k(r) = 9*r + 44. Is 6 a factor of k(9)?
False
Let q = -9 + 12. Let n be (-2)/(4 + 0)*108. Is 5 a factor of n/(-8) - q/(-12)?
False
Let g(a) be the third derivative of 3*a**4/8 - 7*a**3/6 - 3*a**2. Does 13 divide g(5)?
False
Suppose -t = -4*d - 295, 168 = -5*d - t - 194. Let o = d + 103. Is 15 a factor of o?
True
Suppose 0 = -f + 19 - 3. Suppose 0 = h - 2*a - 4, -a = -5*a + f. Is 3 a factor of h?
True
Let d(b) = 44*b**2 + 5*b + 3. Let l be d(-3). Suppose -28 + l = 4*a. Suppose -2*h + a = 1. Is 21 a factor of h?
False
Is 13 a factor of -18*((-34)/4 - -2)?
True
Suppose -m + 3 = -28. Does 3 divide m?
False
Suppose -18 + 6 = -3*v. Suppose -79 + 23 = -v*g. Suppose -4*h + 4*i + g = i, -i + 17 = 3*h. Is h a multiple of 5?
True
Suppose -n + 13 = 3*t, -4*n = 2*t - 7*t - 52. Does 3 divide n?
False
Let b = 53 - 35. Let z = b - 8. Suppose 2*k = 5*p + z, -3*p + p = -3*k + 15. Is 2 a factor of k?
False
Let k(b) = b**3 + 5*b**2 + 4*b. Let h be k(-4). Let u(i) = 2*i - i**2 + 0*i**2 + 24 - 3*i. Does 13 divide u(h)?
False
Let a be (-1)/(2*(-1)/(-2)). Let d(g) = -18*g**3 - g**2 - g - 1. Does 9 divide d(a)?
False
Let m = -11 + 15. Suppose 0 = -m*q + 90 + 94. Does 8 divide q?
False
Suppose -u + 2*c = u - 4, 3*c - 6 = 0. Let a be 10 - (u - (4 - 2)). Suppose -2*h + 3*z + 67 = -a, -2*z + 106 = 3*h. Is 14 a factor of h?
False
Suppose 3*p - 6 - 3 = 0. Suppose -6 + 3 = 3*j, 1027 = 5*h + p*j. Suppose 5*b = -81 + h. Is 10 a factor of b?
False
Let g(n) be the third derivative of -n**5/60 + 7*n**4/24 - n**3/6 - n**2. Suppose -3*o = 3*o - 30. Is 5 a factor of g(o)?
False
Suppose 2*t = 2*p - 2, t - 4*p - p - 19 = 0. Let n = t - 6. Is 12/(-9)*n + -2 a multiple of 5?
False
Let n(m) = 3 - 5 - 6 - m - 2*m - 7*m**2 - m**3. Does 8 divide n(-7)?
False
Let a(q) = q + 3. Let w be a(-9). Let z = 23 + w. Is z a multiple of 5?
False
Let k = 8 - 12. Let f be (6/8)/(1/k). Let r = f + 17. Does 14 divide r?
True
Let v be -1 - 3*(-4)/3. Suppose -o - 3*p + 27 = 0, 4*o - 73 = v*p + 5. Let g = o