)/(-1)*5*3. Suppose -3*t - 21 = 12. Let d = t + f. Does 2 divide d?
True
Suppose 8 = -4*s + 7*s + 4*f, 4*f - 36 = 4*s. Let r = s + 9. Suppose -u = 3*o - r, 2*u + 4*o + 15 = 5*u. Is 2 a factor of u?
False
Suppose r + 3*f - 2*f = 69, 3*r + 5*f = 215. Is r a multiple of 23?
False
Let g(j) = 6*j**2 + 6*j + 9. Does 25 divide g(-3)?
False
Suppose 5*z - 19 = 31. Suppose 0 = 11*c - z*c - 20. Is c a multiple of 10?
True
Is 0 + -2*52/(-4) a multiple of 26?
True
Let d(k) = k**3 + 18*k**2 - 20*k + 4. Let c be d(-19). Let n = -16 - -35. Let o = n + c. Is o a multiple of 18?
False
Let q = 1 + 59. Does 20 divide q?
True
Let g = -1 + 4. Suppose -39 = -0*x - g*x. Does 13 divide x?
True
Let z(m) = m**3 + 2*m**2 + m - 1. Let u be z(-2). Let s(k) = -2*k - 4. Let r be s(u). Is 11 a factor of -1*r/4*-44?
True
Is 15/35 + (-1380)/(-14) a multiple of 25?
False
Suppose -8*s + 0*s + 296 = 0. Does 16 divide s?
False
Suppose 25 = 5*x + 5*i, -2*x + 3*i + 4 = -i. Suppose -l = -2*k - 62, -184 = -x*l + l + 4*k. Suppose u - l = -u. Is 11 a factor of u?
False
Let t(r) = -2*r**2 + 2*r + 28. Is 6 a factor of t(0)?
False
Suppose -3*n = 2*y + 2*n + 17, 0 = 5*y + 2*n - 10. Suppose -y*q + 0*q = -84. Suppose -5*g = -25, -4*z + 7*g + q = 4*g. Is 6 a factor of z?
False
Let o = -48 - -113. Is o a multiple of 18?
False
Let u(i) = 6*i**2 - i + 2. Let j(d) = 6*d**2 - d + 2. Let t(r) = -4*j(r) + 5*u(r). Is t(4) a multiple of 25?
False
Suppose -3*l + g = -5*l - 3, 5*l - 4*g - 25 = 0. Let d = 1 + l. Suppose -d*q + 110 = 3*q. Is 11 a factor of q?
True
Let t(z) = -z + 3. Let c be t(-12). Is 170/c + 4/6 a multiple of 6?
True
Let q = -6 - -2. Let u = 2 + q. Let j = u - -5. Is j a multiple of 2?
False
Is (-8 + 4 + 12)*(-9)/(-4) a multiple of 18?
True
Suppose 5*m = 2*a - 124, 8*m + 67 = a + 3*m. Does 28 divide a?
False
Suppose 3*h - 5*h = 0. Let a be 5 + -2 + -2 - -8. Suppose h = -a*y + 4*y + 25. Is y a multiple of 4?
False
Let w(m) = -17*m - 1. Is 4 a factor of w(-1)?
True
Suppose -5*h = -11 - 14. Let d = 21 + h. Does 13 divide d?
True
Suppose 3*j - 31 = -d + 4*j, -2*j + 94 = 4*d. Is d a multiple of 4?
False
Let j(v) = v**3 - 2*v**2 - 11*v + 6. Is j(6) a multiple of 15?
False
Suppose 0 = g + 2*h - 5, -5*h + 20 = -h. Let l be (-1)/(g/4)*15. Suppose 0*b = -2*b + l. Is 2 a factor of b?
True
Suppose -4*s - 3 = 9. Is 8 a factor of 4*(s + 7)/1?
True
Let n be (-1 - 0)/((-2)/(-6)). Let o(g) be the first derivative of -3*g**2/2 + 2*g - 13. Does 11 divide o(n)?
True
Suppose -4*d + 17 = -x, -5*x - 2 = d + 20. Suppose -5*r + 25 = c, 0*r - 2*r - 7 = -d*c. Suppose 76 = 3*n + 5*o - 44, -5*o = -r*n + 195. Is n a multiple of 13?
False
Suppose -y - 14 = 4*t, -4*t + 0*y - 20 = -2*y. Let z = 20 + t. Is z a multiple of 16?
True
Suppose x = -3*z - 3, 0 = 2*x + 3*z - z + 2. Suppose x = -o + 15 + 30. Is o a multiple of 15?
True
Let s be -2*4*(2 - 3). Is 7 a factor of 2/s - (-364)/16?
False
Let l(s) = s**3 - 4*s**2 + 3*s. Let c be l(3). Suppose -m + 6 = -4*z, -m - 2*z + 12 = -c*z. Does 5 divide m?
True
Suppose -48 - 54 = -3*g. Is 34 a factor of g?
True
Let i = 132 + -68. Let m = 103 - i. Is m a multiple of 8?
False
Suppose -6*w - 153 = -9*w. Suppose 3 = -d + w. Is 12 a factor of d?
True
Suppose 201 = 3*w - 3*x, -5*x + 193 = w + 2*w. Does 11 divide w?
True
Let s be -1 - (-2 + 8 - 3). Let v(x) = -6*x. Is v(s) a multiple of 24?
True
Suppose 0 = -4*v + 5*j - 262 - 115, -4*v - 2*j - 342 = 0. Is 11 a factor of (-6)/(-12)*v/(-2)?
True
Let x(w) = w**2 - w + 1. Let t(n) = -12*n**2 + 11*n - 10. Let r(c) = -4*t(c) - 44*x(c). Let q be r(-3). Suppose -q = -4*b - 0*b. Is b a multiple of 4?
True
Let l = 18 + -8. Suppose 3*p + 4*x - l - 9 = 0, -p = 3*x - 3. Is 2 a factor of p?
False
Let s(o) = -o**2 - 5*o + 79. Is s(0) a multiple of 9?
False
Let q be 0*(3/(-2))/(-3). Suppose q*s = 2*s - 18. Is 5 a factor of s?
False
Let g(s) = -s**3 + 7*s**2 + 11*s - 6. Is 13 a factor of g(8)?
False
Is 10 a factor of ((-8)/12)/((-3)/207)?
False
Let k be 2*6/(-8)*-2. Let f be (k - 1) + 0 + 3. Suppose 3*y = -w + 17, -20 = -4*y - f*w + 21. Does 2 divide y?
True
Let y(i) = -i**3 + 4*i**2 + 7*i - 7. Let t be y(5). Suppose 5*h + 177 = 4*o, -2*o - t*h + h + 66 = 0. Is o a multiple of 19?
True
Let n be (2 - 19)/(2/(-4)). Let g = -18 + n. Does 16 divide g?
True
Suppose 3*l + 87 = 5*h, 3*h - 57 = -l - 2. Is 6 a factor of -2 - 1 - h*-1?
False
Let z = 7 + -66. Let t = z + 106. Suppose q - 5*g - t = 0, 0*g = 4*q + 5*g - 238. Is q a multiple of 19?
True
Suppose 0 = 4*y - y - 3. Is -5*6*y/(-5) even?
True
Is 6 a factor of (-784)/(-26) + (-16)/104?
True
Let m = 125 + -30. Is 10 a factor of m?
False
Let d be ((-11)/2)/(4/8). Let n = -3 - d. Is 6 a factor of n?
False
Let t(w) = -w**3 + 16*w**2 + 3*w. Is 8 a factor of t(16)?
True
Let x = -86 + 149. Suppose -5*h - 1 = -11. Suppose 5*u = -h*s + x, 2*u - 15 = 7*u. Is 14 a factor of s?
False
Suppose 0*z = 3*z - 30. Is 10 a factor of z?
True
Let h = 209 + -306. Let w = h + 155. Is w a multiple of 15?
False
Suppose 2*h + 0*h = -4*k + 52, h = -4*k + 56. Is k a multiple of 4?
False
Let i = 102 - 62. Is 1*(i + (-4 - -6)) a multiple of 14?
True
Suppose -3*g + 6*g = 156. Is g a multiple of 17?
False
Let z(d) = d**3 - 10*d**2 - 2*d - 12. Let h be z(11). Let r = -24 + h. Does 17 divide r?
False
Suppose 0 = -5*k + 2*o + 119, -2*k + 5*k = 4*o + 77. Is 15 a factor of k?
False
Let j be 4/1*(-2)/(-8). Let u be j + -1 + -1 + 1. Suppose -4*n + 4*o + 72 = u, -4*o = 4*n + o - 72. Is 9 a factor of n?
True
Suppose -14 = -u + 129. Is 11 a factor of u?
True
Let o be 1/(1 + (-6)/4). Let q = 6 + o. Let w(i) = 2*i**2 - 6*i + 1. Does 4 divide w(q)?
False
Let m(a) = -a**3 - 3*a**2 + 2*a + 2. Is 9 a factor of m(-4)?
False
Let n = 7 + -3. Suppose -n*m + 6*m + 2*t = 14, 4*m = 2*t + 40. Is m a multiple of 9?
True
Suppose 3*z = m + 7, 4*z - 6 = m + 4. Suppose -172 = -3*c - w, -m*c + 100 = -5*w + 2*w. Suppose 2*r - 6*r = -c. Is r a multiple of 7?
True
Let q = 3 - -12. Is 5 a factor of q?
True
Suppose 4*k = -k - 270. Let b be (-2)/10 - (-842)/10. Let a = k + b. Does 14 divide a?
False
Let z(h) = 1 + h + 4*h - 4*h. Let y be z(4). Suppose 16 - 56 = -y*s. Is 6 a factor of s?
False
Suppose 3*f = 2*k + 176, 4*f - 5*k + 46 - 269 = 0. Let g = -10 + f. Is g a multiple of 9?
False
Let h be (-4)/16 + (-9)/(-4). Suppose 0 = 5*i - h*f - 68, -5*i - 3*f = -4 - 44. Is 5 a factor of i?
False
Let u(y) = 12*y**3 - 6*y**2 - 2*y + 8. Let z be u(4). Suppose 8*b - z = 2*b. Does 31 divide b?
False
Suppose 73 = 4*p + 1. Is 3 a factor of p?
True
Let j be 18/(-24) + 63/4. Suppose 0 = 2*c + c + j. Is (0 + -1)*1*c a multiple of 4?
False
Suppose -u + 4*w = -89, -3*u - 3*w + 205 = -77. Is 31 a factor of u?
True
Let j = 22 + -26. Is 11 a factor of 23 - (12/(-4) - j)?
True
Suppose -h + 4 = 0, 7 = -z - 4*h + 70. Does 13 divide z?
False
Let y = 3 + -2. Let q = 19 - y. Is q a multiple of 6?
True
Let j be -1 - -2 - -1 - 19. Let w = 46 + j. Is 13 a factor of w?
False
Let w = -24 - -3. Let f = -25 - -15. Let s = f - w. Is 11 a factor of s?
True
Suppose 0 = 5*l + 5*t - 10, t - 6 = -5*l - 2*t. Suppose -132 = -4*j - 5*i, l = -3*j + j + 5*i + 36. Is j a multiple of 9?
False
Let w(p) = 0*p + 5 + 2*p + 0 - 3*p. Let d be w(5). Suppose d = -5*h + 5 + 75. Is 12 a factor of h?
False
Let w(m) = m**3 - 5*m**2 - 13*m + 7. Does 7 divide w(7)?
True
Let a = -8 + 11. Suppose -7*h + a*h = -60. Is h a multiple of 15?
True
Let n(a) = -64*a - 2. Let z be n(-3). Does 18 divide (-6)/10*z/(-2)?
False
Let z = -29 - -18. Let i = 14 - 30. Let b = z - i. Does 2 divide b?
False
Let c(q) = q + 1. Let o(i) = 2*i + i + i - 6. Let x(u) = 5*c(u) - o(u). Is 2 a factor of x(-6)?
False
Let c(a) be the second derivative of 10*a**4/3 - a. Does 20 divide c(1)?
True
Suppose 132 = 3*f + 51. Is 6 a factor of f?
False
Does 14 divide 138/(3 + -1)*(1 + 2)?
False
Let m(v) = -v**2 + 11*v - 14. Let f be m(10). Let b = 6 + f. Does 17 divide (b + 0 - 0)*17?
True
Let c = -5 - -8. Suppose -3 = -u - 2*b, 0*u = u - c*b - 23. Let f(j) = 2*j - 16. Does 3 divide f(u)?
True
Let b = -69 - -116. Does 20 divide b?
False
Let m = 164 + -84. Is m a multiple of 16?
True
Suppose -5*o + 3*o + 4 = 0. Suppose 2*p + o = p. Is 60/p*(-4)/6 a multiple of 7?
False
Is -240*(-1 - -4)/(-6) a multiple of 20?
True
Let n be (1 - 1)/(-4 - -6). Suppose n = 5*v, -s + 12 = 2*s 