f 7?
True
Let p be (10/4)/((-2)/(-12)). Let g be 5*-1*(-6)/p. Suppose -g*y = -4*y + 18. Is y a multiple of 3?
True
Let v(k) = -k**3 + 5*k**2 - 4*k - 1. Does 5 divide v(3)?
True
Let q(a) = 3*a**3 + 21*a**2 + 11*a + 13. Let l(g) = -g**3 - 10*g**2 - 6*g - 6. Let b(u) = -5*l(u) - 2*q(u). Let m be b(9). Let z = 15 + m. Is 10 a factor of z?
True
Suppose 2*y + z - 1 = 0, -y - 2*y + 4*z = -29. Let o = 2 + y. Suppose -o = -4*f + 99. Does 13 divide f?
True
Let k(l) = -6*l - 4. Let m be k(4). Let b = m + 53. Is 18 a factor of b?
False
Suppose -4*i + 25 = 1. Suppose -i*c = -4*c - 6. Is 2 a factor of c?
False
Let q = 5 + -3. Let x(p) = -1 + 2*p**3 + 11 + 10*p**q - p**3. Does 4 divide x(-10)?
False
Let t(n) be the third derivative of -7*n**4/24 + n**2. Is t(-2) a multiple of 10?
False
Let t(u) = 2*u + 1. Let v be t(1). Suppose -5*j + 19 = 5*h - 4*h, -v*j - 4*h + 25 = 0. Suppose j*w + 2*w - 53 = -p, -5*p = 2*w - 12. Does 11 divide w?
True
Suppose v + 3*s = -0*s + 9, s = v + 7. Let k be (-4)/14 - (-65)/7. Let d = v + k. Does 3 divide d?
True
Let w = 5 - 2. Suppose -3 = -5*j - 2*v + w*v, 15 = -5*v. Suppose -60 = -2*c - j*c. Is 17 a factor of c?
False
Suppose -3*o - 3 = -3*w - 6, -2*o + 20 = 4*w. Let b(m) = 3*m. Let j be b(1). Suppose -3*q - j*f = -48, -q + o*f - 7 = -3. Does 5 divide q?
False
Let q be 5 + -3*(-4)/(-6). Suppose q*h - 4 - 20 = -a, 0 = -2*a + 5*h - 7. Is 3 a factor of a?
True
Let f = -80 - -154. Is f a multiple of 37?
True
Suppose -4*g - 4*y = 4 + 4, -5*g = -2*y - 4. Suppose -2*d - 8 = -g*d, 72 = 5*r - 3*d. Does 12 divide r?
True
Let k = 4 + 0. Let u = -18 + 40. Does 10 divide 1/(2/k) + u?
False
Suppose 3*g - 4 = 2*q, 2*q + 3*g = -2*g + 12. Suppose 0 = -v - 5 + q. Let a(l) = l**2 + 2*l + 2. Is a(v) a multiple of 4?
False
Is 6 a factor of -5 + -4 + 7 + 286/2?
False
Suppose -23 = -5*w + i, -2*w + 19 = -4*i - 1. Suppose -18 = 3*t - w*t. Does 18 divide t?
True
Let s = -115 - -191. Is 19 a factor of s?
True
Suppose 173 = 4*w + 2*h + 29, 4*h = -2*w + 78. Let c = w - 14. Is 7 a factor of c?
True
Let c(q) be the second derivative of 0 - 1/2*q**2 + 1/20*q**5 + q - 1/3*q**3 + 1/6*q**4. Is 2 a factor of c(-2)?
False
Let k = 0 - -1. Suppose v + 16 = -3*v. Let a = k - v. Is a a multiple of 3?
False
Let a = 276 - 194. Suppose 4*x - a = -4*b + 370, b - 3 = 0. Suppose -z = 4*z - x. Is z a multiple of 13?
False
Let a(w) = -5*w**2 - 6*w - 2. Let f be a(-4). Let t = 117 + f. Let j = 85 - t. Is j a multiple of 10?
False
Let r = -2 - -2. Suppose -4*q + 5*q + 10 = r. Is 6 a factor of (-50)/(-4) + (-5)/q?
False
Does 13 divide ((-56)/(-10))/(14/35)?
False
Let d(y) be the first derivative of y**3/3 + 5*y**2 + 12*y + 3. Is d(-11) a multiple of 14?
False
Let k be 32/(-6)*(-6)/4. Let y(t) be the first derivative of t**3/3 - 3*t**2/2 + 5*t + 2. Is y(k) a multiple of 25?
False
Let v = -205 + 345. Does 7 divide v?
True
Suppose -8 = -r - 0*r. Let a(k) = 6 + k + r + 9 + 3. Is a(0) a multiple of 26?
True
Let o(a) = -a**3 - 2*a**2 - a + 1. Is 21 a factor of o(-4)?
False
Let j(m) = 5*m**2 + 5*m + 6. Does 19 divide j(-5)?
False
Let y(f) = 9*f. Is 9 a factor of y(3)?
True
Let k be (-187)/(-9) - 8/(-36). Suppose -k = -h - 2*h. Is 4 a factor of h?
False
Suppose 3*h + c = 139, 0*c - 164 = -4*h + 4*c. Suppose 5*b - 150 + h = 0. Is 21 a factor of b?
True
Suppose 0*x = 2*m - 2*x - 206, -4*m = -x - 424. Let z = 162 - m. Is z a multiple of 14?
False
Let n(p) = 3*p**2 + 9*p + 6. Is 10 a factor of n(-6)?
True
Suppose 0*g = 5*g - 400. Let i = 8 + -8. Suppose 0 = 4*f - i*f - g. Is f a multiple of 14?
False
Suppose 2*p + 54 = -p. Let h = p + 7. Is h/((-1)/(-3)*-1) a multiple of 20?
False
Suppose -3*j - 9 = -6*j. Suppose -5*f = -y + 54 - 307, 5*f - 259 = j*y. Does 25 divide f?
True
Let j(m) = 3*m**2 - 19*m + 11. Does 20 divide j(9)?
False
Suppose -4*b + 9*b - d = -108, 3*b + 4*d + 51 = 0. Let j = 9 - b. Is 15 a factor of j?
True
Let r(y) = 12*y**3 + y**2 - 2*y + 1. Let c(k) = k + 5. Let s be c(-4). Is r(s) a multiple of 6?
True
Is 30 a factor of 90/(-8)*((-200)/(-15))/(-5)?
True
Let m be (17 + -9)*(-27)/4. Is 18 a factor of (4/3)/((-4)/m)?
True
Let l(t) = -t**3 + 4*t**2 - 2*t - 2. Let k be l(2). Suppose -3*z = -k - 16. Does 4 divide z?
False
Let k(o) = 71*o**2 + 1. Let a be k(-1). Is (a/(-60))/(1/(-30)) a multiple of 12?
True
Let p(g) = g**2 + 1 + g**2 + 3 - 3*g**2 - 8*g. Is p(-7) a multiple of 11?
True
Let t(c) = -2*c**2 + 4*c + 5. Let b be t(4). Let p be (b + 1)*(-1)/(-2). Let i = p - -28. Is i a multiple of 13?
False
Suppose -2*m + 16 = 2*m. Does 6 divide m + -3 + 1 - -11?
False
Let y(f) = -2*f + 8. Let q be y(-4). Let m = q - -35. Is 13 a factor of m?
False
Let a = 41 - 5. Is a a multiple of 9?
True
Let u(p) = -31*p**3 - p**2 - 4*p - 2. Does 8 divide u(-1)?
True
Let f(g) = -3*g**3 + 3*g**2 + 3*g. Let x be f(3). Is 18 a factor of (19/(-5) + 3)*x?
True
Let z(g) be the third derivative of -g**6/120 - g**5/15 - g**4/6 - 5*g**3/6 + g**2. Is z(-4) a multiple of 8?
False
Let l = 94 - 53. Let h = l - -79. Suppose -5*v + h = 3*i - 72, v + 3*i - 48 = 0. Does 12 divide v?
True
Suppose 3*s - 4 - 5 = 0. Suppose s*o - 4 = o. Suppose 5*m = 3*f + 118, o*m = -2*f + 35 + 25. Does 13 divide m?
True
Let i(h) = -h**3 + 6*h**2 - 2. Let m be i(6). Let u be 6/3 - (-10)/1. Let b = m + u. Does 4 divide b?
False
Let q(v) be the second derivative of -23*v**5/20 + v**4/12 - v**3/6 - v**2/2 + 6*v. Does 6 divide q(-1)?
True
Let j(z) = -z**2 - 1. Let g(v) = 4*v**2 - 2*v + 5. Let i(q) = g(q) + 6*j(q). Let b(m) be the first derivative of i(m). Is b(-7) a multiple of 11?
False
Let z = 3 - 2. Let l(i) = -7*i + z + 0*i - i - 5*i. Is l(-1) a multiple of 5?
False
Let f(c) = c**3 + 3*c**2 - 5*c. Let j = -14 - -10. Let y be f(j). Suppose 0 = g + 4, y*o = 5*g + 153 - 21. Is o a multiple of 10?
False
Let l(q) be the first derivative of -q**3/3 + 5*q**2 - 1. Let v be ((-1)/2)/((-2)/32). Is l(v) a multiple of 16?
True
Suppose -4*v - 18*v = -2640. Is v a multiple of 12?
True
Suppose -4*s = s + 15, 3*f = -2*s + 15. Let t(p) = p**2 + 3*p - 6. Let m be t(f). Suppose -v = v - m. Is 11 a factor of v?
False
Let z = 5 - 3. Does 12 divide z/(3/((-69)/(-2)))?
False
Let y(w) = w**2 - w + 7. Does 14 divide y(-7)?
False
Let s(q) = 10*q**3 + 2*q**2 - q - 2. Let w be s(2). Suppose 4*n + 24 = -4*y + w, -2*y - 75 = -5*n. Is 7 a factor of n?
False
Let p(l) = l**3 + 2*l**2 - 1. Let j be p(1). Suppose -4*a + 89 = -3*y, -j*y = -4*a + 3*a + 26. Is 10 a factor of a?
True
Let t(r) be the second derivative of -2*r**3 - 10*r. Suppose 4*f = 2*f - 4. Does 24 divide t(f)?
True
Suppose 0 = -z + 4*z - 30. Does 10 divide z?
True
Let y(f) be the second derivative of -f**3/6 + 23*f**2 + 3*f. Is 25 a factor of y(0)?
False
Suppose -15*r + 76 = -14*r. Is 19 a factor of r?
True
Is 15 a factor of -6 + 4 - (-78 - 0)?
False
Suppose 3*o + o + 32 = 0. Let h be (o/5)/((-4)/10). Suppose -5*p = 2*x - 2, 3*x + 8 = h*p + 34. Is x a multiple of 5?
False
Let z = -5 + 9. Suppose -d + z = -3. Suppose 0 = 5*t - d - 28. Is t a multiple of 7?
True
Suppose 0 = -3*y + 14 + 4. Suppose 0 = -y*x + x + 10. Suppose 5*c - 120 = -5*b, 2*b = -x*c - 3*c + 54. Is b a multiple of 15?
False
Let m = 141 - 81. Is 15 a factor of m?
True
Suppose -5*v - 2*o = -280, 2*v + 3*o = 28 + 95. Is v a multiple of 12?
False
Suppose 0 = -3*w + 3 + 9. Suppose -w*i - 19 = 13. Does 7 divide 2/(-1) - i*2?
True
Let c(k) = 5*k + 1. Suppose -3*t + 5 = -13. Let o be c(t). Let p = o - 17. Does 14 divide p?
True
Let k = -139 + 233. Is k + -6 + (2 - 0) a multiple of 26?
False
Is ((-2)/(-5))/((-8)/(-480)) a multiple of 11?
False
Does 10 divide (2 + 2 + -2)*20?
True
Suppose 0 = -4*n - 2*h + 158, 4*n - 2*h - 127 = 11. Let l = n - 26. Suppose 27 - l = 2*z. Is z a multiple of 5?
False
Suppose -4*r + 6 = -2*b, r + 7 = 3*b - r. Suppose -b*x = 3*t + 2*t - 120, -114 = -5*t - 3*x. Does 7 divide t?
True
Let r = 1 - -2. Suppose -2*h + 104 = 2*n, -3*h - r*n = 2*n - 156. Does 26 divide h?
True
Is (-13872)/(-176) - 2/(-22)*2 a multiple of 19?
False
Let c(w) = -w**3 + 3*w**2 - 7 + 2*w + 3*w**2 - 3*w + 8*w. Does 24 divide c(6)?
False
Let z(o) = -o**2 + 5*o - 3. Let x be z(3). Suppose -3*c + 21 = -x. Let j = c + 10. Does 9 divide j?
True
Suppose -4*k + 3*b = -19, -2*b + 10 = k + 2*k. Let h be k/(-16) + 6/(-8). Is (26/2)/(h/(-3)) a multiple of 1