0. Let a be c(-30). Let r = 41 + a. Is 7 a factor of r?
True
Let b(n) = n**2 - 11*n + 13. Let s be b(13). Suppose -30 + s = j. Is 7 a factor of j?
False
Let r = 130 - 126. Is (2/(-1))/(2/(-196)*r) a multiple of 34?
False
Suppose -3*g = -4*m - 292, -3*g + 452 = 5*m + 169. Does 55 divide g?
False
Suppose 0 = -5*b - 25, c + 4*b - 457 - 74 = 0. Is 11 a factor of c?
False
Let n(q) = q**3 - 21*q**2 - 34*q - 122. Is n(25) a multiple of 44?
False
Suppose 712 = 3*r + 97. Does 6 divide r?
False
Let y(j) = 10*j - 4. Suppose 4*n - 7*n + 12 = 0. Is y(n) a multiple of 8?
False
Let c be 2/14 + (-34)/(-7). Suppose 0 = -c*l + 4*l + 2*q + 190, -3*q - 6 = 0. Does 31 divide l?
True
Let f be -2 + -1 + 0 - -103. Suppose b - 42 = -5*u, -3*b + u + 26 = -f. Let w = -18 + b. Is 12 a factor of w?
True
Suppose 0 = 5*p + 2*p + 21. Let v(y) = 12*y**2 + 2*y + 10. Is 28 a factor of v(p)?
True
Suppose 444*o - 3861 = 435*o. Is o a multiple of 87?
False
Suppose 5*q + 39 + 131 = 0. Let p = 1 - q. Is 12 a factor of p?
False
Suppose 91*m + 792 = 97*m. Let z be 2/(1*-2) + 6. Suppose 0*i - 2*p = i - 33, 0 = 4*i - z*p - m. Is i a multiple of 6?
False
Let s(a) be the first derivative of a**2/2 - a - 2. Let l be s(-2). Is 13 a factor of l - -4*(-123)/(-6)?
False
Suppose q - 4*p = 230, 2*q = q + 2*p + 220. Is q a multiple of 7?
True
Let i(t) = -699*t + 198. Does 133 divide i(-2)?
True
Let o be 6 + 5/(-10)*4. Suppose 0 = o*s - 45 - 399. Does 18 divide s?
False
Let p be (388/5)/(10/25). Is p/22 - 8/(-44) a multiple of 6?
False
Suppose -2*p = 3*c - 1, -c - 4*c - p = 10. Is (26/c)/(-2 - 44/(-24)) a multiple of 52?
True
Let s = 4 + -4. Suppose 0*i - i - q + 398 = s, -4*i - q + 1586 = 0. Is 44 a factor of i?
True
Let c(w) = -2*w**3 - 20*w**2 - 14*w + 24. Is 35 a factor of c(-11)?
True
Let a(k) = 2*k**3 - 3*k**2 + 2*k - 3. Let d be a(2). Does 6 divide (-5)/((10/(-14))/d)?
False
Suppose 5*x - 3 = -4*k, -9 = -k - 4*x - 0*x. Is ((-1107)/(-18))/(k/(-4)) a multiple of 9?
False
Suppose 39*g - k - 594 = 37*g, -3*g + 2*k + 889 = 0. Is 13 a factor of g?
True
Suppose -23*u + 1458 + 1601 = 0. Is u a multiple of 26?
False
Let i(u) = -9*u**2 + 3*u. Let m be i(2). Let t = m + 21. Let d(l) = -l**2 - 11*l + 12. Does 15 divide d(t)?
True
Let t = -39 + 24. Is 26/(-195) - 287/t a multiple of 11?
False
Let q = -127 + 926. Is q a multiple of 13?
False
Suppose 9*o + 4188 = 21*o. Is o a multiple of 14?
False
Let o(w) = w**2 - 5*w + 6. Let a be o(4). Suppose -7*s + 5*k + 2 = -6*s, 0 = k - 4. Suppose -s = -a*g - 16. Is g a multiple of 2?
False
Let r be 26/10 + (-2)/(-5). Suppose -5*i = -2*f - 207, r*f - 38 = -i - 0*f. Is i a multiple of 41?
True
Let r(j) = j - 11. Let m be r(11). Suppose 0 = -6*t - m*t + 288. Is t a multiple of 30?
False
Let a(f) = 4*f**2 + 7*f + 59. Let w be a(20). Suppose w = 8*j + 639. Is j a multiple of 23?
False
Let o(t) = t**3 - 6*t**2 - 5*t - 14. Let k be o(7). Let l be (-1 - -4 - k)*-31. Let d = 148 + l. Is 11 a factor of d?
True
Let n(r) be the second derivative of r**4/2 + r**3/2 - 5*r**2/2 + 7*r. Let g be n(3). Suppose 5*w = 4*x - 116, -2*x + 4*w = 5*w - g. Does 4 divide x?
False
Let a(w) = 20*w + 9. Let p be a(9). Suppose -2*l + p = l. Does 30 divide l?
False
Suppose -5*b = -2*q + 3955, -5*b + 5 = -0*b. Does 60 divide q?
True
Suppose 3*y - 1238 = -9*f + 14*f, -3*y = -f - 1222. Does 22 divide y?
False
Is ((-4)/(-6))/(22/1518) a multiple of 19?
False
Let h = -6 + 8. Let j(w) = 2*w**2 - 4*w + 2. Let o be j(h). Suppose 7 + 35 = b - 5*m, o*m - 146 = -4*b. Is b a multiple of 21?
False
Let y = -32 + 32. Does 24 divide (25 - -71) + (-1 + y)*0?
True
Let y(b) = 5*b**3 - 2*b**2 - 6*b + 6. Let r(k) = -9*k**3 + 4*k**2 + 11*k - 11. Let f(o) = 4*r(o) + 7*y(o). Is f(-2) a multiple of 5?
True
Suppose 880 + 146 = 3*l. Is l a multiple of 38?
True
Let v be (10/(-5))/(2/(-168)). Suppose 7*g = -g + v. Does 3 divide g?
True
Does 9 divide ((-5)/15)/(2/(-13896))?
False
Is 24 a factor of 1746 + 0 + -8 + -10?
True
Suppose 159*z - 2280 = 155*z. Does 67 divide z?
False
Let g(t) = -1 + 11*t**2 + 247*t - 249*t + 48*t**2. Is g(1) a multiple of 4?
True
Suppose 12*u - 76 = -1900. Let g = u + 243. Is g a multiple of 7?
True
Let c(b) = -32*b - 62. Is 20 a factor of c(-12)?
False
Let g(q) be the first derivative of -q**4/4 + 2*q**3 + 2*q**2 - 8*q - 3. Let n be g(6). Let s = n - 13. Does 2 divide s?
False
Let k(y) = y**3 + 15*y**2 + 14*y + 4. Let c be k(-14). Suppose -24 = -2*f + 2*n, 5*n = -c*f - 0*n + 21. Is 9 a factor of f?
True
Suppose -h = -2 - 1. Suppose -h*w + w = -164. Suppose w = 5*l - 2*y, -5*l + y = -82 + 1. Is 3 a factor of l?
False
Suppose -17 = -6*a + 241. Let i = a + -25. Does 9 divide i?
True
Suppose -3*o = 3*i - 348, 0 = -0*o - 4*o + i + 444. Does 17 divide o?
False
Suppose -4*o + 0*o = -3*k - 47, 3*o + 4*k = 4. Does 8 divide o*(1 + -2 + 3)?
True
Let m(p) = -8*p - 9. Let w(u) = -17*u - 17. Let y(v) = 9*m(v) - 4*w(v). Let l be y(12). Let t = l + 88. Does 12 divide t?
False
Let o be ((-12)/30)/((-2)/(-20)). Let w(r) = -2*r**3 + 7*r**2 + 10*r + 10. Is 50 a factor of w(o)?
False
Let j = 57 - 36. Suppose -2*g + 107 + j = 0. Does 16 divide g?
True
Let h = 7 - -7. Let v = h - -106. Suppose z + v = 6*z. Does 9 divide z?
False
Let k be ((-72)/(-21))/(2/280). Suppose 2*w - 4*m - k = 0, 0*m + 8 = 2*m. Is w a multiple of 46?
False
Let h = -8 + 19. Let w = -25 + 25. Suppose w = -3*u + 43 + h. Is u a multiple of 7?
False
Let k(o) = -13*o**2 - 6 - 7*o**2 - 5*o + 24*o**2. Is 12 a factor of k(-6)?
True
Does 4 divide ((-1904)/(-85))/(1/((-30)/(-4)))?
True
Suppose -2*z = 10 - 4. Is 16 a factor of z/2 - 326/(-4)?
True
Suppose 163*l = 170*l - 5551. Is 21 a factor of l?
False
Suppose 2*g - 35 - 3 = 0. Let o(h) = 7*h - 13. Does 40 divide o(g)?
True
Let g(a) = -12*a - 30. Let z be g(-4). Does 18 divide (8/5)/((z/(-75))/(-3))?
False
Suppose -4 - 2 = -3*s + 3*d, -3*s - 4*d + 13 = 0. Suppose -s*q = -2*h - 9, -3*q - 11 = 3*h - 7*q. Is h + 12 - (-1)/1 a multiple of 8?
True
Let b(v) be the first derivative of v**4/4 + 16*v**3/3 + 7*v**2/2 + 18*v + 12. Does 15 divide b(-15)?
False
Let o = 681 + 242. Does 19 divide o?
False
Let v(y) = 16*y + 9. Let u = 27 - 22. Does 7 divide v(u)?
False
Let h(m) = -5*m - 13. Let k be h(-9). Suppose -k = -29*q + 27*q. Suppose -26 = -3*u - 2*g, 2*u + 0*u - q = -2*g. Does 2 divide u?
True
Let h be 210/49 - (-4)/(-14). Is -14*60*(-2)/h a multiple of 60?
True
Does 50 divide -10*(5 + (-10)/2 + -65)?
True
Let i be (9/27)/(2/(-18)). Let h(m) = -4*m**3 - 3*m**2 - m - 5. Does 21 divide h(i)?
False
Suppose -6*m = -15804 - 7038. Is 9 a factor of m?
True
Suppose -3*h = -2*l - 0*l + 277, 5*l - 367 = 4*h. Let n = -45 - h. Is n a multiple of 10?
False
Let v(j) = 13*j + j**3 - 4*j**2 + 2 + 2 + 4 - 4. Is v(6) a multiple of 13?
False
Let w(j) = 2*j**2. Let l(m) = m**2. Let u(p) = -5*l(p) + 3*w(p). Does 10 divide u(6)?
False
Is (13 + 1 + -8)*341 a multiple of 21?
False
Suppose 16*v = 20*v - 8. Suppose -v*j - 9 = -27. Is 6 a factor of j?
False
Let x(c) = 4*c**2 + 1 + c - 5*c + 3*c. Let f be x(1). Suppose 0*a = -f*a + 20. Is 5 a factor of a?
True
Let m be 0/(-7)*(-2)/(-4). Suppose -6*w + 23 = 11. Suppose 3*y - w*y - 45 = m. Is y a multiple of 12?
False
Let q(k) = k**3 + 26*k**2 + 2. Let f be q(-26). Suppose -6*d = -d - 5*x - 180, -f*d - 5*x = -107. Is d a multiple of 14?
False
Let t(g) = -67*g**3 - 3*g**2 - 5*g - 12. Is 18 a factor of t(-2)?
True
Let s = -26 + 44. Does 4 divide ((-6)/s)/((-2)/72)?
True
Suppose 2*k = 3*w + 425, -4*k - w + 248 = -567. Suppose -k = -6*d + 173. Does 23 divide (d/42)/(3/224)?
False
Suppose 39*j = 43*j + 2*p - 2642, 3*p = -2*j + 1331. Is 7 a factor of j?
True
Let o(n) = -n**3 + 5*n**2 + 6*n - 12. Let u be o(5). Is 12 a factor of u/30 - (-1746)/15?
False
Suppose -6*p = p - 126. Suppose -21*z + p*z + 486 = 0. Is z a multiple of 27?
True
Let f(t) = -3*t**2 + 75*t - 67. Is 14 a factor of f(18)?
False
Suppose d + 3*k - 14 = -0, -3*k = -6. Let t = -6 + d. Suppose t*a - 70 = -0*a. Is 15 a factor of a?
False
Let h(f) = 3*f**3 - 23*f**2 + 21*f + 11. Is 38 a factor of h(9)?
False
Let w = 9 - -3. Let d(h) = -6 + w*h + 10 - 7. Does 7 divide d(2)?
True
Suppose -4 = -2*u + 4*v + 4, 0 = 3*u - 5*v - 10. Suppose -7*r + 333 - 11 = u. Is 22 a factor of r?
False
Suppose -j + 4*j = -p + 170, 5*p + 4*j = 850. Suppose -