 + 9 = 0, 0 = 2*z + 2*u - 36. Let d be z/(-5)*(-1)/((-6)/(-56)). Let h = 33 - d. Is 2 a factor of h?
False
Let s(y) = -3*y + 156. Let h = -588 - -626. Is 2 a factor of s(h)?
True
Let c = 40 + -92. Let w = 48 + c. Is -30*w/16*16 a multiple of 30?
True
Suppose -70*b + 87*b - 24599 = 0. Does 31 divide b?
False
Let b = -48 + 47. Let k be 66/b - (0 - 4). Let g = -22 - k. Is g a multiple of 20?
True
Let q = 3794 - 2774. Is 60 a factor of q?
True
Suppose -51*i + 56*i + 2*p - 43521 = 0, -5*i = -4*p - 43473. Does 7 divide i?
True
Let c be 284/11 + (-10)/(-55). Let a(i) = 46*i - c - 12 + 8. Is 15 a factor of a(4)?
False
Suppose 4*r - 3*j - 4 = 3, -3*r - j + 15 = 0. Suppose r*z + n = 1261, -930 = -5*z + 5*n + 640. Does 35 divide z?
True
Suppose -416279 = 223*k - 270*k. Is k a multiple of 20?
False
Does 10 divide 8697240/180*(-2)/(-12)?
False
Let i(z) be the third derivative of 17*z**6/360 + z**5/30 + z**4/6 + 38*z**2. Let c(x) be the second derivative of i(x). Does 10 divide c(1)?
False
Suppose 0 = -2*y - q - 222, -12*q + 15*q = 12. Let u = 417 + y. Does 8 divide u?
True
Let p = 311 + 173. Suppose -18*o + 29*o - p = 0. Is 44 a factor of o?
True
Suppose -1041 = -2*m + 163. Let b = 1010 - m. Is 12 a factor of b?
True
Suppose 3*t - 35638 = -2*r, -10*t = -8*t + 2*r - 23758. Is 45 a factor of t?
True
Let d be ((-1 - -2)*9)/(11/33). Does 9 divide -116*(d/6 + -5)?
False
Suppose -9*t + 79248 + 14325 = 0. Does 32 divide t?
False
Let v(b) = -16*b + 7*b**2 + 174 + 187 - 249. Is v(8) a multiple of 7?
False
Suppose -19 - 75 = -47*g. Does 10 divide (81/(-405))/((4/(-5630))/g)?
False
Let l(k) = k**2 + 59*k + 272. Let s be l(-5). Suppose 130*d - 128*d + 118 = 4*j, -s*j - 5*d + 77 = 0. Is 31 a factor of j?
True
Does 4 divide (-3342763)/(-354) + -2*1/(-12)?
False
Suppose 2*m + 203 - 555 = 0. Suppose 416*r = 415*r + m. Is r a multiple of 8?
True
Is 59 a factor of (16990/15)/((-130)/15 - -6 - -3)?
False
Let w be 6/(-4)*(-32)/24. Let u(h) be the third derivative of 9*h**5/20 - h**4/8 - h**3/3 - 2*h**2. Is 25 a factor of u(w)?
True
Let k(s) = -s**2 - s + 62. Let g be k(-8). Does 5 divide 31952/304 - (-3)/((-171)/g)?
True
Let s be 6 - 7*(-32)/(-56). Suppose -5*u - s*l + 1605 = 0, u + 5*l - 86 = 212. Does 43 divide u?
False
Let k(d) = 154*d - 3346. Does 14 divide k(32)?
True
Suppose -13 - 5 = -9*a. Suppose -274 = -2*t + 3*l, -l - 2*l + 286 = a*t. Is t a multiple of 28?
True
Suppose 2187 = -5*a - 4*r, 3*a = 6*a + 2*r + 1313. Let i = a - -808. Does 33 divide i?
False
Let t(x) = -11*x - 9*x**2 + 51 - 11 - 4*x + 3*x**3 + 11*x. Is 32 a factor of t(6)?
False
Let g(u) = 2*u**2 - 42*u - 51. Let p(a) = -3*a**2 + 63*a + 77. Let s(d) = -8*g(d) - 5*p(d). Is 3 a factor of s(16)?
False
Suppose 4*s - 5*a + 0*a = -32, 4*a - 22 = 2*s. Let p(j) = -11*j**2 - 40*j - 1. Is p(s) even?
True
Is 2 a factor of 6119 + 216 + 1*15?
True
Suppose 445499 - 22483 = 88*h. Is 23 a factor of h?
True
Suppose -155*t + 175*t - 22780 = 0. Let v = t + 145. Does 12 divide v?
True
Suppose 5*l + 3*y = -143, 0*y = l + 5*y + 33. Let u = 16 - l. Is u a multiple of 4?
True
Let r(j) = j**3 - 6*j**2 + 3*j - 14. Let z be r(6). Suppose f = -3*x + 7 + 17, -f - 39 = -z*x. Suppose -4*w + x*w - 180 = 0. Is 18 a factor of w?
True
Let r(k) = 3*k**3 - k**2 + 2*k. Suppose 13*b = 14*b - 1. Suppose 5*x + q = -5 + 20, -2*x = -q + b. Is 8 a factor of r(x)?
True
Suppose 270 - 348 = 6*b. Is (-8752)/(-18) - b/(819/(-14)) a multiple of 8?
False
Let f be ((-3)/1)/((-87)/58). Suppose -o = -5*g - 332, -928 = f*o - 5*o - 2*g. Does 12 divide o?
True
Suppose 0 = 6*m - 12. Suppose 0 = o + 5*u - 14, -7*o = -m*o - 2*u - 178. Suppose 3*v - 2*l + 8 = o, 0 = v - 5*l. Is 5 a factor of v?
True
Suppose -33*i + 42*i - 18 = 0. Is 8 a factor of (2 - (-2)/i) + 141?
True
Suppose 5*m = -0*m + 4*t + 26438, 2*m - 10574 = 2*t. Is 46 a factor of m?
True
Let p = -39 + -369. Let i = p - -493. Is 7 a factor of i?
False
Let o(a) be the second derivative of -a**6/120 + a**5/30 - a**4/2 + 2*a. Let b(l) be the third derivative of o(l). Is b(-16) a multiple of 10?
True
Let x(r) be the first derivative of r**4/12 + r**3/3 + r**2 - 4*r + 11. Let w(o) be the first derivative of x(o). Does 10 divide w(6)?
True
Let d(u) = 93*u**2 + 17*u + 34. Is 87 a factor of d(5)?
False
Let p = -61 - -37. Let v be p + 23 + 1 + 0 + 79. Suppose -2*g + 100 = -4*t, 115 = 4*g - 5*t - v. Is 11 a factor of g?
False
Suppose 5*x + 4*n + 4 = 0, -x - 5*n - 5 = -2*x. Let a(v) = v**3 - v + 4. Let p be a(x). Suppose -12 = -4*s, -5*o + 222 = -2*o - p*s. Is o a multiple of 16?
False
Suppose -26 - 26 = -13*h. Suppose v = h*r + 356, 3*v - 631 - 445 = 4*r. Does 15 divide v?
True
Let w(f) = -3*f - 99 + 2*f**2 + 48 - 107 + 0*f**2. Does 4 divide w(-10)?
True
Let f = 58670 + -28844. Does 25 divide f?
False
Let s be (-43 - (-1 - -1))*(-17 + 18). Let d = -143 - s. Let z = 192 + d. Is 23 a factor of z?
True
Suppose 608 = 4*f - 5*t - 107, 2*f - 355 = 5*t. Does 3 divide f?
True
Let o be 6/4*40/(-15). Let l(m) be the third derivative of -37*m**4/24 + 2*m**3 + 2*m**2 - 100. Is 10 a factor of l(o)?
True
Let c = 19586 + 2333. Is c a multiple of 31?
False
Let c(j) = j**3 + 6*j**2 - j + 6. Let i be c(-7). Let d = 116 - i. Suppose 3*h - d = 145. Is 29 a factor of h?
False
Let i(d) = -d**3 + 8*d**2 + 67*d + 451. Is i(-10) a multiple of 115?
False
Let j be -222*((-4)/(-6))/((-4)/3). Suppose 84 + j = c. Is c a multiple of 13?
True
Let p be 3/(-2) + 1/(-2) + 0. Let d be (50 + p)/3*1/2. Suppose -273 = d*s - 11*s. Is s a multiple of 13?
True
Let h(i) = -4*i**3 - 4*i**2 + 3*i + 87. Is h(-7) a multiple of 6?
True
Let q = 2051 - -11819. Is q a multiple of 72?
False
Let k be -10*(4 + (-340)/(-25)). Let b = k + 274. Does 7 divide b?
True
Suppose r + 2*r = 4*s + 34, -3*s = 2*r. Suppose 7*y = -5*w + r*y + 100, 34 = w + 3*y. Is 2 a factor of w?
False
Let r(a) = -a**3 + 12*a**2 + 25*a - 2. Let t be r(10). Let h(c) = c**3 - 2*c**2 + 7. Let b be h(0). Suppose 196 = b*x - t. Is x a multiple of 17?
False
Suppose -2*x = 2*j - 2, -5*j - x + 5 = x. Let m(u) = 49*u**2 - 2*u + 13. Let d(w) = -24*w**2 + w - 7. Let i(b) = 11*d(b) + 6*m(b). Is i(j) a multiple of 10?
True
Let c = -9671 + 11997. Is 23 a factor of c?
False
Let l = -216 + 220. Suppose 2*t = l*p - 1060, 6*t + 1056 = 4*p + 5*t. Is p a multiple of 15?
False
Suppose 14*q = 17*q - 56316. Suppose 9*y - q = -17*y. Is 38 a factor of y?
True
Suppose 65*u = 36851 + 49014. Is 30 a factor of u?
False
Is 46 a factor of 6 - ((-16978)/4 - 36/72)?
False
Suppose 2*a + 2*r - 8048 = 0, -4*a - 8392 = -r - 24468. Is 72 a factor of a?
False
Let b(w) be the first derivative of -2*w**3/3 - 7*w**2/2 + 7*w + 17. Let p be b(-4). Let k(n) = 9*n - 7. Does 4 divide k(p)?
True
Let q(n) = -607*n**2 - 4*n + 1219*n**2 + 1 - 606*n**2 + n**3. Let g = 11 - 16. Is q(g) a multiple of 9?
False
Let x(g) = 3086*g**2 - 90*g + 197. Is 47 a factor of x(4)?
False
Let n(j) = -16*j + 18. Let q be n(-20). Let s = 76 - q. Does 4 divide 4/(-6) + s/(-6)*1?
False
Let w(g) = -473*g**3 - 20*g**2 + g - 1. Is w(-2) a multiple of 20?
False
Suppose 31 + 2093 = 3*w. Let s = w + -356. Is s a multiple of 22?
True
Suppose 8*k = 4*k, -h - 1190 = -3*k. Is 3 a factor of h/(-8) - 32/(-128)?
False
Suppose 5*w + 5*w - 20 = 0. Suppose -d - 11 = -0*o - 3*o, 0 = -4*o + w*d + 14. Suppose 792 = o*q + 3*c, 0 = 2*q + q + 2*c - 593. Is q a multiple of 39?
True
Suppose 5*y + 1544 = 2*d, -10*y = -d - 9*y + 769. Does 9 divide d?
False
Let u(y) be the first derivative of -y**3/3 - 9*y**2 - 31*y - 18. Let v be u(-15). Suppose 4*z + 42 + v = 2*o, -3*o + 124 = 2*z. Is o a multiple of 25?
False
Is 14524*1/1 + (-189)/(-22 + 49) a multiple of 25?
False
Is 70 a factor of (-3921)/((-12)/18 - 2/(-4))?
False
Let c = 3 - 0. Let n be 4680/(-18)*((-14)/10 + 1). Suppose l + 3*v - n = 0, -l + c*v + 128 = -0*v. Is 31 a factor of l?
False
Suppose -3*x = -6*x - 1184 + 13064. Is 110 a factor of x?
True
Suppose 30*u - 27*u - 12 = 0. Suppose y - q - 3*q = 173, u*q - 652 = -4*y. Is y a multiple of 21?
False
Let i(r) = 2118*r - 2371. Is i(7) a multiple of 53?
True
Suppose 275*g + 33451 = 2*p + 276*g, 5*p = -5*g + 83635. Is 13 a factor of p?
False
Let g(f) = -f + 15. Let j be g(11). Suppose 6*o + j = -2. Let a(b) = -39*b**3 + 2*b**2 - 3*b - 4. Is a(o) a multiple of 5?
True
Suppose 23*u - 2259