 - 58. Suppose 0 = -4*p - j + 435, f = 4*p + j - 4*j. Is 22 a factor of p?
True
Let j = -8 + 274. Let m be ((-2)/4)/((-7)/j). Let b = 69 - m. Is 17 a factor of b?
False
Suppose 22*c = -9407 + 36863. Is 48 a factor of c?
True
Suppose 0 = 7*b - 15*b - 32. Is 6 a factor of (-14)/b*-1*(-14 - 0)?
False
Let k(s) = 94*s + 53. Does 79 divide k(6)?
False
Suppose 0 = -3*h + h. Suppose h = 3*u - 2 - 4. Suppose -3*o - u*o = -250. Is o a multiple of 13?
False
Let o(n) = -n**3 + 3*n**2 - n + 3. Suppose v + 5*r + 17 = 0, 0 = v + r + 2*r + 9. Let j be o(v). Is 3/(-6)*j - -23 a multiple of 4?
False
Let u = -40 - -39. Let k be -3*(2 - 1)*u. Suppose -4*s - k*p + 316 = p, -s + p + 85 = 0. Does 16 divide s?
False
Let b be ((-14)/5)/(5/(-50)). Suppose -r = -s + b, 0*r - 30 = -s + 3*r. Does 2 divide s/6 + 1/2?
False
Let y = 1 - -1. Suppose 0 = -3*i - 2*m + 15 + 9, y*i = -5*m + 27. Is (-1)/i + 73/6 a multiple of 12?
True
Let l(o) = -357*o - 587. Does 79 divide l(-6)?
False
Let g(u) = 1447*u - 760. Does 143 divide g(4)?
False
Suppose -3*y + 4*l = -2125, 2121 = -6*y + 9*y - 3*l. Does 19 divide y?
True
Let p = 7 + -7. Suppose p = -2*h + 3*h - 9. Is h a multiple of 8?
False
Let v = 76 + -71. Suppose -v*m - 3*r + 224 + 53 = 0, m - 61 = 5*r. Does 8 divide m?
True
Suppose p = -4*p + 3*p. Is 5 a factor of 22 - p/(0 - -2)?
False
Suppose 12*b - 8*b - 6686 = -5*m, 0 = 5*b - 3*m - 8376. Does 9 divide b?
True
Let b be 0*6/4*(-12)/(-36). Let z be 77/5 + (-4)/10. Suppose b = 2*t - 49 + z. Does 10 divide t?
False
Suppose 0 = 24*z - 1864 - 6176. Is 68 a factor of z?
False
Suppose -4*p + 772 = 2*j, -j - p + 4*p + 386 = 0. Is j a multiple of 9?
False
Let j(g) = 2*g + 1. Suppose -i + 1 = -4*y, -i - 4*y = 3*i - 44. Let o be j(i). Let a = o + 50. Does 21 divide a?
False
Suppose 24*n = -g + 28*n + 168, -5*g = 3*n - 748. Is g a multiple of 8?
True
Let k(m) = 127*m - 257. Is k(26) a multiple of 135?
False
Suppose -16413 - 12371 = -16*q. Is 39 a factor of q?
False
Let l be 3 - (-1 + 1 + 0 - 50). Suppose 55*p - 232 = l*p. Is p a multiple of 25?
False
Does 17 divide 2/(-4) + 2454/12?
True
Let c be (-10)/15 + 28/(-3). Let p(j) = -j**3 - 9*j**2 + 12*j + 13. Let o be p(c). Let w(t) = -t + 3. Is 5 a factor of w(o)?
True
Let j = 125 - 200. Let c be (12/(-8))/(2/4 - 1). Let r = c - j. Is r a multiple of 20?
False
Suppose 4*j = j + 1095. Is j a multiple of 5?
True
Let c be (-14)/4*(-4)/7. Let a = 108 - -150. Suppose 5*s = c*s + a. Is 23 a factor of s?
False
Suppose 0*u = 2*s + 3*u - 149, -5*s - 3*u = -359. Is 18 a factor of (2/(-5))/((-28)/s)*128?
False
Suppose i - 4 + 17 = 0. Let j = i + 86. Does 7 divide j?
False
Let s = 177 + -269. Let a = 195 + s. Does 13 divide a?
False
Is (21160/276)/(4/30) a multiple of 41?
False
Let j be 4/(-8) - (-3)/(-2). Let f(n) = 24*n**2 + 4*n + 4. Is f(j) a multiple of 25?
False
Let t(w) = -4*w + 29. Is t(1) even?
False
Let h(w) = 9*w**2 - 6*w + 5. Let n(z) = -10*z**2 + 7*z - 6. Let y = 0 + 3. Let s(i) = y*n(i) + 4*h(i). Does 10 divide s(2)?
True
Let n(c) = 24*c**2 - c - 21. Is 9 a factor of n(6)?
True
Let y be (-5 + -3)/(0 - -1). Let v = -10 - y. Does 8 divide (4/6)/(v/(-78))?
False
Let w = 836 - 428. Is 12 a factor of w?
True
Let q be (-1624)/12*(-3)/1. Suppose 2*l = -5*g - 134 + q, 0 = -5*g + l + 269. Let z = -7 + g. Is 19 a factor of z?
False
Let t be (4/6)/(4/54). Let u be 1*t/((-6)/2). Let o(y) = -27*y - 3. Does 17 divide o(u)?
False
Suppose -245*f + 235*f = -5590. Is 43 a factor of f?
True
Let i(n) = -n + 87. Suppose -44*c = -42*c - 42. Does 11 divide i(c)?
True
Does 17 divide 8/3*408/16?
True
Does 29 divide 4203/5 - (-6)/(-105)*-7?
True
Let x(j) = 105*j - 37. Is x(4) a multiple of 34?
False
Suppose 0 = -4*d + 5*f + 23, -3*d - 3*f = -2 + 5. Suppose -5*u = -0*u - 15. Suppose -5*y + 254 = -u*p, y + 50 = d*y - p. Is y a multiple of 26?
True
Let r be 1*3 - (-2)/(-6)*-3. Suppose r*n - 14 = 3*n. Does 7 divide n?
True
Let o = -4 + 6. Suppose 77 = -4*y - 3*i, 0 = -o*y + i - 11 - 30. Is 4 a factor of 55/4 - 5/y?
False
Let u(y) = 5 + 6 - 5*y + 4*y. Let k be u(6). Suppose 5*r + 3*f + f = 206, k*f = 3*r - 131. Does 14 divide r?
True
Let a = -59 - -18. Let b = a + 81. Suppose 8*x = 3*x + b. Is x a multiple of 8?
True
Suppose -7776*i + 7770*i + 5538 = 0. Is i a multiple of 14?
False
Let m(i) = 3*i**2 + 14*i + 50. Is m(-11) a multiple of 51?
False
Suppose -25*q + 7350 = -4*q. Is q a multiple of 5?
True
Suppose -15025 = -5*c - 2*m, 3*m - 882 + 12925 = 4*c. Is 15 a factor of c?
False
Let r = -44 + -28. Let h(b) = 2*b**3 + b**2 + b - 1. Let z be h(1). Is 7 a factor of 1 - 2 - r/z?
False
Let v be (((-27)/45)/3)/((-2)/50). Suppose 4*f = -v*p - 0*p + 180, -2*f = 2*p - 74. Does 5 divide p?
False
Suppose -2*n + 2*p + 23 = 3*n, -p = -5*n + 19. Suppose 0 = c - n*c. Suppose -5*u - 2*b + 251 = c, -b + 200 = 4*u + b. Is u a multiple of 11?
False
Let q = 9 - 9. Suppose -2*d + 24 + 80 = q. Does 26 divide d?
True
Let j(c) = -350*c**3 + c**2 + 2*c + 1. Let w be j(-1). Suppose -14*f = -9*f - w. Is 14 a factor of f?
True
Suppose w + 60 = -3*w. Is (18/w)/((-3)/15) even?
True
Suppose -g - 5 = -2*b, -b + 2*b + 3*g = -15. Let m(s) = s + 48. Does 31 divide m(b)?
False
Let a = 589 - 541. Is a a multiple of 6?
True
Let r = 9 + -9. Suppose 2*k + 2*d - 52 = r, 4*d - 36 = -k - 7. Does 11 divide k?
False
Suppose -3*p = 8 - 20. Suppose p*u - 200 = -u. Suppose 5*x + u - 310 = 0. Is x a multiple of 18?
True
Suppose 0 = -2*z + 2*v + 52, -2*z - 2*v + 38 = -18. Suppose -4*b - 3*d = -108, 2*d = 5*b - 95 - 40. Let s = z + b. Is s a multiple of 27?
True
Let w be (-4 - -3) + 28/2. Suppose -2*z - 5*x = -9, w = z - x + 5. Suppose -f - 342 = -z*f. Does 9 divide f?
False
Does 6 divide ((-6)/(-6) - 2)*-334?
False
Let q(s) = -4*s. Suppose -4 - 5 = 3*h. Let a be q(h). Does 19 divide (95/15)/(4/a)?
True
Let g(b) = 2*b**2 + 19*b + 15. Let j be ((-40)/(-6) + -4)*9/(-2). Is 17 a factor of g(j)?
False
Let w(p) = p**3 - 9*p**2 + 16*p - 5. Let h be w(7). Suppose h + 87 = 8*u. Does 4 divide u?
True
Let n = -122 - -75. Let x = n + 139. Suppose 2*m = -20 + x. Does 18 divide m?
True
Suppose 5*i - 2532 = -30*m + 32*m, i - 516 = -2*m. Is i a multiple of 27?
False
Suppose s + 4 = 3*s. Suppose 3*f - f - 22 = 2*b, 2*f + s*b = 22. Let v = 22 + f. Is v a multiple of 22?
False
Let a = 35 + 120. Suppose -5*v + a - 17 = 2*q, -62 = -q + v. Does 8 divide q?
True
Suppose 5*p - r + 32 = -5*r, -22 = 4*p + 5*r. Is 22 a factor of 2*(3 - p)*1*2?
True
Suppose 0 = -3*p - 0 + 9. Let j be 1*4/(4/17). Suppose -p*g + j = -2*g. Does 4 divide g?
False
Suppose 821 = 5*c + 2*y, -y - 2*y = -3*c + 480. Is 9 a factor of c?
False
Let b be (180/(-21))/((-4)/28). Suppose -6*k = -k - b. Suppose s + 2*w = 56, -3*w = -6*w - k. Is 8 a factor of s?
True
Suppose -11*o = -8*o + 6. Is 3 a factor of 12/3 + o - -4?
True
Suppose -3*u + 1110 = -13*a + 10*a, -5*a = 2*u - 726. Is 70 a factor of u?
False
Let x be (-24)/20*10/4. Let m(p) = -11*p - 2. Is m(x) a multiple of 2?
False
Suppose -2*t - 6 = -12. Let m = t - -2. Is 11 a factor of (-37)/(-3) - m/15?
False
Suppose 0*a + 2*a = 0, 0 = -5*y - 5*a + 735. Suppose -k - y = -4*u - 0*k, -3*u + k = -109. Suppose -3*t + 67 = -u. Is t a multiple of 13?
False
Suppose 355 = -14*q + 2735. Is 3 a factor of q?
False
Let d be (264/18)/((-1)/(-6)). Let c = d - -29. Suppose -22 = 5*x - c. Does 4 divide x?
False
Let w be 7 + -2 + 4 + -1. Suppose 0 = -4*f + w - 0. Suppose f*m - 60 = m. Is 12 a factor of m?
True
Suppose -5*b = -b - 4. Is 9 a factor of 7 - (-6 + b + (-5 - -8))?
True
Let m be (-66)/(-14) - 2/(-7). Let v(z) = -6*z**2 + 33*z + 18. Let d(w) = -2*w**2 + 11*w + 6. Let l(q) = -11*d(q) + 4*v(q). Does 9 divide l(m)?
False
Suppose 4*b = z + 2*z - 717, -4*z - 544 = 3*b. Let i be 1/((-3)/(b/(-3))). Is 3/(6/(-4)) - i a multiple of 9?
True
Suppose -17 = -5*p + 8. Suppose f = 2*f + p*l - 15, -5*f = -l + 55. Let u = 14 + f. Does 4 divide u?
True
Suppose -4*q + 5*t + 170 + 26 = 0, -2*q - 2*t + 116 = 0. Suppose 5*u = 6*j - 7*j + q, u = -3*j + 22. Does 5 divide u?
True
Suppose 7*h = 26*h - 1862. Is h a multiple of 3?
False
Let w be 1*24/6 + -3. Is (688 - -4)*(0 + w/2) a multiple of 61?
False
Let h(j) = -14*j**2 + j - 18. Let g be h(5). Let l = -257 - g. Is 20 a factor of l?
False
Let x(u) = -u**2 + 25*u + 42. Does 4 divide x(14)?
True
Suppose 4*g -