3 + 7*s**2 - 7*s + 6. Let h(r) = -9*f(r) - 2*g(r). Is 19 a factor of h(-9)?
False
Let r be 104/(-65)*5/2. Does 17 divide r + (9 - 2) - 9*-11?
True
Let i be (-2)/6*(-234)/2. Let a = -26 + i. Suppose z = -1 + a. Is z a multiple of 6?
True
Let f(x) = -x**2 + 44*x - 69. Does 23 divide f(23)?
True
Suppose 4*g + 24 = 4*s, 0*g - 10 = 5*g. Let f(z) = -2*z + 6. Let o be f(s). Does 4 divide (4/o - -14) + 0?
True
Let x be (1/(-2))/((-1)/(-86)). Let d = x - -152. Is 30 a factor of d?
False
Let i = -18 - -20. Let g be 17*(2 + 10/i). Let l = g - 84. Does 9 divide l?
False
Suppose -5*v = 5*x - 65, 39 = 3*x - 8*v + 3*v. Let o = -10 + x. Let n(d) = 3*d**2 + 3*d - 4. Does 9 divide n(o)?
False
Does 4 divide ((-12)/30)/(-4 - (-2877)/720)?
True
Suppose k = -n + 296, 0 = 2*n - 5*k - 95 - 462. Let l = n + -158. Is 19 a factor of l?
True
Let x be ((-2)/(-6))/((-1)/(-9)). Let h be (-955)/(-5) + x*1. Suppose -2*l - 54 + h = 3*p, -236 = -5*p - 2*l. Is 16 a factor of p?
True
Let k(h) = 99*h. Is k(10) a multiple of 45?
True
Suppose -1549 - 3416 = 15*d. Let l = 481 + d. Does 22 divide l?
False
Suppose 589 = -6*y + 4279. Is y a multiple of 41?
True
Let w = -12 + 14. Let v be (-2)/6*-6 - w. Suppose v = 3*h + l - 26, 4*h - 3*h + 4*l = 27. Is 4 a factor of h?
False
Suppose 0 = 30*o + 5884 - 58444. Is 12 a factor of o?
True
Let c = 4 - 7. Suppose -7*d + 182 = -0*d. Does 6 divide 3*(c + d/3)?
False
Let k = -138 - -23. Let d = k + 206. Is d a multiple of 14?
False
Suppose -8*k + 11088 = 6*k. Is k a multiple of 11?
True
Let x = -225 + 229. Is x a multiple of 4?
True
Let a(l) = 3*l**2 + 42*l + 8. Is a(-20) a multiple of 46?
True
Let t = 2443 + -1661. Is t a multiple of 34?
True
Suppose -2*u - 4*p + 3*p = -4, 4*u + 3*p = 8. Let c(w) = 5 - 3 - u*w + 4. Does 12 divide c(-9)?
True
Suppose 0 = -5*p - 3 + 13. Suppose -p*k + 3*k + c = 221, 665 = 3*k + 4*c. Suppose 60 = -3*n + k. Is n a multiple of 13?
False
Let r be 175/49 - (-3)/7. Suppose r*o - 124 - 72 = 0. Let v = -32 + o. Is 17 a factor of v?
True
Suppose -13*m + 10*m = -6. Let g be (-2)/5 - 108/(-20). Suppose x + 0*x + 44 = g*f, 8 = -m*x. Is f a multiple of 4?
True
Suppose -2*q - 8 = 3*l, -3*l - 2*q + 6*q = 20. Does 23 divide (-692)/(-6) - l/(-12)?
True
Suppose 1760 - 5905 = -5*d. Does 53 divide d?
False
Is 24*5/10*(-240)/(-45) a multiple of 8?
True
Suppose 5*x - 2*x = 3. Let q = 4 - x. Suppose f = q + 8. Is f a multiple of 4?
False
Suppose -6*h = 224 - 14. Let z = h - -64. Is z a multiple of 2?
False
Let z(u) = u**3 + 7*u**2 + 7*u - 1. Let j be z(-5). Let g = j + 24. Is g a multiple of 7?
False
Let i be (6/4)/((-1)/4). Let o(g) = 218*g**2 - 11 + g - 2*g + 4*g - 217*g**2. Is o(i) a multiple of 4?
False
Let v = -434 + 790. Does 16 divide v?
False
Let b(r) = -r**3 - 12*r**2 - 10*r - 38. Does 13 divide b(-14)?
True
Let x = -114 + 163. Suppose 83 = 12*w - x. Does 11 divide w?
True
Suppose -6*q = -2*q. Suppose 5*x + q*d - d = 926, -4*x + 741 = -d. Is 16 a factor of x?
False
Let o(r) = -r**2 + 26*r - 16. Let s be o(25). Suppose -s*c - 232 = -11*c. Does 38 divide c?
False
Let s(v) = -v**3 + 4*v**2 + 8. Let o be s(4). Is (4 + -2)/(o/128) a multiple of 15?
False
Let t(d) = d + 2*d - 3 - 2*d. Let g be t(5). Let s(v) = 2*v**3 - v**2 - 2. Does 3 divide s(g)?
False
Suppose -3*q + 0*q - 15 = 0, 0 = 4*o + 2*q - 526. Is o a multiple of 6?
False
Suppose -4*f = 2*k - 6386, -3*k - 3589 + 400 = -2*f. Does 133 divide f?
True
Let u = 474 - 74. Does 8 divide u?
True
Let y = -1123 + 591. Is (-1)/4 - (0 - y/(-16)) a multiple of 11?
True
Does 62 divide (30/(-10))/(9/(-3426))?
False
Let t(w) = w**2 + w - 42. Is 20 a factor of t(-14)?
True
Let f(h) = -4*h + 15. Let t be f(-9). Suppose 4*i = 4, 5*i + 17 = 3*p - 44. Let g = t - p. Is 13 a factor of g?
False
Suppose 4*f - 14 + 2 = 0. Suppose f*g - 65 = 13. Is 5 a factor of g?
False
Suppose 5*t + 5*x - 5 = 0, 5*t - 8 = -0*x - 2*x. Suppose -81 + 31 = -b + t*r, 3*b - 148 = 4*r. Does 24 divide b?
True
Suppose -s + 33 + 10 = 0. Let f = 138 - s. Is 12 a factor of f?
False
Let y(l) = 39*l + 4. Let b(x) = -19*x + 1. Let o(p) = 38*p - 1. Let d(r) = 5*b(r) + 3*o(r). Let n(w) = -13*d(w) + 6*y(w). Is n(-2) a multiple of 8?
True
Let s be 5/(-30)*-6 + (1 - -1). Suppose -s*y + 2*t + 38 = -3*t, -y + t = -10. Is y a multiple of 3?
True
Let l(q) = 2*q - 7. Let f be l(-5). Let a = f - -26. Is a a multiple of 8?
False
Suppose 15*d = 11*d - 4. Let p(g) = -66*g**3 + 1. Is 9 a factor of p(d)?
False
Suppose m = 5*m. Suppose -h + 30 + 28 = m. Is h a multiple of 16?
False
Let h(j) = 2*j + 27. Let l be 56/(-9) - (1 - (-11)/(-9)). Is h(l) a multiple of 12?
False
Let b = 116 - 112. Suppose -5*k + 5*a = -40, -17*a = b*k - 12*a + 13. Is 3 a factor of k?
True
Suppose -7*g + 12 + 9 = 0. Suppose -g*r - 116 = -2*m + r, 2*m - 2*r - 110 = 0. Is 26 a factor of m?
True
Suppose d - 2*n = -2, -2*d - 21 = 3*d + n. Is 565/20 + 1/d a multiple of 7?
True
Let j = 1895 - 980. Does 61 divide j?
True
Let m(f) = f**2 + 4*f + 8. Suppose 2*d = -0*d + 4*x - 10, -4*d = -2*x - 4. Let i(b) = 2*b**2 + 4*b + 8. Let o(c) = d*m(c) - 2*i(c). Is 3 a factor of o(5)?
True
Suppose 0 = -6*s + 14 + 982. Is 9 a factor of s?
False
Suppose 5*v = 25*v - 1920. Is 16 a factor of v?
True
Suppose -a + h - 4*h = -759, 2*a - 1518 = -3*h. Does 11 divide a?
True
Suppose -12*y + 19800 = 18*y. Is 15 a factor of y?
True
Does 41 divide (-6)/(-2) + (24/4 - -73)?
True
Suppose -16*u + 14*u + 360 = 0. Is u/15*30/4 a multiple of 5?
True
Suppose -2*z + 99 + 75 = 0. Suppose f = 5*k - 340 + 119, -2*k - f = -z. Does 11 divide k?
True
Let l(w) = w**3 + 23*w**2 - 2*w - 69. Is l(-22) a multiple of 37?
False
Let r(q) = 519*q**2 + 1. Is r(-1) a multiple of 40?
True
Suppose 7*l - 297 + 24 = 0. Let u = l + -21. Is u a multiple of 18?
True
Let a = -27 + 41. Suppose -5*d = -a - 11. Suppose 35 = 5*t + d. Does 2 divide t?
True
Suppose b = -3*n + n - 25, 0 = -5*n + 4*b - 56. Let h = n - -16. Is 28/4 - h/2 a multiple of 5?
True
Let v = 1580 - 1480. Is v a multiple of 20?
True
Suppose 224*q = 247*q - 38502. Does 62 divide q?
True
Suppose 37*r = 12527 - 1760. Is 3 a factor of r?
True
Let c be 172/20 + (-4)/(-10). Suppose c = 3*x - 0, 0 = -k + 3*x - 49. Is 10 a factor of (-4)/(4/(k - 0))?
True
Let y be (-18)/(-14) - 12/42. Let x be 6 - (2 + (-1)/y). Is 9 a factor of 5/25 + 164/x?
False
Let v be 344/10*20/8. Let q = v - 56. Is q a multiple of 10?
True
Let z(l) = 87*l**3 - l**2 + 2*l - 1. Suppose 14*b - 4 - 10 = 0. Does 10 divide z(b)?
False
Let v(j) = j**3 - 5*j + 4. Let o be v(2). Suppose 5*z - t - 377 = t, o*z = -2*t + 162. Does 28 divide z?
False
Suppose -2*w + 4*w - 2*v = 2, -4*w - 2*v + 10 = 0. Let b = w - -3. Is 2/2*b*1 a multiple of 2?
False
Suppose -25*m - 9282 = -38*m. Does 10 divide m?
False
Let o(w) = 23*w + 72. Let c(d) = 6*d + 18. Let x(j) = 9*c(j) - 2*o(j). Let m(v) = -v**3 + 3*v**2 - 8*v + 32. Let t be m(3). Is 16 a factor of x(t)?
False
Suppose 2*a - 86 = -5*l, a + 14*l - 42 = 11*l. Is 6 a factor of a?
True
Let d(y) = -2*y**3 + 2*y**2 + 6*y - 6. Is d(-6) a multiple of 77?
True
Is 11 a factor of (-12)/6*22*-19?
True
Let i = 3198 - 1104. Does 16 divide (0 - (-6)/4) + i/12?
True
Suppose 5 = 3*x - 2*x. Suppose -137 = -x*j + 33. Does 7 divide j?
False
Let h = 558 + -326. Is 4 a factor of h?
True
Is 2710/85 + (-10)/(-85) a multiple of 4?
True
Let r(s) = 2*s**2 + 7*s - 4. Let b(l) = 4*l**2 + 14*l - 8. Let t(x) = -4*b(x) + 9*r(x). Is 7 a factor of t(-5)?
False
Suppose -5*r - 2*v = -40, -6*r + 2*r - 5*v = -49. Let z be 7/2 + r/12. Is ((-224)/24)/(z/(-6)) a multiple of 3?
False
Let w = 251 - -31. Is w a multiple of 26?
False
Suppose -5*c = -5*q - 2155, c + 4*q = -123 + 559. Does 48 divide c?
True
Suppose -2*d = -o - 19, -2*d - o - 2 + 27 = 0. Suppose -65 = 6*x - d. Let u = 54 + x. Is 9 a factor of u?
True
Let u = 21 - 8. Let a(s) = s**3 - 13*s**2 + 2*s + 9. Is a(u) a multiple of 7?
True
Let i be 11*(-6)/(-12)*(-72)/(-1). Suppose 6*t + i = 1698. Is t a multiple of 33?
False
Suppose 3*u - 2*u + 135 = 2*t, 150 = 2*t + 2*u. Suppose -2*r = -3*s - 157, 4*s + 11 = r - t. Is r + 5/(-5) + -2 a multiple of 13?
False
Suppose -12 = 9*u - 13*u. Let f(w) = -2*w**u + w + 5*w**3 + 0*w**2 + w**3 + w**2. Does 22 divide f(3)?
False
Let r = 496 + 6. Let s = r - 331. Is s a multiple of 23?
False
Suppose -5*n + 267 = j, 2*n + 2*n 