= -6 + 0. Let t be (-2 + 8/6)*p. Is x(t) a multiple of 7?
False
Let w(p) = p**3 - 6*p**2 + 5*p - 8. Let b(d) = d + 16. Let o be b(-10). Does 12 divide w(o)?
False
Suppose v = 2*m - 26, -4*v + 6*v + 38 = 3*m. Suppose -4*f + m + 46 = 0. Is f a multiple of 6?
False
Suppose 4 + 4 = -4*n. Let h = n + -2. Let g(u) = 2*u**2 + 1. Is 12 a factor of g(h)?
False
Suppose -2*i = -l - i + 7, 15 = 5*l - i. Let u(t) = 2 + 3*t - 2*t + t**2 + 0*t**l. Is u(2) a multiple of 4?
True
Let f be 3 + 5/((-10)/(-4)). Suppose 5*n - 72 = k - 4*k, -160 = -5*k + f*n. Is k a multiple of 15?
False
Is (-1 + -41)/((-6)/4) a multiple of 28?
True
Let n(c) = -1. Suppose 0 = 4*z + 4. Let v(g) = 5*g + 1. Let j(d) = z*v(d) - n(d). Is 15 a factor of j(-3)?
True
Let c(r) = -3*r**3 + 4*r**2 + 4*r + 2. Is 11 a factor of c(-2)?
False
Let h = -32 + 64. Is 16 a factor of h?
True
Suppose b = -2*i + 3, -4 + 16 = 2*i - 2*b. Is (-26)/(i - (-7)/(-2)) a multiple of 22?
False
Let u be (16/(-6))/(2/(-6)). Suppose u*y + 22 = -2*v + 5*y, -3*v - 5*y = 34. Let p(s) = -6*s + 2. Is 21 a factor of p(v)?
False
Let a(g) be the second derivative of g**3/6 + 4*g**2 + 3*g. Let o be a(-6). Suppose -3*v + 99 = 3*r, -o*r + 38 + 13 = -v. Is r a multiple of 14?
True
Suppose r - 19 = -5*c, 0 = -2*r + 1 - 3. Let p(m) = 4*m - 4. Let j(v) = 3*v - 3. Let h(l) = -6*j(l) + 5*p(l). Is 2 a factor of h(c)?
True
Let p be (9/(-6))/((-3)/(-4)). Does 6 divide 121/7 - p/(-7)?
False
Let q be 8 + -9 + (1 - 1). Let a(k) = -153*k**2 - k - 1. Let o be a(q). Is 7 a factor of o/(-21) + (-2)/7?
True
Suppose 4*a = -a + 10. Suppose a*s - 165 = -3*s. Let u = 47 - s. Does 7 divide u?
True
Let k be (3 - (4 - 3)) + 2. Suppose s + 5*p - 21 = 0, -2*p + 4*p = -k*s + 12. Suppose s + 7 = 2*m. Is 2 a factor of m?
True
Let y be (3/2)/(2/4). Suppose -3*q + 2*i = 9, 0 = -2*q - y*i - 3 - 16. Let l(h) = -6*h. Is 15 a factor of l(q)?
True
Let y(x) = x**2 - x + 2. Let g be y(2). Suppose u - 37 = 2*q + 1, u - 34 = g*q. Is 14 a factor of u?
True
Suppose 5*d = 5*m + 15, 0*m - 5*d = -3*m - 1. Let q(p) = -2*p + 4. Is 9 a factor of q(m)?
True
Suppose -5*a - 4 + 0 = 4*b, -5*a + 4*b = -4. Suppose -4*m - 12 = a, -183 = -5*y - 2*m - 2*m. Is y a multiple of 13?
True
Suppose 2*h - 3*i = -2*i, 4*i = 2*h. Suppose -y = -u + 14, h*y - y + 50 = 3*u. Does 5 divide u?
False
Let u(y) = -16*y + 10. Let m = 30 + -35. Is u(m) a multiple of 19?
False
Suppose 4*h - 432 = -2*b + b, -3*b = -12. Is h a multiple of 10?
False
Let a(t) = t**2 - t - 2. Let z be a(-5). Suppose -2*v = -3*v - 2*x + z, 3*v - 2*x = 44. Does 4 divide v?
False
Let y(r) = -r**3 + 2*r + 1. Does 6 divide y(-3)?
False
Let c be ((-60)/(-18))/(4/6). Suppose 4*q + r = 2*r - 100, 3*q - c*r = -92. Let h = -8 - q. Is h a multiple of 8?
True
Does 9 divide (-2)/(-9) + 2829/27?
False
Suppose -4*i + 0 + 12 = 0. Suppose -i*t - 82 = -5*t. Is 10 a factor of t?
False
Does 9 divide (-6)/((-411)/81 + 5)?
True
Let w = -29 - -16. Let t(o) = -o**2 - 15*o - 14. Does 3 divide t(w)?
True
Is 9 a factor of (14/6)/((-8)/(-168))?
False
Suppose -2*f + f = -3*h + 6, 4*f + 7 = -5*h. Suppose -3*q + 56 = -0*v + 5*v, 0 = -3*q + 3*v + 96. Let n = q + h. Is 13 a factor of n?
False
Let d = 2 - 0. Suppose 31 = q + n, -4*q = -d*n - 94 - 60. Does 18 divide q?
True
Let b(p) = 3*p - 1. Let n(z) = -z. Let m(k) = -b(k) - 2*n(k). Is m(-6) a multiple of 4?
False
Let l = -40 + 100. Is l a multiple of 20?
True
Let n(i) = -2*i**3 + i**2 + 4*i + 3. Let z be n(-2). Suppose -2*h - h + z = 0. Does 3 divide h?
False
Suppose -5 = 2*p - 23. Let y = -1 - 3. Let j = p + y. Is 5 a factor of j?
True
Suppose f - 128 + 4 = 0. Does 36 divide f?
False
Let y = 244 + -52. Suppose -6 = 3*p, 4*f + 0*p = -2*p + y. Does 26 divide f?
False
Let x = -8 + 16. Suppose -4 = -3*g + x. Is g a multiple of 3?
False
Suppose 5*p - 61 - 44 = 0. Is 21 a factor of p?
True
Let w(j) = -11*j**3 - 2*j - 3. Is w(-2) a multiple of 23?
False
Suppose -3*b - 5*t + 7 = -10, -b - 2*t = -6. Suppose b*f - 24 = f. Let u = f + -5. Is 3 a factor of u?
True
Let k(a) = -19*a - 5. Is 11 a factor of k(-3)?
False
Suppose -4*p + 10*p = 42. Does 2 divide p?
False
Let g = -22 - -40. Suppose n + g = -2*n. Let t = 11 + n. Does 2 divide t?
False
Let q = -58 - -90. Let h(x) = x**3 + 2*x**2 + 2*x - 1. Let c be h(2). Let a = q - c. Is 10 a factor of a?
False
Suppose -2*b - 188 = -x - 64, 2*b + 140 = -3*x. Let m = -16 - b. Is 16 a factor of m?
True
Let a(u) be the first derivative of -u**2 - 8*u - 2. Let r be (-6)/15*(-3 + 18). Is a(r) even?
True
Suppose 0 = -a - 4*a, 3*v - a - 6 = 0. Suppose -2*q + 6 = -v*u, 5*q - 48 = -3*u - 17. Suppose -2*g = -1 - q. Is g even?
False
Let s = 79 - 56. Does 23 divide s?
True
Let w(r) = r - 1. Let f be w(5). Let g be (23/f)/(7/28). Suppose 3*t = 25 + g. Is t a multiple of 16?
True
Let n(j) be the first derivative of -j**4/4 - 10*j**3/3 + 4*j**2 + 9*j + 1. Does 21 divide n(-11)?
True
Let z(y) = -28*y + 15. Does 33 divide z(-3)?
True
Let g(b) = -b**2 - 15*b + 3. Does 13 divide g(-12)?
True
Suppose -o + 6 = o. Suppose -o = -2*d + 69. Is d a multiple of 17?
False
Suppose -1 = 2*s - 7. Suppose 0*d - 45 = -5*y + d, -s*d + 9 = 3*y. Is y a multiple of 5?
False
Suppose -1970 = -5*d - 5*v, -1180 = -3*d - 7*v + 2*v. Is 13 a factor of d?
False
Let c = 12 - 7. Suppose -c*v + 122 = w + 25, 4*w = 5*v - 112. Is v a multiple of 11?
False
Is ((-246)/7)/(-3) - 4/(-14) a multiple of 4?
True
Let r(q) = 4*q**2 + q. Let t be r(-1). Suppose -3*g + 3*j + 27 = 0, 2*g - 15 - 1 = t*j. Is g a multiple of 10?
False
Let t(j) = 9*j**3 - 5*j**2 + 6*j. Let w be t(4). Suppose -4*g + 6*s = 2*s - w, 5*g - 650 = -s. Suppose -3*u + u + 58 = -5*z, g = 5*u - 5*z. Does 14 divide u?
False
Let n = -9 + 4. Is 5 a factor of (n - -8)/((-2)/(-10))?
True
Let h(a) = 3*a - 3. Let q be h(2). Let o = q - -2. Suppose d - 10 = o. Does 7 divide d?
False
Let p be 1/(-2)*(-7 - -3). Suppose m = -3*m + p*g + 94, -4*m - 3*g = -99. Is m a multiple of 12?
True
Let m = -7 + 13. Let a = -13 + 31. Let c = m + a. Is 9 a factor of c?
False
Suppose 5*d + 30 = -5*f, -4*f = -2*d - d - 4. Let c(s) = 21*s**2 + 9*s + 3. Let h(v) = -14*v**2 - 6*v - 2. Let x(k) = -5*c(k) - 8*h(k). Does 9 divide x(f)?
False
Let c(o) = 3*o**2 + 5*o - 4. Is 13 a factor of c(2)?
False
Let a = 85 + -52. Is a a multiple of 5?
False
Let c = 321 - -40. Is c a multiple of 14?
False
Suppose 2*n = 4*m + 46, 2*m + 2*n + 5 = -3*n. Let c be -2 + 4 + (-4)/(-1). Let v = c - m. Does 8 divide v?
True
Suppose -4*j = 4*g - 7*j - 1435, 0 = 4*g - 2*j - 1438. Is g a multiple of 19?
True
Let o(y) = -y**3 + 9*y**2 + 20*y - 4. Does 22 divide o(9)?
True
Let h be ((-5)/(-2) - 1)*-2. Let z(o) = 2*o**2 - 3*o - 1. Let u(i) = -3*i**2 + 4*i + 1. Let y(r) = -3*u(r) - 4*z(r). Is 10 a factor of y(h)?
True
Suppose -2*k - u = -35 - 98, -k = u - 68. Is k a multiple of 13?
True
Let p be (-78)/(-30) + 4/10. Is p*(11 - (-12)/(-4)) a multiple of 8?
True
Let u(p) = -p**2 - 7*p - 6. Let q be u(-6). Let t be 190/8 - 2/(-8). Suppose q = -5*b + t + 16. Is 4 a factor of b?
True
Suppose -2*k - 2*k + 34 = 2*t, 0 = 2*k + 4*t - 8. Suppose 2*r - 2 = k. Is r even?
True
Suppose -3*j + j - 4 = 0. Let l be (-1 - -2)*(-11 + j). Let b = l + 24. Is b a multiple of 4?
False
Let d be (-6 - -5)*(0 + -29). Suppose -3*w + 15 = f, 0 = f - 4*w + d - 79. Does 10 divide f?
True
Let c = -30 + 59. Does 29 divide c?
True
Suppose 66 + 44 = 5*u. Is 11 a factor of u?
True
Suppose 4*w + 92 = 2*j, -7*j + 2*j + 2*w = -190. Does 12 divide j?
True
Suppose -4*v - 3*y = -324, -5*v - 81 = y - 497. Does 14 divide v?
True
Let k(c) = 4*c + 4. Suppose -3 = -2*s - 13. Let x be k(s). Let h = 45 + x. Does 13 divide h?
False
Suppose 0*j - 4*j = -108. Is 18*(j/6 - 3) a multiple of 7?
False
Let a = -30 + 61. Let i = a + -7. Does 8 divide i?
True
Let q be ((-21)/(-28))/(2/8). Suppose -2*a + q*u + 6 = 0, -2*u = 3*a - 10 + 1. Suppose 148 = a*j + 46. Does 17 divide j?
True
Let u(n) = n**2 - 9*n + 8. Let k be u(8). Let m(a) = -a**2 - 4*a - 1. Let l be m(-3). Suppose k = -l*x + x + 21. Is x a multiple of 21?
True
Let v(d) = 2*d**3 - 4*d**2 - 2. Let q be v(3). Suppose -u + q = u. Does 8 divide u?
True
Let w(z) = z**2 - 6*z + 2. Let d be w(6). Let f(x) = 34 + x**d + 0*x - x + 2*x. Is 9 a factor of f(0)?
False
Let w = 1 + 1. Suppose 0*r - r = 3*i - 73, 5*r + 77 = w*i. Is 13 a fact