5)/2*72/c?
False
Suppose 0 = -2*q + 3*o + 69, -3*o + 141 = 2*q + 3*q. Suppose 7*p = 2*p - q. Let v(g) = -g**2 - 6*g + 6. Does 4 divide v(p)?
False
Let m(f) = -f**3 + 4*f**2 - 6*f + 6. Let v be m(4). Let j = v - -57. Is j a multiple of 16?
False
Let c(i) = i**3 - 3*i**2 - 3*i + 1. Let g be c(4). Let b = g + 3. Suppose k = -0*k + b. Is 6 a factor of k?
False
Suppose -7 + 97 = 3*h. Is 14 a factor of h?
False
Suppose -8 - 22 = 2*s. Let g = s - -49. Is 23 a factor of g?
False
Let p = -5 + 7. Let u be -3 + 1 + (p - 2). Is 1 + u - (0 - 24) a multiple of 8?
False
Let c(p) = 2 + 0*p + 4*p - 3*p. Let i be c(-4). Is (-6 + -2)/i - -1 a multiple of 2?
False
Let v(o) = 3*o**2 - 1. Suppose -3*r + 2*t = 5 + 12, 3*r - 5*t = -29. Is v(r) a multiple of 11?
False
Let a = 104 - -48. Does 34 divide a?
False
Let s(q) = 106*q - 9. Is 13 a factor of s(3)?
False
Let z be ((-3)/(-4))/(3/12). Suppose v + 5*l - 73 = -v, 120 = 3*v - z*l. Is v a multiple of 13?
True
Suppose 4*j - x + 2*x - 28 = 0, 0 = -3*x + 12. Suppose 4*f = f + j. Suppose 0 = -f*c + 9 + 5. Is c a multiple of 3?
False
Let i = -22 + 35. Does 13 divide i?
True
Suppose 4*r - 41 + 17 = 0. Suppose 4*f - r - 2 = 0. Is 2 a factor of f?
True
Suppose -n = 2*n - 6. Suppose n*x = -x - 30. Is 7 a factor of (-176)/(-10) + (-4)/x?
False
Let x(n) = -8*n**3 - n**2 - n - 1. Let d be x(-1). Let l(p) = p**2 - 7*p + 2. Is l(d) a multiple of 2?
True
Let q be ((-10)/4)/((-3)/6). Suppose -235 = -0*j + q*j. Let y = j + 79. Does 16 divide y?
True
Let l(d) = 3*d**2 - 8*d - 19. Is 39 a factor of l(8)?
False
Suppose -2*b - 3*b = 0. Suppose -5*l + 170 = -b*l - 5*u, -u - 96 = -3*l. Does 13 divide l?
False
Let x = -4 + 32. Is x a multiple of 28?
True
Suppose -26 = 4*x - 66. Suppose x = 3*z - 38. Is 16 a factor of z?
True
Let p = 11 + 0. Suppose -3*o - 25 = p. Is (133/(-21))/(2/o) a multiple of 13?
False
Suppose l + 4*t - 37 = 8*t, 4*l - 2*t = 204. Does 16 divide l?
False
Let f = -33 + 67. Is f a multiple of 7?
False
Suppose 5*x - 39 + 11 = -2*f, 2*f - 5*x = 28. Suppose q - 3 = f. Let b = q + -12. Is b a multiple of 5?
True
Let q(d) = 12*d**2 - 1. Suppose i - 4 = -3*i. Does 11 divide q(i)?
True
Suppose -3*d = 52 - 265. Does 12 divide d?
False
Suppose -3*i + 46 = 2*p - 43, i - 5*p - 7 = 0. Let s = -12 + i. Is 8 a factor of s?
False
Suppose 3*t + 3*q = 21, t - 10 = 2*q - 4*q. Let a = t - -2. Does 2 divide a?
True
Suppose -u + 5*u - 12 = 0. Suppose -5*d - u - 7 = 0. Does 7 divide (3/(9/(-114)))/d?
False
Let y = 29 + -14. Suppose -y = p + 4*p, 0 = 5*g + 5*p - 45. Is g a multiple of 12?
True
Suppose 0 = -3*b - 0*s - 3*s + 483, s = -4*b + 644. Does 13 divide b?
False
Suppose -24 = -3*b + 3*a, -4*a = -0*b + 2*b - 10. Suppose d = b + 9. Is 8 a factor of d?
True
Let z(l) = 54*l**3 - l**2 - l + 1. Is z(1) a multiple of 14?
False
Suppose -4*x - 288 = -8*x. Is x a multiple of 4?
True
Let p = -7 - -31. Let t = p + -12. Is 9 a factor of t?
False
Let s = -123 + 183. Is 12 a factor of s?
True
Suppose 4*u - 3 = 9. Let d be ((-1)/3)/((-1)/u). Suppose y - d = 1. Is 2 a factor of y?
True
Let g be 1*(1 + -4 + 3). Is 4 a factor of (1 + g - -12) + -3?
False
Let q(d) = 19*d + 28. Is q(4) a multiple of 8?
True
Let h(d) = 4*d - d - d + 4. Suppose k = 3*k - 8. Does 6 divide h(k)?
True
Let n = 12 + -4. Is 7 a factor of ((-4)/6)/(n/(-84))?
True
Let h(o) = o**2 - 11*o + 15. Let w be h(10). Suppose -7*a + 2*a + 74 = -3*v, -26 = -a - w*v. Does 8 divide a?
True
Suppose 12*w - 605 = 7*w. Is 14 a factor of w?
False
Suppose b - 40 = -m, 27 = m - 3*b - 9. Is 13 a factor of m?
True
Let i(r) = r**2 - 5*r - 9. Let p be i(7). Let m = p - -3. Does 4 divide m?
True
Suppose 7 = 2*k - 1. Suppose -11 = -k*d + 3*d. Is 5 a factor of d?
False
Let y(w) = 2*w**2 - 1. Is 29 a factor of y(-7)?
False
Let x(u) be the second derivative of u**4/12 - u**3/6 - 11*u**2/2 - 9*u. Is 4 a factor of x(-5)?
False
Let c(b) = 2*b - 2. Let r be c(3). Suppose -r*l + 35 = -5*f - 93, -2*l + f = -64. Is 16 a factor of l?
True
Suppose i + 0 = 5, 4*f - 4*i = 52. Is 9 a factor of f?
True
Let c be 5*4/(20/3). Suppose 5*l + 178 = c*n, 4*l - 128 = -3*n - l. Is n a multiple of 11?
False
Let t(h) = 31*h. Let z be t(1). Suppose p = -2*p + 6, 4*p - z = -g. Is 7 a factor of g?
False
Suppose 2*p = -5*r, 0 = -0*r - 2*r + 5*p. Suppose y + o = -r*y - 1, -5*y - 1 = 3*o. Is 8 a factor of -18*(y + 3/(-2))?
False
Let j(w) = 0*w + w**2 + 0*w + w - 4. Let n be j(5). Suppose -o + 13 = -d + 5, 4*o + 2*d = n. Is 7 a factor of o?
True
Suppose -122 = -3*f + f. Suppose 5*r = -2*z + f, 3*z - 5*z + 16 = -4*r. Is 6 a factor of z?
True
Let g = 8 - 4. Suppose 4*x = 8*x - 320. Suppose -8*v = -g*v - x. Is v a multiple of 10?
True
Let s(q) = 4 + 2*q - q**2 + q - q - 7*q. Is s(-5) a multiple of 4?
True
Suppose 113 = 3*y - 2*y. Is 14 a factor of y?
False
Does 13 divide 7719/27 - (-6)/54?
True
Let w = -2 + 11. Suppose w = 4*z - z. Suppose 3*p + 9 = 0, -u + z*p = -p - 18. Is u a multiple of 4?
False
Let w be (0 - (-1 + 0))*94. Suppose -2*u + w = 2*j, -2*u - 3*j = j - 104. Does 14 divide u?
True
Suppose 4*v - 2*h = 22, -11 = -5*v - 2*h + 3. Suppose -3*x = u + 2*u - 15, -v*x = -u - 20. Suppose -y = 2*y + x*s - 166, 3 = -3*s. Does 20 divide y?
False
Let h(x) = 26*x - 7. Is h(2) a multiple of 10?
False
Suppose 35 = -5*z + 4*x - 4, -2*z + 5*x = 19. Let b(a) = -1 - 2*a + 0 + 6. Is 19 a factor of b(z)?
True
Let g(f) = f - 4. Let d be g(8). Is 2 a factor of (-2)/((-6)/d - -1)?
True
Let v(t) = t**2 - 13*t - 8. Let d(j) = -13*j - 8. Let i(p) = -3*d(p) + 2*v(p). Let o be (4 - (-140)/(-25))*5. Does 16 divide i(o)?
True
Suppose 2*c - 5*c = -81. Does 5 divide c?
False
Let n = -4 - -3. Let a = 6 - 10. Is 13 a factor of n + (1 + a)*-13?
False
Does 38 divide (10/(-7))/5 + 2622/14?
False
Let z(y) = 5*y**2 + y + 1. Let k(c) = -8*c + 5*c - 8 - 2*c + 4*c. Let n be k(-6). Does 19 divide z(n)?
True
Let p be 2/4 + (-3)/2. Let j = p + 3. Is 41 - (-1)/(2/j) a multiple of 17?
False
Let k(m) = 6*m + 6*m - 5*m - m**3 - 4 - 9*m**2 + 0. Suppose 0 = -3*t - 4 - 26. Is k(t) a multiple of 17?
False
Suppose 4*k = 25 - 9. Suppose k*a = 2*a. Suppose 0 = -2*f - 3*z + 74, 3*z + a*z + 74 = 2*f. Does 15 divide f?
False
Let y(s) = -s**3 - 6*s**2 - 8*s - 10. Let q be y(-5). Suppose -4*b + 4*a = -244, -q*b - 5*a + 416 - 81 = 0. Is 16 a factor of b?
True
Let g be 1/(-4) - 42/(-8). Is 10 a factor of g/((-45)/12)*-24?
False
Let a = 69 - 40. Does 11 divide a?
False
Let s(z) = z**3 - 14*z**2 - 3*z - 15. Does 21 divide s(15)?
False
Suppose -36*m = -28*m - 1232. Is m a multiple of 22?
True
Suppose -4*l + 23 = -1. Suppose l*b - 10 = b. Does 3 divide (20/(b/1))/2?
False
Suppose -3*o = -4*o + 358. Let p = o + -198. Suppose 0 = -4*d - d - 4*z + p, -4*d + 149 = -z. Is d a multiple of 18?
True
Suppose -3*i = 12, 2*i = -0*y + 5*y - 808. Is 32 a factor of y?
True
Let g = 28 - 0. Is 13 a factor of g/21*(-90)/(-4)?
False
Let m(j) be the first derivative of j**4/4 - j**3/3 - j**2/2 + 14*j - 3. Let n = 1 - 1. Does 14 divide m(n)?
True
Suppose -4*l = -2*l. Let m be (4 - l)*18/24. Suppose r = m*r - 48. Is r a multiple of 12?
True
Suppose 5*u - 3*k - 459 = 0, -u + 2*k = 4*k - 84. Let o be ((-18)/(-21))/(39/(-14) - -3). Suppose -o*y - y + u = 0. Is y a multiple of 10?
False
Let a = 238 + -91. Does 7 divide a?
True
Let p(d) = d**3 - 9*d**2 - 6*d + 2. Let z be p(10). Suppose z = q + q. Does 21 divide q?
True
Suppose -11*f = -6*f - 365. Is f even?
False
Let v = 25 + 33. Is v a multiple of 26?
False
Suppose q = -k + 492, 5*q = 2*k - 0*q - 963. Let g(o) = -o**3 - 7*o**2 - 9*o - 9. Let d be g(-6). Is 18 a factor of (-2)/6 + k/d?
True
Suppose t = 4*q - 202, 3*q + 23 - 170 = 3*t. Does 15 divide q?
False
Let m(h) = -3*h**3 - 2*h**2 + 2*h + 3. Does 14 divide m(-3)?
False
Does 4 divide (2 + 30)*(-1)/(-2)?
True
Suppose 19*c + 142 = 21*c. Is 16 a factor of c?
False
Let y(w) = 14*w - 11. Let l be y(10). Is (0 - l/6)*-2 a multiple of 25?
False
Suppose -455 = -14*l + 9*l. Does 13 divide l?
True
Let a(w) = 20*w + 18. Is a(5) a multiple of 28?
False
Suppose -3*o + 4*k = 2*k - 303, -3*o - 3*k + 318 = 0. Suppose -4*j + 24 = 2*y, -3*y = 5*j + y - 27. Is o/j - (-2)/7 a multiple of 11?
False
Let q = 669 - 466. Is 41 a factor of q?
False
Let m(j) = -j + 22. Let d be m(10). Let f be (0 - (-2 - d))*4. Let z = f + -32. Is 8 a factor of