- 10*j + 1. Suppose f - 5*x = -2 - 2, 0 = x + 1. Is p(f) a multiple of 3?
False
Let j be (42/35)/((-2)/(-10)). Let o(y) = y**2 - 5*y - 4. Let v be o(j). Suppose v*f = 39 - 5. Does 12 divide f?
False
Let f(a) = a**3 - 8*a**2 - 9*a + 4. Let j be f(9). Suppose -2*b = j, 2*b = 3*h - b - 765. Is 23 a factor of h?
True
Let j be -20 + 0 + 2 + 1. Let k = -35 - j. Is 1/(4 - (-69)/k) even?
True
Let x(r) = -r**2 + 4*r + 1. Let v be x(4). Let h be (-2)/(-5*(-4)/20). Is 25 a factor of (-1080)/(-16) + v/h?
False
Suppose -4*c + 2*s + 3*s = -30, 3*s + 11 = c. Suppose c*a = 1 + 9. Suppose p = -3*b + a*b + 75, -b - 280 = -4*p. Is p a multiple of 24?
False
Suppose 28*d = 34*d + 18. Let o(h) = -49*h - 10. Is o(d) a multiple of 8?
False
Let s = 4 - 2. Let v(w) = 5*w + 4*w - 241 + 243. Is 5 a factor of v(s)?
True
Suppose -573 = -3*l - 5*s, s - 347 = -2*l + 28. Let v = 346 - l. Is v a multiple of 20?
True
Let f(d) = -d**3 - 2*d**2 + 4*d + 6. Let y be f(-3). Suppose 3*w + 160 + 194 = -4*q, y*q = 4*w - 278. Let i = 138 + q. Is 34 a factor of i?
False
Let w be -1 + -1 - -15 - -2. Let v(n) = -n**3 + n + 2. Let x be v(0). Suppose -89 = -3*r + 2*q + w, -x*r = 5*q - 63. Is r a multiple of 10?
False
Let r = 10 + -11. Let o(w) = 2*w**2 + 2*w + 1. Let a be o(r). Suppose -a + 24 = 3*x - 2*l, 2*l + 14 = 2*x. Does 9 divide x?
True
Suppose -3*d - w + 13 = 2*d, -5*w + 11 = -2*d. Let c(n) = -n**2 - 2*n + 3. Let z(g) = g**2 + g - 1. Let b(q) = d*z(q) + c(q). Is b(4) a multiple of 4?
False
Let d = 2 - 21. Let w(a) = -7*a - 61. Is w(d) a multiple of 24?
True
Let g(j) = j**3 + 10*j**2 - 13*j - 10. Let u be g(-11). Suppose -2*n = n - u, -h = 5*n - 313. Is h a multiple of 30?
False
Let v(h) = h**3 - 6*h**2 - 2*h - 1. Let b = 3 - -4. Does 9 divide v(b)?
False
Suppose 5*b + 4 = 4*n - 1, 0 = -4*n + b + 17. Suppose 2*j - j = 2*u - 3, 0 = n*u - j - 3. Let o(k) = k + 25. Does 25 divide o(u)?
True
Let j = -491 + 926. Is j a multiple of 15?
True
Let o be 228/(-95) - 4/(-10). Let s(j) = -182*j - 4. Let b be s(o). Is ((-6)/(-9))/(6/b) a multiple of 20?
True
Let u = 536 - 355. Is 13 a factor of u?
False
Let w(n) = 67*n**2 + n - 18. Does 46 divide w(4)?
True
Let m = 491 - 307. Is 14 a factor of m?
False
Let y(h) = 122*h - 160. Does 58 divide y(8)?
False
Let r be (-748)/(-4) + 1/1. Let j = r + -110. Is 14 a factor of j?
False
Let b(a) = a**2 + 21*a + 13. Suppose 2*s - s = -21. Is b(s) a multiple of 4?
False
Let g(f) = 3*f - 22. Let c be g(8). Does 20 divide (-8 - -10)/(c/100)?
True
Let x be ((-35)/10)/((-2)/4). Let d = x + -5. Suppose 5*q = d*w - 12, -w - 5*q + 10*q - 4 = 0. Is w a multiple of 4?
True
Is 25 a factor of (3 + 1697)/(-4*1/(-4))?
True
Suppose -d + 0*h + 25 = 2*h, h - 89 = -5*d. Suppose -74 = -4*c + 4*f + f, 5*c - 90 = 5*f. Suppose c*z - d*z = -33. Is 17 a factor of z?
False
Let u = 454 - 256. Does 6 divide u?
True
Suppose -6*p + 2*p - 18 = -2*f, 2*f + 4*p = 2. Suppose -4*v - 1 = 3. Does 11 divide 11/(6/f + v)?
True
Let x = -440 + 1362. Is x a multiple of 32?
False
Let x(t) = t**2 + 2*t - 14. Let m be x(8). Suppose -5*d - 3 - 7 = 0, -s - 5*d = -84. Let o = s - m. Does 26 divide o?
False
Suppose 4*x = 2*h - 3286, -4874 = 22*h - 25*h - 5*x. Is h a multiple of 23?
True
Suppose -5*r = -10*r - 490. Let w = 127 + r. Does 7 divide w?
False
Let a(f) = 9*f**3 + 4*f**2 - 2*f + 4. Let n(p) = -19*p**3 - 7*p**2 + 3*p - 7. Let h(v) = -7*a(v) - 4*n(v). Does 27 divide h(2)?
True
Let k(l) = l**2 - 11*l - 60. Is k(24) a multiple of 12?
True
Let t(z) = z**3 - 6*z**2 - 58*z + 1. Does 11 divide t(13)?
False
Let o(i) = i**3 - 10*i**2 + 12*i - 2. Let n(v) = 2*v - 1. Let q be n(2). Suppose -15 = -q*u + 2*r + 22, 4*u + 3*r - 21 = 0. Is o(u) a multiple of 6?
False
Let i be 4*(1/(-2) - -1). Suppose 2*l = -i*r + 10, 0 = 5*r + 2*l + 10 - 26. Is ((-2)/5)/(r/(-330)) a multiple of 14?
False
Let y be (-4)/(8/14)*-1 + -2. Does 7 divide y/(5/78) + (-30)/(-10)?
False
Let f(q) = -q**2 - q + 2. Let t(g) be the first derivative of -4*g**3/3 - 3*g**2/2 + 5*g + 11. Let d(w) = 11*f(w) - 4*t(w). Is 6 a factor of d(3)?
False
Suppose 2*i = -3*p + 947 + 169, -4*p + 5*i + 1511 = 0. Is p a multiple of 34?
True
Let j(y) = y**3 - 6*y**2 + y - 4. Let z be j(6). Let a(b) = -2*b**2 + 1 + z*b**3 - b**3 + 8*b**2. Is 11 a factor of a(-5)?
False
Let v(h) = 15*h + 2 + 5 - 1 + 18*h. Is 9 a factor of v(2)?
True
Suppose x + 4*x = 20, n - 20 = -2*x. Suppose 8*v = n*v - 80. Is v a multiple of 5?
True
Let w = -1048 - -2018. Is w a multiple of 10?
True
Suppose -t + 1 = -4*c + 2, -5*c - 3*t - 3 = 0. Suppose -2*k - 7 = 3*f - 25, 3*f - 12 = c. Is 17 a factor of -5 + k + 4 + 23?
False
Let f(q) = -q**3 - 14*q**2 - 2*q - 5. Let u(m) = -m - 14. Let r be u(-12). Let t = r + -12. Does 23 divide f(t)?
True
Let b(w) = -w**3 + 8*w**2 + 3*w + 11. Let y be 238/6 - (-3)/9. Suppose y = 6*f - f. Is b(f) a multiple of 16?
False
Let w be (-4 - (-3)/(6/8)) + 102. Suppose w = 7*p - 745. Is p a multiple of 11?
True
Suppose 3*y = 3*l - l + 105, 0 = 5*y - 2*l - 171. Let u be (-106)/(-1) + (1 - 0). Suppose -2*r - u = -3*d - y, -5*d - 3*r = -117. Does 4 divide d?
True
Let n(t) = 7*t. Let l be n(4). Let c(v) = -5*v + 4. Let j be c(-7). Let x = j - l. Is x a multiple of 8?
False
Let d be (-1 + (-4)/(-8))*-14. Is d*10/105*18 a multiple of 6?
True
Suppose 4*s + 15 = 7, -4*s = -4*d + 532. Let t = d - 63. Let r = -36 + t. Is 16 a factor of r?
True
Let h be 2/(-4)*(31 + -1) + 0. Let f(i) = -2*i**2 + 7*i - 7. Let d be f(5). Let g = h - d. Is 7 a factor of g?
True
Does 21 divide 411 - ((-16)/(-3 - 1) + -6)?
False
Suppose 7*x = 1213 + 2182. Is 56 a factor of x?
False
Let l = 1 - -7. Let z be l/36 + 500/18. Suppose 7*b - z = 3*b. Does 7 divide b?
True
Let x(i) = i**3 + 9*i**2 + 15*i + 7. Let z = 27 + -34. Let a be x(z). Let g(v) = v**3 + v**2 + v + 11. Does 3 divide g(a)?
False
Suppose -24 = 5*z - 10*z + 4*t, 3*t = z - 7. Is -2*z/(-10)*(-55)/(-4) a multiple of 2?
False
Let i(h) = 454*h**3 + h**2 - 2*h + 1. Is i(1) a multiple of 4?
False
Let b(q) = -q**3 - 15*q**2 - 6*q + 8. Let f(v) = 6*v**3 + 76*v**2 + 31*v - 41. Let x(t) = -11*b(t) - 2*f(t). Is x(13) a multiple of 9?
False
Suppose 0 = -q + 7*q - 12240. Suppose 16*k - 4*k = q. Is k a multiple of 11?
False
Let v = 17 - 5. Let u be 9/v + (-626)/(-8). Let l = 154 - u. Is l a multiple of 25?
True
Suppose 35*l + 1852 = 39*l. Does 7 divide l?
False
Let w(r) = 18*r - 15. Let t(i) = -6*i + 5. Let g(a) = -11*t(a) - 4*w(a). Let v be 1 + 3 + 10*-1. Does 9 divide g(v)?
False
Let z(r) = -7*r**3 - 2 + 0 + 2*r**2 + 9*r**3. Does 11 divide z(2)?
True
Suppose -1803 - 617 = -11*l. Suppose -2*r + 43 + 45 = 5*u, 5*r - l = 2*u. Is r a multiple of 3?
False
Let o(m) = 33*m**2 + 4*m - 4. Is o(2) a multiple of 56?
False
Let f(q) = 10*q**2 - 6*q + 11. Suppose -3*i - 15 = -5*s + 2*i, -3*s + 5 = -5*i. Is 12 a factor of f(s)?
False
Let k(g) = g**2 + 11*g - 18. Let y(p) = -p**2 - 11*p + 17. Let x(t) = 4*k(t) + 3*y(t). Does 17 divide x(-18)?
False
Let u = 409 - 2. Is 14 a factor of u?
False
Let q = 24 - 14. Suppose 2*m + q = 7*m. Is 4 a factor of (16/(-56))/(m/(-28))?
True
Let l be (4/(-6))/(8/9 + -1). Suppose 514 = l*b - 278. Does 33 divide b?
True
Let f = -2 - -12. Let j(p) = -3*p - 8. Let n be j(-6). Let r = f + n. Is r a multiple of 10?
True
Does 8 divide (-1)/(5/15) + 43?
True
Suppose 0 = -4*r + 2*x + 18, -13 - 15 = -4*r + 4*x. Suppose 8 = -5*g - r. Is 33 a factor of (65/g)/(3/(-6))?
False
Suppose -5*j + 30 = 5*w, 0 = 4*j - 9*j + 5*w. Suppose 3*c = 4*o - 3*o, -j*o + 32 = -c. Does 9 divide o?
False
Let b = -187 + 287. Suppose 0 = -9*f + 5*f + b. Does 5 divide f?
True
Let m be (2 - 22/4)*(0 - -6). Let q = m + 27. Is q a multiple of 3?
True
Suppose c + 5*i - 145 = 0, -41 = -3*c + 3*i + 304. Is 20 a factor of c?
True
Suppose 5*i + 407 - 2032 = 0. Is i a multiple of 5?
True
Suppose -3*j + 4*j + 6 = 0. Let s = j + 10. Suppose -p - 26 = -s*i + 26, 52 = 4*i - 4*p. Is 8 a factor of i?
False
Suppose -3*f - 4*f + 3990 = 0. Is 23 a factor of f?
False
Suppose -3 = 4*n + r - 0, -2*n - r - 3 = 0. Suppose n*m = -w - 3*m + 56, -m + 5 = 0. Does 21 divide 3 - (-2 + (-4 - w))?
False
Let i(q) = -139*q**3 + q**2 - 3*q - 3. Let a be i(-1). Suppose -7*b = -98 - a. Is 17 a factor of b?
True
Let l be -6*1/6*-3. Let g = l - 7. Is 12 a factor of 6/g*(-196)/6?
False
Let d = -435 - -761. 