alse
Suppose -y - 1 = -4*s, -4*y + 14 = 4*s - 2. Suppose -a - 18 = -0*a + 5*m, -y*a = -2*m + 37. Does 15 divide (8/(-2))/(-2) - a?
True
Let u = -5 + 8. Suppose u*x = -2*x - 400. Is 4/6 + x/(-6) a multiple of 7?
True
Let c = -31 - -65. Is 14 a factor of c?
False
Suppose -2*z = -4*x + 18, 4*z + 10 = -z + 3*x. Is (-10 + 1)/(z/(-5)) a multiple of 15?
True
Let y = 55 - -35. Is y a multiple of 21?
False
Is 15 a factor of 47 + (-4 - -6)*-1?
True
Suppose 0 = 2*a - 6*a + 348. Is a a multiple of 29?
True
Suppose -180 = 9*k - 11*k. Is k a multiple of 18?
True
Suppose -4*v + 7 = -21. Let c = v - -7. Is c a multiple of 3?
False
Suppose -5 = -5*k + 135. Is k a multiple of 14?
True
Does 30 divide (-52)/8*-36 - 0?
False
Let j(s) = -s**3 + 7*s**2. Let w be j(7). Is 12 a factor of (-112)/(-4) - (4 + w)?
True
Let h = 35 - 21. Let q = -28 + 53. Let u = q - h. Is u a multiple of 7?
False
Let b = -11 - -8. Let v = 3 - 10. Is (v/(-2))/(b/(-18)) a multiple of 8?
False
Let z be (-8)/(-2) + (-4 - -2). Suppose -z*q = -68 - 112. Suppose g + q = 4*g. Does 15 divide g?
True
Suppose -l + 3*l + 4*o - 4 = 0, 2*l + 3*o = 7. Suppose -15 - l = -g. Is g a multiple of 14?
False
Suppose 5*i = -10, 3*n - 33 = -2*i + 14. Does 5 divide n?
False
Let u = -50 + 36. Does 7 divide u/(0 - (-4)/(-10))?
True
Let z = 9 - 11. Let m = z - -20. Does 11 divide (-2)/m*-3*81?
False
Let k(t) = 13 - t + 97 + 2. Let r be k(0). Suppose 0 = -3*x - 3*h + 122 - 8, 3*x + h = r. Is x a multiple of 13?
False
Let c = -88 + 23. Let a = c + 95. Is a a multiple of 10?
True
Let r(o) = -o - 12. Let l be r(-9). Does 11 divide -3 - l/(3/22)?
False
Let m(r) = -r**3 - 4*r**2 + 3*r + 2. Suppose 0 = -0*s + 3*s + 15. Is m(s) a multiple of 4?
True
Let o(k) = -k**2 + 12*k - 4. Let p be o(11). Suppose -p + 29 = l. Is l a multiple of 17?
False
Suppose -2*f + 164 = 2*z + 8, -3*f + 202 = -5*z. Suppose -1 - f = -5*w. Is w a multiple of 9?
False
Let s(j) = -j. Let n = -9 + 5. Let c be s(n). Suppose 0 = c*l + 16 - 188. Is 13 a factor of l?
False
Suppose 0 = -3*r - 5*b - 53, 3*b = -6 + 3. Let n be (r/20)/((-2)/10). Suppose -86 = -5*q + 2*f, 3*q - n*f - 63 = f. Does 7 divide q?
False
Suppose 0 = -5*s - 2*q + 279, -3 = 2*q - q. Is s a multiple of 7?
False
Suppose -c - 8 = -4. Let a = -4 - c. Suppose a = 2*u + 4*o - 8 - 68, -36 = -2*u + 4*o. Does 12 divide u?
False
Let y be (-4)/(-5)*(5 + 0). Suppose 0 = 4*u - 2*b - 306, -y*u + 5*b + 315 = -0*b. Is 13 a factor of (u/(-6))/(2/(-4))?
False
Let i be (1/2)/((-1)/(-74)). Suppose i = -2*t + 9. Does 7 divide (-276)/t + (-2)/(-7)?
False
Suppose 3*c = 2*c. Let i be (5 - (c - -2)) + 3. Suppose 2*d - i*d = -40. Is d a multiple of 10?
True
Suppose 4*k - 2*z = z + 555, 3*k - 3*z - 417 = 0. Suppose -4*s = u - 38, 4*u + 3*s = k - 12. Is u a multiple of 10?
True
Let b(p) = -p**3 + p**2 + 3*p - 4. Let w be b(-4). Suppose 4*z = w - 4. Is z a multiple of 10?
False
Suppose -28*y + 891 = -25*y. Does 9 divide y?
True
Suppose 22 - 6 = -4*p. Is 15 a factor of (p/5)/((-5)/250)?
False
Suppose -1040 = -11*r + 7*r. Is 26 a factor of r?
True
Let z = -6 + 13. Suppose -29 = -k + 4*n + z, -108 = -4*k - 2*n. Is k a multiple of 20?
False
Let j(z) = z**2 - 8*z - 12. Does 7 divide j(11)?
True
Suppose 0 = -6*z + 2*z - 16. Let a be (z/10)/(2/(-40)). Is a/((4/2)/2) a multiple of 6?
False
Does 15 divide 2 + -1 + 4 + 41?
False
Let g be 58/(-6) + 4/6. Let u = -13 - g. Does 4 divide (-78)/(-9) + u/6?
True
Let k(s) = 13*s - 3. Let g be 15/(-12)*(-5 - -1). Suppose -2*f + 2*z + 2*z = -4, 2 = f + g*z. Is 6 a factor of k(f)?
False
Let b = -2 + 69. Does 11 divide b?
False
Let v = 10 + 56. Suppose q = -2*q + v. Is 5 a factor of q?
False
Suppose -60 = 5*g - 10*g. Is g a multiple of 6?
True
Suppose -3*j - 2*j + 10 = 0. Suppose j*i - 28 = -u, 4*i = 12 - 0. Is 22 a factor of u?
True
Suppose 0 = q - 14 - 120. Does 47 divide q?
False
Let z be 15 + (0/(-2))/1. Let h = z + -96. Let i = -19 - h. Is 22 a factor of i?
False
Let c(q) = -4*q + 32. Is c(-8) a multiple of 16?
True
Suppose i - 23 = -4*c, 35 = 4*c + 6*i - i. Let h(p) = -p**2 + 5*p + 2. Is h(c) even?
True
Let f be (3 - 6)/(3/(-94)). Suppose -f = -0*q - 2*q. Does 13 divide q?
False
Suppose -5*h - b = -4*h - 4, 3*b = 3*h - 30. Let t = 33 - h. Is 11 a factor of t?
False
Suppose 2*z - 4 = z. Is 21 a factor of ((-102)/z - 0)*-2?
False
Let g = 94 - 20. Let a = 106 - g. Does 16 divide a?
True
Let r(j) = 3*j**2 - 3*j + 25. Is r(7) a multiple of 11?
False
Suppose 5*o = -0*m + 5*m - 555, 4*o = -5*m + 564. Let z = m - 72. Is z a multiple of 10?
True
Is (-2 - -1)*-7 - -1 a multiple of 2?
True
Let j(c) = 1 + 13*c - 17*c**3 - 1 + 2*c**2 - 12*c. Does 4 divide j(-1)?
False
Suppose -2*q - t = 3*q - 247, -q + t = -53. Is 6 a factor of q?
False
Suppose 14*v - 899 = 557. Is v a multiple of 4?
True
Let g = 10 + 7. Is 2 a factor of g?
False
Suppose 102 + 6 = 6*f. Does 7 divide f?
False
Let j = 2 + 22. Suppose -49 = -0*t - t. Let s = t - j. Is s a multiple of 12?
False
Suppose 0 = 5*b - 2*m - 107 - 130, 0 = 2*b + 2*m - 106. Is b a multiple of 10?
False
Let k(a) = -a**3 + 9*a**2 + 12*a - 12. Let z be k(10). Let s = 12 - z. Does 2 divide s?
True
Let r be (1 + -2)/((-1)/(-5)). Let v be -5*((-11)/r + -3). Suppose 0 = -v*s + 2*b + 90 + 22, b + 30 = s. Does 13 divide s?
True
Suppose 3*g = -z + 76, -3*z + 58 = 4*g - 40. Let c = g - 17. Does 5 divide c?
False
Let b(t) = 40*t. Let z be b(5). Suppose z = -0*j + 5*j. Does 10 divide j?
True
Let w(f) be the second derivative of f**4/6 - f**3/3 + f. Let v be (-2)/4 + 18/4. Is 12 a factor of w(v)?
True
Let f = 7 + 0. Suppose -3*s + 40 - f = 0. Suppose 3*t + 3*q = 45, 5*q + 2 - s = t. Is t a multiple of 4?
False
Suppose -3*g - g + 8 = 0. Let q(o) = o. Is q(g) even?
True
Let l(x) = -x**3 - 6*x**2 + 7*x - 4. Let g be l(-7). Let r(f) = -f**3 - 5*f**2 - 3*f + 3. Let h be r(g). Let i(u) = 25*u**2 - 2*u - 1. Is i(h) a multiple of 13?
True
Let p = 32 - 18. Let s = p + 28. Is s a multiple of 14?
True
Let f(z) = z + 2. Let l be f(2). Suppose -2 - 6 = -l*t. Suppose a - t*n = 16, 4*a - 5*n - 62 - 5 = 0. Does 9 divide a?
True
Does 5 divide (-65)/(-2) + 18/(-36)?
False
Suppose -5*a - 1 = -11. Suppose 0*l - 16 = -a*l. Does 4 divide l?
True
Suppose 3*i + 15 = 0, -6*f = -11*f + 4*i + 50. Suppose -g = -f*g. Suppose -3*p + p + 40 = g. Is p a multiple of 20?
True
Let i(g) = 2*g + 1. Is i(17) a multiple of 11?
False
Let o(r) = 14*r**2 - r - 3. Is 20 a factor of o(-2)?
False
Suppose 2*q + 50 = -0*q. Let d = 55 + q. Is 15 a factor of d?
True
Let w(c) = -15*c + 8. Is 17 a factor of w(-4)?
True
Suppose 0*v + 5*v - 100 = -2*u, 0 = 2*v + 5*u - 61. Suppose -2*z - 8*c + v = -3*c, 44 = 3*z - c. Does 14 divide z?
True
Let j be (6/(-18))/(3/(-9)). Does 2 divide (-5 - -3) + j*6?
True
Suppose 2*i = -2*k + k + 22, -3*i = -3*k + 30. Let o be (31 - 1)*7/k. Is (1 + o/(-9))*-21 a multiple of 7?
True
Let a(q) be the first derivative of -10*q**4 - 2*q**3/3 - q**2/2 - 3. Is a(-1) a multiple of 13?
True
Suppose -4 = -4*n - 4*x, -4*n + 0 = -2*x - 16. Suppose -n*v = -6 - 0. Suppose v*y - 2*d = -9 + 27, 0 = y + 4*d - 24. Is y a multiple of 12?
True
Is 5/((-10)/(-4)) - -1*46 a multiple of 9?
False
Suppose -2*w + 5 = 3*w. Let f = 72 + -76. Is 15 a factor of ((-23)/4)/w*f?
False
Let z be -2*22/4*-3. Let m = z + -18. Is 15 a factor of m?
True
Let z be (-2)/(-5) + (-37)/5. Let i = -2 - z. Suppose 0*l + 4*k - i = -l, 5*l = k + 46. Is l a multiple of 3?
True
Suppose 2*c - 122 = -0*c. Is 18 a factor of c?
False
Suppose 3*x - 42 = 90. Does 7 divide x?
False
Let a be -1 + 1 - (-6 - -7). Let l(c) = -c + 1. Is l(a) even?
True
Let o be 4*1 - 0/(-3). Let p be (2 + o)*2/6. Suppose 4*q = 8, 2*q - 39 = -d - p*q. Does 14 divide d?
False
Let a(j) = 269*j + 1. Let v be a(1). Suppose 0*y = 5*y - v. Is 11 a factor of y?
False
Let v(u) = 2*u**2 + 2*u + 6. Does 39 divide v(-11)?
False
Suppose -2*v = 3*v - 15. Suppose -t + 7 = v*w, 3*t + 2 - 19 = -5*w. Suppose 0 = -3*q - w + 13, 5*q - 148 = -4*g. Does 16 divide g?
True
Let s = -6 - -10. Let r(l) = 10 + 3*l - 2*l - s*l. Is r(-8) a multiple of 12?
False
Does 4 divide (2*2)/((-1)/(-4))?
True
Let r = -2 - -4. Suppose -4*x = -5*s - 49, r*s + 21 = x - s. Does 4 divide x?
False
Suppose 0 = q + 2*u - 41, 0 = -2*q - u - 0*u + 85. Is 6 a factor of 5/(-35) - q/(-7)?
True
Let z(k) = -10*k**3 + 1. S