r(7). Suppose 0 = -3*l + 141 - t. Let k = l + -15. Does 20 divide k?
False
Let a = 16 - -82. Suppose 5*y - 2 = a. Does 10 divide y?
True
Let p(z) = 33*z. Suppose d - 1 = 0, 5*i - 3*i - 4 = 4*d. Let w be p(i). Suppose -s + w = 3*s. Is 11 a factor of s?
True
Is (-2034)/(-27) - (0 + (-2)/3) a multiple of 10?
False
Let q = -270 - -433. Does 31 divide q?
False
Does 5 divide 20 + 2/10*(-1 + 6)?
False
Suppose -4 = -2*y + 10. Let m(a) = a**2 - 8*a + 9. Does 2 divide m(y)?
True
Suppose 0 = -0*d - 2*d - 2. Let h(r) be the second derivative of 4*r**4/3 - r. Does 8 divide h(d)?
True
Suppose -u - 4*d = -2 - 28, -3*d = 5*u - 150. Suppose -90 = -h + u. Suppose 2*b - 5*g = -g + 132, -2*b + h = -g. Is 15 a factor of b?
False
Is 12 a factor of (-340)/(-14) + (-32)/112?
True
Let a = -2 + 2. Suppose a = -3*g - g + 12. Suppose g*c - o - 9 = 0, 4*c - 11 + 4 = 3*o. Is c a multiple of 2?
True
Suppose -2*o + 60 = -2*a, -4*a + 160 = 7*o - 3*o. Does 6 divide o?
False
Is 5 a factor of -10*4/(-6)*(-18)/(-8)?
True
Let m be 13/3 + 4/6. Does 5 divide (2 + -1)*(m + 5)?
True
Is 26 a factor of (17 - -5) + (-12)/(-3)?
True
Let q = 10 + -7. Suppose -q*j = -8*j + 90. Is j a multiple of 10?
False
Does 27 divide (-2420)/(-45) + 2/9?
True
Let z be (6/5)/(4/10). Suppose -2*j - z*d + 14 = 0, -3*d - 46 = j - 5*j. Does 4 divide j?
False
Let k be 8 - (1 - (2 + -1)). Let p = k - 2. Suppose 2*v + p = 2*c + v, 0 = -c - 5*v + 14. Is 4 a factor of c?
True
Let m(s) be the second derivative of -11*s**3/6 - 2*s**2 - s. Let a be m(-5). Suppose 0 = 5*q + 3*u - a, -11 + 1 = -5*u. Does 6 divide q?
False
Let w(o) = -o**3 - 23*o**2 - 26*o + 9. Does 49 divide w(-22)?
False
Suppose 2*v + 5*z = 29 + 31, -z = -2*v + 84. Is 8 a factor of v?
True
Let i(n) = -4*n**3 - 6*n**2 - 4 - 7*n + 3*n**3 + n - n. Let w be i(-4). Is 5 a factor of 38/3 - w/(-12)?
False
Let u(r) = r**3 + 12*r**2 - r - 9. Let h be u(-12). Is (0 + 11)*h/3 a multiple of 5?
False
Suppose -5*p + 17 - 2 = 0. Let j = p + 0. Suppose -2*m = y - 73, -j*m = 4*y + 19 - 141. Is m a multiple of 14?
False
Let p = -6 - -9. Suppose -p*i = -5*n - 61, -i - 3*i + 5*n + 88 = 0. Does 17 divide i?
False
Let y(d) = 7*d + 9. Is y(9) a multiple of 9?
True
Let z = -7 + 4. Let a = 7 + z. Suppose 0 = -l + 5*o + 39, -o + 2*o + a = 0. Does 11 divide l?
False
Suppose 0 = 2*o + o - 5*q - 139, q - 193 = -4*o. Is o a multiple of 8?
True
Let p = 9 + -7. Suppose -3*m = -p*m - 35. Does 12 divide m?
False
Let k(q) = -57*q + 5. Does 17 divide k(-2)?
True
Let d(x) = -2*x**3 - x**2 - 1. Let p be (-1 - (-1 + 1)) + -2. Is d(p) a multiple of 22?
True
Let l be 2/(-10) - (-105)/25. Suppose 3*n - n + 3*k + 48 = 0, l*n - k = -124. Is 24/15*n/(-3) a multiple of 8?
True
Let x be (2 + -36)*4/(-8). Suppose -y + 22 = -x. Is 25 a factor of y?
False
Let o be (-9)/2 + (-4)/8. Let m(u) = 14*u**3 + 26*u**2 - 8*u + 11. Let l(c) = -5*c**3 - 9*c**2 + 3*c - 4. Let i(y) = -11*l(y) - 4*m(y). Is i(o) a multiple of 2?
False
Let v be ((-8)/6)/((-1)/(-3)). Let g be 0/(2 + v) - 0. Suppose -4*q + 3*n + 13 - 1 = g, -n = -q + 2. Does 3 divide q?
True
Let m(h) = -h**3 + 11*h**2 - 9*h. Let n be m(10). Suppose -2*t + 0 + n = 0. Suppose 172 = t*r - 2*x, 1 = -3*x - 2. Is 17 a factor of r?
True
Let f = -58 + 33. Is 17 a factor of (-342)/(-10) + 5/f?
True
Let s = 17 + -17. Is 30 - 4/12*s a multiple of 15?
True
Let c be 16/(-12)*114/4. Suppose k - 15 = -4*q + 22, k - 5*q - 73 = 0. Let g = k + c. Is 15 a factor of g?
True
Suppose 57*q - 52*q = 1090. Does 18 divide q?
False
Let i(q) = q**2 + 10*q + 3. Let r be i(-7). Is r/(-15)*(-320)/(-6) a multiple of 22?
False
Let i = 45 + -64. Let h = -11 - i. Suppose 31 + h = t. Is t a multiple of 17?
False
Let p(z) be the second derivative of -z**3/3 + 3*z**2/2 - z. Let r be -4 + -1 + -9 + 10. Is p(r) a multiple of 11?
True
Let t be (3/(-9))/((-2)/30). Suppose -q = -t*q - 4. Is ((q - -2) + 0)*26 a multiple of 10?
False
Suppose 0 = 4*i + i - 235. Is 10 a factor of i?
False
Does 11 divide 14/(-98) - 85/(-7)?
False
Let k(b) = -b**2 + 18*b - 21. Let t be k(11). Suppose 0*q - q = -46. Suppose 5*f - 3*p - t = 0, -2*f + 3*p = 2*f - q. Is f a multiple of 10?
True
Let x(c) = -c**3 + 14*c**2 - 12*c - 8. Is x(13) even?
False
Does 20 divide 14/28 + 134/4?
False
Is 6 a factor of (70/22 - -3) + (-8)/44?
True
Suppose -32 = -3*h + 4*z, 0 = 3*h - z - 26 - 9. Is h a multiple of 3?
True
Let n(p) = -3*p - 7. Let i be n(-9). Suppose i = -4*t - 0. Is 12 a factor of (3 - t)/(4/18)?
True
Suppose -h + 8*q - 4*q + 5 = 0, 0 = -5*h + q + 25. Is (-1362)/(-30) + (-2)/h a multiple of 15?
True
Suppose 9*g - 240 = g. Does 3 divide g?
True
Let l = -101 - -135. Does 17 divide l?
True
Suppose 0 = -4*g + 3*a - 0*a + 32, 0 = 5*g - 5*a - 45. Let p(f) = 4*f**3 - f**2 + 7. Let v(q) = q**3 - q**2 + 1. Let m(w) = -p(w) + 5*v(w). Does 9 divide m(g)?
False
Let y(n) = 2*n. Let v be y(4). Is ((-18)/(-2))/(v/16) a multiple of 9?
True
Let o = -41 + 93. Is 13 a factor of o?
True
Suppose -4*z - 3*a + 221 = -21, -53 = -z + 3*a. Does 12 divide z?
False
Let y(v) = 7*v - 18. Does 3 divide y(6)?
True
Suppose -5*c - 78 = -3*c. Let m = c + 92. Does 20 divide m?
False
Is 12 a factor of (-2 - 40)/((-117)/(-42) + -3)?
False
Let d = 193 + -109. Suppose -9*h + 5*h = -d. Is 21 a factor of h?
True
Suppose 2*b = -2, 4*x + 5*b + 9 - 24 = 0. Suppose -x*z = -0*z - 360. Does 18 divide z?
True
Let v(f) = -10*f. Let z = 1 + -2. Let c(m) = m - 1. Let i be c(z). Does 10 divide v(i)?
True
Suppose 2*y - 69 = -17. Let r = y + -14. Suppose -j + r = 3*j. Does 2 divide j?
False
Suppose -f + 66 - 5 = 0. Is f a multiple of 16?
False
Let g(d) = 50*d**3 - 4*d**2 + d**2 + 2 + 4*d**2 - 1 - d. Is 17 a factor of g(1)?
True
Suppose 0 = -4*z - 23 - 13. Suppose -3*u = -3*q + 111, 4*u + 146 = u - 4*q. Let h = z - u. Is 11 a factor of h?
True
Let d(f) be the second derivative of 3*f**3 - 3*f**2/2 + 22*f. Suppose 3*j - 1 = b, -7*b + 2*b + 33 = 4*j. Does 11 divide d(j)?
True
Is 8 a factor of 6/(-18) - (-103)/3?
False
Let n(g) = 19*g**2 + 2*g - 4. Let t be n(3). Suppose -234 + 55 = -5*q - 3*b, 5*q = -b + t. Does 9 divide q?
False
Let c = -1 + 1. Suppose 0 = -4*g - 2*l - 2, -g = -0*l + 5*l + 14. Does 18 divide (0 + g)*31 - c?
False
Is (-5)/(-30) + 214/12 a multiple of 3?
True
Let o(t) = 8*t - 2*t + 7 + t. Let m be o(-6). Let h = 50 + m. Is h a multiple of 12?
False
Let p(r) = r**3 + 8*r**2 + 9*r + 3. Let g be p(-7). Let k = 84 + g. Suppose -3*v + k + 5 = 0. Is v a multiple of 13?
True
Let r = 42 - -1. Suppose -62 - r = -5*s. Is s a multiple of 9?
False
Let m(u) = -u**2 - 20*u + 4. Does 2 divide m(-19)?
False
Does 14 divide (903/(-86))/(29/32 - 1)?
True
Let j be 239/4 - 6/(-24). Does 19 divide -3 + (j - -1) + -1?
True
Let x(o) be the second derivative of -o**5/20 - 3*o**4/4 - 2*o**3 - 5*o**2 - o. Suppose 4*q - q = -24. Is 13 a factor of x(q)?
False
Suppose i + 5*u = -0 - 7, 2*i - 2*u = -2. Let r(m) = 5 - 6*m - 5 + 1. Does 13 divide r(i)?
True
Let r(p) = p**2 + 3*p - 2. Let s be r(-6). Let f = s - -2. Suppose 2*m = 5*m - f. Is 3 a factor of m?
True
Let r(q) = -4*q - 21. Does 15 divide r(-10)?
False
Let j(o) be the third derivative of -o**6/120 + 2*o**5/15 + 5*o**3/6 - o**2. Let a be j(8). Let b(g) = -g + 10. Does 3 divide b(a)?
False
Suppose 2*m = -2*q - 60, q - 2*m + m = -20. Let o = q + 17. Let f = 19 + o. Is 8 a factor of f?
False
Let d = -7 - -26. Suppose 0*p = 2*p + w - 13, 0 = -5*p + 2*w + d. Suppose p*f - 130 = 40. Does 17 divide f?
True
Is 36/(-30)*195/(-6) a multiple of 13?
True
Suppose -5*n - 432 = -3*n. Let g = 346 + n. Suppose -74 = -2*d - l + 4*l, -3*d + g = 5*l. Is d a multiple of 18?
False
Let x = 3 - 1. Let s(p) = -1. Let l(f) = -7*f + 4. Let g(w) = -l(w) - 5*s(w). Is g(x) a multiple of 8?
False
Let w = 97 - 60. Is w a multiple of 9?
False
Let v = 16 + -2. Is 6 a factor of ((-12)/v)/(5/(-105))?
True
Suppose 3*n = n - 22. Let f = 16 + n. Is f a multiple of 3?
False
Suppose -560 = -7*b - b. Is 10 a factor of b?
True
Let k(a) = 2*a**3 + 3*a**2 + 5*a - 7. Is k(3) a multiple of 24?
False
Let a = 4 + 8. Is 6 a factor of a?
True
Let g = -26 + -25. Let z = g - -224. Let u = -122 + z. Is 26 a factor of u?
False
Suppose -3*l - 11 = 13. Let h be l + 0 - (-6)/3. Let v = h - -10. Is v a multiple of 4?
True
Is 17 a factor of 1 - ((-2 - 1) + -30)?
True
Let v be -4 + 2 - (-