) + -1 + 3/(-1). Is v/(-8)*544/(-4) a multiple of 68?
True
Let i = -487 + 512. Suppose 23*n - i*n = -1530. Does 11 divide n?
False
Suppose -23 = 2*t - 3*g - 8, -2*t - 4*g + 20 = 0. Suppose -3*c + 2*y + 50 + 246 = t, -c + 104 = 2*y. Let q = c - 69. Is q a multiple of 6?
False
Let f(a) = -2*a**3 - 22*a**2 - 19*a + 16. Let x be f(-10). Suppose -3*j - 1143 = -x*j. Does 29 divide j?
False
Let f = 39146 + -27346. Is 40 a factor of f?
True
Suppose -2*m - 5*o = -7558, 2*m - 1453 - 6117 = -3*o. Is 105 a factor of m?
False
Suppose -26*o = -8*o - 180. Let v = 16 - 12. Suppose 0 = 2*j - v*j + o. Is 3 a factor of j?
False
Suppose o = -5*g + 69, -318 = -5*o + g + g. Suppose 0 = -12*x + 14*x - o. Is 32 a factor of x?
True
Does 5 divide (-12 + 32 - -4656) + (1 - 7)?
True
Suppose -4*s + 8 = 0, 258*v - 3*s = 254*v + 4362. Is 156 a factor of v?
True
Suppose -2*v - 533 = -3*d - 0*d, 0 = 2*d - 2. Let m = v - 473. Does 25 divide (-4)/((-24)/m)*2/(-3)?
False
Let i be 2 + -2 + -2 - -527. Let p(m) = -m**3 - 49*m**2 - 87*m - 36. Let y be p(-47). Let r = y + i. Is 10 a factor of r?
True
Suppose 2*h + 2*y - 696 = 0, 3 + 9 = 3*y. Let k = h + -70. Is k a multiple of 24?
False
Let j(l) = 2275*l + 229. Is j(1) a multiple of 10?
False
Suppose -3*s + 137633 = 5*y, 32247 - 224926 = -7*y - 3*s. Does 27 divide y?
False
Let a(q) = -q**2 - 34*q + 110. Let h be a(-37). Is 343 + h/((-3)/9) a multiple of 13?
False
Suppose 184*x = 108*x + 2038016. Does 193 divide x?
False
Let c be ((-6)/(-5) - -1 - 3)*-5. Let h be c/(-7) + (-4)/((-84)/(-51)). Is 19 a factor of (-3)/4 - (h + 549/(-12))?
False
Suppose 2*y = 0, 4*f - 3*y - 12 = y. Suppose -f*d + 767 + 577 = 0. Is d a multiple of 28?
True
Suppose -704 = 44*c - 48*c. Let t = c + -158. Does 18 divide t?
True
Suppose 2*w - 96 = -5*s, 20*w = 15*w + 3*s + 240. Does 6 divide w?
True
Suppose 3*b = -6, -5*g + 2*b = 3*b - 23. Suppose 4*l = -3*c - 8, g*c - 15 = 4*l + 25. Suppose -2*n + 227 = -3*s, -c*n + 0*s = -4*s - 452. Is 19 a factor of n?
False
Let y(f) = -3*f + 6. Let h be y(-1). Suppose h = 3*o, 0*c + 3*o = c + 20. Is (c/(-22) - (-59)/(-2))/(-1) a multiple of 8?
False
Let n = 98 - 173. Is 10 a factor of (-432)/(-45)*n/(-3)?
True
Let u be -67 + 12/(6/2). Let o = u - -62. Does 32 divide (-12 + 13)*(o + 129)?
True
Let k = 1651 - 1226. Is k a multiple of 17?
True
Suppose 47*p - 268472 + 99366 = 0. Is 14 a factor of p?
True
Does 168 divide 7/35 - (75034/10*-2 - 4)?
False
Let w = -415 + 971. Suppose w = 18*c - 326. Does 7 divide c?
True
Let s(m) = 47*m - 2 - 3 + 4 + 10. Let v be s(6). Suppose -8*p = -501 - v. Is 9 a factor of p?
True
Suppose 1022 + 4325 + 18251 = 3*l. Does 18 divide l?
True
Let s(y) = -36 - 5*y + 1 + 2*y**2 + 12. Let o(j) = 6*j**2 - 14*j - 68. Let c(n) = 3*o(n) - 8*s(n). Is 8 a factor of c(7)?
True
Let f(w) = w - 34 + 55 - 44. Let m be f(18). Is (-3)/(-6)*(m - -69) a multiple of 8?
True
Let v = 5130 - 4552. Does 7 divide v?
False
Suppose 10032 = 11*y - 46790 - 36788. Is 37 a factor of y?
True
Let v be (0*(9/(-3) - -4))/(-1). Suppose 240 = 5*z - v*z. Let w = -3 + z. Is w a multiple of 9?
True
Let u = 19186 - 10658. Is u a multiple of 164?
True
Let j(u) = 48*u**3 + 4*u**2 + 102*u - 595. Is 10 a factor of j(6)?
False
Let u be 10*(252/40 - 6). Suppose u*o + 2*y = 70, 4*y = 4*o - 0*y - 100. Does 4 divide o?
True
Let u = -216 - -236. Suppose 16*p = u*p - 3240. Does 81 divide p?
True
Let l(x) = -61473*x**3 + x**2 + 6*x + 4. Is 18 a factor of l(-1)?
False
Suppose m + 76 = 3*g - 101, 4*m - 5*g + 715 = 0. Let z = -152 - m. Is 7 a factor of z?
True
Suppose -3*s + 5*m = -s + 1559, m + 1 = 0. Let a = -496 - s. Is 13 a factor of a?
True
Let u be 1*15*(6/18 + 0). Suppose 5*t - q + 67 = 3*t, u*q = 5. Let y = -9 - t. Does 2 divide y?
True
Let k(w) = 11*w**2 - w + 1. Let q be k(4). Let s(x) = -x**2 - 99*x - 1275. Let a be s(-80). Let c = a - q. Does 12 divide c?
True
Suppose -5*f = 26 - 6. Let v be (-95)/2*16/f. Is 16 a factor of 1/(v/(-64) - (-1 + -2))?
True
Let m = 74326 + -34121. Is 345 a factor of m?
False
Let j(v) = v**3 - 22*v**2 - 48*v + 2. Let d be j(24). Let x be d*-1*(7 - 9). Suppose -l + 0*l = -x. Does 2 divide l?
True
Is 25 a factor of (6*(-560)/(-63))/((-6)/(-810))?
True
Suppose 0 = -594*a + 596*a - 7402. Is 21 a factor of a?
False
Let p(s) = -s**2 - 27*s + 64. Let i be p(-28). Suppose i*a - 1584 = 20*a. Is 33 a factor of a?
True
Let q = 108 + 2004. Is 8 a factor of q?
True
Let p(f) = 2*f**2 + f - 1. Let y be p(-2). Let a(s) = 2*s - 10. Let g be a(y). Suppose 3*z - z = -2*r + 82, 3*z - 15 = g. Is 4 a factor of r?
True
Let t = 745 - 464. Let x = t - -846. Is 91 a factor of x?
False
Suppose -22*o + 13793 = -11947. Does 195 divide o?
True
Let m be 2 + -2 + (3 - 3). Suppose m = -c + 154 - 151. Is 2 a factor of c?
False
Suppose 0 = -5*g + 5*k + 40500, 139*k - 12 = 137*k. Does 29 divide g?
False
Is 28 a factor of 344/129*218*(-4347)/(-56)?
False
Suppose 5*r = 9*r - 28. Suppose -10*d + 13 = -r. Is (-47)/((0 - d/(-4))*-2) a multiple of 6?
False
Let d be -11*(-1196)/8 - 4/8. Suppose -q - 2 = -0, 5*l - d = 2*q. Does 44 divide l?
False
Suppose l = 5*l + j - 293, 0 = 2*l + 3*j - 149. Suppose a = 535 - l. Does 23 divide a?
False
Let d be 0 + -1 - (5 + (-4 - 1)). Is 1162/8 + d/4 a multiple of 29?
True
Let g = 58506 + -37512. Is 113 a factor of g?
False
Let m be 2/(-8) + 3/12. Suppose 2*s = 2*l + 508, 0 = 5*s - m*l - 3*l - 1264. Is s a multiple of 20?
False
Suppose -3*s - 5*w = 902, -3*s + w + 459 = 1355. Let n = -213 - s. Is 19 a factor of n?
False
Is 2 a factor of 4661 - 43/((-989)/(-276))?
False
Let q = -72 - -68. Let g = q - -8. Suppose -g*z = -50 - 334. Is z a multiple of 12?
True
Let y = 739 - -894. Is y a multiple of 19?
False
Let s(c) = -107*c + 773. Does 2 divide s(-22)?
False
Suppose o - 10 = 5*q, -3*o - 3*q = 2*q - 10. Suppose 3*r = 4*r + 2, o*l + 4*r - 27 = 0. Suppose -l*d - 3*d + 1320 = 0. Is d a multiple of 12?
True
Let p(v) = -19*v - 9. Let l be p(-2). Let m = 15 + l. Let k = m - -25. Is k a multiple of 23?
True
Let u(x) = -87*x + 4994. Is u(15) a multiple of 7?
True
Let a(b) = 89*b + 21. Let t be a(1). Suppose -v = -5*y + 354 + t, 2*v = 2*y - 184. Is 6 a factor of y?
False
Suppose 3*i - 4154 - 1663 = -3*r, 3*i + 1923 = r. Let p = -1350 + r. Does 18 divide p?
False
Let t be (6/(-4))/(12/(-5992)). Let q = -533 + t. Is q a multiple of 12?
True
Is 9 a factor of 39/26*(2 + 288) + 11?
False
Suppose -37743 = -21*z - 20443 + 23209. Is z a multiple of 26?
False
Let d = -90 + 110. Suppose -d*x = -17*x - 768. Is x a multiple of 30?
False
Suppose -275544 = -5*j - 2*u, -220446 = -4*j - 55*u + 57*u. Is 110 a factor of j?
True
Let n(c) = -c**3 + 59*c**2 + 80*c + 220. Let u be n(60). Let y = -860 + u. Is y a multiple of 35?
True
Let v(y) = y**3 + 15*y**2 + 25*y - 11. Let c be v(-13). Suppose -f - c = -2*f. Does 16 divide f/(-5)*-5 - -30?
True
Let b be (9/(-6) + 2)/(14/(-308)). Is (-2 - -3)*(b - -6 - -518) a multiple of 91?
False
Let b(j) = -55*j - 5. Let d(a) = -166*a - 17. Let u(y) = -11*b(y) + 4*d(y). Let i be u(-6). Let c = i - 218. Is c a multiple of 28?
False
Let h(k) = 8*k**3 + 15*k**2 - 9*k + 193. Does 20 divide h(12)?
False
Does 8 divide (-6)/(-11) - 323342/(-1397)?
True
Let i = -3294 + 10774. Is 22 a factor of i?
True
Let b = -19840 - -53505. Is 182 a factor of b?
False
Suppose -31*d - 4*d + 35560 = 0. Let y = -444 + d. Does 44 divide y?
True
Let n = -8 - -4. Let z be (52 + -55)*(29/(-3) + -1). Is 1/n - (-1896)/z a multiple of 8?
False
Let w(j) = j**2 - 17*j + 63. Let g be w(12). Does 7 divide 26/(-20)*-146 + g/15?
False
Let x be (3/24*8)/(1/452). Suppose -p - r - x = -2*p, -1 = -r. Let w = p - 236. Is w a multiple of 32?
False
Let s(m) = 175*m - 1921. Let y be s(11). Suppose 2*h + 5 = 15. Suppose -43 = -k - y*f + 2*f, 5*f = -h*k + 195. Is 35 a factor of k?
True
Suppose 12*s - 16 = 8. Suppose s = -p + 38. Let w = 52 - p. Is w a multiple of 16?
True
Suppose -4624 = -4*q + 4*l, -2*l = 2*q - 5*l - 2308. Suppose 15*n = 11*n + q. Does 10 divide n?
True
Suppose -18*o - 152 = o. Let w(u) = -2*u**3 - 8*u**2 - 8*u - 11. Does 18 divide w(o)?
False
Let a = -486 + 1775. Let k = 2339 - a. Is k a multiple of 10?
True
Suppose -908 - 288 = -p. Suppose -3*s + p = -13*y + 9*y, 0 = 3*s - 3*y - 1197. Does 16 divide s?
True
Let b(n) = 2*n**2 - 6*n + 12. Let p