 Is u(-14) a multiple of 7?
True
Is 20 a factor of 8/28 + (3 - (-3090)/14)?
False
Let v(c) = c + 3. Let t be v(-3). Suppose t*i = 2*i - 78. Suppose r = -2*r + i. Is 6 a factor of r?
False
Let o(f) be the third derivative of -f**4/12 + 11*f**3/6 + 2*f**2. Is 13 a factor of o(-11)?
False
Suppose 15 = -2*g - 0*g + 3*f, 15 = 3*f. Suppose g = -3*p + 5*p. Suppose p = -8*u + 3*u + 50. Is 4 a factor of u?
False
Suppose 0 = -5*u - 5 - 20. Does 14 divide -1 - -27 - (3 + u)?
True
Suppose -2*d = -7*d - 5, -25 = -5*y - 5*d. Let c(j) = j**3 - 8*j**2 + 10*j. Let h be c(7). Suppose o = -y + h. Is o a multiple of 12?
False
Suppose 38 + 378 = 4*c. Suppose s + 3*s = c. Is s a multiple of 11?
False
Let d be (-2)/(-3) + 14/(-3). Let x be (-41)/(-2) + 2/d. Let l = 39 - x. Is l a multiple of 19?
True
Let a = -6 + 14. Suppose 2*d + 0*d - a = 0. Is d a multiple of 2?
True
Let u be (-4)/(-12) - (-167)/3. Suppose 0 = -3*d + u + 13. Suppose 3*z + 5*n - 6 - 2 = 0, -3*z - 2*n = -d. Is z a multiple of 5?
False
Let c(j) = -42*j**3 + 4*j**2 - 2*j. Let q(o) = 0*o**2 - o + 10*o**3 - 51*o**3 + 3*o**2. Let b(v) = -2*c(v) + 3*q(v). Is 13 a factor of b(-1)?
True
Let a = -46 + 78. Is a a multiple of 16?
True
Suppose -3*b + 20 = 5*x - 4*x, -3*x + 32 = 5*b. Suppose -r - 2*r + 5*s + b = 0, 4*r - 3*s = 13. Suppose -v - 78 = -r*v. Is v a multiple of 13?
True
Let b(h) = 4*h - 5. Let l(k) = -9*k + 10. Let d(w) = -5*b(w) - 2*l(w). Suppose 8 + 12 = -5*v. Is d(v) a multiple of 13?
True
Suppose 2*w - 149 = -2*b + 257, 5*w = -b + 1019. Is w a multiple of 12?
True
Suppose w + 3*w = 264. Let z = w - 45. Is 21 a factor of z?
True
Suppose 3*h + 1 = -5. Is 14*((-20)/(-7) + h) a multiple of 10?
False
Let t = 0 + 1. Is t/2 + 50/4 a multiple of 13?
True
Let b = 3 + -7. Does 12 divide (3 - 1)*(-34)/b?
False
Let w be (-1 - (-2)/(-8))*4. Let t = w - -4. Is t*2 - (-28 - -4) a multiple of 8?
False
Let l(k) = k**2 + 3*k - 4. Let f be l(-6). Suppose -4*h + 2 = -f. Let v = 6 + h. Does 5 divide v?
True
Is 22 a factor of 3/6*76/1?
False
Let s(g) = 8*g + 12. Let y be s(10). Suppose 0 = 4*i - z - y, 4*z + 1 = 4*i - 91. Is 9 a factor of i?
False
Let s(p) = -p**2 + 3. Let f(a) = a**2 - 2. Let n(g) = 3*f(g) + 4*s(g). Is 3 a factor of n(0)?
True
Let p = -23 + 48. Is p a multiple of 4?
False
Suppose -3*d + 6*d = 5*t - 1009, 4*t = -3*d + 818. Is t a multiple of 20?
False
Let v(c) = -c**3 - c**2 - 2*c. Does 18 divide v(-4)?
False
Suppose 0*v + 3*l - 26 = 4*v, -4*v = 3*l + 14. Suppose t = 4*k + 5, 11 = -3*t + 4*t + 2*k. Is 5 a factor of v + t - (-2)/2?
True
Let p(f) = -6*f + 30. Does 36 divide p(-13)?
True
Let x = 96 - 62. Does 31 divide x?
False
Let a(v) = v**2 - 2*v + 3. Suppose i - 20 = -3*i. Does 18 divide a(i)?
True
Suppose -8*y + 3*v - 5 = -3*y, -3*y - 4*v - 3 = 0. Does 4 divide ((-5)/10)/(y/16)?
True
Suppose 21*y = 22*y - 31. Is 23 a factor of y?
False
Let s(f) = -6*f**3 - 3*f**2 + f + 3. Does 27 divide s(-3)?
True
Suppose 0 = x - 2*x + 25. Let j = -16 + x. Suppose 5*d + j - 219 = 0. Is d a multiple of 21?
True
Let s be (11/(-33))/(2/(-12)). Does 21 divide 33 - (-2 - -3)*s?
False
Let h = -42 - -68. Let s = -10 + h. Is s a multiple of 16?
True
Suppose 0 = 5*m - 14 + 79. Let i(s) = 2*s - 11. Let x(o) = -4*o + 23. Let n(g) = m*i(g) - 6*x(g). Does 11 divide n(-5)?
False
Suppose -4*w + 5*r = -97, -w - 2*r + 24 = -3*r. Is w a multiple of 14?
False
Suppose 0 = -o + 3*g - 11, 3*o - 5 = -3*g - 2. Let a be 1 - o - 0/3. Suppose a*r - 12 = 3. Does 3 divide r?
False
Let j = 297 + -117. Suppose -g - 4*g = -j. Is 18 a factor of g?
True
Let d = 4 + -3. Suppose -3*w + 4*j + 1 = -d, -4*w + 4*j - 4 = 0. Is 3/((w/(-26))/3) a multiple of 21?
False
Let d(r) = -4*r - 1. Let g(z) = -6*z - 1. Let i(j) = -8*d(j) + 5*g(j). Let w be i(6). Suppose -c + 46 + w = 2*p, 0 = p + c - 30. Is p a multiple of 23?
False
Let w be 5 + -5 - -1*2. Let n be (w/4)/((-4)/32). Let v(z) = 2*z**2 + 3*z + 4. Is v(n) a multiple of 8?
True
Let n be 50 - 5/((-5)/3). Let z = n + -19. Is 18 a factor of z?
False
Suppose -5*p - 123 = 157. Let z = -22 - p. Does 34 divide z?
True
Suppose -4*c + 5*q = -77, 57 = -0*c + 3*c - 3*q. Does 5 divide c?
False
Suppose 20 = u - 5*u, -3*o - 3*u + 474 = 0. Suppose j = 5*r - o, 2*r - j - 79 = 4*j. Is 11 a factor of r?
False
Let y(q) = -5*q + 4. Let u = -32 - -18. Is y(u) a multiple of 22?
False
Suppose 3*d - 19 = -4*m - 0*m, d - 3*m + 11 = 0. Suppose q - 13 = -d. Suppose -q = -4*j + 4. Is 4 a factor of j?
True
Let p(l) = l**2 - 2*l + 2*l + 2*l + 0*l**2 + 3. Does 22 divide p(-7)?
False
Suppose -64 = 4*b - 216. Is b a multiple of 7?
False
Suppose 0 = 5*h - 2*j - 300, -h + 2*j - 6*j + 60 = 0. Does 15 divide h?
True
Let j(i) = i - 1. Let u = 7 + -1. Is j(u) a multiple of 5?
True
Let a be 1/((-3)/6)*-13. Let z = a - -42. Does 23 divide z?
False
Suppose 3*y - 2 - 25 = 0. Suppose -17 = -2*w + y. Does 4 divide w?
False
Let b = 7 + -8. Is (-3)/(-4 - b) + 21 a multiple of 12?
False
Suppose 5*j - 573 = -0*u + 3*u, -2*j + 3*u = -222. Does 13 divide j?
True
Let i(v) = 8*v + 22. Does 17 divide i(7)?
False
Let o(v) be the third derivative of -5*v**4/24 - 2*v**3/3 + 3*v**2. Let y be o(-4). Let l = y - 8. Is 5 a factor of l?
False
Let v be 30/(-4)*8/(-12). Suppose 4*z + 9 = -v*d - 4, 4*z - 5*d + 3 = 0. Let f(y) = 6*y**2 - 2*y + 1. Does 17 divide f(z)?
False
Let l = -64 + 130. Is 11 a factor of l?
True
Let t(o) be the second derivative of -o**5/20 + 4*o**4/3 - 2*o**3 - 15*o**2/2 + 3*o. Is 10 a factor of t(15)?
True
Suppose 5*q - 615 + 165 = 0. Suppose 0 = 3*i - i + 2*g - q, -g = 4*i - 183. Is 5 a factor of i/10 - 2/(-5)?
True
Suppose h - 18 = 4*u + 6, u = -2*h + 48. Suppose -3*x + 3*b + 114 = -h, 5*b - 200 = -5*x. Is 14 a factor of x?
False
Suppose 3*o + 5*w = 109, -4*w - 14 = 4*o - 154. Is o a multiple of 11?
True
Let a(h) be the first derivative of 2 + 0*h**2 + 28*h + 1/4*h**4 + 1/3*h**3. Is 14 a factor of a(0)?
True
Suppose 0 = -4*j + 5*j + 8. Let n be (-2)/j*-22*-2. Does 8 divide ((-2)/1 - 1) + n?
True
Suppose t = -2*x + 8, 3*x + 12 = 6*x. Suppose 0 = 3*i - 5*i + 5*d, t = 2*i - d. Suppose i*b = 3*o - b - 69, -5*b = -4*o + 92. Is 13 a factor of o?
False
Let o = 3 + -1. Suppose 8 = -o*l - 6. Let s = l - -18. Is 5 a factor of s?
False
Suppose 20*j - 174 = 226. Is 20 a factor of j?
True
Let v = 47 + 1. Is v a multiple of 4?
True
Suppose -5*t + 55 = -5*a, -15 = -4*t + 5. Let d = 30 + a. Does 24 divide d?
True
Let c(d) = 31*d**2 + 1. Does 8 divide c(-1)?
True
Let i be (20/(-25))/((-4)/10). Let d(j) = -i*j + 2*j**2 - j**2 - j - 3*j. Is 5 a factor of d(7)?
False
Suppose 1 - 4 = k + y, k + 3 = y. Let i = 2 - k. Suppose 0 = -0*s + 3*s - i*j - 43, 4*s - 36 = -4*j. Does 9 divide s?
False
Let d = 61 - 32. Is 29 a factor of d?
True
Let p = 90 + -43. Is 12 a factor of p?
False
Suppose -3*h - 3*u + 287 = -190, 0 = -2*u. Let p = h - 106. Is 31 a factor of p?
False
Let r(o) = -o**2 + 11*o - 10. Does 10 divide r(6)?
True
Suppose 4*o = -0*o + 8, 5*r + 3*o - 236 = 0. Suppose r = -b + 2*b + q, -4*b - 5*q = -187. Is b a multiple of 11?
False
Let l = 1 + 1. Suppose -d + x + 29 = 0, -3*x = -l*d - 4*x + 61. Suppose -c + d = -2*a, -c - c + 54 = -a. Does 13 divide c?
True
Suppose -r - 4*r + 15 = 0. Suppose -2*p + r*p - 32 = 0. Is 14 a factor of p?
False
Suppose -3*u + 18 = x - 6*u, -2*u - 122 = -4*x. Does 3 divide x?
True
Let s = 3 + -3. Suppose 0*a - 3*a + 5*p = -59, a - 4*p - 22 = s. Suppose -4*t = -v - a, 2*t - 5*v = -2*t + 10. Does 3 divide t?
False
Let a = 12 + -6. Let r = 257 + -157. Suppose a*m - r = m. Is m a multiple of 5?
True
Let u(m) = -4*m**3 + 3*m**2 + 5*m + 6. Is u(-3) a multiple of 42?
True
Suppose -f = -4*i + 47, 0 = -2*f + f - 3*i - 75. Let b = f - -91. Let o = 43 - b. Is o a multiple of 15?
True
Suppose 3 - 43 = 4*a. Let n be ((-12)/10)/(3/a). Suppose z + 5*q - 12 = 2*q, -n*z + 48 = 4*q. Is 5 a factor of z?
False
Suppose -6 = -a - 3*f, -2*f - f = 5*a - 30. Is a a multiple of 6?
True
Does 31 divide 1 + -2 - 0 - (-179 - 11)?
False
Let p = -82 - -90. Does 2 divide p?
True
Suppose 15*x - 1160 = 10*x - 4*l, 0 = 5*x + 3*l - 1160. Is x a multiple of 22?
False
Suppose -3*y = 5*w - 141, 0 = -5*w - 2*y + 4*y + 156. Is 10 a factor of w?
True
Let a = 82 + -18. Is 8 a factor of a?
True
Suppose -2*p = -12 - 82. Is 36 a factor of p?
False
Let i(c) = -c**3 - 2*c**2 + 8*