 4. Let a be c(i). Suppose 0*m = -d - m + 61, -a*m = 12. Is 12 a factor of d?
False
Is 1*398/4 - 2/4 a multiple of 9?
True
Let w = 2 - 2. Suppose w = -2*u - 0*u - 30. Let l = -3 - u. Does 12 divide l?
True
Let g(l) = 3*l**2 - l - 12. Let v be g(-6). Let y = v + -77. Is y a multiple of 10?
False
Suppose -3*p = q + p - 15, 0 = 4*q - 5*p + 3. Suppose v - 1 = q. Is 12 a factor of 1 + -18*v/(-2)?
False
Let p be (-7 - (-5 - -2)) + 3. Let j be (3 + p)*(-9 + 12). Does 10 divide (33/(-22))/(j/(-64))?
False
Suppose -2*i + 5*y = 36, 3*i - 8*y = -3*y - 44. Let c be (i/20)/((-1)/5). Suppose 0 = -c*f + 20 + 48. Is f a multiple of 17?
True
Suppose -5863 = -16*a - 247. Is a a multiple of 13?
True
Let c = 956 + -921. Does 9 divide c?
False
Let m be ((-1712)/321)/(2/3 + -1). Suppose -3*z + m = 2*h + z, 2*z - 24 = -3*h. Is h a multiple of 4?
True
Suppose -2*m + 1 = v, 2*v - 2 = -2*m - 4. Suppose -2*o + 10 = j, 16 = -2*o - m*o. Let w = j + 12. Does 15 divide w?
True
Let o(b) = 22*b**3 + 8*b**2 + 3*b - 11. Does 49 divide o(4)?
False
Suppose 12 + 0 = 4*s. Let p be (-1)/s*(-342 - 3). Suppose -2*i - 4 = 0, 139 + p = 4*h + i. Is h a multiple of 16?
True
Suppose -9*u - 87 = -735. Is 6 a factor of u?
True
Is 9 a factor of ((-10)/6)/((-14)/8316)?
True
Let q(m) = -10*m**3 - m - 2. Let o be q(-1). Suppose 6*x = o*x + 5268. Is 22 a factor of 4/16 + x/(-16)?
True
Suppose 0 = -9*w + 145 + 638. Suppose 35 = x - w. Is x a multiple of 6?
False
Let g = -1 + 7. Suppose -3*a - 2*a = -3*f - 6, 0 = -2*f + g. Suppose -m - 54 = -a*m. Does 9 divide m?
True
Let b(f) = -f**2 + 17*f + 24. Let h be b(18). Is 9 a factor of (-605)/(-33) + (-2)/h?
True
Let y be 2/(-4) + (-2)/4. Let a(s) = -s + 2. Let x be a(-2). Is (7/(-1))/(y/x) a multiple of 7?
True
Let q be (4/(-3))/(14/(-21)). Does 11 divide q + (1 - 19)/(-2)?
True
Suppose c + 7 - 3 = -w, c + 4 = 5*w. Let z(l) = -2*l - 3. Let d be z(c). Suppose -d*q + 225 = -0*q. Is 13 a factor of q?
False
Let x = -8 - 12. Let y = 4 + x. Let l(q) = -2*q - 24. Does 8 divide l(y)?
True
Let i(a) = a**3 + 7*a**2 - 25*a - 20. Does 13 divide i(-9)?
False
Let t(b) = -51*b - 4. Let r be t(-2). Suppose -4 + r = s. Suppose -s = -3*y + 56. Is 20 a factor of y?
False
Let x(s) = -6*s**2 - 2*s + 3. Let h(w) = -3*w**2 - w + 2. Let l(k) = 5*h(k) - 3*x(k). Let c = 8 - 12. Is l(c) a multiple of 9?
True
Let f = 24 - 16. Suppose -f = -4*w + 24. Is 6 a factor of w?
False
Let k be (-3)/(-12)*4 - 87. Let q be -2 - k*(2 + -1). Let u = q + -43. Is 7 a factor of u?
False
Let u(b) = b**2 + b + 10. Let o be u(0). Let s(i) = i**2 - 8*i - 4. Does 3 divide s(o)?
False
Suppose -607 - 2083 = -5*s. Is s a multiple of 12?
False
Let q = 156 + -155. Let o(u) = -29*u**2 - 1. Let x be o(-1). Is 20 a factor of (-285)/x*4/q?
False
Let g(n) be the first derivative of n**3/3 + n**2 + 3*n + 5. Let u be g(-2). Suppose -u*x + p + 97 = 0, -2*x + 60 = -4*p - 8. Does 8 divide x?
True
Let y = 18 - 15. Suppose -5*w + 2*a = -10, -y*a + 6*a = -w + 19. Is w even?
True
Suppose -5*m + 8*m = 324. Suppose 0 = -4*y - 5*q + 116, -4*y - 3*q = -0*y - m. Does 14 divide y?
False
Let d(s) = s**3 + 14*s**2 - 2*s + 24. Is d(-13) a multiple of 10?
False
Is (-6)/1*7884/(-24) a multiple of 73?
True
Let n(m) = -9*m**3 + 20*m + 5*m**3 - 16*m**2 + 2 + 5*m**3. Is n(15) a multiple of 11?
True
Let s be 27*(0 - 44/(-12)). Suppose -3*p - s = -2*f, f + 14 - 36 = -4*p. Is f a multiple of 21?
True
Let p(u) = -26*u - 18. Let b be p(-6). Suppose 2*f - b = 4*v, 3*f - 5*f - v + 128 = 0. Does 30 divide f?
False
Let w(n) = n**2 - 8*n + 5. Let g be w(7). Let i(b) = 10*b**2 + b + 1. Let a be i(g). Suppose 5*r + y = 43, 3*y - a = -4*r + 2. Is r even?
True
Let q be (-1)/(-1*2/6). Suppose 61 = 16*f - 3. Suppose -b - 3*n + q = -f, -4*n + 20 = 4*b. Does 2 divide b?
True
Let x = -20 - -11. Let s = -10 - x. Is 10 a factor of s + 2 - (-36 + 7)?
True
Let j = -266 + 277. Is 3 a factor of j?
False
Let b be (18/12)/((-2)/20). Let f = 15 - b. Is 30 a factor of f?
True
Let q(d) = -2*d**3 - 24*d**2 - 7*d - 42. Is 14 a factor of q(-12)?
True
Let h(d) = 7*d - 6*d + 7 - 2*d + 2*d**2. Let c(b) = -2*b**2 + 4*b + 1. Let o be c(3). Is 23 a factor of h(o)?
False
Suppose -5*l + 2350 = 3*q, 274 = -4*l + 4*q + 2186. Is 47 a factor of l?
False
Suppose 4*h - 351 - 249 = 0. Is h a multiple of 11?
False
Suppose -3*k = -2*j + 16, 0*j + 64 = 4*j + 2*k. Suppose 46 = 4*x - 2*p, -x + p + j = -0*p. Is 8 a factor of x?
False
Does 11 divide 204570/120 - 3/(-12)?
True
Let r = -4 + 6. Let d(j) = j**3 + 7 - 10*j - 5*j**2 - 2*j + 13*j**r. Does 13 divide d(-9)?
False
Let w(s) = 2*s - 9. Let m be w(6). Suppose o - 14 = m*x, -x = -4*o + 27 + 40. Is o a multiple of 3?
False
Suppose 0 = -7*d + 11*d + 28. Is (-232)/(-6) - d/21 a multiple of 11?
False
Let o be 8/(-6)*9*(-14)/21. Suppose -7*n - 18 = -o*n. Is n a multiple of 3?
True
Let i = 1758 + -1065. Is i a multiple of 9?
True
Let r = 639 + -266. Is r a multiple of 31?
False
Suppose -6*u + 745 + 293 = 0. Suppose -u = -3*b - 44. Is b a multiple of 16?
False
Suppose 0*b + 5*b - 20 = 0. Suppose -b*m = -5*r - 508 - 57, 5*m = 4*r + 704. Suppose 2*u - 116 = m. Does 32 divide u?
True
Let l be (7/21)/((-1)/(-12)). Suppose -5*y = 2*b - 235, 3*b + l*y - 330 = y. Let t = -44 + b. Is t a multiple of 18?
False
Let p(k) = k**3 - 4*k**2 + 2*k + 3. Suppose 0 = 2*g - 4, 3*j - 3*g - 68 + 2 = 0. Suppose 0 = -4*b + b + 3*x + j, -3*b = -5*x - 30. Does 8 divide p(b)?
False
Let n(u) = 3*u + 21. Let m be n(19). Suppose -2*x + 2*d + 0*d - m = 0, 204 = -5*x + 2*d. Does 9 divide ((-40)/(-12) + -4)*x?
False
Let i = 19 - 29. Let l = i + 13. Suppose -l*r + 38 = -7. Is r a multiple of 15?
True
Let w(f) = -68*f - 456. Is w(-7) a multiple of 2?
True
Is 5/1 - 14/(308/(-4070)) a multiple of 11?
False
Let p = -6 - -6. Let a be p + -6 + 0 + 3. Is (4/a)/(1/(-12)) a multiple of 16?
True
Suppose 2*t = t + 9. Let s(y) = -y**2 + 2*y - 3. Let l(c) = 5*c**2 - 9*c + 13. Let u(o) = -2*l(o) - 11*s(o). Does 13 divide u(t)?
True
Suppose -8*c + 10 = -3*c. Let n be 5/c*(1 + 1). Suppose g = -n*k + 23, 0 = 2*g + 2*g + k - 73. Is g a multiple of 9?
True
Let g(z) = -z**3 + 4*z**2 - 9*z + 4. Let k be g(6). Suppose n - 5*v - 77 = 131, -2*v = 2. Let s = k + n. Is 22 a factor of s?
False
Let i(t) = -t**2 - 15*t - 6. Let h be 1 + (-33 - (3 - 1)). Let w = h - -22. Is 13 a factor of i(w)?
False
Let l(q) = -3*q**3 - 9*q**2 - q - 11. Let g be l(-5). Suppose 0 = -d - d + g. Does 9 divide d?
True
Let y(c) = -c**2 + 24*c - 18. Let o be y(27). Let f = -82 - o. Is f a multiple of 17?
True
Let m = -218 - -338. Let t = m + 118. Is 14 a factor of t?
True
Is (8/20)/(((-6)/(-2))/2820) a multiple of 8?
True
Suppose 2*d + 3*l = -199 - 30, -6 = -2*l. Is (120/(-14))/(17/d) a multiple of 15?
True
Suppose d = 483 - 63. Let p = d - 291. Suppose 17 - p = -4*n. Is n a multiple of 6?
False
Suppose m + 5032 = 9*m. Let a = m + -402. Is 45 a factor of a?
False
Suppose -w + 3*k - 84 + 606 = 0, 4*w + 5*k = 2122. Is w a multiple of 44?
True
Let o(s) be the third derivative of -s**6/360 - 3*s**5/40 + 7*s**4/24 + 2*s**3/3 + 9*s**2. Let h(b) be the first derivative of o(b). Is 7 a factor of h(-9)?
True
Let q(g) = g**3 + 2. Let d be q(0). Let f be -4*(-1)/(d/2). Suppose f*s = 3*m - 224, 4*m + 6*s - 247 = s. Is 18 a factor of m?
False
Is 5 a factor of (5/(-3))/((-1)/69 + 0)?
True
Let b = 57 - 1. Is b a multiple of 13?
False
Let u be (-1 - (-3)/(-6))/(9/12). Does 18 divide (5 - (-55)/(-35))*(-21)/u?
True
Let w(n) = -12*n + 51. Is 9 a factor of w(3)?
False
Suppose 3*q = -3*j, 4*j + 3 = 3*j + 2*q. Let w be -10 + 5/(-5) + j. Is (-2)/2 + w + 63 a multiple of 25?
True
Suppose 2*h - 31 - 209 = o, 4*o + 246 = 2*h. Is h a multiple of 2?
False
Let p = 188 - -48. Suppose 3*a - o + 2 = -170, 3*o - p = 4*a. Let u = a + 104. Is u a multiple of 25?
False
Let i(q) = q**3 + 4*q**2 + 9*q. Suppose 4*b - 7 = 3*t + 3, -2*b = 4*t + 28. Let a be i(t). Is 1/(-2*1/a) a multiple of 17?
False
Suppose -3*o = 2*g - g - 47, g = o - 17. Let i be o/(-6)*(-3)/(-2). Let r = i - -10. Is 3 a factor of r?
True
Let w = 99 + 60. Does 17 divide w?
False
Suppose 112*o + 15 = 107*o, 3*c - 2*o = 3891. Is 28 a factor of c?
False
Let w(o) be the second derivative of 10*o**3/3 - 16*o**2 - 2*o. Does 5 divide w(6)?
False
Is 24 a factor of 3/(-4)*-1*(8 - -1368)?
True
Let y be