q - 4*q - p, -2*p - 4 = 0. Is 6 a factor of (7 + -6)*4*q?
True
Let x(d) = 43*d - 2. Let o be x(2). Suppose -5*v = -2*v - o. Is v a multiple of 15?
False
Suppose 5*h + 130 = 2*b - 0*b, h - 3*b = -13. Let o = -15 - h. Is 7 a factor of o?
False
Let h(s) = s**3 - 7*s**2 + 13*s - 1. Let w = 23 - 17. Does 15 divide h(w)?
False
Suppose 3*v - 12 = 0, 4*o - v = v + 48. Is 3 a factor of o?
False
Let s(a) = a**3 + 9*a**2 + 7*a - 5. Let h be s(-8). Suppose -h*y + 4*w - 46 = 0, y = -w - 12 - 8. Does 2 divide (4/(-6))/(4/y)?
False
Let t(v) = -v**2 - 3*v + 4. Let a be t(-3). Suppose 4*s + 64 = a*z, 0 = -3*z + 6*s - s + 58. Is z a multiple of 3?
False
Let j be (-4)/14 - 72/(-7). Suppose c = 3*c + j. Let t(z) = -z**2 - 9*z - 6. Is t(c) a multiple of 12?
False
Let w be 20/(-15)*(-3)/(-2). Let k be 4/(-3)*57/w. Let q = -26 + k. Does 6 divide q?
True
Let m(z) = z - 7. Let g be m(6). Is 8 a factor of g + (-1 - -27) + 0?
False
Let u(g) be the second derivative of g**3 - g**2/2 - 4*g. Is 24 a factor of u(9)?
False
Let o = -31 + 45. Let b = o + 1. Is b a multiple of 10?
False
Suppose -3*m - 19 = 17. Let y be ((-3)/(-9))/((-2)/m). Suppose -2*h + 9 = -3*n, -y*n + 41 = 3*h - n. Is 12 a factor of h?
True
Let w(j) = -j**3 - 5*j**2 - 6*j - 9. Let k be w(-6). Let h = -23 + k. Suppose 0 = -4*x - 3*a + 52, -4*a - h = -3*x - 6*a. Is x a multiple of 16?
True
Suppose -b + 7*f = 3*f - 4, 5*b + 2*f - 42 = 0. Let y = b - -2. Is y a multiple of 5?
True
Let k(r) = -r**3 - r**2 + 2*r. Is k(-4) a multiple of 20?
True
Suppose -4*a + 1 + 11 = 0. Suppose -o - l + a*l = 0, 5*o = -3*l + 26. Is 4 a factor of o?
True
Let z(v) = 9*v + 7. Suppose 2*i - f + 8 = -4, -5*i - 4*f = 17. Let k be z(i). Let a = -18 - k. Is a a multiple of 14?
False
Suppose 0*x = -5*x + 60. Does 2 divide x?
True
Let i(z) = 17*z - 3. Let k(m) = 11*m - 2. Let r(p) = -5*i(p) + 8*k(p). Does 3 divide r(4)?
False
Let v(i) = 38*i**2 - 3*i + 2. Does 8 divide v(1)?
False
Suppose 48 + 36 = -b. Let h = -48 - b. Is 18 a factor of h?
True
Let h(n) = 2*n**2 - n. Let b be h(1). Let r(a) = 2*a**3 + a**2 - 2*a + 4. Let x be r(3). Is x + (3 + -4 - b) a multiple of 17?
False
Let z(s) = 9*s - 5. Let b = 9 + -5. Does 31 divide z(b)?
True
Let o(f) = 2*f**3 + f**2 - 8*f + 3. Let a(i) = i**3 - 4*i + 1. Let l(x) = 7*a(x) - 4*o(x). Let q be l(-5). Suppose 72 = -q*p + 3*p. Is 12 a factor of p?
True
Let n be (-10)/(-14) - 4/(-14). Let k(x) = -1 - 7 + x**2 - 4*x + n. Is k(7) a multiple of 8?
False
Let j(c) = -c**2 - 7*c - 4. Is j(-5) a multiple of 4?
False
Let u(s) = -s**2 - 11*s - 8. Let x = -16 - -6. Let n = x - -2. Does 8 divide u(n)?
True
Let r(n) = -n**2 - 8*n - 3. Let o be r(-7). Suppose o*j = -5*u - 10, -u = -3*j - 4 - 13. Is -1 + (2 - (-26)/u) a multiple of 6?
False
Suppose -6 = 3*t - 2*w - 2*w, -27 = 4*t + w. Let r be (2/t - 1)*-3. Suppose -5*p + 3*o + 24 = -37, r*o = 3*p - 41. Does 10 divide p?
False
Suppose -22 = -p + 20. Is 14 a factor of p?
True
Let h(s) = 17*s**2 - 4*s - 1. Is 8 a factor of h(2)?
False
Let z(q) = -5*q - 6. Let a = 8 - 12. Does 8 divide z(a)?
False
Is 6 a factor of (-12)/7*(-119)/34?
True
Suppose i + 421 = 2*t - 22, -217 = -t - 4*i. Does 42 divide t?
False
Let s be 3/(-12) + (-193)/(-4). Let t = -28 + s. Suppose 3*f - 76 = t. Is 16 a factor of f?
True
Suppose -y = -2*k - 37, 0*k + 2*y - 95 = 5*k. Let m be (0 - k) + 1 + -1. Suppose q = -5*b + m, -2*b + 27 = 4*q - b. Is q a multiple of 6?
True
Let g = -5 + -11. Let v(y) = -4*y - 14. Is 11 a factor of v(g)?
False
Let z = -9 - -11. Suppose 0 = 4*w + z*m - 4, -4*w + 4*m + 12 = 2*m. Suppose -w*o = -0*o - 10. Is o a multiple of 3?
False
Suppose 0 = 3*u + 76 + 5. Let r = -16 - u. Is 10 a factor of r?
False
Let k = -130 + 236. Is k a multiple of 15?
False
Suppose -8*n = -11*n + 270. Suppose 2*p = 5*p - n. Is 13 a factor of p?
False
Let b(g) = 10*g + 9. Is 5 a factor of b(3)?
False
Let i = 2 + 0. Let r(p) = 3*p**2 + 2*p**i - 4*p**2 + 5*p - 3. Is 2 a factor of r(-6)?
False
Let s be -3*2*4*-4. Suppose -s = -2*n + 22. Let v = n - 41. Is 9 a factor of v?
True
Suppose 0 = -5*g - 26 - 9. Let v = -1 - g. Let c = v - 0. Is c a multiple of 6?
True
Let v = -5 + 6. Let h(u) = -4*u + 1. Let t be h(v). Is ((-13)/t)/((-1)/(-9)) a multiple of 16?
False
Let t = -323 + 611. Does 12 divide t?
True
Let b = 441 - 308. Does 19 divide b?
True
Let c = 8 - 13. Let z = 0 - c. Let w(k) = -k**2 + 7*k. Is w(z) a multiple of 10?
True
Suppose 3*y + 9 = 0, -3*l + 4*y + 54 = -y. Is 4 a factor of l?
False
Suppose 4*b - 22 = -2*d, 5*b = 5*d + 37 + 13. Let h(p) be the second derivative of p**3/6 + p**2/2 + 16*p. Is 4 a factor of h(b)?
True
Suppose 222 = 5*j + 3*s - 150, 2*s - 8 = 0. Is j a multiple of 21?
False
Suppose -w + 3 = -5. Let i = 11 - w. Suppose i*s = 36 - 0. Is s a multiple of 12?
True
Let f(p) = p**2 + 7*p + 6. Let m be f(-6). Suppose 3*w - 9 - 60 = m. Let j = 42 - w. Does 12 divide j?
False
Let s(o) = 4*o**2 + 3*o + 2. Let n be (6 - 5)/((-2)/6). Is s(n) a multiple of 13?
False
Suppose -44 = -4*t - 3*m, 0*m - 11 = -t - 4*m. Let k = t + -8. Suppose 2*u = 2*a + 66, -2*u + 7*u - 125 = -k*a. Is 13 a factor of u?
False
Suppose 357 = 2*y + 137. Is y a multiple of 10?
True
Let o be 6/(-9) - 4/12. Let n be (0 + 0)/(-3) - 95. Is n/15*(-4 - o) a multiple of 7?
False
Let x = 119 + 7. Is 18 a factor of x?
True
Let v be ((-9)/5)/(1/(-15)). Let z = v - 5. Is 11 a factor of z?
True
Let q(z) = 6*z**2 - 1. Is q(2) a multiple of 13?
False
Suppose 2*z = -z - 6, -2*q = 2*z - 212. Is q a multiple of 20?
False
Let f = -17 - -25. Let d(h) be the first derivative of -h**4/4 + 3*h**3 - 7*h**2/2 - h - 1. Does 7 divide d(f)?
True
Suppose -5*g = 3*o + 7 - 103, -5*o = -4*g + 62. Is g a multiple of 5?
False
Let x = -37 + 148. Is x a multiple of 37?
True
Suppose 0 = -4*i + 231 - 51. Does 10 divide i?
False
Let n(x) = -3*x - 8. Does 16 divide n(-10)?
False
Let i(n) = n**2 - n - 4. Let b be i(0). Suppose -38 = -0*x + x. Let u = b - x. Is 16 a factor of u?
False
Suppose 3*b = -2*m + 40, 32 = 2*b - 4*m - 0*m. Does 11 divide b?
False
Let j be (1/(-2))/((-5)/470). Let y = j - 34. Is 13 a factor of y?
True
Let w(o) = o**2 - 5*o + 1. Let l be w(6). Let n = 8 - l. Is 4 a factor of n + -4*6/(-8)?
True
Suppose -6 = -4*y + 10. Let a be ((-22)/y)/((-1)/22). Let f = -76 + a. Is f a multiple of 15?
True
Suppose 22 = 3*k - 14. Let r = 31 - k. Does 19 divide r?
True
Let g = 82 - 16. Is 22 a factor of g?
True
Suppose -29 + 94 = -5*x. Let h = 24 + -1. Let i = h + x. Is 10 a factor of i?
True
Let l(m) = -m**3 - m**2 + m + 78. Let i be l(0). Suppose -51 = -s + k + k, 0 = -2*s - 4*k + i. Is s a multiple of 15?
True
Let k(p) = 60*p**3 + 2*p**2 - p. Let c be k(1). Suppose -5*z + c = x - 5*x, 3*z - 5*x - 47 = 0. Let f(o) = 4*o + 8. Is 17 a factor of f(z)?
False
Suppose -m - 4*m + 70 = 0. Let s = m - 0. Is 14 a factor of s?
True
Let q be (-7)/(-14) + (-1)/2. Suppose q = 5*d + 4*m - 60 - 85, d = -3*m + 40. Is 25 a factor of d?
True
Let v be 2/(-1)*5/(-2). Suppose n = 2*g - 15, -3*g - 5 = v*n - n. Suppose g*h = -s - s + 194, 4*s + 52 = h. Is 20 a factor of h?
True
Suppose 0 = -5*w + 4*a + 2 + 4, 2*w = 4*a. Suppose 0 = -3*d - 1 - w, 4*l + 4*d = 140. Does 12 divide l?
True
Suppose 0 = l - 4*l - 75. Does 19 divide -5 - l - (1 - 0)?
True
Suppose 30 = j + 4*j. Suppose 2*v + 8 = j*v. Is 20 a factor of -3 - ((-86)/v)/1?
True
Suppose 4*s - 4*z = -236, 0 = 4*s + 5*z - 4*z + 231. Let l be ((-8)/10)/((-1)/(-35)). Let b = l - s. Is b a multiple of 15?
True
Let v(c) = -c**3 + c**2 + c + 2. Let r be v(0). Is 3 a factor of 11/1 - 2 - r?
False
Suppose -v + 4*m = -16, 4 - 1 = -3*m. Does 12 divide v?
True
Is 19 a factor of 50*((2 - 5) + 4)?
False
Suppose 20 = 4*v + 4. Suppose -f + v*r = -0*f - 27, -5*f + 160 = 5*r. Is 11 a factor of f?
False
Suppose 4*u + 3*v = 771, 5*u - 1146 + 183 = -4*v. Is u a multiple of 49?
False
Suppose g - 10 - 8 = 0. Is g a multiple of 9?
True
Let j = 119 - 26. Is 31 a factor of j?
True
Suppose -90 = -3*h - 3*g, 8*g = 5*h + 3*g - 120. Let u = -5 + h. Is 22 a factor of u?
True
Suppose -330 = -l - 5*l. Is l a multiple of 8?
False
Let r(t) = -2*t - 6. Suppose 0 = -g + 2*g. Suppose g*h + 2*h = -16. Is r(h) a multiple of 10?
True
Let q = 78 + -36. Is 8 a factor of q?
False
Let m = 9 + -9. Suppose m = -5*o + 2*o + 135. Is 9 a factor of o?
True
Let k(c)