**3 - 3*h**3. Is 2 a factor of u(-2)?
False
Suppose 15*s + 24 - 69 = 0. Suppose -2*l = -4*o - 1960, -s*l + 5*o + 615 = -2329. Is l a multiple of 76?
True
Let x = 10961 + -6249. Does 31 divide x?
True
Let s be 2/(-4) - 2/4. Let d(w) = -2 - 10*w**3 + 2*w**2 - 159*w**3 - w + w**3. Is 13 a factor of d(s)?
True
Suppose 8*a = 4*a + 56. Let v(p) = 25*p + 13. Is 14 a factor of v(a)?
False
Let l(w) = -15*w + 306. Let z be l(20). Suppose z*a - 7679 = -449. Is 22 a factor of a?
False
Suppose -d - 4*a = 37, -4*d - 208 = -5*a + 6*a. Let b = d - -57. Does 2 divide b*(-16)/(-12) + 4/6?
True
Let w(v) = v**3 - 5*v**2 - 3*v - 9. Let x be w(6). Let c = x + 123. Is 33 a factor of c?
True
Is (410 - (-45)/5) + (-12)/10*-5 a multiple of 45?
False
Let h(z) = z**2 - 4*z - 5. Let i be h(-2). Let o be i + -6 + -2 + (-2)/(-2). Suppose 22*p - 19*p - 264 = o. Is p a multiple of 22?
True
Suppose 4*u - 489 - 3002 - 1669 = 0. Does 35 divide u?
False
Suppose -4*k - 2*a + 27526 = 0, 964*k + 5*a - 27505 = 960*k. Is 7 a factor of k?
False
Suppose -j = 5*u + 28, 0*u - 144 = 3*j - 5*u. Let x = 40 + j. Is 20 a factor of (-32)/3*((-180)/(-8))/x?
True
Suppose 27*w = 4447 + 95912. Suppose -3*t - 2235 = -6*t - 3*d, -w = -5*t - 3*d. Is t a multiple of 13?
True
Suppose -124*r - 687834 + 812517 = -1537537. Is 7 a factor of r?
True
Let f(r) = 2*r - 14*r - 5 - 9 + r**2 + 6*r. Is f(-5) even?
False
Suppose 0 = -5*x + 15, 0 = -q - 2*q + 4*x + 5706. Is 10 a factor of q?
False
Let h = -9 + 5. Let g(u) be the first derivative of -4*u**2 + 4*u - 965. Is 4 a factor of g(h)?
True
Suppose 5*d + 167 = 5*t - 313, -t + 488 = -5*d. Let c = d + 624. Is c a multiple of 12?
False
Let h = 64 + -66. Let b(f) = -64*f - 7. Let x be b(h). Let p = -88 + x. Is p a multiple of 3?
True
Suppose -f - 1 = -3*u + 55, -24 = -u - f. Let p(c) = c**2 - 5*c - 8. Let i be p(6). Does 11 divide u/(-30) + (447/9 - i)?
False
Let u = 5383 - 4123. Does 7 divide u?
True
Is (-28134)/(-3)*(9 - (-51)/(-6)) a multiple of 9?
True
Let n(h) = 7*h + 30. Let a be n(0). Let k = 35 - a. Suppose -2*d - 4*p = -0*p - 456, -4*d - k*p + 912 = 0. Is 12 a factor of d?
True
Let i be 220/(-33)*3/(-2). Let a = i - 3. Suppose -5*t + a*m + 374 = 3*m, -5*t + m = -386. Is t a multiple of 39?
True
Suppose 0 = -6*w - 3*w + 36. Suppose -3*d + 44 = 4*c, 2*c = -w*d + 2*d + 32. Is d even?
True
Let a(x) = 4*x**2 - x - 15. Let v be a(10). Let o be 12 + -12 - (-4 - 0). Suppose 0 = -5*p + 4*j + j + v, -o*p - 4*j = -316. Is 8 a factor of p?
False
Let y(i) = 175*i**2 - 14*i + 18. Let b be y(4). Suppose 710 - b = -6*f. Is f a multiple of 9?
True
Suppose 66 = 4*u + 22. Suppose p = u*p - 1020. Is p a multiple of 17?
True
Let c(r) = -38*r + 23. Let i be c(-7). Let b = i - 135. Does 7 divide b?
True
Let l(n) = 5*n**2 + 81*n + 13. Let h be l(-16). Does 28 divide (h/(-5))/(-3) - 5604/(-20)?
True
Let x be 10 + (-4 - -4 - 4). Suppose -j - 55 = -x*j + 5*w, -29 = -3*j + w. Does 20 divide j/3 - (-56 + 5)?
False
Suppose 5*a - 89 = -19. Suppose -165 = a*y - 529. Suppose d = -d + y. Does 8 divide d?
False
Let d(u) = -216*u**3 + 2*u**2 + 3*u + 1. Suppose 8*y + 5*o + 9 = 4*y, 2*y = -2*o - 4. Is 12 a factor of d(y)?
True
Suppose 0 = 13*k - 52853 - 168272 + 1633. Does 63 divide k?
True
Let z(j) = 3*j + 1. Let a be z(4). Let r(t) = -2 + 2570*t**3 - 2569*t**3 - 14*t - 11*t**2 + 0. Is 22 a factor of r(a)?
True
Let m be (-12)/(-6 - (0 - 4)). Suppose -14 = -m*v + 10. Suppose -4*b + 0*q + 41 = 3*q, 5*b - 50 = -v*q. Is b a multiple of 3?
False
Let l be (52/(-156))/(-1 - 8/(-6)). Does 8 divide l/(-7) + -2685*(-3)/63?
True
Let b(u) be the third derivative of -8*u**2 + 0 + 0*u + 43/24*u**4 - 4/3*u**3. Does 23 divide b(5)?
True
Suppose -25*q + 21*q + 5974 = 2*l, 0 = 2*l - 2*q - 6004. Is l a multiple of 81?
True
Does 79 divide 1078/126 + (-24)/(-54) + 11*3169?
False
Suppose -61110 = -12*n + 7*n + x, 4*n - 5*x = 48888. Is n a multiple of 36?
False
Let v(x) = x - 1. Let u be v(-5). Let h = u + 9. Suppose -h*o - 62 = -161. Is o a multiple of 3?
True
Suppose 0 = -2*m - y + 1246, 4*m + y - 6*y - 2464 = 0. Suppose m*s = 620*s + 137. Does 10 divide s?
False
Let u be 4/26 + (-9305)/65 + -2. Let y = u - 40. Let d = 438 + y. Does 43 divide d?
False
Let m = -575 - -571. Does 6 divide 431 + ((m - 0) + -1)*1?
True
Suppose -12 = 4*z - 28. Suppose -173 = -2*i + h, 0 = z*i - 3*h - 294 - 51. Is i a multiple of 13?
False
Does 9 divide 24 + -19 + 5463 - -19?
False
Suppose -132*t + 411*t = 18289507 - 3529570. Does 65 divide t?
False
Let p = 21443 - 3383. Is p a multiple of 258?
True
Let q(i) = 7*i**2 + 12*i + 38. Let z be q(-3). Suppose -z = -o - 33. Is 3 a factor of o?
False
Let z = 26433 - 15056. Suppose 0 = -74*j + 105*j - z. Is j a multiple of 17?
False
Let y be 6 - (-1127)/(-4 + 11). Suppose 2*q - y = -r + 354, 2*r - 2*q - 1066 = 0. Does 24 divide r?
False
Does 23 divide 6 + 88/(-66) + 8/6 + 1941?
False
Suppose -2*s = a - 209, 4*a + 2*s - 163 = 643. Suppose -b = -3*z + a, b + 64 = z + 3*b. Is z a multiple of 3?
True
Let d(z) = 184*z - 9. Let m be d(2). Let b = m + -23. Let y = b - 232. Is 26 a factor of y?
True
Suppose 141*i - 64*i - 2110190 = -101*i. Is i a multiple of 168?
False
Let z(l) = 2*l**3 - 2*l**2 - 18*l + 45. Let j(u) = -4*u**3 + 2*u**2 + 37*u - 90. Let s(x) = 6*j(x) + 13*z(x). Is s(10) a multiple of 75?
True
Is (1158/(-9) + 10)*-3*9 a multiple of 36?
True
Let b = -7203 + 15166. Is b a multiple of 2?
False
Let v = 30968 + -7902. Does 19 divide v?
True
Let x(h) = 2*h**2 + 3*h + 20. Suppose 33 = -8*f + 97. Does 10 divide x(f)?
False
Suppose 0 = -54*l - 17358 + 201267 + 3795. Is l a multiple of 4?
True
Let u = -4058 - -4602. Is u a multiple of 16?
True
Suppose 252058 - 245815 = 37*u - 386475. Is 183 a factor of u?
True
Is 109 a factor of -988*((-1157)/52 - 5)?
True
Let v(n) = -n - 24. Let y be v(-21). Does 14 divide 5 + (-7)/(-1) + y + 159?
True
Let r(a) = a**3 + a**2 + 7*a - 5. Let i be r(-5). Let c = 788 + i. Is 30 a factor of c?
False
Suppose 24096 = 141*y - 125*y. Is 6 a factor of y?
True
Let t = -428 + 431. Suppose 2*j - 1038 = 3*c, -6*j - t*c = -4*j - 1062. Does 15 divide j?
True
Let t(j) = j**2 - 11*j - 22. Let w be t(9). Let q = w + 79. Is q a multiple of 29?
False
Let i be (-8)/12 + 17/3 - 3. Suppose i*x = k - 297 - 119, -x - 844 = -2*k. Is 25 a factor of k?
False
Suppose 6*o + d + 8201 = 10*o, 0 = -2*o + 5*d + 4105. Is 28 a factor of o?
False
Suppose 3*u = -u + 4*r + 1516, -5*u - 4*r + 1913 = 0. Suppose 5*o - 2099 = -3*b, -3*b + 5*o + u = -1768. Is b a multiple of 59?
True
Suppose 95*w - 33*w - 91264 = 0. Does 3 divide w?
False
Let i = -1951 + 2163. Is i a multiple of 4?
True
Let y(o) = 10*o - 24. Let w be y(3). Let k be 19442/5 - w/15. Suppose 8*p - k = -8*p. Is p a multiple of 31?
False
Let b be 7 - (-308)/(-8)*-42. Suppose -14*x = -4060 - b. Is 9 a factor of x?
False
Let a = 47312 + -22580. Is a a multiple of 12?
True
Let t = -20 + 11. Let u be (4/6)/((-2)/t). Suppose u*r - 2*x - 65 = 0, -5*x - 58 = r - 3*r. Does 3 divide r?
False
Suppose -b - 4*b + o = -17, 4*b - 18 = 3*o. Let r be (-6)/12*(-12)/b. Is 21 a factor of r + (-415)/(-7) + 30/(-105)?
False
Let a(m) = 9*m**2 + m + 13. Suppose 0 = 3*p + 22 - 13. Let d be (-7 - (2 + -1))*p/6. Is 21 a factor of a(d)?
False
Suppose 0 = 2*q - 28 + 36, 36369 = 5*f - q. Is f a multiple of 11?
False
Let u(f) = -2702*f**3 - 33*f - 32. Is u(-1) a multiple of 51?
True
Suppose -31*x + 800 = 2*r - 33*x, -6*x + 1956 = 5*r. Does 5 divide r?
False
Suppose 3*k - 3*r - 10113 = 0, 24*r - 22*r = -2. Is k a multiple of 30?
False
Suppose 0 = 4*c - 24. Suppose 2*q + 0*h + c = -2*h, -3*q = -4*h - 26. Suppose 0 = -4*z + 50 + q. Is 13 a factor of z?
True
Suppose -2*w + 5*i = -8207, 5*w = -2*i - 11244 + 31718. Is 16 a factor of w?
True
Suppose -5*d + 524 = 3*n + 1855, 0 = 4*d + 2*n + 1064. Let j = 492 + d. Does 9 divide j?
False
Suppose -4*x + 262 = 6*c - c, 2*c = 2*x + 112. Suppose -c = 36*s - 42*s. Is s a multiple of 6?
False
Let p(d) = 15*d**2 - 11*d - 34. Let h(i) = 18*i**2 - 12*i - 34. Let l(a) = -4*h(a) + 5*p(a). Is 12 a factor of l(10)?
False
Suppose 29*b - 19*b = 0. Suppose 2*v + 11 - 7 = b. Let l(t) = 37*t**2 + 7*t + 5. Is l(v) a multiple of 30?
False
Let v = -7 - -8. Let b be ((-12285)/10)/(-9) + v/(-2). Let j = 228 - b. Is j a multiple of 23?
True
Suppose 23100