*l + k, -5*l - 2*b + 5*b = 55. Is ((-50)/l)/((-1)/(-8)) a multiple of 25?
True
Let j(i) = 5 - 2*i + 2 + i**3 - 1 + 10*i**2 + 2. Is 14 a factor of j(-10)?
True
Let n be ((-3)/(-3))/(1/4). Suppose 15 = -z + n*z. Suppose z*p - 116 - 32 = 2*g, -g = 3*p - 80. Is 13 a factor of p?
False
Let x(w) = 32*w**2 - 5*w - 6. Does 22 divide x(-2)?
True
Let x(s) = -s**3 - 8*s**2 + 8*s - 9. Let c be x(-9). Let d = c - -35. Is 15 a factor of d?
False
Is (2 + -3)/((25/(-5))/1000) a multiple of 15?
False
Let l(c) = 17*c**3 - c**2 - c. Let o be l(3). Suppose -27 = -5*a - o. Does 6 divide (1*-1)/(7/a)?
True
Suppose 0 = 3*z - 27*z + 2712. Does 3 divide z?
False
Suppose 5*s - 8 - 12 = 0. Suppose -2*b + 7*b - 5*n - 75 = 0, 2*b - 24 = -s*n. Does 14 divide b?
True
Let q be 2 + 21 + -3 - -1. Let v = -10 + q. Does 11 divide v?
True
Suppose -t + 8*t = 231. Is t a multiple of 4?
False
Let r = -5 - -45. Is 20 a factor of r?
True
Suppose -2 = 2*z - 8. Suppose 0 = -2*i - 4*n + 24, 0 = 2*n + z*n. Is i a multiple of 10?
False
Suppose 3*i + 4 = 5*i. Suppose 168 = 2*b + i*b. Is b a multiple of 21?
True
Let i(y) = 43*y**2 + 4*y - 9. Let t(x) = -21*x**2 - 2*x + 5. Let l(m) = 6*i(m) + 11*t(m). Is l(-1) a multiple of 8?
False
Let x(k) = k**2 - 5*k + 6. Let j be x(4). Suppose -3*t = -n + j, -t = 3*n + n - 8. Suppose 0 = -n*z - 3*m + 36, -42 = -5*z - 4*m + 34. Is z a multiple of 12?
True
Let l = -84 + 177. Suppose -5*c + 112 + l = 0. Does 9 divide c?
False
Suppose -4*f - f + 20 = 0. Suppose 5*m = f*m + 48. Is m a multiple of 24?
True
Let d = -13 + 19. Is 2 a factor of d?
True
Let i(f) = 6*f**2 + f + 1. Let z be i(3). Suppose 37 = 5*p - z. Is 10 a factor of p?
False
Let p(t) = 8*t. Let a = 0 - -1. Is 6 a factor of p(a)?
False
Let j(g) = g**3 + 9*g**2 + 8*g - 16. Is 38 a factor of j(-6)?
False
Suppose 3*p = -2*p + 10. Let g(a) = 3*a + 4*a**2 + a**p - 2*a + 3*a**2. Does 10 divide g(-2)?
True
Let v be (-12)/6 - (1 + -5). Suppose v*i - 7 - 1 = 0. Is i a multiple of 4?
True
Let w(v) = v**3 - 5*v**2 + 5*v - 5. Let z be w(4). Let t(q) = 80*q**2 + q + 1. Let p be t(z). Suppose 4*a + 4*f - p = 0, 3*a + 28 - 86 = -f. Does 19 divide a?
True
Let q = -59 - -86. Is 17 a factor of q?
False
Let g = -24 + 125. Suppose 4*l = 27 + g. Is l a multiple of 16?
True
Let u(s) be the first derivative of s**3 + 5*s**2/2 + 3*s + 4. Does 19 divide u(-5)?
False
Suppose 5*c = c + 24. Let q(l) = l**2 - 2*l + 9. Let b be q(c). Suppose 5*s - 63 = -4*m, -3*s = -0*s + 4*m - b. Is 15 a factor of s?
True
Let w(a) be the second derivative of a**3/6 + 4*a**2 - 2*a. Let m be w(-6). Is 1 + m/(-1) + 31 a multiple of 15?
True
Suppose -3*q + 4*q + 2*r - 70 = 0, q + 4*r - 74 = 0. Is q a multiple of 11?
True
Let x(c) = c**2 - 10*c + 22. Is x(10) a multiple of 11?
True
Suppose 7 = -3*t + 2*t + 4*a, a = 1. Let n be (t/1)/(-3) + 21. Suppose 5*l - 48 = n. Is l a multiple of 12?
False
Suppose -5*s + 42 = -z - 60, -z - 62 = -3*s. Is s a multiple of 13?
False
Suppose 0 = -2*w - 0*w + 20. Let t be (-4)/w - (-182)/5. Let q = t - 26. Is q a multiple of 5?
True
Let v(l) = -5*l - 3 - 2 + l. Does 10 divide v(-5)?
False
Let s(r) = -r**3 + 6*r**2 - 10. Is s(5) a multiple of 4?
False
Suppose 3*c + 67 = 4*d, -d = -6*c + 2*c - 7. Is d a multiple of 19?
True
Let v(t) = 0*t + 4*t - 3*t + 2. Let d be v(0). Suppose d*j + 84 = 6*j. Does 10 divide j?
False
Let m be -2 + 3 + -3 - -2. Suppose m = 2*w - w - 12. Does 4 divide w?
True
Suppose 0 = -0*g - 4*g. Let b(q) = g*q + 28 - q + q**3 + 31*q**2 - 30*q**2. Is b(0) a multiple of 14?
True
Suppose -220 = -3*x + 605. Is 25 a factor of x?
True
Suppose 0 = 2*s + 10, 2*i + 3*i - 30 = 3*s. Let p(k) = -i - 2 - 1 + 3*k. Is 6 a factor of p(6)?
True
Let f be (-18)/((-3)/((-21)/(-2))). Let u = f - 38. Let g = u - -47. Does 19 divide g?
False
Let z(k) = -4*k**3 + 3*k**2 + 4. Let g(h) = -7*h**3 + 5*h**2 + h + 7. Let o(m) = 3*g(m) - 5*z(m). Does 2 divide o(-2)?
False
Let j be (2 - 0) + 1 - -9. Let s(n) = -3*n - 9 + 5*n + 6 - j. Is 7 a factor of s(11)?
True
Let o(s) = -8*s - 3 - 2 - 2 - s**2. Let z be o(-7). Suppose 4*n = -w - 3*w + 100, n - 4*w - 30 = z. Is n a multiple of 13?
True
Suppose -5*j + 11 = 1. Suppose -t - 2 = -6*t + j*l, t = -3*l + 14. Is 2 a factor of t?
True
Suppose -16*f + 624 = -4*f. Does 6 divide f?
False
Let a(r) = -r**3 + 5*r**2 - 5*r + 3. Suppose -17 = -5*p - 2. Does 2 divide a(p)?
True
Is (1 - (-2 - -6)) + 33 a multiple of 9?
False
Let q = -13 - -27. Is q even?
True
Let h be 0 - (-4)/((-16)/(-12)). Does 23 divide ((-18)/15)/h*-185?
False
Let x(h) = h**2 + 2*h + 2. Let m be x(-2). Suppose 8*c - 222 = 3*c + 3*i, m*c = -3*i + 72. Suppose -b + c = -0*b. Does 14 divide b?
True
Let u(n) = 67*n + 1. Let m be u(1). Suppose s = -3*d + 65, -5*d - 4*s = -m - 38. Is 9 a factor of d?
False
Let k be 2/(-7) - 18/(-14). Let s = 3 + k. Does 4 divide s?
True
Suppose -3*y - 3*i = -531, -i - 723 = -y - 3*y. Is 20 a factor of y?
True
Let b = -682 - -1164. Is b a multiple of 56?
False
Is 6 a factor of (-108)/(-2)*(-2)/(-6)?
True
Suppose -97 = -3*v + 266. Is v a multiple of 34?
False
Suppose -5 = 2*g + 3*g, -2*g = 2*m - 20. Suppose -v = 3*w + 10, -5*v - 5*w - m + 1 = 0. Suppose 76 = 2*t + v*t - 2*z, -65 = -5*t - 5*z. Is 12 a factor of t?
False
Suppose 3 = 2*j - d, 2*d = 4 - 6. Is j + 15 - (-2)/(-1) a multiple of 14?
True
Suppose 2*p - 21 = 27. Let a be (p/(-18))/((-2)/3). Suppose 3*i + 4 = -5*z + 32, 0 = a*i - 2. Is z even?
False
Suppose 2*v - 10 = k, 0 = v + 2*v - 2*k - 17. Let r be 6/((-81)/28 + v). Suppose a + 3*a - r = 0. Is a a multiple of 14?
True
Let t = 0 + 3. Suppose -t*i = -i - 52. Does 7 divide i?
False
Let o(n) = -n + 10. Let d be o(7). Suppose -4*p + 22 = -d*a, 6 + 10 = 3*p - 2*a. Is 4 a factor of p?
True
Let w = 31 + -47. Suppose f = 4*v - 3, -10 = -f + 2*v - 5. Let d = f - w. Does 12 divide d?
False
Let l = 2 + -3. Let f(b) = -4*b - 2. Let p be f(-2). Let o = l + p. Is 2 a factor of o?
False
Is 25 a factor of (-13 + 0)/((-3)/18)?
False
Let j(m) = m**2 - 6*m - 8. Let i be j(7). Let q be (0 - 1 - -1)*i. Suppose -3*x + 6 = -q. Does 2 divide x?
True
Is 8 a factor of 4185/150 - 2/(-20)?
False
Suppose 2*a - 20 = 58. Suppose -3*r - a = -6*r. Does 13 divide -2 - -1 - (-1 - r)?
True
Let g = -12 - -19. Let l = g + -5. Suppose -l*x + 8 + 14 = 0. Does 7 divide x?
False
Let a = 7 + -4. Let x(y) = y**3 - 2*y**2 + y + 4. Does 12 divide x(a)?
False
Let p = 112 - 62. Is 17 a factor of p?
False
Let v(c) = c**2 - 5*c + 4. Is 15 a factor of v(-7)?
False
Let o = 17 + -68. Let u = o - -74. Does 6 divide u?
False
Let m = -3 - -3. Let b be m + (-1 - 0 - -34). Suppose -8*k + 5*k = -b. Is 5 a factor of k?
False
Is 10 a factor of (-9)/3*-10*8/6?
True
Suppose -7*o = -2*o - 3*z - 932, 4*o + 4*z = 752. Is o a multiple of 17?
True
Let b = -14 + 74. Suppose r = -4*r + b. Is 6 a factor of r?
True
Suppose -p + 18 + 2 = 5*r, 0 = -4*p. Suppose u - 41 = -2*d, u - 2*d - 41 = r. Is u a multiple of 34?
False
Let h(k) = -3*k - 4. Let w be h(8). Let a = -5 - w. Does 6 divide a?
False
Suppose -5*y + 4*l + 56 = 0, 26 = 2*y - 4*l + 6. Suppose y = 5*q - 3. Let c = q + 12. Is 15 a factor of c?
True
Let i(q) = 12*q + 1. Let r be i(2). Let z(d) = d + 8. Let v be z(0). Does 13 divide v/6*(r - 1)?
False
Suppose 3*t = 4*i - 141, 2*t = 4*i - 40 - 102. Suppose d = 5*d + i. Is (-6)/((d/(-4))/(-3)) a multiple of 7?
False
Suppose -t = 2*t + 390. Let q(a) = a - 3. Let k be q(4). Is 10 a factor of k*2 - t/5?
False
Suppose -10 = -j + 3*j, -4*j = -5*p + 185. Does 11 divide p?
True
Suppose 5*i - 42 = 28. Let f = -8 + i. Suppose 5*x - 18 - f = -k, x = -5*k + 72. Is k a multiple of 5?
False
Is 31 a factor of 109 + (11 + -4 - 4)?
False
Suppose 0 = -5*r + 31 + 109. Does 7 divide r?
True
Let k be 1 + 4 + 6/(-2). Suppose -2*j - 2*z = -7 - 5, -k*j + 4*z + 36 = 0. Is 9 a factor of j?
False
Suppose 0 = -2*l - l + 81. Is 27 a factor of l?
True
Suppose -6 = -5*x + 9. Suppose -7*o + x*o + 2*p + 86 = 0, -5*o = -3*p - 106. Does 7 divide o?
False
Suppose -12 = -s - 2*s. Let n = 287 - 197. Suppose s*h - n = -34. Is h a multiple of 9?
False
Suppose -4*r = -8*r + 16. Suppose -p = r*z - 104, 3*p = -5*z + 5*p + 143. Is 9 a factor of z?
True
Suppose 0 = -5*v + 3*x + 359, -5*v + 87 + 274 = -2*x. Is v a multiple of 30?
False
Let d be 2/(2/(-4)*-4). Let l be d/(0 + -1) - -5. Suppose 0 = -0*b 