 - 173. Let o be j(-15). Suppose -34*y + o = -11648. Is y a multiple of 25?
True
Let i = 311 + -354. Let g = 327 + i. Is g a multiple of 71?
True
Let k(q) = -25*q + 5735. Does 3 divide k(89)?
True
Let y(g) = g - 13. Let p be y(7). Let q be p/27 + 5900/(-18) + 2. Does 10 divide q/(-6) - (1 - 15/9)?
False
Let j = 758 - -18914. Is 8 a factor of j?
True
Is (256/12)/((3 - (1 - 2))/18) a multiple of 69?
False
Let p(j) = 458*j - 6*j**3 - 230*j - 2*j**2 - 231*j - 1. Is 15 a factor of p(-2)?
True
Let j(s) = -s**2 - 7*s + 18. Let x be j(-9). Suppose x*f + f - 4 = 0. Suppose 2*r + t - 372 = -r, 0 = f*r + t - 496. Is r a multiple of 25?
False
Let k(q) = -q**3 + 3*q**2 + 10*q + 3. Let j(x) = -x - 4. Let c be j(-9). Let r be k(c). Suppose 285 = 4*t - r*f, 0 = 4*t - 5*f - 275 - 0. Does 15 divide t?
True
Let v(l) = 188*l**2 + 32*l + 31. Is 67 a factor of v(5)?
True
Let l = 299 + -305. Is 4040/24 + (-4)/l a multiple of 37?
False
Let t(h) = 296*h - 504. Let m be t(9). Suppose -28*b = 26*b - m. Is b a multiple of 3?
False
Suppose -2*r - 3*z = -2285, 616 + 2828 = 3*r - z. Does 31 divide r?
True
Let a(z) be the third derivative of z**6/120 + z**5/4 + 7*z**4/12 + 35*z**3/3 + z**2 + 18*z. Is a(-10) a multiple of 10?
True
Let o = 248 + -274. Is 14 a factor of o/(-65) - 279/(-15)?
False
Let x(l) = -31*l + 24. Let i be x(-4). Suppose -4*u + 92 = -i. Is u a multiple of 14?
False
Let s(b) be the third derivative of -37*b**4/24 - 25*b**3/6 + b**2. Let k be -5 + 6 + -1 - (-3 - -8). Is s(k) a multiple of 32?
True
Suppose 3*j - 7*j + 5984 = 0. Suppose 0*s - j = -4*s. Does 17 divide s?
True
Suppose -36860*s = -36875*s + 781035. Is 23 a factor of s?
False
Suppose 0 = k - 4, -3*d + k = -2*k - 3. Suppose -1890 = -d*s + 5*q, -3*q - q - 758 = -2*s. Is s a multiple of 13?
True
Let o(p) be the second derivative of -29*p**5/10 + p**3/6 - 4*p - 15. Suppose 4*f + 13 = -5*m, -f - 2*f = 6. Is 16 a factor of o(m)?
False
Let b be (-2)/6*-4*(-6)/(-4). Suppose -6*s = -b*s + y - 19, -5 = 5*y. Suppose -s*n + 33 = -97. Is n a multiple of 3?
False
Let w = -428 + 740. Let b = w - 135. Is 59 a factor of b?
True
Let z(v) = -3*v - 21. Suppose -2*k - 1 = -k - 2*n, 0 = 2*n + 8. Let h be z(k). Suppose -h*j + 576 = 3*j. Does 12 divide j?
False
Let q(i) be the first derivative of 4*i**3/3 - 5*i**2/2 - 31*i + 15. Let j be q(-7). Suppose 4*z - 8*z = -j. Is 3 a factor of z?
False
Let j be (0 - 1)*(-1 - (4 + -6)). Let n be -2 - -6*(-4 - -5). Is 2 a factor of (0 - 2) + j*(n - 26)?
True
Let b(q) = -q**2 - 3*q + 12. Let z be b(-5). Let p be 1/1*(-2 + z). Suppose p = j + 4*o - 53, 2*j - 3*j - 5*o = -52. Is j a multiple of 9?
False
Let k = -13297 - -22361. Is k a multiple of 186?
False
Let n = 24394 - 3656. Is 84 a factor of n?
False
Suppose 7*a = -3*w + 3*a + 12, -4*a + 20 = 5*w. Suppose c + f = 406, 0 = 5*c + f - w*f - 2022. Does 9 divide c?
True
Let d = 79 - 71. Let v(q) = 2*q**2 - 9*q + 27. Let p be v(d). Suppose 0 = r - 4*b - p, -5*r - 18 = -b - 509. Is r a multiple of 11?
True
Suppose -1754 - 69196 = -22*l. Does 14 divide l?
False
Let t(b) = 34*b - 1177. Let m be t(35). Let j = 16 - 9. Suppose j*g = m*g - 120. Is 5 a factor of g?
True
Suppose -18*y + 5*k = -13*y - 2050, 2*k - 2078 = -5*y. Is 138 a factor of y?
True
Suppose 455 = -h + 4*r + 919 + 537, 0 = -2*r. Is h a multiple of 13?
True
Let f(a) = -4*a**2 - 4*a + 37. Let g be f(0). Let l(m) = m**2 - 34*m - 89. Does 3 divide l(g)?
False
Does 11 divide (58/(-1))/((-56)/4060)?
False
Let i = -49 - -44. Let u(o) = -8*o + 10. Is u(i) a multiple of 38?
False
Let q = 454 - 83. Let s = q - -413. Does 16 divide s?
True
Suppose -4*g = -1033 - 567. Suppose 3*q - g = 4*c + 1070, 5*q + 2*c = 2476. Does 38 divide q?
True
Is -3*(-15)/(-9) + (-3 - -2235) a multiple of 3?
False
Suppose -2*s + 6*z - 3*z = -18, -3*s = -5*z - 27. Is 16 a factor of ((-35)/4)/(s/(-180))?
False
Let d = -489 - 72. Let t = d - -799. Is t a multiple of 17?
True
Let d(l) = 6*l + 276. Let c(a) = -2*a + 24. Let r be c(12). Is 23 a factor of d(r)?
True
Let u(b) = -b**3 + 10*b**2 + 15*b - 10. Suppose 4*k + d - 2*d = 17, 4*d - 12 = -4*k. Suppose -29 = -4*z + 5*p, -k*p = 4*z - 39 - 17. Is 17 a factor of u(z)?
True
Let q(a) = -3*a**2 + 4*a - 4. Let r(t) = -7*t**2 + 8*t - 7. Let c(w) = 9*q(w) - 4*r(w). Is 17 a factor of c(6)?
False
Let a = 12757 + -12358. Is 16 a factor of a?
False
Let n(z) = -z**3 + 15*z**2 - 22*z + 2. Let g be n(9). Suppose 5*c = 6*c + g. Let s = -135 - c. Is 36 a factor of s?
False
Suppose -3*r + 5*f + 132391 = 0, 326*f - 323*f - 12 = 0. Does 43 divide r?
False
Let q(g) = 2*g**3 - 16*g**2 - 19*g - 55. Does 36 divide q(17)?
True
Suppose -5*c + 4*j + 177 = 0, -5*j = c - 0*c - 18. Suppose -5*w - 4*i = 43, -2*w - 3*w - c = -i. Let t(h) = h**3 + 6*h**2 - 8*h - 2. Is t(w) a multiple of 5?
True
Suppose -44 + 24 = -5*h. Let b(d) = -d - 6. Let p be b(h). Is p/4*-2*6 a multiple of 15?
True
Let g = 38 + -1. Suppose o + g = 10. Let m = o + 51. Is 4 a factor of m?
True
Suppose -i = -r - 4856, 3*i - 4*r - 10668 = 3900. Is i a multiple of 13?
False
Suppose -19*y + 19206 = -8*y. Suppose 0 = -4*o + 5*k + 1285, 4*k + y = 5*o + 133. Suppose -5*n + 485 = -o. Is n a multiple of 9?
True
Let a(w) be the second derivative of -11*w**3/6 + w**2/2 - 2*w. Let i(d) = 21*d - 1. Let k(j) = 5*a(j) + 3*i(j). Is 5 a factor of k(1)?
True
Let t = -65 + 69. Suppose 31 = -2*h + 7*h - 2*g, 0 = 4*g + 12. Suppose -2*n - h*o = -43, t*n = -3*o - o + 68. Is n a multiple of 2?
True
Let r(f) = 1151*f + 36. Let w be r(4). Suppose -u = 3*q - 1158, 0 = 4*u + 34*q - 30*q - w. Does 14 divide u?
False
Let u(d) = 2*d**3 + 131*d**2 + 129*d - 315. Does 14 divide u(-61)?
False
Suppose 0 = -191*l - 455*l + 14659032. Does 31 divide l?
True
Let u = 114 - -4892. Does 27 divide u?
False
Suppose -3*c + 12 = 0, 3*m - 5*c - 385 = -2721. Let v = 883 + m. Does 16 divide v?
False
Is 14 a factor of 231540/25 + ((-272)/(-40) + -7)*-2?
False
Suppose -3 = i - 9. Let x be 334/i + 12/(-18). Let b = x + -13. Is b a multiple of 7?
True
Suppose -4 = -2*z + l - 3*l, 0 = -4*z + l + 8. Let n(f) = -f**2 + 7*f. Let k be n(z). Is 4 a factor of (-68)/(-8) - 5/k?
True
Suppose 3*c + 6 - 3 = 0. Is ((-2)/(-12)*0 - c) + 179 a multiple of 36?
True
Suppose 0 = 3*q - q + 80. Let j = 41 + q. Is (7/((-126)/384))/(j/(-9)) a multiple of 32?
True
Let k(g) = -g**2 + 37*g + 15. Let x be k(37). Suppose 6126 = x*o - 1614. Is o a multiple of 51?
False
Suppose 12*i - 3059 = 1573. Suppose -3*h + 2*v - i + 1405 = 0, -4*v + 1013 = 3*h. Does 34 divide h?
False
Let l(s) = s - 1. Let a be l(4). Suppose -4*d + a*m = 4*m - 376, -4*m = 3*d - 295. Suppose -3*f - x = -208, -5*x + 63 = 2*f - d. Is 15 a factor of f?
False
Let k(g) = -3*g + 1. Let w(l) = -8*l - 55. Let i(d) = -2*k(d) + w(d). Does 3 divide i(-46)?
False
Suppose -36*z = -25732 - 5536 + 4160. Does 2 divide z?
False
Let u(k) = -k**3 - 8*k**2 - 2*k + 11. Let y be (2/(-2))/(4/(-12)). Suppose 13*h - 9*h = 2*n - 24, -5*n = y*h + 44. Does 27 divide u(h)?
True
Let q(y) = 5*y - 5. Let b be q(2). Let r be 4/(b + 76/(-16)). Suppose 9*v + 1008 = r*v. Is 24 a factor of v?
True
Let h(x) = 2*x**2 - x + 2. Let w be h(-3). Let k(s) = 32*s + 221. Is 29 a factor of k(w)?
True
Let u(a) = -14*a**3 + 10*a**2 - 10*a - 11. Let v be u(5). Let o = 2629 + v. Is o a multiple of 19?
False
Is -7 + 2506/14 + 13 a multiple of 2?
False
Let u(w) = w**2 + 5*w - 22. Let n = 21 - 33. Let y be u(n). Let f = y - -50. Does 16 divide f?
True
Let s be 6/10 + (5920/(-25))/8. Let x = s + 37. Is 9 a factor of -4*(-116)/x - 4?
True
Let g be 31/11 + (-18)/(-99). Suppose 3*y = s + 645, 12 = -g*s + 3. Is y a multiple of 24?
False
Let a(d) = -14*d**3 + 17*d**2 - 14*d - 3. Let w be a(-6). Suppose -5*l + 75*n + 6195 = 71*n, -4*n + w = 3*l. Does 21 divide l?
True
Does 56 divide (2 - -35871) + ((-49)/4 - -12)*12?
False
Let x(c) = 109*c**2 - 116*c + 1412. Is x(13) a multiple of 59?
False
Let n be (0 - (-12)/(-10))/((-10)/25). Suppose 4*d - n*h + 7*h - 284 = 0, -2*h = -d + 65. Let b = d + -13. Does 14 divide b?
True
Is 5 a factor of -1 + 32831/6 + ((-920)/48)/23?
True
Let h = 58 - 51. Let l(p) = 2*p**2 + 3*p + 12. Let k(x) = x**2 + x + 6. Let u(q) = h*k(q) - 3*l(q). Is 14 a factor of u(11)?
False
Suppose -4*j = -2*j - 5*f - 11, 11 = 3*j - 2*f. Suppose 0 = -6*v + j - 3. Suppose v = -11*q 