divide g(5)?
False
Does 6 divide (72/(-15))/(-3 - (-42)/15)?
True
Let a(y) = -y**3 - 13*y**2 + 13*y + 21. Let h be a(-14). Suppose k = -5*d - 15, -2*k = -2*d - d - h. Does 5 divide k?
True
Suppose 0 = 2*r - 4*l - 2, l + 0*l + 6 = r. Is r a multiple of 10?
False
Let x(q) = q**2 - 16 + 4 + 12*q - 2*q**2. Suppose -4*k - 2*w = -26, -w - 29 = -5*k + 14. Is x(k) a multiple of 8?
False
Let t be (1/(-1))/(1/3). Let a(v) = -5*v**3 + 4*v**2 + 2*v - 7. Let l(u) = -u**3 + u**2 - 1. Let y(x) = a(x) - 4*l(x). Is y(t) a multiple of 18?
True
Let k = -1 + 1. Let y = k - 0. Is 4 a factor of (y + 7)*1 + 1?
True
Suppose -6*c + 2*c + 12 = 4*d, -3*d + c + 17 = 0. Suppose 5*v - k - 85 = -2*k, 4*v - d*k = 97. Does 9 divide v?
True
Suppose 4*p - 5*d = 3*p + 12, 0 = -4*p + 3*d + 14. Suppose 5 + 13 = p*x. Is 2 a factor of x?
False
Suppose 133 = 2*x - z, 2*x - 4*z - 202 = -66. Suppose -3*q + 4 = j, -3*j - 2*q = j - x. Does 18 divide j?
False
Suppose -2*b - 3*b = 4*l - 7, -b - 4*l + 11 = 0. Let a be (b - (1 - 2))/(-2). Suppose a = -y - 2*y + 4*o + 109, 0 = 5*y + 3*o - 172. Is 14 a factor of y?
False
Let k(i) = i**2 - 2*i - 3. Let f be k(3). Suppose f = d + 2*l + 7, -3*d = -5*l + 13 - 36. Is 1/d + 17 + 1 a multiple of 9?
False
Let q(s) = s**3 - s**2 - 2*s - 1. Let g = -2 + 7. Is 26 a factor of q(g)?
False
Suppose y + y = 152. Is 19 a factor of y?
True
Let b = -79 - -127. Does 12 divide b - 15 - (-4 - -1)?
True
Let p(w) = -w**2 - 10*w - 4. Let o be p(-5). Let f = o + -9. Is f a multiple of 6?
True
Let h(k) = 32*k**2 + k + 1. Let b be (-10)/35 + 10/(-14). Is 16 a factor of h(b)?
True
Let j = 41 + -30. Is j even?
False
Suppose -4*b + 7 + 13 = 0. Suppose -b*a + 63 = 8. Is a a multiple of 3?
False
Let k(w) = w**2 + 5*w + 2. Let q be k(-6). Suppose 4*j - 128 = -q. Is 15 a factor of j?
True
Let d = 2421 + -1611. Is d/99 - 4/22 a multiple of 3?
False
Suppose -2*c + 7*c = 20. Let f = 7 - c. Suppose -f*i - 2*i = -85. Is 11 a factor of i?
False
Suppose a = 10*a - 144. Does 11 divide a?
False
Let n(l) = l. Let r be n(0). Suppose -5*q + r*z + 65 = 5*z, z + 47 = 5*q. Is 3 a factor of q?
False
Suppose -2*b - 2*t = -74, 0 = -2*b - 0*b - 3*t + 73. Is 19 a factor of b?
True
Let d be (1/(-3))/(2/(-18)). Suppose -2*l + 112 = d*j - 75, 0 = 3*l + 2*j - 283. Suppose 3*c = l + 37. Is 22 a factor of c?
True
Let h(q) = q**2 + 5*q - 8. Does 6 divide h(-7)?
True
Does 8 divide (56/(-20) - 2)/(1/(-10))?
True
Suppose 18*z + 69 = 19*z. Does 13 divide z?
False
Suppose -1300 = -4*y - 2*b, -2*b + 1524 = 5*y - 99. Let r = y - 219. Suppose -3*n = n - r. Does 13 divide n?
True
Let z = 25 + -1. Is z a multiple of 13?
False
Let r(o) = -13*o**3 + o**2 + o. Let f be r(-1). Let d = -7 + f. Let u(b) = b**3 - 6*b**2 + 2*b - 4. Does 4 divide u(d)?
True
Does 4 divide 0 + 2 + (-58)/(-1)?
True
Suppose -4*f + 20 = 4*v, 21 + 0 = 5*f + v. Let k = 1 + f. Is k a multiple of 2?
False
Let g be (450/(-4))/((-3)/6). Suppose 5*n = -0*n + g. Does 10 divide n?
False
Suppose 5*x = -3*v - 46 + 148, 0 = 2*x. Does 17 divide v?
True
Let a(g) = -3*g**2 + 1 + g**3 - g + 5*g**2 + 2*g**2. Let x be a(-4). Suppose -4*z + 2*i = -i - 41, 0 = -i + x. Is z a multiple of 7?
True
Let x be 6/9 - 38/3. Is 3/x + (-69)/(-4) a multiple of 17?
True
Does 17 divide (-3 - -4 - 0) + 84?
True
Let m(i) = -i**2 - 5*i. Let y be m(-4). Suppose 4*b - 41 - 67 = 0. Suppose 5*l - b = y*l. Does 9 divide l?
True
Let f = 8 + -4. Suppose 108 = f*x - 4*v, -x + 2*x = -v + 33. Is 10 a factor of x?
True
Let n(m) = m**2 + 5*m - 1. Let z be n(-6). Let o = z + -7. Does 4 divide o - -11 - -3 - 2?
False
Let v(d) = -2*d**3 + 2*d**2 + 4*d**2 - 4*d**2 - 4*d**2. Let w be 2/(-4) - (-3)/(-2). Is 6 a factor of v(w)?
False
Let o(i) = 3*i - 3. Let w be o(-6). Let s = w - -31. Is 5 a factor of s?
True
Suppose -13 = 4*n + 7. Let d(w) = -w - 6. Let j be d(n). Let c = j + 22. Is 21 a factor of c?
True
Let l = 6 + -4. Let s(u) = 11*u + 1 - 3*u + l*u. Does 12 divide s(3)?
False
Suppose 2*i - 9 + 1 = 0, -5*o + 5*i = -235. Is o a multiple of 16?
False
Suppose -6 = 2*m + 2*r, 4*m + 1 = -r - 5. Let u(t) be the first derivative of 11*t**3/3 - t**2/2 - t + 4. Does 11 divide u(m)?
True
Let j(n) = -3*n - 1. Let b be j(-1). Suppose -p + 8 = g, g = -3*p - b*p + 28. Suppose -g*x + 42 = -3*c, -1 = -c - 5. Is x a multiple of 5?
True
Let k = 66 - 11. Is 27 a factor of k?
False
Suppose 0 = -4*g + 4 - 32. Let d = g - -16. Is 9 a factor of d?
True
Let h be -5 + 2 + 0 + 35. Suppose 0 = -6*r + 4*r + h. Is r a multiple of 8?
True
Let a be ((-1)/(-2))/(6/(-36)). Let m = 8 - a. Is m a multiple of 5?
False
Let f = 5 - -1. Suppose f*z - z = 185. Is z a multiple of 7?
False
Suppose 0 = 4*a - 11 - 5, 2*p = -4*a - 2. Let d(q) = -q**3 - 8*q**2 + 7*q - 2. Is 8 a factor of d(p)?
True
Let g = -3 - -13. Let c(z) = -z**2 + 10*z + 1. Let j be c(g). Is (3 + -2)/j*12 a multiple of 12?
True
Let x(m) = m**2 + 3*m + 7. Let z be x(-6). Suppose 4*h + z - 81 = 0. Does 14 divide h?
True
Suppose 5 = 5*b - 85. Suppose l + 7*r = 2*r + 9, -2*l - b = -2*r. Does 23 divide -6*l*(-20)/(-18)?
False
Does 21 divide ((-243)/(-15))/(2/10)?
False
Let c(h) = 25*h + 1. Let t be c(-1). Let u = -16 - t. Does 8 divide u?
True
Let p = -69 - -28. Let c = p + 60. Does 19 divide c?
True
Let u(n) = -n**3 - 4*n**2 + 6*n + 7. Let z be u(-5). Suppose 2*j = -z*j - 24. Let q(o) = o**3 + 7*o**2 + 2*o - 2. Is 8 a factor of q(j)?
False
Let l(k) = -k. Let g(c) = c**2 - 7*c. Let b(r) = -g(r) - 2*l(r). Let x be b(8). Suppose -17 - x = -5*t. Is 5 a factor of t?
True
Suppose 4*a + 0*a = 44. Suppose -5*b = a + 9. Is 10 a factor of 44*(-3 + (-14)/b)?
False
Let g(j) = 1. Let a(w) = -4*w - 10. Let t(i) = a(i) + 3*g(i). Suppose 0 = f - 5*b + 20, 0*f - 3*b = -f - 14. Does 13 divide t(f)?
True
Suppose 4*t - 3*i + 4*i = -23, -2*t = i + 11. Let v be 2/t + 1/3. Suppose 0 = -v*c + c - 19. Is c a multiple of 8?
False
Let i = -187 - -285. Is i a multiple of 11?
False
Suppose 2*i + 5 = -v, -5*i - 8 = 3*v + 6. Let x be i - -3*(1 - -1). Suppose 4*n - 9 = -y + 5, -2*y + x*n + 67 = 0. Is y a multiple of 13?
True
Is 26 a factor of (28 - 2)*(3 - 2)?
True
Let g = 7 + -4. Suppose 4*i + 0*i - 34 = g*v, -32 = -3*i - v. Is i a multiple of 5?
True
Let x = 9 + -9. Suppose 2*u - 44 + 18 = -4*w, x = 2*w + 6. Is 19 a factor of u?
True
Let s(q) = -q**3 - 5*q**2 + 9*q - 5. Is s(-7) a multiple of 10?
True
Let c(d) = d**2 - d - 8. Does 16 divide c(8)?
True
Let m = 61 - -24. Suppose 5*i = -2*j - 0*j + m, 3*j + 85 = 5*i. Does 6 divide i?
False
Let s = -1 - -1. Let i(k) = s*k**2 + 19*k**2 + 0*k + k. Does 10 divide i(-1)?
False
Let o(i) = i - 3. Suppose 30 = 3*j + 2*j. Does 3 divide o(j)?
True
Is 25 a factor of (-354)/(-14) - (-4)/(-14)?
True
Let m = -2 - -2. Suppose -4*n + b - 57 = 0, m = b - 3*b + 2. Does 16 divide (n/(-4))/((-2)/(-12))?
False
Let y = 8 + -5. Suppose -2 = -4*m + 3*m, 3*z - 133 = m. Suppose -z = -5*a - 4*g, -3*g = a + y*a - 35. Does 5 divide a?
True
Suppose p = -2 + 12. Let l = p - -20. Is l a multiple of 15?
True
Let g = -6 - -8. Suppose -7*d + 55 = -g*d. Is d a multiple of 5?
False
Let i = -50 + 210. Does 28 divide i?
False
Let c(n) = -9*n**3 - n**2 - 2*n - 1. Let q be c(-1). Is 5 a factor of (-132)/(-9) + (-6)/q?
False
Let t(x) = -x**3 + x + 60. Is 10 a factor of t(0)?
True
Let c(b) = -120*b - 9. Let h(s) = -60*s - 4. Let f(w) = -3*c(w) + 7*h(w). Is f(-1) a multiple of 24?
False
Let k = -17 - -23. Is 3 a factor of k?
True
Let b = 89 - 16. Is b a multiple of 11?
False
Let a be 36/21 + (-2)/(-7). Let k be 6 + 6/(-1 - a). Is (-83)/(-2) - k/(-8) a multiple of 17?
False
Let c(d) = -4*d**2 + 13*d - 5. Let t(v) = 3*v**2 - 12*v + 5. Let f(a) = -2*c(a) - 3*t(a). Is 7 a factor of f(7)?
False
Let s be (-666)/27 + 4/6. Let w = 19 - s. Is 9 a factor of w?
False
Let o = 6 + -4. Suppose -20 = o*f - 4. Let a = f - -25. Does 9 divide a?
False
Let a = 93 - 51. Suppose -3*x + x - a = -4*d, 0 = -4*d + x + 43. Does 3 divide d?
False
Suppose 5*f + 41 - 241 = 0. Is f a multiple of 27?
False
Let a(p) = p - 1. Let f be (-2)/6*(-16 - 2). Is 2 a factor of a(f)?
False
Is ((45/4)/(-5))/(4/(-528)) a multiple of 11?
True
Let q = 12 - 4. Does 2 divide q?
True
Let v(f) be the first derivative of -f**2 - 6*f - 1. Let c be -2*(-78)/(-32) + 21/(-168). Is v(c) a multiple of 4?
True
Suppose -2*t = 5*t - 924. Does 22 divide