3*g + b. Does 37 divide g?
False
Let m(i) = -7*i**2 - 24*i + 18. Let p(b) = 2*b**2 + 2*b - 1. Let s(z) = -m(z) - 4*p(z). Is s(7) a multiple of 2?
False
Let x(y) = -9*y**3 - y**2 - 6*y - 38. Let d be -1*(2/(-4) - (-18)/4). Is 14 a factor of x(d)?
True
Suppose -2*j - 798 = -2*v, -4*v - 4*j = -j - 1575. Is (-4)/6 + (-12)/(v/(-7909)) a multiple of 16?
False
Let w(k) = 11*k + 23. Let c be (-17)/(5 + 0 + -4). Let f be 1*3*c/(-3). Does 42 divide w(f)?
True
Let g(j) = -j**3 + 4*j**2 + 5. Let t be g(4). Suppose -t*b = 3*m + 19, -3*m + 0*b = 2*b + 4. Is 29/m + 1 + 2/(-4) a multiple of 6?
False
Suppose 5*a = -3*f + 5 - 1, 4*f + 16 = 4*a. Suppose 3*v = 4*y + 932, a*v + v - 5*y - 934 = 0. Does 44 divide v?
True
Let v be 6*6/18 + 3. Suppose -2*t = -3*t + 4*i, 5*t + 3*i = 23. Let a = t + v. Is a a multiple of 3?
True
Let l be 0 + (2 - 1 - -401). Suppose -409*b + 2940 = -l*b. Is b a multiple of 21?
True
Let l = 2473 - 1715. Does 12 divide l?
False
Suppose 3*c - 3*x + 6 = 0, -2*c = 3*c - 2*x - 5. Suppose -4*w = -4*k + 112, 24 = k + c*w - 0. Let u = k - -16. Is 10 a factor of u?
False
Let w be (-1)/(-2) + 375/30. Let q = 25 - w. Let j = 96 - q. Does 25 divide j?
False
Suppose -4*g + 380 - 76 = 0. Let o = 88 - g. Is 12 a factor of o?
True
Suppose 4*n = 1 + 63. Suppose 5392 = n*d - 544. Is d a multiple of 53?
True
Suppose 2*n + 383 - 45 = l, 3*l - 998 = 2*n. Let p = l - 231. Is 28 a factor of p?
False
Is -1 + (-108)/(-48) - (-3 + (-207358)/8) a multiple of 98?
False
Let i(p) = 20*p**2 - 36*p - 651. Is i(-31) a multiple of 9?
False
Suppose 112 = -4*o + 156. Is 7 a factor of o?
False
Let u(c) = 63*c**2 - 72*c - 9. Is u(-6) a multiple of 4?
False
Let q(l) = -l**3 - l**2 - l - 1. Let j(z) = -z**3 - 15*z**2 + 12*z - 13. Let d(n) = -j(n) + 2*q(n). Suppose 5*r - 40 = r. Is 18 a factor of d(r)?
False
Let u be -4 + 1 - (-36 - -9). Let z be ((-2)/(u/(-177)))/(4/16). Suppose 0*g - x - z = -3*g, 5*x + 115 = 5*g. Is g a multiple of 3?
True
Let m(y) = 21*y**2 - 8*y + 20. Is 67 a factor of m(19)?
False
Let y(p) = 4*p + 1. Let j be y(10). Let h = j - 26. Suppose 11*w - h*w = -48. Is w a multiple of 12?
True
Let w = -6 - -198. Does 18 divide 39/2*w/16?
True
Let p(k) = k**3 - 4*k**2 - 6*k + 5. Let n be p(5). Suppose n*z - 4*v + 13 = -z, -5*v = 2*z - 39. Let i = z + 1. Is 4 a factor of i?
True
Let s be ((-64)/(-24))/((-6)/(-9)). Suppose 2*w + 2*v - 16 = 0, s*v = 2*w - 7*w + 35. Suppose -w*t + r = -214, -2*t - 3*t = 5*r - 330. Does 10 divide t?
True
Suppose -4*c + 3*k - 1111 = 6*k, -2*k - 832 = 3*c. Let w = c + 554. Is w a multiple of 21?
False
Suppose 3*f - u + 1509 = 9262, 5*u = -5. Is f a multiple of 136?
True
Suppose -2*t = -3*d - t - 369, 4*d + 2*t = -502. Let i = -75 - d. Suppose -3*m + j = -m - i, 2*j - 118 = -4*m. Is 12 a factor of m?
False
Suppose 0 = 2*i - 4*q - 45972, -3*i + 129*q - 134*q + 68903 = 0. Is i a multiple of 54?
False
Suppose 43*a - 1063068 = 1446670. Is 14 a factor of a?
True
Let i = 4989 + 971. Is 54 a factor of i?
False
Let h(c) = 4*c**2 + 33*c - 68. Is h(-38) a multiple of 192?
False
Suppose 32*j + 1050 = 18*j. Let c be (2*-1 - -3) + 135. Let i = c + j. Is i a multiple of 46?
False
Let r = -334 + 313. Is 9 a factor of 72/(-42)*r/(-3)*-18?
True
Suppose -12*x - 3 = -13*x. Let m = -60 - -63. Suppose x*q = 4*j - 424, -4*j = -3*j - m*q - 115. Does 28 divide j?
False
Let q(u) = 5*u**2 + 8*u - 21. Suppose l - 3 = 5*v - 11, v - 32 = 4*l. Let x be q(l). Suppose 8*y + x - 1523 = 0. Does 9 divide y?
False
Is 8/14 + (5497232/(-133))/(-13) a multiple of 12?
True
Let r(h) = 101*h**2 - 12*h + 15. Let q be r(3). Does 4 divide 6/(-10) + q/30?
False
Suppose 10*d = 11*d. Suppose -y + d*y = -181. Let f = -141 + y. Is 8 a factor of f?
True
Suppose 0 = -v + 30 + 22. Suppose -v + 6 = 2*o. Let x = o + 125. Is x a multiple of 17?
True
Suppose o - 5*o + 2*t = -16, 4*t - 28 = -2*o. Suppose r + 2 = o. Suppose -49 - 159 = -r*g. Is g a multiple of 19?
False
Let g be -24 - ((-2)/(-2) + 1). Does 8 divide 162 - ((-19)/114 + g/(-12))?
True
Let u = 965 + -3838. Let m = -1477 - u. Is 42 a factor of m?
False
Let i(x) = 9*x + x**2 + 102 + 94 - 292 + 98. Is i(-10) a multiple of 6?
True
Let d be 6*((-7)/4*2 - -3). Let y be (d/(-12) + 4/16)*-2. Is (y*2/(-2))/(3/99) a multiple of 11?
True
Let n(r) = -126*r + 2300. Is n(0) a multiple of 55?
False
Let v = 205 + -74. Let t = -182 + 339. Suppose 4*x = v + t. Does 8 divide x?
True
Suppose 12*b + 6*b = -10*b + 4228. Is b a multiple of 151?
True
Suppose 0 = 5*n - 30, -4654 = -5*w + 4*n + 5362. Is w a multiple of 139?
False
Suppose q = -4*a + 5524 + 12782, -2*q = a - 36612. Is q a multiple of 30?
False
Let k(r) = 5*r**3 - 9*r - 9. Let q(j) = -4*j**3 - j**2 + 8*j + 9. Let m(a) = 5*k(a) + 6*q(a). Is m(8) a multiple of 24?
False
Let t = -41 + 86. Suppose 5*f = 5*r - 60, -2*r + 5*f - 12 + t = 0. Suppose r*d - 765 = 4*d. Is d a multiple of 27?
False
Suppose 55*y = 30*y + 587*y - 41879116. Does 74 divide y?
True
Suppose 73*h - 56*h - 17476 = 0. Suppose -5*p + 2515 = 5*d - 6*p, -2*d + h = 4*p. Does 36 divide d?
True
Suppose 4*i + 18*i = 24706. Suppose -2*t = -4*t + 5*c + 757, -5*c - i = -3*t. Does 41 divide t?
False
Let g = 36 - 36. Let r be (g + 0 - -1)*(0 + 9). Suppose 0 = r*v - 12*v + 357. Is 23 a factor of v?
False
Suppose 2*h - 628 = -y, 4*h - 10*y = -5*y + 1228. Let d(p) = p**2 - p + 5. Let c be d(0). Suppose c*i = 2*i + h. Does 26 divide i?
True
Let q(n) = -22*n**3 + 3*n**2 + 8*n + 5. Let s be q(-5). Suppose -19*o + 14*o = -s. Is o a multiple of 93?
True
Let v = 608 - 536. Is 12/(v/(-30)) + 1214 a multiple of 38?
False
Suppose 0*v - 35 = 5*i + 5*v, -5 = i - v. Let c be i/12*0*2/(-4). Suppose c*k - 146 = -k. Does 24 divide k?
False
Suppose -100032 = 62*p - 452688. Does 18 divide p?
True
Let a be ((-2)/4)/((-3)/6)*-97. Let k = 161 + a. Let t = -10 + k. Is 9 a factor of t?
True
Let u be -447*(-7)/(21/4). Suppose -4*k + 5*y = -767, 3*y - u + 14 = -3*k. Is k a multiple of 18?
False
Let x(g) = -g**3 - 3*g**2 - g + 4. Suppose 5*a + 31 - 21 = 0. Let y be x(a). Suppose 5*d + n = 113, -y*d - n = -5*d + 63. Does 3 divide d?
False
Let r(q) = 1104*q**2 - 212*q - 429. Is 10 a factor of r(-2)?
False
Let q = -45 + 47. Suppose -2*w + q*g = -48, -w - 7 = -3*g - 35. Suppose -3*b + 4*o + 256 = 0, -w = 5*b - 3*o - 434. Is 20 a factor of b?
True
Let v(k) = k**3 - 9*k**2 - 20*k + 16. Let w(j) = j**3 + 8*j**2 - 22*j - 8. Let c be w(-10). Is 26 a factor of v(c)?
True
Is 61 a factor of (556/(-695))/(4/(-3050))?
True
Suppose -49 + 55 = 6*c. Let x be (-4)/10 + (-8796)/10. Is (3/(-15) - c)/(12/x) a multiple of 11?
True
Suppose 4*d + i = 1296, 5*d + 2*i - 1296 = d. Is (-210)/(-30)*d/7 a multiple of 27?
True
Let h = 11 + -17. Let s(w) = -7*w - 11. Let g be s(h). Let d = 41 - g. Is d a multiple of 10?
True
Suppose 2*l + 1103 = -5*i, -l + 416 + 690 = -5*i. Let h = i + 477. Is h a multiple of 32?
True
Suppose f = -3*j + 29388, f + 39*j = 33*j + 29385. Is f a multiple of 101?
True
Is 23 a factor of (-4 + 142)/((-3)/2544*-6)?
True
Suppose -4*z + 2398 = y, -17*z + 11936 = 5*y - 15*z. Does 20 divide y?
False
Let z(s) be the third derivative of -s**5/60 + 5*s**4/3 - 14*s**3 + 31*s**2 - 1. Does 10 divide z(25)?
False
Let c = 3250 - 1914. Suppose -2*m + 512 = 4*l + c, -3*l - 628 = -m. Let i = l - -361. Is i a multiple of 11?
False
Let x be 0 + (-1 - -2) - -1. Suppose -10 = r + 4*r, x*v - 24 = -r. Let y = 26 - v. Is y a multiple of 2?
False
Let k(b) = b**3 - 11*b**2 + 15*b - 48. Let r be k(10). Suppose 5*x = -o + 2*o + 371, -3*x - r*o = -233. Is 7 a factor of x?
False
Let u be (1 - 3/(-3)) + (-28)/1. Let b = u - -24. Is 11 a factor of (-9)/b*((-44)/3)/(-2)?
True
Let m(p) = -38*p + 1. Suppose -8 = -4*w - 3*k, -k = 3*w + 3*k + 1. Suppose 5*f + 0*g - 10 = w*g, 0 = -5*f + 3*g. Is m(f) a multiple of 34?
False
Suppose -337*k + 343*k - 42 = 0. Does 42 divide 708 + (5 - (6 - k))?
True
Let y be (-17 - -5)/(-3) + -4. Suppose -o = -3*j + 11, y = 5*j - 4*o - 32 + 2. Suppose -5*s + 5*i = -210, -j*i + 25 = -s + 70. Is 5 a factor of s?
False
Suppose b + 4*l - 300 - 387 = 0, 0 = b + 2*l - 697. Suppose -4*s + 1453 = -b. Is 27 a factor of s?
True
Let z = 8 + -4. Let c(f) = 2*f**2 - f - 32. Let d be c(-19). Suppose -560 = -z*s - 4*y - 0*y, -5*s = 2*y - d. Does 13 divide s?
True
Let h(a) = 2459*a**2 + 14*a - 22