22 = -s*i. Does 10 divide u?
True
Suppose y = 5*y - 4, 0 = 4*v + 4*y. Let s = 48 + -34. Is (s/(-8))/(v/8) a multiple of 14?
True
Let y be (1 + -2)*(-2 + 1). Let p be y - 1 - 4/(-2). Suppose 3*i = -p*i + 80. Is i a multiple of 8?
True
Let x(d) = -11*d. Let b be x(1). Let s(h) = h**3 + 10*h**2 - 11*h + 2. Does 2 divide s(b)?
True
Let m = 9 - 3. Suppose 2*y - 12 = m. Let p(z) = -z**3 + 10*z**2 - 6*z + 7. Is p(y) a multiple of 15?
False
Let w(x) = x**2 - 2*x - 5. Let i be w(4). Suppose 3*a - 5*a - 5*b = -90, i*a - 156 = 3*b. Does 25 divide a?
True
Suppose 8 = 2*q + 2*d, -4*d - 4 = -q + 5. Suppose -4*w = -3 - q. Suppose 0 = -w*h + 24 + 36. Is h a multiple of 23?
False
Suppose -4*r - 8 + 64 = 0. Let m(h) = h**3 + 9*h**2 + 7*h - 7. Let v be m(-8). Let t = r - v. Is 13 a factor of t?
True
Suppose -5*c = 53 + 7. Is 13 a factor of (-102)/c*6*1?
False
Let q(d) = -d**3 + 13*d**2 - 11*d - 3. Is q(12) even?
False
Suppose -3*a + 477 = -s, -4*s + 7*s - 477 = -3*a. Is a a multiple of 10?
False
Is 26 a factor of (12/5)/(8/200)?
False
Let d = 4 - 1. Suppose 0 = m + p - 12, -17 = d*p - 5. Is 8 a factor of m?
True
Suppose j = -j + 4. Suppose -q = j*q. Suppose q = u - 4*y - 32, 4*u + u + 2*y = 72. Is 14 a factor of u?
False
Let c be (3/1)/(3 - 2). Suppose -4*a = -c - 9. Suppose -4*s = -a*q - 52, -s - s = -q - 26. Is s a multiple of 13?
True
Does 11 divide 1/(-1)*(0 - 33)?
True
Let x(m) = 9*m + 1. Let b(n) = -2*n**3 + n**2 + 2*n. Let g be b(2). Let u = g + 12. Is x(u) a multiple of 13?
False
Let f(y) = y**2 + 4*y + 7. Suppose r = -2*r - 12, 5*r + 44 = -4*i. Is f(i) a multiple of 19?
True
Let o = -19 + 122. Is o/15 - (-18)/135 a multiple of 3?
False
Suppose 3 = -d - 0. Does 15 divide (45/d)/(-2 - -1)?
True
Suppose 5 + 7 = 3*k. Suppose 37 - 104 = 5*p + 2*b, 2*b = 8. Is 5 a factor of (-190)/p - k/6?
False
Let v be -2*3/(18/15). Let c = v - -12. Is c even?
False
Suppose 23 = -2*x - 31. Let d = 41 + x. Does 10 divide d?
False
Does 6 divide -165*(-3)/(-5)*6/(-9)?
True
Let a = -1 - 5. Is 18 a factor of a*(2 + 1)*-4?
True
Let c be ((-13)/(-1))/(1/2). Let h = 43 - c. Does 5 divide h?
False
Is (-18 + 0)*(-30)/9 a multiple of 14?
False
Let l(y) = 2*y**2 + 3*y - 10. Is l(-6) a multiple of 22?
True
Let f(o) = 2*o + 12. Is 6 a factor of f(-3)?
True
Let p = 15 - 11. Is p a multiple of 2?
True
Suppose -2*o = 6*m - 2*m - 98, 0 = m + 4. Suppose 4*y - o = 4*z - 205, -121 = -3*z - 2*y. Is z a multiple of 11?
False
Let v be (-4)/(-18) + 1815/(-27). Let u = 119 + v. Is 20 a factor of u?
False
Is 3 a factor of (1 - -1)/(-3 + 49/14)?
False
Suppose 3*p = p + 8. Suppose p*r - 2*r = -4*j + 22, -4*r - 28 = -j. Is j a multiple of 5?
False
Let f = -2 - -8. Suppose -f = -2*r + 4*q - 3*q, -2*r = -3*q - 14. Is 7 a factor of -1 + -1 + 11*r?
False
Let q be 1/(-1)*0 + 4. Suppose q*v + 4*a - 20 = 0, 2*a + 8 = v - 0*a. Is v a multiple of 3?
True
Let r = -29 + 51. Let w(u) = -r + 9*u + 22. Is w(3) a multiple of 10?
False
Let u = -163 - -271. Does 12 divide u?
True
Suppose -1 = -a + f + 20, 2*a - 5*f - 48 = 0. Is a a multiple of 19?
True
Suppose 0 = -o + 3*o - 4. Let h(d) = 2*d + o*d + 1 + d. Is h(1) a multiple of 6?
True
Let d(w) = w**3 + 9*w**2 + w + 10. Let c be d(-9). Is 5 a factor of c + 0 - (6 - 24)?
False
Suppose 5*p - 12 = 2*p. Suppose 3*n - 14 = -s + p, -63 = -4*s - 3*n. Does 4 divide s?
False
Let z(u) = u**2 + 14*u - 12. Is z(-16) a multiple of 15?
False
Let b be (29 - 2) + (2 - 2). Let c(q) = -q + 2. Let t be c(2). Suppose -v = -t*v - b. Does 9 divide v?
True
Let g = 43 + 29. Suppose 4*i - 5*v = 256, -2*i - 4*v + 56 = -g. Does 16 divide i?
True
Suppose 0 = -5*n + g + 27, -2*n - 4*g + 4 = -g. Does 5 divide n?
True
Let t(w) = w + 17. Is t(7) a multiple of 8?
True
Let s(p) = -3*p**3 - 18*p**2 + 13*p + 21. Let q(n) = -n**3 - 6*n**2 + 4*n + 7. Let d(h) = -7*q(h) + 2*s(h). Is 17 a factor of d(-5)?
False
Suppose 4*b + 5*g + 3 - 71 = 0, 0 = -b - g + 16. Is b a multiple of 6?
True
Suppose 8 = 10*m - 6*m. Suppose -v = -m*v + 9. Does 9 divide v?
True
Suppose 7 = 2*n - 5. Let o = -27 - -48. Let q = o - n. Is 15 a factor of q?
True
Let r(b) = -7*b + 1. Is 8 a factor of r(-1)?
True
Suppose -3 = y - p, -5*p = 3*y - 3*p - 11. Let w = 2 + y. Is 3 a factor of w?
True
Is ((-12)/9)/((-12)/135) a multiple of 15?
True
Let k(t) = t**3 + 12*t**2 + 11*t + 3. Let j be k(-11). Suppose 5*o = -j*n + 120, -o + 0*o + 5*n - 4 = 0. Is 11 a factor of o?
False
Let h(x) = x + 9. Let z be h(-3). Is 2 a factor of z/(-27) - 190/(-45)?
True
Does 12 divide 917/14 + 1/(-2)?
False
Let f(y) = -y. Let u be f(-5). Suppose 2*a + 2*j + 7 = 31, u*a - 5*j = 20. Is a a multiple of 4?
True
Let k(d) = d + 22. Is 6 a factor of k(-16)?
True
Let w = 74 + 54. Let r = w - 76. Is 22 a factor of r?
False
Let u be 1/(-2)*2 - -5. Let x be -190*u*(-2)/(-20). Is 13 a factor of x/(-3) - 6/(-9)?
True
Is 28 a factor of (1 + -2)*(-417 + 1 - 2)?
False
Let p(l) = -1 + 3 - l**2 - 2*l**2 + 3*l**3 + 0*l**2. Is p(2) a multiple of 7?
True
Let z = -90 + 61. Let n = -5 - z. Is n a multiple of 8?
True
Let v(z) = -45*z + 6. Is v(-2) a multiple of 16?
True
Let f(n) = n**3 - 12*n**2 - 19*n - 2. Is f(14) a multiple of 31?
True
Let n(h) = 3*h - 8. Let f be n(7). Suppose -3*k + f = -5. Does 6 divide k?
True
Let h = -72 + 118. Is (-2 - -5) + (h - 1) a multiple of 16?
True
Suppose 160 = 6*h - h. Does 16 divide h?
True
Let i be 47*2 + 8/(-8). Suppose 6*b - 3*y = 3*b + i, -b + 4*y = -19. Is 6 a factor of b?
False
Let c = -8 - -11. Suppose 2*t + 6 = 3*h, 3*h - c*t - 9 = -2*t. Does 3 divide h?
False
Let d(c) = c**3 + 2*c**2 - 7*c + 2. Does 19 divide d(5)?
False
Let v be 3/(1 - -2) - -1. Suppose -8 - 22 = -v*d. Suppose -5*o + 0*o + d = 0. Is o a multiple of 3?
True
Let s = -30 + 52. Let t = -6 + s. Is t a multiple of 12?
False
Suppose -5*h + 2*f + 9 = -23, 3*f + 33 = 5*h. Suppose g - h = -g. Suppose -g*p - 4*l + 18 = -0*p, -3*l - 29 = -2*p. Is 10 a factor of p?
True
Let n(l) = 3*l**2 + 4*l + 2. Let q be n(-2). Suppose -d - 4 = -3, -m = d + q. Let g(i) = -15*i - 3. Does 28 divide g(m)?
False
Suppose 6*h + 165 = 1281. Is 8 a factor of h?
False
Let a(c) be the third derivative of -c**4/4 - c**3/3 - 3*c**2. Suppose 3 = i + 6. Is a(i) a multiple of 8?
True
Let p be (6/4)/(6/208). Suppose 2*r = -3*w + p, 0 = 2*r - 0 - 4. Does 16 divide w?
True
Is 29 a factor of ((-6)/(-12))/(1/118)?
False
Does 40 divide 349*1/(-3)*(-5 + 2)?
False
Let g = 41 + -21. Is 4 a factor of g?
True
Suppose -v + 4*j + 24 = -j, -5*j - 62 = -3*v. Let u(i) = 3*i**3 + v*i**3 + 3*i**2 - 2*i**2. Is u(1) a multiple of 17?
False
Does 9 divide (5 - 7 - (0 - 1))*-22?
False
Let b be 1/(-3) - (-91)/3. Suppose 122 + b = 4*p. Suppose 2*x - 6 = 5*o, -p = -x - 3*x - 3*o. Is x a multiple of 4?
True
Suppose -8*x + 236 = -6*x. Is x a multiple of 18?
False
Suppose 26 = 4*w - 46. Suppose -3*o - w = -54. Does 12 divide o?
True
Let k(f) = -f**3 - 8*f**2 - 3*f - 7. Is 2 a factor of k(-8)?
False
Suppose -2*r - 3*f = -36, -5*r + 0*r + 40 = -5*f. Suppose r = -3*z + 27. Suppose -z - 7 = -o. Is 6 a factor of o?
True
Let j be 656/10 - (-12)/(-20). Suppose -r = -7*f + 5*f + j, 4*r = 4*f - 140. Is 10 a factor of f?
True
Suppose 0 = -10*w + 3*w + 693. Is w a multiple of 33?
True
Let f be -2 + 2 - (-2 - 0). Suppose 9*y - 4*y + f*m = 60, 0 = -3*m - 15. Is 7 a factor of y?
True
Let o(y) = 11*y**3 - y**2 + y + 1. Is o(1) a multiple of 12?
True
Suppose 33 = x - 4*x. Let v = 51 + x. Does 17 divide v?
False
Let y(w) = 13*w - 4. Let p(l) = 14*l - 5. Let f(t) = 4*p(t) - 5*y(t). Let v be (-2)/(2 - (-1 - -2)). Is f(v) a multiple of 9?
True
Suppose -f - f + 78 = 0. Let g = -28 + f. Is 5 a factor of g?
False
Suppose -4*l + k + 20 = -4*k, 0 = -l - 4*k + 5. Suppose 2*q + j - 22 = -q, -l*q + 2*j = -33. Is q a multiple of 7?
True
Suppose -a + 5*s = -9, 2*a - 3*a = -2*s - 6. Suppose 8 = -y + 3*d + 65, 5*d = -a*y + 194. Does 25 divide y?
False
Suppose 2*r + 2*r - 28 = 0. Let c(l) = 3*l - 2. Let g be c(r). Suppose -4*k + 3*t = -38, 3*t - 7 = -4*k + g. Is 4 a factor of k?
True
Let i(g) be the first derivative of g**2/2 + 4*g + 1. Let w be i(-4). Is 3 a factor of 3*1 - w/5?
True
Let v(w) = w**3 - w**2 - w. Let q(n) = -n**3 + 12*n**2 + 13*n - 6. Let s(j) = -q(j) - 2*v(j). Is s(-9) a multiple of 8?
True
Let t(o) = -o**3 + 5*o**2 + 5*o - 2. Let d be t(6). Does 11 divid