92. Does 19 divide t?
False
Suppose 7*k = 3 + 11. Let s(j) = 27*j**2 + 3*j + 1. Does 23 divide s(k)?
True
Let n be (-2 + 1)*(-84)/(-4)*37. Is (-1)/3 + n/(-9) a multiple of 17?
False
Let b(n) = 7*n**3 - 2*n**2 + 2*n - 1. Let h be 2/(-10) + (-54)/(-45). Let g be b(h). Suppose -5*f + 4 = -g. Is f a multiple of 2?
True
Suppose 4*n = -n + 100. Suppose -n = -6*i + 2*i. Suppose -i*t = h - 68, 3*t - 26 = t - h. Does 14 divide t?
True
Let v = 1956 + -1356. Suppose 5*b - 2*b - v = 0. Does 20 divide b?
True
Suppose 4*q - 6*w = -w - 102, -q + 5*w - 18 = 0. Let p be (-14)/3*216/q. Is -1 + 1 + (p - 3) a multiple of 11?
True
Suppose 6*s - 70 = 16*s. Let a = 21 - s. Is a a multiple of 3?
False
Let z be 6*-1*(-8)/6. Suppose 0 = -h - z*x + 4*x + 8, 8 = 5*h + 4*x. Is 4 a factor of (3 + h)*64/12?
True
Suppose p + 3 = f + 1, 0 = -p - 4*f + 18. Suppose -461 = -3*i - 5*j, -294 = -5*i - p*j + 487. Is 29 a factor of i?
False
Let v = 47 + -45. Is 13 a factor of (-1)/v*(-461 + 19)?
True
Let i be 6/9 - (-10)/3. Suppose -2*x - 2 + i = 0. Is (0 - -2) + x - 0 a multiple of 3?
True
Let r(c) = -13 + 3*c**3 - 5*c + 8 - 8*c**2 + 1. Is 22 a factor of r(5)?
False
Let m be (-16)/40 + (-34)/(-10). Suppose m*z = -z. Suppose z*i + 22 = 2*i. Is i a multiple of 11?
True
Let f = 73 + 1. Let y = 127 + f. Does 25 divide y?
False
Suppose -171 - 3117 = -8*v. Is 18 a factor of v?
False
Let g(s) be the first derivative of -11*s**4 - s**3/3 + s + 1. Does 11 divide g(-1)?
True
Suppose 3 = 2*a - 3*j, -3*a + j - 5*j - 4 = 0. Suppose -5*r + 25 = 0, 3*r - 199 = -2*g - a*g. Is g a multiple of 14?
False
Let z(p) = -p**2 - 17*p. Let b be z(-16). Suppose o + o = b. Is o a multiple of 3?
False
Let j = 160 + 773. Is 17 a factor of (-160)/(-25) + -6 - j/(-5)?
True
Is 21 a factor of -2*(-21)/(-2)*-18?
True
Let w = -385 + 1004. Does 43 divide w?
False
Suppose -1263 + 262 = -5*r - 2*u, 0 = -5*u - 10. Is 5 a factor of r?
False
Let g(r) = -r**3 + 4*r**2 + 12*r + 2. Let t be g(6). Suppose -t*o = -3*o + 9. Suppose q = 4*q - o. Is q a multiple of 3?
True
Suppose -2*u + 0*u + 16 = 0. Suppose -3*s = -u*s - 95. Let j = s - -75. Is 14 a factor of j?
True
Let k = 69 + -31. Suppose 3*b = 2*b + 63. Let a = b - k. Is a a multiple of 13?
False
Suppose -6*z = -2*z - 436. Suppose 0*t + 3*t = -3*p + 237, -5*t = -15. Let b = z - p. Is b a multiple of 33?
True
Let r be (-1 - 2) + 0 - -9. Is 17 a factor of ((-18)/(-4))/(r/56)?
False
Suppose 29*y - 30 = 23*y. Suppose -3*w + 2*h = -7*w + 122, -h - 170 = -y*w. Is 11 a factor of w?
True
Let h(v) = -v**2 + 5*v + 12. Let f be h(7). Let n be (9/(-18))/(f/84). Suppose 255 = 5*b - 4*j + n, 47 = b - j. Is 9 a factor of b?
False
Suppose -18 = 20*w - 14*w. Let a(h) = -15*h - 5. Is a(w) a multiple of 9?
False
Suppose -k = 3*b - 180, -18*k + 21*k - 4*b = 488. Does 14 divide k?
True
Let m(h) = 6*h**2 - 6. Let x be m(-6). Suppose x = b + 2*b. Does 14 divide b?
True
Suppose 5*y = 4*n + 12, -2*y + 10 = 3*n - y. Suppose -3*v - 10 = -2*v + j, -4*j + 44 = -n*v. Let s = v + 58. Is 14 a factor of s?
False
Let q = -38 + 36. Is 11 a factor of q - 1 - (13 - 38)?
True
Suppose 0 = -3*u - 4*s + 1160, 0 = 19*u - 16*u + 3*s - 1155. Does 20 divide u?
True
Suppose t + 10*x - 109 = 11*x, -10 = -2*x. Is 2 a factor of t?
True
Let r(p) = -4*p - 1. Let o be r(-1). Suppose 7 - o = -h. Is 15 a factor of -4 + h/4*-19?
True
Let x(g) = -2*g**3 + 8*g**2 - 8*g - 6. Let t be x(4). Let v = t - -116. Does 26 divide v?
True
Let k(g) be the third derivative of g**7/2520 + g**6/360 - g**5/120 + g**4/12 + 4*g**2. Let z(j) be the second derivative of k(j). Does 23 divide z(4)?
True
Does 7 divide 268 + ((-14)/7 - 0)?
True
Suppose 2*d - 126 = -5*d. Is 39 a factor of (13 + 22)*d/7?
False
Let i(d) = -6*d + 6. Let u = -1 - -6. Let g be i(u). Let v = 50 + g. Is v a multiple of 13?
True
Let z be (-52 - -6)*(-1)/2. Suppose -10*c - z = -9*c. Let s = -3 - c. Is s a multiple of 10?
True
Let s be 24/60 - 23/(-5). Suppose -a + 420 = s*a. Is 8 a factor of a?
False
Let n(f) = -f**2 + 10*f - 11. Let l be n(8). Let i(c) = -c**3 + 4*c**2 - 6*c + 7. Let z be i(l). Let g = z + 104. Is g a multiple of 20?
False
Let w(l) = -l**3 + 7*l**2 - l + 4. Let x be w(5). Suppose j + 5*m = x, -2*m - 3 = -3*j + 59. Does 14 divide j?
False
Suppose 5*o - 452 = -102. Let c = o - 38. Does 7 divide c?
False
Does 21 divide (16 - -2)*(56/12 - 1)?
False
Suppose 0 = -5*p + 5*s - 10, -3*s = 4*p - 0*s + 8. Is -26*1/p*(10 - 5) a multiple of 13?
True
Let f = 3758 - 787. Is f a multiple of 14?
False
Let d be ((-77)/(-22) + 1*-4)*-8. Suppose -d*t + 4*n = -512, -t + 4*n - 37 = -150. Does 19 divide t?
True
Is 22 a factor of ((-6292)/10)/(5*(-1)/25)?
True
Suppose 6*m + h + 273 = 7*m, 4*h - 298 = -m. Is m a multiple of 102?
False
Let f = -13 + 15. Suppose -4*g - a + 162 = 0, f - 10 = -4*a. Does 5 divide g?
True
Suppose -m + 1079 = -4*h + 6*h, -2*h = 2*m - 1080. Is 32 a factor of h?
False
Let i(a) = -a**3 - 9*a**2 - 6*a + 16. Let j be i(-8). Let s(h) = -h**3 - h**2 + 6. Let g be s(j). Let m(p) = 5*p + 10. Is m(g) a multiple of 31?
False
Suppose i - 5*b = 50, -2*b - 8 = 2*b. Suppose -3*v - s + 56 = 0, i = 4*v - 2*v + 2*s. Let c = v - -3. Does 9 divide c?
False
Is (-51)/(-15) + -3 - (-19592)/20 a multiple of 70?
True
Let a be (20/(-30))/(1/(-6)). Is 56/6 + 3/((-9)/a) a multiple of 3?
False
Suppose -22*k + 26*k - 9612 = 0. Is 9 a factor of k?
True
Let v(n) = -n**3 - 20*n**2 + 33*n + 20. Let i be v(-22). Let w = i + -133. Is 15 a factor of w?
False
Suppose -5*i + 55 = -5*k, 0 = 3*i - 2*k + 7*k + 7. Suppose i*v - 7*v = -70. Suppose -4*s - 230 = -5*y, 8*s - v = -y + 4*s. Does 10 divide y?
True
Let z = -698 - -1270. Does 13 divide z?
True
Let r = 129 + -23. Suppose r = 4*h + 2. Is h a multiple of 13?
True
Is 11 a factor of (-2)/10 + 28626/130?
True
Suppose 0 = 3*g - v - 2*v - 18, 6 = g + 4*v. Let y(h) = -5 + 2*h - 5 + 3*h + g*h. Is 17 a factor of y(4)?
True
Let y(t) = -7*t - 8 + 3*t - 12 - 1. Does 2 divide y(-6)?
False
Suppose 0 = -7*t + 1 - 8. Let l be 1/(-2 - 3/t). Is 3 a factor of (-2 + l + 0)*-3?
True
Suppose 3*m - 2 + 4 = 2*g, -m - 3*g = -14. Let a be 1/(-3)*-3*m. Does 5 divide 1 + a + 12/1?
True
Suppose -5*z - 2*v + 25 = 0, 6*v = 3*v - 15. Let n = -2 + z. Suppose 0 = m + 3, -4*y - n*m + 0*m = -33. Does 8 divide y?
False
Suppose 4*t = 3*t + 88. Suppose 93*n - t*n = 155. Does 31 divide n?
True
Let t(m) = -9*m + 1. Let n be t(-1). Let d = n - 7. Let p = 6 - d. Is p a multiple of 3?
True
Let i(r) = -54*r - 16. Is i(-6) a multiple of 7?
True
Suppose -9 = -8*f + 5*f. Suppose n - 2 = 0, 0*h + 296 = 4*h - 2*n. Suppose 2*l - f*c = 51, -l - 5*c + h = l. Is 10 a factor of l?
True
Let l be (-12)/10*(-30)/12. Let i(h) = 0 - 19*h - l + 35*h. Does 13 divide i(3)?
False
Suppose 5 = q + 1, -3*t + 109 = -5*q. Let r = t - 28. Is 12 a factor of (51/r + -3)*60?
True
Let s(t) = t**3 - 19*t**2 + 26*t + 46. Does 33 divide s(20)?
False
Suppose -3*k + 986 = -1207. Is 43 a factor of k?
True
Let w = -44 - -26. Let d = 37 + w. Is d a multiple of 18?
False
Suppose 1 - 3 = -c. Suppose c*h + 3*j = -0*h + 65, -2*h + 73 = -5*j. Is 15 a factor of h?
False
Suppose -4*o = -o. Suppose 3 = -3*i, o*p - 212 = -4*p - 4*i. Is p a multiple of 6?
True
Suppose -4*m = -u - 14 + 2, -3*u - 2 = 5*m. Does 13 divide (-1036)/(-8) + (10/u)/(-5)?
True
Let k = -81 + 126. Let u be 3/(-12) - k/(-20). Suppose d - 45 = -u*d. Is 3 a factor of d?
True
Let l(c) = -32*c + 22. Let z be l(-3). Suppose t - 61 = z. Is t a multiple of 23?
False
Suppose 0 = 2*y + 2*i + i + 52, 60 = -4*y + 5*i. Suppose 14*q - 805 = -21*q. Let o = q + y. Does 3 divide o?
True
Let f = -1492 - -4988. Does 46 divide f?
True
Suppose 0 = -t - 4*t + 20. Does 12 divide 12 - 1*(-4 + t)?
True
Suppose 0 = -3*m - 5*m + 4712. Suppose -296 = -h + 3*j, 2*h - 6*j - m = -j. Is 11 a factor of h?
False
Let g(t) = t**3 + 8*t**2 + 11. Let f be g(-8). Suppose 0 = -6*c + f*c - 70. Let w(j) = 3*j - 31. Is w(c) a multiple of 6?
False
Does 14 divide 625/15 + (1 - 2/3)?
True
Suppose 0 = 271*z - 279*z + 2360. Is 2 a factor of z?
False
Suppose 0 = 2*t + 4*a + 103 - 553, 2*t - 5*a = 414. Is t a multiple of 38?
False
Does 77 divide (-436563)/(-270) + 5/50?
True
Let z = -329 + 747. Is 22 a factor of z?
True
Suppose -426 = -4*z - 5*y, 4*z = 13*y - 10*y + 410. Does 8 divide z?
True
Suppose 3*r - s 