2 - 3*i + 2. Let v be u(5). Does 6 divide -1*(-16 + 2/v)?
False
Let s = 37 + -17. Suppose 17*a - s*a + 120 = 0. Is 8 a factor of a?
True
Suppose 2*o + o - 5*f - 28 = 0, -5*o = -5*f - 30. Suppose 0 = -g + 4 + o. Suppose -2*h + 39 = g*b + 2, -41 = -5*b - h. Is 9 a factor of b?
True
Suppose -46*b + 51*b = 125. Does 5 divide b?
True
Let u(q) = q**2 + 6*q + 4. Let v(l) = -l**2 - 5*l - 4. Let x be v(-8). Let a be (1 + x)/3 - -3. Does 4 divide u(a)?
True
Let y(a) = 2 + a - 5*a + 11 + 9*a. Let x be y(-8). Is x/36 + 382/8 a multiple of 13?
False
Let j(i) = 13*i**2 - 20*i + 46. Is 12 a factor of j(8)?
False
Let i = -1 - -5. Let p(y) = 7*y**3 - i + 2*y - 4 - 5*y**2 - 6*y**3. Does 20 divide p(6)?
True
Let m = 1077 + -554. Does 3 divide m?
False
Let b = 38 - 45. Is 718/8 + (21/(-12))/b a multiple of 18?
True
Let r(o) = 100*o - 2. Let k be r(1). Suppose 0 = -7*n + 4*n - 4*c + 158, -2*n + c + k = 0. Is 15 a factor of n?
False
Let z(q) = 28*q. Let k = 95 - 67. Let b = 29 - k. Is z(b) a multiple of 7?
True
Suppose -704 = -2*y + 4*k, -1725 = 6*y - 11*y + 3*k. Does 19 divide y?
True
Let l(r) = 108*r**2 - 9*r - 24. Is l(-3) a multiple of 22?
False
Let d = 14 + -9. Suppose 5 = k, 2*n + 2*n + d*k - 337 = 0. Suppose -s + n = 2*s. Does 9 divide s?
False
Suppose -3*n + x = -3331, 3*x - 8 = -2. Suppose -225 = -8*g + n. Is 12 a factor of g?
False
Let z(t) = -t**3 - 11*t**2 + 10*t + 3. Let v(d) = -2*d**3 - 23*d**2 + 20*d + 5. Let i(g) = 4*v(g) - 9*z(g). Let h be i(-8). Does 3 divide h*(0 + -3 + 4)?
True
Suppose 6*m - 224 = -2*m. Suppose 0 = -26*j + m*j - 140. Is 14 a factor of j?
True
Suppose 3*z - 117 = -33. Let s = z - 21. Does 3 divide s?
False
Suppose -4*v - 6*d + 5*d = -4821, 2*v + d - 2409 = 0. Does 43 divide v?
False
Suppose 16447 = 3*g - 2*i, 4*g - 10*i = -6*i + 21932. Is g a multiple of 9?
True
Let t be -3 - -4 - (10 - 5). Does 3 divide 1/(t/12) + 9?
True
Let z(h) = 4*h - 7. Let x be z(2). Is (9/(-2))/(x/(-4)) a multiple of 9?
True
Let n(h) = -9*h - 8. Suppose -6*d - 25 + 7 = 0. Does 3 divide n(d)?
False
Let p = 11154 + -7564. Is 30 a factor of p?
False
Let h(f) = -f**3 + 23*f**2 + 38*f - 271. Is h(24) a multiple of 2?
False
Suppose 5*a = 9*a - 20, -3*t + 280 = -4*a. Is 4 a factor of t?
True
Is 43 a factor of (-560)/4760 - 3/(-17)*1865?
False
Let h = -597 - -1089. Suppose -h = -5*s - s. Does 29 divide s?
False
Is 41 a factor of -14 + (-40032)/(-54) + 8/(-6)?
False
Suppose 4*y - 143 = -s, 2*s - 4*s + 3*y + 231 = 0. Suppose 2*b = 3*q - 121, -b + s = 3*q - 4*b. Does 8 divide q?
False
Let k = 2005 + -1426. Is k a multiple of 36?
False
Let z = -3 + 9. Suppose -7*b + z*b = -74. Let r = b + -50. Is 9 a factor of r?
False
Let p be 20/(-2)*6*(-1)/(-12). Is 6 a factor of 27 + (p + 3)*(1 + 0)?
False
Suppose 5*v = 3*a + 3263 + 1790, -15 = -3*v. Does 5 divide a/(-28) - 4/(-28)?
True
Suppose 898*w - 1170 = 885*w. Does 5 divide w?
True
Let a(u) = -u**3 - 3*u**2 + 6*u + 11. Let s be a(-5). Let r = 19 + s. Does 10 divide r?
True
Suppose 5*y + 719 = 3*b, 12*b - 8*b + 3*y - 920 = 0. Does 16 divide b?
False
Let f(r) = 26*r - 5. Let v be f(10). Suppose 0 = 4*n + n - v. Suppose 30 = 3*q + j, -3*q - 21 + n = -4*j. Is q a multiple of 10?
True
Let o(w) = -w**3 + 18*w**2 - 15*w + 17. Let h be o(17). Let d = 61 - h. Is d a multiple of 9?
False
Let t = -175 - -475. Does 10 divide t?
True
Suppose -1885*c + 1891*c - 1482 = 0. Is c a multiple of 9?
False
Is 54 a factor of (2 + 60/(-24))*-5832?
True
Let r = 125 - 73. Let h = r - 20. Let l = -16 + h. Does 4 divide l?
True
Let l be 9/6 - (-3)/6. Suppose -l*i = 22 + 2. Let x(y) = -y**2 - 14*y - 6. Is x(i) a multiple of 11?
False
Let m be 15/30*(-1 + -5). Is m/(-15) + 558/10 a multiple of 14?
True
Suppose 5*l - 399 = -y - 0*y, 4*l = -y + 320. Let v = 38 + l. Is 5 a factor of 1534/v + 2/(-18)?
False
Suppose 2*f = -2*i - 0*i + 646, 2*i - 637 = f. Is i a multiple of 32?
True
Let w = -256 - -741. Suppose w = 6*r - r + 5*h, -3*r + 293 = 4*h. Is r a multiple of 41?
False
Is 10 a factor of (-1)/((-7)/(431 - -3))?
False
Suppose -2 - 4 = -3*h. Suppose 12 = 2*f - h*w, -38 = -4*f - 2*w + 4. Let q = f + -6. Is q a multiple of 3?
True
Let c = -4 - -5. Let g(y) = 2*y + 1. Let b be g(c). Suppose 0*q - q + 14 = -5*u, 2*q - 49 = b*u. Is q a multiple of 23?
False
Let l(p) be the second derivative of -3*p**3/2 + p**2 + 6*p. Is l(-2) a multiple of 5?
True
Let y(p) = 8*p + 1. Let o(w) = 6*w**3 + w**2 - 2*w + 1. Let t be o(1). Let u be y(t). Suppose -5*l - u = -6*l. Is 14 a factor of l?
False
Suppose -5*p - 33 = -2*p. Is 7 a factor of (-10 - p)*(-1)/((-2)/14)?
True
Let u = -20 + 17. Is (-30)/(u - 4/(-4)) a multiple of 2?
False
Suppose 0 = 4*j - 125 - 23. Is (j + (-6)/(-2))*1 a multiple of 8?
True
Let j be -1*-1*8/4. Suppose j*t - 4*t = -20. Is 3 a factor of t?
False
Let q(a) = -a**2 + 6*a + 3. Suppose 2*o - 24 = -12. Let t be q(o). Is (6/t)/((-1)/(-8)) a multiple of 8?
True
Let q = -38 + 25. Let b be (20 + q)*24/14. Suppose 5*y - b = 153. Does 7 divide y?
False
Let u = 15 + -11. Suppose 5*j + 58 = 228. Suppose j = u*a + 2. Is 3 a factor of a?
False
Suppose 0*f = 3*f + 4*l - 23, 5*f - 29 = -2*l. Let z be f/15 - 422/6. Let k = z + 104. Is k a multiple of 30?
False
Let x(c) = c - 3. Let t be x(7). Suppose -a = f - 20, -3*a + 5*f = -t*a + 12. Does 22 divide a?
True
Suppose f - 27 - 42 = -3*s, s - 243 = -4*f. Does 6 divide f?
True
Let k(w) = -3 + 2 - 2*w + 26*w. Let g be k(5). Suppose 0 = -4*t + 2*h - 5*h + 217, 5*h - g = -2*t. Is t a multiple of 13?
True
Let m(o) = o**3 + 8*o**2 - 7*o - 6. Suppose -3*b + 20 + 64 = -2*n, 4*b - 112 = -3*n. Suppose -6*u = -2*u + b. Is 30 a factor of m(u)?
False
Let f(p) = -80*p - 374. Does 61 divide f(-12)?
False
Let d(s) = s - 5. Let j be d(7). Suppose 5*l - 34 = k, j*l - 5*k + 26 = 5*l. Is (l/(-4))/((-3)/60) a multiple of 29?
False
Suppose s + 0 + 4 = 0, 3*u = 4*s + 22. Suppose 5*b - 4*f = -u, -b + 2*b + f - 5 = 0. Suppose -w - 60 = -b*w. Does 11 divide w?
False
Is 139 + (-9 - -5) + 10/2 a multiple of 28?
True
Suppose -7*l + 18 = -5*l. Suppose l = 2*i + 3*y - 1, 3*i - 15 = -y. Suppose 2*t - 97 = -5*o - 0*o, t = -i*o + 41. Is 14 a factor of t?
True
Let y = -350 + 440. Is 45 a factor of y?
True
Suppose -22*k = -26*k + 3588. Does 15 divide k?
False
Let l = 1179 - 155. Is 28 a factor of l?
False
Let q(l) = 10*l + 5. Let u be (-22)/3 - (-5)/15. Let s be q(u). Let n = 25 - s. Does 18 divide n?
True
Does 10 divide (16/40)/(6/24600)?
True
Suppose -w = y - 0 - 6, w = -2*y + 9. Suppose y*p + 5*g = 5*p - 298, 2*p + 3*g = 282. Is 12 a factor of p?
True
Suppose 3228 = 101*v - 95*v. Does 9 divide v?
False
Suppose p + n = 296, p + 4*n - 304 = 5*n. Does 4 divide p?
True
Let h(c) = c**3 - c**2 - 13*c + 7. Is h(8) a multiple of 11?
False
Suppose 0 = -13*k + 170 + 129. Is 20 a factor of k?
False
Let z(y) = 6*y**2 - 3*y - 15. Does 24 divide z(-3)?
True
Let t(b) = 41*b**3 - 2*b**2 + b - 4. Does 44 divide t(2)?
False
Suppose 21 = -8*u + 141. Suppose -u*t + 10*t = -670. Is t a multiple of 11?
False
Let d(r) = 23*r**3 + 5*r**2 + 5*r. Let l(b) = 45*b**3 + 11*b**2 + 11*b. Let y(g) = g + 8. Let s be y(-4). Let a(t) = s*l(t) - 9*d(t). Is 9 a factor of a(-1)?
True
Let g = -182 - -357. Let j = -58 + g. Is 13 a factor of j?
True
Suppose -1672 = -2*y + 3*d, y - 846 = -0*y - d. Does 16 divide y?
False
Let m(o) = o + 106. Let d be m(0). Suppose 2*z + d = 2*v - 40, -v + 53 = -5*z. Does 13 divide v?
True
Let g = -60 - -42. Is 10 a factor of 6/(-6) - (g + -2)?
False
Let o be (2/(-3))/((-12)/(-126)) - -1. Let w = 1468 - 964. Is 12 a factor of (1/(-2))/(o/w)?
False
Let m = 2130 - 1625. Does 5 divide m?
True
Suppose -4*c + 170 = 2*b + 40, -4*b = 5*c - 164. Suppose c = -3*d - 415. Let m = -81 - d. Is 24 a factor of m?
False
Let z = 189 - 113. Is 19 a factor of z?
True
Suppose h = -8*s + 7*s + 910, -5*h + 3*s = -4550. Does 65 divide h?
True
Suppose 13*z + 384 = 16*z. Does 8 divide z?
True
Let c(a) = -38*a + 27. Does 26 divide c(-31)?
False
Suppose 2*v - 680 = -2*l, -3*v = -2*l + 663 - 1688. Does 31 divide v?
True
Is -4 + 121*(4 + -3) a multiple of 22?
False
Let g = -6 + 8. Let x be -1 + (7 - g - 0). Suppose 0 = -w - 2*h + 6*h + 20, -2*h + x = 0. Is w a multiple of 7?
True
Suppose 0 = -2*p + 2*s + 15 - 3, -4*p + 5*s = -22. Suppose p*i = 4*i - 2*c + 24, 8 = 4*c. Suppose -2*t = -