(-34). Suppose 2*g = -4*z + 270 + h, 4*z - 3*g - 583 = 0. Does 28 divide z?
False
Let q(u) = -u**3 - 22*u**2 - 24*u - 64. Let w be q(-21). Does 10 divide (-33999)/(-189) - (0 + w/9)?
True
Let v(w) = -2*w + 14. Let z be v(6). Let j be 40/(-22) + z - 218/(-11). Suppose 68*p - j = 67*p. Is p a multiple of 4?
True
Let t = -15 - -20. Suppose 2*x - 101 = 3*g + 332, 0 = t*g - 25. Suppose -3*l + x = -l. Does 17 divide l?
False
Does 61 divide (-3*3/(-9))/(-17 + 105780/6222)?
True
Suppose 3*l + 0 - 8 = 2*y, 12 = 3*l. Suppose 4*b - y*x = -7*x - 21, -3*x - 15 = 0. Is b/4 + 3756/16 a multiple of 47?
True
Let s = 1568 - -1408. Is s a multiple of 6?
True
Does 118 divide 209/95 + (-216139)/(-55)?
False
Let b(t) = 9*t**2 + 33*t + 648. Is 20 a factor of b(-28)?
True
Let r be ((6/4)/(-1))/(90/(-240)). Suppose r*o - 42 = 414. Let p = o + -10. Does 28 divide p?
False
Suppose s + 10*q = 5*q + 19, 14 = 2*s + 4*q. Does 52 divide s/(-1)*(386 + -39)?
False
Suppose -b - 21 = -2*h, 34*b = -3*h + 37*b + 39. Is h a multiple of 8?
True
Let b = -67 - -72. Let n = -261 + 771. Does 9 divide n/8 + ((-60)/16)/b?
True
Suppose 2*h = -4, -4*h + 5 = -4*t + 29. Suppose 0*s + 2*s = -5*f + 3489, 0 = -4*s + t*f + 7020. Suppose 333 = 15*v - s. Is 10 a factor of v?
False
Suppose 4*i = -5*j + i - 50, i - 57 = 4*j. Let n(g) = g**3 + 14*g**2 - 24*g - 7. Does 20 divide n(j)?
False
Suppose 4*x = -4*w + 36, -5*x + 4 + 14 = -4*w. Let g = -335 - -527. Suppose -4*u + x*u = g. Does 12 divide u?
True
Let r(v) = -11*v**2 - 15 + v**2 + 2*v**2 - 14*v + 0*v**2. Let z be r(-7). Let c = -186 - z. Is c a multiple of 41?
True
Suppose 0 = -d + 130 - 109. Suppose 2572 + 2342 = d*s. Is s a multiple of 21?
False
Suppose 1912220 = 719*q + 22168 - 850776. Does 3 divide q?
False
Let y be 105/33 + 4/(-22). Suppose 18 = 3*o + y*s, o - s - 10 = -2*o. Suppose 4*f = u + 172, -2*u + o*u = 3*f - 124. Is f a multiple of 22?
True
Let h(x) = -3526*x - 866. Is h(-5) a multiple of 14?
False
Let s(p) = p**2 + p - 24. Let l be (-84)/(-2)*(-3 - 20/(-6)). Let w = l + -6. Is s(w) a multiple of 10?
False
Let x = -17989 + 18282. Does 2 divide x?
False
Suppose 5*s + f = 21055, 0 = 5*s + 61*f - 65*f - 21055. Does 54 divide s?
False
Suppose -4*y + 55 - 47 = 0. Suppose n + d - 173 = 0, -531 = -3*n - y*d + 3*d. Suppose -671 = -3*w - n. Is 15 a factor of w?
True
Let z be (-466)/14 - 18/(-63). Let g be 21/(-2)*8/3. Let u = g - z. Is u even?
False
Is 1231960/112 + 4/(-8) - 2/14 a multiple of 173?
False
Suppose 2*q - g - 15 = 4*g, -g - 3 = q. Is 337 - ((q - 1) + 5) a multiple of 37?
True
Let s = -3970 - -5485. Is s a multiple of 9?
False
Let i be -2 + 2/(-2) + 3. Suppose i*u = 10*u. Suppose -6*b + 30 = g - b, 5*g + 5*b - 190 = u. Is g a multiple of 20?
True
Let v = -16 + 21. Suppose 9*d - v*d + 44 = 0. Does 22 divide 11/d - (-67)/1?
True
Suppose -2*p + 3*x + 3 = -6, -4*x + 56 = 3*p. Let g = -4 + p. Suppose -r = -45 + g. Is r a multiple of 3?
False
Is (-130728)/(-39) - (-3 + 1/(-2)*-2) a multiple of 39?
True
Let b(p) be the second derivative of -p**5/20 - p**4/2 + p**3/6 + 2*p**2 + 7*p. Let s be b(-6). Does 20 divide s - (-1288)/21 - (-2)/3?
True
Suppose 2*r - 128 = -530. Does 34 divide 80 - 76 - (1 + r - 0)?
True
Suppose 3 + 1 = 2*f, f - 14258 = -2*z. Suppose -4*m + 22*m = z. Does 36 divide m?
True
Let m = 114 - 121. Is (m/(-21) - (-628)/(-3))/(-1) a multiple of 9?
False
Let z(d) = 4*d**2 + 7*d + 2. Let t be z(5). Let o = t + 53. Does 25 divide o?
False
Suppose 79*v + 41188 = 2*c + 83*v, -2*v + 61778 = 3*c. Is 144 a factor of c?
True
Let j = -139 - -148. Suppose j*c = 531 - 117. Is 13 a factor of c?
False
Is 42 a factor of 4702 + (-3 + 1)*2/8*-4?
True
Suppose 2*d = 4*s + 10736, -4*d = 231*s - 235*s - 21488. Does 6 divide d?
True
Let a(q) = -q**2 + 10*q - 3. Let j be a(10). Let p be j/(-1) - (-1 - 0). Suppose -6*z + z = v - 60, 0 = p*v. Is z a multiple of 6?
True
Let g(o) = -14*o + 3. Suppose 2*f + 4*k = 3*f - 36, 0 = -f - 2*k + 24. Suppose 69*q - f = 71*q. Is g(q) a multiple of 34?
False
Let w(f) = -11 - 19 - 24 + 36*f**2 - 13 + 4*f + 29. Does 14 divide w(5)?
True
Is (-9 - 1151)*10/(-25) a multiple of 116?
True
Suppose 3*a - 4092 = -3*u, 5*u + 4*a - 6822 = -0*u. Let x = u + -871. Does 33 divide x?
True
Suppose -12 = -j - 5*z, 0 - 4 = -4*z. Suppose 0 = -0*p + p + j. Does 15 divide 0 + 78 + p/21*9?
True
Let n(q) be the second derivative of 3*q**5/2 + q**4/2 - 7*q**3/6 - q**2/2 - 181*q. Does 13 divide n(2)?
False
Let r(y) be the second derivative of 23*y**3/6 - 5*y**2/2 + 15*y. Let z be r(7). Is 6/(-21) - z/(-7) a multiple of 11?
True
Let b(g) be the first derivative of g**3/3 + 3*g**2 - 5*g + 4. Let x be b(-7). Is 16 a factor of 1 + x + -4 + 65?
True
Is (-10*4)/(882/(-14112)) a multiple of 80?
True
Let q be 7 + (0 - -2) - (5 - 0). Does 41 divide (-184)/(q*2/(-16))?
False
Suppose 2*k + 0 = 3*m + 12, 0 = -2*k + 2*m + 10. Suppose 0 = q + 4*n + 89, -k*q + 0*n - 5*n - 260 = 0. Does 17 divide (-21)/(((-90)/q)/(-6))?
True
Let u(d) be the third derivative of -d**4/24 - d**3/6 - 8*d**2. Let x be u(1). Is 12 a factor of 1/(x/72)*10/(-8)?
False
Suppose 9*t + 3*a = 6*t + 18, -2*a - 3 = -3*t. Let y be 8 + t*5/(-5). Suppose 4*f - 40 = 4*c, -2*c - 59 = -y*f - 6*c. Does 4 divide f?
False
Suppose -209 = -2*l + 5*m, -3*m - 2*m + 25 = 0. Suppose 8*b - 12*b - 264 = 0. Let t = b + l. Is 17 a factor of t?
True
Let r(b) = -b**3 - 40*b**2 - 190*b + 168. Is 2 a factor of r(-35)?
False
Let v = -24498 - -42973. Is v a multiple of 25?
True
Let z = -82 + 71. Let a be z/((-33)/18) + 1 + -3. Does 31 divide (-310)/(((-20)/15)/(a/6))?
True
Suppose -43*f - 108 = -7*f. Suppose 118 = 4*s + 2*y, s + 2*y - 90 = -2*s. Let u = f + s. Does 3 divide u?
False
Let p(y) be the third derivative of 0*y + 13/24*y**4 + 4*y**3 + 0 - 20*y**2. Is p(11) a multiple of 42?
False
Suppose -9*j = -11*j + 164. Is 64 a factor of 64*1*943/j?
False
Let a = 70 - 66. Suppose 0*n - 5*k + 5 = 2*n, -5*n + 21 = a*k. Suppose n*o - o + 2*x - 190 = 0, 2*o - 83 = 3*x. Is 23 a factor of o?
True
Let q(o) = -7*o + 5. Let f(c) = -22 + 5*c**3 + 10 + 0*c**3 - 21*c - 4*c**3 + 8*c**2. Let i be f(-10). Is 7 a factor of q(i)?
False
Suppose -3*q + 17364 = 3*r, 2*q - 14 = -30. Is r a multiple of 13?
False
Let k(z) be the second derivative of z**4/4 - 13*z**3/3 - 7*z**2/2 - 153*z. Does 23 divide k(11)?
False
Let l = 88 + -57. Let x = l + -31. Suppose 123 = -x*u + 3*u. Does 41 divide u?
True
Let n = -806 + 427. Let w = n + 589. Does 42 divide w?
True
Suppose -21*w - 4*g = -26*w - 9525, -4*w + 3*g - 7619 = 0. Let b = -1217 - w. Is 12 a factor of b?
True
Suppose -2*y = -633 - 547. Suppose -500 = 588*r - y*r. Is 50 a factor of r?
True
Suppose 13*r = 17*r - 196. Suppose 10 = -n + r. Let o = 67 - n. Is o a multiple of 4?
True
Let k be 218/8 - (3/12 + 0). Suppose 5 = -26*b + k*b. Suppose -b*h + 2*h + 24 = 0. Is h a multiple of 4?
True
Suppose 14*z + 10*z = 48. Suppose -z*y + 1272 = r, -r - 603 = -y + 33. Does 82 divide y?
False
Let m(f) = -f**3 + 7*f**2 - 5*f - 12. Suppose w + 3 = -s + 4*w, w = -5*s + 33. Let i be m(s). Let n = i - -21. Is 3 a factor of n?
True
Suppose 0 = 108*m - 74*m - 68. Let n(o) = -o**3 + 5*o**2 + 13*o + 3. Let r be n(-9). Suppose 4*j + r = 5*b, -3*b + 652 = -m*j + 42. Does 40 divide b?
True
Let g = -34 + 35. Let q be (8/12)/(g/6). Suppose 2*w - 54 = q*t - 3*t, 5*t = 0. Does 3 divide w?
True
Suppose 5*y - 370 - 218 = -2*u, 5*u - 20 = 0. Let v = y + 637. Is v a multiple of 14?
False
Let h(p) = 24*p - 58. Let u be h(-16). Let x = u + 1450. Is 12 a factor of x?
True
Suppose n - 1037 = -4*s, 3*n = 12*s - 8*s - 1017. Suppose 13*i - 15*i + s = 0. Is 5 a factor of i?
False
Let g = 41 - 41. Suppose 7*t - 21 = -g*t. Suppose t*p - 330 = -2*p. Is 31 a factor of p?
False
Suppose 0 = 2*a + 78 + 2. Let k = a - -56. Suppose k = -4*w, -3*m - w + 126 + 374 = 0. Does 28 divide m?
True
Let u(x) = -2843*x**3 - 2*x**2 - x. Is u(-1) a multiple of 26?
False
Suppose 35*p - 40*p - 1530 = 0. Is 21 a factor of (60/(-90))/(1/p)?
False
Suppose 5*i + 239115 = 5*o, -3*o + 41*i - 44*i = -143523. Is o a multiple of 313?
False
Let g = -14655 - -19407. Does 33 divide g?
True
Let f be 0 - (1 + 1) - -17. Suppose -6 = 2*u, 4*c + 29*u + 12 = 25*u. Suppose c = -20*b + f*b + 150. Is 15 a factor of b?
True
Suppose -77562 = -4*a - 21802. Is 68 a fac