 + (-1 + -1 - 0). Is 21 a factor of ((6 - q)*-49)/(-1 + 2)?
True
Let m be (16/8 - 8) + 8. Is 50 a factor of 1301/m - 2/4?
True
Is 100 a factor of (-112377)/(-8) + 17/(-136)?
False
Let c(t) = -11894*t + 9. Let m be c(1). Is 9 a factor of (-5)/10 - m/10?
True
Let w(d) = d**3 - 12*d**2 - 12*d - 13. Let o be w(13). Suppose 5*j - 10 = o, 5*c = -j + 2*j + 598. Let f = 144 - c. Does 2 divide f?
True
Suppose -5*x = 4*l - 32, 3*x - 4*l = -x + 40. Suppose -3*m + x*m = 2410. Is 57 a factor of m?
False
Let h be (-6)/(-21) + ((-10)/(-14) - 1). Suppose h = -5*j + 3043 - 228. Does 14 divide j?
False
Let i = 201 - 109. Suppose 15 = k + b - i, 0 = k + 4*b - 110. Is 14 a factor of k?
False
Let w = 876 + -432. Let n = -1020 + w. Does 46 divide 4/(-40)*-4*(-1 - n)?
True
Suppose 15*h + 37*h - 107208 = 34*h. Is 54 a factor of h?
False
Let w = -45122 - -70538. Is w a multiple of 17?
False
Let m = 7091 - -1041. Is m a multiple of 38?
True
Suppose 8*k - 6*k = 2*o + 26756, -4*o - 8 = 0. Is k a multiple of 32?
True
Let k = 27 + -30. Let c be ((-3)/2)/(k - 153/(-48)). Is c/44 - (-3062)/22 a multiple of 28?
False
Let h(r) = -162*r + 147. Let g be h(-4). Suppose g + 196 = b. Is b a multiple of 15?
False
Suppose 135*z = 109*z - 260. Does 49 divide (84/z)/((-6)/315)?
True
Suppose 3*m = 4*i + 26, -2*m + 9*i - 5*i = -12. Suppose -m*a + 11*a = -720. Does 6 divide a?
True
Suppose -2*w - 31 = -n, 8 - 13 = n. Is 13 a factor of (-8894)/w + 33/(-297)?
True
Let d = 8278 - 8284. Let w(l) be the second derivative of -l**5/20 + l**4/12 + 3*l**3/2 + 5*l**2/2 - l. Is 29 a factor of w(d)?
True
Let u be (-690782)/(-322) - (-4)/(-14). Let s = u + -1254. Is 91 a factor of s?
False
Let f = -3567 + 13512. Is f a multiple of 16?
False
Let m = -29480 - -67563. Does 42 divide m?
False
Let f(w) = -14*w**2 + 38*w - 88. Let d(v) = 5*v**2 - 12*v + 29. Let p(h) = -11*d(h) - 4*f(h). Let l be p(15). Is ((-63)/l)/(2/(-608)*-6) a multiple of 10?
False
Let d(v) = -6*v + 2*v - v**3 + 11*v**2 + 0*v**3. Let c = -13 + 20. Is d(c) a multiple of 14?
True
Let l(s) be the first derivative of -4*s + 1/4*s**4 - 3 - 7/2*s**2 - 4/3*s**3. Does 5 divide l(6)?
False
Suppose 3*g - 8*j = -4*j + 52720, 87828 = 5*g + 3*j. Is 24 a factor of g?
True
Suppose -2*t + 3*t - 4*i - 8 = 0, -5*t = 2*i - 150. Suppose 0 = -10*j + 3*j + t. Suppose y - 212 = -j*p, -3*y = y - p - 797. Does 15 divide y?
False
Suppose -5*p + 222455 = -l, 4*p + 4*l - 8*l - 177980 = 0. Suppose -87*j = -117*j + p. Is 16 a factor of j?
False
Let t = 2557 - -1066. Is 18 a factor of t?
False
Let y(r) be the second derivative of 19*r**4/3 - 2*r**2 - 12*r. Let f be y(-2). Let v = f + -204. Is 16 a factor of v?
True
Let k be 23 - (6/(-9) + 2/3). Suppose -3*p - x + k = 0, -1 = -p - 2*x - 0. Suppose -p*i - 96 = -13*i. Is 7 a factor of i?
False
Let z(n) = n**2 - 13*n + 2. Let q be z(13). Suppose 29 = q*l - w, 4*w + 1 + 19 = 2*l. Suppose 34 = 2*m + 4*a, -3*m - 3*a = -47 - l. Does 5 divide m?
True
Suppose -i = 5*d - 17951, -72*i + 35923 = -70*i + 3*d. Does 73 divide i?
False
Let x be (-13)/39 + 1/3*7. Suppose -9 = -x*w - 1. Is w/22 - 328/(-11) a multiple of 4?
False
Let r be (-32)/(-80) - (-4)/(-10). Suppose -26*p + 5*p + 2310 = r. Is p a multiple of 22?
True
Let y = 6151 + -3299. Is y a multiple of 124?
True
Let n be 17/(-2)*2992/(-44). Suppose 218 = 2*t - 7*o + 11*o, 5*t - o = n. Is 7 a factor of t?
False
Let r(h) = -386*h + 104. Let c be r(-5). Suppose 3*y - c = -3*n, -n = 9*y - 10*y + 688. Does 20 divide y?
False
Suppose -59*x = -47*x. Suppose -z + x*s = 3*s - 101, -5*s + 99 = z. Is z a multiple of 8?
True
Let f = 4267 - 1593. Is f a multiple of 68?
False
Let j = -76 - -135. Let y = j + -56. Suppose y*m - 60 = 30. Does 6 divide m?
True
Let m(h) = h**3 + 9*h**2 - 7*h + 12. Let p be m(-9). Let n = -78 + p. Let x = 101 - n. Is 8 a factor of x?
True
Suppose 270 = -5*u + 3*u. Let i(g) = -g**3 - 20*g**2 + 24*g - 4. Let p be i(-21). Let j = p - u. Does 25 divide j?
False
Suppose -5*b + 12 = -23. Suppose 2*t - 327 = 5*n, -4*t - 2*n = -b*n - 679. Is 22 a factor of t?
True
Suppose 3*z - 4*i - 144 - 12 = 0, 2*z - 5*i - 104 = 0. Let u be (z/10)/(4*5/3800). Suppose 240*g = 244*g - u. Is g a multiple of 20?
False
Let y = 187 - 183. Is (2 + 76)/(6/y) a multiple of 11?
False
Suppose -82 - 246 = 2*a. Let y = a + 535. Does 62 divide y?
False
Let y(d) be the second derivative of -11*d**4/12 + 2*d**3/3 + d**2/2 - d. Let w be y(10). Is w/(-27) + 1 - (-4)/(-18) a multiple of 5?
True
Does 22 divide 168/2268 + 57049/27?
False
Suppose -3*m = 4*x + 29, -4*x - 8 = m - 5*m. Let o be (1/m)/(5/(-30)). Suppose o*s + 78 = 4*s - 4*u, -5*s = 5*u - 240. Is 9 a factor of s?
True
Suppose -2*p + 19 = -43. Let c = p - 28. Suppose 2*b - c*b = 5*n - 66, 5*n - 86 = 4*b. Does 3 divide n?
False
Is 1354 + (-2)/12*(-9)/3*-2 a multiple of 7?
False
Let t(u) = u**3 + 37*u**2 + 40*u + 83. Let f be t(-36). Let y = f + 331. Is y a multiple of 15?
True
Suppose 0 = -117*s + 119*s + 2*w - 12, -3*s - 2*w + 15 = 0. Let b = 407 - 147. Suppose 0*g = 4*g - 4*j - b, 0 = -s*g + 2*j + 191. Does 6 divide g?
False
Let u(q) = 2513*q**2 + 17*q - 62. Does 30 divide u(3)?
False
Let q = -15213 + 22009. Is q a multiple of 7?
False
Let x(v) = -2*v**2 + v + 2. Let b(a) = 779*a**2 + 20*a + 14. Let l(d) = b(d) + 7*x(d). Is l(-1) a multiple of 40?
False
Suppose -4*q + 29 = 16*q - 2771. Is 28 a factor of q?
True
Suppose -9*v + 11*v + 5*h + 7 = 0, 2 = 3*v + 5*h. Suppose -v*m - 1968 = -21*m. Is 6 a factor of m?
False
Let n = -13029 - -17565. Is 42 a factor of n?
True
Suppose -s - 16 = -3*v, 5*v + 2*s - 10 = 13. Suppose -i = -3*l + 10, 6*i - i + 30 = v*l. Suppose -p + 59 = 3*d, 0 = -l*p - d - 26 + 144. Does 42 divide p?
False
Let t = 5898 + -1545. Is t a multiple of 9?
False
Suppose 10892 = 27*j + j. Is j a multiple of 22?
False
Let h = 741 - 712. Suppose 0 = -h*x + 28368 + 22788. Does 12 divide x?
True
Let x = 16942 - 6134. Is 20 a factor of x?
False
Let x = 933 - 1372. Let l = x - -1219. Is 47 a factor of l?
False
Let w = 172 - -24086. Is w a multiple of 39?
True
Let m(u) = 5*u - 1. Let g be m(1). Suppose -3*d + 23 = -g*y - 20, -5*y = -2*d + 17. Is (-7)/(d/(-114))*3 a multiple of 19?
True
Suppose 2*y + 3 + 0 = -3*j, 1 = -j + 2*y. Let n be 10/(-2) + (-3)/j. Does 5 divide 6210/120 - n/8?
False
Let i(t) = 2*t**3 - 77*t. Is 11 a factor of i(12)?
False
Suppose 0 = 2*m + 2*z, 8*m - 11*m = -4*z - 14. Suppose 0 = -f + 2*j + 326, 2*f + 328 = 3*f - 4*j. Suppose 5*s - m*s = f. Does 9 divide s?
True
Suppose m + 3*b + 267 - 952 = 0, 5*m - 3415 = -5*b. Does 11 divide m?
True
Let z(u) = 11*u**2 + 19*u + 10. Let x(k) = -5*k**2 - 9*k - 5. Let p = 41 - 45. Let b(m) = p*z(m) - 9*x(m). Does 11 divide b(-6)?
True
Let t = -165 - 121. Let r = 691 + t. Is 15 a factor of r?
True
Let t(y) = 298*y**2 - 2*y - 2. Let g = -186 + 187. Is 14 a factor of t(g)?
True
Suppose 8*t = t - 231. Let n = 476 + t. Does 9 divide n?
False
Let u(z) be the first derivative of -z**4/4 + 11*z**3/3 + 3*z**2/2 + 24*z + 376. Let h(a) = -a**3 - 7*a**2 - 7*a + 5. Let n be h(-6). Is 12 a factor of u(n)?
False
Let d = 8 + 2. Is 24 a factor of d*((-55)/10)/11 + 221?
True
Let x be (-9)/(-21) - 7094/7. Let a = -568 - x. Is 10 a factor of a?
False
Let d = -33 + 29. Let u(h) = -h**2 - 4*h. Let o be u(d). Is 10 a factor of 20 + (-2 + 2 - o)?
True
Let m(v) = 2*v**3 - 64*v**2 + v. Suppose 3*g - 4*t = 96, 7*g + 5*t = 2*g + 160. Is m(g) a multiple of 21?
False
Suppose 3173 = 21*w - 6025. Let v = w - 195. Is v a multiple of 27?
True
Let y(h) = h**3 - 5*h**2 - 6*h + 21. Let j be y(6). Suppose 0 = j*q + 1307 - 17183. Is q a multiple of 86?
False
Let c(d) = -3*d - 5 + 7 + 56*d**3 - 9 + 5. Let l be c(-1). Let s = 186 + l. Does 17 divide s?
False
Let l(u) be the first derivative of 23*u**2 - 30*u - 41. Is l(5) a multiple of 5?
True
Let o be 54777/(-171) + (-4)/6. Is o/(-2*8/16) a multiple of 53?
False
Suppose 3*q - 47712 = -3*n, 5*n - 3*n = -q + 31807. Suppose -8*w = 23*w - n. Does 7 divide w?
False
Let t(h) = 55*h + 39. Let a(o) = -5*o + 13. Let w be a(1). Is 44 a factor of t(w)?
False
Let n(x) = -x**3 + 14*x**2 + 14*x + 20. Let q(b) = 2*b**3 - 13*b**2 - 13*b - 20. Let t be (9/(-18))/((-2)/8). Let m(u) = t*q(u) + 3*n(u). Is m(-15) even?
False
Suppose -5*p = 2*v - 4, -v + 5*v + 4*p - 20 = 0. Suppose 3*j - v*j =