 Is 3 a factor of a?
True
Let m be (0 - -1)*(-2)/(-2). Let c be (1 - 2)*(m + 0). Let l = c + 23. Is 12 a factor of l?
False
Suppose 5*g - 146 = 4*g - 5*n, -2*g + 247 = -5*n. Is 18 a factor of g?
False
Let f(j) be the second derivative of -j**5/60 + j**4/24 + j**3/3 - j. Let u(h) be the second derivative of f(h). Is 8 a factor of u(-8)?
False
Suppose -4*q = -2*j + 254, -243 = -3*j - q + 103. Is 13 a factor of j?
True
Let m(u) = -u**3 - u**2 + 2*u + 29. Is 29 a factor of m(0)?
True
Let m = 154 - 57. Suppose 0 = 2*t - 2, -3*t + 2*t + m = 4*j. Does 7 divide j?
False
Let h = -6 + 3. Let o = -7 - -10. Is (-3)/h*o*4 a multiple of 6?
True
Suppose -5*d + 68 + 167 = 0. Is 17 a factor of d?
False
Suppose -15 = 5*a - 4*q + 6, 4*a - 3*q + 16 = 0. Let u = -4 + 3. Does 17 divide (-3 - u)*a*13?
False
Suppose -2*u = 4*v - 8, 3 = 5*u - 2*v - 5. Suppose c - 3*y - 16 = 0, -5*y = -u*c - 3*y + 52. Is c a multiple of 17?
False
Let m = 32 - -60. Is 20 a factor of m?
False
Is 2/(-10)*(-263 + -2) a multiple of 7?
False
Let z = -5 - -1. Does 16 divide (-10)/(z/(-18)*-1)?
False
Let x(z) = -z**3 - 6*z**2 + 11*z - 1. Does 13 divide x(-8)?
True
Let y(o) = -o**3 - 6*o**2 + 11*o - 4. Is 7 a factor of y(-8)?
False
Let i(j) = j**2 - 2*j - 3. Let r be i(-2). Let k(p) = 2 + 2*p - 1 - r*p - p. Is k(-4) a multiple of 7?
False
Is 6/9*4*27 a multiple of 14?
False
Suppose -2*k + 102 = z + k, -2*z - 2*k = -196. Is z a multiple of 32?
True
Suppose 3*z - 5 = 2*z. Suppose -b = -u + 3*u - 4, 3*b - 34 = z*u. Is b a multiple of 8?
True
Suppose 0 = 3*v + 4*n - 139, 5*v = 3*v - 5*n + 81. Let t = v + -17. Is t a multiple of 12?
True
Let z(w) = w**3 + 6*w**2 - 7*w - 1. Let o be z(-5). Suppose -o = -4*j + 101. Is j a multiple of 9?
False
Let o(g) be the first derivative of -g**4/4 + 4*g**3/3 - g**2 + g - 2. Let n be o(3). Suppose -4*i + n*m + 67 = 3*m, -i = 3*m - 33. Is i a multiple of 13?
False
Suppose 2*n = 10, 40 = -5*s - 0*n + 2*n. Is (-80)/(-6) - s/(-18) a multiple of 10?
False
Let f be -1 - 3 - (0 - -2). Is ((-2)/f)/((-3)/(-99)) a multiple of 3?
False
Suppose k + 8 = 2*k. Does 4 divide k?
True
Let o(t) = 3*t**2 + 1. Let i be o(1). Suppose 7*a + 4*f = i*a + 30, a - 2 = -4*f. Is 3 a factor of a?
False
Let y be 2/4*(0 + 0). Suppose 2*h + h - 57 = y. Does 13 divide h?
False
Let f be 4/18 - (-52)/9. Let s(v) = v**2 - 5*v + 1. Is s(f) a multiple of 7?
True
Suppose p + 2*q = -q - 10, -10 = -p + 2*q. Suppose s - p*w + 0*w - 4 = 0, -s - 2*w + 12 = 0. Does 10 divide -4*(-1 + (-34)/s)?
False
Suppose 0 = -12*p + 390 + 978. Is 22 a factor of p?
False
Suppose -3*i - 160 = i. Let d = -19 - i. Is d a multiple of 11?
False
Suppose 0*x = -3*x. Suppose a - 4*o - 53 = -x*o, 2*o + 283 = 5*a. Does 19 divide a?
True
Let u(i) = 3*i**3 - i**2 - 3*i + 3. Let z be u(2). Suppose -z = -2*o + 11. Is o a multiple of 7?
True
Let i be -2*1/4*-10. Suppose -97 = -j + 2*v, i*j = -3*v - 5 + 438. Does 24 divide j?
False
Let u be ((-152)/(-3))/(3/9). Is (-51)/34*u/(-6) a multiple of 13?
False
Suppose -a + 8 + 19 = 0. Does 9 divide a?
True
Let r = 97 - 32. Does 10 divide r?
False
Suppose t + 5*i = -2, -4*t - i = 3*i - 8. Suppose 2*d = -t*p + d + 35, 5*d - 25 = 0. Is p a multiple of 5?
True
Let j(y) = -34*y + 6. Is 10 a factor of j(-1)?
True
Suppose -v + 0*v = 0. Suppose -b + 27 + 27 = v. Is b a multiple of 27?
True
Suppose 3*y = b - 168, 0*b - 2*y = -5*b + 879. Does 14 divide b?
False
Suppose 4*y - 4*p + 7*p = -4, -2*y + 12 = -2*p. Suppose 4*k - 100 = -6*k. Suppose -1 = -2*b + a + 44, 0 = y*a + k. Does 12 divide b?
False
Suppose x - 6*x - 640 = 0. Is x/(-6) - (-2)/(-6) a multiple of 21?
True
Is 15 a factor of (1 + 57/(-21))*(-105)/6?
True
Suppose 4*r + u = 251, -5*r + 3*u = -r - 255. Does 19 divide r?
False
Is 29 a factor of 309/3 + (-5 - -4)?
False
Let x(k) be the first derivative of 8*k - 2 - 3/2*k**2. Does 10 divide x(-6)?
False
Suppose 0 = -24*a + 14*a + 200. Is 8 a factor of a?
False
Let j be -2 - (-1 + 8/(-2)). Suppose -2*y + 2*g + j = y, 0 = 2*y - 5*g + 9. Is y a multiple of 2?
False
Let x(r) = -r**2 - r + 31. Is 31 a factor of x(0)?
True
Let m(w) = w + 2. Let g be m(-5). Let a = g + 3. Suppose a*z = 4*z - 136. Is 14 a factor of z?
False
Let o be ((-7)/(-4))/((-3)/12). Let f(k) = -k**3 + 9*k**2 - k - 5. Let z(s) = -s**3 + s**2 - s. Let a(u) = -f(u) + 2*z(u). Is 8 a factor of a(o)?
False
Let d(o) = -3*o + 4. Let k be d(-5). Let n = 42 - k. Let m = 35 - n. Does 12 divide m?
True
Suppose -1 + 5 = 2*v, d - 5*v = 12. Is d a multiple of 22?
True
Suppose 5*y - 2*y + o + 23 = 0, -2*y + 5*o = -13. Let f(k) = k**2 + 4*k - 8. Let h be f(y). Suppose -i = -8 + h. Does 4 divide i?
True
Let p = 44 + 8. Is p a multiple of 13?
True
Let i = 65 - 33. Is 3 a factor of i?
False
Let j = -7 - -12. Is 5 a factor of j?
True
Does 10 divide (47 + -5)*1*2/4?
False
Suppose -u = -0*u - 2*s - 79, -4*s = 3*u - 217. Let j = u - 35. Is j a multiple of 10?
True
Let r(g) = g**2 - 11*g + 7. Let f(s) = -s**2 + 11*s - 6. Let c(t) = 7*f(t) + 6*r(t). Is 10 a factor of c(6)?
True
Let n = -7 - -41. Does 7 divide n?
False
Let h(a) = -19*a**2 - 2*a - 1. Let u be h(-1). Let g = -13 - u. Suppose -3 = -g*w + 47. Is 5 a factor of w?
True
Let o(c) be the first derivative of c**4/12 - 2*c**3/3 + 3*c**2/2 + 2*c + 1. Let j(t) be the first derivative of o(t). Is 9 a factor of j(7)?
False
Suppose -r - 2*r = 3. Let f(v) = -8*v + 1. Let k be f(r). Let m = -5 + k. Is m a multiple of 4?
True
Let h(a) = -a - 5. Let j be h(-5). Let m be (-2 - j/1) + 5. Suppose 2*f = -4*n + 36, -38 = -m*f + 2*n - 0*n. Is 6 a factor of f?
False
Let l(v) = 2*v**2 + v - 14. Is 4 a factor of l(-5)?
False
Let w be 4 + -1 + (43 - -2). Suppose 0 = 5*m + w - 223. Is m a multiple of 16?
False
Let m be 6/9 - (-70)/3. Suppose f - m = -3*f. Is 6 a factor of f?
True
Let s(r) be the first derivative of 2*r**3 + 3*r**2/2 + 3*r + 2. Let k be s(-3). Suppose 64 = 5*d + n, 4*d + 0*n - k = -4*n. Is 6 a factor of d?
False
Let l(n) = 5*n + 9. Does 13 divide l(11)?
False
Let r(j) = j**3 - 6*j**2 + 7*j - 3. Let u(a) = a**3 - a**2 + 1. Let l be u(2). Is r(l) a multiple of 3?
False
Let x(q) = -q**2 + 5*q + 3. Let a be x(5). Is 3 a factor of (-88)/(-8) - 1*a?
False
Is 11 a factor of 5/(15/24) - -3?
True
Let w = 24 - 10. Is 7 a factor of w?
True
Suppose 5*c = -4*h + 51, -4*h + 32 = 3*c - 5. Is c even?
False
Let j be (-2 - -5 - 3)/(-1). Suppose q - l - 57 = -6, j = -2*q - 5*l + 123. Is q a multiple of 14?
False
Suppose 4*x = -12, 3*r - 6*r - 6 = 2*x. Suppose 1 + 9 = 2*m. Let y = r + m. Is 5 a factor of y?
True
Let v = -290 - -443. Is 14 a factor of v?
False
Let g = -100 - -140. Suppose 4 = -n - n, 3*n - 9 = -5*j. Suppose -j*y = 2*y - g. Is y a multiple of 8?
True
Let r be (0 - -1) + -1 - -4. Let j = -104 + 128. Suppose -r*d + 3*d + j = 0. Is d a multiple of 9?
False
Suppose 3*g - 256 = g. Does 7 divide g?
False
Suppose -1 = -s - 4*k - 2, 3*k + 18 = 5*s. Suppose 151 = s*j + 2*m, -2*m - 258 = -5*j + m. Is j a multiple of 17?
True
Does 25 divide 24 - -13 - 3*1?
False
Suppose 7*m - 570 = 2*m. Suppose m = 3*y + 18. Suppose h = -h + 3*l + y, -l = 3*h - 48. Does 16 divide h?
True
Suppose -1022 = -4*q - s, 0 = -2*q - 0*s - 2*s + 508. Does 37 divide q?
False
Suppose 4*t - 5 = 3. Suppose 3*j + t*j = 225. Is j a multiple of 22?
False
Let p(s) = 5*s. Let n be p(5). Let l = n - -1. Is 20 a factor of l?
False
Suppose -5 = -2*j + 7*j. Let c(w) = -6*w**3 + 2*w + 1. Does 5 divide c(j)?
True
Suppose 2*q - 5*f + 29 = 0, -15 = -4*q - q - 5*f. Is 30 a factor of (-3)/(q - (-132)/68)?
False
Let h(g) be the second derivative of -7*g**3/6 - g**2 - 3*g. Is 5 a factor of h(-2)?
False
Let y(k) = 84*k**2 + k - 2. Is 27 a factor of y(-1)?
True
Let t(z) be the third derivative of -z**6/60 + z**4/24 - z**3/3 - 4*z**2. Is t(-2) a multiple of 4?
True
Let o(a) = a**3 - a + 1. Let s be o(0). Let y be (0 - -1 - 1) + s. Does 11 divide (-12 + y)/(5/(-5))?
True
Let g(z) = -z**3 - 6*z**2 + 4*z + 7. Suppose -2*q - 13 - 1 = 0. Let l be g(q). Let f = -10 + l. Is 18 a factor of f?
True
Suppose -2*m - 15 = -5*w, -2*w + 4 = -3*m - 2. Suppose w*p + 15 = 8*p. Suppose -4*b + 146 - 50 = -p*o, 48 = 2*b - 2*o. Is 12 a factor of b?
True
Suppose -9 = g + z - 34, 0 = -5*g + 2*z + 160. Is g a multiple of 10?
True
Let y(a) = -5*a**2 + 12*a - 4. Let c(o) = 4*o**2 - 12*o + 5. Let s(