- 10 = 2*x + 4*f. Is 13 a factor of (0 - x - 0) + 25?
False
Suppose 0*t - 3*d = 2*t, -50 = 5*t - 5*d. Let i = t + 11. Suppose 0*w - 130 = -i*w. Is 12 a factor of w?
False
Suppose 12*n = 18*n - 468. Is n a multiple of 3?
True
Let b be (-62)/6 - (-6)/(-9). Let o(v) = -v**3 - 11*v**2 - v + 13. Is o(b) a multiple of 7?
False
Suppose 1982 - 470 = 18*a. Is 7 a factor of a?
True
Suppose 5*u - 188 + 13 = -4*a, 3*a - 111 = 3*u. Is a a multiple of 10?
True
Let l(i) = -i**3 - 7*i**2 + 5*i + 6. Let p = 44 - 19. Let c = 17 - p. Does 10 divide l(c)?
True
Let h be 6/(-15) - (-64)/10. Let v = 44 - h. Is v a multiple of 19?
True
Does 7 divide -3 + (-2)/1 + 80?
False
Let y(i) = -i**3 - 12*i**2 - 10*i - 10. Does 22 divide y(-12)?
True
Let s be (-2)/(-7) + (-124)/(-7). Let a = -35 + 69. Let b = a - s. Does 10 divide b?
False
Let g(u) = -u**2 + 4*u + 3. Let i be g(4). Let k be (i - (-5)/(-2))*0. Is -1 - -4 - k - -23 a multiple of 16?
False
Suppose -134 = -v - 37. Does 27 divide v?
False
Let f = -15 - -31. Does 4 divide f?
True
Is (7 - 1)*(-4)/(-6) a multiple of 4?
True
Suppose 4*m = 2*y + 10, 5*m - 6 - 11 = y. Let n(o) = o**3 + o**2 - 1 + 3 + 0*o**2 - 5*o**2. Is n(m) even?
True
Suppose -3*c - 5*p + 50 = 0, 2*c + 2*p = -c + 38. Is c a multiple of 4?
False
Let h be (4/(-3))/((-1)/3). Let c = h - -14. Does 9 divide c?
True
Suppose -5*c - 9 - 4 = -4*j, 2*j - 3*c - 9 = 0. Let v(x) = -x**3 - 3*x**2 + 2*x - 3. Let z be v(j). Let w(d) = -d**2 - 12*d - 5. Is w(z) a multiple of 11?
True
Suppose 6*n - n = 5, -4*q + 13 = -3*n. Suppose 0 = -q*c - c + 140. Does 14 divide c?
True
Suppose -3*w = -4*v - 28, 4*w - 19 = -v + 12. Suppose 5*d + p - 14 = 0, 2*d + 4*p - w = 3*p. Suppose 5*k + 6 = -9, d*r - k - 17 = 0. Is 3 a factor of r?
False
Let u(r) = r**2 - 9*r + 10. Let t be u(8). Suppose -34 - 2 = -t*n. Is 9 a factor of n?
True
Suppose 2505 = 9*a + 885. Does 18 divide a?
True
Let n be (3*-1 - -2)*-22. Does 11 divide n*2/4 - 0?
True
Let g(q) = -q**3 + 9*q**2 - 4*q - 10. Let o = 12 - 4. Is 11 a factor of g(o)?
True
Suppose -2*y - 2*s = -58, -y - 2*y + 81 = 5*s. Suppose -y = -4*d - 0. Does 4 divide d?
True
Let y = -29 + 18. Let g = y - -25. Is g a multiple of 5?
False
Is 23 a factor of 1/7 - (-1926)/42?
True
Let f be ((-999)/6)/((-2)/8). Suppose 3*n = -3*q + f, 0 = 2*n - 3*q - 689 + 225. Is 2/(-7) + n/7 a multiple of 14?
False
Let i be 2206/4 - 1/2. Suppose 4*f - i = -5*u - 0*f, -u + f = -112. Is u a multiple of 35?
False
Suppose 2*q - 1 = 3. Let h(z) be the first derivative of 4*z**3/3 + z**2 - z - 3. Is h(q) a multiple of 19?
True
Does 7 divide (2/(-6) - (-57)/(-18))*-18?
True
Suppose -5*z + 64 + 46 = 0. Suppose -l = l - z. Suppose 0 = -2*a + 9 + l. Is 6 a factor of a?
False
Let k = 15 - -17. Is k a multiple of 16?
True
Let t be 6/4*24/9. Suppose -48 = -t*j + 20. Is j a multiple of 13?
False
Let i be -4 + 3 - 2*1. Let c = 6 + i. Suppose 2*a = -5*v + 187, c*v - 13 - 100 = -2*a. Is v a multiple of 10?
False
Suppose -4*q - 5*j = -0*q - 21, 0 = -2*q - j + 9. Suppose -5*o + 2 = 4*g, 3*g - 3 = -5*o - q. Suppose 16 = 5*x - g*x. Is x a multiple of 4?
True
Let b be 4/(-22) + 189/11. Suppose -14*m - 120 = -b*m. Does 8 divide m?
True
Let q(w) = w**2 - 3*w. Does 3 divide q(5)?
False
Suppose -17 - 91 = -3*p. Is 12 a factor of p?
True
Let l = 71 - 4. Let v = l + -33. Is 13 a factor of v?
False
Suppose 366 = 8*p - 11*p. Is 4 a factor of p/(-10) + 3/(-15)?
True
Let y = -6 - -18. Let d be (y/10)/(1/80). Suppose m + 48 = 2*h - m, -d = -4*h - m. Is 12 a factor of h?
True
Let g(v) = v**2 - v - 3. Let n be g(4). Let w = -6 + n. Is 15 a factor of (-1)/(-2)*114/w?
False
Suppose -3*h - 26 = -3*p - 8*h, 3*h - 20 = -4*p. Suppose p*z - 30 - 46 = 0. Is 19 a factor of z?
True
Let b = -1 + 1. Let q(n) = 18 + n - 4 + 10. Is q(b) a multiple of 9?
False
Let v(q) = 6*q**3 + q**2 + 2*q. Let u be v(2). Suppose -u = -2*w + 4*w. Let h = 44 + w. Is h a multiple of 6?
False
Is 9 a factor of (-1)/10*18*-5?
True
Let w = -7 + 15. Let g = 2 + 2. Let v = w - g. Does 4 divide v?
True
Suppose -65 = a - 160. Suppose -k + 6*k - a = 0. Is k a multiple of 19?
True
Let a(o) = -46*o - 6. Let i(m) = 9*m + 1. Let g(w) = 2*a(w) + 11*i(w). Suppose 3*p - p = 4, -9 = -n - 3*p. Is g(n) a multiple of 10?
True
Suppose -4*x = -7*x + 12. Suppose 25 = 5*q, 0 = -a - 0*a - x*q + 32. Is 4 a factor of a?
True
Suppose -15 + 3 = -5*x - o, 3*o = -3*x + 12. Let a(p) = -3 + x - 7*p - 2. Is a(-2) a multiple of 10?
False
Let g(u) = -u**3 + 7*u**2 - 5*u + 3. Suppose n - 2*z = -4*n, 4*n - z = 0. Suppose 5*d + 6 - 1 = k, n = 3*k - 3*d - 15. Is g(k) a multiple of 18?
False
Let x(d) be the second derivative of -2*d**3/3 - d**2 + 5*d. Is 2 a factor of x(-2)?
True
Suppose l = 5*l - 20. Let v(h) = 6*h - 5. Does 8 divide v(l)?
False
Let m(b) = b**2 - b + 14. Is 14 a factor of m(8)?
True
Let k be (1 - 13)/(9/(-6)). Let g be (1 - 4)*k/6. Does 11 divide 44/(-2)*2/g?
True
Suppose -3*q + 4 + 8 = 0. Suppose -3*k + 13 = -4*o, -3*o = -q*k - 0*o + 29. Does 11 divide k?
True
Let p(h) be the second derivative of h**6/180 + h**5/24 - h**4/12 + h**3/3 + 4*h. Let a(s) be the second derivative of p(s). Is a(-5) a multiple of 18?
False
Let t(g) = -g + 3. Is t(-6) even?
False
Let v(s) = s. Let r(g) = -44*g + 4. Let a(t) = -r(t) - 2*v(t). Let d be a(7). Suppose d = 4*u + u. Does 15 divide u?
False
Let k be (-1)/(-3) - (-1)/(-3). Let v = k + 18. Does 10 divide v?
False
Suppose 0*r = 2*r + 5*q - 233, 3*q + 453 = 4*r. Is 19 a factor of r?
True
Is 29 a factor of ((-68)/8)/(2/(-20))?
False
Let y(t) = -t**2 - 15*t + 34. Is 8 a factor of y(-14)?
True
Let y = 0 - 2. Let t be 346/18 - y/(-9). Suppose h = -2*o + t, 3*h + 20 = 7*h. Is 7 a factor of o?
True
Let j(z) = -11*z + 1. Does 4 divide j(-1)?
True
Suppose w - 7 = -x - 2*x, 0 = 4*x + 2*w - 8. Let h be 0/(-2)*(-1)/(-2). Suppose x*q + q - 48 = h. Is q a multiple of 12?
True
Is ((-4)/(-3))/((-7)/(-126)) a multiple of 24?
True
Let r(i) be the first derivative of i**3 - i**2 + 1. Let v(o) = -2*o**2 + o + 1. Let s be v(-1). Is r(s) a multiple of 12?
False
Suppose c - 46 = -c + 2*j, 2*j - 150 = -5*c. Suppose 0 = -3*o + 14 + c. Is o a multiple of 7?
True
Let k = -128 - -233. Does 35 divide k?
True
Let a(t) = t**3 - 5*t**2 - t + 7. Suppose -4*f = -b - 6, -3*b - 2*b + 3*f = -21. Does 27 divide a(b)?
False
Suppose t - 94 = -v - 2*v, v + 2*t - 23 = 0. Suppose 4*x - v = 303. Does 24 divide x?
False
Is 40/6 - (-4)/(-6) a multiple of 2?
True
Let t(m) = -13*m + 7. Let p be t(-5). Is 12 a factor of 5 + -3 - p/(-3)?
False
Suppose 2*w - 73 + 1 = 0. Does 18 divide w?
True
Suppose -2*g = -5*g + 60. Is 16 a factor of (2 - 2 - 1) + g?
False
Suppose 18 = 6*a - 318. Does 14 divide a?
True
Let s(p) = 16*p**2 + 4*p + 7. Is s(-2) a multiple of 19?
False
Let m(i) be the second derivative of 13*i**3/6 - 5*i**2/2 - 9*i. Does 22 divide m(5)?
False
Suppose k = 2*k - 5*n - 112, k + 5*n = 92. Is 46 a factor of k?
False
Let k be (0/(-2) + 2)*-1. Is 10 a factor of 2/5*k*-25?
True
Suppose c = 8*c - 70. Let s = c - -3. Is s a multiple of 10?
False
Suppose -175 = -10*p + 5*p. Suppose 4*z - 3*k - p = 0, -27 = -5*z + z - 5*k. Is -1 + 3 + 2*z a multiple of 9?
True
Suppose -7*q = -8*q + 22. Let s = q + -12. Does 7 divide s?
False
Let j = -152 + 73. Is j/(-1*(3 + -2)) a multiple of 28?
False
Suppose 171 = 4*q + 3*b, b + 93 = 2*q - 0*b. Suppose 3*s - q - 21 = 0. Is s a multiple of 8?
False
Let s(h) = -h**3 + 12*h**2 - 5*h + 14. Is s(11) a multiple of 16?
True
Let z(x) = -x**2 - 3*x - 1. Let p be z(6). Let m = 94 + p. Does 15 divide m?
False
Let u(j) = 13*j - 1. Let p(k) = k**3 - 2*k**2 + 3*k - 3. Let s be p(2). Does 17 divide u(s)?
False
Let s = 10 - -28. Is 14 a factor of s?
False
Suppose -3*k + 4 = -5*k. Let i(h) = 4*h**2 - 6*h - 2. Let j(z) = 3*z**2 - 5*z - 2. Let w(v) = -2*i(v) + 3*j(v). Does 4 divide w(k)?
True
Let i = 23 - 10. Does 4 divide i?
False
Let t = 44 + 5. Is t a multiple of 8?
False
Suppose -5*w = -5*m - 5, 8*w - 18 = -2*m + 5*w. Suppose 1 = -2*g + 5*a, 7*a = 2*g + m*a. Is g/8 - (-83)/4 a multiple of 12?
False
Let o(p) = 37*p**3 + p**2 - p. Is o(1) a multiple of 13?
False
Suppose -p = 7*p - 608. Is 29 a factor of p?
False
Let h(z) = z**3 - 7*z**2 + 12*z + 14. Is h(7) a multiple of 32?
False
Let m = -30 - -10. Let q = m - 7. Let b = -6 - q. Is b a multiple of 21?
