 + 6. Let b be m(-2). Suppose 5*c = 32*c - b. Is c a multiple of 18?
True
Let l = 52 + -36. Suppose l = -5*b + 176. Is 3 a factor of b?
False
Does 43 divide 5 + 18/(162/115983)?
False
Let z be 7/(7/(-63)*-1). Let l = 195 - z. Is 18 a factor of l?
False
Let t = -318 + 446. Suppose -6*y = -t - 412. Does 5 divide y?
True
Let w be (-1586)/(-39) - ((-8)/3)/2. Suppose -686 = w*l - 56*l. Is 7 a factor of l?
True
Suppose 4 = 24*d + 28. Let m(x) = 37*x**2 - x - 1. Does 9 divide m(d)?
False
Suppose -4*z - 134 = -2*t, -4*z + 4*t - 108 = -z. Let y = 35 + z. Suppose -y*b = 5*b - 456. Does 19 divide b?
True
Let f(z) be the first derivative of z**4/4 - 13*z**3/3 + z**2/2 - 9*z - 16. Let h be f(13). Suppose h*p + 32 = 2*j, 0 = j + p - 4*p - 15. Is 6 a factor of j?
True
Let m(h) = h**2 + 4*h - 1. Let t be m(1). Suppose 3*p = -a - p + t, 0 = a - 2*p + 2. Is 2 a factor of (-2)/(-3 + 2 + a)?
True
Suppose -3*u + k + 1431 = -0*u, -461 = -u - 5*k. Let f = -281 + u. Is 25 a factor of f?
False
Let u be ((-54)/63)/(15/(-70)). Suppose -5*m = -u*h - 1400, -3*m + 818 = 64*h - 62*h. Is 12 a factor of m?
True
Let o = -24 - -23. Let h be 2/4*(o + 1 - -8). Is 3 a factor of (250/15 - 4)*6/h?
False
Suppose -28*i + 32*i + 4*s = 43416, 5*i - 3*s = 54318. Does 60 divide i?
True
Let p be ((-4)/(-7))/(-1 + (-20)/(-28)). Let r(n) = 75*n**2 + 2*n - 7. Is r(p) a multiple of 17?
True
Let g = 1535 + -405. Does 5 divide g?
True
Let y = 32 - 28. Suppose 0*h = y*h + 160. Let o = h - -66. Is o a multiple of 13?
True
Let z(w) = -1061*w**3 - 43*w - 189. Does 190 divide z(-4)?
False
Let m(r) = -145*r + 14823. Is m(-9) a multiple of 252?
True
Let x be 3/2*(-2 - 12/2). Let a be (-3)/x - (-10)/(-8). Let o(v) = -258*v**3 + 3*v + 3. Is o(a) a multiple of 16?
False
Let l be 684/132 + (-4)/22. Let t be -4 + -2 + 0 + l. Does 29 divide t/((-3)/(-5))*-87?
True
Let j = 573 - 571. Suppose 4*i - j*c - 922 = 0, -4*c - 1151 = -i - 4*i. Is 33 a factor of i?
True
Suppose 5*h + 3*z - 660 = 0, -4*h = h + 5*z - 650. Suppose -5*s + 2*k + 12 = 0, 2*s - 3 = -2*k - 1. Suppose -w + h = s*w. Is 6 a factor of w?
False
Let q be (32/(-6))/((44/252)/(-11)). Suppose 499*o - q = 495*o. Is o a multiple of 4?
True
Let n = -840 - -858. Does 20 divide ((-36)/(-15))/(n/3285)?
False
Suppose -p + 3*p - 1520 = 0. Let v = -2704 - -3472. Suppose -2*m - p = -6*m - 5*i, 4*m + 3*i - v = 0. Is 45 a factor of m?
False
Suppose 2*b - 31 = -5*k - 0*b, k + b - 8 = 0. Suppose -k*m + 27*m = 10582. Is m a multiple of 30?
False
Suppose 0 = -5*n + 7*n - 278. Let j = n + -82. Is 3 a factor of j?
True
Let z(b) = 723*b - 1254. Does 6 divide z(12)?
True
Let d(t) = t**2 - 17*t + 18. Let u be d(15). Let c be u/(-28) - 2874/(-7). Suppose 4*g - c = -3*w + 117, -3 = g. Is w a multiple of 15?
True
Suppose n - 63 = -4*y + 37, -4*y - 332 = -3*n. Suppose 3*r + r - n = 0. Suppose 0 = -7*i + 6*i + r. Is 27 a factor of i?
True
Suppose 5*g + 9 = 29. Suppose -7*f = -5*f - 20*j - 6, -2*f + 6 = 3*j. Suppose f*i = -i + g*c + 352, 4*i + 2*c = 328. Does 7 divide i?
True
Let x = -844 + 2155. Let z = -864 + x. Is 6 a factor of z?
False
Let r(i) = -3*i - 3. Let j be r(3). Let n(y) be the second derivative of y**4/12 + 3*y**3/2 - 6*y**2 + 3*y. Is n(j) a multiple of 24?
True
Let h be 21960/(-48)*(-8)/5. Let f = h + -633. Is f a multiple of 9?
True
Suppose -q = -z + 7, q - 4 = 5*z - 23. Suppose -z*y - 180 = -5*y. Does 15 divide y?
True
Suppose -2*v + x + 2 = -0, 0 = v + 3*x + 6. Suppose 2*y - 18 = -v*y. Is (-4)/(-6) + 552/y + 1 a multiple of 31?
False
Let v be ((-40)/10 - 333) + (0 - -5). Is v/10*-13 - (-6)/15 a multiple of 35?
False
Let j(l) be the first derivative of 57*l**2/2 + 3*l + 1. Let g = -3539 + 3541. Is 46 a factor of j(g)?
False
Suppose 2 = -27*l + 28*l. Suppose 0 = 5*o - 3*p - 2145, -l*p + 419 + 23 = o. Is o a multiple of 15?
False
Let v(c) = 229*c**2 + c + 3. Let k(g) = -457*g**2 - 3*g - 5. Let u(l) = 3*k(l) + 7*v(l). Let m be u(2). Suppose 0 = 8*r - m + 210. Is r a multiple of 18?
True
Suppose -d + 6*f + 7042 = 8*f, -3*f = 6. Does 49 divide d?
False
Let n = -5699 - -11492. Does 155 divide n?
False
Let o(u) = 78*u**2 - 4*u + 5*u - 1 - 2*u - 71*u**2 - 3*u**3. Let t be o(5). Does 25 divide 9/(-12) - (-3)/((-24)/t)?
True
Let w = -21 - -51. Suppose 6 = -36*j + w*j. Is 13 a factor of (-1488)/(-9) - (-4)/6 - j?
False
Let n(r) = 65*r**3 - r**2. Let p be (-2)/(-3) + (-412)/(-12). Let k = p - 34. Is 16 a factor of n(k)?
True
Let f(w) = w**2 + 19*w + 62. Let x be f(-15). Let b(r) = 3*r**2 + 6*r**x + 36*r**2. Does 15 divide b(1)?
True
Let x(k) = 4*k**2 - 2*k + 6. Let s be x(4). Let l be 2/(-2 - 186/184*-2). Let m = l - s. Does 19 divide m?
False
Let r(g) = g**3 - 12*g**2 + 5*g - 51. Let v be r(11). Let j = 150 + v. Is 8 a factor of j?
False
Let z(u) = 97*u**3 - 31*u**2 + 149*u - 41. Is 65 a factor of z(5)?
False
Let w = 148 + -144. Let x(h) = h**3 - h**2 - 2*h - 10. Does 6 divide x(w)?
True
Let u be 4/14 - (-9)/(-7). Let o(k) = -344*k**3 - 2*k**2 - 16*k - 15. Does 21 divide o(u)?
False
Let b(h) = 2*h**2 + h + 4642. Is 163 a factor of b(-93)?
False
Let s be 6/(-10) + ((-36)/(-5))/2. Suppose -2*q = 2*z - 420, 4*z + z = -s*q + 630. Let u = -110 + q. Does 26 divide u?
False
Let t(i) = -i**2 - 40*i - 28. Let s be t(-19). Let m = s - 322. Does 7 divide m?
True
Suppose -3*c + 11 = 56. Does 13 divide 523/5 + 3 + 39/c?
False
Let u(x) = 5*x**2 + 37*x + 790. Is 51 a factor of u(-29)?
False
Let r = 5561 - 1336. Suppose -9*p = -22*p + r. Does 13 divide p?
True
Suppose 644*f = 640*f + 5*t + 27519, 2*t - 27554 = -4*f. Is f a multiple of 81?
False
Does 5 divide (3 + 217)*(-2 + 217/35)?
False
Suppose -4*f = 8, -14 = -4*s - 6*f + f. Suppose -14*a = -s*a - 160. Is a a multiple of 2?
True
Let w be (((-10468)/(-4))/1)/1. Let r = w + -1441. Is r a multiple of 56?
True
Suppose -30*a = -78820 - 25820. Is a a multiple of 17?
False
Let a(v) = 11*v + 2. Let h be a(8). Let i = -93 - -28. Let b = i + h. Does 2 divide b?
False
Suppose -374 - 626 = -5*s. Let q = -159 + s. Is q a multiple of 5?
False
Suppose 2*s + 79401 = 5*m, 16930 = 2*m - 8*s - 14852. Does 79 divide m?
True
Suppose 9*m - 674 - 316 = 0. Suppose 0 = 6*t - 7*t - 2*l + 50, -2*t = 2*l - m. Does 60 divide t?
True
Suppose -d + 2*k = -20801, 2*d + 103997 = 7*d - 2*k. Is d a multiple of 358?
False
Let a(x) = 2*x**3 + 53*x**2 - 40*x + 11. Is 74 a factor of a(-25)?
True
Let d(w) = 3*w**2 - 88*w - 172. Does 14 divide d(-6)?
False
Let s be (-52)/(-14) - (-4)/14. Let b be 0*(11/22 + -2 + 1). Suppose s*h - 481 = -b*h - c, -2*c = -2*h + 238. Does 24 divide h?
True
Let t be (-176)/(-55) - (-2)/(-10). Suppose -236 = -x + t*n + 76, 4*n = 0. Is 13 a factor of x?
True
Let c(w) be the third derivative of 145*w**4/24 + 35*w**3/6 + 85*w**2. Is 8 a factor of c(4)?
False
Suppose 0 = 5*p + h + 1317, 5*p - h = -832 - 491. Let b = p + 324. Is b a multiple of 3?
True
Let c = -46 - -48. Let i be 196/(-6)*(-21)/c. Suppose 3*p + 46 = i. Does 33 divide p?
True
Suppose 3*w = -3*w + 60. Suppose 4*c = w - 2, -2*b + 742 = -5*c. Suppose 4*r - b = -48. Is r a multiple of 8?
False
Suppose 16*x + 6732 = -3*x + 30*x. Does 36 divide x?
True
Suppose 2*x - 17 = -2*h - x, h - 3*x = -14. Suppose 0 = q - h - 3. Is 5 a factor of 1/q*-2*(-2 - 32)?
False
Let x = -2686 + 8712. Does 8 divide x?
False
Suppose 6*c - 136 = 4*c. Let t = c - 38. Let j = 10 + t. Is j a multiple of 10?
True
Let f(o) be the first derivative of 3*o**4/4 - 4*o**3 - o**2/2 + 7*o + 981. Suppose -2*j + 25 = 3*j. Is f(j) a multiple of 28?
False
Suppose 0 = 5*t - 4*u - 12, -3*u = -4*u + 2. Suppose 0 = -18*l + 22*l - 20. Suppose -1386 = -l*o - t*o. Is o a multiple of 60?
False
Let m(t) = t**3 + 15*t**2 + 7*t - 35. Let j be m(-12). Let b = 368 - j. Is 11 a factor of b?
True
Suppose 0 = 2*p - f - 48895, 2*p + 22*f = 27*f + 48867. Is p a multiple of 49?
True
Let y = 8 + -5. Suppose 0 = -0*o + 3*o, -2*m = -o - 377 + 369. Suppose 4*t + y*k = 2*t + 623, -m*t - k = -1241. Does 57 divide t?
False
Let i(c) = -1677*c + 2982. Is i(-5) a multiple of 12?
False
Let s(h) = h**3 + 3. Let p be s(0). Suppose -p*n = -453 - 141. Let g = n + -40. Does 26 divide g?
False
Suppose 64484 = -8*o + 4*o. Is 62 a factor of o/(-13) - (-14)/(-182)?
True
Suppose 0 = -70*z + 72*z. Suppose z*y + 4*y = 20. Suppose y*x = -0*x + 160. Is x a multiple of 8