ppose -2*u - 3*w - 2*w = -112, -u - 3*w = -55. Let y = u + h. Is 9 a factor of y?
True
Suppose -q = -0*j - 3*j - 93, 3*q = 4*j + 294. Let l = q - 64. Is 19 a factor of l?
True
Let d = -186 + 201. Does 3 divide d?
True
Suppose t + 3 = 4*t + 3*h, 2*t - h = 5. Let z be t + -44 + 1 + 1. Let r = 4 - z. Is r a multiple of 22?
True
Suppose 37 = 2*q - 0*q + x, x = -3. Is q a multiple of 6?
False
Let y(t) = 19*t**2 - t - 1. Suppose 4*f + 3*r + 5 = -5, -5*f = r + 7. Is y(f) a multiple of 11?
False
Suppose -v + 5*z - 20 = 0, v + 5*z - 11 = 9. Suppose -5*a = -4*a - 4. Suppose 5*q - 2*r - 26 - 184 = v, -2*q - a*r + 84 = 0. Does 14 divide q?
True
Suppose 0*p - 10 = -2*p. Suppose 0 = 5*z - 5*h, -4*z - p*h = z - 50. Suppose 0 = -z*s + 18 + 12. Is 3 a factor of s?
True
Suppose p + 5*z = 7, p = 2*p - 4*z + 2. Suppose -93 = -p*v + 5*b - 14, -v - 3*b + 34 = 0. Is v a multiple of 14?
False
Let i(o) = 6*o**2 + 11*o - 7. Is 22 a factor of i(-5)?
True
Let p be (-9)/(-5) - 1/(-5). Suppose p*z = -0*y + y + 8, 5*y + 4*z + 96 = 0. Let c = 35 + y. Does 7 divide c?
False
Let n(k) = k - 1. Let x be n(4). Suppose 4*t + 4*p = 40, x*t + 2 = 4*t + 5*p. Is t a multiple of 4?
True
Let n be 9*(-1 - 0)*-13. Let w = n - 70. Is w a multiple of 10?
False
Let h be 36/(-8) + 6/(-4). Let i be 5 - (0 + (-3 - h)). Suppose -i*c - 10 = -4*c. Does 2 divide c?
False
Suppose 4*z = 107 - 3. Suppose 4*m - z = -2*t + t, 3*m + 38 = 5*t. Is 9 a factor of t?
False
Suppose -5*z + 292 = -28. Suppose -3*b + 95 = 4*l, -b = -3*b - 3*l + z. Does 16 divide b?
False
Let q be (-14)/(-4*2/4). Suppose 0 = -2*v + q + 11. Suppose 2*j - 47 = v. Is 13 a factor of j?
False
Let c(o) = -7*o**3 + 6*o**2 - 2*o + 6. Let i(n) = 13*n**3 - 12*n**2 + 4*n - 13. Let z(g) = -11*c(g) - 6*i(g). Is z(5) a multiple of 20?
False
Suppose 10*c + 2 - 82 = 0. Is c a multiple of 8?
True
Let d(m) = -23*m + 3. Let v(a) = 24*a - 3. Let z(c) = 3*d(c) + 4*v(c). Does 17 divide z(2)?
True
Let v be ((-6)/8)/(4/(-144)). Let r = -1 + v. Is r a multiple of 8?
False
Suppose q - 3 - 2 = 5*m, 4*q - 5*m - 35 = 0. Let z = q - 5. Suppose -5*x - 45 = -z*i, 0 = -x - 2*x. Does 9 divide i?
True
Let l = -56 + 128. Is l a multiple of 3?
True
Suppose -o = -2*o + 2. Suppose -o*f + 4*f = 40. Is f a multiple of 13?
False
Suppose -5*q + 10*q = -3*b + 348, 4*q - 4*b - 304 = 0. Does 9 divide q?
True
Let c = 2 - 5. Does 11 divide (39/(-5))/(c/15)?
False
Let l = 105 + -2. Is l a multiple of 33?
False
Let q = -19 - -61. Does 8 divide q?
False
Let k(n) = 113*n**2. Let p be k(1). Does 8 divide (-26)/(-65) - p/(-5)?
False
Suppose -35*p + 330 = -33*p. Does 33 divide p?
True
Let o(n) = 20*n**2 + 2*n. Is 17 a factor of o(-1)?
False
Let p(v) = 7*v - 3. Is 47 a factor of p(25)?
False
Let r(u) = u**3 - 4*u**2 - 4*u. Suppose 5*s + 3*z = 23, 2*s + 3*z = 3*s - 1. Let l be r(s). Let g = l - -27. Does 11 divide g?
True
Let v(n) = -n**2 - 5*n - 1. Let h be v(-4). Let y(d) = -d**3 + 9*d**2 + 12*d - 10. Let w be y(10). Let c = h + w. Is 7 a factor of c?
False
Let x(u) = -3*u**2 - 8*u. Let j be x(-6). Suppose -n = 4*n - 430. Let g = j + n. Does 12 divide g?
False
Let x(p) = 29*p**2. Let f be -2 - (-1)/2*2. Is 19 a factor of x(f)?
False
Let j = 16 + 9. Is j a multiple of 4?
False
Let v = -91 - -183. Let h = 148 - v. Let r = h + -31. Does 13 divide r?
False
Let n(u) = 3*u**2 - 3*u - 8. Does 7 divide n(-3)?
True
Let n = 141 + -78. Is n a multiple of 21?
True
Let h = -137 - -237. Suppose 4*q = 4*l - h, 32 = l - 2*q + 5. Is l a multiple of 23?
True
Suppose 2*j = 2*g - 476, 2*g + 4*j - 480 = 7*j. Is 18 a factor of g?
True
Let n = -4 - -7. Suppose -4*k = -23 - 29. Let v = k + n. Is v a multiple of 7?
False
Suppose 1 - 5 = -o. Suppose 0*z + o*z = y + 45, 2*z = y + 21. Does 5 divide z?
False
Let l = 50 - -15. Is 13 a factor of l?
True
Suppose 5*f - 451 = 4*b, 0*b = -f - 5*b + 67. Is f a multiple of 29?
True
Let o(f) be the second derivative of -f**5/20 - 7*f**4/12 + f**3/3 - f**2 + 5*f. Is o(-8) a multiple of 10?
False
Suppose -3*l = -4*p + 433, 3*p - 105 = -4*l + 251. Suppose -4*g = b - 67, -5*g = -2*b + 48 + p. Is b a multiple of 25?
True
Let c be (0 + -6)*(3 + -1). Is 3/(-9) - 220/c a multiple of 9?
True
Suppose -5*l - 6 + 46 = 0. Is l a multiple of 8?
True
Let j(r) = -225*r + 126. Let l(h) = -41*h + 23. Let d(x) = -5*j(x) + 27*l(x). Does 13 divide d(4)?
False
Let f be 1 + (-2)/((-6)/(-45)). Let z = -10 - f. Is z a multiple of 2?
True
Suppose 0 = 3*g + 3, -3*l - 3*g + 5 - 2 = 0. Suppose -l*b = 3*b - 50. Let u = b - -10. Is 7 a factor of u?
False
Suppose -2*h + 0*c - 3*c + 51 = 0, 5*h - 138 = 3*c. Is 27 a factor of h?
True
Let s = 5 + 43. Does 21 divide s?
False
Let j(a) = a**3 - 11*a**2 + 9*a + 9. Let s be j(10). Is s/(1/3) - -13 a multiple of 10?
True
Suppose -5*t + 38 = -4*s, -15 = -2*t - t + 5*s. Suppose 0 = p + p - t. Does 2 divide p?
False
Let i(h) = -6*h - 90. Is i(-22) a multiple of 2?
True
Suppose -h + 5*b - 8 = 0, 0*h - 6 = -4*h + b. Suppose -2*a - h*t + 223 = 3*a, 3*a + 4*t - 145 = 0. Is a a multiple of 18?
False
Suppose 14 = -4*p - 38. Let d = p + 37. Is 12 a factor of d?
True
Let n(i) = i + 20. Let u be n(-10). Suppose -u + 5 = -5*r. Is ((-15)/(-6))/(r/6) a multiple of 5?
True
Is 9 a factor of 1 + (2/(-7) - (-1795)/35)?
False
Let l = -23 + 14. Let u be ((-148)/6)/((-6)/l). Let a = 60 + u. Does 13 divide a?
False
Let i be -3 + 1 - 279/9. Let a = 51 + i. Is a a multiple of 9?
True
Suppose l - 20 = -3*l. Suppose -l*s + 126 = -24. Is 15 a factor of s?
True
Is 121/6 - 2/12 a multiple of 10?
True
Suppose 27 - 3 = -l. Let c = 36 - 87. Let s = l - c. Is 11 a factor of s?
False
Suppose u + 3*u - 3*y - 198 = 0, -5*y - 245 = -5*u. Is u a multiple of 23?
False
Suppose 0 = 2*g - 6 + 4. Suppose f = 5 + g. Suppose -2*d + f = -4. Does 4 divide d?
False
Let f(q) = -2*q + 3. Let o be f(4). Let p(b) = -b**3 - 3*b**2 - 3*b - 2. Is p(o) a multiple of 21?
True
Suppose -p + 5*p + 96 = 0. Let o = 50 + -11. Let l = o + p. Does 14 divide l?
False
Let j be ((-1)/2)/((-1)/(-2)). Let d = j - -1. Suppose 3*w = -d*w + 15. Is 4 a factor of w?
False
Let r(h) = -h + 4. Let q be r(0). Suppose 0 = -q*w + 16, 0*w - 2*w = 4*j - 20. Does 10 divide (1 - j)*1 - -12?
True
Let p(o) = 3*o**2 + 2*o - 2. Let s = -13 - -9. Does 18 divide p(s)?
False
Let v = 53 - -1. Does 18 divide v?
True
Suppose -2*d = -2*q, 1 = -3*q + 4. Let p = 24 - d. Is p a multiple of 14?
False
Suppose -5*s + 4*m - 12 = 0, -9 = 3*s - 8*s - 3*m. Let c be (0 - -1) + -1 + s. Suppose -4*j + 4*d = -20, -5*d + c = 3*j + 9. Does 2 divide j?
True
Suppose -5*d = -258 - 842. Is 23 a factor of d?
False
Let p(n) = 2*n**2 - 9*n + 5. Is p(5) a multiple of 4?
False
Let x(u) = 10*u**2 + 2 + 4*u**3 - u - 3*u**3 + 2. Is 3 a factor of x(-10)?
False
Suppose 0*u = 4*u + 2*b - 34, 0 = -2*b + 6. Does 3 divide u?
False
Suppose 0 = -2*n - 5*n + 700. Is 10 a factor of n?
True
Let j = 10 + -7. Let k be (-36)/((6/4)/(-3)). Suppose 0 = j*o - 6*o + k. Is 17 a factor of o?
False
Let l(f) = -4*f + 7. Let p(u) = u. Let q(m) = -l(m) - 3*p(m). Let h be q(5). Is 9 a factor of (-315)/(-20) - h/8?
False
Suppose 3*l = -3*j + 177, 3*l - 6*l = -3*j - 153. Suppose 4*s - 5 = l. Let g = -6 + s. Is 3 a factor of g?
True
Let d(g) = g**3 - 3*g**2 + g. Let j be d(3). Suppose -t + 3 = u, -2*u - 16 = -j*t + 2*u. Suppose 2*s = t*a - 80, -2*a - s = -3*a + 21. Is a a multiple of 11?
False
Let o(c) = c**2 + 18. Is 6 a factor of o(0)?
True
Suppose 4 + 32 = 2*w. Does 10 divide w?
False
Let x = 5 + 82. Is 29 a factor of x?
True
Suppose 10*k - 3*k - 1204 = 0. Is 43 a factor of k?
True
Suppose 0 = 5*w - w - 12. Suppose 3*c = -c + h + 121, 3*c - 84 = w*h. Does 25 divide c?
False
Let h = 6 - 3. Suppose 4*t = -5*p - 39 + 121, -h*t = 2*p - 58. Does 9 divide t?
True
Is 15 a factor of 4*2/((-8)/(-15))?
True
Suppose -n + 4*l - 3*l + 6 = 0, 2*n = -5*l + 47. Is 6 a factor of n?
False
Let m = 62 - 28. Does 19 divide m?
False
Let n = -429 - -243. Let s be ((-2)/(-3))/((-2)/n). Suppose -4*b + b + s = c, 2*c = 4*b - 66. Is b a multiple of 8?
False
Let r be (2 - -1)*1/(-3). Let c = r + 3. Is 0 - (c - 0) - -44 a multiple of 14?
True
Let z(i) = -i. Let n be z(-1). Suppose 13 - n = 3*o, -o + 13 = y. Suppose -y - 33 = -3*p. Does 5 divide p?
False
Let z = -1 - -3. Is (8 - z)*26/6 a multiple of 26?
True
Let n(s) = 11*s + 1. Let