z*x + 16 = g*h - 17. Is 16 a factor of x?
True
Let q(p) = p**3 + 24*p**2 + 15*p - 38. Does 6 divide q(-22)?
True
Let p(d) = -15*d + 13. Let w be p(-3). Let k = w + 73. Does 18 divide k?
False
Suppose 3*j + 653 - 1616 = 0. Suppose 3*k + 427 = 2*n, -4*n - 5*k + j = -544. Is n a multiple of 43?
True
Let a(y) = -12*y - 2. Suppose 2*r + 2*h = -8 - 10, -3*h = 2*r + 16. Is 13 a factor of a(r)?
True
Let u be (0 - 1)/((-1)/2). Suppose -u*d - 5 = 3*d. Is 9 a factor of d/((-292)/72 - -4)?
True
Let v(b) = -b**2 + b + 20. Let p be ((-18)/5)/((-9)/(-30)). Let l(w) = w**3 + 13*w**2 + 12*w. Let o be l(p). Is v(o) a multiple of 10?
True
Let f be 8/3*216/32. Let t = 34 - f. Is 15 a factor of t?
False
Suppose 0 = -h - 5*u - 5, 0*u + 47 = -5*h - 3*u. Suppose -5*o + 35 + 50 = 0. Let z = o + h. Is 2 a factor of z?
False
Let j(x) = x - 3. Let w be j(7). Suppose -750 = -w*c - c. Suppose -c = -3*m - 2*m. Does 10 divide m?
True
Let h be 1/1*(-12 + 9). Let q = -5 + h. Is 3 a factor of (-96)/(-18)*(-18)/q?
True
Let v = -617 - -2247. Is v a multiple of 8?
False
Suppose 5*h - 78 - 2412 = -5*n, 3*n = 3*h + 1470. Is 35 a factor of n?
False
Let m be 2/4 + (-195)/26. Let g(r) = r**3 + 7*r**2 - 2*r - 10. Let w be g(m). Suppose 120 = i + w*i. Does 5 divide i?
False
Let n = 8 - 8. Suppose w - 12 + n = 0. Suppose -7*s + 8*s - w = 0. Is s a multiple of 6?
True
Suppose -16 + 4 = 4*a. Let k(r) be the first derivative of -17*r**2 - 4*r - 7. Is 28 a factor of k(a)?
False
Suppose 5*h = 0, -5*h = -5*b + 2780 - 145. Is 17 a factor of b?
True
Let a(s) = 2*s**2 - 4*s + 4. Let x be a(5). Is (-1*x - 2)*(2 + -3) a multiple of 18?
True
Let f be 40/(-2)*4/(-10). Let r be 25/300 - 2/(48/(-94)). Suppose -r*v + 7 = w, 0*v = 3*v - 2*w - f. Does 2 divide v?
True
Let x(g) = -5*g - 20. Let a be x(-7). Let r be 0 + 1 + -3 + 5. Suppose r*q - 18 = a. Does 11 divide q?
True
Let p = 10 + -8. Suppose p*j - 3*b - 17 = 16, 0 = 4*j - 4*b - 56. Is 2 a factor of j?
False
Suppose m + 16 = -4*z - 2*m, 4 = -z + 5*m. Let q(d) be the first derivative of -d**4/4 - 4*d**3/3 - d**2/2 + 3*d - 1. Does 4 divide q(z)?
False
Let a(j) = j - 10. Let p be a(-4). Let r = 76 + p. Does 31 divide r?
True
Suppose -5*m - 2*d + 3078 = -1083, 2*m = 3*d + 1653. Is 14 a factor of m?
False
Let o be (7/7)/(1/(-181)*1). Let m = -71 - o. Is 27 a factor of m?
False
Suppose -7 = -2*g + 4*z + 1, 10 = -5*z. Is 6 a factor of 54/(-135) + g + 334/10?
False
Let y(q) = 3*q**2 - 25*q - 38. Is y(13) a multiple of 34?
False
Let n be ((-84)/8)/(-7) - 6/4. Suppose -2*w + 253 = p, p - 2*w + 12 - 269 = n. Is p a multiple of 22?
False
Let f be (-1070)/6 - 7/(-21). Let g = f + 418. Suppose 7*u - g = 3*u. Does 20 divide u?
True
Suppose -4*s + 12 = 0, -s = 5*d + s - 81. Let g(v) = -9 - v - 8 + 1 + 2*v**2 + d. Is g(3) a multiple of 14?
True
Let t(q) be the second derivative of 7*q**3/3 - 5*q**2 - 3*q. Is t(6) a multiple of 37?
True
Let f be 0/2*3*(-3)/(-27). Suppose -7*j + 11*j - 36 = f. Is j a multiple of 3?
True
Suppose 0 = 2*l + 2*i - 3662, l = -11*i + 13*i + 1846. Does 68 divide l?
True
Suppose 3*i - 3*p - 6405 = 0, -3*i - 27*p = -29*p - 6405. Is 35 a factor of i?
True
Suppose 2*b - 4*o = -5*o + 539, 1083 = 4*b + o. Does 3 divide b?
False
Let n(r) = 5*r**3 + 13*r**2 - 3*r - 10. Let g(a) = 11*a**3 + 27*a**2 - 7*a - 20. Let m(q) = 6*g(q) - 13*n(q). Does 19 divide m(8)?
False
Suppose -4*d = -5*n + 29, -16 = -3*n - n - 4*d. Suppose 3*u - n*i = 7*u - 493, -5*u + 2*i = -608. Suppose -u = -w - w. Is 18 a factor of w?
False
Let r = -23 + 103. Is 4 a factor of r?
True
Let h(r) = -37*r - 2. Let m(z) = -z. Let u(f) = h(f) + m(f). Let k be u(1). Let o = 72 + k. Is o a multiple of 16?
True
Suppose -75*p + 7040 = -64*p. Does 32 divide p?
True
Let d(x) = 4*x**2 - 6*x - 1. Let n(a) = a**3 - 3*a**2 - 7*a - 6. Let r be n(5). Let i be d(r). Does 12 divide (-13)/(-78) - i/(-6)?
False
Suppose 0 = 5*m - 95 - 2055. Does 14 divide m?
False
Suppose 4*a - 16 = 0, 5*a = 29*z - 32*z + 6830. Does 28 divide z?
False
Let t(s) = 273*s**3 + s**2 + 6*s - 20. Is t(2) a multiple of 20?
True
Suppose 2*h - 3*g = -162, -4*h - 2*g = h + 443. Let c = -64 - h. Does 23 divide c?
True
Let d = 288 + 86. Is d a multiple of 10?
False
Suppose -o = o + 5*m + 21, 4*m + 18 = -o. Let p(r) = -r**2 + 11*r - 8. Let x be p(7). Suppose -3*d = -o*d - x. Is d a multiple of 20?
True
Suppose 5*s - 2880 = 5*d, 45*s + 4*d = 48*s - 1731. Does 30 divide s?
False
Suppose 0 = 2*b - 1 + 17. Let k = 17 - b. Is k a multiple of 5?
True
Let l = -3 - -8. Let u(t) = 2*t + 5*t - 2 - 16*t + t**2 + 5*t. Does 2 divide u(l)?
False
Let z = 366 - 350. Is z a multiple of 7?
False
Let b(k) = 21 - 6*k + 8 - 15. Is b(-5) a multiple of 14?
False
Let a(o) = -4*o + 39. Let d(b) = -b. Let k(q) = a(q) - 5*d(q). Does 11 divide k(-9)?
False
Let z = -25 + 23. Let c be z + 2*(-2)/1. Does 8 divide (-93)/(-7) + c/21?
False
Suppose -89*y + 880 = -84*y. Is 22 a factor of y?
True
Let n = -461 - -561. Does 5 divide n?
True
Let l(d) = -2*d**2 + 7*d - 13. Let t be l(-7). Is 63/5*t/(-24) a multiple of 6?
True
Let a be (-18)/3*-3*(-156)/36. Let z = a + 122. Is z a multiple of 44?
True
Let o = 989 + -617. Does 12 divide o?
True
Suppose -g = j + 3*j - 7, j = g + 3. Is 6 a factor of 428/60 + j/(-15)?
False
Let z(i) = i**3 + 3*i**2 + 3*i + 340. Is 15 a factor of z(0)?
False
Let m = 636 - 528. Is m a multiple of 54?
True
Let c be -2*(3/(-6) + (-2)/2). Suppose -18 = -4*n + 4*d + 98, 75 = 3*n + c*d. Is 4 a factor of n?
False
Suppose 0 = 4*k + b + 403 - 2110, 857 = 2*k - 3*b. Suppose o - h = 2*h + 123, -4*o - h = -k. Is 18 a factor of o?
True
Suppose o + g = -7, 8*g + 25 = -5*o + 5*g. Does 38 divide 1/(o*3/(-2190))?
False
Let n = -46 - -64. Suppose d - n = -0*d - f, 4*d - 82 = -2*f. Is d a multiple of 4?
False
Let c = 443 - -96. Is c a multiple of 44?
False
Suppose 3*g + k - 120 = 0, -5*g + 3*k + 95 = -105. Suppose -2*w + g = -0*w. Suppose -a + 6 = -w. Is a a multiple of 6?
False
Let w be (19 + -24)*(-6)/(-5). Let s(m) = m**3 + 7*m**2 + 5*m + 10. Is s(w) a multiple of 4?
True
Let o be 78/12 + 1/(-2). Let w = o + -6. Suppose 4*a - 4*v - 46 - 2 = w, -40 = -4*a + 2*v. Is a a multiple of 6?
False
Is 24 a factor of (-5 - -4) + -2 + 195?
True
Suppose -4*m + m + 6 = 0. Let w(x) = x**3 - 7*x**2 - 44*x + 7. Let f be w(12). Suppose -p = k - 101, -m*k - 5*p = -0*k - f. Does 36 divide k?
False
Let i(o) = -o**3 + 9*o**2 + 4*o - 15. Let t be -4 + 3 - (2 - 10). Is 20 a factor of i(t)?
False
Let z be 54/12 + (-2)/4. Suppose 5 = -z*a + 13. Suppose 0 = -5*i + 2*q + 236, -i + 40 = -6*q + a*q. Is 24 a factor of i?
True
Suppose -4*v - 2180 = 21*u - 26*u, -4*v = 3*u - 1276. Is 18 a factor of u?
True
Suppose 4*u = 9 - 1. Suppose u*f - 227 + 61 = 0. Is 17 a factor of f?
False
Suppose 5*q + 4*s = 2*s + 43, 40 = 4*q + 3*s. Suppose 4*d = q*d + 135. Let k = d + 85. Does 20 divide k?
True
Let c = 17 + -15. Let u(i) = -4 - i**3 + 0*i**3 + 0*i + 2*i + 8*i**c. Is u(4) a multiple of 22?
False
Let b be 71 + 0/(-3 - 0). Let h = b + -33. Is h a multiple of 19?
True
Suppose -4*v = 16, 3*v = -3*n + 4*v + 277. Let s be ((-1)/(-6))/(83/(-26394)). Let j = n + s. Does 30 divide j?
False
Let h(f) = -25*f + 102. Is 12 a factor of h(-6)?
True
Suppose 13*k - 340 = 245. Suppose 2*p = -2 - 2. Is ((-198)/k)/(p/10) a multiple of 11?
True
Is (18 + -14)/((-16)/(-3676)) a multiple of 11?
False
Let v(a) = -26*a**2 + 6*a + 3. Let z(y) = y. Let g(w) = -v(w) + 2*z(w). Let f be g(-1). Let k = -10 + f. Is k a multiple of 3?
False
Let q(m) = -m**3 - 36*m**2 - 74*m + 48. Does 61 divide q(-34)?
False
Let r(s) = s**2 + 10*s + 10. Let t be r(-8). Is 10 a factor of (-2886)/(-16) - t/(-16)?
True
Let a(z) be the first derivative of -z**4/4 + 8*z**3/3 - 13*z**2/2 + 6*z - 2. Let b be a(5). Let h = b - 1. Does 5 divide h?
True
Suppose 3*r + 4*p = -11, -3 - 1 = 2*r + 2*p. Let j(u) = -u**2 + 4*u - 1. Let b be j(r). Let t(i) = 19*i - 4. Does 8 divide t(b)?
False
Suppose 2*m + 3404 = 6*m - 4*l, -2*l + 8 = 0. Does 13 divide m?
False
Let v(x) = -x**2 - 95*x + 1474. Is 40 a factor of v(0)?
False
Let h = -20 - -33. Let f(m) = m**2 - 14*m + 16. Let i be f(h). Suppose -5*x + 76 = 4*q - x, i*q = 3*x + 81. Is q a multiple of 4?
False
Let b be (202/(-4))/(2/(-4)). Let j = -16 + b. Let o = j + -43. Is o a multiple of 14?
True
Suppose -25*s + 2146