2*w - 97, -w + 62 = h*q. Does 7 divide q?
True
Let v(p) = 2*p**2 - 2*p - 1. Is v(3) a multiple of 5?
False
Let g = 11 - 2. Let v = 60 + g. Suppose v = 3*m + 3*i, -69 = -2*m - m + i. Does 20 divide m?
False
Let n(p) = 26*p - 2. Is 24 a factor of n(1)?
True
Suppose 0*u + 5*u = 0. Suppose -4*s - s + 120 = u. Is s a multiple of 15?
False
Suppose -4*o = -2*v + 10 + 42, o + 5*v = 9. Let i = -4 - o. Let s(n) = n - 4. Is 3 a factor of s(i)?
True
Let p be ((-2 - -3)/1)/1. Let i be 2*(3 - p/1). Suppose 0 = -i*c - 5*r + 221, -2*c + 5*r + 146 = 13. Does 27 divide c?
False
Suppose -5*p + 399 - 119 = 0. Is 14 a factor of p?
True
Suppose 4*n + 40 = 5*n. Is 18 a factor of n?
False
Suppose -2328 = -4*z - 3*i - i, 4 = -2*i. Suppose 2*u + 3*c - 390 = -78, 0 = -4*u + 4*c + z. Suppose -3*o = -8*o + u. Is o a multiple of 15?
True
Suppose -o - 171 = -4*l + 187, -o = -2. Is l a multiple of 28?
False
Let c(r) = -3*r**2 + 1. Let q be c(-1). Let z = 1 - q. Suppose 60 = z*x + x. Is x a multiple of 8?
False
Let m(o) = -32*o**3 + o**2 + 3*o. Let r(j) = 32*j**3 - j**2 - 2*j. Let i(v) = 2*m(v) + 3*r(v). Is i(1) a multiple of 14?
False
Suppose 0 = -c - 4*c + 5. Let j be c/(10/12 + -1). Let s(i) = -2*i + 8. Is 10 a factor of s(j)?
True
Suppose -7*x + 2*x + 5*l = -15, 3*l + 13 = 4*x. Suppose x*f + 3*q - 124 = 0, f + 2 - 26 = q. Is 8 a factor of f?
False
Let v = 3 + -3. Suppose 5*a + 3*z - 63 = 0, -3*a = -v*a + 5*z - 25. Is a a multiple of 10?
False
Let w(d) = -d**2 + 4*d - 3. Let b be w(2). Let s(o) = 0 + 0 + 4*o + o**2 + b + 0. Does 12 divide s(-8)?
False
Let l = 1 + 3. Let p be 2/(-3)*(-18)/l. Suppose -k + 39 = z + p*z, 4*z - 2*k = 42. Is z a multiple of 6?
False
Suppose -2*j - 40 = -160. Suppose -c - 23 = -j. Does 17 divide c?
False
Let a be (-6*4/8)/(-1). Let u = -2 + 38. Suppose -a*g + u = -g. Does 9 divide g?
True
Suppose -s + 3*l + 42 = 0, 0*s + 146 = 4*s - l. Is s a multiple of 9?
True
Let h be 54*(-2)/(-4) + 2. Let d = h + -4. Is 14 a factor of d?
False
Let b(z) be the first derivative of z**3 + z**2/2 - 4*z - 3. Is b(3) a multiple of 13?
True
Suppose -2*l = 5*i - 20, 3*l + l = -3*i + 68. Does 10 divide l?
True
Suppose 4 - 3 = -3*b + 4*u, -u = -2*b + 6. Let h be 15/((1/(-1))/(-3)). Suppose 3*s + 5*g = 89 + 6, 0 = -s + b*g + h. Does 20 divide s?
False
Suppose 0 = 11*f - 10*f - 42. Is 7 a factor of f?
True
Suppose 0*a - 3*a + 156 = 0. Does 14 divide a?
False
Let v(r) = -14*r - 6. Let q be v(3). Is ((-3)/(-6))/((-1)/q) a multiple of 11?
False
Suppose -g = -1 - 3. Let m be (-6)/(-4)*g/3. Does 2 divide m + (-1)/(2/(-4))?
True
Let k = -106 + 153. Is k a multiple of 15?
False
Suppose m = 2*m - 19. Let z = m - -5. Does 16 divide z?
False
Let x(p) = p**2 + 3*p - 6. Suppose 0*n = -5*o + 2*n + 20, 12 = 3*o - n. Is 6 a factor of x(o)?
False
Suppose 0*w = 3*w - 12. Let t(j) = -2*j + 3. Let p be t(w). Let f(r) = r**3 + 4*r**2 - 6*r + 1. Is 2 a factor of f(p)?
True
Let t = 18 - 15. Suppose -5*h + 336 = -4*f, -h = 7*f - t*f - 72. Is 18 a factor of h?
False
Let f be (-2 + 1 - -3) + 3. Suppose -4*r - 4*p + 8 = 0, 10 = f*r - 4*p - 9. Let v(k) = k**2 + 3*k - 3. Is v(r) a multiple of 8?
False
Let f(g) = -g**3 + 8*g**2 - 2*g - 2. Is 22 a factor of f(7)?
False
Let d(a) = -19*a. Is d(-1) a multiple of 5?
False
Suppose -255 = -7*k + 4*k. Is 18 a factor of k?
False
Let d(p) = 10 + p**2 - 4 - 2*p + 9*p. Is d(-7) a multiple of 6?
True
Let x = 1 + 4. Suppose v + 16 = x*v. Suppose -f + 5*z = 2*z - 33, 5*f + v*z = 89. Does 7 divide f?
True
Suppose 4*n - 14 = -3*m, -5*n - 2 = 3*m - 15. Let w = 2 - 1. Suppose m - w = u. Is 4 a factor of u?
False
Let q be ((-4)/5)/(12/(-30)). Suppose -q*x - 120 = -6*x. Is (x/(-4))/3*-2 a multiple of 5?
True
Let o(h) = h + 4. Is o(14) a multiple of 3?
True
Let d(i) = 3*i**2 + 13*i + 3. Let g(f) = -f**2 - 4*f - 1. Let z(x) = -2*d(x) - 7*g(x). Does 14 divide z(4)?
False
Let p = -45 - -169. Does 19 divide p?
False
Suppose u = 6*u - 865. Does 12 divide u/5 + 2/5?
False
Suppose 4*m = -2*k - 139 + 903, 977 = 5*m - 3*k. Does 27 divide m?
False
Let l(x) = x**2 - 14*x + 17. Let g be l(13). Suppose -o - 3*f = o - 200, -105 = -o - 4*f. Suppose 3*m - o = -g. Is 13 a factor of m?
False
Suppose 0 = 2*m + 8, -3*t + 2*m = 96 - 296. Suppose -212 = -4*g + t. Does 12 divide g?
False
Suppose 15 = -5*z, -3*h + z = 6*z + 6. Suppose 68 = -2*s + h*s + 3*i, -2*s - 2*i = -128. Suppose -3*g + s = -4. Is g a multiple of 19?
False
Let t(u) be the first derivative of u**4/4 - 10*u**3/3 + 3*u**2/2 - 15*u + 1. Is 5 a factor of t(10)?
True
Suppose 2*u - 5*r = 3*u - 8, 0 = -u + 4*r - 1. Is 16 - ((-3)/u + -1) a multiple of 8?
False
Suppose 4*d - l = 9, 9 + 2 = 3*d - 5*l. Suppose -5*u = 3*r - d*u - 30, -3*u = 4*r - 43. Is 13 a factor of r?
True
Let g(i) = 2*i**3 - 3*i**2 + 2*i - 1. Let a be g(2). Suppose n = 2*n - 15. Let p = a + n. Does 15 divide p?
False
Does 11 divide 5 + (-148)/28 - 3112/(-14)?
False
Let h = 34 - -30. Does 16 divide h?
True
Let w be (-9)/27 - (-109)/3. Does 14 divide 675/w + 3/(-4)?
False
Is 30 a factor of -1 + (26 - (-3 - 2))?
True
Let u(t) = -t**2 - 7*t + 8. Let i be u(-8). Suppose -3*z - 84 = -2*y + z, i = -5*y + z + 183. Does 12 divide y?
True
Let a(f) = 3*f + 22. Is 29 a factor of a(12)?
True
Let u = -116 - -61. Let p = -30 - u. Is p a multiple of 10?
False
Suppose 2*m = 5 - 63. Let v = -19 - m. Is v a multiple of 7?
False
Let a(c) = -c**3 + 4*c**2 + 4*c + 3. Does 7 divide a(4)?
False
Suppose 2*s - 4 = -0*s. Is 10 a factor of s*9 + 2/1?
True
Suppose -3*b + 0 + 3 = 0. Let c be 12 + (1 - (-1 - b)). Is 5 a factor of 261/c + 4/(-10)?
False
Let k = -39 + 68. Does 7 divide k?
False
Suppose -4*g + 5*l - 29 = 12, 2*l = 3*g + 22. Let p be 2*g/((-8)/11). Suppose 0 = 2*a - p - 9. Is 10 a factor of a?
True
Let u be ((-1 - 1) + 1)*-5. Suppose 2*z - 4 = -0*w - 2*w, 2*w + 17 = u*z. Suppose -5*x + 262 = -z. Is 19 a factor of x?
False
Suppose 7*y = 8*y - 103. Is 44 a factor of y?
False
Let k(q) = -98*q**3 - q**2 + q + 1. Let y = 15 - 16. Is k(y) a multiple of 31?
False
Suppose 0 = -2*d + 4, 4*r - 4*d = 296 + 28. Is r a multiple of 10?
False
Suppose -b + 3 = -2, -3*z - 2*b = -622. Does 12 divide z?
True
Let p(o) = 5*o + 3*o - 4*o - 1. Let a be p(-3). Let q = a + 39. Does 26 divide q?
True
Let z(u) = 2*u - 6. Let o be z(4). Let w be (0 - -3 - o)/1. Suppose w = x - 7. Does 4 divide x?
True
Let j = 84 - 1. Is j a multiple of 12?
False
Let o = -46 - 9. Is 3 a factor of (o/(-15))/(2/6)?
False
Let f = 5 + -8. Let u be (-2 - (f - -1))*1. Suppose q + 3*d - 30 = d, -q + 2*d + 26 = u. Is 14 a factor of q?
True
Is 14 a factor of 2 - -11 - (-1)/1?
True
Suppose -5*n = 2*s - 2*n - 201, s + 4*n = 93. Is s a multiple of 5?
True
Is 312*-1*(-2)/6 a multiple of 19?
False
Suppose -3*l = -4*l + 31. Is l a multiple of 28?
False
Let p(q) = 1 - 12*q + 5*q**2 + 0*q**2 + q - 4*q**2. Is 6 a factor of p(12)?
False
Let c = 13 - 9. Is 12 a factor of -2*c/8*-12?
True
Suppose 3*j - 4 + 1 = 0. Suppose -1 = -n + j. Suppose 0 = 3*d - 3*w - 21, -2*d = d + n*w - 41. Is d a multiple of 4?
False
Let y(d) = -d**3 - 3*d**2 + 6*d + 6. Let z be y(-4). Let f = z - -4. Suppose -f*t + 0*t = -g + 14, 0 = g - t - 15. Is g a multiple of 8?
True
Does 48 divide (-1)/(-5) - 4314/(-30)?
True
Is 4 a factor of (10/10)/((-49)/(-24) - 2)?
True
Let p(x) = x + 14. Suppose 3*v - 4*q - 24 = 0, v + 6 - 4 = -2*q. Suppose v*o = o. Is p(o) a multiple of 11?
False
Let m(d) = 3*d**2 + 4*d - 5. Let y be m(-8). Suppose 0 = 4*s - 5 - 19. Suppose t + y = s*t. Is 16 a factor of t?
False
Let m be (0 - 2)/(12/(-18)). Suppose 3*k - m*p - 79 = p, -k + 5 = 4*p. Is 14 a factor of k?
False
Let i = -15 - -20. Is 5 a factor of i?
True
Let r(a) = -a**3 + 5*a**2 - 4*a + 5. Let h be r(4). Suppose -h*i - 5*b + 26 + 29 = 0, -5*b = -2*i + 29. Does 12 divide i?
True
Let j(m) = m**2 + 8*m + 16. Does 8 divide j(-8)?
True
Suppose -m + 1 + 1 = 0. Suppose 0*s - s - 2*r + 83 = 0, m*s - 171 = -5*r. Does 26 divide s?
False
Let s(l) = -l**2 + 4*l + 4. Let g = -9 + 13. Is 4 a factor of s(g)?
True
Let p(h) = h + 5. Let f be p(7). Suppose 0 = -2*z - z - 3*r - 6, -3*r = -3*z + f. Does 6 divide 0 - (z + 1) - -15?
False
Let v be -1 - (-3 - -2) - -2. Suppose 4*x - 48 = -a - a, v*a = -3*x + 36. Is 6 a factor of x?
True
Let h(l) = -l**2 - 9*l + 19. Is h(-10) a multiple of 8?
False
Suppose -4*o - 