 of 12?
True
Suppose 16 = 5*q - q. Suppose -q*x + 82 = -2. Is 7 a factor of x?
True
Let q be 4/(-2) + 1 - -2. Let p be q/(-2) - 1/(-2). Suppose 4*x = n - 32, -2*n = -p*n - x - 29. Does 12 divide n?
True
Suppose s = -0*s + 4. Suppose -10 = -n - s*n. Suppose -n*l + 15 = 1. Is 4 a factor of l?
False
Let k(x) = x + 11. Let b be k(-8). Suppose b*o - 22 = 17. Is o a multiple of 7?
False
Let c = 70 - 48. Does 15 divide c?
False
Suppose 67 - 3 = 2*u. Does 32 divide u?
True
Suppose -2*h = 5*a - 249, -2*h - 2*h = -a - 465. Is 30 a factor of h?
False
Suppose 0*t = v - t + 14, -2*v = -t + 28. Is 3 a factor of ((-42)/v)/(0 + 1)?
True
Suppose -2*r + 4*r - 428 = 0. Let y be (-1)/((6/r)/(-3)). Let k = -76 + y. Is k a multiple of 14?
False
Let m be ((-1)/(-3))/(1/63). Let v = m - 0. Is v a multiple of 8?
False
Let k(f) = 3*f**3 - f**2 + f - 3. Let n(b) = -16*b**3 + 5*b**2 - 5*b + 15. Let o(v) = 11*k(v) + 2*n(v). Does 18 divide o(4)?
False
Suppose 4*t + t - 150 = 0. Is t a multiple of 6?
True
Let c(m) be the third derivative of m**6/120 - m**5/20 + m**4/4 - m**3/6 - 5*m**2. Does 11 divide c(4)?
False
Let r(v) = 3*v + 7. Let j = 5 - 2. Suppose 2*k + j*k + 3*i - 52 = 0, -5*k - 5*i = -60. Does 12 divide r(k)?
False
Suppose j - 6*j + 125 = 0. Is 3 a factor of j?
False
Suppose 0 = 2*r + c + 39, -2*c + 1 = -c. Let l = 41 - 3. Let d = r + l. Is 18 a factor of d?
True
Let z = 10 + -7. Let j be 7/(0 - z - -2). Is (-1 - (-1 + 1))*j a multiple of 3?
False
Suppose 5*d = 138 + 42. Is d a multiple of 15?
False
Let r be 0/(-2) - 0/(-12). Is r + 16 + 2 - 2 a multiple of 16?
True
Let w(n) be the second derivative of n**3/2 + n**2/2 + 2*n. Let d be w(1). Suppose 5 = -d*m + 29. Is m a multiple of 6?
True
Let y be ((-1)/2)/(3/72). Is 2 a factor of 2/6 - 80/y?
False
Let k = 1 + 1. Suppose -24 = -3*b + 3*v, -5*v - 37 = -5*b - v. Suppose 3*c - 121 - 27 = -k*z, z = b*c - 264. Does 14 divide c?
False
Let u(a) = a**3 + 8*a**2 - 7*a + 4. Does 12 divide u(-8)?
True
Let v = 12 - 12. Suppose r - 3*r - 2*i = -194, v = -4*r + 4*i + 420. Does 27 divide r?
False
Suppose 0 = 2*b - 75 - 87. Is 12 a factor of b?
False
Suppose -n - 61 = -179. Is n a multiple of 14?
False
Let y(h) = -2*h. Let m be y(-1). Let v be 6 + (-4)/m + 0. Let l = v + 1. Does 5 divide l?
True
Let l = -79 + 179. Is 34 a factor of l?
False
Suppose 0 = 5*j - 4*o - 895, -2*j - 2*o - 710 = -6*j. Is j a multiple of 21?
False
Suppose -5*t + 4 = -5*s - 16, 2*t = 5*s + 8. Does 3 divide t?
False
Suppose -5*b + 2*b = -69. Is 12 a factor of b?
False
Suppose -4*v + 73 = -31. Is 3 a factor of v?
False
Let v(q) = -q**2 + 11*q + 2. Let i be v(8). Suppose h + 2*h = 4*a + i, 5*h + 5*a + 15 = 0. Suppose -5*z - 50 = -4*y - 17, -h*z - 9 = -y. Does 5 divide y?
False
Let b(k) = -4*k**3 - 14*k**2 + 11*k - 11. Let u(d) = -9*d**3 - 29*d**2 + 21*d - 21. Let o(m) = -7*b(m) + 3*u(m). Does 10 divide o(-12)?
False
Let j(v) = -4*v**2 - 4 + 0 - v**3 + 7*v + 1 - v**2. Let y(a) = a - 1. Let s(o) = -j(o) + 6*y(o). Is s(-4) a multiple of 17?
True
Let r(o) = 2*o - 4. Suppose -2*k + 2*q + 3*q + 12 = 0, -q = 0. Is 4 a factor of r(k)?
True
Let q = 22 + -16. Suppose -4*a + q*a = 5*n + 2, -5*a = -5*n - 5. Suppose n = 3*k - 49 + 4. Is 4 a factor of k?
False
Suppose -5*o - 660 = -2305. Let l = o + -234. Suppose -3*d = -5*x + 85, -5*x + 6*d - d = -l. Does 7 divide x?
True
Suppose -5*t + 132 = 3*s - 0*s, 0 = t - 5*s - 4. Is t a multiple of 11?
False
Suppose 60 = -0*b + 2*b. Is b a multiple of 14?
False
Suppose -2*j + 1 = -j. Let l = 3 + j. Suppose 3*v - 40 = -l*t, 2*v - 4 = v. Does 4 divide t?
False
Let b(v) be the first derivative of -v**4/4 - 11*v**3/3 - 11*v**2/2 + 11*v + 2. Is 14 a factor of b(-10)?
False
Let j(o) = -3*o**2 - 3*o. Let m be j(-3). Let s = m - -48. Does 10 divide s?
True
Let m(p) = -p**2 - 9*p - 8. Let l be m(-7). Suppose 5*v + 23 = l*v. Does 6 divide v?
False
Let v(x) = 2*x + 12. Let s be v(4). Suppose -5*k - 16 = -5*g - 241, 0 = -5*g + s. Is 14 a factor of k?
False
Suppose 5*u - 117 + 30 = -4*p, 0 = 3*u + 3. Suppose 5*g = 4*a + 120, g = -4*a + p + 25. Suppose 0 = -4*d + 84 + g. Does 11 divide d?
False
Suppose -k - 3*k + 12 = 0. Let t be k/6 + 7/2. Suppose -j = -r - t, -3*r = 2*j + 2*r - 36. Is 4 a factor of j?
True
Suppose -57 = -5*n + 23. Is n a multiple of 3?
False
Let z = 16 - 9. Suppose -b + 2*a = -18, a + z + 7 = b. Is 5 a factor of b?
True
Let j(g) = 22*g**2 - g. Is j(-1) a multiple of 6?
False
Suppose 0*f = 5*f - 10. Suppose -f*l + 4*j + 28 = -6, -2*l = 4*j - 26. Suppose -5*s + l = 2*q - 111, 4*s + 2*q = 100. Is s a multiple of 10?
False
Let y = 6 - 3. Suppose -y*n - 51 - 33 = 0. Let r = n - -41. Does 7 divide r?
False
Let m(t) = 12*t**2 - 2*t - 1. Let u be m(-1). Suppose u + 143 = 4*h. Is h a multiple of 13?
True
Suppose 4*i = -3*y + 10, 0*y - 4*y + 4 = -4*i. Let p(s) = i + s**2 - 4 + 1. Is p(6) a multiple of 17?
True
Suppose -3*i - 4 = 2. Let t = 4 + i. Suppose 0 = -2*a + 5*v + 33, -t*a + 17 + 6 = 5*v. Does 11 divide a?
False
Let z = -10 + 10. Suppose z = 2*h + 5*r - 22, 4*r + 118 + 3 = 5*h. Is 7 a factor of h?
True
Let f(j) = -j**3 - 5*j**2 - j - 5. Let p(q) = q**3 - 3*q**2 - 4*q - 5. Let y be p(4). Let i be f(y). Suppose 4*n - n - 24 = i. Does 5 divide n?
False
Let d = 166 + -99. Does 20 divide d?
False
Suppose -6*s + 9*s = 57. Is s a multiple of 11?
False
Suppose -h = 3*h - 1140. Does 10 divide h/25 + (-3)/(-5)?
False
Suppose -583 = -5*p - 3*l + l, l = 4*p - 456. Does 23 divide p?
True
Suppose 4*m + 5*p = 2*p + 15, 3*m = -4*p + 13. Let g(i) = 0*i**m - 3*i**2 - 2 - i**3 + 2*i**2. Does 8 divide g(-3)?
True
Suppose y = 5*y. Suppose 45 = -y*d + d. Does 19 divide d?
False
Suppose 3*h - 4 = 179. Is 10 a factor of h?
False
Is 34*1 - (10 - 12) a multiple of 21?
False
Suppose 250 = 2*d - w, -w + 58 = 3*d - 312. Suppose -5*o + 182 = 4*k, -d = -2*o - o + 5*k. Is o a multiple of 13?
False
Let k = 4 + -12. Let m(t) = -t**2 - 10*t + 6. Is 16 a factor of m(k)?
False
Is 49 a factor of 3/(-12) - (965/(-4) + -4)?
True
Let h(q) = 6*q - 1. Let y be h(5). Let s = 74 - y. Does 15 divide s?
True
Let o be (-2)/(-2 + (6 - 2)). Let h(p) = 2 - 3 + 4*p - 14*p. Is 8 a factor of h(o)?
False
Let h(u) = -u. Let k be h(4). Suppose 18 = 2*l - d, 0 = 5*d - 9 - 1. Let m = l + k. Is 4 a factor of m?
False
Suppose -3*f + 4*y + 0 = 16, f = -y + 4. Let g = f + 4. Suppose -3*j = -5*j - 2*s + g, 30 = 5*j + s. Does 7 divide j?
True
Let v be 8 + -5 - (-1)/(-1). Suppose -v*o = 3 + 5. Is 16 a factor of (10 + -2)*(0 - o)?
True
Let t(v) = -v**3 - 3*v**2 + v - 6. Is 24 a factor of t(-6)?
True
Let v(a) = -a**2 + 5*a - 2. Let c be v(2). Let o be -3 + 58 + (-1 - -1). Suppose -c*g - g = -o. Is g a multiple of 4?
False
Let d(c) = 3*c**3 - 2*c**2 - c. Let v be d(2). Is (-40)/(-14)*v/4 a multiple of 10?
True
Let r = -124 + 351. Is 14 a factor of r?
False
Let n(z) = -z + 4. Let o be n(-8). Is (o/(-8))/(9/(-24)) a multiple of 3?
False
Let b be 4*1/((-8)/14). Is (-191)/b - 8/28 a multiple of 7?
False
Does 2 divide 32/(-2)*(-2)/4?
True
Suppose -5*f - 800 = -10*f. Suppose -5*l - 145 = -4*p, -5*p + l + f = -l. Is p a multiple of 10?
True
Suppose -2*j - 2*j = 0. Let p be 1 + (-38)/(-2) - j. Suppose 3*g - p = -m - 4, 26 = 3*g - m. Does 3 divide g?
False
Let j(r) = -132*r + 2. Let h be j(-5). Let x be 12/54 + h/18. Suppose 3*i + x - 109 = 0. Is i a multiple of 12?
True
Let k be -1 + (-2 - -2) - -2. Let l(v) = -2*v**2 + v**2 + 2*v**2 - 6 - k. Is l(5) a multiple of 9?
True
Suppose -a + 97 = 3*f, -3*f - a + 109 = -6*a. Is f a multiple of 11?
True
Let m(k) be the second derivative of -k**5/20 + k**4/6 - k**3/6 + k**2 - k. Let s be m(2). Suppose 0 = 3*c - s*c - 21. Does 4 divide c?
False
Suppose -g + 29 = -0. Is g a multiple of 7?
False
Let x = 2 - 2. Suppose -2*u - 2*u + 204 = x. Is u a multiple of 17?
True
Let c = 940 + -652. Does 24 divide c?
True
Suppose 2*l - 2*q = 46, 0 = -3*l - 3*q + q + 49. Does 14 divide l?
False
Is 33 a factor of (-12)/78 + (-3867)/(-39)?
True
Let s be 1 - (-8 + (1 - -2)). Suppose -14 + s = -l. Does 4 divide l?
True
Let r(j) be the second derivative of -j**4/12 + 4*j**3/3 - 2*j. Suppose -4*k - 5*n + 5 = -9, -18 = -2*k + 3*n. Is 6 a factor of r(k)?
True
Let m be (1 - 1)*(-2)/(-2). Let i(g) = -g + 34. Let q be i(0). Let o = q - m. Is o a multiple of 17?
True
Suppose -5*k = 4*j - 