**j. Is 4 a factor of b(-1)?
False
Let u(d) = -52*d + 1. Let t be u(2). Let b = t + 290. Is 11 a factor of b?
True
Let f = -58 - -84. Does 7 divide f + 5/((-5)/(-2))?
True
Suppose -223 = 3*q - 2*r, 5 + 7 = -3*r. Is q/(-5) - 7*4/70 even?
False
Suppose -3*v = 3*m - 972, -16*m + 13*m = -6. Does 3 divide v?
False
Let p = 972 - -330. Is 62 a factor of p?
True
Suppose 657*t = 658*t - 273. Does 21 divide t?
True
Let i(c) = 117*c**3 - c**2 - 2*c - 1. Let q be i(-1). Is (q/(-12))/(3/16) a multiple of 9?
False
Let c(w) = -3*w**3 - 13*w**2 + 9*w - 27. Let q(o) = 2*o**3 + 6*o**2 - 5*o + 14. Let d(l) = -3*c(l) - 5*q(l). Does 12 divide d(6)?
False
Suppose -r - r + 210 = 3*x, 5*r - 3*x = 525. Let o be ((-2)/6)/((-7)/r). Suppose 5 = 3*h + o*z + 2, -5*h = 3*z - 21. Is h a multiple of 2?
True
Is 9 a factor of (315/(-36) + (-2)/8)*-17?
True
Let y(g) = -g**2 - 3*g + 7. Let f be y(-5). Let a(u) be the first derivative of -13*u**2/2 + 3*u - 35. Is a(f) a multiple of 7?
True
Let j = -8 - -8. Let l be (3 - 5/2)*j. Suppose -3*q + 7*q - 84 = l. Does 9 divide q?
False
Let f be -2 - 15 - ((-2)/1)/1. Let b = 71 + f. Is 8 a factor of b?
True
Does 29 divide -6*(534/(-4) - -4)?
False
Suppose -169*h + 161*h + 8864 = 0. Is 55 a factor of h?
False
Suppose -22*n - 1692 = -31*n. Does 21 divide n?
False
Suppose 12 = -0*q + 3*q. Let m be -7*(-13 - (q - 2)). Let j = m + 12. Is 39 a factor of j?
True
Suppose -7079 = -11*t + 7551. Is t a multiple of 10?
True
Let k(j) = 1. Let u(g) = 7*g + 22. Let i(f) = 5*k(f) - u(f). Is 10 a factor of i(-11)?
True
Let g(t) = 15*t**2 - 20*t + 147. Is 95 a factor of g(12)?
False
Let s(x) = 12*x + 20. Is 13 a factor of s(4)?
False
Suppose -2*y - 2*b = -334 - 404, 3*b + 1077 = 3*y. Is y a multiple of 26?
True
Let n(b) = -5*b**3 + 2*b**2 - 2*b + 17. Is 45 a factor of n(-5)?
False
Suppose -65 = -3*p + 4. Suppose 0 = -2*v + p - 5. Let t = 0 + v. Is t a multiple of 9?
True
Let x = 76 + 22. Is x a multiple of 36?
False
Let o(l) = -4*l**2 + 5*l + l**2 + 0*l**2 + 4*l**2. Does 13 divide o(-11)?
False
Let b = 1500 - 720. Does 60 divide b?
True
Let m(d) = d**2 + 7*d - 6. Let w be m(4). Let i(x) = -3*x**2 - 5. Let l be i(-2). Let f = l + w. Is f a multiple of 9?
False
Suppose 2*f - 1200 = 6*f. Let q = -200 - f. Is 20 a factor of q?
True
Suppose 0 = 38*i - 34*i - 8. Suppose 0 = -2*r + 3*h - 17 + 74, 5*r + i*h = 114. Does 8 divide r?
True
Let i = -3133 - -7453. Does 90 divide i?
True
Let s be -7*((-120)/14 + 0). Suppose 5*x = 4*x + s. Is 30 a factor of x?
True
Suppose -4*p = -12*p + 2640. Is p a multiple of 30?
True
Let l = -9 - -13. Is 4 a factor of l?
True
Let f be (-4 - (-55)/10)/((-2)/(-116)). Is 18 a factor of 4*(-4)/8 - (-1 - f)?
False
Let d = -110 + 330. Is d a multiple of 10?
True
Let g = -417 - -569. Is g a multiple of 10?
False
Suppose 722 = 3*t + 21*a - 17*a, -2*a = 3*t - 724. Does 5 divide t?
False
Let m(x) = -5*x**3 + x**2 - 4*x + 2. Let l(n) = -10*n**3 + 2*n**2 - 9*n + 5. Let p(i) = -2*l(i) + 5*m(i). Is 16 a factor of p(-2)?
True
Suppose -6*o + 642 = -6. Does 12 divide o?
True
Does 42 divide (-9)/99 - 84396/(-44)?
False
Let p be (-10)/(-2 + (-10)/(-4)). Is (-1)/(41/p + 2) a multiple of 5?
True
Suppose -f + 83 = 5*j, -4*f - 3*j - j + 348 = 0. Is 4 a factor of f?
True
Let q be (-116)/(-12) + (-2)/(-6). Let w = q - 14. Does 22 divide (0 + w)*(-10 + 1)?
False
Let s = -856 - -1439. Is s a multiple of 13?
False
Suppose 4*w + 2*d - 50 = 0, 0*w - 4*d + 67 = 5*w. Let v be w/(1 - (1 + 1)). Let x(i) = -i + 4. Is x(v) a multiple of 15?
True
Suppose -825 = -4*k - 3*z, -2*z = -3*k - z + 635. Is 28 a factor of -36*((-6)/(-15))/((-9)/k)?
True
Is (4002/7)/(169/1183) a multiple of 138?
True
Let b(z) = 7*z**3 - 13*z**2 + z + 2. Let h(q) = 6*q**3 - 12*q**2 + q + 2. Let f(j) = -5*b(j) + 6*h(j). Let d be f(8). Suppose -22 = 4*k - d. Is 3 a factor of k?
False
Let z be -3 - -5*(-54)/(-2). Suppose -8*g = -4*g - z. Is 4 a factor of g?
False
Suppose 4*u + 5*m - 8568 = 0, 21*u - 10669 = 16*u + 4*m. Is u a multiple of 21?
False
Let g(a) = -87*a**3 + 6*a**2 + 10*a + 11. Does 101 divide g(-2)?
False
Let i(s) = s**2 + 14*s - 15. Suppose 46 = -3*n + x, n - 27 = 2*n + 2*x. Is 9 a factor of i(n)?
True
Let o(u) = u**2 - 5*u - 9. Let b be o(6). Let s(t) = -35*t + 3. Is 13 a factor of s(b)?
False
Suppose -151*f + 138*f + 7761 = 0. Is 27 a factor of f?
False
Let a = -78 + 75. Is (0 - (a - -3)) + 70 a multiple of 7?
True
Let t be 10/25 - (-172)/20. Let s = -12 + t. Is 25 a factor of ((-12)/4 - s) + 100?
True
Let t(y) = 2*y - 19. Let o be t(11). Suppose 0*k = -o*g - k + 274, 5 = 5*k. Does 14 divide g?
False
Suppose 4*k + 2*o - 1344 = k, -o = 0. Is 90 a factor of k?
False
Let x = -27 - -7. Let f = 140 + x. Is 20 a factor of f?
True
Suppose -34*r = -8*r - 858. Is r a multiple of 6?
False
Let j be (-1 + (-18)/(-14))/((-31)/217). Does 21 divide (-951)/(-9) + j/3?
True
Let p(g) = -3*g - 1. Let y be p(-4). Let n = -9 + y. Suppose 3*r = n*i - 105, 0 = 5*i - r + 4*r - 231. Is i a multiple of 16?
True
Let n(q) = -q**2 - 30*q - 91. Let j be n(-27). Let m(i) = 4*i + i**3 + 15*i + 12*i**2 - 5*i + 7. Does 18 divide m(j)?
False
Suppose 3*z + 2374 = 5*t - 3706, 4*t + 4*z = 4896. Does 10 divide t?
False
Let l(f) = f + 12. Let u be l(-12). Suppose -4*j + 208 = -u*j + 3*m, 2*j - 82 = 4*m. Is 25 a factor of j?
False
Suppose -2*v + 3*f + 2278 = 0, -3*v + 178*f + 3415 = 174*f. Is 10 a factor of v?
False
Suppose 0 = -5*b + 3*d + 107, 0*d + 15 = b + d. Let f = b + 23. Suppose f = 4*s - 54. Is s a multiple of 8?
True
Let o(t) be the second derivative of -15*t**2/2 - 3*t. Let z(r) = -r + 1. Let d(s) = -o(s) - 2*z(s). Is 3 a factor of d(-3)?
False
Let t(c) = -c**3 + 10*c**2 - 7*c + 4. Let h be t(8). Suppose -4*v + h = 4*o - o, 2*o = 4*v + 24. Is o a multiple of 16?
False
Let r(g) = 73*g - 342. Is r(6) a multiple of 22?
False
Let r = 27 - 35. Let v = 9 + r. Does 9 divide v*44*20/16?
False
Let c = -66 + 69. Is 3 a factor of (-35)/(-4 - (0 - c))?
False
Let o(t) = t**3 - 5*t**2 + 3*t + 2. Let y = 4 + 1. Does 3 divide o(y)?
False
Let t be (3 - 10/3)*-9. Suppose -38 = t*n + 13. Let v = 55 - n. Is 18 a factor of v?
True
Let t(d) = -d**2 + 17*d - 16. Let c be t(12). Let h = c - 36. Is h a multiple of 7?
False
Suppose 3*j - 3*a = 36, 0*a = 5*j - 4*a - 59. Is ((-7)/3)/(j/(-759)) a multiple of 30?
False
Suppose 14*z - 40*z = -234. Suppose y + 4*y = 30. Suppose -y - z = -3*s. Is s a multiple of 2?
False
Suppose 0 = 2*w + 5*a - 246, -74*w - 5*a = -69*w - 630. Is w a multiple of 4?
True
Let l(k) = k**3 - 7*k**2 + k + 5. Let x be l(7). Is 909/x + 5/20 a multiple of 19?
True
Let y be 3 - (-2)/(6/459). Suppose -y*z = -151*z - 700. Is z a multiple of 14?
True
Let l(f) = -16*f + 10*f - 5 + 8*f. Does 24 divide l(21)?
False
Let x be ((-44)/(-8) - 3)*-16. Let u be ((-4)/10)/(4/x). Suppose -u*q - q - 153 = -2*t, 4*t - 267 = -3*q. Is t a multiple of 17?
False
Let t(a) = -a**3 - 4*a**2 - 10*a - 31. Does 26 divide t(-9)?
False
Suppose 0 = 10*m - 189 + 2799. Let t = m - -385. Is t a multiple of 31?
True
Let b(c) = c**2 + 8*c - 5. Let m be b(-9). Let v be (-9)/(-4)*64/m. Is 11 a factor of (15/(-12))/((-3)/v)?
False
Let n = -881 + 1371. Is n a multiple of 29?
False
Let w(t) = 2*t**2 - 10*t + 2. Let i be w(5). Suppose 3*h + 161 = 4*r, 2*r - i*h - 82 = -0*r. Does 14 divide r?
False
Suppose 4*n + 2*l + 433 = -n, 5*l = -3*n - 275. Let y = n - -146. Does 10 divide y?
False
Let v(j) = 2*j**2 + 0 - 5*j**2 + 11*j**2 + 4. Is v(4) a multiple of 27?
False
Let b = -7 - -12. Suppose b*x - 146 = -5*h + 649, -5*x - 805 = -5*h. Does 14 divide h?
False
Let o = 14 + -5. Suppose 0 = -4*w - o + 65. Let y = 1 + w. Is 15 a factor of y?
True
Let y be (-12)/3 - (2 - 37). Let i = y - 28. Suppose -i*s + 41 + 49 = 0. Is 7 a factor of s?
False
Let r = 60 - 33. Suppose -20 = -5*c, -4*c + r + 1 = 4*f. Suppose f*a + 2*a = 180. Is a a multiple of 15?
False
Let p be -6 + (0 - 1 - -1). Let a(q) = 4*q**2 - 4*q + 8. Let z be a(3). Let x = z + p. Does 13 divide x?
True
Let c = -7 - -9. Suppose 5*b = c*b. Suppose b*q = 4*q - 124. Is q a multiple of 24?
False
Suppose -3*y + 65 = 4*f, f - 2*y - 40 = 2*y. Suppose 0*l - 4*b = -l + 99, 0 = -5*b - f. Does 13 divide l?
False
Suppose -x + 1968 = 48. Suppose 0 = -7*y - 5*y + x. Is 32 a factor of y?
True
Suppose 0 = 4*k + 5*u - 5007, -10*u