4?
False
Suppose 3*p = 3*w - 1374, -2*w = -3*p - 0*p - 921. Is 13 a factor of w?
False
Let i(t) = -4*t**2 + 46*t - 27. Let l(v) = -v**2 + 15*v - 9. Let p(j) = 2*i(j) - 7*l(j). Suppose g - 2 = -11. Is 23 a factor of p(g)?
False
Suppose 49*i - 54*i - 10 = 0. Is (111/i)/((-15)/20) a multiple of 19?
False
Let h(n) = 8*n**2 + 2*n + 3. Let l be h(-1). Suppose -84 = l*x - 12*x. Is 5 a factor of x?
False
Let k(d) = -d**3 + 10*d**2 - 10*d + 14. Let w be k(9). Suppose r - 2*z - 192 = -z, 0 = w*z. Is r a multiple of 12?
True
Suppose 0 = -0*y + 5*y - 15. Suppose 0*j + 2*j = -2*f + 178, y*f - 355 = -4*j. Is 13 a factor of j?
False
Suppose -9*t + 428 = -5*t + 2*m, 107 = t + 3*m. Suppose -2*x + t = v, 3*v - 4*x = 323 - 42. Is v a multiple of 33?
True
Let y = -27 + 22. Let z be 80/(-12)*(y - 1). Let f = -17 + z. Does 10 divide f?
False
Let m = -119 - -168. Let w = m + -113. Let q = w + 98. Is q a multiple of 12?
False
Let k = 8 + -3. Let b(p) = p**3 + 12*p**2 + 4. Let m be b(-12). Suppose 0 = -x + k + m. Is x a multiple of 9?
True
Let b(z) = z**3 + 12*z**2 + 18*z - 11. Let i be b(-10). Suppose -i*u + 168 = -3*u. Is 7 a factor of u?
True
Let y(q) = q**3 - 9*q**2 - 9*q - 6. Let l be y(10). Suppose -3*a - 2*s = -l*a - 12, -4*a = 4*s + 48. Let o = a + 30. Does 11 divide o?
False
Let h = 5061 - 2931. Does 71 divide h?
True
Suppose -2*v = -3*y - 397 - 28, 4*y - 1005 = -5*v. Does 6 divide v?
False
Let n(w) = 6*w**2 - 3*w - 3. Suppose 5*i = -17 + 42. Does 39 divide n(i)?
False
Suppose 2*r + r = -15. Let f(v) = v**3 + 6*v**2 + 2*v - 12. Let y be f(r). Suppose 0 = -2*t - t + 12, -87 = -w + y*t. Is w a multiple of 33?
True
Suppose -5*l - 4 = 3*z - 41, -z + 2*l = -5. Let f = -189 - -269. Suppose z*m - f = 4*m. Does 8 divide m?
True
Let r(d) = -101*d - 5. Let b be r(-3). Suppose 2*q + b = 3*m, 2*m - q + 0*q = 199. Does 9 divide m?
False
Suppose 60 = 10*q + 2*q. Suppose 105 = q*j - 0*j. Is j a multiple of 17?
False
Suppose 2912 = 4*j - 4*w, -3*j + w + 1456 = -j. Does 12 divide j?
False
Is (-223111)/(-105) + -1 + (-17)/(-15) a multiple of 25?
True
Let x(u) = u**3 - 14*u**2 + 19*u - 12. Let j be x(12). Let p = j + 127. Is 6 a factor of p?
False
Suppose 3*t = 9*t - 18. Suppose 0*i + 9 = t*i - z, 0 = -5*z. Suppose -i*h - 4*y + 157 = 0, -5*y = -2*h - 0*y + 97. Does 10 divide h?
False
Let y(z) = z**3 - 3*z**2 - 2*z - 5. Let r be y(4). Let b = -103 - -175. Suppose 7*n - b = r*n. Is 18 a factor of n?
True
Suppose -10 + 18 = -2*t. Is 7 a factor of -28*(-5)/(-3)*6/t?
True
Let z(q) = 44*q + 9. Let j(c) = -89*c - 19. Let x(y) = 3*j(y) + 5*z(y). Let g be x(-6). Suppose -5*a + g = -0*a. Is 33 a factor of a?
False
Let c = 38 + -33. Suppose 4*u = -5*b + 101, -27 = -3*u - c*b + 55. Is u a multiple of 8?
False
Suppose -2*v + v = 4*r - 699, -3*v = 5*r - 2083. Does 10 divide v?
False
Let v(n) = 3*n**2 + 4*n - 3. Is 18 a factor of v(3)?
True
Suppose 32*d - 10037 = 939. Is 49 a factor of d?
True
Suppose 0 = -2*z - c + 33, -2*z + 36 = 2*z - 4*c. Let s be 4/z + (-720)/(-28). Suppose 29 = 5*f - s. Does 9 divide f?
False
Let a = -26 - -28. Let s be 12 - (a/2 - 3). Is (1 - (-12)/(-4)) + s a multiple of 3?
True
Suppose -3*o + a = -6*o + 484, 2*a - 644 = -4*o. Is 18 a factor of o?
True
Let r(y) = 3*y**3 - 6*y**2 - y + 5. Let i(u) = -16*u**3 + 31*u**2 + 6*u - 26. Let n(k) = -2*i(k) - 11*r(k). Is n(-4) a multiple of 33?
False
Suppose -1476 = -16*f + 636. Does 33 divide f?
True
Suppose -4*c + 12*c - 5984 = 0. Is c a multiple of 34?
True
Let s(i) = 44*i - 2. Suppose -5*x + x = -8. Let h be s(x). Suppose 0*z + 2*z + h = 2*c, c - 3*z - 49 = 0. Is c a multiple of 20?
True
Let y = -56 - -60. Is 19 a factor of -3*y/(-6)*348/8?
False
Let q be (-4 + -42)*(-1 + 0/1). Let m = -19 + q. Is m a multiple of 7?
False
Let d be (-1 + -4)/(0 + -1). Suppose 300 = 10*z - d*z. Is 20 a factor of z?
True
Let w = -2967 + 5007. Is w a multiple of 52?
False
Let w be 14 + (0 - (0 + 3)). Let u(o) = -6 - 1 + w + 8*o - 1. Is 18 a factor of u(11)?
False
Suppose -3*g + 11 + 4 = 0. Let d = -2 + g. Suppose -k + 45 = d*u, 0*u - 3*u - 3*k = -39. Is u a multiple of 16?
True
Let g be ((-24)/(-4))/3 + -2. Suppose 25 = 5*f + 2*q, f + q + 4*q - 28 = g. Is 15 a factor of (-552)/(-18) - 2/f?
True
Let g(u) = 3*u**2 + 17*u - 2. Let v be g(6). Let w = v + -148. Does 20 divide w?
True
Let d = -926 - -2706. Does 50 divide d?
False
Let s = 620 + -242. Suppose -247 = -5*u + s. Suppose -8*i - u = -13*i. Is i a multiple of 5?
True
Suppose 3*c + 24*d - 25*d - 7716 = 0, 0 = 5*c - 4*d - 12853. Is 80 a factor of c?
False
Suppose 4*i - 2*i = 0. Suppose i = -3*b - 2*l - 1, b + l = 2*b + 7. Does 15 divide (b - 1/(-2))*-6?
True
Let w = 1361 + -200. Is w a multiple of 21?
False
Suppose -2*m = m. Let g be (-27 - m)*24/(-9). Suppose -g = -3*y - 0*y. Is 13 a factor of y?
False
Let v be ((-10)/2)/((-1)/(-2)). Let z be 5/(v/(-3))*6. Suppose z*f - 10*f = -38. Is 8 a factor of f?
False
Let u(m) be the first derivative of 11*m**3 - 5*m**2/2 - 12*m + 5. Does 26 divide u(-2)?
True
Let r be 7 - 3 - (-58 - -2). Does 3 divide r/14 + 4/(-14)?
False
Let n(p) = -4*p**3 - 65*p**2 - 41*p + 23. Let t(g) = g**3 + 16*g**2 + 10*g - 6. Let a(l) = -2*n(l) - 9*t(l). Is 30 a factor of a(-14)?
True
Let j(r) = -r**3 - 4*r**2 - 28*r + 9. Is j(-7) a multiple of 22?
True
Let u(a) = 40*a**2 + 12*a - 37. Is u(6) a multiple of 89?
False
Let q(d) = d - 23. Let n(a) = 2*a - 70. Let u(i) = -3*n(i) + 8*q(i). Does 5 divide u(-6)?
False
Let t(p) = 8*p - 7*p + 0*p + p. Does 6 divide t(9)?
True
Let i = -120 + 132. Does 4 divide i?
True
Let o = -25 - -31. Let w(u) = u**2 + 2*u + 4. Is w(o) a multiple of 26?
True
Suppose 9 = -4*i + 25. Let y be 21*1*i/6. Is 6 a factor of -8 + 6 + y*2?
False
Suppose -8*q = -5*q + 5*t - 446, 296 = 2*q + 3*t. Is q even?
True
Suppose -3*a + l + 472 = 0, -5*a - 37 = -4*l - 833. Does 9 divide a?
False
Let w(y) = -9*y + 18*y**2 + 3*y + 17 - 31*y + 2*y**3 - 3*y**3. Is w(15) a multiple of 40?
False
Suppose 46 = 5*b - c - 93, -4*b + c + 111 = 0. Let z be (-3)/6*(0 - 0). Suppose z = 4*j + s - b, -j = 4*j - s - 26. Is j even?
True
Let p = 30 - 26. Suppose 4*c - 284 = -p*r, 3*r + 5*c = 95 + 110. Is r a multiple of 21?
False
Suppose 219 = w - 10*l + 8*l, 0 = 2*w + 2*l - 456. Is w a multiple of 25?
True
Suppose 4*p = 3*t + 1344, 4*t = -24*p + 27*p - 1008. Is 7 a factor of p?
True
Let l = 11 + -9. Suppose 0 = 4*o - 9*o + l*t - 4, -10 = -o + 4*t. Let s(r) = 6*r**2 + 3*r + 3. Is 7 a factor of s(o)?
True
Let x = 220 + -10. Is x a multiple of 14?
True
Suppose 0 = -22*g + 9*g + 4615. Suppose 5*n + 10 = g. Is n a multiple of 23?
True
Let a(v) = 1 + 3*v - v**2 + v + 5*v - v. Does 3 divide a(7)?
False
Suppose 37119 + 195981 = 100*s. Is s a multiple of 111?
True
Let h = -1631 + 2838. Does 54 divide h?
False
Let p = -41 - -46. Suppose 4*t - 3*c - 180 = 0, p*t - 214 = 2*c - c. Is 7 a factor of t?
True
Let c(a) = 0*a**2 - 2 - 3*a + a**2 - 4. Suppose -8 = 2*h + 2. Is c(h) a multiple of 26?
False
Suppose -w + 43 = f, -4*f - 56 = -3*w + 45. Let t = w - 23. Suppose -3*d = -0*g + g - 48, 0 = d - g - t. Is 4 a factor of d?
True
Let r(y) be the second derivative of -2/3*y**3 - y**2 + 1/12*y**4 + 0 - 4*y. Does 10 divide r(-4)?
True
Let a = 574 + -302. Is 16 a factor of a?
True
Suppose 0 = -3*p - 4*b + 32, -2*b = -4*p + 7 - 1. Suppose 0 = 4*k - d - d - 134, k - 44 = p*d. Does 8 divide k?
True
Let a(x) = x**3 + 3*x**2 - 9*x - 9. Let z be a(5). Suppose -z = -4*j + 46. Is j a multiple of 8?
True
Suppose -m = 4*x + 2*m - 237, x = 5*m + 65. Suppose 0 = 5*i - 6*i + x. Does 12 divide i?
True
Suppose 0 = -5*b - 0*v - 3*v + 867, b = 5*v + 179. Let t be (b/(-18))/(1/(-3)). Let u = t - 24. Is 4 a factor of u?
False
Suppose -15*n = -17*n + 4. Suppose 0*s + n*u - 9 = -3*s, -3 = -s + 5*u. Suppose 61 = s*y + 10. Is 17 a factor of y?
True
Let h(f) = -3*f - 3*f - 10*f + 11 - f**2. Does 14 divide h(-15)?
False
Suppose y + 27 = -5*b, 11 + 13 = -2*b + 4*y. Let x be (16/b)/(6/(-171)). Is 3 + x/(-3 - -4) a multiple of 17?
False
Let c be (2/1)/(16/(-186))*4. Is (c/(-9))/(5/(-25))*-3 a multiple of 36?
False
Let c(v) = 326*v - 288. Is 23 a factor of c(5)?
False
Suppose z - 2*v - 20 = 0, -3*z = 2*v - v - 25. Suppose -y + z*w - 5*w + 1 = 0, -w - 38 = -2*y. Is 7 a factor of y?
True
Is (9 - 12/2) + 382 a multiple of 35?
True
Let n = 