ose 0 = 4*l - 2*m + m - 12, o = 5*l - 2*m. Suppose 2*v = l*v - f - 30, 0 = -v + f + 13. Does 17 divide v?
True
Suppose 3*p + 2*x - 50 = 2*p, x + 85 = 2*p. Is 5 a factor of 22 + 1 - p/(-11)?
False
Suppose 14*w - 14615 + 55 = 0. Is 65 a factor of w?
True
Let n(v) = v + 18. Let m be n(-11). Is 14 a factor of (-1 + -82)/(m + -8)?
False
Suppose 905 = -4*a + 53. Let d = a + 125. Let x = -12 - d. Is 23 a factor of x?
False
Suppose g - 22 - 1 = 5*a, -5*a - 19 = -3*g. Does 4 divide -1 + 5 - g*19?
False
Suppose 0 = -18*p + 24*p - 546. Let i(c) = -c**3 - 3*c**2 + 4*c. Let n be i(-4). Suppose n = -5*m + p + 44. Is 6 a factor of m?
False
Suppose -5*g + 5*z = -1260, -2*g - g + 5*z + 750 = 0. Does 16 divide g?
False
Let h = -27 + 29. Suppose h*j + p - 7 = -j, 5*p - 7 = -j. Suppose 0 = -2*t + 3*v + 57, 0*t - j*t - 4*v + 64 = 0. Is t a multiple of 21?
False
Let r(i) = -3*i**3 - 2*i**2 - i - 2. Let x be r(-2). Suppose v = -3*q + 76 + x, 0 = v + 4*q - 90. Does 7 divide v?
True
Let g(q) = q**2. Let s(r) = -3*r**2 - 10*r - 3. Let b(h) = h + 7. Let w be b(-6). Let x(p) = w*s(p) + 2*g(p). Does 6 divide x(-7)?
True
Is 8 a factor of (-4)/6 - 42364/(-267)?
False
Let q be (-22 - -17)/(2/(-18)). Let f = q - -32. Is f a multiple of 9?
False
Suppose -7*j + 11*j = 8. Suppose -4*h - 184 = -j*k - 2*h, 0 = 3*k + 3*h - 300. Is k a multiple of 7?
False
Let a(y) = 3*y**2 + 24*y + 21. Let w(s) = -s**2 - 8*s - 7. Let u(o) = -3*a(o) - 8*w(o). Let v be u(-7). Is 6/9*(v - -15) a multiple of 3?
False
Let d(i) = -3*i**2 + 8*i - 5 + 3 + 2*i**2. Let h be d(5). Let g(o) = o**3 - 12*o**2 - 14*o + 19. Does 6 divide g(h)?
True
Suppose 2*l - 5*c - 24 = 0, c + 8 = -3*c. Let n(s) = -9*s**3 - 8*s**3 + 8 - 6*s**2 - 2*s - 3*s + 18*s**3. Is n(l) a multiple of 12?
False
Suppose -d = -u + 8, 0 = d + 3*d - u + 32. Is (-24)/(-1)*d/(-12) a multiple of 3?
False
Let x be 1170/(-21) + (-10)/35. Let o be -22*(2 + 4/(-8)). Let u = o - x. Does 3 divide u?
False
Let b be ((-47)/2)/(6/(-12)). Suppose 4*p - 171 = -b. Suppose -i + p = -0*i. Does 20 divide i?
False
Suppose 28 = -3*o + 103. Is o a multiple of 5?
True
Suppose 9 = 8*n + 25. Let w = 57 + n. Does 8 divide w?
False
Suppose 0 = -z + 4*z - 5*r - 23, 0 = -5*z + 5*r + 35. Suppose -4*y = -2*y - z. Suppose -5*t = y*w - 14, -4*t = -4*w - 0*w + 40. Does 4 divide w?
True
Suppose -5*m = 3*j - 859, m + 7*j - 5*j - 169 = 0. Let c = m + -68. Does 5 divide c?
True
Suppose 4*b = 3*w - 39, w + 18 = 2*w - 3*b. Is ((-40)/6)/((-19)/w + 2) a multiple of 3?
True
Let p(s) = s**2 - 6*s + 508. Is p(0) a multiple of 9?
False
Let x = -322 + 538. Does 18 divide x?
True
Suppose -15 - 15 = 2*o. Let r be ((-12)/(-9))/(1015/(-252) + 4). Let g = o - r. Is g a multiple of 17?
False
Suppose -248488 = -81*y + 203330. Is 18 a factor of y?
False
Let w be 24/(-10)*(-4)/((-8)/(-5)). Suppose 4*s - w*s = -208. Is s a multiple of 13?
True
Let v = 354 + -113. Is 6 a factor of v?
False
Let b(z) = 10*z**2 + 3*z + 13. Let y be b(-3). Is ((-10)/5)/(-2*2/y) a multiple of 13?
False
Let c be 148 - 0 - (12 - 17). Let k = c - -10. Does 31 divide k?
False
Let z(q) = 4*q - 12. Let g be z(4). Is 3 a factor of -1 + (-164)/(-8) - 6/g?
True
Let q(n) = 2*n**3 - 12*n**2 + 34*n - 18. Does 31 divide q(6)?
True
Let d(m) = -14*m**3 + 3*m**2 - 18*m - 11. Let u(l) = 21*l**3 - 5*l**2 + 27*l + 16. Let y(p) = 8*d(p) + 5*u(p). Is y(-3) a multiple of 30?
False
Let v(j) = -j**3 + 12*j**2 + 9*j - 12. Is 24 a factor of v(9)?
True
Let g = -550 + 1438. Is g a multiple of 32?
False
Suppose 0 = 5*w - 3*w - 2*j - 736, -373 = -w - 4*j. Is w a multiple of 9?
True
Let z be 1583/3 - ((-34)/(-6) - 6). Suppose z = 5*q - c, -4*q - 2*c = -0*c - 414. Does 35 divide q?
True
Let j(c) = 45*c**2 - 8*c + 10. Does 4 divide j(3)?
False
Let a = 98 - 106. Is 9 a factor of a + 105/14 + 121/2?
False
Suppose 0 = -2*v - 2*v + 1064. Let i = v + -171. Is i a multiple of 19?
True
Let i be (-8)/20 - 793/5. Let v = i + 243. Does 12 divide v?
True
Suppose -6*x + x + 15 = 0. Let v(w) = w + 15*w + 4*w**2 + 6 + 7*w + w**x + 8*w**2. Does 14 divide v(-9)?
True
Suppose p + 3*p - 24 = 0. Let i(v) = -v**2 + 9*v - 5. Is 9 a factor of i(p)?
False
Let j(v) = -11*v - 39. Let p(b) = 5*b + 20. Let c(a) = 3*j(a) + 7*p(a). Suppose 4*i + 3*s - 29 = 0, 3*i + 34 = 7*i + 2*s. Is c(i) a multiple of 15?
True
Suppose 4*k + 32 = g, -5*k - 2*g - 61 = 2*g. Let r = 49 + k. Is 20 a factor of r?
True
Let t(y) = -62*y**3 + y**2 + y. Suppose -n + 1 + 1 = q, 4*n - 4*q = 0. Let a be -4*n*4/16. Is t(a) a multiple of 13?
False
Suppose 10*g + 2*l = 7*g + 2990, l - 996 = -g. Is g a multiple of 5?
False
Let h(q) = 5*q**3 + 2*q**2 - q - 1. Suppose -3*s + 4*s = 0. Let n be (s + -2)*1/(-1). Is 15 a factor of h(n)?
True
Let n(k) = -5*k**2 + 7*k - 12. Let j(l) = -6*l**2 + 6*l - 12. Let m(w) = -4*j(w) + 5*n(w). Does 3 divide m(7)?
False
Let v(l) = -7*l - 6*l - 9 + l - 3*l. Does 17 divide v(-8)?
False
Let r(y) be the second derivative of 5*y**3/3 + 20*y**2 - 25*y. Is 25 a factor of r(12)?
False
Let r(v) = -v**2 + 4*v + 1. Let w be r(2). Suppose 99 = 6*n - w*n. Is n a multiple of 8?
False
Let l = -29 + 131. Is l a multiple of 18?
False
Suppose 1 - 5 = x, 0 = -5*i + 2*x + 1273. Does 8 divide i?
False
Suppose -j + 1 = -6. Suppose j = 2*i - 3*g, 3*i + 3*g - 4 - 29 = 0. Is 2 a factor of i?
True
Suppose -5*t + 2*d + 0*d = -50, 0 = 2*d. Suppose -15*w - 15 = -t*w. Is 6 a factor of 20*w*(-20)/50?
True
Let i = 520 + 16. Is i a multiple of 7?
False
Suppose 0 + 4 = -4*j. Let n = j - -3. Suppose -n*h = 3*l - 59, 0 = h + 2*l + 19 - 51. Is 11 a factor of h?
True
Suppose 2 = -5*n - 8. Does 32 divide 96*((-8)/n)/4?
True
Does 47 divide 3/(-5) - 641865/(-525)?
True
Suppose -x = -3, 2*l = -21*x + 26*x - 11. Let c(f) = -2 - 2*f + 2*f**2 + 13*f**2 + 5*f. Is c(l) a multiple of 16?
True
Let r be (2/(6/(-27)))/((-24)/(-16)). Let j(a) = -30*a - 44. Does 17 divide j(r)?
True
Suppose -8*t - 140 = 2*t. Let m be 1/(-2) - 43/2. Let r = t - m. Is r a multiple of 8?
True
Let a(q) = q**3 + 15*q**2 + 18*q + 19. Does 4 divide a(-13)?
False
Is 3 a factor of (1053/(-6))/(-13)*4?
True
Let b(m) = 3*m + 54. Is b(-6) a multiple of 9?
True
Let l(r) = -2*r**2 + 12*r + 19. Let t be l(10). Let j = -37 - t. Is 2 a factor of j?
True
Let m(n) = 10*n**2 - 9*n - 8. Let c be m(7). Suppose -c = -4*x + 4*v - 91, -4*x + 358 = 2*v. Is 9 a factor of x?
False
Suppose -3*z - 76 = -f + 479, 3*f + 2*z = 1698. Is f a multiple of 38?
False
Does 51 divide 1/(-2) - ((-12632)/16 + -4)?
False
Suppose -4*r - 64 = -3*z, 3*r + 5*z = -r - 32. Let d(y) = y**2 + 11*y - 14. Let v be d(r). Suppose -4*b + 70 = 2*p, 2*b = 4*p + v - 172. Is 13 a factor of p?
True
Suppose -956 + 277 = -7*r. Is r a multiple of 5?
False
Let w(o) = o**2 - 3*o - 5. Let g be w(7). Suppose 48 = -23*a + 15*a. Let q = a + g. Does 10 divide q?
False
Suppose -15*h = h - 0*h. Suppose 2*d + 3*k = 85, h = -2*d + 4*d + 2*k - 88. Is d a multiple of 10?
False
Suppose 4*i - 66 - 14 = 0. Let l = i - 43. Let n = 39 + l. Is n a multiple of 15?
False
Does 18 divide ((-2616)/545)/(1*3/(-180))?
True
Let l(m) = -m**3 - 3*m**2 - 3*m - 7. Let w be l(-5). Suppose -5*s - 5*f + 5 = 0, s - 1 = 5*f - 6. Suppose -2*k + w = -i, s*k - k = i - 35. Is 11 a factor of k?
False
Suppose 422 = -2*q + y, -4*q + 0*y = -5*y + 856. Let h = q + 318. Is 15 a factor of h?
False
Let j = -722 - -853. Does 3 divide j?
False
Let v = -20 - -32. Does 17 divide (-6)/24 - (-795)/v?
False
Let j = -96 + 101. Suppose 71 = 3*s + 2*d, j*s + 3*d = 117 + 1. Is s a multiple of 2?
False
Let y be 8/(-14)*133/(-38). Suppose 5*g + 4*w = 6, -y*g - 10 = -5*g + 4*w. Suppose g*v + v + t - 230 = 0, 2*v = -4*t + 140. Does 39 divide v?
True
Suppose -4*w = 4150 - 33574. Is w a multiple of 17?
False
Let r = -139 - -176. Does 2 divide r?
False
Let y = -3 - -6. Suppose -6 = -v + n, -3*v - y*n - 14 = 2*n. Is 10 a factor of v/(-7) - (-774)/14?
False
Let s be -5 + (0 - -2) - -31. Is (-7)/(-7)*s*1 a multiple of 9?
False
Let c be (-6)/12*(-1 - 3). Suppose -c*k = 4*d - 468, 5*d - 5*k - 585 = -8*k. Is d a multiple of 10?
False
Let q(t) be the third derivative of -t**5/60 + t**4/4 - t**3/2 + 7*t**2. Let k be q(5). Suppose -2*u + 3*f = -45, -5*f + 125 = 7*u - k*u. Is u a multiple of 8?
True
Suppose 10*h - 19*h = -3816. Does 15 divide h?
False
Let c = 8 - 5. Suppose -436*h = -434