et j be ((-2)/(-4) + 1)/((-5)/30). Let r(l) = -l**2 - 4*l + 13. Let f(z) = z**2 + 4*z - 14. Let d(q) = -4*f(q) - 5*r(q). Is 9 a factor of d(j)?
True
Let q(w) = 8*w + 43. Suppose -16*u + 15*u = -14. Is q(u) a multiple of 41?
False
Let n(f) = f**3 - 18*f**2 - 19*f - 1. Let i be n(19). Let l(g) = -10*g**3 + g**2 - 1. Is 10 a factor of l(i)?
True
Let r be -201 - ((-2)/(-1) - -2). Let v = 300 + r. Does 18 divide v?
False
Let s = -32 + 29. Let i be (-2)/s*417 - -2. Suppose -5*u + i = 35. Is u a multiple of 7?
True
Suppose 990 = 14*c - 5*c. Is c a multiple of 3?
False
Suppose 5*u = 2*h + 35, -2*u + 11 = 4*h - 27. Let z = 14 - u. Is 3/30*28*z a multiple of 7?
True
Is 21 a factor of 57*(-2)/7*(-1330)/30?
False
Let s be (-1)/(-5) + 5/(-25). Let n(m) = m + 5. Let g be n(3). Suppose g*l - 53 + 5 = s. Is 3 a factor of l?
True
Let q = 947 + -505. Is q a multiple of 26?
True
Suppose 0 = -2*l - 8*c + 4*c + 2364, -3548 = -3*l - 4*c. Is l a multiple of 8?
True
Let k = 3 + -1. Suppose 2*o - 2*v = 34, 10*o - 8*o + 4*v - 28 = 0. Suppose -k*b = -4 - o. Does 4 divide b?
False
Does 16 divide (9/18)/((-4)/(-1248))?
False
Suppose -3*z = 3*g - 1677, 7*g + 1121 = 9*g + 5*z. Is 22 a factor of g?
False
Let y = 1467 + -137. Is y a multiple of 35?
True
Let a be 1/(-3 + 2 - 12/(-8)). Does 3 divide (a/(-2))/(16/17 - 1)?
False
Let n = -976 - -1033. Is 19 a factor of n?
True
Let m = 2289 + -1807. Is 5 a factor of m?
False
Let j(p) = 6*p + 9. Let s be ((-2)/(-6))/(2/24). Is 9 a factor of j(s)?
False
Let t(f) = -19 + 5 + f + 9. Let q be t(-4). Let i = q - -24. Is 5 a factor of i?
True
Let m(o) = o**3 - 14*o**2 + 14*o - 8. Let l be m(13). Suppose 3*t = 2*t + l. Suppose t*p = 3*v - 20 + 46, 4*v = 5*p - 23. Does 4 divide p?
False
Let f(l) = l**2 - 12*l + 6. Let z be f(9). Let d = z - -30. Suppose 3*q - 130 = -2*q + 5*h, -3*h + d = 0. Is 12 a factor of q?
False
Suppose -4*u = 3*w - 11, w + 0*w = 4*u + 9. Suppose 0 = -w*b - 2*d + 4, -3*d + 2 + 4 = 5*b. Suppose z - 2*p - 31 + 4 = b, -3*z + p + 96 = 0. Does 24 divide z?
False
Suppose m - u - 59 = -0*u, 5*m + u - 277 = 0. Let k = m + 109. Is 41 a factor of k?
False
Suppose d - 5*c - 102 = 0, -2*d + 126 = c - 45. Is d a multiple of 27?
False
Suppose -4*a - 6 = -3*o, 2*o - 2 = -2*a + 2. Suppose a = -2*c + 235 - 75. Does 20 divide c?
True
Suppose -2*g = g - 45. Let n = 8 + g. Does 10 divide n?
False
Does 4 divide (-100 - -2)*26/(-91)?
True
Is 9 a factor of (-2)/8 - (-255312)/64?
False
Suppose -29 - 7 = 3*v. Is (v*9/(-48))/(3/8) a multiple of 3?
True
Is 24 a factor of 755 - (3 - ((-30)/(-3) + -2))?
False
Let d(y) = 110*y + 234. Is d(9) a multiple of 12?
True
Let r be 8/((-16)/(-66))*1. Is ((-22)/r)/((-4)/78) a multiple of 6?
False
Let j(q) = -q**2 - 5*q - 1. Suppose -3 - 8 = 2*d + o, 0 = d - 2*o - 2. Let s be j(d). Suppose s = -y, -t + y = -4*y - 45. Is t a multiple of 15?
True
Suppose 459 = 8*g - 5. Let k = g - -12. Is k a multiple of 13?
False
Suppose f = 3*f + 8. Let z be 20/15*(-210)/f. Let m = z + -30. Does 13 divide m?
False
Let w = 137 - 243. Suppose 3*f = 5*c + 294, f - 108 = 2*c + 3*f. Let s = c - w. Is s a multiple of 16?
False
Suppose -3021 = -8*k + 5131. Is 12 a factor of k?
False
Let s(q) = q**2 + 7 - 1 + 2 + 9*q + 6. Let u be s(-7). Suppose 2*x - p = 15, 4*x + u*x = 4*p + 28. Is 3 a factor of x?
False
Suppose -2*v - 10 = 3*v. Let f = v - -5. Suppose f*z - 40 = 2*d + 166, 4*d = -16. Does 22 divide z?
True
Let n be (-1 - 68 - 6)/((-3)/4). Let i = n - 27. Is 19 a factor of i?
False
Is (2878/(-18))/((-57)/513) a multiple of 7?
False
Let f(b) = -b + 24. Let z be f(18). Suppose 2*g - 20 = z*g. Is 11 a factor of (10/4)/g*-34?
False
Suppose -2*a - 42 = 3*s - 176, 3*s = -3*a + 195. Is 7 a factor of a?
False
Let w(r) = -r**3 - 2*r - 12. Let p be w(0). Is 20 a factor of 3/(4/((-752)/p))?
False
Let d(w) = 3*w**2 - 2*w - 1. Let k be d(-1). Suppose q + 0 = s + 25, -80 = -2*q - k*s. Is 15 a factor of q?
True
Suppose -210 = -3*i + 6*i. Let u = 287 - 179. Let x = i + u. Does 19 divide x?
True
Let m(z) = -12*z - 12 + 33*z - z. Let b be (42/4)/(-3)*-2. Is 33 a factor of m(b)?
False
Suppose q + 5*b - 20 = -3*q, 5*b - 20 = 4*q. Suppose -5*i - i + 30 = q. Is 2 a factor of i?
False
Suppose 3*c = 3*d, 5*d - 18 = -2*c + 3. Let u be (126/(-27))/((-2)/c). Let q(n) = 5*n + 10. Does 22 divide q(u)?
False
Let b(m) = -m**3 + 16*m**2 - 16*m + 15. Let w be b(15). Suppose w = -0*d + 4*d - 28. Suppose 0 = -d*f + 6*f + 75. Is 14 a factor of f?
False
Let v(f) = -f**3 + 10*f**2 + 7*f + 20. Is 13 a factor of v(6)?
False
Suppose 20 = 5*s, -2892 = 4*t - 8*t - 3*s. Is t a multiple of 80?
True
Let z(g) = 88*g + 31. Let u be z(9). Suppose -d + u + 115 = 5*l, 932 = 5*l + 4*d. Does 39 divide l?
False
Let x = 11 - 8. Suppose -5*v = 4*a - 5, x*a = -3*v + 8*a - 34. Is 8 a factor of (-48)/v*1/1?
True
Let b(o) = -107*o + 138. Is 37 a factor of b(-9)?
False
Let p(w) = 5*w + 31. Let j be p(12). Suppose 4*o = j + 53. Is o a multiple of 3?
True
Let w(n) = 17*n - 5. Let o(h) = h. Let i(k) = 92*k - 27. Let m(l) = 3*i(l) - 3*o(l). Let x(r) = -2*m(r) + 33*w(r). Does 13 divide x(3)?
False
Suppose -2*i - 3 = r - 0*r, 3*r = -3*i. Suppose -168*t + 169*t + 1518 = 0. Is 7 a factor of t/(-55) + i/5?
False
Suppose 9*i - 7*i + 458 = 4*s, -3*s = 3*i - 321. Does 2 divide s?
True
Let w(u) = -2*u**2 - 36*u + 22. Let f = 77 + -92. Does 28 divide w(f)?
True
Is 10 a factor of 30/(-4)*(2 - (-182)/(-21))?
True
Let k(q) = q**3 + 4*q**2 - q + 2. Let i be k(3). Suppose -i - 4 = -3*c. Let h = 55 - c. Does 8 divide h?
False
Suppose -22800 = -42*g - 38*g. Does 5 divide g?
True
Suppose -l = 4*m - 471, l + 2*m - 629 + 148 = 0. Suppose 4*y - 5*q - l = 0, 3*q = -5*y + 7*q + 625. Does 13 divide y?
False
Suppose -5 = b - 8. Suppose b*z - 2*t = z + 92, -3*z + 138 = t. Does 8 divide z?
False
Suppose 8*v = -2*h + 11*v + 1211, 2*h = -2*v + 1226. Is h a multiple of 34?
False
Let h = -126 - -427. Is 43 a factor of h?
True
Let r(k) be the first derivative of 7*k**3/3 - k**2/2 + 1. Let p = 951 + -948. Is r(p) a multiple of 15?
True
Let j be ((-2)/(-4))/(1/(-6)). Let f be 24*(-1)/3*j. Is 14 a factor of 4/f + (-287)/(-6)?
False
Let d be 4 - 0 - 3*(-2 + 3). Is 7 a factor of 730/7 + 10/(-35)*d?
False
Let k(d) = -d**3 + 5*d**2 + 2*d - 2. Let g(r) = r**3 + 5*r**2 - 2*r - 7. Let i be g(-5). Suppose 20 = 5*h, 0 = -a + i*h + 2*h - 17. Is k(a) a multiple of 11?
True
Suppose 7*n - 3003 = 4*n. Is n a multiple of 13?
True
Let k(y) = -4*y**2 - 4*y - 1. Let j be k(-4). Let f = j - -111. Does 18 divide f?
False
Let w(u) = 7*u - 4. Let f be w(6). Let g = -25 + f. Does 13 divide g?
True
Let a(r) = 5*r**3 + 5*r**2 - 24*r + 32. Is 55 a factor of a(7)?
False
Suppose -2*c - 2*c - 12 = 0. Let t(h) = 4*h**2 - 3*h - 3. Let n be t(c). Suppose n = f + 9. Is f a multiple of 11?
True
Let c be -2 - (20/(-4) - 1). Suppose 288 = 4*a - 2*h + 5*h, -a + 72 = -c*h. Is a a multiple of 14?
False
Suppose -3*o - 4*u - 21 = -2*u, u = 0. Let k be 728/(-49) + 1/o. Let q = -1 - k. Is 7 a factor of q?
True
Let p(n) = -3*n**2 + 5*n + 1. Let v be p(-6). Let h = v + 280. Suppose 2*j - h = j. Is 36 a factor of j?
False
Let o = -17 - -25. Suppose 3*t - o = t. Suppose -5*j + 3*j = -4*q - 8, -t*j + q = -30. Is j a multiple of 8?
True
Suppose -5*c + 9*c = 468. Let d = -61 + c. Let j = d - 17. Is 24 a factor of j?
False
Let z(c) = -c**3 - 7*c**2 - 26*c + 5. Is 8 a factor of z(-6)?
False
Suppose -3*s = 5*i - 0 + 4, 0 = 4*s + 4*i. Suppose y - 48 = -s*y. Suppose -35 = -3*o + y. Is o a multiple of 10?
False
Suppose -5*o + 32 = -u + 4*u, u + 4*o - 13 = 0. Let c(k) = -k**2 + 9*k + 2. Let l be c(u). Suppose -3*r + 49 = v + v, l*r = -2*v + 46. Is v a multiple of 10?
True
Let r(p) = 2*p - 10. Let u be ((-27)/6 + 2)*-2. Let s be r(u). Suppose s = 2*f - f - 52. Is f a multiple of 19?
False
Let t = 42 + -58. Is ((-10)/(-6))/(t/(-1824)) a multiple of 14?
False
Let n be (-442)/(-4) - (-6)/(-4). Let d(w) = 2*w + 14. Let u be d(-7). Suppose u = 3*j - n - 2. Is 16 a factor of j?
False
Let j = 8410 + -5512. Is j a multiple of 21?
True
Is 6 a factor of (754/(-4))/(11 - (-138)/(-12))?
False
Let n = -19 - -21. Suppose -5*u + 3*k + 250 = 0, -4*k + 174 = n*u + 48. Is 9 a factor of u?
False
Suppose 2*z - 4*v + 502 = 4*z, -5*z = 3*v - 1220. Does 7 divide z?
False
Let f be 2/3 - (-68)/6. Does 10 d