t t be (36/(-8))/3*4/6. Let q = -16 - -31. Does 3 divide q/5 - (-12 + t)?
False
Let k = -16159 + 21955. Is k a multiple of 63?
True
Let q = 70 + -52. Suppose -5*v + q = -o, 5*o - 8 = -v + 6. Suppose v*t + 4*t = 560. Is 23 a factor of t?
False
Suppose -3*r = -5*s - 34490, 3*r + 528*s = 529*s + 34498. Does 107 divide r?
False
Suppose 0 = 2*u + 63 - 67. Suppose -u*m + 4*r = -50, m + 4 = -r + 41. Let l = 203 - m. Is 34 a factor of l?
True
Suppose 6*z - 2 = -3*y + 2*z, 5*y + 4*z + 2 = 0. Is 118 - (y/6)/((-1)/(-15)) a multiple of 28?
False
Suppose -16*p + 15*p = -3*y + 9738, -y = 3*p - 3266. Does 8 divide y?
True
Suppose -5*o = -2654 - 7146. Suppose -8*j = -4*j - o. Is 14 a factor of j?
True
Let d(f) = f**3 + 6*f**2 + 6*f - 4. Let r be d(-5). Let q be 2/r - 120/(-54). Suppose -2*o = q*o - 72. Does 18 divide o?
True
Suppose -3*x - 26200 = -m, -m - x + 21959 = -4217. Does 6 divide m?
False
Is 165 a factor of (98/(-147))/(1/18)*(-24200)/32?
True
Let c(b) = -4*b**2 - 13*b - 32. Let k(u) = -5*u**2 - 14*u - 33. Let n(g) = 4*c(g) - 3*k(g). Let f be n(-9). Is 8/f + 13/(-5) + 167 a multiple of 22?
False
Let r(z) = -446*z - 1260. Is 26 a factor of r(-3)?
True
Let n = -14 - 158. Let a = -159 - n. Is 11 a factor of a?
False
Suppose -5*c + 4171 = -4*u, -3*u + 906 = c + 49. Is c a multiple of 248?
False
Suppose -2*l - 47 = 3*z, z = -z - 3*l - 33. Let k(u) = u**2 + 15*u + 6. Let q be k(z). Suppose -q*n = -8*n + 186. Is n a multiple of 22?
False
Suppose -18*d = -50*d + 245024. Does 19 divide d?
True
Let c be (1 - 3/2)*-2. Let r(m) = -40*m**3 + 6*m**2 - 14*m - 11. Let g(z) = 13*z**3 - 2*z**2 + 5*z + 4. Let k(f) = -11*g(f) - 4*r(f). Is k(c) a multiple of 5?
False
Suppose 0*l - 4*l + 23 = m, -l - 4*m = -17. Suppose -l*h + 2225 = -5*w, 2*h - 2210 = -3*h + 2*w. Is 41 a factor of h?
False
Let n(d) = -d**2 + 5*d. Let z be n(5). Suppose 5*o - 8 = -4*k, z = o - 0*o + 5*k + 11. Suppose 4*m - m + 93 = 4*b, 4*m + 92 = o*b. Does 12 divide b?
True
Suppose -26*k = -312 - 1690. Suppose 83*n = k*n + 4182. Does 47 divide n?
False
Let q(s) = 2*s**3 - 3*s**2 + 11*s - 10. Let z be 80/(-5)*(-1)/2. Suppose 4*j - 24 = -2*l, -2*l + 5*j = l + z. Does 20 divide q(l)?
False
Let t be (104/(-78))/((-3)/(-9)). Is -5 - 84/(-24) - 790/t a multiple of 13?
False
Let a = 265 - 220. Suppose -3 + 4 = k, 2*g + 5*k - a = 0. Is g even?
True
Let o(g) = -2*g**3 + 2*g**2 + 4*g + 5. Let u be o(-2). Suppose -7*t = u + 21. Is 26 a factor of (1 + (8/t)/2)*723?
False
Let o be -12 + -421 + -2 + 1 + -2. Let z be (o/10)/((-4)/(-40)*1). Is 3/(4 - (-1732)/z) a multiple of 14?
False
Suppose 3*m - 2*g = -4, -2*m = -5*m - 2*g + 4. Suppose -2*r + 2*o + 56 = -0*r, 2*r - 3*o - 51 = m. Is 19 a factor of r?
False
Is 19 a factor of 2 + 18/(-8) + (-31172)/(-16)?
False
Suppose 348 = 2*o - 318. Let g = 671 - o. Is g a multiple of 28?
False
Let h = -6952 + 14094. Is 19 a factor of h?
False
Let t(f) = 20*f**2 - 39*f - 1293. Does 32 divide t(-31)?
True
Suppose -5*m + 9 = -4*d, -m = -5*d + 7 + 8. Let z(t) = -2*t**2 + 4*t + 12. Let q(g) = 3*g**2 - 3*g - 13. Let v(b) = m*z(b) + 4*q(b). Is 4 a factor of v(-6)?
True
Let p(b) = -b**2 + 20*b + 18. Let i be p(15). Let o = i - 41. Suppose 2*j - o = j. Is 13 a factor of j?
True
Let l(k) = k**2 + 2*k + 6. Let m be l(-3). Suppose 0 = m*r - 8 - 10. Let p(u) = 9*u**2 + u - 4. Is 10 a factor of p(r)?
False
Let f be (197/(1/(-1)))/1. Let p = 140 + f. Let h = -26 - p. Is 3 a factor of h?
False
Let o = 78 + -50. Let a = o + -96. Let j = -36 - a. Does 8 divide j?
True
Let h(l) = 2*l**2 + 3*l - 22. Let r(s) = 2*s**2 - 35*s - 15. Let w be r(18). Is 3 a factor of h(w)?
False
Let i(c) = 2*c**2 - 29*c + 118. Let o be i(22). Suppose g = s - 297, -1325 = -3*s - 4*g - o. Is 22 a factor of s?
False
Suppose 0 = -4*x + 2*j - 4, x - 5 = -0*x - j. Let p = -8 + x. Is (p/(-2))/7*18*8 a multiple of 12?
True
Let p(j) = j**3 - 4*j**2 - 4*j + 1. Let b be p(6). Suppose -b*r + 51*r = 0. Suppose 5*i - 261 = -4*v, -65 = -r*v - v - i. Is 12 a factor of v?
False
Let n be 1/(-2) - (-464)/32. Let c(m) = -n*m + m**2 - 2*m**2 + 24 - 8. Does 5 divide c(-13)?
False
Let l = 408 + -368. Suppose -27*q + l*q - 3406 = 0. Is q a multiple of 4?
False
Let c be 483/4 + 5/20. Let a = -108 + c. Does 13 divide a?
True
Let j(i) = -212*i - 1486. Is j(-8) a multiple of 105?
True
Let n be (-30)/285 - 194/(-38). Let g(l) = -12*l + 73. Let a be g(6). Is 5 a factor of (-5 + 91)/((n - a) + -2)?
False
Let y be ((-135)/6)/3*(-120)/50. Suppose -3*v = 2*k - 44, y = 2*k + v - 26. Is k a multiple of 6?
False
Let c(s) = -4*s + 73. Let u be c(17). Let d(q) = 2*q**2 - q - 6. Does 5 divide d(u)?
False
Let s be -1*((-1 - -2) + -68). Suppose -4*t - 2*v - 3*v = 86, -5*t - 93 = -v. Let g = s + t. Is 12 a factor of g?
True
Suppose -3*o + 0*o = -b + 460, 4*o = 3*b - 615. Let f = -244 - o. Let a = f - -103. Is a a multiple of 6?
True
Let f be (-31 + 19)*(-14 - 1). Suppose f = -4*q - 4*r, 0 = -q + 3*r - 65 + 12. Does 6 divide (-2)/((-2)/(-1))*(q - -6)?
False
Suppose 3*r - 20 = -5, 2*r + 16 = z. Suppose -z*u + 18*u + 384 = 0. Suppose 429 = 51*x - u*x. Is 31 a factor of x?
False
Let h = -24 + -7. Let q = 11 - h. Does 12 divide q?
False
Let l = -75 - -83. Suppose 6*z = 4*z + l. Suppose j - 11 = z. Is j a multiple of 15?
True
Let x(r) = -3*r**2 + 7*r - 4. Let n be x(2). Let z be 2*((1 + 27)/n + 3). Is 20 a factor of -3 - 2455/(-11) - (-4)/z?
True
Suppose 0 = 27*b - 41*b - 5*b + 53447. Is 29 a factor of b?
True
Let j(g) = -18*g - 124. Let i be j(-7). Suppose 470 - 70 = w - 3*t, -i*w - 4*t = -770. Does 17 divide w?
True
Let f(t) = -t**3 + 10*t**2 - 12*t + 10. Let j be f(8). Suppose -8*r - 12 = -10*r. Let i = j + r. Is 13 a factor of i?
False
Let u(z) = 78*z + 88. Is 54 a factor of u(2)?
False
Suppose -4*d + 999 = -17. Let l = d - 110. Does 17 divide l?
False
Suppose 156*z + 1355130 = 201*z. Is z a multiple of 239?
True
Let s(l) = -l**3 + 13*l**2 + 2*l + 1. Let t be s(12). Suppose 0 = 4*p + 4*j - t + 13, j + 49 = p. Is 11 a factor of p?
True
Suppose -3*n + 1000 = 5*g, 0 = g + 4*n - 184 + 1. Does 21 divide (-13 + 1)*g*(-6)/24?
True
Suppose -106*n = -116327 - 61223. Is 27 a factor of n?
False
Let s(c) = -18*c + 31. Let o be s(-5). Let u = o - 116. Suppose -2*k - 312 = -3*y - u*k, y = 3*k + 88. Is y a multiple of 25?
True
Let i(o) = -48*o - 37. Let c be i(-1). Suppose 4*g + c*u = 9*u + 478, 0 = -5*g + 2*u + 602. Is 9 a factor of g?
False
Suppose -2*s - 64624 = -58*s. Does 5 divide s?
False
Let x be (81/(-15) - -5) + (-68)/(-20). Suppose 2*g + 4413 - 1361 = x*w, 0 = 4*w - g - 4076. Is 29 a factor of w?
False
Let z = 29 + -61. Let t = z + 68. Suppose -3*m + t = s, 2*m - 107 = -5*s + 73. Is s a multiple of 12?
True
Suppose 2*d + 2*b - 318 = b, 170 = d - 5*b. Suppose -y = -6*y + d. Let z = -17 + y. Does 13 divide z?
False
Let t(g) = -g**3 + 2*g**2 - g + 42. Suppose 158 = 3*z - 55. Let v = 71 - z. Does 21 divide t(v)?
True
Suppose 850 = -16*y + 20610. Does 13 divide y?
True
Let x = -1562 + 4582. Is 11 a factor of x?
False
Suppose -5606 = -5*l + 4*n, n + 5351 = 4*l + 864. Is l a multiple of 17?
True
Suppose 2*m + 3*m = 3*h - 38, 0 = -2*h + 2*m + 32. Let v = 429 - h. Is 51 a factor of v?
True
Let g(n) = 33*n + 364. Is g(17) even?
False
Suppose -4*q + 5*t = -2075, -37*t = -q - 38*t + 530. Is 35 a factor of q?
True
Let m(v) = -29*v**2 + 9*v - 11. Let s be m(5). Let l = -341 - s. Is 35 a factor of l?
True
Suppose 4*w = -5*n + 3163, 127*w - 128*w - 3 = 0. Let h = -575 + n. Is 12 a factor of h?
True
Suppose -3*y = -12*m + 7*m + 15, -5*y - 12 = -4*m. Suppose -131*i + 133*i - 240 = y. Does 30 divide i?
True
Let y be ((-2)/6)/(19/57). Is 440/1540 + 887/7 + y a multiple of 21?
True
Let i be (1 + -7)*(1/(-1) - 0). Let s be i*2/(-4) - -53 - -1. Suppose -6*p + 5*p + s = 0. Is 3 a factor of p?
True
Let y(z) = -13*z**2 + z - 1. Let l be y(1). Let c = 16 + l. Suppose p - 18 = -2*b, -b - 2*p + 9 = -c*p. Is 7 a factor of b?
False
Let x(m) = 1418*m - 48. Does 27 divide x(4)?
False
Let s = 1148 - 629. Suppose 0 = -4*v + 5*g + 569, 7*g = -4*v + 2*g + s. Is 2 a factor of v?
True
Let b(h) = -66*h**2 - 24*h - 10. Let o be b(-7). Does 6 divide 2/10 - o/20?
False
Suppose -i + 2 = 2*y - 0, -4*y + 3*i + 24 = 0. Suppose -y*z = 3 - 39. Does 2 divide (-16)/z*-2*(-15)/(-2)?
True
Let r be (-8)/((-12)/9*9/6). Sup