v*-1)?
False
Let g(u) = u**3 + 8*u**2 + 3*u + 2. Is 28 a factor of g(-6)?
True
Let m(r) = r + 3. Let p be m(-4). Let a(l) = -32*l**3 - l - 1. Is a(p) a multiple of 8?
True
Suppose 4*d + 660 = 5*q, 281 = 4*q - 2*q - 5*d. Is q a multiple of 6?
False
Let q(h) be the third derivative of h**6/120 + h**3/2 + h**2. Is q(3) a multiple of 12?
False
Suppose i + 0*i = 0. Suppose i*b - 10 = -2*b. Suppose 54 = 2*h - 2*f, -h + 24 = b*f - 21. Is 15 a factor of h?
True
Suppose 5*x - 3*x = 38. Let s be (8/3)/((-28)/(-42)). Suppose 0*o + o - x = l, 77 = 5*o + s*l. Is o a multiple of 7?
False
Suppose d = 3*o + 1197, 4*d + 2537 - 525 = -5*o. Let m = o - -570. Is 3/(-6) + m/4 a multiple of 21?
True
Suppose 4*u - 2*p = 384, 4*p - 150 + 443 = 3*u. Is 15 a factor of u?
False
Suppose 0 = -4*b + 4*l + 20, 4*b + 3*l - 14 = 4*l. Is 10 a factor of 3*(20/b - 0)?
True
Suppose -g = -2*g - 9. Let h(s) = s**3 + s**2 - s - 14. Let m be h(0). Let k = g - m. Is k even?
False
Suppose 4*z + v - 299 = -0*z, -2*v + 80 = z. Does 17 divide z?
False
Is 10 a factor of 12 - (0 - 2)*1?
False
Suppose 35 = 3*k + 4*c, 15 + 10 = 4*k + c. Let r = k - 0. Suppose r = -4*a + 33. Does 7 divide a?
True
Let z(p) = p**2 - 3*p + 3. Does 10 divide z(-3)?
False
Suppose 5*d - 89 = -2*c, d + 2*c - 32 = -d. Suppose -3*w + d = -17. Suppose q + 0*q - 30 = -4*k, -q + w = -2*k. Does 13 divide q?
False
Suppose 0 = v - p + 775, -4*p + 1 = -3*p. Let u = -52 + 13. Does 20 divide v/u - 8/(-52)?
True
Let z(k) = k**2 + 4*k + 6. Suppose 0 = -5*y + 28 - 8. Suppose 3*g = -2*a + y*a - 20, 2*g + 7 = -5*a. Is z(g) a multiple of 9?
True
Suppose 5*q + 5*f = f + 1905, 0 = -3*f. Is q a multiple of 13?
False
Let w = 406 - 274. Is 33 a factor of w?
True
Let t(n) = n**2 + 3*n - 3. Let a be t(-6). Let y = -2 + a. Does 13 divide y?
True
Suppose -20*q - 66 = -22*q. Is q a multiple of 11?
True
Suppose -23 = -2*f - u, 0*f - 5*u = 3*f - 17. Let q = f - -21. Does 11 divide q?
False
Let a be (2 - (-3 + 5))/(-2). Suppose a = s - 1, -3*n + 4*s + 92 = -54. Does 25 divide n?
True
Let p(k) = -k**3 + 8*k**2 - k + 10. Let r be p(8). Let q(s) = 0 + s + 9 - r. Is 10 a factor of q(6)?
False
Let g(s) be the first derivative of -s**2 - 3*s - 1. Let k be g(-3). Suppose 0 = -3*x + x - h + 65, -x - k*h + 30 = 0. Is x a multiple of 9?
False
Suppose -5*j = 3*m - 2 - 16, -2*j + 4*m = -28. Is -1*j/(-2)*3 a multiple of 4?
False
Suppose -2*w - 4*w = -216. Is w a multiple of 9?
True
Let h(u) be the third derivative of -2*u**2 + 0*u**4 + 0*u + 0*u**3 + 0 + 1/30*u**5. Does 9 divide h(-3)?
True
Let b = -82 + 184. Let i(h) = -h**2 + 3*h + 4. Let p be i(3). Suppose -t = -p*t + b. Is t a multiple of 17?
True
Let v(h) = -2*h**2 - 19*h - 4. Is 4 a factor of v(-8)?
True
Let z = -207 + 311. Is 13 a factor of z?
True
Let c = 16 - -92. Suppose 2*z - 2*q - 67 = -q, -3*q = -3*z + c. Is 13 a factor of z?
False
Let l = 86 - 39. Does 40 divide l?
False
Let h(g) = g**2 + 2*g + 1. Let i be h(-1). Let r = -23 + 18. Let t = i - r. Is t a multiple of 5?
True
Suppose 3*l + 3 = -2*c + 18, 5*c - 40 = -5*l. Let g(q) = 4*q + 12*q - 4*q + 2*q**2 - 1 - 3*q**2. Is g(c) a multiple of 13?
True
Suppose 2*n - 7*n - 35 = 0. Let g(a) = -a**2 - 7*a + 2. Let y be g(n). Suppose -3*p - l = -39, -l - 15 = -p - y*l. Does 12 divide p?
True
Let v be (-362)/(-6) + (-2)/6. Suppose 4*a = -v + 192. Does 12 divide a?
False
Suppose -3*o + 767 = 83. Is o a multiple of 12?
True
Let d(g) = -g**3 + 10*g**2 - 11*g - 1. Suppose 5*q - 34 - 6 = 0. Does 13 divide d(q)?
True
Let s(q) = -4*q - 13. Let l(o) = 2*o + 7. Let t(n) = 5*l(n) + 3*s(n). Let r be t(-3). Suppose 0*v - 52 = -r*v. Is v a multiple of 13?
True
Suppose 4*v - 4 = 2*s, -2 = -v + 4*s - 1. Let p = v - -23. Is 10 a factor of p?
False
Let j be 82/(-2) + (-2 - -1). Let u be (-3)/(-6) + (-123)/6. Let l = u - j. Does 11 divide l?
True
Suppose 6 = 3*v - 102. Is 12 a factor of v?
True
Let t = 646 + -305. Is t a multiple of 59?
False
Let q(l) = 26*l**3 + l**2 - 2*l + 1. Let r be (-12)/(-3)*1/4. Is q(r) a multiple of 11?
False
Suppose 4*x - x + 13 = 4*t, 5*x = 25. Is 10 a factor of (-4)/(-6)*294/t?
False
Let s = 9 + 0. Is s a multiple of 9?
True
Suppose 6*b = 2*b. Suppose -h + 2*h = -4*r + 13, b = 3*h - 5*r + 12. Suppose -d - h = -3. Is d even?
True
Let r(w) = 23*w + 6. Let m(v) = -8*v - 2. Let h(g) = -8*m(g) - 3*r(g). Does 13 divide h(-3)?
True
Let b = -26 - -46. Is b a multiple of 4?
True
Suppose -5*t + r - 5 = -0, 0 = -2*t + 3*r - 15. Suppose t*f + 136 = 2*f. Let p = f - 14. Does 18 divide p?
True
Let i be (8 - 3)*2/5. Suppose 7*n - 30 = i*n. Is 4 a factor of n?
False
Suppose -3*c + 8*c = -15. Let a be 15/(-2)*2/c. Suppose 0 = -4*h - a*d + 97, 0 = -0*h - 3*h - 2*d + 71. Is h a multiple of 10?
False
Let b(g) = 8*g - 40. Does 4 divide b(9)?
True
Suppose 0*k - 34 = k - 2*h, 0 = k + 3*h + 39. Does 27 divide (k/20)/(4/(-180))?
True
Let p = -10 - -12. Is (11 + 0/(-1))*p a multiple of 22?
True
Let h be 0/(-6) - (0 - -3). Let w(v) = -v. Let s be w(h). Suppose -2*z - 125 = -4*n - s*z, -145 = -4*n - 5*z. Does 23 divide n?
False
Suppose -4*q = -4*l + 172, -2*q + 2*l - 4*l - 90 = 0. Let x = q - -63. Is 19 a factor of x?
True
Let d = 1 - -2. Suppose -3*a = 3*o - 30, -a = 4*o - d*a - 22. Does 7 divide o?
True
Let m(t) = t**2 - 3*t + 4. Let n be (20/(-6))/(2/(-3)). Let i(w) = -w**3 + 6*w**2 - 6*w + 1. Let k be i(n). Does 16 divide m(k)?
True
Suppose -y = r - 3*r + 9, -4*y = -r + 8. Let x = -1363 - -973. Is 19 a factor of x/(-7) + r/14?
False
Let a be (-2)/10 - (-21)/5. Suppose a = 4*x - 4. Suppose -x*u + 5*u - s = 43, u = -4*s + 10. Is u a multiple of 6?
False
Let y = -65 - -116. Suppose y = 2*c - 87. Suppose 0 = -2*b + 5*b + 3*h - 75, -c = -3*b + 3*h. Is 19 a factor of b?
False
Let s be 56/(-26) - (-2)/13. Let i = -3 - s. Does 13 divide -1 + (-13 + i)/(-1)?
True
Let u = 166 - 10. Does 26 divide (u/10)/((-6)/(-30))?
True
Suppose 0 = 5*a + 3*k + 64, -4*a - 50 = -2*k + 4*k. Let p be 0 - (-39*1 - 2). Let w = p + a. Does 15 divide w?
True
Let i be 14 + -5 - (-2 + 1). Does 12 divide 355/i + (-2)/4?
False
Suppose 4 = s - 5. Suppose -s = -4*g + g. Let h(r) = 2*r**3 - 3*r**2 - 3*r + 1. Is 19 a factor of h(g)?
True
Suppose -3*j - 6 = -u, -4*j = -u + 2*u - 34. Does 9 divide u?
True
Does 32 divide -2 - ((-476)/6 - (-8)/(-12))?
False
Let z = -3 - -8. Suppose 2*p = z*p - v - 118, 5*v = 10. Does 25 divide p?
False
Let g = -17 - -113. Does 16 divide g?
True
Suppose -3*a + 4*a = 73. Let l = -6 + a. Suppose 0 = -4*b + 13 + l. Is b a multiple of 20?
True
Suppose p = -3*t - 5, 4*t - 2 = -5*p - 16. Let u(q) = 37*q**2 + q. Does 12 divide u(t)?
True
Let p(m) = 20*m**2 - m. Let w be p(1). Suppose -4*z + 13 + w = 0. Is z a multiple of 4?
True
Suppose -2*q = -5*z + 2*q - 23, 4*q = 4*z + 20. Let r be 13 - (3/z + 0). Suppose -3*i = 4*s - 30 - r, s + 4*i = 11. Is s a multiple of 11?
True
Suppose -195 = -8*r + 365. Is r a multiple of 5?
True
Suppose 8*y + 4*y - 576 = 0. Is 10 a factor of y?
False
Let j be -3 - (-11 + (3 - 1)). Let z = 19 - j. Is 8 a factor of z?
False
Let o = 87 + -145. Let r = -32 - o. Is r a multiple of 15?
False
Suppose -4*d = -175 + 15. Is 10 a factor of d?
True
Suppose 0 = -3*s - 0*s - 27. Let z be 1/2 - 106/(-4). Let c = z - s. Is c a multiple of 17?
False
Suppose -2*l = 3*r + 27, 4*r + 11 = -l - 15. Is 3 a factor of (-57)/(-9) - (-2)/l?
True
Suppose n + 52 = 7*f - 3*f, -f - 4*n = -30. Let m = f - 2. Is 4 a factor of m?
True
Suppose -42 - 4 = -2*j + 3*v, 2*j + 3*v = 34. Is 5 a factor of j?
True
Suppose 5*a = -4*d + 12, 2*a + 0*a = -4*d. Suppose -23 = -3*j + a*j. Does 11 divide (-1)/(2/4) - j?
False
Let b(g) = -49*g**3 + g. Let v be b(1). Is 26 a factor of (-2316)/v + 6/8?
False
Suppose -3*l + 30 = -2*l. Let i = l + -47. Let b = 13 - i. Does 9 divide b?
False
Let v be 3*(4 - (-20)/(-6)). Let t(o) = 11*o**2 - o - 2. Does 17 divide t(v)?
False
Suppose 3*r + 15 - 57 = 0. Suppose -4*t = -r - 2. Suppose q - 57 = -t*y, 5*y + 5*q - 78 + 3 = 0. Is 5 a factor of y?
False
Let n be (-78)/(-4)*(-24)/18. Let u = 38 + n. Is 12 a factor of u?
True
Let c(f) = -f - 13. Let x be c(-10). Let j be (-3)/(x/6 - -2). Is (-31)/j*(-4)/(-2) a multiple of 15?
False
Suppose -240 = -3*g + g. Let t = g - 59. Does 24 divide t?
False
Suppose s - x = -3*s + 234, 3*s + x = 172. Is s a multiple of 18?
False
Let k