rue
Suppose 16*l - 1785 = 11*l. Suppose -2*p = 5*p - l. Is p a multiple of 17?
True
Let a be (0 - -56) + (6 - 5). Suppose -3*i = -5*i + 6. Suppose i*k = -9 + a. Is k a multiple of 8?
True
Suppose -3*u + 4 = 2*u + 3*o, -5*o = -3*u + 16. Suppose 5*j - 3*k = 15, 5*k + 6 = u*j + 2*k. Suppose 3*n - 45 = -t, -t + j = 6. Is n a multiple of 11?
False
Let x = 31 + -20. Does 3 divide x?
False
Let h(s) = -2*s - 7. Does 3 divide h(-11)?
True
Let o(j) = -6*j - 2. Let x be o(-1). Suppose -x*d = 4*f - 5*d - 61, -5*f - d + 83 = 0. Is f a multiple of 8?
True
Suppose 43 = 4*k + 551. Let o = -76 - k. Is o a multiple of 17?
True
Let v = 49 - 35. Does 14 divide v?
True
Let d be 1 + 0 + -1 + 3. Suppose w + d*w - 8 = 0. Let i(s) = 4*s**2 + s - 2. Does 14 divide i(w)?
False
Suppose 4*k + z - 12 = 2*z, -5*z + 6 = 2*k. Suppose -k*l + 169 = -77. Is 32 a factor of l?
False
Let o be (-2)/(-2) + 1 + 2. Suppose -6*r + o*r = -136. Suppose g + 12 = r. Does 28 divide g?
True
Let m(t) = -72*t**3 + 2*t**2 + 2*t + 1. Let q be m(-1). Suppose -5*c + 17 = -q. Does 9 divide c?
True
Let h be 3*-1*(-10)/(-2). Let r be (-64)/10 + (-6)/h. Let n(y) = -y**3 - 6*y**2 + 4. Is n(r) a multiple of 2?
True
Let h(s) = -s**3 + 9*s**2 - 12*s + 6. Let f = -8 - -16. Let x be h(f). Is 3 a factor of 5*(-1 + x/(-10))?
False
Let v = 10 + 41. Does 17 divide v?
True
Let q(o) = o**3 - 2*o**2 + o - 2. Let m be q(5). Let s = m - 39. Is 18 a factor of s?
False
Suppose -3*p - 1 + 7 = 0. Suppose p*q = 6*q. Let h(c) = -c + 39. Does 13 divide h(q)?
True
Let q(b) = b**3 - 4*b**2 + 3*b - 6. Let f be q(4). Is ((-26)/(-3))/(f/9) a multiple of 5?
False
Let u(d) = -d**2 - 3*d + 4. Let z be u(-5). Let t = z - -34. Is t a multiple of 14?
True
Let r = -12 - -6. Is 2 a factor of (-8)/(-24) + (-10)/r?
True
Suppose 0*b = 2*b + 4. Is 11 a factor of (1/b)/(2/(-84))?
False
Let f(g) = -g**3 + 10*g**2 - 10*g + 9. Let z be f(9). Suppose -4*j - 11 = -3*b + 10, -3*b + 2*j + 21 = z. Let t = 4 + b. Is 11 a factor of t?
True
Suppose -90 + 342 = 18*w. Does 3 divide w?
False
Let i = -63 - -36. Let x = i - -112. Suppose 0 = n + 5*f - 17, -4*n - n - 5*f + x = 0. Is 9 a factor of n?
False
Suppose -o - 57 = 2*o. Suppose 4*c = 2*c + 82. Let m = c + o. Does 11 divide m?
True
Let w(z) = 2*z**2 - 3. Let k be 4 + -2 - (1 - 3). Is w(k) a multiple of 8?
False
Let f(p) = -p + 10. Let d be f(7). Suppose -c - 12 = d*q, 4*c - 4*q - 21 = 11. Suppose 32 = 2*y + 2*h, 18 = -c*y - h + 72. Is 19 a factor of y?
True
Suppose -45 = 3*z - 6*z. Is z a multiple of 5?
True
Suppose 0*w - 4*w = -420. Is 21 a factor of w?
True
Let f(u) = -2*u**2 + u - 1. Let s(k) = -k**2 + k - 1. Let j(w) = -2*f(w) + 3*s(w). Let y be j(2). Suppose 0*r + 5*l - 21 = -r, y = 5*l. Is 8 a factor of r?
True
Suppose 4 = -b - 3*b. Is b*(-5)/((-10)/(-72)) a multiple of 21?
False
Suppose 2*o + 1 = -3, o + 12 = 5*b. Suppose -b*a + 46 = -28. Is a a multiple of 18?
False
Suppose 0 = 5*g - 182 - 393. Does 23 divide g?
True
Let q be (2 - 2) + 1 + -3. Let i be (1 + -1)*(-1)/q. Is 2 a factor of 1 - i - 1/(-1)?
True
Let b(j) = -2*j**3 - j**2 + 2*j - 1. Let z be b(-2). Suppose 0 = 4*q + 5*s - 3, -7 = -q + z*s - 2*s. Suppose h = -4*n, 5*h - q*h - 26 = n. Is 4 a factor of h?
True
Suppose -3*t - 9 = -2*q, -2*t + 10 = 5*q - q. Suppose -56 = q*n - 7*n. Is n a multiple of 6?
False
Let g(s) = -1 + 2 - 4*s - 4. Is 20 a factor of g(-6)?
False
Suppose 4*g + 7 = -3*q, -g + 24 = g - 4*q. Suppose g*k + 2 = 4*k, 0 = 4*p - 5*k - 67. Is p a multiple of 6?
True
Let q(c) = 3*c + 53. Is q(8) a multiple of 16?
False
Let w = -19 - -35. Suppose 2*m = -5*q + 53, 148 - 2 = 5*m - q. Let p = m - w. Is p a multiple of 5?
False
Suppose -4*c = -2*v + c - 3, 4*v = 3*c + 15. Suppose v*q = q. Suppose r = -q*r + 48. Is r a multiple of 19?
False
Let q be 1/3 - 10/(-6). Does 17 divide ((-6)/(-18))/(q/174)?
False
Suppose -2*w - 8 = 0, -4*w = 5*h - 140 - 84. Does 16 divide h?
True
Let i(y) = 10*y - 33. Is i(7) a multiple of 6?
False
Let x be 3*-2 - (-2 + 4). Let k(d) = -d**2 - 1. Let a(y) = -4*y**2 + 10*y - 17. Let g(j) = a(j) - 6*k(j). Does 20 divide g(x)?
False
Let r(n) be the second derivative of n**3/3 - 8*n. Let u = -5 + 9. Is r(u) a multiple of 3?
False
Suppose 22 + 32 = 2*v + 2*b, 3*v + b - 73 = 0. Suppose -57 = -3*x - m - 4*m, -3*m = x - v. Does 6 divide x?
False
Let t = 89 - 45. Does 14 divide t?
False
Let f = -15 - -17. Suppose -4*z - 3*j = -148, -j = -z + f*j + 22. Does 9 divide z?
False
Let p(a) = 18*a. Let y be p(1). Suppose 3*x - y = -6. Does 3 divide x?
False
Let a(j) = -4*j - j + 0*j + 3*j. Does 4 divide a(-4)?
True
Suppose 4*a - 3 = 5*p, 0*a + a + 2*p - 4 = 0. Suppose -4*s + 160 = -r, -77 = -a*s + 4*r + 17. Is 16 a factor of s?
False
Let g(f) = f**3 - 4*f**2 + 3*f - 4. Let c(i) = -i**2 - i - 21. Let v be c(0). Let z be v/(-5) - (-10)/(-50). Does 3 divide g(z)?
False
Let v = -13 + 7. Let j(c) = -c**2 - 8*c + 4. Does 16 divide j(v)?
True
Let h(w) be the second derivative of -7*w**3/2 + 4*w. Is 9 a factor of h(-2)?
False
Suppose -2*u = 5 - 1. Let y = u + 7. Suppose 0*l - 130 = -y*l + 2*z, -5*z - 25 = 0. Is 13 a factor of l?
False
Let h(j) be the third derivative of j**5/60 - j**4/24 + j**3/3 - j**2. Let w be h(2). Suppose o - 46 = -w*r, o - 3*r - 89 = -3*o. Is 13 a factor of o?
True
Suppose 0 = -5*r + 8 + 7. Suppose 4*i + r*l - 193 = 0, 46 = 2*i - i + 3*l. Is 22 a factor of i?
False
Let r = 10 + -20. Suppose -4*q = 3*v - 49, 0 = 3*v + q - 3*q - 61. Let f = r + v. Is 9 a factor of f?
True
Suppose -4*y + 64 = -3*y. Is y a multiple of 32?
True
Let x(i) = -2. Let d(z) = -z + 4. Let c(j) = 2*d(j) + 5*x(j). Is c(-7) a multiple of 4?
True
Let x = 21 - 11. Let h = x + -5. Suppose -h*o = -6*o + 26. Is 10 a factor of o?
False
Suppose -5 = y - 2*y. Suppose 0 = 4*z - 2*k + 6, 2*k - y = z + 1. Suppose z = 2*a + a - 9. Is a a multiple of 3?
True
Suppose -35 = -4*t + 3*t. Suppose 2*q = -5*i + t, -4*q + 14 = -4*i - 70. Suppose 4*a - 5*d - 20 = 40, 0 = -4*a - 5*d + q. Does 3 divide a?
False
Suppose -2*d + 7*d = 635. Is d a multiple of 36?
False
Let y(q) = -23*q**3 + q**2 - 1. Let n = 8 + -5. Suppose 0 = n*g + 5 - 2. Is 12 a factor of y(g)?
False
Suppose 193 = 5*s - 82. Is s a multiple of 15?
False
Let y = -11 + 58. Is 10 a factor of y?
False
Let b(f) = f**2 + 6*f. Suppose -2*a - 2 = m, -4*a - a + 23 = -m. Does 5 divide b(m)?
False
Suppose 0 = -5*f + 4*a - 3 + 5, -f + 5*a = -13. Let o(c) = 25*c**2 + 3*c + 2. Is o(f) a multiple of 24?
True
Let i(m) = 5*m**2 + 5*m - 24. Does 24 divide i(-9)?
True
Suppose 0 = 5*a - 0*q - 3*q - 160, 4*a + 2*q = 106. Suppose -3*x + 233 = a. Let c = x + -32. Does 14 divide c?
False
Does 2 divide 9/36*(2 + -2 - -8)?
True
Let s be 1 + -1*(5 + -2). Let x = s - -5. Is x even?
False
Let c(y) = 5*y - 2. Let j = 26 + -16. Is c(j) a multiple of 16?
True
Let f(t) = t**2 + 2*t + 5. Let d be f(-8). Let v = 83 - d. Does 10 divide v?
True
Let s = -705 + 1003. Does 46 divide s?
False
Let h(i) = 2*i**2 - 6*i + 32. Does 31 divide h(12)?
True
Let l = 8 - 6. Suppose b - l*y = -b + 88, -2*b = -5*y - 73. Does 18 divide b?
False
Does 5 divide 20*((-3)/(-4))/3?
True
Suppose x + 93 - 10 = 0. Let v = 122 + x. Is v a multiple of 21?
False
Suppose -4*c + 13 - 53 = 0. Let n be ((-92)/c)/((-1)/(-5)). Let j = n + -28. Is 10 a factor of j?
False
Let w(c) be the first derivative of -c**4/6 + c**3 - c**2/2 - 3. Let s(l) be the second derivative of w(l). Does 13 divide s(-8)?
False
Suppose -d = 2*a - 0 - 4, -2*d - 5*a = -9. Suppose d*b - 132 = -2*b. Does 13 divide b?
False
Suppose 4*q + 20 = 4*l - 2*l, q = 2*l - 5. Suppose 2*k = -3*d + 75, l*k + 5*k = -3*d + 174. Suppose -k = -b + v - 2*v, -4*v = -5*b + 138. Does 15 divide b?
True
Suppose 5*h = -h + 18. Suppose 0 = -h*x - 33 + 168. Is x a multiple of 35?
False
Let s be 12*(-4)/16*6. Is (s/(-5))/(6/20) a multiple of 12?
True
Suppose -6 = l - 21. Is 15 a factor of l?
True
Let m be 3/(-6)*2*6. Let v(s) = -s**3 - 7*s**2 - 3*s - 4. Let w be v(-6). Let y = m - w. Is 15 a factor of y?
False
Suppose -z + 1 = -3. Let m = -3 + z. Is 10 a factor of m + (-1)/((-1)/26)?
False
Let o(n) = n**3 + n**2 + n + 2. Suppose -4*a - 2*p = 3*p, 3*p = 0. Let i be o(a). Suppose i*x = -2*x - 5*t + 40, 18 = 2*x + 2*t. Is x a multiple of 5?
True
Suppose 4*m - m - 351 = 0. Suppose 0 = -3*i + 15, 0*s + i = -4*s + m. Does 14 d