40)/(4/14). Suppose 925 = w*s + 183. Is s a multiple of 16?
False
Suppose -5 = p - 2. Let j be (-1 + (-5 - p))/1. Let b = 314 - j. Is b a multiple of 44?
False
Let b be -9 + -43 - (-4)/2. Let t be ((-52)/(-10))/((-62)/10 - -6). Let w = t - b. Is 13 a factor of w?
False
Suppose 2*j + 16856 + 12318 = 2*d, -d - j + 14573 = 0. Is 10 a factor of d?
True
Suppose -10*h = 17*h - 53136. Is h a multiple of 24?
True
Let x be 6/(54/63) + -15. Does 7 divide (x - (-17 - 8))*49?
True
Let n(v) = -4*v. Let s be n(-6). Suppose 2*g + 10 = s. Suppose g*p - 5*p = 68. Is p a multiple of 17?
True
Let o = -54608 - -102348. Does 28 divide o?
True
Let y(s) = -11*s - 231. Let a be y(-15). Let z(u) = -5*u**2 - u + 6. Let x be z(-6). Let g = a - x. Is g a multiple of 16?
False
Let c(n) = -48*n - 24. Let o be (-80)/36 - 18/(-81). Is c(o) a multiple of 3?
True
Is 58 a factor of -19 + 21 - (-36358 + 0 - (-132)/(-22))?
True
Let n be (-5)/((-5)/400*4). Suppose 4*a + 0*l + l = -315, -3*l = 3*a + 234. Let p = n + a. Does 3 divide p?
True
Let s(z) = 2*z**2 + 110*z + 6722. Does 21 divide s(-107)?
True
Let a(u) = -u**2 - u + 1. Let s(y) = -2*y**2 - 17*y - 56. Let r(f) = a(f) - s(f). Is 31 a factor of r(-18)?
True
Let s = -6 + 312. Suppose 21*p = 4*p + s. Is 6 a factor of p?
True
Let g be ((-72)/(-27))/(2/(-33)). Let w = 406 + g. Suppose w = 5*z + 42. Is 19 a factor of z?
False
Let x(q) = 7*q - 23. Let u(l) = 6*l - 23. Let b(y) = -4*u(y) + 5*x(y). Let i be b(18). Suppose 2*t - i = -3*t. Is t a multiple of 34?
False
Suppose -2*j - 34 = -42. Suppose -h = 5*d - 1757, -j*d - 4*h + 1396 = -0*d. Does 11 divide d?
True
Suppose 1493 = -5*x + 5958. Is 19 a factor of x?
True
Suppose 6*q = 7*q + 42. Let p = q - -143. Suppose 2*w + 1 = p. Is w a multiple of 4?
False
Let m(i) = -12*i + 6. Let j(b) = 14*b - 6. Let o(q) = 5*j(q) + 6*m(q). Let k be o(3). Suppose -4*d + 3*d + 2*v + 220 = k, 422 = 2*d + 5*v. Is 13 a factor of d?
False
Let u = -31580 - -48119. Does 149 divide u?
True
Suppose 4*o + 3*d - 554 = 2*o, -3*o + 5*d + 793 = 0. Suppose 2*i - o = 505. Suppose 3*x - 8 - 469 = -5*w, -4*w + i = 4*x. Is 11 a factor of w?
False
Suppose -42 = -13*b + 6*b. Let m(t) = -b*t**2 + 27*t + 2*t**2 + 3*t**2 - 8. Does 39 divide m(23)?
False
Let g(i) = -5*i**3 - i**2 - 3*i - 3. Let s be g(-1). Let z(d) = -5*d + d**2 + 5*d + 5 - d**3 + 6*d**2 - 2*d. Is z(s) a multiple of 15?
True
Let o = 8375 + -4980. Does 13 divide o?
False
Suppose -4*f = k - 33, 2*f + 0*f = 2*k + 14. Suppose -c + 1348 = j, f*j - 7*j + 2*c = 1348. Does 13 divide j?
False
Let u(n) = -4*n**3 + n**2 + 2*n + 5. Let z be u(-3). Suppose o + 19 = z. Is 12 a factor of o?
False
Let t be ((5 - 5)/2)/(-1). Suppose 5*b + 3*y - 335 = -t*b, -3*y = b - 79. Is 15 a factor of b?
False
Let z(v) = -95*v + 1301. Is 9 a factor of z(-6)?
False
Let k(w) = 157*w - 802. Does 7 divide k(34)?
True
Let i(f) = f**2 + 3*f + 13. Let r be (-1)/2*2*6/(-6). Let z be (-4)/(r + ((-112)/(-12))/(-7)). Is i(z) a multiple of 23?
False
Let o = -418 + 2729. Is o a multiple of 6?
False
Let k(m) = -m**3 - 29*m**2 + m + 29. Let t be k(-29). Suppose t = 3*s + 1 - 10. Suppose -2*y + s*c + 114 = 6*c, -47 = -y - 4*c. Is y a multiple of 23?
False
Let u be ((-10)/(-6) + (-12)/18)*128. Let f = -76 + u. Let s = f - 29. Does 23 divide s?
True
Let b(i) = -57 + 7*i + 5*i**2 + 32 - 5*i**2 + 6*i**2. Is 16 a factor of b(5)?
True
Suppose -5*l - 106 = -136. Suppose -42 + 516 = l*t. Does 45 divide t?
False
Let q be (292/(-10))/(-5*20/250). Suppose 1220 - 370 = 2*f. Suppose -4*w + f = q. Is 31 a factor of w?
False
Let w = -2 - -4. Suppose 4 = -w*b + b. Does 26 divide (8/(-24) + b/6)*-130?
True
Let l(h) = h**3 - 4*h**2 - 18*h + 13. Let n = -17 + 25. Let o be l(n). Suppose o = 5*s - 200. Does 13 divide s?
True
Suppose 14*f = 20383 + 19377. Suppose -82*m + f = -72*m. Is m a multiple of 71?
True
Let s(r) = r**2 + 75*r - 928. Is s(55) a multiple of 17?
True
Let c(d) = 46*d**2 - 141*d + 3177. Is c(27) a multiple of 171?
False
Let b(x) = x**2 - 7*x - 7. Let r(a) = -a**2 + 2*a + 3. Let d be r(4). Does 2 divide b(d)?
False
Let r be -6*(-7)/(-2)*1. Let u(a) = 12*a + 62. Let x be u(-6). Is x/(-35) + (-267)/r even?
False
Let s(y) = 3*y**2 + 3*y + 3. Let a be s(-1). Suppose -2*u - 4*h = 192, -a*u - h + 48 = 316. Does 3 divide (-3448)/u + (-4)/22?
True
Let l(d) = 295*d - 1695. Is l(15) a multiple of 30?
True
Let b(k) = 2*k**3 + 3*k**2 + 4*k - 9. Let a be b(-3). Let m = a - -18. Is 40 a factor of 85*((-44)/m - (-24)/(-36))?
False
Let k be 4 + (-4 + 7)/3. Suppose -4*d + 4 = 0, 0 = k*s + 2*d - 6*d - 651. Does 5 divide s?
False
Suppose 5*s + 134 = 139. Does 17 divide (3 - -116)*1/s?
True
Let q = -13 + 16. Is 14 a factor of (-201)/(-3) - ((3 - 6) + q)?
False
Let l(m) = m**2. Let r(x) = 4*x**3 - 12*x**2 - 13*x - 4. Let g(c) = 4*l(c) + r(c). Is g(7) a multiple of 38?
False
Suppose 0 = -4*o + 4*p + 40, -o + 5 = 2*o + 2*p. Suppose z + o = 4*x, z - 2*x = -0*x - 1. Suppose 5*g = -5*u + 415, 3*u - 239 = -z*g + 2*u. Does 13 divide g?
True
Let k = -3853 + 5307. Does 8 divide k?
False
Let m(l) = l**3 - 7*l**2 - 40*l + 8. Let c be m(15). Let k = c - 641. Is k a multiple of 27?
True
Suppose -12*g - 54 - 18 = 0. Let k be 13915/33 - 2/g. Suppose -4 = 4*n - 8, -5*p - 2*n = -k. Is 28 a factor of p?
True
Let m = -259 + 263. Suppose 5*l - 9*l = -4*v - 3868, -4*v + 3884 = m*l. Does 57 divide l?
True
Let o = 3740 + 9180. Is 20 a factor of o?
True
Let z be 70 + (-4 - -1) + -4. Let o be z/(-5) - (168/(-30) + 5). Does 20 divide (4/o)/(1/9) + 31?
False
Suppose -3*h - 100 = 1145. Let z = h + 525. Is z a multiple of 11?
True
Suppose 0 = -3*j + 2*y + 2209, -3691 = -5*j + 15*y - 14*y. Suppose -4*t + j = -381. Is 14 a factor of t?
True
Suppose 22*n = -181 + 775. Suppose 0 = -32*d + n*d + 2480. Is 31 a factor of d?
True
Suppose -l = 2*u - 8136, -6*u + 20346 = -u + l. Is 31 a factor of u?
False
Let s(p) be the third derivative of 3*p**6/40 - p**5/30 - 5*p**4/24 + 5*p**3/3 - 21*p**2. Let u be s(3). Let w = u + -34. Is w a multiple of 31?
True
Let l = 20543 - 20063. Is l a multiple of 160?
True
Let l be (1 - 2 - 3) + 6. Suppose -3*i - l*p + 115 = 0, i - p - 65 = -i. Let k = -18 + i. Is 17 a factor of k?
True
Let d = -188 - -405. Let v = 293 - d. Is 19 a factor of v?
True
Let k be (-30)/3*(-3)/6. Suppose f = 1, -k*y - 4*f + 60 = -29. Does 9 divide y?
False
Suppose 5*q - 20770 = -5*f, 0*q + 4*f = -3*q + 12456. Is q a multiple of 64?
True
Let p(c) = -24*c**3 + 9*c**2 + 14*c + 315. Is 54 a factor of p(-9)?
True
Is 48 a factor of (-6340)/(-6) + (-38)/57?
True
Let o(i) be the first derivative of 13*i - 1/2*i**2 + 45. Is 28 a factor of o(-15)?
True
Let q be 7 - (0/(-1))/(2 - -1). Suppose -q*g + 0*g = -462. Suppose -3*k = g - 606. Is 18 a factor of k?
True
Let s be ((-75)/30)/(4/(-8)). Suppose s*m + 3*m = 1552. Is 20 a factor of m?
False
Let t be ((-55)/20 + 3)/(1/8). Let b(p) = -4 + p**3 - 4*p**2 - 2*p**2 + p**t + 9*p. Does 8 divide b(4)?
True
Suppose 5*i = 3*n - 205, -34*n - 5 = -35*n. Let m(y) = 48*y**3 - 2*y + 1. Let b be m(1). Let x = b + i. Is x a multiple of 2?
False
Let z = -18652 - -37892. Is z a multiple of 10?
True
Let t(u) = -10512*u**3 - 15*u**2 - 13*u + 2. Does 36 divide t(-1)?
True
Suppose -12*v + 5*v = -3451. Let g(l) = -9*l**2 + 3*l + 22. Let m be g(-5). Let h = m + v. Does 11 divide h?
True
Let z = 11736 - 5205. Does 33 divide z?
False
Suppose 30*f - 42507 + 5963 = 20156. Is 10 a factor of f?
True
Suppose -2*v + 48697 = h - 1628, -4*h + 100660 = 4*v. Is 148 a factor of v?
True
Suppose 60 = -2*j + 72, 2*m - 12170 = -3*j. Is m a multiple of 49?
True
Let i = 47342 + 5144. Does 46 divide i?
True
Suppose 5*u - j + 6*j = 3840, -j = -4*u + 3062. Is u a multiple of 2?
True
Suppose 0 = -5*u - 3*r + 4, -101*r + 3 = -100*r. Let g(p) be the second derivative of -3*p**5/2 + p**4/6 - p. Is 8 a factor of g(u)?
True
Let f(y) = 1340*y - 4663. Is 11 a factor of f(17)?
True
Let h = 98 + -199. Let y = -43 - 154. Let m = h - y. Is 12 a factor of m?
True
Suppose 9*n - 324 - 207 = 0. Suppose -u + 18 = -n. Suppose -53 - u = -2*p. Does 11 divide p?
False
Let i(n) = 9*n - 23. Suppose 0 = -22*b + 16*b - 72. Let p = -6 - b. Is 4 a factor of i(p)?
False
Let n(a) = 12*a**2 - 54*a - 5. Let p be n(5). Let m(v) = -4*v + 3. Let t be m(-5). Suppose d - p - t = 0. Is 12 a facto