 a factor of h(p)?
False
Let b(g) = -g**2 + 29*g + 7. Let x be b(30). Let n be 69 + (-1*4)/2. Let j = n + x. Is j a multiple of 14?
False
Let l = -61 - -40. Is 9 a factor of 1064/12 - 7*(-2)/l?
False
Let o be 32 - (1*2 - (-9 + 12)). Suppose -4*p = -o + 21. Suppose 0 = -p*u + 394 - 58. Is 14 a factor of u?
True
Let n(q) be the first derivative of -q**4/4 + 3*q**3 - 8*q + 12. Let v be n(7). Suppose b + 4*o = -o + 108, -b + o + v = 0. Is b a multiple of 10?
False
Suppose 6*n - 180 = n. Suppose n*c - 1800 = 28*c. Does 25 divide c?
True
Let d = -2166 - -3861. Suppose -3*z + 5106 = 5*i, 4*z - 339 = -2*i + d. Does 93 divide i?
True
Let l be -3 + -3*13*-1. Let a(j) = 37*j + 6. Let q be a(3). Let d = q - l. Is 20 a factor of d?
False
Let v be (3*(-9)/(-6))/(1/2). Suppose 0 = 3*u - 0*u - v. Does 3 divide 325/15 - (u + (-28)/12)?
True
Let u(l) = -2*l**3 + 7*l**2 - 2*l + 8. Let d be u(5). Is (-32662)/d - 4/22 a multiple of 42?
False
Let k = -91 - -55. Let i = k - -37. Is (-4 - -1) + (i - (-170 + 5)) a multiple of 28?
False
Let i(h) = 42*h + 580. Let w be i(0). Suppose w*l = 592*l - 11232. Does 26 divide l?
True
Suppose -29*i - 4*f - 24816 = -32*i, 5*i = f + 41360. Is i a multiple of 94?
True
Let g(w) = -3*w + 40. Let p be g(6). Suppose p*k = 5758 + 8894. Is k a multiple of 9?
True
Suppose -3*r + o = 2 - 0, 3*o = -3. Let b(u) = -2*u + 1. Let d be b(r). Suppose 5*c = d*m + 295 + 315, -10 = -2*m. Is c a multiple of 25?
True
Suppose 83*u + 141111 = 945487 - 27579. Does 144 divide u?
False
Let z(f) = 4*f**3 - 3*f**2 - 14*f + 15. Let x be z(7). Let h = -777 + x. Is h a multiple of 21?
False
Let i(t) = t**3 + 15*t**2 - t - 18. Let h be i(-15). Let v(z) = 2*z**3 - 7*z + 1. Let b(n) = -1. Let g(m) = -5*b(m) - v(m). Does 30 divide g(h)?
False
Let r = 7354 + 10674. Is 9 a factor of r?
False
Suppose -4*y + 0*i = -3*i + 3, 4*y - 4 = -4*i. Suppose -3*w - w + 192 = y. Suppose -110 = -49*k + w*k. Is 10 a factor of k?
True
Suppose 147 + 186 = -3*j + n, -j + 2*n = 111. Let q = 60 - j. Is 35 a factor of q?
False
Let k = 18671 + -13046. Is k a multiple of 75?
True
Let w(d) be the first derivative of d**2 + 3*d + 20. Does 18 divide w(8)?
False
Suppose 5*p + 21975 = 5*x, 4*x - 11*p + 6*p - 17576 = 0. Is 29 a factor of x?
False
Let h(x) = 10*x**3 - 3*x**2 - 7*x. Let z(y) = -9*y**3 + 2*y**2 + 6*y + 1. Let k(r) = 5*h(r) + 6*z(r). Is k(-3) a multiple of 14?
True
Let z be -1*5*(85/(-25) + 3). Is 13 a factor of (3 - (-656)/z)/1?
False
Let a(k) = -4*k - 28. Let u be a(-13). Let z(l) = 9*l - 171. Does 10 divide z(u)?
False
Let g(a) = -2*a**3 + 47*a**2 - 8*a - 42. Is 7 a factor of g(21)?
True
Suppose -5*f + 1765 = 5*o, 94 = f - 5*o - 289. Let n = f - 112. Suppose -2*g + 4*j = -n, 0 = 2*g + 3*j + 72 - 311. Does 21 divide g?
False
Let r(p) = p. Let h(m) = -3*m**3 + m + 1. Let o(b) = -h(b) - r(b). Let u be o(-1). Does 26 divide ((-9)/(-12))/((-209)/(-104) + u)?
True
Suppose -2*v - 3*g + 13 = 2*g, 5*v + 5*g = 55. Let h(t) = v + 21*t**3 - 22*t**3 + 4*t**2 + 3*t**2 - 8*t. Is 7 a factor of h(4)?
False
Let g(i) = 177*i**2 - 38*i + 12*i - 23 - 149*i**2 - 14. Is g(-5) a multiple of 30?
False
Let a be (8/10)/(7/420*3). Suppose -a*q = 1529 - 4985. Does 9 divide q?
True
Suppose -2*m - 6606 - 2825 = -3*h, h + 3*m = 3129. Is 21 a factor of h?
False
Suppose -5*x - h + 653 = -548, 5*x = -3*h + 1203. Suppose x = k + 2*k. Is 80 a factor of k?
True
Suppose -a - 3*a + 8 = 0. Let b be ((-6)/(-2))/(6 - 5). Does 21 divide 129/b + a + -1 + -2?
True
Is 29 a factor of (60 + -176)*13/(-2)?
True
Let s be (109/3)/((-10)/(-90)). Suppose -11*k = -12*k + s. Is 14 a factor of k?
False
Suppose -2*f + 631 = -p + 8007, -3*f = -4*p + 29544. Is p a multiple of 6?
True
Suppose -2*m - 4*n = 16, n = -4*m - n - 2. Suppose -5*h = 3*b + 2*b - 1415, 0 = -4*h + m*b + 1108. Does 31 divide h?
True
Let y(f) = -10*f**2 + 33*f + 5. Suppose -4 = q, -1 = 4*l + q + 23. Let h be y(l). Is ((-20)/(-25))/((-4)/h) a multiple of 14?
False
Let a(m) = -2*m**2 - 13*m - 1. Let h be a(-7). Let i be (-1)/((-4)/523) + 6/h. Let x = i + -83. Is x a multiple of 13?
False
Let c(b) = -204*b**3 + 4*b**2 + 41*b + 279. Is 11 a factor of c(-5)?
True
Let n be 63*(14/(-35) + (-29)/15). Let g = -137 - n. Does 9 divide g?
False
Suppose -5*y + 5395 = 2*z + 1093, -1744 = -2*y + 5*z. Suppose 1296 = 3*x + 5*s, 3*x - 2*s = -x + 1728. Does 12 divide (2/(-4))/(y/x - 2)?
True
Let b(x) = x**3 + 7*x**2 + 4. Let a be b(-7). Suppose a*f - 10 + 2 = 0. Suppose 3*k - 4*p - 179 = -f*k, -2*p = 3*k - 125. Is k a multiple of 13?
True
Suppose -3*w = 3*p - 138, 2*p + 173 = 3*w + 40. Suppose w*h - 14*h = 14167. Is h a multiple of 20?
False
Let x = 34 - -4. Suppose x*l = 33*l - 110. Let q(z) = -2*z - 16. Is q(l) even?
True
Suppose -1 = -x, -3*t - x = -0*x - 4. Let b be (-2 - 0) + (-72)/(-2). Let d = t + b. Is d a multiple of 13?
False
Let x be (-2 - 3)*(-3 - 204/(-20)). Let y = -34 - x. Suppose 2*d - 7 - 6 = 3*l, y*d + 4*l = 20. Is d a multiple of 2?
True
Let h be (-2 - -6) + 1407/3. Does 55 divide (-86)/h - 1214/(-22)?
True
Suppose 4*v - t - 1635 = 2*t, 0 = -2*v - 4*t + 834. Suppose 5*f - 1020 = 5*p, -2*f = -0*f - 3*p - v. Suppose -6*m + 3*m = -f. Is m a multiple of 19?
False
Let h(f) = -f**2 + 17*f - 29. Let j be h(14). Suppose j*c - 252 = 10*c. Is c a multiple of 7?
True
Let x(r) = -r**2 - 24*r + 146. Let p be x(5). Let k(i) = 32*i**3 - 8*i**2 + 7*i. Is k(p) a multiple of 20?
False
Let p = -169 + 199. Suppose 6*u - 3*u - 84 = 3*v, 2*v + p = u. Does 26 divide u?
True
Let s be (((-12)/(-15))/(-2))/((-3)/61305). Suppose -6*r - 3074 = -s. Is 25 a factor of r?
True
Suppose f - 31*u = -32*u, f - 3*u - 12 = 0. Suppose -1 = d, 3*a - f*d - 19 = 164. Does 4 divide a?
True
Let c = -15070 + 26426. Is 68 a factor of c?
True
Let b be (50/(-3))/(38/57). Let w be -5*5/b - (-160)/2. Suppose r + 17 = w. Is r a multiple of 7?
False
Let x(n) = -4*n - 82. Let y be x(-23). Is 12 a factor of 4 - y - (-6006)/7?
True
Let p(c) = 11*c**2 + 8*c + 23. Suppose 0 = -2*w + r - 15, 5*w - 2*r = 9*w + 10. Is 10 a factor of p(w)?
False
Let w(x) = -5*x - x + 1 + x - x + 5 + 5*x**2. Is 21 a factor of w(7)?
False
Let l be (-141)/15 + (-39)/65. Let i(y) = -y**2 - 13*y + 8. Does 4 divide i(l)?
False
Let v = -141 - -69. Let s = 64 - v. Let g = s - 119. Does 3 divide g?
False
Is 67 a factor of (-6)/4 + (-77)/(-22) + (1 - -2718)?
False
Let v(w) = -9*w. Let p be v(-3). Suppose -q + 17 = -p. Let h = q - -19. Does 19 divide h?
False
Suppose 0 = -f + t + 255, -3*t - 1028 = -4*f - 7*t. Suppose -21*w = -23*w + f. Is w a multiple of 19?
False
Let o be (2112/18 - 6/(-9)) + 3. Let w = o - 37. Is 42 a factor of w?
True
Let w be ((-1948)/24*2)/(4/(-12)). Suppose 0 = -5*n - 52 + w. Is n a multiple of 9?
False
Let b(q) be the third derivative of q**6/120 - 20*q**3/3 - 8*q**2. Let r be b(0). Let n = r + 60. Does 10 divide n?
True
Let q(i) = -34*i - 6. Let f be q(15). Let b be f/(9/6 + -3). Suppose -b - 56 = -4*c. Is 12 a factor of c?
False
Suppose 162 = 3*q + 3*y - 3168, -5*q + 5578 = -2*y. Is 33 a factor of q?
False
Suppose 9*g = 12*g - 6. Let i(k) = 13 + k**g - 36 + 10 - 6*k. Is i(11) a multiple of 21?
True
Suppose v = -5*r + 9579, -10328 = 3*v + r - 39121. Does 100 divide v?
False
Let r(s) = -13*s + 69. Let b(y) = 18*y - 70. Let z(j) = -6*b(j) - 7*r(j). Does 19 divide z(-23)?
False
Is (224/35 - 4)*375/2 a multiple of 25?
True
Let n(q) = -304*q - 38. Does 42 divide n(-8)?
True
Let r(d) = -2924*d + 66. Is 79 a factor of r(-2)?
False
Suppose 3*a = 4*x - 11516, 5*a + 3684 - 822 = x. Is x a multiple of 4?
False
Let g = -11697 + 17108. Does 103 divide g?
False
Let y(n) = 516*n + 8. Suppose 12 = -4*s, -v + s + 0 = -4. Is y(v) a multiple of 13?
False
Suppose 7*f - 294848 = -5*z - 1627, -4*z = -4*f - 234500. Is z a multiple of 17?
True
Let o = -1152 - -2817. Suppose -1755 = -9*d + o. Does 20 divide d?
True
Let a = 381 - -984. Suppose -2*m + 1017 = m - 3*j, 5*j - a = -4*m. Is 17 a factor of m?
True
Let g(i) = i**3 - 58*i**2 - 56*i + 59. Is g(63) a multiple of 31?
False
Let h(v) = 659*v - 5737. Is 28 a factor of h(34)?
False
Is 50 a factor of (-6 - 12675/(-20))/(3157/392 + -8)?
False
Let r(z) = -4*z**2 - z - 2. Let u(v) = 2*v**2 + 1. Let j(k) = -4*r(k) - 7*u(k). Suppose a - b - 4 - 3 = 0, -b - 22 = -4*a. Is j(a) a multiple of 18?
False
Let f be