
Let g(a) = -2*a - 7. Let k be g(-5). Suppose -k*q - 7 = -4*q. Suppose 2*n - q = 3. Is 2 a factor of n?
False
Let m(r) = -6*r**2 + 17*r - 3. Let n(v) = v**2 - v + 1. Let x(i) = m(i) + 5*n(i). Let c be x(9). Suppose -s = -0*s - 5*a - c, -2*a = 5*s - 64. Does 13 divide s?
False
Let y(k) = -k**2 - 15*k - 17. Is y(-8) a multiple of 10?
False
Let a(g) = g**2 + 5*g. Let b be a(-6). Let c = b - -1. Does 5 divide c?
False
Let p = 31 + 17. Let k = p + -23. Is k a multiple of 20?
False
Let f be (-8)/28 + 4/14. Let x be 0/(-1) + (32 - 1). Suppose 5*t + 1 - x = f. Is 3 a factor of t?
True
Suppose 0 = 13*d + 209 - 1509. Does 39 divide d?
False
Let a(k) = 4*k**2 + 3*k - 5. Let f(g) = -5*g**2 - 2*g + 5. Let j(y) = 4*a(y) + 3*f(y). Is j(4) a multiple of 11?
False
Suppose -9*a + 5*a + 96 = 0. Does 8 divide a?
True
Let n(u) = -2*u + 3. Suppose 5*g = 4*g - 13. Let o = 5 + g. Is 13 a factor of n(o)?
False
Suppose -3*f = -2*c + 1376, -5*f - 2330 = c + 3*c. Does 13 divide f/(-12) - (-1)/(-2)?
False
Let a = 31 - 47. Let h = 0 - a. Is 14 a factor of h?
False
Let t(w) = w**3 - 4*w**2 + 3*w + 2. Let z be t(3). Let i be 4/(-18) - 290/(-90). Suppose 3*n - 4*b + 6*b = -z, 0 = i*n + b - 2. Does 2 divide n?
True
Let d be (-261)/(-7) - 2/7. Let n(o) = -2*o**2 - 4*o + 5. Let m be n(-4). Let y = d - m. Is 17 a factor of y?
False
Let r = -9 - -11. Suppose 0 = r*l - 68 + 8. Is 8 a factor of l?
False
Let t be (22/(-3))/(4/(-6)). Suppose -t = -x - 3*a, 0*x - 5*x + 2*a = -4. Let l(k) = k**3 - k**2 + 3*k - 1. Is l(x) a multiple of 9?
True
Let o be 17 - (3 - (-2 + 4)). Let l = -2 + o. Does 7 divide l?
True
Is -98*((-15)/(-6) + -2)/(-1) a multiple of 12?
False
Suppose -w - 9 = -10. Does 4 divide w/7 + (-264)/(-14)?
False
Let n = -2 + 4. Suppose -5*l = n*t - 111 + 30, 3*t = -5*l + 129. Suppose -19 = 5*d - 2*p - 107, 0 = 4*d + 4*p - t. Is 8 a factor of d?
True
Suppose 2*w + 0*v - 190 = -2*v, 4*w - v - 380 = 0. Is 19 a factor of w?
True
Suppose -7*t = -3*t - 256. Suppose 7*n - t = 3*n. Is n a multiple of 4?
True
Let a(z) = 11*z**3 - 6*z**2 - 7*z + 20. Let j(h) = -4*h**3 + 2*h**2 + 2*h - 7. Let s(d) = -3*a(d) - 8*j(d). Is s(3) even?
True
Let l = 19 + 20. Does 39 divide l?
True
Let f be ((-8)/(-6))/(2/(-468)). Let t = f - -464. Is 6/21 + t/7 a multiple of 12?
False
Is ((-11)/33)/(2/(-312)) a multiple of 13?
True
Suppose 0 = -19*f + 24*f - 535. Is f a multiple of 41?
False
Let l(h) = -10*h**2 + 7*h - 6. Let v(w) = -w**2. Let d(r) = -2*l(r) + 18*v(r). Does 24 divide d(10)?
True
Suppose 2*l - 4*j - 24 = 3*l, -4*j + 40 = -3*l. Let d = l - -26. Is 5 a factor of d?
True
Let z = 7 - -3. Suppose 4*i + 5*b - 3 + z = 0, 1 = -4*i - 3*b. Is ((-5)/2)/(i/(-4)) a multiple of 5?
True
Let w = -1 + 4. Suppose -39 - 27 = -w*n. Is 8 a factor of n/3 - 4/(-6)?
True
Suppose -x - 5 = -2*x. Suppose 10 = x*d - 3*d. Does 2 divide d?
False
Let d = 8 + -24. Let u be ((-250)/8)/(4/d). Suppose -h - u = -6*h. Is h a multiple of 12?
False
Let f(i) = i + 11. Let u be f(-11). Suppose -w + 3 = -u. Suppose 5*n - q = 142, 0 = 5*n - 0*q + w*q - 134. Is 14 a factor of n?
True
Let c = -17 + 57. Is 35 a factor of c?
False
Suppose -4*o = -5*w, 3*o - 4*w + 2 = 3. Is -9*1/5*o a multiple of 9?
True
Suppose -38 + 178 = -2*c. Let r = -44 - c. Suppose 70 = 3*z - r. Does 11 divide z?
False
Suppose 3*h = -0 + 6. Suppose 2*f + 0*f = -h. Let d = 3 - f. Is 3 a factor of d?
False
Let t(a) = a + 8. Let j be t(-15). Let k(d) = -d**2 - 14*d - 1. Is 12 a factor of k(j)?
True
Let w(j) = j - 4*j - 9 + 0. Let o be w(-6). Let z = o - -6. Is 8 a factor of z?
False
Let h = 174 - 108. Does 26 divide h?
False
Suppose 2*s + 10 = -5*t, -2*s + 3*t - 8 - 2 = 0. Let o = -23 - -38. Let w = o - s. Is 10 a factor of w?
True
Let p = -14 + 32. Is p a multiple of 12?
False
Suppose 0 = -3*v - 21 - 0. Let s(q) = 5*q**2 + 7*q + 4. Let a(l) = -11*l**2 - 14*l - 7. Let i(b) = 4*a(b) + 9*s(b). Is i(v) a multiple of 8?
True
Let l(v) = -9*v - 8. Let k(t) = t**2 + 7*t + 6. Let p be k(-4). Is l(p) a multiple of 23?
True
Let t = -282 - -441. Is t a multiple of 41?
False
Let x(a) be the third derivative of -a**4/4 + a**3/3 + 3*a**2. Does 16 divide x(-5)?
True
Suppose 12 = 3*u, -2*s + 4*s + 4*u + 2 = 0. Is s/(-3) + 24 + 1 a multiple of 10?
False
Suppose 4*l - 37 = -3*t, 5*l - t - 28 = 42. Let v = l - -3. Does 6 divide v?
False
Let a(j) = -21*j - 6. Let v be (-3)/(-18) + 76/(-24). Is 19 a factor of a(v)?
True
Suppose 0*r + 2*c + 52 = 3*r, -5*c - 42 = -2*r. Is r a multiple of 16?
True
Let n(o) = 7*o + 43. Is n(7) a multiple of 12?
False
Let m(x) = x**3 + x**2 - 4*x - 1. Let p be m(2). Let g(y) = 2*y**2 - y + 1. Is g(p) a multiple of 10?
False
Let m(h) = h**3 + 5*h**2 - h - 3. Let u be m(-5). Suppose 5*o = 4*s - 32, u*o + 8 = -0. Is 6 a factor of (-6)/(-5)*(8 - s)?
True
Let k(o) = 32*o. Let h be k(3). Suppose -4*b + b + h = 0. Does 16 divide b?
True
Suppose o + 2*o - 46 = -2*w, o = -3*w + 69. Suppose -w + 3 = -4*b. Suppose -6 = 3*k - 3, k = -b*h + 69. Is h a multiple of 14?
True
Let m = 9 - -33. Is 21 a factor of m?
True
Let m(d) = 4*d. Let p be m(1). Let u(x) = x**3 - 3*x**2 + 2*x - 2. Let g be u(p). Suppose -4*q = -2*s + g, -s + q + 8 = -1. Does 5 divide s?
False
Let z(w) = 8*w + 29. Let k(s) = -3*s - 10. Let n(b) = 11*k(b) + 4*z(b). Is n(-9) a multiple of 3?
True
Let z(p) = -7*p + 40. Does 8 divide z(-9)?
False
Suppose 4*w = w + 60. Is 6 a factor of w?
False
Suppose 4*l = 4*z + 20, -z - 16 = -4*l + z. Let u = 5 - l. Is 11 a factor of 19 + 0*1/u?
False
Suppose 2*y = -7 - 193. Let o = y - -157. Does 23 divide o?
False
Let t = 28 + 10. Is t a multiple of 19?
True
Suppose -13*i = 2*i - 270. Does 3 divide i?
True
Suppose 0 = -2*r - 3*b + 79, 0 = 5*r - 8*r - 5*b + 117. Suppose 3*l - 2 - 2 = d, l - 13 = -2*d. Suppose i = d*a + 9 - r, 0 = -a + i + 7. Does 2 divide a?
False
Suppose 12 = 3*f + f. Suppose f*m = -m + 36. Is m a multiple of 9?
True
Let x(s) = 10*s**2 + 21*s + 4. Is 9 a factor of x(-3)?
False
Suppose 0 = -5*k - 3*x - 2*x + 40, 4*k - 2 = 2*x. Suppose 0*p - k*p = 3. Is (3/(-6))/(p/72) a multiple of 15?
False
Let n(c) = c**3 - 4*c**2 - 7*c + 5. Let k be n(5). Let a(p) = p**3 + 5*p**2 + 4*p + 2. Let i be a(k). Let r = -3 - i. Is r a multiple of 6?
False
Let k(a) = a**3 - 7*a**2 + 5*a + 8. Let p be k(6). Suppose -p*h = -1 - 5. Suppose -39 = -3*b - h. Does 12 divide b?
True
Let y(t) = -t**3 + t**2 + t - 112. Let x be y(0). Let l = -76 - x. Is l a multiple of 9?
True
Let m(w) = -w**2 - 4*w + 7. Let z be m(-6). Is 11 + (-1 + -2 - z) a multiple of 4?
False
Suppose -4*r + 12 = 2*a - 36, 4*r = 16. Let n = a - 5. Does 11 divide n?
True
Let v(r) be the second derivative of r**3/6 + 21*r**2/2 - 4*r. Is 3 a factor of v(-11)?
False
Suppose 73 = -4*m + 609. Does 23 divide m?
False
Let z(l) = -l**3 + l**2 + 1. Let s be z(2). Let r = s - -8. Is 2 a factor of r?
False
Let l(a) = 4*a**2 + 3*a - 12. Does 38 divide l(-6)?
True
Suppose -7*d + 870 = -2*d + g, 0 = -5*g. Does 29 divide d?
True
Let w = -77 + 112. Is w a multiple of 15?
False
Suppose 0 = -4*f - 27 - 1. Suppose 44 + 56 = -5*d. Let g = f - d. Is 13 a factor of g?
True
Suppose -v - 11 = -4*i - 4*v, -3*v = i + 4. Let d be (2 - 3)*(3 - i). Suppose -75 = d*c - 5*c. Does 25 divide c?
True
Suppose -3 = 4*z - 3*z. Let r = 15 + z. Let d = r - -6. Is d a multiple of 9?
True
Let h = -22 + 14. Is (-12)/h*11*2 a multiple of 9?
False
Is 15 a factor of 182/3 - 12/18?
True
Let y = 1 - 0. Let w = 5 + y. Let o = w - 4. Is 2 a factor of o?
True
Let t(q) = q**2 + 7*q - 6. Let v be t(-8). Suppose 2*f + 5*k = 91, 3*k = v*f - 8 - 107. Is 20 a factor of f?
False
Let v = 20 + -7. Is 13 a factor of v?
True
Let b = 9 - 7. Let c(i) = -i**3 - 6*i**2 - 5*i - 8. Let j be c(-6). Suppose -b - j = -3*g. Is 4 a factor of g?
True
Let b(k) = 3*k - 21. Let h be b(15). Is 6 a factor of ((-16)/h)/(1/(-9))?
True
Suppose -5*x + 8 - 89 = q, 92 = -2*q + 4*x. Let h = 101 + q. Suppose -4*p = -11 - h. Is p a multiple of 6?
False
Suppose 0 = r - 0*r + 4. Let j be (-16)/r - (2 + -1). Suppose -j*p + 24 = p. Is p a multiple of 3?
True
Let a(t) = t**2 - 2. Let q be a(-4). Suppose -3*r = m - 19, 0 = -3*r + 4*m + q. Does 3 divide r?
True
Suppose -3*d = -4*d + 36. Does 9 divide d?
True
Let s = 40 + -23. Let u = s + 0. Is u a multiple of 4?
False
Let g be (-4)/(-14) - (-472)/14. Let p = 58