 r*d = -20. Let b(z) = 7*z - 2. Is 12 a factor of b(d)?
False
Suppose -s + 8 = 3*o, -o + 0*o = 5*s + 16. Suppose o*w - 5*v = -3, 5 = -2*w - 0*v - v. Is w/6 + 44/6 even?
False
Suppose -4*u + 0*u + 716 = 4*y, -2*u - 874 = -5*y. Is 16 a factor of y?
True
Let o(b) = -b**3 + b**2 - 8*b - 3. Is o(-3) a multiple of 9?
False
Let z = 14 + -9. Suppose r = -l + z, 5*l + 4*r - 20 = -0*l. Suppose 2*c + 47 - 119 = l. Is 18 a factor of c?
True
Suppose 14*g = 18*g - 16. Suppose 8*l - g*l = 4. Does 11 divide l/(-3) + 220/12?
False
Let z(i) = -3*i**3 + 5*i**2 - 19*i - 84. Is 8 a factor of z(-4)?
True
Suppose 12*s - 936 - 648 = 0. Does 44 divide s?
True
Suppose -5*z - 17 + 707 = 0. Let l = 196 - z. Is l a multiple of 29?
True
Suppose 0 = -3*m - 4*m + 1323. Is 8 a factor of 21/m - 718/(-18)?
True
Let o be (-74)/(-14) - 38/133. Let q = -27 - -81. Suppose o*c - 90 = -5*z, -3*c + z = -0*c - q. Is c a multiple of 6?
True
Let s(f) = f - 4. Let x be s(2). Let i(b) = -b**3 - b**2 + b + 1. Let z(h) = h**3 + 7*h**2 - h - 2. Let v(l) = x*i(l) - z(l). Is v(6) a multiple of 15?
True
Does 3 divide (2 - 1299/(-6)) + (-1)/(-2)?
True
Let k(a) = a**3 + 3*a**2 - 7*a - 10. Let v be k(-4). Suppose -u = u + 3*s - v, 1 = u - 2*s. Does 35 divide u - (-52)/4*8?
True
Let k be (0 + 0 - 1)*(-2 - -2). Suppose 4*s = -5*t + 128, 2*t + 0*s - 2*s - 44 = k. Is t a multiple of 8?
True
Let u = 23 + -20. Suppose -2*f - u*t - t = -12, -24 = -3*f - 3*t. Is f a multiple of 10?
True
Let c(d) = 2*d**3 + d - 10. Let l be c(-3). Let o = l - -150. Is o a multiple of 6?
False
Is (-14)/(-105)*13765 - (-4)/(-12) a multiple of 38?
False
Suppose 13*v = 1712 + 3475. Is 19 a factor of v?
True
Let r(v) = v**3 + 7*v**2 + 5*v - 21. Let k be -3*(32/12 - 1). Does 2 divide r(k)?
True
Suppose 0 = -0*x - x - 5, -m - 5*x = 3. Suppose i - 88 = -i. Let v = i - m. Does 11 divide v?
True
Suppose 0 = 4*v - 3*v - 337. Is 10 a factor of v?
False
Suppose 10 = 5*n - 4*n. Suppose 2*x - n = -6. Suppose 5*t + 2*w - 172 = -0*w, 0 = -5*t + x*w + 188. Is 9 a factor of t?
True
Suppose -14*c - 18 = -12*c. Let a = 3 - c. Does 6 divide a?
True
Let i be (-1 - 1/(-1))/1. Suppose -3*t + 11 = -0*t - 4*g, i = -t - 4*g + 9. Is 3 a factor of t?
False
Suppose -3*z - 5 = 5*h, 1 = -5*z - 3*h - 2. Suppose 7*i - 9*i + 80 = z. Is 7 a factor of i?
False
Let n = 305 + 215. Is n a multiple of 26?
True
Suppose 7*h - 4*n - 16 = 11*h, -3*n = -4*h + 19. Let q(k) = 238*k**3 - k**2 + 1. Is 34 a factor of q(h)?
True
Let c(u) = -u**3 + 9*u**2 - 11*u. Let x be c(9). Let b = 190 + x. Is b a multiple of 13?
True
Let r = -59 - -24. Let h = 81 + r. Does 23 divide h?
True
Does 12 divide (-4)/(8/22) - -2111?
True
Is (-12944)/(-24) + 6 - (-2)/3 a multiple of 40?
False
Suppose -2*c = 2*m - 302, -m + 4*m - 5*c - 493 = 0. Is m a multiple of 26?
True
Let k = -96 + 175. Suppose 5*v = -2*n + 167, 0*n + n = -v + k. Is n a multiple of 3?
False
Let l = -1 + -1. Let k be 408/(-52) - l/(-13). Let z = k - -18. Is z a multiple of 10?
True
Let q be (-5)/(-4)*-2*58. Let p = -76 - q. Does 13 divide p?
False
Let m(r) = -r**3 + 20*r**2 + 12*r - 37. Does 42 divide m(19)?
False
Let t(p) = -3*p**2 - 4. Let i be t(3). Suppose v = l + 14, l - 5*v + 3 = -7. Let a = l - i. Is a a multiple of 16?
True
Let x be (6 + 0)*(1 + -2). Does 4 divide ((-1)/(-2))/(x/(-336))?
True
Suppose 0 = -10*x + 2034 - 294. Is x even?
True
Is 1708/19 + (-26)/(-247) a multiple of 6?
True
Let g = 35 + -11. Suppose 0 = 4*o + 4 - g. Is o even?
False
Let f = 79 - 7. Does 24 divide f?
True
Let i(s) = s**3 + 5*s**2 + 5. Let u = -24 + 20. Is 7 a factor of i(u)?
True
Suppose 7 = -3*z - 8. Let p = 7 + z. Suppose 2*o - p*t = -0*t + 4, -6 = -o - t. Is o a multiple of 4?
True
Let y(w) = -71*w + 27. Suppose 18 = 6*s - 12*s. Is y(s) a multiple of 44?
False
Suppose 2*z + 6 = 0, -50*z + 762 = 3*q - 46*z. Is 6 a factor of q?
True
Suppose 7*d - 1159 = 9474. Is d a multiple of 48?
False
Let m(f) = f**3 + f**2 + f + 2. Let k be m(-2). Let l be 1/(((-4)/5)/k). Suppose -c - 3 = -j, -l - 14 = -j - 3*c. Is 2 a factor of j?
False
Let y be (-8)/(-6)*((-363)/(-6) - 2). Suppose -y + 234 = 4*s. Is 13 a factor of s?
True
Let h(u) = -u**2 - 7*u + 3. Let r be h(-7). Suppose i - 5*i + 243 = r*q, -i = -2*q - 69. Is 45 a factor of i?
False
Let r(v) = -v - 1. Let y be r(-2). Let h be 8/(y*(-2)/206). Does 27 divide 2/1 - h/8?
False
Suppose z + 10*x = 5*x - 26, -z + 4 = -x. Let m be (z + 1 - -3) + 0. Suppose 4*h = -2*g + 60, 2*g - 39 = -m*h + 17. Does 6 divide g?
False
Suppose -379 = -4*y + z, -111*y + 116*y - 3*z = 465. Is y a multiple of 65?
False
Suppose -7*t + 10 = -2*t. Suppose -x + 3*x + t*f = 16, 2*x + 3*f = 15. Suppose 0 = 5*k - 2*h - 15, 0 = -6*k + 3*k - h + x. Is k even?
False
Let q(b) = -11*b + 28. Is q(-27) a multiple of 65?
True
Let f = 54 + 33. Suppose -f = -3*r + 45. Suppose 4*i = -3*o + 115 + r, -4*i + 2*o = -154. Is i a multiple of 12?
False
Let s = 31 + -7. Let w be -2 + 20 + 4/(-2). Suppose s + w = 4*h. Does 9 divide h?
False
Is -10 + -1 + 3*5 a multiple of 2?
True
Let c(h) = -h**2 - 10*h - 4. Let v be c(-14). Does 4 divide 3 + v/(-5) - -1?
True
Let l(w) = -3*w**3 + w**2 + w + 2. Let f(t) = -8*t**3 + 4*t**2 + 2*t + 7. Let r(s) = -4*f(s) + 11*l(s). Is 3 a factor of r(-6)?
True
Does 11 divide (-18)/(-10) - (-20251)/55?
False
Let r = -5 - -7. Let s be 2 - (-4 + 3)/1. Suppose s*m + v = 9, -r*m = -6*m + 2*v + 22. Is m a multiple of 2?
True
Suppose 0 = -22*g + 19*g + 141. Suppose 118 = 3*j - g. Is 11 a factor of j?
True
Suppose 403 = 2*q - 185. Is 33 a factor of q?
False
Let d be 24/16 + 1/2. Let i(p) = 3*p - 4. Let y be i(d). Suppose -s = -3*s + 5*c + 105, -140 = -y*s - 2*c. Does 13 divide s?
True
Let d = 2326 + -1398. Is d a multiple of 16?
True
Suppose 12*z - 3*z = 2790. Is z a multiple of 5?
True
Let u(a) = a**2 - 7*a + 1. Suppose 4*n + 4 = -l, -3*n = l + 3 - 1. Let v be u(l). Let m(y) = y**3 + 11*y**2 - y + 13. Is 12 a factor of m(v)?
True
Let m = 581 + 72. Is 14 a factor of m?
False
Suppose 0 = -8*b + 5 - 149. Is b*((-2)/6)/(22/33) a multiple of 6?
False
Suppose 9*q = 3*q + 468. Let p = -60 + q. Is 9 a factor of p?
True
Let j = -5 - -9. Let i = -1 - j. Let f = 18 + i. Is 13 a factor of f?
True
Suppose -4 - 12 = -2*u. Suppose 173 = 3*f + u. Is 17 a factor of f?
False
Suppose -3*d + 4 = 2*o + 8, -2*o = -4*d + 4. Suppose 5*x + y - 1 = d, -4*x - 1 = 2*y - 3*y. Suppose 2*q - 13 = -2*k + 65, -5*q + 15 = x. Is k a multiple of 12?
True
Suppose 47*c - 302 = 591. Is c a multiple of 19?
True
Let n(h) be the third derivative of h**6/120 + 13*h**5/60 + 5*h**4/12 - 5*h**3/3 - 13*h**2. Is n(-12) a multiple of 9?
False
Let j(y) = -18*y**3 + 3*y**2 - 2*y + 7. Does 18 divide j(-3)?
False
Let w(p) = -p**3 - 11*p**2 + 3*p + 30. Is w(-13) a multiple of 14?
False
Let x = 7 + -2. Let z(j) = 3 - j + 3*j**2 - 2 + 0*j**2 - 4*j. Is z(x) a multiple of 17?
True
Let x = 565 - 281. Suppose -4*f - 3*w = 372, -4*f + w + x = -7*f. Is (-2 - f)*(-3)/(-6) a multiple of 26?
False
Let x = 303 - 294. Suppose 0 = 4*b + b + 15. Let y = x - b. Is y a multiple of 6?
True
Suppose -2*h = 3*r - 27, -r + 9 = 5*h - 26. Does 30 divide h*1/(-8)*-80?
True
Let i(l) = -2*l**2 + 32*l + 144. Is 6 a factor of i(18)?
True
Let j = 9 + -7. Let a(k) = -k**3 + 4*k**2 - 2*k - 1. Let o be a(j). Let g = o - -2. Is g a multiple of 3?
False
Suppose 17*p = -5*p + 352. Is 16 a factor of p?
True
Suppose 4 = -4*o, -5*o - 212 = -v - 37. Does 3 divide v?
False
Let j(z) = -z**2 + 12*z - 13. Let t be j(9). Is (-12)/((-3)/t*1) a multiple of 14?
True
Does 8 divide (3/9)/(9/10989)?
False
Let r = -2237 - -3970. Is 76 a factor of r?
False
Let i be (2*4/(-4))/((-2)/(-146)). Let t = 247 + i. Does 32 divide t?
False
Let p(n) = 431*n - 24. Does 42 divide p(6)?
True
Let l = -162 + 286. Let k = l + -79. Is k a multiple of 5?
True
Suppose -z - 3090 = -5*f, 4*z - 403 = -f + 194. Is f a multiple of 9?
False
Let u(v) = v**2 + 2*v + 102. Let t be u(0). Suppose -12 - t = -3*n. Does 19 divide n?
True
Let r(z) = z**2 + 9*z + 2*z**3 - 9842 + 9842. Is 23 a factor of r(4)?
False
Let o = 12 - 4. Let n(g) = -2*g + 1 + 4*g + 11*g**2 - o*g**2 + 32*g**2. Is 17 a factor of n(-1)?
True
Is (-1266)/4*(4 + -12) a multiple of 14?
False
Let x be (9/(-18))/(1/(-296)). Suppose 0 = -2*t + 7*t - 15. Suppose t*c = x - 19. Does 11 divide c?
False
