*m. Suppose 0 = -4*t + m*n + 124, 5*t - 4*n = -5*n + 161. Is t a multiple of 16?
True
Suppose -3*p = -182 - 385. Is 55 a factor of p?
False
Let f = -7 - -22. Is 3 a factor of f?
True
Let y = 445 - 192. Is y a multiple of 23?
True
Let i(h) = h**3 - 12*h**2 - 11*h - 17. Let v be i(13). Let b = 12 + v. Is b a multiple of 12?
False
Suppose 5*u = -l - 19, l - 2*u = u + 13. Let j(t) = 5*t - 1. Let s be j(l). Does 3 divide 1 - 3 - (-9 + s)?
True
Let k(s) = 11*s + 4. Does 17 divide k(3)?
False
Suppose 0 = b - 1, -5*s + 4*s - 4*b - 139 = 0. Let h = -64 - s. Does 14 divide h?
False
Suppose 0 = -5*h - 0 + 30. Let s(r) = 2*r. Let k be s(h). Suppose 5*j - j - k = 4*p, 4*p = j. Is j a multiple of 4?
True
Let b = 39 - 15. Suppose -p - 2*p + b = 0. Let a = 13 + p. Is a a multiple of 9?
False
Let o = 18 + -11. Let a = o + -3. Is 4 a factor of a?
True
Let k be 2*-1 - (-11 - 2). Let o = 19 + k. Is 12 a factor of o?
False
Let k(i) = -2 + 4 - 12 - 11 + i. Let x be k(0). Let c = x - -33. Does 6 divide c?
True
Let u(q) = -q**3 + 15*q**2 + 20*q - 4. Is 12 a factor of u(16)?
True
Suppose b + 153 = -2*b. Is 17 a factor of (-2 + 4)*b/(-6)?
True
Suppose 2*f = -2*i + 3*i + 194, 5*f - i = 479. Is 12 a factor of f?
False
Suppose -5 = 5*w + 3*m + 25, w + 6 = 3*m. Is 25 + (-4)/(8/w) a multiple of 7?
True
Suppose -5*v + 0 = 4*r - 41, -3*v + 31 = 4*r. Suppose 91 = v*t + 16. Let s = 4 + t. Is 10 a factor of s?
False
Suppose 5*q - 3*j = -0*j + 266, -q = 4*j - 44. Is 13 a factor of q?
True
Suppose -1284 - 102 = -6*i. Is 26 a factor of i?
False
Let r(u) = u**3 + u**2 - 1. Let v(s) = 5*s**3 - 3*s**2 + 4*s - 6. Let o(d) = 6*r(d) - v(d). Is o(-9) a multiple of 18?
True
Is (18/(-15))/((-2)/55) a multiple of 11?
True
Suppose 0 = 3*a - a - 12. Let m(u) = 5*u + 2. Is 18 a factor of m(a)?
False
Suppose -2*x = -0*x + 2*y - 34, -5*x - 3*y + 91 = 0. Is x a multiple of 5?
True
Let h(s) = 3*s - 8. Let o be h(9). Let m = o + 37. Is 12 a factor of m?
False
Let o be ((-36)/(-15))/((-2)/10). Is 148/o*-1*3 a multiple of 8?
False
Let j be ((-7)/(-21))/(1/21). Let c(l) = l**2 - 3*l - 3. Is c(j) a multiple of 5?
True
Let i be -2 + 5/(10/4). Suppose i = m + 3 - 8. Suppose 30 = m*h - 30. Is h a multiple of 5?
False
Let n(y) = -y**3 + 8*y**2 - 9*y + 9. Is 3 a factor of n(6)?
True
Let w(j) = -j**3 + 6*j**2 - 3*j - 5. Let z(o) = o**3 + o**2 - o - 2. Let g be z(2). Let f be g + -3 + (1 - 2). Is w(f) a multiple of 12?
False
Let c be ((-57)/6)/((-1)/2). Suppose 5*a - 21 = c. Does 4 divide a?
True
Let o = -146 + 211. Is o a multiple of 5?
True
Let t be (5/(-5))/((-1)/34). Suppose t + 2 = 2*s. Is s a multiple of 5?
False
Let n(u) = u + 7. Let s be n(-5). Does 8 divide (25/s + 0)*2?
False
Let d(k) be the first derivative of -7*k**2 - k - 1. Suppose 5*v = -6 - 4. Does 13 divide d(v)?
False
Let q(u) = 3*u + 2*u + 8*u**2 + 0*u + u**3 + 1. Does 4 divide q(-7)?
False
Let d(b) be the first derivative of b**2/2 + 3*b + 3. Let w be d(3). Let j(r) = -r**3 + 6*r**2 + 7*r - 7. Is j(w) a multiple of 16?
False
Let x(f) = 49*f**3 - 2*f**2 + 1. Is x(1) a multiple of 5?
False
Suppose 5*h = l + l - 24, -2*l = h. Suppose 0*s - l*s + 28 = 0. Is 14 a factor of s?
True
Let a be (-20)/(-28) - (-4)/14. Let o(v) = a - 4*v + 3*v + 0 + 0. Is o(-4) even?
False
Suppose -4*m + 5*s = -m - 356, 2*s + 456 = 4*m. Let o = -44 + m. Is o a multiple of 17?
True
Let q be -22 + -13 - (1 + -1). Let i = 94 + q. Is i a multiple of 16?
False
Let p = 18 + 1. Let v = -12 + p. Is 7 a factor of v?
True
Suppose -45 = 4*o - c, 0*o - c = -3*o - 35. Let d = -4 - o. Let x(b) = -b**2 + 11*b - 6. Is 12 a factor of x(d)?
True
Suppose w - 6*w = 125. Let c = -69 - -122. Let z = c + w. Is z a multiple of 14?
True
Let p = 22 - 19. Suppose -4*o = f - p, f - 3*o + 0*o = 31. Is f a multiple of 4?
False
Let g(w) = 2*w**2 - w + 2. Is g(2) a multiple of 8?
True
Let r(f) = -f**2 + 6*f - 5. Let o be r(4). Suppose -o*g = 5*u - 43, -3 = g - 4. Is u a multiple of 4?
True
Let r(x) = x**3 + 10*x**2 + x - 7. Is 13 a factor of r(-9)?
True
Suppose 3*k - 199 = -5*j + 2*k, 0 = -5*k - 5. Suppose u + 10 = j. Is 15 a factor of u?
True
Let m(y) = 2*y + y - 8*y. Is m(-2) a multiple of 5?
True
Let a(y) = 4*y**3 + 4*y**2 - 3*y + 5. Let u be a(-5). Does 12 divide u/(-16) - (-2)/8?
True
Suppose -7*y - 20 = -2*r - 2*y, -4*r - 2*y + 16 = 0. Suppose r*p - 32 = 178. Is 13 a factor of p?
False
Let g(s) = s**2 + 12*s + 27. Is g(-11) a multiple of 8?
True
Suppose -3*w = -2 - 4. Suppose -x = -s - 18, -3*x - 5*s + 100 = w*x. Is 13 a factor of x?
False
Suppose 2*c + c - 21 = 0. Suppose c*u = 2*u - 5*a + 225, 2*a = -6. Does 13 divide u?
False
Let l(k) = -6*k - 7. Does 4 divide l(-6)?
False
Let q = -62 - -105. Let c = q + -4. Is c a multiple of 8?
False
Let f(r) = 20*r**2 + 11*r - 14. Let g(s) = -7*s**2 - 4*s + 5. Let z(k) = 3*f(k) + 8*g(k). Is z(-2) a multiple of 5?
False
Suppose -2*k = 5*a - 374, 105 = 2*a - 3*k - 37. Does 4 divide a?
False
Let p be (-7)/4*(2 + 2). Let v be (-51)/p - (-4)/(-14). Suppose -i + 17 = -v. Does 8 divide i?
True
Let q = 1 - 7. Let l = q - -37. Is l a multiple of 12?
False
Does 26 divide (190 + -8)*1/2?
False
Let w(o) = 7*o**2 + 3*o + 2. Let i be w(-3). Suppose 2*p + i = 6*p. Does 7 divide p?
True
Suppose -m + 5*c = 18, 4*c = 4*m + 6*c + 50. Let a(w) = -w**2 - 14*w + 4. Is 4 a factor of a(m)?
False
Let a(v) = -v**3 - 22*v**2 - 58*v + 29. Is 16 a factor of a(-19)?
True
Let z(d) be the third derivative of 3*d**5/20 + d**4/12 + d**3/6 + 3*d**2. Does 11 divide z(-2)?
True
Let d(v) = -3*v**3 + 3*v + 4. Let q be d(-4). Suppose -5*k + q = 3*f, -4*k + 5*f + 4 = -158. Is 20 a factor of k?
False
Is -1 - 519/(-21) - (-16)/56 a multiple of 2?
True
Suppose -3*o + 4*a + 60 = o, 5*o = 4*a + 73. Is o a multiple of 13?
True
Let l(c) = 6*c**2 - 5*c + 5. Let k be l(6). Let o = 351 - k. Suppose 5*w = t - 28, 4*t + 2*w + 2*w = o. Is 15 a factor of t?
False
Let t be (-1 + 4)/((-2)/2). Let o be t/(-2*(-2)/(-108)). Suppose 6*s - o = 3*s. Does 13 divide s?
False
Let v = 447 - 311. Is v a multiple of 34?
True
Suppose 0 = -5*s + 3*k + 333, 0 = 5*k - 0*k + 5. Is 12 a factor of s?
False
Let q be 4/(2 + (-3)/3). Suppose 4 + 40 = q*f. Is 11 a factor of f?
True
Let z = 5 - 2. Suppose -n + 2*s = -4, s - 2 = z*s. Suppose -3*y - 4*g = 2*y - 175, -42 = -n*y + 4*g. Is y a multiple of 16?
False
Let v = 18 + -1. Suppose -4*o + v = -47. Is 12 a factor of o?
False
Suppose 2*l - 4*l = -80. Does 12 divide l?
False
Suppose 0 = -0*f + 2*f - 4. Let p = f + 3. Suppose -3*r = -p*u - 21, 3*r - 23 = 3*u - 2. Does 3 divide r?
False
Let l(b) = -9*b**2 + 0 - 5 + 3 - 9*b - b**3. Let z be -3*1*32/12. Is l(z) a multiple of 6?
True
Let q = 0 + 5. Suppose -5*k + 2*x = -86, -q*k - x + 71 = 2*x. Is 8 a factor of k?
True
Let k = 6 - -2. Is 9 a factor of k + -8 - 28*-1?
False
Let y = 16 - 11. Suppose -2*i = 5*l - 75, y*i - 2*l - 8 - 194 = 0. Does 20 divide i?
True
Suppose -3*o = o - 4*w - 176, 4*o = 5*w + 172. Is 16 a factor of o?
True
Let f(m) = m + 4. Let t be f(-10). Is 11 a factor of (-65)/(-2) + t/(-12)?
True
Let x = -35 - -47. Is 8 a factor of x?
False
Let l(x) = x**2 - 5. Does 20 divide l(-5)?
True
Suppose 102 = 3*h - 144. Does 41 divide h?
True
Let q(n) = -28*n - 38. Is q(-6) a multiple of 10?
True
Let v(n) = 4*n - 1. Let p be v(1). Let s(k) = -3*k + 1. Let m be s(p). Let j = 10 - m. Is j a multiple of 9?
True
Let t = 17 + -13. Suppose 0 = -t*g + 25 + 19. Is g a multiple of 11?
True
Suppose f - 47 = -15. Is f a multiple of 32?
True
Let l(m) = m**2 + 2*m. Let z = 5 - 8. Let g be l(z). Suppose g*x - 7 = 41. Is x a multiple of 8?
True
Let v = -11 + 15. Suppose -v*b + b = -12. Does 14 divide b/(-10) + (-426)/(-15)?
True
Let a = 68 - 11. Is 17 a factor of a?
False
Let y(i) = -6*i + 16. Let n(c) = 1. Let w(q) = 12*n(q) - y(q). Does 16 divide w(6)?
True
Let k(u) = -10*u - 5. Is k(-3) a multiple of 13?
False
Suppose -5*p - 29 = -4*i - 85, -3*p = -i - 28. Let u = 29 - p. Is u a multiple of 7?
True
Suppose -130 = 5*j - 2*l + 7*l, 0 = 3*j - 2*l + 73. Let w = j + 43. Is w a multiple of 18?
True
Suppose 48 = 3*a + 3. Does 6 divide a?
False
Let q = -8 - -8. Suppose q = -0*y + 5*y - 90. Is 5 a factor of y?
False
Let r = 28 + -21. Is r a multiple of 7?
True
Suppose 0 = -4*q - 2*d + 76, 5*q - 3*d = -d + 77. Is q a multiple of 7?
False
Suppose 2*h