-92. Is 13 a factor of a?
False
Let p(q) = -q**2 + 11*q + 10. Is p(10) a multiple of 7?
False
Suppose -r - 12 = -4*r, 5*r = 5*b - 145. Suppose -2*y + 9 = -3*n, y + 2*y - 11 = 4*n. Let p = b + y. Is p a multiple of 15?
True
Let r(b) = -2*b + 3 - 11 + 0*b. Let q be (-94)/14 - (-2)/(-7). Is 4 a factor of r(q)?
False
Let n = 123 + -42. Is n a multiple of 12?
False
Let o(d) = 0*d**2 + d**2 + 6*d + 4*d**2 - d**2 + 5 - d**3. Is o(5) a multiple of 5?
True
Let t = 18 + -13. Let x = 7 - t. Is 2 a factor of (10 - 0)/x - 2?
False
Let y = 1 + -1. Suppose y*t + 2*t - 10 = 0. Is 5 a factor of t?
True
Let k = -11 - -26. Let x = 25 - k. Does 5 divide x?
True
Let u(x) = x**2 + 9*x + 1. Let l be u(-9). Let f be (l - (-9)/(-6))*-4. Suppose -f = 4*p - 102. Is 25 a factor of p?
True
Let r be (2/(-4))/(6/(-48)). Suppose 0 = a + r*a - 15. Suppose -a*z = k - 1, 5*z = 5*k - 107 + 2. Does 9 divide k?
False
Suppose 6*n - n = -5*t + 355, -2*n = -5*t - 142. Suppose 4*g = 3*m + 103, -3*g + m + 0*m + n = 0. Is g a multiple of 11?
True
Suppose 4*r + 37 - 773 = 0. Is 11 a factor of r?
False
Let f(q) = -q**3 - 6*q**2 - 8*q - 5. Is f(-5) a multiple of 5?
True
Let f = 6 - 8. Let v be (-8)/f*(-6)/(-8). Suppose -l = -5*p - v*l + 34, -3*l + 6 = 0. Does 3 divide p?
True
Is 8/((-16)/154)*1/(-1) a multiple of 14?
False
Does 4 divide (-91)/(-14) + (-2)/(-4)?
False
Let o(m) = m**2 + 6*m + 2. Let c be o(-6). Suppose -38 = -c*n - 0*n. Is n a multiple of 10?
False
Suppose -152 = -w + 5*w. Let v = -16 - w. Is 11 a factor of v?
True
Let g(m) = -2*m. Let k be g(-2). Suppose 5 = k*p - 3. Suppose -p*j = 5*b - 225, 5*j - 41 - 4 = -b. Is 15 a factor of b?
True
Let m = -13 + 15. Is 12 a factor of -4 - (m - 72/4)?
True
Let c(h) = -h**2 + 8*h + 13. Let a be c(9). Is 54/a - (-2)/4 a multiple of 14?
True
Suppose k + 3 = -t - 0, 0 = -5*k + 5*t + 15. Suppose k = 3*i - 5*h - 138, 7*i - 230 = 2*i - 5*h. Is 23 a factor of i?
True
Let b(s) = s**3 + 10*s**2 + 2*s + 7. Let o be -3 - (3 + 0) - 1. Let f be b(o). Suppose -4*k = r - 3*k - 32, -f = -4*r + 2*k. Does 17 divide r?
True
Let v be 3/9*18/3. Suppose 0 = -3*n - 5*p + 25, 2*p + 16 = v*n + 2*n. Is 2 a factor of n?
False
Suppose 23 - 3 = 5*p + m, 3*p - m - 4 = 0. Suppose -93 = -3*t + p*q, 2*t - 4*q = -0*q + 60. Is t a multiple of 21?
False
Suppose 0*q = -3*q - 5*y + 5, 0 = q + 2*y. Does 10 divide q?
True
Suppose 2*r - 2 = r. Suppose 38 - r = 4*k. Does 9 divide k?
True
Let y be 276/5*20/6. Suppose -5*o + 3*p + y = 0, o - 20 = -4*p + 26. Is o a multiple of 9?
False
Suppose -t = -5, f + 230 = 4*f - 2*t. Is f a multiple of 20?
True
Suppose 2*m = -0*m + 32. Is 5 a factor of m?
False
Suppose 0 = -0*u + 4*u. Let i = u - -3. Suppose -r = -i - 6. Is r a multiple of 3?
True
Let z = 152 + -88. Is 16 a factor of z?
True
Suppose -5*w - o + 8 = 0, w + 8*o - 4 = 7*o. Let b = w + 6. Is 2 a factor of b?
False
Let k = -6 - -44. Let o = k + 14. Suppose -2*r + o = -0*r. Is 13 a factor of r?
True
Let r(m) = -6*m**3 + 2*m**2 - 6*m + 4. Suppose -10 = 2*g, 0*i - 5*g - 40 = -3*i. Let l(t) = -t**3 - t**2 - 1. Let a(v) = i*l(v) - r(v). Is 13 a factor of a(7)?
False
Let q be 4*-1*(-36)/16. Let p = -3 + q. Is p a multiple of 5?
False
Suppose 3 = 3*y - 0. Let h be -2 + (2 - (-1 - y)). Suppose -x = h*x - 33. Is x a multiple of 7?
False
Suppose 2*a + 0 = 52. Is 4 a factor of a?
False
Suppose 2*m = -10 + 66. Suppose -m = -0*s - 4*s. Does 2 divide s?
False
Let j = -168 + 293. Does 20 divide j?
False
Let m be ((-2)/4)/(1/(-2)). Let h be (-4 + m)*(-7 - -8). Does 9 divide 1/h - 156/(-9)?
False
Suppose 2*t - 129 - 133 = 0. Suppose -2*c = 11 - t. Does 15 divide c?
True
Suppose 0 = -2*h + 41 + 139. Suppose -2*z + h = 3*z. Suppose 4*c - 2*c = z. Does 9 divide c?
True
Let b(o) = -o**2 - 6*o - 5. Let k = 2 + 1. Suppose -k*g - 5*u - 3 = -g, 0 = -u + 1. Is b(g) a multiple of 3?
True
Suppose 9*w - 80 = 7*w. Is 8 a factor of w?
True
Let m(s) = 10*s**3 - s + 4. Is 22 a factor of m(2)?
False
Let x(j) = j**3 + j**2 + 6*j - 2. Let n(f) = -f**3 - f**2 - 7*f + 2. Let s(b) = -5*n(b) - 6*x(b). Let i be s(0). Let w = i + 1. Is 2 a factor of w?
False
Suppose -f - 205 = -3*a, -3*a - 339 = -8*a - f. Is a a multiple of 17?
True
Suppose 0*v = 3*v - 1263. Let x = v - 781. Is 7 a factor of ((-4)/(-5))/((-16)/x)?
False
Suppose -4*i = -0 - 8. Let s be (-2)/(-4)*i*-3. Let j(v) = -2*v**3 - 3*v**2 + 4*v - 1. Does 7 divide j(s)?
True
Let r(i) = 7*i + i - 5 + 13. Let k be r(-7). Let m = k - -70. Is m a multiple of 11?
True
Let k be (-3)/15 + 1182/10. Suppose -20 = -c - 4*c, -4*c = -2*g + k. Does 15 divide g?
False
Suppose 3*t = 8 + 4. Suppose 0 = -a - t*u + 13, 3*u = -5*a - 1 + 15. Let g(m) = 4*m. Is g(a) a multiple of 3?
False
Let d = -6 - -12. Is d a multiple of 3?
True
Let d(p) = 10*p + 2. Let y be d(-3). Suppose 0 = 5*g - x + 3*x - 244, -x = -2*g + 94. Let r = y + g. Is 12 a factor of r?
False
Suppose -4*n + 0*n = -m + 2, 5*n - m + 2 = 0. Is 9 a factor of (-58)/(-2*(1 - n))?
False
Let f(q) = 4*q + 2. Suppose -7*p - 4*s + 6 = -2*p, 2 = -2*s. Suppose -p*d - d = -3*i, -2*i + 5*d = 6. Is 5 a factor of f(i)?
True
Let p = 36 + 28. Does 32 divide p?
True
Suppose -q = -106 + 40. Is 22 a factor of q?
True
Does 9 divide -1 + 18 + 1 + 1?
False
Suppose 0 = 3*g - 4*f - 22, 0*g = -2*g - 2*f - 4. Suppose 5*a + 365 = 3*y, 2*y + 190 = -3*a - g*y. Let o = -46 - a. Is 9 a factor of o?
False
Let a(g) = g + 1. Let z(w) = -w**3 + 4*w**2 - 5*w - 8. Let i(y) = -3*a(y) - z(y). Let d be i(4). Let t = d - 7. Does 3 divide t?
True
Is 19 a factor of 46 + 3 + -1 + 0?
False
Let o = 51 - 29. Does 13 divide o?
False
Suppose -4*m = m - 45. Suppose -2*i + 9 = -m. Does 5 divide i/(-12) + (-46)/(-8)?
True
Is 3 a factor of 1/(3/141) + 1?
True
Let o = 5 - -1. Let k(u) = u**3 - 5*u**2 - 5*u - 1. Is 3 a factor of k(o)?
False
Suppose 4*j - 269 - 111 = 0. Let b = -62 + j. Does 12 divide b?
False
Let a(l) = l**2 - 8*l + 3. Let f be a(8). Is (-6)/f*(1 + -15) a multiple of 10?
False
Suppose 5*o - 4*b - 1 + 2 = 0, 3*b = 12. Suppose 2*y - o*y + 4*q = -64, 5*y = 5*q + 395. Is y a multiple of 21?
True
Suppose 5*p - 2*p = 5*n + 154, 101 = -4*n - 5*p. Let c = 51 + n. Is 12 a factor of c?
False
Let f = 29 + -5. Suppose 2*r = 4*h + 66, -3*h - 84 = 2*h - 4*r. Let v = f + h. Is v a multiple of 4?
True
Let c be 2 - (-2 + 1)*-2. Suppose -k + 3 = -p + 8, c = -5*p - 5*k + 35. Is p a multiple of 6?
True
Suppose 0 = i - 5*i + 5*t + 73, -4*i = 5*t - 103. Does 7 divide i?
False
Suppose -35 = -5*v - 5*p, 2*p - 6 = 5*v - 3*v. Suppose 12 = -j + v*j. Is 12 a factor of j?
True
Suppose 0 = 9*c - 5*c - 512. Is c a multiple of 32?
True
Let s(y) = -y - 1. Let g be s(-1). Suppose 0 = 5*h - g*h + 20. Let l = h - -8. Is 3 a factor of l?
False
Let r(q) = 3*q**2 - 1. Let w be r(-1). Suppose 0 = -w*y + 3*a - 2*a + 51, -2*a = y - 28. Does 22 divide y?
False
Let s(x) = -x**3 - 5*x**2 - 4*x + 3. Let b be s(-4). Suppose -2*j - b*u + 88 = 0, 137 = 5*j - 4*u - 37. Let f = j - 25. Is 11 a factor of f?
False
Suppose 2*v + 2*v + 20 = 4*l, v - 3 = -l. Let n(g) = 23*g**2 - 3*g - 1. Does 8 divide n(v)?
False
Let c = 16 - -2. Is 9 a factor of c?
True
Let h be (-66)/(-10) - 2/(-5). Suppose 104 = -3*g + h*g. Is g a multiple of 13?
True
Suppose 0 = -4*c - 5*k + 64, 4*k - 28 = 2*c - 86. Does 7 divide c?
True
Suppose 12 = 3*r - 5*r. Let x be -4 + 0/(r/(-2)). Let t = x + 10. Does 6 divide t?
True
Suppose -2*m + 3*m - 20 = 0. Is m a multiple of 10?
True
Let n(d) = d**2 - 7*d + 7. Let r be n(5). Let t(a) = -3*a + 2. Let x(f) = f**2 - 6*f + 5. Let l(c) = -5*t(c) + 2*x(c). Is 3 a factor of l(r)?
True
Suppose 2*y + 2 = 2*b, y = 3*b + 2*y + 5. Let r = b + 1. Suppose -a + 0*o - 3*o + 27 = r, -2*a - o + 29 = 0. Is a a multiple of 12?
True
Let o(s) be the third derivative of s**5/60 + s**4/24 - s**3/3 - 3*s**2. Does 9 divide o(-4)?
False
Suppose 0*u = -2*u - 50. Is 3 a factor of (-170)/u + (-1)/(-5)?
False
Let y(j) = -j**3 - 7*j**2 - 6*j + 3. Does 15 divide y(-7)?
True
Let w = 58 - 37. Let u(r) = -r + 4. Let n be u(-3). Suppose -o + 4*t - 2*t + n = 0, -2*o - 3*t + w = 0. Is o a multiple of 9?
True
Suppose -4*y - 3*a = -571 - 254, -y + 3*a + 195 = 0. Is 34 a factor of y?
True
Let b = -24 - -136. Does 14 divide b?
True
Let t(k) = 2*k**2 + 3*k + 1. Let r = 7 - 10. Is 10 a factor of t(r)?
True
Let q(u) be the third derivative o