4. Suppose -p - 5 = -6*p, 0 = a*m - p - 251. Does 15 divide m?
False
Let o(z) = -z**2 + 2*z + 6. Let n be o(3). Suppose 5*l = -4*i + 327, 4 = -5*l + n*i + 345. Is 5 a factor of l?
False
Let b(f) = 4*f**2 - 4*f**2 + f**2 + 0*f**2 - 8. Is b(4) a multiple of 3?
False
Suppose -3*s = 4*k - s + 24, -2*k = 5*s + 20. Let w = 0 - k. Suppose 2*n = w*n - 165. Is n a multiple of 18?
False
Let j be (-2)/(-7) + 582/21. Suppose -9*g = -0 - 0. Suppose -s - s + j = g. Does 2 divide s?
True
Let i be 588/(-15) + (-1)/(-5). Let z = i - -17. Let r = 35 + z. Is r a multiple of 11?
False
Suppose 2*h = -s + 186, 3*s = h + 46 + 484. Let p be 6 + -7 + 4 + -1. Suppose 4*u + s = 7*u - 5*k, p*u - 124 = 2*k. Is 22 a factor of u?
True
Suppose 0 = -3*v + 2*o + 8130, -o - 2498 = -3*v + 5635. Is 113 a factor of v?
True
Let j = 143 - 93. Is 6 a factor of j?
False
Suppose 4*d + 5 = -19. Let s be -3*(82/d + 1). Suppose x = -13 + s. Does 9 divide x?
False
Let k(b) = -b**3 + 7*b**2 + 9*b - 11. Let a be k(8). Let g be a + 9/(3/1). Suppose g = 2*n + n - 21. Does 5 divide n?
False
Suppose -2*o + 5 + 4 = c, 3*c - o = 13. Suppose 3*s + 2*k = 4*s - 65, -c*s = -2*k - 341. Is s a multiple of 6?
False
Is (120/(-70))/((-6)/1197) - -1 a multiple of 16?
False
Let x(c) = 2*c**2 + 3*c. Let d be x(-2). Suppose -2*k - 3*p = k - 21, -d*p = 2. Is k a multiple of 3?
False
Suppose 3*w = 4*t - 81, t - 29 = -2*w + w. Suppose 12 = 2*d - t. Is 4 a factor of d?
False
Suppose 0 = -2*a + 3*o - 1, 0 = 4*a - 3*a + 5*o - 6. Suppose -u = 4*k - 3 - a, 0 = -2*k + 2. Suppose 220 = 5*r - u*r. Does 15 divide r?
False
Let f(a) = -2 + 0 + 3*a + 0 + 1. Let h be f(2). Suppose 4*k - 99 = -2*y + 5*k, -5*y = h*k - 225. Is y a multiple of 12?
True
Let a(k) = -106*k + 34. Let c be a(-15). Suppose -8*j + c - 504 = 0. Does 35 divide j?
True
Suppose -3*n + 119 = -907. Suppose 4*s - 7*s = -n. Is 11 a factor of s?
False
Suppose 30 = -3*h + 9*h. Suppose 1106 = h*m + 2*m. Is m a multiple of 9?
False
Suppose -2*x = 2*k - 6, -k + x + 8 = -3*x. Suppose 5*p + 740 = k*q, 3 = -p - 1. Does 22 divide q?
False
Let r(c) = -22*c - 10. Let m(k) = -22*k - 9. Let n(u) = 7*m(u) - 6*r(u). Is n(-5) a multiple of 18?
False
Suppose -19 + 49 = 3*m. Let i be (-16)/m + 4/(-10). Is i/7 + 214/14 a multiple of 7?
False
Suppose -k - 5768 = -5*k. Does 7 divide k?
True
Let x(t) = -t + 8. Let b be x(3). Suppose 16 = b*w + 2*g, -5*w - 3*g = -8*g + 5. Is (69/(-9))/(w/(-6)) a multiple of 10?
False
Let m be ((-27)/(-81))/(2/12). Suppose m*x = 5*x - 135. Is 15 a factor of x?
True
Suppose 1008 = 316*t - 313*t. Is 13 a factor of t?
False
Suppose 3*t - 145 + 19 = -2*m, -3*t + 5*m + 147 = 0. Is 3 a factor of t?
False
Suppose 92 = a + 192. Suppose 0 = -3*u + 115 + 329. Let x = a + u. Is x a multiple of 16?
True
Is (-24)/(-9)*(-89)/(-2)*3 a multiple of 44?
False
Let i(a) = a**3 + 28*a**2 - 28*a + 31. Let x be i(-29). Suppose 4*z = -x*z + 840. Does 35 divide z?
True
Suppose 2*t - 18 = -5*z, -t + z = -z. Suppose f + n - 101 = 51, -t*f = 3*n - 610. Does 14 divide f?
True
Let z(d) = -d**2 - 13*d + 147. Is z(-11) a multiple of 66?
False
Let o = -5 + 1. Let m be (o/(-6))/(6/144). Let z = -6 + m. Is z a multiple of 3?
False
Suppose 0 = -2*x - 3*y + 9, -2*x + y = -6*x - 7. Let r be x/3*-2 - 0. Suppose -r*d = -5 - 1. Is d a multiple of 3?
True
Let x = -33 + 38. Suppose 4 - 119 = -x*c. Does 3 divide c?
False
Suppose -89 = -3*h + 25. Suppose -42 = 4*n - h. Is (6 - -7)*(5 + n) a multiple of 26?
True
Let f = 845 + -795. Is 4 a factor of f?
False
Suppose -3*p = -6, -4*p = -v - 1 - 3. Suppose 0*d = -v*d - 48. Is 8/(d/16 + 1) a multiple of 16?
True
Let d be ((-16)/(-12) - 2) + 364/6. Suppose 2*u = -5*a + 66, 2*u - d = -4*a - 2*u. Is a a multiple of 2?
True
Suppose 20*q - 26*q + 7572 = 0. Does 21 divide q?
False
Let q = -372 - -656. Let s = q - 151. Does 20 divide s?
False
Let a(f) = -33*f**2 + 4*f. Let c(t) = -100*t**2 + 11*t. Let v(b) = b**2 + 8*b - 3. Let i be v(-8). Let h(o) = i*c(o) + 8*a(o). Does 13 divide h(1)?
False
Is 27 a factor of 3*(-2)/(-3) + (-4 - -1388)?
False
Let v(i) = -i**3 + 22*i**2 - 34*i + 4. Does 18 divide v(10)?
True
Let t(m) = -7*m**2 - 10*m - 8. Suppose 0 = -f + 15 - 4. Let n(y) = 13*y**2 + 19*y + 16. Let s(w) = f*t(w) + 6*n(w). Is s(-4) a multiple of 7?
False
Let x = 4147 - 2926. Does 24 divide x?
False
Suppose 225 = 2*d + 1. Does 13 divide d?
False
Is 44 a factor of 387/(-72)*-614 - 1/4?
True
Let z = 11 - 9. Let k be (z/4)/(1/180). Suppose -3*t = -0*t - k. Does 10 divide t?
True
Suppose -17*z - 2216 = 929. Let s = -86 - z. Is 12 a factor of s?
False
Let o = -602 - -1581. Is 7 a factor of o?
False
Suppose -145 = 12*y - 13*y. Is 4 a factor of y?
False
Let f(d) = 6*d + 711. Is f(-47) a multiple of 4?
False
Is 21 a factor of (214/6)/((117/(-216))/(-13))?
False
Suppose -2*f = -z - 610, -2*z = -3*f + 823 + 394. Let m be (-1)/(2/z) + 3. Suppose m = p + 4*p. Is p a multiple of 12?
False
Let s = 341 - 128. Does 23 divide s?
False
Let o = 358 + -341. Let r = 10 + -7. Suppose r*m = o + 4. Is m a multiple of 4?
False
Let w(y) = 16*y. Let a be w(1). Let j(m) = m**3 - 16*m**2 + 8*m - 28. Is 20 a factor of j(a)?
True
Let q(s) = 4*s**2 + 3*s - 1. Let x be q(-3). Let y = -24 + x. Is 11/y - (-12)/8 a multiple of 3?
False
Let d = -3401 + 4821. Is 20 a factor of d?
True
Let j be -2*((-10)/4 + -1). Suppose j*f = 4*f. Suppose c = -f*g - 4*g + 23, 87 = 3*c + 3*g. Is 21 a factor of c?
False
Let i = -275 - -79. Let w = 452 + i. Is 16 a factor of w?
True
Let i = 532 - -452. Is i a multiple of 85?
False
Suppose n + 3*j + 948 = 6*n, -5*n + 4*j + 949 = 0. Is 9 a factor of n?
True
Let w(y) = 5*y + 17. Let d(j) = 15*j + 50. Let g(r) = 4*d(r) - 11*w(r). Is g(4) a multiple of 33?
True
Let f(o) = o**3 + o**2 - 4*o + 40. Let u(m) = -m**3 - m**2 + 5*m - 40. Let i(h) = 6*f(h) + 5*u(h). Is i(0) a multiple of 14?
False
Let l(p) = 12*p. Let m be l(2). Suppose 172 = 7*o - m. Is o a multiple of 14?
True
Let x(a) be the first derivative of a**4/4 - 3*a**3 + a**2/2 + 9*a - 18. Is 3 a factor of x(9)?
True
Suppose -2*a - 5*n = -83, 4*a - 141 + 35 = 2*n. Is 29 a factor of a?
True
Let q(m) = 2*m - 12. Is 3 a factor of q(11)?
False
Suppose 0 = -4*x + x + 1290. Does 10 divide x?
True
Suppose 0*y = -6*y - 42. Let h = 69 - y. Is 12 a factor of h?
False
Let p be ((-98)/(-7))/(6/63). Suppose 5*v - 28 - p = 0. Is 6 a factor of v?
False
Suppose 3*s - 15 = 0, -s + 179 = 3*z - 3*s. Let o = z + -28. Is o a multiple of 15?
False
Let x(u) = -2*u + 15. Let b be x(9). Is 8 a factor of b/(33/(-2)) - (-13676)/286?
True
Let o = 2731 + -981. Is o a multiple of 25?
True
Let f(o) = -41*o + 100. Is f(-12) a multiple of 8?
True
Let a = 56 + -19. Suppose 25 = -5*l, 2*l = -5*o + 188 + a. Does 11 divide o?
False
Let l be -4*1/((-8)/42). Suppose 2*c + 174 = 5*z, 0 = z - c - 4*c - l. Does 18 divide z?
True
Suppose 3*x - 5370 = -2*h, -x + 326 = -h - 1469. Is 7 a factor of x?
True
Is (3384/96)/(4/144) a multiple of 111?
False
Let x(d) = -3*d - 17. Let w(p) = -5*p - 25. Let m(k) = -5*w(k) + 8*x(k). Is m(28) a multiple of 3?
False
Let m(b) = -b**3 + 12*b**2 - 12*b + 14. Let d be m(11). Suppose -d*x + 200 = 4*u, -u - 7 + 50 = -x. Is 15 a factor of u?
False
Is 56 a factor of -563*(3/(-6))/(2/4)?
False
Does 25 divide (-6)/((56/(-450))/14)?
True
Let g be 425/(-15) + 2/6. Let a = -37 - -24. Let v = a - g. Is 8 a factor of v?
False
Suppose -a = -5*a - 5*l + 8475, -5*a + 5*l = -10605. Is a a multiple of 42?
False
Suppose 0 = -5*y - 4*l + 19, 0*l + 2*l = -5*y + 17. Suppose y = 2*z - 17. Is z a multiple of 3?
False
Let z = 99 - 156. Let a = 25 + z. Let b = -16 - a. Is 7 a factor of b?
False
Does 17 divide 33292/49 - ((-16)/(-7))/(-4)?
True
Let s(x) = 4*x**2 + 2*x + 3. Let i be s(-8). Suppose 5*r = 27 + i. Does 15 divide r?
False
Let v(f) = f**2 + 7*f - 31. Suppose -6 = -c + 5*y - 0, c + 2*y = -22. Is 9 a factor of v(c)?
False
Does 9 divide -3 - (10656/(-30) - (-1)/5)?
False
Suppose -3*z - 13 - 62 = 0. Let n = 34 - z. Is 13 a factor of n?
False
Let a = -18 + 22. Suppose 0 = -4*m + 4*u - 4, 13 = 2*m - a*u + 5*u. Suppose -41 = -2*c + c - 4*s, 177 = m*c + 3*s. Does 9 divide c?
True
Let b = -65 - 10. Let j be 4/(-30) - 10/b. Suppose j = c + 2*c - 54. Does 5 divide c?
False
Let a(o) = 3*o. Let c be a(-1). Let f(g) = 3*g**3 + 2*g**2 - 6. Let p be f(6)