s be m(b). Suppose -2*t + 3*q = -6*t + 61, 2*t - s*q - 20 = 0. Is 5 a factor of t?
False
Let n = 4308 - -12136. Is n a multiple of 26?
False
Let m(o) = o**2 - o + 1. Let s(i) = -48*i**2 + 3*i - 8. Let l(r) = 5*m(r) - s(r). Does 43 divide l(4)?
False
Suppose -6*i + 4 = -4*i. Let o be i - (3 - 2/2). Suppose -v - v + 64 = o. Is 16 a factor of v?
True
Suppose -62*q + 65*q - 270 = 0. Suppose -t + 0*t = -5. Suppose -6*n + q = -t*n. Is n a multiple of 9?
True
Let q(v) be the second derivative of -v**4/4 + 7*v**3/2 + v**2/2 - 20*v. Let k be q(7). Is 25 a factor of -5 + 4 + 60 + k?
False
Let a be 31 + 0 + -2*(-5 + 4). Let x(o) = 12 - 24*o - a*o + 51*o. Is x(-6) a multiple of 8?
True
Let u(k) = 9*k**3 + 4*k**2 + 14*k - 25. Let m be u(4). Suppose -r = -4*l + m, 2*l + 3*l - 3*r - 837 = 0. Is l a multiple of 21?
True
Let h be ((-138)/(-10))/(1/5). Suppose 724 = -11*l + 3243. Suppose 5*b - l = -h. Does 8 divide b?
True
Let v = 202 - 56. Let w(l) = 2*l**3 + 2*l**2 + 3*l + 254. Let u be w(0). Let a = u - v. Is a a multiple of 18?
True
Suppose -23*p = -4*p - 4807. Let k = 306 - p. Does 3 divide k?
False
Let s(z) = -26*z - 1090 - 5*z + 6*z**2 + 12*z**2 - z**3 + 1102. Is 14 a factor of s(16)?
True
Let b be ((5 - 8) + 10)*10/14. Suppose -b*g - 1689 = -8*g. Is 12 a factor of g?
False
Let n = -39 + 45. Suppose n = 2*i - 3*i. Let a(w) = -16*w - 26. Is 38 a factor of a(i)?
False
Let k(g) = -12*g + 56. Let v be k(14). Let x = v - -299. Does 17 divide x?
True
Suppose 4 - 6 = -2*p. Suppose -s - 1597 = -3*f - 375, 0 = -s - p. Does 27 divide f?
False
Let l be 3 - ((-40)/4 + 5). Suppose -l - 7 = -5*q. Suppose -q*t = -p + 149 + 56, 2*t = -3*p + 637. Is 17 a factor of p?
False
Suppose 3*q - 4*q = -5*w - 252, -2*q - 146 = 3*w. Let v = -46 - w. Let r(c) = 2*c**2 + 2*c + 6. Is 23 a factor of r(v)?
True
Let i(q) = 2*q - 2*q - q**3 - 6 + 2*q**2 + 3*q. Let s(n) = 6*n + 117. Let j be s(-20). Is 5 a factor of i(j)?
True
Suppose 193*y = 87*y + 352026. Is 26 a factor of y?
False
Let t(a) = -2*a**2 + 3*a + 43. Let k be t(-11). Let c = 294 + k. Does 4 divide c?
False
Suppose -3*l + 1 = -2*k - 2, 2*l - 2 = -4*k. Let s(a) = -342*a - 304*a + 3 + 696*a. Is 19 a factor of s(l)?
False
Let w = -1790 + 731. Let g = w + 1600. Does 35 divide g?
False
Let u(n) = -n + 2. Let i be u(0). Is 319 + -2 + (-6*i)/(-3) a multiple of 23?
False
Let w(k) = 1503*k**2 + 7*k - 7. Let z be w(2). Suppose -11*h = 2*h - z. Is 60 a factor of h?
False
Let n(u) = u - 9. Let s be n(11). Let w = 1 + s. Is w - 1 - (-110 + 0) a multiple of 16?
True
Let l(s) = 34*s + 2. Let w be 14/(-14) - (-2 + 0). Is l(w) a multiple of 4?
True
Suppose 2*w = -d + 166, 5*d - 938 = -4*w - 126. Suppose 5*b - 236 = 2*o, -5*o + 80 = 2*b + 612. Let q = d + o. Is q a multiple of 6?
False
Suppose 0*s + 8 = 3*s + 2*h, -5*s = -2*h - 8. Suppose -4*z - 3*y = y - 8, -s*y = -2. Does 17 divide -1 + z + -16 + 132?
False
Suppose -k + 15 = 2*k. Suppose -5*h = -k*w + 235, w + h + h = 62. Suppose 166 = 2*c - w. Is c a multiple of 31?
False
Let t(z) = 8*z**3 + 2*z**2 - 22*z + 292. Is t(7) a multiple of 12?
False
Let o(z) = 3*z - 11. Suppose y = -3*y - 20, -10 = -u + y. Let p be o(u). Is 8 a factor of p*(2 + 4 + 3)?
False
Let f be (-15831)/(-75) - 108/1350. Suppose -d - 54 = 55. Let m = d + f. Is 34 a factor of m?
True
Let t(f) = 3*f**2 - 2*f + 1. Suppose -80 = 21*x - 26*x. Suppose -2*o - x = -h + 2*o, -5*o = 2*h + 33. Does 19 divide t(h)?
True
Let u = 227 - -505. Does 34 divide u?
False
Let x = 6676 + -1465. Does 11 divide x?
False
Let s(k) = -7*k**3 - k**2 - k - 4. Suppose -5*l + 75 = 30. Let g be 2/((-6)/l) - -1. Does 10 divide s(g)?
True
Let d(w) = -2*w**2 - 4*w + 1. Let f be d(-6). Suppose -2*n - 6*o + 0*o + 54 = 0, 4*n + 5*o - 94 = 0. Let t = n - f. Is 17 a factor of t?
True
Suppose -4351 - 11019 = 10*p. Let o = p - -2460. Is 15 a factor of o?
False
Suppose -w = 3*w + m - 2, 2*m = 5*w + 4. Suppose -2*o - 742 = -4*o - 2*p, w = -o - 2*p + 370. Suppose 62 = 7*s - o. Does 15 divide s?
False
Let r(y) = -y**3 + 27*y**2 - 24*y - 46. Let x be r(26). Let b(w) = w**3 + 3*w**2 - 18*w. Is b(x) a multiple of 18?
True
Suppose 3*j - 9 = -3*t + 3, -t - 3*j = 2. Is 117/(t*9/189) a multiple of 53?
False
Let k(d) be the first derivative of d**3/3 + 7*d**2 + 45*d - 18. Is 12 a factor of k(-17)?
True
Suppose -2*x + 2535 = 3*x. Let o = 1002 - x. Is 11 a factor of o?
True
Let t = 18660 + -13041. Suppose 4*p + 5941 = 5*s, 2054 = -3*s + 2*p + t. Does 41 divide s?
True
Does 116 divide (-4698)/(-24)*5/(75/560)?
True
Let h = -13904 + 20300. Is h a multiple of 4?
True
Let z(p) = 3*p**2 + 13*p - 130. Does 23 divide z(30)?
False
Let p be -4 + (-1 + 7 - 0). Let j(x) = 68*x**3 - 3*x**2 + 6*x + 4. Is 32 a factor of j(p)?
False
Suppose -c = c - 10. Let d = -2 + c. Does 3 divide 2/d - 686/(-42)?
False
Let y(b) = 9*b + 41. Let v be y(-5). Does 42 divide (1/(1/205))/((-2)/v)?
False
Let k = 29656 - 20010. Suppose 0 = 14*q - k - 3990. Is 39 a factor of q?
False
Let c(s) = -s - 7. Let u be c(-3). Let p(r) = -12*r + 102. Let b be p(14). Is ((-2)/(-1))/4 + b/u a multiple of 5?
False
Let b be ((-8)/6)/(((-248)/5040)/(-31)). Let l = 1371 + b. Does 9 divide l?
True
Let p be (-10)/(-15)*18/24*4. Suppose -p*b + 375 = -615. Does 29 divide b?
False
Suppose -6*c + 12 = -3*c. Suppose -98 = -6*q + c*q. Suppose -8*f = -7*f - q. Is f a multiple of 27?
False
Suppose 0 = 2*z - 618 - 432. Is z a multiple of 11?
False
Suppose -2*w = -11 + 17. Is -4 + 9 + w - -2 - -25 a multiple of 12?
False
Is 10 a factor of ((-20)/280*-8)/(4/10906)?
False
Let g be (-1486)/(-7) - 12/42. Let v be -4*(-1 + (-106)/(-4)). Let w = g + v. Does 22 divide w?
True
Let q(g) = -3 - 10*g + 7*g - 30*g. Let m = -1918 - -1916. Is q(m) a multiple of 21?
True
Let n(y) = 1501*y + 7569. Is 221 a factor of n(6)?
True
Suppose 0 = -2*t + 8*b - 4*b - 8, 3*b - 16 = -t. Suppose 2*v + 344 = 6*v + 4*l, 3*v + t*l = 260. Is 4 a factor of v?
True
Suppose 0 = -19*i + 18*i + 99. Let c = i + 101. Suppose 8*p - 4*p = c. Does 8 divide p?
False
Suppose 5*g - 17 = -5*s + 3*s, 3*s = 2*g + 16. Let w(m) = -22 - 2*m - 14 + s*m**2 + 23 - 5*m**3 - m**2. Is 17 a factor of w(-3)?
False
Let u = 82 + -59. Let h = 25 - u. Suppose h*l + 0*j = 3*j + 257, -5*l = 4*j - 585. Is l a multiple of 44?
False
Let w(n) = 3*n + 2. Let u be w(0). Suppose 2*l + u*s = 7*l - 49, 4*s = -8. Suppose -l*f = -13*f + 60. Is 15 a factor of f?
True
Let n = 187 - 199. Is 2/(-6 - n)*1401 a multiple of 9?
False
Let t(v) = -5*v**2 + 7*v + 10. Let p(d) = -14*d**2 + 22*d + 31. Let r(q) = -3*p(q) + 8*t(q). Let l be r(8). Let j = l - -42. Is 11 a factor of j?
True
Let j be 2635/(-170)*(-1)/(1/2). Is (69 - 18)/(3/j) a multiple of 20?
False
Suppose 0 = 20*p - 41034 - 280922 + 32196. Does 11 divide p?
False
Suppose -34*p = -5*f - 39*p + 16495, -4*f + 2*p + 13190 = 0. Does 8 divide f?
False
Suppose -155*m + 139941 = 147*m - 89*m. Does 4 divide m?
False
Let x(v) = 33*v + 29*v**2 - v - 66 - 9*v + 3*v - 7*v. Is x(3) a multiple of 36?
True
Suppose -3*g + 20 = 4*c, -3*g = 6*c - 4*c - 4. Suppose 5*f + 4*l = c, 8 = -f + 3*l + l. Suppose -2*a - 2 + 72 = f. Is a a multiple of 7?
True
Suppose 11955 + 261885 = 37*z + 11*z. Is z a multiple of 22?
False
Let p(b) = -b**3 + 16*b**2 - 6*b + 29. Suppose 9*y - 13*y - 83 = -5*j, -2*j = -3*y - 36. Is p(j) a multiple of 11?
False
Let n be (182/13 + -32)*10/(-9). Suppose 15 = -4*r + 3, 5*g + 3*r = 101. Suppose 0 = -g*z + n*z + 82. Does 41 divide z?
True
Let g be -292 - (-3 - -4 - 1). Let b = g - -197. Let y = b + 199. Does 23 divide y?
False
Suppose -10*a - 23304 = -14*a - 5*l, 0 = -4*l. Is 59 a factor of a?
False
Let s be (2 - 0 - -5) + -2. Suppose 5*v + s*m - 6*m - 405 = 0, -405 = -5*v - m. Is v a multiple of 18?
False
Let m = -9 - -9. Suppose 0 = -3*z + 2*v + 53, -4*z - 3*v + m*v + 65 = 0. Is 17 a factor of z?
True
Let i(t) = 3*t**2 + 3*t - 4. Let n be i(-2). Let r be 2*(-10)/(-4) - n. Suppose 3*w = -r*d + 108, -5*w - 3 + 55 = d. Is 6 a factor of d?
False
Let b(d) = 5*d**2 + 81*d + 1011. Does 25 divide b(-36)?
True
Let m(r) = 78*r**2 + 174*r + 10*r**2 - 8 - 182*r. Does 30 divide m(-2)?
True
Suppose -10 = 5*u, -2*u + 58 + 73 = r. Suppose 37*d - 38*d = -r. Is d a multiple of 27?
True
Let o(d) = -d**3 - 8*d**2 - 13*d - 20. Let b(g) be the second derivative of -5*g**3/6 + g**2 + 2