= 2*m - h*i + 6. Suppose -2*j = -4*o - 40 - 8, 13 = 2*j + m*o. Does 7 divide j?
True
Suppose -5*r = -3*z - 468, r = 2*z + 101 - 6. Does 25 divide r?
False
Let l(r) = -r**2 + 25*r + 4. Does 28 divide l(8)?
True
Let v(u) = u**3 - 3. Let q be v(3). Suppose r - 20 = -4*r. Suppose -4*a = -q + r. Is a a multiple of 3?
False
Let n = -8 + 4. Is 4 a factor of (-80)/12*6/n?
False
Let g(f) = -2*f - 12. Let l(o) = -2*o - 13. Let d(u) = -6*g(u) + 5*l(u). Is d(6) a multiple of 19?
True
Let r(k) = 10*k - 5. Let s(z) = 2*z - 5. Let h be s(5). Let w be h - (1 - (2 - 2)). Is 13 a factor of r(w)?
False
Let x(a) = 4*a - 3. Let q be x(2). Suppose -6 = -3*j, q*y - 17 = j + 51. Does 14 divide y?
True
Let f(z) = -3*z**2 + 0*z + 3*z + 7*z**2 + 3. Is 13 a factor of f(-2)?
True
Let i be 2/(-2)*(-4)/2. Suppose -4*p + i*p + 8 = 0. Is 4 a factor of p?
True
Suppose 0 = 7*o - 3*o - 264. Is o a multiple of 33?
True
Suppose 4*b - 127 = -y, -3*b = 3*y - 421 + 67. Is y a multiple of 23?
True
Let h be 1/(1/2 + 0). Suppose 0 = 5*w - h*k - 94, -2*k = 4*w + 3*k - 62. Is w a multiple of 16?
False
Let q(w) = w + 4. Does 16 divide q(12)?
True
Suppose -10 = z - 34. Suppose 16 = 2*a - z. Is a a multiple of 6?
False
Let j(p) = p**2 + 6*p + 9. Suppose 0 = 4*f - 2*f. Suppose 0 = -f*b - 4*b - 24. Is 4 a factor of j(b)?
False
Suppose y - 4*m + 445 = 4*y, 0 = 4*m - 4. Does 19 divide y?
False
Let w(y) = -y. Let g(s) = -6*s. Let d(t) = -6*g(t) + 33*w(t). Is 18 a factor of d(7)?
False
Let i be 3 + 2 + (-4 - -1). Let x = -1 + 6. Suppose i = -o - 3*v, x*o = -v + 58 - 12. Does 10 divide o?
True
Suppose -3*i = 1 + 11. Let d = 2 - i. Let f = 1 + d. Does 4 divide f?
False
Does 15 divide 456/15 - (-12)/(-30)?
True
Let f(n) = -n**3 + 3*n + 18. Is f(0) a multiple of 5?
False
Suppose -7 = 4*c - 5*z, c = -3*c - 5*z - 17. Let f(d) = -d**2 - 4*d. Let p be f(c). Suppose -2*n = p*n - 40. Is 4 a factor of n?
True
Let f(l) = l**2 + 5*l - 1. Let m be f(4). Let o = 19 + -29. Let g = o + m. Is g a multiple of 12?
False
Let r(j) = -j**2 + 5*j - 4. Let k be r(4). Let f be (1 + k)*-1 - -32. Let y = 5 + f. Is 14 a factor of y?
False
Suppose 3*j = m + m - 178, 3*m - 241 = -2*j. Is 23 a factor of m?
False
Let x(l) = -2*l + 2. Suppose -5*z + 6 = 31. Let v(w) = w - 2. Let j(f) = z*v(f) - 4*x(f). Is j(5) a multiple of 8?
False
Let p = -23 - -194. Is p a multiple of 23?
False
Is 4 a factor of (-3 + 2)/((-4)/16)?
True
Let z = 81 + -33. Does 18 divide z?
False
Suppose -12 + 132 = 3*a. Let k = a - -63. Is 26 a factor of k?
False
Let o(b) = -b**2 - 9*b - 1. Let w be o(-10). Let t = w + 16. Does 2 divide t?
False
Let y(s) = -s**3 - 10*s**2 - 2*s - 6. Is 14 a factor of y(-10)?
True
Suppose -2 + 12 = -5*f. Let a = f - -14. Is a a multiple of 12?
True
Suppose 0 = 4*k + 2*f - 28, 0 = -5*f - 3 + 23. Let s = k - -1. Suppose 0 = -s*i + i + 245. Is i a multiple of 15?
False
Let l be (-2 + 1)/((-2)/6). Is (204/(-16))/l*-4 a multiple of 5?
False
Let u(s) = s**3 - 6*s**2 - 6*s - 7. Let n be u(7). Suppose 3*o - 5*o + 30 = n. Is 5 a factor of o?
True
Let r be ((108/(-4))/1)/(-1). Suppose 7*j - 4*j = r. Is j a multiple of 5?
False
Let o(f) be the first derivative of -f**4/4 + 10*f**3/3 + 3*f**2/2 - 13*f + 3. Does 11 divide o(10)?
False
Let g(s) = s**3 - 2*s**2 + 3*s - 3. Let c be g(4). Suppose -5*j - 3*z = -60, 4*z = 4*j - 7 - c. Suppose -2*y = 5*i - y - 60, i - j = -3*y. Does 9 divide i?
False
Let q(z) = -z + 5. Let s be q(5). Suppose i + 130 = 6*i + 4*n, 3*n + 15 = s. Let k = i + -19. Is 6 a factor of k?
False
Let s(q) = -q - 5. Let a be s(-5). Suppose 0*n - 3*m = -n + 37, 2*n - 4*m - 68 = a. Does 26 divide n?
False
Let w = 0 - -27. Suppose 3*m - 24 = w. Suppose m = 4*h - 127. Does 14 divide h?
False
Suppose 3*w = -0*w + 84. Is 28 a factor of w?
True
Let y = 6 + 29. Is y a multiple of 7?
True
Let t be 20/15*(-3)/2. Is 0*(t + 1) - -52 a multiple of 23?
False
Let f be 6/15*5 - 0. Does 29 divide (f/(-6))/((-8)/1104)?
False
Suppose -i + 2*h + 4 = -2*i, 5*i + 2*h = -52. Let n = 20 + i. Does 6 divide n?
False
Let w = 65 + -25. Is 5 a factor of w?
True
Suppose b - 2 - 3 = 0. Suppose -b*f - 5*r = 15, 0 = -f + 2*r + 3 + 3. Suppose -2*d = 4*w - 6, f = 5*d + w + 2 - 26. Is 5 a factor of d?
True
Suppose -92 = -3*b + 4*g, -5*g + 260 - 60 = 5*b. Is b a multiple of 36?
True
Suppose v + 11 = 3*i, 0*v + v + 4*i = 24. Suppose 2*s = 5*x + 25, -s - 8*x + 6 = -v*x. Does 20 divide (-344)/(-10) - 4/s?
False
Let t(m) = -m**3 + m**2 + m + 1. Let f(u) = -36*u**3 - u - 2. Let c(r) = f(r) + 2*t(r). Let l(d) = d**2 + 6*d + 4. Let v be l(-5). Is 11 a factor of c(v)?
False
Let p = -17 + 23. Is p a multiple of 3?
True
Is 14 a factor of (2 - 1)*-137*(-7)/7?
False
Let j(f) = -5*f - 1. Let u be j(-1). Suppose -6 = -4*i + 2*h, -u*i + 3*i + 6 = h. Suppose 8 = -i*b + 32. Is 8 a factor of b?
True
Suppose 0 = -18*y - 548 + 6290. Does 16 divide y?
False
Let r be (-12)/(-9) + (-10)/(-15). Suppose -r*h = -19 - 63. Does 32 divide h?
False
Let p(q) = -q**3 - 10*q**2 - 5*q + 9. Let f be 176/(-18) + (-6)/27. Is p(f) a multiple of 24?
False
Let t(k) = -5*k - 5. Let c be t(-5). Suppose -6*u = -8*u + c. Does 7 divide u?
False
Let g(v) = -v - 11. Let l be g(-11). Suppose -3*k - 18 = -z + 8, 3*k = l. Does 8 divide z?
False
Let b = 53 - 38. Let q = -8 + b. Is 4 a factor of q?
False
Let d = -4 + 7. Let o = -3 + d. Suppose o*x = -2*x - 3*k + 56, -5*x + 5*k = -90. Is x a multiple of 10?
False
Let f(j) = 7*j**2 - j - 4. Is 28 a factor of f(3)?
True
Let o(t) = t**3 - 17*t**2 + 4*t + 4. Is o(17) a multiple of 24?
True
Let l(o) = 13*o**2 + 3*o - 4. Does 18 divide l(2)?
True
Does 15 divide (54/1)/3*5?
True
Is 10 a factor of -5 + 56/12 - 482/(-6)?
True
Let t(a) = a**3 + 8*a**2 - a - 5. Let p be t(-8). Suppose d = p + 2. Suppose -2*j + 5*j - b - 122 = 0, -j + d*b = -36. Does 23 divide j?
False
Let r be 4 - (7 + -4 - -1). Suppose r = -2*d + 3*d - 18. Does 6 divide d?
True
Suppose 0 = -5*s - 6 + 11. Let l = s + 19. Is 20 a factor of l?
True
Suppose -6*q + 9*q + 366 = 0. Suppose w - 6 = 3*t - t, 3*t = -4*w + 46. Does 14 divide q/(-5) + (-4)/w?
False
Suppose 6*s - 2*s = 332. Does 15 divide s?
False
Let m(v) = -v - 3. Let p be m(-3). Let k = -2 - -4. Suppose -5*t + 0*t = -k*j + 6, p = 5*j + 4*t - 81. Is 8 a factor of j?
False
Let s(p) = 5*p**2 + p + 3. Let g = -12 - -9. Does 16 divide s(g)?
False
Let q = -85 - -122. Is 5 a factor of q?
False
Suppose 2*p - r + 3 = 0, p + p - 9 = -3*r. Suppose -30 = -5*g - p*i - 5*i, -g = 4*i - 18. Suppose -5*h + g*o = 2 - 60, 40 = 3*h + 4*o. Is h a multiple of 8?
False
Let j(w) = -w**3 + 16*w**2 + 19*w + 6. Is j(17) a multiple of 20?
True
Suppose h + 1 + 25 = -5*u, u + 4 = 0. Let x = 32 + h. Let v = -10 + x. Does 8 divide v?
True
Let l = 53 - 5. Suppose 3*g - g = l. Is g a multiple of 24?
True
Let l = 128 + -83. Let i = l + -25. Does 6 divide i?
False
Let q = 8 - 0. Let o = 10 - q. Suppose -2*l + 3*b - 73 = -4*l, -b = -o*l + 93. Does 22 divide l?
True
Suppose -3*r + 229 = m, 5*r - 250 = -m - 11. Is 9 a factor of m?
False
Suppose 0 = 7*j + 1739 - 283. Let y = 305 + j. Does 26 divide y?
False
Suppose 4*t + t = 10. Suppose 6*s - t*s - 24 = 0. Is s a multiple of 6?
True
Let n(t) be the second derivative of -t**4/12 + t**3/2 + 2*t**2 + 3*t. Let f be n(3). Suppose 141 = f*u - 99. Does 17 divide u?
False
Let w(r) be the second derivative of 2*r + 5/12*r**4 + 0*r**2 - 1/6*r**3 + 0. Is 4 a factor of w(1)?
True
Let b be (1 - (0 + -1)) + 0. Let s = -57 + 98. Suppose -s = -b*r + c, 4*c = 3*r - r - 44. Does 7 divide r?
False
Suppose 131 = 5*c + 4*q, 0 = -3*c + 3*q - 4 + 61. Let o = 41 - c. Is o a multiple of 14?
False
Let p(r) be the second derivative of r**4/12 + 3*r**2/2 + 2*r. Let i be p(0). Suppose 52 = -u + i*u. Does 9 divide u?
False
Let r(n) = 3*n**3 - 3*n**2 + 3*n - 3. Let g be r(2). Suppose g - 69 = 3*x. Let o = -10 - x. Does 4 divide o?
True
Let l = -32 - -49. Is l a multiple of 4?
False
Suppose -46 = -x - 6. Suppose -x = -2*a + 6. Is 16 a factor of a?
False
Let l(o) = -o**2 + 3*o + 49. Is l(0) a multiple of 14?
False
Suppose -4*r = -9*r + 140. Suppose k - r = -k. Is 14 a factor of k?
True
Suppose -h - 2*h = -3*b + 318, -3 = 3*h. Is 15 a factor of b?
True
Let m(b) = 39*b**3 - b**2 - 4*b + 4. Does 15 divide m(2)?
False
Suppose 11*f - 9 = 8*f. Suppose -5*h + 0 = -15. Suppose -