- v/(-7)?
False
Suppose -4*u + 2*w = 7*w + 1433, 0 = 5*u - w + 1755. Is (38/(-4) + 7)*u/2 a multiple of 5?
True
Let t = 749 - 699. Let l(d) = d**2 + 5*d - 6. Let n be l(-6). Suppose -t = -2*c - 3*c + 2*s, -2*c + 3*s + 31 = n. Is c even?
True
Is (1764/216 - 8)/((-2)/(-24636)) a multiple of 13?
False
Let g be 313/((2/1)/((-20)/(-5))). Suppose -k + 2*k - g = 4*r, 0 = r - 5*k + 166. Let t = r - -476. Is t a multiple of 40?
True
Let z be (-100)/32 - -3 - (-13074)/16. Suppose 0 = -25*x + 3308 + z. Is 6 a factor of x?
False
Let c be 25 - 9 - (-7 + 6). Suppose c*z - 46*z + 43355 = 0. Does 23 divide z?
True
Suppose 5*o = d + 6595, -7*o + 6605 = -2*o + d. Suppose -2*x - o = -6*x. Is 33 a factor of x?
True
Let p = -2 + 23. Let r = 18 - p. Let c(m) = -11*m + 7. Is c(r) a multiple of 15?
False
Let v = 13601 - 9526. Does 15 divide v?
False
Let z(b) = b**2 - b - 376. Let u be z(20). Suppose -u*t + 1898 - 1138 = 0. Is 99 a factor of t?
False
Let m(y) = -y**2 - 28*y - 55. Let x(q) be the first derivative of -3*q**2/2 + 10*q - 27. Let d be x(11). Is m(d) a multiple of 16?
False
Suppose 2*h + 72 = 490. Let r = h - -62. Is 19 a factor of r?
False
Let u be (-8)/(-10)*(-165)/33*-2. Suppose 0 = -5*x - 0*o + 2*o + 2602, -2*o = -u. Is 6 a factor of x?
True
Let r = 224 - 426. Let b = -82 - r. Is b/(-5)*4/(-6) a multiple of 8?
True
Suppose -12130 = -12*l + 20738. Is 33 a factor of l?
True
Is (1/(-2))/(-11*37/1320308) a multiple of 24?
False
Is 6625 - (3 + 38/(-5) - 58/145) a multiple of 130?
True
Let w(u) = -u**3 + 150*u**2 - 3255*u + 370. Is w(121) a multiple of 24?
True
Let p(n) = -62 + 35 - 29 + 32*n. Is p(5) a multiple of 6?
False
Let q = 6596 + -1076. Is 24 a factor of q?
True
Let x = 70 - 57. Let b(o) = 0 - 11 + x*o + 6*o + 1. Is 22 a factor of b(4)?
True
Let l(z) = z**2 + z - 10. Let r(y) = 2*y**3 + 7*y**2 - 3*y - 1. Let s be r(-4). Let c be l(s). Is 2 a factor of 3 - ((-30)/(-25))/((-2)/c)?
False
Let m(j) = 6*j**2 - 8*j + 7 + j**2 - 6*j**2. Let h be m(7). Suppose h = -6*x + 123 + 243. Is 14 a factor of x?
False
Let h = -43 + 44. Let y be (-28)/(-5)*(-4 - h). Is (-14)/y + (-222)/(-4) a multiple of 14?
True
Suppose 4*y = -49*g + 46*g + 21, 4*y + 1 = -g. Suppose o - 4*l - 2443 = 0, -g*o + 12*o = -l + 2428. Is o a multiple of 26?
False
Let t(a) = 24*a**2 + 10*a - 4. Let b be t(-3). Let p = b + 138. Is p a multiple of 6?
False
Let g = -3902 + 5133. Is 6 a factor of g?
False
Let p(z) = -z**2 - 8*z + 15. Let v be p(-7). Let l be 24/(-132) + 114/v. Is 21 a factor of -2 + l + (-60)/(-1)?
True
Let p(f) = 12*f + 1. Let c(q) = -q + 25. Let h be c(24). Let z be p(h). Suppose -z = -4*l + 5*v, 0 = 5*l + 3*v - 5 - 2. Is 2 a factor of l?
True
Let f be (-303)/(27/(-7 + 16)). Is 23 a factor of f/(-10 + 12 - (-15)/(-6))?
False
Suppose 1092*b = 1173*b - 894969. Is 87 a factor of b?
True
Let v(w) = 4*w + 29. Let n be v(-5). Let a(d) = d**2 - 5*d - 7. Is a(n) a multiple of 2?
False
Suppose 2*v = 3*v + 2*r, 2*r = 5*v - 60. Let z(o) = o**2 + 3*o + 1. Let u be z(v). Let i = u + -67. Is i a multiple of 10?
False
Let f = 10389 - 9268. Does 16 divide f?
False
Let w(n) = -n**3 + n**2 + 7*n + 6. Let b(s) = -s**2 + s. Let j be (-2)/(-4) + (5 - (-45)/(-10)). Let i(r) = j*w(r) - 4*b(r). Is i(4) a multiple of 19?
False
Let g be 14/(-18) + 10/(-45). Let z(a) = 49*a**3 - 2*a**2 + 8*a + 3. Let m(d) = 48*d**3 - d**2 + 6*d + 2. Let v(f) = -4*m(f) + 3*z(f). Is 22 a factor of v(g)?
True
Suppose 0 = 4*q - 811 + 199. Let w = 287 - q. Suppose -2*x + 3*m = m - w, -197 = -3*x - m. Does 22 divide x?
True
Let a = 30 - -96. Suppose -2*b - a = -4*n, -5*n + 2*b + 61 = -95. Is 8 a factor of n*4*5/(45/6)?
True
Suppose 3*n - 2*g - 1077 - 3476 = 0, -7595 = -5*n + 5*g. Is 15 a factor of n?
True
Let s(j) = 4*j**2 + 21*j - 9. Suppose -56*z = -59*z + 18. Let d be s(z). Suppose -3*w = k - 80, 2*k - 2*w = 5*k - d. Is k a multiple of 16?
False
Suppose -59845 = -4*q - 25*y + 20*y, y = -4*q + 59857. Does 88 divide q?
False
Let h = -1394 + 2206. Let x = -378 + h. Is x a multiple of 14?
True
Suppose 47*q = 56886 + 38994. Does 10 divide q?
True
Let f be 4*((-16)/(-20) - (-3)/15). Suppose -f*x - 3*a + 387 = 0, 0 = -3*x - x + 3*a + 381. Is 8 a factor of x?
True
Let f be (-30)/55 - (-4 + (-304)/(-88)). Let l(z) = z**2. Let w(s) = -s**3 + 2*s**2 - s + 32. Let d(m) = -l(m) + w(m). Is 8 a factor of d(f)?
True
Suppose -h - 135615 = 4*h - 5*f, -5*h - 135585 = 5*f. Is h/(-88) - (184/44 + -4) a multiple of 5?
False
Does 11 divide 308728/370 + (-9)/(-15)?
False
Suppose 4*z + 25 = -4*i - 11, -2*i + 3 = -5*z. Is 18 a factor of (2 + i)*139/(-4)?
False
Let f be -908 - (2 - (-8 - 10/(-2))). Let p = -364 - f. Does 24 divide p?
False
Suppose 2*u + 215 - 81 = 4*p, u = 4*p - 135. Suppose 32847 = p*y - 24885. Is y a multiple of 49?
False
Let q = 8860 - -8708. Does 244 divide q?
True
Suppose 0 = -7*s + 2*s - 10. Let o(j) = -5*j - 22*j**2 - 23*j**2 - 5 - 27*j**2 + 98*j**2 - 25*j**2. Does 3 divide o(s)?
True
Let f = 147 + -152. Let s(o) = -2*o**3 + o**2 - 11*o + 6. Is s(f) a multiple of 28?
True
Let c be (6/3 + 18)*(-9)/(-12). Suppose -5*l + 389 = -l + 3*j, c = 5*j. Is 58 a factor of l?
False
Suppose -19*p - 10436 = -3710. Let g = p - -386. Is 20 a factor of g?
False
Let l(d) = -279*d**2 - 6*d + 17. Let j be l(3). Is 22 a factor of j/(-38) - 2/(-114)*-6?
True
Let v(m) = 14*m**3 - m**2 - 5*m + 2278. Is v(0) a multiple of 8?
False
Let j(a) = a**3 + 35*a**2 + 89*a - 184. Is 59 a factor of j(-27)?
True
Let o(h) = -7*h**3 - 5*h**2 - 9*h - 7. Suppose -2*y - g - 1 = 0, 31*y - 1 = 28*y - 2*g. Does 9 divide o(y)?
False
Is 44 a factor of 5*((1123164/(-60))/(-7) + 10)?
False
Let x be -15 + -6*2/4. Is 3 a factor of -4*(-3)/x*(-342)/4?
True
Let j(a) = 11*a + 41. Let s be j(6). Suppose 0 = 2*u - v - s - 122, 15 = 3*v. Is 9 a factor of u?
True
Let p be (8/10)/(16/40). Suppose 5*k - 3 = q, -3*q - 2*q - 15 = p*k. Suppose -4*a = w - 165, 2*w + k = 10. Is 10 a factor of a?
True
Suppose 0 = 2*g - 2*k - 16, k - 37 = -4*g - 15. Suppose g*d - 3265 = -475. Does 15 divide d?
True
Let f = -27092 + 45812. Is 9 a factor of f?
True
Let t = -108 - -688. Suppose 0 = 2*h - t + 228. Let n = h + -126. Is n a multiple of 50?
True
Let w(o) = -o**2 - 19*o - 16. Let y(b) = -3*b + 40. Let q(p) = -1. Let v(d) = -6*q(d) + y(d). Let c be v(21). Does 3 divide w(c)?
True
Suppose -8 + 5 = 3*u. Let i be -4 + (12 + -17)*(u - 1). Suppose 14*r = i*r + 880. Does 49 divide r?
False
Suppose 2*a - 4*f - f + 20 = 0, -4 = 2*a - f. Suppose -3*n + 0*n + 15 = a. Suppose -7*q + n*q + 154 = 0. Does 11 divide q?
True
Let y be -274 + (0 - 2)*-2. Does 17 divide ((-72)/54)/(2/y)?
False
Let h be 23452/88 + (-10)/4. Is 55656/h - 4/(-22) - -1 a multiple of 5?
False
Suppose -3*v + 4*d = -6*v - 11, 5*v - d - 20 = 0. Suppose 4*c + 3 = v*q, -8*q + 6*q + 22 = 4*c. Is (-447)/(-6) - (-1)/2 - c a multiple of 18?
True
Let h(s) = 3*s**3 - 21*s**2 + 7*s + 46. Let f be h(9). Let j = f + -553. Does 42 divide j?
True
Suppose 74 = 2*h - 4*x, 4*h + 3*x - 607 = -393. Does 6 divide h?
False
Suppose 0 = -3*a - 3*d + 15, 3*a + 3*d + d - 15 = 0. Suppose -4 = 2*w - 14, -o = -4*w + 16. Suppose f + 632 = a*m, o*f + 134 = -m + 2*m. Is 9 a factor of m?
True
Let k = -35597 - -53879. Is k a multiple of 6?
True
Let o be (24 - -4)*11/2. Suppose -2*l = 3*l - 10. Suppose l*y - y = o. Is y a multiple of 34?
False
Does 6 divide -3*(-3380)/(-15)*(-7 - (-35)/7)?
False
Let g = 2175 - 1242. Suppose t = -2*t + 3*o + g, 1591 = 5*t + 4*o. Is t a multiple of 21?
True
Let o be (-6)/4 - 740/(-40). Let q(t) = 43*t + 319. Is q(o) a multiple of 21?
True
Suppose 0 = 2*g + 23*g - 172048 - 246952. Does 40 divide g?
True
Let t(w) = w**2 + 9*w + 16. Let p be t(-7). Suppose -3*o + 80 = p*o. Suppose 0 = -5*g + o*g - 253. Is g a multiple of 3?
False
Let d = -3 + 2. Let g = -621 + 610. Does 19 divide (g - d)/((-10)/85)?
False
Does 29 divide 40308/5 - (29/(-35) + (-1047)/(-2443))?
True
Suppose -4*x - 80 = -5*i + x, 4*i - 2*x - 58 = 0. Suppose -i*h = -10*h - 390. Is h a multiple of 21?
False
Suppose -4*b - 2059 = -5*b + t, 0 = -5*b - t + 10277. Suppose 0 = -3*q - 3*s - 6120, -q + 0*q - 5*s = b. Is 2/4 + -4*q/32 a multiple of 15?
True
Let z(w) = w**3 + 3*w**2 - 17*w - 6. Let r be z(-5). Let k = 41 - r. Suppose 2*v - k = -t + 8, -2*t - 10 = -v. Is v a multiple of 2?
True
