60. Let k = w + -5. Does 10 divide k?
True
Let l = -1458 - -2109. Is l a multiple of 19?
False
Let a(o) = -o**2 - 8*o - 7. Suppose 4*f + 28 = -0*f. Let m be a(f). Does 4 divide (-2 - (m - 0))*-2?
True
Let p(r) = 2*r - 4. Let a be p(3). Let v = 6 - a. Suppose t + 0*b - b - 25 = 0, 0 = -3*t - v*b + 47. Is 21 a factor of t?
True
Let n be 90/(-4)*12/(-10). Suppose 0 = 4*t, -k + 0*k = -2*t - n. Is 9 a factor of k?
True
Let r(j) = j**3 - 37*j**2 - 51*j - 6. Is r(39) a multiple of 62?
False
Let m = 58 - 52. Let z be (-44)/(-10) + 6/(-15). Suppose m = 2*c, z*c = w - 2*w + 46. Is w a multiple of 17?
True
Suppose 0 = -m + 5*u - 2*u + 3661, 3*m - 10973 = -u. Is m a multiple of 26?
False
Let r = -58 - -51. Let g(a) be the second derivative of -5*a**3/2 + 7*a**2/2 - a. Is g(r) a multiple of 34?
False
Let i(j) = -j**3 - j**2 + 1. Let u be i(-3). Suppose 0 = 3*t - 4*o - u, 2*t + 4*o = -0*o + 6. Suppose t*q - 191 = 89. Is q a multiple of 15?
False
Suppose -4*m + 20 = -2*m. Suppose m*n - 273 = 67. Is n a multiple of 18?
False
Let z = -246 - -175. Let i = 186 + z. Does 12 divide i?
False
Suppose -5*t + 1040 + 2400 = 0. Suppose 123 = -5*b + t. Let d = b + -32. Is 19 a factor of d?
False
Is 6 a factor of -15*10/(-45)*6?
False
Let y(r) = -2 + 43*r - 10*r**3 - 2*r**2 - 88*r + 43*r. Let l = 1 - 3. Is 19 a factor of y(l)?
False
Suppose -241 + 1645 = 3*m. Let c be (m/(-30))/((-6)/40). Suppose -5*b + 76 = -c. Is 8 a factor of b?
False
Suppose t - 2*z - 20 = 0, -4*z = 4*t - 9*z - 74. Let d = t - 3. Suppose -p + 14 = -d. Is 6 a factor of p?
False
Suppose -232 = -4*s - 64. Is s/(-1 - -1 - (2 + -3)) a multiple of 6?
True
Let m(l) = 18*l**2 + 38*l - 1. Does 17 divide m(3)?
False
Suppose 2*g - 150 = -z + 361, -3*z = -3*g - 1515. Does 13 divide z?
True
Let q(h) = 13*h**2 + 26*h + 49. Is q(-8) a multiple of 21?
False
Let c = -3476 - -6084. Is 16 a factor of c?
True
Let h = -385 - -551. Does 16 divide h?
False
Let n(o) = 8*o + 75. Is n(12) a multiple of 19?
True
Is 36 a factor of (-69564)/(-310) - (-2)/(-5)?
False
Let t(c) be the first derivative of c**4/4 - 5*c**3/3 - 3*c**2 - 11*c + 21. Is t(7) a multiple of 20?
False
Let o be 3 + -1 + -2 + 12. Let l(h) = 0*h - 4*h - 5*h - 8 - 4*h + 14*h. Is l(o) even?
True
Suppose -43*r = 49*r - 148120. Is r a multiple of 46?
True
Suppose 4*n + 748 = 4*f, -5*f + 1542 - 607 = 2*n. Let i = f - 134. Is i a multiple of 3?
False
Suppose -2*b + 4 = -2. Suppose 2*s + b*s - 10 = 0. Suppose s*g + 0*g = 150. Is g a multiple of 25?
True
Let g(m) = 9*m**2 + 5*m - 2. Let z be g(3). Let l = -10 + z. Is 21 a factor of l?
True
Let h(g) = -g**3 - 7*g**2 - 9*g - 7. Suppose -6*b + 8*b - 20 = 0. Suppose 4*i + 12 = -3*x, -b = i - 2*x + 4. Does 9 divide h(i)?
False
Suppose s + 0*s - 40 = 0. Let a be 10/s + (-5)/4. Let w(g) = -16*g**3 - g**2. Does 15 divide w(a)?
True
Suppose -m = 5*v - 21, m - 16 = -5*v + 5*m. Let n be (3/12)/(1/v). Let z(i) = 16*i**2 - i. Is z(n) a multiple of 5?
True
Let v(i) = -7*i + 21. Let x(g) = -g**2 - 4*g + 6. Let q be x(2). Does 5 divide v(q)?
False
Let v = 42 - 36. Suppose -464 = -10*h + v*h. Does 22 divide h?
False
Let h(z) = 8*z - 1. Let r be h(-3). Suppose -q + 11 = -5*i - 7, 15 = 2*q - 3*i. Is 7 a factor of (q - r/15)*3?
True
Let t be -10 - -2 - -1 - -1. Let o be (-1)/(2/(-6)*24/(-32)). Is 27 a factor of 3/t - 326/o?
True
Let x = -18 + 5. Let h = x + 21. Let q(w) = w + 18. Does 7 divide q(h)?
False
Let q(j) = j**2 + 6*j + 32. Let y(k) = -6*k**2 - 29*k - 162. Let n(b) = -11*q(b) - 2*y(b). Does 19 divide n(18)?
True
Let m(i) = -i**2 + 9*i. Suppose 0 = -4*x + 8 + 16. Is 8 a factor of m(x)?
False
Let z(x) = 4*x**3 - x**2 + 11*x - 6. Let y(l) = 5*l**3 - 2*l**2 + 12*l - 6. Let q(p) = 5*y(p) - 6*z(p). Suppose -11 = 4*a - 35. Is 11 a factor of q(a)?
False
Suppose 7 = -3*y + 31. Is 7 a factor of y - (3/9 + 14/(-6))?
False
Suppose 0 = -g - 2, -12 = 3*h - 4*g - 86. Let q(v) = -h*v - 13 - v**3 - 8*v - 13*v**2 + 16*v. Is 6 a factor of q(-12)?
False
Suppose -95 = -2*c - 5*u, -2*c = -7*c - u + 272. Suppose 279 = 5*y - h, -y + 2*h + c = h. Does 14 divide y?
True
Let x = -11 - -56. Let p = x - -51. Is p a multiple of 24?
True
Let h(a) = 27*a - 6. Let f be h(4). Suppose 0 = 5*z - 2*o - 327, 4*z - 182 = -4*o + f. Is 16 a factor of z + -3*(-3 + 4)?
True
Suppose -2*v + 3 = -v, v = -5*g + 18. Let a(m) = -2*m - 3. Let b be a(-4). Suppose -p - g*o + b*o = -35, 16 = -4*o. Does 9 divide p?
True
Let m(f) = 93*f + 60. Does 5 divide m(5)?
True
Is 10 a factor of (2612/8 - 3/(-2)) + 2?
True
Suppose 0 = 10*x - 13*x + 1368. Suppose -r = 7*r - x. Is r a multiple of 8?
False
Suppose -3*o - 22 = 5*k, -4*k + 0*o - 4*o = 24. Let w be 128 + (-4 - k/1). Suppose w = 24*q - 21*q. Is q a multiple of 7?
True
Is (-30)/(-150) - 2658/(-10) a multiple of 19?
True
Let n be 2/(-8) - (-1875)/12. Suppose -6*q - n + 1074 = 0. Suppose l + q = 4*l. Is l a multiple of 10?
False
Suppose -7*g = -2 - 47. Let w = 82 - g. Is 25 a factor of w?
True
Let h(t) = t**2 + 2*t + 1. Suppose -y - 15 = -6*y. Let a be h(y). Suppose -2*z + z = -a. Is z a multiple of 9?
False
Let q(s) = -161*s**2 + 1. Let i be q(-1). Let o = -133 - i. Is o a multiple of 9?
True
Let d(v) = 6*v - 22. Let p be d(12). Let g = p - -18. Does 17 divide g?
True
Suppose 4*n = 2*n + 254. Let z = -50 + n. Does 18 divide z?
False
Suppose 0 = -2*g + t + 159, 18 + 7 = -5*t. Is g a multiple of 7?
True
Let u(v) = -15*v - 12. Let b(f) = -14*f - 11. Let o(n) = 4*b(n) - 3*u(n). Does 17 divide o(-5)?
False
Let p(b) = -2*b - 7. Let z be p(-5). Suppose 4 = -i, -i - 4 + 0 = z*u. Is (u + 28)/(0 + 2) a multiple of 6?
False
Suppose -2*p + 137 + 583 = -4*q, -5*p + 1848 = 2*q. Is 23 a factor of p?
True
Suppose -2*l + 10 = 4*b + 3*l, -2*b + 2*l + 14 = 0. Suppose 10*w = b*w + o + 192, -4*w - 3*o = -146. Does 19 divide w?
True
Let t = -1 - -1. Suppose -2*a - 1 + 7 = 0. Suppose -b - 3*b + 280 = 5*m, t = -m - a*b + 56. Is m a multiple of 12?
False
Let t = -1784 + 2545. Is t a multiple of 13?
False
Suppose 0 = -27*d + 5*d + 39468. Is d a multiple of 37?
False
Is (-434 - 1)*(12/9 - 2) a multiple of 17?
False
Suppose 0 = -12*t + 30*t - 35100. Is 24 a factor of t?
False
Let t(b) be the first derivative of -b**3/3 - 9*b**2/2 - 13*b - 11. Let n(h) be the first derivative of t(h). Does 21 divide n(-15)?
True
Does 21 divide 2/(-2)*(8 + -525)?
False
Let o = 4388 - 2952. Does 48 divide o?
False
Let s(m) = -1. Let t(p) = -3*p + 3. Let z(q) = -5*s(q) + t(q). Suppose -4*h + 2 = 46. Is z(h) a multiple of 16?
False
Suppose 7 = 4*n - 1. Suppose -7*x + 1053 = n*x. Is 39 a factor of x?
True
Let l be 1/(((-3)/(-3))/2). Suppose -l*a + 3*a = 5*t + 29, 2*t + 14 = a. Suppose 7*y = a*y + 108. Does 18 divide y?
True
Let l(t) = t**3 - 11*t**2 + 5*t - 23. Is l(11) a multiple of 2?
True
Suppose -4*x = -3*x - 7. Let p be (x/(-4))/(3/(-12)). Suppose 3*d = 5*r + p*d - 74, 25 = 2*r - 3*d. Is 5 a factor of r?
False
Let i(u) = u**2 + 10*u - 19. Let t be i(-17). Is (33/(-22))/((-2)/t) a multiple of 10?
False
Let r = -2405 + 4912. Does 23 divide r?
True
Let b(y) = -5*y**2 + 12*y - 10. Let i(c) = 4*c**2 - 11*c + 10. Let k(t) = 5*b(t) + 6*i(t). Let d be (1 - 3)*((-90)/(-12) + -5). Is 15 a factor of k(d)?
True
Suppose -5*i = -0*i - 25. Suppose i*n + 0*g + 3*g - 37 = 0, -25 = -n - 5*g. Suppose n*p - 3*p = 80. Is 11 a factor of p?
False
Let j = 14 - 3. Is 7 a factor of 4/5*(4 + j)?
False
Let c be 0/(2 + -3) - 5*-20. Let q = 166 - c. Is q a multiple of 22?
True
Let c(j) = -361*j - 742. Is 58 a factor of c(-8)?
True
Let b be 3/(-12) - 959/(-28). Suppose -19 + b = 3*z. Let t(a) = a**2 + 9*a + 6. Does 10 divide t(z)?
False
Suppose -5*l - 3*s + 4998 = 0, 0 = l - 2*s - 354 - 656. Is 30 a factor of l?
False
Let h = 1935 + -696. Does 7 divide h?
True
Let h(s) = s**2 + s - 3. Let p be h(0). Let v be (p - 1)/4 - -68. Let b = v + -7. Is b a multiple of 15?
True
Does 39 divide -1 + -2 + 1 + (-3250)/(-25)?
False
Let i be ((-25)/10)/(2/(-4)). Suppose 5*u - l = 680, 2*u = -2*u - i*l + 515. Is u a multiple of 36?
False
Suppose -i = 3*p - 1998, -6*i + 2*p = -7*i + 1995. Does 17 divide i?
True
Let u be (-4)/(-3) - 0 - 10/(-15). Suppose 6*w - u*w - 320 = 0. Does 16 divide w?
True
Let r(a) = a**3 - 9*a**2 - 6*a - 7. Let z be r(11). Let d = z - 97. Is d a multiple of 12?
True
Does 18 divide (0 + 7 + -2)*(451 + 