5*c. Let i = c + y. Is i a multiple of 10?
True
Suppose -2*l - 5 = -3*a, 3*a - 6 = l + 4. Suppose -4*g + 23 = p, -p + l*p + 10 = g. Does 14 divide (-339)/(-9) - (-2)/g?
False
Let o(d) = 57*d - 3. Let l be o(3). Suppose 3*s - 72 = l. Suppose 0 = 2*p - 7*p + s. Is 8 a factor of p?
True
Suppose -4*z = i - 4*i - 115, 2*z = -3*i - 145. Let m = -31 - i. Does 7 divide m?
True
Let j(g) = g**2 - 18*g - 7. Let c be j(8). Let v = -22 - c. Does 19 divide v?
False
Let w(u) = u + 15. Let h be w(-10). Suppose -h*s - 18 = -v, -15 = 4*s - 9*s. Does 12 divide v?
False
Let v be 2/2*0/4. Is 15 a factor of (2 + v)*(-360)/(-16)?
True
Let d(p) = p**3 - 2*p**2 + 2*p - 1. Let v be d(2). Suppose 3*a - 141 = -v. Is a a multiple of 23?
True
Let n = 46 - -32. Suppose 0 = -u + 4*u - 5*k - 127, 5*k = 2*u - n. Does 16 divide u?
False
Suppose 0 = -25*j + 27*j - 288. Does 36 divide j?
True
Suppose -24 = -3*w + 33. Let d = 23 - w. Is d a multiple of 2?
True
Let n(q) = -q**2 - q + 1. Let o(f) = 5*f**2 + f - 1. Let t(i) = -6*n(i) - o(i). Does 16 divide t(4)?
False
Suppose h = 44 + 6. Is h a multiple of 10?
True
Suppose 5*o + 5*q - 545 = 130, 5*o = 2*q + 654. Is o a multiple of 22?
True
Let q(a) = 2*a**2 + a - 1. Does 18 divide q(5)?
True
Let r(v) be the first derivative of -v**4 + 2*v**3/3 + v**2/2 + 6. Is 2 a factor of r(-1)?
False
Let y(t) = -9*t - 3. Is y(-4) a multiple of 12?
False
Suppose 1293 - 237 = 11*l. Is l a multiple of 32?
True
Suppose 15 + 1 = -4*y, 5*u - 2*y = -707. Is 9 a factor of u/(-4) - (-8)/32?
True
Let n be (-35)/(-3) + 3/9. Let o be -4*1/(-1 + -1). Suppose w - o*w = -n. Does 10 divide w?
False
Let x be 711/6 - 2/(-4). Suppose -25 - x = -4*h. Is 14 a factor of h?
False
Suppose -7*y + y = -156. Does 26 divide y?
True
Let f = 15 + 29. Is 17 a factor of f?
False
Let w be 0 + 3/1 + -2. Let s be (2 - w)/((-1)/(-5)). Suppose -28 = -4*k + 3*q, s*k - 53 = -3*q - 18. Is 7 a factor of k?
True
Let i = -3 + 3. Let l(m) = 68*m**3 - m + 0 - 12*m**3 + m**2 + i. Is l(1) a multiple of 19?
False
Let r(y) = -y**3 - 6*y**2 + 3. Let k be r(-6). Suppose k*t = -2*t + 255. Does 17 divide t?
True
Suppose -341 = -4*b - 5*x - 39, -4*x + 154 = 2*b. Does 16 divide b?
False
Let u be 0/(-5) + (-12)/(-3). Let o(d) = -1 - 4*d**2 + 2*d**2 + d + 4*d**2. Is o(u) a multiple of 25?
False
Let r be -3 + 0 + 4 + 2. Suppose -r*g = -8*l + 3*l + 115, -4*l - 3*g + 119 = 0. Is 7 a factor of l?
False
Suppose -v + 3 = 6. Let b = v + 1. Does 2 divide 6 + b/(3 - 1)?
False
Let v(d) be the first derivative of 25*d**2/2 + d - 1. Is 16 a factor of v(1)?
False
Suppose 21 = -2*l + 5*o, 2*l - 2*o = -7*o + 29. Does 27 divide 2 + 77 - (l + -5)?
False
Let q be 1*(9 - -2)/(-1). Let v = -3 - q. Does 4 divide v?
True
Suppose 0 = -b + 4*b - 3*s - 24, -4*s - 28 = -3*b. Suppose -5*w + 64 = -b*w. Is 16 a factor of w?
True
Suppose 4*w + 260 = 3*n, -2*w + 348 = 4*n - 6*w. Does 11 divide n?
True
Let w = -15 + 33. Does 4 divide w?
False
Let g(c) = c**2 - 3*c - 46 + 44 + 4*c. Let j = -11 - -15. Does 18 divide g(j)?
True
Suppose 0*q = 5*q - 20. Let v be q/3*90/3. Let a = v - 26. Is 5 a factor of a?
False
Suppose -5*n = -2*i + 7*i - 335, -4*i - n = -262. Is i a multiple of 35?
False
Let v be 54/4*(-8)/(-6). Suppose 2*s + v = 112. Suppose -4*b + s = -89. Is 14 a factor of b?
False
Suppose -3*w + 5*w + 5*y - 9 = 0, -5*w + 66 = -2*y. Let v = -7 + w. Does 13 divide 388/10 + 1/v?
True
Let q(t) be the third derivative of t**6/120 - 2*t**5/15 + t**4/3 - 3*t**3/2 + 2*t**2. Let n be q(7). Is (2 + 1/n)*18 a multiple of 12?
False
Let z(w) = 3*w**2 - 7*w. Let y be z(5). Suppose -g - 4 = -2*g + 2*k, -4*k + y = 4*g. Is g a multiple of 4?
True
Does 14 divide (30/(-4))/((-1)/2)?
False
Let b = -51 + 84. Is 6 a factor of b?
False
Suppose 2*i - 276 = -4*i. Is 8 a factor of i?
False
Let n(t) = 2*t - 8. Let z be n(6). Suppose 3*w - 1 = z*w. Is (-25)/w - 6/3 a multiple of 10?
False
Suppose 0*w = 4*w - 400. Let j = w + -454. Is (2/(-4))/(3/j) a multiple of 15?
False
Let s(w) = -w**3 + 12*w**2 - 8*w - 8. Is 28 a factor of s(10)?
True
Suppose -3*y - y = -5*g + 40, 0 = 3*y. Is 8 a factor of g?
True
Let u = 40 - 26. Let j = 58 - u. Does 12 divide j?
False
Suppose 5*u - 50 = 5*q, 0*q + q + 4 = 0. Suppose -u = b - 16. Suppose -3*a - 2*w + 0*w = -16, -b = -5*a + 5*w. Does 2 divide a?
True
Let f(h) = h - 1. Let d be f(3). Suppose -d*l = -0*l - 18. Is 9 a factor of l?
True
Suppose 5*f - 4*a + 1 = 18, -5*a = -5*f + 20. Suppose -3*z - f = -7. Suppose -z*d + 4*d - 52 = 0. Is d a multiple of 14?
False
Let r = -5 - 0. Let z = r - -11. Is z a multiple of 6?
True
Let k be 2 - 2 - (-1 + -1). Suppose 2*w - 45 = k*t - 3*t, 181 = 5*t - w. Let n = t + -1. Does 17 divide n?
False
Is 4 a factor of 5 + 2/6*249?
True
Suppose i + 0*a = 4*a - 17, 0 = -2*i - 3*a + 10. Let c be 2 + i + 1 - 0. Suppose -5*n + p + 89 = -c*p, -2*n - 2*p + 26 = 0. Is n a multiple of 15?
False
Let n = 4 - 3. Let g be (3/4)/(3/12). Is 9 a factor of (n + (-1)/g)*33?
False
Let j = 189 + -91. Is 18 a factor of j?
False
Suppose -958 = -8*t - 382. Is 41 a factor of t?
False
Suppose 0 = -5*o + y - 1, -5*o + 0 = 5*y - 5. Suppose -15 - 84 = 3*a + 5*k, -3*a - 3*k - 93 = o. Let s = -20 - a. Does 5 divide s?
False
Let u = 23 - 21. Let j be (-4)/2 - (-5 + -1). Let a = j - u. Is 2 a factor of a?
True
Let a(j) = j - 2. Let b be a(6). Suppose -286 = -5*q - 0*q + b*p, -3*p = -2*q + 113. Suppose 2*t + 5*c - c = q, 3*t - c = 52. Does 7 divide t?
False
Let d(h) = 4*h**2 - h. Let k be d(1). Suppose -2*o - 22 = -k*o. Is 11 a factor of o?
True
Let d = -28 - -57. Is d a multiple of 7?
False
Let t = 4 - -24. Does 14 divide t?
True
Suppose -10*k + 16*k = 720. Does 20 divide k?
True
Suppose -18 + 50 = -4*o. Let p be (-426)/o + (-1)/4. Suppose 0 = -4*h + 3 + p. Is 7 a factor of h?
True
Suppose v = 4*l - 1, -5*v - 8 + 3 = 0. Let z(i) = -i**3 - i + 13. Is 7 a factor of z(l)?
False
Suppose 0 = k + 2, 0 = -2*z - z + 4*k + 14. Suppose 4*h + 11 = 3*x - 0*h, -16 = -4*x + 4*h. Suppose 0 = 4*v - 5*m - 151, m + x = z*m. Is 15 a factor of v?
False
Suppose 3*y + 0*w - w + 4 = 0, -y - 8 = -2*w. Suppose y = 5*j - 3*j + 20. Does 8 divide ((-2)/j + -1)*-20?
True
Let l = 9 - 7. Suppose -q - 12 = -l*q. Is q a multiple of 4?
True
Does 11 divide ((-50)/(-30))/(2/30)?
False
Let r(o) = o**2 - 10*o + 15. Is r(11) a multiple of 4?
False
Let g = 13 - 6. Let n(d) = 2*d + 4. Is 18 a factor of n(g)?
True
Is 21 a factor of (-21)/(-6)*12/2?
True
Let u be ((-6)/(-9))/(2/6). Suppose -2*d + d - 5 = 2*i, 0 = -5*i - 15. Is 15 + -2 + d + u a multiple of 11?
False
Suppose 4*y + 4*f - 212 = 0, 2*y + 3*y - 225 = 5*f. Does 23 divide y?
False
Suppose -4*f = -582 + 150. Is 29 a factor of f?
False
Suppose -4*b = 5*l - 360, -b + 101 = -0*l + 4*l. Let f = 131 - b. Does 14 divide f?
False
Let i(l) = -2*l**2 - 8*l + 33. Let x(r) = r**2 + 4*r - 16. Let d(u) = 6*i(u) + 13*x(u). Let w = 3 + -11. Does 11 divide d(w)?
True
Let c(u) = -28*u - 3. Is c(-2) a multiple of 18?
False
Let x = -11 - -8. Let t(y) = -8*y + 4. Is t(x) a multiple of 7?
True
Let s = -6 - -10. Let h = s + -24. Does 10 divide (h/(1 - 2))/1?
True
Suppose -4*o = 4*t + 4, 4*t = 4*o - 3*o - 14. Let f(d) = 3 - 4 + 2*d + 0*d + 8*d**o. Is 5 a factor of f(1)?
False
Let b = -150 - -90. Let y = b + 42. Let l = y - -58. Is 20 a factor of l?
True
Suppose -16 = -4*i + 4*f, 4*i = f - 4*f + 23. Suppose 0 = i*g - 46 - 14. Does 12 divide g?
True
Suppose -6*o + 5 = -103. Is o a multiple of 2?
True
Let x be -55*(1 - -2 - 6). Suppose 4*n - x = 75. Does 20 divide n?
True
Suppose -4*v = -0*v - 56. Is 14 a factor of v?
True
Is 5 a factor of (-4*305/(-60))/(1/3)?
False
Suppose -2*u + 7*d + 237 = 10*d, 5*u - 5*d = 555. Is u a multiple of 7?
False
Let i(t) = -t**2 - 8*t - 9. Let u be i(-6). Is 12 a factor of u/(-3) - -31 - 0?
False
Let p(w) = 7*w - 5. Let i = 0 + 5. Let m be p(i). Suppose 0 = -3*z + 9 + m. Is 13 a factor of z?
True
Let d(x) = x**3 - 7*x**2 + 11. Let z be (-23)/(-3) - 24/36. Is d(z) a multiple of 11?
True
Let v = 263 + -171. Is 23 a factor of v?
True
Let m = 194 + -109. Suppose 5 = 5*z - m. Is 6 a factor of z?
True
Suppose -u + 2 = 1. Is (-190)/(-6) - u/(-3) a multiple of 16?
True
Let x(s) = s**3 + 3*s + 3. Is x(3) a multiple of 4?
False
Let p(x) be the first derivative of 14*x**3/3 - x**2/2 + 4*x + 2. Does 35 divide p(3