 29. Suppose 4*f - j*f = -90. Does 10 divide f?
True
Let d(i) = 2*i**3 - 25*i**2 + 13*i - 42. Let u be d(12). Suppose 37 = 3*t + y - 98, -47 = -t - y. Let q = u + t. Does 8 divide q?
False
Let g(i) be the third derivative of i**5/30 - i**4/12 + i**3/3 - 5*i**2. Let n be g(2). Is 19 a factor of (-2)/n - 292/(-12)?
False
Let l = 11 - 8. Let d(z) = z**3 - 3*z**2 + z**3 - 2*z - z - 2 + 0*z**l. Does 6 divide d(3)?
False
Let w = 8 - 3. Suppose 2*d - 18 = -w*t, -2*d - 2 - 8 = -2*t. Let m(i) = 42*i**2 + i + 1. Is m(d) a multiple of 14?
True
Does 16 divide 20/(-40)*(-930 - -2)?
True
Suppose -3*u + 14 = 5*i, 4*i + 2 = 4*u - 2*u. Let d = 94 + i. Does 7 divide d?
False
Suppose 8*u = 2217 + 1111. Does 26 divide u?
True
Suppose -2*b = 2*b - 120. Suppose -4*h = h + b. Is h + 12 + 1 + 1 a multiple of 8?
True
Let r(k) = 6*k**2 - k - 1. Let u be r(4). Suppose 4*y + y + u = -3*m, 0 = -2*m - 4*y - 64. Let v = -14 - m. Does 8 divide v?
True
Let d(t) = -t**2 + 6*t - 13. Let r(y) = -y - 1. Let v(j) = -d(j) - 5*r(j). Is 35 a factor of v(10)?
False
Suppose -2*k + o + 56 = 0, -o - o = -4. Let r be 1/(1*1/k). Let h = 45 - r. Does 8 divide h?
True
Suppose -2*f = 2*f. Suppose a + 1140 = -f*a. Does 23 divide (a/8)/3*-2?
False
Suppose 2*u - 330 = -2*b, -2*b + 296 = 5*u - 25. Is 4 a factor of b?
True
Suppose 4*i + 4*c - 2892 = 0, 3*i - c = 2700 - 523. Is 25 a factor of i?
True
Suppose -3*c + 67 = -z, -17 = -4*c - 1. Let v = 100 + z. Is 9 a factor of v?
True
Is (-117)/(-30)*6 + (-3)/(-5) a multiple of 4?
True
Let z(i) = 6*i**3 - 6*i + 4. Is z(2) even?
True
Suppose 5*k - 366 = -k. Let p = 112 - k. Is p a multiple of 10?
False
Suppose 524 + 1621 = 13*a. Does 8 divide a?
False
Is (386 - (3 + -3)) + -2 a multiple of 24?
True
Does 34 divide (1776 - -1)*(-11)/(121/(-11))?
False
Let g = -581 - -1021. Is 44 a factor of g?
True
Let z = -162 + 532. Is 37 a factor of z?
True
Let a be (1*2)/((-4)/(-40)*2). Is 4 a factor of 10*(a/5 - 0)?
True
Let z = -22 + 19. Let p = z - -6. Suppose 45 = p*n - b, -2*n - b - 4 = -34. Is n a multiple of 11?
False
Suppose a - 936 = 5*a. Suppose -3*w - 5*o - 3 = -37, -w - 2*o = -12. Does 11 divide (w/(-24))/(2/a)?
False
Suppose -12*j - 246 = -17*j + 4*d, 5*j - 254 = -4*d. Is j a multiple of 15?
False
Let y(n) = -70*n + 2. Is 3 a factor of y(-1)?
True
Suppose 8*j + 5 = 45. Suppose 5*p - 2*r = 17 + 265, 0 = -2*p - j*r + 136. Suppose -5*q - 4*z + p = -2*z, -q - z = -14. Is 4 a factor of q?
False
Let s(g) = g**2 + 5*g - 8. Let c = -18 - -12. Let l be s(c). Is 13 a factor of 56 + (-4 - -2) + l?
True
Let x = -1931 + 3309. Does 13 divide x?
True
Let g = -15 + 20. Is 5 a factor of (-2 + 3)/(g/150)?
True
Let n(h) = -7*h + 497. Is 49 a factor of n(-48)?
True
Let q(k) = -k**3 - 4*k**2 - 3*k - 47. Is 3 a factor of q(-7)?
False
Let o(m) = -38*m + 2. Suppose 3 - 2 = -j. Let d be o(j). Suppose t - d = -1. Is 13 a factor of t?
True
Let m = -9 + 208. Let r = m + -116. Let h = r + -17. Is 20 a factor of h?
False
Let x(y) = y**2 + 8*y - 43. Let i be x(-18). Let j = i - 12. Does 31 divide j?
False
Let z(i) = -5*i - 1. Let l be z(5). Let s be l - (2*-4)/4. Let a = s + 50. Does 11 divide a?
False
Let j be (-6)/10 - (-13)/5. Let w be (3 - 26) + 2/j. Let l = w + 42. Is 12 a factor of l?
False
Suppose -5*c + 8 = -3*b - 29, -5*b = 20. Suppose -n = -3*n - 3*x + 11, x = 1. Suppose n*k + 93 = 3*m - 38, c = 5*k. Does 15 divide m?
True
Suppose 7*j + 81 = -94. Let c be (-160)/j + (-8)/20. Suppose -22 = -2*t + 5*q + c, -8 = -t + 4*q. Is t a multiple of 24?
True
Suppose -5*v - 11341 = -5*m - 2881, 4*m + v = 6778. Is 77 a factor of m?
True
Let t(q) = 33*q + 8. Let y = -2 + 4. Does 20 divide t(y)?
False
Let r(j) be the second derivative of -3*j**5/20 - j**4/6 - j**3/6 + j**2 - 6*j. Let q be r(4). Does 19 divide q/(-4) + 2/4?
True
Does 7 divide -231*-1*2/24*20?
True
Suppose -18*q + 9*q = -270. Is 10 a factor of q?
True
Let j(s) = -s**2 - 13*s + 9. Let t = 19 + -17. Suppose 50 = t*m - 7*m. Is 13 a factor of j(m)?
True
Let u be (-3 - (-3)/12)*-28. Suppose -72*v - 230 = -u*v. Is v a multiple of 6?
False
Suppose 5*i - 3*d = 488, 2*i - d - 396 = -2*i. Is i a multiple of 10?
True
Suppose 105 = 10*y - 95. Does 3 divide y?
False
Does 12 divide 4/(-2)*(-12)/6*5?
False
Let c(l) = 4*l**3 + 4*l**2 - 2*l - 17. Let b be c(5). Suppose 2*g + n = -n + 378, -3*g + 3*n + b = 0. Is 24 a factor of g?
False
Suppose z = -2*c + 699, 0 = -3*c + 8*c + 3*z - 1750. Does 7 divide c?
False
Does 33 divide -1*((-582)/4)/((-11)/(-242))?
True
Let f be 22776/16 - (-2)/4. Suppose -2*c = -3*q - 4277, -q - c - f = -0*q. Is 19 a factor of 2/(10/q*-3)?
True
Does 8 divide (-15)/((31/(-62))/((-3)/(-2)))?
False
Let q(r) = -41*r - 36. Let i(a) = 165*a + 144. Let t(c) = 2*i(c) + 9*q(c). Does 27 divide t(-3)?
True
Suppose 4*w + 40 = 132. Does 3 divide w?
False
Let f(r) = -3*r**2 - 1. Let c(i) = 6 - i + 3 + 7*i**2 - 7. Let u(g) = 3*c(g) + 5*f(g). Is 23 a factor of u(3)?
True
Let u(a) = -24*a + 27. Suppose 2*q = 3*x, 2*q - x = -2 - 6. Does 35 divide u(q)?
False
Suppose 3*c = 4*o - 36, 2*o - 6*o = -5*c - 44. Suppose 2*t + 544 = o*t. Does 34 divide t?
True
Let q = -16 + 4. Let m = 14 + q. Suppose 0 = i, -3*i - 50 = -d - m*i. Does 16 divide d?
False
Does 14 divide (-3 + 57/9)*4032/80?
True
Suppose -2*s - 6 = -5*s. Suppose 0 = 3*h - s*u - 60, -2*h + 5*u - 75 = -7*h. Does 18 divide h?
True
Suppose 3*m - 27 = 3*k, -m + 2 = 4*k + 13. Is 19/(-38) + (-214)/k a multiple of 7?
False
Suppose 4*i - 2*y + 4 = 2*i, -5*y + 18 = -i. Let o(c) = 2*c - i - 3*c**3 + 3*c**3 + c**3 + 7*c**2. Is 19 a factor of o(-5)?
True
Let a(i) = -65*i - 47. Is a(-4) even?
False
Let c(z) = 65*z - 111. Does 16 divide c(10)?
False
Suppose -33 = -2*l + 1. Let k = l + 21. Is 24 a factor of k?
False
Let l = 67 + -41. Let g = 60 - l. Is g a multiple of 14?
False
Suppose -5*b = 3*t - 25, 0 = 2*b + 4*t + 4. Let h = b - 20. Is 13 a factor of (39/(-6))/(2/h)?
True
Let b be (3 - 4)*(-1 - 3). Let k be 3/(-6) + b/8. Suppose k = -5*p + 4*r + 78, 57 = -2*p + 5*p + r. Is p a multiple of 6?
True
Suppose h - 5609 = 5*a, 3*h - 9085 = 5*a + 7772. Is (-8)/(-10) + h/95 a multiple of 12?
True
Suppose -4*x - x - 4*q - 245 = 0, x + 3*q + 60 = 0. Let c = x - -69. Does 5 divide c?
False
Let w = 1999 + -1217. Is 21 a factor of w?
False
Let k = -51 - -54. Suppose 5*b = -a + 971, -2*a - k + 5 = 0. Is 13 a factor of b?
False
Let g(z) = z**2 - 13*z + 3. Let x be g(13). Suppose p + x*c = -8 + 1, -4*p = -4*c - 20. Is 2 a factor of (-3 - -9) + p + 2?
True
Suppose 5*v - 4280 = -2*j, 2*j + 16*v = 15*v + 4272. Is 10 a factor of j?
False
Let w(m) = -m**3 + 6*m**2 + 12*m - 2. Let k be w(8). Let r = k - -94. Is 20 a factor of r?
True
Suppose -5*c = -10, 0 = s + c - 2856 + 165. Suppose -13*m + 704 = -s. Is 29 a factor of m?
True
Suppose -r = 2*r - 2*z - 2669, -5*r + 4423 = 3*z. Let t = -598 + r. Suppose 5*h = t + 216. Does 17 divide h?
False
Let f = 17 + -15. Suppose -b - 90 = 4*b - f*d, -3*b - d - 43 = 0. Let c = -14 - b. Does 2 divide c?
True
Let p = 229 + -150. Is 3 a factor of p?
False
Is 2 a factor of -4 + 7/2 - (-1128)/16?
True
Suppose -3*v = -12, 8*q - 4*q = 3*v + 620. Does 5 divide q?
False
Let u(m) = m**3 + 17*m**2 + 10*m. Let o be u(-13). Suppose 5*z = 1294 + o. Is z a multiple of 40?
False
Let t(k) = k**3 + 5*k**2 - 10*k - 19. Let y be t(-6). Suppose 0*s = -2*s + y*n - 13, 3*s - 3*n - 3 = 0. Does 6 divide s?
True
Is 5 a factor of (-1)/8 - 37/(-296) - -1630?
True
Let u be (-1 - -5) + 3 + 12. Let m = u - 1. Is m a multiple of 6?
True
Let q(x) = 1 + 7*x + 1 + 15. Is 45 a factor of q(4)?
True
Let z(l) = 6*l - 4. Let q be z(2). Let m = q - 6. Suppose -m*i = -7*i + 90. Is i a multiple of 5?
False
Suppose 1 = 4*c - 19. Let g(q) = 4*q + 9. Let s be g(c). Suppose -2*k + 4*d + 40 = 0, -3*k - 2*d = 9 - s. Is 3 a factor of k?
False
Suppose -2*t + 3520 = 4*l - 3*l, 0 = -3*l - 5*t + 10560. Suppose -m + 12*m = l. Is m a multiple of 10?
True
Suppose -4*c - c = 5*p - 535, 2*c - 4*p - 184 = 0. Is c a multiple of 10?
False
Suppose -7*m = -3*m - 1412. Suppose 9*z - m = 349. Is 26 a factor of z?
True
Let a = -41 - -25. Let j = -240 + 233. Let s = j - a. Is 9 a factor of s?
True
Suppose -14840 = 287*q - 301*q. Does 10 divide q?
True
Let v(n) = -n**3 + 12*n**2 + 16*n + 45. Is 12 a factor of v(13)?
True
Let t(g) = 2*g**2 + 3*g 