pose -3*x - 15 = 3*j, -13*x + 12*x + 7 = -j. Is 437/2 - -1*j/(-12) a multiple of 54?
False
Let k = 8977 - -1243. Does 16 divide k?
False
Let t(n) = -11*n**2 - 4*n + 8. Let k be t(5). Let i = -19 - -13. Is k/(-21) + (-2)/i a multiple of 5?
False
Let a = 745 - -2111. Is 56 a factor of a?
True
Suppose b = 2, -8*b + 3*b = -5*m - 35. Is 6/3 + (-610)/m a multiple of 8?
False
Let s(z) = -3*z - 7*z + 78 - 108 - 2*z. Is s(-21) a multiple of 19?
False
Suppose -65*m - 21*m + 620948 = 15*m. Is 41 a factor of m?
False
Let v = 41 + 81. Let d = v - 80. Is 6 a factor of d?
True
Let i(b) = -54*b. Let m(f) = -3*f - 1. Let h(d) = -7*d - 3. Let o(x) = -2*h(x) + 5*m(x). Let s be o(3). Is 21 a factor of i(s)?
False
Let c(u) = 2*u**3 - 13*u**2 + 6*u + 41. Suppose a - 3 = 0, -4 + 33 = 4*o - a. Does 37 divide c(o)?
False
Let s(c) = -3*c + 31. Let j be s(6). Let z(x) = 11*x - 6*x - 11 + 9*x + j*x. Is 10 a factor of z(6)?
False
Is 13 a factor of (-4)/12 + (48940/(-48))/(1/(-4))?
False
Suppose -333 = -3*u - 3*x - 57, -2*x + 376 = 4*u. Is 7 a factor of 13216/u + 2/6?
False
Suppose -83*t = -77*t - 12. Is 15 a factor of (-135)/t*510/(-153)?
True
Let m be (-1)/2 + (5 - 15/2). Let h be 0 + 2/(-2*m/15). Suppose -3*o = 2*q + 2*q - 125, h*q = 4*o - 177. Is 43 a factor of o?
True
Let j = 110 - 106. Is (j*(-4)/10)/((-4)/1570) a multiple of 64?
False
Let f = 29 - 7. Let c be (((-2)/(-4))/(-1))/(f/(-132)). Suppose -5*n + 5*r = -630, -c*n - 4*r + r + 348 = 0. Is 11 a factor of n?
True
Let s(l) = -2*l**3 + 19*l**2 + 23*l - 204. Is 39 a factor of s(-8)?
False
Let p = -169 - -718. Let u = p + -304. Does 35 divide u?
True
Let t = -87 - -141. Suppose t = z - 4*m, -4*z + 3*m = -5*z + 47. Is z a multiple of 8?
False
Suppose -210*d + 323*d = 1252944. Is 99 a factor of d?
True
Suppose 20*d + 6790 - 51804 = 6746. Is d a multiple of 4?
True
Suppose -5*m - 15 = 0, d + 4 = -4*m - 6. Suppose 5*t - d*t - 520 = -2*z, 5*t - 3*z = 873. Does 9 divide t?
False
Let o(q) = -3119*q + 278. Does 12 divide o(-2)?
True
Is 966/(-63)*(-298 + 1) a multiple of 11?
True
Let h = -10 - -10. Let j(f) = -f**2 - 9*f - 9. Let k be j(-7). Suppose p + p - k*s - 20 = h, 0 = -s. Is p a multiple of 10?
True
Suppose -5*f + 4*v = -47097, f + 5329*v - 9381 = 5325*v. Does 47 divide f?
False
Suppose i - 5 = -1. Suppose 41 = -i*b + 689. Suppose -12*z + b = -10*z. Does 12 divide z?
False
Let a = -170 + 183. Is ((-156)/(-16))/a + 490/8 a multiple of 31?
True
Let v = 671 + -667. Suppose -v*r + 2525 = -835. Does 14 divide r?
True
Let s = -25 + 29. Suppose s*m = 0, -l + m - 5*m = -832. Is l a multiple of 13?
True
Is 15 - 350185/(-5) - (2 + -9) a multiple of 14?
False
Let h(m) = -24*m**2 - 6*m - 53. Let x(n) = 48*n**2 + 11*n + 108. Let c(b) = -9*h(b) - 4*x(b). Is 22 a factor of c(-6)?
False
Let m(r) = 88*r**2 + 7*r - 15. Let f be m(2). Let g = 61 + f. Does 35 divide g?
False
Let t be -5 - 2 - -4 - -24. Let a be 12/t + 15750/49. Let o = a + -214. Is 27 a factor of o?
True
Suppose -66*b + 33*b = -95040. Is 48 a factor of b?
True
Suppose 1791071 = 30*k + 394661. Does 316 divide k?
False
Let o be (-5)/(-20) - (42/8)/(-3). Suppose o*c = -2*c + 736. Suppose -c - 26 = -2*t. Is 15 a factor of t?
True
Let c be 104/(-10) + 20/50. Let t be 1/(5/c)*-2. Suppose -a + 36 = -t*g, -g + 160 = -2*a + 5*a. Is a a multiple of 6?
False
Let c be ((-10)/2)/5 + 12. Suppose -178 = -d - 2*v, c*d - 10*d - 4*v = 160. Is d a multiple of 32?
False
Suppose h = -134 + 139. Suppose 5*d = -h*d + 40. Let t(z) = 44*z - 34. Is 12 a factor of t(d)?
False
Suppose -20*q + 330 = 290. Let v = -4 - -3. Is 9 a factor of 675/(-10)*q/v?
True
Suppose -322927 + 919771 = 162*v + 15*v. Is 91 a factor of v?
False
Suppose 0 = v - 3*l - 7533, -v - v = -3*l - 15081. Is 17 a factor of v?
True
Suppose 0 = -4*q - 4 + 32. Suppose -2*c + 21 = -q. Suppose c + 44 = 2*k. Does 6 divide k?
False
Let r(q) = 35*q**2 + 15*q - 41. Let d be r(4). Let j = d - 202. Does 29 divide j?
True
Let m be (1/2)/((-11)/(-5786)). Suppose -2*x - 193 = -2*f - 743, 3*f = -x + m. Let n = x - 181. Is 7 a factor of n?
True
Let l be (-4)/10 - 34/(-10). Let k be 12/(-8)*(-148)/l. Let j = k + -19. Is j a multiple of 30?
False
Let c be (2 - 5)/(-1) - (-686)/14. Let p = -42 + c. Suppose 4*y + 12*d = p*d + 504, -3*d = 5*y - 630. Does 7 divide y?
True
Let x(v) = -59*v + 316. Let y be x(34). Let f = -982 - y. Is 52 a factor of f?
False
Suppose -11*y - 4813 = -8256. Is y a multiple of 9?
False
Let h(z) = z**2 - 2*z - 7. Let k be (1 + (-4)/(-1))*1. Let l be h(k). Suppose -l*w = -4*w - 280. Is 14 a factor of w?
True
Does 8 divide 279/4 + 6/((-72)/(-15))?
False
Suppose -11*l = 3*l - 3696. Suppose 42*n + l = 48*n. Does 2 divide n?
True
Suppose -25*q + 22*q = g - 34684, 4*q - 8 = 0. Does 38 divide g?
False
Let u(y) = -3*y - 30. Let n be u(-13). Suppose 0 = 4*f - 5*v - 5, n - 34 = 3*f + 2*v. Is 70/6*(f + 11) a multiple of 10?
True
Suppose -11 - 19 = -5*h. Suppose h*g = 19 - 1. Suppose 44 = -2*m + g*m. Does 5 divide m?
False
Let t(i) = -16*i - 254. Suppose -h + 40 = -3*h - 2*c, 2*h + 54 = 5*c. Is t(h) a multiple of 9?
False
Let z(a) = a**2 + 22*a + 31. Let j be z(-21). Let b be -2 + -82 + -11 + j. Let y = -55 - b. Does 5 divide y?
True
Let f = 10 - 7. Suppose -46*d + 488 = 166. Is 9 a factor of (d*6)/(8/36*f)?
True
Let l = 1 - -16. Suppose -12*d + l*d = 0. Suppose -j - 3*j + 92 = d. Is j a multiple of 5?
False
Suppose -n - 11 = 5*u, -10*n - 13 = -5*n + 4*u. Is 26*(n/5 + (-12)/(-10)) a multiple of 10?
False
Suppose 389*s - 393*s + 25772 = 0. Does 17 divide s?
True
Suppose -6*i = -9*i + 9. Suppose i*p - 2 = -v + 526, -2*v = 3*p - 528. Is p a multiple of 16?
True
Let w(t) = 2*t**2 - 25*t - 176. Suppose 4*n - 88 = -2*c + 6*c, 3*c = -3*n + 78. Is 81 a factor of w(n)?
False
Let w(d) = 103*d**2 - 27*d + 28. Is w(6) a multiple of 93?
False
Does 12 divide (1836/17)/(-12) + 2757?
True
Let k be 2/7 + 3420/35. Let q = k - -168. Is q a multiple of 8?
False
Let t(d) = -68 + 14*d + 2*d**2 + 57 - d**2. Let j be t(11). Suppose 0 = 9*v - 5*v - j. Is v a multiple of 10?
False
Let k(p) = 3*p**2 + 31*p + 31. Let u be k(-9). Does 7 divide ((-1731)/4)/(17/4 + u)?
False
Let b = -2962 - -5054. Is 84 a factor of b?
False
Suppose -5*z = -2807 + 502. Suppose -27*n = -8206 - z. Does 10 divide n?
False
Let y = 57 + -20. Suppose 0 = y*n - 32*n - 1520. Is 14 a factor of n?
False
Let t(k) = 17*k**2 - 3*k. Let c be t(2). Suppose -4*r + r = z + 64, 0 = 5*z + 4*r + 276. Let m = z + c. Does 2 divide m?
True
Let w = 32529 - 17409. Is 210 a factor of w?
True
Is 4635 - (-3 - (-5 + 5 + -2))*6 a multiple of 21?
True
Suppose o - 34 = -3*j, -73 = -5*o + 3*j + 97. Suppose 0 = -23*w + o*w - 6325. Does 17 divide w?
False
Suppose 47068 = 4*z - 4*m, -4*z - 55*m + 47059 = -56*m. Is 68 a factor of z?
True
Let b = -122 + 127. Suppose -6*n + n + b = 0. Is (3/n)/1*1456/24 a multiple of 26?
True
Let o be (-1*2)/((-2)/3). Let a(i) = -136*i - 131. Let j be a(-1). Suppose 4*x = -m + 177, j*m = -o*x - 0*m + 137. Is x a multiple of 6?
False
Suppose -v + 4 = 4*q, 0 = v + 6*q - 4*q - 8. Let o be (-5)/(-4) + 9/v. Suppose 186 = g + o*g. Does 7 divide g?
False
Let k(a) = 6*a**2 + 154*a + 366. Does 171 divide k(-52)?
False
Suppose -18 = 703*t - 709*t. Suppose -o - r - 596 = -3*o, 4*o - t*r = 1196. Does 19 divide o?
False
Suppose i = 3*w, -i + 3*i = w. Let m(z) = -z**3 + 4*z**2 + z + 2. Let o be m(0). Suppose s - o - 10 = i. Is s a multiple of 10?
False
Let s = 3441 + -997. Is s a multiple of 117?
False
Let j be (65/10 + -7)/((-1)/(-192)). Let r = 140 + j. Does 9 divide r?
False
Let m(j) = -j**3 - 10*j**2 + 8*j - 35. Let x be m(-11). Is 19 a factor of 35800/240 + x/12?
False
Let j = -254 + 1424. Is 125 a factor of j?
False
Let p(n) = 89*n - 935. Does 19 divide p(31)?
True
Let m = 704 - 696. Suppose m*w + 1102 = 46*w. Does 6 divide w?
False
Suppose 31*o - 56865 = 35577. Is 42 a factor of o?
True
Suppose 3*l - 207 = -l - c, -5*l - c + 259 = 0. Let p be (1 - (2 - 9))*l. Suppose 0*q - 4*q = -p. Does 26 divide q?
True
Suppose -2*i = 4*u - 10440, i + 372*u - 374*u - 5220 = 0. Is 4 a factor of i?
True
Let g be -3 - (-40)/8 - -2140. Suppose 0 = 4*u - g + 654. Is 6 a factor of u?
True
Suppose -2*j + 6 = 0, -j - 14594 = -2*t + 3683. Is 5 a factor of t?
True
Suppose -3*u - t = -25141, -t + 2349 = -2*u + 19113. D