0 a factor of z?
False
Suppose 0 = -2*i - 4*y, -7*y = 5*i - 9*y - 12. Suppose i*g + 82 = 3*j - 275, 0 = -4*j - 4*g + 476. Is 7 a factor of j?
True
Does 11 divide (-1)/2*49247*(-2 - (-13 - -13))?
True
Let k = 3717 - 1117. Is k a multiple of 25?
True
Suppose 18 = v + 10. Let n be 1012/(-16) + 2/v. Let m = n - -69. Is 3 a factor of m?
True
Let l be (57/(-2))/((-5)/10). Let a = -55 + l. Suppose -a*m + 25 + 209 = 0. Is 17 a factor of m?
False
Suppose 2*u = 5*x + 489, 0 = 4*u + x - 581 - 386. Is 13 a factor of u?
False
Suppose 484 = -5*m + 439. Is 36/27 + (-3 - 2805/m) a multiple of 10?
True
Let s = 39 + -35. Suppose -s*y = -5*y - u + 4, 5*y = -2*u + 17. Is (-52)/(y - 2 - 3) a multiple of 3?
False
Let z be 14 + (-33)/((-297)/(-126)). Let l(j) = 3*j**2 + 0*j - 2*j + 3*j + 63. Does 7 divide l(z)?
True
Suppose 4*t - 55 = -7*t. Let z(n) = 16*n - 14. Let o be z(t). Let j = 77 - o. Is 11 a factor of j?
True
Suppose 144*q - 632576 = 618050 + 470174. Does 50 divide q?
True
Let d(n) = -101*n + 4. Suppose 6*s + 3 - 15 = 0. Suppose 0 = -p + 4*l - s + 5, -4*p + 4*l = 0. Does 35 divide d(p)?
True
Is 385 a factor of ((-882)/(-56) + -16)*-218564?
False
Let o(s) = 9*s - 10*s - 16 + 7*s**2 - 2*s**3 + 5*s**3 + 0*s. Is o(5) a multiple of 24?
False
Let r(s) = s**2 - 9*s + 13. Let q be r(8). Let f(u) = -2*u**2 + 9 + 6*u + u**2 + q*u - 7. Is 10 a factor of f(5)?
False
Let w(t) = 120 + 0*t + 0*t + 371 - t. Is 23 a factor of w(0)?
False
Let t(c) = 13*c + 39. Let b be t(-3). Suppose 766 = 4*r - 4*w - 694, b = -5*r - 3*w + 1817. Is 4 a factor of r?
True
Suppose -3*u + 22 = 4. Let v = 5 - u. Does 5 divide 1*v/((-3)/(319 + 2))?
False
Suppose 32*f - 37*f + 4*y + 20519 = 0, -f - 4*y = -4099. Does 11 divide f?
True
Let k(s) = 2*s**3 + 5*s**2 + 3*s + 43. Let f(m) = 3*m**3 + 8*m**2 + 5*m + 65. Let a(z) = -5*f(z) + 7*k(z). Let t be a(-5). Is (t - 85/(-15))*27 a multiple of 8?
False
Let l(a) = -3*a**2 - 10*a**3 + 20*a**3 + 2*a + 6 + 0*a**2 - 12*a**3. Let f be l(-4). Let k = -26 + f. Is 6 a factor of k?
False
Let t(j) = j**3 - 10*j**2 - 24*j + 1. Let m be t(12). Let d be (-2)/m*(1 + -2). Does 9 divide (-18*d)/(7 + -8)?
True
Let d be (4/(-8))/((-3)/18). Suppose -1852 = d*o + 494. Is 40 a factor of (o + -1)/(-3) - -1?
False
Let l = 15087 + -12760. Does 3 divide l?
False
Let m(q) = -4 - 10*q**3 - q + 7 + 5 + 3*q**2. Let u be m(-4). Let i = u + -384. Is i a multiple of 39?
False
Suppose -5*w = 5*o - 34420, -204*w + 27542 = -200*w - 2*o. Is w a multiple of 153?
True
Let f(z) = 187*z**3 - 5*z**2 + 7*z - 1. Let t be f(1). Let x = t + -141. Does 31 divide x?
False
Suppose 348218 = 103*g + 97066 - 640416. Is 29 a factor of g?
False
Let a(g) = -11*g + 35. Let v be a(3). Suppose v*d + j - 3*j = 108, -5*d + 264 = -3*j. Is d a multiple of 17?
True
Let m(u) = -4*u + 10. Suppose -5*d + 8 + 7 = 0, -4*p + 17 = 3*d. Let k be m(p). Suppose 226 = 2*f - 2*o, -2*f + k*o = 2*f - 450. Is f a multiple of 14?
True
Let q = 7192 - 5483. Is q a multiple of 6?
False
Let h(u) = 7*u**2 - 63*u + 2925. Is 55 a factor of h(40)?
True
Is 12 a factor of (-52440)/(-78) + 20/(-65)?
True
Let l be (5 + 26/(-6))/((-1)/3). Is 18 a factor of -9 + l - -242 - (-1 + -2)?
True
Suppose 5 = 4*l - 19*o + 24*o, 0 = 2*l + 5*o - 5. Suppose 784 = 3*r - g, 5*r = -l*g - 4*g + 1284. Does 5 divide r?
True
Suppose 81 = -2*o - z, o + 0*o + 41 = -z. Is 22 a factor of (-38 - o)/((-2)/(-37))?
False
Let f(k) = 14*k**2 + 8*k - 7. Let p be f(1). Suppose 0 = -12*n + p*n - 2709. Is n a multiple of 43?
True
Let q = -308 - -752. Let h = 647 - q. Is 11 a factor of h?
False
Suppose -m = 11 - 143. Let b be ((-108)/(-90))/(4/(-780)*-1). Let p = b - m. Is p a multiple of 7?
False
Let c(n) = -n**3 - 33*n**2 - 10*n - 248. Does 36 divide c(-39)?
False
Suppose 0 = 47*c - 27945 - 52707. Does 33 divide c?
True
Let f(r) be the first derivative of -r**4/4 - 3*r**3 - 6*r**2 + r + 30. Let y(n) = -n**2 + 2*n. Let o be y(4). Is 33 a factor of f(o)?
True
Let y(a) = -a**3 + 21*a**2 + 24*a - 39. Let p be y(22). Suppose k - 80 = -u - 20, p*u - 310 = 5*k. Suppose u = q + 17. Is 7 a factor of q?
False
Suppose -91*x + 313*x - 456880 - 1148402 = 0. Does 7 divide x?
True
Let l be ((-28)/21*1)/((-1)/3). Suppose l = 14*i - 12*i. Suppose -i*k - 4*s = -166, -7*s = -k - 2*s + 83. Does 48 divide k?
False
Suppose -8*r + 1389 = -971. Suppose -3*t + 608 = -2*m - 2, -m + 4*t - r = 0. Let q = m + 518. Is 33 a factor of q?
False
Suppose 0 = 6*v + 8655 - 34143. Is 12 a factor of v?
True
Let r(h) = -924*h + 8757. Is 220 a factor of r(-22)?
False
Suppose -8*g + 10*g = -4, 4*k - 4*g - 8908 = 0. Is k a multiple of 56?
False
Suppose f - 5524 - 536 = -14*f. Is 5 a factor of f?
False
Suppose 418 - 9388 = -5*x. Is 13 a factor of x?
True
Let a(x) = 14*x - 39 + 5*x**2 + 37 + 0*x**2 - 21. Is a(6) a multiple of 9?
False
Suppose -19146 = -4*s - 3*r + 8220, 4*s - 4*r - 27408 = 0. Is s a multiple of 14?
True
Does 12 divide 4456/(-6)*(-15)/(-10)*-7?
False
Let u(h) = -4*h - 4. Let t be 3 + 1/(5/190). Suppose -m + 2*p + 3 = 0, t = -5*m - 5*p + 11. Does 4 divide u(m)?
True
Let l = 18058 + -7924. Does 130 divide l?
False
Suppose -82 = 5*h + 3*x, 32*x - 33*x + 24 = -2*h. Let w(p) = 13*p + 2*p**2 - 1 - 28 + 4. Does 37 divide w(h)?
True
Suppose 0 = 2*s, 44 = 4*k + 2*s - 1028. Suppose -1292 = -30*q + k. Is q a multiple of 9?
False
Suppose 19*k - 1992 = -5*k. Suppose g + 3*h = 39, -2*h + 136 = -3*g + 7*g. Suppose 5*y - k + g = 0. Is 10 a factor of y?
True
Let v(j) = -22 + 14*j + 23 - j**2 - 16*j + 40*j + 61. Is v(13) a multiple of 7?
False
Let w be (-54)/(-351) + (-186)/26. Is 11 a factor of (-1074)/(-4) - (4 + w/2)?
False
Let c = 47834 - 39482. Does 72 divide c?
True
Let n(o) = o**3 + 18*o**2 - 17*o + 40. Let g be n(-19). Suppose g*s = -3*s + v + 1035, -s + 228 = 4*v. Is s a multiple of 52?
True
Suppose 4*l - 264 = 4*m, m + 202 = 106*l - 103*l. Suppose -l*c + 1386 = -65*c. Is c a multiple of 21?
True
Let i(j) = 21*j**2 - 15*j + 44. Let u be i(3). Let g = -149 + u. Does 16 divide g?
False
Suppose -8*c = -7*c + 812. Let n = c - -1319. Is n a multiple of 26?
False
Let i(r) = -r**3 + 24*r + 2. Let y be i(-8). Let t = y + -169. Is t a multiple of 9?
True
Suppose q + 23 - 15 = 0. Let v be 42/q + (-3)/(-12). Is 237/2 - v/10 a multiple of 20?
False
Let v be (-8 - -5)/(12/(-8)). Suppose -v*h + 6*h = 260. Is h a multiple of 6?
False
Suppose 55*d + 49772 = 281707. Does 46 divide d?
False
Let t be (3/(-4))/(8/(-7360)). Suppose 15 = 5*h - t. Let c = h - -43. Does 24 divide c?
False
Let y(g) = -g**3 + 21*g**2 - 15*g - 130. Does 4 divide y(18)?
True
Suppose 4*i + 559*b - 30852 = 562*b, -2*b - 30856 = -4*i. Is i a multiple of 7?
False
Let y(t) = 2*t**2 - 7*t - 4. Let a be y(-7). Let u = a + -59. Suppose -3*r + u = 3*i, 7*i - 3*i = -3*r + 107. Does 23 divide i?
True
Let t(p) = 2671*p + 67. Does 35 divide t(12)?
False
Suppose -3*y - 439 + 169 = 0. Let g = y - -646. Suppose -5*d + 5*v + 655 = 0, -4*v + g = 3*d + d. Is d a multiple of 22?
False
Suppose 3*t = -4*i + 47247, -141*i + 137*i = 12. Is t a multiple of 267?
True
Does 25 divide -237*(-15)/9*57*6/90?
False
Suppose -158*h - 22 = -156*h. Suppose 44 + 21 = -5*n - 2*s, -n + 3*s + 4 = 0. Is 3 a factor of 2/h + (-222)/n?
False
Let p be -3 + 1004/(-8) + 9/(-6). Let b = p + 129. Let u(d) = -11*d**3 + d**2 + 5*d + 5. Does 6 divide u(b)?
True
Let b(i) = -16*i + 6. Let d be b(1). Let s = d - 0. Let x(v) = -4*v - 23. Does 17 divide x(s)?
True
Let o = 402 - 447. Does 10 divide 175448/130 - 3*6/o?
True
Suppose 38*x + 234*x + 257*x = 5456106. Does 6 divide x?
True
Let w = -9 - 122. Suppose -3*m + 115 = -4*p, m + 9 = -2*m. Let q = p - w. Is q a multiple of 20?
True
Let o(f) = f**2 - 7*f - 20. Suppose 6*h - 77 = 7. Suppose 29*p = 27*p - h. Is o(p) a multiple of 13?
True
Suppose q - 13057 + 733 = -5*q. Is q a multiple of 79?
True
Let n = 390 - 935. Let r = 905 + n. Is r a multiple of 56?
False
Let c = 4479 + -2479. Is 6 a factor of c?
False
Let m(h) = -4*h**3 + 3*h**3 + h**3 + 5*h + 146 + h**3 + 41. Is 11 a factor of m(0)?
True
Let k = -12 + 23. Let v(c) = 28*c - 2*c + 6 + k*c. Is 22 a factor of v(4)?
True
Suppose 18*r - 28021 = 3551. Is r even?
True
Suppose -7*t = -t - 24. Suppose 7*y + 2 = -2*l + t*y, -l + 2*y = -6. Suppose 0 = -s - 1, l*s = -5*o + s + 124. Is o a multiple of 17?
False
Let 