*l*2/12?
False
Let h(u) = -86*u**3 - 1 - u + 2*u**2 + 58*u**3 + 54*u**3. Is h(1) a multiple of 17?
False
Let i(b) = -b**3 - 21*b**2 + 15*b - 4. Is 10 a factor of i(-22)?
True
Let f(n) = 0*n**2 - 6*n + n + 2*n - 5*n**2. Let b be f(-2). Let a = 25 + b. Is 11 a factor of a?
True
Let h = 824 + 80. Does 8 divide h?
True
Suppose -4*o + 11 = 3*u, o - 28 = 4*u - 68. Suppose u*z - 4*z - 180 = 0. Is 18 a factor of z?
True
Let c = 2591 - 1883. Is 3 a factor of c?
True
Let n(c) = c**3 - 5*c**2 - 7*c + 6. Let m be n(6). Suppose m = 5*f - 85 - 35. Does 6 divide f?
True
Suppose h - 1 + 0 = 0. Suppose 4*p = 3*p + h. Does 8 divide -2 + 108/(p - -3)?
False
Let d = -398 + 713. Is 14 a factor of d?
False
Let v = 1 - 5. Is 12 a factor of 2/v*-18*8?
True
Let h = 721 + -357. Does 13 divide h?
True
Let g(p) = p**3 + 7*p**2 - 6*p - 7. Let n(t) = t**2 - 14*t - 21. Let b = -1 + 16. Let j be n(b). Does 21 divide g(j)?
False
Let y = 13 - 9. Let v(b) = 1 + 0*b - y*b + 0*b + 15*b**2 + 5*b. Is v(-1) a multiple of 5?
True
Is 42/(-12) - -3 - 3445/(-10) a multiple of 2?
True
Let k(m) = 48*m - 71. Is 6 a factor of k(13)?
False
Let v = -14 + 2. Let s = 1 - v. Is s a multiple of 13?
True
Suppose -4*z + 1 = -y + 31, 0 = 4*y - 2*z - 92. Suppose 4*o - y + 6 = 0. Suppose -o*v = -h + 60, h = 5*v + 19 + 42. Is 7 a factor of h?
True
Suppose -51 = -o + 3*a, 4*o - 2*a - 154 = -0*o. Suppose -o = -5*r + r. Is 129/r - (-2)/3 a multiple of 10?
False
Suppose 9*q - 6277 = -2218. Is q a multiple of 22?
False
Suppose -1054 - 9602 = -12*w. Is w a multiple of 12?
True
Suppose 0 = 2*i - 4*c - 3678, 354*c + 9 = 351*c. Is 39 a factor of i?
True
Let j(r) = -39*r - 13. Let h be j(-11). Suppose -5*k - 16 + h = 0. Does 20 divide k?
True
Let m = 150 + -102. Suppose m = -18*f + 20*f. Is 12 a factor of f?
True
Suppose -3*x - p + 9233 = 0, -3*x - 2*p + 5540 = -3692. Is 114 a factor of x?
True
Suppose -5*a - 8 = -9*a. Suppose 0 = 5*w + 4*p - 54, 0 = 2*w + a*p - 33 + 11. Does 2 divide w?
True
Let j(o) be the second derivative of -o**5/20 - 5*o**4/12 + 7*o**3/6 + 4*o**2 - 2*o. Let h be j(-6). Does 10 divide (-29)/(-3) - h/(-6)?
True
Suppose 0 = -20*y + 7993 - 973. Suppose y = 6*s - 405. Does 21 divide s?
True
Let c(s) = -10*s - 6. Suppose -4*r - 4*i = -36, -4*i - 5 - 4 = -5*r. Let u(z) = 10*z + 7. Let y(l) = r*u(l) + 6*c(l). Does 2 divide y(-1)?
False
Suppose -2*s + 282 = o, -4*s + 10 = -2*s. Suppose 2*g - o = -2*g. Is g a multiple of 13?
False
Suppose 15*g + 164 = 17*g. Is 10 a factor of 2*(-6)/4 + (g - -1)?
True
Suppose 0*d = -5*d - 3*x - 39, -3*d - x - 21 = 0. Is 15 a factor of (-2)/(-3)*(-657)/d?
False
Let r = 50 - 11. Is 6 a factor of r?
False
Suppose 2*h = 5*a + 15, -5 = a + 4*h - 2. Let g = a - 6. Let k = 60 - g. Is 23 a factor of k?
True
Let s = -2758 + 4558. Is 60 a factor of s?
True
Does 4 divide (-10)/(110/(-33)) - -129?
True
Let z(m) = -m**2 - 4*m + 61. Suppose 2*r = r - 3*r. Is 7 a factor of z(r)?
False
Suppose -9 = -v + 2*l + l, -15 = -2*v + 3*l. Let k = v + -2. Is 4 a factor of k/2 + -11 + 15?
False
Suppose 3*y - 95 = 46. Suppose 3*f + 67 = 2*v, -4*v = -2*v + f - y. Suppose 0 = -2*m + v - 10. Is m a multiple of 3?
False
Let s(j) = j**2 - 3*j. Let h be s(4). Suppose 69 = 7*g - h*g. Suppose 111 = 3*z - 3*x, -5*x + g + 44 = 2*z. Is 15 a factor of z?
False
Suppose -49*y + 93150 = -3*y. Is 15 a factor of y?
True
Let k(p) = 10*p**3 - 4*p**2 - 3*p - 4. Is 16 a factor of k(4)?
True
Suppose -2*v - 4 + 10 = m, -6 = 2*v - 5*m. Suppose -v*l = 3*l. Suppose -x + 12 + 4 = l. Is x a multiple of 10?
False
Let g = 20 + -16. Suppose u = -u + g. Is 81/u*16/24 a multiple of 27?
True
Is 40 a factor of (-4796)/(-10) + 86/215?
True
Suppose 2*v + 0*v = 204. Suppose k + k = -v. Let a = -29 - k. Is 18 a factor of a?
False
Is 18 a factor of 53892/44 - -3 - (-2)/11?
False
Suppose -4*w + 6538 = 4*r - 1582, -r = -3*w - 2014. Does 118 divide r?
False
Let o(z) = 19*z**2 + 42*z - 10. Is 3 a factor of o(4)?
True
Suppose m = 2*b - 6, 0*b - 15 = -2*m - 5*b. Suppose 0 = -9*u - m*u + 99. Does 2 divide u?
False
Let j be 2/(-7) + (-2118)/(-14). Let c = -97 + j. Is c a multiple of 16?
False
Suppose 489*t = 512*t - 112608. Is t a multiple of 59?
False
Suppose 385 = 7*f - 595. Is 10 a factor of f?
True
Let z be (6/2)/((-24)/(-16)). Suppose -z*k + 29 = -23. Let u = k + -2. Does 12 divide u?
True
Let x(a) = -5 + 1 + 3 + 45*a. Let w be x(-1). Let p = -4 - w. Is p a multiple of 21?
True
Is 5 a factor of 4/(16*(-4)/(-9616))?
False
Suppose 5*i = 3*x + 2048 - 213, -3*x + 2605 = 7*i. Does 91 divide i?
False
Let s(m) = 2*m + 1. Let c(j) = -7 + 2*j + 3 - 2*j + j. Let z be c(5). Is s(z) a multiple of 3?
True
Suppose 2*t + 693 = 2*g - 849, -3*g + 5*t + 2313 = 0. Let o = g + 317. Is 17 a factor of o/14 - (-18)/63?
False
Let b = 733 + 409. Is b a multiple of 9?
False
Let p be 2/(-3) - (708/18 - -4). Let i be ((-6)/(-4))/((-9)/444). Let y = p - i. Is y a multiple of 10?
True
Let d be (-4)/14 + (-172)/(-14). Let r = d - -11. Suppose -15 + r = 2*s. Is s a multiple of 4?
True
Let j be -3 + 3 - 1 - -4. Suppose 466 = j*x + 46. Does 14 divide x?
True
Suppose 3*v + 494 = 2*v. Let n = -275 - v. Let k = n + -134. Is k a multiple of 24?
False
Let a be 3/(0 - 1/(-2)). Let v be (-10 - 0)*(12 + (-325)/26). Suppose -v*r + a + 44 = 0. Does 9 divide r?
False
Let m(b) = -14*b - 57. Suppose 3*y + 54 = -4*t, -4*y = -5*t - 2*y - 79. Is 8 a factor of m(t)?
False
Let b(i) = i**2 - 6*i + 3. Let r be b(5). Let p(g) = -14*g**3 + g**2 - g + 1. Is 17 a factor of p(r)?
True
Let s(m) = m**3 + 12*m**2 + 6*m. Is s(-10) a multiple of 14?
True
Is 14 a factor of (944/(-8))/(-2) - (-9)/(-3)?
True
Let v(b) = -b**2 + 6*b - 1. Let u = -64 - -39. Let q be ((-20)/u)/((-2)/(-10)). Does 4 divide v(q)?
False
Suppose 1156 + 1700 = 8*h. Does 3 divide h?
True
Let p(d) = 6*d - 41. Let j be p(6). Let o = j - -60. Is o a multiple of 11?
True
Is (-37702)/(-70) - (-9)/(-15) a multiple of 93?
False
Suppose 3*r + 107 = 4*h, 3*h - 65 = 3*r + 16. Suppose 30 = w - h. Is 8 a factor of w?
True
Suppose 0 = 2*c - 424 + 136. Does 18 divide c?
True
Suppose -5*b = -5*w + 305, -95 - 216 = -5*w + 3*b. Let d = w - 32. Is d a multiple of 32?
True
Let z be ((0/(-1))/(5/(-5)))/(-1). Suppose 4*q = z, 4*d - 3*q - 164 = -6*q. Does 26 divide d?
False
Is (-1272)/(-18)*39 - (5 - 3) a multiple of 34?
True
Suppose -2*i = 4*c - 60, -5*i = 4*c - 52 - 92. Suppose -5*n + i = 3. Let r(b) = b**2 + b + 6. Is 12 a factor of r(n)?
True
Let k = 694 - 312. Does 17 divide k?
False
Let j = 1 + 0. Let y be -3 + -2 + j + 4. Suppose 2*k = 4*h - 96, 2*h - 36 = 4*k - y*k. Is h a multiple of 13?
True
Let a(d) = -5*d**2 - 30*d. Let h be a(-7). Let o = 106 + h. Does 22 divide o?
False
Suppose 656*g - 29304 = 645*g. Is 74 a factor of g?
True
Suppose 7*n = 15*n - 1408. Does 10 divide n?
False
Let d(o) be the first derivative of -3*o**2/2 - 6*o + 1. Let l be (4 - -2)/((-6)/9). Does 7 divide d(l)?
True
Let g(a) = a**3 - 10*a**2 + 10*a - 7. Let c be (-6)/(-9) + (-75)/(-9). Let q be g(c). Is (0 + q)/(8/100) a multiple of 11?
False
Suppose 54 = 2*y + x, -4*x = -3*y + 91 + 12. Let f = y + 33. Does 9 divide f?
False
Let s(j) = -j**3 - 4*j**2 + 4*j + 6. Let g = 12 + -17. Let l be s(g). Let z = 2 + l. Does 12 divide z?
False
Let v = 11 - 6. Let d = v - 0. Suppose 5*o - d*l - 265 = 0, -3*o + 5*l = -111 - 42. Does 14 divide o?
True
Let g(y) = y**2 - 4*y + 107. Let o(r) = r**3 + 7*r**2 + r + 7. Let l be o(-7). Let n be g(l). Suppose -4*x = -3*x + u - n, 0 = -5*u + 10. Is 21 a factor of x?
True
Let c = 188 + -88. Is 4 a factor of c?
True
Suppose 393 = 2*x + 5*w, -w + 0*w + 3 = 0. Let q = x - 114. Is q a multiple of 25?
True
Let m = 659 - 542. Is m a multiple of 3?
True
Let o = -40 - -28. Let k be ((-1)/(-2))/((-2)/o). Does 7 divide 21 + (1 - (-2 + k))?
True
Let n(d) = 2*d**3 + d**2 - 2*d + 1. Let c be n(1). Let a be 0/(-23) + (0 - -57). Suppose y + c*y = a. Is y a multiple of 9?
False
Suppose 32*r + 13*r = 12735. Is r a multiple of 31?
False
Let t(l) = l**3 + 5*l**2 + 4. Let g = 2 - 7. Does 2 divide t(g)?
True
Let l = -5 + 396. Is 14 a factor of l?
False
Suppose -h - 24 = -1. Let j = 142 - 79. Let y = j + h. Is y a multiple of 30?
False
Let i(x) = -x**3 + 4*x**2 - 4*x + 3. Let m be i(3). Suppose r - l = -1 - 1, -2*r - 4*l + 20 = m. Suppose 3*b + 36 = 4*b - 5*a, 