Let v be 12/(-1)*((-15)/(-6) + -2). Let d be -4 - 23/v - 76/(-24). Suppose 4*y - 784 = 3*q, -d*q - q + 980 = 5*y. Is y a multiple of 14?
True
Let s = 13103 - 3219. Is s a multiple of 14?
True
Let g(x) = -3*x + 5. Let a be g(0). Suppose b - 573 = y, y - 2838 = -a*b - 3*y. Does 16 divide b?
False
Let i = 54935 - 29870. Is 137 a factor of i?
False
Let t = 39 - 45. Let p be (t/(-8) - 1941/(-36))*3. Suppose -12*v + 10*v + p = 0. Is 8 a factor of v?
False
Suppose -2*f - 628 + 4487 = -4433. Is 31 a factor of f?
False
Suppose -2*t + 0 = 3*o - 44, o + t - 14 = 0. Let x = 227 + o. Suppose x = 7*c + 2*c. Is 5 a factor of c?
False
Suppose -52*g + 38044 = 12252. Is g a multiple of 5?
False
Let f(y) = y**2 + 6*y - 31. Suppose 4*u - t - 107 = 0, -5*u + 2*t = -3*u - 46. Suppose 3*c + u = h, -7*h - 58 = 5*c - 3*h. Is f(c) a multiple of 5?
False
Suppose 0 = 902*m - 910*m + 55216. Does 58 divide m?
True
Let a(w) be the first derivative of 5/2*w**2 + 2/3*w**3 - 24 + 0*w. Does 14 divide a(10)?
False
Let t(p) = -125*p + 50. Let s be t(-11). Suppose -3*b + 3*v = -s, b = 5*b + 5*v - 1873. Is 12 a factor of b?
False
Let t(a) = 8*a**2 - 90*a + 102. Does 5 divide t(16)?
True
Let t = 3389 + 5947. Does 6 divide t?
True
Let x(f) = 168*f - 853. Does 8 divide x(23)?
False
Suppose -5*j = 2*s - 36117, 3*j + 4*s = 16138 + 5521. Does 32 divide j?
False
Suppose -37*h - 36 = -28*h. Is (6/h)/(2 - 680/336) a multiple of 9?
True
Let j = 5598 - 5258. Does 17 divide j?
True
Let d = 53740 + -32184. Is 17 a factor of d?
True
Suppose 166*b + 11000 = 171*b. Is b a multiple of 22?
True
Let k = -9499 + 12644. Does 39 divide k?
False
Let l = 1733 - 280. Suppose 5*a - l = -2*m, -2 - 1 = 3*m. Is a a multiple of 33?
False
Let h(n) = -6*n + 13. Let q be h(-10). Suppose 53 = 2*b - 251. Let c = q + b. Is 45 a factor of c?
True
Suppose 19*m - 109668 = -z - z, m + 3*z = 5772. Is 167 a factor of m?
False
Suppose -r + 0 + 3 = 0. Suppose -7 = r*x - 1. Does 18 divide (-181)/x + (-6)/12?
True
Suppose 9*f = 10*f. Suppose 7*u - 3*u = f. Suppose -4*b = -5*t - 331, u*b = -3*b + 2*t + 243. Does 27 divide b?
False
Let o(v) = v**2 - 6*v + 13. Let n be o(4). Let z = -15 - -20. Suppose -86 = -3*i + d, n*i + z*d - 200 = -30. Is i a multiple of 6?
True
Is 10 a factor of ((-947988)/(-119))/(14/49)?
False
Let v(b) = -162*b + 7886. Is v(43) a multiple of 4?
True
Let c = -4 + 8. Let v(y) = 107*y - 101. Let o be v(2). Suppose c*b - k = 357, -4*k - 235 = -4*b + o. Does 18 divide b?
True
Let w(o) = 8*o + 162. Let c(q) = 4*q + 81. Let g(z) = -5*c(z) + 3*w(z). Is g(-11) a multiple of 9?
False
Let h(x) = -x**2 + 12*x + 23. Let u(k) = -2*k**2 + 24*k + 45. Let s(d) = 11*h(d) - 6*u(d). Let o be s(15). Is 6*(-20)/o*-7 a multiple of 10?
True
Let b(g) = g**2 + 11*g + 9. Let c be b(-11). Let d be (6/5)/(c/(-30)). Is 8 a factor of d/14 - 6096/(-168)?
False
Suppose 8844*y + 191632 = 8873*y. Does 227 divide y?
False
Let w be ((-98)/(-21))/((-6)/(-72)). Let t = 103 - w. Is t a multiple of 6?
False
Suppose -26*j - 39*j = -2726 - 156914. Is j a multiple of 158?
False
Let a(c) be the first derivative of 16*c**3 + 2*c**2 + 5*c + 8. Let b be a(-2). Let x = -132 + b. Is 19 a factor of x?
True
Suppose -5*o + 140424 = -s, 3*o + 9*s - 80233 = 3935. Is o a multiple of 11?
True
Let b(f) = 9 - 356*f + 180*f + 192*f. Suppose -w + 2*x + 4 = 0, -2*w + 16 = 3*x + x. Does 15 divide b(w)?
True
Let d be 6/(-3) + 108 + 0. Let i be (-3)/4 - 8931/156. Let s = d + i. Is s a multiple of 6?
True
Let o(j) = j**3 - 3*j**3 + 5*j**3 - 8*j**3 + 1. Let k be o(-1). Suppose -k = -3*n + 21. Does 9 divide n?
True
Let p(k) = -54 - 58 + 137 + 5*k. Let r be p(-7). Does 16 divide (-4)/(-10) + (-856)/r?
False
Let f(a) = 657*a - 6168. Is 6 a factor of f(32)?
True
Let t(c) = c**2 + 2*c + 1386. Let d be t(0). Suppose -5*u = u - d. Let p = u + -33. Is p a multiple of 22?
True
Let q be (-2)/8 - (-2960)/64. Suppose 45*r = q*r. Is (-276)/(-9)*(r + 6/4) a multiple of 7?
False
Let z be 3/(-1) + (-2 - -5). Suppose 2*s + 3*o = z, -5*o = -3*s + 21 + 17. Suppose 0 = -4*r + 4*c + 728, -912 = r - s*r + 3*c. Is 31 a factor of r?
False
Suppose -6 = -i + 5*k, -3 + 1 = -4*i - 2*k. Let g be 2/(i/(6 - 3 - 1)). Suppose -5*z + g*j = -z - 56, 4*j = -3*z + 49. Is z a multiple of 3?
True
Is (-13436)/((-7)/3 + 125/75) a multiple of 13?
False
Suppose 7*k = 3612 - 105. Suppose -4*v = -4*f + 563 + k, -v + 1360 = 5*f. Let l = f + -157. Is l a multiple of 38?
True
Let f(j) = -16*j - 4. Let d be f(-4). Suppose y = -0*y + d. Let m = -16 + y. Is 13 a factor of m?
False
Suppose 5*v - 80 = 2*j, 4*j = -3*v + v + 8. Let n(p) = -p**2 + 27*p - 42. Is 14 a factor of n(v)?
True
Let o be 17181/30 + 15/50. Suppose -5*h + l = -359 - o, 548 = 3*h + 5*l. Is 6 a factor of h?
True
Does 7 divide (2381/1)/(-22 + 30 + -13 + 6)?
False
Suppose -3*x = -7*x + 292. Suppose 3*l + 19 = x. Does 3 divide l?
True
Let j(h) = 170*h + 2. Let o be j(2). Let k = 506 + o. Is k a multiple of 14?
False
Suppose -12 = 3*k, 0 = 4*r - 19*k + 21*k - 460. Suppose -114*u - 144 = -r*u. Does 6 divide u?
True
Is 190 a factor of (2080/13 - 8)/((-2)/(-125))?
True
Suppose 4*g = -5*s + 2724, 5*s - g = 2*g + 2752. Suppose j - s = -3*j - 4*l, 2*j + l = 273. Does 15 divide j?
False
Is (10308/(-36)*6)/((-2)/15) a multiple of 27?
False
Let x = -1555 + 425. Let k = x + 1802. Does 6 divide k?
True
Let b(q) = 5*q**2 - 20*q - 5. Suppose -2*a = 2*a - 4*o + 24, -2*a - 2*o - 8 = 0. Does 22 divide b(a)?
True
Let f be (1 - -1) + (3 - 2). Suppose 5*s + 4 = 4*w, -f*s - s - 2 = -2*w. Suppose 170*a - 165*a - 30 = s. Does 3 divide a?
True
Suppose 45675 = 5*f - m, -2*f + 5*m - 6*m = -18270. Does 45 divide f?
True
Suppose 54 = -3*g + 51. Is 9 a factor of 9*(416/(-12))/g?
False
Let a be 132/726 - (3472/(-22) + -2). Does 35 divide 50/(-4)*(-3584)/a?
True
Let s(t) = 2*t**2 + 22*t + 60. Let l be s(-26). Suppose l = -f + 11*f. Does 6 divide f?
True
Suppose 30 = o + 12*p - 9*p, 2*p = 10. Let n(a) be the second derivative of a**4/12 - 5*a**3/2 + 11*a**2/2 + a. Does 3 divide n(o)?
False
Does 135 divide 9/(-24) + (-611889)/(-24)?
False
Let k be (-1264)/(-18) - 52/234. Let g = k + -56. Is 6 a factor of g?
False
Let m be (60/(-12))/(10/(-1538)). Let b = -433 + m. Is b a multiple of 42?
True
Let z(d) = 12*d - 5. Let w be z(8). Let i be 26/w + (-66)/(-14). Suppose i*c + 5*o = 284 - 54, c - o - 50 = 0. Is c a multiple of 8?
True
Let w(a) = -273*a + 23. Let r be w(-3). Suppose -2*x = -3*v + 1772, -r = 4*v + 3*x - 3182. Is 12 a factor of v?
True
Let u = -64 + 67. Is -180*u/((-60)/(-8))*-5 a multiple of 15?
True
Let d = 972 - 1395. Let r = d - -561. Is r a multiple of 2?
True
Let f(a) = 2*a**3 + 5*a**2 - 3*a + 7. Let r be f(-5). Suppose -x + 8 - 203 = 3*s, -4*x = 3*s + 780. Let n = r - x. Does 12 divide n?
False
Is 12 a factor of 20/(-4) + (-17252)/(-4)?
True
Suppose -82*j + 202552 = -145620. Does 11 divide j?
True
Let i(r) = 12*r**2 + 92*r + 496. Does 33 divide i(25)?
True
Let l(m) = -42*m**3 + 15*m**2 + 74*m - 13. Does 15 divide l(-7)?
True
Let u(o) = 153*o + 10. Let w be u(-2). Let d = -282 - w. Is d a multiple of 7?
True
Does 186 divide 136270/11 - 32/176?
False
Let t(s) = -9326*s + 166. Is 4 a factor of t(-1)?
True
Let c(a) = 19*a + 102. Let k(u) = -9*u - 51. Let q(b) = 4*c(b) + 7*k(b). Does 58 divide q(5)?
True
Suppose 0 = -11*r + 74175 + 23769. Suppose -2*c - r = -5*x, 4*x - 15*c = -13*c + 7122. Does 38 divide x?
False
Suppose -7*p + 6820 = 4*b - 3*p, 0 = -3*b + 3*p + 5157. Is 24 a factor of b?
False
Let z(w) = 17*w**2 + 4*w + 7. Does 16 divide z(-3)?
False
Let i(r) = -r**3 - 12*r**2 - 4*r + 13. Let m(h) = 2*h**3 - 4*h**2 - h + 7. Let v be m(3). Suppose 3*u + 4*x = -6 - v, 2*x = -5*u - 56. Does 15 divide i(u)?
False
Let f(h) be the first derivative of 2*h**3/3 + 31*h**2/2 - 34*h + 127. Is f(-26) a multiple of 64?
True
Let k(l) = -l**3 + 8*l**2 + 13*l + 6. Let a(y) = y**2 + 2*y - 3. Let p be a(10). Let c = -108 + p. Does 6 divide k(c)?
True
Suppose 2*j - 11*h - 23680 = -16*h, 59200 = 5*j + 5*h. Is 20 a factor of j?
True
Let h be ((-4)/(-7))/(13/(273/6)). Let o(p) = h*p**2 - 60*p + 42*p + 31*p + 9. Is o(-11) a multiple of 9?
True
Let h(d) be the first derivative of -5*d**4/4 + d**3/3 + 3*d**2/2 + 5*d + 22. Let i be h(-4). Suppose 9*k = i + 373. Does 7 divide k?
False
Suppose 78*y = 74*y