. Suppose 2 + u = 3*p. Does 2 divide p?
False
Let l = 10 - -1. Let o(q) = 2*q - 4. Is 6 a factor of o(l)?
True
Suppose -g + 0*g + 122 = 4*n, 4*g - 4*n - 428 = 0. Does 10 divide g?
True
Let a(l) = -2*l**3 - 2*l**2 - l. Let h be (-64)/24 - 4/(-6). Is 3 a factor of a(h)?
False
Let x(n) = 6*n - 15. Does 5 divide x(8)?
False
Suppose -12 + 2 = 2*d - 4*b, 2*d - 5*b = -14. Let y = d + 0. Suppose -p + y = -8. Is 11 a factor of p?
True
Let a(p) = -p**3 - 8*p**2 - 10*p + 12. Let x be a(-6). Let q be (2/(-2))/((-2)/10). Suppose 10 = -d + 4*t, -d - d + 5*t - q = x. Is 5 a factor of d?
True
Let k = 5 + -2. Suppose -3*p = -0*p - k. Let h(m) = 6*m**3 + 2*m**2 - m. Does 7 divide h(p)?
True
Let w(v) = v**2 - 8*v + 12. Let r be w(5). Is 25 a factor of ((-48)/(-4))/r + 29?
True
Let t = 37 - 52. Let y = t - -11. Is ((-102)/(-12))/((-2)/y) a multiple of 10?
False
Suppose -185 = -4*w + y - 6*y, -5*y - 130 = -3*w. Suppose -w = -4*b + 31. Is 19 a factor of b?
True
Let v(m) = m**3 - 6*m**2 - m + 8. Let u be v(6). Let s = u - -4. Is 5 a factor of (-3)/(s/(-16)) + 1?
False
Suppose -4*o + 72 = -0*o. Is 18 a factor of o?
True
Let l be ((-8)/6)/(4/(-6)). Let m be (1 - 2)*-93 + 4. Suppose -3*n = 7*i - l*i - m, -5*i - 2*n + 98 = 0. Does 20 divide i?
True
Let t(c) = -17*c + 0 + 0 - 4 + 11*c. Does 17 divide t(-9)?
False
Suppose 1920 = -b - 4*b. Let z = -248 - b. Let m = z + -72. Is 17 a factor of m?
False
Let w(l) = -l**2 + l + 40. Let h be w(0). Suppose -3*k = -2*k - h. Is 8 a factor of k?
True
Let f(r) = -r. Is 3 a factor of f(-12)?
True
Suppose 0 = -3*v + 14 - 5. Is (v - 90/(-2)) + 0 a multiple of 16?
True
Let n(b) = -b**3 + 7*b**2 + 12*b - 7. Let i be n(8). Suppose -4*q - q = i, 5*j = 2*q - 240. Let l = j - -80. Is l a multiple of 15?
True
Suppose -j + 69 + 10 = 0. Is j a multiple of 20?
False
Let n = 70 + -145. Let f = 36 + -80. Let p = f - n. Does 16 divide p?
False
Let w = 18 + 1. Is 12 a factor of w?
False
Let o(h) = -24*h. Is o(-1) a multiple of 12?
True
Let w = 52 + 27. Let d = w - 34. Does 12 divide d?
False
Let h be 6/15 + (-34)/10. Let g(x) = 0*x + 4*x + 3 - 3*x**2 - x + 4*x**2. Does 3 divide g(h)?
True
Let p(v) be the second derivative of -2*v**3/3 - 2*v**2 - 2*v. Let i = 11 - 16. Is 8 a factor of p(i)?
True
Let x(k) = 37*k - 2. Let i be x(-2). Let t = 112 + i. Does 7 divide t?
False
Is 9 a factor of 6/(-4*3/(-18))?
True
Let z(m) = 117*m**2 - 1. Let j be z(1). Suppose j = 3*t + t. Let v = t - 16. Is v a multiple of 11?
False
Suppose 5*t = -20, 0 = 3*a + 3*t + 1 + 2. Suppose -5*x = -a*x + 2, -2*w + 156 = -2*x. Is 19 a factor of w?
False
Let t = 7 + -12. Does 17 divide (-2)/t + (-118)/(-5)?
False
Suppose 3*x - 6*x - 9 = 0. Let a(l) = l**3 - 7*l**2 + 12*l - 9. Let w be a(5). Does 15 divide -1 + (-93)/(x/w)?
True
Suppose -5*q + 631 - 111 = 0. Does 21 divide q?
False
Let b(x) be the first derivative of 3*x + 3/2*x**2 + 4. Is 6 a factor of b(3)?
True
Let b(f) = f + 3*f + 0*f - 5*f. Let c be b(-5). Suppose 3*a + c*w = 63, 2*a + w = -w + 46. Is 13 a factor of a?
True
Let k = 15 - 10. Let f be 32/20*k/2. Let a = 2 + f. Does 6 divide a?
True
Suppose -162 = -2*v - 0. Is v a multiple of 27?
True
Does 22 divide 18*5 + 4/(-2)?
True
Let g = -5 + 3. Does 10 divide 1375/65 + g/13?
False
Let r(k) = 3*k - 14. Is r(9) a multiple of 8?
False
Let u(i) be the first derivative of i**4/2 + i**3 - 2*i**2 - 2*i - 1. Let d be u(-3). Let c = -1 - d. Is c a multiple of 16?
True
Let v be (-1 + 15/(-9))*-9. Suppose 6 - 27 = -3*u. Let m = v - u. Does 10 divide m?
False
Suppose -2*l - 1 = 3. Is 11 a factor of (12/(-18))/(l/75)?
False
Let o = 5 - -8. Does 13 divide o?
True
Suppose i = 5 - 3. Suppose -8 = -2*k, -24 - 2 = i*c - 5*k. Is 2 a factor of c + 9 + 0 + -1?
False
Suppose -5*n = -286 + 81. Suppose 2*v + 6 = 0, -2*t - 3*v + 63 = 4. Suppose -3*d = -t - n. Is d a multiple of 13?
False
Is (-6503)/(-63) + (-6)/27 a multiple of 48?
False
Let k(i) = -i. Let m = -6 + 10. Let y be k(m). Let q = 11 - y. Is 15 a factor of q?
True
Let a be (-274)/(-18) - (-2)/(-9). Let y be (-3)/(-2)*(a - 1). Suppose 5 = -f + y. Is f a multiple of 8?
True
Suppose 112 = 4*n - 32. Does 9 divide n?
True
Let y = -83 - -219. Is y a multiple of 8?
True
Suppose -16 + 1 = -3*f. Is f a multiple of 2?
False
Let l(d) = -4*d**2 - 3*d - 9. Let p(w) be the second derivative of -5*w**4/12 - w**3/2 - 5*w**2 - 3*w. Let s(x) = -4*l(x) + 3*p(x). Is s(-5) a multiple of 8?
True
Let x be 1928/32 - (-1)/(-4). Is ((-6)/(-8))/(5/x) a multiple of 3?
True
Suppose v = -3*h - 2*v + 9, 0 = -v. Suppose -h*i = i - 48. Is 6 a factor of i?
True
Let w = 8 - 4. Let i = 7 - w. Suppose -i*v = -83 - 1. Does 28 divide v?
True
Let t(z) = z**3 - 8*z**2 - 8*z + 1. Let j(x) = x**2 + x + 1. Let l(h) = -j(h) - t(h). Let p be l(8). Let m = 18 + p. Is m a multiple of 6?
False
Suppose 0*w - 5*w + 105 = 0. Is 15 a factor of w?
False
Let j(w) = -3*w**3 - 11*w**2 + 14*w + 8. Does 21 divide j(-6)?
False
Let j(b) = -2*b**3 + 6*b**2 + 12*b + 9. Is j(-4) a multiple of 20?
False
Is ((-374)/(-8))/((-11)/4 - -3) a multiple of 24?
False
Let i be (-1218)/12*12/(-7). Suppose 4*t - i = 2*t. Does 29 divide t?
True
Let x be (-16)/12*30/4. Is -3 - ((x - 2) + 1) even?
True
Let l(z) = z**3 - 8*z**2 - 6*z - 8. Is l(9) a multiple of 4?
False
Suppose -3*b = 4*j - 4*b + 201, -3*b + 3 = 0. Is 15 a factor of 18/15*j/(-4)?
True
Suppose -58 - 104 = -2*u. Is 9 a factor of u?
True
Is (0 - -1)*(-484)/(-11) a multiple of 13?
False
Let p(n) = 2*n - 12. Let t be p(8). Suppose -t*z = -2*z. Suppose z = -y - 2 + 9. Is y a multiple of 3?
False
Suppose -20 = -2*t + 36. Let i = t + -15. Is 13 a factor of i?
True
Suppose 0 = 3*l - 4*m - 1, 0 = 3*l + 4*m - 15 - 2. Suppose -l*b = -b - w - 16, b - 11 = -w. Let v = b - 6. Does 2 divide v?
False
Let b = 6 + -9. Is 10 a factor of 24/16*(-74)/b?
False
Suppose 2*t = -2*u + 2 + 112, 0 = 2*u - t - 111. Is 28 a factor of u?
True
Let l(y) = -13*y**3 - y**2 + 1. Suppose 0*u - 2 = 2*u. Let j be l(u). Suppose 2 + j = 3*i. Does 5 divide i?
True
Suppose 0 = 5*y - h - 25, 4*y + 2*h - 21 = 3*h. Let x be 1002/y*8/6. Suppose 0 = j + 3*j - 16, x = 5*f + j. Is f a multiple of 19?
False
Is (32/(-3))/((-36)/54) a multiple of 16?
True
Let r(d) = -35*d - 4. Let w be r(-3). Suppose -4*u - w = -3*h + 2*h, -5*h - 5*u + 380 = 0. Let k = -47 + h. Is 12 a factor of k?
False
Let d(p) = p**3 - 3*p**2 - 3*p. Let y be d(4). Suppose -y*v = -51 + 15. Is 3 a factor of v?
True
Suppose -260 = -2*o + 28. Suppose -o = -6*t + 2*t. Is 14 a factor of t?
False
Let o(f) = 3*f**2 + 27*f - 11. Let d = 0 - -2. Let m(v) = -v**2 - 9*v + 4. Let g(i) = d*o(i) + 7*m(i). Is g(-9) a multiple of 3?
True
Let t be (-6)/(0/(-3) + 1). Let i = 5 - t. Is 11 a factor of i?
True
Suppose -2*z = -0*z - c - 190, -2*z + 190 = 5*c. Is 19 a factor of z?
True
Let h(m) = m**3 + 8*m**2 + 5. Does 40 divide h(-5)?
True
Suppose 5 - 1 = -m. Let d be 1*(m/(-2) - -24). Let h = d - 12. Is 14 a factor of h?
True
Suppose 3*l + 5 = 2. Let h be 1/l + 44/4. Suppose 3*m - 5*n = 130, 4*n = -h - 10. Is m a multiple of 14?
False
Suppose -4*d + 6 = 2*t, 0 = 2*d + 3*t + 2*t - 15. Let y = d + 5. Suppose -4*l - 45 = -y*m + 41, 49 = 3*m - 5*l. Is m a multiple of 18?
True
Let d(u) = -2*u**3 - 2*u**2 - 3*u - 2. Does 6 divide d(-2)?
True
Let d(n) = -n**3 + 20*n**2 - 16*n + 6. Is 21 a factor of d(19)?
True
Let o be 1035/(-20) - 2/8. Let v = o + 104. Is 26 a factor of v?
True
Suppose -5 + 40 = 5*l. Suppose 0 = p - l - 4. Is p a multiple of 11?
True
Let x(q) = q**2 - q - 3. Suppose o = -2*o + 3*v, 0 = -3*o + 5*v - 6. Let y be x(o). Let w = y + 9. Does 5 divide w?
False
Let q be (0 - -3) + (-9 - -9). Suppose 4*j + 3*c + 2*c - 190 = 0, q*j + c - 137 = 0. Is j a multiple of 16?
False
Let g be -1 - ((-9)/3 - 3). Suppose 0 = -3*j + g + 7. Is j a multiple of 3?
False
Let f = -68 - -110. Does 7 divide f?
True
Let j be (-2)/(-11) + 265/55. Suppose 4*f + 29 = 2*m - j*m, -4*m - 12 = 2*f. Let r = f + 10. Is r even?
True
Suppose 3*h + 5 = -4. Let p(o) = -2*o**3 - 2*o**2 - 2*o - 3. Is 13 a factor of p(h)?
True
Let p = 1 + 20. Let a = 37 - p. Is a a multiple of 11?
False
Let w be (-4)/(-16) - 122/8. Is 18 a factor of (-4)/(-20) + (-537)/w?
True
Let u be 5/(3/6*2). Let h(y) be the third derivative of y**6/120 - y**5/12 + y**4/4 - 2*y**3/3 + y**2. Does 13 divide h(u)?
Tru