 f = -2*c. Does 13 divide c?
True
Let s = 10 - 3. Suppose 10*v = s*v + 6. Suppose -x + 23 = v*c, 0 = 3*c - c + 4*x - 8. Is 9 a factor of c?
False
Does 36 divide 114*(12/(-42))/(4/(-7))?
False
Suppose 0 = -39*r + 34*r + 420. Suppose -c = -2*t - 47 - r, -5*c + 3*t + 662 = 0. Is 19 a factor of c?
True
Is 2*(2 + 8 + 4) even?
True
Suppose 923 = 7*k - 869. Is 58 a factor of k?
False
Let n = -831 - -1220. Is 4 a factor of n?
False
Let o(k) = 3*k**2 + 52*k + 177. Is o(-17) a multiple of 6?
False
Let a = 316 - 63. Is 18 a factor of a?
False
Suppose 3*l - 8*c + 3*c - 17 = 0, -c = -2*l + 2. Is (l + 1 - -4) + 158 a multiple of 28?
False
Let z = 83 + -80. Suppose 526 = z*x - 122. Is x a multiple of 36?
True
Is 12 a factor of (819/14)/((-9)/(-48))?
True
Suppose 2*z + h - 2365 = -596, 2656 = 3*z + 4*h. Is z a multiple of 22?
False
Let i(m) = 2*m**2 + 1. Let r be i(-2). Let z(s) = 14*s + 49. Is z(r) a multiple of 22?
False
Let h(d) = 2*d**2 - 3*d**2 + 6 - 18 + 11*d. Let f be (3*-3)/((-1)/1). Is 6 a factor of h(f)?
True
Let f = -3 - -7. Suppose -21 = -f*m - 1. Let s = 1 + m. Does 2 divide s?
True
Let m(s) = s**3 + 10*s**2 + 5*s + 9. Let v(f) = -2*f**2 - f + 1. Let o be v(2). Is 9 a factor of m(o)?
True
Let q = 89 + -52. Is q a multiple of 6?
False
Let x(d) = 2*d - 8. Let y be x(14). Suppose 0*p = -5*u + 3*p + y, u - 5*p - 4 = 0. Suppose i - u*h - 14 = 0, -i + h = 3*h - 44. Is i a multiple of 4?
False
Let k(v) be the first derivative of v**2 - 7*v - 5. Let d be k(6). Suppose -d - 1 = -2*j. Is 3 a factor of j?
True
Suppose 0 = -20*q + 5*q + 2220. Is 20 a factor of q?
False
Suppose -r + 1 = d - 0, 5*d - 10 = -4*r. Suppose 9 + 3 = d*h. Suppose -3*s + 208 = -h*a, -s - 3*a + 2*a + 71 = 0. Does 35 divide s?
True
Let y = 41 - -126. Is y a multiple of 5?
False
Let f = 5 - 1. Suppose 3*b - n = 12, f*n + 3 = -3*b - 0*b. Suppose -b*v + 48 = p, p - 43 = -2*v + 7. Is 20 a factor of p?
False
Let j = -50 - -23. Let d = j - -36. Suppose -2*y - d = -5*y, 3*a + 5*y = 27. Is 4 a factor of a?
True
Suppose 6*y - 40 = 2*y. Suppose -333 = 7*m - y*m. Suppose -w - z + 9 = -9, 5*w - 2*z - m = 0. Is w a multiple of 7?
True
Is 8 a factor of (-12)/(360/(-17546)) - (-2)/15?
False
Let c be 1/3 + 560/21. Is 22*(c/6)/3 a multiple of 33?
True
Let z(u) = -3*u. Suppose -10*m + 11*m - 1 = 0. Let v be z(m). Let n(l) = -l**3 + 3. Is n(v) a multiple of 15?
True
Suppose -p = -0*p - 5*i + 40, 4*i - 116 = 5*p. Is 36 a factor of -1 - -2*p/(-8)*15?
False
Suppose -4*j + 2*p + 816 = 0, 5*p - 14 - 190 = -j. Suppose m + 2*m + j = 0. Let w = 122 + m. Is w a multiple of 27?
True
Let f = 214 - -117. Is 16 a factor of f?
False
Is 29 a factor of ((-3)/(-2))/(33/6050)?
False
Let a(d) = -82*d + 74. Let s be a(-7). Suppose -o - s = -7*o. Does 27 divide o?
True
Suppose -z + 185 + 62 = 2*d, -2*d + 5*z = -241. Suppose -2*l - 3*j = -d, -5*l + 4*j = -j - 245. Let s = -32 + l. Is s a multiple of 7?
False
Suppose 0 = -2*m + 2*t + 14, -2*m = -6*m - 4*t + 4. Suppose 0 = 3*u + 6, 0*u = -2*o + m*u + 64. Is 14 a factor of o?
True
Let j be 11/(-33)*(0 - -3). Let v = 15 - j. Let t = 29 - v. Is t a multiple of 4?
False
Suppose -2*t - 4*u = -738, -2*t + 2*u + 156 + 606 = 0. Is 13 a factor of t?
True
Let c(l) = 4*l**3 + 6*l**2 - 9*l - 23. Is c(6) a multiple of 21?
False
Is 20 a factor of (16/60*-3)/(3/(-375))?
True
Let l(h) = 10*h - 3. Let g be l(8). Suppose g = 3*b - 10. Suppose 15 = m - b. Is 11 a factor of m?
True
Is 52 a factor of ((-104)/(-3))/((-2)/(-18))?
True
Suppose 10*o = 4062 - 12. Does 45 divide o?
True
Does 14 divide 1/(-1)*(4 - 2973)?
False
Let v(f) = 43*f**2 - 15. Does 7 divide v(9)?
False
Let i(w) = w**3 + 10*w**2 - 11*w - 19. Let s be i(-9). Suppose -4*b + 8*b + u = s, 4*u + 175 = 5*b. Is b a multiple of 13?
True
Let m be (-4)/(-32)*6*204. Is -1 + m - (12 - 14) a multiple of 31?
False
Let c(t) = t**3 + 2*t + 658. Is 9 a factor of c(0)?
False
Let a(o) = 4*o**2 - o - 1. Let r be (-90)/10 + (-1 - 2). Let q be (11/(22/r))/(-2). Does 8 divide a(q)?
True
Let q be 2/3 + 42/18. Is 8 a factor of -48*((-3)/9 + (-1)/q)?
True
Let s(f) = -f + 55. Is 4 a factor of s(-5)?
True
Let j = -1919 + 2009. Is j a multiple of 6?
True
Suppose -b + m + 21 = 0, -21 = -b - 0*b + 4*m. Let x(s) = s - 7*s - b + s**2 + 19. Does 13 divide x(-4)?
False
Suppose -5*t = -7*t + 4, -6520 = -2*g - 5*t. Is 15 a factor of g?
True
Suppose 3*m + m + i - 458 = 0, 4*i - 222 = -2*m. Suppose 0 = -2*f + 7*f - 5*c - 250, -2*f = -5*c - m. Does 9 divide f?
True
Suppose 0 = -4*r + f + 37, 0 = 3*r + 3*f - 6 - 3. Let g(w) = 9*w**2 + 2. Let q(h) = -2*h**2 + h + 1. Let u(c) = -g(c) - 5*q(c). Is 8 a factor of u(r)?
False
Let q = -45 + 48. Suppose -2*p - 887 = -5*l, 2*l - q*p - 346 = -0*l. Does 34 divide l?
False
Suppose 8 = -5*v + v. Suppose 0*i + 6 = i. Is v/6 - (-98)/i a multiple of 4?
True
Let c(u) = -u - 2. Let k be c(7). Let i = -15 + k. Let b = i + 51. Is 9 a factor of b?
True
Let t be -37 - (3 - 5 - -2). Let s = t + -8. Is (-598)/(-10) + (-9)/s a multiple of 20?
True
Let r(y) = 164*y + 21. Is r(5) a multiple of 29?
True
Let c(i) = -2*i**3 + 33*i**2 - 4*i - 11. Is c(16) a multiple of 9?
False
Let y(m) = -m**2 - 19*m + 8. Is 4 a factor of y(-19)?
True
Let f = 1 + 1. Let j = 27 + -25. Let i = f + j. Does 2 divide i?
True
Let u(y) = 10*y - 95. Let q be u(10). Suppose 2*k - 5*o - 629 = 0, -627 = 3*k - q*k + 3*o. Does 26 divide k?
True
Suppose 0 = -6*t + 339 + 495. Is t a multiple of 5?
False
Let p = 94 - 102. Does 33 divide (-15 - -1)/(p/132)?
True
Suppose -3*b - 6 = -6*b. Let n be 0 - (2 - (4 + b)). Suppose 0 = 4*g + n*m - 52, 3*m + 7 = 2*g - 29. Is g a multiple of 4?
False
Let v be 1/(-2)*(-8)/(-2). Let i(m) = -m**3 - 3*m**2 - 6*m - 2. Is 6 a factor of i(v)?
True
Let v(k) be the second derivative of 13*k**6/360 - k**5/30 - k**4/2 - k. Let d(z) be the third derivative of v(z). Is 24 a factor of d(2)?
True
Is (-8)/(32/(-2308)) + -12 a multiple of 8?
False
Let z(a) = -a**2 - 35*a - 52. Is 9 a factor of z(-6)?
False
Let s = -4 - -3. Is (s*30)/(27/(-36)) a multiple of 10?
True
Let q(k) = 105*k + 6. Let n be -4 + 3 + 2 - 0. Does 5 divide q(n)?
False
Let j(m) = m**2 - 7*m + 11. Let p be j(5). Suppose l - 1 = -2*v, -p = l - 2*l - 4*v. Suppose -i + 103 = l. Is i a multiple of 14?
False
Let t(d) = -1 + 9*d**2 - 2*d**2 - d**2 + d. Suppose 2*p - 24 = 4*r, 7*p + 4*r + 30 = 12*p. Is 25 a factor of t(p)?
True
Let y = 163 + -143. Is y a multiple of 2?
True
Let j = -11 - -14. Suppose 0 = -j*b - b + 20. Suppose -a - 5*i + 15 = -i, -52 = -3*a - b*i. Is a a multiple of 19?
True
Is 14 a factor of -47 - -55 - 370/(-1)?
True
Let h(s) = -389*s - 3 + 370*s - 4*s**2 + 5*s**2. Is 28 a factor of h(23)?
False
Suppose 2*i = -2*t + 124, 2*i - 5 = -4*t + 235. Is t a multiple of 7?
False
Let v be (-3)/(-18)*-4*(-2 + 11). Is 20/v*(-2 - 10)/2 a multiple of 7?
False
Suppose 0 = 5*p + 3*t - 939, 3*p - t - t = 552. Suppose u - 146 = -3*h, -4*h + p = 2*u - 5*u. Is 16 a factor of h?
True
Let n(g) = 12*g + 5. Let k be n(7). Let i = k - 35. Suppose 0*q - i = -3*q. Is 10 a factor of q?
False
Let z(g) = 11 + 90*g - 16 + 5. Let k be z(-1). Does 12 divide (8/20)/((-1)/k)?
True
Let j(m) = -6*m - 5. Let f(k) = -25*k - 20. Let s(x) = 6*f(x) - 22*j(x). Does 31 divide s(-4)?
True
Suppose 0 = -7*n - 958 + 5648. Is n a multiple of 10?
True
Suppose c - 382 = -s + 4*s, -5*s = -c + 372. Is c a multiple of 48?
False
Let b = 848 + -498. Does 18 divide b?
False
Does 5 divide ((-91)/(-14))/(((-68)/(-200))/17)?
True
Let f be 4/(-14) - (-374)/(-14). Let y be (-4)/8*(-157 - -13). Let p = f + y. Is 15 a factor of p?
True
Is 15 a factor of ((-1930)/(-4)*-12)/(0 - 2)?
True
Let l(y) = -14*y - 16. Let b be l(-16). Suppose -15 - 10 = -5*q. Suppose u - 5*o = -0*u + 29, -4*o - b = -q*u. Is 9 a factor of u?
False
Suppose -2*z - 4*r = -36, -z - 5*r + 25 + 8 = 0. Suppose -3*d + 1 = -8. Suppose -d*t = -2*p - z + 83, 2*t + 78 = 2*p. Does 6 divide p?
True
Let g(t) = -t**2 - 10*t - 6. Let a be -7 + 6 + -3 + -1. Let w be g(a). Suppose 114 = w*y - 17*y. Is 18 a factor of y?
False
Let b = 1615 - 962. Is 23 a factor of b?
False
Let b = 304 - 83. Is 17 a factor of b?
True
Suppose -1914*r = -1907*r - 2149. Is r a multiple of 12?
False
Let a(i) = -3*i**3 - 19*i**2 + 36*i + 76. Does 16 divide a(-10)?
True
Suppose -c + 24 = -16. Suppose -a - 3*a + 10