4. Suppose -5*u + 2*u = 15. Let z be p(u). Let d = z + 43. Is 13 a factor of d?
False
Let a = 485 - 173. Suppose -2*k = 0, -3*k = 4*m - 2*k - a. Is 9 a factor of m?
False
Let p(l) be the second derivative of 1/3*l**3 + 4*l + 10*l**2 + 0. Is 23 a factor of p(13)?
True
Let f(r) = -729*r - 7. Is 38 a factor of f(-1)?
True
Is 34 a factor of ((-11070)/(-60))/(2/4)?
False
Let o be (-20)/(-5)*(39/6)/(-1). Let s be (4/(-3))/((-3)/(-27)). Let n = s - o. Does 3 divide n?
False
Let n be 196/(-6) - (2 - 1)/3. Is 17 a factor of (-22)/n + 202/3?
True
Let f be 70 + 3 + 0 + -4. Let z = f + -26. Is 33 a factor of z?
False
Suppose -6*k = -2*k - 140. Is 4 a factor of k*((-8)/28)/(-1)?
False
Suppose 6*n - 3*n = 0. Suppose -3*h - h + 20 = n. Suppose q - 160 = -5*m, 98 = h*m - 5*q - 62. Is 9 a factor of m?
False
Suppose 8*t + 93 + 347 = 0. Let q = 50 - t. Is q a multiple of 21?
True
Let m(x) = -3*x**3 + 8*x**2 + 2*x - 8. Does 7 divide m(-4)?
False
Let j(m) = 7*m**3 + 41*m**2 + 29*m + 34. Let g(q) = -10*q**3 - 62*q**2 - 44*q - 51. Let y(n) = -5*g(n) - 7*j(n). Is 18 a factor of y(-22)?
False
Let k be 0 + (6/4)/(1/(-6)). Does 19 divide 2/(-5)*10*k?
False
Suppose 32*t - 4679 = 3481. Is 15 a factor of t?
True
Let x(b) = -b**3 - 15*b**2 - 21*b - 27. Let c be x(-16). Suppose -4*m = -z - 2*m + 118, 5*m + c = 5*z. Does 27 divide z?
True
Let a(d) = 13*d**2 - 7*d - 18. Let w be a(5). Suppose 0 = -11*n + 899 - w. Is n a multiple of 19?
True
Let u(l) = -l**3 + 14*l**2 + 8*l + 5. Let b be u(13). Suppose 3*j + 3*y - b = y, 0 = j + 5*y - 71. Is 21 a factor of j?
False
Let k(c) = 266*c. Let t(l) = 7*l. Suppose -4*s = m - 6, -2*s + s + 11 = 5*m. Let n(x) = m*k(x) - 77*t(x). Is n(-2) a multiple of 7?
True
Does 13 divide 6/(-4)*16588/(-66)?
True
Let f(m) = -13*m - 10. Let g be f(5). Let l = -42 - g. Is 10 a factor of l?
False
Suppose 65*m - 63*m - 524 = 0. Is 6 a factor of m?
False
Let y(n) be the third derivative of n**5/60 - 11*n**3/6 - 5*n**2. Is y(5) a multiple of 10?
False
Let a(s) = 2*s**2 - 28*s + 49. Is 33 a factor of a(19)?
False
Let t(s) = -s - 1. Let u(r) = -2*r - 1. Let k(x) = -4*t(x) + 3*u(x). Let y be k(-1). Suppose -3 = -2*g - y*l + 1, -4*g + 16 = 4*l. Is 4 a factor of g?
True
Suppose -5*h - 67 = p, -5*h + 8 = 5*p + 363. Let d be (-5 - 0)*p/(-30). Let m = d + 33. Does 7 divide m?
True
Let o(u) = u**2 - 6*u - 10. Let j be o(7). Let h be (-14)/(-21) + (-184)/j. Suppose h = -0*c + 2*c. Is c a multiple of 24?
False
Let b = 1417 + -907. Is 17 a factor of b?
True
Does 26 divide -1 + (-9)/(-8) - (-24323)/104?
True
Let h(b) = -2*b**2 + 24*b - 6. Let k be h(11). Let x(y) = 4*y - 22. Is x(k) a multiple of 42?
True
Let j(p) = p**2 - 10*p + 3. Let h = -7 + 15. Let i be j(h). Let u = i + 29. Is 4 a factor of u?
True
Let p = 10 + -6. Suppose 3*o - p*c - 4 = -o, c + 7 = 4*o. Does 11 divide -2 + (632/4)/o?
True
Suppose 136*l - 680 = 96*l. Is 3 a factor of l?
False
Let v be (-8)/(-5) - 6/(-15). Suppose 0 = v*u + u + 3*g - 183, -214 = -4*u + 2*g. Does 14 divide u?
True
Let b be 2/6 - 4/(-6). Let u be b/(-4) - 9/(-4). Suppose 3*x - 10 = -u*x. Does 2 divide x?
True
Let n be (2 - 9/6)*-2 - -4. Is (-2 - (65 + n))*-1 a multiple of 7?
True
Suppose 0 = -x - 6 + 19. Suppose -380 = -x*v + 62. Is v a multiple of 2?
True
Suppose 271*w - 139 = 270*w. Is 11 a factor of w?
False
Let j(q) = q**3 - 8*q**2 - 6*q + 12. Let p be j(8). Let c be (-8)/p - (-32)/18. Suppose 2 - 50 = -c*u. Does 6 divide u?
True
Suppose -180 = 5*w + 115. Let n = -41 - w. Does 18 divide n?
True
Suppose -1894 = -4*r + 2*z, -98*r + 101*r = 4*z + 1413. Is r a multiple of 38?
False
Let x(g) = -g**2 + 34*g + 184. Is 7 a factor of x(36)?
True
Let n = -53 - -55. Suppose 21 = -n*j + 57. Is j a multiple of 5?
False
Let q(z) = 3*z**2 + 2*z - 8. Let w(f) = -f**3 + 8*f**2 + 2*f - 14. Let i be w(8). Is 3 a factor of q(i)?
False
Let k be 4*(-4)/(48/(-21)). Suppose k*s = 9*s - 124. Is 19 a factor of s?
False
Suppose 0 = j - 4*j + 63. Let u = -11 + j. Is (-1496)/(-20) - (-2)/u a multiple of 25?
True
Let j = -107 + 124. Is j even?
False
Let y(m) = -45*m + 3. Let o(q) = -68*q + 4. Let s(z) = -5*o(z) + 7*y(z). Let t be s(1). Suppose t = 6*f - 5*f. Is 10 a factor of f?
False
Suppose y + 284 = 734. Is y/12*(-6)/(-9) a multiple of 5?
True
Let o(r) = -58*r**3 + 9*r**2 + 12*r + 42. Is o(-4) a multiple of 35?
True
Is 234/12*(-8)/(-6) a multiple of 17?
False
Let g be 14/(-3) + 2/(-6). Let b(h) = 5*h**3 + 7*h**2 - 4*h + 4. Let t(a) = 14*a**3 + 20*a**2 - 11*a + 12. Let o(w) = 11*b(w) - 4*t(w). Does 11 divide o(g)?
False
Let z(s) = s**2 + 7*s + 10. Let m be z(-8). Let b = -23 + m. Let j(f) = f**2 - f + 9. Does 14 divide j(b)?
False
Does 41 divide (123/(-2))/(4/(-16))?
True
Let h = 139 + 206. Is 23 a factor of h?
True
Let w be ((-8)/4)/2 - -5. Suppose -x - g = 2*g + 19, w = 4*x - 4*g. Is 15 a factor of x/12 + 512/6?
False
Let o = -8 + 14. Let v = o + -5. Is v/2*(-1 + 77) a multiple of 10?
False
Let h = -70 - -43. Suppose -6*v = 113 + 205. Let k = h - v. Is k a multiple of 20?
False
Let g = -3 + 2. Suppose -18 + 60 = -3*h. Is 2*(h - 0)*g a multiple of 16?
False
Let u(i) = 5 + 1 + 7*i - 2*i. Let b be u(6). Let c = 95 - b. Is c a multiple of 10?
False
Suppose -2*x = 3*x + 50. Suppose 3*g - 39 - 9 = 5*p, -4*g = 2*p + 40. Let i = x - p. Is i even?
True
Suppose 2*v - 23 + 7 = -4*c, 0 = 2*c - 5*v - 8. Suppose 8 = f + c. Is (-8)/f + 4 - -11 a multiple of 13?
True
Suppose j + 6*f = 3*f + 24, 3*f + 12 = 3*j. Suppose 5*o = -4*l - 82, 5*l - 73 - 27 = 5*o. Is (-230)/(-4) + j/o a multiple of 18?
False
Is 49 a factor of 2/(5814/(-29495) + (-2)/(-10))?
False
Let h = -358 - -408. Does 4 divide h?
False
Let h be -1*3/(-9)*3. Let g be 3/(-3) - (h + 0). Let d = 53 + g. Is 13 a factor of d?
False
Let j(w) = w**2 - 42. Let m be j(0). Let f be ((-480)/28)/(3/m). Suppose 5*a - f = 2*z, z = 5*a - 2*a - 145. Is 11 a factor of a?
False
Let b(g) = 8*g + 20. Let i be b(-2). Is -59*(4 + -5) + -3 + i a multiple of 15?
True
Let f(i) = i + 0*i + i + 0*i + 37. Is 3 a factor of f(-16)?
False
Let i = 35 - -1. Does 18 divide i/(1 + 2/(-3))?
True
Suppose -2*r = 3*o + 28, 0*o = 5*o + 3*r + 48. Let l = 14 + o. Suppose -2*q + 5*w = -43, -l*q + 3*q + 4*w - 28 = 0. Is q a multiple of 15?
False
Let g = 33 + -33. Suppose 5*u = -t + 171, g = -3*u - 3*t - 0*t + 105. Is u a multiple of 10?
False
Suppose 0 = 3*l - 23 + 602. Let i = l - -325. Does 33 divide i?
True
Let x(d) = -d + 7. Let o be x(3). Let n(k) = -o - k + 6 + 5. Is 2 a factor of n(0)?
False
Let k(v) = v**3 + 3*v**2 + 1. Let h be k(-3). Let z(s) = 15*s + 1. Is z(h) a multiple of 4?
True
Let c be (-2)/1*-1*(-3)/(-2). Does 26 divide 9*c*((4 - 2) + -1)?
False
Let a(n) = n**2 - 9*n + 13. Is 20 a factor of a(12)?
False
Suppose 2*l - 2 = 0, 5*k - 4*l - 1988 = 8383. Is k a multiple of 83?
True
Suppose 3*d - 2*d - 2 = 0. Let l = d - -1. Does 9 divide (-220)/(-8) - l/6?
True
Let x(m) = m**2 - 7*m + 77. Suppose 3*o + 5*i = -5, -2*o - o - 3*i - 3 = 0. Does 7 divide x(o)?
True
Is 8 a factor of 61572/26 - (-54)/(-351)?
True
Let r be (4/(-3))/((-4)/12). Let b = 7 - r. Suppose 0 = b*v - 112 + 22. Does 15 divide v?
True
Let n = 13 + -7. Suppose n*c - 11*c = 0. Let i(l) = -l**3 + l + 52. Is 15 a factor of i(c)?
False
Suppose 2*c = 4*i - 6514, 4*i + c - 9146 = -2647. Is i a multiple of 18?
False
Let a(m) = -6*m**2 - 6*m - 17. Let x(u) = -5*u**2 - 5*u - 16. Let t(y) = -6*a(y) + 7*x(y). Is 20 a factor of t(9)?
True
Suppose 20*y - 1814 - 1366 = 0. Does 34 divide y?
False
Suppose 0 = 12*p + 2*p - 25900. Is 14 a factor of p?
False
Let o be 8/(-6)*(-6)/4. Suppose 0 = -o*f - 2*f - 2*l + 8, -3*f - l = -8. Suppose 3*k + 0*k - 32 = -z, 0 = -3*z - f*k + 111. Is 11 a factor of z?
False
Suppose -3*d + 482 = 5*q, -3*d - 248 = -3*q + 46. Is 73 a factor of q?
False
Suppose 0*a = -3*a + 12. Suppose a*r - 20 = -i, 4*i - i - 12 = 0. Let z(d) = d**3 - 2*d**2 + 6*d - 3. Does 23 divide z(r)?
False
Is 16/20 - (-1989)/45 a multiple of 8?
False
Suppose 0 = -12*h + 26790 + 1374. Does 28 divide h?
False
Suppose -17 = 5*v + 13. Let c = 6 + v. Suppose i = -3*d + 2*i + 193, -i - 1 = c. Is d a multiple of 32?
True
Let k(w) = -37*w**3 - 6*w + 3. Is k(-3) a multiple of 15?
True
Let x(s) be the second derivative of -s**4/12 + 5*s**3/3 - 7*s**2/2 - 15*s. Is x(5) even?
True
Let p be 345/(-4) + 