 12. Let y be (2/2 - j)*1*4. Is 2 a factor of 4/(-8)*2 + -3 + y?
True
Is ((-556325)/2380)/(1/(-152)) a multiple of 181?
False
Suppose 3*g + 2*g = 170. Suppose 5*f - 4*r - 45 = 0, 28*r - 20 = 32*r. Suppose 0 = -f*d - 2*a + 56, 2*d + 2*d - 2*a - g = 0. Is 7 a factor of d?
False
Suppose -846*t + 27394690 + 2848248 = 1653214. Does 19 divide t?
False
Let m(r) = -r**3 + 57*r**2 - 72*r - 22. Does 47 divide m(55)?
True
Suppose -3267*h = -3257*h - 8120. Does 28 divide h?
True
Suppose -9*y - 534116 = -70*y. Does 44 divide y?
True
Suppose 52 = 6*b + 70. Does 13 divide (14 + -13)*(b - (-210 - 1))?
True
Let s(a) = -9*a**2 - 46*a - 3. Let d be s(-5). Suppose d*u + 5*h - 79 = 1636, 3*h = -3*u + 2550. Is u a multiple of 65?
True
Let z be 24/44 + 905/55. Suppose 16*t = -z*t + 10461. Is 12 a factor of t?
False
Suppose 0 = 7*b - 8*b. Suppose 5*s + 16 - 6 = b. Let f = 9 - s. Is f a multiple of 4?
False
Let y be ((-8)/(-20))/(10/(-25)). Suppose -w + 687 = g, -w - 4*g - 702 = -2*w. Is 23 a factor of 1/1 + w/((-5)/y)?
False
Suppose 1642 - 112 = -5*w. Let u(y) = -79*y + 144. Let v be u(-4). Let d = v + w. Is 14 a factor of d?
True
Let r(j) = 3800*j - 13056. Is 73 a factor of r(19)?
False
Let u(a) be the third derivative of -13*a**4/12 - 3*a**3 - 21*a**2. Is u(-13) a multiple of 20?
True
Suppose -2*y - 5*t - 35 = -5*y, -t = 1. Suppose 5*d - y*d + 1105 = 0. Let s = d + -95. Is s a multiple of 18?
True
Let t(x) = -7296*x + 796. Is 53 a factor of t(-4)?
False
Suppose 52*d + 327 + 89 = 0. Let v(i) = 3*i - 9. Let l be v(7). Does 21 divide (-1 - l/d)*42?
True
Let o(h) = 140*h**2 + 1. Let y be o(-1). Suppose -c + 135 = -0*c + 2*r, -c - 4*r + y = 0. Let w = c + -83. Is 23 a factor of w?
True
Suppose -2*b + 31 = -a - 4*a, 0 = -5*b - 3*a. Suppose -z - 12 - 2 = -5*d, b*d = 5*z - 40. Suppose -191 = -5*m - z. Is 19 a factor of m?
False
Does 7 divide ((-173004)/(-8))/((-264)/(-110)) - (-6)/16?
False
Is (288/21)/(0 + -6 + 27612/4599) a multiple of 109?
False
Is 43 a factor of ((-5268)/(-3) - (-140)/20)/((-2)/(-58))?
True
Suppose m - 2 = d - 2*d, 14 = 5*m + d. Suppose -m*f - 3*r + 1412 = 2*r, 8 = 2*r. Is 12 a factor of f?
False
Let p be (31/(-5) - -5)/((-3)/60). Suppose -p*c + 25*c - g - 107 = 0, -222 = -2*c - 2*g. Does 13 divide c?
False
Suppose 0 = -138*w + 137*w - 14. Is 30*(2 + 6 - w/(-14)) a multiple of 14?
True
Let y(z) = -4*z - 53. Let o be y(-10). Is 42 a factor of o + 9 - (-45 + -1)?
True
Let o(a) = a**3 + 21*a**2 - 26*a - 40. Let m(l) = 19*l + 40. Let s(k) = 29*k + 60. Let h(x) = 8*m(x) - 5*s(x). Let z be h(-6). Is 16 a factor of o(z)?
True
Let w(a) = 2655*a - 72 - 2644*a + 71. Suppose 5*u - 4 = 4*u. Is w(u) a multiple of 18?
False
Does 93 divide (-12658)/(-8)*2*-42*12/(-252)?
False
Let a(v) = 2*v**2 - v + 71. Let h be a(0). Suppose j + 5*y = 334 + h, -4*y = -5*j + 1996. Is 10 a factor of j?
True
Let b(h) = 2*h - 9. Let z be b(6). Suppose -2 + 8 = z*r. Suppose -4*x - 54 = -s - 2*s, r*s + 2*x = 36. Is 8 a factor of s?
False
Suppose 7*b - 598 = -2*h, -2*b - 7*h + 10*h = -178. Suppose 3*g - g - 134 = 0. Let p = b - g. Does 8 divide p?
False
Let p = 69464 - 21590. Is 79 a factor of p?
True
Suppose -191*j + 29*j + 1944972 = 0. Does 29 divide j?
True
Let p = -18737 - -34426. Is p a multiple of 6?
False
Suppose 49 = -5*r - 6. Let f = 26 - r. Let s = f + 8. Is s a multiple of 9?
True
Let c(t) = 93*t + 3443. Does 34 divide c(35)?
True
Let a(s) = -10*s + 135. Is a(-7) a multiple of 41?
True
Suppose 30*m = 31*m + 4. Let w = m + -26. Is (72/(-4))/((-51)/w - 2) a multiple of 4?
True
Suppose -99*k + 4563053 = 138*k - 1658434. Is 127 a factor of k?
False
Let h = -6 - -1. Let o be -4 + (h/10)/(1/(-12)). Does 14 divide (o/4)/(8/1312)?
False
Let m(p) = 73*p + 1938. Is m(-16) a multiple of 31?
False
Suppose -5*u = -5*v + 15, 4*u + 2 + 10 = -5*v. Suppose v = -4*z + 4*l + 3572, -5*l = -2*z - 0*z + 1780. Suppose -z = -8*p + 409. Is 26 a factor of p?
False
Suppose -2*q - 3*z = -21845, 3*q - 26273 = 5*z + 6428. Does 22 divide q?
True
Let b(c) = 1294*c - 2485. Is 25 a factor of b(25)?
False
Let d be -1 + 0 + 6/2. Let l(m) = -6*m**2 + 5*m - 6. Let h(c) = -8*c**2 + 7*c - 9. Let w(i) = -5*h(i) + 6*l(i). Is 5 a factor of w(d)?
True
Suppose 0 = 6*a - 39*a - 46313 + 193922. Is 9 a factor of a?
True
Let y = -49272 + 93504. Is y a multiple of 15?
False
Let f(k) = -64*k**2 - 515*k + 4. Is 79 a factor of f(-6)?
True
Let v be -2 + (5 - 0) - -12. Let s be ((-175)/v)/((-2)/12). Suppose 2*k + 84 = 4*a, 0 = -0*a - 3*a - 2*k + s. Is 7 a factor of a?
False
Let w(b) be the second derivative of -b**5/60 - 2*b**4/3 - 2*b**3 + 7*b**2 + 19*b. Let o(k) be the first derivative of w(k). Does 8 divide o(-6)?
True
Suppose -179*c + 102*c = 10*c - 177306. Is c a multiple of 6?
False
Let c(s) be the first derivative of s**2/2 + 19*s + 1023. Let q be 10 + -1 + 1 + -1. Is 28 a factor of c(q)?
True
Suppose 64*b - 380 = 44*b. Suppose -b*g + 1700 = -15*g. Is 25 a factor of g?
True
Suppose -4*g - b = -3*b - 22, -3*b = 5*g. Suppose g*p - 13 = 26. Is p a multiple of 13?
True
Suppose -32*b + k = -36*b + 1295, b = -5*k + 319. Is b a multiple of 4?
True
Let i(l) = 8802*l + 438. Is 12 a factor of i(2)?
False
Suppose -7*t - t + 40 = 0. Let p(u) = -8*u**2 + 6*u + 6. Let x be p(t). Let j = 305 + x. Is 15 a factor of j?
False
Let d = -1644 - -3126. Is d a multiple of 6?
True
Let d be 76/(-2*3/(-3)). Let n = 26 - d. Let c = 115 + n. Does 10 divide c?
False
Let t(g) = 41*g + 5. Let d(p) = -20*p - 2. Let j(s) = 10*d(s) + 6*t(s). Let z be j(-3). Let o = 139 + z. Is o a multiple of 2?
False
Suppose 657*n = 752*n - 302860. Is 35 a factor of n?
False
Let n be 1/2*4*14/4. Suppose 0 = 2*f + h + 16, -f - 19 - n = -4*h. Let z = 90 + f. Is z a multiple of 40?
True
Let d = -571 - -603. Suppose -d*k + 1110 + 330 = 0. Is 28 a factor of k?
False
Suppose -14*v - 10*v + 14309 = 17*v. Is 11 a factor of v?
False
Suppose 8*k = 2111 + 2473. Let r = 1005 - k. Is 27 a factor of r?
True
Let x be 2/(-7) - (-74)/14. Let o(p) = -45*p**3 + 8*p**2 + 3*p + 4. Let s be o(-2). Suppose -65 + s = x*k. Is k a multiple of 10?
False
Let j = -18145 - -22703. Is j a multiple of 3?
False
Let a = 125 - 113. Does 6 divide 13/(26/a) + 72?
True
Suppose -153 - 17 = -10*v. Let b = 17 - 12. Suppose -b*w + 308 = 5*k - v, w = 4*k + 40. Does 26 divide w?
False
Let u(m) be the first derivative of -m**3/3 - 9*m**2 + 23*m - 75. Is 16 a factor of u(-9)?
False
Let i(d) = 18*d**3 + 8*d**2 - d - 13. Let w(c) = -17*c**3 - 8*c**2 + 2*c + 12. Let q(p) = 3*i(p) + 2*w(p). Does 50 divide q(3)?
True
Let s(r) = -298*r - 14371. Does 76 divide s(-84)?
False
Does 2 divide (5 + (103 - 1))/(5*(-7)/(-140))?
True
Suppose -3*l - 7*l = -3*l. Suppose 0 = -5*r + 5, l*f - 105 = 2*f + 5*r. Let i = f + 79. Does 7 divide i?
False
Suppose 5*u = 48*j - 47*j - 18984, -4*j + 75841 = -u. Does 26 divide j?
False
Suppose 2*c - w - 115 = -c, w + 1 = 0. Let m(r) = -39*r + 5 + 5 - r**2 + 95*r - c*r. Is m(16) a multiple of 7?
True
Let c = 15749 + -5620. Does 110 divide c?
False
Let b(g) = 4*g**2 - 7*g + 8. Let z be b(1). Suppose -3*d + 2961 = -5*s + 1105, 0 = -z*s + 25. Is 45 a factor of d?
False
Let a(k) = -239*k + 939. Does 6 divide a(-14)?
False
Suppose -5*g = 5*w - 21500, -281*w + 277*w - g = -17200. Is w a multiple of 10?
True
Let o = 583 + -396. Let t = o - 47. Does 14 divide t?
True
Suppose -192790 - 212615 = -90*i - 53*i. Is 21 a factor of i?
True
Is 1/(7/(-1) + 146200/20885) a multiple of 11?
False
Suppose -43*v + 82490 = -15808. Does 64 divide v?
False
Let d = -4534 - -9657. Is d a multiple of 97?
False
Let z = -5011 + 8551. Is 59 a factor of z?
True
Let g be (-2 + 1)*1*2. Let h be -3 + -1 + g/4*-18. Suppose -h*q = -4*x - 1869 + 184, -5*q = -3*x - 1680. Does 17 divide q?
False
Suppose -82*a + 3781267 + 79047 = 0. Does 179 divide a?
True
Suppose 80 = -2*d + 90. Suppose 334 + 966 = d*p. Is p a multiple of 18?
False
Let t = -31661 - -39779. Does 8 divide t?
False
Let h(m) = 2782*m**2 + 105*m + 329. Is h(-3) a multiple of 17?
False
Let f(o) be the second derivative of -9*o**3/2 - 7*o**2/2 + 36*o. Let v be -4 + 2*(-4 + 5). Does 13 divide f(v)?
False
Let j = 33 - 31. Let p be (-3 - -3)/(j*-1). Is 49 + (-1 - (1 - p)) a multiple of 11?
False
Let w(b) = 25*b**2 - 161*b + 3112. Is w(19) a multiple of 183?
False
Let j = -4394 + 8