Is 75 a factor of g(6)?
False
Let h(k) = 168*k**2 - 2*k - 2. Let s be h(-2). Suppose 97 = 3*f - s. Is f a multiple of 30?
False
Suppose 5*d = -2*k + 826, 4*d - 399 = -k + 5*d. Suppose 3*g - k = 128. Does 23 divide g?
False
Suppose 3*z - 4*r = 6*z - 1181, 4*z + 3*r = 1570. Is 27 a factor of z?
False
Suppose 0 = -2*c - 4*i + 6, 2*c - 2*i + 7 - 25 = 0. Is 26 a factor of (13/2)/(c/140)?
True
Let a = 2497 - 1215. Does 35 divide a?
False
Let t = -69 - -73. Is 13 a factor of (-22 - -16)/(t/(-14))?
False
Let p(x) = 2*x**2 + 19*x + 27. Let g(j) = -j**3 - 16*j**2 + 17*j - 19. Let c be g(-17). Let r be p(c). Suppose k + 3*k = r. Is k a multiple of 22?
False
Let q(w) = -2*w**2 + w - 1. Let z be q(1). Suppose 0 = 2*o + 55 - 81. Let x = o - z. Does 4 divide x?
False
Let v be -1 + -1 - 70/(-14). Suppose -t - 2*t = 5*m - 285, v*t = -3*m + 177. Is 7 a factor of m?
False
Let k(w) = -2*w**3 + 3*w**2 - 3*w + 2. Does 5 divide k(-4)?
True
Let n = 1 - -1. Let g be 2/(-4)*(-12)/n. Suppose -g*j + 54 = 9. Is 15 a factor of j?
True
Is ((-9)/(-4))/(847/(-88) - -10) a multiple of 2?
True
Suppose -15*f - 38272 = -47*f. Is 52 a factor of f?
True
Let h = 294 + -195. Is h a multiple of 11?
True
Let p = 2 + 3. Is 10 a factor of (-3)/(-3*p/300)?
True
Suppose -5697 = -40*a + 37*a. Does 25 divide a?
False
Let d(v) = -31*v. Let p be d(-3). Suppose k - p = -2*k. Is k a multiple of 8?
False
Let b = 2018 + -1401. Does 13 divide b?
False
Suppose 0 = -0*x + 4*x - 668. Suppose -6*o = -x - 385. Does 23 divide o?
True
Suppose -5*h - 2 = -6*h. Suppose 0 = -4*i + 34 + h. Suppose -3*j = -2*m + 15, j = -5*m + m + i. Is 3 a factor of m?
True
Suppose 5*f - 18 = -z, 4*z - 3*f - 13 = 59. Suppose -4*h = -z - 154. Let v = h + -34. Is 9 a factor of v?
True
Suppose 4*q - 879 - 257 = 0. Is q a multiple of 4?
True
Let t = 6 + 3. Suppose -3*y - t = 0, -i - 6 = 2*y - 0. Suppose 0 = -c - i + 2. Is 2 a factor of c?
True
Let d(a) = -11*a + 180. Does 18 divide d(0)?
True
Let w = 39 - 37. Suppose -a - 3*i = -0*i - 103, w*i + 454 = 4*a. Is 16 a factor of a?
True
Let y(x) = -241*x - 167. Is 54 a factor of y(-11)?
True
Let q(t) = 735*t**2 + 4*t - 1. Is q(1) a multiple of 18?
True
Suppose 33*n + 3320 = 35231. Is 16 a factor of n?
False
Let n(t) = 3*t - 14. Let x be n(6). Suppose -2*j - 3*c = -24, -x = c - 0. Is j a multiple of 6?
True
Suppose -9 = -3*z - 3. Let m = 14 + 55. Suppose n = z*n - m. Is n a multiple of 23?
True
Let i = 9 + -4. Suppose -i = -c - 3. Suppose q - c*f + 3*f = 23, -5*q = -f - 145. Does 7 divide q?
True
Suppose 0 = -2*i + 649 - 199. Is 9 a factor of i?
True
Is 8 a factor of -92*(-11)/22 + 2/1?
True
Let n = -11 + 14. Let g be -8*n/3 - -1. Does 22 divide (8 + g)/((-2)/(-142))?
False
Let y(a) = -15. Let d(f) = -f. Let p(i) = 3*d(i) + y(i). Let w be p(-6). Suppose 3*z + 3*u = 5*u + 95, 0 = -w*z + 4*u + 97. Is 7 a factor of z?
False
Suppose -s + 2656 = -2*v, -2*v - 7594 = -2*s - 2278. Is 14 a factor of s?
True
Let k(a) = -a**2 + 8*a - 7. Let h be k(5). Let u(i) = i**2 - 5*i - 1. Let j be u(h). Let z = j + -5. Does 18 divide z?
True
Let u = -5 - -2. Let c(s) be the third derivative of -s**6/60 + s**5/15 + s**4/8 - s**3/2 - 14*s**2. Does 26 divide c(u)?
True
Let h(a) = -a**2 - 1. Let d be h(-2). Let f = 146 - 205. Is 12 a factor of f/d - 3/(-15)?
True
Let j = 518 - 43. Is j a multiple of 19?
True
Suppose 5*x + 3*a + 0*a = 59, a = -2. Suppose -x*n = -8*n + 190. Let d = n + 74. Is d a multiple of 9?
True
Let a(r) = r**3 + 19*r**2 + 20*r + 21. Let q be 3/(-2)*(-8 - -20). Let v be a(q). Let n = 5 - v. Does 10 divide n?
True
Suppose 4 = 33*d - 31*d. Does 11 divide 1*3/d + 147/2?
False
Suppose 140 = -4*f + 9*f. Let o = f - 17. Is o a multiple of 4?
False
Let r(g) = -10*g + 8. Let v = -15 - -8. Let o be r(v). Suppose 0 = -5*h + o + 17. Is 6 a factor of h?
False
Let q be (-6)/7*(-4 + 11). Does 12 divide q/(18/(-75)) + 0?
False
Let n(a) = -a**3 + 11*a**2 - a + 13. Let w be n(11). Suppose -w = 2*m - 56. Is m a multiple of 8?
False
Is 5 - 0 - (-47 - (-12 - -4)) a multiple of 11?
True
Let w = 161 + -83. Is 5 a factor of w?
False
Suppose -3*t - 2*t = 20. Let q = -2 - t. Suppose -q*n = n - 12. Is 2 a factor of n?
True
Suppose 0 = -7*l + 1342 + 5896. Does 22 divide l?
True
Suppose -2*k + 3 = -5*l + 2, 3*l + 9 = 4*k. Suppose -79 = -4*b - 3*u, -b + 18 = -u - 7. Suppose -b = -3*g + 5*f, -g + 17 - 5 = k*f. Is g a multiple of 3?
True
Let g be (1 + 1)*(-1665)/(-18). Suppose -5*w + 0*w + g = 0. Let r = w - -59. Does 24 divide r?
True
Let y = 1686 - 706. Is 70 a factor of y?
True
Suppose -893 = -5*p - k + 818, 0 = -5*k - 20. Does 49 divide p?
True
Suppose -2 = k, 4*p - 3*k - 6324 = p. Does 27 divide p?
True
Does 39 divide 3/4 + (-761)/(-4)?
False
Let n(l) = l**3 - 6*l**2 - 4*l + 1. Suppose 7 = m - 5*w, 4*m + 3*w = w + 28. Is n(m) a multiple of 11?
True
Suppose -2*w + f - 12 = w, -4*w + 3*f - 21 = 0. Let s(a) = -2*a**3 - 2*a**2 + 1. Let b be s(w). Suppose -2*v + 62 = 5*k - 24, b = v + k. Is v a multiple of 10?
False
Suppose -3*x - 2*x = -3*m + 146, -2*m + 104 = -5*x. Does 3 divide m?
True
Suppose 48 = -84*r + 83*r. Let t = 103 + r. Is 22 a factor of t?
False
Let t be (-4)/(-22) - 372/(-132). Suppose -t*y = 40 - 220. Does 20 divide y?
True
Suppose -3*o - 5*z = -25, o - 2*z = -5*z + 11. Suppose -w + 59 = 5*a, -o*a - 5*w + 3*w = -58. Does 11 divide a?
False
Let q(n) = 3*n**3 - n**2 + 5*n - 3. Suppose -2*l = 5*d - 28, -8 = l + 2*l - 5*d. Does 37 divide q(l)?
False
Let r(l) be the second derivative of l**4/12 + 4*l**3/3 - 5*l**2 - 6*l. Let i be r(-6). Let k = 48 + i. Is 26 a factor of k?
True
Let r be -1 - ((-1)/1 + -2). Suppose 4 + 20 = r*g. Suppose 3*f + 0 = g, -48 = -4*h - f. Is 5 a factor of h?
False
Suppose 3*d + 4*s + 14 = -0*s, -d - 3*s = 13. Is d/4 + 692/8 a multiple of 29?
True
Suppose -4*t = 2*p - 1378, 5*t - p - 379 - 1333 = 0. Does 7 divide t?
True
Let l be (15 + -15)*2/(-4). Let z(p) = p**3 + 7. Does 2 divide z(l)?
False
Suppose -13*v = -9*v - 16. Suppose 2*q = 3*m - 157, -5*m = v*q + q - 295. Is 17 a factor of m?
False
Suppose -115*o - 39360 = -147*o. Is 39 a factor of o?
False
Suppose 27*t + 639 = m + 28*t, -4*m + 2555 = 5*t. Does 10 divide m?
True
Let x = 546 + 119. Is x a multiple of 35?
True
Suppose -5*a = b - 91, 0 = -b + 4*b + 3*a - 237. Is b a multiple of 76?
True
Is 42 a factor of 4 + 1/(5/1870)?
True
Suppose s - m = 488 + 134, 0 = -2*s - m + 1238. Is 4 a factor of s?
True
Let s(g) = -121*g**3 + 6*g**2 + 11*g + 2. Is 18 a factor of s(-2)?
True
Let b = -32 + 34. Suppose 292 = 2*s + f, -b*f = 2*f. Is s a multiple of 19?
False
Suppose -q + 6*n + 1185 = n, -q - 2*n = -1164. Suppose -u + q = 14*u. Is u a multiple of 39?
True
Suppose 54 = 2*s - v + 130, 28 = -s + 3*v. Let w = s - -82. Is 14 a factor of w?
True
Let x(f) = -f**3 - 10*f**2 + 11*f + 18. Let t be x(-11). Suppose d = 7*d - t. Suppose d*b + 28 = 115. Does 25 divide b?
False
Is (976/(-5))/(50/(-125)) a multiple of 23?
False
Let o(h) = -h**2 - 37*h - 24. Does 13 divide o(-21)?
True
Suppose 13*g - 2*g + 1276 = 0. Let o = g + 170. Does 18 divide o?
True
Let h = 3220 + -1528. Does 47 divide h?
True
Is -269*(-51)/(-34)*(1 + -3) a multiple of 3?
True
Let a = -251 + 890. Does 17 divide a?
False
Suppose 5*u - 4*g = -g + 8, 4*u = -4*g + 32. Suppose -273 = -u*v + 127. Is 7 a factor of v?
False
Suppose 0 = -2*u - 5*k + 1215, 32 = -5*k + 7. Suppose 5*d - 203 = -3*j + 156, u = 5*j + 4*d. Is 16 a factor of j?
True
Let s be 6/(-1)*(-1 - 5/(-10)). Let i(t) = -t**3 - 3*t**2 + 5*t + 3. Let v be i(-3). Is -4 + 4 - v*s a multiple of 9?
True
Suppose -5*b - 3 - 1 = -2*p, 3*p - 56 = -5*b. Is 64/p + 4/6 a multiple of 3?
True
Is (-759)/(-6) + 40/80 a multiple of 3?
False
Let y be (-26)/(-4) - 9/6. Suppose y*a - 2*s = -1, -5*a - 2*s = 2*s + 13. Is 16 a factor of 24/a*52/(-16)?
False
Let h(r) = -3*r**3 - 13*r**2 + 2*r - 15. Is 33 a factor of h(-7)?
True
Suppose 90 = -5*o - 4*m, -5*m - 72 = -3*o + 7*o. Let p be (o/9)/(4/(-10)). Suppose p*t + 0*t = 100. Does 10 divide t?
True
Suppose -5*x = 3*a - 588, -a - 293 = -2*x - 49. Is x a multiple of 24?
True
Let j = 712 + -592. Does 2 divide j?
True
Suppose -2*g + 7*g = -3*m + 20, 4 = g - 4*m. Suppose 4*n = -t + 123, 0*t - 111 = -g*n + 3*t. Is 10 a factor of n?
True
Let y = -47 - -84. Is (-192)/(0 - 2)*(y + -36) a multiple of 32?
True