
False
Let t(b) = -b**2 - 5*b - 2. Let d be t(-4). Suppose -d*h + 2 = -5*o - 0, 4*o + h - 1 = 0. Suppose o*i = 2*i - 46. Does 10 divide i?
False
Let i = 12 - 11. Let v be 3 - ((-6)/i + 1). Is 9/6*v + -1 a multiple of 8?
False
Suppose k = 2*d - 2, k = 3*k + d - 21. Is (42/k)/(6/32) a multiple of 7?
True
Suppose -5*y = 4 - 9. Is (y + 9/2)*(-28)/(-2) a multiple of 24?
False
Suppose 13*r - 11*r = 6. Let f = r + 10. Suppose 10*y + 192 = f*y. Is y a multiple of 16?
True
Let h = 464 + -437. Is h a multiple of 10?
False
Is 6/(-14) - (-329056)/392 a multiple of 70?
False
Let m(r) = 982*r - 330. Does 14 divide m(5)?
False
Let m(s) = s**2 + 23*s + 85. Is m(20) a multiple of 15?
True
Let b(j) = -j**3 - j**2 - j - 1. Is 20 a factor of b(-7)?
True
Let c(u) = 2*u**2 + 12*u - 99. Is c(9) a multiple of 14?
False
Let p be 188/6 - 2/6. Suppose 2*r - 31 = 3*l + 20, 135 = 4*r + 5*l. Suppose -p = -4*n + 4*y - 3, -2*n - 2*y = -r. Is 9 a factor of n?
False
Suppose r - 2*a - 2020 = -637, 0 = -5*r - 3*a + 6876. Does 51 divide r?
True
Let j(r) = -r**3 + 3*r**2 + 15*r + 57. Is j(-8) a multiple of 4?
False
Let u(p) = -3*p**3 - 4*p**2 + 7*p + 3. Is 21 a factor of u(-6)?
False
Let a = 21 - 14. Let c be ((-36)/(-15))/(a/420). Suppose 6*b - 2*b = c. Does 12 divide b?
True
Suppose b = 5, -4*y - 4*b = b - 925. Is y a multiple of 15?
True
Let j = 29 + -40. Let n = 13 + j. Suppose -84 = -g - 0*g - n*s, 3*g - 4*s - 242 = 0. Does 28 divide g?
False
Let y(g) = 2*g**3 + 28*g**2 + 17*g - 72. Is 4 a factor of y(-11)?
False
Suppose 54*n - 50*n - 3*t = 2461, -5*n + 3081 = t. Does 14 divide n?
True
Suppose 4*r = 127 + 665. Is 18 a factor of r?
True
Let z(g) = g**3 - 9*g**2 + 6*g + 6. Let d be z(8). Let k = d - -129. Is k a multiple of 23?
False
Let f be 220/16 - (3 - 52/16). Suppose 0*x - 2*x = -2, -3*x = o - f. Does 2 divide o?
False
Let k = 6 + -16. Let j be (95 - -3)*(-5)/k. Suppose -114 = -4*f - 2*c, 5*f + c - 193 = -j. Is f a multiple of 12?
False
Suppose -88770 = -47*j - 1726. Does 28 divide j?
False
Suppose -2*c - g = -2, -3*g = g - 8. Suppose c = -3*m - m - 24. Let k(q) = q**3 + 8*q**2 - 2*q - 7. Does 29 divide k(m)?
False
Let n(y) = -7*y - 7. Suppose 0 = v + 2*a, -9 - 19 = -v + 5*a. Let p(w) = -w**3 + 7*w**2 + 5*w + 17. Let x be p(v). Does 10 divide n(x)?
False
Let o = 489 - 211. Is o a multiple of 23?
False
Suppose -30*a - 6 = -27*a. Let j = 11 - a. Is 13 a factor of j?
True
Suppose -33 = -2*p - 3*v, 0 = p - 3*p + 4*v - 2. Suppose -z - 2*z = p. Does 2 divide (-1)/(z - (-17)/6)?
True
Let t(y) = -y + 12. Let m be t(8). Let z(f) = -f**3 + 5*f**2 + 4*f - 4. Is 10 a factor of z(m)?
False
Suppose -3*i = -t + 15, -t + 4*i = -i - 25. Suppose t = 8*x - 4*x - 220. Suppose 4*k - 5*f - 77 = x, -5*k = -f - 144. Does 15 divide k?
False
Suppose 2*g = -3*c + 7, 4*c - 5 = -1. Suppose -g = -d - 1. Is 14 a factor of 31/((-2)/(d - 3))?
False
Suppose 10*c - 12*c = -16. Suppose 12*v - c*v = 144. Is 17 a factor of v?
False
Suppose -35 - 172 = 3*i. Let n = i + 38. Let o = -15 - n. Is 16 a factor of o?
True
Is 2 a factor of 2/(4/3)*(0 + 4)?
True
Suppose 2*o - 707 = -j, 4*o + 2435 + 381 = 4*j. Suppose 0 = 8*n - 3*n - 5, 4*l - j = -n. Does 16 divide l?
True
Let s(h) = 14 + h**2 + 0*h**2 + h + 7*h - 2*h. Does 3 divide s(-5)?
True
Suppose 2 = -4*j + 22. Let x be (j/((-15)/1194))/(-2). Suppose -5*b + x - 34 = 0. Is b a multiple of 23?
False
Let o = 17 - 15. Let i(q) = -19*q + 17. Let h(j) = -9*j + 9. Let y(w) = o*i(w) - 5*h(w). Is y(5) a multiple of 6?
True
Let k = 381 + -52. Suppose -y + 8*y - k = 0. Is 7 a factor of y?
False
Suppose 4*n - n = -9. Let s(w) = w**3 + 4*w**2 + 2*w + 1. Let x be s(n). Suppose -4*k - b + 17 = 0, -x*b = 4*k + b - 5. Is k a multiple of 5?
True
Suppose -3*z - 3*c = -1000 - 152, 0 = -2*z + 2*c + 760. Is z a multiple of 53?
False
Is 9 a factor of 1*4*(-2 - (-1614)/8)?
False
Let t = -2815 + 4726. Is t a multiple of 49?
True
Is 95 - -6 - -6 - -8 a multiple of 3?
False
Suppose -7125 = -9*t + 5025. Is 83 a factor of t?
False
Let g = -55 + 146. Suppose -2*w + 5*v + 428 = -g, v = 4*w - 1011. Is w/10 + (-2)/10 a multiple of 8?
False
Is 9 a factor of 465 + (8 - 0/(-7))?
False
Let r(f) = -f**2 + 14*f + 28. Let o be r(16). Does 18 divide 4 - (2/o - (-489)/(-2))?
False
Suppose 0 = 3*c + 4*z - 942, c = -z - 183 + 498. Is 13 a factor of c?
False
Let q be (3 - (3 + -4)) + -4. Suppose -t + 10 - 6 = q. Is 2 a factor of 92/8 + 2/t?
True
Let z(f) = -16*f + 38. Let s be z(5). Let o = -19 - s. Is 23 a factor of o?
True
Let n(a) = -4*a + 9. Let m(z) = -7*z + 18. Let k(w) = -6*m(w) + 10*n(w). Does 2 divide k(13)?
True
Let b be -45 + -3 + 1/1. Let f = b + 104. Let j = f - 18. Does 10 divide j?
False
Suppose s + 8 = 2*a, 2*a - 12 = -s - 0*s. Is s/(-6) + 720/54 a multiple of 6?
False
Let n(g) = 4*g**2 - 2*g - 10. Suppose -7*a + 3 = 38. Does 20 divide n(a)?
True
Let i = 634 + -379. Is 8 a factor of i?
False
Let w(j) = -10*j - 10*j + 13 + j + 6*j. Is w(-6) a multiple of 14?
False
Let m = -1283 - -1831. Suppose -3*z = -2*t - m, -z - 3*t + 4*t = -184. Does 20 divide z?
True
Suppose 3*z + 9*m - 256 = 7*m, -2*m = 4*z - 344. Does 22 divide z?
True
Suppose -z + 589 + 26 = 0. Does 24 divide z?
False
Let n = 12 - 7. Suppose -n*l - 4 = -4*l. Is 4 a factor of ((-26)/4)/(l/8)?
False
Let r(o) = -o**3 - o**2 - 2*o. Let n be 3/(-5) + (-16)/40. Let t be r(n). Suppose j + t*g = 32, -j + 4*g + 20 + 18 = 0. Is j a multiple of 10?
False
Suppose -222 = -13*m + 246. Does 6 divide m?
True
Let p be ((-64)/28)/((-6)/21). Is (243/2)/3 + 12/p a multiple of 9?
False
Is 10 a factor of (-205 - 0)*(8/2 - 6)?
True
Let h = 4 + 3. Let c be 12 - 1 - (10 - h). Is 15 a factor of -6*4/c*-11?
False
Let k be (5 - 316/16)*4. Let s = k + 104. Is s a multiple of 22?
False
Does 15 divide (44/10)/(-4*6/(-660))?
False
Let d = 14 + -11. Suppose -6 = -d*t + 4*o, 16 - 6 = 5*t + 4*o. Does 8 divide (-1)/((-260)/128 + t)?
True
Suppose -1 = -3*l - x - 4*x, -x - 4 = 0. Suppose 40 = v + l. Is v a multiple of 11?
True
Let u(g) = 23*g + 1. Let d be u(1). Suppose 5*y - 4*y - d = 0. Suppose -2*q - y = -8*q. Is q even?
True
Suppose 2*c + 197 = -c - d, 5*c - 4*d + 334 = 0. Let w = -105 - c. Let j = -27 - w. Does 3 divide j?
True
Suppose -3*m - 2964 = -9*m. Is 14 a factor of m?
False
Suppose z = 5, y = -4*z - 1 + 22. Suppose -4*o - 3*n + 87 = -148, 5*n + 140 = 3*o. Is 20 a factor of o - ((1 - -1) + y)?
False
Let s(p) = -p + 1. Let c be s(1). Suppose 3*z = -4*k + 223, 3*z - 3*k + 0*k - 195 = c. Suppose 3*b + t - 57 = -0*t, 3*b = -5*t + z. Is 9 a factor of b?
True
Let d(a) = a**2 + 3*a + 3. Let u(v) = -15*v. Let c be u(-1). Let r = c - 11. Does 8 divide d(r)?
False
Let m(r) = -r**3 + 5*r**2 - 6*r + 4. Let f be m(4). Let c = 7 + f. Let n(z) = 3*z**2 - 4*z + 4. Is 9 a factor of n(c)?
False
Let a = -2 + 4. Suppose 0 = -p - 0 + a. Suppose 0 = -5*n + p*m + m + 38, -4*m + 10 = 2*n. Does 4 divide n?
False
Let l = 24 + -13. Let j = l - -12. Does 9 divide j?
False
Let g be 0/(1/(-2)*(4 + 0)). Suppose g = -4*m - 2 + 82. Is 4 a factor of m?
True
Let w be (3/(-4))/(3/(-8)). Let t be (-4)/((-4)/2 + 1). Suppose 0*k = 5*x + t*k - 25, 4*x = w*k + 20. Does 5 divide x?
True
Let u(w) = w**2 - 58*w + 305. Is u(55) a multiple of 4?
True
Suppose -396 - 238 = -5*g - 4*a, 5*g + 5*a - 630 = 0. Suppose 5*z = 80 + g. Let f = -21 + z. Does 7 divide f?
True
Let i = -29 - -15. Is (-304)/(-14) + 7 + 94/i a multiple of 11?
True
Let u(t) = t - 8. Let w be u(11). Suppose x - w*x = 20. Is 4 a factor of 4/x - (-432)/30?
False
Suppose 0 = 2*o + 4, -v = -2*o - 7. Suppose v*i = -i + 144. Let j = -15 + i. Does 21 divide j?
True
Suppose -k - 37 + 10 = 0. Let a = 227 + k. Does 40 divide a?
True
Suppose 12 = 6*d - 0. Suppose 3*v + 160 = d*r, -5*v + 4*v = r - 85. Does 13 divide r?
False
Let b = 8 - 3. Suppose 2*l - b*l = -12, y + 3*l = 11. Is 3 - (-2 + (y - -3)) a multiple of 2?
False
Let b = 11 + 62. Does 56 divide b?
False
Suppose 0 = -3*n - 3, -9*g + 32 = -4*g - 2*n. Suppose -v - 5 = -3*t - g*v, 2*v + 14 = 2*t. Suppose -u + 56 = s + 2*u, 0 = 2*s - t*u - 57. Is 17 a factor of s?
False
Suppose 8 - 70 = -w. Suppose 4*n + 6 = w. Is n a multiple of 12?
False
Let u be 6/(-12) + 95/10. Suppose -4*p = -u*p + 315. Is p a multiple of 21?
True
Let g(u) = -u**3 - 6*u**2 + 10*u + 9. Let y be g(-7). Suppose 0*q + 3*q + 1