 factor of q(m)?
False
Suppose 2*m - 4*m + 3*a + 12 = 0, m + 4*a + 5 = 0. Suppose y - 4 = 0, -3*y - 163 = -m*p - 4*y. Does 14 divide p?
False
Suppose -58 = -z - 12. Suppose -f = f - z. Is f a multiple of 17?
False
Let j = 13 - 13. Suppose 5*i - 168 - 212 = 0. Suppose -5*q + i + 34 = j. Does 11 divide q?
True
Let o(h) = h**2 - 13*h + 24. Is o(16) a multiple of 8?
True
Suppose -3*w + 0*w + 45 = 0. Let n(r) = -2*r + 3. Let z be n(6). Let k = z + w. Does 2 divide k?
True
Let y(k) = -21*k - 6. Let q be y(-5). Suppose 11*s - 8*s = q. Is s a multiple of 8?
False
Suppose z - 2*b - 3*b - 29 = 0, -5*b = -5*z + 125. Is z a multiple of 8?
True
Let k = 24 + -16. Let z = 11 - k. Suppose 2*x + z*x - 13 = -w, x = -3. Is w a multiple of 14?
True
Let t(x) = -x**2 - 9*x - 7. Let q(o) = -o - 2. Let g be q(3). Let r be 15*((-2)/g)/(-1). Is t(r) a multiple of 5?
False
Let r = 69 - 27. Is 21 a factor of r?
True
Suppose 102 = -4*p + 366. Is 29 a factor of p?
False
Suppose -2*k = k - 138. Suppose -62 = -4*g + k. Let f = g + -14. Does 13 divide f?
True
Let k be (276/(-18))/((-3)/9). Suppose d - k = 10. Is 15 a factor of d?
False
Let b be (-1 - 2)*(2 + -3). Let m(n) = 2*n**2 - 6*n + 10. Let w be m(5). Is 2 a factor of w/8 + b/12?
True
Suppose -5*r = -2*l + l - 14, 8 = 3*r - l. Suppose 2*p + a = 11, -4*p + 13 - 3 = -2*a. Let b = r + p. Does 5 divide b?
False
Suppose q = -2*q + 27. Let k(h) = -h**3 + 9*h**2 + 3*h - 3. Is k(q) a multiple of 12?
True
Suppose 4*f - 8 - 8 = 0, 0 = 2*i - 3*f - 108. Does 15 divide i?
True
Is 17 a factor of (4/(-8))/((-4)/136)?
True
Does 21 divide (-3)/4 - (-6060)/80?
False
Let p(l) = -9 + 4*l - l**3 + 2*l + 6*l**2 - 3*l. Suppose -2*r + 14 = 2*m, r + m - 4*m = 3. Is p(r) a multiple of 9?
True
Suppose -z - l = 2*z - 5, z - 7 = l. Suppose -r - 2*h = -4, -z*r + 2 = 2*h - 6*h. Let u(i) = 3*i - 3. Is u(r) a multiple of 3?
True
Suppose 2*j + 68 = q, 4*q - 4*j = -3*j + 265. Suppose -q = -4*r + p, 5*r - 79 = p + 2*p. Is 11 a factor of r?
False
Suppose -5*h = 7 - 12. Suppose -6*n + 3*n + 9 = 0. Is 10 a factor of h/n + 77/3?
False
Let v = 74 + -47. Is 3 a factor of v?
True
Let c = -5 - -10. Suppose c*i - 127 = -7. Does 12 divide i?
True
Let h(x) = -x**3 - 9*x**2 - 12*x - 6. Does 17 divide h(-9)?
True
Let d(k) = -7*k - 1 + 11*k + 14*k. Does 17 divide d(1)?
True
Suppose 42 = -2*b + 4*r, -66 = 5*b - b + r. Let q = b - -26. Is 3 a factor of q?
True
Suppose -28 = z - 5*z. Suppose -c + z - 1 = 0. Suppose 4*p = -22 + c, 18 = f + 3*p. Is f a multiple of 16?
False
Let u = 9 - 7. Suppose 405 = 4*k + u*w + 167, -3*k + 2*w = -168. Does 16 divide k?
False
Let q(c) = -5*c - 2. Is q(-3) a multiple of 13?
True
Let l(s) = 5*s**2 + s. Let q be l(4). Let n = -58 + q. Is n a multiple of 13?
True
Is 60/(-14)*7*(2 - 3) a multiple of 5?
True
Let n(x) = 38*x - 1. Let v(s) = -s**3 - 4*s**2 - 3*s + 1. Let o be v(-3). Does 14 divide n(o)?
False
Let i(v) = 73*v - 7. Is 6 a factor of i(1)?
True
Suppose -3*k = -3*v - 225, -2*k = -4*v + v - 147. Does 15 divide k?
False
Let s(q) be the first derivative of q**3/3 - 3*q**2 - 4*q - 6. Is s(7) even?
False
Let t = 199 + -123. Suppose 5*x + t = 211. Suppose x = h + 10. Is h a multiple of 17?
True
Suppose -10 = -4*h + 2*u, 2*h - 3*u = 6*h - 35. Suppose -18 = -h*x + 2*x. Is x even?
True
Is 11 a factor of 20/1 + (-6)/(-3)?
True
Let a = 21 + -13. Let b(g) = -11*g**2 + 41*g + 20. Let p(t) = -7*t**2 + 27*t + 13. Let w(x) = -5*b(x) + 8*p(x). Is w(a) a multiple of 14?
True
Let g(d) = 27*d**2 + 3*d - 4. Let c be g(-5). Suppose s - n - 167 = 0, 4*s + 0*n = -2*n + c. Does 16 divide s/6*6/5?
False
Let m be 6 - (-4 + 3 + -2). Let a(b) = 2*b - 5. Is 4 a factor of a(m)?
False
Suppose -5*f + 0*q + 89 = -q, -2*f = -3*q - 33. Is 9 a factor of f?
True
Let f = 10 - 15. Is ((-1)/(-3))/(f/(-120)) a multiple of 4?
True
Suppose 0 = 5*a + 2*t - 197, -a - t = -3*t - 49. Is (a/4)/((-2)/(-8)) a multiple of 13?
False
Let c be (2/4)/(1/(-56)). Is ((-144)/c)/((-2)/(-14)) a multiple of 9?
True
Let r(z) = 29*z - 2. Let a be r(3). Let k = 12 - 6. Suppose 5*u - 3*n + k*n = a, 17 = u + 2*n. Is u a multiple of 8?
False
Let t(b) = -3 + 6 + 1 - 2 - b + b**2. Is 7 a factor of t(4)?
True
Suppose 0 = 5*q - q - 5*n - 851, 5*q + 5*n - 1030 = 0. Is q a multiple of 11?
True
Let a = -70 + 227. Is 23 a factor of a?
False
Suppose -4*p = -5*p. Suppose 3*l - l - 26 = p. Does 5 divide l?
False
Let j(s) = s**3 + 5*s**2 - 5*s + 8. Let o be j(-6). Suppose 0 = -4*t + 2*f - 2, 0 = 4*t + t - 3*f + o. Does 8 divide t*(-1 + 3) + 11?
False
Let d(n) = -n**2 + 13*n - 1. Let f be d(8). Let s = f + -25. Let h = -6 + s. Is 8 a factor of h?
True
Suppose 0 = 14*c - 9*c - 15. Suppose -c*w - w = 4*n - 148, -4*w + 5*n + 103 = 0. Is 7 a factor of w?
False
Let g = 106 + -75. Is g a multiple of 24?
False
Let g(r) = -r**3 + r + 1. Let v(n) = -2*n - 12. Let h be v(-5). Does 7 divide g(h)?
True
Suppose k + 48 = -5*b, -5*b - 2*k = 3*k + 60. Let v = b + 13. Does 4 divide v?
True
Suppose -g + 4*y + 36 + 0 = 0, g + 4*y - 36 = 0. Let i = -17 + g. Does 19 divide i?
True
Let l(j) = 15*j**2 - j. Does 7 divide l(1)?
True
Suppose 0 = 4*j - r + 60, 2*r = 5*j + 4*r + 88. Is (-6)/2*(j + -2) a multiple of 27?
True
Suppose -4*q = -4*d, 4*q = -d - 5 - 0. Is 12 a factor of (-5 - -55) + q*2?
True
Let f(m) = -m**2 - 20*m + 15. Does 16 divide f(-16)?
False
Suppose 180 = -62*s + 64*s. Is 6 a factor of s?
True
Let s = -2 - -11. Let j = s + 38. Does 15 divide j?
False
Let h = -23 - -51. Is 8 a factor of h?
False
Let x(u) = u + 4. Let r be x(-4). Suppose 3*v = -4*h + 9, -4*v = -r*v - 3*h - 37. Is 5 a factor of v?
False
Let g(l) = -l + 4. Let h be g(3). Let x(i) = 17*i**2. Does 6 divide x(h)?
False
Let d(g) = -g**3 + 4*g**2 + 4*g - 1. Let i be d(-3). Suppose 3*s - 8*s = -20. Suppose p - i = -s*p. Does 5 divide p?
True
Suppose 3*o + 2*o = -20. Is (106/(-8))/(1/o) a multiple of 14?
False
Suppose 3*v + 15 - 123 = 0. Is 29 a factor of v?
False
Suppose -8 = 3*y - 98. Is 6 a factor of y?
True
Suppose 20*c + 710 = 25*c. Does 18 divide c?
False
Is 2 a factor of ((-2)/3)/((-3)/18)?
True
Let n = 166 - 63. Does 48 divide n?
False
Let n(u) = -2*u - 4. Let l be (-342)/(-30) + 4/(-10). Let z be n(l). Let g = z - -47. Is 21 a factor of g?
True
Let o be (1*23)/(-1 + 2). Is 1/2 - o/(-2) a multiple of 6?
True
Let h be (-2 - (-1 + 1)) + 12. Let w = -8 + h. Is w even?
True
Let q = 8 + -5. Suppose -q*k - 9 = 2*u + u, 3*k - 11 = 2*u. Let a = u + 10. Is 3 a factor of a?
True
Suppose 4*p - 23 = 13. Is p a multiple of 2?
False
Let r = -15 - -36. Is r a multiple of 20?
False
Let b be (2/6)/((-2)/(-30)). Let q(r) = r**2 - r - 1. Let g(w) = 3*w**2 - w - 8. Let x(y) = -g(y) + 4*q(y). Does 7 divide x(b)?
True
Let r = -15 - -34. Is 19 a factor of r?
True
Let z = -7 - -3. Let q = z + 18. Is q a multiple of 5?
False
Suppose 0*f + 2*d + 52 = 2*f, 0 = 4*f + 5*d - 68. Is 7 a factor of 34/(-187) - (-620)/f?
True
Let a(c) = -4*c - 27. Does 12 divide a(-20)?
False
Suppose -2*w + 2*p + 3*p = 13, 4*w + 12 = -4*p. Let r(v) = 4*v**2 + 7*v - 5. Is r(w) a multiple of 12?
False
Let n be 5/2*(-2 + 4). Suppose n*g = g + 84. Is g a multiple of 11?
False
Suppose -f + 4*u + 66 = 0, 0 = 2*f - 0*f + 3*u - 110. Is 29 a factor of f?
True
Let h(q) = -q - 1. Let t be h(-5). Suppose 2*o - 4 = 0, -o - t*o = -3*j - 1. Suppose j*g + 0*k - 42 = 3*k, 6 = -3*k. Is 6 a factor of g?
True
Let n = 4 + -1. Suppose -4*p - 12 = -v - 3*p, n*p - 8 = -v. Suppose v = -0*t + t. Is 4 a factor of t?
False
Suppose 35 = 7*t - 0*t. Is 4 a factor of t?
False
Suppose 2*b = -w + 4*w + 537, b + 5*w = 275. Does 15 divide b?
True
Suppose 3*i = 15 + 9. Is 4 a factor of i?
True
Let x(p) = -9*p**2 + p + 3. Let t(h) be the third derivative of h**5/6 - h**4/24 - 2*h**3/3 + 4*h**2. Let g(w) = -3*t(w) - 4*x(w). Is 17 a factor of g(3)?
True
Let n = -6 + 10. Suppose 3*b = 2*w + 3*w - 60, n*w - 48 = -2*b. Is 6 a factor of w?
True
Let t(a) = a**3 + 8*a**2 + 7*a - 4. Let u be t(-6). Suppose 4*q + u = -5*r, -3*r = -q - 1 + 3. Does 19 divide ((-8)/(-5))/(q/(-90))?
False
Let n be 16 - -2*(-3 - -2). Suppose 3*z = -4*i + 46, -33 = -3*i + 4*z + n. Does 5 divide i?
False
Suppose 3*b - 2 = -5. Let o be b/(-2) - (-42)/(-12). Is o/((1/7)/(-1)) a multiple of 10?
False
Let o(j) = j**2 + 7*j - 1. Let r(d) = d**2 + 7*d - 2. Let n(c) = -5*o(c) + 4*r