. Is 38 a factor of g?
False
Let m(l) = l**3 - 8*l**2 - 2*l + 51. Let c be m(9). Let j = c + 292. Does 29 divide j?
True
Suppose -b + 2*m = -2648, -b - 5*m - 5291 = -3*b. Suppose 2382 = 14*d - b. Does 15 divide d?
True
Let n(u) = -5*u - 13. Suppose 12*t - 51 + 279 = 0. Let l be n(t). Let c = -50 + l. Is c a multiple of 3?
False
Let y be 47/2*(55 + -15). Suppose -3*u = -y + 334. Let j = 370 - u. Does 14 divide j?
True
Suppose 12*i - 95 = 7*i. Suppose 3*c - 2*q - i = 0, -5*q + q + 12 = 4*c. Does 5 divide c?
True
Let t = -17727 + 21069. Does 4 divide t?
False
Let l = 5665 + -4392. Does 67 divide l?
True
Suppose k - 16 = -2*s - 3*s, 8 = s + 5*k. Let r(t) = -20*t + 102. Is r(s) a multiple of 42?
True
Suppose -3*i + 12*i = -49*i + 192386. Does 23 divide i?
False
Let q = 26673 + -24284. Is q a multiple of 4?
False
Suppose 3813529 = 340*f - 339231. Does 6 divide f?
False
Let o = 49 - 49. Suppose 2*y + 0*y + 3*f - 412 = o, -3*y = 5*f - 620. Does 25 divide y?
True
Suppose 140*i = 1705705 + 1736615. Is i a multiple of 135?
False
Let v = 19167 + -10635. Does 36 divide v?
True
Suppose -4*z - 12*n + 19896 = -10*n, -5*n - 4941 = -z. Is z a multiple of 41?
False
Let k(i) = 2*i**3 - 85*i**2 - 50*i + 250. Let r be k(43). Let o(x) = 4*x**3 - 2*x**2 + 3. Let u be o(3). Let h = u + r. Is h a multiple of 2?
True
Does 9 divide -45*(-19)/95 - -5380?
False
Let z = 4 + -20. Does 9 divide 14 + ((-15)/(-4) - 4/z)?
True
Let p(n) = -n**3 - 18*n**2 + 8*n + 23. Let q be p(-13). Let y = -531 - q. Is y a multiple of 5?
True
Does 17 divide -13 + 5 - (-11936 + -60)?
False
Suppose 31*j - 6 = 28*j. Suppose -58 = j*c - 3*c. Suppose h - 25 - 18 = 5*z, -c = -2*h - 4*z. Is 7 a factor of h?
False
Suppose -3*i - 2 = y, -3*y + 3 = -i - y. Does 18 divide -1 - i - 316/6*-3?
False
Let c(v) = v**3 + 47*v**2 + 99*v - 223. Is c(-43) a multiple of 54?
True
Let p = -1933 - -1042. Let m = 1341 + p. Does 10 divide m?
True
Let i be 16/((-64)/(-14))*42. Suppose 4*k - 2*z = 400, 3*k + 0*z + z - 290 = 0. Let f = i - k. Does 7 divide f?
True
Let s(c) = -c**3 + 8*c**2 - 7. Let a be s(8). Is (-8)/(-56) + (-783)/a a multiple of 16?
True
Let v(z) = 1541*z - 324. Is 121 a factor of v(5)?
True
Suppose 20*j - 10914 + 2448 - 9674 = 0. Does 6 divide j?
False
Let n be (33/22*1)/((-3)/(-56)). Is n*(57/6 + -5) a multiple of 3?
True
Let m be (5/(-4))/(549/(-108) - -5). Is 6 a factor of (-1035)/6*(-12)/m?
True
Is ((-30)/75)/(6169/(-24660) + 4/16) even?
True
Let i(z) = -8*z**2 + 90*z + 5. Let l be i(11). Suppose 0 = 5*h - 0*h + 20, -4*p + 152 = 4*h. Let a = p - l. Is a a multiple of 9?
False
Suppose 5*j - 6*j + 3 = 0. Suppose r + 0*r - 4*f - 540 = 0, j*r + 2*f - 1620 = 0. Suppose -o + r = 8*o. Is o a multiple of 15?
True
Let p = -64 - -60. Is 29 a factor of ((-15022)/37)/(p/6)?
True
Suppose 12*c + 9364 = -7016. Does 19 divide (-3)/(c/224 + 6)?
False
Let p(w) = w**2 - 2*w. Let k(d) = -2*d**2 + 3*d. Let r(y) = 3*k(y) + 5*p(y). Let o be r(4). Does 14 divide -5*(44/o - -2)*14?
True
Let f = 293 + -290. Suppose -2*k + 40 = 3*d, -4*k + 8 + 42 = f*d. Is d a multiple of 10?
True
Suppose 0 = 23*h - 39*h + 5984. Suppose 4 = -2*k, 0 = -5*s - k + 3*k + h. Does 67 divide s?
False
Is 20 a factor of (((-11200)/15)/(-8))/((-6)/(-801))?
True
Let n(f) = -1371*f + 5256. Does 148 divide n(-21)?
False
Suppose 11*k + 3 = 3. Let l be 45/(-75) + k + (-26)/(-10). Let o(n) = 29*n**3 - 4*n**2 + n + 2. Is 43 a factor of o(l)?
False
Let w(t) = t**3 - 208*t - 2 + 223*t + 0 - 21 + 20*t**2. Does 16 divide w(-19)?
False
Suppose 4*g - 16 = 0, 39973 = 5*f - 8*g + 5*g. Suppose -25*i + 1228 = -f. Does 9 divide i?
True
Let q = 1 + 15. Suppose 4*f + 0 = -q. Is (-1 + -5 + 0)*(f - 1) a multiple of 15?
True
Let i(m) = -m**3 + 26*m**2 + 4*m + 20. Let f be i(27). Let h = -323 - f. Is 42 a factor of h?
False
Let r(n) = -3*n - 33. Let g be r(-14). Suppose g*z - 382 - 3659 = 0. Let d = z + -255. Is 20 a factor of d?
False
Suppose -3*a + 3*t + 8577 = 0, 4*a - 5*t - 4207 = 7230. Does 14 divide a?
False
Suppose 3*m - 2*t = 11410, -6405 = -4*m + 4*t + 8803. Is m a multiple of 22?
True
Suppose 0 = 2*z + b + 27, -3*z - 3*b + 13 = 55. Let w(y) be the first derivative of 2*y**3/3 + 15*y**2/2 - 7*y + 3. Is 34 a factor of w(z)?
True
Is 7 a factor of 19 - 2 - (-457 + -10668)?
False
Let d = -85 + 30. Let x = -53 - d. Suppose a = -x*c + 69, -a - 63 = -2*a - 5*c. Is a a multiple of 17?
False
Suppose 0 = 59*f - 56133 - 114554. Does 9 divide f?
False
Is (-23 + 1683423/108)/(1/4) a multiple of 13?
True
Suppose -5*u + 90 = 5*k, -126 = -9*k + 4*k + 4*u. Is k a multiple of 22?
True
Let k = -36 - -99. Let b be ((-1)/7 + 9/k)/(-2). Suppose 3*r - 3*w + 9 - 336 = 0, 2*w = b. Is r a multiple of 11?
False
Let m = 9645 + -8399. Does 89 divide m?
True
Let z(c) be the first derivative of -1725*c**4/4 - c**3/3 + 3*c**2/2 + 4*c - 19. Let x be z(-2). Does 26 divide ((-1)/(-2))/1 - x/(-76)?
True
Suppose 2*o + 3*d - 19074 = 0, -3*d - 38166 = 509*o - 513*o. Does 62 divide o?
False
Let v = -25429 - -52857. Does 31 divide v?
False
Let j = 2449 - 2411. Does 2 divide j?
True
Suppose -5*r + 353 = -4*t, -5*t - 440 = -3*r - 2*r. Let w = t + 88. Is 126 - 0/(w/(-1)) a multiple of 10?
False
Let x(m) = 2200*m**3 + 5*m**2 - 29*m + 33. Is 108 a factor of x(2)?
False
Suppose 22 - 7 = 5*g. Let s(m) = 6*m**3 + 7*m**2 + 6*m + 12. Let j(u) = 5*u**3 + 6*u**2 + 5*u + 11. Let n(v) = -7*j(v) + 6*s(v). Is 8 a factor of n(g)?
False
Suppose 64 = -m + 394. Suppose 0 = 2*f + 2*s - 220, 6*f + m = 9*f - 5*s. Is 6 a factor of f?
False
Suppose -10*q + 1620 = 2*q. Suppose -126*b = -111*b - q. Is b a multiple of 3?
True
Let j(x) = -x**2 - 9*x + 4. Let k be j(-10). Let w(n) = n**3 + 15*n**2 + 4*n - 10. Let b be w(k). Let u = 488 - b. Does 22 divide u?
True
Let n = -137 + 155. Suppose -12*h + 900 = n*h. Is 5 a factor of h?
True
Let r = 12487 - 12594. Suppose 2*n + 4*m = 236 + 278, 1285 = 5*n + 2*m. Let k = r + n. Is k a multiple of 50?
True
Let f(k) = k**3 - 114*k**2 - 109*k - 1587. Is f(117) a multiple of 11?
False
Let f(r) = 1736*r**2 - 172*r + 170. Does 219 divide f(1)?
False
Let w = -19 - -21. Let m be -2 + (w - -3 - 1). Does 4 divide 1*m/13 - 308/(-26)?
True
Let q(b) = b**3 - 31*b**2 - 58*b - 2. Does 39 divide q(34)?
False
Let t be (60352/(-72) - -11) + 4/18. Let m = -527 - t. Is 30 a factor of m?
True
Let l = 167 - 162. Suppose -l*j + 1715 = 5*g, 6*g + 1715 = 11*g - 4*j. Is 7 a factor of g?
True
Let v = -7 - 3. Let p(g) be the first derivative of -g**2 - 12*g - 24. Does 5 divide p(v)?
False
Suppose -5*y - 756*o + 760*o = -23346, 3*y - 14040 = -3*o. Is y a multiple of 4?
False
Let x = 393 + -375. Suppose -816 = -x*w + 14*w. Is w a multiple of 4?
True
Let b(f) = -2539*f - 138. Does 26 divide b(-2)?
True
Suppose 4*i - 3*y + 63 - 171 = 0, -94 = -3*i - y. Suppose c - 4*b = i, -5*c + 3*c + 4*b = -64. Is 8 a factor of c?
False
Let b(w) = w**3 - 7*w**2 - 17*w - 9. Let i be b(9). Suppose -11*r + 22 = -i*r. Is r - 196/(-8)*6 a multiple of 46?
False
Let v(s) = 2*s**3 + 25*s**2 - 31*s + 44. Is v(-12) a multiple of 8?
True
Suppose -u - 54 = -0*v + v, 5*u = 4*v - 288. Let m = u + 125. Let d = m + -31. Does 11 divide d?
False
Let g = 6168 - 3412. Is 14 a factor of g?
False
Suppose 20 = -32*l + 84. Is 5 a factor of (7518/6)/7 - l?
False
Let r(u) = -94*u - 211. Is 2 a factor of r(-5)?
False
Is 24 a factor of (184/10 - 82/205)*(-20154)/(-12)?
False
Suppose 5*n - 1132 = -m, 7*n = 2*n + 3*m + 1144. Suppose -y = -n - 663. Suppose -2*s + 5*s - 667 = 2*t, -3*t = -4*s + y. Is s a multiple of 15?
False
Suppose u = -10 + 14, 5*u - 125765 = -5*m. Does 55 divide m?
False
Let o = 2397 + -777. Is o a multiple of 20?
True
Let h be (6/(-16 + 4))/(1/(-5188)). Suppose -11*g - h = -12494. Is 18 a factor of g?
True
Suppose 2*p + 16 = 4*m, 3*p = 14*m - 11*m - 9. Let v(x) = 3*x**3 + 3*x**2 - 6*x - 2. Does 22 divide v(m)?
True
Let s(z) = z**3 + 91*z**2 - 468*z + 197. Does 236 divide s(-90)?
False
Suppose 4*x + 2*m - 35702 = 0, 11986 + 5876 = 2*x - 10*m. Is 35 a factor of x?
False
Suppose -24323 = -6*h + 8437. Does 70 divide h?
True
Let c be (-3)/3 - (0 - 175). Let s = c - 162. Does 8 divide s?
False
Suppose -4*n = 4, -4*n + 8930 = 4*a + 934. Suppose -2*h - 2*q + 65 = -1959, -4*q - a = -2*h. Does 9 divide h?
True
Suppose d + 0 = 3*r - 12, 2*d - 5*r = -19. Suppo