Suppose -5*g + 4*u = -371 - 194, -j*g = 3*u - 312. Is 16 a factor of g?
False
Let x = -223 + 517. Suppose -1206 = -4*h - x. Does 33 divide h?
False
Let k(j) = -202*j - 9. Let u be k(-11). Suppose 0 = -4*d + c + u, c - 5 = 6*c. Let r = -295 + d. Is 43 a factor of r?
True
Let j = -49 - -94. Let k be 54/j*(-20)/6 - -6. Suppose -904 = -6*f + k*f. Is 28 a factor of f?
False
Suppose -2*t = -5*y + 145277, -2 = 37*t - 35*t. Does 38 divide y?
False
Suppose 74*k - 4232 = 70*k. Let b = 1530 - k. Does 16 divide b?
False
Let t(w) = w**3 + 11*w**2 - 13*w - 22. Let h be t(-12). Let g be (24/h)/(5 - (-485)/(-100)). Let y = g - -78. Is y a multiple of 13?
False
Let n = -14 - -65. Let r = 61 - n. Suppose 6*f + 800 = r*f. Is 16 a factor of f?
False
Let y(r) = 2*r**2 + 50*r - 705. Is 95 a factor of y(39)?
False
Let m = 55507 + -37731. Is m a multiple of 8?
True
Suppose -15*u = -18*u + 201. Let h = 53 + u. Is 5 a factor of h?
True
Suppose 21*h = -9*h - 86*h + 1395132. Does 45 divide h?
False
Is 122 a factor of 10 + (43 + -305)/(4/(-118))?
False
Let b = 87 - 89. Let q = 38 + b. Does 2 divide q?
True
Suppose 3*s = -6, 4*c - 531 = 3*c - 4*s. Let r be 50/8 - (10 - 8)/8. Suppose -r*x = -13*x + c. Is x a multiple of 18?
False
Suppose -18*q = -32*q + 210. Suppose 43*x = q*x + 10080. Is x a multiple of 45?
True
Let s = 1075 - 644. Let f = s - 282. Is f a multiple of 34?
False
Suppose -225 = 10*a + 665. Let f = a - -672. Does 21 divide f?
False
Let x(k) = -4*k**2 + 15*k - 1. Let f be x(4). Let b be -1 + 82 - (f + 6). Is (-686)/(-8) - 60/b a multiple of 17?
True
Let i(c) = c**3 - 69. Let h be i(0). Let o = h + 73. Let v = 28 + o. Is v a multiple of 32?
True
Let y(s) = -311*s + 12085. Is y(33) a multiple of 41?
False
Suppose -2 = p, -i = -4*i - 4*p - 1313. Let q = 448 + i. Is q a multiple of 13?
True
Suppose -16483*h = -16489*h + 22380. Does 10 divide h?
True
Let f = -1486 + 2296. Let c = -541 + f. Is c a multiple of 49?
False
Suppose -12*c - 32 = -16*c. Suppose -l - 2*z = 2, -c = -l - 4*l - z. Suppose 0 = -l*m - 4*v + 130, m + 4*v - 57 - 6 = 0. Is m a multiple of 7?
False
Let d be (-5 + 0)/5 - (-190)/(-2). Let a = d + 94. Is 13 a factor of (a + (-20)/(-7))*(3 + 39)?
False
Suppose -266*g - 145894 + 2194918 = 198*g. Does 64 divide g?
True
Suppose 5*n - 3 = -3. Suppose -4*q + n = -8. Does 11 divide (-202)/(-6) - 4/(-24)*q?
False
Let w = -197 - -387. Suppose 0 = -4*o + 450 + w. Does 8 divide o/100*1*10?
True
Let g(w) = 10*w - 125. Let b be g(12). Is 42 a factor of (18/b)/((-21)/315)?
False
Let w = 3037 + 9220. Does 13 divide w?
False
Let u(d) = -11 + 4*d - 12 - 4 - 2 + 34. Let h = 2 + -2. Is u(h) a multiple of 3?
False
Let y be ((-40)/18)/((-2)/45). Suppose y*d = 44*d + 1728. Does 8 divide d?
True
Let v(t) be the second derivative of 63*t**4/4 + 11*t**3/6 + t**2/2 - 10*t. Is 35 a factor of v(-2)?
True
Suppose 3*u + 18*v - 24*v = 62640, -2*v + 62696 = 3*u. Is u a multiple of 62?
True
Let i(h) = -841*h - 2535. Is 15 a factor of i(-45)?
True
Is 144 a factor of (42 + 0)*(11 + 13340/140)?
True
Let z(q) = 5325*q + 11322. Does 54 divide z(12)?
True
Let s = -5022 + 10095. Is 134 a factor of s?
False
Let s(v) = -12*v + 7. Let i(b) = -5*b + 4. Let m(o) = -10*i(o) + 6*s(o). Let c(t) = 64*t - 5. Let l(w) = 4*c(w) + 11*m(w). Does 10 divide l(2)?
True
Let u(a) = -14*a - 20. Let v be u(-1). Is (76 + 2)/(v - -4 - -4) a multiple of 13?
True
Suppose -2*w + 345 = 30*q - 29*q, 3*w + 2*q - 515 = 0. Suppose -6*d = -2*d + 380. Let h = w + d. Is 10 a factor of h?
True
Let n be (-4)/20*-4*1870/(-4). Let m = 1114 + n. Is 37 a factor of m?
True
Let f(j) be the first derivative of -11*j**2 - 257. Is 10 a factor of f(-5)?
True
Does 14 divide (945/(-10))/((-54)/5688)?
True
Let j(t) = t**2 + 14*t + 6. Let q be j(14). Suppose -3*m + q = -370. Suppose w = -3*a - w + 191, 4*a = -2*w + m. Is 20 a factor of a?
False
Let h(c) = -1264*c + 1826. Is 8 a factor of h(-4)?
False
Let h(x) = x**2 + 5*x - 9. Suppose 2*t = 2*c + 14, 12 = 3*t - 2*c - 5. Suppose 5*k - 20 = -t*y, 8*k - 3*k - 2*y - 20 = 0. Does 4 divide h(k)?
False
Suppose -4*v = 4*s - 25895 - 9749, 0 = 4*s - 2*v - 35662. Does 29 divide s?
False
Let w = -2873 - -4830. Is w a multiple of 12?
False
Suppose -s - 8 = -4, 4*s = -3*h + 74. Is 3 a factor of h?
True
Suppose -2*m = -15*m - 78. Does 17 divide (35 - -16)/(3/(-24)*m)?
True
Suppose -2*h + 5*h - 28890 = 0. Is h a multiple of 107?
True
Let l = -11655 + 26490. Is 69 a factor of l?
True
Let y be 94*579/21 + (-6)/(-21). Suppose 1032 = -5*w + y. Is 26 a factor of w?
True
Suppose 16*a - 17693 - 47882 + 12631 = 0. Is 4 a factor of a?
False
Let p = 4031 + -2605. Is p a multiple of 4?
False
Let g be 2*2*(-10 + 11). Suppose -5*l + 0*r - g*r + 36 = 0, 5*r = 4*l + 4. Suppose x - 2*x - 4*o = -66, -l*x - 2*o = -222. Is 6 a factor of x?
True
Let u be 558*(-2)/21*-7. Let h = u + 80. Is 24 a factor of h?
False
Suppose 23*d - 1223056 = 1042456 - 369254. Is d a multiple of 363?
False
Suppose v = -0*v, -r + v - 5*v = -17242. Is 59 a factor of r?
False
Let m be (2 + -9 + -2)*3. Let g = m + 21. Is ((-51)/g - -1)*2 a multiple of 2?
False
Let z be (22/(-5))/(10/(-25)). Let k(v) = 14 + 6*v - 42 + 3*v + 5*v. Does 18 divide k(z)?
True
Suppose 2*c + 12 = 3*a, 2*c = 4*a + 7*c - 16. Suppose 3 = a*i + 15. Is 6 a factor of 4*(225/(-20))/i?
False
Suppose 13*s - 3782 = 11*s - 4*v, -2*s = -2*v - 3794. Suppose -9*y = -14*y + s. Does 39 divide y?
False
Let n(u) = 202*u**2 + 517*u - 12. Is 22 a factor of n(6)?
True
Suppose -13 - 62 = -5*j. Suppose 0 = -h + 5*u - j, 0*h - 4*u = 3*h - 50. Is 6/h + (-1820)/(-50) a multiple of 10?
False
Let t(s) = s**3 - 4*s**2 - 8*s - 27. Let n be t(-5). Let c = 74 - n. Is c a multiple of 5?
False
Let k(b) = -3*b**3 - 179*b**2 - 95*b - 493. Is 11 a factor of k(-60)?
False
Let a = 70 - 106. Let j = -33 - a. Suppose 2*s - 4*s = 3*b - 356, 350 = j*b + 5*s. Is 24 a factor of b?
True
Let f = -157 + 178. Suppose -116 = -4*q + 4*v, v = -19*q + 18*q + f. Is q even?
False
Let c(s) = 5*s + 21. Let v be c(-5). Let y be 1*-1*v/((-24)/(-210)). Is 9/15 + y/25 - -114 a multiple of 29?
True
Let p(w) = w**3 - 13*w**2 - w + 33. Let s be p(13). Suppose s*q - 363 = 19*q. Is q a multiple of 33?
True
Suppose 0 = 5*x + 25, 0 = 2*m - 4*m - 3*x + 831. Suppose 0 = 34*p - 12017 + m. Is 11 a factor of p?
True
Suppose 515097 = 67*o + 398658 - 504249. Does 36 divide o?
False
Let r(m) = 250*m - 1244. Is 18 a factor of r(8)?
True
Does 40 divide (-1089068)/(-54) - 1848/(-24948)?
False
Let k be ((-88)/(-20) - 4)*5. Let j be (-12)/(-24)*(0 + 692)/k. Suppose 0 = -l - 1, 4*t - 270 - j = 3*l. Is 10 a factor of t?
True
Let s(q) be the third derivative of 19*q**5/60 + 5*q**4/24 + 5*q**3/3 + 15*q**2. Is 42 a factor of s(-4)?
True
Let w = -591 + 2175. Is 16 a factor of w?
True
Suppose 0 = -3*t + 3*n + 6 + 6, -2*t + 3*n + 12 = 0. Does 3 divide (-33)/264 - (t - 1394/16)?
True
Does 179 divide 12/(-9) - (-10851185)/285?
False
Let b be (0 - -1) + (8 - 3) + 1. Let w(x) = 4 + 0*x**2 + 0*x**2 - 168*x + 158*x - 3*x**2 + x**3. Is 26 a factor of w(b)?
True
Let l(y) = 9*y - 16. Let w be l(3). Suppose w*o = 5*o + 954. Suppose -9 = -2*m + o. Is m a multiple of 21?
True
Let w(s) = s**3 - 65*s**2 + 365*s + 77. Is w(61) a multiple of 6?
True
Let l(m) = 3*m**2 + 2*m + 1. Let a be l(-1). Let s(v) = v**3 - 2*v**2 - 3*v + 4. Let p be s(a). Is (-27 - -20)/((p/2)/1) even?
False
Suppose 0 = 2*j - 8, -7*j - 3828 = -4*u - 4*j. Let x be u*9/((-135)/(-6)). Suppose n = 4*n - x. Is 32 a factor of n?
True
Let g = -131 - -133. Is 28 a factor of (5190/10)/(1 + g)?
False
Suppose 5*d + 1 = 11. Suppose 3*s - 2130 = -d*s. Is 9 a factor of s?
False
Suppose -4*t - t + 2*t = 0. Suppose t = -53*u + 45*u + 2320. Is u a multiple of 21?
False
Does 16 divide 17/(-17) - (-2556 + -2 + -1)?
False
Let x = -20 + 58. Suppose -h = 8*y - 3*y + 13, 23 = 4*h - 5*y. Suppose h*k = -x + 128. Is 15 a factor of k?
True
Suppose -209*p + 216*p = 17269. Is 48 a factor of p?
False
Let j(q) = 5*q - 12. Let z(u) = u**3 - 4*u**2 - 6*u + 8. Let f be z(5). Let h be j(f). Suppose 0 = h*v + 3*c - 42, 4*v = 3*v - 2*c + 19. Does 3 divide v?
True
Suppose 31724 = -2307*u + 2321*u. Is 88 a factor of u?
False
Let a(g) = g**3 - 28*g**2 - 201*g + 167. Is a(40) a multiple of 101?
False
Suppose 214 - 182 = -4*i. Is (3495/(-60))/(2