uppose -5*r + 0*o = -o - 130, -o + 120 = 5*r. Is r a multiple of 5?
True
Let z(g) = -6*g**2 + 5*g**3 - 3*g**3 + 1 - 2*g - 3*g**3. Let p = -5 - 1. Does 5 divide z(p)?
False
Let d = -32 - -98. Does 22 divide d?
True
Let u = 8 - 4. Suppose -u*h = -35 - 65. Is h a multiple of 10?
False
Suppose -2*g + 1 = -z - g, -2*g + 5 = -z. Suppose z*t - 124 = t. Suppose 23 = -4*o - 5*k + t, 2*o + 4*k - 24 = 0. Is o a multiple of 4?
False
Let q = -220 + 157. Let r = 104 + q. Is r a multiple of 28?
False
Is 2 a factor of -1 - (-3 - -3) - -6?
False
Let z(k) = -k**3 - k. Let p(j) = -5*j**3 - 5*j**2 - 6*j - 2. Let r(q) = q**2 - 9*q + 1. Let u be r(9). Let y(s) = u*p(s) - 4*z(s). Is y(-5) a multiple of 4?
True
Let h(d) = -d**3 - 6*d**2 - 7*d - 3. Suppose 0 = 3*v - 4*k + 14 - 7, -v = -2*k + 1. Is 2 a factor of h(v)?
False
Let x(n) = n**2 - 4*n - 2. Let b be x(5). Suppose 0*y = -b*y + 3. Does 9 divide -8*y*20/(-8)?
False
Let y = 136 + -124. Is 12 a factor of y?
True
Suppose 214 = 2*y + 4*a, -4*y - 3*a = -0*y - 433. Does 37 divide y?
False
Let t(m) = m**2 - 3*m. Let n be t(5). Suppose 4*w - n = -j + 2*w, -5*w + 23 = 2*j. Does 2 divide j?
True
Let j(q) be the second derivative of q**5/20 - q**4/3 + q**3/3 + 2*q**2 + q. Is j(4) a multiple of 6?
True
Let j = 5 - 4. Let x(n) = 55*n**3 - 2*n**2 + n. Does 26 divide x(j)?
False
Let t = 139 - 49. Does 30 divide t?
True
Let c = -16 - -15. Let g = c + 17. Is g a multiple of 16?
True
Let k = -5 - -4. Is (48/(-2))/(0 + k) a multiple of 12?
True
Is 19 a factor of -2 - (-2 - (0 + 76))?
True
Suppose 4*w - 2*w - 80 = 0. Does 15 divide w?
False
Let g = 99 + -166. Does 9 divide g/(-3) + (-1)/3?
False
Let p(z) = 7*z**2 - 2*z + 5. Let l(r) = 8*r**2 - r + 6. Let a(b) = -3*l(b) + 4*p(b). Suppose -2*k + 4*t = 0, k = 5*t - 3 - 3. Is 23 a factor of a(k)?
True
Let u(x) = -5*x**3 - 2*x**2 - 2*x. Is u(-2) a multiple of 9?
True
Suppose 35 = 5*u + 4*o, -u = -o - o - 21. Is 7 a factor of u?
False
Suppose 42*f = 37*f + 150. Does 5 divide f?
True
Suppose -3*q + 166 + 191 = 0. Does 7 divide q?
True
Suppose 3*p = 3*x + 12, -2*p + 8 = x - 3. Suppose -x = -t + 2. Suppose -v = 3*y - 62, y = t*v - 0*v + 4. Is 19 a factor of y?
True
Suppose 13 = 2*b - 29. Does 7 divide b?
True
Let a be (-25)/(-4) - (-1)/(-4). Let m be (a/(-15) + 0)*20. Let q = m + 13. Is 4 a factor of q?
False
Let n(z) be the second derivative of -z**5/20 - 2*z**4/3 + 8*z**3/3 - 2*z**2 - 6*z. Is n(-10) a multiple of 19?
False
Let t(q) = 2*q**3 - 3*q**2 + 2*q - 3. Suppose 5*k + 0*k = 10. Let h be t(k). Suppose -4*m = -4*c + 12, h*m - 8 = 2*c + 1. Is 4 a factor of c?
True
Let m = -25 + 17. Is 213/12 + (-2)/m a multiple of 9?
True
Let k be 3/5 - 66/(-15). Let l(q) = -q + 7. Let r be l(k). Suppose 32 = r*i - 16. Is i a multiple of 12?
True
Let k = -149 - 827. Let n = -15 + 11. Is 18 a factor of n/(-14) + k/(-14)?
False
Let t(n) = 16*n + 1. Let i be t(1). Let f(o) = 3*o**2 - 5*o + 1. Let h be f(-4). Suppose -2*r = -h + i. Is 13 a factor of r?
True
Let s = 5 + -5. Suppose -3*k - x + 43 = s, -2*k = -2*x - 2*x - 24. Is k a multiple of 10?
False
Suppose 1 = 3*d - 14. Suppose 131 = 4*h + 5*r, -3*h + 101 = h - d*r. Is h a multiple of 23?
False
Let v(c) = 88*c**3 + 1. Let p be v(-1). Let y = p - -147. Suppose 0*i + 4*i - y = 0. Does 15 divide i?
True
Let t(w) = -3*w**3 - w**2 - 6*w + 6. Let k(c) = -3*c**3 - 2*c**2 - 7*c + 7. Let h(a) = -3*k(a) + 4*t(a). Let s be h(-3). Let x = s + -76. Does 12 divide x?
False
Let t(w) = -w**3 + 10*w**2 + 4*w - 14. Does 26 divide t(10)?
True
Let h(f) = -6*f**2 + 2 + 14*f**2 + 5*f**2 - 4*f. Let d be h(2). Suppose -5*a - 2*g + 52 = 0, 0 = -5*a + 4*g - 0*g + d. Is 10 a factor of a?
True
Suppose -2*s = -6*n + n + 410, 267 = 3*n + 3*s. Does 37 divide n?
False
Let u(m) = -3 + 5*m - m**3 - m**2 - 1 + 12 - 6. Suppose 0 = -5*h + k - 25 + 5, 2*k - 22 = 4*h. Is 5 a factor of u(h)?
True
Let s(j) = -j**2 - 5*j + 1. Suppose -o - 4 = -0*o. Let y be s(o). Suppose 0*v + 25 = y*v. Is 3 a factor of v?
False
Let h(g) = -g**3 + 8*g**2 + 7*g + 8. Let o be h(8). Let u = -11 + o. Is u a multiple of 16?
False
Let p(l) = -l - 2. Suppose 0 = -0*b + 4*b - 32. Let i be b/20*(-15 + 0). Is 3 a factor of p(i)?
False
Suppose 0 = -6*w + 12 + 180. Is 32 a factor of w?
True
Suppose q = -q + 2*s + 216, 2*s - 324 = -3*q. Is 18 a factor of q?
True
Let u be (2/(-3))/(18/(-27)). Let h be (6/4)/u*2. Suppose 0 = h*z - 12 - 60. Is z a multiple of 21?
False
Let w = 44 - 8. Is w a multiple of 12?
True
Suppose 4 = -2*r + 4*r. Suppose 3*w - c - 198 = 0, -3*w - r*c - 3*c = -198. Suppose d - 3*d + w = 0. Is d a multiple of 13?
False
Let p(m) = 2*m - 3. Let j be p(2). Let z(w) = 7*w - 4. Let h be z(3). Let q = h - j. Is 13 a factor of q?
False
Let v(h) be the first derivative of -6*h**2 + h - 1. Suppose -4 = -4*y + 4*l, -4*y + 2*l - 2 = -0. Is v(y) a multiple of 14?
False
Let v(m) = m**2 + 3*m. Does 14 divide v(4)?
True
Suppose 0 = -3*b - x + 190, -b - 2*x + 3 + 57 = 0. Is 16 a factor of b?
True
Let v(i) = -i**3 + 2*i**2 + 3*i + 2. Let u be v(3). Suppose -3*k = k + u*m - 28, 2*k - 5*m = 26. Is k a multiple of 8?
True
Let w be 1/4*2*-6. Let a be w + (3*4)/2. Suppose -a*f + b + 32 = -14, -5*b - 9 = -2*f. Is 10 a factor of f?
False
Suppose -2*l - 6*o + 14 = -2*o, -5*l + o + 35 = 0. Is l even?
False
Let x(a) = 0 + 2 - 2 + a + 6. Let l be x(-10). Does 7 divide 13/2 + (-2)/l?
True
Suppose -v = 5*v - 420. Is 10 a factor of v?
True
Suppose z - 64 = 3*m + 3*z, 5*z - 70 = 4*m. Does 19 divide (-992)/m + 4/10?
False
Suppose 2*s + 5*c = 284, 4*s = 7*s + 5*c - 426. Does 30 divide s?
False
Suppose -r + 133 = 2*z, -4*r + z + 169 + 336 = 0. Does 41 divide r?
False
Let k(w) = w**2 - 3*w - 20. Does 14 divide k(-10)?
False
Let i(n) be the first derivative of n**3/3 - n**2/2 - 2*n - 2. Let y be i(-2). Suppose -135 = -y*q - q. Is q a multiple of 15?
False
Let t(w) = -w + 5*w - 4*w - w. Is t(-5) a multiple of 4?
False
Suppose 0*x - 2*i - 41 = -x, -2*x - 2*i = -94. Does 15 divide x?
True
Let z = -113 - -196. Is z a multiple of 11?
False
Let o be -4 + 3 - (-26 - 0). Does 4 divide 255/o + 1/(-5)?
False
Let h(z) = -z**3 - 4*z**2 + 2*z + 2. Let p be h(-3). Let u = -8 - p. Does 5 divide u?
True
Let u(j) = 1 + 3*j - j + 6*j**2 - 7*j**2. Let x be u(3). Let k = 10 + x. Does 8 divide k?
True
Does 47 divide (-2)/4 + (-377)/(-2)?
True
Is ((-13)/2)/((-5)/30) a multiple of 9?
False
Let u = -5 - -3. Let z(m) = -2*m**3 + 2*m - 1. Let w be z(u). Let d = w - 6. Is 2 a factor of d?
False
Suppose -1 + 9 = 4*i. Suppose -5*p - 3*f - 2*f + 90 = 0, 2*p = i*f + 44. Suppose -2*d = -3*q - 12, -7*d + 3*d + p = -4*q. Does 3 divide d?
True
Let k(z) = z**3 - 2*z**2 - 6*z + 2. Suppose -8*r + 5*r + 15 = 0. Is k(r) a multiple of 21?
False
Suppose 5*z + 24 = 5*l + 59, -z + 1 = l. Suppose 4*k - 20 = -z*d, k + 5*d - 2*d - 5 = 0. Suppose -k*x - 4*v + 216 = 0, 1 = -v - 0. Does 12 divide x?
False
Let g = 8 + -4. Let x = 6 + g. Does 10 divide x?
True
Let b be (-1)/2 + (-185)/(-10). Is ((-24)/b)/(4/(-78)) a multiple of 13?
True
Suppose 2*c = -2*c - 5*r - 853, -429 = 2*c + 3*r. Let j = 306 + c. Is 17 a factor of j?
False
Let i(y) = 2*y**2 - 8*y + 7. Let f be i(5). Let p be ((-15)/10)/(3/(-8)). Suppose -p*h + f = -51. Is 8 a factor of h?
False
Let b be ((-144)/15)/(6/(-20)). Suppose 6*s - 4*s - 46 = -4*f, b = s - f. Is 29 a factor of s?
True
Suppose 0 = -18*l + 904 + 500. Does 8 divide l?
False
Suppose 5*c = -15, -3*o = c - 3*c - 12. Suppose 34 = o*f - 36. Does 7 divide f?
True
Let z(q) = -q**3 - 6*q**2 + 8*q + 17. Is 2 a factor of z(-7)?
True
Let p be 2/((-6)/(-135)) + -4. Suppose -p = -3*m + 52. Is 22 a factor of m?
False
Suppose -2*w - 240 = -4*w. Does 25 divide w?
False
Let u(s) = 2*s**2 - 2*s + 1. Let j be (-5)/(-7) - 4/(-14). Let m be u(j). Does 11 divide -1 + -2 + 35 + m?
True
Suppose -12 = -3*l + 5*z, 0 = 5*l - 0*z - z - 20. Let j be -3 - (0 - (-1)/1). Does 2 divide (j/5)/(l/(-10))?
True
Let z(w) = -w**3 - 13*w**2 - 6*w + 11. Is 9 a factor of z(-13)?
False
Suppose -2*h = -7*h + 10. Suppose h*a - 9 = -o + 7, o = 2. Is a a multiple of 3?
False
Suppose 30 = -m + 211. Is 39 a factor of m?
False
Let k = 10 + 5. Is k a multiple of 5?
True
Suppose 12 = a - 2*a + 5*x, -3 = 3*a - 4*x. Suppose z - 4*v = -19, -4*z - a*v + 11 = -8. Let b = 12 - z. Is b a multiple of 5?
False
Let n = 28