 = 14*c - 18343 - 18393. Is c a multiple of 32?
True
Suppose 0 = -30*s + 3116 + 3964. Is s a multiple of 63?
False
Suppose -3*v + 3 - 8 = 5*j, 20 = -4*v. Suppose 210 = 4*g + j*g. Is g a multiple of 35?
True
Let l = 68 + -69. Let z = 241 + l. Is 40 a factor of z?
True
Suppose -4*h - s + 1067 = 0, -s = h + h - 535. Is 29 a factor of h?
False
Let t(f) = -56*f**3 - f**2 + f + 2. Let q(m) = m**2 + 18*m + 16. Let b be q(-17). Is 28 a factor of t(b)?
True
Suppose s = 5*s - 3168. Is s a multiple of 33?
True
Suppose -2*a + 4*c = -4, -3*a + 4*c = 2*a - 10. Suppose 0 = a*r + 4*x - 70, -x - 73 = -3*r + x. Does 4 divide r?
False
Let f = -161 - -181. Is f a multiple of 5?
True
Suppose 7*s - 2140 = -796. Is 48 a factor of s?
True
Suppose j - 100 = -3*g, 2*j = 4*j - g - 200. Is 25 a factor of j?
True
Let k(q) = q**3 + 3*q**2 - 6*q - 2. Let n be k(-4). Suppose -123 = -2*p - 5*u, 3*u - 113 = -n*p + 4*p. Is p a multiple of 7?
True
Let o(x) = -x**2 + 10*x + 20. Let v be o(17). Let j = 191 + v. Does 46 divide j?
True
Let v(s) = s**2 + 5*s - 9. Let p be v(3). Does 27 divide 417/p - (-8)/(-10)?
True
Let m = -231 + 479. Is 8 a factor of m?
True
Let n be (-33)/11 - (-3 + 0). Suppose -8*b + 2*b + 156 = n. Let u = b + 30. Is 24 a factor of u?
False
Suppose 27440 = 103*n - 75*n. Is n a multiple of 7?
True
Let o = -677 - 810. Let j = o + 2575. Is (-4)/10 + j/20 a multiple of 27?
True
Suppose -10 = 4*f - 9*f. Let v(o) = -21*o - 26. Let p(r) = 7*r + 9. Let k(h) = f*v(h) + 7*p(h). Is 24 a factor of k(12)?
False
Let g(w) = w**2 - 9*w + 10. Let u be g(7). Let z(f) = f**2 - 3*f - 16. Is 2 a factor of z(u)?
True
Suppose 6*n - 11*n - 111 = f, 2*f - 3*n + 157 = 0. Suppose 3 = -3*v - 3. Is 1 + v + f/(-2) a multiple of 14?
True
Suppose 5*f = -5*d - 2 + 17, -4*d = -2*f - 24. Suppose 2*l = -d*x - 0*l + 64, -5*l = 3*x - 27. Let b = x + -11. Does 2 divide b?
False
Let m(y) = 56*y + 364. Is 75 a factor of m(31)?
True
Suppose -17 = 4*g - 3*g. Let j(z) = -3*z - 40. Is 3 a factor of j(g)?
False
Suppose -r + 2*g = -71, -4*r + 7*g + 269 = 2*g. Let c = 128 - r. Let k = c - 41. Is 6 a factor of k?
False
Suppose s + 1910 = 5*s - 2*p, 473 = s + 4*p. Is 8 a factor of s?
False
Let c(o) = o**2 + 20*o - 41. Does 14 divide c(23)?
False
Let v = 58 - 31. Suppose -j + 63 = -v. Is j a multiple of 15?
True
Let s = 50 - 52. Is (214/s)/(3/(-3)) a multiple of 23?
False
Let y(w) = -2*w**3 + 15*w**2 - 7*w + 5. Let c be y(7). Let o(v) = 3*v**2 - 7*v + 5. Is o(c) a multiple of 15?
True
Let y be (-149)/(-6) - 12/(-72). Suppose 0 = -22*i + y*i. Suppose i = -6*l + 129 + 141. Does 7 divide l?
False
Suppose 0 = 4*d + d + 70. Let k = 18 + d. Suppose 4*m - k = 0, 2*m - 3*m - 214 = -5*q. Is q a multiple of 12?
False
Let p = -62 + 254. Suppose 2*z = -z + p. Is 17 a factor of z?
False
Let s(u) = u - 21. Let i be s(23). Suppose i*c + 3 = 23. Is c a multiple of 2?
True
Suppose -2237 = -17*t + 3713. Does 46 divide t?
False
Let y(s) = -9*s - 147. Is y(-22) a multiple of 17?
True
Let i = -6 - -25. Let n = -16 + i. Is n a multiple of 2?
False
Suppose 0 = -7*y + 21*y - 336. Is 6 a factor of y?
True
Let l(g) be the third derivative of g**6/120 - g**5/10 + g**4/24 + 7*g**3/3 + 8*g**2. Let y be l(6). Is (-168 - 0)/((-30)/y) a multiple of 30?
False
Suppose 4*a = 2*x + 828, -434 = -2*a - 6*x + 2*x. Does 6 divide a?
False
Let h be (3 + 2)*(-8)/(-10). Suppose 5*j - 15 = 5*d, 5*j - h*d + 2*d = 21. Is 2 a factor of j?
False
Let i(m) = -4*m - 17. Let w be i(-5). Suppose w*q - 250 = q. Is q a multiple of 16?
False
Let f(u) = 5*u**2 - u. Let x be f(-1). Let j(k) be the third derivative of k**5/60 - k**4/6 + k**3/6 + 18*k**2. Does 6 divide j(x)?
False
Let u(o) = o**2 - 2*o - 5. Let k be u(-2). Suppose 2 = -k*d - 7. Does 6 divide d/((-483)/(-123) + -4)?
False
Suppose -5*g + 3*k = -1766, -g + 6*k - 7*k + 350 = 0. Is 22 a factor of g?
True
Suppose -4*r + 2*r + 256 = 0. Suppose -3*y + 43 = -r. Does 19 divide y?
True
Suppose 28*z - 39 = 27*z. Let r(n) = -2*n**3 - 7*n**2 - 6*n - 9. Let s be r(-6). Suppose z = -4*b + s. Is 7 a factor of b?
True
Suppose 0 = -z - 5*j + 1340, 5*j - 5 = -0*j. Does 39 divide z?
False
Suppose 30*c = 34*c - 1212. Let q = -128 + c. Is q a multiple of 35?
True
Let y(v) = -v**3 + 4*v**2 + 5*v - 2. Let r be y(4). Let g = r - 10. Is 8 a factor of g?
True
Let h(p) = p**2 - 6*p - 6. Let z be h(7). Suppose 3*d = 3*a + z - 4, -3*d - 4*a + 32 = 0. Is (d + 1 + 33)/1 a multiple of 11?
False
Let q = -195 + 323. Is q a multiple of 45?
False
Let o(d) = -5*d**3 - 3*d**2 + 20*d - 23. Let f(l) = 2*l**3 + l**2 - 7*l + 8. Suppose 0 = b + 6. Let u(c) = b*o(c) - 17*f(c). Is 11 a factor of u(-2)?
False
Suppose -241 = -2*y - 77. Suppose p + 9 = y. Is 4 a factor of p?
False
Suppose -o = 4*t + 74 - 664, 2*t - 302 = -4*o. Is 21 a factor of t?
True
Suppose -y = z - 479 - 277, 2*z = -3*y + 2266. Is 26 a factor of y?
True
Suppose v + 693 = 3*g, 4*g + 0*v + 5*v = 943. Does 32 divide g?
False
Let w = -62 - -3. Let x = -31 - w. Is x a multiple of 7?
True
Suppose 0 = 18*l + 46 + 26. Is 4 a factor of (3 + l + 2)/((-5)/(-560))?
True
Suppose 48 = 2*u - 8*n + 3*n, 4*u - 96 = -5*n. Is 3 a factor of u?
True
Let x(n) = n**3 + 2*n**2 - 4*n + 2. Let u be x(2). Let h be 6 + 5/(-1) + (-32)/(-8). Is 143/h + (-6)/u a multiple of 14?
True
Suppose 4*u + 418 = -2*q, 0 = 6*u - 2*u - 12. Let v = q + 395. Suppose -8*p + v = -5*p. Is 17 a factor of p?
False
Let y(w) = -w - 5. Let l(o) = o + 3. Let u(s) = 13*l(s) + 6*y(s). Suppose 0*k + 16 = 2*k. Does 10 divide u(k)?
False
Suppose -3*a = -2*a + 5, 3*v - 28 = 2*a. Does 13 divide (-4)/12 + 1406/v?
True
Let m(n) = 3*n**2 - 12. Let q be m(-8). Suppose 3*a - 630 = -3*x, x + 4*x = a - q. Does 41 divide a?
True
Let k = -47 - -49. Suppose -k*j + 120 = 3*j. Does 8 divide j?
True
Suppose 2*o - 36 = -7*o. Let h(r) = -11*r - 1. Let u be h(1). Does 14 divide (-506)/u + o/(-24)?
True
Let n be -75 - (1 - 6/2). Let x = 113 - -10. Let u = n + x. Is 14 a factor of u?
False
Let w be ((-2)/(-3))/((-2)/(-27)). Suppose 7*g = w*g - 4. Is 13 a factor of (g/4)/((-1)/(-110))?
False
Let u = -8 + -72. Is (u/(-12))/(2/24) a multiple of 40?
True
Let z(f) be the first derivative of -f**4/4 - 7*f**3/3 + 3*f**2 + 23*f - 53. Does 10 divide z(-10)?
False
Let s(g) = -6*g + 4. Let x be s(-3). Suppose x = -2*b + 3*w, 5*b + 0*b = -3*w - 34. Does 3 divide (-14)/(-3) - b/(-12)?
False
Suppose 6*x + 6 = 7*x. Is 7 a factor of 48 + -4 + x/(-3)?
True
Suppose 5*s - 60 = 25. Let x(n) = n**2 - 17*n + 10. Let l be x(s). Is (-175)/l*(-4 - -2) a multiple of 35?
True
Suppose -4*o = d - 3*d + 352, 5*d = 2*o + 192. Let l = o - -235. Is l a multiple of 24?
False
Let d = -19 + 19. Suppose d = -3*h - 2*n + 184, 5*n = -h - 0*n + 70. Does 30 divide h?
True
Let g(c) = 14*c + 3. Let f(n) = -n**2 + 9*n - 11. Let y be f(7). Is g(y) a multiple of 10?
False
Suppose 1930 = 2*v + 2*a + 358, 3*v = -a + 2354. Does 16 divide v?
True
Let f = 108 + 578. Does 38 divide f?
False
Let t(u) = -59*u + 4 - 41*u - 3. Let d be t(-1). Suppose 3*k - 3 = 0, 4*k + d = 4*c + c. Is c a multiple of 6?
False
Let h = 1271 + -304. Is 10 a factor of h?
False
Let f(b) = -16*b + 25*b - 13*b. Let z be f(-1). Suppose 0 = 2*r - 5*d - 65, z*d + 124 = 4*r - 0*d. Is 15 a factor of r?
True
Let a be 66/6 + -1*4. Suppose 0 = u - 3*l + 12, -4*u - l + 2*l + a = 0. Suppose u*q - 206 = -44. Does 9 divide q?
True
Suppose -600 = 9*s - 7*s. Let z = -52 - s. Is 8 a factor of 1/(4/z*2)?
False
Let y(b) = 2*b**2 + 17*b + 140. Is 4 a factor of y(-6)?
False
Let h be 0 + 3/9*0 - 86. Is ((-3)/(-2))/(h/44 - -2) a multiple of 25?
False
Let r(l) = l**3 + 21*l**2 + 38*l + 52. Is 64 a factor of r(-15)?
True
Suppose -13*c = -11*c. Suppose 5*l - 2*l - 426 = c. Let h = l + -84. Does 29 divide h?
True
Suppose a = -4*r - 2*a - 15, -10 = -4*r + 2*a. Suppose u - 6*u = o - 88, 3*u - 15 = r. Is 10 a factor of o?
False
Suppose 0 = -7*q - 1 + 22. Suppose -q*t - 3*f = -t - 19, 3*f = -4*t + 47. Is 2 a factor of t?
True
Suppose -r - r + 768 = 0. Let f = -256 + r. Is 13 a factor of f?
False
Let t(m) be the first derivative of m**3/3 - 5*m**2/2 + 6*m + 23. Does 9 divide t(12)?
True
Suppose 5*f + 2 = -2*b, -5*f - b = 2 + 4. Let u(h) = 9*h + 1. Let q be u(1). Does 18 divide (q - 8)*(-23)/f?
False
Suppose -2*u + 66 = -13*u. Is (-421)/u - 6/36 a multiple of 14?
T