 Suppose 3*v - z = 41, 3*v = -v + z + 53. Let w be y(v). Let t = 91 - w. Is t a multiple of 12?
False
Suppose -8*u + 340 = 28. Is u a multiple of 11?
False
Suppose -81 = -5*l + 134. Is 8 a factor of l?
False
Let g = 545 - 345. Is 50 a factor of g?
True
Let r be 3 + (-3 - -1) + 1. Suppose -r*u - u = -108. Does 12 divide u?
True
Let r(c) = -c + 15. Let g be r(13). Suppose 14 + 22 = g*i + 4*q, 4*i = -q + 65. Is i a multiple of 8?
True
Let i = 3 + 2. Suppose q = i*q - 52. Is q a multiple of 10?
False
Let m = -150 + 226. Does 38 divide m?
True
Suppose 4*s + t - 2074 = 0, -4*t = 2*s + 2*s - 2068. Does 24 divide s?
False
Suppose -c + 3*c - 24 = 0. Suppose -c = 2*k - 114. Does 14 divide k?
False
Let r(y) = -y**2 + 2. Let d be r(0). Is 14 a factor of 122/6 - d/6?
False
Let t be 25/5*2/2. Suppose 4*p = -3*a + a + 82, 125 = t*p - 2*a. Suppose p = 5*o + 3. Is 4 a factor of o?
True
Is 8/(-28) + (-121)/(-7) a multiple of 5?
False
Is (-35)/(-21)*1*36 a multiple of 21?
False
Suppose -d + 3*i = 1, 4*d - i = -2*i - 56. Let z = 1 - d. Is 3 a factor of z?
False
Suppose -4*q + d + 43 = 6*d, 4*q - 37 = -3*d. Does 7 divide q?
True
Let w = 2 - 4. Let p = 28 - w. Suppose 3*c = -3*i + p, 3*i = -4*c + 7*i + 24. Does 3 divide c?
False
Let b(g) = -g**2 + 10*g - 5. Let a(d) = 4*d - 9. Let l be a(4). Does 16 divide b(l)?
True
Suppose 0 = 3*g - 4*g + 4. Let q(v) = v**3 - 5*v**2 + 3*v + 4. Let o be q(g). Suppose -4*x + 4 = o, -131 = -4*d - 2*x - x. Does 16 divide d?
True
Let o = -2 - -1. Let p = o - -23. Is p a multiple of 11?
True
Let i = 68 - -1. Is i a multiple of 30?
False
Suppose -3*b - 5*t = -46, t - 6 = -3*b + 4*t. Is 3 a factor of b?
False
Suppose 0 = -8*h + 3*h + 10. Suppose b + h*z = 3, -3*b + 54 = -z - 2*z. Does 13 divide b?
True
Does 12 divide 4107/37 + (-1 - 2)?
True
Let k = 6 + -8. Let w(y) = -9*y**3 + 3*y + 3. Does 19 divide w(k)?
False
Is -2 - (132/2)/(-1) a multiple of 16?
True
Suppose 5*y = 2*y - 6. Is 11 a factor of 32 - (y - (0 + 1))?
False
Let q = -23 + 27. Let u(t) be the third derivative of -t**6/120 + t**5/10 - t**4/6 + t**3/3 - t**2. Is 6 a factor of u(q)?
True
Let s be 440/13 - (-10)/65. Let f be -2 + 11*(2 + -1). Let o = s - f. Is o a multiple of 19?
False
Suppose -22 = 3*j + 17. Let m = j - -41. Suppose 0 = 5*y - l - 45, 0*y - y = -4*l - m. Is 8 a factor of y?
True
Suppose 2*s - 417 = -57. Is 16 a factor of s?
False
Let h(l) = l. Let c be h(3). Suppose 0 + 6 = c*z. Suppose -z*g + 2 = -38. Is g a multiple of 10?
True
Suppose -d - 268 + 12 = 5*m, 0 = 4*d + 3*m + 1024. Is (-18)/12*d/6 a multiple of 19?
False
Does 13 divide (-3 - -4)*-2 + (-30)/(-2)?
True
Let c(q) = 2*q**3 - 5*q**2 + 2*q - 1. Does 6 divide c(3)?
False
Let f be 1/1 - (-2 + 1). Suppose 0 = 4*c - 0*o + o - 91, -f*c + o + 53 = 0. Does 12 divide c?
True
Suppose 1 = 3*s - 8. Suppose 21 = 2*p - 5*d, -s*d = -0 - 9. Is p a multiple of 18?
True
Let v(h) = h**3 + h + 23. Suppose -4*t - 5 + 20 = -3*g, -4*g - 20 = 0. Does 6 divide v(t)?
False
Suppose 2*b = -b + 9. Suppose 3*r = -3*o + 69, -o - 3*o = b*r - 88. Is 6 a factor of o?
False
Let z(j) = -3*j - 18. Let g be z(-6). Suppose 0 = -0*c - 2*c + 44. Suppose 3*y + 5*b - 33 = 0, y + b - 3*b - c = g. Is 16 a factor of y?
True
Let l = -47 - -99. Is 13 a factor of l?
True
Suppose 0 = 3*a - 6*a + 93. Does 31 divide a?
True
Suppose 9*k - 52 = 7*k. Does 6 divide k?
False
Let d be 518/4 + 4/8. Let s = 0 - -2. Suppose d = 5*k - s*j, 0 = -3*k - 5*j + 98 - 20. Does 8 divide k?
False
Let v = 296 - 124. Is v a multiple of 20?
False
Suppose 50 = 4*d + 2*h, -2*h + h = -2*d + 31. Does 4 divide d?
False
Let h = 87 - 47. Suppose 4*z - h = -2*x - 0*x, 50 = 2*x - z. Is x a multiple of 10?
False
Suppose 4*y - 325 = v, -3*y + v = -v - 240. Suppose 150 = 4*g + i, 5*g - 3*g - 3*i = y. Is 14 a factor of g?
False
Suppose 4*r - 23 = -t - 0*t, 2*t + r - 11 = 0. Suppose t = -3*z, -4*x + 285 = -6*z + z. Suppose 25 + x = 5*m. Is m a multiple of 19?
True
Is (-7)/(3 - 7/2) a multiple of 7?
True
Suppose -5*d + 19 = 6*b - 3*b, 2*b - 11 = -3*d. Let n(p) = -p**3 + 3*p**2 + 4*p + 2. Is 13 a factor of n(b)?
False
Let d = 7 + -5. Let a = 20 - d. Is 6 a factor of a?
True
Let a = 18 + -28. Let m(f) = -f**3 - 11*f**2 - 12*f - 9. Does 9 divide m(a)?
False
Let o = -12 + 66. Let p = -24 + o. Does 17 divide p?
False
Let k(s) = -s**3 + 8*s**2 + 10*s + 12. Does 2 divide k(9)?
False
Let k(w) = w**2 + 4*w + 5. Let f(d) = -2*d**2 - 2*d. Let y be f(-2). Let x be k(y). Suppose -x*v + 31 + 49 = 0. Is 10 a factor of v?
False
Suppose -t + 260 = 4*t. Is 11 a factor of t?
False
Suppose -3*d - 4*i = -0*d - 203, 0 = 3*d + 5*i - 205. Is d a multiple of 6?
False
Let m(f) = f**3 - 14*f**2 + 3*f + 13. Let a = -19 - -33. Does 14 divide m(a)?
False
Let f(x) = -5*x + 4. Let g be f(-6). Suppose s - 2*o - g = 8, 5*s + 5*o = 285. Suppose 2*v = -2*a + 26, 2*v - 28 = -5*a + s. Is 18 a factor of a?
True
Let j = 23 + -2. Does 21 divide j?
True
Suppose k = -5*c + 59, 8 + 51 = k + 2*c. Does 20 divide k?
False
Let p = -16 - -26. Suppose 4*d - 943 = -2843. Is 19 a factor of (6/p)/((-5)/d)?
True
Let l(f) = f**2 + 4*f - 2. Let p be l(-4). Let h(x) = -3*x - 1. Let g be h(p). Suppose -g*u = -0*u - 25. Is u a multiple of 5?
True
Let k = -176 + 246. Is 10 a factor of k?
True
Let j be -1 + -1 + 2 + 9. Let d(b) = 2*b - 3. Does 15 divide d(j)?
True
Let m = 71 + -35. Is m a multiple of 12?
True
Let k = -3 - -1. Let g(u) = 3*u - 14. Let a(o) = -4*o + 15. Let b(m) = k*a(m) - 3*g(m). Does 21 divide b(-11)?
False
Suppose -3*f + 6 = -9. Does 21 divide (140/6)/(f/15)?
False
Let f be 2*1 - (6 - -1). Let h = 23 - f. Is 5 a factor of -6*(h/(-6))/2?
False
Suppose 0 = -4*a - a + 135. Let l = -6 + a. Is l a multiple of 21?
True
Let k = -8 - -13. Suppose 20 = k*a - 5. Is a a multiple of 5?
True
Let t be 2/(72/(-39) + 2). Let j = t - 0. Is j a multiple of 13?
True
Let q(i) = i**2 + 8*i - 4. Let m be q(-7). Let n = m - -29. Does 18 divide n?
True
Suppose -5*p + 5*j = 0, j = p + 2*j - 4. Let a = 8 - 5. Suppose p*r = -3*i + 17, 5*i + 6 = -a*r + 33. Is r a multiple of 2?
True
Is (-14)/49*-7*154/4 a multiple of 7?
True
Suppose 0 = -4*g - 0*g. Suppose g = m - 0 - 8. Does 4 divide m?
True
Let x(c) = 4*c**2 - 1. Let f be x(-1). Suppose -v + f = -0. Suppose -5*m = -v*m - 42. Is 21 a factor of m?
True
Let h = -39 + 139. Is 11 a factor of h?
False
Suppose 4*g - 7 - 17 = -p, -4*g = -4*p - 4. Suppose 4*h - 232 = -p*j, -3*h - h = -3*j + 167. Is 19 a factor of j?
True
Let p(l) = -l + 5. Let o be p(-5). Let j be (o + -5)*16/10. Suppose -2*g + 28 + j = 0. Is g a multiple of 15?
False
Let f be 1/2*1*10. Suppose -51 = f*y - 8*y. Is y a multiple of 16?
False
Suppose -696 = -7*b + 3*b. Is b a multiple of 29?
True
Suppose -4*l - 4*l = -376. Is 8 a factor of l?
False
Is 5 a factor of 9/2*(-24)/(-18)?
False
Let m(j) = j + 2. Let q be m(5). Let t = 41 - q. Is 12 a factor of t?
False
Suppose 5*y + 320 = 5*b, -y - 4*y - 56 = -b. Suppose -3*x + b = 4*z, 4*z - 1 = 11. Is x a multiple of 5?
False
Let t be 12*(18/(-4) - -2). Let l = t - -48. Does 9 divide l?
True
Let s(i) = i + 1. Does 4 divide s(3)?
True
Let p(g) = -5*g - g**3 - 9 + 0 - 3 + 2 + 10*g**2. Suppose 0 = -0*y - 2*y + 18. Is p(y) a multiple of 13?
True
Let b = -56 + 96. Suppose -b = -3*n - 3*m - 4, -2*n = -5*m - 52. Is 8 a factor of n?
True
Suppose 1976 = 5*n + 536. Is n a multiple of 16?
True
Let q(c) = 3*c - 6. Let d be q(7). Suppose -t = -4*i - d, -2*i + 0 - 3 = t. Is 10 a factor of 19 + (0 - t) + 1?
False
Let x = 33 + -48. Is (-580)/x + (-2)/3 a multiple of 15?
False
Suppose q = 4*b + 6*q - 155, 60 = b - 3*q. Suppose 2*w - 56 = -5*c, -3*c = -3*w + b - 3. Is 9 a factor of w?
True
Suppose -3*t + 4*h + 7 = -24, 24 = 4*t - h. Suppose 0 = 5*d - t*w + 40, w = -2*d - 0 - 4. Does 5 divide 6/3*(-10)/d?
True
Let x = -37 - -97. Suppose i + 5*u = -0 - 11, 0 = 5*i + 2*u - x. Does 13 divide i?
False
Suppose 2*h - 5*i - 73 = 0, 4*h - 2*i - 161 = 3*i. Does 13 divide h?
False
Suppose -3*n + 4*h + 49 = 0, -n - 2*h + h + 7 = 0. Is n a multiple of 5?
False
Suppose 0 = 4*j - 16, 5*d + j - 5*j + 16 = 0. Suppose d = -4*l + 70 + 34. Does 16 divide l?
False
Let z be -3 + -2 + 8 + 7. Suppose n - 6*n + z = 0. Is n a multiple of 2?
True
Suppose -2*o + 4*i = 3*o - 30, -o - 3*i = 13. Suppose 5*k + 0*k + 4*y = 34, -o*y - 38 = -3*k. Is k a m