 g - 1. Let p be a(-1). Does 14 divide (-3)/(-2)*p + 28?
False
Suppose 2*c + 100 = 4*c. Suppose 4*q = f + 17, 4*f + 2*q - 27 = -q. Suppose -2*r - f*u + 105 = 0, -r + c = 3*u - 10. Is 15 a factor of r?
True
Let c = 96 - 57. Is c a multiple of 18?
False
Let u be ((-12)/(-3))/(4/14). Suppose -2*r = -4*r + u. Does 6 divide r?
False
Let s(z) = 5*z**3 - 9*z**2 - 10*z. Let q(y) = y**3 - y**2 - y. Let o(m) = 4*q(m) - s(m). Let i be o(6). Suppose i = -h + 4*h - 30. Is h a multiple of 4?
False
Suppose 0 = 6*a - 5*a - 2. Is (-8)/(-10)*35/a a multiple of 9?
False
Suppose -q + 4*p = 4, -q - 3*p + 32 = 2*p. Is q a multiple of 10?
False
Suppose -2*p + 390 = 4*p. Is 13 a factor of p?
True
Let p = -489 - -850. Does 22 divide p?
False
Let m = -10 - 0. Let d be 16/m*100/(-8). Suppose d = i - 34. Does 14 divide i?
False
Let f(p) = 10*p + 1. Is 18 a factor of f(3)?
False
Let i(n) = 2*n - 4. Let s be i(6). Suppose 5*o - 3*b - b = s, 5*b - 11 = o. Is o a multiple of 3?
False
Suppose 0 = -8*w + 444 + 1012. Does 46 divide w?
False
Let w be (3 + -2)/(2/(-4)). Let j = 6 + w. Suppose r - 39 = -3*y - r, -52 = -j*y + 4*r. Is 11 a factor of y?
False
Let w be (17 - (2 - 3)) + 3. Does 26 divide 2720/35 + 6/w?
True
Let u(a) = 1 - a**3 - 4 + 2*a**3 + 1. Does 4 divide u(2)?
False
Suppose 5*h - 21 = -o - 3*o, -4*h - 2*o = -18. Does 5 divide h?
True
Let d(l) = l**3 - l**2 + 38. Let g be d(0). Suppose b + 2 = -9. Let x = g + b. Does 20 divide x?
False
Let z = -76 + 120. Is 31 a factor of z?
False
Let z = -6 - -7. Does 3 divide 6/((-3)/z) + 8?
True
Let r be (-21 - 4)*86/5. Does 14 divide 2/7 + r/(-14)?
False
Does 3 divide (-4)/10 + (-1519)/(-35)?
False
Suppose -5*k + 184 = 4*h, -4*h - h = 5*k - 180. Let m = k - 10. Let l = -20 + m. Is l a multiple of 5?
True
Let v(q) = 6*q - 3. Let u be v(3). Let s = -2 + u. Does 13 divide s?
True
Let s(d) = d**3 - 2*d**2 + d + 4. Let n(w) = -3*w**3 + 3*w**2 - w - 9. Let x(t) = -2*n(t) - 5*s(t). Does 10 divide x(-3)?
False
Suppose 0 = -3*g - 2 + 17. Suppose -25 + g = 4*s. Let l = s + 7. Is 2 a factor of l?
True
Suppose -5*u + 2*y - 2 = 0, 3*y + 1 = 4. Suppose u = -0*o + 2*o - 4. Suppose -2*l + 52 = o*l. Is l a multiple of 13?
True
Let t = 8 + -12. Let f = 4 - t. Is 8 a factor of f?
True
Let i = -13 + 19. Is 3 a factor of i?
True
Suppose -2*l - 4*h - 17 = -55, -3*h - 69 = -5*l. Let r = l + -6. Suppose -21 = -z - p + 8, r = 3*p. Is 13 a factor of z?
True
Let p(a) = 5*a**2 + a + 1. Let k be p(-1). Suppose -136 = -3*r + 2*j, -33 - 45 = -2*r - k*j. Is 16 a factor of r?
False
Let h be (-4)/14 + 3574/14. Suppose o - 4*s + h = 6*o, -51 = -o + s. Is 21 a factor of o?
False
Let z(j) be the third derivative of 11*j**5/60 + j**4/24 + 2*j**2. Let k(h) = h - 10. Let i be k(11). Is z(i) a multiple of 6?
True
Suppose 14 = p - 35. Does 18 divide p?
False
Let f = -119 - -195. Is 38 a factor of f?
True
Suppose 4*b - b - 20 = 5*a, -3*a - 12 = 3*b. Suppose h - 30 + 8 = b. Does 22 divide h?
True
Suppose 0 = 4*u + u - 120. Let a be 2/2 - (-2 - 2). Suppose 2*g + u = a*g. Is 8 a factor of g?
True
Let s(h) = -27*h - 9. Does 12 divide s(-3)?
True
Is 11 a factor of (-44*1)/(-6 + 4)?
True
Let v(y) = 3*y**3 - 4*y**2 - y + 2. Let f be v(3). Suppose -5*i = -2*i + 3*c - 15, f = 4*i - 2*c. Is 4 a factor of i?
False
Let g(q) = 2*q - 1. Let b be g(3). Let u(s) be the third derivative of s**4/12 - s**3 - 11*s**2. Does 2 divide u(b)?
True
Let j be 0/((-3)/(-1)) - 0. Suppose -4*q + j*q = -108. Does 6 divide q?
False
Let v(q) = q**2 - 11*q + 11. Let g(h) = -h + 1. Let k be g(-10). Is v(k) a multiple of 4?
False
Let d(m) = -3*m**3 - 5*m**2 + 5*m + 2. Let s(p) = -9*p**3 - 14*p**2 + 14*p + 5. Let l(a) = 8*d(a) - 3*s(a). Does 18 divide l(2)?
False
Suppose -5*p + 4*p + 5 = 2*r, 4*p - 10 = -3*r. Let y be (0/2)/1*p. Suppose y = -0*h + 4*h - 32. Does 7 divide h?
False
Let l be (0 - -1)/((-6)/(-30)). Does 5 divide (17/(-5))/((-1)/l)?
False
Let z be 5 - 18 - -4*1. Let a(t) = -4*t + 10. Is 15 a factor of a(z)?
False
Let a(g) = 2*g - 9. Let x(v) = v - 1. Let b(o) = o**3 - 6*o**2 + o - 5. Let j be b(6). Let m(k) = j*a(k) + 3*x(k). Is m(8) a multiple of 14?
True
Let x(u) = -u - u + u**2 - 4 + 0*u**2. Let n be x(3). Does 2 divide 5*(0 + n - -2)?
False
Let v(q) = 7*q - 3. Let n(x) = x**3 - 9*x**2 - 9*x - 8. Let k be n(10). Let p be v(k). Suppose -90 = -p*r + 6*r. Is r a multiple of 9?
True
Let j = 224 + -83. Is 6 a factor of j?
False
Let d(p) = p**3 - 5*p**2 + 5*p - 3. Does 11 divide d(5)?
True
Is 9 a factor of 266/30 + (-4)/(-30)?
True
Let p be ((-6)/(-4) - 2)*-12. Let w be (-5)/((-5)/p) - 1. Suppose -3*n - 3*i - 5 = -50, 2*n = -w*i + 36. Is n a multiple of 9?
False
Let q = 3 + -18. Let i be 63/q - (-2)/10. Let y = 9 - i. Does 12 divide y?
False
Is 24 a factor of 56/6*(-54)/(-21)?
True
Suppose 0 = 2*o + 6, -k + 5*o + 0*o + 186 = 0. Is k a multiple of 19?
True
Let n be ((-4)/5)/(4/30). Let i be (-2)/(-6)*6/(-2). Is 2 a factor of i*(-4)/(n/(-3))?
True
Suppose -2*p - 144 = 2*p. Suppose -2*f + 300 = 4*f. Let q = p + f. Is q a multiple of 6?
False
Let g(b) = 2*b**2 + 12*b - 18. Is g(7) a multiple of 47?
False
Suppose -5*d + 51 = 2*u - 23, 4*d + 8 = 0. Is 14 a factor of u?
True
Suppose -l + 4*n = -18, -6 = 3*n - 15. Is l a multiple of 6?
True
Let b = 7 + -4. Suppose -3*l = -k - 33 - 94, 3*k + 117 = b*l. Does 11 divide l?
True
Is 16 a factor of 93 - (-1 + 0)/1?
False
Suppose -4*d - d + 440 = 0. Does 22 divide d?
True
Let r = 2 - 0. Suppose -2*w = -r - 2. Suppose w*i = 11 + 9. Does 10 divide i?
True
Let m be (2/(-3))/(1/(-69)). Suppose k - 2*u = m, 4*k - 101 = -4*u + 47. Is 15 a factor of k?
False
Suppose -115 = -3*m + f - 6*f, 3*m + 2*f - 100 = 0. Is 10 a factor of m?
True
Suppose 4*a - 8*a = -36. Is 6 a factor of a?
False
Let m(i) = 77*i**3 + 3*i**2 - 4*i + 2. Is 26 a factor of m(1)?
True
Let u = 11 + -14. Let w(p) = 11*p**2 + 4*p + 3. Is w(u) a multiple of 30?
True
Suppose 0 = -o + 7 + 1. Let n(y) = -7*y**3 + 23*y**2 - 29*y + 8. Let v(s) = -4*s**3 + 12*s**2 - 15*s + 4. Let b(u) = -3*n(u) + 5*v(u). Is 14 a factor of b(o)?
True
Let g be (186/(-15))/(2/(-10)). Suppose -2*h - 8 = -g. Is 15 a factor of h?
False
Let s(j) = 87*j. Let y be s(5). Suppose -y = -n - 4*n. Is n a multiple of 29?
True
Suppose 0 = -3*b + b - 2*w + 34, 0 = 5*b - 5*w - 55. Is b a multiple of 4?
False
Let f(j) = j**3 + 6*j**2 - 9*j - 10. Let w be f(-7). Suppose w*l - 8*l + 220 = 0. Is l a multiple of 11?
True
Let j = -23 - -36. Is 10 a factor of 0 + j + 6/(-2)?
True
Suppose -8 = n - 3*l, 5*l - 8 = 3*l. Suppose 0 = -3*x - 12, 5 = n*j + 5*x - 23. Does 8 divide j?
False
Suppose -i = -5*a - 75, 4*a + 258 = 4*i - i. Does 10 divide i?
True
Let l(h) = -h + 6. Let x be l(6). Suppose -8 = -x*c - c. Does 4 divide c?
True
Let b be 0 - 6*2/(-3). Suppose -a - 39 - 12 = -2*y, -b*y + 90 = 2*a. Does 12 divide y?
True
Suppose 4*u - 39 - 26 = -5*d, 0 = 4*d + u - 41. Let f = d - 1. Does 3 divide f?
False
Suppose 0 = -4*r - 4 + 16. Suppose -22 = -k + 4*z, r*k = -z - z + 108. Let m = k + -14. Does 10 divide m?
True
Suppose 2 = j, j + 9 = p - 6. Is p a multiple of 3?
False
Let o = 0 + -5. Let f be o/(-2) - 2/(-4). Suppose 4*y = 12, 4*r - f*y = -2*y + 5. Is r even?
True
Let n(k) = -5*k - 5. Let w = -14 + 7. Let f be n(w). Suppose 0 = x - f - 8. Does 12 divide x?
False
Let a(v) = -v**2 + v - 1. Let d(k) = k**3 - 12*k**2 - 15. Let q(c) = 3*a(c) - d(c). Is q(9) a multiple of 7?
False
Suppose s = -2*s - 2*z + 20, 4*z = -4*s + 32. Suppose 0*a = s*a + 8. Let v(w) = -12*w + 2. Is v(a) a multiple of 13?
True
Let b be 4 + 5 + 3/(-1). Suppose -4*g + 2*g = -b. Is g a multiple of 3?
True
Let u(f) = -3*f. Let k be u(-2). Let o(x) be the third derivative of -x**5/60 + x**4/3 - 3*x**3/2 + x**2. Is o(k) even?
False
Let w be ((-2)/5)/(2/(-20)). Suppose -42 = -3*j - w*l - l, 3*j + 4*l = 39. Is j even?
False
Let l(f) = f**3 - 5*f**2 + 4*f + 3. Is l(5) a multiple of 6?
False
Let n be 4*((-1 - -4) + -1). Suppose -5*p = -3*q - 119, -3*q + n = q. Is 14 a factor of p?
False
Let u(y) = 2*y**2 - y - 9. Let i be u(7). Suppose -t = t - i. Suppose 4 = 5*m - t. Does 5 divide m?
False
Let g = -4 - -34. Does 6 divide g?
True
Let z = -31 - -65. Is 26 a factor of z?
False
Let n(u) be the third derivative of u**6/120 + u**5/6 + 5*u**4/12 + u**3/3 + 3*u**2. Let y be n(-8). Let x = -18 + y. Is x 