62 = 4*c. Suppose -o - c = -3*o. Is 14 a factor of o?
True
Let i(d) = 19*d**2 - 3*d. Does 7 divide i(-3)?
False
Suppose 4*n - 155 - 197 = 0. Does 15 divide n?
False
Suppose 0 = p + 11*p - 3360. Is p a multiple of 20?
True
Let v(q) = 118*q**2 - q + 1. Let z be v(1). Suppose -3*i = 2*j - z, -309 = -4*j + 3*i - 37. Does 13 divide j?
True
Let y be 0/(((-2)/(-1))/2). Suppose s + 1 + 2 = y, t = 3*s + 30. Is 21 a factor of t?
True
Let z(h) = h**2 + 10*h + 12. Let s be z(-9). Does 6 divide 117/(-6)*(-2)/s?
False
Let u = 7 - -25. Is 7 a factor of u?
False
Let f(o) = 27*o**2 - o. Let t be f(1). Let d = t + -14. Is d a multiple of 6?
True
Let p be (1/3*0)/(-2). Suppose p = -2*w - w + 288. Is w a multiple of 27?
False
Suppose l + 3 = 1, -4*j - l = -22. Is 2 a factor of j?
True
Let y(o) = o - 2. Let l be y(4). Suppose 76 = 3*t + l*b, 4*t - 2*b + 0*b - 120 = 0. Is 14 a factor of t?
True
Let p(t) = t - 1. Let y be p(3). Let x(q) = y*q - q + 2*q**2 + q. Is x(-3) a multiple of 5?
False
Suppose -3*s - 320 = -7*s - o, -154 = -2*s + o. Does 10 divide s?
False
Let r(p) = -p**3 + 3*p**2 - 4*p - 9. Does 17 divide r(-4)?
True
Let h(z) = 6*z**2 - 8*z + 18. Is 28 a factor of h(6)?
False
Let v be 12/10*20/8. Suppose g + v*f - 6 = 0, 3*g + 6 = 2*f - 9. Does 6 divide (-33)/(-5) + g/5?
True
Let y = -3 - -4. Is 9 a factor of (-1)/3*(-81)/y?
True
Suppose s = -6*s + 840. Does 30 divide s?
True
Let t(f) = -30*f**3. Let s be t(-1). Suppose -n - 10 - 8 = 0. Let g = n + s. Does 6 divide g?
True
Let f(c) = -3*c + 1. Let r(n) = -1. Let h(y) = -3*f(y) - 6*r(y). Let u be h(3). Suppose 4*v - u = 2*b, 4*v + b - 20 = v. Is v a multiple of 7?
True
Let u = 57 - 18. Suppose 3*x = -55 - 20. Let q = u + x. Is 13 a factor of q?
False
Let a = -17 + 19. Suppose 3*k - a*v - 17 = 0, -2*v - 22 = -5*k + 13. Is 9 a factor of k?
True
Let o = 126 - -50. Let k = -118 + o. Is 22 a factor of k?
False
Suppose 4*b = 4*c + 32, -7*b + 3*c = -3*b - 29. Suppose -3*j + 4*w = b*w - 8, 0 = j + 3*w - 8. Suppose -4*v = -i + 2, j*v - 28 - 6 = -3*i. Is i a multiple of 5?
True
Does 42 divide (26/(-6))/((-10)/270)?
False
Let i(w) = 29*w + 19. Is 20 a factor of i(9)?
True
Suppose 0 = -4*y - 2*s + 42, 3*y + 16 - 75 = 4*s. Suppose 5*i = 5, -4*i = 3*q - 0*i - 16. Suppose 0 = -5*o, 2*a + q*o - 19 = y. Is 8 a factor of a?
True
Does 3 divide (-2)/(-11) - 972/(-99)?
False
Let l(v) = v**3 + 6*v**2 - 3*v - 2. Let h(y) = 4*y**3 + 19*y**2 - 10*y - 6. Let q(x) = -2*h(x) + 7*l(x). Let o be q(4). Is 9 a factor of ((-20)/o)/((-3)/(-9))?
False
Let c = -27 + 39. Suppose 5*b - 3 = c. Suppose 6*z - z + 2*h - 93 = 0, 0 = z - b*h - 5. Is z a multiple of 6?
False
Let y(n) be the third derivative of n**5/60 - n**4/6 + 3*n**2. Does 13 divide y(7)?
False
Let u(n) = -n**2 + 10*n - 8. Let h(y) = -3*y**2 + 2*y - 2 - 5*y**2 - 7 + y**3. Let t be h(8). Does 13 divide u(t)?
True
Let i(x) = -x**2 + 11*x - 8. Let o be (18/(-21))/(2/(-28)). Suppose -m = -3*m + o. Is 11 a factor of i(m)?
True
Let n(d) = d**2 + 11*d + 10. Let w be n(-10). Suppose 3*u - 66 + w = 0. Is 18 a factor of u?
False
Suppose 3*b = 11 + 10. Let n = b + -17. Let u = 7 - n. Does 5 divide u?
False
Suppose -5*p - 22 = -2. Is (-2)/(-4) + (-82)/p a multiple of 13?
False
Let m(d) be the first derivative of 1/3*d**3 + 0*d + 1/2*d**2 + 1/2*d**4 - 2. Does 14 divide m(2)?
False
Suppose 7 = l - 0*l + 5*m, 3*l - 21 = 4*m. Is l a multiple of 7?
True
Let z = -3 - -9. Is z a multiple of 3?
True
Let y be 3/((-3)/(-5 + 2)). Let s(b) = 3*b - 3. Let n be s(y). Suppose -2*v = -r - n + 19, 2*r + v - 31 = 0. Is r a multiple of 8?
False
Suppose -c + 18 = -3*c - 4*v, 5*c - 4*v = 11. Let j be (0 - 2/c) + -8. Let q(l) = -l**2 - 7*l. Is 6 a factor of q(j)?
True
Let n(u) = 29*u - 19. Let h(c) = 7*c - 5. Let v(o) = 9*h(o) - 2*n(o). Let f be v(5). Does 10 divide 40/(-3)*f/(-8)?
True
Suppose -7*a = -2*a + 4*m - 36, -5*m = -20. Suppose -a - 20 = -3*t. Is 8 a factor of t?
True
Let p be (-4)/12 - 2/(-6). Suppose -2*r + r - 35 = p. Is (-68)/(-7) + (-10)/r a multiple of 5?
True
Suppose 10*x - 240 = 2*x. Is x a multiple of 14?
False
Is 10 a factor of -1 + 38 - 36/(-12)?
True
Is 4 a factor of 12/(5/((-10)/(-3)))?
True
Let l be 2/(-6) - 14/(-6). Is 3 a factor of (3/(-6))/(l/(-12))?
True
Let n = -2 - -7. Let t(f) = -f - 11. Let w be t(-10). Is 3 a factor of 15/(-10)*(w - n)?
True
Let t(v) = 4*v - 2. Let i be t(-4). Let k = 14 - i. Is k a multiple of 16?
True
Let k be (10/(-15))/((-4)/30). Suppose 140 = -0*d + k*d. Is d a multiple of 14?
True
Let y = 1 - 0. Is (-156)/8*-2*y a multiple of 13?
True
Let v be ((-1)/(-2))/(5/(-50)). Let x(j) = -2*j + 2. Does 12 divide x(v)?
True
Let d be ((-15)/6*2)/(-1). Suppose -m = -d*m - 20. Is 7 a factor of 5*((-2)/m + 2)?
False
Let x(r) = -16*r - 9 + 9. Suppose 4*o + 5*u = 4*u - 8, 5*u + 20 = 0. Does 8 divide x(o)?
True
Let d(w) = w**3 - 6*w**2 - 11*w. Is 10 a factor of d(8)?
True
Suppose -98 = -6*z + 4*z. Does 19 divide z?
False
Let b(w) = 2*w**2 + 2*w - 3 + 6*w**2 - 4*w**2 - w**3. Is b(4) a multiple of 4?
False
Suppose -2*x - 36 - 30 = 3*r, 4*x + 12 = -r. Let c be r*(-3 - (-15)/6). Let u = 24 - c. Is u a multiple of 6?
True
Is 12 a factor of 1*3*(113 + (3 - -4))?
True
Let m = 2 + 3. Suppose 16 + 42 = 2*s - 4*r, -2*r + 121 = m*s. Is 25 a factor of s?
True
Let t(j) = -3*j - j + 0*j - 6. Is t(-8) a multiple of 9?
False
Let q = -13 - -18. Is (-2)/(-4)*4 + q even?
False
Suppose 5*k = 9*k - 40. Does 3 divide k?
False
Let n(b) = b**2 + 10*b - 29. Does 19 divide n(-17)?
False
Let j be 1*(-5 - 2)/1. Let l = 2 + 0. Let h = l - j. Is h a multiple of 3?
True
Suppose 3 - 48 = 5*j. Let i(y) = y**3 + 12*y**2 + 11*y. Let q be i(j). Suppose 5*z + 24 + 66 = 2*b, -z = -4*b + q. Is b a multiple of 21?
False
Let n(d) = d**2 - 2*d. Let s be n(2). Suppose s = 2*o - 19 - 5. Is 12 a factor of o?
True
Let n be (-26)/(-7) + 2/7. Suppose -5*b + 224 = n*v, b = 2*v + 46 + 10. Does 24 divide b?
True
Let a = 2 - 2. Is 2 a factor of -3*(4/(-6) - a)?
True
Suppose -3*m + 100 + 515 = 0. Does 5 divide m?
True
Let y = 42 + -10. Does 16 divide y?
True
Suppose 0 = -4*j + 20. Let o(m) = m**2 - 4*m + 7. Is 12 a factor of o(j)?
True
Let k = 38 - 23. Is 15 a factor of k?
True
Let c(h) = -h + 1. Let b be c(-4). Let k = 0 + b. Suppose m = s - 3*s + 13, s + 21 = k*m. Does 5 divide m?
True
Let y(d) be the second derivative of -d**5/20 + d**4/2 + 2*d**3/3 - 2*d**2 + 11*d. Suppose 2*q + 4*n = -4, -3*q = -n - 31 + 9. Is 7 a factor of y(q)?
False
Is 6 a factor of (65/10)/((-4)/(-16))?
False
Let v = 38 + -22. Is v a multiple of 7?
False
Let k(t) = t**2 - 2 + 0*t + 3*t - 2*t. Let s be k(-2). Suppose -x + 29 = -s*x. Does 26 divide x?
False
Let l = 17 - -3. Is l a multiple of 10?
True
Suppose j + 3 = 2*w + 4, 4*w = -2*j + 2. Suppose 0 = 4*p, w = -4*c + p - 4 + 24. Suppose c = i - 9. Is 11 a factor of i?
False
Let v(m) = -m**2 + 6*m - 6. Suppose 3*b - 5 = 7. Let u be v(b). Suppose -5*w = 0, -z - u*z + 54 = 2*w. Does 10 divide z?
False
Let r(d) = -d**3 - 3*d**2 - 4*d - 3. Let m be r(-6). Suppose -6*f = 4*x - f - m, -9 = 3*f. Does 12 divide x?
True
Let l be (-12)/(-2)*(-16)/(-12). Suppose -o + t = -l, 0 = -o - 3*o + t + 20. Does 4 divide o?
True
Let w(v) = 5*v**2 + v - 3. Suppose 2*l - 3*z + 2*z = -7, 3*l + 7 = -2*z. Is w(l) a multiple of 14?
False
Suppose 0 = -3*z - 5*q + 97, 5*z + 0*z - 125 = -q. Suppose -14 = -2*l + z. Does 5 divide l?
False
Suppose 5 = 3*h - 4. Suppose h*v - 15 = -3. Suppose 46 = v*z - 10. Is 14 a factor of z?
True
Let g(f) = f**3 - 6*f**2 + 5*f - 4. Let u be g(5). Let p = u - -5. Let k = 18 - p. Does 12 divide k?
False
Let r(g) = -16*g + 4. Is 12 a factor of r(-2)?
True
Let j be 15/(-1) + 2 + -2. Let z = 50 - 21. Let l = j + z. Is 7 a factor of l?
True
Suppose 3*y + 38 = 2*l, -3*l + y = -l - 30. Does 3 divide l?
False
Suppose 2*l - 1 = 3. Let u = -12 + -86. Is 11 a factor of (-1)/l + u/(-4)?
False
Suppose 4*t + 12 = 0, 3*m - 2*t = t + 21. Suppose 0 = 2*s + 3*k - 114, -m*s - 4*k + 136 = -88. Does 21 divide s?
False
Let a(u) = -2*u**3 - 3*u**2 + 4*u. Does 9 divide a(-5)?
False
Let w = 0 - -2. Suppose m = w*f + 3*f + 23, 0 = 2*m + 3*f - 7. Is 8 a factor of m?
True
Suppose 336 = 3*q + 4*o, -2*q + 467 = 2*q - o. Let n = -54 + q. Is 10 a factor of n/4 + (-2)/(-4)?
False
Let k = 16 + -8. Let a(r) = 2*r + 4. Let o be a(k). Supp