ctor of 1/(-1) - (r - -1)?
False
Let h(j) = -j**3 + 4*j**2 - 1. Suppose 3*v = n + v - 11, -15 = -n + 3*v. Is h(n) a multiple of 4?
True
Let s(w) = -w**3 - 6*w**2 - 5*w + 2. Let u be s(-5). Suppose 5*v = -6*c + u*c + 284, 5*v + c - 296 = 0. Is v a multiple of 13?
False
Suppose 3*n = -0*n + 12. Let v = n + 1. Does 2 divide v?
False
Let c(l) = -l**3 + 7*l**2 + 8. Is c(6) a multiple of 17?
False
Let p = 6 - 10. Let f(b) = 2*b**2 - 5. Does 17 divide f(p)?
False
Let o(m) be the second derivative of -m**3/6 - m. Does 4 divide o(-4)?
True
Suppose -i - 3*i = 16. Is 8 a factor of 25 - i/(16/(-4))?
True
Let n(i) = 2*i - 8. Let r = 11 - 2. Is 5 a factor of n(r)?
True
Suppose 2*i + 63 + 19 = 0. Let p = 4 - i. Does 3 divide ((-2)/(-3))/(6/p)?
False
Let b(c) = c - 1. Let v be b(4). Suppose -4*q + 8 = n - 28, 0 = 3*n - v*q - 48. Does 20 divide n?
True
Is ((-59)/4)/(6/(-24)) a multiple of 19?
False
Suppose -z + 6*z = -5. Let h = 9 - z. Is 10 a factor of h?
True
Let w(v) be the second derivative of -v**4/12 + 16*v**2 + 2*v. Let m be w(0). Let n = m - 16. Is 16 a factor of n?
True
Let o be 6/(-9) - (-8)/3. Suppose 32 = o*k - 0*k. Is 8 a factor of k?
True
Let o be (4/(-6))/(-2)*9. Suppose -5*n + o*n = 36. Let l = -10 - n. Is 4 a factor of l?
True
Let s(y) = 3*y - 11 + 7*y**2 - y + 5 - 3*y + y**3. Is 21 a factor of s(-5)?
False
Suppose -2*m + 42 = 78. Is m + 29 + -1*3 a multiple of 8?
True
Let c(x) = -7*x - 2. Let z(s) = -15*s - 5. Let h(b) = -14*c(b) + 6*z(b). Let m be h(3). Suppose 0 = -3*j + 2 + m. Is j a multiple of 8?
True
Let l be 20 + (-2 + 0)/1. Let r = -6 + l. Does 4 divide r?
True
Does 13 divide 6/(-27) - (-512)/36?
False
Suppose 0*j - 2*j = j. Let r be 6*-1*4/6. Let c = j - r. Is c a multiple of 4?
True
Let r(f) be the third derivative of -f**6/120 - 7*f**5/60 - f**4/6 - f**3 + 3*f**2. Let w be r(-5). Is ((-44)/6)/(6/w) a multiple of 15?
False
Suppose 0*t + 3*t - 5*o = -1, -23 = -t - 3*o. Does 4 divide t?
True
Let c(s) = 9*s**2 + 20*s - 11. Let v(f) = -4*f**2 - 10*f + 6. Let l(g) = -3*c(g) - 7*v(g). Is l(-13) a multiple of 10?
True
Suppose -4*n + 2*n + m = -5, 5 = -5*m. Let t = 156 + -97. Does 22 divide n/5*(-4 + t)?
True
Suppose 18*j = 19*j - 13. Is j a multiple of 6?
False
Let k(f) = -f**3 + 8*f**2 + 3*f - 1. Let p be k(9). Let r = 79 + p. Is r a multiple of 17?
False
Let f(w) = -27*w - 15. Does 21 divide f(-6)?
True
Let z(b) = -5*b - 4. Let c(u) = 5*u + 3. Let r(q) = -4*c(q) - 3*z(q). Is r(-8) a multiple of 11?
False
Suppose 22 = 5*g + c - 3, 5*g + 4*c = 40. Let m = g - 1. Is m a multiple of 3?
True
Let f(b) = -28*b + 2. Let o be f(-6). Suppose -4*y + 5*h + 9 = 141, 0 = -5*y + 5*h - o. Is (y/(-8))/(3/12) a multiple of 10?
False
Let v be (-1 + 13)*(1 - -3). Let c = -28 + v. Is c a multiple of 19?
False
Suppose 3*j - 6*j = -33. Let g be 0 + 2 + j*2. Suppose 3*f - g = f. Is 5 a factor of f?
False
Suppose 3*c - 211 = y, 164 = 2*c + 2*y + 2*y. Is c a multiple of 33?
False
Suppose -u = 4*k + 104 - 356, 0 = -4*k - 3*u + 260. Let n = 419 + -242. Suppose -5*w = k - n. Is 23 a factor of w?
True
Is 4 + (-6032)/(-72) + (-4)/(-18) a multiple of 7?
False
Is 6 a factor of (98/28)/(2/12)?
False
Is 1/3*3*59 a multiple of 6?
False
Suppose 3*k + 1 = 289. Is 12 a factor of k?
True
Does 8 divide 78*(2 + -3 + 2)?
False
Let j(q) = -4*q**3 - q. Let z be j(-1). Let d(x) = x**2 - 3*x + 2. Let o be d(z). Let r = o + -6. Does 3 divide r?
True
Suppose -11 = 3*d + 1. Let s(v) = -v**3 - 3*v**2 + 2*v - 2. Is s(d) a multiple of 5?
False
Suppose h = 5*h + 5*w - 13, 2*w = 2. Suppose 0*d - 140 = -4*g + h*d, 4*d - 105 = -3*g. Is g a multiple of 24?
False
Let u(p) = -5*p**3 + 3*p**2 - 2*p. Let q be u(-3). Let j = q + -119. Is j a multiple of 16?
False
Let o = -68 + 134. Suppose -26 = n - o. Does 20 divide n?
True
Let k(g) = g**2 - 5*g + 16. Is 10 a factor of k(13)?
True
Suppose -4*y + 18 = -10. Let a(x) = -x**3 + 7*x**2 + 3. Is a(y) a multiple of 2?
False
Let v(w) = -4*w - 8. Suppose -o = -3, 2*z + 0*z - o + 15 = 0. Does 16 divide v(z)?
True
Let j = 29 + 73. Is j a multiple of 17?
True
Suppose 10 - 1 = 3*h. Suppose 2*q = 13 + h. Suppose q*c - 5*c + 4*t = 32, 84 = 5*c - t. Is c a multiple of 10?
False
Let z(s) = s**2 + s - 3. Let x be z(4). Suppose -u - 14 = -2*u - 2*f, -5*f + x = -2*u. Is u a multiple of 4?
True
Let r(a) be the third derivative of -a**5/60 - a**4/2 + 2*a**3 + 2*a**2. Let n be r(-9). Suppose d + n = 3*m, -67 = 2*m - 7*m + d. Does 7 divide m?
True
Let z(i) = i**3 - 2*i**2 + 7*i - 6. Is 18 a factor of z(6)?
True
Let y(a) = a**2 - a - 4. Let o be y(3). Let f(x) = -x**2 + 6*x - 3. Let u be f(o). Suppose -u*p + 16 = -p. Does 3 divide p?
False
Let q = 57 + 3. Suppose q = y + y. Is 17 a factor of y?
False
Let z = 79 - 47. Suppose s + z = 5*s. Does 5 divide s?
False
Let u(i) be the second derivative of -i**3/6 + 19*i**2/2 + 7*i. Does 4 divide u(0)?
False
Let u be -1*2*(-6 + 5). Suppose -v + 6 = 4*j, 0 = -u*v - 5*j + 5 + 4. Suppose 3*m - 20 = -v*m. Is m a multiple of 2?
True
Let q = 15 - 13. Is (-1 - (q - 0)) + 48 a multiple of 9?
True
Let s = -101 + -79. Does 26 divide s/(-7) + 4/14?
True
Suppose -5*c - 3*f + 15 = 0, 2 = -2*c - 2*f + 8. Suppose -5*d + 20 = 4*u - 272, 219 = c*u - 5*d. Suppose -5*m - 18 = -u. Does 4 divide m?
False
Let d be (1/((-3)/18))/(-2). Is (-176)/((-12)/d) + 1 a multiple of 21?
False
Suppose -3*t - 75 = -8*t. Does 3 divide (-10)/4*(-54)/t?
True
Let z be (-26)/(-4) + (-6)/(-4). Suppose -7*d + 3*d = -z. Suppose -2*u - d*l + 74 = 0, -3*u + l + 115 = -0*u. Is 13 a factor of u?
False
Suppose -3*y - 9 = 3. Let t(f) = -f**3 - 4*f**2 - 2*f - 4. Let l be t(y). Suppose -l*p + 6*p - 44 = 0. Is p a multiple of 9?
False
Suppose -5*o = 3*f + 56, -11 = 2*o - 2*f + 21. Let a(h) = -3*h**2 + 7*h - 5. Let z be a(4). Let s = o - z. Is 9 a factor of s?
False
Is 32 a factor of -4 + (-9)/((-45)/500)?
True
Let u = 2 + -1. Suppose -14 - u = -5*r. Is 3 a factor of r?
True
Let a = -2 - -2. Let h be 1 - 0 - (-2 - a). Let s(y) = 2*y**3 - 3*y**2 + y + 4. Is s(h) a multiple of 12?
False
Let p(c) = c**3 + 11*c**2 + 12*c + 10. Is p(-9) a multiple of 16?
True
Suppose -4*a = -8*a - 4. Let l = a - -17. Is 8 a factor of l?
True
Is 16 a factor of (-3)/15 + (-3892)/(-35)?
False
Suppose 0 = -5*y + 91 + 59. Does 15 divide 912/y - (-4)/(-10)?
True
Let u(a) be the third derivative of a**5/30 - 7*a**4/24 - a**3/3 - 3*a**2. Is 12 a factor of u(6)?
False
Let z(m) = m**2 + 5*m - 4. Let y be z(-7). Suppose -2*i + 5*v + 31 = 0, y = 4*i + i + v. Suppose -i*o + o - 3*x = -57, 0 = -x - 5. Is 12 a factor of o?
True
Suppose 150 = -14*y + 19*y. Is y a multiple of 10?
True
Let y(c) = 2*c**2 + 2*c + 1. Let f be y(-4). Suppose -4*o + 61 = f. Is ((-24)/o)/(2/(-12)) a multiple of 16?
True
Let w(u) = -u**3 - u + 15. Suppose -v - v = 0. Does 15 divide w(v)?
True
Let m be (0/(-1 + 0))/1. Suppose 5*r = 4*n - 122, 3*n + 0*n + 5*r - 74 = m. Does 10 divide n?
False
Let o be 1 + -1 - (-7 + 2). Suppose o = m - 0*m. Is m a multiple of 5?
True
Suppose -3 = 3*h, h - 368 = -4*j - 3*h. Is 9 a factor of j?
False
Suppose -2*n - 12 = -6*n, 3*y - 5*n - 18 = 0. Is y a multiple of 11?
True
Suppose g + 13 + 1 = 5*w, -3*g + 30 = 3*w. Suppose 2*i = g*i - 40. Suppose -i = -4*n + 34. Is n a multiple of 11?
True
Let q = 348 - 148. Suppose -u + q = 4*u. Is 14 a factor of u?
False
Let p(s) = s**2 + 4*s. Let k be p(-4). Let h = k + 0. Suppose -3*m - 15 = 0, -2*o + h*m + 19 = m. Does 6 divide o?
True
Let i = 4 + -19. Is 6 a factor of (-99)/i - (-14)/35?
False
Let x = 63 - 61. Does 2 divide x?
True
Let r be (-36)/(-10) + (-22)/(-55). Suppose 285 = 5*h + 3*b, -5*b - 2 = r*h - 217. Is 15 a factor of h?
True
Suppose 0 = 3*y - 229 - 122. Does 13 divide y?
True
Let s(o) = -o - 4. Let m be s(-5). Let n be 2/(-3) - (-26)/(-6). Let h = m - n. Is h a multiple of 3?
True
Suppose -16*w = -13*w - 18. Does 3 divide w?
True
Let v = -86 - -173. Is 29 a factor of v?
True
Suppose 5*a = 4 + 21. Suppose -2*m + 36 = 8. Suppose 6*x = a*x + m. Does 7 divide x?
True
Let u = -1 - 7. Is u/10 - (-1996)/20 a multiple of 22?
False
Let b be 1124/8 - (-1)/2. Let f be (-4)/2 - -4 - 11. Is (b/f)/((-2)/6) a multiple of 17?
False
Suppose 0 = -21*i + 24*i + 9. Let y(v) = -3*v**2 + 2*v - 2. Let o(z) = -3*z**2 + 3*z - 3. Let s(f) = 5*o(f) - 6*y(f). Is 13 a factor of s(i)?
False
