+ (-5)/(-2). Suppose 0 = -r*g - g + 95. Is 8 a factor of g?
False
Is (22/8)/((-8)/(-64)) a multiple of 8?
False
Let p(z) = -z + 10. Let s be p(9). Let b = s + 3. Suppose -7 - 17 = -b*c. Does 6 divide c?
True
Let y be 1/6 - (-62)/(-12). Is 18/y*(-20)/8 a multiple of 6?
False
Let x = 1 + 1. Let u = 17 - x. Does 15 divide u?
True
Let h(u) = u**2. Let l(n) = n**3 - 2*n**2 + 9*n - 6. Let i(m) = 6*h(m) - l(m). Is 12 a factor of i(6)?
True
Let x = -4 - -64. Is x a multiple of 20?
True
Suppose 4*l = j - 0*l - 44, -4*j + 4*l = -212. Is 13 a factor of j?
False
Suppose 378 = 12*z - 3*z. Does 3 divide z?
True
Let d(t) = t**3 + 12*t**2 - 5*t + 16. Is d(-12) a multiple of 19?
True
Suppose 2*l - 2*n = -0*n + 72, -4*l + 140 = -3*n. Does 24 divide l?
False
Suppose -2*d - 7 = 5*a - 40, -d = 4*a - 24. Let q = 20 + 7. Suppose q = c - d. Is c a multiple of 12?
False
Let c(h) be the second derivative of -h**7/840 - h**6/360 - h**5/60 - h**3/2 + 4*h. Let o(b) be the second derivative of c(b). Does 4 divide o(-2)?
True
Suppose 5*s + 2*b = 170, -4*s = 3*b + 2*b - 153. Is s a multiple of 10?
False
Suppose -141 = 4*p - 3*p + 2*z, 3*p - z + 402 = 0. Let b = -40 - p. Does 22 divide b?
False
Let g = 24 - -149. Does 36 divide g?
False
Let i be 6 + -1 + (1 - 1). Suppose y = -i*t + 28, 0*y - 6 = -3*t + 3*y. Suppose -52 = -t*u + 118. Does 12 divide u?
False
Let i(j) be the second derivative of 1/20*j**5 - 2*j + 0*j**2 + 0 - 1/6*j**4 + 1/2*j**3. Is i(3) a multiple of 7?
False
Let o be 2 - -1*-1*2. Let c be (o - -1)*(29 + -4). Suppose -c + 5 = -4*d + 2*k, -5*k - 22 = -3*d. Is d a multiple of 3?
False
Let b(m) = m + 1. Let r be b(6). Suppose -1 = -4*o + r. Suppose -3*a = -0*a + t - 32, -o*a + 2*t + 24 = 0. Does 11 divide a?
True
Suppose 3*r + 3*i + 2 = r, -10 = 2*r + 5*i. Does 5 divide r?
True
Suppose 0 = -4*w - 13*w + 986. Is w a multiple of 29?
True
Is 10/45 - (52/(-9) - 1) a multiple of 2?
False
Let t(x) = -5*x**2 + 2*x - 2. Let r(c) = -c**2 + c. Let s(z) = 2*r(z) - t(z). Is s(-2) a multiple of 5?
False
Let o(b) be the first derivative of -3*b**4/2 + b**2 + 2*b - 1. Let y be o(-2). Let n = -28 + y. Is n a multiple of 18?
True
Let q(v) = v**2 - 13. Let i be q(-6). Suppose -i = -4*l + 237. Does 14 divide l?
False
Is (-9)/(-2) + (-2)/(-4) a multiple of 5?
True
Suppose -2*f = -5*d + 15, 2*f - 4 + 10 = 2*d. Suppose -y + 13 + 2 = f. Is y a multiple of 3?
True
Suppose -2*r + 6*r + 6 = -5*u, r - u = 3. Does 16 divide r/1 - -2*23?
False
Suppose -2*d - 5*s - 14 = -3*s, 29 = -3*d + 5*s. Let u be 66/d + (-2)/(-8). Is 6 a factor of 2/u + 29/4?
False
Suppose v - 4 + 1 = 0. Let k be 380/6 + 2/v. Suppose k = 3*y + y. Does 9 divide y?
False
Let t = 482 - 338. Suppose -4*i + t = 36. Suppose 0 = -h + i - 0. Is h a multiple of 14?
False
Let t(h) = h + 7. Let b be t(-5). Suppose b*x - a - 22 = 0, 29 + 5 = 3*x - a. Is 6 a factor of x?
True
Suppose -4*s + 133 + 51 = -4*c, 2*c - 8 = 0. Is 18 a factor of s?
False
Let o(p) be the first derivative of 7*p**2/2 - 6*p + 1. Is 7 a factor of o(4)?
False
Let m(u) = u**3 + 6*u**2 + 2*u + 6. Is m(-5) a multiple of 13?
False
Let c(p) = 3 + 1 - 5 - 4 + p. Let o be c(8). Suppose -5*t = -2*t + o*f - 30, 0 = -4*t + 5*f + 40. Is t a multiple of 5?
True
Does 13 divide 125/(5/1) - -1?
True
Suppose -4*f + 22 = -2*n + 2, 11 = f + n. Let p(a) = -a**2 + a. Let m be p(1). Suppose -5*b + 113 + f = m. Is 12 a factor of b?
True
Let n = 476 - 333. Does 13 divide n?
True
Let c(p) = p + 17. Let l be c(-10). Suppose -l*u + 260 = -2*u. Suppose -5*v + 122 = n + 2*n, 2*n - 4*v = u. Is n a multiple of 14?
False
Suppose -2*q - 7 = -67. Let r = q + -6. Is r a multiple of 16?
False
Let h(v) = -3*v**3 - 3*v**2 - 6*v. Is h(-2) a multiple of 4?
True
Let g be 3/((-9)/(-33)) - -2. Suppose -4*o = 3*i - 40, o + i - g + 4 = 0. Does 5 divide o?
False
Let a = -37 - -42. Let u(l) be the first derivative of l**3/3 - 3*l**2/2 - 6*l - 1. Is 4 a factor of u(a)?
True
Let o be (-5 - -1)*42/(-14). Suppose 3*p - s = 18, 0 = 2*p + s - 4*s - o. Is 6 a factor of p?
True
Let l(n) = n**3 + n**2 - 3*n + 3. Let s = 3 - 1. Is l(s) even?
False
Let c be 3 - 0 - (-2 + 3). Suppose -c = -r + 3*z + 1, -15 = -5*r - 2*z. Does 21 divide r*(129/9 + 3)?
False
Suppose 3*p - 5*z + 47 = -0*z, 9 = -p + 3*z. Let u = -14 - p. Does 4 divide u?
False
Suppose -200 = 11*y - 21*y. Is 20 a factor of y?
True
Suppose 0 = 4*s - 135 - 65. Is 18 a factor of s?
False
Let k(l) = l**2 + 20*l + 28. Does 14 divide k(-20)?
True
Let q = -6 + 26. Suppose q = 3*a - 61. Does 7 divide a?
False
Is 15 a factor of (-2 + -28)/(1 - 2)?
True
Let s = -20 - -12. Let t = 17 + s. Is t a multiple of 9?
True
Let m be ((-6)/(-9))/((-6)/9). Let d be -2 - -2 - 2/m. Is 11 a factor of -2*(2 - 37/d)?
True
Suppose -5*t - 415 = -0*t. Let p = 241 + t. Suppose 3*g + 3*r = 114, -r + 3*r = 4*g - p. Does 15 divide g?
False
Suppose q - 2 = 1. Is -2*(-4)/3*q a multiple of 5?
False
Suppose 23*n = 22*n + 96. Does 32 divide n?
True
Let q be (-5)/(15/(-6)) + -2. Suppose -3*s - 137 + 377 = q. Suppose 0*h + s = 4*h. Does 20 divide h?
True
Let a be (-15)/25 - (-6)/(-15). Let r = 3 + a. Is r even?
True
Let q(f) = -3*f**2 + f. Let o be q(-1). Let j be (-3)/o - 18/24. Suppose j*t + 54 = 5*c - 3*t, -4*t = c + 3. Is 4 a factor of c?
False
Let q = -12 - -17. Is 2 a factor of q?
False
Let q(g) = -g**3 + 7*g**2 - 7*g - 1. Is 10 a factor of q(3)?
False
Is 9 a factor of (9/4)/((-12)/(-160))?
False
Let t be 21/27 - 4/(-18). Suppose t = -u + 9. Is 2 a factor of u?
True
Suppose 5*u - 60 + 20 = 0. Let y = u + -2. Let p = y + -1. Is p a multiple of 5?
True
Does 2 divide (-4)/(-26) + 1897/91?
False
Let w(f) = 2*f**2 + 12*f - 13. Let q be w(-9). Suppose -4*g = -r - 171, -2*g = -2*r - q - 43. Is g a multiple of 14?
False
Suppose -61 = -3*t + 80. Let q = 93 - t. Does 17 divide q?
False
Suppose 22 = -5*a + 7. Let m = a - -28. Let w = m - -26. Is w a multiple of 21?
False
Let o = -13 + 29. Is o a multiple of 16?
True
Suppose -i - u - 6 = -51, -5*i - 3*u + 221 = 0. Does 20 divide i?
False
Let t(m) = 2*m + 11. Is t(-4) a multiple of 2?
False
Suppose -92 + 692 = 3*z. Is 10 a factor of z?
True
Let v = -27 + 39. Let c be ((-148)/(-6))/(8/v). Suppose -6*t + c = -2*t + 5*u, u - 2 = t. Is t a multiple of 2?
False
Let t(y) = -3*y - 1. Is 3 a factor of t(-3)?
False
Let q(b) = -5*b**3 + b**2 - 3*b - 1. Let p be q(-2). Suppose p = 4*y + 2*i - 27, 2*i + 84 = 4*y. Is 10 a factor of y?
True
Let i be ((-4)/(-6))/(10/45). Suppose 0*d + i*d = 138. Is 12 a factor of d?
False
Suppose 4*d + 8 = 5*d. Is (-78)/(-9) - d/12 a multiple of 6?
False
Let i be (39/12)/(2/8). Suppose -9*l - 236 = -i*l. Is l a multiple of 12?
False
Let u = -39 + 28. Let j = 34 + u. Is j a multiple of 8?
False
Let d be -2*2/(-4) + -1. Let s be -3*(-24)/45*1*65. Suppose d = -4*t - s + 280. Does 13 divide t?
False
Let r = 0 + 0. Let n = 1 - r. Is 0 - 1 - (-3)/n a multiple of 2?
True
Let l(u) = u**3 + 6*u**2 - 4*u + 3. Let n(y) = -y**3 + y - 5. Let m be n(0). Does 19 divide l(m)?
False
Let f be 222/9 + 4/(-6). Suppose 0 = -0*n + n - 5*p, 2*n - 4*p = f. Is n a multiple of 6?
False
Let q(u) = -u**2 - 16*u + 12. Let t be 8/16*(0 - 20). Is 24 a factor of q(t)?
True
Let v be (2/(-1))/((-1)/5). Let m = 31 - v. Does 15 divide (-6)/m - 424/(-14)?
True
Let o(g) = -g**3 - 3*g**2 + 2*g - 3. Let k = 0 - 4. Is 5 a factor of o(k)?
True
Let a(p) = p**3 + 7*p**2 + 1. Let g be a(-7). Let k(d) = d**3 + d. Let z be k(g). Is (-49)/(-2) - z/(-4) a multiple of 25?
True
Suppose 28 = -3*x + 97. Does 18 divide x?
False
Suppose 4*h - 3*h = -18. Let x = 12 + h. Let b(t) = -t**3 - 6*t**2 - t - 2. Does 3 divide b(x)?
False
Let q be (-2 + -3)*-34 - 3. Suppose -5*n = -3*r - q, -3*n - 2*r = 2*r - 77. Is 15 a factor of n?
False
Let m be (1*2)/2 - 1. Let g(b) = 7*b - 3. Let w be g(1). Suppose w*z - 35 - 49 = m. Is 21 a factor of z?
True
Let z be (-1)/(3/2)*3. Let r(f) be the second derivative of f**4/12 - f**3/6 + f**2/2 - 11*f. Does 4 divide r(z)?
False
Let r(d) = -d**2 + 9*d - 8. Does 6 divide r(7)?
True
Let o(s) = -8*s**3 - s**2 + 2*s. Does 14 divide o(-2)?
True
Let j(d) = d - 13. Let y be j(8). Let x = y + 20. Does 5 divide x?
True
Let x = -70 + 130. Suppose 5*k = -2*q + x, -q + k = -15 - 22. Is q a multiple of 11?
False
Let x(y) = -y**3 - 8*y**2 - 5*y + 6. Is 10 a factor of x(-8)?
