 = 510 + -985. Does 14 divide 76/(-57) + t/(-3)?
False
Let u = 2408 - -2054. Is 103 a factor of u?
False
Suppose 17*d + 714 = 31*d. Does 9 divide d?
False
Let g be -8 + (0 + 3)/3. Let y(x) be the third derivative of x**4/12 + 17*x**3/6 - 26*x**2. Does 2 divide y(g)?
False
Suppose -o + 5*t + 120 = 0, 4*o - t = 7*o - 280. Is 5 a factor of o?
True
Let y = -4219 - -7256. Does 35 divide y?
False
Suppose -v + 2*c = -3*v, -5*v + 4*c - 18 = 0. Is 78/9 - v/6 a multiple of 9?
True
Suppose 4*x + 201 = 57. Let r be (-749)/(-9) + 8/x. Let m = 143 - r. Does 12 divide m?
True
Suppose -4*m + 7*m - 90 = 0. Does 11 divide (-2)/(-12) + ((-4025)/m)/(-5)?
False
Suppose 3*t - 7*t = -4. Let i be ((-30)/18)/(t/(-3)). Suppose -3*o = 3*u - i*o - 96, -63 = -2*u + o. Is 10 a factor of u?
True
Suppose 6*f - 50344 = -23*f. Does 56 divide f?
True
Let t(z) = 3*z**3 - 2*z**2 + z + 2. Is 3 a factor of t(1)?
False
Is 64 a factor of 2 + (993/15)/(7/35)?
False
Let r be 8/(-1*(-3 - -1)). Let h be ((-117)/(-12))/(1/r). Suppose -h = 2*v - 129. Is v a multiple of 15?
True
Suppose 22*n - 11*n = 1606. Is 12 a factor of n?
False
Suppose 2*j = -20*j + 8360. Is j a multiple of 101?
False
Let a = -230 - -312. Is a a multiple of 3?
False
Let w be 16 + 9/6*-2. Let y = w + -18. Is (-96)/y - 4/20 a multiple of 12?
False
Suppose 0 = -2*t - 5*j + 56, t + j = 4*t - 84. Does 14 divide t?
True
Suppose -3*w + 46 = 2*h - 1112, -5*w - 2870 = -5*h. Does 16 divide h?
True
Let g(w) = 4*w - 8. Let j be g(8). Let o = j - -14. Does 19 divide o?
True
Let m(q) = -2*q**2 - 10*q. Suppose 0 = 5*t - 3*n - n + 7, 0 = 3*t - n + 7. Is m(t) a multiple of 6?
True
Let t(r) = -15*r - 1. Suppose 0 = -3*d + 5*d - j + 6, 5*j = 2*d - 10. Let l be t(d). Let y = l + -18. Is 12 a factor of y?
False
Let j = 1066 - 643. Is j a multiple of 9?
True
Let v(g) be the second derivative of 11*g**3/6 + 14*g**2 - 15*g. Does 20 divide v(12)?
True
Let n(y) = 3*y**2 - 2*y - 97. Does 32 divide n(-11)?
True
Let x = -1 - -5. Suppose 0*s + 2*s + x*b = 340, -3*s + 510 = -b. Does 34 divide s?
True
Suppose -l - 1 - 15 = 0. Let a = -6 + l. Let q = a - -61. Does 13 divide q?
True
Let o = 691 + -372. Is o a multiple of 20?
False
Let j be ((-32)/(-4))/((-1)/(-252)). Suppose -2*g = -10*g + j. Is g a multiple of 36?
True
Is 7 a factor of 7 + (-7 - -981) + -8?
True
Let d be (0/4)/((-4 + -2)/3). Suppose y + 3*u - 77 = d, -u + 6*u = 0. Is 10 a factor of y?
False
Let m = 2149 + -1560. Is 15 a factor of m?
False
Suppose 4*o = s + 3*s - 1848, s + o = 462. Is s a multiple of 21?
True
Let x(o) = -o + 1. Let q(d) = d**2 + 18*d - 7. Let w(k) = -q(k) - 6*x(k). Does 6 divide w(-11)?
True
Suppose 13*u - 368 = 5*u. Suppose 44*c = u*c - 140. Is c a multiple of 10?
True
Let z(m) = -m**2 + 11*m - 9. Let j be z(4). Suppose -14*a - 330 = -j*a. Suppose -5*q - 3*r = -308, q = -7*r + 2*r + a. Is 15 a factor of q?
False
Let d = -105 - -101. Is 34 a factor of 3 + 1 - (d - -11) - -50?
False
Let k be (-932)/(-8) - -2 - (-3)/6. Is (-16)/7 - -2 - (-10030)/k a multiple of 14?
True
Suppose -3*s + 0 = -84. Suppose 0 = -19*v + s*v - 1602. Does 14 divide v?
False
Let f = -60 - -307. Suppose 5*t - 2 = 4*m - f, m = t + 60. Does 13 divide m?
False
Let v(f) = -f + 3. Let t be v(1). Suppose 7*n - t*n - 10 = 0. Is ((2 + -3)*-54)/n a multiple of 13?
False
Let r(i) = -i**3 + 9*i**2 - 7*i + 4. Let b(d) = d**2 - d - 1. Let t be b(2). Let j = t + 7. Is 10 a factor of r(j)?
False
Let q = 66 - 61. Does 26 divide ((-45)/(-20))/((30/208)/q)?
True
Let y = 19 - 10. Let u be ((-28)/(-21))/(4/y). Suppose 15 = u*q, -5*n + 4*n + 1 = -q. Is 4 a factor of n?
False
Let f(b) = -b - 1. Let o be f(1). Let p be ((-9)/(-27))/(o/(-306)). Let d = p - 29. Is 11 a factor of d?
True
Suppose 5*q - 696 = 129. Suppose 5*j = -0*j + q. Is 24 a factor of j?
False
Let c(z) = -3*z**3 - z. Let u be c(-1). Suppose -9*t + 28 = 3*m - u*t, -2*m - 4*t = -22. Is (-126)/(-3)*m/2 a multiple of 9?
False
Let l(q) = -q**3 + q**2 + 2*q + 218. Let k be l(0). Let r = k + -120. Is r a multiple of 14?
True
Suppose 0*t - 5*w = -5*t + 15, 0 = -4*t + 5*w + 8. Let f = 48 - t. Is 19 a factor of f?
False
Let c be ((-10)/(-3))/(8/12). Let z(v) = -v**3 - 7*v**2 - 11*v. Let y be z(-5). Suppose -p + a + 19 = 5*a, y*p - 45 = c*a. Is p a multiple of 11?
True
Suppose -16*n + 187 = 43. Suppose -3*k + 11 = -2*y, -2*k - y + 5 = -0. Suppose j = a - 7 - n, 0 = k*a + 2*j - 38. Does 14 divide a?
True
Let g(y) = -y**2 - 4*y. Let f be g(-6). Let m(c) = -c**3 - 12*c**2 - 3*c - 20. Does 4 divide m(f)?
True
Let w(c) = 2*c + c**2 - 2*c + 11 + 6*c. Let i(p) = -p**3 + 24*p**2 - 25*p + 37. Let a be i(23). Does 19 divide w(a)?
True
Let a be (-3 + (-15)/(-6))*-8. Let q be (-6)/a + 3/(-6). Let m(l) = -7*l + 1. Is 5 a factor of m(q)?
True
Let o be -2*-59*(-2)/(-4). Suppose -4*p = -4*u - 16, -8 = -5*p + 6*p + 5*u. Suppose -p*f + 49 = -o. Is f a multiple of 18?
True
Let h be 1/(-4 - (-45)/10). Suppose h*f - m - 46 = 0, 5*f = -0*m + 2*m + 116. Is f a multiple of 9?
False
Let k(s) = 4*s + 90. Let a be k(-22). Suppose -3*d + 36 = 3*n - 57, -a*d = n - 28. Is 14 a factor of n?
False
Suppose 5*y + 3*g - 4970 = 0, -4*y + 3963 = 8*g - 3*g. Does 25 divide y?
False
Let l(m) = 27*m. Let x be -1 + 5 + (-5 - -3). Suppose -x*t - 1 + 3 = 0. Is 13 a factor of l(t)?
False
Suppose -5*n = 351 - 2326. Does 79 divide n?
True
Let r = -22 + 22. Suppose -288 = -r*z - z. Suppose 4*n + 0 = z. Is 12 a factor of n?
True
Let s be (2/4)/(8/32). Suppose b = -5*g - s*b + 22, 10 = -g + 3*b. Suppose -y - g*y = -57. Does 19 divide y?
True
Let j(u) = 2*u**3 + u**2 - 9*u - 3. Does 4 divide j(4)?
False
Let i = -14 + 12. Let d = 1 - i. Does 4 divide -8*(-5 + 3) + d?
False
Let c = -42 + 222. Is c a multiple of 42?
False
Let t(g) = -2*g**3 - g**2 - 3*g - 4. Let o be t(-2). Let z be 103/5 + (-4)/(-10). Let h = z + o. Does 24 divide h?
False
Suppose 0*x - 4 = 2*x. Let b be (-174)/(-1 + -3 - x). Let l = -61 + b. Is 13 a factor of l?
True
Let g(b) = -51*b**3 + b**2 + 2*b. Let x be g(-1). Suppose -2*d = -3*k - 5, 0*d - 4*k + x = 3*d. Is 2 a factor of (16/d)/((-18)/(-45))?
True
Suppose -4*i = 5*d - 179, 0 = -i + 3*i + 2*d - 90. Is 9 a factor of i?
False
Let x be (4 + -1 - 3)*1. Suppose -4*w + 36 - 12 = x. Let j = w - -2. Is 7 a factor of j?
False
Suppose y - 452 = -3*h, -5*y + h - 2302 = -10*y. Suppose -2*u + 4*a + 436 = 0, -y = -2*u - a - 0*a. Is 30 a factor of u?
False
Suppose 8*v + 4850 = 13850. Does 5 divide v?
True
Let q(l) = -l + 1. Suppose -2*h + 14 = 2. Let p be q(h). Let k(j) = -11*j - 11. Does 22 divide k(p)?
True
Let v(z) = z**3 + 10*z**2 - 14*z + 3. Let w be v(-11). Let g be 172/w - 2/(-9). Suppose b + g*j = -0*b + 54, -5*b = -3*j - 186. Is b a multiple of 13?
True
Let j(g) = g**3 - 6*g**2 - 7*g + 7. Let k = 6 - -1. Let l be j(k). Suppose -15 - l = -q. Is 14 a factor of q?
False
Let h be (-52)/8 - -6 - 85/(-2). Suppose 159 = -39*l + h*l. Is l a multiple of 5?
False
Let k(w) = -w**3 + 15*w**2 - 7*w - 31. Does 24 divide k(13)?
True
Suppose 0 - 5 = u + 5*n, 5*u + 5*n + 5 = 0. Suppose 5*y - 7 - 13 = u. Is 22 a factor of (-466)/(-14) - y/14?
False
Suppose -3*q + 2*u + 0*u = -1302, -q + 434 = 4*u. Is 14 a factor of q?
True
Let s = -1561 - -2465. Does 13 divide s?
False
Let q(l) = 5*l**2 - 41*l + 50. Is 21 a factor of q(-13)?
True
Suppose -3*j + r = -5, -5*j + 19 = -0*j + r. Suppose -j*u - 390 = -13*u. Is u a multiple of 13?
True
Let o = 223 + -318. Let f = 5 - o. Is 10 a factor of f?
True
Let w(l) = -l**3 + 4*l**2 + l + 1. Let h be w(4). Let s = 617 - 502. Suppose -i + 27 - s = -2*q, -h*i = -2*q + 96. Is q a multiple of 11?
False
Suppose -7*j - 17340 = -22*j. Does 34 divide j?
True
Let t = 41 - -55. Does 8 divide t?
True
Suppose 0 = 2*f + 2*f. Does 10 divide 41 - (2/(-1) - f)?
False
Suppose -4*w = -2*b - 2065 - 3257, -6652 = -5*w + 3*b. Is w a multiple of 25?
False
Let f = 305 - 35. Is f a multiple of 18?
True
Let n be (-7)/1 + (9 - 8). Let f(p) = p**3 - 2*p - 17 + 15 + 6*p**2 + 0*p. Does 3 divide f(n)?
False
Let m(i) = -i**3 + 16*i**2 - 8*i - 49. Let c be m(15). Is 4 + ((-25)/2)/((-7)/c) a multiple of 10?
False
Let b = -2 + 8. Suppose 5*m = -r + b + 10, 3*m - 3*r = 24. Suppose y - 2*y = -1, -5*p + 196 = -m*y. Is 10 a factor of p?
True
Suppose -48 = -2*d - 12. Suppose -5*s = 4*b - d, -3 - 3 = -s - 2*b. Suppose 0 