 15*u**2 + 33*u - 12 - 8*u**2 - 44*u + u**3. Is t(a) a multiple of 6?
True
Let q = 3 + -2. Let o be -5*(-2 - (-1)/q). Suppose -o*s = -84 - 96. Does 18 divide s?
True
Let z = 13 - 13. Let t(r) = 1. Let v(k) = -k - 9. Let f(i) = -3*t(i) - v(i). Does 4 divide f(z)?
False
Suppose 5*n - 75 = 3*p, -4*n + p = -7 - 60. Suppose -n = -5*u + 72. Is 8 a factor of u?
False
Suppose 4*k + 10 - 54 = -2*q, -2*k + 3*q = -14. Does 5 divide k?
True
Suppose -s = 5*f + s - 9, 2*s + 18 = 4*f. Suppose 0 = 2*n + f*n. Suppose 8 + n = 2*t + x, -2*t - 4 = 4*x. Is t a multiple of 4?
False
Let y(a) = 21*a + 5. Let c(p) = -10*p - 3. Let u(o) = 13*c(o) + 6*y(o). Is u(-5) a multiple of 7?
False
Let t(p) = -3*p - 1. Let l(j) = -j + 1. Let d(f) = 6*l(f) - t(f). Let c be 34/(-6) + (-5)/15. Does 14 divide d(c)?
False
Let u(q) = 23*q. Let d(w) = -160*w. Let x(c) = -2*d(c) - 15*u(c). Let g be x(-1). Suppose -5*m = b - 57, -2*b = -2*m + g + 5. Does 6 divide m?
True
Let q(c) = -2*c**3 - 9*c**2 - 3*c - 14. Does 23 divide q(-6)?
False
Let g be (-2)/(-10) + 18/10. Suppose 3*l - 273 = -7*h + 2*h, -g*h = 4*l - 98. Let t = h - 33. Does 12 divide t?
True
Is 378/45 - (-4)/(-10) a multiple of 4?
True
Suppose u + 25 = -4*u. Let k(f) be the second derivative of -3*f**3/2 + 3*f**2/2 + f. Is k(u) a multiple of 24?
True
Let d = -4 - -6. Suppose -114 = -5*g + d*g. Let b = 56 - g. Is b a multiple of 9?
True
Suppose 5*s = -2*d - 1, 5*d + s - 3*s - 12 = 0. Suppose 0 = -5*j + d*y - 88, j + 12 = 5*y - 1. Let b = 8 - j. Is b a multiple of 13?
True
Let f be ((-18)/(-30))/(2/20). Let y(m) = 9*m + 0*m**2 - 2 - m**2 + 0*m**2. Is 16 a factor of y(f)?
True
Let h(f) = -f**2 + 2*f. Let z be h(2). Let n = 18 - z. Is n a multiple of 4?
False
Let y(j) = 13*j - 8. Does 22 divide y(4)?
True
Let w(d) = d**3 - 8*d**2 - 11*d + 10. Let q be w(9). Let c = q - -15. Does 4 divide c?
False
Let t(i) = -4*i - 11. Is t(-8) a multiple of 16?
False
Is 17 a factor of (-2990)/(-60) + (-3)/(-18)?
False
Is 17 a factor of 17 + 0*1/(-3)?
True
Suppose 4*b - 15 = -5*u, -u = -4*b - 5*u + 16. Suppose -4 - 11 = b*k, 0 = -3*t - 4*k. Is 8 a factor of (-1 - -5)*23/t?
False
Suppose 11 = g + 2*r, 3*g - 30 = 2*r - 7*r. Suppose -2*s + 5*h = 3, -4*h + 13 + 3 = -g*s. Does 5 divide ((-10)/s)/(5/10)?
True
Let t(o) = -o + 11. Let g be t(8). Let r(u) = -u**3 - u**g - u - u**3. Is 4 a factor of r(-1)?
True
Is (((-1728)/(-4))/4)/1 a multiple of 18?
True
Let c(s) = 55*s - 57. Is 17 a factor of c(10)?
True
Suppose -18 = -0*l + 3*l. Is 1 - (2 + -2) - l a multiple of 7?
True
Suppose -a + 66 = 2*n + a, 0 = 5*n - a - 177. Does 10 divide n?
False
Let m(g) = -2*g - 2. Let q be m(2). Let z(b) = b**3 + 6*b**2 + 5*b + 4. Let p be z(q). Let w = p + 59. Does 17 divide w?
False
Suppose -3*k + 3*y = -60, -3*k + 0*y + y = -58. Suppose -4*m + k = j, 3*j - 12 = m - 4*m. Suppose 3*g = 49 + m. Does 18 divide g?
True
Let v = 100 - 75. Does 7 divide v?
False
Let q(b) = 11*b**2. Let m be q(-2). Suppose 2*d - 22 = m. Does 16 divide d?
False
Let r(i) = 11*i**2 - 4*i - 4. Is r(-2) a multiple of 14?
False
Let h(g) = g**2 + 3*g + 4. Does 14 divide h(-5)?
True
Let j(r) = r + 7. Let o be j(-9). Let u be (-26)/6*-3 - o. Let t = -5 + u. Does 10 divide t?
True
Let j be -1*5/(5/(-48)). Let t be (13*-1)/(7/14). Let m = j + t. Is m a multiple of 11?
True
Is -3 - (2 + -39 + -4) a multiple of 19?
True
Let d(s) = -16*s**3 + s + 6. Is 33 a factor of d(-2)?
True
Let j = 133 - -56. Is j a multiple of 23?
False
Let i be (-1)/(-1) + (0 - -4). Let m = 9 - i. Is m even?
True
Is 14 a factor of (1/2)/((-9)/(-612))?
False
Is ((-24)/(-28))/((-1)/(-7)) a multiple of 5?
False
Let z = 20 - 29. Let b(x) = x**2 + 9*x. Let y be b(z). Let c = 7 + y. Is 6 a factor of c?
False
Suppose 85 = 5*l + 5*a, -2*l + 4*a + 51 = l. Suppose 0 = -x + 39 - l. Is x a multiple of 22?
True
Let k = 237 + -121. Does 18 divide k?
False
Let d be 1/(-1)*3/3. Let w be 12/(2/(-2)) + d. Let b = 28 + w. Does 6 divide b?
False
Let d = 140 - -281. Is d a multiple of 14?
False
Suppose -p - 9 = -2*h, -p = 2*h + 3*h - 12. Is 2 a factor of h?
False
Suppose 3*n - 5*i = 9, -3*n + 9 = -3*i - 0*i. Is n even?
False
Let q = 3 - -4. Let x be -9*((-1)/(-1) - 0). Let h = q - x. Is 6 a factor of h?
False
Let g be 3*-1 - (-6 + 1). Suppose -g*v = v - 51. Does 4 divide v?
False
Suppose 3*s - 3 = -0*a - 2*a, 4*a + s = 1. Suppose 5*b = -a*b + 160. Is 8 a factor of b?
True
Let d be (-17)/(-5) + (-6)/15. Suppose -9 = -d*a + 54. Does 8 divide a?
False
Suppose -2*j = -9 - 15. Suppose 0 = 2*l + 4*m + j, -l + 4*l + 5*m + 16 = 0. Let f = l - -9. Is 7 a factor of f?
True
Let d be (-186)/(-66) + 4/22. Suppose -p + 26 = 2*r - 22, d*p - 2*r = 128. Is 19 a factor of p?
False
Does 6 divide (6*(-2)/3)/((-1)/6)?
True
Suppose 5*v + 14 + 1 = 0. Is (-1)/v + (-2412)/(-54) a multiple of 34?
False
Let z be 0 - (-4)/(12/15). Suppose -z*o = l - 176, 209 = 5*o + 5*l + 29. Does 26 divide o?
False
Suppose 16 = 2*m + 5*f, 2*f - 19 = -5*m - 0*m. Suppose -o + 196 = 3*o - 2*q, -m*o - 2*q + 161 = 0. Is o a multiple of 17?
True
Let f(v) = v**2 - v - 18. Is f(9) a multiple of 10?
False
Suppose 0 + 12 = -4*h. Let z(i) = -9*i - 3. Let g be z(h). Let q = -17 + g. Is 4 a factor of q?
False
Suppose -4*k = -d - 14, -3*k - 4*d + 20 = -0*k. Does 13 divide (-66)/k*4/(-3)?
False
Suppose 4*q = -2*d + 10, d - 4*d + 2*q + 15 = 0. Is (-62)/d*15/(-6) a multiple of 8?
False
Let t = 0 - -2. Let n(z) = z**2 - t*z**2 + 3*z**2. Does 18 divide n(-3)?
True
Let v = 25 - -75. Is 10 a factor of v?
True
Let z(i) be the first derivative of 3*i**2/2 - 3*i - 3. Is 5 a factor of z(4)?
False
Suppose 15*m = 10*m + 40. Is m a multiple of 5?
False
Is (2 - 204)*-1*4/8 a multiple of 13?
False
Let v(f) = 2*f + 7. Let b be v(-3). Suppose -b = y - 53. Is y a multiple of 23?
False
Suppose -3*a = -5*f - 174, f - 72 = -a - 2*f. Let g = a + -36. Does 7 divide g?
False
Is 2196/22 + (-2)/(-11) a multiple of 20?
True
Suppose -3*b - 8 + 23 = 0. Suppose 3*w - 9 = 0, b*l + 3 - 54 = -2*w. Is 8 a factor of l?
False
Let n = -2 - -5. Suppose -40 = -3*v + 4*q - 3, n*v + 4*q = 53. Is v a multiple of 4?
False
Suppose 0 = -5*d - 96 + 556. Is 4 a factor of d?
True
Let g = 5 - 9. Let d be ((-2)/(-4))/(2/96). Let l = d + g. Is 20 a factor of l?
True
Let b(r) = -34*r - 2. Suppose -13*j + 8*j = 10. Does 10 divide b(j)?
False
Let y = -108 - -202. Let c = -6 + y. Is c a multiple of 22?
True
Let l(r) = 2*r**2 + 6*r + 1. Let k be l(-4). Suppose -k = c - 4*c. Suppose 2*d - c*s - 77 = -3*d, 4*d + 4*s = 36. Is d a multiple of 13?
True
Let c be 6 + (-2 + 1)*1. Suppose 3*v - 2*v = -5*y - 48, 33 = -2*y - c*v. Let x = y - -13. Is x a multiple of 4?
True
Let b be (-5)/4 + 2/8. Let h be (-18)/b*4/6. Suppose -h = -z - z. Does 6 divide z?
True
Let z be 32/14 - 2/7. Suppose 21 = z*h - 11. Is 12 a factor of h?
False
Suppose -2*q + 5*q = -6. Let g be 2*-6*q/6. Suppose 0 = -g*s + 59 + 33. Is 9 a factor of s?
False
Let s(l) = l**2 - 3*l - 2. Let m be s(5). Suppose 3*r - r = m. Suppose r*a = -2*c + 2 + 16, -6 = 3*a - 5*c. Is 3 a factor of a?
True
Suppose -3*p = -23 - 124. Is p a multiple of 13?
False
Let u(p) = p**3 - 5 + 6*p**2 - p**2 + p**2. Let r be u(-6). Let q = 23 + r. Does 9 divide q?
True
Let g(k) be the first derivative of k**3/3 + 2*k**2 - 5*k - 1. Let z be g(-5). Does 8 divide (1 - -21)/(z + 1)?
False
Let c = 238 + -149. Suppose 21 = -2*f + c. Is f a multiple of 12?
False
Let r(k) = k**3 - 8*k**2 - 9*k + 4. Let q be r(9). Let y be (q + 1 - 2) + -1. Suppose -z - 3*w - 2 = -39, y*z = w + 46. Is 9 a factor of z?
False
Suppose -4*p + 5*v = -116, -5*p = 2*v - 0*v - 178. Does 18 divide p?
False
Let s be 7 + -1 + 0 + -2. Suppose -43 - 57 = -s*n. Is n a multiple of 15?
False
Suppose -5*a + 2*p + 5 = 0, -3*a = -2*a - 4*p + 17. Suppose 27 - a = n. Is n a multiple of 24?
True
Suppose 0 = 3*d + z - 10, 3*z - 19 = -7. Suppose d*b + 2*k + 2*k - 32 = 0, -k = 2*b - 23. Is b a multiple of 4?
False
Let c be (-12)/(-4) + (0 - -1). Let a(f) = -c + 2*f**2 + 2 + 1 - 1 + 4*f. Is 14 a factor of a(3)?
True
Suppose 0 = 5*p - 4*p - 23. Suppose 2*x - 111 - p = 0. Let l = -12 + x. Is l a multiple of 16?
False
Let s(w) = -3*w - 1. Let p be s(-2). Let x be (-1 + -1)/(p/(-45)). Let y = x - -5. Is 12 a factor of y?
False
Suppose 5*o - 375 = -0*o. Is 13 a factor of o?
False
Suppose 2*x - 6 