e -3*x - 10 = 32. Let l be 2/3*(-693)/x. Suppose 2*y - 73 = -5*w + 2*w, y = -5*w + l. Is 21 a factor of y?
False
Let z be -2 + (-4 - -3)/1 - -8. Suppose n - 288 - 30 = 0. Suppose 2*x = -c + n, 4*c - z*c - 477 = -3*x. Is 36 a factor of x?
False
Suppose -69*f + 155584 = 35*f. Is f a multiple of 136?
True
Let h = 2200 + -119. Is h a multiple of 9?
False
Let u(t) = -2*t - 8. Let v be u(-6). Suppose 2*l + 3*q = 41, -v*q - q = -5. Is 19 a factor of l?
True
Suppose 7 = 5*f - 18. Suppose 5*a + f*u - 97 = 288, -4*a + 336 = -3*u. Is 11 a factor of a?
False
Suppose 0 = -0*x + 9*x - 4698. Is x a multiple of 18?
True
Let l be (-38)/(-9) - 12/54. Suppose 0 = -3*k - l*x + 90 + 64, 255 = 5*k + 5*x. Does 25 divide k?
True
Let j(u) = u**2 - 5*u - 11. Let s be j(-3). Suppose y - s = 19. Does 8 divide y?
True
Is 11 a factor of (84/(-4))/((-339)/84 - -4)?
False
Suppose 2 = 2*y + 5*u - u, -4*y = -5*u - 56. Suppose 5*s - 6*s + y = 0. Does 12 divide (-638)/(-16) - s/(-72)?
False
Suppose -7*w + 2*w - 15 = 0. Is 9 a factor of w*(-3 + 71/(-3))?
False
Let b(h) = 55*h + 19. Is b(3) a multiple of 32?
False
Let c be 8/(-36) + (-546)/(-27). Let h = -1 + -1. Is 5 a factor of (-1)/(h/(-4)) + c?
False
Let y(z) = 10*z - 4 - 13*z - 2*z**3 - 5*z**2 + 0*z**3. Let q(o) = o. Let l be q(-4). Does 14 divide y(l)?
True
Let o(u) = u + 5. Let s be o(-4). Let w(x) = 115*x - 37*x - 48*x. Is 10 a factor of w(s)?
True
Let i be (16 + 17)*(0 - -1). Let r = -26 + i. Is 7 a factor of r?
True
Let b(z) be the second derivative of 19*z**5/20 - z**4/12 - z**3/6 - z**2 + 14*z. Is 12 a factor of b(2)?
True
Suppose 0 = 4*w + 2*m - 19 + 3, 2*w + 5*m = -8. Let b be (-4 - 0) + -3 + w. Does 28 divide 28/b*(4 + -5)?
True
Suppose 0 = -3*k + 341*g - 340*g + 6661, -2*k - 3*g + 4448 = 0. Is k a multiple of 64?
False
Let v = 345 + -92. Does 28 divide v?
False
Suppose -j + 5*j = 128. Suppose -3*r + 16 = -2*s - 19, -2*r - 3*s + j = 0. Is 3 a factor of r?
False
Suppose 22 = -6*i + 52. Suppose -3*l + 11 = -3*p + 2, -3*p + 23 = i*l. Is 2 a factor of l?
True
Suppose -5*j + 4*c = -91, 3*j + 5*c + 52 = 6*j. Let n = -2 - j. Let l = n + 43. Does 5 divide l?
False
Suppose -3*k + 15 = m, -96 + 101 = k - 2*m. Does 3 divide k?
False
Suppose -5 = -4*j + 3. Suppose -j*d = -d - 16. Is 5 a factor of d?
False
Suppose -3*o + 540 = -2*c - 215, 5*c = 25. Is 15 a factor of o?
True
Let w be 6/39 + 126/26. Suppose w*j - 254 = 176. Is 38 a factor of j?
False
Let k = -23 - 61. Let f = -57 + -61. Let x = k - f. Is 18 a factor of x?
False
Is 42/(18/(-3)) + 534 a multiple of 6?
False
Let m(k) = -4*k - 25. Let u be m(-11). Suppose u = b - 1. Is (-1 - 2/2) + b a multiple of 3?
True
Suppose -5 = x - 16. Let n = x - 5. Suppose n*w - 135 = w. Is 10 a factor of w?
False
Let t(v) = 3*v**2 + 3*v - 3. Let a be t(2). Suppose -a*b = -11*b - 336. Does 26 divide b?
False
Suppose -9*u + 19 = 1. Suppose 4*y - 2*y + j = 34, -3*j - 42 = -u*y. Is y a multiple of 9?
True
Let r = 10 - -22. Let y be (3 + -2)*r + 4. Suppose 200 + y = 4*a. Does 20 divide a?
False
Let r be (-1 - (2 + -4)) + 0. Let p be ((-2)/(-4))/(r/(-2)). Is 13 a factor of ((-30)/7)/(p/7)?
False
Is ((-2430)/225)/(2/(-330)) a multiple of 18?
True
Is ((-33)/22)/(10/(-3980)) a multiple of 60?
False
Let d be (-3)/15 + (-332)/(-10). Let q(g) = g**2 + 2*g + 3. Let m be q(-6). Let n = d + m. Does 15 divide n?
True
Suppose 3*m - 6 = -2*t, m + 4*t - 10 = 2. Suppose m = 51*a - 49*a - 308. Is a a multiple of 14?
True
Let g(p) = -p**3 + p + 1. Let b be g(0). Let v be (-315)/(-6) + b/(-2). Let u = 80 - v. Does 14 divide u?
True
Suppose 17*q + 494 = 18*q. Is q a multiple of 19?
True
Let w(b) = 2*b + 10. Let v be w(-11). Let i = 19 + v. Suppose 0 = -6*o + 7*o - i. Is o a multiple of 4?
False
Suppose 5*y + 4564 = r, 13*y - 13679 = -3*r + 15*y. Is r a multiple of 47?
True
Let w be 8/(-6)*(-12)/(-1). Does 24 divide (-872)/w + 2/(-4)?
False
Suppose -2573 = -11*h + 100. Does 10 divide h?
False
Let x(y) = -18*y - 5. Let s be x(3). Let h be 4/(-6) + (-1255)/(-15). Let j = h + s. Does 18 divide j?
False
Suppose 116 = 413*t - 409*t. Is 18 a factor of t?
False
Let h(t) = 8*t. Let u be h(4). Suppose u - 7 = v. Does 5 divide v?
True
Let k be (-187)/(-6) - 1/6. Suppose 11*h = 15*h - 36. Suppose t - k = -h. Is 5 a factor of t?
False
Suppose 0 = -a + 3*q + 36, 0 = -2*a - 3*q - 6 + 42. Suppose 0 = 28*z - a*z - 56. Is z a multiple of 12?
False
Let x(j) = 13*j + 274. Does 3 divide x(-6)?
False
Let a(s) = 34*s + 126. Does 70 divide a(11)?
False
Let u = 43 + -9. Let p = -32 + u. Suppose -4*r - 29 = -3*c, 2*c + 5*r + p + 17 = 0. Does 2 divide c?
False
Suppose 0 = 4*n - 4*x, -n + 2*x = 7*x. Suppose n = 3*a - 26 - 19. Is 11 a factor of a?
False
Suppose 6876 = 7*q + 11*q. Is 23 a factor of q?
False
Suppose -m - 3*p - 62 + 19 = 0, -25 = -5*p. Let s = -36 - m. Is s a multiple of 22?
True
Is 111/21 + -5 + 453/7 a multiple of 14?
False
Suppose 7*d = 6811 + 3584. Is 46 a factor of d?
False
Suppose 25*p = -5*p + 14730. Is p a multiple of 36?
False
Suppose 0 = v - 384 - 113. Let i = v + -307. Is i a multiple of 38?
True
Let t = -53 + 485. Is 16 a factor of t?
True
Let j be 3/(3/76 + 0). Suppose 5*u = u - j. Let h = u + 52. Does 11 divide h?
True
Let f = 327 + -292. Does 7 divide f?
True
Let v = -89 + 143. Let n = 117 - v. Does 13 divide n?
False
Let z = -261 - -490. Suppose 305 = 10*g - 5*g. Suppose -2*y = g - z. Is y a multiple of 14?
True
Is 15 a factor of (-13895)/(-35) - (-2)/1?
False
Suppose 2*y + 2*w - 4*w - 14 = 0, 5*w + 25 = 0. Suppose y*u - 7*u = 215. Let g = 8 - u. Is 17 a factor of g?
True
Let k = -7 + 12. Suppose -6 = -k*d + 19. Suppose d*j - 30 = 215. Is j a multiple of 18?
False
Let m = 1762 - 1032. Does 14 divide m/15*(-3)/2*-1?
False
Suppose -4*z + 16 = -12. Does 26 divide (z - 4) + 53 - 3?
False
Let p(w) = w**3 + 8*w**2 + 5. Let v be p(-8). Suppose -3*z = -5*u + 165, z + 0 + v = 0. Is u a multiple of 19?
False
Let z = -303 + 932. Is 6 a factor of z?
False
Let p(j) be the third derivative of j**5/120 - j**4/8 - 7*j**3/3 - 9*j**2. Let r(b) be the first derivative of p(b). Does 10 divide r(13)?
True
Suppose -317 = -4*x + 11. Suppose -5*m + x = -m + 2*a, 3*m = 2*a + 58. Does 12 divide m?
False
Suppose 0 = 3*g - 6, -3 = 3*v - 3*g - 72. Let s = -12 + v. Let t = 29 - s. Does 8 divide t?
True
Let m be 16/72 - 1724/(-18). Let t = 154 - m. Suppose -5*u + 77 = -t. Is 8 a factor of u?
False
Suppose 5*m - 1676 = 1084. Is 46 a factor of m?
True
Let z(o) = -117*o - 138. Is z(-12) a multiple of 62?
False
Suppose 4*x - i = 6563, 46 - 40 = -2*i. Is x a multiple of 41?
True
Let f(h) = h**2 - 8*h + 1. Let n be f(9). Suppose -n*v = -9*v + 33. Let m = v - -53. Does 10 divide m?
True
Suppose -7*u = 2*u - 4320. Is 30 a factor of u?
True
Suppose 262 = -0*h + 2*h - 2*w, 0 = -5*h - 4*w + 664. Let s(t) = t**2 + 13*t + 17. Let x be s(-12). Suppose -x*n + h = -28. Is 32 a factor of n?
True
Let b(x) = -x + 7. Let q(f) = f**3 + 15*f**2 + 14*f - 3. Let v be q(-14). Is 6 a factor of b(v)?
False
Suppose -2*t + 9318 - 2454 = 0. Is 24 a factor of t?
True
Suppose 4*r - 2*m - 312 = 2*m, 5*r + 4*m = 435. Let p = r - 41. Is p a multiple of 7?
True
Suppose 3*u + 2 = -4. Is 21 a factor of (-27 + -1)/(u/3)?
True
Let t be -11 + 10 + (-156)/(-2). Let g = t + -25. Is 13 a factor of g?
True
Let z(d) = -d**3 - d**2 - d + 9. Let g = 25 - 25. Let l be z(g). Let i = l + 9. Is 9 a factor of i?
True
Suppose 39*g = 44*g - 125. Suppose 0 = 7*c - g - 192. Is 8 a factor of c?
False
Suppose k + 5*s = 428, 5*k - 2198 = -0*k + 4*s. Suppose k = 8*f - 18. Is 15 a factor of f?
False
Suppose -6705 = -j - 4*j + 5*g, -3*j - 2*g + 4028 = 0. Does 12 divide j?
False
Let m(z) = 452*z**2 + 36*z + 76. Does 12 divide m(-2)?
True
Let j = 31 + -32. Is 55 - (1/(-1))/(j/1) a multiple of 27?
True
Let p be ((-10)/(-25))/((-3)/(-30)). Suppose 0*v = 3*h + 4*v - 190, -v = -p*h + 228. Is h a multiple of 9?
False
Suppose 35*f - 32*f - 720 = 0. Does 20 divide f?
True
Suppose 3*w - 2*w - 5 = -q, -5*w + 2*q + 46 = 0. Suppose 7 + w = 5*a. Suppose -59 = -a*r - 4*c, -c - 4*c = r - 27. Is 4 a factor of r?
False
Suppose -2*g = m - 6, -10 = -3*m + 3*g - 1. Suppose -5*v = -m*r + 31, 0*v - v - 26 = -3*r. Is r a multiple of 5?
False
Suppose c - 315 = 15. Suppose 5*s - 3*m - c = -0*s, -s + 2*m + 59 = 0. Does 23 divid