 184 = -2*d + 6*d - 4*r. Let y = d - 29. Suppose 3*f - 2*f = y. Is f a multiple of 16?
True
Let v(h) = 75*h + 9310. Does 19 divide v(0)?
True
Let i(n) = n**2 + 22*n + 7. Let f be i(-22). Suppose 922 = f*o - 289. Is 31 a factor of o?
False
Let m(n) = 3*n**3 - 17*n**2 + 10*n + 53. Is m(8) a multiple of 16?
False
Suppose 13 = -5*m - 7, 7*q = 2*m + 9122. Does 8 divide q?
False
Suppose -622*y + 623*y = -2*x + 852, -4*y = -24. Does 47 divide x?
True
Suppose -2*r + 1390 = -v - 3*v, -5*r + 3489 = -3*v. Is 54 a factor of r?
False
Let w = 60 + -58. Suppose x + 2*x = -4*s + 17, w*x + 2 = 4*s. Let b = s - -30. Is b a multiple of 16?
True
Let t = 23016 - 22188. Is t a multiple of 12?
True
Let y(r) = -65*r**2 - 14*r + 15. Let x(v) = 32*v**2 + 7*v - 7. Let f(l) = 9*x(l) + 4*y(l). Is f(-3) a multiple of 38?
True
Suppose -2*z - b + 34097 = -8101, 6*z = 2*b + 126564. Does 18 divide z?
True
Suppose -s - 2 = 0, -3495 = -5*t - 0*s + 5*s. Suppose 4*r + t + 291 = 4*l, 1238 = 5*l - 4*r. Suppose -4*c = c - l. Is 5 a factor of c?
True
Suppose -37 = -6*p - 61. Let w be ((-2502)/(-15))/(p/(-10)). Let i = 627 - w. Is 12 a factor of i?
False
Let w = -3037 + 3090. Is 32 a factor of w?
False
Let a(j) = -7*j**2 + 38 + 89575*j + j**3 - 89579*j - 4*j**2. Is 63 a factor of a(12)?
False
Suppose -7*b = -11*b + 33335 + 13369. Is 42 a factor of b?
True
Let i(c) be the second derivative of c**6/180 + c**5/12 - c**4 - 8*c**3/3 + 16*c. Let t(v) be the second derivative of i(v). Is 27 a factor of t(-11)?
True
Let s = -393 + 123. Does 10 divide 10/((-3)/(s/3))?
True
Suppose 3*t = -4*l + 107316, 4*t + 139 = 155. Is 51 a factor of l?
True
Is ((-44408)/130)/(1/((-360)/4)) a multiple of 18?
True
Let u be ((-45)/(-3))/((-474)/(-316)). Let n(t) = 6*t - t - 30 + 3*t. Is 20 a factor of n(u)?
False
Let l(p) = -91*p + 56. Let q be l(1). Is (3001/5 - -1) + 7/q a multiple of 21?
False
Is 35 a factor of (-2 - -7)/(-4 + -2) - (-362586)/252?
False
Let o(p) = -41*p**2 - 59*p + 3. Let z be o(-4). Let h = 204 - z. Does 14 divide h?
False
Suppose 7*u = 20*u + 303452 - 1032492. Is 10 a factor of u?
True
Let w(m) = m**2 - 19*m + 36. Let j(i) = 5*i**2 - 94*i + 182. Let r(o) = 2*j(o) - 11*w(o). Is 18 a factor of r(17)?
True
Let r(w) = 157*w**3 - w**2 + 5*w - 1. Let g be r(2). Let f = g + -700. Is 11 a factor of f?
True
Suppose -46985 - 2659 = -63*b. Suppose 5*j + 2*q - 992 = 0, 3*q - b = -5*j + j. Is 10 a factor of j?
True
Let p be 6/(-16)*-2 + 7/(-4). Let n be (p - -4)*(30/(-9))/(-2). Suppose -4*s - 3*u + u + 194 = 0, 0 = 2*s + n*u - 117. Is 46 a factor of s?
True
Suppose -2*b - 8 = -3*v, -29 = -4*v - b - 11. Let z(n) = n - 6. Let q be z(v). Is 36/4 - (-1 - q/1) even?
True
Suppose 247*q - 278*q + 837496 = 0. Does 22 divide q?
True
Suppose 49*x = 47*x + 1246. Suppose -3*w + 2*h + 947 = 0, -2*w - 3*h = -6*h - x. Let i = 540 - w. Does 13 divide i?
True
Suppose p - 4 - 3 = 0. Let y(x) = -x**3 + 8*x**2 - 7*x + 2. Let f be y(p). Is 3 a factor of 3*f/(9 - 3) + 18?
False
Let o(y) = y**3 + 24*y**2 + 85*y + 9. Let j be o(-13). Let s = 1314 - j. Is s a multiple of 24?
False
Suppose -3*p + 22183 = 2*l, -14*p - 22187 = -2*l - 13*p. Is 12 a factor of l?
False
Let c be ((-10)/3 - -3)*(7 - 22). Suppose 2*u - c*t = -27 + 144, 0 = t + 1. Is u a multiple of 14?
True
Let v(f) = -212*f - 28. Let x be v(-11). Suppose 2*h = 8*h - x. Is h a multiple of 16?
True
Let m = -9694 + 23448. Is 25 a factor of m?
False
Let x be (-84)/63*7*12. Suppose 5*m = 10*m - 10. Let q = m - x. Is q a multiple of 19?
True
Let g(x) = 2*x + 7. Let l be g(-7). Let d(y) = 4*y + 46. Let b(v) = 6*v + 93. Let r(k) = l*d(k) + 3*b(k). Is 11 a factor of r(-15)?
False
Let u = -66 - -5445. Is 33 a factor of u?
True
Let g(o) = -2*o**3 - 20*o**2 - 18*o + 8. Let y be g(-9). Suppose h - 199 = y. Does 9 divide h?
True
Suppose -2477 + 527 = -5*q. Suppose -q = 5*w - 1280. Let j = w + 4. Does 26 divide j?
True
Is 26 a factor of ((-5724)/10)/((-258)/1290)?
False
Let l(r) = 6*r**3 + r**2 - 7*r + 5. Let b be l(1). Suppose -2*k = b*s - 824, -5*s - 5*k + 0*k = -830. Does 4 divide s?
True
Let v(o) = -7 + 7*o - 6*o**2 + o**2 + 4*o**2. Let q be v(3). Suppose -q*h = -41 - 384. Does 25 divide h?
False
Let u(g) = -g**3 + 70*g**2 - 55*g - 492. Is u(61) a multiple of 26?
False
Let q(t) be the first derivative of 5*t**4/2 - t**3 + 3*t**2/2 - t - 109. Is 67 a factor of q(4)?
True
Is (-10)/(-4)*(83 + -87)/(20/(-21818)) a multiple of 8?
False
Suppose -5*n - 76 = -h, -2*h + 2*n + 4 + 180 = 0. Is h a multiple of 24?
True
Let i be (20*(-9)/126)/((-1)/35). Suppose -54*r = -i*r - 700. Is r a multiple of 48?
False
Let n(l) = -l**3 + 6*l**2 + 9*l - 9. Let t be n(7). Suppose 10 = v + 4*v, t*p = 4*v + 252. Is 4 a factor of p?
True
Let p(q) = q**3 - 10*q**2 - 7*q + 14. Let d be p(12). Suppose d = 2*k + 4*g, -5*k + 6*g - 2*g + 489 = 0. Does 10 divide k?
False
Is 12/(-28) + 11 + 66865/35 a multiple of 4?
False
Let d(j) be the third derivative of j**6/180 + 7*j**5/120 + j**4/6 + 2*j**3/3 + 6*j**2. Let o(f) be the first derivative of d(f). Is o(-5) a multiple of 19?
True
Let k be (6 - (-4270)/7) + -1. Let a be (-4)/20 - (9/5 - 3). Suppose -3*z = -a - 8, -2*d - z = -k. Does 18 divide d?
True
Is (-128 - -6)/(4/(-768)) a multiple of 16?
True
Let u(y) = 386*y**2 - 25*y + 302. Is u(-12) a multiple of 25?
False
Let n = 4108 + -3742. Is 4 a factor of n?
False
Let y(c) = 67*c**3 + 6*c**2 + 9*c - 30. Let u be y(5). Suppose -39*n = -46*n + u. Is 61 a factor of n?
True
Let n = 4260 - 1982. Is 36 a factor of n?
False
Is (-198612)/(-144) - (105/20 + -6) a multiple of 60?
True
Suppose 17*b - 4*b = 377. Suppose -2*k = -b*k + 23031. Does 33 divide k?
False
Let j(f) = 28*f**2 + 185*f + 52. Does 196 divide j(-34)?
False
Suppose c + 3*u = 19, -5*c + 2*u = -0*c - 10. Let p be 28/(-15) + (-38)/285 + 2. Suppose -c*f = 2*o - p*o - 50, o = 2*f + 41. Does 24 divide o?
False
Let w be 6/14 + (7 - 2922/(-42)). Let v(l) = w*l - 4 - 4 + 3 - 6. Is v(3) a multiple of 22?
True
Does 7 divide (-10)/((-70)/(-217))*-77?
True
Let t be (-95 - 32)/(3 - 4/2). Suppose 4*h = 2*c - 628, 0*c - 2*h = 5*c - 1546. Let r = c + t. Does 20 divide r?
False
Let l(i) = 15*i**2 - 11*i**2 + i**3 - 25*i + 44 + 18*i**2. Let w(r) = -3*r - 44. Let v be w(-7). Is l(v) a multiple of 19?
False
Suppose -4*u + 6459 = -3*r, -2 + 5 = r. Suppose 4*h - 2628 = 4*s, 4*h - 1009 = 2*s + u. Does 61 divide h?
False
Let r(l) = -2*l**3 + 79*l**2 - 16*l - 216. Does 34 divide r(39)?
False
Suppose 5661 = g + 5*m, 5*m - 28365 = -795*g + 790*g. Is 3 a factor of g?
True
Suppose -10974 = 32*n - n. Let k = 363 + n. Is 4 a factor of k?
False
Let l(j) = 2*j**2 + 21*j + 21. Let f be l(-11). Let o = -13 + f. Suppose -1783 - 98 = -o*y. Is y a multiple of 21?
False
Let s = 5486 + -2738. Does 6 divide s?
True
Let g(t) = -t**3 - 9*t**2 + 21*t - 7. Let y be g(-11). Suppose -2*o - 172 = -3*x, y*x - 232 = o + o. Is 4 a factor of x?
True
Let y(n) = -2*n**2 + 1 + 5*n**2 + 6*n**2 + 11*n**2. Let s be (-1 - 0)/(1 + -2). Does 7 divide y(s)?
True
Suppose -28971 = -3*a - 519*o + 522*o, -2*a + 19319 = 3*o. Is 8 a factor of a?
False
Let y(d) = 2*d**2 + 11*d + 14. Let r(m) = 8*m**2 + 5*m - 4. Let g(l) = -l**3 + l**2 - l. Let c(o) = -2*g(o) - r(o). Let i be c(5). Does 41 divide y(i)?
False
Let n(z) = 7*z**2 - 2*z - 4. Let p be n(5). Let u = 245 - p. Is 7 a factor of u?
True
Let n(d) = -6*d + 9*d + 12*d**2 + 18*d + 0*d**2 + 76 - 5*d**3 + 0*d. Does 11 divide n(-6)?
False
Let q = -86 - -86. Suppose q*u - 9*u = -243. Is (247 + -1)*18/u a multiple of 13?
False
Let m(w) = 3*w**3 - w**2 + w - 1. Let b be (-27)/(-21) + (-16)/56. Let n be m(b). Suppose 5*k + 20 = 0, -3*z + 156 = n*k - 37. Is z a multiple of 38?
False
Let u(t) be the first derivative of 10*t**3/3 + 12*t**2 + 104*t + 48. Is 28 a factor of u(-16)?
False
Is 2 a factor of 958464/972 + (-8)/108?
True
Let d(r) = -2*r**2 - 4*r - 16. Let q be d(-7). Let v = -26 + q. Let t = v - -224. Is t a multiple of 16?
True
Suppose 0 = 70*a - 68*a + 10. Is 7 a factor of 4/a - 634/(-5)?
True
Let q = 88 + -34. Let h = -18 + q. Is (-2)/(h/(-28) + 1) a multiple of 3?
False
Suppose -2958699 = 1953*d - 1756*d - 8319660. Is d a multiple of 161?
False
Suppose 28*r = 19*r + 32355. Suppose 2*o = 10, 6*k - o + r = 11*k. Is k a multiple of 12?
False
Suppose -4*c - 390 = -3*u - 9*c