 Let t = 33 + d. Is t a multiple of 6?
True
Suppose 0 = 3*a - 3 - 3. Suppose a*k + 10 + 120 = 0. Let d = -35 - k. Does 6 divide d?
True
Let z = -94 - -49. Let j = 148 + z. Does 17 divide j?
False
Let k(y) = -y**3 - 38*y**2 + 24*y + 48. Is k(-40) a multiple of 35?
False
Is 15 a factor of -4 + 2155/10 - (-3)/(-2)?
True
Suppose -4*n + 10 = -14. Let m(p) = 2*p**3 + 2*p**2 - 3*p + 8. Let h(k) = 2*k**3 + 2*k**2 - 2*k + 7. Let x(b) = n*h(b) - 5*m(b). Is x(3) a multiple of 21?
False
Suppose j - 3*j + 10 = -4*z, 3*j = 4*z + 21. Suppose 5*w - 4*w - j = 0. Suppose 3*k - w = -2. Is k even?
False
Suppose 4*k + a - 77 = 38, -5*k - a + 145 = 0. Is 26 a factor of (-225)/(-8) + k/(-240)?
False
Let r = -776 + 1315. Suppose -6*u - u = -r. Is u a multiple of 11?
True
Suppose 4*n = -4*j + 4, -j - 4*n - 15 = -4. Suppose 4*l - 3*s - 206 = 0, -3*l - j*s = -4*s - 148. Is l a multiple of 10?
True
Suppose 21*s - 2*s = 2812. Does 4 divide s?
True
Suppose 2*t = -n + 31 + 1253, -n + 1298 = -5*t. Is n a multiple of 8?
True
Suppose 16 = -2*t + 4*v - 9*v, 5*v + 1 = 3*t. Let m be (t*1)/((-7)/210). Suppose -s - m = -3*s. Is 9 a factor of s?
True
Let y(b) = b + b - 11 - 4*b. Let f be y(-7). Let r = 41 - f. Is 19 a factor of r?
True
Let l(b) = 2*b - 5. Let s be l(10). Let m be ((-6)/s)/((-1)/5). Is 3 a factor of ((-3)/m)/(3/(-6))?
True
Let l(o) = o**3 + 10*o**2 - 11*o. Let i be l(-11). Suppose -5*m - 5 = i, -4*w - m = 3*m - 712. Is w a multiple of 38?
False
Suppose p + 2 = 2*p. Suppose 10 = p*f + 2. Suppose f*m = 2*a - 70, 3*a - 72 = 3*m + 48. Is a a multiple of 13?
False
Let w = -291 - -429. Is 3 a factor of w?
True
Let o = -52 - -58. Let n(t) = t**2 - 5*t - 12. Let y be n(9). Suppose o*x = y + 48. Is 12 a factor of x?
True
Let d(b) = b**2 + 36*b - 77*b - 2 + 30*b + 5. Is d(12) a multiple of 5?
True
Suppose -x - 2*x = -4*x. Let o be 0*((0 - -2) + -3). Is o + 26 - (x - -3) a multiple of 10?
False
Suppose 82 = -3*t + 2*b, -2*t + 4*b - 90 + 22 = 0. Let n = 21 - t. Is n a multiple of 23?
False
Suppose 48 = b + 2*b. Suppose 0 = -r + 4*f + b, -f - 2*f = r - 51. Suppose -2*p + 2*i - 4*i = -12, 2*i = -5*p + r. Is p a multiple of 8?
True
Is 8 a factor of (-1)/(-1)*(1795 - (-12)/(-1))?
False
Let g(f) = 20*f**2 - 1. Let c be g(-3). Let h = c - 102. Does 7 divide h?
True
Let f be (-8)/(-40) + 154/5. Let c = f + -29. Suppose 4*z - 206 = -5*l, c*z + 42 - 124 = -2*l. Does 21 divide l?
True
Suppose -5*x - 3*n + 1749 = 0, 0 = x - 0*x + 4*n - 360. Suppose 5*t = t + s + 696, -5*s = -2*t + x. Does 17 divide t?
False
Suppose 0 = 117*u - 122*u + 1495. Is 23 a factor of u?
True
Let f(v) = v**3 + 6*v**2 - 8*v - 5. Let l be f(-7). Suppose -36 = -l*h + o, -43 - 6 = -3*h + 4*o. Does 4 divide h?
False
Let b(q) = q + 16. Let h be b(-14). Suppose -l = 3*j - 0*j - 2, h*l + 3*j - 13 = 0. Is l a multiple of 2?
False
Suppose -3*d + 37 = 4*w, -d - 13 = -2*d - 2*w. Suppose 4*l - l = 21. Let a = d - l. Does 4 divide a?
True
Suppose 52*i - 3200 = 44*i. Is 25 a factor of i?
True
Suppose 4*a - 24 = -4*i, 0 = 2*i + a - 0*a - 11. Let u(z) be the third derivative of z**6/120 - z**5/20 - z**4/24 + 21*z**2. Is u(i) a multiple of 15?
True
Suppose 20 = -4*b + 5*b. Let u = b + -8. Let m = u - 3. Is m a multiple of 9?
True
Let u(v) = v**2 + 7*v + 4. Let g be u(-7). Suppose 0*i = -i - 2*t + 107, g*i - 425 = -5*t. Does 20 divide i?
False
Suppose -3*i + i + 272 = 0. Let x = -89 + i. Is 8 a factor of x?
False
Is -38*25/(-20)*6 a multiple of 5?
True
Does 33 divide 43652/63 - 2/(-18)?
True
Suppose -8 = -4*v - 5*z, -3*v + 6 + 0 = 2*z. Suppose -21 - 24 = -3*i. Suppose -v*t = t - i. Does 5 divide t?
True
Suppose -126 = -2*n + 118. Is 14 a factor of n/3 - 18/27?
False
Let z be 2/8 + 57/12. Let b(o) = -o**3 - 2*o**2 + 8*o - 5. Let l be b(-7). Suppose -x + z*x = l. Does 10 divide x?
False
Is 36/4 - (9 + -9) a multiple of 9?
True
Suppose -16*a = -12*a - 8. Suppose -d - a*d + 60 = 0. Is 4 a factor of d?
True
Suppose 9*s = 133 + 38. Let g = -1 + s. Is 3 a factor of g?
True
Let n = -154 + 246. Is n a multiple of 8?
False
Is 4/18 - 77374/(-198) a multiple of 23?
True
Let h(q) = -61 - 4*q**2 - 2*q**3 + 6*q + 59 + 3*q**3. Suppose 15 = -3*f + 6*f. Is h(f) a multiple of 21?
False
Let m(g) be the third derivative of 0 + 6*g**2 + 1/120*g**6 + 7/3*g**3 + 0*g**5 + 0*g + 1/24*g**4. Is 6 a factor of m(0)?
False
Suppose 2*a + 2*n = -2*a + 2, -2*a = 2*n. Suppose 0 = 5*t - 9 - a. Suppose t*p = b - 28, b + 0 = -5*p + 14. Does 6 divide b?
True
Let y = 78 + -7. Let a = 42 - y. Let l = a + 49. Does 7 divide l?
False
Let m(s) = 2*s**2 + 5*s + 5. Let l be m(-3). Is (l/2 + -5)*-53 a multiple of 12?
False
Suppose -2*h = 5*m - 43, -2*m = 3*h + 9 - 46. Suppose -4*g = u, 3*u - h - 4 = g. Suppose -51 = -u*l + 109. Does 10 divide l?
True
Let k(u) = 3*u**3 + 5*u - 2*u - 2 - 2*u**3 + 0 - 4*u**2. Let t be k(3). Is (-303)/(-18) + t/(-12) a multiple of 17?
True
Let y(a) = -4*a**3 - a**2 + a + 4. Let l(j) = 2*j. Let r be l(-2). Let m be -4*(28/(-8) - r). Does 15 divide y(m)?
True
Suppose -16*c = -10*c - 270. Let h = c + 40. Is h a multiple of 25?
False
Suppose 2*b - 7543 = -17*b. Is b a multiple of 21?
False
Does 4 divide (5 - 17)/(-4*(-2)/(-36))?
False
Suppose -2*x = 0, -2*n + 3*x = 3*n - 175. Does 5 divide n?
True
Let k be 3/(-15)*2*(-1 + 21). Does 20 divide 136*(1 - (16/4)/k)?
False
Suppose -2*u = -9 + 1. Suppose o + 273 = u*t, -4*t - 183 = 3*o - 452. Is 8 a factor of t?
False
Let b(l) = l**2 - 4*l - 28. Let c be b(7). Is 6940/140 - 3/c a multiple of 3?
False
Let z(f) = 1 + 0*f**3 + 4*f**3 + 0*f - 3*f - 3*f**3 + 9*f**2. Let q be z(-7). Let n = -24 + q. Is n a multiple of 24?
True
Let s(f) = f**2. Let u(w) = 1 - 10*w**2 - 2*w - 2*w**2 + 0*w**2. Let m(h) = -4*s(h) - u(h). Is 4 a factor of m(1)?
False
Let w(k) = k**3 - 9*k**2 + 2. Let g be w(9). Let v be (20/3)/(g/6). Suppose 3*b = -3*o + 171, 2*b + v = o + 119. Is b a multiple of 26?
True
Let f(j) = -23*j + 2. Let q be f(-1). Suppose -120 = 23*i - q*i. Does 10 divide i?
True
Let d = -27 - -37. Suppose -2*m = -2 - d. Let q = 20 - m. Is 13 a factor of q?
False
Let d = 9 - 6. Suppose 5*a - d*c - 2*c = 0, -c + 5 = 0. Suppose -2*s - 3*s = 0, a*k - s = 25. Is 3 a factor of k?
False
Let c be 4/16 + 6/8. Suppose -2*k + 2*r - r - 17 = 0, -3*k - 2*r - 8 = 0. Is (-1)/(1/k) + c a multiple of 7?
True
Let s be 20*-3*(-2)/24. Suppose k + 4*x = -4*k + 6, s*k - 4*x - 14 = 0. Suppose d - 3*b - 39 = 0, k*d + 4*b = 4*d - 72. Is 6 a factor of d?
True
Suppose 0 = -2*a - q + 12, 0 = a - 5*a + 4*q + 12. Let z(s) = 2*s**2 - 3*s - 5. Is 11 a factor of z(a)?
False
Let t(z) = -4*z. Let b = 2 + -3. Let f be t(b). Suppose 137 = 3*c - f. Is 17 a factor of c?
False
Let f = 625 + -352. Is f a multiple of 23?
False
Suppose -5*f + w + 2648 = -w, 1055 = 2*f - 5*w. Does 16 divide f?
False
Let g be 1146/12*6*1. Suppose 7*l - g = 547. Does 10 divide l?
True
Is 57 a factor of (6/4)/(22/5500)?
False
Suppose -31*z + 32706 = -10601. Does 101 divide z?
False
Suppose -2*g - 21 = -3*g. Suppose 41 + g = 2*t. Does 19 divide t?
False
Suppose 39*k - 23*k = 1424. Does 11 divide k?
False
Let f = 1899 + -1458. Is 9 a factor of f?
True
Let f(t) = t**2 - t. Let x(q) = -14*q**2 + 4*q + 1. Let n(b) = -10*f(b) - 2*x(b). Let h be (2/1 - 3)/(-1). Is n(h) a multiple of 7?
False
Let h(y) = 4*y**2 - 8*y + 3. Let f(x) = -x**2 + 10*x - 11. Let b = 0 - -8. Let q be f(b). Does 19 divide h(q)?
False
Suppose -5*q + 2*b + 7 = 21, 8 = 4*b. Is 15 a factor of (1350/6)/(q/(-2))?
True
Let f(u) = u**3 + 15*u**2 - 35*u + 1. Is f(-17) a multiple of 8?
False
Let d(q) = q**3 - 8 - 3*q**2 - 8*q**2 + 4*q**2 - 7*q. Let a be d(8). Suppose a = -3*n + 6*n - 42. Is n a multiple of 7?
True
Suppose -2*o + 248 = -o. Let n be (-1)/(-1) - (0 - 2). Suppose 0 = -n*s + 67 + o. Is s a multiple of 28?
False
Let m = -47 - -548. Does 14 divide m?
False
Suppose 0*a - 4*a = -828. Suppose -3*m + 486 + a = 0. Is 12 a factor of m?
False
Let v = -17 + 18. Is v - 2 - (-48 - -3) a multiple of 8?
False
Suppose -3*q = 3*u - 234, -5*u - 5 = 5. Is 10 a factor of q?
True
Suppose 5*d + 3*o + 10 = -2, 4*d - 4*o = 16. Suppose 2*z = 2*b + 3*b - 238, b + 4*z - 30 = 0. Suppose d = -3*a + b - 4. Is a a multiple of 14?
True
Suppose u - 5*l - 51 = 0, -2*l + 270 = 7*u - 3*u. Let z = u + -18. Is 8 a factor of z?
True
Let w = -1445 - -2054.