= -r*s - 7*c, -2*c - 6 = 0. Is 7 a factor of s?
False
Let h = -3 + 7. Suppose -z = h*z. Suppose z = 2*x + 2*x - 12. Is 3 a factor of x?
True
Suppose 0*v + v + 4*m = 26, 2*m + 68 = 4*v. Let f = v - 6. Does 4 divide f?
True
Suppose 4*d = 7*d - 6. Suppose -2*f + 4 = 2*f. Does 8 divide 16/2*f*d?
True
Let u be -3*-2*3/9. Let p be 2 - (1 - 12/u). Suppose p = g - 1. Does 8 divide g?
True
Let j(t) be the first derivative of -t**3/3 + 2*t**2 + 5*t + 1. Let d be j(4). Suppose h - 28 = -d. Is 16 a factor of h?
False
Let k(o) = -12*o - 8. Let h be k(-9). Suppose h = 6*a - a. Is a a multiple of 6?
False
Let s = 33 + -79. Let z = 4 + -27. Let t = z - s. Is 8 a factor of t?
False
Let n(z) = 33*z**2 + z - 1. Does 5 divide n(1)?
False
Suppose 4*c = 4*f + 52, 3*c + 3*f - 39 - 30 = 0. Is (c/(-10) + 1)*-5 a multiple of 4?
True
Let v be (-4)/(-22) + 96/(-44). Let x(i) = -4*i**3 - i**2 - 2. Is x(v) a multiple of 15?
False
Let a = -6 - -6. Suppose a - 32 = -c. Does 16 divide c?
True
Let t(s) = 10*s - 5. Is 12 a factor of t(13)?
False
Suppose -c - q + 3 = 0, -q + 7 = -7*c + 4*c. Let t(h) = 3*h + 5. Let n be t(4). Let x = c + n. Is 8 a factor of x?
True
Suppose -7*s - 68 = -3*q - 3*s, -5*s + 20 = 0. Is 7 a factor of q?
True
Suppose -13 = 3*y - 4*z, 3*y - z + 29 = -5*z. Let r(t) be the first derivative of t**3/3 + 2*t**2 - 3*t - 2. Does 5 divide r(y)?
False
Suppose 6*q - 4*q - 12 = 0. Is q a multiple of 2?
True
Suppose -3*f + 6*f = -102. Let h = f + 60. Is 13 a factor of h?
True
Let q(c) be the third derivative of -c**5/60 + c**4/6 + 5*c**3/6 + 2*c**2. Let s be q(5). Suppose -4*b - b + 55 = s. Does 4 divide b?
False
Suppose -126 = -3*f + f. Suppose 4*t = f + 73. Suppose 3*g = -2*b + 59, 4*b = -2*g + 4*g - t. Is 7 a factor of g?
False
Let q(h) be the first derivative of 11*h**4/4 - h**3 + 2*h + 6. Does 17 divide q(2)?
False
Let c(j) = -j**3 + 7*j**2 + 9*j + 8. Is c(8) a multiple of 8?
True
Let h = 267 + -150. Is h a multiple of 39?
True
Let q(y) = 5*y**2 + 13*y - 11. Let z(h) = 11*h**2 + 27*h - 23. Let n(r) = -9*q(r) + 4*z(r). Is 13 a factor of n(-6)?
False
Suppose -35 + 260 = 5*o. Suppose -u = 2*u - q - 35, o = 5*u + 5*q. Does 7 divide u?
False
Does 25 divide -2*79*4/(-8)?
False
Suppose 2*u = -4*u + 348. Is 29 a factor of u?
True
Let y(o) = -o**2 + 12*o - 11. Let n be y(11). Let w(m) = -m + 12. Does 12 divide w(n)?
True
Let o(u) = -u**3 - u**2 - u + 46. Let x be o(0). Let k = -21 + x. Does 9 divide k?
False
Suppose 0 = 5*y - 15, 0*l + 4*l + y = 187. Let s = l + -25. Suppose -24 = -5*b + s. Is 8 a factor of b?
False
Does 4 divide -4 + 44 - 0/6?
True
Let o = -3 + 5. Suppose 6 = -3*h, 7*u - 4*u + 4*h = -o. Let v(d) = 11*d - 3. Does 9 divide v(u)?
False
Suppose -9*r = -7*r - 8. Is r a multiple of 4?
True
Is 12 a factor of 10/15 - 2015/(-15)?
False
Let j(k) = -k**3 - 3*k**2 + 2*k - 4. Let c be j(-5). Is 11 a factor of c + (-7 + 1)/2?
True
Suppose m - 27 = -10. Is m a multiple of 10?
False
Suppose -4 = 3*t - 16. Suppose 0 = -j + t*j + 12, 2*m + 4*j = -14. Let o(b) = 35*b. Is 16 a factor of o(m)?
False
Let k = 62 - 44. Does 6 divide k?
True
Let a(k) = k - 43. Let i(r) = -r + 29. Let j(n) = -5*a(n) - 8*i(n). Does 5 divide j(11)?
False
Suppose -7*h = 194 - 1370. Does 28 divide h?
True
Suppose 3*h + 3*z = 7*z, 0 = -h + 4*z + 8. Let d = 8 - h. Does 12 divide d?
True
Suppose 2*c + 990 = 5*v - 3*c, -4*v - 2*c = -792. Is v a multiple of 33?
True
Suppose 2*l + 3*h + 42 = 118, l - 2*h = 24. Does 16 divide l?
True
Let g(f) = -3*f + 4. Let y be g(5). Let a = 21 + y. Does 4 divide a?
False
Let c(w) = -5*w - w + 8*w**2 + 4*w. Let v(o) = o**2 - 4*o + 1. Let j be v(3). Is c(j) a multiple of 17?
False
Let p(a) = -5*a + 2*a + 0*a + 10 - a. Does 12 divide p(-3)?
False
Let q(p) = p**2 + 5*p - 18. Does 9 divide q(-9)?
True
Let n be ((-10)/3)/(2/(-3)). Suppose -12 = -n*d + 8. Suppose -d*v - t + 36 = -5*t, -2*v + 12 = -5*t. Is v a multiple of 6?
False
Is 7 a factor of (-285)/(-12) - (-4)/16?
False
Let v(c) = 2*c - 8. Let d be v(8). Is 11 a factor of d*(3/4 + 2)?
True
Let o be (-1 + -5)*(-152)/(-12). Let x(r) = r**2 + 10*r + 4. Let z be x(-7). Let t = z - o. Is t a multiple of 24?
False
Let u(w) = 5 - w - 3 - 6*w. Let z be -6*2/4 + 1. Does 8 divide u(z)?
True
Let h = -424 - -623. Is h a multiple of 53?
False
Suppose -6 = 3*s - 5*s. Suppose s*h - 2*h - 22 = 0. Does 11 divide h?
True
Let p(o) = 8*o + o**2 - 4*o**2 + 2*o + 12 + 4*o**2. Is p(-14) a multiple of 17?
True
Let k(p) = p**3 + 2*p**2 - 3*p + 1. Let q be k(2). Let g = -9 + q. Is 2 a factor of (g/(-7))/(2/(-14))?
True
Let f(z) = -z**2 - 6*z - 6. Let t be f(-4). Suppose -x - 316 = -4*v + 3*x, 5*v = t*x + 392. Is v a multiple of 20?
False
Let k = 3 + 3. Let p(z) = z**2 - 6*z. Let j be p(k). Let t(v) = -v + 10. Does 6 divide t(j)?
False
Let f(h) = -h**3 - 4*h**2 + 7*h - 2. Is 14 a factor of f(-6)?
True
Suppose 0 = -3*v + 2*p - 10, -4*v - 5*p + 3*p - 18 = 0. Does 25 divide ((-25)/(-4))/(v/(-16))?
True
Let q(z) = 7*z**3 - 11*z**2 - 3*z - 2. Let x(j) = 2*j**3 - 4*j**2 - j - 1. Let s(m) = -3*q(m) + 8*x(m). Let u be s(2). Let i = u + 56. Is 11 a factor of i?
False
Suppose 6*x - 5 = x. Let u be ((-15)/6 + x)*-2. Suppose -2*y + 4*k - 3*k = -19, -5*k + 48 = u*y. Is 6 a factor of y?
False
Let c be 202/18 + 4/(-18). Let q = -8 + c. Suppose -14 = -y - q*f, -4*y + 0*y - f = -67. Does 17 divide y?
True
Let t(g) = -2 - 2*g + 4*g - g**3 - 2*g**2 - 3*g. Let w be t(-2). Suppose w = q + 6 - 1, 58 = 4*d + 2*q. Is 6 a factor of d?
False
Let i(a) = -a**3 - a**2 - a + 5. Is 3 a factor of i(0)?
False
Suppose 0 = h - 5*p - 32, 9 = 3*h + p - 7. Let g(v) = v - 2 - v + v. Does 5 divide g(h)?
True
Suppose -5*g - 111 = -2*w - 10, -3*g = -4*w + 167. Suppose 0 = -3*r + 13 + w. Is r a multiple of 10?
False
Let k(z) = 2*z - 1. Let s be k(-3). Let x(l) = -l - 2. Is 5 a factor of x(s)?
True
Does 27 divide ((-1)/(-2))/(2/144)?
False
Let p = 74 + -42. Let c = 5 + p. Is 24 a factor of c?
False
Let i be ((-4)/7)/((-4)/14). Suppose v - 24 = -i. Is 11 a factor of v?
True
Let j(a) = -4*a. Let g(v) = -v**2 - 7*v. Let u be g(-6). Suppose 2*h = 3*s + 18, s - 11 = h - u*h. Is 8 a factor of j(s)?
True
Let d(o) = o**2 - 9*o + 16. Is 8 a factor of d(9)?
True
Let r(x) = 4*x**3 - 4*x**2 - 6*x + 8. Is r(4) a multiple of 11?
True
Let f(n) = -17*n - 9. Is 19 a factor of f(-5)?
True
Suppose 20 = 5*h - 2*o, -5*h - 4*o + 43 + 7 = 0. Suppose -x + h = x. Does 3 divide x?
True
Does 7 divide 2/(-5) + ((-2982)/15)/(-7)?
True
Let v(j) = -j**3 + 4*j**2 + 2*j - 1. Let i be v(-2). Let s = i - 16. Is s even?
False
Suppose 0 = -5*v + 2*s + 78, 0*v = 3*v + s - 38. Is 6 a factor of v?
False
Let w(j) = -3 - 10*j + j + 1 - j**2. Is w(-7) a multiple of 12?
True
Let y(z) = z**3 + 2*z**2 - 3*z + 3. Let a be y(-3). Suppose -2*m + 12 = -3*q + 51, 4*m - 39 = -a*q. Does 6 divide q?
False
Suppose 7*u - 786 = -170. Is u a multiple of 36?
False
Let x = -1 + 5. Suppose -2 = v - 4*m, 5*v = v + x*m + 4. Is v even?
True
Let q = -73 - -138. Is q a multiple of 24?
False
Suppose -4*t = -6*t - 2*m + 46, 2*t + 4*m - 56 = 0. Let a = 128 - t. Let s = -50 + a. Is 20 a factor of s?
True
Suppose -4*j = -7*j - 15. Let z(i) = i**2 + 5*i + 3. Does 2 divide z(j)?
False
Suppose -4*m + 7 = -9. Suppose m*y = y + 165. Is y a multiple of 11?
True
Let w = -7 - -20. Is w a multiple of 7?
False
Suppose 0 = -2*j + j + 27. Does 5 divide j?
False
Let k(f) = -1 - 6*f + 3*f + 3*f**2 + f**2. Suppose 4*o = -6 - 2. Is 15 a factor of k(o)?
False
Suppose 2*w - 4*w + 4*l + 4 = 0, 9 = 3*w - 3*l. Suppose u - 25 = -w*u. Is 3 a factor of u?
False
Suppose 0*w + 15 = w. Is w a multiple of 8?
False
Let v = -165 - -253. Suppose v = 2*a - 4. Does 23 divide a?
True
Let v be (-30)/9*(-6)/5. Suppose v*w + w - 95 = 0. Is w a multiple of 19?
True
Let a be (-1)/2*(6 - 16). Suppose -3*t + 8*t + 77 = 3*o, -a*t = 4*o - 126. Is 15 a factor of o?
False
Suppose q - 3*q + 16 = 0. Let t = -2 + q. Suppose -4*s = v - 175, t*s + 5*v = 3*s + 127. Is 20 a factor of s?
False
Let s be (-17)/(3/3)*-1. Suppose -4*d = -s + 97. Let x = -12 - d. Is 4 a factor of x?
True
Is 13 a factor of 3*(-29)/2*6/(-3)?
False
Is 16 a factor of 4 + 6/(-2) + 140?
False
Suppose -r + 38 + 81 = 3*v, 4*r - 156 = -4*v. Is v*(3 + 6/(-3)) a multiple of 20?
True
Suppose -2*o = -5*o - 291. Let f = -53 - o. Does 15 divi