uppose 2*j + 3*t = 8, -4*j + 2*t = 2 - 18. Let p be 5 + (1 - 2) - 2. Suppose 2*a + j*r - 10 = 0, -a = p*r + 3*r + 7. Is 13 a factor of a?
True
Let x(a) = -2*a - 2. Let w be x(-3). Suppose -t = -w + 1. Is 2/t + (-182)/(-6) a multiple of 6?
False
Suppose 2*j + r - 14 = -r, 21 = 3*j - 3*r. Suppose -48 = -10*x + j*x. Is 10 a factor of x?
False
Suppose 0 = f - 2 + 3. Let a = -1 - f. Is (2 - -62) + (a - 4) a multiple of 12?
True
Let t(m) = -2*m**3 + 9*m**2 - 12*m + 10. Let d(l) = -8*l**3 + 36*l**2 - 48*l + 40. Let v(r) = 2*d(r) - 9*t(r). Is v(6) a multiple of 34?
True
Let a = -2546 - -3663. Does 33 divide a?
False
Suppose q = 3*q - 4*k - 244, -4*k = -5*q + 634. Is 10 a factor of q?
True
Let l(d) = d**3 + 9*d**2 + 2*d - 6. Let h(r) = -2*r - 1. Let g be h(3). Does 13 divide l(g)?
True
Let j be (-33)/9*(-23 - (-2 + 3)). Suppose -4*x + 4*d + j = 0, x + 5*d + 2 = -0*x. Is 7 a factor of x?
False
Let n(r) = 57*r + 645. Is 18 a factor of n(6)?
False
Suppose 0 = -2*t - 4*d + 5 + 13, 5*t = -d. Let v be -3 + 4 - (t + -2). Suppose -2*u - 153 = -3*x, -5*x + v*u = -90 - 165. Does 20 divide x?
False
Let n = 510 - 197. Suppose -5*i - 98 = -n. Suppose -2*h + 14 = -3*g + i, -4*g - 2*h + 62 = 0. Does 10 divide g?
False
Let v = -1 - -8. Suppose -4*k = -0 + 4. Let r = v + k. Is r a multiple of 4?
False
Let v = 10 + 182. Is 8 a factor of v?
True
Let m be (-4 + 12/3)/1. Suppose m = -13*n + 10*n + 138. Does 23 divide n?
True
Let k be 3/(-18)*-15*2. Suppose 4*i - k*s = 97, -i - 2*i + 93 = 3*s. Suppose -i = -2*f + 4*g, 0 = 5*f + 3*g + 2*g - 55. Is 6 a factor of f?
True
Let z(t) = 3*t + 71. Is 14 a factor of z(-9)?
False
Let l = 903 + -159. Does 18 divide l?
False
Let w be (15/(-12) + 0)/((-6)/24). Suppose h - 4*i + 23 = 81, w*h = -4*i + 242. Is 10 a factor of h?
True
Let n = 11 + -7. Suppose -2*g - s = -2*s, -n*s + 9 = g. Is (8 - g)*(1 - -5) a multiple of 9?
False
Let k(m) be the first derivative of m**3/3 + 5*m**2/2 - 10*m - 9. Does 11 divide k(-9)?
False
Suppose 49*y - 69*y = -19200. Does 15 divide y?
True
Let w(x) = -518*x + 9. Does 31 divide w(-1)?
True
Suppose 17*a - 6722 = 4090. Does 53 divide a?
True
Suppose 17*k = 32*k - 390. Is 6 a factor of k?
False
Let a = 6 + -18. Let u = a + 14. Suppose -88 = -u*b - 2*b. Is 4 a factor of b?
False
Let i(z) = -5*z**3 + 330*z**2 + 19*z - 56. Is 11 a factor of i(66)?
False
Let g(l) = 41*l**2 + 38*l + 269. Is 102 a factor of g(-8)?
False
Suppose 4*s - 18 = 2. Let d(l) = -16*l - 5. Let i(k) = 3*k + 1. Let n(u) = -d(u) - 3*i(u). Is n(s) a multiple of 7?
False
Let a(k) = k**2 - 4*k. Let z be a(5). Suppose -z*r - 3*c + 22 = 0, 4*r + 5*c - 2*c = 17. Suppose 0*x = r*x - 160. Does 8 divide x?
True
Let c(p) = -p**3 + 4*p**2 + 3*p + 9. Let g(u) = u + 8. Let d be g(-3). Let j be c(d). Is 9 a factor of 31 + 3/(-2 - j)?
False
Suppose 5*o - 25 + 0 = 0. Suppose -t - t - 10 = 0, o*y - 2*t - 180 = 0. Is y a multiple of 15?
False
Let i(k) be the second derivative of k**3 - k**2 - 6*k. Let y be i(9). Let a = 86 - y. Is 17 a factor of a?
True
Let s be -2*(223/2)/(-1). Let b(x) = -5*x**2 + 8*x + 3. Let r be b(-4). Let w = s + r. Does 29 divide w?
False
Let i = 8743 + -6069. Is 14 a factor of i?
True
Let d = 393 + 417. Does 56 divide d?
False
Let x be 1 - ((-7)/(2 + -3) - 4). Does 19 divide (-378)/45*40/x?
False
Let l be (8/16)/((-2)/(-24)) + 3. Suppose -x = -111 - l. Is x a multiple of 24?
True
Suppose 0 = 5*a - v + 29, -a + 0*v - 4 = -2*v. Is 47 a factor of ((-4512)/36)/(4/a)?
True
Let z(d) = -2*d**3 - d - 1. Let s be z(-1). Suppose 4*w - 5*b - 212 = 0, 4*b - 4 = -w + 49. Suppose c - w = -5*r, c - 4*r - 15 = s. Is 11 a factor of c?
True
Suppose 3*w - 2*i = 2671, -2*w + 717 = 2*i - 1077. Does 19 divide w?
True
Suppose 4*i = 0, 3 - 19 = -4*t + 5*i. Is 18 a factor of 134/(5*t/10)?
False
Let n be 1/1*5*1. Let r be (-10)/(-4)*8/n. Suppose 5*c - c + 2*t - 24 = 0, -2*t - 32 = -r*c. Is c a multiple of 7?
True
Does 4 divide 87 + ((2 + 3)/5 - 2)?
False
Suppose 641 + 1107 = 4*k. Let f = -291 + k. Is f a multiple of 51?
False
Let o(w) be the third derivative of 23*w**4/8 + 25*w**3/6 - 32*w**2. Is 58 a factor of o(3)?
True
Let j(n) = 5*n - 48. Let t(z) = -2*z + 24. Let m(u) = 4*j(u) + 9*t(u). Does 11 divide m(9)?
False
Let c = 2328 - 1454. Does 24 divide c?
False
Suppose 22 = 4*h - 10. Is 21 a factor of (42/(-5))/(h/(-80))?
True
Let k = -1457 - -3473. Is k a multiple of 126?
True
Let v be (-2 - -1)/(2/70). Let w = v - -69. Is w a multiple of 17?
True
Let m = 5 + -5. Let f = m + -3. Let u = 26 + f. Does 23 divide u?
True
Let w = 2 + -26. Let y = w - -42. Does 9 divide y?
True
Suppose 0*v + v - 256 = 0. Is 8 a factor of v?
True
Let w(r) = -r**3 + r**2 + r + 15. Let a be w(0). Suppose a = -3*x + 54. Is x a multiple of 13?
True
Let a(y) = 5*y**2 - 22*y - 26*y**2 - 9 + 5 + 0 - y**3. Is a(-20) even?
True
Let g be 2*1*12/8. Suppose 3*c - g*w + 4*w = -14, -w = -c - 2. Is 15 a factor of (-15)/c*20/5?
True
Let a(t) = -3*t**3 + 11*t**2 - 17*t + 11. Let z(v) = -v**3 + 1. Let p(l) = -a(l) + 2*z(l). Let c be p(11). Let m = c + -84. Is 26 a factor of m?
False
Suppose -f = -48 - 8. Suppose 4*q - 71 + 9 = -w, 2*w = 4*q - f. Suppose -21 = -3*v + q. Does 6 divide v?
True
Suppose 30 = -8*p + 14*p. Is 7 a factor of 54/4 + p + (-11)/2?
False
Let h = 2 - 2. Suppose 2*y + 5*i - 20 = h, -12 = 5*y + 2*i - 5*i. Suppose -5*x + 2*u - 5*u + 69 = y, u = -3*x + 39. Does 5 divide x?
False
Let u(k) = 7*k**2 - 5*k + 3. Let b(z) = 13*z**2 - 9*z + 7. Let y(n) = 6*b(n) - 11*u(n). Suppose -s + 0*s = 0. Does 9 divide y(s)?
True
Let v(w) = -w**3 + 5*w**2 + 2*w - 2. Let y be v(5). Suppose y*i - 753 = 5*i. Suppose x + 5*l = -0*x + 65, i = 3*x + l. Is x a multiple of 28?
False
Suppose -2*q = -5*c + 10, 5*q + 15 = 5*c + 4*q. Let x(w) = -5*w**2 - c + w**2 + 5*w**2. Is 5 a factor of x(-3)?
True
Let h(o) = -o**2 + 2*o + 2460. Is h(0) a multiple of 82?
True
Suppose 0 = 5*d + 3*d - 1416. Suppose 3*h = -5*r + d, -2*r - h = 23 - 93. Is 5 a factor of r?
False
Let a = -1 - 4. Let q(u) = -12*u - 2. Let y be q(a). Let r = -38 + y. Is r a multiple of 10?
True
Suppose 0 = o - 5*k + 9, 3*o + 0*k = -k + 21. Suppose 0 = a - o*a + 170. Does 34 divide a?
True
Let x = 1615 - 1075. Is x a multiple of 27?
True
Suppose -5577*z = -5581*z + 10200. Is z a multiple of 51?
True
Suppose -4*l + 5 = -9*l. Is l/((-4)/(-27))*(-336)/9 a multiple of 21?
True
Suppose -69*b + 72*b = -1095. Let j = -187 - b. Is 13 a factor of j?
False
Let s(o) = -49*o + 42. Is 16 a factor of s(-6)?
True
Let t = -55 - -88. Suppose -t = -2*k + 47. Is k a multiple of 5?
True
Suppose 2*q - 324 = -2*n, 3*n - 6*n + 489 = 2*q. Suppose m = -2*m + n. Does 11 divide m?
True
Suppose i = -4*u - 666 + 109, -20 = 4*i. Let c = 198 + u. Does 20 divide c?
True
Let j be -6*(20/(-12))/5. Suppose g = 4*u + 7 + j, -2*g + 3*u = -33. Is (-147)/2*(-14)/g a multiple of 14?
False
Let k(f) = -12*f + 0*f - 2 + 7*f + 11*f**2 + f**3. Does 11 divide k(-11)?
False
Suppose 11*x - 30*x = -37240. Is x a multiple of 4?
True
Let m(y) = 24*y**2 - y. Suppose s + 4*a - 4 = -s, -5*a = 20. Let u = s - 9. Does 10 divide m(u)?
False
Let m(y) = 2*y**2 - 2*y + 9. Let j be m(6). Suppose -j = -u + 26. Is u a multiple of 19?
True
Let g(x) = -x**3 - 11*x**2 - 17*x - 7. Let y(s) = -s**2 - s + 1. Let u(h) = g(h) - 6*y(h). Let z = 1159 + -1165. Is 11 a factor of u(z)?
False
Suppose 2*n = 2*m + 44, -30 = -4*n + 5*m + 60. Suppose z = -2, 3*a + 0*z - n = z. Does 2 divide a?
True
Suppose 9*a = 4*a + 15. Suppose 5*d - 2*f + 853 = 0, 0*d - a*d = 2*f + 515. Let z = -94 - d. Is 20 a factor of z?
False
Suppose 5*l - u = -0*l + 25, -2*l + 4*u - 8 = 0. Is l a multiple of 3?
True
Let k be (-52)/(-14)*((-36)/(-4) + -2). Let m = k - -19. Does 15 divide m?
True
Let l(c) = -38*c + 244. Does 106 divide l(-7)?
False
Let w(k) = k**3 - 4*k**2 + 4. Let h be w(4). Suppose 4*d - 2*z - 156 = 0, -2*d - 2*d + 132 = h*z. Suppose 52 = v + 3*x - 6*x, -v - 2*x = -d. Does 14 divide v?
False
Suppose 164*c = 136*c + 39424. Does 8 divide c?
True
Let q(t) be the third derivative of -19*t**4/24 - 5*t**3/6 + 17*t**2. Is 11 a factor of q(-2)?
True
Let m(j) = -j**2 + 3*j - 4. Let t be m(-7). Let p = -159 - -53. Let v = t - p. Does 16 divide v?
True
Suppose 0 = 5*z - 4*p - 30, 0*z + 5*p + 27 = z. Suppose 2*y + r = -3*y + 17, -y = -z*r - 10. Suppose