 - 5*q + 13 = -3*u, 5*q - 7 = 4*u. Suppose -u*v + v = -29. Is v a multiple of 29?
True
Let q be (-618)/(-15) + (-5)/25. Let m = q - 18. Is m a multiple of 23?
True
Let z = -5 + 8. Suppose -4*v + 20 = -2*u - 6, 0 = -2*v + z*u + 3. Suppose -4*x + 7 = 4*l - 5, -v = -5*x + l. Is x even?
True
Let l be (-1 - -1) + 2 + 4. Suppose -v = v - l. Is v even?
False
Suppose 4*l - 5*l + 4 = 0. Suppose b + 0 = 4. Suppose -2*j - 56 = -l*y, 3*y - 22 = b*j + 10. Does 8 divide y?
True
Suppose -c - 87 = -4*c. Is c a multiple of 14?
False
Let z = 38 + 1. Is 13 a factor of z?
True
Let a = -550 + 788. Is 35 a factor of a?
False
Let r(l) = -26*l - 3. Does 25 divide r(-3)?
True
Let h = -1 - 0. Let m be h*(-2)/((-4)/(-86)). Suppose -2*n - 4*p + 8 = -0*n, p + m = 4*n. Does 7 divide n?
False
Let d = 10 + -8. Suppose -j + 5*u = -0*j - 16, j - d*u = 28. Is 18 a factor of j?
True
Suppose 0*p - 6 = -5*p - 3*g, 5*p = g + 18. Suppose -2*h = -3*z - 1, 2*h - 2*z - 5 = -p. Suppose -3*y + 2 + 18 = c, -5*y = -h*c - 48. Is y a multiple of 7?
False
Suppose -4*f + 105 = 3*g, -g - 2*f - 10 + 47 = 0. Is 14 a factor of g?
False
Suppose -12 = -4*y - 0*y. Suppose 0*t - y*t = -6. Is t a multiple of 2?
True
Suppose d = 5*y - d + 13, -5*d - 20 = 5*y. Let p be ((-48)/14)/(8/(-28)). Does 5 divide p/y*(-5)/2?
True
Suppose -n = -h - 25 - 84, -5*h - 97 = -n. Does 14 divide n?
True
Let c(z) = 4*z + 5. Is c(13) a multiple of 6?
False
Suppose 3*k + 16 - 160 = 0. Is 2/5*5 + k a multiple of 19?
False
Let t(p) be the second derivative of 7*p**5/30 - p**4/24 + p**2/2 + p. Let a(i) be the first derivative of t(i). Is a(1) a multiple of 7?
False
Let z be (9/6)/(2/(-4)). Let c be (-5)/z - (-1)/3. Suppose -n + 23 = -c*u, -u - 29 - 11 = -2*n. Is n a multiple of 19?
True
Let v = 14 + -10. Let w(c) = c. Let k(s) = -s**2 + 11*s - 2. Let g(a) = k(a) - 5*w(a). Is g(v) a multiple of 6?
True
Let v be 21/(-2)*(-72)/14. Is 3 a factor of v/7 + 4/14?
False
Suppose -2*z = -0*z + 4*k, -3*z + 9 = 3*k. Suppose -z*o + 54 = -3*o. Is o a multiple of 11?
False
Suppose -2*d + 2*c - 4 = 0, 2*d + 6*c = c - 11. Is 3 a factor of 2/d*(-48)/4?
False
Let y = 67 + 49. Suppose -3*d + y = 17. Suppose -2*i = i - d. Is i a multiple of 11?
True
Is 407/2 + (-4 - 45/(-10)) a multiple of 63?
False
Let i(s) = -s**3 - 12*s**2 + 2. Let a be i(-12). Suppose r - a*r + 25 = 0. Is 19 a factor of r?
False
Let k(r) = -r**2 - 10*r. Let s be k(-10). Suppose 0 = 2*t - s - 6. Suppose 0 = 2*v - h - 27, -t*v + h + 36 = -2*h. Does 10 divide v?
False
Let s(r) = 2*r + 6. Let q be s(10). Suppose -5*x = -3*w - 29, 0*w - q = -5*x + 2*w. Suppose 60 = 3*y + x*d, 5*y + 0*d - 100 = 4*d. Does 10 divide y?
True
Suppose -7 = -3*s - 2*d, -3*d - 27 = -s - 2*s. Does 2 divide s?
False
Does 5 divide 15*(-3)/6*-2?
True
Suppose 3*v = -3*t + 18, -2*v = 5*t - 26 + 8. Suppose -v*j + 20 = -0*j. Does 3 divide j?
False
Let u(q) be the first derivative of 5*q**3/3 + q**2/2 + q + 2. Let f be u(2). Let l = f - 12. Does 11 divide l?
True
Let m(a) = 16*a - 4. Does 6 divide m(4)?
True
Suppose 3*h - 5*v + 16 = 2*h, -3*h = -v - 22. Is h a multiple of 2?
False
Let f(m) be the second derivative of 0 + 1/3*m**3 + 3*m + 1/6*m**4 - 3/2*m**2. Is 9 a factor of f(2)?
True
Does 5 divide 1 - (-92)/(0 + 4)?
False
Suppose 3*s + 0 - 6 = 0. Suppose -3*u + 3*q - 3 = -6, -s*q - 2 = 0. Suppose 4*v - 148 = 3*y - y, u = 2*y. Is 13 a factor of v?
False
Is (20/15)/(4/6)*11 a multiple of 11?
True
Suppose -3*c + 6*t + 146 = 2*t, -t - 186 = -4*c. Is 19 a factor of c?
False
Let a = 31 + -22. Let l = 4 - -1. Suppose -a = l*v - 89. Is 16 a factor of v?
True
Is 24 a factor of (723/(-27) + (-4)/18)*-1?
False
Let a = -179 + 264. Suppose -2*b = b + k - 150, 0 = 2*k + 6. Suppose -5*t + 3*z + a = 0, 3*t - 3*z = -z + b. Is 17 a factor of t?
True
Suppose o - 14 = 21. Let i = o + 10. Suppose 0 = 5*a - i - 15. Is a a multiple of 6?
True
Is 4/8 + 143/2 a multiple of 14?
False
Let g(q) = 28*q - 3. Let l(y) = 14*y - 2. Let k(u) = -2*g(u) + 5*l(u). Is k(4) a multiple of 26?
True
Let y(t) be the second derivative of t**4/12 - t**3/3 - t**2 + 2*t. Let p be y(-2). Does 3 divide p/(-4)*-2 + 2?
False
Is 323 + (0/2 - (-1 + 1)) a multiple of 38?
False
Suppose -1 = 5*d - 11. Suppose -d*j + 28 = 2*j. Does 7 divide j?
True
Let p be (-1 + (-4)/(-6))*9. Let v be (-2)/(-1) + p - -7. Is 7 a factor of 10/(4 - (-3 + v))?
False
Let i(w) = -w**3 + 8*w**2 + 2*w + 11. Let x be i(9). Let q = -27 - x. Is q a multiple of 18?
False
Suppose -4*n + 75 = h, -3*h + 0*n - 3*n = -225. Is h a multiple of 25?
True
Let g(k) = 2*k**2 + 4. Suppose -1 = -2*q + 9. Suppose 20 = -3*v + q. Does 18 divide g(v)?
True
Let l be (-33)/4 - (-2)/8. Does 2 divide (-1 + l)*4/(-6)?
True
Let b(s) = -20*s. Is b(-1) a multiple of 20?
True
Is ((-142)/(-6))/(11/66) a multiple of 30?
False
Does 8 divide (27 - 0)/(0 - -1)?
False
Let q = -8 + 22. Suppose -5*h - q = 1. Let i(k) = k**3 + 5*k**2 + 2*k. Is 7 a factor of i(h)?
False
Let u(q) be the second derivative of -q**3/6 + 4*q**2 + 2*q. Let c be u(6). Does 13 divide 2/(-2)*c*-13?
True
Let b(s) = s**2 + 28*s + 7. Is b(-28) a multiple of 7?
True
Let d(x) = -2*x**2 + 26*x + 16. Is d(12) a multiple of 5?
True
Let b(i) = 10*i + 1. Let l be b(-3). Let a = -14 - 5. Let o = a - l. Is 8 a factor of o?
False
Suppose 9*a = 8*a + 54. Does 18 divide a?
True
Let k(a) = 3*a + 25. Is k(-7) a multiple of 3?
False
Suppose -24 = -b + 3*r, 0*r - 51 = -3*b + 2*r. Does 15 divide b?
True
Suppose -93 = -2*y + 75. Is 15 a factor of y?
False
Suppose 0 = -3*p - 5*u + 15, -3*p + 3*u - 14 = -5. Let r = p + 2. Suppose 0 = -r*b + 2*o + 24, -o = -5*o. Does 12 divide b?
True
Let a = 523 - 367. Is 26 a factor of a?
True
Suppose -3 = 2*k - 11. Let y = 2 - k. Is y + 9 + (0 - 0) a multiple of 7?
True
Let y be (-2 - 0/4) + 23. Suppose 4*s - 63 = -3*f + s, -5*s = -2*f + y. Is 6 a factor of f?
True
Suppose -20 = 5*f, s - 6 = 3*s + 4*f. Does 3 divide s?
False
Suppose -3*x = 5*o - 25, -3*o + 5*x - x = -15. Suppose -4*z + 3*z - 6 = -2*p, -o*p = z - 15. Suppose -q + m + 13 = -4, z = 2*q - 3*m - 36. Does 15 divide q?
True
Suppose n = 6*n - 10. Let d = -2 + n. Suppose d*w + 64 = 4*w. Is w a multiple of 16?
True
Let p(g) = g**3 + 7*g**2 - 4*g. Let j be p(-7). Let k = 66 - j. Is k a multiple of 19?
True
Let w(k) = -k**3 - 8*k**2 + 4. Let y be w(-8). Let o = y + 1. Is 2 a factor of o?
False
Let j(n) = 5*n - 9. Let k be j(5). Let l = k - -1. Is 4 a factor of l?
False
Let i = 5 + -4. Let d be 85/5*(i + 0). Does 9 divide d - (0 - 1)/1?
True
Let y(g) = -3*g. Let m be y(-1). Suppose -2*b = m*b. Does 6 divide 8 + ((-4)/2 - b)?
True
Let c(r) = 2*r**2 + 12*r + 18. Does 3 divide c(-6)?
True
Does 9 divide 21 + (-4 - (-2 - -1))?
True
Suppose 6*t - t - 595 = 0. Is t a multiple of 16?
False
Let n(r) = 9*r - 3. Is 15 a factor of n(2)?
True
Suppose -2*i + 68 = h, -2*i + 68 = h + 3*i. Does 17 divide h?
True
Let x(f) = -73*f - 28. Is x(-4) a multiple of 38?
False
Let p = 32 + 21. Is 12 a factor of p?
False
Suppose -2*u + 11*u - 468 = 0. Does 4 divide u?
True
Let o be (-3 + 1 - -2)/3. Suppose 5*t = -5*h + 170, o*t - 53 = -2*t + h. Does 12 divide t?
False
Let v = -45 - -57. Is 12 a factor of v?
True
Let q be 28 - 2/(-4)*-6. Suppose -52 = -v + q. Is 20/11 + 14/v even?
True
Let q = 22 - 25. Let y(x) = -11*x - 5. Is y(q) a multiple of 14?
True
Let v(q) = -q**3 - 3*q**2 + 3*q + 1. Let z be v(-4). Suppose -3*r - 18 = -z*r. Is r a multiple of 4?
False
Suppose -2*a - 2*a = -4*h + 248, -2*h - 5*a = -131. Suppose h = -4*s + 243. Is s a multiple of 17?
False
Suppose 3*b = -4*r + 21, 4*b - 2*r = 7 - 1. Suppose 5*m + 4*u = 123, -b*u = m - 0*m - 29. Suppose s - m = 11. Is 13 a factor of s?
False
Suppose 3*t - 4*t = 0. Suppose 5*i - q - 117 = 0, t = -5*i + q + 3*q + 108. Is i a multiple of 6?
True
Suppose 23 = y + 4*s + 6, 5*s - 13 = -y. Is 16 a factor of -1 + y - (-1 + 1)?
True
Let q(i) = -i**3 - 6*i**2 + i - 8. Let j be q(-6). Let t = j + 25. Is 11 a factor of t?
True
Let n(p) = -p**3 + 5*p**2 + 2*p - 2. Does 8 divide n(5)?
True
Is (-889)/(-9) - (-6)/27 a multiple of 11?
True
Suppose 0 = 6*n - 4*n + 120. Let q(o) = -5*o - 6. Let w be q(-4). Is (-2)/7 - n/w a multiple of 2?
True
Suppose 3*j = 3*o - 330, j = -2*o + 124 + 99. Suppose 0*i + o = 3*i. Is 12 a factor of i?
False
Let u = 10 + -6. Suppose -u*d = 2*c - 104,