e 6*i - 5*t = 5*i + 371, 3*i + 2*t - 1096 = 0. Suppose -2*z = v - i - 567, -4*v - 2300 = -5*z. Is z a multiple of 29?
True
Suppose 5*c = o + 50166, 6*o - 30101 = -3*c + 8*o. Is 12 a factor of c?
False
Let s(u) = -u**3 - 2*u**2 + 3*u - 9. Let g be s(-4). Let f be g/3 - 16/(-216)*-9. Is (552/(-32) + f)/((-6)/16) a multiple of 15?
False
Let t(n) = -n**3 - 7*n**2 + n + 11. Let d be t(-6). Let u = 95 + d. Is u a multiple of 8?
True
Let t(r) = -20*r + 4. Let w(f) = -4*f + 1. Let l(p) = 4*t(p) - 22*w(p). Let s be l(4). Suppose -3 = z + 5*h, 2*z + h = -2*z + s. Is z even?
False
Let x be (2/6*3)/((-1)/(-17)). Suppose 1566 = x*k - 11*k. Suppose -3*m + k = -69. Does 22 divide m?
True
Let g(v) = 23*v**3 - 2*v**2 - 5*v - 2. Let x be g(2). Let t = x - 95. Does 4 divide t?
False
Let a(b) = b**3 + 8*b**2 - 14*b + 15. Let j be a(-9). Does 47 divide (-15)/(-12)*94*j/25?
True
Let q(a) = -3250*a + 7444. Does 4 divide q(2)?
True
Suppose -5*t + 2*h + 535 = 0, -9*t + 3*h + 107 = -8*t. Does 31 divide t?
False
Suppose -32*m - 1227 = -60299. Does 60 divide m?
False
Let c be (16920/42)/((-3)/21). Let d = -1884 - c. Is d a multiple of 72?
True
Suppose -2*d + 4*j + 78826 = 0, 7*d - 118207 = 4*d - 2*j. Is d a multiple of 15?
True
Let d(o) = 126*o**3 + 5*o**2 - 9*o - 3. Let u be d(3). Suppose 3*t - 5*r = u, -2*r + 15 = -7*r. Suppose -6*y + t = 3*y. Is y a multiple of 12?
False
Suppose -8*g + 2 = 2. Let l(j) = -j**2 + 5*j + 33. Let c be l(g). Let p = c + 0. Does 13 divide p?
False
Let c = 32 + -8. Is 2/3 - 1 - (-8720)/c a multiple of 22?
False
Let n = 221 - 88. Suppose -s - 172 = -2*p, -3*p + n = -4*s - 135. Does 12 divide p?
True
Let h(n) = 152*n**2 + 163*n + 1050. Is h(-7) a multiple of 22?
False
Let z(w) be the first derivative of w**3 + 3*w**2/2 - w + 4. Suppose 9 + 15 = -4*f. Is 12 a factor of z(f)?
False
Does 8 divide (-3465)/(-252)*(-898*2/(-4) - 1)?
True
Suppose 4*c - 3*p = 69224, 21238 - 73158 = -3*c + 2*p. Is 10 a factor of c?
False
Let h(n) = -8 + 9*n**3 + 9*n - n - 5*n**2 + 8*n**2 - 2*n**2. Let i(w) = 8*w**3 + w**2 + 7*w - 7. Let d(q) = -3*h(q) + 4*i(q). Is 18 a factor of d(3)?
False
Let c(k) = 13*k**2 + 3*k - 12. Suppose -16*p + 20 = -20*p. Does 2 divide c(p)?
True
Suppose 0*r + 5*r - 125 = 0. Let f = -13366 + 13345. Does 3 divide ((-2)/6)/(5/r)*f?
False
Suppose 16*v - 127137 = -26*v + 9279. Is 7 a factor of v?
True
Let r = -662 + 1166. Let o(v) = -3*v + r - 451 - 3*v. Does 43 divide o(0)?
False
Let s(k) = -240*k - 328. Let o be s(-12). Suppose 10*b + 12*b = o. Is 10 a factor of b?
False
Is 6 a factor of (-894747)/(-28) - (-2)/(-16)*(4 - 2)?
False
Suppose 0 = 7*w - 6*w - 3*x - 5694, 4*w = x + 22842. Is w a multiple of 51?
True
Let v(m) = -21*m**3 + 8*m**2 + 46*m - 8. Does 32 divide v(-4)?
True
Suppose -30*p = -47696 - 24844. Does 31 divide p?
True
Let p be ((-2)/5)/((-10)/50) + 10. Let r be p/24*(1 - (-1)/(-1)). Suppose 8*q - 729 + 41 = r. Is q a multiple of 37?
False
Let v be (4*1/12)/(1/9). Suppose 0*p + 2*p + 430 = -3*l, 5*p + v*l = -1066. Let o = p + 333. Does 11 divide o?
True
Suppose 3*k + 24 = 9*k. Suppose 5*g + 0*z + k*z - 796 = 0, -2*g - 4*z + 328 = 0. Is 14 a factor of g?
False
Let a(h) be the third derivative of 11*h**5/60 + h**4/8 + 5*h**3/3 - 143*h**2. Does 27 divide a(-5)?
True
Let c be 0/(0 + 1 - 2). Suppose -4*h - 5*a + 9465 = c, -3*h - 2*a + 1065 = -6032. Is 8 a factor of h/(-22)*(-8)/10?
False
Let z be 3/9 + (-82)/(-6). Let p = 114 - z. Does 20 divide p?
True
Let t(s) = 195 + 179 - 143 - 16*s. Is 49 a factor of t(-7)?
True
Let z(w) = -36 + 229 - 5*w + 3*w + 3*w. Let r be z(0). Suppose 3*c + 70 = 2*p, -c = -5*p + 2*c + r. Is p a multiple of 14?
False
Let g(s) = -338*s + 5591. Does 9 divide g(-23)?
True
Let b = 20187 + -3198. Does 13 divide b?
False
Let t(i) = -1813*i + 1826*i + 5 - i**3 + 2*i**3 + 11*i**2. Is 8 a factor of t(-9)?
False
Let j = -133 - -138. Suppose j*v = 3*v + 2*c + 2578, -4*c + 3860 = 3*v. Is v a multiple of 55?
False
Suppose 4*f = -2*g - 2, -6 - 13 = 5*g - 4*f. Let r be 14*(-1)/(g/(-15)). Let q = r - -126. Is 21 a factor of q?
False
Suppose -5*f + 3768 + 519 = 3*d, 0 = -d - 1. Does 6 divide f?
True
Let a(c) = 25*c**2 - 149*c - 611. Does 5 divide a(-4)?
True
Let m(p) = -7*p - 7. Let l(z) = -6*z - 8. Let v(k) = 6*l(k) - 5*m(k). Let t be v(-15). Suppose t*u = -38 + 88. Is 25 a factor of u?
True
Let r(o) = -930*o + 1301. Is 20 a factor of r(-7)?
False
Let c(w) = 2*w + 5. Let k be c(-2). Does 21 divide 17/(85/(-1680))*(k - 2)?
True
Let m = 27992 - 14212. Does 13 divide m?
True
Does 6 divide 8/9 - (-370640)/1476?
True
Is ((-946830)/333)/((-12)/54) a multiple of 86?
False
Let c be (6 - 32/5)/(1/(-1705)). Let y = c - 61. Suppose -5*r + y = 4*x, 4*x = x + 2*r + 460. Is 22 a factor of x?
True
Suppose -u + j = 545 - 6955, 3*j = 4*u - 25644. Is 11 a factor of u?
False
Let q = 16271 + -10901. Is 5 a factor of q?
True
Let y be 7 + 11/(33/(-6)). Suppose -5*r - y*x + 27 = -88, -4*x - 4 = 0. Does 8 divide r?
True
Let m(t) = 3*t - 6. Let y be m(2). Suppose 2*f - 4*o - 10 = 0, -4*f + y*o - 3*o = 35. Let a(i) = i**3 + 10*i**2 + 4*i + 10. Is a(f) a multiple of 23?
True
Is ((-15123)/142)/((-3)/1622) a multiple of 52?
False
Suppose 2*s + 187*j - 190*j = 57435, -s + 28715 = -j. Does 198 divide s?
True
Let y = -6804 + 26606. Is y a multiple of 14?
False
Let z be ((-18)/(-12))/3*-2. Is ((-79)/4 - 6)*(-11 + z) a multiple of 47?
False
Let r(b) = -b**3 - 7*b**2 - 4*b + 12. Let m be r(-12). Suppose -35*a = -30*a - m. Is a a multiple of 6?
True
Let t be (-4)/(-2)*(-21)/(-6). Let f be (-2 + 1)/t - (-145)/35. Does 30 divide (-10*(-1)/f)/((-3)/(-108))?
True
Let l = -14550 + 18638. Does 4 divide l?
True
Suppose 360*a = 4*z + 361*a - 47100, 0 = 3*z + 5*a - 35325. Is z a multiple of 20?
False
Let r = -246 + 13366. Does 80 divide r?
True
Suppose 457*z - 54967 - 781343 = 0. Is 4 a factor of z?
False
Let u be 2/8*30*(-72)/(-45). Is (-3 + (-2 - 0))/(u/(-888)) a multiple of 10?
True
Let u(d) be the first derivative of -37*d**2/2 - 14*d - 3. Let x(b) = -b**2 + 2*b - 5. Let m be x(1). Does 13 divide u(m)?
False
Let v = 1 - 1. Let d be ((-5)/60)/(1/(-24)). Suppose 2*x - d*b - 154 = v, -54 = -x + 3*b + 31. Does 12 divide x?
False
Suppose 4*i + 4535 = -5*c + 701, -5*c - 4795 = 5*i. Let p = -769 - i. Is 8 a factor of p?
True
Suppose -62812 + 40183 = -25*c + 56796. Is c a multiple of 12?
False
Let r = -1733 + 1823. Is 9 a factor of r?
True
Let o(q) = 3*q - 6*q**2 + 3*q**2 + 11*q - 10 + 5*q**2. Let w be o(-11). Suppose -3*h + h = -w. Is 13 a factor of h?
True
Let w(q) = -q**3 + 24*q**2 - 17*q + 39. Is w(19) a multiple of 27?
False
Let j = 31984 + -22090. Is 13 a factor of j?
False
Let c be 2/7 - 19/(-7). Does 21 divide c/(4 - -11) + 20576/20?
True
Is (-390)/20 - -18 - (-66345)/6 a multiple of 74?
False
Let w(k) = 1061*k - 5349. Is 8 a factor of w(9)?
True
Suppose 197 + 351 = 2*d + o, 3*d + 4*o - 817 = 0. Let g = -181 + d. Suppose w - 3*x + 14 = g, 3*w = -4*x + 188. Is w a multiple of 34?
True
Let n(p) = p**3 - 12*p**2 + 36*p - 12. Let k be (-3)/(-2) + (-69)/(-6). Does 25 divide n(k)?
True
Let x be ((-25)/8*2)/((-91)/(-364)). Is 16 a factor of (-90)/4*(-5 + x/15)?
False
Let f(s) = 372*s**2 + 34*s + 96. Is f(-5) a multiple of 78?
False
Suppose 2*l - 4 = 3*d - 6, 4*d - l - 11 = 0. Suppose -9*c + 126 = -4*c - o, -d*o + 16 = 0. Does 2 divide c?
True
Suppose -95 = 4*y + 101. Let i = y + 185. Is 15 a factor of (i/3 - -1) + (-1)/3?
False
Let r be 5/(-2 - -1)*4/(-4). Suppose o - 42 = -r*u - 13, -5*o = 5. Suppose u*d + 4 = 142. Is d a multiple of 23?
True
Let i(g) = -2*g**3 + 2*g**2 + 3*g - 36. Let c be i(0). Let l = c + 194. Is l a multiple of 37?
False
Suppose -2*o + 85*u - 81*u = 2, -3*o = -2*u - 13. Let v(y) = 6*y - 3. Let k be v(2). Suppose o*z = k*z - 118. Is 5 a factor of z?
False
Let m(i) = -439*i + 1202. Does 116 divide m(-62)?
True
Let i(x) = 25*x - 1. Let t(u) = -5*u**2 + 9 + 0 - 7*u**2 + u**3 + 6*u + 17*u**2. Let j be t(-4). Does 12 divide i(j)?
True
Suppose 2*j + 2*l = 16344, 2*j + 14*l = 18*l + 16368. Does 146 divide j?
True
Let l = -187 - -192. Suppose l*d = 818 + 1357. Does 69 divide d?
False
Is (-22)/(-14) - 1 - 3/(231/(-4807)) a multiple of 18?
False
Let h(w) = -14*w + 16. Let t(x) = -8*x**3 + 2*x - 2. Let a be t(1). Is 4 a factor of h(a)?
True
Let q(n) = 6*n + 2.