66 = 0. Does 22 divide z?
True
Suppose 8*v - 3041 = 2487. Let p = -73 + v. Does 78 divide p?
False
Let r = 325 + -318. Suppose r*i - 5*i - 958 = -2*z, 3*i - 3*z - 1449 = 0. Does 13 divide i?
True
Let n(w) be the second derivative of -w**5/20 - 5*w**4/12 + 5*w**3/2 + 7*w**2/2 + 13*w. Let m be n(-7). Suppose m*j + 192 = 8*j. Is j a multiple of 5?
False
Suppose 0 = 13*d - 8856 - 4794. Let c = d - 659. Is 7 a factor of c?
False
Suppose -c - 7*c + 72 = 0. Let r(g) = -g**3 + 11*g**2 - 13. Does 14 divide r(c)?
False
Let u(r) be the third derivative of 0 + 5/24*r**4 + 13*r**2 - 1/60*r**6 - 8/3*r**3 + 1/4*r**5 + 0*r. Does 4 divide u(7)?
True
Suppose -o + 9 = 2*r, -20 = -r - 4*r - 2*o. Let n(a) = 6*a. Is n(r) a multiple of 12?
True
Suppose 7*g + 27408 + 12233 = 0. Does 45 divide (g/7 + 2)*(-2)/6?
False
Let y be ((-10)/5)/((-22)/(-23) - 1). Let l = 51 - y. Suppose -32 = -4*g - 5*x, 2*x + 40 = l*g + 3*x. Does 4 divide g?
True
Let p(f) = 25*f**2 - 1. Let v(i) = i**2 - 15*i + 4. Let h be v(14). Let d(x) = 4*x + 39. Let t be d(h). Is p(t) a multiple of 24?
True
Let k(r) = -19 + 13 + 27*r - 13. Let h be k(4). Suppose -4*a = -o - h, -2*a = -a - 5*o - 46. Does 2 divide a?
False
Let n be -1 - (0 - -1) - (-26 - -19). Does 36 divide (6/n)/(9/(-8100)*-10)?
True
Let l be (-2679)/(-247) + 4/26. Suppose 3*x = -4*f + 1127, -10*f - 3*x - 278 = -l*f. Is f a multiple of 43?
False
Let h(x) = -4*x - 5*x + 6*x - x - 31 + 2*x**2. Is 14 a factor of h(9)?
False
Let r(g) = -g**2 + 5*g + 41. Let w be r(8). Let p(y) = -51 + 22 - 3*y - w - 29. Does 18 divide p(-31)?
True
Let f be 32508/270 - (-2)/(-5). Is (-2144)/f*-12 + (-2)/5 a multiple of 4?
False
Let y = 64 + -640. Let w = 756 + y. Is w a multiple of 6?
True
Let d(z) = -17 + 5*z**2 + 6*z**2 + 19*z - 12 + 11. Is 24 a factor of d(-6)?
True
Suppose -3*x + 9365 = 2*s, 122*s - 125*s - x + 14044 = 0. Is 31 a factor of s?
True
Let p(h) = 8*h - h**3 - 9*h**2 + 0*h**2 + 2 + 1 - 21. Let b be p(-10). Suppose 5*v - 478 = -3*y, -4*y = -5*v + b*v - 676. Is y a multiple of 14?
False
Suppose 2*a = 2*k - 166, 0*k + 3*k - a = 247. Suppose -5*s + s - k = -5*d, d = 3*s + 12. Is d a multiple of 2?
True
Suppose -1369*r + 1372*r - 70928 = y, -r + 23624 = -5*y. Is 92 a factor of r?
True
Let g be (-14)/4*(-54 - -56). Let s(q) = 6*q**2 + 12*q + 10. Is 10 a factor of s(g)?
True
Suppose 0 = 4*z + 16, 2*m + 5*z - 16 = -2. Suppose 0 = m*u - 8512 - 10205. Does 18 divide u?
False
Suppose -16*k - 8*k + 17568 = 0. Suppose 2*x - 5*x = -5*n - 447, 5*x - 4*n - k = 0. Is x a multiple of 36?
True
Is 5 a factor of (7 + 78/(-10))*(0 - 170)?
False
Let p(l) = -2*l**2 - 21*l - 21. Let t be p(-9). Let o(b) = -8*b + 29 + 5*b - t*b - 8*b. Is o(-5) a multiple of 14?
False
Let r = -6214 - -6845. Does 3 divide r?
False
Let y be ((-2)/(-4) + -1)*-4. Let r(p) = -351*p - 340. Let w be r(-1). Suppose v + w = y*v. Is v a multiple of 6?
False
Suppose 8*h = 79819 - 5540 + 33673. Is h a multiple of 267?
False
Let l(n) = n**2 - 5*n + 46. Is 7 a factor of l(-17)?
True
Suppose -28*m - 25840 = -4*d - 24*m, 5*d + 4*m - 32246 = 0. Is 23 a factor of d?
False
Let d(m) = 4*m + 76. Suppose 0 = 184*l - 178*l - 102. Is d(l) a multiple of 9?
True
Let q be 3/5*10*7/14. Is ((-969)/q)/1*-1 a multiple of 19?
True
Suppose -94*g = -15889 + 494 - 4439. Is g a multiple of 3?
False
Suppose 66*i - 80 = 58*i. Is 30 a factor of i/15 + 124/3?
False
Let t(x) = 211*x**3 + 5*x**2 - 94*x + 161. Is 11 a factor of t(5)?
True
Suppose 0 = 4*d - 5*d + 154. Suppose -9*b + 2*b = d. Is 9 a factor of (-19 - b)/(-1 + (-37)/(-36))?
True
Suppose -5*h - 47*i + 23007 = -44*i, 4*i = -3*h + 13813. Does 73 divide h?
True
Let k(o) = 53*o**2 - 89*o - 32. Does 73 divide k(11)?
True
Let v be (3/(-6))/(6/(-60)). Let n be (-3)/v + (-6)/(-10). Suppose 2*r - 4*r + 42 = n. Is 7 a factor of r?
True
Let o(c) be the third derivative of c**4/3 - 4*c**3/3 + 3*c**2 + 3. Does 4 divide o(4)?
True
Let p(h) = -2*h**3 - 15*h**2 + 7*h + 12. Let w be p(-11). Let d(n) = -n**3 - 8*n**2 - 15*n + 4. Let q be d(-5). Does 23 divide 1*w/q - 30/(-20)?
False
Let k(d) = 2*d**2 + 7*d + 7. Let i be k(-5). Let c be 1/((-24795)/173460 - (-1)/7). Does 15 divide (-4)/i + c/(-77)?
True
Let d be (-37671)/(-522) + ((-5)/(-6))/(-5). Is 19 a factor of 8904/d + (-1)/(-3)?
False
Let r(d) = d**2 - 18*d + 55. Let k be r(14). Is (k/(15/(-27)))/((-15)/(-950)) a multiple of 17?
False
Suppose 2*w + 3*i + 110 - 2495 = 0, w = -2*i + 1191. Suppose 4*a - 13 - 933 = 5*n, 0 = -5*a - n + w. Is a a multiple of 29?
False
Suppose -409 = -4*f + 6*f - 3*n, -3*n = -5*f - 1009. Let r = f - -241. Is 5 a factor of r?
False
Suppose -14*h = -10*h - 608. Let i = 324 - h. Let q = i - -25. Is q a multiple of 21?
False
Suppose 4*y = 4*f + 98840, 17*y - 5*f = 14*y + 74134. Is y a multiple of 71?
True
Suppose 0 = i - 23*i + 132. Suppose y = 3*t - 3909, 2*y - 3909 = 3*t - i*t. Does 19 divide t?
False
Suppose 301 - 49 = 3*a. Suppose 5*c - 451 - a = 0. Is c a multiple of 3?
False
Is 19 a factor of (-2452)/(85/(-175) - 14/(-49))?
False
Suppose 3*k - t - 22 = 0, 0*k - t + 8 = 2*k. Suppose 28 = 4*m + m + 4*z, -2*m + z = -k. Suppose 5*w - 259 + 90 = m*v, 3*v + 69 = 2*w. Does 11 divide w?
True
Suppose -3000 = -25*q - 0*q. Suppose -10*j = -q - 130. Does 8 divide j?
False
Let v = -222 - -224. Let g = 45 + -34. Suppose 7*l - g*l - 301 = -3*s, -v*s = -l - 204. Is 18 a factor of s?
False
Suppose 0 = -20*x - 6471 + 2371. Let o = -49 - x. Is 8 a factor of o?
False
Suppose 7068 = 5*q + 4*h - 3847, -q + 2167 = 4*h. Is q a multiple of 48?
False
Suppose -8590 = -5*r + 5*v, -5*r - 2*v = -9599 + 1009. Suppose 6*x - r = -3*k + 2*x, -3*x = 4*k - 2300. Is 17 a factor of k?
True
Let b be 5/(-15)*(-4 + -14). Suppose -p + b - 2 = 0. Suppose -p*u + 412 = -0*u. Is 9 a factor of u?
False
Suppose 4*r = 169 - 5. Let q = r - 39. Is 7 a factor of -63*q/(24/(-4))?
True
Let p be (81/54 - 6/(-4)) + 22. Suppose 16*m - p*m + 2160 = 0. Is 60 a factor of m?
True
Let p = 118 - 6. Let k = 166 - p. Is k a multiple of 18?
True
Suppose -64*x + 58*x + 527867 = s, 5*x - s - 439902 = 0. Does 19 divide x?
False
Let x = 9658 + -6174. Does 7 divide x?
False
Let t = 646 - 560. Suppose t*d - 2432 = 84*d. Does 85 divide d?
False
Let x(w) = 46*w**3 - 34*w**2 - 2*w + 32. Is x(5) a multiple of 25?
False
Let f(i) = -i**2 - 3*i + 6. Let a = 37 - 40. Let t be f(a). Does 21 divide 261/6 - (27/t + -3)?
True
Let s(n) = n + 9. Let b be s(-8). Let v be (-4 - 0)/b*-7. Is 21 a factor of -2*v/16*-6?
True
Let b be 8/((-392)/(-203)) + (-1)/7. Suppose 0 = -5*m - b*m + 54. Is m a multiple of 5?
False
Let j = 1850 - 1154. Let f = 715 - j. Is 2 a factor of f?
False
Let o be (-15)/(-5) - 1 - 8 - -16. Let v(a) be the second derivative of a**3/3 + 9*a**2 - a. Is 14 a factor of v(o)?
False
Let p(g) = -324*g - 591. Is 21 a factor of p(-8)?
False
Suppose -v + 28 = 4*q + 3*v, -5*q = 2*v - 23. Suppose 5*k - 70 = -3*r, -q*r = 2*k - 5*r - 12. Is k a multiple of 11?
True
Suppose -4*x + 47633 = 3*y, -3*y + 984*x = 980*x - 47641. Is y a multiple of 136?
False
Let s be (-7254)/(-33) + (-12)/(-66) - -3. Suppose 3*x - s - 1109 = 0. Does 42 divide x?
False
Let x(r) = r**3 - 71*r**2 - 632*r + 196. Is 7 a factor of x(79)?
True
Let c = 156 - 152. Suppose -c*j - 9*f + 32 = -11*f, 5*j - 10 = -5*f. Is j a multiple of 6?
True
Let j(t) be the second derivative of 5*t**3/6 + 23*t**2/2 - 19*t. Let x be -2*(874/(-133) + 3/(-7)). Is j(x) a multiple of 31?
True
Let b(d) = 5*d**2 + 23*d + 2. Let a be b(-14). Suppose -213*y + a = -202*y. Is 12 a factor of y?
True
Suppose -160 + 762 = -2*v. Let o = v - -625. Is 27 a factor of o?
True
Let g = -170 - -1111. Does 4 divide g?
False
Let l be (-2 - -8) + 4 - (-1)/(-1). Let z(c) = -c + 9 + 11*c + 10 + 7*c. Does 32 divide z(l)?
False
Let b(v) = -v**2 + 46*v - 76. Suppose 2*g - 72 = -4*r, -3*r - 203 = -3*g - 68. Is b(g) a multiple of 75?
False
Does 256 divide 6676 + -3 + 1/(4*(-3)/36)?
False
Suppose -2*b = -3*b + 4. Suppose -v - 14 = b*k, 0*v = 3*v - 6. Does 8 divide (-11)/k*(1 - -7)?
False
Suppose 548*h - 5410678 = 411*h. Does 182 divide h?
True
Let a = 15701 + -11591. Is a a multiple of 6?
True
Let b = -825 + 557. Let d = b + 548. Does 35 divide d?
True
Let t = -11 + -1. Let z(l) = 2344*l - l**2 + 2353*l - 4714*l + 3. Is z(t) a multiple of 21?
True
Suppose -33*g