(-58134)/(-15) - 66/(-165). Suppose 120*c + d = 137*c. Is 19 a factor of c?
True
Let g(v) = -v**3 + 10*v**2 + 48*v + 23. Let s be g(14). Suppose -4*w - 196 = o, -5*w + 350 = 3*o + 945. Let j = s - o. Does 43 divide j?
False
Does 25 divide ((-68)/(-238))/((-2)/(-93569)) - (-1 - 7)?
True
Let w(i) = 11*i**2 + 10*i - 9. Let f be w(7). Suppose 25*k - f = 21*k. Is 6 a factor of k?
True
Suppose 7*b = 3*b + 56. Suppose -3*c + 5*c - b = 0. Does 12 divide 12/(-21) - (-438)/c?
False
Let f = 187 - 185. Suppose -f*y = -k + 62, -y = 2*k + y - 130. Is 4 a factor of k?
True
Let v(d) = -9*d**2 + 91*d - 7. Let t be v(10). Suppose -3*k + q + q + 1169 = 0, 4*q = t*k - 1177. Is k a multiple of 9?
True
Suppose -3*u + 2195 = 5*p, 6*u = -p + u + 417. Let q = p + -741. Let b = -171 - q. Is 26 a factor of b?
False
Suppose -f + 8*f + 28 = 0. Let m be f + 3 - (2/(-1) - 3). Suppose -300 = -m*c - 16*c. Is 4 a factor of c?
False
Suppose -3*v - 5 = -y - 0*y, 3*y = -3*v + 15. Suppose 5*r = -y*q, 5*q = -r + 4*r + 8. Is 4 a factor of 478/8 + (6/24)/q?
True
Let z(j) = 457*j**3 + 2*j**2 - j - 4. Let l be z(-2). Let c = 5249 + l. Is c a multiple of 48?
False
Suppose 20 = 2*d + 4*h, 0 = -4*d - 7*h + 2*h + 28. Suppose v = -d*j + 8, -2*j = -3*v + 7*v - 50. Suppose -122 = v*k - 1354. Does 11 divide k?
True
Let v be (2 + 12/(-9))*12. Suppose 0*o + v*o = 1168. Is 7 a factor of o?
False
Suppose 8*q - 48 = -16*q. Does 29 divide 59368/205 - q/(-5)?
True
Suppose 4*p - 18716 = -4*d, -3*d + 5*p - 836 = -14833. Does 6 divide d?
True
Let s(w) = w**2 - 4*w + 185. Let k = -23 + 25. Suppose -b - k = 3, 4*v - b = 5. Is s(v) a multiple of 31?
False
Let z be (((-3)/(-2))/(-3))/(56/(-41440)). Suppose 0 = a + 3*a - 3*k - 482, 3*a - z = -2*k. Is 44 a factor of a?
False
Let u(c) be the third derivative of -c**6/120 - c**5/3 + 8*c**3 - 65*c**2. Is 46 a factor of u(-20)?
False
Let b(s) be the third derivative of 3*s**8/2240 + s**7/2520 + s**6/720 - s**5/6 - s**2. Let n(i) be the third derivative of b(i). Does 7 divide n(-1)?
False
Let i = 6889 - 5740. Does 13 divide i?
False
Let z be (32/(-20))/(-1)*-5 + 3. Let f(u) = -6*u**2 - 18*u + 11. Let a(t) = 2*t**2 + 6*t - 4. Let m(g) = 7*a(g) + 2*f(g). Does 14 divide m(z)?
True
Let b = -38 + 10. Let p = -36 - b. Let q = 43 + p. Is q a multiple of 7?
True
Suppose 3*p + 2 = 3*b + 8, 0 = -p - 3. Is (-10092)/(-28) - ((-60)/28)/b a multiple of 60?
True
Suppose -184 + 1024 = b. Suppose -f + 171 = -4*y, -4*f + 3*y = -b + 208. Is 12 a factor of f?
False
Suppose -43018 = -4*a - 2*i, -9*a + 3*i + 48643 = -48140. Is a a multiple of 7?
False
Let x(f) = 438*f**3 - 2 - 429*f**3 + 8*f**2 - 7*f + 2*f. Is 13 a factor of x(4)?
False
Let t(y) = -y**2 - 21*y - 51. Let h be t(-18). Suppose h*v - 104 = 241. Suppose -v = -p + 10. Is 25 a factor of p?
True
Let p(v) = v**3 + 22*v**2 - 32*v + 5. Does 157 divide p(15)?
True
Suppose -9*x = -69 - 3. Suppose 0 = x*i - 2697 + 993. Is i a multiple of 18?
False
Let t = -122 - -122. Suppose t = -5*c - y + 6958, -2*y = 3*c + 1203 - 5375. Suppose -c = -4*j - 4*j. Is 33 a factor of j?
False
Let z be (-1 - -1)*10/(50/(-5)). Suppose z = -3*m - 2*n + 865, 2*m = -2*n + 636 - 60. Does 17 divide m?
True
Is 13 a factor of ((-56)/(-3))/((-26)/(-1443)) + 4?
True
Suppose 36*q - 33*q + 6*b = 21780, -3*q = 3*b - 21780. Is q a multiple of 15?
True
Let f(b) = b**2 - 7. Let u be f(0). Let p(m) = -m**3 - 6*m**2 + 5*m - 8. Let k be p(u). Suppose -4*x - 64 = -k*x. Is x a multiple of 16?
True
Let x(h) = 154*h**2 - 1. Let a be x(1). Is a - (6/(-3))/(-2) a multiple of 21?
False
Let d = -12 - -16. Suppose c - 2*g - 356 = -d*c, 4*g - 368 = -5*c. Is 36 a factor of c?
True
Let a = -46 + 51. Suppose 30 = a*m - 0*m - h, -4*m - 5*h - 5 = 0. Suppose z - 63 = -m*r, 0 = 4*r - 0*r + 2*z - 54. Does 2 divide r?
True
Let a = 45 - 48. Let t be 0 - a/((-3)/(-472)). Suppose 5*q + 2*k = t, -3*k + 7*k + 372 = 4*q. Is q a multiple of 40?
False
Suppose -760*i = -785*i + 52850. Is 20 a factor of i?
False
Suppose -5*d + 196 = 181. Suppose -2*f - 378 = -d*f. Is f a multiple of 27?
True
Suppose 3*x - 5 = 22. Let f(m) = -7*m**3 - 5*m**2 - 2*m + 2. Let p(b) = -15*b**3 - 11*b**2 - 5*b + 4. Let k(z) = x*f(z) - 4*p(z). Does 34 divide k(-3)?
True
Suppose 98 = -3*j - r, -2*r = -4*j - 0*r - 114. Let f = j + 70. Suppose 44*v - f*v - 365 = 0. Is v a multiple of 18?
False
Suppose -5*c - 4*r + 54525 + 52943 = 0, -4*c + 2*r = -85964. Is c a multiple of 24?
False
Suppose 0*m - 545 = -5*m - t, m = t + 115. Let p = -106 + m. Does 10 divide (-6)/(-4) + 474/p?
True
Suppose -3*q = 5*a - 9, q + 3 - 1 = 0. Suppose 3*z + 835 - 190 = a*s, -z - 645 = -3*s. Suppose -s = -5*r - 2*u, -3*r + 4*r = 3*u + 26. Is r a multiple of 11?
False
Does 33 divide 231/(-99)*3 - 3/(6/(-11206))?
False
Let a(r) = r + 9 + 0 + 9 - 44*r**3 + 43*r**3 - 9*r**2. Let x be a(-9). Let i = x - -278. Does 30 divide i?
False
Suppose 0 = 22*r - 16*r - 24. Suppose 599 = r*b + 5*f, -752 = -5*b - 7*f + 4*f. Does 24 divide b?
False
Suppose 2*q - 8336 = 1752. Is (-14)/63 + (q/(-18))/(-1) a multiple of 35?
True
Let y(w) be the second derivative of -19*w**3/6 - 15*w**2/2 - 30*w. Does 15 divide y(-9)?
False
Let r(y) be the third derivative of 7*y**5/12 - y**4/6 - y**3/6 - 8*y**2 + 6. Is 17 a factor of r(2)?
False
Let p = -5542 - -5803. Does 87 divide p?
True
Let d(u) = -3*u. Let n be d(24). Does 8 divide (-57060)/n*6/5?
False
Suppose 0 = f + 72*f - 23*f - 716200. Is f a multiple of 9?
False
Let w(x) = -37*x - 337. Let k be w(-12). Suppose 13*t - 16*t - 586 = -5*f, f - k = 4*t. Is 17 a factor of f?
True
Suppose -8*d + 19020 = -468. Does 3 divide d?
True
Let m(l) = l - 2. Let w be m(12). Is (-1)/2*w - -45 a multiple of 3?
False
Let b = 10 - 6. Suppose -2*m + y + 7 = b*y, -5*y + 19 = -4*m. Does 22 divide 553/28*4 + 1/m?
False
Is 17 a factor of (-7)/((-21)/(-3594))*-1?
False
Suppose -4*t + 5*o = -66435, 4*t + 3*o = -0*t + 66443. Is 14 a factor of t?
False
Let x(o) = 8*o + 16. Suppose 22 = 2*w - 2*y, 14 = 5*w + y - 23. Let q be x(w). Suppose -53*h - q = -58*h. Does 8 divide h?
True
Suppose 9*q - 4*q - 8260 - 17150 = 0. Is 7 a factor of q?
True
Suppose 6*b + b - 56 = 0. Suppose 91*o - b = 89*o. Suppose -o*j - 3*x = -95 + 7, -5*j + 110 = x. Is j a multiple of 11?
True
Let i = -78 - -114. Suppose 41 - i = 5*s. Suppose -30 = -n - s. Is n a multiple of 4?
False
Let h = 4 - 8. Let p be (-9)/(27/12) + 10. Does 7 divide (((-272)/p)/h)/((-4)/(-6))?
False
Let u be ((-155)/(-2))/((-19)/(-38)). Let b = -97 + u. Does 2 divide b?
True
Suppose t = 6*t + t. Suppose m - 1037 + 64 = t. Is 28 a factor of m?
False
Let c(h) = 506*h - 876. Is c(21) a multiple of 125?
True
Suppose 3*d + 145 - 647 = -2*m, -4*d + m + 673 = 0. Is 24 a factor of d?
True
Suppose 316769 = 38*u + 34324 - 108803. Does 66 divide u?
True
Is (-61)/(1403/(-12926))*(-1 - -6) a multiple of 12?
False
Suppose 0 = -4*y - 2 + 14. Let s be 3/(-3)*y - 0. Is s + (-3)/((2*-2)/52) a multiple of 3?
True
Let r(i) = 1385*i**3 - 9*i**2 + 3*i - 7. Does 38 divide r(2)?
False
Suppose c - 2*f - 1384 = -c, -8 = -2*f. Is 12 a factor of c?
True
Suppose 6*i + 3*g = 4*i + 4438, -5*g - 2206 = -i. Suppose -o = -9*o + i. Is 12 a factor of o?
False
Let g(l) = 265*l - 18. Let r be g(1). Let f = 636 - r. Is f a multiple of 25?
False
Let u(b) = 4*b**2 + 3 - 5*b - 3 - 3 + 0. Let r be u(11). Suppose -4*o + r = -2*o. Is 28 a factor of o?
False
Let j = -15089 - -27078. Is 19 a factor of j?
True
Suppose 0 = 2*g + 3*s - 498, -3*s = 4*g - 5*s - 980. Suppose -3456 = -g*l + 238*l. Is l a multiple of 18?
True
Is 2/(36/1341)*72 a multiple of 12?
True
Suppose 157 = -2*h + 5*k + 1789, 5*k = 0. Let z = h - 465. Is 59 a factor of z?
False
Let r(p) = p**2 - 16*p + 44. Let x be r(13). Suppose -2*i = -4*i + 5*m + 550, -x*i - 2*m = -1317. Is 20 a factor of i?
False
Suppose -39*c = -36*c - 4*b - 8759, -5*c + 14617 = -2*b. Is 117 a factor of c?
True
Suppose 6 = -v, -31*u + 27*u + 8328 = 4*v. Is 29 a factor of u?
True
Let b be (2792/32)/((5/4)/(-5)). Let v = 215 - b. Is v a multiple of 27?
False
Let f(j) = -23*j + 24. Let d be f(-4). Suppose -64 = -5*x + d. Suppose 4*l - x = 588. Is l a multiple of 12?
True
Does 61 divide (-5)/5 - 14*7208/(-7 + -1)?
False
Is 1/((-24994)/4164 + (8 - 2))*-10 a multiple of 12?
True
Suppose 2*y + 1 = -5*j, 4 - 15 = -3*y - 5*j. Suppos