 -d - 3*i. Suppose -10*w + d*w + 47 = 4*c, -3*w + 10 = c. Is c even?
False
Let h = 92 + -35. Suppose -h = 4*u - 7*u. Suppose u*s - 325 = 14*s. Is s a multiple of 13?
True
Suppose 3*f - u = 2*u - 9, -31 = -3*f - 5*u. Suppose -4*v = -12, -z - 651 = f*z - 5*v. Let l = -149 - z. Is 7 a factor of l?
True
Let v = 52924 - 14012. Does 6 divide v?
False
Suppose 0*f - 3*f + 4947 = -2*o, -3266 = -2*f - 4*o. Is f a multiple of 28?
False
Suppose l = 2, 7*l = 5*p + 2*l + 10. Suppose -11*c + 6*c + 10 = p. Let d(o) = 103*o + 4. Is d(c) a multiple of 30?
True
Is (45 - (2 + -2))*(7 + (20 - 12)) a multiple of 27?
True
Is 31 a factor of 5/20 + (71374/8 - -2 - -4)?
True
Suppose -4*z - r - 13 = -47, -2*z = 3*r - 22. Suppose -z*s + 55 = -41. Is s a multiple of 6?
True
Suppose -2*q = -2*h + 8740, 0 = -36*h + 35*h - 2*q + 4364. Does 52 divide h?
True
Suppose -7*z - 38*z = 298 - 67123. Is 5 a factor of z?
True
Suppose 19 = a + 15. Suppose 4*y - a*d - 1020 = 0, -y + 2*d = -85 - 173. Does 36 divide y?
True
Let s = 66 + -52. Suppose 0 = -d - 3*d - 3*z - s, 0 = -5*d + z - 8. Is d - (3 + 110/((-6)/3)) a multiple of 6?
False
Suppose -6*j + 7*j - 12 = 0. Suppose 6*p - j = 2*p. Suppose x - z - 11 = 81, -5*x + p*z + 466 = 0. Is 19 a factor of x?
True
Suppose 3*i - 6 = 0, 5*g - 3*i - 1794 = 11200. Does 10 divide g?
True
Suppose 8*j + 2*j - 30 = 0. Suppose j*w - 3*s + 1137 = 4152, 5049 = 5*w + 3*s. Suppose -35*l + 28*l = -w. Does 9 divide l?
True
Suppose g - 2*f + 5*f - 5 = 0, -4*f = -2*g. Let m(n) = -8 - 4 - g + n**2 + 9*n. Does 17 divide m(7)?
False
Let u = -3278 + 6362. Is 4 a factor of u?
True
Let b = 28761 + -22788. Is 184 a factor of b?
False
Suppose 7*d - 7 = 8*d. Let y(f) = 5*f**2 + 9*f - 12. Does 15 divide y(d)?
False
Suppose 9 = -16*w + 19*w. Let x be 28/w*-72*(-9)/42. Let u = -24 + x. Does 22 divide u?
False
Suppose -16 = -3*k + 3*n + 5, -4*k - 4*n = -4. Suppose -4*j = -8*f + k*f - 216, 4*j + 5*f = 189. Is j even?
False
Let o(a) = a**3 + 76*a**2 + 158*a - 169. Does 98 divide o(-71)?
True
Let s = 42030 + -24033. Is 15 a factor of s?
False
Let m(o) = -1422*o + 5625. Is 6 a factor of m(-3)?
False
Suppose 0 = -4*y - 2*n + 17700, 3*y - 171*n + 169*n = 13289. Does 35 divide y?
False
Suppose 8 = -a + 4, 4*v - 2*a + 604 = 0. Suppose -4*z + 92 = -940. Let j = z + v. Is j a multiple of 7?
True
Let y(q) = 634*q**2 - 12*q - 3. Does 17 divide y(3)?
False
Let w(k) = 14*k - 78. Let s be w(19). Suppose s = 6*o - 118. Is 8 a factor of o?
False
Let w(v) = -16393*v + 388. Does 30 divide w(-1)?
False
Let r(l) = 89*l - 56. Let w(o) = 2*o**3 - 15*o**2 + 8*o. Let y be w(7). Is r(y) a multiple of 58?
False
Suppose 9*h - 10*h + 13 = 2*g, 5*g - 16 = 3*h. Suppose 8*p - 346 = -g*v + 4*p, 3*v = 2*p + 212. Is 12 a factor of v?
False
Suppose -n - 2*c + 6032 = n, -2*c = 4*n - 12074. Let z be 2/(1 + (-2)/6). Is 35 a factor of n/45 - (86/(-30) + z)?
False
Let o(y) = 3*y - y**2 - 1 + 3 - 4*y + 694*y**3 - y. Is o(1) a multiple of 21?
True
Let b(k) be the third derivative of k**4/6 + 7*k**3/3 + 21*k**2. Let s be b(6). Suppose -f - 4*r + s = 0, -10 = r + r. Is f a multiple of 12?
False
Let r(a) = -5*a**2 + 13*a + 93*a**2 - 12*a**2 - 3 - a**3 - 28*a**2. Is 60 a factor of r(48)?
False
Suppose r - 4*u = 16, u = -2*r - 3*u - 4. Suppose -r*c + 7*c + 223 = f, -2*c = 10. Does 3 divide f?
False
Suppose -p + 112 = -5*m, 5*p = 2*m - 4*m + 587. Let c = 1282 - 1277. Suppose -4*y = b - 156, 4*b = -3*y + c*b + p. Is 39 a factor of y?
True
Suppose -2*t - 20 = -28. Suppose h + 4 = 0, 5*d - 26 = 5*h + t. Does 2 divide (-1845)/(-41) + (-1 - 1)*d?
False
Suppose 12977 - 198929 = 118*q - 144*q. Is q a multiple of 8?
True
Let f(d) = d**3 + 10*d**2 + 38*d + 286. Does 20 divide f(-8)?
False
Let y = -3236 - -3715. Is y a multiple of 17?
False
Let z = 20759 + -16247. Is 48 a factor of z?
True
Suppose m = -5*u - 10, -5*m + 15 + 22 = -4*u. Suppose 0*q - 672 = -3*q. Does 2 divide (u/(-2))/(28/q)?
True
Let d(u) = 2*u**2 - u - 3. Let y be d(2). Suppose -2*k = 0, y*q = -11*k + 10*k + 66. Is 10 a factor of q?
False
Is 13 a factor of (3 - (-1)/1 - 1344/192) + 4384?
True
Is 12/126 + 1467059/231 a multiple of 73?
True
Let d(b) = b - 1. Let u(l) = 2*l - 8. Let h(k) = 4*d(k) - u(k). Let w be h(-3). Is 13 a factor of 26 + (12/w - -3)?
False
Suppose -r = -3*r + 18. Suppose 38 = r*c - 10*c. Is (-166)/(-7) - c/133 a multiple of 8?
True
Let w = 140 - 144. Does 63 divide (-42196)/(-56) + (-10)/w?
True
Suppose -3*t = 134 + 37. Let i = 49 + t. Is ((-180)/16)/(2/i) a multiple of 9?
True
Suppose 14*w - 960 - 12027 + 1339 = 0. Is 32 a factor of w?
True
Let v = 6638 + 1795. Does 197 divide v?
False
Suppose o + 13 = 4*r, 3*o + 14 = -3*r - o. Suppose -3*g - 159 = -3*x + 702, -g = 3*x - 885. Suppose -r*f = -10, -3*d = -4*f - x + 28. Does 19 divide d?
True
Let q(n) = 23*n - 98 - 4*n + 90*n + 21*n + 106*n. Is q(7) a multiple of 14?
True
Let v(o) = 2*o**2 - 7*o - 12. Let x be v(5). Let c(l) = 1 - 4*l + 3*l**2 + 9*l + x + 7*l**2. Does 19 divide c(-4)?
False
Is (-162)/(-972) - 6611/1*43/(-6) a multiple of 8?
False
Suppose 3*z + 519 = 4*c, -5*c - 2*z + 126 = -494. Suppose 115*b - c*b + 7700 = 0. Does 10 divide b?
True
Let v = 2335 - 2330. Is v even?
False
Let k = 863 + -716. Let i = -44 + k. Does 12 divide i?
False
Let v(w) be the first derivative of w**4/4 + 29*w**3/3 + 23*w**2/2 - 35*w - 6. Let p be v(-28). Suppose 109*y - p*y - 176 = 0. Does 11 divide y?
True
Let u be -10*(-2 + 4*3/8). Suppose -r - 2*w = w - 182, u*r - 910 = w. Is r a multiple of 26?
True
Suppose -2*o = -5*w + 4*w - 18, -4*w - 16 = -o. Suppose 486 = o*r - 714. Does 10 divide r?
True
Suppose 2377 = -4*g + t, -t - 1788 = -0*g + 3*g. Let n = g - -664. Is n a multiple of 3?
True
Suppose -108 = -3*a + 252. Let l be 1*-5*(-5 + a/6). Is 24 a factor of (141/l*-5)/((-1)/(-5))?
False
Let o(r) = 7*r**2 - 4*r - 3. Let a = -56 + 55. Let j be o(a). Let s = j + 30. Is 19 a factor of s?
True
Suppose 778893 = 2*g + 25*g - 235875. Is 54 a factor of g?
True
Let g = -66363 + 96902. Is 28 a factor of g?
False
Let v(q) be the second derivative of 3*q**4 + 3*q**3/2 + 5*q**2/2 - 28*q. Does 10 divide v(-1)?
False
Let l be (19 - 18) + (6 - 1). Suppose -3215 = -l*k + 1003. Is 37 a factor of k?
True
Suppose -17*c = 34 - 0. Suppose 5*w = 6 + 14. Is (27/c)/((-2)/w) a multiple of 9?
True
Suppose 0 = 12*s - 17*s. Suppose 2*u + 10*z = 6*z + 1322, s = -4*u - 4*z + 2648. Is 6 a factor of u?
False
Let o(s) = -s**2 + 20*s - 29. Let j = -50 - -46. Let u be (-46)/j + 18/12. Is 31 a factor of o(u)?
True
Let m(t) = -1911*t - 9332. Is 5 a factor of m(-5)?
False
Suppose 4*r = 3*m - 19, 4*r + 5*m - 22 = -65. Does 42 divide (6 + r - 6) + 847?
True
Let j = 16543 + -14688. Is 24 a factor of j?
False
Let c(u) = 2*u**2. Let w be c(5). Let g be (-2)/(-10)*5 + 19. Suppose 0 = -4*o - o + g, -w = -m - 4*o. Is 15 a factor of m?
False
Suppose -5*f + 315 = -3*s - 2*s, -5*s - 3*f = 291. Let u be s*(3 + (-51)/12). Suppose 2*x = -x + u. Is 3 a factor of x?
False
Suppose -3*b + 30 = x, 4*b - 11*x = -6*x + 21. Suppose -b*o + 267 = -705. Let l = 137 - o. Is 4 a factor of l?
False
Suppose -2*m + 3*o = -12 - 6, 0 = 2*m + o - 18. Suppose m*v - 14*v - 80 = 0. Is 13 a factor of (-10)/40 - (-2)/(v/(-106))?
True
Suppose 4*q = -3*p + 2384, 1788 = 3*q + 1760*p - 1756*p. Does 18 divide q?
False
Let p = 4215 + -1061. Suppose 4*i - 691 = -f + 93, 4*f = 2*i + p. Is f a multiple of 79?
False
Suppose 17*b = 9*b + 24. Is 15 a factor of (9/2)/b - (-1268)/8?
False
Let x(u) = -u**3 - 8*u**2 + 22*u + 20. Let v be x(-10). Let b(g) = 5*g**2 - 4*g + 3. Let t be b(-6). Suppose -d + t - 77 = v. Is d a multiple of 28?
False
Is ((78780/(-8))/(-13))/((-60)/(-400)) a multiple of 2?
True
Suppose 113 = -3*p - 79. Let l = -131 - p. Let q = 32 - l. Is 15 a factor of q?
False
Let p be (973/(-14))/(1/(-2)). Suppose -3*h + 119 = -p. Suppose -3*w = -3*v + 78, 3*v - 6*v = w - h. Is v a multiple of 3?
False
Let h = 697 + -693. Suppose 4*s - 3988 = -t + 1519, -h*s - 3*t + 5497 = 0. Does 16 divide s?
False
Suppose z - 47 = -6*r + 5*r, 0 = -5*z + 2*r + 256. Is 2/(-10) + 24410/z a multiple of 61?
True
Let o be (-3 - -1)*(-18)/4. Suppose 0 = -o*x + 19*x - 9240. Does 33 divide x?
True
Let a(w) = -w**2 + 8*w**2 - 4*w**2 + 3*w + 15*w**2. Let v be (3*-1)/((-1)/(-1)*1). Does 30 divide a(v)?
False
S