10 = 0. Does 8 divide n?
False
Suppose 0 = 2*n - 13 - 9. Let u = n - -2. Does 6 divide u?
False
Let m be 30/9*(-24)/(-1). Suppose -n + m = 4*n. Is 9 a factor of n?
False
Suppose -45 = -o - 3*v, -5*o - 35 + 160 = -5*v. Does 30 divide o?
True
Let d(q) = 78*q**2 - 2*q - 3. Is 11 a factor of d(-1)?
True
Let k(g) be the second derivative of -g**3/3 + 7*g**2/2 + 5*g. Is 14 a factor of k(-5)?
False
Let y(h) = h**2 - 4*h - 7. Let g(m) be the second derivative of -m**3/3 - 11*m**2/2 - 3*m. Let l be g(-9). Does 14 divide y(l)?
True
Let g = 1 - -1. Let c(f) = f**3 + 3*f**2 - 3*f + 1. Is 15 a factor of c(g)?
True
Does 16 divide (-471)/(-7) - (-4)/(-14)?
False
Let o(g) be the third derivative of g**4/6 - 2*g**2. Does 16 divide o(5)?
False
Suppose 22*m - 25*m + 540 = 0. Is 18 a factor of m?
True
Let n be 4 - (2 - 2 - 1). Suppose -35 = -n*a + 20. Is 6 a factor of a?
False
Suppose 2*j + 5*g - 86 = 0, -6*g = 3*j - 11*g - 79. Is 12 a factor of j?
False
Suppose 5*v = 5*w - 191 - 209, -4*v - 20 = 0. Is 15 a factor of w?
True
Is (-2)/(-8) - (-556)/(-48)*-3 a multiple of 7?
True
Suppose 12 = -3*s, 3*p - 88 = -p - 2*s. Is 12 a factor of p?
True
Let s(f) = 5*f**3 - 2*f**2 - 3*f - 1. Let y be s(3). Let q = -59 + y. Let n = -22 + q. Is n a multiple of 9?
False
Let y(q) = -2 + 4*q - 3*q + 1. Let g be y(3). Suppose 1 = -g*t + 23. Is 11 a factor of t?
True
Let d = 7 + -5. Suppose -8 = -z + 5*c, z + 3*c - 24 = -d*z. Does 2 divide z?
True
Suppose -3*n + 8*n - 2*z - 257 = 0, -5*z = 5*n - 250. Is 17 a factor of n?
True
Suppose l - 20 = -4*l. Let m = -4 + l. Suppose m = -c - c + 24. Is 6 a factor of c?
True
Let a = 2 - 6. Let m(f) = f**2 - 5*f - 4. Does 16 divide m(a)?
True
Let a be ((-2)/(-3))/(1/(-3)). Let g be ((-6)/2 - -1) + a. Let s = 11 + g. Is s a multiple of 7?
True
Let d(i) be the second derivative of i**5/20 - i**4/3 + i**3/3 - i. Is 8 a factor of d(4)?
True
Let s(j) = -j**2 - 4*j + 3. Let q be s(-3). Let d(m) = m**2 - 6*m + 9. Is d(q) a multiple of 9?
True
Suppose -2*a - 3*p + 9 = 0, -6 - 6 = -3*a - 5*p. Is a a multiple of 3?
True
Let i(d) = -d + 15. Let q(x) = x**3 - 3*x**2 + 5*x - 4. Let c be q(3). Is 3 a factor of i(c)?
False
Is 4 a factor of (-14)/(-4)*(6 + 0)?
False
Let p(w) = -3*w + 3 + w - 7. Is p(-5) a multiple of 6?
True
Let g = 0 + -9. Is 21 a factor of (-2 - g/(-6))*-12?
True
Let w(m) = 5*m + 4. Does 5 divide w(3)?
False
Let d be (-14)/(-8) + (-2)/(-8). Is 3 a factor of (-10)/((-4)/1 + d)?
False
Does 10 divide 37 + (4 + -1 - 5)?
False
Let k = -9 - -11. Suppose -a + k*a = 3. Suppose -a*b = 3*d + d - 156, d = -2*b + 34. Is d a multiple of 21?
True
Let u(q) be the first derivative of 6*q**2 + 4. Does 12 divide u(1)?
True
Let g(o) = o**3 + 7*o**2 - 1. Let r be -4 + (-3)/(-3) + 25. Suppose r = -4*a - 2. Is 18 a factor of g(a)?
False
Suppose -5*d + l - 1 = 0, -2*l + l = -3*d - 1. Suppose -3*i - x + 78 = d, -3*i + 56 = -3*x - 22. Does 17 divide i?
False
Let x = -25 + 26. Is 4/4 - (-31)/x a multiple of 32?
True
Suppose 5*g + 299 = 94. Let i = g - -8. Does 9 divide (-291)/i + 2/11?
True
Let y = 90 - 30. Does 20 divide y?
True
Let y(i) = -i + 3. Let r be y(-7). Suppose -2*t - 5 = 3*a - 3, -3*t + 2*a + r = 0. Suppose -2*f = -2*u - 34, -t*f = f - 4*u - 51. Is f a multiple of 14?
False
Let b(z) = 5*z - 12. Let g be 11/(-2) - (-2)/(-4). Let p(x) = -x + 1. Let u(d) = g*p(d) - b(d). Is 7 a factor of u(8)?
True
Let t(y) = y + 5. Let s be t(13). Let k be ((-2)/6)/(2/(-30)). Suppose 3*n + k = m, 4*n + s = -3*m + 5*m. Does 17 divide m?
True
Is 162*2/(-6)*-4 a multiple of 54?
True
Let a(r) = r**3 + 9*r**2 + 5*r + 9. Is 21 a factor of a(-5)?
True
Let j be -6*-2*1/3. Suppose 2*a + 14 = j*a. Is 5 a factor of a?
False
Is 6 a factor of (-2)/(-2) - (0 - 4 - 6)?
False
Let u be (-12)/(0 + 2)*1. Let c = -5 - u. Let q(n) = 14*n**2 - 2*n + 1. Is 5 a factor of q(c)?
False
Let z = 10 + 7. Is 3 a factor of z?
False
Is (80/25)/(6/75) a multiple of 20?
True
Suppose 2*t = m - 1 + 5, 2*m + 2 = 2*t. Let r(s) = s. Let q be r(m). Suppose 0 = q*i + 3*u - 3, -i = -2*i + 2*u + 5. Does 2 divide i?
False
Is ((-2)/(-2))/(4 + (-882)/222) a multiple of 18?
False
Let s be (-190)/(-45) - 6/27. Suppose 0*i = s*i - 352. Is i a multiple of 23?
False
Let r(y) = -2. Let a(o) = o - 1. Let g(k) = 3*a(k) - r(k). Let q be g(1). Suppose -5*w + 110 = q*m + 3*m, 0 = 3*m + 2*w - 64. Does 10 divide m?
True
Let n(k) = k**3 + 6*k**2 + 6. Let u be n(-10). Does 19 divide u/(-10) - 10/25?
False
Suppose 14*v - 60 = 11*v. Does 3 divide v?
False
Let j be (-2)/(-7) + (-44)/7. Let t(x) = -x**2 - 9*x - 3. Is 11 a factor of t(j)?
False
Suppose -3*z = -3*f + 1398, f - 49 - 419 = 3*z. Is 48 a factor of f?
False
Let w = 26 - -64. Does 30 divide w?
True
Let r(v) = 4 - 4*v**2 + 4*v**2 + 13*v - v**2. Let i be r(13). Suppose 0 = -i*f - 2*d + 116 - 34, 1 = d. Is f a multiple of 20?
True
Let h(n) = 7*n**2 - 4*n + 1. Let u be h(5). Suppose -y + u = -3*z, -y - 3*y = 5*z - 556. Let s = -96 + y. Is 15 a factor of s?
False
Let p = 203 + -143. Does 15 divide p?
True
Let r = 4 - 4. Suppose r = 4*a - 4*i - 16, -4*a = 3*i - i - 4. Let w = a + 15. Is w a multiple of 12?
False
Let w be 1/3 + (-5)/(-3). Suppose 5*f = 2*g - 72, -w*f + 2*g = -7*f - 88. Let q = 26 + f. Is q a multiple of 10?
True
Suppose 0*a + 22 = a - k, -12 = -a + 3*k. Does 9 divide a?
True
Suppose -700 = -5*s - 2*h, 0*h + h = -3*s + 420. Is 14 a factor of s?
True
Let k be (-1)/2 + (-3)/2. Let m = -2 - k. Suppose m*v = v - 6. Is 3 a factor of v?
True
Let t(y) = -y + 4. Let v = -4 + 7. Let h be t(v). Does 10 divide 34 - 1/(h/(-1))?
False
Let t = -244 + 156. Let w = 134 + t. Is 12 a factor of w?
False
Suppose u + 3*a - 2 = -1, 2*u + a + 8 = 0. Let o = u - -5. Suppose o = b + 3*l - 27, -46 = -b - 4*l - 15. Is 9 a factor of b?
False
Does 21 divide 2*-1 + (3 - (5 + -58))?
False
Let t(g) be the third derivative of -g**4/6 + g**3/3 - 2*g**2. Let m(u) = -4*u**2 - u - 1. Let w be m(-1). Is t(w) a multiple of 10?
False
Let u(g) = -g**2 - 7*g - 2. Let l be u(-6). Suppose -124 = -l*z - 2*k, -2*k + k - 130 = -4*z. Is 16 a factor of z?
True
Let k be (5/3 - 2)*0. Let g = 11 - k. Is 6 a factor of g?
False
Let f(h) be the third derivative of h**6/120 - 7*h**5/60 + 3*h**4/8 - h**3/3 + h**2. Let m = -10 + 16. Is 8 a factor of f(m)?
True
Let p = 785 - 521. Is 11 a factor of p?
True
Suppose -2*c = -2*f - 238, 3*c - 4*f = -0*f + 357. Suppose -10 = -5*s, 5*j + s = c + 83. Is 20 a factor of j?
True
Suppose -4*w + 0*w + 124 = 0. Let s = -22 + w. Does 5 divide s?
False
Suppose 5*f - 34 = 3*v - 4*v, f - 4 = 0. Suppose v = -l + 46. Let p = l - 18. Is p a multiple of 7?
True
Suppose -3*j + 5*j - 52 = 0. Does 16 divide j?
False
Suppose 0 = k + 10. Is 2*1*(-145)/k a multiple of 9?
False
Suppose 0 = 2*g - 0*g - 162. Does 27 divide g?
True
Let i = 54 + -39. Is 3 a factor of i?
True
Let s be (-44)/6*(1 + 2). Let t = -16 - s. Is t a multiple of 3?
True
Suppose -6*j + 4*j - 2 = 0. Let h be -1*(-5 + 0 + 0). Let g = j + h. Is g a multiple of 3?
False
Let s be 0 - (-5)/(15/6). Does 2 divide s/6 - (-70)/15?
False
Suppose 180 = -2*m - 5*p, 4*m - 2*p + p = -316. Suppose -4*d = -2*d + 100. Let w = d - m. Is w a multiple of 10?
True
Does 12 divide ((-12)/14)/((-2)/84)?
True
Let s = -58 - -195. Is 28 a factor of s?
False
Let n be ((-6)/1)/(-3) + 2. Is n/(-6) + (-768)/(-18) a multiple of 14?
True
Let d(a) = -a**3 + 3*a**2 + 5*a. Let o(g) = g**2 - 12*g + 15. Let k be o(11). Let q be d(k). Suppose q*y = 1 + 35. Does 9 divide y?
True
Let f be (2/3)/(4/18). Let v(d) = 3*d + 5. Let q(z) = -1. Let n(s) = f*q(s) + v(s). Does 14 divide n(4)?
True
Let d = -250 - -357. Is d a multiple of 31?
False
Suppose 0 = 3*b + 6*p - 4*p - 758, 0 = 2*b - 2*p - 502. Does 36 divide b?
True
Let n(u) = -9*u - 4. Let i(k) = 3*k. Let o be i(-1). Is n(o) a multiple of 13?
False
Let u = 75 + -48. Is 27 a factor of u?
True
Does 13 divide (-2)/(-10) + 2604/30?
False
Suppose 7*j - 3*j = -4*x + 8, 5*j + 4*x = 6. Is ((-357)/14)/(j/4) a multiple of 17?
True
Let n = 23 - 32. Let d = 50 - n. Does 24 divide d?
False
Let u(q) = 3*q**2 + 13*q + 4. Is u(-5) a multiple of 14?
True
Suppose -2 = -2*q - 6. Let a be 0 + -1 - q - 1. Suppose a*k - 10 = -2*k. Is 2 a factor of k?
False
Suppose -2*u + 6*u - 20 = 0. Suppose a - u*s = 146, 5*a - 822 = -4*s + 6*s. Is 4/(-8) - a/(-4