Is 13 a factor of n - ((3 - 4) + -25)?
True
Suppose 1 = d + 3*g, 3*d - 5*g = -0*g + 17. Suppose d*l = -4*j + 92, 4*l + 0*j = 2*j + 98. Is l a multiple of 12?
True
Let u = -29 + 17. Is 9 a factor of -26*(-3)/u*-4?
False
Let b = -11 + 9. Let q = 3 - b. Does 2 divide q?
False
Let b(x) = 184*x**2. Let o be b(1). Let u = 121 - o. Let s = 111 + u. Is 24 a factor of s?
True
Let t be (0 - -5)*8/10. Suppose -5*c + 4 = -6. Suppose 3*k = t*v - 230, -51 = -c*v + 3*k + 67. Does 15 divide v?
False
Suppose -3*q = -247 + 13. Let l = -53 + q. Is l a multiple of 15?
False
Let z(x) = -x**2 + 16*x - 18. Does 21 divide z(10)?
True
Let q(b) = -6*b**3 + 0*b**3 - 4*b**2 + 7*b**3 + 6*b - 4. Is 20 a factor of q(4)?
True
Suppose 5*k - 11 = 9. Suppose -4*r = 3*p - 48, 2*p - 32 = 2*r - k*r. Is p a multiple of 8?
True
Let n be (0/(-2))/(-1 - -3). Suppose -c - 2*c + 123 = n. Does 14 divide c?
False
Let j(t) = 19 - 2*t + 0 + 3*t - 3*t. Does 4 divide j(-6)?
False
Let m(r) = -2*r + 5*r**2 + r**2 + 0 - 1. Let b be m(2). Suppose 4*g - b = 13. Is 4 a factor of g?
True
Suppose -3*f + 195 = -462. Is 20 a factor of f?
False
Let q be (-33)/((-9)/(-6) - 3). Suppose -5*s + 87 - q = 0. Is s a multiple of 13?
True
Let c(k) = k**3 + 9*k**2 + 7*k + 7. Does 6 divide c(-8)?
False
Does 20 divide 1 - -40 - (-1 + 0 + 2)?
True
Let o(i) = -i**3 + 8*i**2 + i. Is o(8) a multiple of 8?
True
Suppose 5*l + 18 = -2. Does 4 divide 9/2 + 2/l?
True
Suppose -35 = -8*t + 3*t. Is 5 a factor of t?
False
Let w(z) = -11*z**3 - 15*z**2 + 16*z + 9 + 8*z**3 + 4*z**3. Does 22 divide w(14)?
False
Let c be 7*1/1 - 1. Suppose -3*x = -114 + c. Does 18 divide x?
True
Let z be (-58)/(2/((-2)/(-2))). Let v = z + 41. Is v a multiple of 10?
False
Suppose 3*z + 91 = 4*m + 4*z, 0 = 3*m - z - 63. Is m a multiple of 7?
False
Let t be -2*12/3*-3. Let x = -21 + t. Is 2 a factor of x?
False
Suppose -2*i = 0, 3*q + q - 5*i = 84. Is 4 a factor of q?
False
Suppose -59 - 13 = -i + 2*a, 5*i + 5*a - 360 = 0. Does 18 divide i?
True
Suppose 6*w - w = -90. Let j be 4/w - (-215)/(-45). Is (0 + 1)*-1 - j a multiple of 4?
True
Suppose 4*l = 2*j - 12, -8 = -l + 2*j - 7*j. Let z = l - -30. Is z a multiple of 11?
False
Suppose 5*o = a + 36 - 230, 0 = a + 2*o - 194. Is 12 a factor of a?
False
Suppose v = 3*g - 88, -5*g - 5*v = -3*v - 154. Suppose -4*m = -3*n - 5, 3*n = 4 - 1. Suppose -m*k - g = -5*k. Is 5 a factor of k?
True
Is (-2 - 22)*(-33)/6 a multiple of 22?
True
Suppose -5*y - 7 = l, 2*y + l - 1 = -5. Let v be 18/4 + y/2. Suppose r = -v*r + 20. Is 2 a factor of r?
True
Suppose -5*x - 5*u = -5, 5*x - 2*u - 35 = -u. Suppose z + x*z = 98. Is z a multiple of 3?
False
Let x(z) = z**3 + 4*z**2 - 6*z - 3. Let m be x(-5). Suppose m = -5*r + 87. Does 17 divide r?
True
Let a be 20/(-4)*-1 + 0. Suppose 0 = -a*h - 2*l + 206 + 54, 0 = -h + 3*l + 35. Does 18 divide h?
False
Let s = 21 + -14. Does 7 divide s?
True
Let s(y) = y**2 - 5*y + 6. Is 2 a factor of s(4)?
True
Let h be (9/(-6))/(3/(-2)). Suppose 4*l - 3*p = 27, -3*p + h = 16. Is 2 a factor of l?
False
Suppose 17 = -5*o + 4*w, 15 = -2*o - 2*w + 1. Let g(m) = -m**2 - 7*m + 3. Let i be g(o). Let a = 18 - i. Is a even?
False
Is 8 a factor of 180/(-3)*(-8)/20?
True
Let l be 0 + 0 + 1 - -5. Suppose 0 = -k - 1 + l, 5*k + 74 = 3*q. Let u = -18 + q. Does 15 divide u?
True
Let h(u) = u**2 + u + 78. Suppose -i = -2*i. Let g be h(i). Suppose 3*w = 3*b + 177, -4*w - 2*b + g = -146. Is 24 a factor of w?
False
Suppose 5*z - 144 = 111. Does 16 divide z?
False
Suppose -16*a = -3116 - 164. Does 19 divide a?
False
Suppose 24 = -3*z + 9*z. Does 4 divide z?
True
Let k = -8 + 15. Let v = 5 + -4. Suppose j = -v + k. Is j a multiple of 4?
False
Suppose -4*y + 3*z + 28 = 7*z, 3*y - z - 5 = 0. Suppose 0 = -y*w - b + 17, -2*w + 3*b - 11 = -3*w. Suppose 30 = -w*s + 140. Does 8 divide s?
False
Let j be 3 - 0 - (-49 + -1). Let q = -20 + j. Suppose -2*b + q = -13. Is b a multiple of 6?
False
Let g(d) = 4*d + 3. Let k be g(-2). Let z be k + 6/(6/3). Let n = 10 + z. Is n a multiple of 4?
True
Does 16 divide 73 + 1 + (1 - 4)?
False
Let o(a) = a**3 + 4*a**2 - a + 35. Does 3 divide o(0)?
False
Suppose 0 = -5*u - z + 5, -2*z = 4*u - 8 + 4. Let g(c) = 14*c**3 + c**2 - 1. Let d be g(u). Let o = d - 10. Is o a multiple of 4?
True
Let y(a) be the first derivative of -a**4/4 - 10*a**3/3 + 9*a**2/2 - 13*a - 4. Is y(-11) a multiple of 5?
False
Suppose 0 = 3*x, -3 = -3*s + 2*x + 6. Let i = -5 + s. Is i + 2 + (8 - -2) a multiple of 10?
True
Suppose 5*b - 65 = 4*b + 3*v, 3*b - 5*v = 195. Does 26 divide b?
False
Let b(k) = -k**2 + 11*k - 9. Let z be b(8). Let t = z + 33. Does 24 divide t?
True
Let j = 4 - -16. Does 20 divide j?
True
Let q = 7 + -2. Is (2*1)/(q/10) a multiple of 4?
True
Let o(v) = v**2 - 4*v - 2. Let j be o(5). Let c = j + 2. Does 11 divide (-1)/5 + 71/c?
False
Let z = 7 - 14. Let g = -10 - z. Does 19 divide 1/g - 58/(-3)?
True
Let l(y) = y**3 + 3*y**2 - 3*y - 4. Let k be l(-3). Let u(g) = 2*g + 3. Is u(k) a multiple of 13?
True
Let y(n) = -n**3 - n**2. Let z be y(-1). Suppose j - 5*j + 16 = z. Does 10 divide 6/j*(-138)/(-9)?
False
Let v(t) = -t + 11. Let g be v(8). Suppose g*o = o. Suppose -5*i + 0*r = -r - 47, o = 5*i - 5*r - 35. Does 10 divide i?
True
Does 3 divide 84/9 - (-1)/3*-1?
True
Suppose 20 = 4*j + 4, 0 = -2*w + 2*j - 10. Let b(t) = -6*t**2 + t. Let h be b(w). Let y = h - -54. Is y a multiple of 18?
False
Let q = 555 + -394. Is q a multiple of 42?
False
Suppose 0 = -i + 65 + 5. Is 7 a factor of i?
True
Suppose -5 = 5*p + 15. Let k be (-1*9)/(6/p). Suppose 52 = k*y - 2*y. Is 6 a factor of y?
False
Let s(r) be the third derivative of -r**2 + 1/6*r**3 + 0*r + 5/8*r**4 + 0. Does 6 divide s(1)?
False
Let o = 168 + 22. Is 19 a factor of o?
True
Let a(x) = x**3 - 8*x**2 - 8*x - 5. Does 2 divide a(9)?
True
Let o be 1/((-1)/2) - -8. Let d(c) = c**3 - 5*c**2 + 3*c + 2. Let x be d(o). Suppose -l - x = -3*l. Does 17 divide l?
False
Let j be 3*((-57)/(-9))/1. Suppose 5*b + j = -11. Let k = b + 10. Is 4 a factor of k?
True
Suppose 2*h + 5*v - 18 = 0, 4*v - 22 = -2*h - 6. Suppose -4*d + 19 = -7*d + 4*l, -2*l = h*d - 4. Is 23/2 - d/2 a multiple of 7?
False
Suppose -5*f + 28 = 4*r, -4*r - 3*f + 12 = -2*f. Suppose -3*y - 190 = r*y. Let l = -26 - y. Is l a multiple of 9?
False
Let u = -183 + 298. Let r = u + -47. Is r a multiple of 20?
False
Let i be (-12)/((-2)/(-1 - 1)). Does 3 divide (2 - 1)/((-2)/i)?
True
Suppose 6*p = 4*p + 34. Does 4 divide p?
False
Let i = -133 + 297. Is 28 a factor of i?
False
Suppose -2*u + w = 6*w - 76, 3*w = -2*u + 84. Is 4 a factor of u?
True
Let q(a) = -21*a - 8. Does 4 divide q(-4)?
True
Let t(k) be the first derivative of 5*k**2 - 2*k + 7. Is 24 a factor of t(5)?
True
Let a(l) = 35*l**2 - 2*l - 1. Let t(r) be the first derivative of -r**4/4 + 2. Let d be t(1). Is a(d) a multiple of 18?
True
Suppose 5 = -l + 1, 2*q = -5*l + 64. Is 7 a factor of (3/(-2))/((-3)/q)?
True
Let s = 32 + -14. Does 3 divide s?
True
Let m = -138 - -292. Is m a multiple of 22?
True
Suppose -3*h = -173 - 61. Suppose 2*c = 4*c - h. Is c a multiple of 14?
False
Let f(o) = -2*o + 81. Let n be f(0). Suppose -4*l = -i + 38, 3*i + 18 = -5*l + n. Does 10 divide i?
False
Let z be 1/(-3 - 536/(-178)). Let j = 143 - z. Is 18 a factor of j?
True
Let q be (-3)/12*2*0. Suppose -4*d + 4*l + 40 = -0*l, 2*d - 5*l - 17 = q. Is 7 a factor of d?
False
Let t(b) = -2*b**3 - 6*b**2 + b + 7. Does 17 divide t(-5)?
True
Suppose -d = y - 3*d - 72, 0 = 4*y - d - 267. Is y a multiple of 22?
True
Suppose a + 2 = 1, 5*s = -3*a + 7. Suppose s*j = -2*j. Suppose -5*v + 45 + 55 = j. Is 18 a factor of v?
False
Let c = 117 + -3. Is 19 a factor of c?
True
Suppose -5*w = -w. Suppose p - 23 + 6 = w. Is 10 a factor of p?
False
Is 2/(4*(-3)/(-270)) a multiple of 15?
True
Let f(n) = 3*n - 2. Let k be f(5). Suppose 3*j - 5 = k. Is j a multiple of 6?
True
Suppose 0 = -3*f + f + 18. Is f a multiple of 3?
True
Let i(r) = r**3 + r**2 + 29. Let t be i(0). Let n = t - 11. Let d = n + -9. Is d a multiple of 4?
False
Suppose -o = 17 + 5. Let g = o + 32. Is g a multiple of 8?
False
Let p(s) = 4*s - 9. Let h(o) = 12*o - 27. Let l(k) = 6*h(k) - 17*p(k). Is l(6) a multiple of 5?
True
Suppose 5*f + 12 = d + 2*d, 0 = f + 5*d + 8. Let g be (3 - f)*8/(-6). Let m = g + 14. Does 3 divide 