6*x**2 + 2*x - 26. Let o be f(4). Does 16 divide b(o)?
False
Let u be -2 + (-6)/(-2) + 3. Let j(c) = 2*c**2 - u*c + 9*c + 0 + 0. Is j(-4) a multiple of 6?
True
Suppose -183 + 1487 = 4*g. Does 9 divide g?
False
Let y = 130 - 76. Let t = 31 + y. Does 14 divide t?
False
Let o(z) = 5*z**2 - z + 2. Suppose -4*p = -0*p + u + 18, 0 = 5*p - 4*u + 33. Does 22 divide o(p)?
True
Let c = 492 - -221. Is c a multiple of 23?
True
Let o(v) = 0*v + 2*v - 3 + 2*v - 2*v - 2*v**2 + v**3. Let h be o(4). Suppose 2*p - h = 41. Does 39 divide p?
True
Suppose 0 = -6*p - 3*p - 1737. Let r = -65 - p. Is r a multiple of 32?
True
Suppose -27*n + 330750 = 98*n. Does 13 divide n?
False
Suppose -1 = -3*v + 11. Suppose v*b + 4*m + 288 = 0, -4*b + m - 268 = -0*b. Let l = b - -133. Is l a multiple of 13?
True
Suppose 8 = 2*w, -11*w = 5*t - 13*w - 18892. Suppose 0 = 3*q + 9*q - t. Is 13 a factor of q?
False
Let j(a) = 39*a**3 - 2*a**2 + 3. Let u be j(3). Suppose -3*p - u = -5*t, -7*t + 1040 = -2*t - 5*p. Is 53 a factor of t?
False
Let h = 596 - 269. Does 8 divide h?
False
Suppose -2*p + 171 = -2761. Does 22 divide p?
False
Let w = -1802 + 4540. Is w a multiple of 38?
False
Suppose 5*m - 4*z - 1009 = 0, -5*z + 263 = 2*m - 167. Is 4 a factor of m?
False
Let n(g) = -90*g - 40. Let u be n(-9). Suppose 4*b - 2*z + 111 - 701 = 0, -5*b - 4*z + u = 0. Does 25 divide b?
True
Suppose -2108 = -2*p + 2*s, -21 = p + s - 1065. Does 17 divide p?
False
Let i be ((-6)/(-8))/(8/(-32)). Let w be (i/1)/(-3 + 2). Let d(b) = b**3 + 3*b**2 - 2*b - 1. Does 14 divide d(w)?
False
Let y be ((-4)/14)/(2/14). Let b be (6 - -4)*(-3)/y. Suppose -12 = -18*s + b*s. Is s a multiple of 4?
True
Let t(d) = -d**2 + 14*d - 12. Let b be t(12). Suppose -p + 0*p - b = 0. Let j = -5 - p. Is j a multiple of 2?
False
Let t(l) = l - 8. Let m be t(8). Suppose -a + 65 + 23 = m. Is a a multiple of 35?
False
Let f = -27 + 27. Suppose f = -2*c + 2*b + 32, b - 3*b = 6. Is 4 a factor of c?
False
Let t(y) = -2*y**3 + 6*y**2 + 6*y + 125. Let d(r) = -4*r**3 + 11*r**2 + 11*r + 249. Let f(m) = 6*d(m) - 11*t(m). Is f(0) a multiple of 7?
True
Let v = -13 - -16. Let k be 1 - v - (1 - 2). Does 17 divide (32/(-24))/(k/51)?
True
Let t = 0 + 0. Let f = 0 + t. Suppose 2*d + 0*d - 168 = f. Does 28 divide d?
True
Let p(m) = 3*m**2 + 8*m - 2. Let d(b) = b**3 - 6*b**2 - 17*b + 3. Let y(u) = -2*d(u) - 5*p(u). Is y(-3) a multiple of 24?
False
Let d(k) = 146*k - 2. Let x be d(1). Let h = x - 68. Is h a multiple of 10?
False
Suppose -108 = -2*z + 128. Does 26 divide z?
False
Suppose q = 4*c + 26, 4*q + 16 = 5*c + 54. Let u be (-10)/c*(4 - -8). Does 20 divide -3*1/((-3)/u)?
True
Let y(k) = 3*k**2 + 6 + 10*k - 7*k**2 + 3*k**2 - 4*k. Let t be y(7). Is (-42)/((-4)/2 - t) a multiple of 14?
True
Suppose 1944 + 9942 = 21*x. Is 10 a factor of x?
False
Is (-3 + 2)*(-10 - -4 - 70) a multiple of 3?
False
Suppose -r + 7*r = 0. Suppose r*c = -6*c. Does 19 divide 142/(-8)*(c + -4)?
False
Let p(z) = -3*z - 2 + 6*z - 2*z + z + 3*z**2. Let w be p(-2). Is (-2)/w + 1600/30 a multiple of 22?
False
Let z(b) = b - 25. Let v(a) = -3*a + 76. Let k(l) = 4*v(l) + 11*z(l). Let j be k(0). Let n = -3 + j. Is 11 a factor of n?
False
Suppose 0 = -4*j + 2*o - 368, -o + 3*o = 0. Is 13 a factor of j/6*(-36)/8?
False
Is 16 a factor of (-1584)/(-462)*(-154)/(-1)?
True
Let g = -36 + 275. Suppose 0 = -5*c - 3*w + 732, 4*c - g = 3*w + 325. Is c a multiple of 12?
True
Let p be (-63)/12*2/(-3)*4. Is (-4)/p - 3*933/(-21) a multiple of 19?
True
Suppose 0 = 19*v - 107 - 1280. Does 2 divide v?
False
Suppose -2*f - 8 = 0, 16*g - 4*f = 18*g - 770. Does 30 divide g?
False
Let w(i) = i. Let k be w(5). Suppose -k*m = -2 + 7. Is 8 a factor of -3 - m - 34/(-2)?
False
Let v(q) = -q**2 - q + 10. Let c be v(5). Let x be (-5)/(c/(-16)) + 10. Is 24 a factor of (-93 + x)*(-2)/6?
False
Suppose 5*r - 260 = 5*a, -2*a = -8*r + 4*r + 198. Is r a multiple of 2?
False
Let z(n) = n**3 + 15*n**2 + 6*n - 240. Does 20 divide z(-13)?
True
Let r = 154 - 55. Does 11 divide r?
True
Let y(x) = -4*x**2 + 17*x + 9. Let m(z) = -5*z**2 + 18*z + 9. Let j(u) = 5*m(u) - 6*y(u). Let n be (2 - -3)*(-12)/10. Does 9 divide j(n)?
True
Let s be ((-107)/2)/((-1)/2). Let q be 5/(-2 - 15/(-5)) - 3. Suppose -3*t - q*f = -4*f - 86, -5*f + s = 4*t. Does 14 divide t?
True
Let k(l) = l**3 + 5*l**2 - 8*l - 9. Let z be k(-6). Suppose -3*m = z - 9. Is 2 a factor of m?
True
Is (3 - 77192/(-48)) + (-1)/6 a multiple of 10?
False
Suppose 280 - 1085 = -5*l. Is 8 a factor of l?
False
Let i(d) = d**2 + 5*d + 13. Suppose 5*q = 151 + 89. Let p be (q/(-40))/((-2)/(-10)). Is 12 a factor of i(p)?
False
Let w = -52 + 87. Suppose 4 + w = x. Let y = x + -20. Does 13 divide y?
False
Suppose 182 = 3*n - 2*p, -2*n + 141 = -3*p + 18. Suppose 5*k = 3*k + n. Does 3 divide k?
True
Let r be (8 - 7)*(2 + 0). Let y(t) = 3*t**r + 4*t + 2*t - 6*t**2 - t**3. Is 24 a factor of y(-6)?
True
Let p = -31 - -25. Does 22 divide 81/p*(1 + -11)?
False
Let i(t) = 2*t**3 - 3*t**2 - 19*t + 177. Is 33 a factor of i(9)?
True
Let n(u) = 692*u**3 + u**2 - 6*u + 6. Is 63 a factor of n(1)?
True
Let v = -41 + 24. Let l = -13 - v. Suppose 5*j - l*h - 274 = -84, 114 = 3*j - h. Does 12 divide j?
False
Suppose -8238 = 92*c - 98*c. Is c a multiple of 13?
False
Let d(c) = -6*c + 644. Does 7 divide d(0)?
True
Let j be (124/(-6) - -4)/(2/(-12)). Does 17 divide (-3)/(-36)*4 - j/(-6)?
True
Suppose 3*y = 4 + 5. Suppose 435 = 4*t - y*v, 3*t - 5*v - 320 = -4*v. Does 41 divide t?
False
Let b = 892 + -815. Does 11 divide b?
True
Suppose -4*m = -885 - 159. Is 8 a factor of m?
False
Let r = 21 + -21. Suppose r*z + 2*z - 258 = 0. Suppose -5*n - 5*y = -135, -3*y + z = 3*n + 2*n. Is n a multiple of 15?
False
Let v(p) = p**2 - 11*p + 12. Let h = 10 + 2. Does 6 divide v(h)?
True
Let c(s) = 100*s**2 - s + 1. Suppose -6*q = -9*q - 3. Is 34 a factor of c(q)?
True
Let p = 50 - 40. Let l = 6 - -15. Suppose -j + l = -2*q, -3*j - 5*q + 73 - p = 0. Does 6 divide j?
False
Suppose -5*h + 8*h = 108. Suppose 2*g + h = 4*g. Does 9 divide g?
True
Let b(q) be the second derivative of 3*q**3 - 32*q**2 - 6*q. Does 14 divide b(9)?
True
Let h = -17 + 17. Let o be ((h - -1)*0)/(-2). Suppose -2*u - 4*n + 28 = o, -3*u + n + n = -42. Does 14 divide u?
True
Suppose 8*c - 2108 - 44 = 0. Does 32 divide c?
False
Let u = -888 + 495. Let h = u - -655. Is h a multiple of 12?
False
Suppose 2*q = -2*q. Let d = 5 - q. Suppose 4*p - 4 = 0, 4*o + d = -5*p + 22. Does 2 divide o?
False
Let g(l) = 6*l + 0 + 4*l - 8*l + 3. Let y be (-1)/(-2)*(13 + -5). Is g(y) a multiple of 7?
False
Suppose c = 5*d + 14, 3*c - 42 = -2*c - 3*d. Let o = -7 + 4. Is (o + 0)*(-24)/c a multiple of 4?
True
Suppose 5*j + 5*g = -85, -23 = -4*g - 7. Let n = j - -11. Does 24 divide 144/n*(-30)/9?
True
Let u = -839 - -1828. Is u a multiple of 23?
True
Let z = -1443 - -1458. Does 5 divide z?
True
Let h = 1009 + -286. Does 5 divide h?
False
Let a(f) = 3*f. Let k be a(2). Suppose -k*l + 9*l - 57 = 0. Suppose -l = -2*y + 13. Is y a multiple of 8?
True
Let a(l) = -l**3 + 10*l**2 - 6*l - 8. Let i be a(6). Let h = i - 20. Is 20 a factor of h?
True
Let s(x) = 5*x - 4. Suppose z = 4*z - 2*o - 19, 4*z + 5*o = 10. Let r be s(z). Suppose r = -3*m + 84. Is 6 a factor of m?
False
Let j(w) = 2*w - 6. Let r be j(2). Does 24 divide -3*166/(-4) + r/4?
False
Suppose 4*w = -4*t - 4, w + 4*w + 5 = t. Suppose -h + 1 = -1. Suppose t = 3*v - a - 55, 2*v + h*a - 30 = a. Is 12 a factor of v?
False
Suppose 5*w - 330 = 275. Is 11 a factor of w?
True
Let y be 79672/12 + 2/3. Does 20 divide (-4)/3 - y/(-48)?
False
Let c = -1 + 1. Let r be c/(1 - (1 - 1)). Suppose 6*k - 3*k + 2*x = 92, -3*k + 2*x + 100 = r. Does 19 divide k?
False
Suppose -3*n + 16 = 4, -n - 12 = 4*a. Is 18 a factor of (a/3)/((-4)/138) + -3?
False
Let k(i) = i**2 - 9*i - 17. Let v(o) = -1. Let q(g) = -k(g) + 5*v(g). Let y be q(10). Let z(r) = 12*r - 2. Is 11 a factor of z(y)?
True
Suppose 5*q + 11*q = 1024. Suppose 7*d = 11*d - q. Is 4 a factor of d?
True
Let c(y) = -2*y + 3*y**2 + 6*y**3 + 5*y**2 - y**3 + 1 - 4*y**3. Suppose j = -4*q + 13, -15 - 38 = 4*j - 5*q. Is 16 a factor of c(j)?
True
Let v = 37 + -19. Suppose -3*p + 13 = -s, 5*s = p - v - 5. Suppose -3*a + 0*a - p*j = -30, -4*j = -a + 25. Is a a multiple of 3?
False
Let l = 128 - -46