Suppose 0 = -w + 3*s + 1, 0*s - 5*s = -25. Let x = w + -16. Suppose 4*r = m + 3*r - 37, x = m - 4*r - 22. Is 8 a factor of m?
False
Let r = -2024 - -3548. Does 55 divide r?
False
Let v be ((-33)/12 - -2)*48/(-2). Suppose -23*t + 45 = -v*t. Is 2 a factor of (-6)/t - ((-420)/9)/4?
False
Suppose 24 + 11 = 7*h. Suppose 2 = -s + 3*s + f, h*s + 5*f = 10. Suppose 9*r - 15*r + 372 = s. Does 10 divide r?
False
Let y = 1109 + -602. Suppose 1487 = h - 4*d + 256, 0 = 4*h - 5*d - 4869. Suppose -h = -11*k - y. Is k a multiple of 5?
False
Does 7 divide (-21983)/(-52) + -11 - (-4)/16?
False
Let s(g) = g**3 + 43*g**2 + 82*g + 278. Is s(-31) a multiple of 49?
False
Let r(u) = 71*u**2 - 8*u - 131. Does 9 divide r(5)?
False
Let f be 4 - (-33 - (-8)/((-8)/5)). Is 4 a factor of (f/(-5))/(45/(-600))?
True
Suppose 0 = -4*w - 3*o + 200, -5*w + 3*w - 2*o + 102 = 0. Let f = -45 + w. Suppose -97 = -f*r + 163. Is r a multiple of 25?
False
Suppose -31*a = -25*a - 114. Let m(y) = 8*y + 200. Does 11 divide m(a)?
True
Let d = -13 - -50. Let n = 39 - d. Suppose -3*r + 58 + n = 0. Does 4 divide r?
True
Let b = 7974 + -4269. Suppose 0 = -d - 12*d + b. Is d a multiple of 38?
False
Let o = 27 - 5. Let x = -18 + o. Suppose -x*l - 376 = -3*q, -5*l - 122 = -q - 2*l. Does 32 divide q?
True
Let d(f) = -12*f - 16. Let t be d(5). Is (-21394)/t + 1/(-2) a multiple of 17?
False
Let u = 340 + -335. Suppose -5*y + 4*y + s = -296, 3*s + 1488 = u*y. Is 4 a factor of y?
True
Let y = 27111 - 22675. Is y a multiple of 55?
False
Suppose 419*n - 382*n = 23828. Does 147 divide n?
False
Is (-7)/36*-3884 + (-87)/27 + 3 a multiple of 5?
True
Let n(r) = 3012*r**2 - 5*r + 30. Is n(-2) a multiple of 18?
False
Let s(q) = 12261*q**2 - 7*q + 2. Is 32 a factor of s(1)?
True
Let a be 4/((-32)/(-206)) + 2/8. Suppose -8527 - 18981 = -a*u. Is u a multiple of 49?
False
Let c(d) = 68*d**2 + 54*d + 1. Is c(2) a multiple of 21?
False
Is 389325/25 + 3*(-10)/(-3) + -1 a multiple of 106?
True
Let b(f) be the first derivative of -3*f**2/2 - 57*f + 101. Is 6 a factor of b(-25)?
True
Let j(o) = o**2 + 15*o - 119. Does 25 divide j(18)?
True
Let x = -38 - -27. Let b(d) = -25*d + 31. Does 18 divide b(x)?
True
Let q(n) = 77*n + 15. Let r be q(5). Suppose -5*s + 400 = 5*a, -5*a - 6*s + 3*s + r = 0. Suppose -4*t + 5*u = t - a, -3*t + 46 = -2*u. Does 10 divide t?
False
Let b = 941 - 296. Suppose 5*r = -0*r + b. Is r a multiple of 43?
True
Let i = 7546 + 2897. Is i a multiple of 31?
False
Let k be (17 - 17)/(-1 + -2 - 0). Is (k - -642) + 20/(-5) + 7 a multiple of 21?
False
Let u = 178 - 175. Suppose -161 = u*t - 602. Does 33 divide t?
False
Does 53 divide 2755 + 8 + 3*(-49)/21?
True
Suppose 3*k + 4*w = -22 + 23749, -3*k - 5*w + 23730 = 0. Is k a multiple of 155?
True
Suppose 24*i + 7 = 79. Suppose -4*l = -4*h + 2204, l - 1657 = -i*h - 0*h. Is 18 a factor of h?
False
Let x(q) = -5*q**2 - 3*q. Let m be x(-2). Let s be 1/(150/(-1400)*2/6). Is 8/s + (-648)/m a multiple of 15?
False
Let h = -5464 + 6993. Does 2 divide h?
False
Suppose c + 13 = 3*q, -6*c - 3*q + 23 = -2*c. Suppose 0 = 4*g + 2*b - 6, -b = 5*g - 12. Suppose -g*t + 3*u = c*u - 209, 5*t = 5*u + 355. Does 23 divide t?
True
Suppose -3*x + c + 10504 = -2754, -5*c = -3*x + 13250. Does 130 divide x?
True
Let f(k) = -2*k - 26. Suppose 46 + 24 = -5*h. Let i be f(h). Suppose i*m + 129 = 511. Does 18 divide m?
False
Let g be 3/((-9)/(-12) - 0). Let p(m) = m**3 - 5*m**2 - 4*m - 8. Let x be p(6). Suppose -3*i - 109 = -g*z, 2*i - 24 + 138 = x*z. Is 20 a factor of z?
False
Let q(l) = 760*l**2 - 45*l + 26. Does 9 divide q(4)?
True
Let n = 2310 - -1524. Is n a multiple of 18?
True
Let l = -155 + 160. Does 24 divide l - 6*(-6 - 68)?
False
Suppose 1734*q - 1812*q + 126966 = -66474. Is q a multiple of 16?
True
Is -1 + ((7 - -6)*940 - -8) a multiple of 31?
False
Let d be 4 - -2*(-17)/4*-2. Let w be 1/7 + 39/d. Does 11 divide 31 - -2 - -2 - w?
True
Let w = 45 - 30. Suppose -w = -4*a - p, 5*p + 2 + 3 = 0. Suppose -4*t + 652 = -a*q, 5*t + 4*q - 428 = 396. Is t a multiple of 24?
False
Let h = -190 + 191. Let a(t) = 1205*t**3 + 2*t - 3. Does 40 divide a(h)?
False
Let c = -1785 + 3052. Suppose 12*o - c = 1049. Is o a multiple of 14?
False
Suppose -3*d = -y - 12, -4*d - 3*y + 4 = -12. Is 2*(0 + 364/d) a multiple of 26?
True
Suppose 0 = 15*m - 6*m + 4*j - 242, -4*j - 28 = 0. Suppose -10 = -5*h - 115. Let q = h + m. Does 9 divide q?
True
Let h = -187 + 202. Let b(i) = 41 - i**3 + 15*i**2 - 4*i - 6 + 2*i + 9*i. Does 28 divide b(h)?
True
Let m = 3113 + -2173. Suppose 180 + m = 5*z. Is 12 a factor of z?
False
Let w(s) = -5*s**2 - 207*s - 129. Is 12 a factor of w(-25)?
False
Let b = -202 + 206. Suppose 2 = -2*g, 0 = b*a + 11*g - 10*g - 267. Is 6 a factor of a?
False
Let v be ((-40)/30)/((-2)/(1 - 7)). Let b = -4 - v. Suppose b*y = 6*y - 384. Is y a multiple of 16?
True
Let c = -5159 + 5516. Does 13 divide c?
False
Suppose 47*k - 442 = 75. Is (k/(-4))/(5/(-420)) a multiple of 7?
True
Does 23 divide (-9)/30 + 6*(-1079683)/(-660)?
False
Let y = -884 - -1291. Suppose -2*s - y = -2857. Is s a multiple of 25?
True
Suppose -k = 4*b - 2707, 0 = -5*b + k + 2320 + 1075. Let z = -654 + b. Is 24 a factor of z?
True
Suppose 40 = 5*t - 0*t + 5*q, -4 = 4*t - 5*q. Suppose -2290 + 238 = -t*c. Suppose -4*y = -c + 53. Is 34 a factor of y?
False
Let l = 26733 + -18067. Does 14 divide l?
True
Let x(i) = -i**3 - 9*i**2 - 7*i + 11. Let m be x(-8). Let n(a) be the third derivative of 3*a**4/2 - a**3/6 + 42*a**2 + 9. Is 22 a factor of n(m)?
False
Suppose 3*q + 37*q - 159185 = 9*q. Is 13 a factor of q?
True
Suppose -3*a - 33 - 7 = -5*u, 4*u - 4*a = 40. Suppose o - u*g = 264 + 141, 4*g - 2112 = -5*o. Is o a multiple of 15?
True
Let v(x) = -x**2 + 17*x - 11. Let n be v(6). Suppose 4*w + 4*m = 272, -w + 270 = 3*w + 5*m. Suppose -4*b = u - n, -2*u + 3*b - b = -w. Is 13 a factor of u?
True
Let k(t) = 2*t**2 + t + 3*t**2 + 14 - 3*t**2 + 0*t**2. Is 51 a factor of k(14)?
False
Let i = 66 - 63. Suppose -i*o - 4*p = 8, -13 + 1 = 2*o + 4*p. Suppose o*f + u - 960 = 0, -4*u - 562 = -3*f + 158. Is 48 a factor of f?
True
Let h be (-2)/1*(-28 + -9). Let d = -25 + h. Does 4 divide d?
False
Let i(h) = 321*h**2 - 20*h + 36. Is 10 a factor of i(2)?
True
Let c be (9 - 5)*1 + -272. Let v = c - -493. Is 3 a factor of (-3)/8 + 1/(24/v)?
True
Suppose 32*n = -6*n + 13*n + 4275. Is n a multiple of 6?
False
Suppose 25*l = 70*l - 96975. Is 5 a factor of l?
True
Is ((-1 + 7951)/6)/((-3)/(-24)) a multiple of 40?
True
Suppose 0 = -168*j + 50996 + 126965 + 12215. Is j a multiple of 35?
False
Let k = -12428 - -17340. Does 16 divide k?
True
Is 232052/14 - (2014/133 - 15) a multiple of 75?
True
Let i(k) = -4032*k - 168. Is 102 a factor of i(-5)?
True
Let f = -362 + 605. Let u = -88 - 86. Let q = u + f. Does 8 divide q?
False
Suppose 8*r + 72 = -0*r. Let h be 2/(r/(90/(-4))). Suppose 5*c + 10 = 0, -3*p - h*c + 182 = -3*c. Is 31 a factor of p?
True
Let s(i) = 8*i**3 + 5*i**2 + 2*i - 12. Let n(x) = -x**2 - 10*x - 18. Let r be n(-7). Does 15 divide s(r)?
True
Suppose 19*m + 228660 = 314*m + 323*m. Does 28 divide m?
False
Let p(r) = 3*r**2 - 8*r - 39. Suppose -b - 8 = -3*y - 27, -2*b + 32 = -5*y. Is p(y) a multiple of 8?
False
Suppose -1 = -2*a - 3. Let p be 3/(1/(-195)*a). Suppose -13*k + p = -4*k. Is k a multiple of 17?
False
Let d(b) = 24661*b + 44. Let m be d(4). Is (((-18)/4)/3)/((-192)/m) a multiple of 7?
False
Suppose 0 = 3*s + 10903 + 6512. Is (-1)/(5 - s/(-1160)) a multiple of 8?
True
Let y be 21/(-21)*7*-1. Suppose u = 11*v - y*v - 2127, -u - 1063 = -2*v. Is 7 a factor of v?
True
Suppose -4*f = 4*x - 36 - 264, 2*f = 0. Let d = x + 192. Is 7 a factor of d?
False
Suppose 124 = 2*o + 2*i, 5*o - 4*i + 143 = 471. Suppose -n = -9 + 11, n = -r + o. Is r a multiple of 31?
False
Let v be 35*(2/(-14) + 1). Suppose -3*j + 4*k = 74, -9*k + 7*k - 62 = 4*j. Does 3 divide (2 + v/(-9))/(4/j)?
True
Let c = 8136 - 5256. Does 16 divide c?
True
Suppose 5*i = -3*r + 35 - 15, 3*r - 14 = i. Suppose r*a - 5*q = 55 + 115, -167 = -5*a + 2*q. Is a a multiple of 2?
False
Let s be (-2)/6 - (-39)/9. Suppose -5*h + t + 19 = -0*t, -4*t - 4 = -2*h. Does 23 divide 55 - (s + 3 - h)?
False
Let q = -1808 - -1774. Suppose 3*b = b + 3*a - 76, -2*b = 3*a + 88. Let w = q - b. Is 7 a factor of w?
