 2*l + 4*i + 34, 2*l - 2*i + 64 = 0. Is -3*(2412/l - (3 - 1)) a multiple of 46?
False
Suppose -4*x + 1393 = 389. Let v = x + -146. Is 9 a factor of v?
False
Does 13 divide 2/4 - ((-59860)/40 - 11)?
True
Let l(c) = -15*c - 11. Let q be l(3). Is 18 a factor of 1/(-4)*-1015 - 14/q?
False
Suppose -782 = 2*w - 1982. Does 12 divide w?
True
Let h(p) = p**2 - 13*p + 30. Let k(c) = 2*c**3 + c**2 - 5*c + 1. Let v be k(2). Is 2 a factor of h(v)?
True
Does 18 divide (-2*(-885)/20)/((-12)/(-16))?
False
Let f = -31 - -35. Is f/(20/(-115))*-6 a multiple of 40?
False
Suppose a + 5*p + 16 = 0, a = 3*p - 0*p. Let f be (9/a)/((-3)/52). Suppose 4*o + f = 130. Is o a multiple of 26?
True
Let k = -459 - -1377. Let g be k/21 - 2/(-7). Suppose 2*v + g = 6*v. Is 8 a factor of v?
False
Let u(h) = -h + 13. Let i be u(10). Let b be 3688/16 + i/(-6). Suppose 0 = -4*p + b - 22. Is p a multiple of 17?
False
Let q = 86 - 60. Does 26 divide q?
True
Suppose -7*r + 6 = -4*r, -3*r - 2 = -4*u. Let m(o) = -4*o + 10*o**u + 0 - o**3 + 0. Is 15 a factor of m(9)?
True
Suppose 4*m - 625 = 1007. Suppose -27*s = -23*s - m. Does 34 divide s?
True
Let a = 0 + 2. Let v be (a/(-3))/(10/(-60)). Suppose -3*l = -v*l + 22. Is 11 a factor of l?
True
Suppose -5*t = -3*g - 25, 4*t = -1 - 3. Let x = 25 + g. Suppose a - 49 = -x. Is a a multiple of 16?
False
Let n(p) = p**3 - 4*p**2 + 4*p - 3. Let l be n(3). Suppose m + l*m + 2*s - 2 = 0, s - 5 = -m. Is 10/((-20)/m + 3) a multiple of 5?
True
Suppose -2*c + 3 = -3. Let z(w) = 3*w**3 + w**2 - 2*w**c + 43 - 8*w + 7*w. Does 15 divide z(0)?
False
Let n = -9 + 14. Suppose 5*l = -t - 101, 5*l - t + 89 = -n*t. Is 78/21 - 6/l a multiple of 4?
True
Let p(b) = -b**2 + 33*b - 186. Let r be p(6). Let d(k) = -3*k**2 - 8*k - 6. Let z be d(-6). Let y = r - z. Is 14 a factor of y?
True
Let r(i) = i + 17. Let q be r(3). Suppose -5*u + 109 = 4*g - g, 4*u = q. Does 16 divide g?
False
Let g(z) = -3*z + 11. Let b be g(-3). Does 8 divide 510/8 + (b/(-5))/(-16)?
True
Does 36 divide (-2)/((-4)/(-40)*(-25)/270)?
True
Let m = 16 - 10. Let t(g) = 4*g + 6 - g**3 - 5*g - 2*g + 8*g**2 - 4*g. Is 18 a factor of t(m)?
True
Let f(c) = c**3 + 18*c**2 - 21*c - 9. Let o be f(-19). Suppose -w + o = 2*w + 2*p, p + 5 = 0. Does 2 divide w?
False
Let y be ((-72)/32)/(0 - 6/(-16)). Let p(j) = -6*j + 4. Is 20 a factor of p(y)?
True
Suppose 5*a + 5*b = -30, 4*a - 4*b = -3 - 5. Let o = a - -12. Let k = o - -40. Is 16 a factor of k?
True
Suppose -2*w = -3*r - 18 + 230, 4*r + 4*w = 256. Does 8 divide r?
False
Let n = 12 - 12. Suppose n = 3*l - 8 - 1. Suppose l*w = -0*w + 78. Is 13 a factor of w?
True
Let p(l) = 3*l + 7. Let n be p(-6). Let h = n - -28. Is 11 a factor of h?
False
Let g = 624 - -246. Is 11 a factor of g?
False
Let z = 82 + -118. Suppose -80*q + 88 = -82*q. Is (q/(-6))/((-6)/z) a multiple of 32?
False
Is ((3 - -4) + 1)*(-443)/(-2) a multiple of 23?
False
Let f(q) = -5*q**3 - 4*q**2 - q + 5. Let j be f(4). Let a = j - -686. Is a a multiple of 12?
False
Suppose 0 = 5*s + 21 - 1, -4*s - 28 = -3*t. Suppose t*q - q = 180. Suppose q = 3*d - 30. Does 30 divide d?
True
Suppose 0 = 5*r + 3*g - 1265, 59*g = r + 64*g - 253. Does 11 divide r?
True
Let p = -415 + 1463. Is p a multiple of 33?
False
Let c(q) = -1 + 4 + 0*q + q - 5*q. Let a be c(13). Is 3 a factor of (-6)/14 + (-707)/a?
False
Let d = 168 - -182. Does 11 divide d?
False
Suppose 4*j - 2*g = -j + 40, 5*j = -4*g + 10. Suppose 4*h - 2*t - j = 0, 0*h + 5*t + 22 = 3*h. Let y(n) = 10*n**2 - 1. Does 3 divide y(h)?
True
Let z = -3 + 6. Suppose 5*d - 65 = -3*m, 21 = z*d - m - 32. Let s = d + 18. Is 17 a factor of s?
True
Suppose -166 = -c - 3*m, m + 2*m - 480 = -3*c. Suppose -2*y + 0*y - 3*r + c = 0, 2*r - 398 = -5*y. Does 10 divide y?
True
Let n = 383 + -351. Is n a multiple of 7?
False
Suppose -7*q + 12*q = 545. Let j = q - 78. Let s = j + -19. Is 6 a factor of s?
True
Let a be (-1)/(-3 - (-46)/16). Let q(s) = 2*s - 10. Let m be q(a). Is 21 a factor of (-3)/((-24)/28)*m?
True
Let p = -17 + 119. Suppose -5*n - p = -3*g, 3*n = 5*g + 4*n - 198. Suppose c + 61 = 4*v, 0*v + 3*c = 3*v - g. Does 6 divide v?
False
Suppose 5*g = -4*d + 32, 0 = 2*g - 6*g + 3*d + 7. Suppose -z = -b + 2*b - 72, -g*z = 2*b - 150. Is 23 a factor of b?
True
Let d(q) = -10*q**2 - 7 + 11*q**2 + 21*q - 11 + 0*q**2. Is d(-22) even?
True
Let a = -1135 - -2501. Is a a multiple of 47?
False
Suppose 2*a + 5*w = 544, 6*a - 3*w = 4*a + 576. Let q = 438 - a. Is 13 a factor of q?
True
Let a = 76 - 147. Let t = a + 125. Suppose 4*z - 30 - t = 0. Does 7 divide z?
True
Let c(q) = -q**3 - 5*q**2 + 15*q - 14. Let v(g) = -17 + 60*g - 20 - 5 - 15 - 5*g**3 - 20*g**2. Let k(p) = 9*c(p) - 2*v(p). Is 19 a factor of k(6)?
True
Let q = -113 + 95. Let i = q - -22. Is i a multiple of 4?
True
Let x = 139 - 98. Suppose -b = 1 - x. Does 8 divide b?
True
Let h(g) = 68*g**2 - 14*g + 4. Does 31 divide h(2)?
True
Suppose -2*x + 15 = x. Is 283/x + 2/5 a multiple of 11?
False
Let n(h) = -244*h**2 + h + 1. Let b be n(1). Let q = b + 346. Is q a multiple of 26?
True
Let l(x) = -13*x**3 + 3*x**2 - 3*x - 23. Is l(-3) a multiple of 28?
True
Let j be 3 - (2 - 1)*2. Suppose j = 3*w - 5. Is (12 + w)*(-18)/(-4) a multiple of 16?
False
Suppose -75*w = -78*w + 483. Is 18 a factor of w?
False
Suppose 58 = 4*k - 6. Let c be k/(-4) - (-11 + 1). Let l(z) = -z**3 + 7*z**2 - z + 6. Does 17 divide l(c)?
False
Let p(r) = r**2 + 3*r + 2. Let b be p(-2). Let n(k) = k**2 - k - 2. Let f be n(b). Let h(l) = -29*l - 2. Does 14 divide h(f)?
True
Let q be (-217)/(-14)*(-12)/(-2 + 5). Let b = -13 - q. Is b a multiple of 7?
True
Is 60/40 - (-6610)/4 a multiple of 10?
False
Let q = 26 - 54. Let m = q + 7. Let r = m + 70. Does 7 divide r?
True
Let y = 39 - 13. Suppose 2*t - 114 = -y. Is t a multiple of 37?
False
Let z = -1146 + 1274. Does 51 divide z?
False
Let f(x) = -x**3 + 4*x**2 + 6*x + 6. Let l be f(5). Is (2/(-4))/(l/(-66)) a multiple of 3?
True
Let o = -157 + 80. Let c = o - -116. Does 7 divide c?
False
Suppose 18*z - 3448 - 3356 = 0. Does 2 divide z?
True
Let p = -749 - -956. Does 13 divide p?
False
Let o be (((3 - 1) + -2)/(-2))/(-2). Suppose o*z + 412 = 4*z - 4*b, z - 5*b = 87. Is z a multiple of 30?
False
Let b(y) = -8*y + 33. Let u be b(-14). Let m = u + -19. Is 14 a factor of m?
True
Let i = -46 + 178. Does 57 divide i?
False
Suppose 0 = 6*q - 0*q - 2688. Is q a multiple of 14?
True
Does 13 divide (-100)/8*(15*-14 - 4)?
False
Let h(a) = 8*a + 6. Suppose 55*q - 60*q = -70. Does 21 divide h(q)?
False
Let i(y) = 76*y. Let k be i(1). Suppose v - 28 - k = 0. Is 13 a factor of v?
True
Suppose -h - 4*h + 4*g = -3, -5*h - 2*g + 21 = 0. Let u(s) = 0*s**2 + 2 + s + 0*s + 50*s**3 + s**2 - h. Is u(1) a multiple of 27?
False
Let k(o) be the second derivative of o**5/20 + 5*o**4/6 - o**3/2 + 2*o**2 - 14*o. Is k(-10) a multiple of 34?
True
Let j be (-117)/26*((0 - 1) + -5). Suppose -t + 34 + 0 = 0. Let p = t - j. Does 7 divide p?
True
Let a(b) = b. Let c be a(0). Suppose -3*m - 1 + 19 = c. Is m even?
True
Let d = -5 - -10. Suppose 5*l - 44 = 4*l + 4*v, -4*v = -d*l + 220. Is l a multiple of 22?
True
Suppose -2*l + 655 = 323. Does 13 divide l?
False
Suppose -6*o + 17 = -1897. Is 11 a factor of o?
True
Let t(a) = -a**2 + 3*a - 10. Let l be t(-10). Is (-1 - l) + (-6 - -3) a multiple of 17?
True
Suppose 4*s - h = 8, -2*h + 2 = -2*s - 0*s. Suppose 0 = -3*q - 6, -s*q + q = -3*w + 274. Is 15 a factor of w?
True
Suppose -b = -2*b + 138. Suppose -5*z - b + 573 = 0. Is 29 a factor of z?
True
Is 624/10 - (-94)/(-235) a multiple of 12?
False
Let d be (-38)/12 + 5/30. Is 23 a factor of (-146)/(6/d + 0)?
False
Suppose 18*g = 7*g + 4752. Is 24 a factor of g?
True
Suppose 3*y - 2484 - 2196 = 2*u, -y = -2*u - 1556. Does 22 divide y?
True
Let i = -9 + 15. Suppose i*y + 455 = 13*y. Is 13 a factor of y?
True
Suppose -954 = 63*o - 64*o - d, d = 5*o - 4758. Does 68 divide o?
True
Let d(s) = 111*s - 45. Let q(a) = -166*a + 68. Let v(m) = 7*d(m) + 5*q(m). Is 36 a factor of v(-7)?
True
Let r(b) = 50*b**2 - 4*b + 5. Is r(1) a multiple of 51?
True
Let y be (-6)/(5/(-30)*2). Suppose 0 = -s + 2 + y. Is s a multiple of 20?
True
Let p(b) = 4*b + 25. Let c be p(10). Let o = c + -30. Is o a multiple of 5?
True
Let m = 51 - 46. Let g(f) = 14*f - 35. Does 7 divide g(m)?
Tr