*3 - 3*m**2 + m - 4. Let a be b(-4). Is 1*16 + (10 - a) a multiple of 5?
False
Suppose f - b - 13 = -2*b, b - 4 = 0. Suppose w - 1 = f. Does 3 divide w?
False
Let n(p) = -p**2 + 2*p - 1. Let s be n(1). Suppose -3*f - f + 16 = s. Suppose -5*q - 5*v = -q - 93, 3*q = f*v + 62. Is 11 a factor of q?
True
Suppose -3*s - 4 = -0*s - 4*r, 2*r = -s + 12. Suppose 5*c + 6 = -s, -2*f + 4*c = -12. Suppose -3*b + 6*p - 3*p = -21, -f*b + 4*p = -8. Is 5 a factor of b?
True
Suppose 4*y - 24 = -3*j - 1, 3*j = -2*y + 19. Is 7 a factor of (1*-4)/y - -14?
False
Let b(j) = 16*j**2 - 3*j + 1. Is b(-2) a multiple of 11?
False
Let a = -30 + 15. Let x = 69 + -33. Let y = a + x. Does 9 divide y?
False
Let z = -5 - 6. Let y = 25 + z. Does 14 divide y?
True
Suppose 5*g - 2*n = 9, -2 - 3 = g + 3*n. Is (-16 - -6)*-1*g a multiple of 5?
True
Let x be (-2)/(-3) + 62/6. Let z = -8 + x. Let k = z - -5. Does 4 divide k?
True
Suppose 5*m + 3*f - 10 = 0, 7 = 3*m + 2*f - 0*f. Does 9 divide 20 + m + (-2 - -1)?
True
Suppose 3*k = -n - k + 57, -n + 49 = -4*k. Does 10 divide n?
False
Let x(d) be the second derivative of 2*d**4 + d**3/3 + d**2/2 + d. Let z = -3 - -2. Does 10 divide x(z)?
False
Let o(v) = 32*v**2 + v + 1. Let a be 4/4*(-1)/1. Does 8 divide o(a)?
True
Suppose -4*f = 5*m - 82, 26 = f - m + 10. Is 3 a factor of f?
True
Let n be (-2)/4*1*18. Is 16 a factor of (-1)/(-3) + (-222)/n?
False
Let g be 1*(-1 - (-1 + 3)). Let d be (g - -2)/((-1)/(-15)). Let y = d - -27. Is 12 a factor of y?
True
Let p be 3/(-6) - 2/(-4). Let t be 1*59 - (-1 + 0). Suppose p*s + t = 5*s. Is s a multiple of 10?
False
Suppose -3*a - 171 = -6*a. Suppose -4*r + 102 = -j - a, 6 = -2*j. Does 10 divide r?
False
Suppose -7 = 5*u + 4*f, -10 = -f - 4*f. Let m(h) = -2*h**3 - 2*h**2 - 4*h - 4. Is 20 a factor of m(u)?
False
Suppose 5*f - 2*f = 15. Let j be -1 + -1 + (-3 - -49). Suppose -y - j = -f*y. Is y a multiple of 11?
True
Let t(l) be the first derivative of 9*l + 2*l**2 + 1/3*l**3 + 4. Is t(-7) a multiple of 10?
True
Let a(v) = -v**3 - 3*v**2 + 4*v + 3. Does 6 divide a(-5)?
False
Let w(h) = -h + 10*h + 2 - 2 + 1. Does 7 divide w(1)?
False
Is 35 a factor of (-2)/((-4)/129)*(-2 - -4)?
False
Suppose 2*n + 3*l - 132 = -2*n, 0 = n + l - 32. Suppose 5*s - n = -0*z + 2*z, 0 = -4*s + z + 27. Is s a multiple of 2?
True
Suppose -o - x + 244 = 4*o, 0 = 5*o + 2*x - 243. Is o a multiple of 11?
False
Suppose 0*l + 431 = -l. Let a be l/(-3) + 8/(-12). Suppose 3*x + 2*x - a = d, -5*x - 2*d + 134 = 0. Does 13 divide x?
False
Let u = -6 + 30. Suppose u = -4*v + 5*v. Is v a multiple of 5?
False
Suppose w - 2*u + 25 = 0, -2*w + w - 5*u = 18. Is 3 + ((-3)/3 - w) a multiple of 8?
False
Let o be 3*-1*2/(-3). Let u = 18 + o. Is 9 a factor of u?
False
Let v(w) = 3*w**2 - 6*w. Is v(4) a multiple of 12?
True
Let j(m) = -m + 12. Is j(4) a multiple of 4?
True
Let p(c) = -c**2 - 10*c + 3. Does 21 divide p(-7)?
False
Let h = -27 - -29. Suppose 2*r - 102 = -2*m - h*r, 3*m + 4*r - 161 = 0. Does 15 divide m?
False
Let x(b) = 4*b**2 + b - 17. Is 18 a factor of x(-4)?
False
Let z(t) = -t**2 + 3*t + 5. Let k be z(5). Let y = k - -43. Is 8 a factor of y?
False
Does 12 divide (28/35)/(3/225)?
True
Let g(y) = -6*y - 1. Let x be g(-1). Suppose -2*k - 1 = -k, -5*o + x*k = -205. Does 11 divide o?
False
Suppose 28 = 5*v - 57. Is 3 a factor of v?
False
Suppose 0 = -g - 3*g + 404. Let p = g + -39. Suppose -3*q = -2*f + 27, 0*f + 5*f - p = 2*q. Is 6 a factor of f?
True
Suppose 2*h + 5 = 3*h. Suppose h*s - 21 = t + t, -t = -5*s + 23. Suppose s*z - 84 = 2*z. Does 14 divide z?
True
Let o(r) = -11*r - 11. Let u(k) = 110*k + 155. Let d(w) = -5*w - 7. Let g(a) = 45*d(a) + 2*u(a). Let x(n) = -7*g(n) + 3*o(n). Is 7 a factor of x(9)?
False
Let c be 62*(-2 + (-15)/(-6)). Suppose -3*p = 3*d + 3, -c = 5*p - 11. Suppose s + 4*f = 5, 5*s = 3*s - d*f + 10. Does 5 divide s?
True
Let k(d) = -3*d - 6. Suppose 0 - 12 = -a. Let o = a - 18. Is 6 a factor of k(o)?
True
Let o = -31 + 81. Is o a multiple of 5?
True
Let r = 13 + -8. Let q(z) = 0 - 61*z - z**2 + 68*z - 3 + 0. Is q(r) even?
False
Suppose -2*h + 93 = 3*i, 4*h + 34 = 5*h - i. Let k = h + -22. Is k a multiple of 17?
True
Suppose r - 2*l + 1 = 0, -8*r + 3*r + 21 = 3*l. Does 3 divide r?
True
Suppose -5*k = -0*k. Suppose -i - 1 + 34 = k. Is 17 a factor of i?
False
Let z(m) = 4*m**3 - m**2 - m + 1. Let f be z(1). Suppose 29 = l + k, 87 = f*l - 0*k - 3*k. Is l a multiple of 14?
False
Let t(y) = -3*y + 5*y**3 - 3*y**3 - y**3 - 5*y**2 - 5. Is t(6) a multiple of 13?
True
Let h = 64 + -22. Is 12 a factor of h?
False
Let v(k) = -12*k + 11. Is v(-11) a multiple of 11?
True
Let z be ((-4)/3)/(4/(-6)). Suppose 4*i - 12 = -0*i. Suppose x - 4*x + 3*g = -93, -i*x = z*g - 88. Is x a multiple of 9?
False
Let r(m) = -m + 6. Let c be r(6). Suppose c = 4*k - 2*w - 200, w + 0 + 4 = 0. Is 16 a factor of k?
True
Let t be ((-75)/10)/(6/(-80)). Let q be (3/2)/(3/t). Suppose q = 5*x - 80. Is 13 a factor of x?
True
Let s(o) = o - 5. Let c be s(5). Suppose 3*w + 4*u - 3 - 4 = 0, c = -2*u + 2. Is 19 a factor of 2/(-2)*(-22 - w)?
False
Suppose 5*w = -3*j - 29, -24 = 4*w - 3*j + 5*j. Suppose -3*v = -v + 62. Let k = w - v. Is k a multiple of 8?
True
Suppose -3*h + 56 - 23 = 0. Is h a multiple of 2?
False
Suppose 0*c - 2*c + 182 = q, c - 100 = -5*q. Is 15 a factor of c?
True
Is (4/(-2) + 0)/(2/(-79)) a multiple of 5?
False
Let q = 96 + 21. Let s = q - 81. Does 18 divide s?
True
Let k(g) = 3*g - 2. Let b = -5 - -7. Does 2 divide k(b)?
True
Does 7 divide (0 + -1)/(18/(-792))?
False
Let d = 10 - -6. Does 8 divide d?
True
Suppose 0 = -s + 3*u + 6, 0 = 3*s + 3*u + 1 - 7. Suppose h + a = -s*h + 25, a = h. Suppose h*q - 85 - 20 = 0. Is q a multiple of 14?
False
Suppose 0 = -0*q - 5*q - 25. Let m = 13 - q. Is 10 a factor of m?
False
Suppose -5 = -4*v + 3*h + 26, -v + 19 = -3*h. Let z(q) = -17*q - 1. Let n be z(v). Let f = n - -113. Is 22 a factor of f?
True
Suppose -4*x + 20 = x. Is 3 a factor of (-2)/(-1*x/14)?
False
Suppose w + 3*s - 57 = 0, -4*w + 9*w - 209 = 4*s. Does 5 divide w?
True
Let d(r) = -r - 5 + 2 + 0*r. Let j be d(-5). Suppose 0 = -x + 5*x + 5*h - 33, -2*h = -j. Does 3 divide x?
False
Let j = 65 + -14. Is j a multiple of 17?
True
Let d = 16 - -170. Is d a multiple of 43?
False
Let o = -3 + 6. Suppose f + o*f = 40. Does 7 divide f?
False
Suppose -5*x + 139 = 2*h, -x - 2*h - 23 = -2*x. Let q = 49 - x. Suppose -2*n - 2*r + 60 = -0*r, -n = 5*r - q. Is 18 a factor of n?
False
Does 46 divide -2 - -3 - -64 - -1?
False
Suppose -3*y + 1 = -4*a, -2*y + 4 = -a - 0*a. Is 21 a factor of a*(0 - 44)/(-2)?
False
Suppose 0*x + 24 = 4*x. Suppose -k = -p - x, -3*p - 6 + 18 = 3*k. Is k even?
False
Suppose 3*u = -5*j + 6*u + 32, 0 = -3*j - u + 22. Suppose 2*h + 4*n - 9 = j, n = 4*h - 32. Is h a multiple of 4?
True
Let j(f) = 2*f - 6. Let o be j(4). Let q be 42/(-2)*o/(-3). Let x = 26 - q. Does 12 divide x?
True
Let s(h) = h**3 - 2*h**2 - 4*h - 3. Let w be s(4). Let c = -11 + w. Is 2 a factor of c?
True
Let p(v) = 2*v**2 + 13*v - 10. Let l be 2 - ((-12)/(-1) - 0). Is 12 a factor of p(l)?
True
Suppose -14 - 16 = -5*v. Suppose 5*z - 4*d = 100, -z + 20 = d - v*d. Is z a multiple of 12?
False
Let h(q) = -4*q + 2*q + 1 - 4 + 11*q**2. Let z be h(3). Suppose -z = 3*s - 8*s. Does 9 divide s?
True
Suppose 3*v = 2*v - 30. Suppose 5*l = -5*s + 11 + 199, 0 = -2*s + 3*l + 94. Let g = s + v. Is 8 a factor of g?
False
Let h = -57 + 86. Let o = -7 + h. Is o a multiple of 15?
False
Let y be 33/5 - (-2)/5. Let k = y - 3. Suppose -k*w - 5*v = -2*v - 23, 2*w - 4*v = 28. Is w a multiple of 3?
False
Let x be 8/3 - (-2)/(-3). Suppose -55 = -x*y - 3*y. Does 6 divide y?
False
Let p(j) = -j**2 + 3*j + 12. Let l be p(5). Let s(c) = -5 + 0*c**2 + 2*c**2 + 3. Does 6 divide s(l)?
True
Suppose -o - 71 = -2*o. Suppose 5*i - 4 - o = 0. Does 4 divide i?
False
Let f(g) = g**3 + 9*g**2 - g + 3. Let i = 6 - 15. Let k be f(i). Suppose 2*q - 3*y = k, 0 = -5*q + 4*y + 45 - 8. Is 4 a factor of q?
False
Let z = 2 - -3. Suppose -2*u = -z*u + 12. Suppose b - 2 = -w + 5*b, 16 = u*b. Does 15 divide w?
False
Suppose 7*k = 6*k. Suppose 5*m - 200 = -k*m. Does 10 divide m?
True
Let k = 21 - 72. Let d = -11 - k. Is 11 a factor of d?
False
Let r = 227 + -161. Let f(u) = 29*u**2 + 1. Let p be f(1). Suppose 5*n = -4