+ 0*c**2 + 1 + 12*c**3. Is 6 a factor of m(1)?
True
Let i(b) = -b**2 - 32. Let x be i(0). Let c be 59 + -3 + 2/1. Let y = c + x. Is 16 a factor of y?
False
Suppose -10 - 10 = -5*q. Suppose 5*p + 288 = -162. Does 15 divide ((-16)/12)/(q/p)?
True
Suppose z - 3*z - 722 = -3*c, -5*c = z - 1225. Suppose 0*i + 4*i - c = 0. Suppose 0 = -4*s + 2*g + 64, -4*s - 5*g = -s - i. Does 8 divide s?
False
Suppose 2*r = 5*r - 129. Is r a multiple of 25?
False
Let r = 43 + -28. Suppose -12 - r = -v. Is 27 a factor of v?
True
Suppose -20 + 100 = -5*o. Let t = -9 - o. Let i = 18 - t. Is 5 a factor of i?
False
Let q = -19 + 39. Is 20 a factor of q?
True
Suppose 44 = 3*c - 5*g, 5*c = -2*g + 4 + 59. Is 12 a factor of c?
False
Let g(d) = d**2 - 13*d + 20. Let u be g(11). Let x be (-1 + 1)*(-3)/6. Is x/(u/1) + 14 a multiple of 14?
True
Let f(x) = 3*x**2 - 6*x. Let o = 8 + -4. Is f(o) a multiple of 12?
True
Let g(w) be the third derivative of 13*w**4/24 - 5*w**3/6 - 2*w**2. Let b(p) = -7*p + 3. Let d(o) = 11*b(o) + 6*g(o). Is 4 a factor of d(5)?
True
Suppose -161 + 1393 = 7*q. Is q a multiple of 22?
True
Let o = 2 + -6. Let h(c) = -6*c - 5. Let a be h(o). Suppose -f + 9 = -a. Is f a multiple of 14?
True
Suppose 4*a + 8 = 0, -f - 16 = -a - 129. Does 18 divide f?
False
Let f(a) = -135*a - 18. Is 36 a factor of f(-2)?
True
Let n(l) = 9*l - 6. Let r be n(5). Suppose -2*t + r = 3*g, -t = 2*t - 4*g - 50. Is 2/9 - (-374)/t a multiple of 7?
True
Let x = -167 + 23. Let c = -33 - x. Suppose 3*i = -3*l + c, -4*i = -3*i - 5*l - 19. Is i a multiple of 12?
False
Let j = -61 - 12. Let b = 130 + j. Is 19 a factor of b?
True
Let f(b) = -b**3 + b**2 - 4. Let g be f(0). Does 3 divide (g - 1 - -2) + 9?
True
Suppose 3 = o - 17. Let v = 32 - o. Is v a multiple of 6?
True
Let i(a) = 2*a**2 + a - 1. Let j be i(1). Let n be ((-10)/4)/((-3)/6). Suppose j*w + 27 = n*w. Is 7 a factor of w?
False
Let a = -1 - -25. Does 24 divide a?
True
Let z = 72 - -26. Let q = -1 + 1. Suppose -z = -5*c + 4*h, -2*h + q - 4 = 0. Does 11 divide c?
False
Suppose 0*a = -a. Suppose -5*c + 6 + 124 = a. Suppose 0 = -0*m + 2*m - c. Is m a multiple of 13?
True
Let q be 1/1*(4 - 1). Suppose -l - 135 = -q*z - 2*l, 3*z = -4*l + 144. Does 22 divide z?
True
Suppose -h + 2*h - 1 = 0. Let i(t) = 7*t + 1. Is i(h) a multiple of 8?
True
Let r(c) = -c - 5. Let x be r(7). Let p = -7 - x. Is p a multiple of 5?
True
Let y be (4 - 0)*3/(-2). Let s be 1/(1 - (-4)/y). Suppose 0 = s*k - t - 26, 0 = 3*k + 7*t - 2*t + 4. Does 5 divide k?
False
Let o be (-4)/(-20) - 26/5. Let v(j) = j**3 + 5*j**2 - 5*j - 4. Is 7 a factor of v(o)?
True
Let d(w) = w + 8. Let x be d(-6). Let h(t) = 5*t + t**2 + 2*t**x - 2*t. Is 6 a factor of h(-2)?
True
Let a(o) = o**3 - 5*o**2 + 8. Is a(6) a multiple of 11?
True
Let g(w) = 26*w**2 + w + 1. Let o be g(-1). Suppose 5*u + 2*n = o, -u + 5*n - 2*n = 5. Is 24 a factor of (24 - -2) + (-8)/u?
True
Suppose -1445 = -16*n + 11*n. Is n a multiple of 17?
True
Let x(m) = 8*m**2 + m + 5. Is x(-3) a multiple of 7?
False
Let p(y) = -y + 1. Let f be p(0). Does 3 divide f/(-3) + 13/3?
False
Let c(b) = 9*b + 16. Let v be c(9). Suppose -73 - v = -5*y. Is 10 a factor of y?
False
Let m(h) = -h**3 + 12*h**2 - 4*h + 13. Let o be m(11). Suppose -6*r = -11*r + o. Is 7 a factor of r?
False
Suppose 120 = 2*a + 3*a. Is a a multiple of 10?
False
Suppose -3*n + 0*o + 2*o = -124, n = -o + 48. Does 22 divide n?
True
Let d(n) = -n**2 - 7*n - 5. Let k be d(-5). Let a(h) = 4*h**2 - 2*h + 1. Let y(o) = o**2 + 1. Let r(t) = k*y(t) - a(t). Is 5 a factor of r(-3)?
False
Let g(c) = 2*c**2 - 33*c + 32. Is g(21) a multiple of 15?
False
Let k be (-260)/2*(-18)/15. Is k/10*(-60)/(-9) a multiple of 29?
False
Does 8 divide (120/7)/(6/42)?
True
Is 816/10 - (-6)/(-10) a multiple of 9?
True
Let c = 70 + -35. Is 9 a factor of c?
False
Let b(h) = 2*h**3 - 5*h**2 + 2*h - 1. Let d(k) = -k**2 - 3*k - 2. Let v be d(-3). Let n be (-68)/(-18) + v/(-9). Does 15 divide b(n)?
False
Let f = 64 - 47. Is f a multiple of 17?
True
Let v be 32/12*(-1 + 10). Suppose n + n = v. Does 12 divide n?
True
Let q(n) = 5*n**2 - n. Let s be q(2). Suppose z + s = -2*i - i, -3*i = -2*z + 18. Is 4/i*9/(-2) even?
False
Let t = -6 + 3. Let h(i) = -4*i - 4. Let d be h(t). Suppose -s - s = -d. Is 4 a factor of s?
True
Suppose 5*x - 3*p + 32 = -16, -4*x + 4*p - 40 = 0. Let h(a) = -a**3 - 8*a**2 + 8*a + 6. Is h(x) a multiple of 8?
False
Suppose 2*m - 2*y - 160 = 0, 2*m - 227 + 92 = -3*y. Does 25 divide m?
True
Let j(m) = -6*m**2 - 4*m - 1. Suppose -2*p - 6 = -0*p. Let u be j(p). Let w = -18 - u. Is 25 a factor of w?
True
Suppose -3*n + n = x - 18, 4*n - 12 = x. Is (x/(-6))/(1/(-6)) a multiple of 4?
True
Suppose -4 = -m - 2*w, -33 = -5*m + 5*w - 2*w. Does 6 divide m?
True
Let g be 10/3 + 4/6. Let s(o) = o - 2. Let z be s(g). Suppose -z*w + 7 + 21 = 0. Is w a multiple of 14?
True
Let l be (8/10)/(5/75). Let o be l + -4 - 1*-1. Let w = o - -3. Is w a multiple of 7?
False
Let j = 251 + -109. Does 17 divide j?
False
Let h be (-1)/(-4)*(-8)/(-2). Suppose 0 = -4*a + 4*i + 92, 5 = 3*i - h. Is 21 a factor of a?
False
Suppose u = 5*u - 88. Is u a multiple of 9?
False
Let p be (-1)/3 + 10/3. Suppose -35 = -p*h - 2*h. Is 7 a factor of h?
True
Let b(y) = 2*y**2 + 12*y + 5. Is 11 a factor of b(-8)?
False
Let y(v) = -v + 6. Is y(-12) a multiple of 3?
True
Suppose -p + 8 = 1. Suppose 5*w - 15 = -l, 5*w - p = -3*l + 18. Is 19 - (4/(-2))/w a multiple of 17?
False
Let x be (2 + 6/(-5))*-5. Let v = -1 - x. Suppose v*k - 13 = 35. Does 8 divide k?
True
Suppose -1 + 21 = 2*i. Does 3 divide i?
False
Suppose 4*s + 43 - 4 = 3*m, -3*m = 5*s - 12. Does 14 divide 2/m + (-1252)/(-36)?
False
Suppose 0 = -3*h + h - 2. Let k(n) = n**2 + 2*n. Let l be k(h). Let s(a) = -7*a**3 + a**2 + a + 1. Is 6 a factor of s(l)?
False
Let v(l) = 3*l. Let y be v(4). Is 6 a factor of 4/y - 53/(-3)?
True
Let a(j) = -2 + 8 - 6*j + 16*j. Suppose 0 = 2*u - 3*u + 5. Is 21 a factor of a(u)?
False
Let o = -8 - 4. Does 6 divide 2/8 - 105/o?
False
Let f = -15 - -84. Is 9 a factor of f?
False
Suppose 5*j - 61 - 89 = 0. Let y = j + -15. Let l = y + -6. Is 9 a factor of l?
True
Let a(n) = -n + 11. Let x be a(6). Suppose 2*q - 4*r - 44 = 0, -x*r - 4 = 16. Suppose 0 = -w + q + 8. Is w a multiple of 11?
True
Suppose -2*c + 12 = 3*s, 0*s + 20 = -2*c + 5*s. Is (c - -3) + 56 + -7 a multiple of 14?
False
Let f be (-84)/(-9) + 1/(-3). Does 14 divide (-20)/((24/f)/(-4))?
False
Let f(l) = 6*l**2 + 2*l - 8. Does 39 divide f(-4)?
False
Is 18/(-81) - 362/(-9) a multiple of 7?
False
Let z = 95 + -47. Is 12 a factor of z?
True
Let b(n) be the third derivative of n**4/24 - 5*n**3/3 - 7*n**2. Is b(14) a multiple of 4?
True
Suppose n = 4*n. Suppose 3*j + w - 138 = -j, j - w - 37 = n. Is 10 a factor of j?
False
Let m be (-2)/(-8) + 170/(-8). Let q be -14*((-36)/m)/(-2). Suppose -3*n + 6*n = q. Is 2 a factor of n?
True
Let t(z) be the second derivative of 2*z**5 - z**2/2 + z. Is 13 a factor of t(1)?
True
Let u be (-2)/9 - (-4)/18. Let p(c) = -c + 37. Let w be p(u). Suppose -5*z + 84 = 3*f - 2*f, 3*f + w = 2*z. Does 8 divide z?
False
Suppose 4*f + 16 = 2*v, -f - 7 = -2*v - 0. Let o be (-3)/(v - 5) - -5. Let h(n) = 2*n**2 - 6*n + 4. Is h(o) a multiple of 20?
True
Suppose 0*a = 3*a + 2*m - 286, 0 = -3*m + 6. Is 28 a factor of a?
False
Let p(x) = -x**3 + 14*x**2 - 2. Does 11 divide p(6)?
True
Suppose 3*d + 3 = -0*d. Is 9 a factor of 0 + d/((-1)/23)?
False
Let t = -11 + 16. Suppose -5*r + 2*p + 15 = 0, -t*r - 4*p + 3 = -42. Let a(n) = -n**3 + 5*n**2 + 3*n - 3. Is a(r) a multiple of 12?
True
Let i be (-2)/4 + (-51)/(-34). Suppose -k = 3, k + 2 = a - 3. Is (i + a)*68/6 a multiple of 17?
True
Suppose -2*o - 2 = 0, -k = 3*k + 5*o + 393. Let d = k - -137. Does 10 divide d?
True
Suppose -653 = -c - c - 5*k, -c + 329 = 5*k. Does 17 divide c?
False
Suppose 5*s - 4 = 6. Suppose 2*x + 22 = s*u - x, 4*u - 4*x - 48 = 0. Is u a multiple of 4?
False
Is 16 a factor of (-72)/15*(-275)/10?
False
Let n(y) = -y**3 - 2*y**2 + 3. Let a(t) = -t - 10. Let r be a(-7). Is 4 a factor of n(r)?
True
Suppose 300 = -2*j + 7*j. Does 24 divide j?
False
Let j = 6 - 6. Suppose 3*v - q = 25, j = -2*v - 0*q + 4*q. Is v a multiple of 5?
True
Suppose -2*f + 8 = 2*f. Suppose 4*p - 3*z + f*z = 11, 3*p - 2*z - 2 = 0. Do