 g(c) = 27*c**2 - 5*c + 2. Let o be g(3). Let m = n + o. Is m a multiple of 11?
False
Let g(t) = -2*t**2 - 6*t + 3. Let v be g(7). Let r = 198 + v. Suppose -5*n + 99 = -r. Is n a multiple of 8?
True
Let l(w) = 91*w**2 + 15*w + 15. Is 15 a factor of l(5)?
False
Let q = -868 + 928. Is q even?
True
Let j be -2*10/(-12)*3. Suppose -15 = -5*d + m - 3*m, j = 4*d + 3*m. Suppose -3*p + 141 = 3*i, 2*p + 137 = d*p + 4*i. Is 9 a factor of p?
False
Let m(n) = n**3 - 11*n**2 + 5*n - 11. Does 2 divide m(11)?
True
Suppose 2*a + 4*z - 58 = 0, 3*z - 2 = 3*a - 44. Does 19 divide a?
True
Let c(y) = 3*y**2 - 4*y + 7. Let u be c(3). Let j = 16 + u. Does 5 divide j?
False
Let v(g) = -g**2 + 13*g + 2. Let d be v(14). Let j = 9 + d. Is 20 a factor of (4 - -32) + 1 + j?
False
Let g = 44 - 42. Suppose -g*p = -10, -2*x = -3*x + 4*p + 16. Is x a multiple of 12?
True
Let p be (1/2 + -1)*(-11 - 41). Suppose -418 = -4*c - p. Does 28 divide c?
False
Let o(m) = 17*m**3 - 4*m**2 - 11*m + 28. Does 6 divide o(2)?
True
Let y(m) = 161*m - 22. Is y(7) a multiple of 86?
False
Let k(p) = p**3 - p**2 + 5. Let x(i) = i - 3. Let t be x(7). Does 6 divide k(t)?
False
Suppose 4*k - 1695 - 138 = -3*y, 5*y + 4*k - 3063 = 0. Is 6 a factor of y?
False
Let r be (-16)/(-6) - 2/(-6). Suppose -8*x = -r*x. Suppose x = -s + 13 + 21. Does 12 divide s?
False
Does 12 divide 4 - (0 - 4 - 479)?
False
Suppose 0 = 5*s - 744 - 111. Is 9 a factor of s?
True
Suppose 5808 = 38*p - 5*p. Is p a multiple of 16?
True
Suppose 20*u - 2139 = -3*u. Is 24 a factor of u?
False
Suppose 0 = 2*v + 139 - 549. Does 41 divide v?
True
Is (3 + (-10)/3)/((-4)/1284) a multiple of 22?
False
Let l(k) = k**2 - k - 6. Let i(j) = -j**2 - 7*j - 5. Let t be i(-6). Suppose -d = q - t - 1, -25 = -5*q - 2*d. Is 19 a factor of l(q)?
False
Suppose -78*y + 83*y + 75 = 0. Let t(n) = 40*n**2 - 2*n + 1. Let l be t(1). Let j = l + y. Is j a multiple of 12?
True
Let i be 2/3*(-4 + 7 + -9). Is (-1)/6 - (1490/(-12) - i) a multiple of 30?
True
Suppose 2*d - 3 = 5*o, 3*o - 4*o - 2*d + 9 = 0. Is 8 a factor of (-6 - (-72)/(-4))/(o/(-2))?
True
Let u = -365 + 413. Is u a multiple of 3?
True
Suppose -4*z + 310 = -98. Let k = z + -66. Suppose -k = 4*c - 6*c. Is 10 a factor of c?
False
Does 11 divide (0 - 3)*35/21 + 38?
True
Suppose 5*c = 10 - 0, -g + 4 = 5*c. Let o = g + 10. Suppose -5 + 21 = o*t. Is t a multiple of 2?
True
Let s = 1523 + -705. Is 65 a factor of s?
False
Let m = -1023 + 1741. Does 11 divide m?
False
Is ((-4)/(-5))/((-115)/(-104075)) a multiple of 59?
False
Let n = 580 - 426. Is n a multiple of 10?
False
Let g(u) = u**2 - 9*u + 5. Let c be g(-6). Let f = -45 + c. Is 5 a factor of f?
True
Let p(f) = -f + 1. Let k be p(-1). Suppose -s = -k*s + 4. Suppose 3*g + 2*b - 92 = g, 0 = 5*g + s*b - 232. Does 8 divide g?
True
Let t(l) be the second derivative of l**4/12 - 4*l**3/3 + 6*l**2 + 5*l. Let v be t(8). Is 300/48*v*1 a multiple of 20?
False
Let a be ((-2)/(-5)*(-5)/(-2))/(-1). Is 11 a factor of (-49)/(-14)*(-76)/a?
False
Let c(l) = 233*l - 13. Let y be c(2). Let j = y + -292. Is 23 a factor of j?
True
Suppose 700 = -62*q + 69*q. Is q a multiple of 16?
False
Let j(p) = 2*p - 7. Let o(m) be the first derivative of m**2/2 - 4*m + 2. Let u(l) = 6*j(l) - 11*o(l). Does 6 divide u(10)?
True
Suppose -30*t = -28*t - 82. Suppose 20 = -t*d + 43*d. Is d a multiple of 5?
True
Let w(y) = y - 9. Let b be w(11). Suppose -b = -z - 1. Suppose n = z + 33. Is n a multiple of 24?
False
Suppose 2*f + 4809 = 9*f. Suppose f - 102 = 4*m + 5*p, -2*p + 144 = m. Is m a multiple of 11?
False
Let g be (-6 - (-4 + 1)) + 8. Let j = 62 + -35. Suppose g + j = q. Is q a multiple of 9?
False
Let a(q) = 2*q - 6. Let z be a(3). Suppose z = -5*x + 7*x - 470. Suppose 4*b = -b + x. Does 7 divide b?
False
Let j(o) = -o**3 + 10*o**2 + 41*o - 7. Does 5 divide j(11)?
False
Let f(a) = -36*a - 189. Does 20 divide f(-17)?
False
Let f = 13 - 10. Suppose 4*b = -8, 0 = -f*l + b + 252 + 77. Is l a multiple of 18?
False
Suppose -y - 6 = 9*o - 10*o, -5*o = -4*y - 25. Let b(v) be the second derivative of -v**3 - 11*v**2/2 - v. Is b(y) a multiple of 19?
True
Let s(i) = 114*i + 2. Is s(3) a multiple of 26?
False
Does 5 divide (-15 + 11 + -6)*-1?
True
Let z be (-2 - -3)/(0 - -1). Is (10/z)/(3/6) a multiple of 4?
True
Is 7 a factor of 46/((-2)/(-1) + (-26)/14)?
True
Let l = -206 - -134. Let b = 90 + l. Is b a multiple of 3?
True
Let a = 9 - 7. Let n be (a - 2)*(-5)/15. Suppose o + 4 = n, 0*o + o = -5*h + 431. Is h a multiple of 29?
True
Let z(h) = 1 - 1 + 18*h**2 - 4*h - 15*h**2. Let s be z(3). Suppose 2*a - 4*a + s = x, -5*x - 2*a = -107. Is 23 a factor of x?
True
Suppose 12*g = 15*g + 36. Let f be (-48)/(-28)*(-630)/g. Suppose -5*p + f + 15 = 0. Is p a multiple of 7?
True
Suppose -24*d + 19*d + 20 = 0. Suppose -570 = -d*m - 6*m. Does 19 divide m?
True
Let x(q) = q - 3*q + 7*q. Let b be x(-2). Is 11 a factor of (b/(-3) - 2)*24?
False
Suppose -2*f = -2*h - 122, -h - 11 = f + 48. Let r = h + 108. Suppose 2*t - 5*b - r = 62, 2*t + 3*b - 78 = 0. Does 15 divide t?
True
Let z = -4 + 7. Suppose 0*d = -z*d + w + 14, 0 = 4*d - w - 19. Suppose -63 = -5*u - 3*l, 2*u - d*l - 4 = 46. Is 15 a factor of u?
True
Let m(o) be the first derivative of -o**4/4 - 11*o**3/3 - 3*o**2/2 - 10*o - 3. Is m(-11) a multiple of 13?
False
Suppose 0 = -8*z + 9*z - 13. Let r = 9 - z. Is 9 a factor of r/(-8)*62 + 0?
False
Let u(w) = -w**3 - 6*w**2 + 5*w - 10. Let p be u(-7). Suppose -4*j - 57 = -3*q, 2*q - 58 = -8*j + p*j. Is q a multiple of 7?
False
Suppose 2*x = -5*d + d + 3640, -5*x + 2730 = 3*d. Does 20 divide d?
False
Suppose 2*v = 7*v + 5*m + 10, -5*v - 4*m - 5 = 0. Does 9 divide ((-150)/(-9))/(v/27)?
False
Let t(a) = a**3 - 9*a**2 + 4*a - 39. Let c be t(9). Let n(k) be the second derivative of -2*k**3 + k**2 + k. Is n(c) a multiple of 19?
True
Let u(k) be the third derivative of k**6/120 + k**5/15 + k**4/24 + k**3/2 - k**2. Let a(o) = -6*o**2 + 2*o + 5. Let t be a(-1). Is 8 a factor of u(t)?
False
Suppose -8*p + 18 + 30 = 0. Suppose 2*f - 4*z = p*f - 12, -4*f - 3*z + 14 = 0. Suppose -2*q = h - 59, f*q + 4*h - 120 - 29 = 0. Does 16 divide q?
False
Is 38 a factor of (641 - -2) + (2 - -1)?
True
Let u(r) = -15*r. Suppose -13*p - 78 = 13. Does 5 divide u(p)?
True
Suppose 2*k + 1259 - 3519 = 0. Is k a multiple of 85?
False
Suppose -4*q = -5*u - 33, u = -5*q + 2 + 3. Suppose 4*f - 46 = q. Is 4 a factor of f?
True
Suppose 22*c - 2*q - 298 = 21*c, 1454 = 5*c - q. Is 58 a factor of c?
True
Let v(t) be the third derivative of t**6/120 - 11*t**5/60 - 5*t**4/8 - 2*t**3 + 6*t**2. Does 25 divide v(13)?
False
Let z = 85 - 49. Suppose -37*p = -z*p - 38. Is p a multiple of 3?
False
Let q(x) = x**3 - 9*x**2 - 6. Let w be -3 - (3 - 5) - 33/(-3). Is 12 a factor of q(w)?
False
Let l = 2565 + -1826. Does 10 divide l?
False
Suppose 173 = 3*o - o + v, -15 = 5*v. Is o a multiple of 24?
False
Let w = -104 - -1035. Does 7 divide w?
True
Let d = -43 + 49. Suppose d*x - 132 = -6. Is 11 a factor of x?
False
Suppose 0 = 5*d - 3*r - 2774, 4*r - r = 2*d - 1106. Is d a multiple of 35?
False
Suppose 0 = -2*d - 5*m + 649, -11*d + 7*d = m - 1325. Is d a multiple of 24?
False
Let k = -157 - -165. Suppose -k*h + 122 = -534. Is 36 a factor of h?
False
Let c(s) = s - 7. Let i be c(13). Suppose 0*w + 1020 = i*w. Is w a multiple of 16?
False
Suppose 0 = 19*l - 15*l - 456. Suppose -x - l = -4*v, 3*v - 2*x - 52 = 36. Does 14 divide v?
True
Suppose -2*x = 3*c - 3589, 3*c - 175*x = -173*x + 3569. Is c a multiple of 11?
False
Let k(b) = 8*b**3 + 2*b**2 - b - 2. Let p be k(-1). Is 16 a factor of p + 10 - (-93 - 1)?
False
Let a(w) = -17*w - 9. Let q(y) = -8*y - 5. Let z(t) = 4*a(t) - 9*q(t). Let g be z(-8). Is 7 a factor of g/(-3) + (-10)/15?
True
Suppose v - 5*c - 3727 = 1137, -c = -3*v + 14592. Does 19 divide v?
True
Is 12 a factor of (-171)/(-6)*592/24?
False
Let r = 27 - 22. Suppose -4*g - 3*j = -62, -r*g - j = -0*j - 83. Suppose -3*k + g = -0*h + 4*h, 0 = -5*h - k + 35. Is h a multiple of 2?
True
Suppose 2*j + 3*x + 11 = 4, j = 3*x + 1. Let w = 20 - j. Let s = 34 - w. Is s a multiple of 9?
False
Suppose 18 = 5*a - 2*z - 11, -11 = -a + 3*z. Let c be 18/15*(497/21 + -7). Suppose a - c = -s. Is s a multiple of 3?
True
Let p(v) = 9*v - 25. Let f = 0 + 13. Is p(f) a multiple