 j = 23 - 11. Suppose -2*v = 2*v - j. Suppose -v*c = -2*t - c + 32, 50 = 4*t + 3*c. Does 14 divide t?
True
Let p be (-1)/((-2)/(-2))*-12. Let q be (-1 + 5)*(-5)/(-10). Suppose -f = -q*f + p. Is 12 a factor of f?
True
Let i(g) = -2*g + 16. Is i(-7) a multiple of 15?
True
Suppose 232 = 2*a - 4*d, 4*d + 3 + 1 = 0. Is 21 a factor of a?
False
Let f = 26 - 12. Is 7 a factor of f?
True
Is 14 a factor of 2/(-3)*(-207)/6?
False
Let s(a) = a**2 - 16*a - 32. Is s(22) a multiple of 20?
True
Let c(m) = m**3 - 2*m**2 - 6*m + 4. Suppose -4*z + 14 + 2 = 0. Is 4 a factor of c(z)?
True
Let s = -8 + 21. Suppose -4*n + 66 = 5*v, -2*n + s = -n + 3*v. Let y = -10 + n. Is 7 a factor of y?
False
Suppose m = -2*m + 9. Suppose -2*r - 20 = -3*y + m*r, -2*r = -3*y + 26. Is 10 a factor of y?
True
Suppose 132 = 5*j + j. Does 16 divide j?
False
Let n(i) = i**2 + 5*i - 2. Let a be n(-7). Let m = -7 + a. Suppose -m*r - 107 = -3*s, 5*s - 6*r + 2*r = 187. Is 22 a factor of s?
False
Suppose 66 = -3*m + 180. Suppose 2*w - 55 = 73. Let d = w - m. Is d a multiple of 13?
True
Let o(x) = x**3 + 10*x**2 + 6*x - 6. Let w be o(-8). Let l = 30 - 29. Suppose w = 3*n + z, 2*z - 11 = -l. Does 14 divide n?
False
Suppose 0*a = -5*o + 5*a + 45, 5*o + 4*a = 27. Let y(c) = c**2 - 8*c + 10. Let f be y(o). Suppose f*w + 37 = 4*w. Does 20 divide w?
False
Suppose 8*q - 576 = 6*q. Is q a multiple of 12?
True
Let k be (-48)/(-10) + (-11)/(-55). Suppose -9 = 4*c - k*c. Is 3 a factor of c?
True
Let b(w) = -w**3 - 2*w**2 + 3*w - 4. Let a be b(-3). Is 15 a factor of -15*(-2 - a - 3)?
True
Suppose 0*a - 2*a = 8. Does 13 divide (16/(-12))/(a/126)?
False
Let y = -6 + 8. Suppose -y*p + 0*p = -32. Does 6 divide p?
False
Let o = 4 + 1. Suppose n - o*n + 128 = 0. Is 32 a factor of n?
True
Let d be 4*-2 + (-1 - -3). Let z(q) = -q**3 - 6*q**2 - 5*q - 1. Is 9 a factor of z(d)?
False
Suppose 2*j + 5 = -17. Let i = 43 + j. Is (i - 2)*2/6 a multiple of 3?
False
Let d = 135 + -68. Let c = 100 - d. Is c a multiple of 11?
True
Suppose -z + 60 = -5*q + z, -q + z - 12 = 0. Let y = 34 + q. Is 11 a factor of y?
True
Let z(g) = g**2 + 6*g. Let k be z(-6). Suppose -3*a - 3*v = -30, k*a + a = v. Is a a multiple of 5?
True
Suppose 3 = -s + 2. Let l(y) = -19*y - 1. Let o be l(s). Suppose 0 = -2*j + 3*r + o, -3*j = 4*r - r - 42. Is j a multiple of 6?
True
Let m = -238 - -406. Is 28 a factor of m?
True
Suppose 5*k - 4*j + j = 260, -4*j - 200 = -4*k. Is k a multiple of 11?
True
Suppose -2 = s - 8. Suppose 0*a + s = 3*a. Let v = 8 + a. Is v a multiple of 5?
True
Let g(f) = -10*f + 1. Let a be g(1). Let q(t) = -6*t - 5. Let x be q(a). Let k = 85 - x. Does 15 divide k?
False
Let h = 25 + -18. Is h a multiple of 7?
True
Suppose 4*u - 389 = 71. Suppose 5*k - u = -4*p, k - 2*p - 2*p = 47. Is k a multiple of 9?
True
Suppose -u + 10 = -3*g - 0*u, -g - 12 = 4*u. Let b(f) = -5*f + 1. Is b(g) a multiple of 21?
True
Let t(h) = 3*h**3 + 2*h**2 + 2*h. Let z(p) = 3*p**3 + 3*p**2 + 3*p. Let j(v) = 4*t(v) - 3*z(v). Is 7 a factor of j(2)?
False
Suppose 2*r + 34 = -2*o + 6*r, 0 = -r + 2. Let j = -2 - o. Is 3 a factor of j?
False
Suppose 4*c = -4*p + 2*c + 192, 0 = -5*c + 10. Does 18 divide p?
False
Is 23 a factor of (-3 + 2)*-3 - 236/(-2)?
False
Suppose -4*t = -3*d + 23, -d - 2*t + 16 = -5*t. Let j(s) = 13*s**2 - 2*s + 1. Does 8 divide j(d)?
False
Suppose v + 2*l + 134 = -2*v, 4*v + l = -182. Is 25 a factor of 2 + (4 - 2 - v)?
True
Let z = -211 + 309. Does 7 divide z?
True
Suppose 3*q + 91 = 3*i + 2*q, -i - 2*q = -28. Does 15 divide i?
True
Let t be (4/5)/(9/45). Suppose 0*s + t*s = 40. Does 5 divide s?
True
Let x(z) = -9*z + 27. Let w(n) = -5*n + 13. Let q(r) = -7*w(r) + 4*x(r). Is q(-12) a multiple of 21?
False
Suppose -6*n + 14 + 70 = 0. Suppose -3*x = -2*m + n, -2*m - 3*x = -14 - 24. Does 3 divide m?
False
Let v = -20 + 10. Let l(u) = -u**2 - 11*u - 8. Let n be l(v). Is n/(((-8)/3)/(-4)) a multiple of 3?
True
Suppose -4*m + 350 = 54. Suppose -5*w + m = 3*c + 3, 4*c - 36 = -3*w. Suppose 0 = -4*o + w + 28. Is 5 a factor of o?
False
Suppose -2*c - 3 = -17. Suppose 0 = 3*q + 2*o - c*o - 20, -3*o = -6. Does 9 divide q?
False
Let a(n) = n**3 + 4*n**2 - n + 1. Let p be a(-4). Let f(v) = -4 - p + 3 - 6*v. Does 11 divide f(-5)?
False
Suppose 3*r - b = -6*b - 13, 4*r = b + 21. Suppose r*c - 13 = 3. Suppose 5*u + 4*d - 60 = 0, 0*u - c*d = -5*u + 60. Is 6 a factor of u?
True
Let v = 12 - 4. Suppose -v*q + 6*q = -60. Is 10 a factor of q?
True
Does 10 divide (-4)/(-10) - 1218/(-30)?
False
Let v = -19 + 21. Does 5 divide (1 - 2)/(v/(-50))?
True
Let g = -1 - 7. Let l be 4/5*(-20)/g. Suppose -i + b + 15 = 2*b, l*i = b + 33. Is i a multiple of 16?
True
Suppose -l + 10 = 3*v, 5*l + 29 = 2*v - 6. Suppose 0*s = -2*s + v*k + 87, -3*s - 3*k = -78. Is 9 a factor of s?
False
Suppose 0 = k + 5 - 13. Suppose -3*q - 2 = 5*u, -u - 3*u + q = -12. Suppose -18 = -u*g + k. Is 8 a factor of g?
False
Let d = 15 + -11. Suppose -d*t = -4*f + 4, 4*t + 0*t + 11 = -3*f. Does 17 divide 0 - ((-2 - t) + -17)?
True
Let a = 55 - 37. Is 7 a factor of a?
False
Let l(z) = z**3 - 5*z**2 + 2*z + 3. Is 2 a factor of l(5)?
False
Suppose 1240 = 25*h - 20*h. Does 13 divide h?
False
Does 21 divide ((-21)/14)/((-3)/168)?
True
Let l = 112 - -59. Suppose o + 2*f = 62, 5*o - 2*o = -f + l. Is o a multiple of 13?
False
Let k(w) = 2*w**3 - 1 - w**3 - 4*w**3 - w**2 + 3. Does 11 divide k(-2)?
True
Let p(x) = -x**3 - 5*x**2 - 6*x - 5. Let g be p(-4). Let d(y) = 6*y - 4. Is 7 a factor of d(g)?
True
Suppose 3 = 2*p - 3. Does 11 divide 77/4 + p/(-12)?
False
Does 6 divide (3*6)/((-3)/(-6))?
True
Suppose -158 = -3*y - 2*c, -6*y = -2*y + 5*c - 213. Is y a multiple of 13?
True
Suppose 0 = -17*f + 423 + 631. Is f a multiple of 62?
True
Let r(m) = 8*m**2 - 7*m - 7. Is 14 a factor of r(-3)?
False
Let q be 3/(3/6*3). Let d = -14 + 36. Let t = d + q. Is 9 a factor of t?
False
Suppose -4*i + 93 = -51. Is i a multiple of 9?
True
Let d(z) = -z**3 + 6*z**2 - 3*z + 6. Does 12 divide d(3)?
True
Suppose -3*z + 2*z = 0. Let y(n) = n - 7 + 5 + 9. Is y(z) a multiple of 7?
True
Let s = -257 - -361. Suppose 2*j + 2*j = s. Does 13 divide j?
True
Let l(q) = -9*q - 49. Is l(-6) a multiple of 5?
True
Let d be 2/(-12) - 99/54. Let u be d + (0 - -16) - -1. Suppose -2*k = -k - u. Does 5 divide k?
True
Let n = -17 - -63. Is 17 a factor of n?
False
Is 25 + (-11 - -4) + 4 a multiple of 4?
False
Let h = 86 + -46. Suppose a = -0*a + h. Is a a multiple of 12?
False
Let f = -16 + 37. Let l = 3 + f. Does 16 divide l?
False
Let o = -4 + 1. Is 21/o*(0 - 1) a multiple of 5?
False
Let u be (-3)/(6/20)*-7. Suppose -4*c + 9*c - u = 0. Does 8 divide c?
False
Suppose -2*z - 2 - 4 = -5*h, 3*z = 5*h - 4. Suppose 281 + 43 = 4*l - r, 0 = 5*l + z*r - 405. Suppose l = -b + 4*b. Does 12 divide b?
False
Let o be 2 + 1/((-2)/8). Is ((-8)/10)/(o/50) a multiple of 11?
False
Let s be 0/(0 + -2 - -4). Let m = s - -1. Does 9 divide m/(-2) + (-57)/(-6)?
True
Let y(h) = -h**3 - h**2 + 2*h + 2. Let o be y(-3). Suppose -r + 5*b + 60 = 0, r = -4*b - o + 47. Does 15 divide r?
True
Suppose -a + 2*a - 21 = -3*u, 5*u = 3*a + 21. Suppose 4*v - 2*t = 286, 69 = v + 3*t - u. Is v a multiple of 18?
True
Suppose 2*q + 68 - 552 = 4*n, -4*q = -5*n - 974. Is 31 a factor of q?
False
Suppose 0*d - 5*d = -25. Suppose -d*r + 132 = -4*m, -3*m = -2*r + 38 + 12. Is 5 a factor of r?
False
Suppose -q = -2*q. Let y(l) = 5*l**2 + 4*l - 26. Let z(k) = 4*k**2 + 3*k - 26. Let t(r) = 3*y(r) - 4*z(r). Does 13 divide t(q)?
True
Let w(f) = -f**2 + f + 1. Let q(i) be the second derivative of -29*i**5/20 - i**4/2 + 5*i**3/6 + 3*i**2 + i. Let p(v) = q(v) - 6*w(v). Does 10 divide p(-1)?
True
Let v(g) = 14*g - 48. Is 30 a factor of v(24)?
False
Suppose -10 = g + r + 14, 2*r - 92 = 5*g. Let w = g + 23. Is w a multiple of 3?
True
Let j be 40324/18 + 2/(-9). Is 30 a factor of (-4)/(-10) + j/25?
True
Suppose 0*i = s - i, 0 = s - 2*i - 3. Let u = s - 2. Let x(z) = -z**3 - 5*z**2 - 3*z + 3. Is x(u) a multiple of 9?
True
Let v(q) be the third derivative of q**4/8 + q**3/6 + 10*q**2. Let y be (-4)/10 + (-51)/(-15). Is v(y) a multiple of 4?
False
Suppose -5*h + 91 + 49 = 0. Let w = 61 - h. Does 11 divide w?
True
Let h be -2*(3 - 8) - 2. Let r = 13 - h. Is 2 a factor of r?
False
Is 19/76 + (-647)/(-4) a multiple of 