f w?
True
Let v = -293 + 447. Let y = v - 109. Does 9 divide y?
True
Suppose 3*u - 32 = -23. Is 18 a factor of ((-189)/28)/(u/(-16))?
True
Let m be (-3)/(-1)*22/22. Suppose -m*t = 4*y - 471, -27 = -y - 2*t + 97. Is 19 a factor of y?
True
Let s(h) = 2*h**2 - 24*h + 11. Suppose -39*z = -40*z + 17. Is 19 a factor of s(z)?
False
Let t(b) = b**3 - b**2 + 10*b - 11. Is 13 a factor of t(2)?
True
Let j = 18 + -55. Let g = 55 + j. Is g a multiple of 9?
True
Suppose 0 = 2*d - d - 3*o - 19, -2*d + 4*o = -32. Let b(a) be the third derivative of a**5/30 - 7*a**4/12 + 8*a**3/3 + 8*a**2 + 3*a. Does 19 divide b(d)?
True
Suppose -q + 2 = -2*f, q - 3*f + 0*f - 1 = 0. Suppose -n + 5*l - 19 = 0, -3*n = -0*n - 4*l + 35. Does 25 divide (n + 1)*(-17)/q?
False
Let w = -8 - -2. Let p = w - -9. Suppose 2*a + 3*g = 31, -51 = -4*a - p*g + 14. Is 13 a factor of a?
False
Suppose 16*d = 10115 - 3219. Is d a multiple of 6?
False
Does 29 divide (-1)/2 + ((-23499)/18)/(-1)?
True
Let d = 258 + -152. Suppose u = 3*z - 2*u - 123, 0 = -2*z - 4*u + d. Suppose f = -3*o + z, 5*f + 0*o - o = 257. Is 17 a factor of f?
True
Let k(f) = -2*f**3 + 6*f + 26. Suppose p - 18 = -23. Is 41 a factor of k(p)?
True
Let z(u) be the second derivative of 2*u**3/3 - 25*u**2 + 14*u. Is 6 a factor of z(18)?
False
Let g(m) = -23*m + 4. Let c be g(2). Let z be (-18)/c + 274/14. Is 4 a factor of 118/8 + 5/z?
False
Suppose 0 = 4*x + 4. Let g = x - -4. Suppose -4*p - 2*u + 44 = -5*u, 0 = -g*p - 5*u + 33. Does 3 divide p?
False
Let g = 29 - 17. Does 69 divide (0 + (-1)/4)/(g/(-20784))?
False
Suppose -3*q + 37 + 20 = 0. Suppose 0 = -2*w + 29 + q. Is (2/4)/(1/w) a multiple of 4?
True
Suppose 5*z = -3*u + 4840, 4*u - 237*z + 233*z - 6464 = 0. Is 85 a factor of u?
True
Suppose 0 = -3*w + 6*w - 2*x + 439, 0 = 2*w + x + 281. Let b = -8 - w. Is b a multiple of 9?
True
Suppose 2*s + 206 = -2*k, 3*s + 191 = s - 5*k. Let d = s + 396. Is 32 a factor of d?
True
Suppose 0 = 14*w - 18*w + 680. Is w a multiple of 17?
True
Suppose -4840 = -9*a + 13*a. Does 4 divide 1/(-5) + a/(-50)?
True
Let x be 4/6 + (-8)/(-6). Suppose -x*i = -0*i + 288. Let d = i - -205. Is 14 a factor of d?
False
Let o(v) = -v**3 + 4*v**2 - 3*v + 1. Let l be o(3). Suppose -z = -l - 5. Is z a multiple of 5?
False
Let c(u) = u**2 + 3*u + 2*u**2 + u**2 - 7. Does 8 divide c(-4)?
False
Let j = -1155 + 1429. Is 2 a factor of j?
True
Suppose -6*b - 4400 = -16*b. Is 20 a factor of b?
True
Suppose -5*s + 3*y + 109 = 0, -3*s = 5*y - 92 + 13. Is s a multiple of 15?
False
Let d = 54 + -53. Is 21 a factor of 25 + 12/4 + d?
False
Let r = 1053 - 459. Is 9 a factor of r?
True
Let w = 24 - 23. Let a be (w - 1)/(-3) + 3. Let i(c) = 2*c**3 - c**2 - 5*c + 4. Is i(a) a multiple of 17?
True
Let t = 848 + -504. Is t a multiple of 43?
True
Suppose -139*y - 31668 = -160*y. Does 13 divide y?
True
Suppose -2*l + 4 = 2*l. Does 7 divide (-54)/(-216)*(1 + 66 + l)?
False
Let u(n) = -4*n - 41. Let c be u(-13). Let x(t) = t**3 - 11*t**2 + 2*t - 8. Does 13 divide x(c)?
False
Let h(u) = u**3 + 7*u**2 + 8*u - 4. Let y be h(-6). Let b be 12*(1 + 12/y). Suppose 2*x - b*w = 4*x - 16, -5*x - 3*w + 58 = 0. Is 7 a factor of x?
True
Let x = 198 - 51. Is 44 a factor of x?
False
Let j = 2332 + -1666. Is 6 a factor of j?
True
Let j(n) = n**3 - 2*n**2 + 2*n + 13. Is j(7) a multiple of 68?
True
Is 40 a factor of (132/(-9))/((-2)/51)?
False
Is 16 a factor of -8*(-4953)/104 + -2*1?
False
Let b = 13 - 10. Suppose 100 = 4*w - m, b*w - m - 75 = 3*m. Is w a multiple of 7?
False
Suppose b + 137 = g, -473 = -2*g + 3*b - 199. Let w = g + -29. Is 21 a factor of w?
False
Let x(f) = -f**3 + 10*f**2 - 5*f - 33. Let k be x(9). Suppose -46 = -2*g - 2*a, 0 = k*g - 2*a + 6*a - 65. Is g a multiple of 2?
False
Let a(l) = l**2 + 9*l + 3. Let d be a(-9). Suppose 2*p = -2*i + 366, d*p = 3*i + 514 + 59. Let n = -112 + p. Does 16 divide n?
False
Is 8 a factor of (-25)/(-20) + 12081/12?
True
Suppose 7*s = 2*s. Suppose s*d = -2*d - 28. Let y = 25 - d. Is 17 a factor of y?
False
Suppose -5*d + 2*o = -1337, -2*o + 517 + 549 = 4*d. Does 12 divide d?
False
Does 116 divide (-10962)/(-28)*(-48)/(-9)?
True
Let g = -21 + 23. Does 17 divide g/((-2)/(-534)*6)?
False
Let u = 3 + -3. Let x be u/((-7)/((-7)/(-2))). Suppose -4*y + h = -22, 4*y - 32 = -x*y - 4*h. Is y a multiple of 3?
True
Let j(g) = 96*g**2 + 75*g + 232. Is 13 a factor of j(-3)?
True
Suppose -2*d - 22 = -234. Suppose 134*z - d = 133*z. Is z a multiple of 11?
False
Let s = -694 + 1770. Is s a multiple of 9?
False
Let h = -75 - -471. Suppose x + h = 5*g, 2*x - 123 = -g - 35. Is 10 a factor of g?
True
Let i(y) be the first derivative of -y**4/4 + 13*y**3/3 - 4*y**2 - 7*y + 7. Let a be i(12). Suppose -3*g = -a - 61. Does 17 divide g?
True
Suppose -5*l = 15, b - 5*b + 2*l = -154. Let a = b + -10. Is ((-99)/a)/((-1)/3) a multiple of 2?
False
Let i(f) = -f**3 + 11*f**2 - 6*f + 6. Let k(m) = m**2 - 11*m - 16. Let r be k(13). Is i(r) a multiple of 18?
False
Suppose -z - z - 6 = 0, 3*h + 51 = 3*z. Let k(v) = -v**3 - 19*v**2 + 18*v - 23. Is 3 a factor of k(h)?
False
Let o(m) = 1490*m - 14. Is 12 a factor of o(1)?
True
Suppose 7 = 5*l + 57. Suppose 2*x + 20 = -0*x. Does 9 divide (-274)/x - l/(-25)?
True
Suppose -4*m - v + 1492 = -3197, 5*v - 4677 = -4*m. Is 9 a factor of m?
False
Suppose 10*f - 611 = 8*f - v, -15 = 5*v. Is f a multiple of 54?
False
Let i(y) = y**2 - 14*y - 26. Does 8 divide i(-12)?
False
Suppose 5*q - 2*l = 3, q + 5*l = 5 - 26. Let d be (3 - q) + -2 + 3. Does 9 divide 1 + -2 + d + 23?
True
Suppose s - 40656 = -43*s. Is 11 a factor of s?
True
Suppose 0 = -9*c + 4*c - 55. Let d(u) = -4*u + 8. Is 26 a factor of d(c)?
True
Suppose -12*q = -q - 231. Suppose -q*w + 300 = -16*w. Is w a multiple of 15?
True
Is 24 a factor of 1 + (-30)/26 - 210542/(-299)?
False
Suppose -6*k - 8 = -r - 2*k, -3*r + k + 13 = 0. Suppose 0 = -r*h + 5*q + 175 - 22, 12 = 4*q. Is h a multiple of 7?
True
Let o be 2/(-2)*3*(-92)/(-6). Let d = 25 - o. Is 14 a factor of d?
False
Let g be 294/(2 - -4) - 3. Suppose g = u - 290. Is 24 a factor of u?
True
Suppose u - 23 = 5*x, 4*u + 18 = -2*x - 0*u. Let l be (0 - x)*(-6)/15. Is (-1 - (l + 1)) + 29 a multiple of 11?
False
Suppose 87*p - 84*p = 693. Does 4 divide p?
False
Suppose -4*d + 2814 = -222. Is d a multiple of 24?
False
Suppose 10*x + 17*x = 10557. Is 31 a factor of x?
False
Let n(s) = 7*s + 29. Let w be n(-6). Let z(x) = -x**2 - 18*x. Is z(w) a multiple of 13?
True
Let o = 2844 - 1423. Is o a multiple of 29?
True
Let u(r) = -5*r - 5. Let t be u(-2). Let y = t - 1. Suppose 2*o = 2*x + 22, 3*x - 5*x - 36 = -y*o. Is 7 a factor of o?
True
Let p(m) = 2 - 5 + 3 + 5*m - 1. Is 17 a factor of p(14)?
False
Let c(m) = -m**3 + 8*m**2 + 2. Let h(g) = 4*g - 2. Let a = -8 - -10. Let b be h(a). Is c(b) a multiple of 28?
False
Suppose 3*v = -3*c - 48, 3*c + c + 3*v = -65. Let t = 10 - c. Does 16 divide t?
False
Suppose -u + 12 = -4*t - 5*u, 4*t + 2*u + 2 = 0. Suppose -5*a = -3*l - 285, t*a + 4*l + 96 = 236. Is 12 a factor of a?
True
Let v be ((-106)/12 - 4/6)*-32. Let d = 455 - v. Does 40 divide d?
False
Suppose -5*f + 8*x - 10*x + 8962 = 0, f - x = 1791. Does 20 divide f?
False
Does 20 divide (-2)/8*(148 + 18)*-40?
True
Suppose -b + 1442 = 13*b. Does 5 divide b?
False
Let c be ((-9)/(-6))/(12/520). Suppose 0 = -3*p + c + 166. Does 31 divide p?
False
Let x(a) = a**2 - a - 20. Let u be x(0). Let n = u - -32. Is n a multiple of 12?
True
Let x = 336 - -88. Is x a multiple of 82?
False
Suppose -5*y - r + 2860 = r, -3*y - 4*r = -1716. Does 45 divide y?
False
Suppose 0 = -2*l + 3*d + 323, -4*l + d = -442 - 199. Does 2 divide l?
True
Let n(a) = 14*a**2 - 47*a - 21. Let i(r) = 5*r**2 - 16*r - 7. Let h(m) = 17*i(m) - 6*n(m). Let u be h(-8). Does 12 divide 24 - (-3 + u/(-3))?
True
Suppose -3*x - 4168 = -5*r, 0 = 4*r - 2*r - 2*x - 1664. Is 76 a factor of r?
True
Let g = 22 - 21. Is ((-21)/14)/((-3)/114*g) a multiple of 29?
False
Suppose 5*v - 20 = 5. Suppose -4*k - 170 = -5*d, 0 = -v*d - 2*k - 2*k + 130. Does 6 divide d?
True
Let s(q) = -21*q + 8. Let d be s(-10). Is 18 a factor of d/6 + (-2)/6?
True
Let f be 4*(126/(-8) - 1). Let t = 3 - f. Is 35 a factor of t?
True
Let m be 2/10 - (-2114)/(-70). Is 4 a factor of ((-24)/m)/((-1)/(-45))?
True
Suppose 21*k - 707 = 5341. Does 1