se -j*o = 2*q - 366, -2*o - 4*q = -t + 71. Is 14 a factor of o?
False
Suppose -7615*u + 7617*u - 3138 = 0. Is 23 a factor of u?
False
Let s(z) = -3*z**2 + 18*z - 10. Let w be (30/(-12))/((-2)/4). Let o be s(w). Suppose o*f - 150 = -i, -3*i + 2*f + 450 = -0*i. Does 10 divide i?
True
Suppose 30*w - 4*w - 425898 = -7*w. Is w a multiple of 56?
False
Suppose 51*f = 9*f - 10752. Let a = 1444 + f. Is a a multiple of 27?
True
Let q = -438 - -493. Suppose -3585 = -5*y + 2*x - q, -y = 2*x - 694. Is 64 a factor of y?
True
Let y = -14004 - -20988. Is 24 a factor of y?
True
Let s(t) = 189*t - 3. Let b be s(2). Suppose 311*w + 326*w + 90 = 655*w. Suppose -w*f + b = 5*o, 146 = -o + 3*o + f. Does 6 divide o?
False
Let n = -17 - -207. Suppose -n = -t - 37. Suppose -t = -8*r + 79. Is r a multiple of 2?
False
Let c = -67 - -28. Let o = 15 - c. Suppose -3*d + 0*d + o = 0. Is 6 a factor of d?
True
Suppose -54*f - 70*f + 203236 = 0. Does 21 divide f?
False
Let m = 500 + -503. Let u(v) = -6*v**3 - 8*v**2 - 2*v + 9. Is 21 a factor of u(m)?
True
Suppose 0 = 2*q + 4*r + 116, 4*q + 2*r + 37 = -213. Let u be (60/16)/((-12)/q). Is 2 a factor of -1*4*1*(-55)/u?
False
Let d = 5688 + -3091. Does 7 divide d?
True
Suppose 8*q = s - 11271, 3*s - 5*q - 3234 - 30446 = 0. Is s a multiple of 12?
False
Let i(m) be the second derivative of -m**3/6 + 27*m**2/2 - 188*m. Let c(u) = -13*u + 1. Let r be c(1). Is i(r) a multiple of 12?
False
Suppose 0*v = -3*v + 6. Let j = -344 - -352. Suppose 0 = -j*i - v*i + 1430. Is i a multiple of 13?
True
Let h(t) = -3*t**2 - 7*t + 5. Let n be h(-4). Let x = 35 + n. Does 6 divide x?
False
Let z = 58 - 41. Suppose z*h - 42 = 16*h. Suppose -5*y + h = -63. Is y a multiple of 6?
False
Let i(w) = -6*w - 20. Let s be i(-4). Is 13 a factor of -1 - ((-40 - s) + -1)?
False
Let h = -4915 + 13859. Does 26 divide h?
True
Suppose -5*t - 3160 = -q, t + 26 = 34. Is q a multiple of 109?
False
Suppose 15*j - 31 - 44 = 0. Suppose 2*r + 4*m + 892 = j*r, -590 = -2*r + 5*m. Is r a multiple of 60?
True
Suppose -15*v + 19*v - 10120 = 0. Is 109 a factor of v?
False
Let s(o) = -11*o**3 - 37*o**2 - 52*o - 39. Let y(q) = -4*q**3 - 12*q**2 - 17*q - 13. Let p(k) = -6*s(k) + 17*y(k). Is 3 a factor of p(10)?
False
Let h(l) = -309*l + 1379. Is h(-7) a multiple of 14?
True
Let s(u) = -u**3 + 3*u**2 + 5*u + 25. Let f be s(5). Suppose 2*g + 120 = -f*y + y, -579 = -5*y + 3*g. Does 15 divide y?
False
Let s = -62 - -90. Suppose -2*m + 42 = -s. Is m a multiple of 7?
True
Suppose -83*g + 78*g = -q - 3529, -4*g = -4*q - 2836. Is g a multiple of 5?
True
Let f(d) = -219*d**3 + d**2 + 12*d + 19. Let n be f(-2). Suppose -11*o + 1945 = -n. Is 42 a factor of o?
True
Let u(c) = c**3 + 26*c**2 + 24*c - 20. Let n be u(-25). Let g = -53 + 60. Suppose -z - 165 = -g*v + 2*v, n*z + 25 = 0. Is v a multiple of 6?
False
Let r(p) = p**3 + 14*p**2 - p + 17. Suppose 201 = 5*v - 319. Let m be 180/(-13) - 16/v. Does 11 divide r(m)?
False
Let i = 528 + -1683. Let j = i - -1784. Does 37 divide j?
True
Let w(o) = -o**3 + 8*o**2 - 1. Let r be w(8). Let k(d) = -52*d + 31. Let b(v) = -78*v + 44. Let y(h) = 5*b(h) - 7*k(h). Does 2 divide y(r)?
False
Suppose 5*b - 1872 = 6928. Suppose -19*y + 23*y + 2*t - b = 0, 4*t - 426 = -y. Does 7 divide y?
False
Suppose -14*l = -5*y - 11*l + 1754, 2*l = 2*y - 704. Suppose 0 = -3*s - 2*s + 25. Suppose y = s*j - 386. Is 39 a factor of j?
False
Let l = 345 + -147. Let y be 36/l + (-106)/(-22). Suppose -o = -5*x + 20, y*x - 2*x - 4*o + 5 = 0. Is x a multiple of 4?
False
Let x = 18932 + -6293. Is x a multiple of 101?
False
Let g = 10 + 20. Let o be -5*(6/(-4) - (-27)/g). Suppose -2*u + 180 = 2*v, -o*u = -u - 5*v - 180. Is 18 a factor of u?
True
Suppose 44*m = 77*m - 84*m + 1773270. Is 61 a factor of m?
True
Suppose 0 = 14*g - 12*g - 10. Suppose g*r - 10*r - 75 = 0. Let a = r + 117. Does 15 divide a?
False
Let o(s) = -11*s + 1. Let d be o(-1). Suppose -2*r - 14*v + 26 = -10*v, -29 = -3*r - 4*v. Let z = d + r. Does 12 divide z?
False
Suppose -v - 160 = -3*o, v = -v - 2*o - 328. Let h = v + 184. Is 14 a factor of h?
False
Suppose r + 29 = -5*n, 3*n - 4*n - 29 = r. Let y(s) = -s**2 - 29*s + 34. Is 17 a factor of y(r)?
True
Let p be (-6)/(-9) - 3855/(-9). Let s = p + -217. Does 15 divide s?
False
Suppose 4*l - 3*w - 1021 = 0, -l + 3*w + 238 = 8*w. Let z = l + -19. Is 9 a factor of z?
True
Let k(d) be the second derivative of -d**3/3 + 73*d**2/2 - 2*d - 20. Does 4 divide k(17)?
False
Let q(h) = -10*h**2 + h + 23. Let v be q(-5). Let u be (-1 + -1495)/4 - 1. Let g = v - u. Is 13 a factor of g?
True
Let i be (-3 - -3)/(1 - 4). Suppose 8*m + 480 - 1344 = i. Does 28 divide m?
False
Let k be (12/10)/((567/(-70))/27). Does 40 divide -500*k*(-12)/(-40)?
True
Let g(m) = 6*m - 8. Suppose 3*l - 12 = 0, 0 = -3*s + 3*l + 2*l + 22. Is 8 a factor of g(s)?
False
Let x(t) = -50*t + 522. Let a be (5 + -5)/1 + 0. Is x(a) a multiple of 6?
True
Suppose 5*j - 12 = -y + 2*j, -5*y - 4*j + 49 = 0. Let h(z) = -2 + y + 2*z**2 + 3*z + 4*z + 3. Is h(-4) a multiple of 4?
False
Let o be (2/(-4) + 2)/((-9)/(-12)). Does 11 divide -2 + 149 - (4 + o)?
False
Suppose 0 = g + 5*q - 31 + 10, 5*g = -3*q + 17. Suppose g = -t + 5*x, 3*t = 6*x - x - 13. Does 12 divide 3/((t/2)/(-3)) + 66?
False
Let n(b) be the third derivative of 7*b**4/4 + 37*b**3/2 + 9*b**2. Is n(5) a multiple of 71?
False
Let l(s) = s - 1. Suppose -4*u + 27 = 3. Let k be l(u). Suppose 111 = -2*b + k*b. Does 7 divide b?
False
Let d(m) = 91*m**2 + 4*m - 27*m**3 - 26*m**2 - 63*m**2 - 2*m. Suppose 3 = 4*u + 7. Does 5 divide d(u)?
False
Suppose -4*y - 616 = -2*m - 6*y, -m + 5*y + 296 = 0. Let h = -131 + m. Is 56 a factor of h?
False
Let x(r) = -2*r**3 + 22*r**2 + 4*r - 4. Let b be x(11). Is b/3*-12*(-12)/5 a multiple of 24?
True
Let l = -31 - -207. Suppose 5*r - l = 3*r. Is 8 a factor of r?
True
Suppose 8*o + 39*o - 6024109 = -44*o. Does 343 divide o?
True
Suppose 0 = 36*s - 1835893 + 385345. Does 99 divide s?
True
Suppose 6*d = 38 - 86. Suppose -o + 8 = o + 5*f, -3*o = -2*f - 12. Is 34 a factor of ((-34)/d)/(o - 1435/360)?
True
Let d(j) = 310*j + 24. Let w(b) = 155*b + 14. Let i(f) = 4*d(f) - 9*w(f). Does 74 divide i(-4)?
False
Let m(c) = 2*c**2 + 9*c - 44. Let f(v) = v**2 + 11*v + 3. Let x be f(-16). Let s = 70 - x. Is 35 a factor of m(s)?
False
Suppose 2*u - 97 = -73. Is u a multiple of 2?
True
Suppose 46*b - 60*b + 116704 = 0. Is 8 a factor of b?
True
Let h be (2 + -7 - 2)*11. Let u = 80 + h. Is 140*(u + (-45)/21*1) a multiple of 20?
True
Suppose 7 = 4*q - 101. Suppose 0 = 5*p, 4*n + 52*p - 48*p = 536. Let u = n + q. Is 12 a factor of u?
False
Suppose 30*p + 330063 - 1298673 = 0. Does 152 divide p?
False
Let b = 9794 + 11530. Does 12 divide b?
True
Let q = -62 + 65. Suppose -4*r = 5*v - 54, q*r - v = 30 + 1. Is 4 a factor of r?
False
Let j = -24927 - -50953. Does 13 divide j?
True
Suppose -15*s + 20*s = -5*f + 330710, 2*s - 9*f = 132306. Is s a multiple of 12?
True
Let x = -15438 - -31112. Does 63 divide x?
False
Let l(p) = p**3 - 2*p**2 + 5*p - 2. Let b be l(1). Suppose -4*g + 879 = -q, -6*q = -8*q + b. Is 44 a factor of g?
True
Let m(b) = 150*b**2 - 4*b - 119. Does 61 divide m(-7)?
True
Let t(h) = 3*h - 4. Let o be t(11). Let c = 33 - o. Suppose -59 = -c*q - 3*y, -5*q + y + 82 = 2*y. Does 5 divide q?
False
Let k(l) = -l**2 - 20*l + 2. Let j be k(-19). Suppose 0 = 32*w - j*w - 2508. Is 19 a factor of w?
True
Let k = 44 - 133. Let a = -89 - k. Suppose -4*m - 20 = a, -931 = -3*p - p - m. Is 39 a factor of p?
True
Suppose 28*z - 51764 + 2344 = 0. Does 8 divide z?
False
Let f(k) = -k**3 - 23*k**2 + 23*k + 26. Let s(n) = -n**2. Let p(b) = f(b) + 2*s(b). Is 26 a factor of p(-26)?
True
Let s = -213 - -215. Let j = 93 - s. Does 7 divide j?
True
Suppose -10*o + 6*o + 432 = 0. Suppose 0 = 2*j - 3*j - o. Is 2/(-4)*(2 + j) a multiple of 34?
False
Suppose -5*g + 229 = -34*b + 31*b, 90 = 2*g - 2*b. Suppose -3*r + 2*r + 290 = 0. Let y = r - g. Is 13 a factor of y?
False
Suppose -3*m - 20 = -5*s, -m + 5*s - 9 = 11. Suppose 5*k - 2*l - 264 = -4*l, -3*k + 3*l + 171 = m. Is k even?
True
Suppose 33 = -9*x + 168. Let r be 4 - (-1)/(1/(-4)). Suppose x*b - 7*b - 736 = r. Is 23 a factor of b?
True
Let o = -387 + 1266. Does 9 divide o?
False
Suppose 2*v - 5*w - 14451 = 0, 64*w + 2894