= 5*g - z + 3*z - 1787, 0 = -4*g + 4*z + 1396. Does 66 divide g?
False
Let g(m) be the first derivative of 19*m + 1/3*m**3 - 4 - 2*m**2. Does 13 divide g(6)?
False
Let n(g) = 4*g + 36. Let p be n(-8). Suppose p*d + 5*w = -8 - 8, 5*d = -5*w - 20. Does 22 divide (1 + 43)*((-22)/d + -2)?
True
Suppose 0 = -f - 3*b - 1, -b - b - 30 = -3*f. Is 10 a factor of f/52 - 4791/(-39)?
False
Let c be 18*2*332/24. Suppose 3*g = -3*g + c. Let t = g - 48. Is t a multiple of 35?
True
Suppose 340 = 3*c + 4*f, 5*c - f - 375 = 230. Suppose -l = -c - 158. Let s = l + -68. Does 10 divide s?
True
Let p(a) = -2*a - 7 - 12*a - 10*a. Let g(y) = -y**3 - 16*y**2 + 12*y - 88. Let h be g(-17). Does 13 divide p(h)?
True
Let p = -4 - -1. Let g be (-6755)/(-30) - p/(-18). Let a = -99 + g. Is 16 a factor of a?
False
Let k = 92416 - 41853. Is 44 a factor of k?
False
Suppose 5*k = -2*j + 196676, -2*k + j + 78641 = 6*j. Is 221 a factor of k?
True
Let h be -4 + -2 + 6 + 20. Does 15 divide 40*(-9)/(-2)*h/15?
True
Suppose 18*y - 58999 = 15*y - 4*l, 2*y - 39348 = 5*l. Is 89 a factor of y?
True
Suppose 221*g + 4260 = 224*g. Let q = g - 266. Does 26 divide q?
False
Suppose -10 = 3*v - 19. Suppose 0 = 3*a + v*i - 3231, 0*a - a = -3*i - 1089. Is a a multiple of 60?
True
Let h(k) be the first derivative of 29*k**4/4 - 17*k**3/3 + 3*k**2/2 - 2*k + 34. Let c be h(-4). Does 15 divide (c/(-28))/((-3)/(-4))?
False
Suppose -4*t + 10520 = -f, 10544 = 4*t - 18*f + 23*f. Is 8 a factor of t?
False
Let j(m) = 2*m**3 - 5*m**2 + 7*m - 2. Let f be j(5). Let h be (-1 - 2 - 1 - -3)*-323. Let q = h - f. Is 11 a factor of q?
True
Let y(f) = f**2 + 62. Suppose 0 = 3*j + 4*z - 52, -3*j - 3*z + 2*z + 58 = 0. Let x = 20 - j. Is 21 a factor of y(x)?
False
Let z(u) = 68*u + 252. Does 3 divide z(0)?
True
Suppose 542 - 533 = 3*s. Suppose 0 = s*r + 5*y - 0*y - 814, 3*r - 818 = -4*y. Is 25 a factor of r?
False
Is -114*1/(48/(-568)) a multiple of 25?
False
Suppose 60*o - 545286 - 139027 = -190573. Is 3 a factor of o?
True
Is 9*(-20)/2340 - (-66927)/39 a multiple of 132?
True
Let r(n) = -n**3 - 4*n**2 + 8*n + 6. Suppose -3*l = -2*s + 8, -2*l - 20 = -7*s + 2*s. Suppose 2 - 4 = b - s*p, 4*b + 29 = -5*p. Is r(b) a multiple of 6?
True
Suppose s - 807 = 2*a - 0*a, -3 = -a. Let h = s + -574. Does 21 divide h?
False
Suppose -741 + 4021 = -16*v. Let s = 253 + v. Is s a multiple of 8?
True
Let a be (-2)/2 + 0 - (-46 - 5). Suppose 38 = 3*l + a. Does 17 divide 10*(-75)/(-6) + l?
False
Suppose -w = 3*u - 17, -4*u - 4*w + 51 = 15. Suppose -c - 380 = -2*y, u*c - 3*c - 187 = -y. Is 27 a factor of y?
True
Let h be 4/2 - 3 - -12. Suppose -q + h = -21. Suppose -5*x + 16 = 3*l + 2, 4*x = -5*l + q. Is 3 a factor of l?
False
Is 5 a factor of 237352/28 - -5*1/35?
False
Let c = 3 - 4. Let k be -77 + 0/(4 + -7 - -2). Does 17 divide (k + 4 + 0)/c?
False
Let y = -1503 - -1671. Is 12 a factor of y?
True
Let w(k) = 3*k**3 - 4*k**2 + k - 7. Suppose -2*z - 9 + 15 = -5*v, -4*z + 12 = -4*v. Does 2 divide w(z)?
False
Suppose 3*f - 77 - 55 = w, f + 2*w = 44. Suppose -o = 5*n + 6, 0 = -2*o - 2*o - 3*n + f. Suppose -3*p = -119 + o. Is p a multiple of 6?
False
Let c = -34547 - -59073. Does 16 divide c?
False
Suppose -2*v = -4*y - 48940, -2*v + 6*v = -7*y + 97940. Is v a multiple of 9?
False
Let k = 258 + -866. Is 48 a factor of k/10*25/(-10)?
False
Suppose 137 = 7*v + 18. Suppose 0 = -v*g + 6053 + 1223. Does 16 divide g?
False
Let u = -5209 + 7405. Suppose -u = -3*d - 5*m, -3*d - 4*m + 2040 = -156. Does 12 divide d?
True
Let t be (-8776)/(-3)*105/140. Suppose -t = -2*w + 56. Is 75 a factor of w?
True
Suppose 3*h + 36 = 66. Suppose 2*a - h = -0*a - 3*o, 5*a - 2*o = 63. Is 16 a factor of 7080/220 - 2/a?
True
Suppose 162*m = 163*m + 3*c - 1936, -3*c - 3899 = -2*m. Is 9 a factor of m?
False
Let v(w) = 26*w + 24. Let y be v(3). Let b = 270 - y. Let i = b + -131. Is i a multiple of 5?
False
Suppose 4*s = -4*i - 0*s + 8, i + 4 = 2*s. Suppose -f + 5*w - 13 + 190 = i, 4*f - 3*w = 759. Is f a multiple of 12?
True
Suppose 5*r + 27*g - 28*g = 40816, -5*r = -5*g - 40840. Is r a multiple of 53?
True
Suppose 0*d + 90 = 18*d. Suppose -k + 4*k - 504 = d*n, 5*n - 336 = -2*k. Is k a multiple of 7?
True
Let p(w) = -11*w**3 + 10*w**2 - 25*w - 122. Does 78 divide p(-5)?
False
Let t be (-54)/(-21)*(-168)/(-1). Let p = -268 + t. Does 15 divide 1/(-2)*(2 - p)?
False
Suppose -r - 6 + 0 = 0. Let p = r - -64. Let u = 299 - p. Is 43 a factor of u?
False
Let r(a) = 9*a**2 + 2*a + 1215. Is 45 a factor of r(0)?
True
Suppose 4 = 2*v - 4*q + 26, v = -5*q + 17. Is 474 + 0 - v/3 a multiple of 19?
True
Suppose 3 = -n, 0 = 28*c - 26*c + 2*n + 60. Is c/(((-20)/75)/4) a multiple of 39?
False
Suppose 267*n - 245*n = 143198. Is n a multiple of 7?
False
Let m(g) = g**3 - 2*g**2 - g - 58. Let a(n) = n**3 - n**2 - n - 1. Let h(k) = -2*k + 8. Let d be h(3). Let i(v) = d*a(v) - m(v). Does 14 divide i(0)?
True
Let i(v) = 2*v**3 + 58*v**2 - 2. Let l be i(-29). Does 4 divide ((-1)/(8/(-56)))/(l/(-56))?
True
Suppose 0 = -2*b - b + 471. Let f = -27 - 106. Let o = f + b. Is 24 a factor of o?
True
Let t = 7736 - 7061. Is 19 a factor of t?
False
Let g(f) = 437*f**2 - 269*f - 270. Is 2 a factor of g(-1)?
True
Is (785477/66)/7 - (-6)/(-36) a multiple of 10?
True
Suppose -c = 4*s + 1036, 0*s - c - 518 = 2*s. Let r = 370 + s. Is r a multiple of 17?
False
Let y(l) be the first derivative of -19*l**2 - 34*l - 91. Is 4 a factor of y(-5)?
True
Let p = -70542 + 108437. Does 55 divide p?
True
Let c(w) = -1 - 93*w**3 + 418*w - 209*w - 211*w. Is 2 a factor of c(-1)?
True
Is 16 a factor of (1536/(-18))/(10/(-240))?
True
Suppose 2835 = 6*o + 3*o. Suppose 5*n - 1570 - o = 0. Does 13 divide n?
True
Suppose -3*o + 78 = b, -4*b + 5*o = -275 - 71. Let a = 56 + b. Is a a multiple of 4?
True
Suppose 48*b - 52*b + 13395 = 3*a, -5*a = 5*b - 16750. Is b a multiple of 33?
False
Let d = 23727 + -22009. Does 6 divide d?
False
Let v = 18 - 13. Let w be (-11 + v + 6)/(1 - 2). Suppose w = 2*m - 153 - 1. Does 11 divide m?
True
Suppose 4*s - 7 = -5*f, -s - 15 = -3*f + 2*s. Is 16 a factor of (f - 3)/(-3) + 320?
True
Let l(p) = -2*p**2 - 299*p + 183. Does 55 divide l(-51)?
True
Suppose 0 = -t - 3*w + 5784, 0 = -28*t + 24*t - w + 23048. Is t a multiple of 24?
True
Suppose -5*v - y - 677 - 457 = 0, 0 = -4*v + 6*y - 914. Is 0 + (2 - 3)*v a multiple of 3?
False
Let d(f) = f**3 + 10*f**2 - 4*f - 6. Let r be d(-10). Let l(o) = -o**3 + 35*o**2 - 33*o + 88. Is 35 a factor of l(r)?
False
Let m(z) = 811*z - 2743. Is m(23) a multiple of 37?
True
Let w(j) = j**3 + 3*j**2 - 9*j + 8. Let t = -14 - -9. Let p be w(t). Suppose -4*d + 122 = 2*q, 5*d - 92 - 44 = p*q. Is 6 a factor of d?
False
Suppose -c - 4*c = -25, 23 = -q + 5*c. Suppose q*l = -5*z - 2*l, -2*z - l - 3 = 0. Is (z/4)/((-4)/268) a multiple of 29?
False
Let x(f) be the second derivative of f**5/60 - f**4/24 - 5*f**3/3 - f**2 + 36*f. Let g(p) be the first derivative of x(p). Does 23 divide g(-10)?
False
Suppose n + 259 = 8*n. Suppose -n = -g - 121. Let p = -39 - g. Does 15 divide p?
True
Let r = -30 + 467. Let m = r + -1014. Does 5 divide m/(-9) + (-1)/9?
False
Let m(c) = 58*c + 171. Let p be m(-3). Does 16 divide (5 - 0) + (p + 4 - -538)?
True
Let u(y) = -y**2 + 31*y - 27. Let f be u(30). Suppose -2*k = f*r - 204, 5*k - 4*r + 2*r = 491. Does 3 divide k?
True
Let n be (-3 + 56 - 1)*-4. Let v = -103 - n. Is v a multiple of 7?
True
Let r(d) = d**3 - 9*d**2 + 14*d + 8. Let b be r(7). Suppose -274 = b*o - 3122. Is 43 a factor of o?
False
Let u(i) = 2*i**3 - 65*i**2 + 78*i - 12. Is 12 a factor of u(34)?
True
Let f(z) = z - 7. Let t be f(3). Let h be 10*((98/t)/(-7) - 3). Suppose 95 = 2*o - h*b, -5*o + 5*b + 100 + 130 = 0. Is 45 a factor of o?
True
Let k = -35 + 36. Let f(s) = 391*s**2 - 6*s - 1. Does 24 divide f(k)?
True
Suppose 25*x = 82*x - 152815 + 44401. Is x a multiple of 84?
False
Let y(h) = 4*h + h - h**2 - 1 + 2*h - 3. Let v be y(6). Suppose -5*k = -5*f + v*f + 301, -3*f + 337 = 4*k. Is 7 a factor of f?
False
Suppose 0 = 5*d + 478 + 2. Let b = 103 + d. Suppose 0 = -b*l + 130 + 248. Is l a multiple of 27?
True
Suppose -251*d - 5984550 = -449*d. Does 25 divide d?
True
Suppose -6*r = -r + 15. Let j = 74 - 30. Let h = r + j. Is h a multiple of 18?
False
Let m(l) = 2142*l**2 - 109*l - 569. Does 2