ue
Suppose 0 = 2*z - 4*q - 56, -3*q - 127 = -4*z + 2*q. Suppose 4*m - 2 = z. Is 17 a factor of (34/(-5))/((-2)/m)?
True
Let x = 0 + 2. Let b = 4 - x. Is b a multiple of 2?
True
Suppose 416 = 4*j - 0*j. Does 26 divide j?
True
Suppose 0*c - 3*c + 11 = -4*o, 0 = -o + 3*c + 4. Let s be ((-8)/o + 0)*-5. Is 0 - 1 - (s - 3) a multiple of 8?
False
Let d(x) = 2*x**2 - 22*x - 78. Is 27 a factor of d(-9)?
False
Suppose 4*m - 439 = 2*b + 147, -4*m + 596 = -4*b. Suppose 0 = -q - 2*q + m. Does 16 divide q?
True
Let p(i) = -i**2 - 8*i - 1. Let t be p(-6). Suppose 5*u - 49 - t = 0. Is u a multiple of 6?
True
Suppose 10*x - 72 = 9*x. Is x a multiple of 8?
True
Let c(x) = -x**3 + 6*x**2 - 4*x - 2. Let l be c(5). Suppose -o + l*g - 2 = 0, o - 2*g - 1 = 2. Is o a multiple of 3?
False
Let z(y) = -7*y**2 + 29*y**3 + 11*y**2 - 5*y**2. Is 15 a factor of z(1)?
False
Suppose y - 5*f = 6 + 13, -24 = 4*y + 5*f. Is (13*y)/((-5)/15) a multiple of 13?
True
Let u(i) = -i**2 + i + 2. Let o be u(0). Suppose 4*z = -0*f + 2*f - 32, -o*f + 3*z = -29. Is f a multiple of 7?
False
Suppose 177 = 3*b - 5*n, -b + 5*b = 5*n + 236. Is 4 a factor of b?
False
Suppose 2*y + 7 - 67 = 0. Is 15 a factor of y?
True
Is (-4 - -10)/((-12)/(-56)) a multiple of 5?
False
Suppose w + 53 = 5*o - w, 0 = -2*o - 5*w + 27. Let q = -8 + o. Suppose -q*b = -0*b - 27. Does 9 divide b?
True
Suppose -5*m - 3*a = -235 + 4, 0 = -m + a + 51. Let l = -22 + m. Is l a multiple of 13?
True
Let q(o) = 6*o**2 + o. Let b be q(-1). Suppose b*c - x = 64, 4*c + 4*x = 3*c - 4. Is 6 a factor of c?
True
Let b be -10*(-7)/((-70)/4). Does 4 divide 3 - b/(4/5)?
True
Suppose -2*p - p - 18 = 0. Is 10 a factor of 62/5 - p/(-15)?
False
Let m(x) = -x - 1. Let w be m(-5). Suppose -4*t = -w*q - 12, 0*t + 2*q + 4 = 3*t. Is 4 a factor of 2/(-4) + (-9)/t?
True
Suppose 7*w = 1990 + 292. Is 50 a factor of w?
False
Suppose 3*k + 3*r - 171 = 0, -3*k - k + 228 = 2*r. Suppose 3*f = -18 + k. Is f a multiple of 13?
True
Suppose -7*y + 32 = -4*r - 2*y, 4*r - 3*y = -24. Let p(a) = -a**3 + 2*a**2 + 7*a + 1. Does 5 divide p(r)?
True
Let p(k) = -3*k**2 - k - 3. Let h(f) = -7*f**2 - 2*f - 5. Let j(t) = 2*h(t) - 5*p(t). Does 11 divide j(-5)?
False
Let s be (2 + -1)*(2 - 1). Suppose -3 = -2*g - s. Is 15 a factor of (g/2)/((-2)/(-108))?
False
Let a be (1*3)/((-1)/(-3)). Let x be 121/4 - (-10)/(-40). Let g = x - a. Is 17 a factor of g?
False
Let s(f) be the second derivative of f**5/20 - f**4/6 + f**3/6 - f**2/2 + 4*f. Is s(4) a multiple of 12?
False
Suppose 13*y + 552 = 16*y. Does 27 divide y?
False
Suppose 2*y = -3*a - 2*a + 47, -a - 5 = 0. Is 6 a factor of y?
True
Let j be (1/(-2))/(8/160). Let x = -3 - j. Suppose m = 5*g - 58, 2*m - 37 = -2*g + x*m. Is g a multiple of 9?
False
Let l be 1362/(-4) - 9/6. Is 14 a factor of l/(-8) + 12/(-16)?
True
Suppose 3*i - 184 + 16 = 0. Is i a multiple of 12?
False
Let j = 43 - -77. Is j a multiple of 24?
True
Does 2 divide -1 + 11 - (-3)/(-6)*4?
True
Let j be 126/(-1*(2 + -1)). Let r be j/8*(-40)/15. Suppose 3*w = -3*t + 48, 2*w = 3*t - w - r. Is 10 a factor of t?
False
Suppose 10*y + 27 = 13*y. Does 2 divide y?
False
Let n(s) = -4*s - 1. Let j be n(-1). Suppose -81 = j*i - 6*i. Does 14 divide i?
False
Suppose 3*g = -4*j + 52, -130 = g - 6*g + 2*j. Is 12 a factor of g?
True
Suppose -2*j + 15 = -7*j. Let q = j - 1. Does 7 divide 70/(-25)*(q + -1)?
True
Suppose 0 = -0*y - 5*y + 60. Suppose -2*k = 3*f - 32, -2*k + y = k. Is f a multiple of 3?
False
Let b(z) = -z**3 - 6*z**2 - 1. Let c be b(-7). Suppose 4*s = c + 4. Is 13 a factor of s?
True
Suppose 4*g - 12 = -j, -j + 11 = 3*g - 3. Does 14 divide j?
False
Let q(j) = j**2 + 2*j. Suppose 5*u - 11 - 4 = 0. Suppose -u*c = -4*c - 6. Is 12 a factor of q(c)?
True
Suppose -u + 2*u = -3*a - 17, -u - 5 = 0. Let j = -6 - a. Does 2 divide j/(-3) + (-10)/(-3)?
True
Let b(v) = 2*v**2 - 6*v + 17. Is b(7) a multiple of 8?
False
Let w(v) = v**2 + 5*v - 2. Let o be w(6). Suppose 0 = -5*x + o + 436. Suppose x = 4*d + 32. Is d a multiple of 10?
False
Let b(y) = -y**2 + 7*y - 6. Let p be b(6). Suppose 3*m = -4*n - p*m + 90, -n + 30 = -3*m. Does 24 divide n?
True
Suppose -50 = -4*l - 2*f, 2*l + 5*f - 45 = -0*l. Does 3 divide l?
False
Suppose 0 = -7*u + 2*u + 770. Does 11 divide u?
True
Is 4 a factor of (-3 - -12*2)*1?
False
Let p(i) = i**3 + 8*i**2 + 2*i - 8. Let r be p(-8). Let b = -7 - r. Is b a multiple of 6?
False
Let h = 153 - 132. Is h a multiple of 21?
True
Let m(a) = -a + 8. Let f = -1 + 3. Suppose f*y - 4 = 6. Is 2 a factor of m(y)?
False
Let f(u) be the third derivative of u**6/120 + u**5/60 - u**4/24 + 13*u**3/6 + u**2. Is f(0) a multiple of 5?
False
Suppose -5*a = 437 - 82. Let m = a - -11. Is 12/10*m/(-9) a multiple of 4?
True
Let v = 0 - -4. Suppose 5*i - 55 = -m + 3*i, 0 = -4*m + v*i + 184. Suppose 5*a - m - 11 = 0. Does 6 divide a?
True
Let y(l) = -30*l - 1. Let j be y(1). Let t = -55 - j. Is 16 a factor of -12*t/9 - 1?
False
Suppose 145 = 3*w - 3*h - 266, 0 = -w - 4*h + 132. Is 30 a factor of w?
False
Suppose 0 = 3*x - t - 293, 0*x = -5*x - 3*t + 465. Suppose -n - 71 = n - 3*g, -x = 3*n - g. Let w = -21 - n. Is 10 a factor of w?
True
Suppose -n - 1 + 29 = 0. Does 16 divide n?
False
Suppose -5*c + 225 = 3*l, -30 = -2*c - 4*l + 46. Suppose 0 = -5*i + f - 4*f + 28, 4*f = 4*i - c. Is (16/(-3))/(i/(-12)) a multiple of 5?
False
Let t be (-2)/10 + 20/(-25). Is t/(-2) + 54/4 a multiple of 7?
True
Suppose -y = -2*y + 3. Let s be (1/y)/(3/54). Suppose 2*i + 2*u = s, -5*u = -3*i - 9 + 34. Is i a multiple of 5?
True
Let b = 70 + 59. Is 43 a factor of b?
True
Suppose -5*z + 24 = -m, 16 = -3*z + 2*z - 5*m. Suppose z*a = 3*a + 2. Suppose -8 = -0*j - a*j. Does 4 divide j?
True
Is 7 a factor of 6/33 + 687/33?
True
Suppose 5*u - 2 = -2*q + 3*u, u - 4 = 2*q. Let c = q + -1. Does 13 divide c - (-41 - (1 + -1))?
True
Let n(d) = d**2 + 9*d + 5. Let i be n(-9). Suppose -5*p - 4*s = -116, 2*p - 44 = -0*p - s. Suppose -5*w = i*m - 30 - p, 33 = 3*m + 2*w. Is 13 a factor of m?
True
Let u = 75 + -49. Is u a multiple of 13?
True
Let q(g) = -11*g**3 + g**2 + 3*g + 1. Suppose 5*w + 0*w + h = -11, -5*w = -5*h + 5. Does 26 divide q(w)?
False
Let f be (-2 + -3)*(-9 + 8). Let j = f + 25. Is j a multiple of 15?
True
Suppose -g + 10 = c, c = 2*g - c. Suppose 0*f + 40 = g*f. Is (f/(-10))/(2/(-30)) a multiple of 12?
True
Suppose 13 = 5*v - 7. Is 5 a factor of v/6 - 28/(-3)?
True
Suppose -q + s + 54 = 0, 0*q + s = 3*q - 152. Is 7 a factor of q?
True
Suppose x + 1 = 6. Let j = 24 - x. Suppose 2*b + 0 = -i + j, 0 = -b - 3*i + 2. Is b a multiple of 11?
True
Let m(f) = 27*f + 11. Is 22 a factor of m(6)?
False
Let t(l) = l**2 - 6*l - 3. Suppose -3*v + 3*s + 30 = 0, 2*v - 2*s - 13 = v. Let c be t(v). Suppose -12 = -4*y, -u + c*y + 8 = -7. Is u a multiple of 19?
False
Let q = 2 - 8. Is 1605/45 - (-4)/q a multiple of 7?
True
Let m(u) = -2 - 5 - 3*u + u. Is 3 a factor of m(-6)?
False
Let x(h) be the first derivative of h**3/3 - 4*h**2 + 12*h - 5. Is x(8) a multiple of 4?
True
Let r = -152 + 277. Is 29 a factor of r?
False
Let b(j) = 3*j**2 - 7*j + 10. Is b(7) a multiple of 12?
True
Let v be (-2)/4*(4 + -10). Suppose -v*z = 2*z - 200. Is z a multiple of 8?
True
Let l = 137 - 97. Suppose -l = -5*b + 80. Is 14 a factor of b?
False
Let u(t) = -4*t**3. Let n be u(-1). Suppose n*f - c + 3 - 143 = 0, 4 = -c. Does 17 divide f?
True
Let g = -21 + 29. Let a(q) = q**2 - 5*q - 10. Is 14 a factor of a(g)?
True
Suppose -10 + 36 = w. Does 4 divide w?
False
Suppose 0*s = 5*s - 425. Suppose -5*t + 4*o + 100 = 0, -o - s = -5*t - 0*o. Is t a multiple of 8?
True
Suppose 2*f = 3*z, -f = -2*z - 0*z + 1. Suppose s + s = 8. Suppose -s*n + 22 = -h - 1, -h + 19 = f*n. Is n a multiple of 3?
True
Suppose -39 = -4*d - 0*z + 5*z, -2*d - z = -9. Let y = d - 3. Suppose 3*w - 61 = -2*r - 2*r, -5*w + 54 = y*r. Is 13 a factor of r?
True
Suppose 597 = 4*w - 319. Is 13 a factor of w?
False
Suppose 4*k - 750 = i, 467 = 3*k - 5*i - 104. Is 17 a factor of k?
True
Let d(j) = -j**3 + 12*j**2 + 5*j + 17. Let a be 11 + (-4 - (-5 + 0)). Is d(a) a multiple of 11?
True
Is 20 a factor of (-540)/(-3) + (-1 - -2)*-2?
False
Let x = -10 - -10. Suppose -56 = -4*w - 2*r, -3*w + x*w + 2*r = -56. Is 8 a factor of w?
True
Suppose -2*t + 0*t + 230 = 0. Suppose 0*v - t = -5*v. 