 + 4. Is 25 a factor of 75/j*l/1?
True
Suppose -3*i + 260 = 4*p, 5*i + p - 150 = 306. Does 3 divide i?
False
Let z be 32/(-20)*1/(4/(-10)). Suppose v + 117 = z*v. Is 13 a factor of v?
True
Let b(d) = 8*d - 5. Let o(r) = 2*r + 2. Let l be o(1). Is b(l) a multiple of 22?
False
Let o be 12/4 + 176 + -3. Suppose -3*l + o = -4*d, -2*d - 254 - 44 = -5*l. Is 15 a factor of l?
True
Let q(m) = 10*m**3 + 7*m**3 - m - 3*m**2 + 2 - 7*m**3. Suppose -5*y = -5*z + 3 + 2, 5*y = -3*z + 11. Is 15 a factor of q(z)?
False
Let l = 2201 - 2186. Is 2 a factor of l?
False
Let n be (9/(-12))/((-4)/1152). Suppose 4*u + n = 7*u. Is 12 a factor of u?
True
Suppose -34 = r + 4*r - 2*m, 4*r + 28 = 2*m. Does 37 divide (198/4 - r)*(-2)/(-3)?
True
Suppose -o - 156 = -4*o. Let g = 152 - o. Is g a multiple of 20?
True
Let l(x) = 32*x - 12. Let d be l(10). Let h = d - 140. Is 28 a factor of h?
True
Does 24 divide 0 + -1 - -38 - 0 - 1?
False
Suppose 9*v = 8*v + 18. Is v a multiple of 3?
True
Suppose -2*w + 2*r + 485 = -177, 5*r - 25 = 0. Is 28 a factor of w?
True
Does 27 divide 0/(-1) + (-4725)/(-25)?
True
Let m be (-1 - 18)/(1*(-3)/120). Suppose -p = 2*t - 2*p - m, -4*t + 4*p + 1524 = 0. Is 15 a factor of t?
False
Suppose 5*q - 484 = 176. Suppose 2 = k - 1. Suppose 0*d = k*d - q. Does 21 divide d?
False
Let q(c) = -2*c - 18. Let k be q(-10). Suppose -k*n + 115 = -237. Is n a multiple of 22?
True
Let h(j) = j**3 - 10*j**2 + 18*j - 36. Does 3 divide h(9)?
True
Let h be 3*-3*(-10)/45. Suppose -h*p + 112 = 2*v - 0*v, 2*p - v = 127. Suppose 0 = -2*g - 4*q - 0*q + 76, q = 2*g - p. Is 8 a factor of g?
True
Let l be (0/(-4))/(-3) + 2. Suppose 4*n - 3*u = 2*n + 711, -681 = -l*n - 3*u. Suppose 0 = 4*a - 2*g - n, 5*a + g - 214 = 235. Does 18 divide a?
False
Suppose d = 5*n - 101, -2*d + 77 = 4*n + d. Let h = 32 + -27. Suppose s - 2*u - 8 = n, -4*s + h*u = -106. Is 5 a factor of s?
False
Is 21 a factor of (-154)/(-2) + (-57 - -64)?
True
Let v = -20 + 64. Does 11 divide v?
True
Let v be 4 + (-1 - -36 - 4). Suppose -v = f - 8*f. Is 4 a factor of f?
False
Let z(c) = -c**2 - 8*c - 32. Let b be z(-16). Let k = -103 - b. Is 19 a factor of k?
True
Suppose -2*p + 0 - 10 = 0, 0 = i + 5*p + 21. Suppose -i*v + 9*v = 90. Suppose 5*x - v - 57 = 0. Is x a multiple of 5?
True
Suppose -13*r + 1613 = 2*q - 14*r, 0 = 4*q + 4*r - 3208. Is 23 a factor of q?
True
Suppose 2*w - 6*w = 0. Suppose -u + w*u = -70. Is u a multiple of 14?
True
Suppose 0 = -r - g + 550, 5*r + 4*g = 790 + 1965. Is 15 a factor of r?
True
Let m = 7 - 3. Let b be 32/(-12)*(-57)/m. Let z = b + -16. Is z a multiple of 11?
True
Suppose -22*w + 4772 = -17668. Is w a multiple of 51?
True
Suppose 0 = -3*w - l + 54 + 152, -4*l - 60 = -w. Is w a multiple of 2?
True
Suppose 4*c - 5*j - 1105 = 0, -c = 2*c + j - 805. Is 20 a factor of (c/3 - -3) + -3?
False
Suppose 0 = -2*g + 2, -4*k - 3*g - 20 + 103 = 0. Is 5 a factor of k?
True
Let z(y) = 7*y**2 - 4 + 347*y - 695*y + 349*y. Let b be 0 + (-1 - -3) - 0. Does 12 divide z(b)?
False
Is 5 a factor of ((-315)/28 - 5)/((-1)/12)?
True
Let n(y) = 6*y**2 - 2*y + 62. Is n(7) even?
True
Suppose 0 = -w - 3 + 8. Suppose -5*k + 2*k + 9 = 0, 5*d + 15 = -w*k. Is 2 a factor of 8 - 9 - (d + -1)?
True
Let g(t) = -t**3 - 5*t**2 - t - 8. Let k be g(-4). Is (126/(-15))/(3/k) a multiple of 9?
False
Let r(o) be the first derivative of o**6/360 + o**5/60 - o**4/12 + 8*o**3/3 - 3. Let z(n) be the third derivative of r(n). Is 2 a factor of z(-4)?
True
Let g(a) = -15*a - 1. Let v be g(1). Let y = -49 + 9. Let t = v - y. Is t a multiple of 18?
False
Suppose -n = 2*n - 9. Suppose 40 - 4 = n*p. Is 3 a factor of p?
True
Let k = -345 - -896. Is k a multiple of 13?
False
Suppose 16*r - 14*r + 9344 = 0. Does 18 divide r/(-60) + (-2)/(-15)?
False
Let g(v) = -v + 12. Let t(x) = 1. Let r(q) = g(q) - 5*t(q). Let a be r(3). Suppose -a*w = w - 105. Is 7 a factor of w?
True
Let o be (-1)/(-2) - 9/(-2). Let y = 25 - o. Does 4 divide y?
True
Is 82 a factor of 0 + 657 + (24/(-6))/4?
True
Suppose 4*p = 5*h + 5*p - 1325, -2*h + 553 = 5*p. Is 12 a factor of h?
True
Let l be (-1)/4 + 81/4. Let s be 10/2*(-8)/l. Let t = 38 - s. Is t a multiple of 8?
True
Let l(o) = o**2 + 9*o + 5. Let n be l(6). Suppose -3*b + 13 = -n. Does 6 divide b?
True
Let i(d) be the second derivative of -d**5/20 + d**4/12 - d**3/6 + 169*d**2/2 + 14*d. Is 34 a factor of i(0)?
False
Suppose -g = -5*x + 2, 2*g + 4 = 3*x - 0*g. Is 9 a factor of (23 - -2) + (3 - x)?
False
Is 4 a factor of 13/((-585)/(-12990)) + 2/6?
False
Let l be (-6)/15 - (-6)/15. Suppose l = 2*i - 142 - 218. Is i a multiple of 45?
True
Let v be 0 + -1 + 11 + -10. Suppose -3*t + 5*t - 4 = v. Suppose -t*d + 3*y + 128 = 0, -5*d - y + 36 + 301 = 0. Is 21 a factor of d?
False
Suppose 609 = -8*z + 2705. Is z a multiple of 4?
False
Is 44 a factor of 1584/(-56)*(2 - (-20)/(-3))?
True
Let p(m) = 3*m + 15. Let f be p(-10). Let x(j) = -j - 6. Let o be x(f). Is -1 + (o/(-3) - -33) a multiple of 9?
False
Suppose -51 = -6*b - 3. Suppose -10*p + 12*p = b. Suppose p*l = 74 + 42. Is 13 a factor of l?
False
Let s = -944 + 1108. Is s a multiple of 2?
True
Let v = -81 + 202. Let p = -83 + v. Does 20 divide p?
False
Let b(o) = o - 13. Let h be b(11). Does 7 divide (218/(-4) + 2)*h/3?
True
Let p(l) = 3*l + 20. Let n be p(-6). Suppose i - 38 = -2*i + 5*c, 8 = n*i + c. Is i a multiple of 2?
True
Let p(y) = 4*y + 11. Let j be p(13). Let b = j + 28. Suppose 4*s - b = 85. Is 22 a factor of s?
True
Let g = -38 + 33. Let u(q) be the second derivative of -2*q**3/3 + q**2/2 + q. Does 5 divide u(g)?
False
Let g be 6/21*(-42)/(-12). Does 37 divide 80 + (g - 2) + 2 + -1?
False
Let c(g) = -g**3 - 2*g**2 - 3*g - 5. Let b be c(-4). Let m = -55 + b. Is 12 a factor of (-94)/(-4) + (-8)/m?
True
Suppose -p + 6 = 2*p. Suppose 6*x - p*x + 8 = 0. Is 2 a factor of -6*(x/(-4) - 1)?
False
Let y(g) = -5*g - 4. Let h(i) = -15*i - 12. Let b(u) = 3*h(u) - 8*y(u). Is 9 a factor of b(-6)?
False
Suppose -7*r + 4*r = -4*u + 4, 3*u = -2*r + 3. Let l be (-3 + r)*(0 + -1). Suppose l*w - 100 = -2*w. Is 6 a factor of w?
False
Let b(y) be the second derivative of -y**3/2 + 45*y**2/2 + 13*y. Is 15 a factor of b(-10)?
True
Let g = 73 - 66. Does 4 divide (-6)/(g/(98/(-16)) + 1)?
False
Suppose -4*p - 4*y - 35 = 25, -5*y - 15 = 0. Let u(a) = -a**3 - 13*a**2 - 12*a - 4. Let f be u(p). Let j = f - -12. Does 8 divide j?
True
Suppose t - z + 0*z - 1459 = 0, -z - 2919 = -2*t. Is 18 a factor of t?
False
Does 35 divide ((-2415)/(-10) - -3) + (-1)/(-2)?
True
Let i(k) = k**2 + 11*k + 36. Let w be i(-7). Let b = -19 - -31. Suppose -b*x + 28 = -w*x. Is x a multiple of 4?
False
Is (-1053)/45*(-40)/6 a multiple of 12?
True
Let k be ((-208)/(-14))/(2/7). Let b = -83 - -48. Let x = b + k. Is x a multiple of 4?
False
Let d be 2/12 + 55/30. Suppose 5*c = 3*j + 190, -5*j + 10 = -d*c + 3*c. Is 17 a factor of c + (-1)/2*6?
False
Let h(r) = r**2 - 3*r + 5. Let u be h(4). Let w(i) = -i**3 + 9*i**2 + i + 11. Let x be w(u). Let y = 23 - x. Is 2 a factor of y?
False
Suppose 33 = -i + 5*u, 5*i = -2*u - 19 - 11. Let g = 41 + i. Does 5 divide g?
False
Suppose 2*r = -2*w - 26, 3 = -5*r + 4*r. Let m be w/(5/(10/(-4))). Suppose 2*g = m*g - 36. Does 12 divide g?
True
Is 24 a factor of (621 - (-1 + 0)) + -6 + 4?
False
Suppose -336 = -39*k - 9*k. Does 2 divide k?
False
Let q = 20 + -17. Suppose -q*j + 9 = -4*t, 5*t - 4*j + j = -12. Is 9 a factor of t*(-9)/(-1)*-1?
True
Suppose r = 4*r - 60. Suppose u + 3*u - r = 0. Suppose -69 = -u*t + 176. Is t a multiple of 9?
False
Suppose -5*b = 5*u - 90 - 215, -4*u = -b - 244. Suppose d + 17 = -u. Is 18 a factor of -2 - ((6 - 2) + d)?
True
Let h(u) = 3*u**2 + 3 + 7*u - 2*u**2 - 2*u**2. Let g be h(8). Is 23 a factor of (-228)/g - (-14)/35?
True
Is 34 a factor of (-77)/2*360/(-210)?
False
Let p be 2/13 + 8/(-52). Suppose -3 = -3*n + 3*i, -3 = 3*n + 3*i - p. Suppose 5*q = -n - 15, 0 = -u - q + 25. Is 14 a factor of u?
True
Let l = -661 + 459. Let y = l - -400. Is 18 a factor of y?
True
Suppose -4*n - 7*p = -2*p - 1665, -p = -5. Does 10 divide n?
True
Suppose 22*h = 23*h - 70. Is 6 a factor of (-424)/(-7) - 40/h?
True
Suppose 0 = 3*y + 3*f + 3, y - 3*f + 4 = 7. Suppose 3*t - 60 = -3*i - 0*i, -t + 4*i - 5 = y. Is t a multiple of 15?
True
Let p(c) = 3*c + 84. Let b(m) = 4*