 12?
False
Let g = -9 - -9. Suppose -4*l + g + 8 = 0. Suppose 0 = -4*m + 2*m - 6, l*m + 84 = 2*o. Is o a multiple of 22?
False
Suppose 2*t = -2*f - 0*f + 108, -218 = -4*t - 3*f. Suppose 5*x = -2*d + 403, -2*x - x + 4*d = -221. Let r = x - t. Is 6 a factor of r?
False
Let s(j) = j**3 + 7*j**2 + j - 1. Let m be s(-7). Let o be 1 + 0 - 184/m. Suppose 8 = 4*p, 2*i = -2*i - 2*p + o. Does 4 divide i?
False
Let r(v) = -v**2 + 15*v + 17. Let q be r(10). Let z = 184 - q. Does 22 divide z?
False
Suppose -4623 = -4*r + 3*g, -5*r + 265*g = 261*g - 5779. Is r a multiple of 4?
False
Let w be (13 - 3)/(-4 - -2). Is (2/w)/((-1)/30) even?
True
Suppose 0 = -5*r - 2*r + 931. Does 13 divide r?
False
Let w = 60 - 60. Suppose w = 12*y - 976 - 1268. Is 11 a factor of y?
True
Let d = 30 + -17. Does 13 divide 57*(13/d + (-2)/3)?
False
Let u = -9 - -9. Suppose 4*a + 27 + 153 = u. Is 18 a factor of 8*(a/(-6) - 3)?
True
Suppose 0 = -3*w + 1174 + 1835. Does 10 divide w?
False
Suppose -5*n + 0*n - 1660 = 0. Let y = n - -187. Is y/(-3) + 5/(-15) a multiple of 12?
True
Let t = 68 - 55. Is 23 a factor of 33*(17/3 - (-15 + t))?
True
Let s be 1 + -1 + 3 + 12. Let g = 33 + s. Suppose g = -4*l + 188. Does 22 divide l?
False
Let h = 606 - 311. Is h a multiple of 8?
False
Let c = -500 + 708. Does 26 divide c?
True
Let k(a) = a**2 - 15*a + 5. Let d(o) = -o**2 + 16*o - 5. Let r(i) = 5*d(i) + 6*k(i). Is 4 a factor of r(11)?
True
Let l be ((-2)/2 - -10)*-11. Suppose 4*d - 684 = -4*g + 100, 380 = 2*d + 5*g. Let a = l + d. Is a a multiple of 33?
False
Let s be (-5)/(20/(-72))*(-9)/2. Let q = s + 146. Is q a multiple of 21?
False
Let k = 32 - 4. Let j be 8/14 - (-936)/k. Let d = j + 8. Is 36 a factor of d?
False
Let r(g) = 8*g**2 + 2*g - 20*g**2 - 22 + 31*g**2 - g**3. Is r(19) a multiple of 8?
True
Suppose -10*o + 864 = -4*o. Suppose c + o = 3*c - 4*a, 5*c = a + 351. Does 11 divide c?
False
Suppose 131*l = 127*l + 420. Does 15 divide l?
True
Suppose -4*z - 31 + 39 = 0, 2*j - 3714 = -z. Does 29 divide j?
True
Let m = -18 - -11. Let v(d) = 4*d**2 + 10*d. Is v(m) a multiple of 42?
True
Suppose 2*w - 12 = -2*w. Suppose 4 = -w*v - l + 138, l = -5*v + 220. Is v a multiple of 24?
False
Let c(u) = 60*u - 284. Is 15 a factor of c(22)?
False
Let h(r) = -98*r - 151. Is h(-12) a multiple of 41?
True
Suppose -4*d + 718 = -570. Suppose 2*h - 5*t - 325 = 0, -2*h + 13*t - 11*t + d = 0. Is 10 a factor of h?
True
Let f(m) = -m**2 + 4*m - 10. Let a be f(4). Let j be a/(-35) + 1853/7. Suppose 3*q = -4*g + 124, -3*q = -8*q + 5*g + j. Does 16 divide q?
True
Let j(b) = -3*b + 4. Let h be j(0). Suppose 0 = -11*k + h*k + 532. Does 19 divide k?
True
Suppose 0 = -2*a + 100 + 212. Is a a multiple of 13?
True
Suppose -4*l - 12 = 76. Let r = l - -81. Is r a multiple of 21?
False
Let d(a) = -7*a - 56 + 21 + 14 + 16. Is d(-2) a multiple of 9?
True
Let p = -22 - -24. Suppose -3*w + 138 = -3*r, 0*w + 138 = 3*w - p*r. Is 18 a factor of w?
False
Let q(k) = 73*k**2 + 3*k - 1. Let z be (-3 - 1)*((-28)/(-16))/(-7). Is 15 a factor of q(z)?
True
Let f(r) = r**2 - 12*r + 10. Let v be f(8). Let k = 49 + v. Let i = -19 + k. Does 4 divide i?
True
Let i(z) = 24 + 12*z + 28 - 54. Is i(5) a multiple of 16?
False
Suppose -b - 4*k = 14, -3*b - 2*k = k + 6. Suppose -v - 166 = -2*n, -4*n - b*v - v = -322. Suppose 3*a + 125 = 2*q, -2*q + n = -q + 5*a. Is 14 a factor of q?
False
Let g = 143 + -93. Suppose -3*d - 14 + g = 0. Is d a multiple of 6?
True
Let j(b) = -2*b**3 - 2*b**2 + 12*b - 1. Let n be j(-5). Let k = 199 - n. Does 36 divide k?
False
Does 2 divide (-1 - 15/(-10))/(-1)*-68?
True
Suppose 0 = 2*r - 5 - 1. Suppose 2*x + r*x + 30 = 0. Let l(h) = h**2 + 2*h. Is 8 a factor of l(x)?
True
Suppose -g + 5*g + 346 = 3*i, -i - 3*g = -98. Does 11 divide i?
True
Let u = -13 + 19. Let v(c) = -3 - 2*c - c - 20*c**2 + 22*c**2. Is v(u) a multiple of 12?
False
Suppose 3*k + 282 = 3*z, 4*z + k = -k + 346. Suppose 2*f = 7 + z. Is f a multiple of 16?
True
Suppose v + 0*v + 3106 = 4*a, -3879 = -5*a + 3*v. Does 14 divide a?
False
Suppose -2 + 16 = 7*c. Let j(h) = 9*h - 2. Does 16 divide j(c)?
True
Let t(y) = -y**2 + 14*y - 21. Let u be t(12). Suppose u*l + 640 = 4*p, 3*p + 147 - 614 = -l. Does 30 divide p?
False
Suppose 2*u + 4*j - 196 = 0, 2*u = 4*u - 4*j - 236. Suppose -30*n + u = -27*n. Let x = -25 + n. Is x a multiple of 3?
False
Suppose 0 = -4*y + 7*y - 5*d - 7108, -5*y - 2*d + 11888 = 0. Does 82 divide y?
False
Is 5 a factor of 16/12 + (2745/27 - 3)?
True
Let b(s) = -6*s**2 + 2*s - 4. Let f(k) = k**2 - k + 1. Let p(y) = b(y) + 8*f(y). Does 60 divide p(-4)?
True
Suppose 52*j - 787 = 9457. Is 2 a factor of j?
False
Let h be (8/(-20))/(2/(-10)). Let q be h*3/(-12)*-2. Is 8 a factor of (q + (-5)/1)*-8?
True
Let u = 359 + -268. Does 30 divide u?
False
Is 67 a factor of (-200 + -1)*-10*(-3)/(-18)?
True
Let b be 2/4*(14*2 - 0). Does 2 divide (220/77)/(4/b)?
True
Let m be ((-6)/15)/(-1)*10. Suppose m*x + 5*k - 28 = 0, -3*k + 6*k - 12 = 0. Suppose 0 = -2*z + x*l + 54, -3*l - 2 - 1 = 0. Is z a multiple of 13?
True
Let l = -142 - -242. Is 6 a factor of l?
False
Suppose 10*a - 161 = -61. Is 10 a factor of (15 - 20)/((-1)/a)?
True
Let b(a) = -a**3 + 2*a**2 + 2*a + 1. Let v be b(-1). Suppose -v*l + 19 = -39. Is 3 a factor of l?
False
Suppose 5*r - 1105 = -5*v, -203 = -v + 4*r - 7. Suppose 3*l + v = 5*l. Suppose 13*t - 16*t + l = 0. Is 12 a factor of t?
True
Let z(h) = 512*h**2 + 45*h - 86. Is 18 a factor of z(2)?
True
Is ((-48)/7)/((-7)/294) a multiple of 16?
True
Let x = -19 - -22. Let v be 54 + (x - 4) + 0. Suppose -2*r + 3*i = -v, -r - 4*i = -13 - 41. Is 13 a factor of r?
False
Let t = -4585 - -7720. Does 45 divide t?
False
Let g(f) = -439*f**3 + f**2 - f - 1. Is 44 a factor of g(-1)?
True
Let s(h) = h**2 + 29*h - 34. Is 22 a factor of s(-38)?
True
Let w be (2/(-6))/((-3)/(-9)). Let h(f) = -30*f**3 + f**2 - 1. Is h(w) a multiple of 15?
True
Does 17 divide (-8)/(-6)*77 - (-16)/(-24)?
True
Is 31 a factor of 136620/184 + (-3)/(-2)?
True
Let c(a) = -a**2 - 15*a + 11. Suppose 5*u + 3*w = -95, -4*w + 21 = -u - 5*w. Let z be c(u). Let s = z + 21. Is s a multiple of 5?
False
Let u(r) = r**3 + 11*r**2 - 30*r - 10. Suppose 3*a - 3*l + 7*l + 51 = 0, 16 = -a - l. Is u(a) a multiple of 21?
True
Suppose 2*p + 3*w - 4*w = 13, -2*w = 5*p - 10. Suppose -3 = -p*m + 9. Suppose -2*j = m*j - 160. Is j a multiple of 8?
True
Let k be (-2)/(-4*(-3)/24*-1). Suppose 5*c + 7*a - 8*a - 437 = 0, -k*c + 350 = -a. Does 29 divide c?
True
Does 23 divide 25 + 1/2*-4?
True
Let u(m) be the second derivative of 4*m**4 - m**3/2 + 3*m**2/2 + 8*m. Is u(1) a multiple of 16?
True
Let r(a) = -a**2 - 6*a + 4. Let p be r(-6). Suppose 0 = p*g + 5*c - 195, -2*g + 0*c + 93 = c. Is 14 a factor of g?
False
Suppose 3*g = 2*j + 265, j + 151 - 62 = g. Is g a multiple of 3?
True
Suppose -3*v + 33 = -0*s + 2*s, 5*v - 2*s = 55. Suppose -v = -q + 5. Is q a multiple of 16?
True
Is -31 + 25 - (0 + 424/(-2)) a multiple of 4?
False
Suppose 2*o + 3*o - 2630 = 5*m, -3*o = 3*m - 1584. Suppose 0 = 6*f - o - 487. Is f a multiple of 13?
True
Let x(a) = -5*a**2 + 199*a - 39. Is x(21) a multiple of 43?
True
Let c = -8 + 13. Suppose 5*f + 19 = 4*d, -4*f = -f + 4*d + c. Is 13 a factor of (2/f)/((-2)/39)?
True
Let g = 2267 - 1247. Does 10 divide g?
True
Let u(l) = -2*l**3 - 6*l**2 + 16*l + 44. Suppose 5*h = -6 - 19. Does 14 divide u(h)?
False
Suppose -5 = -r + 8. Suppose r + 3 = -t. Let q = t + 48. Does 24 divide q?
False
Let f(g) = -3*g**2 - 3*g - 3. Let n(p) = -2*p**2 - 2*p - 2. Let v(c) = 3*f(c) - 5*n(c). Let q be v(0). Suppose 2*d = 1 + q, -5*b + 2*d = -38. Does 4 divide b?
True
Suppose -920 + 236 = -2*t. Is t a multiple of 13?
False
Let d = -41 + 11. Let i = d + 94. Is 12 a factor of i?
False
Let b be (-13)/(-11) - (-2)/(-11). Let d(j) be the first derivative of 29*j**3/3 + j**2 - j + 32. Is d(b) a multiple of 24?
False
Suppose j - 836 + 261 = 0. Does 115 divide j?
True
Suppose 8*t - 5*n = 13*t - 14255, -5*n + 8555 = 3*t. Is 114 a factor of t?
True
Suppose 2*r - 3*r - 4*t = -72, 86 = r - 3*t. Suppose 2 + r = 2*q. Is 14 a factor of q?
False
Is 402 - (1/(-3))/(10/(-180)) even?
True
Let k be (-2)/(-2) - (-1)/(-2)*-2. Suppose -k*o + 78 = 24. Is 10 a factor of o?
False
Is 7 a factor of 4/(-5 + 282/56)?
True
Suppose -3*z - 14