/4*(-48)/(-72))?
True
Let q be 15/9*(2 + -5). Let w be (-15)/(-5) - (4 + q). Suppose 0 = w*f - p - 33, 4*f - 2*p - 3 = -7*p. Is f even?
False
Suppose 47*l = 49*l + 26. Let f = 23 + l. Suppose f*n = 6*n + 216. Does 18 divide n?
True
Is 5 a factor of 4379 + (-14 - (-105)/(-21))?
True
Suppose -4*c + 2646 = 2*c. Suppose -74*f = -67*f - c. Does 7 divide f?
True
Let z(g) = g**3 + 2*g**2 + g + 3. Let m be z(-2). Is 22 a factor of (83/(-5) - m)/(23/(-115))?
True
Let x = 79 + -70. Let v be 2 - 4602/x - 4/(-12). Let y = -336 - v. Is 14 a factor of y?
False
Suppose 6*q + 0*q - 12 = 0. Suppose q*m - 536 = -5*s, -s - 4*m = -114 + 14. Is s a multiple of 18?
True
Let n = -14957 - -41597. Suppose 0 = 69*w - 32*w - n. Does 60 divide w?
True
Suppose 2*t = -3908 + 6158. Is 25 a factor of t?
True
Let x be 1/5*1 + 5/(-25). Suppose -8*h + 32 = -x*h. Suppose 10*g - 384 = h*g. Does 4 divide g?
True
Let m = 50265 - 32929. Is m a multiple of 68?
False
Let h be 2/(-10) - (-1066)/130. Suppose h*v - 12*v + 232 = 4*g, 0 = -g - 4*v + 49. Is g a multiple of 8?
False
Suppose -4*b = f + 20, 0 = 2*b + 2*f - 0 + 4. Let u be (-40)/(-1)*(-3)/18*b. Suppose 0*p + 2*s - u = -p, -4*p = -2*s - 150. Is 19 a factor of p?
True
Let k(h) = 11*h + 29. Suppose -5*y - 2*n - 6 = 33, -3*y = -3*n + 15. Let p be k(y). Is 42*(p/(-9) + -4) a multiple of 28?
True
Suppose 0 = -5*w + w + 168. Let f = w + -40. Suppose 5*v = 4*l - 86, f*v - 31 - 21 = -2*l. Is 9 a factor of l?
False
Suppose -4*g = -5*s - 4672, 50*s - 48*s = -2*g + 2336. Is g a multiple of 4?
True
Let s(x) = 306*x + 636. Is s(26) a multiple of 38?
False
Let v = -157 - -816. Suppose -3*p + 7*p + 2*l - 526 = 0, -5*p = 2*l - v. Does 19 divide p?
True
Let t(c) = 64*c + 6262. Is 46 a factor of t(-63)?
False
Let t be 2*(-1 + 64/1). Suppose 0 = 4*x - 3*g - t, -x + 3*g + 36 = -0*g. Is 5 a factor of ((-144)/(-20))/(12/x)?
False
Suppose -6762 = -q + 3*y, -3*q + 133*y - 134*y + 20236 = 0. Is q a multiple of 79?
False
Let j(p) = 52*p**2 + 69*p - 18. Is 7 a factor of j(6)?
True
Let s(t) = t**3 + 45*t**2 - 83*t - 145. Is 10 a factor of s(-45)?
True
Suppose -5*l - 20 = 0, 254018 = 5*k - 3*l + 41291. Is 100 a factor of k?
False
Is (-15208655)/(-315) + (-40)/(-72) a multiple of 30?
False
Let d = 322 - 925. Let q = 1026 + d. Is 21 a factor of q?
False
Let a = 22316 - 16714. Is a a multiple of 3?
False
Suppose 0 = -4*f + 277 + 295. Let t = f + -129. Does 7 divide t?
True
Let o = -41296 - -75670. Is 41 a factor of o?
False
Let z(o) = -21*o + 622. Is 32 a factor of z(22)?
True
Let i = 9285 - 4980. Does 45 divide i?
False
Let n(y) be the second derivative of -y**5/20 + 7*y**4/4 - 19*y**3/6 + 9*y**2 + 128*y. Is n(14) a multiple of 61?
False
Suppose s = 187 - 15. Suppose 3*c + s = -4*v, v + 0*c + 42 = -c. Let z = v - -56. Is z a multiple of 5?
True
Suppose -5*v = j - 11228, 2*v - 3075 - 1405 = -2*j. Does 9 divide v?
False
Let p = -309 - -312. Suppose 890 = 5*z + p*a, -z = a + 18 - 198. Does 35 divide z?
True
Let s be (-22)/(-99) - 25/(-9). Suppose s*o + 1937 = 4*l, o - 961 = 4*l - 6*l. Is l a multiple of 5?
False
Let l(i) = 3*i**2 + 77*i + 639. Is 3 a factor of l(-10)?
False
Let t(w) = -141*w - 19. Let a be t(-2). Let g = a + -215. Is g a multiple of 8?
True
Let g be (-256)/(-5) - (12/15)/4. Suppose -g = 4*r - 35. Does 11 divide 126 - -8*r/8?
False
Let i be (-861)/(-51) + 2/17. Suppose -z - 31 = -q, -i*q - 4*z = -18*q + 31. Is q a multiple of 4?
False
Let u be -1 + 0 + (6 - 15) + 8. Is 8 a factor of 5 - (u + 6 - 4 - 20)?
False
Let c(g) = -g**2 - 15*g + 1. Let r be c(-15). Let f(k) = -1. Let b(d) = -198*d**2 - 2*d - 4. Let i(u) = -b(u) + 5*f(u). Is 38 a factor of i(r)?
False
Suppose 70*q + 218*q - 10604160 = 0. Is 20 a factor of q?
True
Let y be 2772/(-168)*1/((-1)/8). Does 6 divide y*12/(-10)*(-5)/4?
True
Let b(p) = -16*p - 61. Suppose 0 = 2*x - l + 11, -4*l - 22 = 2*x + 14. Let o be b(x). Let i = o - -21. Is i a multiple of 11?
True
Suppose -107*i - 196*i + 1539020 = -9709855. Does 275 divide i?
True
Let o = 59 + -249. Suppose -1236 = 27*n - 23*n. Let j = o - n. Is 22 a factor of j?
False
Let x(o) = -o**2 + o + 32. Let m be x(6). Suppose 0 = -2*w - 2*k + 910, m*w + 4*k - 9*k = 938. Does 27 divide w?
True
Suppose -p = 25*n - 21*n - 2072, -7 = n. Is p a multiple of 39?
False
Let n be 339/18 - 1/(-6). Suppose -5403 + 26702 = n*d. Is d a multiple of 19?
True
Suppose 0 = -4*s - 3*d + 6*d - 9, 2*s = 2*d - 6. Suppose s = -4*h - 11 + 27. Suppose 34 = m + h*y, 4*y = -2*m + y + 73. Is 12 a factor of m?
False
Does 20 divide 57772/(-33)*(-45)/2 + 1 + 6?
False
Suppose 413 = -43*a + 2821. Let h = a + 224. Is 56 a factor of h?
True
Let j(z) = 3*z**3 - 47*z**2 + 389*z - 6. Does 168 divide j(10)?
True
Let z(v) = v**3 + 12*v**2 - 17*v - 17. Let y(w) = -5*w**3 + 2*w**2 + 2*w + 4. Let a be y(-2). Suppose -3*b - 3 = 0, -3*d + 10 = -b + a. Is z(d) a multiple of 7?
True
Suppose 11*w + 2446 = 268. Let o = w + 216. Is o even?
True
Suppose -35*z = -13*z - 103246. Suppose 17*b - z = 3178. Does 15 divide b?
False
Suppose 12735 = 3*z + 9*c - 1473, -3*c = 2*z - 9472. Is 104 a factor of z?
False
Let v(i) = i**3 + 18*i**2 - 71*i + 12. Let x(a) = -a**3 - 19*a**2 + 70*a - 12. Let m(k) = 5*v(k) + 6*x(k). Does 42 divide m(-27)?
True
Let y(f) = -6*f**2 + 23*f + 22. Let o(i) = -5*i**2 + 23*i + 22. Let b(k) = 4*o(k) - 3*y(k). Does 26 divide b(10)?
True
Suppose -78 = -9*h + 3*h. Let c(f) = f**3 - 12*f**2 + 2*f - 21. Is c(h) a multiple of 12?
False
Suppose -y - 5552 = y. Let h be y/22 - (-14)/77. Does 3 divide (h/18)/(1/(-1))?
False
Let x = 811 - 461. Is 35 a factor of x?
True
Let j be ((18/(-12))/(6/(-9)))/((-99)/924). Let l(o) = -207*o + 1. Let k be l(-1). Let m = k - j. Does 26 divide m?
False
Suppose 3*j - 2*x = 164 + 22936, -2*j = 2*x - 15400. Is 28 a factor of j?
True
Let d(o) = o**3 + o**2 - 17*o + 32097. Is 52 a factor of d(0)?
False
Let p be (30/4)/(-5)*-4. Suppose 2*i - 2*r = -p*r + 88, 0 = -5*i + 5*r + 205. Suppose -2*m = -4*m + i. Is 13 a factor of m?
False
Let d(i) be the first derivative of -25*i**2/2 - 20*i + 40. Let j(q) = -26*q - 19. Let m(k) = 3*d(k) - 2*j(k). Does 27 divide m(-8)?
True
Suppose 0 = -3*c + 6, -2*s - 497 = -c - 2085. Suppose n + 3*p = p - 265, -3*n - s = -4*p. Let y = n - -497. Is 34 a factor of y?
False
Suppose -4*t = 3*b - 0*b, -5*t - 2*b = 0. Suppose 4*u + 35 = 5*n - 110, t = -n + 3*u + 40. Does 3 divide n?
False
Suppose 36194 = 20*u - 157046 + 18820. Does 70 divide u?
False
Let h be -5*-1*(-3)/(-6)*-4. Let m be (-12 - -13)/((-2)/h). Let i(o) = 6*o**2 - 11*o + 1. Does 16 divide i(m)?
True
Let q(j) = 6*j + 37. Let v(y) = -1. Let d(f) = q(f) + 2*v(f). Is 3 a factor of d(21)?
False
Let k(i) be the second derivative of -i**4/12 + 5*i**2/2 - 5*i. Let w be k(3). Is w/(-8) + (-135)/(-2) a multiple of 16?
False
Suppose 5*f + 6 = 7*f. Suppose -f*r + 37 = 10. Suppose -2*m + 19 = r. Is m a multiple of 3?
False
Let i(h) = -h**3 - 30*h**2 + 61*h - 91. Let n be i(-32). Is (3/(-9))/(n/(-4935)) a multiple of 47?
True
Suppose 22*p - 4*h + 5544 = 25*p, 0 = 3*h. Suppose -7*r + 4*r = -p. Does 70 divide r?
False
Is 92 a factor of 16060 + -1 + 1 - (26 + (-682)/31)?
False
Suppose 20*v - 48 = -4*v. Suppose 0 = -v*s - n + 347, 699 = s + 3*s - 3*n. Does 7 divide s?
False
Let m = 680 - 342. Suppose 4*i = -3*l + 661, -2*i - 4*l + m = -0. Suppose 10*o - 217 - i = 0. Is 14 a factor of o?
False
Let m = 160745 + -86175. Is m a multiple of 115?
False
Let p(z) = 2*z + 11. Let b be p(5). Suppose -b*x = -24*x + 297. Is x a multiple of 11?
True
Let f = 11918 + -5782. Is f a multiple of 45?
False
Suppose -3*k + 2*h + 28 = 0, -12*h + 2 = -10*h. Does 28 divide k/(-8) + 10019/172?
False
Let l(p) = -11*p**3 + 11*p**2 - 26*p - 54. Is l(-8) a multiple of 11?
True
Let m = -5617 - -11290. Is m a multiple of 6?
False
Suppose -35 = -15*q + 20*q. Let y(f) = 5*f + 96. Is 3 a factor of y(q)?
False
Suppose 2*l = -14*l - 896. Let p = l - -62. Suppose -4*d = x - 15, -x + d = -p*x + 170. Is x a multiple of 2?
False
Suppose -19*y + 36*y + 42*y - 1806167 = 0. Is y a multiple of 11?
True
Let v = -36 - -34. Let f(y) = -3*y**3 - 2*y**2 - 3*y. Let r be f(v). Suppose -37 = -s - r. Does 3 divide s?
True
Let v(k) = 201*k - 1. Suppose -3*p + 5 = 2*p - b, -5*b = 3*p - 3. Let l be v(p). Suppose -4*x - 3*m = -160, -l = -5*x - 0*