*t + 20*t + 3 - 7 - 6*t. Is 8 a factor of s(z)?
True
Let k be (-9)/(-12) + 2 + 1/4. Suppose -64 = k*f - 5*f. Does 6 divide f/((-9)/3 - -5)?
False
Suppose 106*d - 177934 = 9*d + 54*d. Is 36 a factor of d?
False
Suppose 2*d - 3*v = -2*d + 6, 0 = 3*d - 2*v - 5. Suppose -d*z - 6 = -5*z + 4*q, 5*z - 2 = -3*q. Does 25 divide z/((-2)/(-272)) - 1?
False
Let s(l) be the second derivative of -2*l**3/3 - 21*l**2 - 129*l. Let u = 22 - 41. Is s(u) a multiple of 34?
True
Does 5 divide (-12)/36 + (-10656)/(-54)?
False
Let b = 42 + -18. Suppose -9*l + b = -6*l. Is 3 a factor of l?
False
Let c(d) = -3*d**3 + d**2 - d - 2. Let p be c(3). Suppose -4*g - 4*k - 260 = 0, -8*g + 3*g - 331 = 2*k. Let f = g - p. Is f a multiple of 10?
True
Let i be (-2)/(-3)*(-63)/6. Does 6 divide (-16)/(-2) - i/((-7)/2)?
True
Let r(j) = j**2 + 3*j + 86. Let s(v) = -12*v + 2. Let o be s(2). Does 36 divide r(o)?
True
Suppose -3*y + 13 - 274 = 0. Let t = y - -339. Is 18 a factor of t?
True
Let b(j) = 0*j**3 + 3 - j + 4 + j**3 - 5. Let q be b(1). Suppose q*f - 180 = 52. Is 24 a factor of f?
False
Suppose -3*l + 30 = 9, m = -l + 11630. Does 21 divide m?
False
Let v = -640 + 651. Does 23 divide (54/(-4))/(v + (-6090)/552)?
True
Let b(k) = -k**3 - 27*k**2 - 10*k + 61. Let z be b(-28). Suppose 3*n - z = -4*c, -5*c + 7*n + 1440 = 4*n. Is 5 a factor of c?
True
Is ((-51324)/15)/(-2) - 6/60*8 a multiple of 10?
True
Suppose l = 33*d - 32*d + 61, 3*d = -12. Is 2 a factor of l?
False
Let x(l) = -540*l + 1750. Does 7 divide x(-28)?
True
Let c be (10/(-4))/(((-65)/(-10))/(-13)). Suppose 4*m = -2*r - 0*r + 368, c*m = -r + 457. Does 37 divide m?
False
Does 13 divide (-21)/(4704/(-832))*14917/2?
True
Suppose 5*u - 69 = 3*h, 0*h = 5*u - 2*h - 71. Suppose -o - f = 47 - u, 0 = f. Let v = o - -120. Is 17 a factor of v?
False
Suppose 30*v = 28*v + 10. Suppose v*d + 2 = 7*d, 5*y = 4*d + 426. Let z = -43 + y. Is z a multiple of 3?
False
Let k = -546 + 755. Is 4 a factor of k?
False
Let x be 1 - (-1)/((-4)/712). Let y = -32 - x. Does 8 divide y?
False
Let j be (-186)/(-4)*(-34)/(-51). Suppose 1669 = -j*h + 18285. Is 15 a factor of h?
False
Let j be (508 - -5) + (-1)/(-2)*-6. Let y = j - 147. Is 33 a factor of y?
True
Let w(x) = x**3 - 7*x**2 - x + 9. Let o be w(7). Suppose -65*m + 26*m - 6669 = 0. Does 26 divide 1/(-2) - (m/o - -5)?
False
Let n = 688 + 16408. Is n a multiple of 8?
True
Let b(n) = n**3 - 10*n**2 - 26*n + 155. Is b(24) a multiple of 49?
True
Let p = -717 - -722. Suppose 0 = -5*j + 4*f + 2720, 2*j - p*f - 460 = 611. Is j a multiple of 4?
True
Does 3 divide -6 - (16/(-72) - (-222292)/(-36))?
False
Suppose 3*q - f + 10 = -0*q, 3*f = -5*q - 26. Let p be 3 - (q*(0 - -1) + -2336). Suppose 813 = -6*s + p. Does 14 divide s?
False
Let p(f) = -878*f - 152. Is p(-19) a multiple of 57?
True
Suppose 3265 = 67*n - 66*n + 4*l, -12965 = -4*n + 3*l. Is n a multiple of 55?
True
Let q(d) = -15*d + 33 + 33 - 98. Let k be q(-9). Suppose 0 = -7*w + 37 + k. Does 2 divide w?
True
Let v(t) = -3*t**3 - 31*t**2 - 40*t + 74. Is 18 a factor of v(-20)?
True
Let p(r) = 40*r + 31 - 47 - 186*r. Is 10 a factor of p(-1)?
True
Is 1548 + (-17)/(340/360) a multiple of 15?
True
Let z(l) = 51*l**2 + 17*l + 42. Is 9 a factor of z(-3)?
True
Let a = 1144 + 2900. Is 17 a factor of a?
False
Let f(k) = 16*k**3 + 2*k**2 + 27*k - 189. Does 60 divide f(9)?
True
Let h be 11*(45 + (0/(-6))/(-2)). Let l = h + -392. Is l a multiple of 7?
False
Let o = -5671 - -8526. Suppose o + 3953 = 8*n. Does 37 divide n?
True
Let a(l) = -l**3 + 24*l**2 - 22*l + 34. Suppose -6*y - 188 + 266 = 0. Is 11 a factor of a(y)?
False
Let q(b) be the second derivative of -b**4/12 + 7*b**3 + 10*b**2 - 87*b - 1. Is q(30) a multiple of 38?
True
Let w(v) = 11*v**3 + 2*v**2 + 14*v - 3. Let y be w(-5). Let z = -663 - y. Is 16 a factor of z?
False
Suppose -3*h = -4*c + 38566, 14475 + 14475 = 3*c + 2*h. Is c a multiple of 91?
True
Suppose -5*q - 24 = o, 12 = -5*o + 3*q + 4. Let z(w) = -202*w - 25. Does 18 divide z(o)?
False
Let u(y) = -y**3 + 22*y**2 + 4*y - 71. Let o be u(22). Suppose o*t = 6*t + 4928. Is t a multiple of 28?
True
Let a(i) = i**2 + 5*i - 14. Let v = 33 + -30. Suppose 3*j = 5*o + 77, j + 43 = -v*o + 2*j. Does 19 divide a(o)?
False
Suppose 6*v + 10 = 8*v, 3 = -2*n - 5*v. Is 10 a factor of (632/(-28))/(2/n) - 4?
False
Suppose 3372 = 6*r - 6708. Is r a multiple of 15?
True
Let f(u) = 2*u**3 + 43*u**2 - 5*u - 18. Let c be f(-18). Suppose c = 10*y - y. Is y a multiple of 26?
True
Suppose 4*q - 6*q + 98 = 0. Suppose q = 4*x - 31. Let b = x - -12. Does 17 divide b?
False
Let y(a) = 11 + 0*a**3 - a**2 - 5*a + 15*a**3 - 16*a**3. Is y(-5) a multiple of 17?
True
Let g = 717 - 350. Let n = -352 + g. Is n even?
False
Let y(x) = 12*x - 14. Let c be y(-8). Let f = 89 + c. Let v = 141 + f. Does 23 divide v?
False
Suppose 5*i - 5 = 0, -3*z - 2 + 0 = i. Let x(c) be the second derivative of -41*c**5/20 - c**2/2 + 4*c + 20. Is x(z) a multiple of 11?
False
Does 50 divide 1794/4*(-2700)/(-81)?
True
Let a(t) be the third derivative of -t**5/60 + 11*t**4/24 + 7*t**3/3 - 5*t**2. Suppose 3*q - 10*q = -49. Is a(q) a multiple of 6?
True
Let v be -6 + 45/7 + (-6)/14. Let t(x) be the third derivative of -x**6/120 + x**5/60 + x**4/12 + x**3/2 - 11*x**2. Is t(v) even?
False
Let p = -2305 - -2230. Suppose -2*q = -0*q - 204. Let n = q + p. Is 3 a factor of n?
True
Let x(z) = 52*z + 3700. Is 12 a factor of x(111)?
False
Let y(d) = 132*d + 9604. Does 45 divide y(54)?
False
Is 6 a factor of (0 - -5188 - (-24)/30) + 29/145?
False
Does 12 divide 19900/15*((-792)/40)/(-11)?
True
Let r be (216/(-252))/((-3)/7). Suppose -9 = -r*a + 3. Does 2 divide a?
True
Is 3 a factor of 184 - (-15)/(-6)*16/(-5)?
True
Suppose -5*p = 2*o - o + 23, -3*o + 31 = -5*p. Suppose 0 = o*s - 5*s - 2*i + 76, -16 = 4*i. Is 28 a factor of s?
True
Let i(o) = -183*o - 32. Let w(v) = -v**3 + 3*v**2 + 10*v - 4. Let k be w(5). Let r be i(k). Suppose -8*f + r = -6*f. Does 48 divide f?
False
Let n = 10074 - 3956. Does 14 divide n?
True
Suppose -4*s + 2*k + 7530 = 0, 4*s + 10*k = 9*k + 7515. Does 20 divide s?
True
Suppose -5*g - 2*g + 91 = 0. Is 8 a factor of g/(13/(-6)) - -78?
True
Let r(m) = 370*m**3 - m**2 + 5*m - 5. Let f(z) = -z + 27. Let h be f(26). Does 22 divide r(h)?
False
Let i(d) = 442 + d**2 + 57*d - 59*d - 98. Let v be i(0). Is (v/10)/(10/25) a multiple of 19?
False
Let m be (9/4)/((-18)/(-96)). Suppose 2*o + 3*x = -o + 84, -4*x = m. Is 2 a factor of o?
False
Let p(q) = -5647*q + 42. Let t be p(-2). Is 10 a factor of t/14 - ((-296)/56 + 5)?
True
Suppose 0 = 2*k - 5*t - 11, 2*t = 1 - 3. Let f be 0 - (k - (2 + 3)) - -3. Suppose 3*u + x = -0*x + 102, u - f*x - 18 = 0. Is 5 a factor of u?
False
Let j be ((-54)/45)/(2/10). Let d be (6/(-9))/(1/j). Is 21 a factor of (d*1005/80)/((-1)/(-4))?
False
Let q(l) = 12*l**2 - 32*l - 2 - 1 - 13*l**2 + 0*l**2. Let g be q(-31). Suppose -2*r + y + 27 = -g, 0 = -2*r - 5*y + 37. Does 13 divide r?
True
Suppose 19*r = 36325 + 7470. Is 26 a factor of r?
False
Let f(a) = 7*a**2 + 3*a - 15. Is f(-7) a multiple of 8?
False
Suppose -s - 5*p - 17 = 0, p + 18 = 2*s - 2*p. Suppose s*q - 2 = 4*q. Is 24/(-6) - (q + -76) a multiple of 17?
False
Let x(y) = 2616*y**2 - 46*y + 86. Does 18 divide x(2)?
True
Let q be 1/2*-2 - (-33)/3. Suppose -20 = -12*b + q*b. Suppose -r - 540 = -b*r. Is r a multiple of 5?
True
Let i(y) = -3*y**3 - 7*y**2. Let n be i(-5). Suppose -z + 14738 = 14729. Suppose -13*q = -z*q - n. Is q a multiple of 8?
False
Let w(q) = -176*q - 1074. Is 54 a factor of w(-29)?
False
Does 5 divide (-34620)/(-70) - 24/(-56)?
True
Let t be 0 - 0 - ((10 - 6) + -6). Suppose 0*d + t*d - 42 = 0. Let n = 76 - d. Is 11 a factor of n?
True
Let s = 208 + -232. Is 145/4 + (4 - (-78)/s) even?
False
Let s = 383 - -3. Suppose -2*u - 100 - s = -v, 0 = 5*v + 4*u - 2500. Does 24 divide v?
False
Suppose -20*m = -8*m - 2256. Does 13 divide 2443*(-1)/(-4) + 47/m?
True
Let d = -16007 - -17291. Is 3 a factor of d?
True
Let y = -18090 + 27306. Is y a multiple of 16?
True
Let s(x) = 287*x**2 + 120*x + 752. Is 25 a factor of s(-6)?
False
Suppose 9*p = 8*p + 8. Let r(m) = 35*m + 5. Let x(k) = 104*k + 16. Let i(w) = p*r(w) - 3*x(w). Is i(-2) a multiple of 28?
True
Let o = 664 + -210. Suppose 0 = y - 2*y - o. Let n = y + 641. Is 