17*h - 15. Is 69 a factor of t?
True
Let h(b) = b**3 + b**2 + 2*b. Let s be h(2). Is 14 a factor of (-6)/(-1 + s/100*6)?
False
Let m(q) = q**2 + 10*q + 3. Let u(v) = -4*v**2 + 3*v. Let n be u(2). Let d be m(n). Does 19 divide (-1)/d + 3/(9/58)?
True
Let b(n) = 55 - 3*n**2 - 93 + 90 - 93*n. Does 13 divide b(-26)?
True
Let r be -1 + (-2)/((-2)/11). Let y(z) = z + 14. Does 3 divide y(r)?
True
Let p = -18934 - -23902. Is p a multiple of 46?
True
Let q be -4 - (30/(-3) + 32/8). Let b(l) = -l**3 - 7*l**q - 472 + 482 + 10*l - 2*l. Does 50 divide b(-9)?
True
Suppose 2*m = 5*y + 428, -m + 108 + 88 = 2*y. Let i = m - 194. Does 10 divide i?
True
Let o be 6/1 - (24 + -15). Does 27 divide (-33143)/(-88) - -1 - o/8?
True
Suppose -12 = 2*u, -256*s - 3*u + 13234 = -252*s. Does 17 divide s?
False
Let r(s) = 5*s**2 - 3*s + 86. Let l(g) = g**3 - 11*g**2 + 13*g - 21. Let y be l(10). Is r(y) a multiple of 58?
True
Let o be (-1)/(-1)*(2 - -4). Suppose -4*m - o = -4*w + 2*w, w = -m + 6. Is 59/m + 0*7/(-28) a multiple of 17?
False
Does 31 divide 3/27 - (-5 + 13292/(-9)) - -2?
False
Let z = 84 - 75. Suppose -z*j - 112 = -25*j. Suppose -2*t = 4*w - 70, -4*w - 2*t + j*t + 63 = 0. Is 8 a factor of w?
False
Let y = -5695 + 16495. Is 36 a factor of y?
True
Let u(h) = 5*h**2 - 9*h + 4. Let j be u(-3). Suppose 3770 = 86*w - j*w. Is w a multiple of 28?
False
Suppose -14010 = -5*g - b, 6*b - 7*b + 11208 = 4*g. Is g a multiple of 6?
True
Let p(w) = -w - 6. Let t be p(-6). Suppose 6*d - d - 5 = 0, t = a - 2*d - 110. Suppose 3*n - 248 = a. Is n a multiple of 12?
True
Let s be (-2 - -1*2)/((-27)/27). Suppose o - 3*x - 686 = s, 0 = -7*o + 4*o + x + 2090. Is 64 a factor of o?
False
Let x = -3443 - -4958. Does 33 divide x?
False
Let m be (-1 - (-77)/(-49))/(1/7). Does 22 divide (-2)/6 + -6 + (-3246)/m?
False
Suppose 0 = 62*o - 11311 + 1143. Is o a multiple of 17?
False
Let u(n) = -n**3 + 24*n**2 - 21*n + 67. Does 7 divide u(21)?
False
Let m(t) = 20*t**3 - 10*t**2 + 43*t + 42. Is 18 a factor of m(12)?
True
Let b be 4 + ((-9)/(-6))/(12/256). Suppose -5645 + 21341 = b*y. Does 13 divide y?
False
Suppose 3*z = 2*s - 2 + 18, 22 = 5*z - s. Suppose a - 5*a - z*r + 960 = 0, 2*r = 0. Is 40 a factor of a?
True
Let l(n) = 275*n - 326. Does 23 divide l(6)?
False
Suppose 2 + 7 = 3*b. Suppose 0 = -6*i + b*i - 6. Let o(d) = -7*d**3 + 5*d**2 + 5*d + 4. Is o(i) a multiple of 14?
True
Let q be ((-1296)/(-16))/((-2)/(-1*2)). Suppose 0 = -4*a + 1589 - q. Is 13 a factor of a?
True
Let p(x) = 158*x**2 - 5*x - 12. Let j(l) = -158*l**2 + 7*l + 14. Let b(n) = 3*j(n) + 4*p(n). Is b(2) a multiple of 11?
False
Let i be 12*((-16)/(-3) - 2). Suppose -45*c + i*c + 1955 = 0. Is 23 a factor of c?
True
Let y(v) = -6*v**3. Let x be y(-1). Suppose 24*d - 21*d - x = 0. Suppose 37 = a - d*c, 0*a + c - 49 = -a. Is 15 a factor of a?
True
Suppose 0 = 3*o + 12 - 24, -5*z + 4*o = -47979. Is z a multiple of 10?
False
Let n = 60 + -51. Let u(y) = -3*y**3 - 10*y**2 + 2*y - 10. Let p(a) = -4*a**3 - 10*a**2 + 2*a - 9. Let d(x) = 4*p(x) - 5*u(x). Is d(n) a multiple of 18?
False
Let x(p) = -p**3 - 31*p**2 - 32*p - 395. Is x(-32) a multiple of 25?
False
Suppose -4 = 2*c - 10. Suppose 279 + 333 = c*k. Suppose 0 = 3*i - i - k. Does 22 divide i?
False
Suppose 0 = -n - 4*i - 12, 3*n = 5*i - 17 - 2. Is 10/n + (-5185)/(-20) a multiple of 7?
False
Let t = -46 - -51. Does 8 divide 74 - (t - 4/4)?
False
Does 82 divide -1586*(-637)/112 - ((-39)/24 - -2)?
True
Let t = -6946 + 7121. Does 35 divide t?
True
Let s be (-459)/(-81)*(2 - (-3 + 2)). Let u(n) = -n**2 - 5*n + 3. Let t be u(-5). Is (s/3)/(t/9) a multiple of 13?
False
Suppose 9 = -18*w + 81, -u + 4570 = -5*w. Is 27 a factor of u?
True
Let g(c) = 5*c + 38. Let x(n) = -2*n - 13. Let t(s) = 3*g(s) + 8*x(s). Let o be t(-12). Suppose 0 = -12*d + 14*d - o. Is d a multiple of 11?
True
Let l be 3/(60/(-25) + 2 - -1). Suppose l*o - 2860 = 4*h - 6*h, 4328 = 3*h - 2*o. Is h a multiple of 60?
True
Let c = -36 - -203. Suppose 0 = -5*f - 2*z + c, 3*f - 7*z - 121 = -3*z. Does 9 divide 29 - ((-10)/f)/(3/(-21))?
True
Suppose 2*n - 37618 = j, 6951 = -3*n - 2*j + 63378. Is n a multiple of 120?
False
Suppose 4*f - r = 112, 2*r - 20 = 7*r. Let b(d) = 19*d**2 - 176*d + 36. Let v be b(9). Let u = v + f. Is u a multiple of 18?
True
Let r be (-1)/((3 + -9)/42). Does 66 divide (-15 + r - -8) + 594?
True
Let w(t) be the third derivative of t**6/120 - 19*t**5/60 - 13*t**4/24 - 58*t**3/3 - 110*t**2. Is 17 a factor of w(20)?
False
Suppose -52 = -6*y - 28. Suppose -3*a = -0*i + 3*i - 624, -a + 199 = y*i. Suppose -m + 582 = a. Does 61 divide m?
False
Let k(s) = 1742*s - 9284. Is k(10) a multiple of 12?
True
Let f = 69 + -72. Let t(j) = -12. Let x(w) = w - 36. Let r(l) = f*x(l) + 8*t(l). Does 9 divide r(-16)?
False
Let o(l) = l**3 - 15*l**2 + 67*l + 9. Is o(22) a multiple of 8?
False
Does 17 divide (-3 + -99)*(-430 + 24)?
True
Let w(m) = 2*m**2 + 33*m + 34. Let i be w(-16). Does 25 divide (-16216)/(-72) - 4/i?
True
Let m(w) = 8*w**2 - 8*w**2 + 16*w - w**2 - 15. Suppose 86*g + 70 = 93*g. Is m(g) a multiple of 12?
False
Let t(o) = -o**2 - 6*o + 14. Let u be t(-8). Let p be 1*(-3 + 3) + u. Does 5 divide (20/(-16) + 2)/(p/(-40))?
True
Let v(q) = -5*q - 1. Let z(d) = 169*d - 17. Let t(x) = -6*v(x) - 2*z(x). Is 41 a factor of t(-2)?
True
Suppose -5*b + n - 109 - 12 = 0, 3*n = -3*b - 69. Let m(j) = -j**3 - 18*j**2 + 96*j - 3. Does 44 divide m(b)?
False
Is 4479 - 130/(10 - 23) a multiple of 20?
False
Let t(j) = 20*j**2 + 11*j - 1. Let h be t(5). Let d = -281 + h. Is d a multiple of 13?
True
Let v = 10070 - 1005. Does 18 divide v?
False
Does 7 divide (3024/15)/((-129)/(-430))?
True
Let f(j) = 6*j**2 - 45*j + 20. Let d be f(11). Suppose d*q - 1026 = 249*q. Is 54 a factor of q?
False
Let r = -11 + -8. Let k(o) be the second derivative of o**5/20 + 5*o**4/3 + 19*o**3/6 + 3*o**2 - 825*o. Does 6 divide k(r)?
True
Let o(b) = -b**3 - 12*b**2 + 22*b + 135. Let q be o(-18). Let n = q - 195. Does 24 divide n?
True
Is 144 a factor of 8 + (-23 - -15) + (2 + 20234 - 2)?
False
Let z(i) = -2098*i**3 + 3*i**2 + 5*i + 4. Let y be z(-1). Suppose 4*r + 2*d = 4110, -3*r - 3*d + 987 = -y. Is r a multiple of 38?
True
Suppose -349 - 81 = -q + 3*p, -4*q + 1735 = 3*p. Suppose b = 2*b - 3*m - 121, 4*b = -5*m + q. Is b a multiple of 16?
True
Let t(n) be the third derivative of n**6/120 + 2*n**5/15 - 5*n**4/6 - 55*n**3/6 - 55*n**2 - 1. Does 4 divide t(-9)?
True
Let y be (3 - 60/28)*70/2. Suppose g = -0*g + y. Does 3 divide 132/g*45/6?
True
Suppose -8*y - 144*u = -143*u - 273979, -5*u = -5*y + 171265. Is y a multiple of 235?
False
Let w = 141 + -141. Suppose -37*p + 40*p - 39 = w. Is 10 a factor of p?
False
Let m(d) = 2*d + 17. Let f be m(-10). Let o(t) = -33*t**3 + 5*t**2 + 3*t - 2. Let z be o(f). Suppose -2*u = 0, 5*b - 3*u = u + z. Is b a multiple of 37?
True
Let m be (2 + 9 + 1)*(-9)/(-12). Suppose 17*x - 224 = m*x. Is x even?
True
Suppose 163*q + 16 = 167*q. Suppose o - 1934 = -q*o + 4*s, o - 382 = 2*s. Does 25 divide o?
False
Let r(t) = t**3 + 9*t**2 - 52*t + 3. Let d be r(-13). Suppose 8*v - 265 = d*v. Is 10 a factor of v?
False
Is 17 a factor of 15983198/1694 - ((-9)/132 - 2/(-8))?
True
Let f = -6764 + 7424. Does 60 divide f?
True
Suppose -6*n + 184 - 154 = 0. Suppose -n*i = v - 4299, 0*v + v + 855 = i. Does 17 divide i?
False
Let z(h) = -2*h**2 - 48*h + 21. Let q(k) = -2*k**2 - 6*k - 1. Let g be q(2). Is 18 a factor of z(g)?
False
Let r = -31 + 35. Suppose 2*y + 2*y + 8 = 0, 3*f - 11 = r*y. Is (-3 + (f - -3))*88 a multiple of 16?
False
Let o be ((-7 + 9)*1/2)/1. Suppose 0 = -4*s - o + 17. Suppose 0 = 2*m + 4*b - 6*b - 68, -s*b + 98 = 2*m. Is m a multiple of 20?
False
Suppose -22*j + 23*j - 3 = 0. Suppose 0*i - j*i - 14 = -r, -4*i = -r + 19. Is ((0 - 67) + i)/(-1) a multiple of 24?
True
Let w = -70 - -79. Suppose -w = -5*d + 131. Let c = d - -5. Is 8 a factor of c?
False
Let h(c) = 26*c**2 + 6*c - 57. Let i be h(8). Suppose 0 = 347*r - 352*r + i. Is 40 a factor of r?
False
Let p(r) = r. Let w(k) = 3*k - 28. Let t(v) = 2*p(v) + w(v). Suppose -24*d = -23*d - 7. Is t(d) a multiple of 3?
False
Suppose -1841*h - 4645 = -q - 1839*h, 12 = 3*h. Is 33 a factor of q?
True
Suppose -3*n = -4*b + 8023, -4*b - 18*n + 17*n + 8019 = 0. Is b a multiple of 22?
Fals