- 6 - 12*l + 2 + l**2. Let i be c(10). Let w = 38 + i. Does 3 divide w?
False
Let j(n) = -n**2 + 4*n**2 - n + 0*n**2 + 0*n**2. Let h be j(1). Suppose 0 = 2*l - 2*t - 22, h*t = -0 - 2. Is l a multiple of 5?
True
Suppose -5*f = 2*p - 509, -2*p + 4 = -0*p. Is 60 a factor of f?
False
Let h = -1 + 4. Suppose -8*s = -h*s - 30. Let i(b) = 5*b - 6. Is 12 a factor of i(s)?
True
Let i(s) = 2*s + 3. Let v be i(-3). Let z = 57 - 55. Let l = z - v. Does 2 divide l?
False
Suppose -5*g + 359 = -1391. Suppose 2*j - 2*r = 5*j - 346, -r = 3*j - g. Suppose -4*o = -54 - j. Is o a multiple of 16?
False
Suppose 0*v + 3*v = 144. Let i be (-1)/(4/v - 0). Let x = -6 - i. Does 5 divide x?
False
Suppose -6 = -z + 4*f - 3*f, 2*z - f - 9 = 0. Let r(u) = -6*u**2 + 5*u**3 - u - z*u**3 - 5*u - 3*u**3. Is r(-5) a multiple of 5?
True
Let x be (1 + 15)*(-5)/(-10). Let w be x*(-8 - -4 - -3). Is 5 a factor of (66/(-3))/(w + 6)?
False
Let h = -17 + 15. Let p(t) be the second derivative of -t**5/20 - t**2/2 + t. Does 2 divide p(h)?
False
Suppose -612*c + 597*c + 35040 = 0. Is c a multiple of 146?
True
Suppose -50*m = -53*m. Is 7 a factor of (4 - -82)*(m + 1)?
False
Let t be 2 - (-1 + -3 + -186). Let s = -323 + t. Let q = -71 - s. Is 20 a factor of q?
True
Does 15 divide 9 - 12*3/(-6)?
True
Let w = 2 + 0. Let s be (w - (3 - 3))*-1. Does 10 divide s + (-36)/(-1 - 2)?
True
Suppose 7*j - 8*j = 3*s - 870, 5*s = -3*j + 1450. Is s a multiple of 18?
False
Let x = -8 - -15. Let a(u) = 4*u - 4. Let p be a(x). Suppose -9 = 5*h - p. Does 2 divide h?
False
Let o(d) = d + 16. Let p = 10 - 12. Let s(b) = -b - 15. Let v(c) = p*o(c) - 3*s(c). Is 2 a factor of v(-7)?
True
Let d(l) = -l**2 + l + 94. Suppose 3*a = 7*a. Let j be d(a). Let t = 157 - j. Does 21 divide t?
True
Suppose o = 11*k - 7*k + 1412, 0 = 2*o - 3*k - 2829. Is 6 a factor of o?
True
Let r(d) = 93 + 68*d - 93. Is r(1) a multiple of 33?
False
Suppose -4*f - w = -702 - 1220, 0 = 3*f - 2*w - 1447. Is 13 a factor of f?
True
Suppose v - 4*v = 9, 5*o + 4*v = -122. Let w = o - -44. Is w a multiple of 18?
False
Suppose -3*s = 2*s + 5*v - 3310, 3*s - 3*v - 1992 = 0. Does 25 divide s?
False
Let y(g) = -3*g**2 + 13 - g**2 - 4 + 5*g**2. Let a be y(5). Let j = a - 8. Is 4 a factor of j?
False
Let s be (-1090)/(-6) + (-6)/9. Let k = 331 + -403. Let f = k + s. Does 23 divide f?
False
Let c be (-3 - 177 - 0)/(-1). Let h = c + -114. Suppose 3*g - h = 33. Is 11 a factor of g?
True
Suppose -5*k - 2*l + 4 = 0, -k + 2*l - 8 = -2*l. Let v be -1*(-1 - k/(-1)). Is 6 a factor of 1 + (1 + v - -10)?
False
Suppose 2*s - 4*b + 4 = s, 0 = -s - 5*b + 14. Suppose 2 = 2*r - 0. Is 5 a factor of (-245)/(-20) - r/s?
False
Let x be (7/(35/50))/2. Suppose -x*n + n + 392 = 0. Does 14 divide n?
True
Suppose -6*v + 1914 = v + 2*s, 5*v = 4*s + 1378. Is v a multiple of 23?
False
Suppose -1 = -3*g + v + 1, -5*v = -3*g + 10. Suppose g*l = 2*l - 144. Is 10 a factor of l?
False
Let w be (-1337)/(-28) + (-2)/(-8). Suppose 2*x - w = 6*x. Is 9 a factor of (x/9)/(2/(-27))?
True
Let y(c) = c**2 + 2*c - 1. Let a be (1 - 3) + -1 + 1. Let l be 7/a - 2/4. Does 4 divide y(l)?
False
Let x(j) = 5*j**2 - 4. Let a be x(-2). Is 15 a factor of ((75/(-2))/5)/((-8)/a)?
True
Is 7 a factor of 1/(2/(-15) - (-1932)/13140)?
False
Let d = 884 + -848. Is 8 a factor of d?
False
Suppose -4*d = -2*o - 62, 0 = -2*d - d - 15. Let h = 75 + o. Is 10 a factor of h?
False
Suppose -5 = -5*z + 15. Let j be 372/z*8/12. Suppose 4*t - j = 166. Is 9 a factor of t?
False
Let a = -123 + 123. Suppose j - 54 = -3*s, 2*j + 4*s + s - 107 = a. Is 17 a factor of j?
True
Let l be 2 + 60 + 4 + -5. Suppose 5*x - 2*m = -3*m + 99, l = 3*x - m. Is x a multiple of 20?
True
Suppose -3*w - 13 = u, 3*u = -2 - 1. Suppose 5 + 37 = 3*o. Does 12 divide (352/(-56))/(w/o)?
False
Suppose 4*v = -v - 2*x + 1209, -5*x = -10. Is v a multiple of 20?
False
Suppose -10 = -u + 2. Let y = u + -12. Suppose c = -5*n + 568 - 84, -5*n + 2*c + 472 = y. Is n a multiple of 32?
True
Let f(c) = -2 + 10*c**2 - 7*c + c**3 - c + 6. Suppose -91*m + 120 = -103*m. Is 15 a factor of f(m)?
False
Suppose 0 = y + 2*q - 7, 6 + 5 = 3*y + q. Suppose 6*p - 2 = 2*j + 2*p, -18 = -y*j - p. Suppose -4*r - j*x = -207, -4*x + 96 = -0*r + 2*r. Is r a multiple of 24?
False
Suppose 0 = -13*a + 22963 - 4035. Is a a multiple of 75?
False
Is 24 a factor of (-66)/(-20 + 9)*144?
True
Let r = -671 + 956. Does 57 divide r?
True
Suppose 7*f = 4215 + 5704. Is f a multiple of 101?
False
Let x(k) = k - 5. Let a(s) = 3*s - 21. Let b(p) = -2*a(p) + 9*x(p). Let t be b(3). Let q(z) = 4*z - 13. Does 9 divide q(t)?
False
Let o be (0 - 1)/(6/(-24)). Let i be (o/(-12))/((-1)/9). Is 12 a factor of 140/4 - i - 2?
False
Let v(r) = -2*r**2 - 4*r + 2. Let y(k) = 3*k**2 + 7*k - 2. Let a(z) = -7*v(z) - 4*y(z). Let s be (2/(-3))/((-8)/60). Is 22 a factor of a(s)?
True
Is 18 a factor of (-10)/(150/(-7295)) - 2/6?
True
Let m(o) = -o**3 - o**2 + o + 1. Let b be m(-1). Suppose k + 3*k + 40 = b. Is 7 a factor of (-2)/(4/6) - k?
True
Suppose 4*g + 14 = 2*g. Let t(p) = 4*p**2 + 7*p - 15. Is 33 a factor of t(g)?
True
Suppose 4*y + 104 = 3*f, -4*y + 11 = f - 13. Suppose -4*q - 3*z = -54, 7*q - f = 5*q - 4*z. Is q a multiple of 3?
True
Suppose 1952 = 7*l - 3403. Is l a multiple of 51?
True
Suppose -94 + 289 = 15*m. Suppose m*q = 2*q + 1584. Is q a multiple of 36?
True
Suppose -4894 = -35*m + 17821. Does 17 divide m?
False
Let y = -9 - -14. Let t be (-24)/(-1) - (-7 + 11). Suppose f = y*f - t. Does 3 divide f?
False
Let m(w) = -2*w + 144. Does 21 divide m(-12)?
True
Suppose -2 = -0*d + 2*d, -4*d - 25 = -3*a. Let w be -4*((-6)/4)/3. Is w/a - (-276)/14 a multiple of 10?
True
Let k(c) = -c**2 + 15. Let h be k(-4). Is ((-5)/(-25)*-2)/(h/30) a multiple of 6?
True
Let q(c) = -c - 1. Let b(y) = -42*y + 5. Let l(n) = -b(n) + 2*q(n). Let i be l(2). Suppose 47 = 3*o - i. Is 23 a factor of o?
False
Suppose 4*a - 4272 = -3*z, a - 53*z = -54*z + 1069. Is a a multiple of 71?
True
Let s = -36 - -96. Suppose 11*d + 180 = 4. Let p = d + s. Is 16 a factor of p?
False
Suppose -5*v = -y - 3841, -5*y = -v - 3*y + 770. Is v a multiple of 8?
True
Let j(c) be the third derivative of c**6/360 - c**5/40 + c**4/3 - 4*c**3/3 + 5*c**2. Let i(a) be the first derivative of j(a). Is i(5) a multiple of 18?
True
Let f be (1*-1)/(12/(-36)). Suppose 30 = f*y + 3*y. Is 2 a factor of y?
False
Let a = 10 - -2. Let c(x) = x**3 - 13*x**2 + 12*x + 22. Is c(a) a multiple of 21?
False
Let s(u) be the first derivative of u**2/2 + 19*u + 19. Is s(29) a multiple of 17?
False
Let p = -37 - -26. Let s = p + 4. Does 17 divide (-3)/s + 848/14?
False
Suppose 4*k = -11*k + 5805. Is k a multiple of 17?
False
Let f = 571 - 280. Is 12 a factor of f?
False
Let p be (-3364)/(-16) - -3*2/(-24). Suppose 5*l - 3*n = l + p, -l - 4*n = -62. Is 8 a factor of l?
False
Let a = 6 - 6. Suppose 0*r + 3*r = a. Is -1 - (-11 + (3 - r)) a multiple of 2?
False
Let f = -3 - -6. Suppose -f*o + 7*o - 168 = 0. Is 3/(-6)*-1*o a multiple of 9?
False
Suppose 2*v = 5*a - 14, 3*a = -0*v - 3*v + 21. Suppose -a*z - 2*j = z - 612, 3*z = j + 365. Suppose -2*s = 4*c - z, 0 = 3*c + 5*s - s - 104. Is 7 a factor of c?
True
Is ((-6310)/8)/(1274/112 - 12) a multiple of 16?
False
Suppose -f - 2 + 3 = 0. Let y(u) = 2*u**2 + 2*u - 1. Let d be y(f). Suppose -27 = d*q - 153. Does 14 divide q?
True
Let r(i) be the second derivative of 1/20*i**5 - i**4 + 0 - 5*i + 1/6*i**3 - 3/2*i**2. Does 6 divide r(12)?
False
Suppose 3*v + 122 = 992. Suppose 2*n - v = -116. Does 9 divide n?
False
Let m(b) = 47*b - 3. Let a be m(-7). Does 16 divide a/(-8) + -4 + 1/(-2)?
False
Let a be 2*(3 + 1) - -1. Let u(k) = 4*k - 14 + 5*k - k - k**2 + 4*k. Does 13 divide u(a)?
True
Let z = 57 - 63. Does 11 divide (5/((-50)/12))/(z/165)?
True
Suppose 68 + 8 = 4*p. Suppose -p = -4*x - 3*j, 5*x + 4*j = 8*j + 16. Suppose 0 = -0*u - 4*u, x*w - 3*u - 40 = 0. Is 3 a factor of w?
False
Let k = -1526 - -2460. Is 72 a factor of k?
False
Let i = 68 + -68. Let w(t) = t**3 - t**2 - 2*t + 15. Is 15 a factor of w(i)?
True
Let h = 670 - 429. Suppose -2*o = -4*g + 3*o + 314, o = 3*g - h. Is 28 a factor of g?
False
Let v = 9 + 41. Let z = 0 - -10. Let g = z + v. Is 25 a factor of g?
False
Suppose 5*a = -0*a - 80. Let y = -13 - a. Suppose -2*j = y*j - 230. Is 8 a