 of 9?
False
Suppose -4*y + 359 = -173. Suppose -4*q - 457 = -y. Is 9 a factor of ((-1)/(-3))/((-3)/q)?
True
Suppose 0*s + 3*s - 7 = -4*x, 5*s + 27 = 3*x. Is 5 a factor of 5/((-10)/s + -3)?
True
Let w(h) = h**3 - 5*h**2 - 3. Let r(p) = -p**3 - 8*p**2 - 9*p - 9. Let n be r(-7). Let b be w(n). Let m(k) = -14*k - 4. Does 12 divide m(b)?
False
Is (5*(-3)/(-12))/((-2)/(-48)) a multiple of 6?
True
Suppose 4*y - 6 = 6*y. Let d(v) = -12*v. Is d(y) a multiple of 14?
False
Suppose -5*l + 3*l = 4, -4*n + 5*l + 26 = 0. Suppose -d + n*d = 0. Suppose 3*h = 0, -5*m - h - 23 + 153 = d. Does 13 divide m?
True
Suppose 0 = 7*f - 112. Is 16 a factor of f?
True
Suppose 5*y = 5*j + 10, y + 1 = 2*j + 3. Suppose 118 = y*n + 5*u, n = 5*n - u - 236. Is n a multiple of 22?
False
Let l be (-2)/((-5)/(310/(-4))). Let a = -19 - l. Let s = 22 - a. Is s a multiple of 6?
False
Suppose 3*b - 12 = -5*k + 2*k, 2*b = -5*k + 14. Suppose 4*j = k*j. Is j*(-1)/(-2) - -16 a multiple of 6?
False
Let l(v) = v**3 - v - 97. Let b be l(0). Let m = -34 - b. Suppose 2*r - m = -r. Does 10 divide r?
False
Suppose -r + 5 + 2 = 0. Let c(m) = m**2 - m + 29. Let l be c(0). Suppose 0*x + r = x - q, -q + l = 2*x. Does 12 divide x?
True
Let m(h) be the first derivative of -2*h**2 - 6*h + 1. Suppose b + 3*p + 28 = -3*b, 0 = 5*b + p + 24. Is m(b) a multiple of 7?
False
Let x(n) be the second derivative of n**4/12 - 7*n**3/6 + 5*n**2/2 + 2*n. Let b be x(7). Suppose b*t + 45 = 235. Is 13 a factor of t?
False
Let n(o) = -3*o**2 - 3*o + 3. Let j be n(-3). Let d(y) = y**3 + 14*y**2 - 18*y - 16. Is d(j) a multiple of 8?
False
Let t = 4 + -33. Let n = -35 + t. Let b = 119 + n. Does 26 divide b?
False
Let t = 7 - 6. Let s = 26 - t. Is s a multiple of 11?
False
Let j = -230 - -385. Does 32 divide j?
False
Let k(h) be the first derivative of -h**4/4 + 7*h**3/3 + 5*h**2 + 8*h + 4. Does 12 divide k(8)?
True
Let c = -9 - -13. Suppose o - 1 = c. Let l(i) = 2*i. Is 6 a factor of l(o)?
False
Let u(n) = 2*n - 1. Let s be u(5). Let c = s + -4. Suppose -2*z + b + 57 = 2*z, c*z - 2*b = 75. Is z a multiple of 9?
False
Let z(v) = -7*v - 5. Suppose 2*u = 2 - 6. Is z(u) a multiple of 3?
True
Suppose 0*p = -2*p. Let l be 9 + (p + 1 - 4). Suppose u = l*z - 2*z - 109, -51 = -2*z - 3*u. Is z a multiple of 12?
False
Suppose 0 = 5*l - 4*l - 3. Suppose -2*h + 75 = l*h. Is h a multiple of 15?
True
Let n = -21 - -22. Does 8 divide (-11 + 7)/(n/(-2))?
True
Suppose 2 + 1 = v. Suppose v*d + 56 = n, 4*n + 2*d = -2*d + 224. Is 14 a factor of n?
True
Suppose 5*a + 5*h = 2*h + 472, -4*a - 5*h + 388 = 0. Is 23 a factor of a?
True
Let g = -92 + 200. Is g a multiple of 8?
False
Let r(p) = p**2 + 3*p + 6. Let m be r(-4). Suppose i - m = 6*i. Let o = 9 + i. Is o a multiple of 6?
False
Suppose 3*x = -x + 192. Is x a multiple of 12?
True
Let y(o) = -2*o**2 + 2*o - 4. Let d be y(-5). Let v be (d/10)/(2/(-10)). Suppose 2*j - 30 = v. Is j a multiple of 12?
False
Let s(j) be the second derivative of 4*j**3/3 - 3*j**2/2 - 2*j. Let d be s(2). Suppose 0 = 4*l - 5*u - 28, -3*l = -2*u + d - 41. Does 11 divide l?
False
Let x be ((-132)/55)/((-2)/5). Suppose x*c = 3*c + 24. Does 3 divide c?
False
Let t(d) = d**2 + 5*d + 6. Let u(q) = -2*q + 3. Let h be u(4). Let a be t(h). Does 15 divide (-591)/(-18) + 1/a?
False
Let j(f) = 5*f. Let i be j(1). Suppose -i*h + 282 - 97 = 0. Is 15 a factor of h?
False
Let y(t) = t**2 - 4*t - 6. Let k be y(5). Let u be ((-2)/(-4) + k)*6. Is 6 a factor of (-14)/(-2) - 3/u?
False
Suppose 12*m = 17*m - 190. Is 5 a factor of m?
False
Let p(i) = -i**3 - 11*i**2 - 2*i - 14. Let w be p(-11). Does 5 divide (-27)/(-5) - w/20?
True
Suppose -12 + 39 = 3*o. Let d(i) = 2*i - 13. Let s be d(o). Suppose s*l - 16 = 109. Is 16 a factor of l?
False
Let x(z) = -31*z + 2. Is x(-3) a multiple of 6?
False
Suppose -b + 35 = -6*b. Let i(s) = s**2 + 8*s + 10. Let t be i(b). Suppose -t*j + 123 = -0*j. Does 15 divide j?
False
Let u be 4 + -3*(-20)/(-12). Is ((-8)/16)/(u/64) a multiple of 8?
True
Let u be -2*(0 + (-10)/4). Suppose 0 = -2*p + u*p - 129. Suppose -3*d + 10 = o - 9, -5*d = -4*o - p. Is d a multiple of 7?
True
Suppose -52 = -l + 2*f, 4*f = -4 - 4. Suppose -4*d = 4*c - l, 5*d + c = 4*c + 76. Let s = d + 5. Is s a multiple of 19?
True
Let f(g) = -2*g**3 - 5*g**2 + 4*g + 6. Is 19 a factor of f(-4)?
True
Let j = 3 - 5. Let w be -2*(1 + j) + 29. Let c = w - 21. Does 5 divide c?
True
Is 10/(-5)*(-183)/6 a multiple of 11?
False
Suppose 0 = h - 2*w - 72, 62 = h - 5*w - 10. Is 13 a factor of h?
False
Suppose -3*p + 63 = -3*v, -5*p + 127 - 12 = 5*v. Let t(m) = m**2 + 6. Let d be t(-7). Does 6 divide 4/p + 320/d?
True
Suppose 0 = -2*n + n + 3. Suppose -12 = -5*u + n*u. Is 3 a factor of u?
True
Let w(n) = -2*n - 9. Let g be w(-6). Suppose -g*t = -10 + 4. Suppose -t*a + 10 = -0*a. Is 5 a factor of a?
True
Suppose z - 5*z = 4*a, -a = 2*z. Suppose s + 16 = w + 2, -w - 2*s - 1 = z. Is w a multiple of 4?
False
Is (-156)/8*4/(-3) a multiple of 13?
True
Let q(d) = 2*d**2 - 7*d - 2. Let p be q(5). Let j = p + -6. Does 7 divide j?
True
Suppose s + 4*s = 320. Let i = 129 - s. Does 16 divide i?
False
Let y(s) = -s**3 + 3*s**2 + s + 1. Let c be y(3). Let z = c + -2. Suppose 27 = z*g + 7. Is 10 a factor of g?
True
Let l = -3 + -2. Is 19 a factor of (-110)/l - (1 - -2)?
True
Let k(o) = 3*o**2 + 6*o - 3. Does 16 divide k(6)?
False
Let r(v) = v**3 - v**2 + 9. Let k be r(0). Suppose -f - 6 = -k. Suppose 0*z = f*z - 51. Is z a multiple of 10?
False
Is (-265)/(-4) + 3/(-12) a multiple of 18?
False
Let y(v) = -v**3 + 8*v**2 - 2*v + 2. Let m be y(7). Let t(o) = -o**2 - o - 15. Let z be t(0). Let u = z + m. Is u a multiple of 11?
True
Let u(x) = -x**2 - 11*x - 12. Let r be u(-9). Does 16 divide 47 - (-3)/r*2?
True
Let q(f) = -f**2 - 8*f - 6. Let d be q(-4). Let g(s) = s + 2. Is g(d) a multiple of 9?
False
Suppose a - 6 = -2*a. Suppose d - 75 = -2*f - a*d, 12 = 4*d. Does 19 divide f?
False
Let z = 119 + -25. Does 5 divide z?
False
Suppose -4*n - 21 = -4*x - 137, 0 = -3*n - 4*x + 52. Is 4 a factor of n?
True
Let f(n) = -n + 36. Let p = -10 - -10. Does 18 divide f(p)?
True
Let c be (28/(-8)*2)/(-1). Let u = c + 24. Is u a multiple of 11?
False
Let h = 37 - 22. Is 13 a factor of h?
False
Let p(r) = r**2 + 5*r - 7. Let n be p(-6). Let c be (-1 - n)/3 + -1. Is 16 a factor of (c - (-58)/(-6))*-3?
True
Let m = 2 + 0. Suppose -v - m*v = -162. Is 19 a factor of v?
False
Suppose 320 = 2*y + 4*h, -y + 5*h + 311 = y. Suppose 3*c = -5*v + 101, -4*c - 2*v + y = -0*v. Is c a multiple of 14?
True
Let l = -15 + 3. Let v = 26 + l. Is 14 a factor of v?
True
Suppose -3*x = -5*r + 95, 4*r + 5*x - 35 = 78. Is r a multiple of 10?
False
Suppose -4*j + 145 = -147. Suppose 323 = -4*a - j. Does 11 divide 4*(a/(-6))/3?
True
Let l = 133 - 41. Does 23 divide l?
True
Let k(s) = 95*s**3 + s**2 - 4*s + 2. Is 13 a factor of k(1)?
False
Let w be -2 - (-6)/(1 + 2). Suppose c + w*c + 94 = 0. Let k = -58 - c. Is k a multiple of 10?
False
Suppose 1933 - 741 = 8*t. Is 34 a factor of t?
False
Let s = 11 - 15. Let y = 7 + s. Let b(m) = 3*m + 4. Is 10 a factor of b(y)?
False
Suppose 2*m - 2*o = 8, 4*m = o + 7 + 6. Suppose m*l - 6 - 3 = 0. Suppose l*p + p - 40 = 0. Is 4 a factor of p?
False
Let p = -34 + 67. Is 28 a factor of p?
False
Let w = -8 + 11. Suppose 3*r - 2*r = -4, 0 = -w*k - 3*r + 6. Let u(p) = 5*p - 5. Does 12 divide u(k)?
False
Let k be (-3)/(-12) + 206/8. Let t = -11 + k. Suppose 2*p = t - 3. Is p a multiple of 6?
True
Let j(p) = -p**2 + 12*p - 9. Let x be j(6). Suppose -4 = -0*i - 2*i. Let z = x - i. Is 13 a factor of z?
False
Let b be (4/6)/((-2)/(-3)). Let h be -3 + b - (-24)/4. Suppose -36 = h*y - 192. Does 14 divide y?
False
Suppose 4*k + 2*z = 212, -2*z + 279 = 5*k - 3*z. Suppose -3*w - 4*d = -269, 5*d - 31 = 2*w - 218. Let t = w - k. Does 12 divide t?
True
Let j(t) = 4*t**2 + 3*t - 5. Let s(k) = -k**2 + 1. Let v(h) = -j(h) - 5*s(h). Is v(5) a multiple of 5?
True
Does 21 divide ((-2)/(-3))/(4/378)?
True
Let f = -9 - -12. Let i(h) = -h**2 + 5*h - 2. Let v be i(f). Suppose 2*t = v*t - 28. Does 7 divide t?
True
Let z(f) = 41*f + 8. Is 18 a factor of z(2)?
True
Let z(y) = -y**2 + 8*y. Let g be z(8). Suppose -3*l + g*l + 108 = 0. Is l a multiple of 15?
False
Let n = 10 + -6. Let s be (2 + -1)*3*n. Suppo