e
Suppose 3*l + q - 5 = 12, 4*q = l + 3. Suppose -24*p + 1536 = -21*p - l*n, 3*p - 4*n = 1536. Is 32 a factor of p?
True
Let u be (-9)/6*56/(-21). Suppose 0 = -u*s - 9 + 1. Let z(m) = -19*m - 11. Is 12 a factor of z(s)?
False
Let b = 356 + -373. Is 11 a factor of b/34 + 838/4?
True
Let d(p) = -2*p**2 + 18*p + 24. Let u be d(10). Is 0 - u - (-193 + 1 + -6) a multiple of 5?
False
Is 101 a factor of 5*2/(-35)*-399?
False
Suppose 0 = -g - 5*b + 2641, b = 2*g + 6*b - 5282. Does 10 divide g?
False
Let i = 70 - -142. Suppose -2*q - 5*u + 103 = -74, 2*u = 2*q - i. Is q a multiple of 16?
False
Suppose 0 = 2*f + 2*n - 2370, -5*n = -4*f - 4*n + 4720. Suppose 8*l = 3*r + 3*l - f, 5*r - 5*l = 1965. Is 49 a factor of r?
True
Let h = 2130 - -18352. Is h a multiple of 14?
True
Let v(u) = 5*u**3 - 3*u - 23 - u**3 + 8*u**2 - 3*u**3. Let z be v(-8). Is (z + 0)/(3/663) a multiple of 13?
True
Let l = -26299 - -31317. Does 26 divide l?
True
Suppose 2191 - 487 = 3*h. Let l = h + -405. Does 5 divide l?
False
Suppose -3*f = 3*o - 6*o + 22398, -22422 = -3*o - 5*f. Is 9 a factor of o?
False
Let r(o) = 919*o + 7036. Is r(45) a multiple of 223?
True
Let j = -59 + 44. Let f be (3 - (-32 - -1))*j. Let o = -334 - f. Is 44 a factor of o?
True
Suppose -10293 = -16*q + 62267. Does 34 divide q?
False
Suppose 10*g + 5*g - 6*g = 2349. Is 6 a factor of g?
False
Let m = -4188 + 11541. Is m a multiple of 129?
True
Suppose -r - 4*k + 4227 = 0, 4*r = 2*r + 5*k + 8428. Does 54 divide r?
False
Let p = 189 + -183. Let j(a) = -7*a - 4 + 9*a**2 - 2 - 2*a**2 - 3*a**2. Is j(p) a multiple of 24?
True
Suppose -1843 = -3*m + o - 6*o, 2*m = -2*o + 1222. Is 6 a factor of m?
True
Let r(i) = i**3 - 16*i**2 - 13*i - 72. Let z be r(17). Does 8 divide -8*(z/(-14) + (-1125)/42)?
False
Suppose 119*v - 123*v - 3*i = -8984, -4*i + 8988 = 4*v. Is 12 a factor of v?
False
Let k(f) = -31*f**3 - 2*f**2 + 2*f + 3. Let g(w) = -w**2 + w. Let h be g(2). Is k(h) a multiple of 14?
False
Let x(l) = -3*l - 20 - 16*l**2 + 38*l**2 - 19*l**2. Suppose 0 = -7*h + 3*h - a + 18, -4*a = -4*h + 28. Does 4 divide x(h)?
True
Let u(l) = -8*l**3 - l**2 - 4. Let v be u(-2). Suppose -v = -2*s - 6*s. Suppose -s*n + 985 - 47 = 0. Is 17 a factor of n?
False
Let s be (4/5)/((-14)/105). Let z be 241/6 + s/36. Suppose z = 2*k + 2. Is 2 a factor of k?
False
Let r(h) = h**3 + 72*h**2 - 79*h + 876. Does 9 divide r(-73)?
True
Let q be 1/((5/9451)/5). Suppose 3*i - 5*i - 12 = b, 0 = -2*b - i - 27. Does 26 divide q/91 - 2/b?
True
Suppose -885 = 2*d + 3*d + 5*n, 703 = -4*d - 5*n. Let i = d - -128. Does 39 divide 5*i/(3 + 27/(-4))?
False
Let x(h) = -h**3 + 5*h**2 - 3*h + 17. Let j be x(5). Suppose 0 = -2*m - j*m + 12, -3*a + 3*m + 891 = 0. Is 15 a factor of a?
True
Let u = -1176 - -2247. Is 2 a factor of u?
False
Suppose 60*o - 57*o = 0. Let g be (-1)/((-3)/(-264) + o). Is (-8960)/g - 6/(-33) a multiple of 17?
True
Let u(t) = t**2 + t. Let g be u(-4). Let a be (-6)/2*80/g. Is (-6)/(-10) + (-1028)/a a multiple of 42?
False
Let n = 4274 + 6346. Is 59 a factor of n?
True
Suppose -m = g - 8, -3*g = 3*m - 2*g - 18. Suppose 388 + 472 = m*w. Suppose -46 = 6*l - w. Is 17 a factor of l?
False
Let f(z) = z - 5*z + 0*z + 0*z - 34. Let j be f(-13). Is 66/j + (2 - 1)/3 a multiple of 2?
True
Let s(k) = 7*k + 10. Let f(r) = -6*r - 11. Let h(d) = 3*f(d) + 4*s(d). Suppose 2*m + 7 = 9. Is 17 a factor of h(m)?
True
Let t(l) = 19*l**2 - 16*l - 118. Let r be t(-9). Let y = r - 793. Is y a multiple of 24?
False
Suppose 438*l - 41126 = 436*l - 5*m, -2*m - 8 = 0. Is 147 a factor of l?
False
Suppose 0 = -5*m - 183 - 152. Let b = -62 - m. Suppose 10*v - b*v = 70. Does 3 divide v?
False
Suppose 0 = 2*l + 5*s + 135, 3*l + s + 192 = -3*s. Does 14 divide 771/(-4)*(l + 56)?
False
Let s(u) = u**3 + 19*u**2 - 8*u + 12. Let o be s(-18). Suppose 0 = 4*j - 28 - o. Let a = j - 85. Is 42 a factor of a?
True
Suppose -4*k + 6171 + 2370 = -3*q, -q = -k + 2134. Let d = k - 1287. Does 9 divide d?
False
Suppose z + 5*z - 18 = 0. Let r be ((-442)/z)/(-2 - 20/(-15)). Let m = r - 87. Is 10 a factor of m?
False
Let k = -10158 + 11057. Is k a multiple of 4?
False
Suppose 0 = w - 15*w. Suppose d + 0*d + 2*f - 13 = w, 29 = 5*d - 2*f. Suppose -d*z - 2*z + 423 = 0. Is 7 a factor of z?
False
Let w = -754 + 312. Is 44 a factor of (-42 + w)*(-1 - 0)?
True
Let b(l) = 28*l**2 + l - 2. Suppose 2*o + 4*v = 3*v - 5, 0 = o + v + 1. Is b(o) a multiple of 34?
True
Let o be 0/(7 + -8 + 2). Suppose o = 37*z - 41*z + 4480. Is 28 a factor of z?
True
Let b be 0 + -4 + 7 + 1796. Suppose 4*h - z - b = 0, 4 + 0 = 4*z. Suppose r - 4*r - 4*p = -451, -h = -3*r - 3*p. Is 36 a factor of r?
False
Suppose -5*t + 45 = -5*r, -5 + 3 = 2*t + 3*r. Suppose t*l - 24 = -4. Does 9 divide 17*8/l + 2?
True
Let j(u) = 3*u - 134. Let t be j(-22). Does 12 divide t/24 + 8 - 1969/(-3)?
False
Let d be ((-24)/(-9))/(5/(-15) + 0). Is d + 13 + (2 - -164) a multiple of 9?
True
Let a(x) = -2*x**3 - 10*x**2 - x - 2. Suppose w = -27 + 29. Suppose -44 + w = 6*b. Is 34 a factor of a(b)?
False
Let o = 94 - -384. Suppose 3*w + 2*d - o = 0, -3*d = -43*w + 41*w + 323. Does 8 divide w?
True
Suppose 3*f = 2*h + 1266 + 3148, 0 = 4*f + 8*h - 5832. Is f a multiple of 18?
False
Let x be ((-10)/(80/(-12)))/((-3)/(-14)). Suppose -x*t = 246 - 1184. Let v = -31 + t. Is v a multiple of 11?
False
Suppose 0 = -4*w + 3*m + 2*m - 190, 4*m - 192 = 4*w. Let v = w - -54. Is (-27 + -2)*(v - 5) even?
False
Is (2089/(-4))/(29/(-348)) a multiple of 82?
False
Suppose -15 = 14*y - 9*y. Let o(t) = 2*t**2 + 2*t - 3. Let r(h) = -6*h**2 - 6*h + 8. Let z(j) = y*r(j) - 8*o(j). Is z(5) a multiple of 14?
False
Suppose a = 3, 4*x - 91 = -4*a + 5. Does 7 divide (-25)/10*2 + x?
False
Suppose -16*x = -17*x + 4. Suppose 2*s - p = -28, 6*s + 56 = 2*s - x*p. Let k(m) = -m**3 - 15*m**2 - 14*m + 8. Is 3 a factor of k(s)?
False
Let k be -5 + 34/8 + 43/4. Suppose -9*r + k = -14*r. Is 5 a factor of 120/8 - (-2 - 1 - r)?
False
Let b(o) = 2*o - 6. Let r be b(4). Let h be -7 + (6/(-8))/(r/(-8)). Is (h/(-26) + (-63)/(-182))*26 a multiple of 2?
False
Suppose 4*z - 39953 = d + 901, z - 2*d - 10224 = 0. Is z a multiple of 6?
True
Let u(s) = -555*s + 990. Is u(-16) a multiple of 95?
False
Let i = 29468 - 19015. Does 95 divide i?
False
Let k = -6852 + 7682. Does 10 divide k?
True
Let z(k) = -k**3 - k**2 - 5*k - 518. Does 9 divide z(-28)?
True
Let u be 86 - 5/(25/20). Suppose -5*i - u = -7*i. Suppose 40*f = i*f - 176. Is f a multiple of 31?
False
Let f = 1 + -2. Let t(b) = 4*b**2 - 3*b - 2. Let m be t(f). Suppose 0 = 3*x - d - 46, 4*d - 71 = -0*x - m*x. Is 3 a factor of x?
True
Let p be (3/18*3)/(20/33520). Suppose -41*w = -37*w + 5*o - 1169, -p = -3*w + 4*o. Does 22 divide w?
True
Suppose -72*l + 37*l = -17500. Does 3 divide l?
False
Let z be ((-3)/1 - -1)/(234/(-585)). Suppose 710 = 3*k + z*h, -3*k = 2*h - 77 - 639. Is k a multiple of 7?
False
Let i(a) = -94*a + 2 + 27*a - 117*a. Let z be i(-2). Suppose -2*c - 3*c = -4*y - z, 4*y + 230 = 3*c. Does 14 divide c?
True
Let c = 823 + 2249. Suppose -4*m - 5*v + c = 0, -1078 = -3*m + 4*v + 1195. Does 30 divide m?
False
Suppose -22*s + 1726 = -7052. Suppose 2*m + s = 5*m. Is m a multiple of 10?
False
Suppose 0 = -5*b + 5*m + 6650, -6*b - m + 6626 = -b. Suppose 4*n - 1308 = -3*d, 6*d - 2*n - b = 3*d. Let w = d + -232. Is 50 a factor of w?
False
Let w = 14498 + -7246. Is w a multiple of 28?
True
Suppose -1134*l + 1118*l + 161936 = 0. Is 11 a factor of l?
False
Suppose f + 13379 = 10*z - 11727, 4*z + 2*f = 10028. Is z a multiple of 10?
True
Suppose -2*y = -33*y - 248. Does 41 divide (6/y)/((-3)/1908)?
False
Let s = -110 + 134. Suppose 5*o + 9 - s = 0. Suppose -4*x + 84 = -3*z + 299, o*x - 166 = -2*z. Does 7 divide z?
True
Let m(q) = -q**3 - 3*q**2 + 8*q + 14. Let t(f) = -4*f - 1. Suppose 9 - 1 = 8*h. Let c be t(h). Is m(c) a multiple of 8?
True
Let s = 1908 - -3001. Does 11 divide s?
False
Suppose 2*v = -m + 30 - 0, m - 24 = 4*v. Suppose 2*f = 4*q - 18, 4*q - 7*f = -3*f + m. Suppose -4*x + 32 = -q*b, 7*b - 5*b = -4*x + 48. Does 10 divide x?
True
Suppose 3*k + 12 = 5*b, -2*b + 7 = 2*b - 5*k. Suppose 4*r = 4*m - 0*m + 780, b*r = m + 595. Is 25 a factor of r?
True
Let x = -458 - -277. Let b = x - -186. Is 2 a factor of b?
False
Suppose 236*t - 121*t = 133*t - 1053