*v - 28 = 4*m. Is 36 a factor of (-13)/(-4 - g/v)?
False
Suppose -23*k + 693 + 10678 = -15194. Is 44 a factor of k?
False
Let s = 1007 - 526. Suppose 5*h + s = 1206. Is h a multiple of 5?
True
Let a = -311 + 330. Suppose 18*b + 779 = a*b. Is b a multiple of 32?
False
Let t = -45902 + 105509. Does 28 divide t?
False
Suppose 19 = -7*v - 191. Does 12 divide -10 - -6 - 8*(v - -4)?
True
Let g(i) = -10*i**3 - 8*i**2 + 2*i - 16. Does 76 divide g(-3)?
False
Let s(x) = -11*x**2 - 5*x - 36. Let d(r) = -r. Let v(g) = -2*d(g) - s(g). Is v(-8) a multiple of 18?
True
Let k(a) = -a**2 + 163*a - 224. Is 14 a factor of k(35)?
True
Suppose 0*y - 5*y = -4*r + 33076, 0 = 5*r + y - 41345. Does 119 divide r?
False
Let l be ((-56)/49)/8 + 736/56. Let r be (-1)/(-4) + (-2)/8. Suppose 3*q + 1 = -3*p + 7, r = -5*q - 4*p + l. Is 2 a factor of q?
False
Suppose -i - 2*z - 506 = 2*i, -312 = 2*i - 5*z. Suppose -3*s = g + 225, g - 3*g + 6 = 0. Let v = s - i. Is 18 a factor of v?
True
Suppose -113*b - 57800 = -123*b + 38590. Is 21 a factor of b?
True
Suppose -43 = j - 5*r, 3*j - 3*r + 61 = -5*r. Let x = 330 - 187. Let o = x + j. Is 30 a factor of o?
True
Let k(y) = -3*y**3 - 11*y**2 + 8*y - 9. Let i(a) = 4*a**3 + 12*a**2 - 7*a + 9. Let d(h) = 4*i(h) + 5*k(h). Let n be d(4). Is 10 a factor of 3/n - 691/(-3)?
True
Let n = -2 - -3. Let z(m) = 3*m**2 + 62*m + 244. Let q be z(-15). Is 21 a factor of q/(33/(-570)) + n/(-1)?
True
Let l(r) = 4*r + 24. Let j be l(-6). Suppose -454 = -j*a - 2*a - u, 0 = 5*a + 3*u - 1137. Does 54 divide a?
False
Let u(f) = -112*f + 3503. Is 26 a factor of u(-26)?
False
Let m(v) be the second derivative of 41*v**3/6 - 27*v**2 + 2*v. Suppose 14 = 5*f - 4*c, -f = -12*c + 9*c + 6. Is 31 a factor of m(f)?
False
Suppose 2*m + 42 + 82 = 0. Let b = m + 57. Does 3 divide (50 + b + 1)*1?
False
Let u(v) = 221*v**3 - 20*v**2 - 7*v + 17. Is u(4) a multiple of 20?
False
Let c be (-3 - 2) + 87 - -3. Let m = c - 72. Let p = m + -3. Is p even?
True
Suppose -71*f - 300 = -73*f. Is (64/20)/(1/f) a multiple of 32?
True
Suppose -5*w = -25*w + 7222 + 12698. Is 2 a factor of w?
True
Let p be -2*105/24 - 3/(-4). Let k(u) = 2*u**2 + 7*u + 6. Let x be k(p). Let h = 69 + x. Does 21 divide h?
True
Let d(x) be the second derivative of 289*x**3/6 - 4*x**2 + 13*x. Let n(g) = -96*g + 3. Let k(y) = -2*d(y) - 7*n(y). Is 21 a factor of k(1)?
False
Let t(w) = -2*w**3 + 17*w**2 - 13*w + 17. Let o be t(7). Suppose o + 433 = 2*v. Does 60 divide v?
False
Let v = -6649 + 7790. Is 45 a factor of v?
False
Let b(y) = -11*y + 38. Let x = -627 + 619. Is 8 a factor of b(x)?
False
Suppose f = -2*m - 36, 5*m = f + 10 + 12. Let p be f - (3 - (1 + 2)). Let c = p + 38. Is c a multiple of 3?
True
Let n = -1611 + 1765. Does 11 divide n?
True
Let h = 57 + -62. Let n be (-3 + 108/20)/(1/h). Does 17 divide (n/(-16)*-4)/(6/(-68))?
True
Suppose 96*o + 113*o - 193215 = 51315. Does 9 divide o?
True
Let m be 18/90 - (-10218)/10. Is 11 a factor of 1*(m/(-42))/((-2)/6)?
False
Is 11 a factor of (-37779455)/(-497) - (0 - -3)?
False
Let h(x) = -129*x**2 + 4*x - 5. Suppose -9 = -5*k + 4*z + 13, 0 = 3*k + 3*z + 3. Let v be h(k). Is 150/(-60) - v/2 a multiple of 33?
False
Let t(a) = 1642*a - 3053. Is t(11) a multiple of 27?
False
Suppose 29*k = 34*k. Suppose -q = -f + 48 + 25, k = -4*f - q + 267. Suppose -5*v = 2*l - 127, -2*l = -2*v - 6 + f. Is 15 a factor of v?
False
Let m(o) be the first derivative of 7*o**2/2 - 40*o - 9. Let u be m(6). Suppose 45 = t + 3*h, 0 = 2*t - 3*t - u*h + 48. Is 18 a factor of t?
True
Let k = -18 + 940. Does 13 divide k?
False
Let f = 18983 - -3837. Is 70 a factor of f?
True
Suppose 0 = -3*l - 4*u + 122872, 73*l - 72*l = -4*u + 40944. Does 308 divide l?
True
Suppose -46181 = -12*a + 24319. Does 163 divide a?
False
Let v(d) be the third derivative of 3*d**5/10 - d**4/6 - 7*d**3/6 - 2*d**2. Let q be ((-4)/(-10))/((-37)/185). Is 17 a factor of v(q)?
False
Let u = 52 + 28. Let i = -73 + 250. Let d = i - u. Does 23 divide d?
False
Suppose -197603 = -38*k + 439201. Is 14 a factor of k?
True
Let k be -5*8/(-20) + 0. Suppose a = 11*a - 90. Does 7 divide (24/a - k)/((-3)/(-54))?
False
Let a(g) = 2*g**2 + 43*g + 27. Let l = -122 + 126. Suppose -2*s = -q + 42, 5*s + 0*q = l*q - 105. Is 2 a factor of a(s)?
True
Let j(t) = -2*t - 109. Suppose -3*n - 3*v + 8*v = 15, -5*n = v - 3. Let s be j(n). Let k = 155 + s. Does 8 divide k?
False
Suppose 5*i + 4*h - 326 = 0, -4*i - h = -6*h - 269. Let v = -42 + i. Suppose -23*x = -20*x - v. Is 7 a factor of x?
False
Suppose 2*m = 4 + 6. Suppose m*x - 8 = x. Let r(k) = 6*k**2 + 2*k - 6. Is r(x) even?
True
Let d(s) = -112*s + 126*s**2 - 1 + 2 + 111*s. Let b be -1*(-1 + 0) + 0. Is 18 a factor of d(b)?
True
Let h(p) = -p**3 + 8*p**2 + 119*p + 3. Let k be h(-9). Suppose -6*t + t + 435 = 0. Suppose k = 6*f - t. Is 7 a factor of f?
False
Let t = -11013 - -13540. Is t a multiple of 43?
False
Suppose 5*h - 5*o = 2918 + 18632, -4330 = -h + 5*o. Is h a multiple of 11?
False
Does 161 divide 1 - ((-7726)/3 + 1) - (-1118)/1677?
True
Let m(s) = s**3 - 11*s**2 + 12*s + 56. Is m(23) a multiple of 20?
True
Suppose -54*r - 1476 = -63*r. Let q = r - -148. Does 6 divide q?
True
Let u = 2482 + -959. Let p = -1000 + u. Is 18 a factor of p?
False
Suppose 0 = 31*y - 32*y - k + 10027, 3*y - 30116 = 4*k. Is 175 a factor of y?
False
Does 274 divide (-2)/(-4) - (-140162)/4 - 6/3?
False
Suppose 5 = -o, 44*b - o = 45*b - 637. Let j = b - 348. Is 5 a factor of j?
False
Let q(l) = l**3 - 10*l + 9. Let i be q(1). Suppose -5*d + 404 + 6 = i. Does 8 divide d?
False
Suppose 0 = -0*i + 2*i + 682. Let a = i - -601. Does 20 divide a?
True
Suppose 27*j + 4*a = 31*j - 25696, 25710 = 4*j + 3*a. Is 27 a factor of j?
True
Let f(m) = m**2 + 12*m - 2. Let l be f(-10). Is 43 a factor of (-2 - (1 - 777))/(-21 - l)?
True
Is 8 a factor of (3/(-3) + (-31394)/33)*-6?
False
Let l(u) = u**3 + 98*u**2 + 122*u + 606. Does 11 divide l(-96)?
True
Suppose 4716 = 3*i + 210. Suppose -8*f + 1034 = -i. Is 19 a factor of f?
False
Is 719*(-240)/(6 + -10) a multiple of 20?
True
Suppose -k - 3*x - 131 = 178, x - 1513 = 5*k. Let i = 134 - k. Is 8 a factor of i?
False
Is (-14 - 395087/(-33)) + (-10)/(-12)*2 a multiple of 20?
True
Let j(g) = 3*g + 27*g - 16 + 5*g - 21 + 11. Suppose 4*d + 3*a - 15 = 0, -d + 2*a = -0*a - 12. Does 46 divide j(d)?
True
Is 36 a factor of 8127/14*24/54*30?
True
Suppose -33 = -4*i - 5. Let o(b) = 5*b**3 - 7*b**2 - 7*b + 15. Let v(x) = -2*x**3 + x**2 - 2. Let r(k) = o(k) + 2*v(k). Is 17 a factor of r(i)?
False
Let j be -239 - 34 - 1*-1. Let g = -96 - j. Is 27 a factor of g?
False
Suppose -156 = -5*h + 59. Suppose -441 = h*i - 46*i. Is 7 a factor of i?
True
Suppose -z + 23*z = 41998. Let u = 3460 - z. Is u a multiple of 47?
True
Suppose 2*k - u = 20, -k - 2 = -5*u - 12. Does 16 divide 1150/12 - k/(-60)?
True
Suppose 0 = -b - 0 - 6. Does 6 divide b - 27/(-5) - 213/(-5)?
True
Let p(j) = -4 - 761*j + 17 + 760*j. Let a be 2 + -10*4/8. Is p(a) even?
True
Let u(y) = -24*y + 33. Let x(r) = 24*r - 35. Let f(d) = -2*u(d) - 3*x(d). Is 35 a factor of f(-21)?
False
Suppose -37*d + 18*d = -44*d + 231600. Is 55 a factor of d?
False
Let z(b) = -b**3 - 5*b**2 + 9*b + 12. Let w be z(-6). Is w/51 + 26264/136 a multiple of 14?
False
Let f be 10 - (-2 - (-7 + 7)). Is (198/f)/(6/96) a multiple of 22?
True
Let u(x) = 80*x**3 - 4*x**2 + 4*x - 7. Let n(a) = -a**3 - 7*a**2 - 12*a + 2. Let v be n(-4). Does 66 divide u(v)?
False
Suppose -181308 = 56*n - 30*n - 55*n. Is 3 a factor of n?
True
Is 7 a factor of -1 + -4 - (21 + -26 + -7287)?
True
Let x = 5942 - 3468. Suppose -10*w + 206 = -x. Let q = w + -183. Is 48 a factor of q?
False
Let s = -288 - -291. Does 82 divide s/(-12) + (-22970)/(-40)?
True
Suppose -2*p + 2 = 4*z, -5 = -5*p + 3*z + 13. Let g(r) = -2*r + 8 + r**3 - 7*r**2 + 0*r**p + 2*r**2 + 0*r**3. Is 14 a factor of g(6)?
False
Let m be 0*4/16 + (-1013 - 5). Is m/(-14) + -2 - (-28)/98 a multiple of 4?
False
Suppose p = 2*z - 31 - 61, 0 = 2*z - 2*p - 96. Let v = z - -53. Is v a multiple of 4?
False
Let b(a) = -6*a**2 + 14*a - 20. Let z be b(7). Does 6 divide (-756)/162*z/14?
True
Let a = -4265 + 4847. Is a a multiple of 12?
False
Suppose -2*d + 275 = -d. Let s = d + -181. Suppose -u = -z - 0*u + s, 0 = -5*z - u + 500. Is 11 a facto