
True
Let i = -46 + 0. Let j = i - -117. Let v = 121 - j. Is 32 a factor of v?
False
Let k(p) = 6*p**3 + 4*p**3 + 4*p - 16*p**3 - p**2. Does 8 divide k(-2)?
False
Let r = 1692 + -2381. Let v = -391 - r. Is 31 a factor of v?
False
Let t(o) = 6*o - 9. Let v(l) = -1. Let i = 16 + -11. Let n(x) = i*v(x) - t(x). Does 20 divide n(-6)?
True
Suppose y + 232 = 505. Does 21 divide y?
True
Let k be 1/(-4) + 805/20. Let h = -7 + 9. Suppose -u = -2*o - 20, 4*o = h*u - 5*u + k. Is 16 a factor of u?
True
Let n = 2 - -1. Suppose -n*v - 8 = 2*s, 4*s + 10 = -4*v + s. Is ((-62)/v)/(10/20) a multiple of 8?
False
Let c(x) = -x**3 + x**2 + 2*x. Let v(k) = -7*k - 3 - 4*k**2 - 2*k**2 + 5*k**2 + 2*k**2. Let g be v(7). Does 15 divide c(g)?
True
Suppose -4*t + 4*z - 16 = 0, -3 = t + 2*z + 10. Let p(u) = -10*u - 22. Does 12 divide p(t)?
True
Let x = -70 + 34. Let w = 108 - x. Suppose 0 = -v - 4*v - 3*h + 350, -w = -2*v - 2*h. Is 19 a factor of v?
False
Let l(d) = -47*d**3 + d. Let f = 18 + -25. Let i = -8 - f. Is 13 a factor of l(i)?
False
Suppose 4*u + 2*s + 6 = 0, -5 = -10*u + 15*u + 5*s. Is 8 a factor of u/2*-11*4?
False
Suppose 0 = 4*v - 6 - 2. Let h = 10 + v. Is 15 a factor of h - 5/((-20)/12)?
True
Let n(v) = -v**3 + 5*v**2 - v. Let z be n(7). Let f be z/(-20) - (-1)/(-4). Suppose 9 = -3*y + 2*y - f*l, 4*l + 16 = 0. Does 2 divide y?
False
Is 12/(-48) + 9063/12 + 4 a multiple of 56?
False
Let u be (0 - -2)/((-2)/(-3)). Suppose 496 - 76 = u*g. Does 14 divide g?
True
Let l be ((-508)/12)/(1/3). Let q = -69 - l. Is 13 a factor of q?
False
Let f(x) = 8*x**3 + 79*x**2 - 24*x - 40. Let a(n) = 3*n**3 + 26*n**2 - 8*n - 13. Let c(k) = 11*a(k) - 4*f(k). Is 31 a factor of c(30)?
False
Does 2 divide 1/(((-1)/(-168))/((-5)/(-10)))?
True
Let d(w) = -11 + 2*w**2 - w**2 - 2*w + 2 - 10. Let o be d(-8). Let n = -43 + o. Is 6 a factor of n?
True
Let c be ((-170)/25)/(1/5). Let n = c - -38. Is n a multiple of 4?
True
Let q = -61 + 63. Let n = 15 + q. Is n a multiple of 17?
True
Suppose -103 = -5*a - 4*t + 549, 2*t = -4. Is a a multiple of 3?
True
Suppose 10 = 7*i - 18. Suppose i*p = 298 + 134. Is 9 a factor of p?
True
Suppose -o + 5*q + 4 = 0, 0 = -3*o - 4*q + 6 + 6. Let a = -44 - -49. Suppose o*d - 5*d = -a. Does 4 divide d?
False
Does 14 divide (-2252)/(-14) - ((-568)/56 + 10)?
False
Suppose -z + 5*z - 20 = 0. Suppose -z*s + 2*s + 27 = 0. Does 23 divide 227/s + 6/(-27)?
False
Let n(a) = -8*a**3 - 5*a**2 - a + 1. Let p be n(4). Is 17 a factor of p/5*(-18)/21*1?
True
Let y(h) = -2*h**3 - 12*h**2 + 39*h - 36. Is 3 a factor of y(-11)?
False
Let r(b) = -b + 4. Let c be r(6). Is (-72)/(4 + 0)*c a multiple of 8?
False
Let h = -34 - -30. Does 4 divide (h/(-10))/(606/120 + -5)?
True
Let s be (1 + 1 - 1) + 2. Suppose -s*q + 925 = 2*q. Suppose -2*j - 5*v + 87 = 0, 5*v = -4*j + 6*v + q. Does 14 divide j?
False
Let w = -804 + 1336. Is 28 a factor of w?
True
Suppose -b + 2*s = -451, 899 = 2*b + s - 4*s. Does 19 divide b?
False
Is 2/4 - 64773/(-54) a multiple of 20?
True
Let m(s) = -30*s**2 - s. Let p be m(1). Let j = -18 - p. Suppose 2*a + j = q, a - 34 = -5*q - 13. Is 5 a factor of q?
True
Suppose 0*c - 3*i + 27 = 3*c, 0 = -c - 2*i + 14. Suppose 4*v + a - 120 = 2*v, c*v - 240 = -4*a. Is 10 a factor of v?
True
Let x = -27 - -34. Is (x/((-42)/(-510)))/(0 - -1) a multiple of 31?
False
Let p(c) = 3 + 6*c**2 - 6*c + 0 - 7*c**2 - 2. Let a be p(-3). Suppose -99 = 7*u - a*u. Does 11 divide u?
True
Let s(q) = 2*q**3 + 2*q**2 - 3*q + 24. Is s(0) a multiple of 23?
False
Suppose -3*k - 2*t + 278 = 0, -8*k + 282 = -5*k + 3*t. Is 5 a factor of k?
True
Let l(g) = -g**2 + 12*g - 17. Let b be l(10). Suppose 253 = b*u - x, -3*x + 165 = u + u. Let i = u + -49. Is 35 a factor of i?
True
Let c(k) = -15*k**2 - 9*k - 2*k**3 + 3*k**3 + 0*k**3 - 14. Is c(16) a multiple of 12?
False
Let o(j) = -2*j. Let q(k) = 2*k + 28. Let c be q(0). Let v be (c/(-6))/(14/21). Is 9 a factor of o(v)?
False
Let f(x) = -1 + 0 + 3 - 3*x - 1 - x**2. Let z be f(-8). Let r = -15 - z. Is r a multiple of 7?
False
Let v(k) = 17*k**2 - 3. Let g(w) = -3*w - 7. Let y be g(-3). Is 22 a factor of v(y)?
False
Suppose 3*p + 20 = 5*n + p, 8 = 2*n - p. Suppose l + l = n. Suppose l*o - 3*y - 9 = -o, -4*y + 4 = 0. Is o a multiple of 3?
False
Let l be (70/3)/(44/66). Let r = l - 17. Is 3 a factor of r?
True
Is 109 - ((7 - 6) + (1 - 1)) a multiple of 18?
True
Suppose 0 = 5*k - 0*k - 5. Does 8 divide k*5*(-121)/(-55)?
False
Let k = 28 - 56. Let d = 32 + k. Suppose -173 - 15 = -d*f + z, 4*f - 180 = -z. Is 9 a factor of f?
False
Let m(z) = -2*z**3 - 33*z**2 - 19*z + 2. Is m(-16) a multiple of 5?
True
Does 13 divide (-3 - -5) + (931 - 7)?
False
Let f be 17 - (2 + -5 - 0). Suppose 129 = 4*z - 5*d, d + f = -3*d. Is 6/(29/z + -1) a multiple of 13?
True
Let m(h) = -20*h + 85. Does 35 divide m(-5)?
False
Suppose 115*d - 96*d - 16074 = 0. Does 47 divide d?
True
Let u(d) = -3*d**2 - 16*d + 7. Suppose -9*q + 10*q - 7 = 0. Let b(w) = -4*w**2 - 24*w + 10. Let s(k) = q*u(k) - 5*b(k). Is s(6) a multiple of 11?
True
Let u(p) = -p**3 + 6*p**2 - 7*p - 4. Let c be u(4). Suppose c = 4*k + 5 - 109. Does 13 divide k?
True
Let w(s) be the second derivative of 4*s**3/3 + s**2/2 - 21*s. Does 20 divide w(10)?
False
Let y be (3 + -2016)/(1/(1 + -2)). Does 37 divide 4/5 + y/15?
False
Let k(w) = -w**3 - 5*w**2 + 9*w + 4. Let g be k(-6). Let p = -9 - g. Let d(a) = 2*a - 6. Does 4 divide d(p)?
True
Suppose 4*d - 15 = -d. Suppose d*j = 8 + 4. Suppose 3*a - 7*a - 268 = -j*f, 2*a = 4*f - 276. Does 27 divide f?
False
Let s(o) = -21 - 5*o + 10*o + 0*o - 4*o. Let k be s(9). Is 16 a factor of (k/(-15))/(3/60)?
True
Suppose 5*g + 239 = -3*d, -4 = g + 3*g. Let f = 185 + d. Does 18 divide f?
False
Let x(i) = i**3 + 10*i**2 + i + 13. Let c be x(-10). Let s = 3 - -11. Suppose y = c*y - s. Does 2 divide y?
False
Does 9 divide (-20)/4*(-154)/55*2?
False
Let t = 376 - 232. Suppose 2*z + z - t = 0. Is z a multiple of 16?
True
Suppose 0 = -19*l + 20*l - 3. Suppose 2*w = l*w - 80. Does 20 divide w?
True
Let p(h) = 4*h + 2*h + 5*h + 2 - 12*h. Let o be p(-3). Suppose -m - 3 = 1, o*d - 3*m - 207 = 0. Is d a multiple of 13?
True
Let d(s) = -s + 1. Let o(l) = -67*l - 1. Let x(y) = 3*d(y) - o(y). Suppose 2*n + 7 = -4*z + 15, 2*n = 4. Does 17 divide x(z)?
True
Suppose 2*t - r = -1462 + 4397, 5*r = 3*t - 4385. Does 15 divide t?
True
Suppose 2*w = 6 + 2. Let r = 35 - 35. Suppose r*p + w*p - 108 = 0. Does 9 divide p?
True
Suppose -3*r = -l - 7, -3*r + 3*l = -0*l - 3. Is (6 + 336/(-35))/(r/(-10)) a multiple of 8?
False
Let p(w) = 90*w**3 + w. Is 13 a factor of p(1)?
True
Let x(l) = 2*l**2 + 31*l - 14. Let q be x(-16). Does 7 divide ((-1788)/(-9))/q + (-24)/18?
True
Let x(v) = v**3 - 4*v**2 + 2*v - 4. Let i be x(4). Suppose 0*t - i*t - 3*j = -183, -4*t + 3*j + 177 = 0. Is 15 a factor of t?
True
Suppose -5*f = -4*f - 250. Is f a multiple of 23?
False
Let j(l) = 1 + 4 - l**2 - 2*l + 2*l**2 - 6*l. Let a be j(9). Let r = 23 - a. Is 5 a factor of r?
False
Does 23 divide (-16)/14 - 25140/(-21)?
True
Let b = 271 - 216. Is 7 a factor of b?
False
Suppose -6 = 4*b + 2*h, -9 - 6 = 2*b - 3*h. Let m(q) = 4*q**2 - 3*q. Is 10 a factor of m(b)?
False
Suppose r + 5*l - 9 = 4*r, -r + 14 = 4*l. Suppose 2 = r*h - 38. Suppose 0 = -3*m - 3, f - 2 = 5*m + h. Is 17 a factor of f?
True
Let m(q) = -q**3 - 4*q**2 + q - 2. Let j be m(-4). Suppose 4 = u - 13. Let k = u - j. Does 23 divide k?
True
Let t(u) = -136*u**2 + 2*u - 1. Let i be t(2). Is 19 a factor of (2 - i/7) + 2/(-7)?
False
Suppose -2*o + 2 = -o, -5*o + 28 = k. Suppose -3*v + k = -0. Is (-9)/(v - 3) - -29 a multiple of 13?
True
Let o = -32 + 40. Let q(x) = 9*x + 1. Does 25 divide q(o)?
False
Let w be 1*-22*3/6. Let t = w - -14. Does 7 divide (-160)/(-25) - t/(-5)?
True
Suppose 12 = 3*q, 0 = -o - 2*o + q - 220. Let y = 137 + o. Is y a multiple of 21?
False
Suppose 35 = 5*z + 1120. Let t = z - -415. Is t a multiple of 34?
False
Let f = -288 - -1699. Is f a multiple of 17?
True
Let g(b) = b**3 - 9*b**2 + 8*b - 9. Let k be g(8). Let x = k - -11. Suppose 5*c = -4*q + 28 + x, -5*c = -2*q. Is c even?
True
Let k be 3/((-3)/(-5)) + 0. Suppose 0 = -k*z, 2*t + 3*t + 3*z = 45. Suppose -33 + t = -d. Is 6 a factor of d?
True
Is 884/7 + 28/(-98) a multiple of 21?
True
Suppose 0 = -5*f - 4*h + 6796