rue
Suppose -4*s + 15 = s. Suppose -t - 4*m - 1 - 6 = 0, 4*m = s*t + 5. Let q = 8 + t. Does 2 divide q?
False
Does 2 divide (10 + -23)*((-4)/2)/2?
False
Let a(v) = -v**3 + v**2 + v + 1. Suppose -2*x - 3*x = -15. Let b be a(x). Let y = 25 + b. Is 10 a factor of y?
False
Suppose -8 = -3*n - 0*h - 2*h, 4*h + 4 = 4*n. Suppose -n*m = m + 12. Is 2/m*(2 - 12) a multiple of 4?
False
Let o = -1 - 0. Let m(p) = 49*p**2 + 3*p + 2. Is m(o) a multiple of 16?
True
Suppose 0 = 3*z - 3, t + 4*z = -4*t + 239. Is 9 a factor of t?
False
Let b(y) = 3*y - 5. Let q be b(5). Suppose 2*i + q = 0, -o = i + i + 8. Does 2 divide o?
True
Suppose 10*h = 46 + 14. Is h a multiple of 5?
False
Let h be ((-6)/(-3) + -1)*0. Suppose h = 5*m - 3*i - i - 37, 3 = -i. Suppose -n + 13 = -m. Is n a multiple of 9?
True
Let m = 89 - -28. Suppose 4*i - m = -5*g, 5*g - 19 = -3*i + 95. Does 7 divide g?
True
Let d = -42 - -90. Is d a multiple of 24?
True
Let x(i) = i**2 + 7*i + 7. Let v be x(-5). Let c be -26*3/(-18)*v. Let s = -7 - c. Is 3 a factor of s?
True
Let g(w) = -w**3 + 7*w**2 - 6*w + 2. Is 4 a factor of g(4)?
False
Let b(c) = -c**3 + 9*c**2 - 6*c + 8. Is b(4) a multiple of 16?
True
Suppose -7*t + 588 = -0*t. Does 28 divide t?
True
Suppose -5*v - 3*y = -v - 1, -5*v = -y - 25. Suppose -2*q = 0, 0*q + 12 = v*x - 4*q. Suppose u - 2*u = -x. Is 2 a factor of u?
False
Let i be (2/6)/(3/45). Suppose -3*k - i*a + 932 = 0, -6*k - a = -3*k - 916. Is 19 a factor of k/12*(-9)/(-6)?
True
Let m = -84 + 129. Is 9 a factor of m?
True
Let c be (-18)/(-30) + 24/10. Suppose 0 = 5*k + c*j - 109, 0*j + 27 = k - 2*j. Is 20 a factor of k?
False
Let g = 0 - -4. Suppose 0 = -w - 3*d + d - 4, -g*w + 4*d = -32. Suppose -4*b + 7*b - 62 = -2*m, w*m = 2*b - 36. Is b a multiple of 10?
True
Let o = -3 - -3. Suppose -5*c + 466 = -r, o*c + 3*c = -2*r + 277. Let w = -65 + c. Is w a multiple of 14?
True
Let t(l) = 3*l**2 + 26*l - 32. Let z(q) = -q**2 - 9*q + 11. Let a(n) = 6*t(n) + 17*z(n). Is 6 a factor of a(-6)?
False
Suppose -d - 1124 = -4*o, -5*d = -0*o - 5*o + 1405. Is 21 a factor of o?
False
Let q = 5 - 7. Let g = q + 0. Does 13 divide g/((4/37)/(-2))?
False
Let t(b) = b**2 - 8*b + 7. Let u be t(7). Suppose u = -3*c - 5*o + 104, -5*o = -c - 3*c + 127. Is c a multiple of 11?
True
Let f = 6 + 13. Is f a multiple of 5?
False
Suppose -3*i = 0, -3*y - 3*i - 12 = -7*y. Let b be (y*-7)/((-8)/(-8)). Is 98/b*(-6)/4 a multiple of 5?
False
Let n be (-6)/(-4)*(-4)/6. Let y(z) = 9*z**2. Is 4 a factor of y(n)?
False
Suppose v = -2*t + 83, v - 5*t - 87 + 32 = 0. Is v a multiple of 21?
False
Let y = 545 - 348. Is 12 a factor of y?
False
Let k = 145 - 75. Let j = -6 + k. Let w = -37 + j. Is w a multiple of 11?
False
Is -4 - 2*(-39)/6 a multiple of 2?
False
Suppose 6*f - f - 2*r = 2, -3 = -5*f + 3*r. Let i be 2 + f - 3/(-1). Suppose -3*u + 50 = 4*g - 20, 0 = i*u + 3*g - 113. Is u a multiple of 15?
False
Let o(i) = i**2 - 7*i + 9. Let z = 22 - 16. Let a be o(z). Suppose 4*m = -2*j + 56, -a*m - j + 44 = -0*j. Does 16 divide m?
True
Suppose -5 = 2*g - 21. Suppose g = 3*i - i. Suppose i*o - 2*o = 22. Is o a multiple of 7?
False
Let p(x) = x**3 + x**2 + 1. Let b be p(-1). Let u(s) = 7*s**3 + s - 2*s**3 + 4*s**3 + 6*s**3. Does 7 divide u(b)?
False
Suppose 3 = -4*f + f. Let l(d) = -2*d**2 + 2*d + 7*d**2 - d - 2*d. Does 6 divide l(f)?
True
Let x(r) = r**3 - 5*r**2 - 11*r + 9. Does 8 divide x(7)?
False
Suppose -6 = 3*q - 0. Is q/8 + 116/16 a multiple of 4?
False
Let f = 20 - -29. Is 9 a factor of f?
False
Let p(j) = -j - 6. Let u be p(-8). Does 13 divide ((-27 - u) + 3)*-2?
True
Let h(y) = -y + 4. Is h(-10) a multiple of 8?
False
Let n(w) be the first derivative of -9*w**2/2 - 6*w + 2. Is n(-6) a multiple of 13?
False
Let b = -8 + 12. Let o = b + -1. Suppose -42 = -o*s - 0*s. Does 10 divide s?
False
Suppose 3*y = -2*y + 640. Is y a multiple of 16?
True
Let p = 47 + -13. Does 7 divide p?
False
Let c be 9/6*4/3. Is ((-352)/40)/(c/(-15)) a multiple of 12?
False
Let l(z) = -z + 1. Let o be 1 - 0/(0 - 3). Let n be l(o). Suppose n = -d + 5*i + 2, -i = -2*d - 5*i + 18. Is 7 a factor of d?
True
Suppose -4 = g - 74. Is g a multiple of 8?
False
Is 6/(-3 + 2 + 116/104) a multiple of 13?
True
Suppose -2*y + 112 = -98. Is y a multiple of 35?
True
Let a(g) = 37*g - 1. Is 18 a factor of a(1)?
True
Let b(o) = 16*o - 4. Does 20 divide b(4)?
True
Suppose -5*n + 10 = -10. Let b(l) = 3*l**2 + 8*l + 1. Let o(q) = -2*q**2 - 8*q. Let j(k) = n*o(k) + 3*b(k). Does 3 divide j(8)?
True
Let k(j) = j**3 + 7*j**2 + 8*j + 4. Let c be k(-6). Is (-146)/c - 2/8 a multiple of 11?
False
Suppose -6*n + 2*n + 12 = 0. Suppose 0 = -0*x + 4*x + n*z - 83, -52 = -2*x + 2*z. Is x a multiple of 23?
True
Suppose -6*s + 62 = -4. Is 7 a factor of s?
False
Is (20/(-8))/(3/(-36)) a multiple of 6?
True
Let k(u) = 53*u. Let i be k(2). Suppose 2*h - 4*x = -h + i, 0 = 4*h - 3*x - 153. Suppose -h = -2*n - 12. Does 8 divide n?
False
Suppose -4*i + 6 = -c - c, 2*i = 4. Let z(d) = -4*d + 1. Let h be z(c). Is 12*(0 - h/6) a multiple of 3?
True
Suppose 13*a + 6 = 15*a. Does 3 divide a?
True
Suppose -5*w = -3*c + 13, -2*w - 2*c - 22 = c. Let s(t) = 4*t**2 + 6*t. Let q be s(-4). Is (q/(-25))/(1/w) a multiple of 3?
False
Suppose -2*t + 3*t = 0. Suppose -70 = -t*o - o - q, -2*o = -3*q - 145. Is 22 a factor of o?
False
Let x(i) = -2*i - 4. Let j(z) be the third derivative of -z**5/60 + 7*z**4/24 - 4*z**2. Let n be j(8). Does 4 divide x(n)?
True
Let i = 1 + 2. Let m(j) = i*j + 5 - 1 - 1. Is 12 a factor of m(9)?
False
Suppose -17 = -5*x + 48. Does 13 divide x?
True
Let s = -9 - -59. Let m = s + -28. Does 17 divide m?
False
Suppose 2*m + 12 = 5*t, 3 = 4*m + 5*t - 33. Let c = 80 - 6. Suppose -6 = -m*p + c. Is 10 a factor of p?
True
Let y = -207 - -355. Is 29 a factor of y?
False
Let s(y) = y**2 + 8*y - 4. Let a(l) = -l - 2. Let i be (-3)/(-6)*-2 + 8. Let v be a(i). Is 5 a factor of s(v)?
True
Suppose -i + 12 = 2*i. Suppose -q = 5*k - 2*q - 59, -5*k - i*q + 64 = 0. Suppose z - 2*z = -k. Is 12 a factor of z?
True
Let m(k) = -k**2 - 5*k + 3. Suppose 0 = 2*c + 10, 5*c = 2*g - 3*g - 30. Let d be m(g). Is 4 a factor of ((-11)/d - -2)*-3?
False
Suppose -3*c + 6*c - 15 = 0. Suppose -c*n + 25 = -0*n. Suppose -3 = -h + n. Is 8 a factor of h?
True
Let s(x) = 2*x**2 - 1. Let i be s(-1). Is i - (-2 - (1 + 20)) a multiple of 12?
True
Let r be 2/5 - (-792)/20. Let b(x) = -x**2 + x + 5. Let j be b(-4). Let y = j + r. Is y a multiple of 14?
False
Let u be -2 - 3/((-9)/30). Is (-2 + u)/(6/36) a multiple of 12?
True
Is -47*(-3)/(9/6) a multiple of 43?
False
Suppose -4*u - u = -y - 15, -5*u + 35 = -5*y. Suppose 0 = 4*n - u*n - 4*j - 120, 3*n + 3*j - 135 = 0. Is n a multiple of 13?
False
Suppose 5*k = -20, -270 = -4*p - p + 5*k. Is p a multiple of 13?
False
Suppose -4*v - v + 5*x = 0, 5*x = -5*v. Suppose v = 5*h - 218 - 27. Is 13 a factor of h?
False
Let t = -7 + 12. Suppose 0 = -2*x + t*u + 21 + 26, -5*u = 5*x - 30. Is 5 a factor of x?
False
Suppose 9 = 5*l + 4*n - 1, -4*n - 4 = -2*l. Let g(o) = 4 - o**2 + 2*o**3 - 4 + 1. Is g(l) a multiple of 13?
True
Let m(x) = x + 6. Does 3 divide m(6)?
True
Let l(q) = -q**2 + 7*q. Does 10 divide l(5)?
True
Let a(x) = -x**3 - 8*x**2 + 2*x + 1. Let v be a(-7). Let t be v/(-3) - 1/(-3). Suppose 0 - t = -3*i. Does 5 divide i?
False
Suppose -5*n + 0*l - 3*l = -2, -4*n - 5*l = 1. Let m = n + 7. Does 4 divide m?
True
Suppose -2*h - 438 = 4*t, -h = 5*t + 129 + 87. Let j = h + 313. Is j a multiple of 32?
False
Let q be (-10)/(-2)*(-2 - 5). Is 5 a factor of (-170)/q + 3/21?
True
Let a = -30 - -55. Let k = a + -13. Is k a multiple of 6?
True
Let s = 17 + -12. Does 8 divide (s - -3) + 1 + -1?
True
Let m(v) = -13 + 14*v**2 + 8*v - 12*v**2 + v**3 + 10*v**2. Is m(-11) a multiple of 11?
False
Let r = 5 - 2. Suppose -2*a - r*b = -111, -5*a - 5*b = -0*a - 265. Is a a multiple of 12?
True
Suppose -v - 1 + 3 = 0. Suppose 2*h = v*j - 58, -4*j + 3*h + 2*h = -118. Is j a multiple of 9?
True
Let g(z) = -z + 9. Let y be g(0). Suppose -o + 24 = y. Is 15 a factor of o - 0 - (2 + -2)?
True
Is 3 a factor of (0 - 1)/((-3)/33)?
False
Let s(w) = w**3 + 8*w**2 - 11*w - 6. Suppose 0 = m - 2*z + 15, 6 = m - z + 18. Does 12 divide s(m)?
True
Let k(o) = -o**3 + 6*o**2 - 6*o + 6. Is k(4) a multiple of 5?
False
Suppose 2