r of j?
False
Let n be 1*(1 + 2/(-1)). Let c(p) = 27*p**2 - p. Is 14 a factor of c(n)?
True
Suppose -4*y = -2 - 22. Let s be y/8*(-1 + 9). Is 9 a factor of (s/8)/((-2)/(-48))?
True
Let s = 5 + 19. Does 15 divide s?
False
Suppose 0 = -5*p + 2*c + 102, -p = -4*c - 1 - 5. Does 22 divide p?
True
Suppose 3*y + a - 67 = -y, 4*a + 110 = 5*y. Suppose 2*g + 2*g + 4*z - 24 = 0, 18 = g + 4*z. Suppose o + g*o - y = 0. Is 6 a factor of o?
True
Let l = -109 + 172. Is 16 a factor of l?
False
Let w(j) = -j**2 + 4*j - 1. Let q be w(3). Suppose -q*p - 2*p + 54 = -5*b, -p = 5*b - 26. Is p a multiple of 9?
False
Let n(a) = -a**3 + 9*a**2 + 3*a - 2. Let j(b) = 3*b**3 - 26*b**2 - 8*b + 6. Let k(h) = -3*j(h) - 8*n(h). Let q be k(6). Is 7 a factor of -6*(1 - 3) - q?
True
Suppose -b = -2*b + 4. Let w(l) = -l**3 + 7*l**2 - 4*l + 1. Is 9 a factor of w(b)?
False
Let c be (-4)/(-16) - (-133)/(-4). Let u = -3 + c. Does 5 divide (u/16)/(3/(-16))?
False
Let h(s) = s**3 - 4*s**2 + 6*s - 6. Does 4 divide h(5)?
False
Let x(j) = -5*j + 5. Is x(-3) a multiple of 8?
False
Let n(u) = 2*u**2 + 15*u + 15. Let f be n(-10). Suppose -6*z + f = -z. Is z a multiple of 13?
True
Let w = 59 + -42. Let y = w + -7. Does 10 divide y?
True
Does 7 divide 3/(-4) - (-4)/((-64)/(-348))?
True
Let f(b) = -b**3 + b**2 + b + 42. Let p = 4 + -4. Is 17 a factor of f(p)?
False
Let w be (-2 - -4)*5/10. Let n be ((-8)/16)/(w/(-6)). Suppose -n*a = -a - 60. Is 15 a factor of a?
True
Let t = -3 - 12. Let f = -3 - t. Is 6 a factor of f?
True
Suppose -2*i + y = 2*i - 53, -y + 12 = i. Let k = i + -10. Is k a multiple of 3?
True
Let x be (-2)/9 - 2/(-9). Let c = -2 + x. Does 12 divide (12/(-5))/(c/20)?
True
Let p = -1 - -5. Let u be (-8)/p + -1*1. Let m(h) = -h**3 - h**2 + h - 3. Does 6 divide m(u)?
True
Let t(g) be the second derivative of g**4/12 + g**3/6 + 3*g**2 - 4*g. Let a be t(6). Let j = 84 - a. Is 12 a factor of j?
True
Suppose 0 = -2*s + 5*s + 4*i + 18, 4*s + 31 = -3*i. Let g = s - -13. Suppose 3*o = 5*f + 95, f + 4 = g*f. Is 18 a factor of o?
False
Let f(s) = s**3 + 3*s**2 + 2. Let u be f(-3). Let i be (-2)/(-7) + 26/7. Does 5 divide u/i - 45/(-6)?
False
Let h(z) = -2 - z**2 - z + 5 - 13*z**3 - 4. Is 6 a factor of h(-1)?
True
Suppose r = 7*r - 438. Is r a multiple of 19?
False
Let z = -8 + 6. Let b = z - -3. Suppose -5*n + 69 + b = 0. Is n a multiple of 7?
True
Suppose 2*b = -18 - 0. Let v = b + 16. Suppose -2*o + 4*h + 5 = -v, 3*h + 11 = 2*o. Does 4 divide o?
True
Suppose v - 21 = -4*v - 4*u, -5*v - 2*u + 23 = 0. Suppose -7 - v = -o. Is 6 a factor of o?
True
Suppose 3*k - 6*k + 96 = 0. Suppose 4*p = k - 0. Is 8 a factor of p?
True
Let w(k) = -3*k + 10*k**2 + 0*k**2 - 1 + 2*k. Suppose -5*z = -4*x - 4 + 17, -3*z - 9 = -3*x. Does 7 divide w(z)?
False
Suppose 0 = 5*a - 15, 603 = 5*m - 0*a - 4*a. Is m a multiple of 15?
False
Is 13 a factor of 550/14 + 6/63*-3?
True
Suppose 4*y - 2*y - 66 = -5*t, 5*y = 5*t + 165. Let r = y + -17. Does 7 divide r?
False
Let y be (-1)/4 + (-27)/(-12). Suppose -30 = -y*c - c. Is c a multiple of 7?
False
Let v(j) = -5*j - 7. Let p be v(-9). Let x = 54 - p. Is 10 a factor of x?
False
Let m(d) = 41*d**3 + 2*d**2 - 1. Let n be m(1). Suppose -8 = -t + n. Is 12 a factor of t?
False
Suppose z + 4 = 11. Is z/35 + (-189)/(-5) a multiple of 11?
False
Let n(f) = f**3 - 4*f**2 - 3*f. Is n(5) a multiple of 3?
False
Let o(u) = -u**3 + 7*u**2 + 3*u - 7. Let b = -3 + 35. Suppose -6*k + 2*k = -2*c - b, 3*k - 13 = -4*c. Is o(k) a multiple of 6?
False
Is 52/5 + 8/(-20) even?
True
Let q be 35 + (2 - 5) + -2. Let j = q - 11. Is j a multiple of 19?
True
Let o be 19 - (-1)/(2 - 3). Let l = 25 - o. Is 6 a factor of l?
False
Let l(v) = -5*v - 21. Is l(-5) even?
True
Let o = 0 + 0. Suppose 2*b = -4*d + 14, o*b + 7 = -4*d + 5*b. Suppose 4*j - d*j = y - 6, 4*y - 12 = -4*j. Does 2 divide y?
True
Does 50 divide ((-366)/4 + 3)/((-1)/2)?
False
Let i be (20/8)/((-1)/(-2)). Suppose i*f - 19 - 56 = 0. Is 15 a factor of f?
True
Let g = -5 - -3. Let m = 44 + -16. Let h = m - g. Is 15 a factor of h?
True
Suppose -2*t + 5*t + 3*y = 6, 0 = -4*t - 3*y + 6. Suppose t = -g - 0*g. Suppose -5*n + 33 - 3 = g. Is 6 a factor of n?
True
Suppose -446 = -2*z - z - i, z = 2*i + 158. Suppose -250 = -5*l - 2*u + 4*u, 3*l = -4*u + z. Does 25 divide l?
True
Let v(f) = f**2 - 7*f + 1. Let b be v(7). Let g(l) = b + 0*l + 2*l + l**2 - l + 9. Does 4 divide g(0)?
False
Let p(a) = a**3 - 13*a**2 - 25*a + 6. Is p(15) a multiple of 13?
False
Suppose 0 = n - 3, 2*q - n = -2*n + 11. Suppose -4*s = -9*s + 365. Suppose 3*p - s = -q*g, 5 = g + 1. Does 9 divide p?
False
Let a(b) = 0 + 2 - b - 4*b + 2*b. Suppose -4*h = -h + 18. Is 11 a factor of a(h)?
False
Let d(l) = l**3 + 6*l**2 + 4*l + 3. Suppose 0*u + 4*u - 24 = 0. Let w be 22/(-6) - 2/u. Is 19 a factor of d(w)?
True
Suppose 0 = 11*r + 537 - 2022. Is 15 a factor of r?
True
Let k be (-1*3)/(12/(-64)). Is (-6)/(1 + (-22)/k) a multiple of 15?
False
Let t be 8/(-2)*(-35)/28. Suppose -t*m - 7 = -2, 5*j - 60 = -5*m. Is j a multiple of 6?
False
Suppose 376 = 3*i - 2*a, -a - 631 = -5*i - 2*a. Is i a multiple of 18?
True
Suppose 0 = -9*v + 16*v - 1134. Is v a multiple of 18?
True
Let o be 2 + (0/3 - 3). Let r(h) = 36*h**2 - h. Does 16 divide r(o)?
False
Suppose -q = -8 - 3. Suppose -z = -5*r + 49, -3*z + 13 = 4*r - q. Is r a multiple of 3?
True
Let b be -144 - (-3)/(-3)*0. Does 10 divide (-4)/14 - b/14?
True
Let i = -126 - -189. Is i a multiple of 5?
False
Let i = 3 + -1. Is i a multiple of 2?
True
Suppose z = -0*z - 35. Is ((-6)/(-7))/((-1)/z) a multiple of 10?
True
Let d(i) = i**2 + 11*i + 5. Let o be d(-9). Suppose 3*a - a = -q + 21, -3*a = -3*q + 36. Let w = q - o. Is 14 a factor of w?
True
Let m = 8 - 5. Suppose -231 - 25 = -m*w - d, -2*w - d = -170. Is 11 a factor of 1/2 - w/(-4)?
True
Let a = 7 - 2. Suppose 6*b - 7 = a*b. Does 2 divide b?
False
Suppose 0 = -4*t - u + 2 + 10, 5*t - 2*u = 2. Suppose -o - a = -8, -6 + 2 = -t*a. Is o a multiple of 6?
True
Suppose 0 = 4*k, -3*i + 4*k = -i - 8. Let q = 10 - i. Is 6 a factor of q?
True
Let l(n) = n**2 + 7*n + 2. Let z be l(-7). Suppose z*b = 33 - 3. Is 7 a factor of b?
False
Suppose 3 = -s + 6. Suppose 5*q + 50 = 5*i, -6*q + s*q = -4*i + 44. Let n = -7 + i. Does 7 divide n?
True
Let y(m) be the second derivative of -m**3/3 + 2*m. Let j be y(-1). Suppose -j*s - s = -72. Is 12 a factor of s?
True
Suppose 0 = -5*r - c + 174, -r + 25 + 21 = 3*c. Is 17 a factor of r?
True
Does 13 divide ((-182)/(-6))/((-3)/(-9))?
True
Suppose 35 = n - 33. Does 17 divide n?
True
Suppose -2128 = -25*m + 9*m. Does 4 divide m?
False
Suppose -2*z + 248 = 3*z + 2*w, -95 = -2*z - 5*w. Is z a multiple of 19?
False
Let i = 18 - 13. Suppose -g = -i*g - 4, 4*w - 27 = 3*g. Suppose w = h - 2. Is 3 a factor of h?
False
Let f = -127 - -270. Is f a multiple of 12?
False
Let m(v) = -8*v**3 - v**2 - v. Is m(-1) a multiple of 4?
True
Suppose 0 = -5*b - 12 - 33. Let a(v) = v**2 + 3*v - 3. Let f be a(-3). Let t = f - b. Is 3 a factor of t?
True
Suppose 5*y - 84 + 24 = -5*u, 0 = 3*u + 6. Is y a multiple of 2?
True
Let x = -3 - -23. Suppose f + 4*f - x = 0. Is 4 a factor of f?
True
Let w(d) = d**2 + 12*d - 32. Is w(-15) a multiple of 6?
False
Let k(x) = -x + 2. Let p be k(6). Is 5 a factor of (11/(-3))/(p/12)?
False
Let y = 19 - 10. Let m be 2566/8 + 2/8. Does 19 divide 2/6 + m/y?
False
Let h(b) = -26*b + 5. Let y(a) = -13*a + 3. Let v(x) = 2*h(x) - 5*y(x). Is v(5) a multiple of 24?
False
Let f = -48 - -162. Does 23 divide f?
False
Let h = -8 - -11. Let r(l) = -9*l**2 - 6 - l**h + 11*l + l - 3*l + 20. Is r(-10) a multiple of 12?
True
Let r = -70 + 165. Is r a multiple of 37?
False
Let r be -2 + (-4)/8*-10. Let k(j) = 3*j**2 - j + 2. Does 8 divide k(r)?
False
Let c be 1/(17/(-9) + 2). Suppose -3*o + 6*o + c = 0, 3*o = 5*q - 279. Does 15 divide q?
False
Does 7 divide 0 - (-1)/3 - 531/(-27)?
False
Suppose g = -4*v + 5 + 10, -3*v = 4*g - 8. Suppose 105 = v*h - 4*k - 107, 3*k - 69 = -h. Is 17 a factor of h?
False
Suppose t = -17 + 25. Does 6 divide t?
False
Is 12 - (-4)/6*27/6 a multiple of 15?
True
Does 27 divide (1*-9)/((-5)/60)?
True
Let i(o) = o**3 - 4*o**2 - 3*o. Suppose -5*v + 5 = -4*v. Let a be i(v). Suppose 30 = 5*h - 5*y, -a = 2*y - 7*y. Is 3 a factor of h?
False
Let b = -32 + -7. Let r 