ppose -n + 5*y - 4 = 4, n - y = 0. Let j be (4 - 2) + -1 - n. Does 10 divide j/3 - (-67)/3?
False
Suppose 0 = 5*i + 2*l - 16, -5*l + 2 = -0*i + 3*i. Suppose 0 = 7*h - i*h - 36. Is h a multiple of 4?
True
Let i = -6 - -4. Let f be i/(-4)*(0 - 38). Let l = f - -32. Is l a multiple of 13?
True
Suppose 4*n - 2*j - 15 = -3*j, 0 = -5*n + 2*j + 22. Suppose 5*x = -n*z + 216, x - 60 = -x + 5*z. Suppose 62 + x = 3*b. Is b a multiple of 18?
False
Suppose 2 = c - 3. Is 2 a factor of c?
False
Let o = -3 + 5. Suppose 2*f - 44 = -o*s, s - f = 3*s - 41. Does 8 divide s?
False
Suppose 4*g = 4*q - 24, -g - 4 = -2. Let l(x) = 30*x**2 + q + 0 - 4. Is l(-1) a multiple of 15?
True
Let t be (-2)/(-4) - (-5)/(-2). Is t/(-3) + (-79)/(-3) a multiple of 9?
True
Let y(n) be the second derivative of -1/6*n**3 - 1/6*n**4 + 0 + 2*n + 1/10*n**5 + 1/2*n**2. Is y(3) a multiple of 15?
False
Let l(g) be the second derivative of g**3/6 + 8*g**2 - 2*g. Is l(0) a multiple of 8?
True
Let y(x) = -2*x**3 - 4*x**2 - 3*x + 5. Let v be y(-4). Suppose 3*j + 4*l - 41 - 12 = 0, -3*l = 5*j - v. Is 7 a factor of j?
False
Let u = 878 + -524. Does 14 divide u?
False
Let f(a) = -21*a + 2. Let o be f(-3). Let d be 96 + ((-8)/4 - -1). Let g = d - o. Is g a multiple of 14?
False
Let z = 134 + -55. Let y = z + 95. Suppose 2*k = -k + y. Is 21 a factor of k?
False
Let i(k) = k**3 + 10*k**2 + 12*k + 2. Does 17 divide i(-8)?
True
Let d(u) = u**3 + 9*u**2 - 13*u + 9. Is 39 a factor of d(-10)?
True
Let l = -2 - -6. Let v(c) = c**2 - 3*c - 2. Let o be v(l). Suppose 3*d = o*d + 7. Does 4 divide d?
False
Let i = 75 + -25. Does 16 divide i?
False
Let a be (-7 + 1)*(-1)/2. Suppose -2*n - 34 = -a*q + 3*n, 2*n + 7 = -q. Suppose 0 = -q*z + 15. Is z even?
False
Suppose -4*j + 3*l + 261 = 0, 3*j - 4*j + 2*l + 59 = 0. Does 23 divide j?
True
Suppose -4*s = 2*a, 0 = -2*s + 2*a - 6 + 18. Suppose 5*u + 51 = -2*f, s*u + 5*f + 60 = -3*u. Does 5 divide 60/u*3/(-2)?
True
Suppose 0*u + 3*u - 30 = -3*f, 0 = -4*f - u + 37. Let g be (3/f)/(2/30). Suppose -a = -g*a + 92. Does 10 divide a?
False
Does 10 divide 3/4 + 4086/24?
False
Let q(b) = b**2 - 8*b + 9. Does 13 divide q(10)?
False
Let p(o) = -45*o - 3. Let t be p(-2). Let b = 29 + t. Suppose 0 = -2*c, 5*q + b = c + 336. Is q a multiple of 15?
False
Let s = 8 + -6. Suppose -2*h + 20 = s*h. Does 2 divide h?
False
Let i be 6/(-4)*(-2)/3. Let g(w) be the first derivative of 13*w**3/3 - 1. Is 6 a factor of g(i)?
False
Let a = 2 + 0. Suppose -5*q = -a*v + 4 + 21, q = -5*v - 5. Suppose 4*l = 2*h - 5*h + 17, -l + 2*h + 18 = v. Is l a multiple of 4?
True
Let r(t) = 4*t**2 + 10*t + 39. Is r(-7) a multiple of 11?
True
Let m be 79/(-9) + 6/(-27). Is 12 a factor of ((-36)/7)/(m/42)?
True
Let i(d) = 4*d + 3. Let s be i(5). Let w be (-645)/10*2/(-3). Suppose 2*g - s = -4*z + w, 3*z + 5*g = 67. Is 7 a factor of z?
True
Let p(u) = 1. Let g(h) = -h**3 - h**2 + 2*h - 2. Let q(d) = g(d) + 4*p(d). Let l be q(-2). Suppose -t + l*t + 20 = 2*m, -4*m = -t - 36. Does 8 divide m?
True
Suppose 7 + 17 = 6*j. Does 2 divide j?
True
Suppose 5*r + 0 = -5. Let q(n) = 7*n**2 - 1. Let o be q(r). Suppose o*j = j + 160. Is j a multiple of 11?
False
Suppose -8 = -3*p + 4*b, 2*b + 0*b + 4 = 0. Let z = p + 3. Suppose -51 = -4*n + 4*r + 37, 4*r + z = -n. Is 8 a factor of n?
False
Let b = 73 - 57. Does 12 divide b?
False
Suppose 2*d + 2*g = 90, -67 = -4*d - 2*g + 123. Is 10 a factor of d?
True
Let l(a) = -1 + 4 + 0 - 2*a**2 + 5*a + 4*a**2. Is l(-4) a multiple of 15?
True
Suppose 73 - 27 = -w. Let x = -22 - w. Does 9 divide x?
False
Let w(o) = -o + 6. Let s be w(4). Suppose 10 = -b + s*b. Is b a multiple of 5?
True
Let o = 238 - 121. Is 39 a factor of o?
True
Let p(j) = 18*j - 6. Is 21 a factor of p(5)?
True
Let y = -6 + 6. Suppose y = -3*l - 5 + 11. Suppose 2*z + 0*z - 88 = -l*v, 0 = 2*v - 2*z - 88. Is v a multiple of 22?
True
Let d(i) = -4*i - 29. Let q(v) = -v - 10. Let p(n) = 2*d(n) - 7*q(n). Does 2 divide p(6)?
True
Let q be 2 + (2 + -2)/1. Suppose 5*u - 127 - 31 = q*m, -20 = 5*m. Is u a multiple of 15?
True
Let f = -289 + 449. Does 35 divide f?
False
Let j(r) = -r**3 + r**2 - r + 7. Does 12 divide j(-4)?
False
Is (-5 - 2/(-1)) + (-38)/(-1) a multiple of 5?
True
Let d(a) be the third derivative of 0 + 7/8*a**4 + 4*a**2 + 0*a - 1/3*a**3. Does 28 divide d(3)?
False
Let m be 1 + (0 + 1 - 0). Suppose 20 = 5*y, m*h - y + 1 = -1. Does 5 divide h/((-6)/(-20))*3?
True
Suppose s + 10*s - 330 = 0. Is s a multiple of 5?
True
Let v(m) = -m + 1. Let f be v(-3). Does 10 divide (-6)/f - 25/(-2)?
False
Suppose -3*p - 343 - 2 = 3*l, 0 = -2*p - 3*l - 228. Is 1*p/(-6)*2 a multiple of 18?
False
Suppose 0 = -b + 4*b - 339. Suppose -4*z - b = 4*r + 43, -2*r = -5*z + 85. Does 2 divide 6/(-4)*r/12?
False
Suppose 0*q = -4*q + 12. Suppose 5*v = q*f + 55, 2*v - 4*f = -0*f + 8. Let d = v + -4. Is 10 a factor of d?
True
Suppose -2*a - 5 = 5*z + 3, 5*z + 20 = 0. Let q be a - (0/(-1))/2. Let t(i) = i**2 - 6*i + 9. Is 9 a factor of t(q)?
True
Suppose 5*h - 19 - 11 = -5*s, 0 = -2*h + 5*s - 2. Suppose 0 = u - 5*u + c + 173, 0 = h*u + 4*c - 148. Is u a multiple of 14?
True
Let m(j) = -17. Let s(t) = -t - 35. Let l(c) = -7*m(c) + 4*s(c). Does 13 divide l(-15)?
True
Suppose t - 8 = -t. Suppose 13 = t*b + 5. Suppose -5*u + b*u = 4*w - 162, 4*w = u + 170. Is w a multiple of 14?
True
Let a(w) be the third derivative of w**4/12 + w**3 - 2*w**2. Let g be a(-4). Is ((-78)/(-1))/(4 + g) a multiple of 13?
True
Let k = 10 + -4. Let w = k - 6. Suppose 7 = -w*j + j. Is j a multiple of 7?
True
Suppose 20*f = 2*f + 522. Is 3 a factor of f?
False
Let k(p) = p + 3. Let m be k(7). Let j(i) = i**3 - 10*i**2 + 2*i + 2. Is j(m) a multiple of 6?
False
Is 10 a factor of 85 + 4/4 + -4?
False
Suppose -3*h = -6*h + 84. Suppose h = 5*p - 2. Does 3 divide p?
True
Let j be (-6)/(-4)*(7 - 5). Does 14 divide j/(-2 + -1)*-45?
False
Let o = -11 - -8. Let u be (-11)/o + 4/(-6). Does 3 divide 8 + (6/u - 2)?
False
Suppose 0 = -2*w + 2*d + 18, 0*w + 3*w - 2*d = 22. Let p(f) = -3*f - f**2 + f**2 + f**2 - 2. Is p(w) a multiple of 2?
True
Let t(s) = -s**3 + 9*s**2 + 6*s + 7. Let o(x) = -x**2 + 6*x + 1. Let m be o(4). Is t(m) a multiple of 14?
False
Suppose 4*n - 599 = -31. Suppose 3*u - n = -2*u - 4*y, -2*y = -6. Does 19 divide u?
False
Let b(d) = -d**3 + 11*d**2 + 11*d + 12. Let g be b(12). Suppose 4*v - 122 + 14 = g. Is v a multiple of 9?
True
Let m(v) = -5*v**3 + 3*v**2 + 4*v + 3. Does 18 divide m(-3)?
False
Let w(j) = j**2 - 5*j - 2. Let m be w(6). Suppose 2*t + 31 = -3*y, -9 = 4*y - m*t - 1. Is 6 a factor of (0 + -2 - y) + 1?
True
Let q(k) = -2*k**3 - 4*k**2 - 3*k - 5. Let x be q(-4). Suppose -5*s + 3*a + x = 2*a, -4*s = -5*a - 61. Does 14 divide s?
True
Suppose 4*l - 117 = 15. Does 18 divide l?
False
Let z(o) = -1 - 1 + 8 + 4*o. Is z(6) a multiple of 10?
True
Suppose -252 = v + v. Let x = -79 - v. Let a = x - 32. Is 6 a factor of a?
False
Let m = -37 + 41. Does 4 divide m?
True
Suppose 5*w - 4*l = 14, l + 6 - 3 = w. Suppose w*g - 66 = -0*g. Is g a multiple of 11?
True
Let u(a) = -a + 3. Let j(s) = s**3 - 4*s**2 + 4. Let p be j(3). Does 4 divide u(p)?
True
Let b(r) = -r**2 - 9*r - 6. Let u be b(-8). Suppose 6*a - a = -2*n + 4, 0 = -3*n + 2*a - 13. Is 15 a factor of 15*(u*-1 - n)?
True
Is 3 a factor of (24 - -1)*60/100?
True
Suppose 0 = 2*w - 3*m - 113, -2*w + m + 108 = -3*m. Suppose -5*f + 36 = -w. Does 5 divide f?
True
Suppose -7 = -i - 0*i. Let x = 11 - i. Suppose -l = -3*l - 2*j, 2*l + 8 = -x*j. Is 4 a factor of l?
True
Suppose -4*n + 103 = 3*a, a - 2 = -1. Suppose n = 5*h - 0*h. Is 3 a factor of h?
False
Suppose 3*g + 5*v - 3 = 43, 2*g + 5*v - 34 = 0. Does 6 divide g?
True
Let y(k) = -k**2 - 3*k + 2. Let i be y(-2). Let b(p) = 4*p**2 - 5*p + 1. Let d(a) = -6*a**2 + 8*a - 2. Let r(o) = 8*b(o) + 5*d(o). Is r(i) a multiple of 15?
True
Let h = -17 + 69. Let u = h - 4. Does 15 divide u?
False
Let k = 63 + -38. Is k a multiple of 9?
False
Let x be (-556)/(-6) + 2/6. Suppose -x = -4*k - 5. Is k a multiple of 22?
True
Let a(g) = -g - 11. Let s be a(-11). Suppose s = -5*t + 20 + 20. Is 4 a factor of t?
True
Is 14 a factor of (0 - -1)*(2 + 54)?
True
Suppose 3*b + 19 = 4*d, -4*d + 5*b = 13 - 34. Suppose -d*c = -146 + 30. Is c a multiple of 17?
False
Let x = 33 - 28. Let z(v) = -v**2 +