 a factor of t?
False
Suppose -90 = 2*h - 35*k + 37*k, -3*k + 152 = -4*h. Let d(a) = -a**2 - 43*a + 132. Is 14 a factor of d(h)?
False
Let b = -15838 + 19358. Is b a multiple of 16?
True
Is 74200/24*840/350 a multiple of 35?
True
Let o(r) = 4*r**2 + 115*r - 70. Suppose 0 = 11*j - 400 + 730. Is 16 a factor of o(j)?
True
Let q be 9*4*(-20)/24. Is (124/q - (-4)/30) + 54 a multiple of 25?
True
Let g = -349 + 298. Let s = 154 - g. Is 18 a factor of s?
False
Suppose -7 = -6*h + 17. Suppose h*u - 92 = -l - 8, -228 = -3*l - 4*u. Does 11 divide l?
False
Suppose 40249 = -76*n + 106*n + 8119. Does 7 divide n?
True
Let z(c) = 9*c + 21. Let o(h) = h + 1. Let n(p) = -3*o(p) - z(p). Let s be n(-9). Suppose -s*t + 79*t + 290 = 0. Is t a multiple of 3?
False
Suppose -4*s = -135 + 151. Let v(b) = 15*b**2 - 15*b - 60. Is v(s) a multiple of 40?
True
Suppose -10 = 5*p, 3*d = -2*p + p + 13. Is (-30)/d - (-127 - 9) a multiple of 19?
False
Suppose 5*t + 5*c = 75934 - 28714, 2*t + c = 18886. Does 32 divide t?
False
Let c(o) = 687*o**2 + 25*o - 38. Is 30 a factor of c(2)?
True
Let t = 1872 + -1874. Let p(x) = -x + 60. Let q be p(0). Is 37 a factor of 18906/q + t/20?
False
Suppose -1632 = 5*n - 21*n. Suppose 4*q + g - 453 = 0, -12*g + n = q - 8*g. Is q a multiple of 2?
True
Suppose 5*d - 5*c = 20395, 0 = -44*d + 49*d - c - 20379. Is 51 a factor of d?
False
Let n = 46 - 44. Suppose 5 - n = u. Suppose -5*x = h - 9, -3*x - 27 = -u*h - 7*x. Does 9 divide h?
True
Let y = -70438 + 118951. Does 159 divide y?
False
Suppose 5*o = 10, -11791 = -14*a + 3*a - 5*o. Does 50 divide a?
False
Let z be 38/4 + (-10)/20. Suppose z*p - 1920 = -3*p. Is p a multiple of 16?
True
Let g = -451 - -450. Let j(u) = -126*u**3 - 2*u**2 + u + 2. Does 3 divide j(g)?
False
Let c = 38 + -36. Suppose 5*h = 4*o - 0*o + 181, c*o + 41 = h. Is h a multiple of 3?
True
Let w = 4292 - 3078. Is w a multiple of 11?
False
Suppose 13*z - 2*z + 16687 = 71544. Does 7 divide z?
False
Suppose -24 = n - 30. Let m(u) = 8*u**2 + 5*u - 12. Is 9 a factor of m(n)?
True
Does 66 divide (285/(-12) + -1)*(-33088)/132?
True
Let i(r) = r**3 + 15*r**2 + 14*r + 2. Let t be i(-14). Suppose t*s - 357 = -25. Let z = s - -8. Does 33 divide z?
False
Let i = -48297 + 129955. Is 12 a factor of i?
False
Let c = 72768 - 28533. Is 146 a factor of c?
False
Let q(a) = -13*a + 91. Let w be q(7). Let f = -57 - -161. Suppose -f = -4*o + 4*j, w = -4*j + 7 + 1. Is 28 a factor of o?
True
Let v be (-1)/((-1)/(-22)*-1). Let k(x) = -x**3 + 15*x. Let y be k(3). Suppose 0 = y*t - v*t + 344. Is 17 a factor of t?
False
Suppose 0 = -3*c - 2*c - 1370. Let y = -176 - c. Suppose 2*l = -5*u + 190, -y + 250 = 4*u + 4*l. Does 19 divide u?
True
Let k = -5556 + 8046. Does 5 divide k?
True
Let q = 497 + -503. Let t(w) = -207*w + 32. Is t(q) a multiple of 26?
True
Let x(r) = 2*r**2 - r - 2. Let c be ((-1)/7)/(13/(-455)). Is x(c) a multiple of 33?
False
Let k = -14691 + 25341. Is 150 a factor of k?
True
Suppose 92147 = -33*c + 503137 + 309400. Is 74 a factor of c?
True
Let s(n) = -n**3 - 4*n**2 - 4*n - 3. Let t be ((4 - 3) + 5)/(-2). Let r be s(t). Suppose 0*u + 3*u - 156 = r. Is u a multiple of 15?
False
Let m(y) = y**2 + 14*y + 13. Let h(p) = -122*p**3 + p**2 + 2*p + 1. Let a be h(-1). Let z = 129 - a. Is m(z) a multiple of 16?
True
Suppose 0 = -4*o + 2*b + 1289 + 173, 4*o + 3*b = 1477. Suppose -375*p + o*p + 312 = 0. Is 39 a factor of p?
True
Let b(a) = -3974*a**2 - 12*a + 24 + 3978*a**2 - 18*a. Does 16 divide b(12)?
True
Let f(l) = 2*l**2 + 30*l - 25. Let b be f(-23). Suppose 0 = w - 3*s - b, -2*w + 4*s + s + 685 = 0. Is 4 a factor of w?
True
Let o = -5365 + 10151. Is o a multiple of 155?
False
Let h(c) = c. Let g(v) = -7*v + 2. Let z(t) = -g(t) - 4*h(t). Let r(x) = x**2 + 23*x + 52. Let i be r(-21). Is z(i) a multiple of 14?
True
Let m(n) = 12*n**2 + 32*n - 5. Let l be m(-3). Let b(t) = -t**2 - t. Let y(c) = 2*c**2 - 9*c - 2. Let q(x) = -3*b(x) - y(x). Does 15 divide q(l)?
True
Suppose -28 - 98 = -9*t. Is 12 a factor of (1/(3/316))/(t/21)?
False
Suppose -3*j = -0*j + 3*j. Let x(z) = -z**3 + 2*z**2 - z + 3. Let r be x(j). Suppose m - 4*u - 50 = r, 3*m + 5*u = 91. Is m a multiple of 4?
False
Suppose 627*m + 89040 = 635*m. Is 42 a factor of m?
True
Suppose 18 = 4*s + 75*m - 73*m, 0 = -2*s - 5*m + 29. Suppose -s*h - j + 5214 = 3*h, 0 = h - 4*j - 1026. Does 31 divide h?
False
Let p = 27 - 7. Suppose -y - 5*d = -107 - p, -5 = 5*d. Let a = y + -36. Is a a multiple of 19?
False
Let s(v) = 20*v + 644. Let d be s(-32). Suppose -5*j = 0, -3*j = 2*y + 2*y - 20. Suppose -d*c - n + 61 = 0, -29 - 47 = -y*c - n. Is 15 a factor of c?
True
Suppose t - 6 = 4*d + 2, 3*t = -4*d + 8. Suppose 0 = x + 2*x + 12, t*f - 2*x - 660 = 0. Suppose 3*w + f - 10 = 5*i, -5*w - 95 = -3*i. Does 30 divide i?
True
Suppose -532 = -s - 68. Does 7 divide s?
False
Let i = 1216 + -735. Suppose -6*k + i = -65. Is 7 a factor of k?
True
Let w = -193 + 189. Is 12 a factor of 4/((-16)/(-2076)) + (0 - w)?
False
Let y be 80/6 + -6 - 4/(-6). Suppose y*p - 524 = 332. Suppose 3*r - 48 - 13 = -2*f, -5*r = -2*f - p. Is r a multiple of 7?
True
Suppose -3*i - 5*m - 16 = 0, -2*i - 32 = 2*i - 4*m. Let r(g) = 8*g**2 + 7*g - 13. Does 15 divide r(i)?
True
Let l(k) = k**3 + 9*k**2 + 10*k + 19. Let s be l(-8). Suppose 4*u + 6*b = s*b - 19, u + 5*b + 9 = 0. Let g(y) = -2*y**3 - 7*y**2 - 9*y + 2. Does 9 divide g(u)?
True
Let q = 1208 - 1202. Let w(f) = f**2 - 7*f + 3. Let y be w(7). Is 9 a factor of (y/(q + 3))/((-1)/(-63))?
False
Let g(i) = -i**2 + 11*i - 22. Let k be g(-18). Let j = k - -624. Is j a multiple of 16?
True
Let r = 330 + -114. Does 23 divide 1/((-6)/r)*-17?
False
Is ((-86)/344)/(1/(-63404)) a multiple of 121?
True
Suppose -77936 = -3*g - 4*c, 3*g + 978 = 4*c + 78874. Is g a multiple of 19?
False
Let a = 542 + 4840. Let j = 468 - 470. Is ((-24)/15 - j) + a/45 a multiple of 15?
True
Let m(b) = -b + 10. Let u be m(4). Does 10 divide (-146)/2*5/(-30)*u?
False
Suppose f = -1, -20*w + 22*w + 3*f - 2475 = 0. Is 59 a factor of w?
True
Suppose -866 = -3*v + 2*q, -5*q + 2 = -4*q. Suppose -4*a + v = 9*i - 14*i, 4*a - 2*i - 296 = 0. Does 5 divide a?
True
Let o be (1*-1)/(20/(-580)). Let n be o/4 - (-6)/8. Suppose 0 = 4*b - 72 + n. Does 2 divide b?
True
Let o = -482 - -687. Let s be 3 + 3*(-4)/10*-5. Suppose s*b - 272 = o. Is b a multiple of 10?
False
Let n = -5775 + 11654. Does 78 divide n?
False
Is 841 + 6 + -3 + -4 + 75/5 a multiple of 15?
True
Suppose -4*i = -j - 12509, -2*i - 3*j + 2211 + 4054 = 0. Is 4 a factor of i?
True
Let o be 4/(-6)*372/(-8). Suppose -l - 5*y = 1 - 0, l = 3*y + o. Suppose -4*r = -0*i + i - l, -29 = -4*r + i. Is r even?
True
Let r = -72 - -116. Suppose -34*d = -r*d + 5540. Is 13 a factor of d?
False
Let t = -50 + 100. Let i = t - 54. Does 22 divide 152 + (i/(-1) - 18/9)?
True
Let s(c) = -15117*c - 57. Is 10 a factor of s(-1)?
True
Let o = 138 + -179. Suppose 5*c - 146 = 3*c. Let t = o + c. Does 32 divide t?
True
Let c(v) = 6*v**2 + 48*v + 12. Let o be c(-12). Let j = o + -252. Is j a multiple of 16?
True
Let t be (-18)/(-4) - (-3)/(-2). Let m(v) = -2*v**2 - 25*v + 1. Let f be m(-3). Let q = f + t. Is 15 a factor of q?
False
Let m(p) = 24*p**3 + 3*p**2 - 2. Let x be m(1). Does 92 divide (-5)/x - 12882/(-10)?
True
Let x(t) = t + 3. Let g be x(1). Suppose 4*o - 12 = 0, -400 = j + 3*j + g*o. Let z = 14 - j. Does 33 divide z?
False
Suppose 5*o - 4*p - 28810 = 0, 2*p + 3*p - 11557 = -2*o. Is 14 a factor of o?
False
Let n = 71 - 70. Is n + 12/(-8) + (-833)/(-14) even?
False
Suppose 3*w + 687 = 5*h, -14*w + 9*w - 409 = -3*h. Is h a multiple of 7?
False
Let g be ((-12)/(-9))/(-1 + 1421/1428). Does 25 divide (-17)/g + (-8703)/(-16)?
False
Let o(t) = t**2 + 0*t**2 + 1 - 9 + 28*t - 27*t. Let k be o(-4). Suppose -v + 34 = -u, 0 = -2*v - k*u - 4 + 72. Does 17 divide v?
True
Suppose 0 = 4*s - a - 4230 - 5616, 4*s = 3*a + 9858. Is s a multiple of 31?
False
Let f = -493 + 663. Suppose -f = -2*l - 2*w, 11*w - 423 = -5*l + 8*w. Is l a multiple of 28?
True
Let v be 88/10 + (-16)/20. Suppose 3*p + 4 = -v. Let d = p - -14. Is 5 a factor of d?
True
Let y(w) = w**3 + 28*w**2 - 35*w - 116. Is 9 a factor of y(-28)?
True
Let q(b) = -2*b**3 - 93*b**2 - 12*b + 3. Is 134 a factor of q(-49)?
True
Let y(p) = p**2 + 93*p + 803. D