 + 3*n - 60. Let i = s + -5. Is 14 a factor of i?
True
Suppose 3*z - 57 + 18 = -3*p, -4*z = -4*p - 44. Does 3 divide z?
True
Let q(h) = h**3 - 9*h**2 + 10*h + 4. Let f be (3 - -1)/(3/6). Is q(f) a multiple of 20?
True
Let s(r) = -5*r - 5. Suppose 5*z = 3*b + 17, 2*b - 2*z = -7*z - 3. Is s(b) a multiple of 10?
False
Suppose 0*s = -s + 2. Let v = 44 - 41. Is 7 a factor of 1/(s*v/48)?
False
Let g be (-22)/(-5) - 2/5. Suppose -2*f + 10 = -2. Suppose f + 26 = g*o. Is 8 a factor of o?
True
Let f be 1*-2*(-511)/(-14). Let k = f + 107. Does 17 divide k?
True
Let t(a) = a - 5. Let u be t(5). Suppose u = -z + 74 - 16. Suppose v - z = -v. Is 10 a factor of v?
False
Let d = 119 - 41. Suppose -5*l - 4*y + d = 0, 23 = 4*l + 3*y - 39. Is 12 a factor of l?
False
Let a = -10 + 9. Is ((-1)/(-4))/(a/(-116)) a multiple of 14?
False
Let u(k) = -2*k - 1. Let x(h) = h**3 - 3*h**2 - 2*h + 4. Let m be x(3). Let y be u(m). Suppose 5*p - 3 = -a, -4*p + p = y*a - 21. Is 4 a factor of a?
True
Let b be ((-4)/6)/(10/(-15)). Let k(u) = 14*u**2 + 2*u - 1. Let i be k(b). Does 16 divide 9/(2 + (-27)/i)?
False
Suppose -2*x = 2*x - 220. Suppose -164 = -3*i + x. Does 19 divide i?
False
Let o(a) = 2*a**2 + 4*a + 6. Let u be 0 + 2 - (-3 + 3). Let j be -1*((1 - u) + 5). Does 14 divide o(j)?
False
Let a(g) = -3*g**3 - 7*g**2 + 9*g - 6. Let o(r) = r**3. Let c(w) = -a(w) - 2*o(w). Does 4 divide c(-8)?
False
Let a = -9 + 11. Suppose 0 = x - 0*x, -a*x - 122 = -2*o. Is o a multiple of 16?
False
Let d = 534 + -354. Is 47 a factor of d?
False
Suppose 2*j - j + 5 = 0. Let r = 8 + j. Suppose r*i - 2*i = 9. Does 3 divide i?
True
Suppose 0 = -0*k + 4*k - 3*g - 16, 5*g + 20 = 5*k. Suppose -k*p + 2 = -38. Suppose 30 + p = 5*h. Is h a multiple of 6?
False
Let a(y) = y**2 - 3*y - 13. Is a(-9) a multiple of 40?
False
Suppose 83 = 6*f - 121. Is 11 a factor of f?
False
Suppose 6 = j - 9. Suppose -2*p + 0 = -4. Suppose y + v - 34 = 0, -y - p*v = j - 53. Is y a multiple of 10?
True
Suppose q + 4*w - 1 = 0, 5*q - 100 = w - 2*w. Does 4 divide 410/35 + 6/q?
True
Let b = 11 - 5. Let l = b - 1. Suppose -l*y + 2*y + 33 = 0. Is y a multiple of 11?
True
Suppose -9 = -5*f - 4. Let p(i) = 107*i**3 - 2*i**2 + 2*i - 1. Let w be p(f). Suppose w - 16 = 5*g. Is 9 a factor of g?
True
Suppose -4*p = -23 - 109. Is p a multiple of 25?
False
Suppose 0 = -0*z + 2*z + 176. Let p(i) = -11*i - 51. Let y be p(-16). Let h = z + y. Does 10 divide h?
False
Let m(f) = -f**2 + 5*f + 2. Let r be m(5). Suppose -a = -10 + r. Is 6 a factor of a?
False
Let d(i) = i**2 - 10*i + 5. Let w be d(7). Let m = w - -36. Suppose 2*f - 2*v = 3*f - m, -4*f - 4*v + 84 = 0. Does 14 divide f?
False
Suppose 2*b = -5*i + 115, 0 = b + 3*b - i - 285. Does 14 divide b?
True
Is 56 a factor of 4/8 - (948/(-8))/1?
False
Let i be (-1 - -4)/(6/52). Suppose -i = -2*d + 2. Is d a multiple of 10?
False
Is 642/10 - 1*2/10 a multiple of 16?
True
Suppose -8*r - 176 = -4*r. Is 6 a factor of (-11)/r + 83/4?
False
Let g = 28 + 44. Does 33 divide g?
False
Let n = -43 - -119. Does 12 divide n?
False
Let o(t) = -t + 3. Let z be o(0). Suppose 0 = z*d - 9. Let g(q) = 2*q**2 - 2*q - 3. Is g(d) a multiple of 6?
False
Suppose 6 + 154 = 4*w. Suppose 3*y - 23 = w. Is 7 a factor of y?
True
Let y(r) be the third derivative of r**5/15 + r**4/3 + r**3 + r**2. Let o(a) = -a**2 + 7*a + 3. Let x be o(8). Does 23 divide y(x)?
False
Let h be 1/3 + 8/12. Let g be h + 1 + 1 + 0. Is 9 a factor of 55/g - 2/6?
True
Let a be -1 - -1 - (-3 + -1). Suppose -4*d - w = -60, -a*w = d - 4 - 11. Is 7 a factor of d?
False
Suppose 8*g = 2*p + 3*g + 21, g + 3 = 4*p. Is (p/4)/(3/90) a multiple of 15?
True
Suppose -q + 1 = -9. Is 3 a factor of q?
False
Suppose 6*o - 457 - 47 = 0. Is o a multiple of 28?
True
Let v = 73 + -136. Does 9 divide (9 - 1)*v/(-28)?
True
Suppose 0*u + 122 = 5*p - 2*u, -5*u + 19 = p. Suppose 0 = 3*t - t - 4. Suppose 0 = t*o + o - p. Is o a multiple of 4?
True
Let j(q) = q**2 - 9*q + 6. Let r be j(9). Let m = 30 - r. Does 6 divide m?
True
Let k be (-9)/((9/4)/(-3)). Suppose -220 = -4*m - k. Does 26 divide m?
True
Let x(a) = -a - 2. Let i be x(-7). Let p be (2/5)/((-2)/(-400)). Suppose i*y - 3*o - p = 0, -5*y + 120 = 6*o - o. Does 10 divide y?
False
Is 12/9 - 188/(-3) a multiple of 32?
True
Suppose 0 = 2*y + l + l - 38, -5*l = -3*y + 57. Let m(f) = -f + 11. Let r be m(8). Suppose 0 = 2*b + r*i - y, -5*i + 2*i = -3*b + 21. Does 8 divide b?
True
Let n(d) = 6*d + 5 + d**3 - 3 - 9*d**2 - d**2 + 2*d. Let c be n(9). Does 7 divide c/(-4)*(4 + 0)?
True
Let h = -184 - -307. Is 41 a factor of h?
True
Suppose -2*p + p + 10 = 2*y, 5*p - 5 = 5*y. Is p a multiple of 3?
False
Does 5 divide 30/27*6/(-4)*-9?
True
Suppose 3*i - 38 + 8 = 5*c, -3*i - c = -30. Does 3 divide i?
False
Suppose 2*d + 8 = -4*w + 24, 5*d - 5 = -3*w. Suppose m = 5*j - 16, w*j - 2*m = 14 - 2. Let t(p) = 7*p. Does 14 divide t(j)?
True
Suppose -3*m - 3*j - 12 = 0, 3*m + 41 = -m + j. Is m/(-2)*(-360)/(-27) a multiple of 15?
True
Let k(r) = -r**2 + 5*r - 2. Let w(o) = 3*o + 0*o + 1 + o**2 - 8*o + 0*o. Let z(q) = 6*k(q) + 7*w(q). Is 5 a factor of z(8)?
False
Let t = -33 + 39. Does 6 divide t?
True
Let a be 3/(-2)*6/(-9). Is 8 a factor of 4*a/(-2)*-4?
True
Let t = -49 - -339. Is t a multiple of 29?
True
Let z = -71 - -122. Is z a multiple of 12?
False
Suppose -2*u = g + g - 50, 0 = -5*g - 4*u + 122. Is g a multiple of 5?
False
Let d(o) = 2*o**2 + 1. Let v be d(1). Suppose -14 - 91 = -v*w. Is w a multiple of 7?
True
Let i(d) = -14*d + 5. Let r be 4 + -8 + (0 - 2). Is i(r) a multiple of 27?
False
Let y be (-2 + 1)*0/(-4). Suppose y*p = -p + 18. Suppose -g + 9 = -3*l - p, 3*g - 4*l - 76 = 0. Is g a multiple of 10?
False
Let b(s) = 19*s - 28. Does 13 divide b(22)?
True
Let u = -39 + 49. Is 10 a factor of u?
True
Suppose 5*g - 6*g + 4 = 0. Suppose -3*p - 160 = -4*s, 5*p - 145 - g = -3*s. Is 16 a factor of s?
False
Let r = 10 - -5. Is r a multiple of 3?
True
Let t = -2 + 8. Let p be (-236)/6*(-9)/t. Suppose -5*s + 11 = -p. Is s a multiple of 6?
False
Suppose 5*y - 376 = -3*y. Is y a multiple of 10?
False
Suppose 3*x - 2*n - 22 = -3*n, 0 = n - 4. Is 3 a factor of x?
True
Suppose o + 229 = 3*w - 4*o, w - o - 79 = 0. Does 34 divide w?
False
Suppose 3*v - 55 = p + 58, 62 = 2*v - 4*p. Is v a multiple of 13?
True
Let k = 105 + -50. Suppose 0 = -4*i + 253 + k. Is 26 a factor of i?
False
Let u(f) be the second derivative of -1/20*f**5 - 5/6*f**4 - 1/6*f**3 + 0 - 2*f + f**2. Is u(-10) a multiple of 6?
True
Let p(l) = -4*l. Let m(g) = -g + 2. Let n be m(3). Let h be p(n). Suppose -4*r + 9 = -h*i - 35, 0 = -2*r - 2*i + 22. Is r a multiple of 6?
False
Let k = -3 + 5. Let r(t) = 7 - k*t + t + 5. Is 3 a factor of r(7)?
False
Let p(c) = -c**2 - 19*c + 36. Does 7 divide p(-17)?
True
Let t be (36/(-10))/((-12)/30). Let o(c) = -c**3 + 9*c**2 - c + 12. Let a be o(t). Suppose 5*d - 3*l = 74, a*d + 4*l - 50 = 3*l. Does 13 divide d?
False
Is (18/15)/((-12)/(-80)) a multiple of 8?
True
Suppose 0 = -2*p - 4*f + 208, -f = 3*p - 6*p + 326. Does 13 divide p?
False
Let v = -11 + 24. Suppose -v = x - 35. Does 8 divide x?
False
Suppose 2*n + 25 + 47 = 0. Let q = n - -72. Suppose 7*x - q = 3*x. Is 6 a factor of x?
False
Let v(o) = -6*o - 5. Let y be v(-4). Let n = 3 + y. Is 2/(n/(-26) - -1) a multiple of 6?
False
Suppose -5*x = -4*l - 103, 9*l - 8*l - 49 = -2*x. Is 2 a factor of x?
False
Suppose -2*u = -3*u + 25. Is 7 a factor of u?
False
Is 23 a factor of 31100/225 - 2/9?
True
Let t = -4 - -4. Let g be t*(-1 - (-2)/4). Suppose -a = -g - 17. Is a a multiple of 16?
False
Let a(r) = 24*r + 6. Let b be a(-4). Let o = b + 162. Is 18 a factor of o?
True
Let f(z) = 2*z**2 + 28*z - 5. Does 9 divide f(-15)?
False
Let v(h) = 3*h + 2. Let t be (3/2)/((-5)/(-20)). Is v(t) a multiple of 20?
True
Let b be (-26)/4 - 3/6. Let t be b*((-32)/14 + 2). Suppose -158 + 62 = -t*w. Does 21 divide w?
False
Let a(d) = d**3 + 7*d**2 - 3*d + 2. Suppose -10 = -g + 2*y, 0*g + 2*g - 2*y - 24 = 0. Suppose 0 = -l - l - g. Is 12 a factor of a(l)?
False
Let l(u) = -6*u - 12. Let v = -31 - -24. Does 15 divide l(v)?
True
Let l be (-2)/(-5) - 96/(-10). Suppose 0 = -r - 0*r + l. Does 8 divide r?
False
Is 9 a factor of (1*-5)/(84/30 + -3)?
False
Is 2 a factor of 3624/216 + (-2)/(-9)?
False
Suppose 6 = -0*d + 