6 - -77336. Does 35 divide q?
True
Suppose 322388 = 12*d - 6*d + 92642. Does 11 divide d?
True
Let j(l) = 6*l**3 + 3 - 2 - 2*l + 20*l**2 + 17*l - 5*l**3. Let h be j(-19). Let d = h - 25. Is d a multiple of 10?
False
Let o = 254 - 172. Let j = -45 + o. Let v = -26 + j. Does 10 divide v?
False
Suppose 11 = -4*u + 3. Let b be ((3 - 3) + -10)/(1*u). Suppose -3*n + 16 = -2*d, n - b*d + 1 - 2 = 0. Is n even?
True
Suppose r + 9 - 1 = -2*c, 3*c = -3*r - 12. Suppose -25*p + 21*p + 228 = r. Is 4 a factor of p?
False
Let s(x) = -x - 9. Let h be s(-8). Let y(q) be the second derivative of -26*q**3/3 + 3*q**2/2 + 21*q. Is y(h) a multiple of 11?
True
Let u(z) = 29*z**2 + 6*z - 5. Let l(w) = -10*w**2 - 2*w + 1. Let v(i) = 8*l(i) + 3*u(i). Does 8 divide v(-6)?
False
Let o(x) = 17*x**2 - 7*x - 10. Let i be o(-5). Is 118860/i - (-2)/(-15) a multiple of 33?
True
Let a = 456 - 93. Let d = 524 - a. Is d a multiple of 7?
True
Suppose 0 = 4*k + 3*s + 8723 - 46786, -k = 3*s - 9500. Is 55 a factor of k?
False
Let y(d) = -d**3 + d**2 - 12. Let g be y(0). Is 6 a factor of 458 - (-15)/(90/g)?
True
Suppose -10*u + 14*u - 60 = 0. Suppose -u*v = -17*v. Suppose -2*x + 197 - 23 = v. Is x a multiple of 29?
True
Suppose 65 = -6*j + 251. Let h(f) = -9*f + 10 - j + 1. Is 8 a factor of h(-5)?
False
Let p be (-2)/(-8) + (-812)/(-16). Let y(h) = 8*h**2 + 65*h + 41. Let z be y(-10). Let u = z - p. Is 15 a factor of u?
False
Suppose 11152 = -6*r + 712. Let k = -880 - r. Is k a multiple of 20?
True
Let p = 31 + -27. Let l be (p/(-3) + 1)/((-1)/6). Suppose 5*z - 105 = -l*r - 19, 2*r + 94 = 5*z. Is 11 a factor of z?
False
Let i(m) = -5*m - 22. Suppose 4*g + 35 = -0*f - 3*f, 0 = -2*f + 2*g. Let p be i(f). Suppose 4*r - 45 = 3*k + 89, p*r - 104 = 4*k. Is r a multiple of 4?
True
Suppose -4*u + 0*u + 56 = 0. Does 19 divide 5/(-70)*-6646 + 4/u?
True
Suppose -5*z = -5*a - 10, -10*a - 2 = -14*a - z. Suppose 4*c - 58 = 2*y, -3*y - 2*y = -2*c + 25. Suppose a*i - 330 = -c*i. Does 3 divide i?
False
Let t(y) = -26*y + 104. Let h be t(4). Suppose h = 36*i - 13111 - 26957. Does 21 divide i?
True
Let a(q) = -15*q + 264. Let v be a(17). Suppose -862 = -v*i + 1748. Is 4 a factor of i?
False
Let h(s) = s**3 - 18*s**2 + 22*s - 21. Let m be (-4)/8 + (-280)/(-16). Is h(m) a multiple of 16?
True
Suppose 4*j = -3*z - 80 + 572, 0 = 3*j - 9. Is z a multiple of 160?
True
Let b(m) = -2166*m - 7230. Is b(-9) a multiple of 146?
True
Let g = 5990 - 309. Does 26 divide g?
False
Let c(x) = 2*x**3 + 5*x**2 + 11*x - 5. Let h(r) = -4*r**3 - 10*r**2 - 21*r + 9. Let g(a) = 7*c(a) + 4*h(a). Is g(-4) a multiple of 14?
False
Is 13 a factor of (0/(-8) + (-10)/(-15))*2*19461?
True
Suppose -11*h - 2 = -35. Is ((-84)/h)/(-1)*112/32 a multiple of 49?
True
Let s be (-20)/(-5) - (-5)/5. Is s*18 + (-18)/(-3) a multiple of 8?
True
Let m(j) = -j + 46. Let q be m(28). Let c(i) = -3 - 8*i**3 + i**3 + 8*i**3 + 17*i + 3*i - q*i**2. Does 29 divide c(17)?
False
Let j(x) = 3*x**2 + 11*x - 36. Let o be 1 + -11 - (-8)/(-3 - 1). Let v be j(o). Suppose 6 + v = 6*w. Is w a multiple of 14?
False
Let y(d) = -3*d + 20. Let l be y(6). Suppose -3*o + 1 = -l*o - 3*r, -4*r - 28 = -3*o. Is 9 a factor of (90/(-8))/((-2)/o)?
True
Let b = 415 - 413. Suppose -220 + 592 = b*t. Does 4 divide t?
False
Let a(s) = -s**3 + 21*s**2 - 21*s + 16. Let o be a(20). Let b be (-4)/8 + (-6)/o. Does 13 divide (b - (-8)/(-1))*-6?
False
Suppose -5*j - 6*x + 9*x = -198665, -2*j - 5*x + 79435 = 0. Does 72 divide j?
False
Let d(t) = t**3 - 21*t**2 - 16*t + 40. Let g be 8/(-24)*((-272)/4 - -2). Is 2 a factor of d(g)?
True
Is 78 a factor of 2015/(-1)*(-23 + 1455/75)?
True
Let l be 1075/(-5)*(1 + -2). Suppose 6*x - 11*x + l = 0. Suppose 5*r + 55 = a, -a + 6 + x = -3*r. Does 4 divide a?
True
Let k be (-7959)/6*(2 - (-72)/(-28)). Suppose -28*w + k = -1762. Is 3 a factor of w?
True
Let h(a) = -a**2 - 254*a - 5746. Is h(-150) a multiple of 357?
False
Let l = 19 + -15. Let t = -904 + 1537. Suppose l*z = 5*r + t, 4*r = -0*z - 2*z + 310. Is z a multiple of 31?
False
Suppose 189*n - 183*n - 84 = 0. Suppose 0 = 22*a - n*a - 48. Is 6 a factor of a?
True
Let b(r) = 988*r + 822. Is 11 a factor of b(4)?
True
Suppose 14*y - 60 = 52. Suppose d - 211 = 22. Suppose 0 = y*r - 535 - d. Is r a multiple of 32?
True
Suppose 207*v - 228*v = -110334. Is 5 a factor of v?
False
Suppose 0 = 10*n + 29 + 11. Let c be n/(16/12) + 0 + -30. Does 11 divide 88/c*(-66)/4?
True
Let i = -23108 - -67946. Is 18 a factor of i?
True
Let x(t) = -t**3 - 38*t**2 + 11*t - 90. Let g be x(-40). Suppose 7*o = 22*o - g. Is o even?
True
Let r = -2108 - -9660. Is r a multiple of 11?
False
Is 27 a factor of ((-9)/12)/((-168)/224)*7028?
False
Let d(u) = 5 + 4 + 3*u**2 - 8*u - 2*u**2 - 14 + u. Is d(10) a multiple of 5?
True
Suppose 0 = 5*y + o + 231, 0 = y - 4*o - 6 + 48. Let n = 146 + y. Is 20 a factor of n?
True
Suppose 912 + 144 = -12*j. Let q = 522 + j. Does 31 divide q?
True
Let c(p) = 4*p - 9. Let u(s) = s - 1. Let b(l) = c(l) - 3*u(l). Let h be b(7). Suppose -4*j + m + 35 = 4*m, -h = -m. Does 8 divide j?
True
Let a(g) = -3*g**3 - 7*g**2 - 11*g - 45. Does 6 divide a(-9)?
True
Suppose 5*u - 4*k = -50, -10 = u + 6*k - 7*k. Is 13 a factor of 2/u + (7 - 2702/(-35))?
False
Let o = 89 + -87. Suppose -o*l + 4*n + 88 = 0, 111 + 97 = 5*l - 4*n. Let f = 80 - l. Is 11 a factor of f?
False
Does 19 divide 5870 + (2/(-8) - (204/16 - 14))?
True
Let m(q) = -q**2 - 56*q + 1999. Is m(-66) a multiple of 2?
False
Suppose a + 2*p - p - 10 = 0, 0 = 2*a + 4*p - 24. Let n(k) = -3*k + k**3 - a*k**2 - 3*k + 2*k**2. Is n(7) even?
False
Is (-13 - -101)/((-2)/(-104)) a multiple of 13?
True
Suppose 0 = -4*k - 3*t + 33 - 8, -3*k = t - 15. Suppose -350 = -k*c - 74. Is 21 a factor of c?
False
Let d = -10244 - -11646. Is d a multiple of 137?
False
Let y be (-76734)/(-116)*(-4)/(-6). Let v = y - 381. Does 5 divide v?
True
Let i(v) = 9*v - 426. Let u(j) = -22*j + 852. Let k(b) = -5*i(b) - 2*u(b). Is k(36) a multiple of 30?
True
Let t = 313 - 307. Suppose -235 - 1109 = -t*y. Does 27 divide y?
False
Let j(i) = 8*i + 103. Let d = -366 - -389. Is j(d) a multiple of 41?
True
Let d(w) = 2*w**2 - 196*w + 2440. Is d(142) a multiple of 5?
False
Let s(b) = -384*b - 5586. Is 189 a factor of s(-64)?
False
Let x(h) = 221*h**2 + 5*h - 4. Let m be x(1). Let j = m - 127. Is j even?
False
Let c(m) = -m**3 - 4*m - 45. Let w be c(0). Is 2 a factor of w/(-105) - 123/(-7)?
True
Let l(n) = -2*n**2 - 2*n + 77. Let o be l(0). Let p = 53 - o. Does 32 divide (-32)/(18/(-4) + p/(-6))?
True
Let h(v) = -v**2 + 7*v + 21. Let o be h(9). Suppose 17 = -4*c - 3*j + 181, -2*j + 124 = o*c. Let k = c - 17. Does 27 divide k?
True
Suppose 2*p = -3*p. Suppose 49 = 3*r + g, -72 + p = -4*r + 2*g. Suppose o - 21 = r. Is o a multiple of 9?
False
Let i(k) = k**3 + 43*k**2 + 21*k + 78. Let r be i(-37). Does 56 divide (-1)/((-3349)/r - 4/(-9))?
False
Suppose -5*y - 22*y - 52380 = 0. Let b = -1250 - y. Does 46 divide b?
True
Let o(c) = 82*c**3 - 1. Suppose 0 = -5*b - 3*x + 2, 0 = 5*b - 10*b - x + 4. Is o(b) a multiple of 5?
False
Let d(p) = 17*p**2 + 778*p + 7. Does 5 divide d(10)?
False
Let i be (-13 + 14)/((-2)/(-10)). Let w(x) = -17*x + 15*x + i*x**2 - 1 - 6. Does 23 divide w(4)?
False
Let v(m) = -337*m + 2604. Is 28 a factor of v(0)?
True
Is (500/(-6))/(25 + 107302/(-4290)) a multiple of 55?
True
Suppose 12 = -5*z + 37. Suppose -3*f - z*f - 472 = 0. Let v = f + 88. Is v a multiple of 9?
False
Let l = 10845 + -10062. Does 9 divide l?
True
Let z = 453 + -324. Let k = z - 127. Does 12 divide 6670/69 - k/3?
True
Let r = 119 + -113. Let z = -1175 + 1671. Suppose r*j = 10*j - z. Is 23 a factor of j?
False
Let m(o) = o**2 - 29*o + 1003. Does 17 divide m(58)?
False
Let z = 101 - 58. Let w = z + 1. Suppose 2*i + 5*s - w - 41 = 0, 2*s = 4*i - 110. Does 15 divide i?
True
Suppose 88 = -13*x + 11*x. Let q = 528 + x. Does 14 divide q?
False
Suppose -15 = -3*y - 2*y. Suppose -4*c = 15 - y. Does 27 divide ((-1)/1)/(c/201)?
False
Let q(m) = 5*m**3 - 4*m**2 - m + 10. Let n(r) = 4*r**3 - 4*r**2 - 2*r + 9. Let c(j) = -4*n(j) + 3*q(j). Let o be c(4). Let d = 11 + o. Is d a multiple of 11?
False
Let l be (-2 + -2 + 16/6)*-6. Let q = 18 + l. Does 17 divide q?
False
Let m(w) = 958*w - 768. Is m(8) a multiple of 16?
True
Suppose