Let v be z(-3). Let d be 22/8 - (15/4)/5. Suppose -2*o + 4*t = -76, d*o - o = 4*t + v. Does 14 divide o?
True
Let v be (-16)/(-12) - (-6)/9. Suppose 4*j = v*g - 4, -2*g - 3 = -7. Suppose y + j*y - 34 = 0. Is y a multiple of 20?
False
Let q = 40 + -13. Suppose -7*m + 267 + q = 0. Does 14 divide m?
True
Let q(u) = -2*u - 21. Let y be q(-9). Is 45 a factor of 47/(1/y*-1)?
False
Suppose 0 = t + 1 - 5. Suppose 2*v + t*l - 168 = 0, 5*v - 218 = l + 180. Is v a multiple of 8?
True
Let h = -113 + 221. Suppose -d + 2*d + b - 51 = 0, 2*d + 4*b - h = 0. Is d a multiple of 17?
False
Suppose 0 = c - 2*v - 836, -2522 = -c - 2*c - v. Is c a multiple of 35?
True
Let z(u) = u**3 - 3*u**2 + 7*u - 6. Let w be z(5). Let l = w - 48. Is 16 a factor of l?
False
Let o = -818 + 2378. Is o a multiple of 52?
True
Let h = -821 - -886. Is h a multiple of 26?
False
Is 12*18/135*995 a multiple of 13?
False
Suppose -5*v + 11 = -4*t, 0*t = v - 3*t. Let l = 6 - v. Suppose 4 = -2*k, 2*k - l*k - 58 = -4*p. Does 6 divide p?
False
Let a(z) = 4*z**2 - 1. Let n(c) = 5*c**2 - 1. Let s(k) = 6*a(k) - 5*n(k). Let q be s(-2). Let v(w) = -17*w - 4. Is 27 a factor of v(q)?
True
Suppose -510 = -2*y + 330. Is y a multiple of 30?
True
Let z = 620 - 396. Is z a multiple of 4?
True
Let x(w) = 132*w**3 - w**2 + 1. Let p be x(1). Suppose 7*r - 10*r + p = 0. Is 12 a factor of r?
False
Let o = 15657 - 10343. Is 36 a factor of o?
False
Let z be ((-8)/(-10))/(1/5). Let q be 44/8 - (-2)/z. Is 8 a factor of ((-3)/q)/(1/(-18))?
False
Let x(v) be the third derivative of -v**7/840 - v**5/120 + v**4/24 - 11*v**3/6 + 3*v**2. Let m(o) be the first derivative of x(o). Is m(-2) a multiple of 7?
False
Suppose 9*x - 1 - 35 = 0. Suppose p + 2*s = 81, x*p - p - 240 = -3*s. Is 9 a factor of p?
False
Let i(v) = -v**3 - 12*v**2 + 17*v - 12. Does 4 divide i(-15)?
True
Let x = 3 + -1. Suppose a = -x*a + 21. Let k = a - -25. Is 12 a factor of k?
False
Let h be -1 + 2 + (-3)/3. Suppose 2*u - 544 = -2*q, h = -3*u + 4 + 2. Suppose 0*o - 5*o = -q. Is 18 a factor of o?
True
Let h = 845 - 222. Suppose r + 4*b + 41 = 4*r, 0 = 2*b + 10. Suppose -r*t - 91 + h = 0. Is t a multiple of 38?
True
Let g(r) = -17*r - 2. Is g(-10) a multiple of 28?
True
Suppose 0 = 3*n - 10*n - 7. Suppose i = -i + 8. Is 53*n/i*-4 a multiple of 24?
False
Let b = 26 + -23. Suppose -5*g = -i + 27, 2*g + 30 = b*i - i. Suppose i*c = 10*c + 108. Is 9 a factor of c?
True
Let b(p) be the second derivative of p**3/6 + 3*p**2 - 7*p. Suppose -i + 28 = 4*s, -2*i + 3*s + 0 = -1. Is 4 a factor of b(i)?
False
Let v be 3 - (-7 - (-3 + 2)). Suppose 7*t + 64 = v*t. Is 4 a factor of t?
True
Let j be (-1 + 3 + -1)*3 + 0. Suppose j*q = -5*q + 272. Is q a multiple of 34?
True
Suppose 5*n - 40 = -3*b + 4*n, -45 = -2*b + 3*n. Does 30 divide (412/6)/((100/b)/10)?
False
Suppose 3*t = j + 2261, -66*t - 5*j = -63*t - 2267. Is 6 a factor of t?
False
Let t(q) = q**2 - 15*q - 28. Does 3 divide t(20)?
True
Let a be (-3)/6 - (-91)/2. Let p = -17 + a. Let q = -14 + p. Does 4 divide q?
False
Let x be (-22)/(-77) - (-24)/14. Suppose -x*b = -7*b + 10. Suppose b*z + w = -w + 36, 0 = 5*z + 3*w - 96. Is z a multiple of 7?
True
Let p be (0 + 6/4)*(23 + -19). Suppose -2*h = 4*d - 174, -3*d + p*h = h - 150. Does 9 divide d?
True
Let z(x) = -x**3 - 5*x**2 + 6*x + 3. Let q be ((-6)/(-12))/((-2)/24). Let a be z(q). Suppose 0 = a*u - 0*u - 60. Is 9 a factor of u?
False
Let r(h) = -h**3 + 6*h**2 + 2. Let j be r(6). Suppose -2*w + 20 + 10 = j*o, -2*w = -5*o + 75. Is 3 a factor of o?
True
Suppose -y - i = -36, i + 12 = 2*y - 51. Suppose 8*n + y = 9*n. Is 11 a factor of n?
True
Let m(l) = l + 14. Let i be m(-12). Is 12 a factor of i/(-6) + ((-1600)/(-12) - 1)?
True
Let z(c) = -2*c**3 - 8*c**2 - 6*c. Let x be z(-5). Suppose -5*i = -2*f + x, -f - i + 62 = 2*i. Suppose 5*d - 6*d + f = 0. Does 28 divide d?
False
Let y(j) = -j**3 - 10*j**2 - 8*j + 11. Let s be y(-9). Is s + (2 + 80 - 0) a multiple of 15?
False
Let f(z) be the third derivative of -z**5/60 + 5*z**4/8 + z**3/2 + 5*z**2. Let d be f(14). Let w = d - -3. Does 5 divide w?
True
Is 29 a factor of 223 + 1 - (-1)/3*-3?
False
Suppose 557*c + 1754 = 559*c. Is 16 a factor of c?
False
Let x = -67 + 22. Let v be (-604)/(-10) - (-18)/x. Let i = -38 + v. Is i a multiple of 11?
True
Let u be (-873)/(-6) + 6/4. Suppose 9*x = 2*x - u. Is (-5)/(15/6)*x a multiple of 14?
True
Let p(h) = 23*h**2 + 11*h + 39. Is p(-6) a multiple of 89?
True
Suppose -64 + 22 = -3*x. Suppose 0 = -5*c + 11 + x. Suppose 190 + 5 = c*y. Is y a multiple of 22?
False
Let q = -3 - -6. Suppose q*n = n - 4. Does 9 divide (18/8)/(n/(-24))?
True
Let d(x) = 125*x + 50. Is 38 a factor of d(3)?
False
Does 20 divide 939*(9 - 8) + 8?
False
Suppose 3*d + 4614 = 7*d - 2*s, 4*s - 1176 = -d. Is 18 a factor of d?
False
Let y(n) = -n - 13. Let k be y(-20). Suppose 4*t = 13 + k. Is t even?
False
Let p = -289 - -397. Does 18 divide p?
True
Let q(h) = 6*h**3 - 14*h**2 - 5*h - 1. Let a(p) = -7*p**3 + 15*p**2 + 6*p + 1. Let g = -4 - 1. Let d(r) = g*a(r) - 6*q(r). Does 26 divide d(8)?
False
Suppose 0 = -5*y - 15, 1467 = 4*p - y. Suppose -m = z - 98, 4*m - 24 - p = -3*z. Is m a multiple of 32?
True
Let k(b) = 4*b + 8*b + 3*b**2 - 4*b**2 - 9. Let u be k(15). Is 12 a factor of (-12)/((u/(-20))/(-9))?
False
Let a(k) = 54*k**2 - 23*k - 3. Is 8 a factor of a(-3)?
True
Let u(q) = q - 3. Let m be u(7). Suppose -m*d + 7 + 517 = 0. Does 21 divide d?
False
Suppose 2*g - 3*f - 224 = -2*f, 0 = 2*g + 2*f - 212. Let z = -98 + g. Is z a multiple of 12?
True
Suppose -5*q + 3*b - 607 = 0, -q + 6*q = -3*b - 583. Let x = q - -159. Is 4 a factor of x?
True
Let w(j) = 27*j - 45. Does 13 divide w(19)?
True
Let z = 14 - 10. Suppose c + 24 = 5*d + 3*c, 0 = 3*d + z*c - 20. Let y(b) = 3*b**2 + b + 1. Is y(d) a multiple of 20?
False
Let p(f) = -807*f - 814. Is p(-4) a multiple of 12?
False
Let b = -62 - -37. Let o(d) = d**2 + 23*d - 41. Is 9 a factor of o(b)?
True
Let j(r) be the second derivative of -r**3/2 - 19*r**2/2 - 5*r. Let b be j(-8). Suppose b*l + 70 = 2*t + l, 0 = t + 2*l - 27. Is 6 a factor of t?
False
Suppose 3*v + h - 1842 = 0, -2*v - v - 3*h = -1842. Does 38 divide v?
False
Let z = 18 - 14. Suppose 0 = 5*p - 3*w - 1, 0 = p - 3*w + w + z. Suppose p*t - 4*k - 41 = -k, -5*k - 31 = -t. Does 16 divide t?
True
Let k(f) = -f - 4. Let q be k(7). Let x = 15 + q. Suppose -5*j + 4*j + 87 = 2*t, 87 = j + x*t. Does 34 divide j?
False
Suppose 27*b = 13*b + 98. Suppose -2*r + 628 = 5*a, 5*a + b*r = 2*r + 625. Is a a multiple of 11?
False
Let d(h) = 5*h**3 + 12*h**2 + 11*h + 2. Let g(m) = -m**3 - m**2 - m. Let x(y) = -d(y) - 3*g(y). Let p be x(-6). Let o = p + -89. Is 13 a factor of o?
True
Suppose 8*b - 6*b = 0. Let z be (20 - b)*5/10. Is (-4)/10 - (-184)/z a multiple of 6?
True
Suppose 0*k - 4 = -2*k. Suppose -2*n - k = 5*f, -f - 2 = -0*f. Suppose 3 = -g, -2*d = d + n*g - 30. Does 14 divide d?
True
Let w(o) = -o + 4. Let t be 6/27 - 16/(-9). Let u be w(t). Suppose -u*q + 24 = -2*r, -8*q - 4*r + 15 = -3*q. Is 2 a factor of q?
False
Let a = -4 + 6. Let b be 1/((-1)/a) - -20. Suppose 0 = -2*j + i + b, j - 5*j - 5*i = -64. Is 3 a factor of j?
False
Suppose 3*q + 31 + 53 = 0. Does 39 divide 113 - (7/q)/((-2)/8)?
False
Let p(g) = 188*g + 67. Is p(3) a multiple of 16?
False
Suppose -5*j - 3*m - 95 = 0, 4*j + 6*m = m - 76. Let t = j - -42. Is 7 a factor of t?
False
Let t(u) = -u**2 - 9*u + 4. Let q be t(-9). Suppose -2*m - q*m = -408. Is m a multiple of 7?
False
Suppose -16*n + 672 = -12*n. Does 13 divide 5 - (-1)/(3/n)?
False
Suppose -2*q - 6*n + 1326 = -4*n, -2644 = -4*q - 2*n. Suppose q = 6*u + 47. Is u a multiple of 15?
False
Let f(t) = -t**2 - 8*t + 1. Let u be f(-7). Let h = 58 + u. Does 33 divide h?
True
Suppose -l - 5*t + 23 = -2*l, -l + 3*t - 15 = 0. Let r(d) = 4*d**2 + 5. Let c(u) = u + 1. Let v(a) = -5*c(a) + r(a). Is v(l) a multiple of 12?
False
Does 11 divide 0 - (4816/(-40) - (-9)/(-15))?
True
Suppose 155 = -4*b + 655. Suppose 0 = 4*t - b - 275. Is t a multiple of 20?
True
Let r be (-868)/(-7) - (-4)/(-1). Suppose 3*k - r = 96. Is k a multiple of 21?
False
Suppose 3*n = 2*n. Let c(b) = -3*b**3 + 3*b**2 - b + 35. Let v(t) = 8*t**3 - 8*t**2 + 3*t - 105. Let j(s) = -11*c(s) - 4*v(s). Is 14 a factor of j(n)?
False
Let n(c) be the fir