2*g - 2527 = -13*g + 5*q, -2*q = -4*g + 10018. Is g a multiple of 13?
False
Let z(u) = 5*u + 39. Let p(a) = -a - 8. Let s(c) = -11*p(c) - 2*z(c). Let g be s(-6). Suppose 0 = -t - 4*m + 17, 3*m = 2*t + g*m - 48. Is t a multiple of 5?
True
Let a be (2 + -58)*(9 + -11 + 3). Let j(n) = -n**3 + 7*n**2 + 7*n - 12. Let m be j(8). Let y = m - a. Does 4 divide y?
True
Suppose -76 = u + 3*t - 28, -4*t = u + 47. Does 4 divide -1 - u*35/21?
True
Suppose -2 = 2*y, -3*n + 2549 = -y - 3284. Is n a multiple of 24?
True
Does 18 divide (-10)/(-6) - 1382566/(-489)?
False
Let t(i) = i**2 - 48*i + 1596. Is t(0) a multiple of 19?
True
Let m be (175/14)/((-2)/(-12)). Let n be m/(-15) - (-1 + -12). Suppose -2*j - g = -3*g - 174, -2*g + n = 0. Is 29 a factor of j?
False
Let t = 1 - -24. Does 17 divide 5410/t + (-5)/(50/(-6))?
False
Let k = 242 - 240. Is 295/k*(-180)/(-75) a multiple of 14?
False
Let r(o) = 5*o - 93. Let i(c) = c + 10. Let v be i(22). Suppose x - v = -5. Is 14 a factor of r(x)?
True
Does 8 divide 162560/381*(-66)/(-4)?
True
Let v = 4431 - 3771. Does 30 divide v?
True
Let m = -4099 - -8669. Is m a multiple of 71?
False
Let h(z) = z**3 + z**2 + 5*z + 8. Suppose 0 = 4*c + 12, -10*c - 10 = -2*r - 12*c. Is h(r) a multiple of 25?
False
Let i be (-33)/(-99) + (-173386)/(-6). Does 23 divide i/17 - 128/(-1088)?
False
Let h(v) = 3932*v - 1434. Does 58 divide h(4)?
False
Is (1/(1/(-2)))/(14/(-20965)) a multiple of 6?
False
Let d(y) = 35*y**3 - 4*y**2 + 27*y + 9. Let m be d(-7). Is 86 a factor of (-4)/(-288)*9 + m/(-24)?
True
Let n = -35 - -71. Let f = n - 32. Suppose -3*l = f*a - 321, 4*a - l = 2*l + 351. Is 21 a factor of a?
True
Let u = -28 + -9. Let m = u + 44. Is 2 a factor of (-418)/(-77) + (-3)/m?
False
Let u(z) = 542*z**2 + 4*z + 1. Let c be u(-1). Let m = c - 293. Is m a multiple of 5?
False
Suppose 0 = -22*g + 16426 + 7730. Is 6 a factor of g?
True
Is 22 a factor of 0/((-44)/(-11)) - -1209?
False
Suppose t - 63 - 52 = 0. Let m(u) = -3*u**2 - 169*u - 151. Let q be m(-55). Let k = t + q. Is 13 a factor of k?
False
Suppose 2*k - 7*k + 5*h - 3105 = 0, -4*k - 2472 = -h. Let c = k - -948. Suppose 389 + c = 6*o. Is o a multiple of 31?
False
Suppose 5*v = -0*v + c + 13, 3*c = 2*v - 13. Suppose 0*p - 2*g + 465 = 5*p, -4*p + v*g + 372 = 0. Suppose -p = -2*a + 19. Does 8 divide a?
True
Suppose -3*g - 115 = -4*i, i - g - 2*g - 22 = 0. Suppose -6*d - i = -43. Does 19 divide 6765/90 + d/(-12)?
False
Let j = 44213 + -36215. Is j a multiple of 62?
True
Let k = 177 + -172. Suppose 3*g + 2*j + j = 174, -k*j - 259 = -4*g. Is g a multiple of 15?
False
Let w = -539 - -1631. Suppose -k - 5*k + w = 0. Is k a multiple of 14?
True
Let l(q) = 3 + 2*q**3 - 6*q**3 - 5*q**2 + 3*q + 3*q**3. Suppose s + 6 = -0*s. Is 14 a factor of l(s)?
False
Let j(r) = -r**3 + 9*r**2 + 4*r + 3. Let c be j(9). Let s(g) = -g**2 - 36*g - 90. Let v be s(-32). Suppose 0 = -v*u + c*u - 16. Is u a multiple of 9?
False
Let z(m) = m**2 + 25*m + 49 + 6 - 2*m. Is 39 a factor of z(-28)?
True
Let w(y) = -2*y + 2. Let o = 42 + -40. Let r be w(o). Let g(h) = -51*h + 5. Is 17 a factor of g(r)?
False
Suppose 0 = -d, -5*n + 3*d + 4176 = -2409. Suppose 2*z + 1956 = 3*h - 0*z, -3*z = 2*h - n. Is 45 a factor of h?
False
Let r(i) = i**3 + 46*i**2 - 151*i - 16. Is 166 a factor of r(-26)?
True
Let v = 107 + -411. Is 1/(-4)*0 - v a multiple of 19?
True
Let o be (-2 - 38/2)*-1. Let s = 332 + -359. Let r = o - s. Is r a multiple of 12?
True
Is 12/(((-891)/(-18))/(-11))*167049/(-12) a multiple of 138?
True
Suppose -i + 6*d - 5*d = -8, 3*d + 32 = 5*i. Let b(v) = 6*v**3 - 2*v**2 - v. Is 23 a factor of b(i)?
False
Let d = -34 + 34. Suppose -16 = -d*y - 3*y + 2*l, -4*l = -3*y + 26. Suppose -2*b - 64 - 82 = -y*w, -2*b + 214 = 3*w. Is w a multiple of 13?
False
Let w(x) = 18*x + 201. Let y be w(-11). Suppose b + 767 = v, y*v - 2304 = -109*b + 111*b. Is 35 a factor of v?
True
Let y(r) = -28*r**2 + 4*r. Let z be y(-2). Let g = z - -119. Let o(w) = -71*w**3 + w**2 - 2. Is 38 a factor of o(g)?
False
Suppose -29*k = -30*k + 1. Let f be k - 0 - -4*76. Let a = -215 + f. Is 17 a factor of a?
False
Let j = -321 + 329. Does 53 divide 2184/(j - 1) - -6?
True
Let n(s) = 191*s + 946. Is n(7) a multiple of 46?
False
Let m(x) = 12*x**3 + x. Let z be m(-1). Let f = 1666 + -1658. Let l = f - z. Is l a multiple of 3?
True
Suppose -6*w + 575 - 5 = 0. Let n = w + 1. Let r = n + -2. Does 8 divide r?
False
Suppose -5 = -36*w + 31*w. Is w*(-8)/10 - (-6432)/15 a multiple of 13?
False
Let u = -5055 + 7375. Is u a multiple of 10?
True
Suppose 136*d = -33*d + 3090633 + 1271595. Is 18 a factor of d?
True
Let h(f) = 8*f + 36. Let x be h(-4). Suppose 295 = x*k - 3*k. Does 12 divide k?
False
Suppose 0 = 2*z - r - 88, z + 5*r = -z + 112. Suppose -2*d = 3*i - 106, -2*i + 4*d = -z + 2. Does 4 divide i?
True
Let j(y) = y**3 + 10*y**2 - 3*y + 4. Let m be j(-9). Suppose -16*o + 1712 - m = 0. Does 15 divide o?
False
Let t(f) = 2*f + 2. Let p be t(0). Suppose m - 1269 = -p*m. Let g = m - 254. Does 28 divide g?
False
Let v(g) = -g + 10. Let r be v(4). Suppose -3*k + 381 = -r*k. Let p = 242 + k. Is 23 a factor of p?
True
Let s(l) = 27*l**2 + 12*l + 90. Is 15 a factor of s(20)?
True
Let w be 1/(4/(-5 + 17)). Let t be ((-6)/(-4) - w)*(4 + -10). Suppose -11*a + t*a = -236. Does 10 divide a?
False
Let t = -210 + 209. Is 8 a factor of ((-480)/(-50))/(14/(-20) - t)?
True
Let j(f) = 4*f - 3. Let q be j(1). Let z be q/(-2)*(94 - 0). Let w = -41 - z. Is w a multiple of 4?
False
Let i be 8/(-16)*(0 + 0) - -1. Suppose -y - i = -6. Suppose -y*x = n + n - 73, -4 = -n + 4*x. Does 4 divide n?
True
Let m be (3 - 57/15)/(2/(-15)). Suppose m*y - y = 4*g + 70, 4*y - 5*g = 56. Let n = y + -10. Is n a multiple of 3?
False
Let x = -95 - -98. Suppose -x*s - 243 = -723. Is s a multiple of 80?
True
Let j(n) be the first derivative of -n**4/4 + 4*n**3/3 + n**2/2 - 4*n - 20. Let k be j(3). Is 17*-2*(k - 119/14) a multiple of 8?
False
Suppose -4*j + 4*f = -5336, -4*f = -32 + 44. Does 121 divide j?
True
Is 7/49 - (-52076)/28 a multiple of 127?
False
Let w = -150 + 120. Let c(i) = i**2 + 2*i - 73. Does 31 divide c(w)?
False
Is 88 a factor of 0 + (-12 - -9) + 4418?
False
Suppose 3*g + 13 - 34 = 0. Does 4 divide 32/(-14)*-6*g?
True
Let g = -173 + 177. Suppose 5 - 1 = 2*n. Suppose -n*w + 4*d = -w - 29, g*w - 116 = 4*d. Does 29 divide w?
True
Suppose 96 = -6*i + 6. Let n(m) be the second derivative of m**5/20 + 7*m**4/6 - 11*m**3/3 - 3*m**2/2 + 2*m + 43. Is n(i) a multiple of 6?
True
Suppose -47*j + 52*j - 70 = 0. Suppose -97 = -j*h + 85. Suppose -9*p = -h*p + 364. Is 8 a factor of p?
False
Let c(w) = -139*w**3 + 6*w**2 - 14*w + 49. Does 43 divide c(-6)?
False
Suppose -4*h + 58698 = 2*k, 0 = -1083*k + 1088*k - 25. Is h a multiple of 37?
False
Let x(f) = 187*f + 2769. Is x(51) a multiple of 21?
True
Let z(l) = -l**2 + 8*l + 19. Let u be z(8). Suppose -u*g = -20*g + 34. Is 17 a factor of (2/16*g)/((-1)/(-20))?
True
Let b(p) = 49*p**2 - 21*p + 30. Is b(-5) a multiple of 17?
True
Let t(j) = j**2 + 68*j + 987. Is t(-14) a multiple of 7?
True
Suppose -12 = -2*t - 16. Let a be -1*((1 - 0) + (-2)/t). Is 5 a factor of (0 - 0/(-1)) + 40 + a?
False
Let z(j) = -296*j - 211. Is 10 a factor of z(-9)?
False
Let k(y) = 33*y - 6. Let o(d) = 16*d - 2. Let l(j) = 3*k(j) - 5*o(j). Is l(21) a multiple of 6?
False
Suppose 3*v = -159*j + 162*j + 4248, -3*v = 3*j - 4230. Is 20 a factor of v?
False
Suppose 6*h = -16*h + 2992. Let s = h + -91. Does 9 divide s?
True
Let c(a) = 215*a - 22. Let y be c(4). Suppose q - 169 = 4*r + 45, -2*r + y = 4*q. Is q a multiple of 15?
True
Let s(k) = -2*k**2 + 12*k - 1. Let j(r) = -3*r**2 + 13*r - 1. Let v(g) = -5*j(g) + 6*s(g). Let d be (-10)/15 - (-8)/3. Does 5 divide v(d)?
True
Let g(r) = 56 - 32 + 2*r**2 - 15*r - r**2. Let s be g(-21). Suppose -3*z + s = 5*d + 2*z, -2*d = -z - 303. Is d a multiple of 28?
False
Is 44 a factor of (-23552)/(-48) - (-1)/3?
False
Suppose 253*c - 56953 = 120*c + 120*c. Does 13 divide c?
True
Let r(c) = -183*c - 7100. Does 6 divide r(-161)?
False
Suppose -j + 4*v + 3627 = 0, -29*v = -j - 31*v + 3615. Is j a multiple of 47?
True
Let p(i) = 3096*i - 4518. Is p(4) a multiple of 6?
True
Let k be 195/18 - 2/(-12). Suppose 8*c - 282 = k*c. Is -4*(2 - 1) - c a multiple of