se -5*c = 2*g - c - x, 3*g - 4 = -2*c. Suppose g*r - 67 = -r. Is 13 a factor of r?
False
Let o(b) = b**3 + 6*b**2 + 4*b - 11. Let u be o(-5). Let g(r) = 2*r**2 + 4*r + 4. Let z be g(u). Suppose 5*f - z = 63. Is f a multiple of 9?
False
Let v = 2035 - 531. Does 47 divide v?
True
Suppose -6*t - 1340 + 200 = 0. Let m = -79 - t. Is m a multiple of 13?
False
Suppose 14*i = 16*i + 16. Does 13 divide 18 - 5/((-20)/i)?
False
Let o = -35 + 581. Is 14 a factor of o?
True
Let h = 31 + -25. Suppose -208 = -h*g - 46. Is 5 a factor of g?
False
Suppose -1 - 8 = -t - 5*y, -5*y = -5. Suppose 236 = t*n - 3*x, n - 3*x - 295 = -4*n. Does 12 divide n?
False
Suppose 3*v - 856 = 5*p, 0 = 2*v - 3*p - 48 - 522. Does 6 divide v?
True
Suppose 4*p - 3 + 14 = -z, 5*p - 5*z = 5. Is 9 a factor of (-3 - (-3 - -2))*144/p?
True
Let q = -134 + 1545. Is 18 a factor of q?
False
Suppose -5*k + 42 = 27. Suppose -5*j + 880 - 316 = -4*h, 0 = k*j + h - 335. Is 7 a factor of j?
True
Let x(m) = m**3 + m**2 - m. Let j(q) = 6*q**3 + 2*q**2 - 5*q. Let g(c) = -j(c) + 4*x(c). Let v be g(-1). Suppose v*p - 8 = 40. Is p a multiple of 5?
False
Is ((-7)/((-70)/(-12)))/(108/(-7830)) even?
False
Let v = -25 + 50. Let f = v - -34. Is f a multiple of 9?
False
Suppose 0 = 2*g - 0*g + 2. Let m(c) = -167*c**3 + 5*c**2 + 4*c. Is m(g) a multiple of 39?
False
Let z(a) = -31*a**2 - 3*a + 5. Let x(r) = -15*r**2 - r + 2. Let h(s) = -7*x(s) + 3*z(s). Let u be h(-3). Let l = u + -68. Does 12 divide l?
False
Let c(f) = 27*f - 8. Is c(8) a multiple of 7?
False
Suppose 15*v + 1471 = 5521. Does 37 divide v?
False
Suppose -4*t + 58 = -2*j, 2*t - 12 = -5*j - 1. Let p(c) = c**2 - 12*c - 8. Let d be p(t). Suppose l = 3*l - 5*y - 20, 5*y - d = -3*l. Is l even?
False
Let l be ((-48)/(-36))/((-2)/(-6)). Is ((-672)/18)/(-4) + l/6 a multiple of 5?
True
Let n(x) = -x**3 - x + 144. Let h be n(0). Let q be (-2)/(-10) + (-1488)/15. Let t = q + h. Is t a multiple of 11?
False
Suppose 0 = -r - 6*r + 756. Suppose 2*h - r = -4*k, -k = -2*h - 23 - 14. Is k a multiple of 9?
False
Let k(t) = 41*t**2 - 5*t + 21. Does 57 divide k(7)?
True
Suppose 9*l - 13*l - 4 = 0. Is 8 a factor of (-48)/(l*(1 + 0))?
True
Let t(m) = -m**3 - 8*m**2 + 7*m - 9. Let s(c) = 4*c + 3. Let f(g) = 2*g - 19. Let l be f(8). Let d be s(l). Is t(d) even?
False
Let t = -39 + 8. Let h = t + 31. Is 3/(h + (-15)/(-230)) a multiple of 23?
True
Let p be -1*7*72/(-42). Suppose -2*h - 2 = -p. Is 15 a factor of 1 - 1 - (-75)/h?
True
Let s be (-8039)/9 + (-16)/(-72). Let p = s - -513. Is 17 a factor of (-3 + p/(-4))*1?
False
Suppose 0 = 4*x + 22 + 26. Let k(b) = -4*b - 22. Is k(x) a multiple of 13?
True
Let k(y) = y**2 - 4. Suppose 4*s - s - 164 = -4*w, 206 = 4*s - w. Let b be 268/s + 4/(-26). Is 7 a factor of k(b)?
True
Suppose -3*m = -12, 3*m - 1873 = -4*c - 369. Is c a multiple of 55?
False
Is (-10314)/(-10) + 18/(-45) - 5 a multiple of 19?
True
Suppose -225 = -11*z + 8*z. Let h = -751 + z. Is (-18)/63 + h/(-14) a multiple of 11?
False
Let k = -410 - -716. Is 14 a factor of k?
False
Let f = -192 + 234. Is f a multiple of 14?
True
Suppose -21*t = -24*t + 108. Suppose b + 2*b - t = 0. Is 3 a factor of b?
True
Let g = 1517 - -1517. Does 61 divide g?
False
Let s(y) = 22*y**2 + 3*y - 25. Does 12 divide s(-8)?
False
Let o be (9/(-2) + 2)*-4. Let r(j) = -j**2 + 12*j + 53. Let g be r(13). Is 5 a factor of o/(-8)*g/(-2)?
True
Suppose 0 = -502*u + 507*u - 5120. Does 47 divide u?
False
Let f = 480 - -55. Is 2 a factor of f?
False
Suppose -3*o + 299 = m, 5*m - 218 - 77 = -3*o. Suppose -5*l + o = -4*f, 2*l - 24 = -5*f + 16. Suppose -4*r = l, -r - 41 = -5*j + 34. Is 7 a factor of j?
True
Let i(p) = -p**2 + 20*p + 40. Let m be i(22). Is 27 a factor of m/(1 + -5)*135?
True
Suppose 2*g = -5*s + 37, -s - 9 = 2*g - 26. Let o(t) = -14*t - 42. Let i be o(-3). Suppose -5*f - a + 81 = g, -3*f - a + 43 = i. Is f a multiple of 4?
True
Suppose 11*t = 16*t - 4065. Is t a multiple of 30?
False
Does 45 divide (2 - 10/8) + (-52037)/(-68)?
False
Let f(m) be the second derivative of m**6/120 + 7*m**5/30 - m**4/12 + m**2/2 - m. Let a(u) be the first derivative of f(u). Is a(-14) a multiple of 14?
True
Let w = 910 + -124. Does 32 divide w?
False
Suppose 6*w = 3*w - p - 1, -4*w = -3*p - 3. Suppose 0 = -w*y - 5*y + 120. Does 13 divide (186/y)/((-1)/(-4))?
False
Is -6 - -2 - (-198 + 9) a multiple of 5?
True
Suppose -814 = -0*r - 37*r. Is 7 a factor of r?
False
Is ((-211)/7)/(286/(-91) - -3) a multiple of 26?
False
Suppose 3*f - 11*f = -2000. Is 22 a factor of f?
False
Suppose -1 = 4*h + 5*g - 3, 3*g = h - 9. Suppose a - 9 + 6 = 0. Suppose 15 = h*w, a*r + r + 2*w - 310 = 0. Is r a multiple of 20?
False
Let b(x) be the first derivative of -7*x**2/2 - 31*x + 8. Does 10 divide b(-14)?
False
Suppose -3 = 2*x - x + j, 0 = -2*x + 5*j + 8. Let a be 2/(2 + 24/(-15)). Does 21 divide -2 + x - a*-9?
True
Let r(i) = -4 + 3 + 3 - 10 - i. Let j be r(-4). Is ((-26)/4*j)/2 a multiple of 9?
False
Let x be 399/7*(-1)/(-3). Let g(l) = -l**2 + 9*l - 9. Let o be g(6). Suppose -4*d + o = -x. Does 2 divide d?
False
Suppose -5*k - 18 = w - 4*k, -4*k - 7 = -w. Let p = w + 7. Is (p/7)/((-1)/21) a multiple of 13?
False
Suppose 19 = 5*r - 6. Let c = -8 + r. Is (2/(-6))/(c/243) a multiple of 10?
False
Let m(h) = -6*h + 6 - 9*h**2 + 21*h**2 - 9*h**2 + 13. Is 16 a factor of m(9)?
True
Let t be 3 - (4 - -1 - 4). Suppose -5 - 1 = -t*o. Suppose c + o*f - 6 = 8*f, 2*c = -2*f + 12. Does 2 divide c?
True
Let i = -41 + 29. Let d = 39 + i. Is 11 a factor of d?
False
Let z = 996 + -919. Is 3 a factor of z?
False
Suppose 2467 + 1629 = 32*a. Is 6 a factor of a?
False
Suppose 3*m + 5 = -0*s - s, 5*s = -5*m - 25. Suppose h = -h - 2*y - 6, m = -2*y - 10. Suppose -3*n = -h*n - 43. Does 31 divide n?
False
Suppose 0 = -h - 3225 + 3694. Is h a multiple of 15?
False
Suppose 5 = 4*f + 2*b + 3*b, -3 = b. Suppose -3*d - 3 = -s + 4, -f*s + 22 = -2*d. Suppose -3*c - 25 = -s*l, 2*l + 2*c + 14 = 4*l. Is l a multiple of 4?
True
Let g(p) = 20*p + 23. Let k be g(14). Does 5 divide (-3)/(-18) - k/(-18)?
False
Suppose -4*c - 4*j = 8, 4*c + j - 4 = 3*j. Suppose -3*r + 292 = b, c*b - 3*b = 4*r - 381. Is r a multiple of 24?
False
Let k(d) = -d**3 + 7*d**2 + d - 5. Let x be k(7). Let a(m) = 2*m - 17. Let i be a(10). Suppose -i*h = -x*s + 93 - 314, 4*h = -4*s + 308. Is 15 a factor of h?
True
Suppose 97045 = 110*b + 1345. Does 29 divide b?
True
Let l(d) = d**2 + 10*d + 3. Let x be l(-11). Let b(w) = -70*w - x*w + 20*w. Is 19 a factor of b(-1)?
False
Suppose 5*d - 1211 - 4624 = 0. Does 6 divide d?
False
Let t = 214 + 610. Is t a multiple of 11?
False
Let d be -11*(3 + 9) + -4. Let i = d - -199. Is 11 a factor of i?
False
Suppose 0 = 2*k + k - 15. Let z = -60 - -63. Suppose z*u = k + 16. Is 2 a factor of u?
False
Let t(u) be the first derivative of 40*u**3/3 - 2*u - 3. Does 7 divide t(1)?
False
Suppose 306 = 8*p - 1982. Does 26 divide p?
True
Let w = -17 + 23. Suppose -9*r = -w*r - 105. Is 7 a factor of r?
True
Let g(q) = -5*q + 5. Let n be g(-2). Is 6/n*20 - 0/(-1) a multiple of 2?
True
Is 3/27 + 1610/90 a multiple of 3?
True
Let p = 91 + -30. Suppose -2*j = 2*b + 74, 3*j + 4*b + 25 = -83. Let l = p + j. Does 7 divide l?
True
Let m = -11 - -15. Suppose -m*g - o + 23 = 0, 5*o + 21 + 14 = 5*g. Let a(f) = f**2 + 5*f - 8. Is a(g) a multiple of 29?
True
Let w be ((6 - 4) + -8)*1. Let t be -12 - ((-6)/(-2) + w). Let i = t + 45. Is 6 a factor of i?
True
Suppose 14*c - 1073 = 8153. Is c a multiple of 111?
False
Suppose 12729 = 12*h - 2043. Is 89 a factor of h?
False
Let y be -31*1/(-11) + (-26)/(-143). Suppose -j = -3*c + 187, 2*c - 59 - 73 = -y*j. Is c a multiple of 13?
False
Let q = 21 - -1539. Is q a multiple of 65?
True
Let w(v) = v + 10. Let u be w(5). Suppose -363 = -5*s - 5*q + 47, 3*q - u = 0. Is 11 a factor of s?
True
Suppose 62 - 17 = -3*u. Let s = u - -32. Let g = 19 - s. Is g a multiple of 2?
True
Suppose -1076*r + 1084*r - 3360 = 0. Does 14 divide r?
True
Let i be (1 - (-4 - 1)) + -2. Let v be 303/i - 30/40. Suppose 7*g - 12*g = -v. Does 15 divide g?
True
Suppose 2*a + 3*a - 10 = 0. Suppose -5*s = 0, -p + a = p + 5*s. Does 14 divide 42*(6/3 - p)?
True
Is 2 a factor of 110/4*1/(15/24)?
True
Let z(o) = -2*o - 11. Let y be z(-11). Suppose -128 - 114 = -11*q. Let l = q 