x - 163. Is 22 a factor of k(-19)?
False
Suppose -27 = 4*z - s + 6, -4*s - 30 = 2*z. Let c = 0 - z. Suppose 91 = c*g - 80. Is 16 a factor of g?
False
Let c = -1787 + 2258. Does 86 divide c?
False
Let v(y) = y**2 + y - 15. Let r be v(4). Suppose -r*d - 16 = 124. Let p = d - -130. Is p a multiple of 17?
True
Let y(u) = -478*u + 638. Does 61 divide y(-35)?
False
Let f(x) = -13*x**3 - 23*x**2 + 20*x + 41. Does 23 divide f(-9)?
True
Suppose -3*g + 105538 + 17024 = 6*g. Does 22 divide g?
True
Let y(x) = x**3 - 37*x**2 + 42*x + 27. Is 17 a factor of y(37)?
True
Suppose -2*u = -o - 3 - 1, 32 = 2*o + 4*u. Is 14 a factor of 42*(-3 - (-36)/o)?
True
Let b be 32*8/((-56)/(-21)). Suppose 265*x = 263*x + b. Is x a multiple of 8?
True
Let u = 6033 + -3187. Is 4 a factor of u?
False
Suppose 159*s = 188*s - 2653761. Does 16 divide s?
False
Let y = 5423 - -2597. Does 20 divide y?
True
Let w = -17546 - -18504. Does 137 divide w?
False
Suppose 4*r = -0*p - p - 307, 371 = -5*r + 3*p. Is 570/r*(-948)/10 a multiple of 9?
True
Suppose -4*c + 194 = g - 1169, -5*c = 3*g - 1709. Is 5 a factor of c?
True
Let d = -308 - -396. Let b = 8 + d. Is b a multiple of 24?
True
Suppose -5*f = 4*h + 64, 3*h - f - 15 = 4*h. Let g(r) = -r**2 + 14*r - 8. Let b(k) = -k**2 + 13*k - 8. Let d(z) = -4*b(z) + 3*g(z). Does 40 divide d(h)?
False
Let p = 773 + -767. Let g(c) = c**2 - 17*c + 126. Is 9 a factor of g(p)?
False
Suppose q + g + 119 = -4*q, -q = g + 23. Does 19 divide 3/q*4*-608?
True
Let a be 50/35*7 - 7. Suppose -62*d = -66*d - a*q + 3276, 2457 = 3*d - 5*q. Does 63 divide d?
True
Let y(f) = 10*f**3 - 5*f**2 - 9*f + 26. Is y(5) a multiple of 14?
True
Suppose d - 2*u - 9 = 0, -5*u + 2*u = -4*d + 16. Let c be (-34 + 14)*d/(-2). Let b = c + 8. Is b a multiple of 3?
True
Let l(i) = i**3 + 9*i**2 + 15*i + 22. Let q be l(-7). Let h(s) = 2*s**2 - 13*s + 42. Is h(q) a multiple of 20?
False
Suppose -4*f = 5*j - 31, 35 = 5*j + 5*f - 0*f. Suppose n = -j*n, 0 = 4*l - n - 344. Let s = l - 82. Is s a multiple of 4?
True
Is (-9 + (22 - 18))*(-202)/2 a multiple of 50?
False
Suppose -58410 = -4489*t + 4434*t. Is 2 a factor of t?
True
Let y(v) = 34*v**2 - 8*v - 11. Let m be -1 + ((-1)/(-4) - 156/48). Does 9 divide y(m)?
False
Let s(q) = 43*q + 118. Let w be s(11). Let k(i) = i**3 - 7*i**2 - i + 9. Let b be k(7). Suppose -r - b*o + 3*o = -144, -4*r + o = -w. Is 32 a factor of r?
False
Let t = 472 - 373. Suppose -t*h + 95*h = -1800. Is 6 a factor of h?
True
Suppose -o - 1159 = 4*c, 2*c - 4*c - o = 579. Let l = c + 486. Is l a multiple of 49?
True
Let i = -1780 + 10608. Is i a multiple of 12?
False
Let b = 148 + 40. Suppose x + 2*p = 70, x - b = 4*p - 118. Does 35 divide x?
True
Let c(a) = 5*a**3 - 46*a**2 + 60*a - 13. Is c(16) a multiple of 95?
False
Suppose -10 = -b - 4*j, -5*b = 5*j - 27 + 7. Is 10 a factor of (69/(-46))/(b/(-508))?
False
Let u(m) = -6*m - 68. Let o be u(-11). Is 7 a factor of (o - (-548)/16)/((-7)/(-56))?
False
Suppose -j = -78 + 50. Let o be ((-49)/j + 3)/(2/8). Suppose -q = -d + 21 + o, -3*q - 138 = -5*d. Is d a multiple of 6?
True
Let w(a) = -a**2 + 17*a - 34. Let u be w(15). Is (4 - (-655 + -2)) + u a multiple of 9?
True
Suppose 0 = -2*n + 2*d + 4248, d = 230*n - 226*n - 8487. Is 3 a factor of n?
True
Suppose 64*j = 62*j + 596. Let v = -138 + j. Does 10 divide v?
True
Suppose -5*u + 12711 = -2*s, 0 = -7*u + 12*u - s - 12718. Is u a multiple of 17?
False
Let w(l) = -2*l - 9. Let q(c) = c - 1. Let a(j) = q(j) + w(j). Let u be -1 - 10 - (-30)/(-135)*18. Is a(u) a multiple of 3?
False
Let c(p) = -534*p + 3990. Is c(5) a multiple of 24?
True
Let q(j) = 24 - 6*j + 2*j + 5*j. Let h be q(-11). Suppose -5*i = 3*n - h - 7, -i = 4*n - 21. Is n a multiple of 5?
True
Let b = 33 + -10. Let u = -26 - -103. Let l = u + b. Is 25 a factor of l?
True
Suppose -11856 - 354 = -6*a. Suppose -16*l - a + 6531 = 0. Does 19 divide l?
False
Suppose 9*c = 3*c + 102. Suppose c*j = 15*j - 10. Does 22 divide 167 + (-3 - j)/(-2)?
False
Let c = 17023 + -9583. Does 62 divide c?
True
Let t be (3/(-3) - -1)/(-2) - -9. Let d = t + -49. Let v = d - -142. Is 17 a factor of v?
True
Suppose 3*x - b - 64 = 7*x, -4*x - 64 = -4*b. Let p be 0*(-2 - 36/x). Suppose p*i - 4*n = -5*i + 226, -4*n = 3*i - 142. Is 23 a factor of i?
True
Is 122 a factor of 1 + 69447/(-140)*5*(-8)/6?
False
Let k = -20 - -17. Let x be (-28)/(-21) - 2/k. Suppose 7*f - 330 = x*f. Does 8 divide f?
False
Let f(c) = 31*c + 36. Let l be f(-1). Suppose l*q - 198 = 2602. Is q a multiple of 14?
True
Suppose 0 = 3*v + 7*v - 22000. Suppose 7*l - 17*l - v = 0. Let d = l - -353. Does 10 divide d?
False
Let h(y) = -13*y + 5. Suppose p + 4*z + 10 = -8, 4*p + 7 = -3*z. Let i(d) = -6*d + 2. Let b(k) = p*h(k) - 5*i(k). Does 8 divide b(10)?
True
Suppose 3*f - 5*s - 2265 = -f, -f = -2*s - 570. Does 15 divide f?
False
Let a(h) = -h**2 + 8*h - 8. Let w(b) = -b + 15. Let l be w(9). Let z be a(l). Suppose 4*o - 2*s = 32, -2*o + o + z*s - 6 = 0. Does 10 divide o?
True
Suppose 2*z = 4*a - 103210, 45135 = 4*a - 5*z - 58090. Does 344 divide a?
True
Let u be (3/2 + 126/(-108))*573. Let p(j) = -j**3 + 9*j**2 - 5*j + 2. Let k be p(6). Let f = u - k. Does 13 divide f?
False
Suppose 686*m = 38195924 + 16629196. Is m a multiple of 135?
True
Let s(g) = 30*g**2 - g. Let w be s(-1). Suppose -9*b + 437 = -w. Is 7 a factor of b?
False
Suppose -15*t + 56 = -11*t. Suppose 0 = -4*o + 4*f + 72, -47 = -3*o - 4*f - t. Suppose o*h - 13*h = 190. Does 34 divide h?
False
Suppose 12 = -2*i, 10800 = -198*n + 202*n + 4*i. Does 97 divide n?
False
Let m be ((-40)/50)/(-2) - (-8)/5. Does 14 divide (m - 40 - 3)*-14?
True
Let h be (8/12)/((-10)/(-135)). Suppose 32 = -7*l + h*l. Is l a multiple of 3?
False
Let j(n) = 45*n**2 - 190*n + 6. Is 11 a factor of j(16)?
False
Let p be (-72)/20*-1 - 4/(-10). Is 14 a factor of (-46)/p*(-3)/(12/64)?
False
Let l = -132 - -127. Let s be l/((-9624)/(-1924) + -5). Is 1/2 + s/(-26) a multiple of 6?
False
Let r be 2 - (14 + -7 + -7). Suppose -v - b + 174 = b, 3*v - r*b - 530 = 0. Does 16 divide v?
True
Suppose -8060 - 611790 = -80*m - 35*m. Is 10 a factor of m?
True
Suppose 0 = q + 5*g - 19, 0*q = -q - 3*g + 11. Let r(l) = 2*l**3 + 6*l**2 - 4*l - 4. Let s be r(5). Is q/(((-20)/s)/5) a multiple of 9?
False
Let h(c) = -c**3 + 7*c**2 + 9*c + 8. Let t be h(-5). Suppose 0 = 5*r - t - 707. Suppose 3*o - 13 = r. Is o a multiple of 4?
False
Let i be 2 - -1 - (5 + -5 + 3). Suppose i*y + b = 5*y - 785, 146 = y + 2*b. Is y a multiple of 5?
False
Let c(o) = -2626*o**3 + 7*o**2 + 20*o + 24. Is 88 a factor of c(-2)?
False
Is -16 + 10687 - (13/4 - (-4)/(-16)) a multiple of 127?
True
Suppose -14*o - 53680 = -19*o + 5*p, -3*p + 10712 = o. Is o a multiple of 37?
True
Let g(k) = -325*k + 34. Let f be g(-3). Let a = f + -391. Is 73 a factor of a?
False
Suppose -2*y - 10*q + 19684 = -3*q, -4*y + 5*q + 39292 = 0. Is 42 a factor of y?
True
Let c be (868/(-12) + 5)*-9. Let p = 966 - c. Suppose -p = 3*n - 5*n. Does 30 divide n?
True
Suppose 0 = 7*x + x - 96. Let q be (78/(-36))/(-13) - 2/x. Suppose 5*o + q*o - 3*i - 375 = 0, 5*o = 2*i + 370. Is 49 a factor of o?
False
Suppose 5*h = 4*g - 236, 0*g + g - 143 = 3*h. Let w be h/(-216) + (-4)/18. Suppose w = -4*c + 7 + 65. Does 9 divide c?
True
Suppose 265 = 28*x - 71. Suppose 40*z - 439 = 35*z + 4*v, -3*v = -x. Does 6 divide z?
False
Suppose -4459 - 66915 = -254*h. Does 6 divide h?
False
Suppose 12*y - 4*y - 20076 - 4724 = 0. Is 62 a factor of y?
True
Suppose -3*j - 651 = -2*o, o + 592 = -3*j - 50. Let b = -212 - j. Is b a multiple of 2?
False
Suppose -13827 + 85810 - 6398 = 65*i. Is i a multiple of 155?
False
Suppose 224*j - 31772 - 38053 = 77*j. Is 15 a factor of j?
False
Suppose -5*w = -l + 17798, 2*l - 6*l + 3*w + 71209 = 0. Is l a multiple of 19?
True
Let l(v) = 749*v**2 - 25*v - 37. Is l(-2) a multiple of 3?
True
Let g be (-3 + -3)*(462/36)/11. Is (g + (-188)/(-20))/(4/150) a multiple of 30?
True
Let a(o) = -o**3 - 11*o**2 - 9*o + 10. Let k be a(-10). Suppose -2*i + 8*i - 660 = k. Suppose 3*s - 25 = i. Does 7 divide s?
False
Let p = 93 - 89. Suppose p*a + 4*w = -0*a + 1816, 933 = 2*a - 3*w. Is 17 a factor of a?
True
Let z be (20/30)/((-2)/(-9)). Suppose -5*n = z*a - 345, -5*a - 4*n = -9*n - 535. Suppose -q + 321 = 2*b, -b + 2*q + 48 = -a. Doe