+ 3*i - x - 268, -256 = -3*u + 4*i. Is 23 a factor of u?
False
Suppose 4*f - 4672 = -2*h, -12*h = -8*h - 3*f - 9399. Is 34 a factor of h?
True
Let o(p) be the first derivative of -3 - p**3 + 5/4*p**4 - p + 2*p**2. Is 8 a factor of o(2)?
False
Let v = -2880 + 4310. Does 22 divide v?
True
Let l be (11 - 11 - (-14)/(-4))*-2. Suppose 308 = -l*w + 1372. Is w a multiple of 8?
True
Let b(t) = -2*t - 14. Let q(v) = -v. Let u(x) = -b(x) + q(x). Does 6 divide u(17)?
False
Let y(z) = 30*z**2 + 2*z + 1. Let i be y(-1). Let j = i - 24. Let q(k) = k**3 - 3*k**2 + 12. Is q(j) a multiple of 18?
False
Let g = 222 + -58. Let d = g - 129. Does 7 divide d?
True
Suppose 3*f + 11 + 1 = 3*l, 10 = 4*l - f. Suppose -l*s = -11*s + 72. Does 4 divide s?
True
Suppose 5 = -k + 4, -3*k = g - 861. Does 36 divide g?
True
Suppose 5*w + 3 = -n - n, 0 = -2*n + 2*w - 10. Let r(s) = 16*s + 11. Let y be r(-1). Is 3 a factor of (-4 - (n - -1))*y?
False
Let w(v) = 2*v**3 - 14*v**2 - 6*v - 139. Is 20 a factor of w(12)?
False
Suppose -4*l + 1144 = -4*g, 5*l + 2*g = 5*g + 1424. Suppose -l + 43 = -6*v. Does 40 divide v?
True
Let d be 1/(-2 + (-489)/(-243)). Suppose -2*t - 3*s = 2*s - 81, -3*t + 59 = -5*s. Suppose -d + t = -w. Is 18 a factor of w?
False
Let w = 6758 - 3278. Is 24 a factor of w?
True
Let l = 22 + -20. Suppose l*i - 59 = 7. Suppose -3 = -3*c + i. Is c a multiple of 6?
True
Let g(x) = -x**3 + 5*x**2 - 4*x - 2. Let j be g(5). Let q = j + 118. Is 22 a factor of q?
False
Suppose -2*m = 3*s - 103, m + 0*m = -s + 35. Is s even?
False
Suppose 0 = 5*g - 15, 9*z - g - 711 = 7*z. Is z a multiple of 6?
False
Let a be (75/(-10))/(-5) + 1/2. Suppose -a*l = 4*m - 312, 4*m + m - 405 = 5*l. Is m a multiple of 17?
False
Suppose 0 = -5*d + 4*v + 138, -3*d - v - 22 = -115. Is d a multiple of 10?
True
Let i = -58 + 64. Let v = -75 - -174. Suppose -i - v = -5*d. Is d a multiple of 21?
True
Let j = -38 - -22. Does 3 divide 3/(-5)*240/j?
True
Suppose 2*g + p = 34, -4*p - p - 85 = -5*g. Is g a multiple of 14?
False
Is (-192)/(-80)*(-410)/(-4) a multiple of 5?
False
Suppose -5*p + 10 = -10. Suppose -5*s = -4*s - p*f - 68, -f = 0. Suppose 0 = -2*a + 7*a - 3*w - s, -4*a + 55 = -3*w. Is 5 a factor of a?
False
Let p(u) = 3*u**2 - 3*u - 54. Let m(x) = -4*x + 34. Let z be m(11). Is 18 a factor of p(z)?
False
Let s(l) = -2*l**2 + 48 + 43 + 12*l - 92. Let m be s(5). Suppose -3*a + 2*a = -m. Is 3 a factor of a?
True
Suppose -2*p + 151 = 5*u - 303, 0 = 3*p + 9. Is 46 a factor of u?
True
Suppose g = -3*h + 242, h - 4*g = 3*h - 158. Let f = -311 + 257. Let b = f + h. Is b a multiple of 7?
False
Suppose -2*y + 4*a + 0 - 12 = 0, -2*y + 3*a - 10 = 0. Is (0 - (-1)/y)/(2/(-32)) a multiple of 8?
True
Let s be 24/(-2)*16/(-6). Suppose -5*j + 120 = 5*f, f + j + 4*j - s = 0. Suppose -4*a + 2 = -f. Is 6 a factor of a?
True
Let j be (2 + -4)*3*(-15 - -14). Suppose -3*c = -4*q - 260, q = j*c - c - 456. Is 23 a factor of c?
True
Let y be 1504/5 + 7/35. Suppose p + 62 - y = 0. Is p a multiple of 35?
False
Let l = -8 + 12. Suppose l*h + 4*c = 24, -4*h - c = -16 - 14. Suppose h*o + 8 = 80. Does 9 divide o?
True
Suppose 161*v + 10647 = 168*v. Does 6 divide v?
False
Let k(j) = 235*j - 649. Is 148 a factor of k(27)?
False
Suppose 3*h - 1091 = -2*q - 404, 0 = 2*q - 5*h - 727. Suppose q = 11*z + 87. Does 8 divide z?
True
Let w(f) = -f - 17. Let i be w(-9). Is 4 a factor of 41/4 - (-2)/i?
False
Does 9 divide 68 + (-1 + -4 - -9)?
True
Let c(z) = 1149*z**2 + 16*z - 13. Is 33 a factor of c(1)?
False
Let w = -9 + 5. Let m be (-696)/(-18)*(-18)/w. Suppose -7*v + 9*v - m = 0. Is v a multiple of 29?
True
Let o be ((-2)/(-4))/((-8)/48). Is 5 a factor of -44*((-6)/(-4))/o?
False
Let y = -2533 - -3632. Is 7 a factor of y?
True
Suppose r - 45 - 62 = 0. Let d be r - (2 + 0 - 0). Suppose s = u + d, s - 42 = -5*u + 81. Is 32 a factor of s?
False
Suppose 4*n - 2207 = -839. Is 38 a factor of n?
True
Let p be 7/(-35) + 21/5. Suppose 23 = -2*v + 3*q + 150, -p*v = 3*q - 299. Is v a multiple of 21?
False
Suppose x = h + 3, 0 = -4*h - 5*x + 20 + 13. Suppose -4*a - 134 = -h*w, 3*w + 2*a + 2*a - 191 = 0. Is 30 a factor of w?
False
Suppose -28*a - 1890 + 7742 = 0. Does 19 divide a?
True
Let s(j) = -j**3 + 5*j**2 + 2*j + 150. Does 15 divide s(0)?
True
Let l be -10*(-3)/(60/16). Suppose 4*u + 168 = l*u. Is 11 a factor of u?
False
Let p(l) = -269*l + 12 + 7*l**2 + 534*l - 276*l. Does 13 divide p(5)?
False
Suppose 4*w - 6*w - 24 = 0. Let p = 6 - w. Is 13 a factor of p?
False
Let t(a) = -5*a**3 + 13*a**2 + 12*a - 33. Let b(y) = y**3 - y. Let r(n) = -6*b(n) - t(n). Is 15 a factor of r(-13)?
False
Suppose 0 = d + 6*v - 4*v - 570, -4*d = v - 2259. Is d a multiple of 13?
False
Suppose -5*z + 4*h + 5 = -28, 2*z - 4 = -3*h. Suppose z*u = -3*k - 8473, 5*k - 3*u + 0*u = -14099. Is 19 a factor of 8/(-14) + k/(-49)?
True
Suppose -5*s + 3*f - 90 = -3, 4*s + 3*f = -48. Let b = 29 + s. Let g(i) = i + 13. Is 9 a factor of g(b)?
True
Let q = 1 + -9. Let t = q + 8. Suppose t*y = 3*y - 90. Is 10 a factor of y?
True
Let m be 1 - (3 + 13) - (1 + -4). Does 25 divide (-1497)/m + 1*(-2)/(-8)?
True
Let t = 7 + 25. Suppose d = -2, 2*a + 4*d = -t + 124. Does 10 divide a?
True
Let n(y) = -y**2 - 48*y + 29. Does 19 divide n(-39)?
True
Is 1/4 - (-1 + (-8934)/8) a multiple of 34?
False
Let o = 2 + -3. Let m = 101 + o. Is 20 a factor of m?
True
Let t be 168/77 + (27/33 - 1). Suppose -440 = -4*z - 4*c, 0 = t*c + c + 12. Is 16 a factor of z?
False
Suppose -3*s - 2*s - 10 = 0. Let z = -64 - -63. Is (-38)/(s - (z + 1)) a multiple of 19?
True
Let g be 0/((8/12)/((-2)/(-9))). Does 30 divide 0/(g + -3) + 120?
True
Suppose -6*o + 2*o = 4. Let v be -3 + 3 + (-1 - o). Suppose -5*h - 420 = -5*i, v*i = 5*i - 4*h - 417. Is i a multiple of 22?
False
Let s(o) = -o**2 + 10*o + 25. Does 9 divide s(10)?
False
Suppose 3*r - 6 = 0, 0 = -4*n - 0*r + 5*r - 2. Let q = n + 66. Let c = -24 + q. Is 22 a factor of c?
True
Suppose 0 = -2*a - 2*p + 964, 4*a - 934 = -2*p + 996. Does 92 divide a?
False
Let k = 47 - 43. Suppose k*h + 11 = 3, 602 = 4*w - 5*h. Is 12 a factor of w?
False
Let f(i) = -i**2 - 9*i + 14. Let h be 2/5 - 52/(-20). Suppose 36 = -h*t + 3*c, -8 = t - 3*c + 10. Is f(t) a multiple of 7?
True
Let c(m) = 2*m**3 - 16*m**2 - 16*m + 9. Let o(u) = -3*u**3 + 32*u**2 + 33*u - 18. Let j(y) = -5*c(y) - 3*o(y). Is j(-15) a multiple of 23?
True
Suppose -3*q - 4*z + 95 = -392, 163 = q + 2*z. Does 18 divide q?
False
Let b(f) = 4*f**2 - 2*f - 10. Let m be b(-5). Suppose 0 = -2*y - 62 - m. Does 8 divide (-2)/(-9) + (-1197)/y?
False
Suppose -2*v = 2*v + 4*r - 396, -300 = -3*v - 4*r. Let c be 2/8 - (-108)/16. Does 2 divide v/28 + (-3)/c?
False
Let q(l) = -l**3 + 7*l**2 - 2*l - 1. Let n be q(4). Suppose n*v + 695 = 44*v. Does 21 divide v?
False
Let a = 155 + 1189. Does 8 divide a?
True
Let t(c) = c**2 - 23*c. Let v be t(20). Does 9 divide (18/4)/((-10)/v)?
True
Let h be (-3)/9*(-63)/(-3). Let v(y) = -5*y + 7. Is v(h) a multiple of 7?
True
Suppose -2*a = -13*f + 9*f - 4708, 0 = -a + 4*f + 2350. Is 11 a factor of a?
False
Let z(q) = 58 + q**2 + 60 - 127 + q. Is 3 a factor of z(-4)?
True
Let t be (-1)/3 + 21/9. Suppose 0 = -t*y + 2 + 2. Suppose -w + 66 = 3*w + o, -y*o = 3*w - 47. Does 6 divide w?
False
Let m = 234 - 140. Suppose j - m = 2*s, 5*s = -j + 8*s + 90. Is j a multiple of 11?
False
Let z be ((-2)/(-2) - -1)*(-512)/16. Let m = 174 + z. Is m a multiple of 45?
False
Let k(j) = -695*j**3 + 694*j**3 - 47 - 7*j - 10*j**2 - 5*j**2. Is k(-15) a multiple of 14?
False
Let t = 139 + -61. Is 13 a factor of t?
True
Let s(z) = -11*z - 27. Let o be s(3). Let p = o - -129. Does 5 divide p?
False
Let z = -2309 + 2485. Is z a multiple of 16?
True
Let z(f) = 42*f**2 - 10*f**2 - 13 + 13 - 5*f - 9. Does 11 divide z(-2)?
False
Let n(k) = -3*k**3 - 7*k**2 + k - 7. Suppose -19 = 5*w + 6. Does 38 divide n(w)?
False
Suppose -k + 0*o - 3*o = 26, 0 = -o - 5. Let m be (4 + -1)*k/33. Is m/1 + (-2 - -23) a multiple of 10?
True
Suppose 0 = -31*d - 74*d + 202755. Does 35 divide d?
False
Suppose -2*u = 4*x - 3050, 78 = -3*x - u + 2368. Is x a multiple of 15?
True
Let p(d) = d + 2. Let u be p(1). Suppose b + n = u*b - 57, b - 2*n - 36 = 0. Suppose -b*t = -31*t + 400. Is 16 a factor of t?
True
Let n be (-6 + (-894)/(-6))*(-1 + 0). Is 2206/26 - 2