40 = -3*o - 5*c. Does 19 divide o?
False
Suppose 0 = b + 5*f + 2, -3*b = 2*b - f - 16. Suppose 2*o = -b*o + 30. Suppose j + 0*x - 7 = x, 0 = -3*x - o. Does 5 divide j?
True
Let d = 40 + 0. Is d a multiple of 10?
True
Suppose -5*f - 264 = -z + 219, -3*f + 927 = 2*z. Is 14 a factor of z/10 + 7/35?
False
Suppose -7*m + 2*m + 510 = 0. Is 34 a factor of m?
True
Suppose -n - 5 = -6*n. Suppose q + 13 = -2*g - n, -2*g = 4*q + 62. Let f = 33 + q. Is 7 a factor of f?
False
Let n(g) = 8*g**2 + 11*g + 5. Does 31 divide n(-5)?
False
Does 17 divide (-1 - 31)*(3 + -3 - 6)?
False
Let y(p) = -p + 3. Let x(i) = i**3 - 8*i**2 - 3*i + 10. Let k be x(8). Let o(w) = 4*w - 16. Let c(l) = k*y(l) - 3*o(l). Does 9 divide c(10)?
False
Suppose h = -2*h. Let s be (59/(-3) + 1)*-3. Suppose 4*f + h*v = 5*v + s, 0 = -f - 3*v + 14. Does 5 divide f?
False
Let u be (2/3)/((-6)/(-45)). Suppose u*j = 18 + 127. Does 9 divide j?
False
Let x(a) = -a**2 + 8*a + 1. Let p be x(8). Let d be ((-1 - 1)*p)/(-2). Suppose 2*n = 33 - d. Is 6 a factor of n?
False
Let a = 195 + -89. Suppose -5*w + 3*j = j - a, 0 = -w - 3*j + 11. Is w a multiple of 10?
True
Let v(y) = 0*y + 2*y - 8 - 1. Is 6 a factor of v(10)?
False
Is 13 a factor of (-348)/(-5) - (-14)/35?
False
Let o(v) = v**3 + 3*v**2 + 3*v + 1. Let b be o(-2). Is (b/(-2))/(-1)*-50 a multiple of 13?
False
Let w = 17 + 27. Let p = -26 + w. Does 5 divide p?
False
Let h = 3 - -12. Let x(y) = y**2 + 11*y + 1. Let d be x(-10). Let o = h + d. Is 6 a factor of o?
True
Let y = -12 - -173. Does 10 divide y?
False
Let u be -1 - (3 - (2 + 1)). Let c = u + 2. Is 22 a factor of 25 + (-9)/((-3)/c)?
False
Does 2 divide (1/(0 + 1))/(1/22)?
True
Let s(j) = 9*j - 4. Let m be s(3). Let i = 45 - m. Is i a multiple of 11?
True
Let k = 86 + -38. Does 24 divide k?
True
Suppose -2*t = -3*q, -t + 2 = -2*q + 3. Is 34 + (q - (-4)/(-2)) a multiple of 16?
False
Let f(r) = r**3 - 5*r**2 - 4*r + 5. Suppose 0 = -2*u + 17 - 5. Is f(u) a multiple of 17?
True
Let j(x) = 48*x - 11. Let d be j(7). Suppose 6*g = g + d. Does 13 divide g?
True
Suppose -f + g + 105 = 4*f, 0 = 2*f + 5*g - 69. Let l = f + 17. Does 13 divide (8/12)/(2/l)?
True
Suppose -3*q + q = 6. Is 3*(-2 + (-16)/q) a multiple of 7?
False
Let p(z) be the first derivative of z**2 - 4*z + 4. Does 2 divide p(4)?
True
Suppose -2*h - 3*q = -23, -5*q - 33 = -2*h - 10*q. Suppose -3*c = 9, -c - 3*c = 3*r - 66. Suppose -5*f = -4*f + 4*b - r, -b + h = 0. Is f a multiple of 10?
True
Let g(b) = -6 + b**2 - 2*b**2 - 4*b - 13*b. Is g(-6) a multiple of 10?
True
Suppose 5*s = 240 + 65. Is 10 a factor of s?
False
Suppose 20 = 3*t + t. Suppose -t*s = -s - 244. Is 13 a factor of s?
False
Let y(a) = 38*a - 4. Does 11 divide y(2)?
False
Let n be 70/(-22) + (-10)/(-55). Let k be (-1)/((-422)/212 + 2). Is k/(-4*n/(-6)) a multiple of 21?
False
Let p(m) = -m + 1. Let d be p(-4). Let i = 2 - d. Let j(b) = -16*b + 4. Does 29 divide j(i)?
False
Suppose 5*k + 4*g - 47 = 0, 2*g - 18 = 3*k - 5*k. Let f = -7 + k. Suppose -f*b - 120 = -9*b. Is 12 a factor of b?
True
Let b(s) = -2*s**2 + 5*s + 17. Let r(a) = 3*a**2 - 8*a - 26. Let p(w) = 7*b(w) + 5*r(w). Let k(c) = -9*c**3 - c**2 - c - 1. Let h be k(-1). Does 9 divide p(h)?
False
Let a = -18 + 26. Does 8 divide a?
True
Let d be 0 + -3 - (-6 + 3). Let l(z) = -z - 3. Let x be l(d). Let y(c) = -3*c + 3. Is y(x) a multiple of 5?
False
Let t = 0 + 0. Suppose 0 = 6*u + 21 - 153. Is (u/6 - t)*3 a multiple of 11?
True
Suppose 7*j = 4*j + 87. Is 12 a factor of j?
False
Suppose -2*n + 4 = -0*n. Let y = 12 - n. Does 4 divide y?
False
Let n = 498 - 336. Suppose 3*q - n = -0*q. Does 18 divide q?
True
Let v = -3 - 0. Let a = 5 + v. Suppose -d = -4*k + 18, -d + 5*k = -a*d + 27. Does 2 divide d?
True
Suppose 3*r - 6*r + 54 = 3*x, -2*x - 29 = -3*r. Does 13 divide r?
True
Let v(w) be the first derivative of w**2/2 - 7*w - 1. Let f be v(8). Does 3 divide f + -1 - (-13 - -2)?
False
Let x = 110 - -8. Is 11 a factor of x?
False
Let o(c) = -c + 7. Is o(4) a multiple of 3?
True
Let m = 9 - -16. Suppose 0*a = -4*o - 5*a - 45, 0 = 5*a + m. Is 1/(-5) - 121/o a multiple of 12?
True
Let w be 266/70 - 1/(-5). Suppose -x + 2*y = -90, 0 = -w*x + 3*x + y + 87. Is x a multiple of 32?
False
Let m = 23 - 5. Suppose 4*s + 72 = 5*a - m, 2*a - 33 = s. Does 4 divide a?
False
Let q(a) = a + 13. Is 6 a factor of q(-7)?
True
Suppose -d + 5 = -36. Is 6 a factor of d?
False
Let z be 0 + 1 - (1 + 0). Let n = 0 - z. Suppose n = -m + 17 + 3. Does 9 divide m?
False
Suppose -2*a + 2*d = -0*a - 332, -3*a - d = -518. Is 44 a factor of a?
False
Let x(h) = -3*h + 4. Let a be x(4). Let w = a + 12. Is 3 a factor of w?
False
Is 8 a factor of (132/(-16))/((-3)/8)?
False
Suppose 0 = -0*w - 4*w + 600. Does 30 divide w?
True
Let x = -22 + 27. Suppose x*f + 3*i - 229 = 4*i, 5*f - 3*i - 237 = 0. Does 14 divide f?
False
Suppose 3*r + 2*z - 18 = 0, r + 2*r + 5*z = 27. Suppose -3*s - 2*s - 4*y + 70 = 0, -y = r*s - 45. Does 10 divide s?
True
Let z(a) = a**2 - 13*a + 10. Let s(v) = v**3 + 4*v**2 - 4*v - 3. Let u be s(-4). Is z(u) a multiple of 5?
True
Suppose 2*k = 3*k - 57. Suppose -47 = q + n, -3*q = -2*q - 4*n + k. Let o = -23 - q. Is 13 a factor of o?
True
Let o be (-36)/16 + (-2)/(-8). Let w = o + -5. Let v = w + 12. Is 5 a factor of v?
True
Let w(f) = 9*f**2 - 12*f - 14. Is w(6) a multiple of 9?
False
Let z be 2/(-4)*(-4)/1. Suppose -z*u + 33 = -77. Does 11 divide u?
True
Let o(g) = 2*g**2 - 6*g + 3. Let u(h) = -h - 7. Let f be u(-7). Suppose 3*p - b = -2*p + 29, -b - 4 = f. Is o(p) a multiple of 23?
True
Let v = 134 - 91. Is v a multiple of 6?
False
Let u be (36/(-14))/(27/(-252)). Suppose 2*x - 46 = -5*c - 12, 4*x = c + u. Is 2 a factor of x?
False
Let s(v) = 2*v - 5. Let j be s(6). Let m = j + -11. Is 19 - (m - -2)/2 a multiple of 18?
False
Let r be 5 + 0/(2 - 3). Let u be 0 + 1 + (9 - 5). Suppose r*v + 4*g - 30 = 2*g, 0 = -u*g + 25. Is v a multiple of 2?
True
Let o = -72 - -87. Is 3 a factor of o?
True
Suppose 0 = 5*i - 4*p - 16, 3*p = 2 - 14. Suppose i*t = -t + 5*j + 24, 2*t + 2*j = 0. Suppose 116 = t*l - z, -2*l - 4*z + 24 = -52. Is 15 a factor of l?
True
Suppose 5*d - m = 7, -d + 0*d - 3*m = 5. Let i(q) = q**2 - q. Let h be i(d). Suppose -2*v - r + 62 = -h*r, 0 = -2*r - 4. Does 16 divide v?
True
Suppose 0*c - 1 = c. Does 9 divide c/(-2) - (-85)/10?
True
Let w = 97 + -53. Suppose 0 = 6*c - 4*c - w. Is 22 a factor of c?
True
Does 3 divide (8/12)/((-4)/(-18))?
True
Let x = 3 + -1. Let i be 1*-1 - (5 + -5). Is -34*1*i/x a multiple of 17?
True
Suppose -3*l + 3 = 3*v, 3*l + l - 13 = 5*v. Is l*-1 + 4 + 12 a multiple of 8?
False
Let s(z) = -2*z**3 + 2*z**2 - z - 1. Let q(c) = -c**2 - 6*c - 1. Let i be q(-5). Let d = i + -6. Is 16 a factor of s(d)?
False
Let z(h) be the third derivative of -1/6*h**3 - 3/8*h**4 + 0 - 2*h**2 + 0*h. Is 13 a factor of z(-3)?
True
Suppose 3*l + d = 14, 3*l - 13 = 7*l - 5*d. Suppose l*g - 2*k = 1 + 11, 2*g - 4*k = 0. Does 4 divide g?
False
Suppose 3*w - 5*p = 280, -82 = -5*w + 4*w - 4*p. Suppose -2 + w = 4*f. Is f a multiple of 11?
True
Let v = 26 - 11. Does 3 divide v?
True
Let p = 9 + -4. Suppose -4*b - 3*y - 13 = 2*y, p*y + 10 = -5*b. Is b a multiple of 3?
True
Let j be -2 + 2 + (0 - 0). Let b be (-5 - -4)*j/(-1). Is 11 a factor of (3 + 19 - -1) + b?
False
Let a(w) = -2*w**2 + 4*w + 3. Let p(v) = 5*v**2 - 9*v - 7. Let h(r) = 7*a(r) + 3*p(r). Let f be h(-5). Let n = f + -10. Is n a multiple of 5?
True
Is 3 a factor of (-3)/(-1*(-3 + 4))?
True
Let g(c) = -10*c - 32. Is g(-8) a multiple of 4?
True
Let x(r) be the third derivative of -r**6/120 - r**5/20 + 5*r**4/24 - r**3/6 - 3*r**2. Is x(-5) a multiple of 19?
False
Suppose -4*s + 4 = -4. Let g(c) = c**2 - 2*c + 3. Let i be g(s). Suppose -2*u - 3*x - x + 22 = 0, 0 = i*u - 3*x + 3. Does 3 divide u?
True
Is 11 a factor of (-10810)/(-75) - 1 - (-2)/(-15)?
True
Suppose -5*q = 2*j - 17, -4*q + 3*j = q - 12. Suppose 0 = -0*a + q*a - 45. Does 5 divide a?
True
Let t be (-1 + 0)*(-4 - -4). Let n = t + 2. Suppose -v + 16 = -d, -v = 2*d + n*d - 6. Is v a multiple of 6?
False
Suppose -3*l + 207 = -0*l. Does 19 divide l?
False
Suppose 4*i + 0*h = 5*h + 130, 2*i = -h + 72. Let u = i + -3. Is 17 a factor of u?
False
Suppose -474 = -3*m - 3*t, 0 = m + m - 4*t - 286. Is m a multiple of 17?
True
Let