uppose -11 = -d*a + 17. Suppose -3*q = -a*q + 88. Is q a multiple of 6?
False
Let v = 1044 + -274. Suppose -v = r - 6*r. Does 7 divide r?
True
Let g = 32 + 33. Let j = 108 - g. Suppose -2*r = -3*r + j. Does 6 divide r?
False
Let s = 8 - 3. Suppose 4*f = 5*m + 10, 4*m - m = -3*f + 21. Is 402/f + (92/20 - s) a multiple of 15?
False
Let r be (5/5 - 1)/1. Let m(a) = -a**3 - a**2 + 13*a + 8. Let d be m(-4). Suppose r = -4*p - d*z + 944, 492 = -3*p + 5*p - 3*z. Is 16 a factor of p?
True
Let k be (-105)/6 + 1/2. Let a(z) = 2287*z + z**3 + 3 - 2287*z + 17*z**2 + 21. Does 10 divide a(k)?
False
Let z = 0 - 13. Let j(u) = u**3 + 14*u**2 - 17*u - 42. Is j(z) a multiple of 18?
False
Suppose 5*q - 58838 = 5*g - 163453, -4*g + q + 83695 = 0. Is 40 a factor of g?
False
Let u be 24 + 1 + 1 + -6. Suppose 2*y - 6*a - 234 = -5*a, -5*a - u = 0. Is 5 a factor of y?
True
Suppose -32*h + 347866 = 2*h - 9032. Is 63 a factor of h?
False
Suppose 5*u = 5*n + 3740, 0 = -11*u + 10*u + 2*n + 746. Suppose 72*v + u = 77*v. Is v a multiple of 4?
False
Suppose -16*t + 48*t + 21*t = 568478. Does 56 divide t?
False
Let p(y) = 2*y**2 + 4*y - 17. Let r = 96 - 103. Let x be p(r). Suppose 20*k = 21*k - x. Is k a multiple of 21?
False
Let a(b) = 752*b - 5. Let r be a(-1). Let i = -512 - r. Suppose 2*g + w = 184 - 29, 3*g - w - i = 0. Is g a multiple of 10?
True
Suppose -18250 = 79*o - 89*o. Is 42 a factor of o?
False
Let k(o) = -o - 22. Let v be k(-2). Let p = 343 + v. Does 17 divide p?
True
Suppose w = 2*w. Suppose -4*h - 3*v - 24 = w, -2*v + v = -3*h - 18. Let c(b) = b**3 + 7*b**2 + 5*b + 7. Does 9 divide c(h)?
False
Let g = -143 - -276. Let u = -3765 - -3848. Let o = g + u. Is 17 a factor of o?
False
Let j be (-3324)/(-4)*1/3. Suppose -4*t = -5*s - 0*t + 676, 5*t = -2*s + j. Is s a multiple of 17?
True
Suppose 12*q - 148 = -4. Let r be 2/4 - (3 + (-66)/q). Suppose -r*j + 249 = 2*f, 6*j + 416 = 3*f + 2*j. Is f a multiple of 22?
True
Is 11 a factor of ((-107)/(-3))/((-88)/(-9768))?
False
Suppose -5*h - 5*m = -31 + 21, -2*m + 6 = 0. Does 15 divide (3681/5 - h) + (-57)/285?
False
Suppose 5*u = -4*w + 754, -u = 8*w - 1958 + 468. Is 14 a factor of w?
False
Let p = -2382 + 8674. Is p a multiple of 22?
True
Let t(o) = 1446*o - 4260. Is t(5) a multiple of 22?
True
Suppose -9 - 13 = b - 4*s, 0 = 2*s - 10. Let l(j) = j**3 + 5*j**2 + 4*j - 1. Let u be l(-4). Is (239 - b/u) + -3 a multiple of 18?
True
Let t(b) be the second derivative of 51*b**5/20 - b**4/6 + 2*b**3/3 + b**2 + 3*b. Let o be t(3). Suppose r + 5*k = 253 + 73, -4*r = -3*k - o. Does 31 divide r?
True
Suppose 13*k + 2*k = -615. Let i be (-1203)/(-21) + 6/(-21). Let o = i + k. Does 3 divide o?
False
Suppose 4060 = 3*i - 3054 + 2653. Is 30 a factor of i?
False
Suppose -3*w - 5*i + 2590 = 0, -8*w - 3476 = -12*w - i. Does 5 divide w?
True
Let n(c) = -3*c**2 + 41 - 28 + 161*c**3 - 4*c**2 - 5*c**2. Let a(h) = -40*h**3 + 3*h**2 - 3. Let f(y) = 9*a(y) + 2*n(y). Is 4 a factor of f(-1)?
True
Let m = -68 - -77. Let h(k) = -k**3 + 11*k**2 - 8*k - 20. Is 18 a factor of h(m)?
False
Let q = -417 - -106. Let y = 407 + q. Is y a multiple of 48?
True
Suppose -19*r + 17*r = -2. Let m be (-15)/(-35) - ((-32)/7 + r). Is (1186/(-14) - m/14)*-1 a multiple of 38?
False
Let i(c) = -c**3 - 21*c**2 - 112*c - 26. Is 260 a factor of i(-39)?
True
Suppose -2*x - 9984 = -4*p, -5*p = 3*x - 4453 - 8027. Is p a multiple of 24?
True
Let k be 4/(-12) + 21/9. Let g(f) be the first derivative of 25*f**2/2 - 7*f + 118. Is 8 a factor of g(k)?
False
Let y be 2 + (377/(-26) - (-2)/4). Let k(i) = -i**3 - 10*i**2 + 12*i - 24. Does 24 divide k(y)?
True
Let y be ((-1948)/6)/(16/(-264)). Suppose -3*j = 3*s + 2*j - 3208, -2*j = -5*s + y. Suppose -8*c - c + s = 0. Is 17 a factor of c?
True
Suppose 25*n = 6*n + 8341. Let w = 468 - 218. Let c = n - w. Is c a multiple of 27?
True
Suppose -c + 3 = -4*h + 4, 0 = 2*c + 2*h - 8. Suppose 332 = 7*o - 4*o - 2*k, -2*k = c*o - 328. Is o a multiple of 9?
False
Let u be (14 + 544/(-40))/(2/635). Let i(f) = 72*f**2 - 1. Let z be i(-1). Suppose -u = -2*q + z. Is 11 a factor of q?
True
Let c(n) = 202 + 3*n + 0*n - 25 + 214. Is 17 a factor of c(0)?
True
Let q(u) = 1252*u - 22. Let h be q(2). Suppose 4*c - h + 46 = -4*d, 3*c - 4*d = 1792. Is c a multiple of 14?
False
Suppose 5*h - 201 = -4*v, 5*v + 3*h - 157 - 91 = 0. Is (-6 - -1)/1 + v a multiple of 4?
True
Suppose 1864 = 2*j - 6*j. Let c = j - -676. Is c a multiple of 21?
True
Let d(a) = -3*a**2 + a - 2. Let n be d(3). Is (39/n)/((-6)/352) even?
True
Let j = -126 + -133. Suppose -5 = d, -3*w - 4*d - 972 = -w. Let y = j - w. Is 27 a factor of y?
False
Let y(n) = -41*n**3 + n**2 + 2*n + 17. Is y(-4) a multiple of 23?
False
Let t(z) = -2*z**3 - 2*z**2 + z + 5. Suppose 9 = -5*a + d - 9, -a = -4*d + 15. Let q be t(a). Suppose 56 = q*n - 34*n. Does 9 divide n?
False
Let x(g) = 6*g - 20 + 5*g - 3*g + 8. Does 12 divide x(6)?
True
Let f(z) be the third derivative of z**5/20 + 3*z**4/2 + 7*z**3/2 - 57*z**2 - z. Is f(-14) a multiple of 33?
False
Let u be (-1)/(4/(-24)*1). Let q be 20/u - (-2 - 14/(-6)). Does 18 divide -6 + q - (-1 + -20)?
True
Suppose 0 = g - 2*b - 4148, 5*b - 6236 = 5*g - 26971. Is 12 a factor of g?
False
Suppose 718 - 4110 = -4*x. Let g(n) = 17*n - 1049. Let j be g(62). Suppose j*k - x = -3*k. Does 6 divide k?
False
Let o be ((-2)/(-6))/(7/2877). Let c(g) = g**3 - 15*g**2 + 14*g + 3. Let u be c(15). Let q = u - o. Does 28 divide q?
False
Suppose 2*x + 150 = -4*d + 52, -3*x = 3*d + 141. Does 52 divide (x/12)/((-48)/3328)?
True
Let x(s) = 71*s**2 + 127*s - 26. Does 86 divide x(-8)?
False
Let f = 94 - -50. Suppose 3*s + 1282 = 4*o + f, 5*o + 4*s - 1438 = 0. Is o a multiple of 11?
True
Suppose 5*q - 2*f - 401 = 0, 5*q + 3*f - 365 = 46. Does 27 divide q?
True
Let t(x) = 15*x + 1298. Is t(3) a multiple of 95?
False
Let v(m) = 11*m**2 + 5*m - 5. Let x be v(4). Let c = x + -116. Is 3 a factor of c?
True
Let y(k) = 5*k**2 + k - 2. Let j be y(1). Suppose 3*h = h - 6, -73 = -5*s - j*h. Suppose -13*f + s*f - 64 = 0. Is 6 a factor of f?
False
Is 28 a factor of -5 + 10/(-90)*-13539*3?
True
Let h = -3 - 7. Let g = 1067 + -1002. Is ((-12)/h)/3*g a multiple of 13?
True
Suppose 0 = -84*v + 93*v + 36. Is v/30*9*(-590)/4 a multiple of 3?
True
Suppose -2*r + 95 + 17 = 0. Let f = 52 - r. Is 356*(-1)/8*f/2 a multiple of 20?
False
Suppose 0 = -8*x + 9 + 23. Let b(c) = 2*c - 36 + c**2 + x*c + 50. Does 15 divide b(8)?
False
Let o(i) = -23*i + 2543. Is 12 a factor of o(80)?
False
Let g = 60 + -58. Suppose -148 = 3*r + 4*p + 139, -4*r = g*p + 366. Let f = 229 + r. Does 35 divide f?
True
Does 95 divide ((-6)/10)/(93/(-862265))?
False
Suppose 0 = 12*w + 28 - 28. Suppose w = -2*t - 5*d + 1477, -2*t + d + 2099 - 652 = 0. Does 66 divide t?
True
Let k = -35 - -37. Suppose 2*c - 4*d + 14 = 0, -5*c + 4*d = -k*c + 11. Suppose 2*q - 328 = 5*s, -2*s - 265 = -c*q + 216. Does 13 divide q?
False
Let u be (-4)/(-18) + (-100)/45. Let h be 454/4 + (-3)/u. Let a = h + -77. Is a a multiple of 10?
False
Let y = -180 + 51. Suppose 2*p - 5*d + 19 = 0, 10 = -2*p + d + 11. Is 11 a factor of p/(y/33 - -4)?
True
Let z be (8/3)/4 - 24/(-18). Suppose k = z*k + 5*p + 20, -5*k + p + 30 = 0. Suppose -t + 42 = 2*u + 4*t, k*u - 88 = -4*t. Does 8 divide u?
True
Suppose 7*d + 1102 = -949. Is -1 - d - 15/(-10 - -7) a multiple of 12?
False
Let i(p) = -3*p + 9. Suppose -115 = 9*b + 110. Let m be i(b). Suppose -5*g - 2*s + 1109 = 0, 2*g - m = -3*s + 364. Is 17 a factor of g?
True
Suppose -21 = -j - 58. Let m(z) = z**3 - 13*z**2 - 9*z - 4. Let x be m(13). Let h = j - x. Is h a multiple of 21?
True
Suppose u - 125 = 2*c + 1141, 0 = u. Is 8 a factor of (2 + 8/2)*c/(-6)?
False
Let m(s) = -s**2 + 7*s + 12. Let x be m(8). Let g be (x + 2/(-4))*2. Is (-1)/((-2)/g)*4 a multiple of 5?
False
Let c(x) = 1932*x**3 + 6*x**2 - 26*x + 9. Is c(2) a multiple of 17?
False
Let q(x) = x**2 + 11*x - 10. Suppose 4*b - 108 = -v, -5*b - 4*v = -3*b - 40. Suppose b = -2*t + 3*z, t + t - 4*z = -28. Is 8 a factor of q(t)?
True
Let k(s) = 2*s**2 - 2*s + 4. Let a be k(3). Suppose 18*w - 192 = a*w. Is w a multiple of 9?
False
Let n be 25227/(-39) + (-4)/26. Suppose 12*s = 28*s + 6912. Let g = s - n. Does 12 divide g?
False
Suppose 0*g - 6 = -2*g. Suppose -g*m = -10 + 4. Suppose -m*