0 = -4*p, -p + 6*p = -3*f + 42. Let l = f + b. Is 6 a factor of l?
True
Let l(m) = 2*m**3 - 2*m**2 - 1. Let o be l(2). Suppose 2 = a - o. Let g = -1 + a. Does 8 divide g?
True
Let w be (-2)/(1*(-3)/156). Suppose 3*p - 131 = -5*r, -5*p + 3*p = 4*r - w. Is r a multiple of 12?
False
Suppose -3*k + 3*l = -9, 5*l - 3 + 6 = 2*k. Suppose -240 = -x - k*x. Is 16 a factor of x?
True
Let t be 14/35 - 13/(-5). Suppose 0*m - t*v = 2*m + 12, -3*v = 12. Suppose c + l - 18 = -m*c, -5*c = -2*l - 62. Is c a multiple of 14?
True
Suppose 4*g - 6*g + 5*c + 82 = 0, -3*c - 186 = -5*g. Is g a multiple of 12?
True
Is 17 a factor of 4/(-2) + 357 - (-5 - -3)?
True
Let i(x) be the third derivative of x**2 + 1/3*x**3 + 0*x - 1/60*x**6 + 0 - 1/15*x**5 - 1/24*x**4. Is 8 a factor of i(-3)?
False
Suppose 0 = 5*u + 5, -x + 2*x - 4*u - 21 = 0. Suppose 0 = -6*p + p + 2*f + 50, -3*p + f + 29 = 0. Let z = x + p. Is 12 a factor of z?
False
Suppose 0 = -109*o + 105*o + 268. Does 14 divide o?
False
Let s(m) = m**3 + 6*m**2 - 3. Is 7 a factor of s(-4)?
False
Suppose -4 = 3*l + 2. Let j be (-2)/5 + l/(-5). Suppose 40 = 4*g - j. Is 5 a factor of g?
True
Suppose 0 = k + 4*k - 30. Suppose n = k*n. Suppose n = b - 2*b + 15. Does 4 divide b?
False
Suppose -4 = -2*h - 2*g, -5*h + 5 = 4*g - 1. Is h/(-1 + 9/15) a multiple of 2?
False
Is -4 - 32/(-4)*12 a multiple of 23?
True
Let d = -806 - -1184. Is d a multiple of 14?
True
Let q be 4/(-16) + (-1797)/12. Let a = q - -230. Is 17 a factor of a?
False
Suppose 4*r = v + 36 + 92, r - 4*v - 47 = 0. Is 8 a factor of r?
False
Suppose 5*h + 0*l = -l + 3, l - 3 = 2*h. Suppose n - 4 = 4*j + 2, -2*j - 2 = h. Suppose -2*b = 4*u - 20, 20 = -2*b + 6*b - n*u. Is 3 a factor of b?
True
Let j = 477 + -230. Is j a multiple of 19?
True
Let g(v) = -v**2 - 12*v + 18. Let r be g(-13). Let o(x) = -3*x**2 - 2 + x**3 + 0 - x - x**2. Is o(r) a multiple of 18?
True
Let u(x) = -x - 6. Let i be u(-3). Let s = 2 - i. Is s a multiple of 2?
False
Let f = -53 + 120. Does 28 divide f?
False
Suppose -q + 61 = -4*h, -4*q = -5*h - 32 - 190. Does 7 divide q?
False
Let a = -455 - -725. Is 18 a factor of a?
True
Suppose 0 = 3*t + 2 - 11. Suppose u + 5 = 0, t*o = -3*u + 4*u - 7. Let y = o + 17. Is 7 a factor of y?
False
Suppose 4*k - 3*k = 20. Suppose 5*t - 10 - k = 0. Is 6 a factor of t?
True
Let d be 3/(-1) - (1 + -7). Let t(w) = d*w + 2*w**2 + 13 - 13. Does 7 divide t(-3)?
False
Let p(g) = -g**3 - g**2 + 3*g + 1. Let c be p(-2). Let t = 0 - c. Is 15 + -2 + t + -1 a multiple of 7?
False
Let o = -42 - -19. Let y = 55 + o. Suppose 14 = 2*d - 2*v, -2*v + y = d + 2*v. Does 12 divide d?
True
Let v(t) = -t - 1. Let s be v(-3). Suppose -s - 4 = -m. Let o = -1 + m. Is o a multiple of 2?
False
Suppose 4*x + 12 = 2*m, -m + 8 = m - 2*x. Suppose v - m*y - 16 = 0, -2*v + 33 = v - 3*y. Is v a multiple of 5?
False
Suppose 0 = -3*o - 3*y + 9, 4*o + 12 = 3*y + 52. Let s = 3 + o. Is s a multiple of 10?
True
Let o(g) = 3*g**2 - 2*g + 1. Let u be o(1). Suppose 0 = -u*t + 59 - 3. Is t a multiple of 14?
True
Suppose 3*v + 6 = -5*n + 172, v + 126 = 4*n. Is 16 a factor of n?
True
Suppose -2*j + 58 = l, 5*j = -2 - 3. Let w = -36 + l. Does 12 divide w?
True
Suppose 52 = -5*m + 3*g + 268, -4*g - 218 = -5*m. Is 7 a factor of m?
True
Let x(z) = -z + 1. Let r be x(-7). Let s(b) = -b**2 + 10*b - 11. Let g be s(r). Suppose -60 = -0*m - g*m. Does 6 divide m?
True
Suppose -4 = -5*u + 1. Let g = 6 - u. Suppose -g*a = -a - 52. Does 6 divide a?
False
Suppose 2*a = 3*a - 8. Let h be (9/6)/(6/a). Suppose -24 = -h*j - 2*j. Does 3 divide j?
True
Let f(p) = -p**2 - 7*p + 6. Let d be f(-6). Suppose 0 = -2*j - 0*j + d. Does 6 divide j?
True
Is 7 a factor of 2/(-3) - (-560)/30?
False
Suppose -8*u = -4*u - 276. Is 23 a factor of u?
True
Let h(w) = -w**3 - 9*w**2 + 5. Is 5 a factor of h(-9)?
True
Let c be (3/6)/(3/24). Suppose 3*r - c*r + 44 = 0. Is r a multiple of 22?
True
Suppose -5*m - 5*h = -m - 360, -2*h = 8. Suppose 3*p - m = 43. Is 23 a factor of p?
True
Let a = 7 + -5. Suppose -a*n + 106 = -0*n. Is (-1 + 0)/((-1)/n) a multiple of 18?
False
Suppose -i = -5*i + 12. Suppose i*a + 54 = 5*a. Is a a multiple of 13?
False
Let x(r) = 8*r - 6. Let f(d) be the third derivative of d**4/24 + 2*d**3 + 2*d**2. Let p be f(-8). Is x(p) a multiple of 11?
False
Suppose -z = -1, 4*u - 6 = 2*z + 4. Let r(h) = -1 + 9*h**2 + 3 + u*h - 2*h + 3*h. Does 15 divide r(-2)?
True
Suppose -9 = -u + 11. Suppose -u = -4*w - w. Is w a multiple of 2?
True
Let m = -7 - -12. Let o = m + -9. Let w(b) = b**2 + 3. Does 16 divide w(o)?
False
Let r = -3 - -52. Let p = -22 + r. Does 7 divide p?
False
Suppose -t + 3*t = -4. Let y be (t/(-2))/((-6)/(-18)). Suppose y*g - 6 = g - 2*n, 4*g - 4*n = 20. Does 4 divide g?
True
Suppose 2*n - 252 = -n. Is 22 a factor of n?
False
Is -1*4/(-14) + 2370/35 a multiple of 17?
True
Suppose -5*g + 20 = -0. Suppose s + 5*m + 2 = -13, -3*s = -g*m - 31. Suppose 4*f = 5*r - 35, s*r + 2*f + 10 = -3*f. Is r even?
False
Let d = 28 + -15. Suppose 118 - d = 5*w. Does 9 divide w?
False
Let w be ((-165)/20)/((-6)/16). Suppose -5*q - w = -122. Is q a multiple of 10?
True
Suppose 0 = 6*h - 35 - 61. Is 4 a factor of h?
True
Let l = -10 - -29. Let k = l - -46. Suppose 0 = -5*y + k - 5. Does 10 divide y?
False
Let t = -11 + 46. Does 13 divide t?
False
Let z = 247 + -167. Suppose -5*v + 0*v = -z. Let g = 31 - v. Is 9 a factor of g?
False
Let d = -64 + 168. Let v = d + -49. Is v a multiple of 11?
True
Does 35 divide 6*4/(-16)*(-70)/3?
True
Let g = -4 - -28. Is g a multiple of 12?
True
Let i = 3 - 5. Is 16 a factor of (i - 1)/(5/(-75))?
False
Let i(z) = z + 2. Let o be i(0). Suppose 3*k + 13 = 4*n - 4, -5*k + n - 17 = 0. Does 4 divide k/(1 + (-3)/o)?
False
Let y = 6 + -4. Suppose 0*n = y*n - 4. Suppose 2*a + n*a = 32. Does 3 divide a?
False
Let i(x) = -x**3 + 11*x**2 - 11*x - 3. Let c be i(9). Suppose c = 6*k - k. Is 4 a factor of k?
True
Suppose 0*o = 3*o - 48. Let w = o - 9. Suppose 0 = -w*h + 3*h + 104. Is h a multiple of 13?
True
Let u(b) = -2 + 12*b + 0 + 0. Let f be u(2). Is 4 a factor of f/(-1 + 1 - -2)?
False
Suppose 5*d + r + 4*r = 165, 0 = -4*d + r + 132. Does 11 divide d?
True
Let g(c) = -c**2 + 5*c - 7. Let n(t) = -4*t**2 + 16*t - 21. Let r(b) = 7*g(b) - 2*n(b). Is r(-5) even?
False
Let v(w) = -w + 6. Let k be v(6). Suppose -m = 2*h - 1, h = -4*m - k*h + 4. Is 2 a factor of 2*3*m/3?
True
Let v = 18 + -11. Is 6 a factor of v*-3*-1 - -3?
True
Is ((-280)/(-12) + 0)*3 a multiple of 18?
False
Suppose -3*r - 4*h - 96 = -307, 0 = -r + 3*h + 53. Does 14 divide r?
False
Let u = 79 - -9. Suppose -6*l - u = -10*l. Is 22 a factor of l?
True
Suppose 30 = s + s. Let t be 0 - 2/((-6)/s). Let v(m) = 2*m**3 - 8*m**2 + 5*m - 7. Is 26 a factor of v(t)?
False
Let q(r) = 4*r**2 + r - 18. Does 8 divide q(4)?
False
Let s = -10 - -16. Let t(i) be the first derivative of -i**3/3 + 3*i**2 + 8*i + 2. Is t(s) a multiple of 8?
True
Is (-181)/(-2) - (-1)/(-2) a multiple of 8?
False
Suppose 5 = -t - 1. Let b(m) = m**3 + 6*m**2 - 6*m - 8. Is b(t) a multiple of 10?
False
Suppose 2*z + 0*z = 6. Suppose 0 = -2*l + z*y + 35, -2*l = -y + 4*y - 17. Suppose -j + 14 = 3*p, 2*j + 3*p + l = 44. Is 8 a factor of j?
False
Suppose b + 2*b - 84 = 0. Let s = -47 + 49. Suppose 3*k - 2*z - 8 = -k, 5*k + s*z - b = 0. Does 4 divide k?
True
Let o be 8/8*(0 - 0). Suppose 5*t - 117 - 38 = o. Is 31 a factor of t?
True
Let p(v) = -v**3 - 3*v**2 - v - 3. Let b be p(-3). Let g = b - -23. Is g a multiple of 8?
False
Let n(u) = u**2 + 5*u + 7. Let l be n(-7). Let p = -11 + l. Is p a multiple of 5?
True
Is 3 a factor of 24*((-15)/10 - -2)?
True
Suppose -5*d = -4*d + 2. Is (-232)/(-20) + d/(-5) a multiple of 12?
True
Let a = 6 + -6. Suppose a*y = -3*y + 69. Is y a multiple of 23?
True
Is 15/(-25) + 128/5 a multiple of 8?
False
Let u be -1 + -2 - (-13 - 0). Suppose -w = -4*y + 40, -4*w + 0*w + u = y. Is y a multiple of 7?
False
Suppose -w + 40 = 3*w. Suppose -m - 4*m + w = 0. Suppose 0 = 3*p - 6, m*p - 57 = -5*r + p. Is 11 a factor of r?
True
Suppose 3*a + 100 = 5*a. Is a a multiple of 10?
True
Let c(s) = 3*s**2 + 7*s - 7. Is c(6) a multiple of 7?
False
Suppose 2*a - 2*s = 52, -4*a - 5*s + 31 = -82. Is a a multiple of 16?
False
Does 13 divide 1/(-7) + (-19665)/(-63)?
True
Let q be -5*15*(-3)/9. L