= 5*z, 4 = -3*z + 7*z + y*l. Is 26 a factor of c(z)?
True
Let v(k) = k**3 - k + 31. Suppose x = 5*b - 6, 3*b - 25 = -4*x - 3. Suppose -4*m + 2*a - 4 = 0, 4 = -b*m - 0*a + 2*a. Is v(m) a multiple of 12?
False
Suppose 7*l - 2*l = 20. Suppose -3*p = i + l - 14, -p = -4*i - 12. Suppose -3*d + 149 = p*r, -33 = -r - 7*d + 2*d. Does 15 divide r?
False
Suppose 5*a - 43*j = -41*j + 842, 3*j + 171 = a. Is 12 a factor of a?
True
Let r = 257 - 222. Does 7 divide r?
True
Suppose 0 = -u - 1 + 3. Suppose u*n - 297 = 5*z, -z - 3*z = 20. Is n a multiple of 34?
True
Suppose t + 0*b = 2*b + 14, 2*b = -3*t + 74. Is 2 a factor of t + -5 - (-6)/((-4)/(-2))?
True
Is 19 a factor of (-2214)/(-7) + (-112)/392?
False
Suppose 4*v = 1464 - 336. Is v a multiple of 12?
False
Suppose -37*u = -42*u + 780. Does 33 divide u?
False
Let u = 24 + -28. Let r(l) = -3*l**3 - 2*l**2 + 3*l + 6. Is 13 a factor of r(u)?
False
Let i = 155 + 104. Does 8 divide i?
False
Suppose 0 = 5*g - 17 - 8. Suppose -g*s + 3*s = 0. Suppose s = -o + 4*f + 8 + 62, 0 = -f - 2. Is 31 a factor of o?
True
Let y(p) = -58*p - 10. Does 4 divide y(-1)?
True
Let j(g) = g**2 + 3*g - 410. Let d be j(0). Let t = -242 - d. Suppose -14*v = -11*v - t. Is 28 a factor of v?
True
Suppose -10 - 34 = -4*h - 4*u, 4*u = -20. Let a be (4/6)/(h/24). Is 7 a factor of a/3 - (-380)/30?
False
Let k(y) = -y**3 - 6*y**2 - 2*y - 4. Suppose -2*f = 2*f - 12. Suppose 4*x = -4*m - 20, 0*x + 19 = -f*m + x. Does 4 divide k(m)?
True
Suppose 0 = -4*b + 2*s - 4*s + 818, s = b - 203. Does 6 divide b?
True
Suppose 28*o - 9366 = 22*o. Is 14 a factor of o?
False
Let m = 1448 - 324. Does 79 divide m?
False
Suppose 44 - 2 = 2*k. Let g(y) = y**3 + 11*y**2 + 9*y + 7. Let a be g(-10). Suppose c - k = -a. Does 2 divide c?
True
Suppose 16 = r + 3*g - 13, 5*r + 5*g = 95. Let i = -14 + r. Suppose 3*q - 4*j - 82 = i, 39 = 3*q - 5*j - 44. Is q a multiple of 7?
False
Suppose -m + 83 = -5*y + 3*m, y - m + 17 = 0. Let g(t) = -t**2 - 8*t - 5. Let l be g(-11). Let h = y - l. Is 23 a factor of h?
True
Is (30/5 - -65)/((-1)/(-7)) a multiple of 68?
False
Suppose 0 = -2*t + 10, c + 36 = 4*t + 14. Let l(g) = g**2 + 7*g. Let z be l(-6). Is 18 + (1*z)/c a multiple of 11?
False
Let q be 38*(-3)/9*6. Does 15 divide q/95*-155*(-1)/(-2)?
False
Let o = 7 + -1. Is 23 a factor of (-4)/8*o*-23?
True
Let l(t) = -t - 6. Let c be l(-13). Suppose -c*d + 32 = -5*d. Does 4 divide d?
True
Let b(a) = a**3 - 18*a**2 - 15*a + 28. Suppose -2*q + 47 = v + 2*v, 4*q - 67 = 3*v. Is b(q) a multiple of 18?
False
Let x = 89 + -87. Let g(z) = 43*z - 2. Is 8 a factor of g(x)?
False
Let y(v) = -v**2 - 10*v + 4. Let j be y(-10). Suppose -162 = j*u - 10*u. Is 19 a factor of u?
False
Suppose -8 = -5*a + 12. Suppose d = a*v + 12 + 4, -5*d + 3*v + 131 = 0. Suppose -i + d = -0*i. Is 14 a factor of i?
True
Suppose -16*f + 12*f = 5*v - 238, 0 = v - 2. Does 6 divide f?
False
Let p be 51/(-119) + 48/14. Suppose -3*q + 4*t = -117 - 112, 0 = -p*t - 12. Is q a multiple of 6?
False
Does 18 divide 679/2 + 1/(-1 - 1)?
False
Does 36 divide 20*(-144)/(-40)*38?
True
Let o(j) = -6*j**3 + j**2 + j - 3. Let a be o(3). Let h = a + 283. Is 17 a factor of (96/60)/(4/h)?
False
Suppose 0 = 2*a - 3*t - 54, 4*a - 3*t - 10 - 92 = 0. Is (a/(-15))/((-4)/20) a multiple of 2?
True
Let p(r) = 6*r**3 - 7*r + 9. Does 19 divide p(3)?
False
Suppose w + 17 = 3*h, 0 = -4*w + 5 - 25. Suppose -5*a + 57 = 2*m - h*m, 0 = -a - m + 17. Is 13 a factor of a?
True
Let t(x) = 4*x**3 + x**2 - 3*x + 2. Let r(f) = f**3 + 4*f**2 - 2*f - 6. Let o be r(-4). Let w be t(o). Let q = w - -31. Does 21 divide q?
True
Let u = -35 - -13. Let v be 422/u + 12/66. Let k = v - -22. Is 3 a factor of k?
True
Suppose -5*m - 335 = -2*f, 2*f + 5*m - 196 = 189. Does 15 divide f?
True
Let h be (-1 - -2)/((-1)/(-4)). Suppose -12*b + 760 = -h*b. Is b a multiple of 26?
False
Let o(j) = 3*j + 13 - j - 4*j + 2*j**2 - 4*j. Does 5 divide o(4)?
False
Let v = -2992 + 4260. Does 14 divide v?
False
Suppose 2*t = -8, -5*b + 36 = t - 5*t. Suppose -3*z = -l - 81, b*z - 167 = -5*l - 59. Does 18 divide z?
False
Suppose -4*s - 4 = 0, 2*l - 2*s + 0*s - 310 = 0. Let g = 67 + -41. Suppose g = 4*p - l. Does 14 divide p?
False
Is (-35)/(-3)*54/18 a multiple of 2?
False
Let z(f) = 3*f + 150*f**3 - 151*f**3 - f - 4*f**2 + 3. Does 16 divide z(-5)?
False
Is 36 a factor of (16 - (-16)/2)/(2/273)?
True
Suppose 6 + 9 = 5*b. Suppose -k - b*k = 76. Let j = k + 33. Is j a multiple of 7?
True
Suppose 4*m + 36 - 4 = 0. Is 16 a factor of (-181)/(-3) + (-3 - m/3)?
False
Let u(k) = k**3 + 22*k**2 + 15*k - 48. Does 39 divide u(-21)?
True
Suppose 5*n + 2*d = 76, d - 90 = -5*n + 6*d. Suppose 14 = -5*o - n. Is (6/4 - 4)*o even?
False
Let w = 128 - 89. Suppose 0 = 2*p - 71 - w. Is 9 a factor of p?
False
Let z(w) = -w + 6. Let n be z(0). Let i be n/2*(-4)/(-3). Suppose i*a + 5 = -u, 5*a = -0*u - 2*u + 2. Is 3 a factor of u?
False
Let d(c) = 5*c**2 - 5*c - 2. Let j be 4/6 + (-110)/(-33). Let t(s) = 4*s**2 - 5*s - 3. Let u(i) = j*t(i) - 3*d(i). Does 13 divide u(12)?
True
Let n(o) = -o**2 - 9*o - 18. Let g be n(-6). Suppose 3*b + b - 8 = g. Let q(a) = 6*a**2 + a - 1. Does 5 divide q(b)?
True
Suppose 2*b = -f + 5*b, 20 = 5*b. Let l be 34/(-85) + f/5. Suppose -t = d - 13, -12 = t + l*t. Does 17 divide d?
True
Let f = 75 + -141. Let i = -46 - f. Suppose 28 = 3*z - i. Does 7 divide z?
False
Let b(j) = -30*j. Let c be b(-1). Let u be (-6)/c - (-59)/(-5). Is 16 a factor of (-16 - 1)*12/u?
False
Let x(r) = 0*r + 0 + 12 + r - 1. Let g be x(-16). Let p(w) = w**3 + 5*w**2 - w + 3. Does 5 divide p(g)?
False
Suppose 0 = -6*t + 14*t - 1008. Let o = t + -75. Is 5 a factor of o?
False
Suppose 9502 = 12*f - 21926. Is f a multiple of 20?
False
Let k(p) = 2*p**2 + 45*p - 145. Is k(12) a multiple of 73?
False
Suppose 0 = -3*j - 2 + 14. Suppose j*i - 45 = -i. Is 4 a factor of i?
False
Suppose f + c + 0*c - 5 = 0, 0 = 5*f - 4*c + 20. Let k(t) = -t**2 + 10*t + 76. Let g be k(15). Suppose f = -s + g + 4. Is 5 a factor of s?
True
Suppose 4*j - 5 = 11. Suppose 2 + 6 = j*r. Suppose f - 3*z = -3*f + 20, r*f = -z + 10. Is f a multiple of 5?
True
Is 31 a factor of 0 - (-682)/(1 - -1)?
True
Let z be -4 + (-2 - -3 - -8). Suppose -5*r = d - 2*d + 26, z*r - 78 = -3*d. Let i = -14 + d. Does 6 divide i?
True
Suppose 5*q - 257 = 3*t - 807, -1 = -q. Is 5 a factor of t?
True
Suppose 0 = -5*v + 8*v + 6. Let l be (-10)/(v/1 - 0). Suppose l*b - 15 = 50. Is b a multiple of 13?
True
Is 56 a factor of (35 - 36) + -66*(-8 + -1)?
False
Let z = 1704 + -855. Is 29 a factor of z?
False
Suppose -2*z + h + 3 = -2*h, z - 8 = -5*h. Suppose z*o - 109 = -5*t, -5*o - 25 = -4*t + 2*t. Let i = -8 + t. Is 6 a factor of i?
True
Suppose 2*g + 2*x = 0, 0*g = 3*g - x - 4. Let d be (0/(-15))/(g/1). Let q(o) = -o**2 - o + 48. Is 24 a factor of q(d)?
True
Let c(h) = -h**2 + 12*h - 32. Let w be c(8). Suppose -4*l = 3*x - 47, w*x + 5*x - 57 = -4*l. Does 8 divide l?
True
Suppose 43*p + c - 7739 = 40*p, 0 = 5*p + c - 12899. Does 12 divide p?
True
Let j(c) = 76*c + 26. Let f be j(7). Suppose -8*o + 11*o - f = 0. Is 25 a factor of o?
False
Suppose 278*i - 2472 = 276*i. Does 17 divide i?
False
Suppose -2*d = -3*k + 2*d + 116, 4*k = 3*d + 150. Is k a multiple of 12?
True
Suppose -57*t = -47*t - 11370. Is t a multiple of 65?
False
Is 57 a factor of (17821/(-142))/(((-1)/(-1))/(-4))?
False
Suppose 1627 + 9461 = 21*i. Is i a multiple of 12?
True
Suppose 4*h = -2*t + 422, 4*h + 6*t - 2*t = 412. Suppose 0 = g + 3*g - h. Does 20 divide g?
False
Suppose 5*k - 5*c = -5, -4*k - 3*c - 3 - 36 = 0. Let o(u) = u**2 + 3*u + 9. Does 9 divide o(k)?
True
Let n = -13 - 9. Let g be (-2 - n) + 2 + -1. Does 19 divide 7/g - (-56)/3?
True
Let c(s) = -s + 145. Is c(-29) a multiple of 5?
False
Suppose 0 = 8*i - 9191 - 11929. Is i a multiple of 66?
True
Suppose 0 = 12*z - 1007 - 3289. Does 6 divide z?
False
Let i(m) be the second derivative of -2*m**3/3 + 6*m**2 - 9*m. Let n be i(-9). Suppose q = -2*q + n. Does 16 divide q?
True
Suppose -14*l + 10*l - 1582 = -3*x, x - 5*l - 509 = 0. Is x a multiple of 89?
True
Let n(w) = w - 3. Let d be n(3). Suppose d = -3*b - 2*b + 120. Is b a multiple of 12?
True
Suppose -4*m + 5*j + 759 = 4*j, 3*j + 576 = 3*m. Is m a multiple of 5?
False
Let b = 16 + -9. Let s = b + -12. Let