Let h(y) = -y**3 + 9*y**2 - 8*y + 3. Is h(7) a multiple of 45?
True
Let l(i) = 9*i - 5*i - i**2 + 1 + 4*i - 5. Let p be l(7). Does 10 divide 144/(3 + 1) - p?
False
Does 6 divide ((-3350)/20)/(8/(-16))?
False
Suppose 0*j - 3*j = 4*w + 761, -766 = 4*w + 2*j. Does 11 divide w*(-3 - -2)/1?
False
Let n(r) = 5*r**2 + 34*r + 62. Does 15 divide n(-9)?
False
Let x be 129/27 + -3 - 6/(-27). Suppose -5*g + g + 32 = x*q, -4*q - 3*g + 44 = 0. Does 2 divide q?
True
Suppose 0 = -4*y - 0*y + 1508. Suppose -y = -5*o + 138. Does 13 divide o?
False
Let r(b) = -b**3 - 21*b + 1832. Is r(0) a multiple of 14?
False
Suppose -4*p - 684 = -3*k + k, 0 = 4*p + 12. Does 7 divide k?
True
Let i = 27 - 48. Is 14 a factor of (i/(-3))/(2/4)?
True
Let y(v) = -v**3 - 6*v**2 - 11*v + 11. Is y(-10) a multiple of 26?
False
Suppose -101 = -3*q - 4*x, 4*q - 3*x = 5*q - 42. Let t = q + -16. Is t a multiple of 3?
False
Suppose 4*a + 3*l = 20, -l + 18 = 3*a - 2. Is 3 a factor of a?
False
Let m(v) = 87*v**3 + 2*v**2 + 2*v + 4. Let z be m(-2). Is 7 a factor of z/(-18) + -5 + (-215)/(-45)?
False
Let m be 9 - (-2 - -4 - -2). Suppose 0 = 4*j - 2*t - 222, -5*t - 275 = -m*j - 0*j. Is 14 a factor of j?
True
Suppose 2*z + 3*z = 15. Suppose 0 = b + c - 4*c - 153, 297 = 2*b - z*c. Does 12 divide b?
True
Suppose -6*v + 80 = 32. Suppose 16*y = v*y + 88. Is y a multiple of 2?
False
Let m(j) = 30*j**3 - j**2 - 5*j + 8. Let w be 1 + 1 - ((-2 - -8) + -6). Is m(w) a multiple of 34?
False
Let d(x) be the third derivative of x**5/60 - x**4/12 + 8*x**3/3 - 37*x**2. Let t be 3/6*(1 - 1). Does 10 divide d(t)?
False
Let w(f) = -f**3 - 19*f**2 + 8*f + 35. Is w(-20) a multiple of 24?
False
Is 4 a factor of (-279)/(-186)*(-1 - -191)?
False
Let u(h) = h**3 - 3*h**2 - 5*h + 2. Let l be u(4). Let f be (-8)/l*15/(-6). Is 144/f*(-90)/27 a multiple of 27?
False
Is -6 - (-5 + 10 + -65) a multiple of 6?
True
Let y(d) = -18*d. Let t(u) = u**3 + 7*u**2 + 6*u + 4. Let m be t(-6). Suppose 2*z + 16 = 3*p, 0 = m*p - 27 + 11. Does 12 divide y(z)?
True
Suppose -74 = 8*h - 2762. Is h a multiple of 16?
True
Suppose -o + 645 = 2*o - 2*w, 4*o + 4*w - 860 = 0. Is o a multiple of 71?
False
Suppose -3*g - 36 = -6*g. Is 0 + -6*(-52)/g a multiple of 13?
True
Let q(f) = 194*f - 21. Is q(1) a multiple of 20?
False
Suppose -32*y = -41*y + 2889. Does 11 divide y?
False
Suppose 2*j - 56 = -4*c, c + 8 = 7*j - 2*j. Is (c - 3)/3 + (21 - -2) a multiple of 12?
False
Suppose 17*p = 27*p - 1460. Is p a multiple of 5?
False
Suppose i - 53 - 74 = -2*r, -r + 41 = -4*i. Is r a multiple of 4?
False
Let q = -437 + 887. Is 45 a factor of q?
True
Let t(s) = 7*s**3 + 15*s**2 - 27*s + 61. Let v(y) = -3*y**3 - 8*y**2 + 13*y - 30. Let i(c) = -4*t(c) - 9*v(c). Is i(8) a multiple of 29?
False
Suppose -c + 578 = 3*b, 1704 = -c + 4*c - b. Does 17 divide c?
False
Suppose 40 = 2*a + 28. Suppose a*h - 200 = h. Is 20 a factor of h?
True
Let v = -10 + 22. Suppose 2*j + j = v. Suppose -4*a - j*z = -124, -4*a - 3*z + 27 = -100. Is 17 a factor of a?
True
Suppose 3*y + 0 = -12. Is 13 a factor of (y + 2)/((-2)/26)?
True
Let g = 168 + -22. Is 14 a factor of g?
False
Suppose 0 = 4*k - n - 4058, n - 5077 = -6*k + k. Is k a multiple of 35?
True
Let z(j) = -4*j + 15. Let k be z(3). Suppose k*m = -4*g + 554 - 28, 5*g - 661 = -2*m. Is g a multiple of 19?
True
Suppose -6*d + 10*d = -112. Is 17 a factor of 123/(d/(-16) + -1) - 1?
False
Let h be (6/(-5 + 2))/(5/(-10)). Suppose h*q = -12, -q = 5*k + q - 534. Does 18 divide k?
True
Suppose 0 = -3*y + 5*u - 4, -u = -y + 2*u - 4. Suppose 190 = y*r - 12. Does 18 divide r?
False
Suppose -7 + 23 = 2*t. Suppose -89 = -t*v + 71. Is 10*(128/v - 0) a multiple of 32?
True
Suppose -7*w - 5610 = -22*w. Is w a multiple of 22?
True
Suppose -2*a - 12 = -0*a + 2*b, -3*b = 12. Is 27/a*(-8)/3 a multiple of 9?
True
Suppose 5430 = 166*c - 163*c. Does 34 divide c?
False
Suppose 26*s - 21*s + 5 = 0, 0 = 2*v + 5*s - 993. Is v a multiple of 12?
False
Let z(n) = 385*n - 37. Does 13 divide z(5)?
False
Let h(u) = u**3 - 11*u**2 + 35*u + 2. Is h(18) a multiple of 29?
True
Does 19 divide (-22564)/(-36) + (-26)/(-117)?
True
Is 4 a factor of 35070/147 - (-3 - 72/(-28))?
False
Let q be 54/36*(-64)/6. Is 1/((7/q)/7)*-8 a multiple of 16?
True
Is 26 a factor of (3 + 0 + 38)/(18/1278)?
False
Suppose 0 = 2*q - 10, 5*h + 5*q - 6 = 9. Let t be 25*(h + 4 - 3). Does 3 divide t/(-10)*(4 - 2)?
False
Let h(l) = -l**3 - 2*l**2 + 7*l + 8. Let y be h(-3). Is 23 a factor of 8/2 - 76/y?
True
Let b(h) be the second derivative of h**3/2 - 7*h**2/2 - 17*h. Let c = -11 - -17. Is b(c) a multiple of 2?
False
Let a(l) = -65*l - 215. Does 10 divide a(-7)?
True
Is 26 a factor of 35278/12 + (-234)/(-1404)?
False
Suppose u - 2 = 2*h, 6 = -5*h - 0*u + 3*u. Suppose 5*v + 15 = 0, -3*c + h*c - v + 237 = 0. Does 20 divide c?
True
Suppose -94 = -2*w - r, -3*w + 127 = -0*r + 5*r. Suppose -2*f = 3*s - 36, -s - 3*s - 3*f + w = 0. Is s a multiple of 2?
True
Suppose n - 4 = 0, -2*n - 17 - 9 = -l. Suppose -2*b - 94 = -3*g, -l = -g - 5*b + 3*b. Suppose -f = -g - 39. Does 12 divide f?
False
Let n(l) = -l**2 - 4*l + 19. Let v be n(-6). Suppose -10*r + 6 = -v*r. Is (-26)/r*(4 - 8) a multiple of 13?
True
Let g = 9 + 109. Let t = g - 78. Is 21 a factor of t?
False
Let h(a) = a**2 - a + 25. Let n be h(0). Suppose n = 2*k + 9. Let z = k + 18. Is z a multiple of 10?
False
Let t be (-6)/18 + 361/3. Is 3 a factor of 4/t*6 - 158/(-10)?
False
Let m = 305 + 167. Suppose 6*x - m = 44. Does 43 divide x?
True
Let u = 125 - 133. Is 6 a factor of 45 + u + 2 + 3?
True
Let l be ((-2)/3)/(22/(-99)). Suppose l*i - 25 = 8. Let z(x) = x**2 - 11*x + 5. Is z(i) a multiple of 2?
False
Let t(g) = -2*g**3 + 3 + 4*g - 2*g**2 + 3 + 3*g**2 - 3*g**2. Is 5 a factor of t(-3)?
True
Suppose 9*k - 21 = 60. Suppose 126 = 12*r - k*r. Is r a multiple of 14?
True
Let p(j) = 3*j - 10. Let u be p(-6). Let f be 2/(-8) + (-7)/u. Suppose f = 2*o + 2, -2*o - 2*o + 391 = 5*g. Is 18 a factor of g?
False
Let f = -30 + 24. Let t(q) = -2*q**2 - 15*q - 8. Let z be t(f). Let l(y) = y**3 - 8*y**2 - 15*y + 7. Does 17 divide l(z)?
False
Suppose -2*z - 5*q + 3*q = -18, q = -2*z + 14. Suppose z*f = -238 + 718. Is 16 a factor of f?
True
Does 16 divide ((-25)/3)/((-1)/237*1)?
False
Suppose 0 = 4*k + 14 + 22. Let x = k - -47. Is x a multiple of 11?
False
Suppose -r - 5*k = 114, -3*k - 262 = 3*r + 92. Is 19 a factor of (-7157)/r - 1/7?
False
Suppose -4*v - 4*j + 173 = -9*j, 4*j = -v + 38. Suppose 5*y = 5*n - 155, -2*n + v = 5*y + 8. Is 3 a factor of n?
True
Suppose 3*d + 5*s - 34 = 0, -8*d + 3*d - 3*s = -46. Is 20 a factor of -1 - d/((-2)/16*2)?
False
Let i = 26 - 41. Let m(r) = 15*r**2 - 5*r + r**3 + 6 + 5*r. Is m(i) a multiple of 5?
False
Let k(l) = 2*l**2 - l + 135. Let t(h) = h**2 + 1. Let v(f) = k(f) - 4*t(f). Is v(0) a multiple of 18?
False
Let z be (-6)/(-4 + 1 - -1). Suppose z*s - 23 = 13. Let i = s - -6. Is 6 a factor of i?
True
Suppose 126*t + 26230 = 136*t. Is 10 a factor of t?
False
Let d(l) = -15*l - 33. Let n(r) = -9*r**2 - 2*r - 2. Let v be n(-1). Is d(v) a multiple of 17?
True
Suppose 465 = 5*x + 5*c, 13*c + 435 = 5*x + 12*c. Is 7 a factor of x?
False
Suppose 2*y + 39 - 99 = 0. Suppose -q = -1 - 1. Let i = y + q. Is i a multiple of 13?
False
Suppose -4*o - 4*l = -8*o + 3304, -2*l = 3*o - 2493. Does 8 divide o?
False
Suppose 0*a - 262 = -5*n + 4*a, -3*n = -4*a - 162. Suppose 2*p + n = 3*y, -4*y - 3*p - 8 + 86 = 0. Does 4 divide y?
False
Let i(q) = -q**2 - q + 3. Let p be i(-3). Is 35 + 0 + 2 + p a multiple of 16?
False
Let o = 1505 + -955. Is 55 a factor of o?
True
Let o(y) = -y - 3. Let l be o(-5). Let i be 26 + -6*1/l. Let n = i + -12. Does 11 divide n?
True
Let k(h) = 3*h**3 - 5*h**2 + 7*h - 6. Let x be k(2). Is 261/x + 2/8 a multiple of 11?
True
Suppose -k = 3*x - 1, 7*x - 3 = 2*x - 3*k. Suppose x = -2*d + 5 + 5. Suppose -2*p + 0*s - 5*s + 41 = 0, d*p = -s + 91. Is 4 a factor of p?
False
Let m(h) = h**3 - 8*h**2 + 6*h + 29. Let a be m(13). Suppose 4*s + 292 - a = 0. Is s a multiple of 7?
False
Suppose 3 = -3*m + 18. Suppose 3*d = k + d - 44, m*d + 92 = 2*k. Is k a multiple of 12?
True
Is (-164)/(-41) - 1*2 a multiple of 2?
True
Suppose -2*g = -7*g. Suppose -4*h - 4 + 0 = g. Is (h/3)/((-11)/231) a multiple of 5?
False
Let v(j) = j - 12. Let m be v(