 + j**3 + 4 - 3*j**3 - 8. Does 10 divide l(-3)?
True
Is 14 a factor of 6/(-45) + 4210/75?
True
Let c be 15/(-25) + 2/(-5). Is 8 a factor of (-1 - (c + 1)) + 11?
False
Let g be (-4)/(44/23 - 2). Suppose 5*r = 3*r + g. Suppose -r = -4*l + 49. Is l a multiple of 9?
True
Let j(k) = k**2 + 5*k - 4. Let i be j(-8). Suppose o = 8 + i. Suppose 0*d + o = 2*d. Is 6 a factor of d?
False
Let c(q) = -14*q - 4. Let n be c(-2). Suppose 5*l + 60 = 2*i - n, 0 = 2*i + 2*l - 84. Is i a multiple of 14?
True
Let o = -2 - 1. Let h(a) = -3*a - 3. Is 4 a factor of h(o)?
False
Let v be 1/(-3) + (-35)/(-15). Suppose -3*s + v*q = -7*s + 8, 3*q - 4 = -4*s. Does 4 divide s?
True
Let b be 1*2 + 6/3. Let q(x) = -2*x + 5*x - b*x. Is q(-4) a multiple of 2?
True
Let v(k) = -3*k**3 - 1 - 2*k + 2*k**2 + 4*k**3 - k**2 + 0. Is v(2) a multiple of 2?
False
Let a = -1 + 5. Let f be (-18)/a*(-2)/3. Let v = 25 + f. Is v a multiple of 14?
True
Suppose -11 = 5*v - 76. Is v a multiple of 3?
False
Suppose -5*i + 2*i = 12. Let r(p) = 4*p - 5*p**2 + p**3 + 2*p + 0 + 2 + 11*p**2. Is r(i) a multiple of 5?
True
Let q(m) = -m**3 + 3*m + 1. Let y be q(-2). Suppose -v - t - 278 = -5*v, 0 = -4*v + y*t + 282. Suppose -3*b + v = -84. Is 19 a factor of b?
False
Let a = 142 + -138. Does 4 divide a?
True
Let i be 267/12 - 3/12. Is 3 a factor of 128/i + (-4)/(-22)?
True
Suppose -5*d = -5*p + 435, 4*p - 397 = -2*d - 67. Does 17 divide p?
False
Let v(d) = -5*d + 3. Is 19 a factor of v(-5)?
False
Let c = -11 - -6. Let x(b) = 3*b - 3. Let h(i) = -4*i + 3. Let t(m) = -2*h(m) - 3*x(m). Is t(c) a multiple of 5?
False
Suppose -2*p - 2*g + 152 = 0, 0*p - 3*g = 4*p - 305. Let d = p - 52. Is 20 a factor of d?
False
Let d = 16 - 9. Let h = d - 5. Does 2 divide h?
True
Suppose -q + 4*q - 6 = 2*a, 5*a - 7 = 2*q. Suppose -104 = -u + t, a*u - 2*t = -t + 320. Let z = u + -72. Does 16 divide z?
False
Let k be (-15 - -5) + 1 + 2. Let q = 4 + k. Is q/12 - 173/(-4) a multiple of 21?
False
Suppose -3*i + p + 41 = 0, 29 = -2*i + 5*i - 4*p. Suppose i = -0*z + z. Does 5 divide z?
True
Let x(o) = o**3 + 4*o**2 + o + 4. Let s be x(-3). Suppose 5*y = -s, y = -2*v - y + 82. Is 16 a factor of v?
False
Let r be ((-2)/6)/(7/(-42)). Suppose 4*x - 2*x = r. Is 4 a factor of (0 - x)*-12 + 0?
True
Let r be -3 + 1 - (-4 + 4). Let z = 59 + r. Is 26 a factor of z?
False
Suppose 8*r + p = 3*r, -4*p = 2*r + 18. Let h be (-2 + r)*75/1. Is 5 a factor of (-2)/(-4) + h/(-6)?
False
Let d = 6 - 3. Suppose d*n = -2*n + 90. Is n a multiple of 10?
False
Let j(w) = w**2 - 8*w - 7. Let p be j(9). Suppose 0*x = -p*m - 3*x + 71, 2*m + 5*x = 81. Is 14 a factor of m?
True
Suppose 0 = -t - 4*t + 95. Suppose 2*g + 5 = t. Suppose -g*y + 6*y + 14 = 0. Is 7 a factor of y?
True
Let b be 12 + -9 - 4/(-1). Let j = 12 - b. Is j a multiple of 5?
True
Let j be 24/2 - 0/(-2). Suppose 2*s - 3*v + 22 = -3*s, -2*s - 4*v = -j. Is 9 a factor of 26 - 5/((-5)/s)?
False
Let g = -1 - -1. Suppose v - 9 = -4*t - g*v, t + v = 3. Suppose -3 = -3*l, -2*a + t*l + 41 = l. Is 12 a factor of a?
False
Suppose 10*f - 141 = 169. Is f a multiple of 14?
False
Let v(a) = 6*a**2 + 19*a. Is v(-5) a multiple of 12?
False
Suppose i + 3*y = -2*y + 67, -5*i + 4*y + 335 = 0. Let c(z) = -z**3 + 5*z**2 + z - 7. Let v be c(6). Let o = v + i. Is 15 a factor of o?
True
Let s = 12 - -62. Is 40 a factor of s?
False
Suppose 13 = i + 2. Suppose 0 = 3*o - 2*o - 2*w - 44, -60 = -2*o - 3*w. Let m = o - i. Does 13 divide m?
False
Suppose -2*a - 2 - 4 = 0, -3*w - 5*a = 9. Suppose 5*n - w*j = -2, n = 4*j + 3 + 11. Let t(y) = -2*y**3 + y**2 + y + 1. Is 7 a factor of t(n)?
False
Let m = -4 - -7. Let o(h) = h + 1. Let d be o(m). Is 12 a factor of 15*-6*d/(-30)?
True
Is 18 a factor of 9/(-12) + 3756/16?
True
Is 12*((-6)/12)/((-6)/52) a multiple of 13?
True
Let g(j) = -2*j**3 - j - 1. Let i be g(-1). Suppose 0 = 5*o + a - 60, -i*o + 33 - 9 = a. Suppose -k + 2*k + 3*d - 47 = 0, -4*d = -o. Does 19 divide k?
True
Let j = 197 - -34. Is 11 a factor of j?
True
Let l be 12/7 + (-10)/(-35). Suppose -l*x + 82 = -34. Is 24 a factor of x?
False
Let w = -4 + 4. Suppose 4*o - 8 + 0 = w. Suppose r = 2*q - 6*q + 64, 0 = -o*q + 2*r + 42. Does 6 divide q?
False
Let x = 5 - -23. Is 7 a factor of x?
True
Suppose -2*m = 3*q + 2*q - 19, 27 = 3*q - 4*m. Suppose -q*l + 59 = v, -5*v = -2*l + 10 + 19. Does 12 divide l?
True
Let x(k) = -12*k - 4. Let j be x(-7). Suppose -2*d = 2*d - j. Is d a multiple of 8?
False
Suppose 4*c - 85 = -4*g + 5*g, 5*c = g + 106. Suppose q + 21 + c = h, 5*h - 222 = -q. Is 16 a factor of h?
False
Suppose -21 - 63 = 2*a. Let r = -22 - a. Is 15 a factor of r?
False
Let c be 4 + -1 + -14 + 2. Let j = c + 15. Is j a multiple of 5?
False
Let p = -24 - -44. Let w = 38 - p. Is 9 a factor of w?
True
Suppose 2*s - 4*y - 2 = 0, 4*y + 23 = -0*s + 5*s. Suppose -2*c = 4*f - s - 25, 36 = 4*f + c. Is f a multiple of 6?
False
Let x(m) = -5*m + 3. Suppose 3*o + o = 0. Let h be (o - 1)*(5 - -1). Is x(h) a multiple of 15?
False
Let v = 28 + -20. Does 5 divide v?
False
Let d = -1 - 5. Let w(k) = k**3 + 7*k**2 + 5*k - 2. Let y be w(d). Suppose -2*g + 44 = 4*p, 61 + 5 = y*g - 3*p. Is 18 a factor of g?
True
Let o(m) = -m**3 + 8*m**2 + 10*m + 7. Does 5 divide o(9)?
False
Suppose 381 + 59 = 10*t. Does 8 divide t?
False
Suppose i = 3*u - 189, -i - 313 = -2*u - 3*u. Does 16 divide u?
False
Suppose b - 84 = 4*r, 4*b - 99 = 2*r + 195. Is 18 a factor of b?
True
Let b be -4*(-1 - -3)/2. Suppose d + 4*q - 4 = 0, -2*d - 2*q + 22 = -q. Let n = b + d. Does 3 divide n?
False
Let n(b) = b - 1. Let y be n(3). Let i be (-1 + -3)/(y/(-1)). Suppose -i*q + 5*q - 36 = 0. Is q a multiple of 6?
True
Let n be (-3)/(-1) + 0/8. Suppose n*q - 22 = 2*q. Is 22 a factor of q?
True
Let k = 154 + -34. Does 32 divide k?
False
Let w(q) = -q**3 - 5*q**2 - 2*q - 10. Is 19 a factor of w(-6)?
True
Suppose 0 = q - 10 - 1. Is q a multiple of 11?
True
Let b = 658 + -386. Is 26 a factor of b?
False
Let g(o) = -o - 2. Is g(-9) a multiple of 3?
False
Let v(u) = u**3 - 9*u**2 + 20*u - 1. Does 8 divide v(8)?
False
Let a(i) = 2*i + 5. Let q be a(-4). Is 8 a factor of 2/q - 56/(-3)?
False
Suppose -t - 5*c + 28 = t, 0 = 4*t - 3*c - 30. Does 3 divide t?
True
Suppose -3*i - 12 = -474. Is 7 a factor of i?
True
Suppose 3*s + 0 - 15 = 0. Suppose 0 = -3*w + b + 3, 10*w - s*w - 5*b + 5 = 0. Suppose -2*j - 2*y = -24, 3*j + w*y = -2*y + 40. Is j a multiple of 4?
True
Let f = -5 + -3. Let s(t) = t**3 + 7*t**2 - 12*t - 2. Does 15 divide s(f)?
True
Let u = 60 + -59. Let x(t) = -1 + 0 + 0*t**3 + 5*t**3 + t**2. Is x(u) a multiple of 5?
True
Suppose 4*q - 2 = 14. Suppose -5*f = -5*v - 180, 2*f + q*v - 41 - 7 = 0. Suppose 0*y + 2*y = f. Is 16 a factor of y?
True
Let g(d) = -2*d**2 + 4*d - 2. Let s be g(3). Let k = 13 + s. Is k even?
False
Let u = -14 + 16. Suppose -6*m + 24 = -u*m. Is 6 a factor of m?
True
Suppose -2*p + 3*g + 57 = 0, -2*g + 0*g - 60 = -2*p. Is p a multiple of 6?
False
Let f(y) = -y**2 - 65*y**2 + 12*y**2 - y. Let v be f(1). Does 10 divide (-1000)/v - 4/22?
False
Suppose 0 = -2*q - 0*q + 8. Suppose 2*u - 94 = -q*l, -2*u - 38 = -3*l + l. Does 6 divide l?
False
Suppose o + o - 2 = 0, -4*o - 12 = 4*i. Is 13 a factor of 106/4 + i/8?
True
Let u be 0 + 2*18/(-2). Let r = u + 26. Let w = 7 + r. Is 15 a factor of w?
True
Let q = -19 - -6. Let v = 32 + q. Does 3 divide v?
False
Let c(q) = -q**2 + 6*q + 19. Let n(x) = x**2 - 7*x - 19. Let z(g) = 6*c(g) + 7*n(g). Is z(15) a multiple of 2?
False
Suppose 3*i = -5*w + 245, -5*i - w + 371 = -2*w. Does 7 divide i?
False
Let a(j) = -j + 13. Let n be a(6). Suppose 5*b - f - 10 = 23, 31 = 3*b + 5*f. Suppose i = b + n. Is 14 a factor of i?
True
Let s be 0*1/2*2. Suppose s*q = 3*q - 48. Is q a multiple of 11?
False
Is 20 a factor of 2*((-195)/(-2))/3?
False
Does 10 divide (3/9)/(2/174)?
False
Suppose 19 + 44 = 3*v. Is v a multiple of 7?
True
Let b(z) be the second derivative of -z**3 - 3*z**2/2 - z. Let u be (6/(-9))/(2/9). Is 6 a factor of b(u)?
False
Suppose -4*c = 3*s - 273, 0*s + 2*c = 4*s - 364. Let r = s + -61. Is 6 a factor of r?
True
Let w(j) = -j**3 + 13*j**2 - 3*j + 1. Let k be w(12). Let z = -16 + k. Is 31 a factor of z?
True
Suppose 5*z = z. Let f(u) = u**3 + u**2 + u + 24. Let l be f(z). Suppose -3*q = 5*i - 0*q - 26, 4*q - l = -4*i. Is 4 a 