of 186?
False
Let y(h) = -h**3 + 10*h**2 - 8*h + 19. Let i be y(9). Let n = -22 + i. Let q(o) = 10*o. Is 20 a factor of q(n)?
True
Suppose -4*o - 10988 = -3*c, c - 3740 + 103 = 5*o. Is c a multiple of 34?
True
Suppose -373297 - 299561 - 155032 = -70*t. Is t a multiple of 149?
False
Suppose -23*i = 252641 - 910579. Does 10 divide i?
False
Let w be (1 + -1*19)*(-18)/27. Suppose -7*r = -w*r + 15. Suppose -r*a = -a - 146. Is 25 a factor of a?
False
Let t(i) = -6 + i + 8*i**2 - 2*i**3 - 10*i**2 + 10*i**2 + i**3. Let r be t(8). Suppose -5*y + 4*g = -438, 2*y - r*g = -9 + 183. Is y a multiple of 18?
True
Let q be ((-2)/(-4) - 0)*(3517 - 55). Suppose -23*g + 4870 + q = 0. Is g a multiple of 46?
False
Is ((-753298)/(-21))/(98/147) a multiple of 13?
True
Let q be ((-300)/18)/(-10)*(2 + -5). Is 57681/145 - 1/q a multiple of 10?
False
Suppose -3*n - 12 = -24. Suppose -n*k + 202 = -62. Is k even?
True
Let f(d) = 2951*d - 13868. Does 37 divide f(20)?
False
Let n(m) = -10*m**2 + 8*m + 7. Let q be n(-2). Does 15 divide 1112 + (14/q)/((-1)/(-7))?
True
Let x = -58 + 65. Suppose -d = -x + 3. Suppose -d*f + 206 + 314 = 0. Is 28 a factor of f?
False
Suppose -4*b + 9*b - 38 = 4*k, -2*b + 4*k = -20. Suppose 5*t - 89 = b*t. Let i = 107 + t. Is i a multiple of 9?
True
Let d = 333 - -2392. Is 168 a factor of d?
False
Let u = 134 - 148. Is (79/(-3) - (-2)/(-12))*u a multiple of 42?
False
Let b be -3*(-2)/21 + (-120)/(-70). Suppose -4*c + 3*n = 5*n - 244, 0 = b*n - 8. Is 9 a factor of c?
False
Suppose 4*g + 117 = -127. Let a be g + (-15)/(-3) + 0. Let y = 134 + a. Is y a multiple of 6?
True
Suppose 357*z + 91 = 370*z. Suppose 0 = -z*p + 2860 + 815. Is 8 a factor of p?
False
Let s(d) = -d**3 + 17*d**2 - 25*d - 15. Suppose 0 = -3*f - 585 + 624. Is 28 a factor of s(f)?
True
Let x = -45 + 50. Suppose -x*t + 5*m - 2*m - 3 = 0, 4*t + 3*m - 3 = 0. Is 10/((-4)/(-10) - t) even?
False
Suppose i + 3 = 0, -2*s + 4*i + 6 = -12. Suppose -5*n + 770 = -5*d, -4*n + s*d - d + 608 = 0. Does 15 divide n?
True
Let g(w) = 25*w + 980. Let v be g(0). Suppose -70*b = -77*b + v. Is b a multiple of 16?
False
Let n = -823 + 853. Suppose n*u - 68652 = -6*u. Does 15 divide u?
False
Let z be ((-12)/(-9))/((-3)/((-12474)/6)). Suppose -23*u + 30*u = z. Is u a multiple of 3?
True
Let m(n) = 2*n**3 + 4*n**2 - 6*n + 2. Let l be m(-3). Suppose 0 = -l*c + 288 + 678. Does 15 divide c?
False
Let m(w) = 519*w**2 - 19*w - 120. Does 7 divide m(4)?
False
Let a be -9 - (1 - -4 - 14). Let x(m) = m**3 + 4*m**2 + 2*m - 1. Let z be x(-3). Suppose -z*c + 40 + 36 = a. Is c a multiple of 10?
False
Let s(w) = w - 1. Let v be s(21). Is ((-390)/4)/((-15)/v) a multiple of 7?
False
Is 2/(23/((-1814079)/(-6))) a multiple of 61?
True
Suppose 3*v + 6 = 3*m, -v - 4*v + 10 = 5*m. Let i(t) = t**3 + t**2 + t + 15. Let o be i(0). Suppose o = 3*g, -3*c + 445 = 7*g - m*g. Is c a multiple of 28?
True
Let t be 6 + 3/(12/(-4)). Suppose 0 = -n - 3*p + 4*p + 46, -229 = -4*n - t*p. Let j = 158 - n. Is j a multiple of 30?
False
Let d(q) be the first derivative of q**4/4 - 14*q**3/3 + 17*q**2/2 + 27*q - 202. Is d(15) a multiple of 21?
False
Suppose -4*u - 5*m + 43 = 0, 3*u + 7*m - 31 = 2*m. Suppose -2*k + 4*k - u = 0. Suppose -2*o = -k*o + 428. Is 16 a factor of o?
False
Let h be (-2 - -4) + -6 + 2709. Let f be h/15 + (-4)/12. Suppose -4*i - f = -5*y - i, -2*y + 72 = 3*i. Is 36 a factor of y?
True
Let y = -76 - -123. Suppose -8*i = -255 + y. Does 5 divide i?
False
Suppose 0 = 2*l + 3*l. Suppose -2*v + l*u - 5*u = -314, v - 157 = u. Let m = 245 - v. Is 22 a factor of m?
True
Suppose 38*w + 34 = 37*w. Let o = w + 137. Is o a multiple of 13?
False
Let b(g) = 385*g + 463. Is 122 a factor of b(10)?
False
Is 379 a factor of 3/(6/74662) + (42 + -12 - 24)?
False
Let l be (3 - 2)*67 - 6/(-3). Suppose -l = -3*f - 3*k, 4*f - 4*k = -55 + 155. Let g = 23 + f. Does 12 divide g?
False
Let h = 18829 + -11372. Does 4 divide h?
False
Let p be 0 - (-6 + -1151) - -3. Let d = p - 764. Does 44 divide d?
True
Suppose -4*h + 40480 = 4*s, -98*h = -5*s - 99*h + 50632. Is s a multiple of 76?
False
Let u be (-423)/(-6)*2/(-3). Let j = u - -49. Is 4 - j - (-8 + -2) a multiple of 6?
True
Suppose 0*h = -x - 2*h - 7, -h - 63 = 4*x. Does 35 divide (-48 - x)*14/(-2)?
False
Is 46120 - (3*(28/(-6) - -5))/(-1) a multiple of 116?
False
Let m be (4 + (2 - 347))/(1 - 2). Let h(f) = -6*f + 36. Let j be h(6). Suppose -11*q = -j*q - m. Does 9 divide q?
False
Let b = -123 + 75. Let f be 6*-41*1/(-3). Let j = f + b. Is 8 a factor of j?
False
Is 6 a factor of (-17)/(-68)*2*(833 + 1)?
False
Let i(q) = -14231*q - 32. Is 49 a factor of i(-1)?
False
Let n(j) = 109*j**2 + 50*j - 330. Is 57 a factor of n(9)?
True
Let l(j) = -5*j + 8. Let n be l(2). Is -1 + (-1 - 0) - (n + -47) a multiple of 17?
False
Let h be 1770/7 + -15 + 792/56. Suppose 3*j - 101 - 208 = 0. Suppose g + h = 3*w, w + g - j = -15. Is 18 a factor of w?
False
Let k be (-44)/(-550) - 34396/(-50). Suppose 4*n + 4*h = k, -4*h - 244 - 404 = -4*n. Is n a multiple of 5?
False
Suppose 5*g + 0*w = -w - 310, 3*g = -2*w - 193. Let b = -15 - g. Does 12 divide b?
False
Suppose -11*c + 8*c + 12 = 0, 3*k - 55 = -c. Suppose -22*j = -k*j - 690. Is 6 a factor of j?
True
Let k(l) = -l - 23. Let n be k(-19). Let v be ((-16)/n)/(-4)*0*-1. Suppose v = -7*r + 9*r - 86. Does 9 divide r?
False
Is (-60)/1620 - (-2604477)/81 a multiple of 26?
False
Suppose -4*m - 258 = -3*q + 222, -3*q - 4*m = -480. Suppose 4*p = 8*p - q. Is (p/16)/(2/20) a multiple of 5?
True
Suppose -8*v = -u - 6*v + 1568, 3*u + v - 4704 = 0. Is 14 a factor of (6/7)/(8/u)?
True
Let z be 24/(-16) + (-11)/(-2). Suppose 3*n + h = -1, -15 = -3*n + z*h - h. Let w(f) = 63*f**3 - 2*f**2 - 2*f + 3. Is w(n) a multiple of 9?
False
Let h(v) = -v**2 - 5*v + 53. Let k be h(-10). Suppose -b = 0, -36 - 18 = -k*g + 2*b. Is g a multiple of 3?
True
Let y = -51 + 1. Let h = 72 + y. Suppose -4*n + 374 + h = 0. Is n a multiple of 11?
True
Let u = -2325 - -1561. Is 51 a factor of 2/(-6)*-3 + (0 - u)?
True
Suppose 263252 = 120*u + 73*u. Is u a multiple of 4?
True
Suppose 0 = -4*g + 2*f + 18318, 13739 = -9*g + 12*g - 2*f. Does 4 divide g?
False
Suppose 3*q - 6761 = 4*v, -21*q + 8*q - 3*v + 29379 = 0. Is 8 a factor of q?
False
Let r(h) = h**2 - h - 2. Let n be r(-2). Suppose -n*u - 70 = 6*u. Does 17 divide (-2)/u - (-19944)/168?
True
Suppose -3173 = -5*o - c + 1100, -4*c = -12. Is o a multiple of 5?
False
Let l be 1 + (1 - (-12)/6). Suppose 8*t - 560 = 4*t + l*p, -3*t = 3*p - 396. Is 6 a factor of t?
False
Let r(d) = 167*d**2 - 7*d - 20. Is r(-2) a multiple of 20?
False
Let f(b) = -17*b - 145. Let i be f(-12). Let k = i + 84. Does 13 divide k?
True
Let n = -282 - -282. Suppose -960 = -4*b + 5*z, -3*z = 3*b - n*z - 720. Is b a multiple of 16?
True
Suppose -65*o + 152*o - 75*o - 106392 = 0. Is 26 a factor of o?
True
Let a be ((-9)/(-27))/((-2)/(-6)) - -1. Is 12 a factor of a + -6 - 7/(-7)*136?
True
Let l be (-3 - 1) + 1*15. Suppose 59 + l = y. Suppose -s + 47 = -y. Is 13 a factor of s?
True
Let k = -6788 + 10067. Is 21 a factor of k?
False
Let s(i) = 14*i - 187. Let d = -42 - -57. Is 2 a factor of s(d)?
False
Does 78 divide (81/45 + -7)/(-4 + 123352/30840)?
True
Let j(g) = -30*g - 16. Let t be j(-6). Let x be (3 + t/(-6))/(1/(-3)). Suppose 17 = -4*q + x. Is 2 a factor of q?
True
Suppose 0 = -50*h + 43*h + 42. Suppose 4*y + b = h*y - 1963, 3*y - b = 2944. Is 13 a factor of y?
False
Suppose -20640 = -5*j + 5*f, -13022 = -3*j + 5*f - 642. Does 118 divide j?
True
Suppose 0 = -2*s + r + 7, -2*r = -2*s + 5 + 5. Suppose -6 = -3*c, -s*f + 2*c = 2*f - 20. Suppose -10*o + 276 = -f*o. Is o a multiple of 10?
False
Let c = 423 - 896. Let d = c - -1109. Is d a multiple of 12?
True
Let q = 31390 + -25279. Does 63 divide q?
True
Let g be (-2)/((-5)/3 - 5/(-5)). Suppose 5*h - 769 = 7*l - g*l, 5*h - l = 781. Let k = h - 67. Is 18 a factor of k?
True
Let b(l) = l**2 - 6*l - 2. Let p be b(7). Suppose -p*j = 5*c - 15, 5*c - j = -0 + 9. Suppose -3*z - 2*u + 0*u + 84 = 0, -5*z + 140 = c*u. Is 7 a factor of z?
True
Suppose 8*m - 6*m - 47392 = 6*i, -5*i + 23728 = m. Does 57 divide m?
False
Suppose 5*s - 13*s + 121068 = -9140. Is 15 a factor of s?
False
Let y = 13449 - 3992. Is y a multiple of 52?
False
Let k(n) = 15*n - 43. Suppose -