(-4)/5)*20. Let f = k - 2. Is 14 a factor of f?
True
Let f = 173 - 81. Is 23 a factor of f?
True
Suppose z + 4 = 0, k - 3*z - 330 = -k. Is k a multiple of 8?
False
Let b(o) = 11. Let v(r) = -r + 12. Let h(j) = -6*b(j) + 5*v(j). Is 13 a factor of h(-9)?
True
Suppose 5*y + 5 = 5*j, 0 = -3*y + 2*j - j + 1. Suppose -y = -2*n + 5. Is 3 a factor of n?
True
Let d = -138 - -255. Is 9 a factor of d?
True
Let r(f) = -f**3 - 7*f**2 + 6*f + 12. Is r(-9) a multiple of 30?
True
Suppose -4*c + o + 241 = -0*o, 4*o = c - 64. Does 12 divide c?
True
Does 27 divide ((-86)/(-1) - 1) + -4?
True
Let g = 3 - 1. Suppose -80 + 0 = -g*m. Suppose 0 = 5*s - 120 + m. Is s a multiple of 8?
True
Let i(c) = -c**3 - 7*c**2 - 3*c - 4. Suppose 0 = 3*x - 3*r - 6, 5*x - 1 = -r + 15. Let v = -4 - x. Is 7 a factor of i(v)?
False
Let h = -8 + 11. Let v(i) = -3*i**3 - 6*i**2 - 11*i - 1. Let w(y) = -2*y**3 - 3*y**2 - 6*y - 1. Let d(a) = 4*v(a) - 7*w(a). Does 12 divide d(h)?
True
Let r be ((-120)/(-32))/(1/20). Suppose -r = -4*p - p. Suppose -2*s + 27 = -p. Is s a multiple of 14?
False
Let x(u) = 6*u**2 - u + 8*u**2 + 2 + 2*u. Does 15 divide x(2)?
True
Let z = 14 + -22. Let p = -1 - z. Is 2 a factor of p?
False
Suppose 30 = 5*z + 10. Suppose -z*i = -0*i - 92. Let d = i - 1. Does 11 divide d?
True
Let n = 18 + 24. Suppose -x + n = 2*x. Does 7 divide x?
True
Suppose -3*c + 7 = -g, -c + 7 = -0*g + 2*g. Let k be -1 + 55 + 0 + -1. Suppose c*o + 5 = k. Is 16 a factor of o?
True
Let z be (-20)/15*(-18)/4. Suppose 4*y - 2 = 3*n, -2*n - z = -7*y + 2*y. Suppose 3*u + 2*o - 30 = -0*o, -n*u + 13 = -o. Is u a multiple of 3?
False
Let n(d) = -d**3 + 7*d**2 + 8. Is 14 a factor of n(6)?
False
Let m = 398 - 236. Is m a multiple of 18?
True
Suppose -4*j + 2*j = 0. Suppose 6*d - d - 60 = j. Does 4 divide d?
True
Does 11 divide 36 + 6/2*-1?
True
Is 9 a factor of (-27)/(4 - (-36)/(-8))?
True
Let o be (2/(-2))/((-2)/8). Let a = 12 - o. Does 4 divide a?
True
Suppose -3*u + 4*b + b + 51 = 0, 0 = -5*u - b + 57. Let g = -17 - -38. Let z = g - u. Is z a multiple of 3?
True
Let k = 2 + -5. Is 3 a factor of (k - -2)/((-1)/3)?
True
Let p = 14 + -9. Suppose -p*d = -7 - 8. Suppose -60 = -4*a - d*z, -3*z + 8 = -a + 2*z. Is a a multiple of 12?
True
Let t(m) = -2*m + 3*m**2 + 0*m**3 - 3*m**3 - 3*m**3 - 5*m**2 - 3. Is 14 a factor of t(-2)?
False
Let z(x) = x**2 + 2*x - 5. Let y be z(8). Let l be ((-4)/5)/((-10)/y). Does 18 divide (-2)/6 - (-182)/l?
False
Let u(g) = g**3 + 18*g**2 - 19*g + 5. Is 3 a factor of u(-19)?
False
Let d be (-3)/(-3 - (0 - 0)). Does 9 divide (0 + d)*(-54)/(-2)?
True
Let r(f) = 2*f + 1. Let y(q) = q**2 + 3*q + 3. Let s be y(6). Suppose 5*t + s = 5*i + 2, 0 = -t - 5. Does 13 divide r(i)?
True
Let x(z) = 1 - 22*z - 2 - 1. Is x(-1) a multiple of 10?
True
Let m(z) = z**3 + 10*z**2 - 6. Let k be m(-10). Let d = -4 - k. Suppose d*j + 5 = 45. Is 17 a factor of j?
False
Suppose 2*b = -2*b - 16. Let d = 7 + 13. Let s = d + b. Is 14 a factor of s?
False
Suppose w + 9 - 2 = 0. Let l be 4/(-14) - 23/w. Suppose -l*m = -7*m + 80. Does 8 divide m?
False
Let n = 15 - 9. Suppose -n*x = -x. Suppose 2*g - 15 - 21 = x. Is 8 a factor of g?
False
Let p be -2 - (-3 + 2/(-1)). Let k be -15 + (p - 1/1). Let g = 18 + k. Does 4 divide g?
False
Suppose -152 + 56 = -b. Is b a multiple of 17?
False
Is (-1 + 1 + -2)*-24 a multiple of 12?
True
Let l be (-2)/11 - (-92)/22. Suppose l*y + 15 = -y. Does 3 divide ((-1)/2)/(y/24)?
False
Let g(z) = z**2 - 7*z - 6. Let j be g(8). Suppose -j*n + 5*n - 87 = 0. Is n a multiple of 15?
False
Suppose 3*d = 2*d + 3. Suppose -o + 2*o = -d. Is (18/(-4))/(o/16) a multiple of 12?
True
Let p = 60 - 43. Is 5 a factor of p?
False
Let p = -35 + 93. Is p a multiple of 29?
True
Let p(z) = -z**3 + 3*z**2 + 2*z + 4. Suppose 0 = 4*o - 17 + 5. Is 5 a factor of p(o)?
True
Suppose 0 = 3*z + z + 2776. Does 29 divide (-5)/(-20) - z/8?
True
Let p = 1 + 11. Suppose -2*z = 5*a - 5, a + z + 2*z = -p. Suppose 7 = -a*x + 19. Is x a multiple of 4?
True
Let d(q) = q**3 - 5*q**2 + 5*q - 1. Let l be d(4). Suppose -3*c + 3*i - 4*i + 106 = 0, l*i = -6. Is c a multiple of 9?
True
Suppose -10*d + 609 - 119 = 0. Is 9 a factor of d?
False
Let x = -6 + 3. Let t be (-11)/x*24/(-2). Is 152/11 + (-8)/t a multiple of 7?
True
Let v be ((-5)/3)/((-5)/15). Suppose -u - v + 24 = 0. Let q = u + 3. Is q a multiple of 11?
True
Suppose 152 + 150 = 2*c. Does 5 divide c?
False
Let f = 40 - 24. Suppose -7*t = -3*t - f. Suppose -2*j + t = -12. Is j a multiple of 4?
True
Let j be 6/21 - 2/7. Let y = 1 + 3. Suppose -3*v + 21 = 5*a - 8, y*v - a - 31 = j. Is 4 a factor of v?
True
Let s be (-1)/(1*(-1)/(-2)). Let c(p) = 4*p**2 - 2*p - 3. Does 17 divide c(s)?
True
Let j be (-8 - -7) + 4*-1. Let w = j + 39. Does 12 divide w?
False
Let v(s) = s**3 + 8*s**2 + 6*s + 5. Let w be v(-6). Let y be 2 - (1 + 2) - -1. Suppose 5*p = 25, y = -3*b - p - 0*p + w. Does 12 divide b?
True
Let p(j) = 3*j - 2. Let i(z) = -z + 8. Let x be i(4). Does 6 divide p(x)?
False
Is (-2 - (-80)/24)*(-378)/(-4) a multiple of 21?
True
Let l = -1 + 49. Does 5 divide l?
False
Let n be ((-6)/3)/((-2)/8). Let p = 14 - n. Let o = 31 - p. Is 14 a factor of o?
False
Let f be (-1)/(-3) - (-52)/6. Suppose -a - f - 5 = 0. Does 6 divide 4/a + 158/14?
False
Let c = 8 + 15. Let h = c + -15. Let a = 25 - h. Does 8 divide a?
False
Let g(b) = -b**2 - 16*b - 27. Does 4 divide g(-13)?
True
Let f = -4 + 0. Is 3 a factor of 75/27 + f/(-18)?
True
Let g(o) = -o**2 - o + 2. Let b be g(4). Is 304/9 - 4/b a multiple of 14?
False
Let t = 70 - 52. Is t a multiple of 6?
True
Let h be (7 - 1) + (-9)/3. Does 11 divide (-75)/(-3)*3/h?
False
Let k = -290 + 430. Does 10 divide k?
True
Let r(w) = -7*w + 2. Let c(s) = s**2 - 7*s + 9. Let q be c(6). Let u be r(q). Let h = 32 + u. Is 13 a factor of h?
True
Let z(d) = -39*d - 7. Is z(-4) a multiple of 38?
False
Suppose 0 = -2*w - 4 + 6. Suppose 2*f + 16 = l, -3*l + w = -2*f - 19. Let z = -1 - f. Does 3 divide z?
True
Let k = 107 - -121. Does 19 divide k?
True
Let a(q) = -q**3 - 11*q**2 - 2*q + 7. Let y be a(-10). Let f = -31 - y. Does 13 divide f?
False
Suppose 2*a = -0*a + 16. Is a a multiple of 4?
True
Let d = -5 - -8. Suppose 5*v = 2*l + 2*l, d*v = -12. Is (-48)/l + (-2)/(-5) a multiple of 4?
False
Let a = -8 - -6. Let p(y) = 3*y**2 + 4*y - 3. Let w(b) = b**3 - 16*b**2 - 21*b + 16. Let i(v) = -11*p(v) - 2*w(v). Is i(a) a multiple of 17?
True
Let f(y) = y - 4. Let u(d) = -1. Let c(b) = -f(b) + u(b). Let v be c(0). Suppose n = -v*n + 64. Is 13 a factor of n?
False
Let i(y) = 13*y + 1. Suppose 0 = 4*r - p - 17 + 6, -4*p - 5 = -3*r. Let t = r + -2. Does 10 divide i(t)?
False
Let p(z) = z**2 - z. Let b be p(0). Suppose -2*r + 2*c = -b - 62, 0 = -r + 5*c + 51. Is r a multiple of 13?
True
Let s(u) = -u**2 - 4. Let r be s(6). Let k = r - -56. Is k a multiple of 9?
False
Let y be ((-14)/8)/(1/(-24)). Does 30 divide y/8*(-9 + 21)?
False
Suppose 2*l - 32 = -3*b, 5 = 5*l - 0. Let q = 8 + b. Does 7 divide q?
False
Let s(q) = q**2 - q + 2. Let v(h) = -h**3 - 6*h**2 - 7. Let l be v(-6). Let w = 10 + l. Does 4 divide s(w)?
True
Let r(s) = 2*s**2 - 7*s + 8. Does 19 divide r(6)?
True
Let j be 41/2 - 3/6. Does 18 divide (-382)/(-8) + 5/j?
False
Let u(s) = 4*s + 3. Let r be u(3). Suppose 4 = -z + 4*j, 3*z = -j - 27 + 2. Let k = z + r. Does 4 divide k?
False
Suppose -t = -2*j + 68, 18 = j + t - 22. Is j a multiple of 13?
False
Suppose -4*m = 5*k - 0*m - 19, 0 = 4*k + 4*m - 16. Let y(p) = p - 1. Does 2 divide y(k)?
True
Let s be (-3)/(-1)*(-14)/(-6). Let l(g) = -g**2 + 4*g - 4. Let o be l(2). Suppose -k + s = -o*k. Does 3 divide k?
False
Let v(d) = -d**3 + 2*d**2 + 2*d. Let f = 4 + -6. Is 4 a factor of v(f)?
True
Suppose -4*h + 2*h = -4*t, 3*h - 4*t = 8. Let i be -2 + 1 - (1 + h). Let b = i - -15. Is b a multiple of 2?
False
Is 39 - 1/3*-3 a multiple of 8?
True
Let t = 19 - 36. Let d = t - -77. Is 20 a factor of d?
True
Suppose -5*w - 5*x + 275 = 0, -w + 2*x + 67 - 21 = 0. Is 31 a factor of w?
False
Let r = -1 - -2. Let b(z) = -2*z - 1 + 6*z**3 + z + 3*z. Is 6 a factor of b(r)?
False
Let m(a) = a**3 + a - 3. Suppose 4*z = -z - p, 3*z = -2*p. Let y be m(z). Is (-2 - y)*-2 - -16 a multiple of 7?
True
Let s(y) = y**3 + 5*y**2 - 6*y + 3. Is s(-5) a multiple of 11?
True
Suppose 5*v - 4*g +