o) = -4*o**2 + 3*o - 4. Let v(t) = -3*t**2 + 2*t - 5. Let d(h) = -4*r(h) + 5*v(h). Suppose 0 = -3*a + 41 - 17. Does 13 divide d(a)?
True
Suppose 2*x = -3*i + 1593, -5*i - 191 = -3*x + 2227. Let r = x - 396. Is r a multiple of 17?
False
Is 23 a factor of (-4 + 1)*(-6 + 38/6) + 5429?
True
Does 64 divide ((-3162)/(-40) - (-4)/20)*40?
False
Let x(p) = -p**3 - 8*p**2 - 9*p + 11. Suppose v - 62 = 3*n - 22, v - n - 30 = 0. Suppose 0 = 3*m + v - 1. Does 13 divide x(m)?
False
Suppose 0 = 4*r - 4*v - 327880, -1176*v + 1172*v = r - 81970. Is 14 a factor of r?
True
Let a = -197 + -11. Let p = -49 - a. Does 4 divide p?
False
Suppose -12 = 3*y, -2*w + 2802 + 7796 = 5*y. Is w a multiple of 13?
False
Let p = -149 + 144. Is -14*39/(-6) - p a multiple of 17?
False
Let l be 6/(2 + 12/(-4)). Suppose 6*a - 5*n - 465 = a, -2*a = -4*n - 186. Let y = a - l. Does 9 divide y?
True
Let z be 58/(-28)*-2 - (-1)/(-7). Suppose -s + 5*h = -78, z*h = -4 + 20. Does 7 divide (-1 + 9)*s/28?
True
Let n be 68/7 - 4/(-14). Let s be (n/(-4))/((-1)/2). Suppose -10*p = -s*p - 260. Is p a multiple of 6?
False
Suppose -8*z = -12*z - 44. Let j(y) = 28*y + 19. Let d(w) = -9*w - 6. Let g(t) = z*d(t) - 4*j(t). Is 11 a factor of g(-3)?
False
Suppose -5*p + 4995 = -z, 2*p = -2*p - z + 3996. Suppose 21*a - p = 51. Is a a multiple of 5?
True
Suppose -5*g = 30, -176*g + 177*g = 4*r - 38746. Is r a multiple of 125?
False
Suppose 0*h + 117 = 2*w + 3*h, -2*w - 4*h + 116 = 0. Suppose -79 = a + 4*z, -4*a - w = 2*z + 284. Let q = 117 + a. Does 6 divide q?
True
Is 12 a factor of 10 - (-4 - -10) - -2*2*2963?
True
Suppose 3 = -19*f + 20*f, -2*f = -2*d + 6254. Is 64 a factor of d?
False
Let f be (-4)/(-6)*(-33)/(-44)*0. Suppose 0 = -h - f*h - 3. Does 14 divide (h/6)/(2/(-584))?
False
Let b(g) = 483*g**3 - 2*g**2 - 16*g + 18. Does 7 divide b(1)?
True
Let u(y) be the third derivative of -y**4/8 + 17*y**3 - y**2 + 1. Is 6 a factor of u(-30)?
True
Let d(q) = -12*q**3 - 3*q**2 - 3*q. Suppose 0 = -2*a + 8, -3*r - 6*a - 26 = -11*a. Is 30 a factor of d(r)?
True
Suppose -10*z = -8*z + 1956. Let y be (1/(-2)*z)/1. Let b = y - 301. Is 47 a factor of b?
True
Let y be (3/(-9))/(6/(-54)). Suppose -y*s + 1 = -v, 5*v - s - 3*s = 17. Suppose v*p - 3*t = 491, 5*t + 4 = 3*t. Is p a multiple of 11?
False
Suppose 38*a + 289044 - 807303 = 286277. Is a a multiple of 13?
False
Suppose -q + 5*q + 5*y = 868, -q + 2*y = -243. Is q a multiple of 2?
False
Let c(d) = 64*d**2 + 29*d - 3. Is c(5) a multiple of 2?
True
Suppose -26*p + 98557 = -267523. Is 32 a factor of p?
True
Suppose 7*x - 568 = 1581. Let w = 407 - x. Is w a multiple of 50?
True
Suppose -91441 - 382989 = -176*c + 12386. Is c a multiple of 3?
True
Suppose 26*r + 27364 = 4*b + 14*r, -4*r = -5*b + 34139. Is b a multiple of 21?
False
Let p = 228 - -6. Suppose -33*n = -24*n - p. Does 4 divide n?
False
Let z = 1364 + 4907. Is z a multiple of 17?
False
Suppose 13*l - 661875 = -18*l + 6*l. Is l a multiple of 75?
True
Let w = 608 - 606. Suppose -w*n + 4*g = -1080, -962 = -4*n - 2*g + 1178. Is n a multiple of 10?
False
Let b = 376 - 378. Is 21 a factor of (11 + b + -10)*(1 + -232)?
True
Let i(t) = -t**3 + 5*t**2 - 5*t + 3. Let f be i(3). Is (f - 5)/(5/215) a multiple of 28?
False
Suppose -3*a = 4*s + 43, 2*s - 2*a = -2 - 2. Let g(l) = -2*l**2 - 14*l + 3. Let u be g(s). Suppose -3*b = 5*w - 4*b - 479, 4*b = u*w - 284. Is 24 a factor of w?
True
Let c(g) = g**2 + 1. Let m be c(-2). Let o = 9030 + -8848. Suppose -m*b = -o - 3. Does 13 divide b?
False
Let w = -1009 + 1007. Is -1 + w - (8 - 9646/13) a multiple of 17?
True
Suppose -11000 = -10*x + 5300. Suppose 7*u - 2*u - x = 0. Suppose -5*t + 94 = -u. Does 21 divide t?
True
Let c be 1/(0 + (-5)/(-60)). Let p be -2 + 3*20/c. Suppose 5*m - 83 = -p. Is m a multiple of 4?
True
Is 10*876/9*(-6)/(-16) a multiple of 20?
False
Let c(g) = 2*g**3 - 17*g**2 + 16*g - 22. Let o be c(15). Let t = o + -1934. Does 13 divide t?
True
Let f = -565 + 251. Let s be 3/((-12)/(-16)) - 59. Let u = s - f. Is 39 a factor of u?
False
Suppose -66 + 402 = -16*l. Is l*2/8*-8 a multiple of 3?
True
Let a(i) = -1441*i + 2036. Is a(-4) a multiple of 5?
True
Suppose -m - 9*m = -40. Suppose 2*z + 654 = 4*s, 4*s + s + m*z = 837. Does 15 divide s?
True
Let v be 1159/57 - 2/(-3). Does 10 divide 108/v*(-630)/(-27)?
True
Suppose 16 = -34*n - 52. Does 59 divide ((-1416)/(-30))/(n/(-10))?
True
Let l(v) = -3*v + 19. Let y be l(5). Suppose -y*p + 0*p - q = -13, -5 = -q. Suppose -490 = -5*f + p*w, -3*w + 18 = f - 97. Is f a multiple of 8?
False
Let o(p) = -p**2 + 19*p + 16. Let f be o(15). Is 40 a factor of f*141/24*2?
False
Is (14 - 32)*(-21480)/9 a multiple of 16?
True
Let s = 70 + -55. Suppose -s - 15 = -6*t. Suppose -2*k = -2*o + 32, 0 = 4*o - t*k - 0*k - 66. Is o a multiple of 5?
False
Suppose 0 = 101*z + 41*z - 954977 - 175059. Is 37 a factor of z?
False
Suppose 2*v - 15650 = -12*v + 2704. Is v a multiple of 3?
True
Suppose 6*d - 3*k - 51945 = d, -d + 10371 = 3*k. Is d a multiple of 16?
False
Is 20 a factor of (-43539 - -920)/(-1*1)?
False
Let v(d) = -d**3 + 13*d**2 + 2*d - 25. Let y be v(13). Does 3 divide (-69)/(3/(y - (6 + -3)))?
False
Let d = 28540 + -15856. Does 151 divide d?
True
Suppose -4*t + 3*z - 2*z = -5704, 2*t - 2*z = 2858. Does 285 divide t?
True
Let k = 57 + 680. Suppose 5*a + h = 1265, 3*a = 3*h - 8*h + k. Is a a multiple of 31?
False
Let k(q) = -8*q**3 - 3*q**2 - q - 414. Is 18 a factor of k(-13)?
True
Suppose 5*h - 41388 = -3*w, -129*h = -134*h - 4*w + 41384. Does 23 divide h?
True
Suppose 3*j - 148 = 593. Let x = j + -166. Does 19 divide x*1 + (-9 - -8)?
False
Suppose 2*a + p = -108, -4*a + 2*p = 278 - 46. Let t = -54 - a. Suppose 3*f + t*o - 348 = -o, -4*f = 2*o - 462. Is 32 a factor of f?
False
Suppose 4*j + 0*j = v - 43, 0 = 2*j + v + 29. Let c be (-2 + 1)/(-3 - 32/j). Suppose -2*z + 3*z - 7 = 2*o, c*z = -o + 35. Is z a multiple of 3?
False
Let d be (-23)/((-138)/(-36)) - -96. Suppose 3*u = -5*l + 1170, l + 3*u = -d + 336. Does 6 divide l?
False
Suppose -3*b - 3*h + 2*h - 136 = 0, -5*b + 3*h = 222. Let f = 75 + b. Is f a multiple of 2?
True
Is 42 a factor of (-6 + 12)*9613 + -10 + -2?
True
Let a(f) = f**3 - 7*f**2 - f - 12. Suppose 31*t - 11 = 30*t. Does 23 divide a(t)?
False
Let p = 5247 - 3728. Let j = -1043 + p. Suppose -56 - j = -7*i. Is 19 a factor of i?
True
Suppose 0 = -7*x - 14555 + 23116. Is x a multiple of 14?
False
Let q(b) = -9*b + 484. Let p be q(54). Let s(j) = -143*j**3 + 6*j**2 + 19*j + 4. Is 9 a factor of s(p)?
True
Let p be -27 - (70/5 + -6). Is 27 a factor of (30/5 + p)*(-81)/3?
True
Let o(u) be the third derivative of 2*u**5/15 + 13*u**4/8 - 7*u**3/6 + 3*u**2 + 5*u. Does 29 divide o(-9)?
True
Let d be (2/12*927)/((-2)/4). Let j = -157 - d. Is j a multiple of 11?
False
Suppose 0 = z + 4*o - 711, -5*z + 5*o - o = -3435. Does 8 divide z?
False
Does 95 divide ((-7868280)/(-5684))/(18/28 + 2/(-4))?
True
Let c(w) = 2*w + 9. Let f = -34 + 26. Let k be c(f). Let r = 26 + k. Does 19 divide r?
True
Let u(j) = -16*j + 2392. Does 6 divide u(16)?
True
Let v = -78 - -70. Let p(s) = 5*s + 43. Let o be p(v). Is 3 a factor of 2/(1 - o) - -5?
False
Suppose -210*x + 218*x = 8240. Let f = -667 + x. Does 11 divide f?
True
Let l = 108 - 62. Suppose -l*o = -52*o + 2226. Is o a multiple of 16?
False
Let c = -11315 + 19455. Is 74 a factor of c?
True
Let k(u) = 15*u - 31 + 13 + 23. Let l be k(-2). Let m = -13 - l. Does 12 divide m?
True
Let v(m) = m**3 - 6*m**2 - 10*m + 15. Let z be (104/65)/((-1)/(-5)). Let x be v(z). Is 5211/x + 4/14 a multiple of 14?
False
Let r = 74848 + -46944. Suppose 0 = 37*c - 771 - r. Is c a multiple of 31?
True
Let j = 18 - 75. Let q = 12 - j. Does 3 divide q?
True
Suppose 0*h = -7*h + 2058. Let d = 342 - h. Does 6 divide d?
True
Let k(t) = -3414*t + 4258. Is 117 a factor of k(-7)?
False
Let j(p) = -1593*p + 522. Does 168 divide j(-6)?
True
Suppose 5*r - 3 = 4*r. Suppose 3*h = 2*h - c + 83, h = -r*c + 81. Suppose 4*l + 4*t = 384, 2*t - 7*t + h = l. Is 11 a factor of l?
True
Let c(z) = z**3 + 11*z**2 - 13*z - 20. Let q be c(-12). Let a be (-4)/q*-2 + 3. Suppose -s + 35 = 4*o, 4*o - 94 = -a*s - 12. Is s a multiple of 7?
False
Let q(a) = -613*a - 4066. Is 11 a factor of q(-27)?
True
Let v be 4/(((-4)/30)/1). Let q = -222 + 202. D