*3 + 7*x**2 + 10*x - 10. Is 3 a factor of r(t)?
True
Let g(p) = -p**3 + 11*p**2 - 5*p - 5. Suppose 22 = 4*n - 10. Suppose -10*j + 20 = -n*j. Does 9 divide g(j)?
True
Suppose -718*a + 2*k = -715*a - 59060, -6*a + 118096 = 2*k. Is 33 a factor of a?
False
Does 79 divide (-1379014)/(-49) - (5 + 615/(-105))?
False
Let x = -42 - 27. Let p = 95 + x. Is p a multiple of 8?
False
Does 7 divide ((-2583)/164)/(15/(-3680))?
True
Suppose 17*f - 27 = 8*f. Suppose -4*x = -9*x + 2*o + 17, 5*o - 35 = -f*x. Is 3 a factor of x?
False
Suppose -5*s + 319 = -b, b + 291 + 27 = 4*s. Let m = 444 + b. Does 2 divide m?
True
Let t = 92 + -92. Suppose t = -y - 5*y + 198. Suppose 5*f - y = -h, -3*f - 3*h + 5*h = -25. Is f a multiple of 6?
False
Let b(i) = -939*i - 172. Is 56 a factor of b(-4)?
True
Is 3 a factor of (0 - -1)/((-6 + 7)/(1829 + -8))?
True
Let m(y) = -6*y**3 + 9*y**2 - 5*y - 8. Let r be m(4). Let o = r - -300. Is o a multiple of 10?
False
Suppose 132*f - 2808 = 128*f. Is f a multiple of 34?
False
Let q be 30/12 + 14/4 + -3. Suppose -3*y + 0*y + 861 = q*b, -y = -5*b + 1441. Is 32 a factor of b?
True
Let p be (-15 + (-1)/(-1))/(1/30). Let n be -9*(p/(-9))/(-7). Suppose 5*t + 56 = 3*c - 124, 2*t - n = -c. Is c a multiple of 20?
True
Let i = 1287 - 1313. Suppose -2*m + 36 = -4*m. Let o = m - i. Is o a multiple of 2?
True
Suppose 4*z - 2341 = -5*q, 5*z + 48*q - 51*q = 2954. Is z a multiple of 23?
False
Let d(w) = 3*w + 8. Let f(s) = -s**2 - 18*s - 1. Let t be f(-18). Let g be d(t). Suppose 0 = x + g*h - 147, 0 = 3*x - x + 5*h - 299. Is 38 a factor of x?
True
Suppose 3*f - 351 = -y, 589 = 3*f + 2*f + 3*y. Let t(r) = -r**3 - 16*r**2 - 66*r - 704. Let n be t(-15). Let i = f - n. Does 33 divide i?
False
Let d(c) = -2*c**3 - c**2 + 4*c + 1. Let j be d(-2). Suppose -4*y + j*v + 434 = -72, -y + 127 = -v. Is y a multiple of 30?
False
Let r(p) be the first derivative of 2*p**2 + 25*p - 5. Let f be 10/25 - (-288)/30. Is 17 a factor of r(f)?
False
Let b = 5372 + -2177. Does 20 divide b?
False
Suppose -25 = 5*u, 7*q - 8*q + 2*u + 14138 = 0. Is 13 a factor of q?
False
Let s be ((-9)/(-3))/(15/35) + -3. Suppose 0*j - j + s*j = 0. Let m = 35 + j. Does 7 divide m?
True
Let i = 2 - -171. Let o = 397 + i. Is o a multiple of 10?
True
Let w(y) = 3*y**2 - 22*y + 13. Suppose -237 = -30*c + 273. Does 46 divide w(c)?
True
Let r(k) = -221*k - 43. Let m be r(-4). Does 76 divide m + 5/(-5)*5?
True
Is 23 a factor of ((-9074)/(-39))/(1*-1 - (-3924)/3888)?
False
Let v = 4 + -11. Let x(l) = -2*l - 5. Let o be x(v). Suppose -80 = -2*u - o*i + 4*i, 30 = u + 5*i. Is 9 a factor of u?
False
Let u = -19571 + 30141. Is 56 a factor of u?
False
Let f(z) be the first derivative of -113*z**4/4 - 2*z**3/3 + z**2/2 + 2*z + 2. Let u be 10/(-115) + 126/(-138). Is f(u) a multiple of 28?
True
Let h(t) = -t**3 + 22*t**2 - 2*t + 42. Let p be h(22). Let d be p/(-2)*1*4. Suppose -2*s - d*k + 212 = 0, s - 6*k - 91 = -3*k. Does 10 divide s?
True
Let m(q) = 492*q**2 - 23*q - 49. Is 14 a factor of m(-2)?
False
Let j = -3 - -7. Let m = -11644 - -12416. Suppose 3*g + 58 = j*n + 535, 5*g = -n + m. Is g a multiple of 11?
False
Does 135 divide ((-279)/(-27) + -11)*-12561?
False
Let h(c) = -c**3 + 12*c**2 - c + 17. Let t be h(12). Suppose 4*f + 11 = -t, 2*s + 2*f = 942. Is 9 a factor of s?
False
Suppose -47*n - 324 - 52 = 0. Does 4 divide n/2 + 234 + 23?
False
Let m(p) = 2*p**3 + 241*p**2 - 165*p - 418. Does 49 divide m(-120)?
False
Suppose 2*s - 5*o = 15498, -234*s + 238*s - 31020 = 4*o. Is s a multiple of 45?
False
Suppose 15*f - 757 = -j + 12*f, -5*j = 5*f - 3815. Is j a multiple of 31?
False
Let l(g) be the second derivative of -g**3/2 - 11*g**2 - 124*g. Is l(-17) a multiple of 2?
False
Suppose 0 = -4*p + 38 + 18. Let q = -29 + p. Is (-18)/(-4)*(-10)/q even?
False
Suppose -208751 = -25*c + 152774. Is 37 a factor of c?
False
Suppose 72*o + 15805 = 104580 + 16489. Does 9 divide o?
False
Suppose 2*a - 2460 = -w, 0 = 71*w - 72*w + 5*a + 2495. Does 10 divide w?
True
Let n(d) = 32*d + 2914. Does 5 divide n(-72)?
True
Let h(r) = -649*r**3 + 18*r**2 + 5*r + 2. Does 47 divide h(-3)?
True
Let d = -35 - -43. Let u be 12/d + 570/(-4) + 1. Is 9 a factor of (26/4)/((-10)/u)?
False
Suppose 4*x + 0*x + 202 = 3*b, 25 = 5*x. Suppose -2*j + 1106 - 1092 = 0, -o = -2*j + 21. Let d = b + o. Is 6 a factor of d?
False
Suppose 4*i + 163 = 5*f, 2*f + 2*f - 5*i = 134. Suppose 137 + f = -3*q. Let d = 8 - q. Is 5 a factor of d?
False
Let b be (10*4)/(-2)*(-696)/5. Suppose 21*q = -3*q + b. Does 58 divide q?
True
Suppose 8*m - 4*m + 8 = 0. Suppose 3*t - 5*g + 9 = 0, 2*t + 6*g - 7 = 5*g. Is m*(t + -10 + 2) a multiple of 5?
False
Suppose -s + 56 = -72. Let l = -10 + s. Does 19 divide l?
False
Let m = -983 + 1018. Let q be (8/6)/((-2)/(-6)). Suppose -5 = -j - 4*n + m, -q*j + 140 = -4*n. Is 25 a factor of j?
False
Let j(d) = 11*d + 16. Let q be j(-1). Suppose -5*h = -q*f + 1160, 0 = 3*f + 2*h - 285 - 406. Does 11 divide f?
True
Let v(x) = 67*x + 24. Let d(s) = 71*s + 25. Let q(o) = 4*d(o) - 5*v(o). Is 41 a factor of q(-3)?
False
Let i(t) = t**3 + 66*t**2 + 15*t + 218. Is 21 a factor of i(-62)?
False
Let d(l) = -l**3 + 19*l**2 + 20*l + 14. Let i be d(20). Let j = i + 24. Suppose -4*z - 3*f + 81 = 0, -j = -2*z - f - f. Does 7 divide z?
False
Let v(n) be the third derivative of 27*n**4/8 + 9*n**3 - 78*n**2. Is v(6) a multiple of 12?
True
Let w be 1 - -11 - (-5 - (-7 - -5)). Suppose -3*a + 6 = 3*d, -2*a + w - 2 = 5*d. Suppose -5*y = d*n - 128 - 105, -2 = -2*n. Is 8 a factor of y?
False
Let d(q) = -q**3 + 16*q**2 + 5*q - 20. Let g(t) = 2*t + 29. Let c be g(-12). Suppose 2*l + c*y = 47, 0*l - 20 = -2*l + 4*y. Is 12 a factor of d(l)?
True
Suppose 337 = -6*o - 113. Does 35 divide 81147/275 - (-6)/o?
False
Suppose -213082 = -4*z - f, 0 = -4*z + 4*f + 33206 + 179866. Is 13 a factor of z?
False
Is 6 a factor of (-53)/(((-96)/480)/((-12)/(-5)))?
True
Let s(t) = 12*t**2 + 14*t - 66. Is s(-14) a multiple of 38?
True
Let o be 2/(-4*4/(-32)). Suppose -138 - 382 = 3*k - 5*y, o*k = y - 665. Let u = -60 - k. Does 21 divide u?
True
Let d = -1414 + 3369. Suppose -3*x + 4901 = 65*o - 60*o, 2*o - d = -3*x. Does 44 divide o?
False
Let b = 32784 + -18305. Is b a multiple of 89?
False
Suppose 2*m - 4136 = -3*g, 27*g - 28*g + 4140 = 2*m. Does 19 divide m?
True
Suppose -3*q - 4*v = 307, 3*q + 520 = -2*q - 5*v. Let t = q + 208. Let n = t - -31. Is 26 a factor of n?
True
Suppose -x + 1212 = 2*w, -4*x + 5*w + 2395 = -2414. Is 3 a factor of x?
True
Suppose -8 = -2*z + h, -5*z + 3*h + 25 - 4 = 0. Suppose 4*x - 5*f = -101, -z*x - 80 + 5 = -3*f. Let o = 24 - x. Is o a multiple of 8?
True
Let f(d) be the first derivative of d**4/4 + 8*d**3/3 - 3*d**2 - 9*d + 9. Let q be f(-7). Suppose 258 - q = 8*j. Does 22 divide j?
True
Suppose 4399 + 8345 = j. Is 12 a factor of j?
True
Let u = -4699 - -11901. Is 11 a factor of u?
False
Suppose 112*i - 188940 = 65*i. Is i a multiple of 20?
True
Let j(a) be the second derivative of -3*a**3 - 1/12*a**4 + 0 + 0*a**2 + 36*a. Is j(-8) a multiple of 16?
True
Let a(v) = -20*v - 9. Let k(t) = t. Let y = -1 + 7. Let m(n) = y*k(n) + a(n). Is m(-2) a multiple of 4?
False
Let b be 3*(-3)/15*(-9390)/18. Let k = b + -122. Does 9 divide k?
False
Is (-1)/2 + -9*371172/(-72) a multiple of 57?
False
Suppose 5*b + 3188 = 4*l, -5*l + b = -l - 3188. Let p = -399 + l. Is 11 a factor of p/8 - (-13)/52?
False
Let u(j) = 20305*j**3 - 5*j**2 + 36*j - 35. Is u(1) a multiple of 67?
True
Suppose 6*t + 5*u = 4*t + 13, -4*t = 4*u - 20. Does 11 divide t/(-9) - 218720/(-288)?
True
Suppose -321*o - 3492 = -4*v - 325*o, o - 3 = 0. Is 30 a factor of v?
True
Let d be ((-1)/(-2))/(0 - (-1)/8). Is 3314/9 - d/18 a multiple of 21?
False
Suppose 17 = 2*o + j, 4*o - 2*j = 7 + 39. Suppose -11*q + o*q + 2 = 0. Suppose -223 = -q*h - 49. Is h a multiple of 29?
True
Let a(g) be the second derivative of 59*g**4/12 + g**3/6 - 7*g**2/2 + 8*g. Is 21 a factor of a(2)?
True
Let a = -92 + 95. Is ((-323)/a)/((-39)/117) a multiple of 17?
True
Suppose 0 = 2*n + 50*a - 55*a - 16930, n = -4*a + 8478. Does 14 divide n?
True
Let y = 21 - 11. Suppose y*s = 13*s - 270. Suppose -38*k + 33*k + s = 0. Does 9 divide k?
True
Let p(z) = z**3 - 7*z**2 - 16*z - 13. Let q be p(9). Is (-9)/45 - (-2701)/q a multiple of 45?
Tr