3*x. Is 134/12 - x/p a multiple of 11?
True
Suppose 5*d - 46 = 94. Does 23 divide d?
False
Suppose -3*z = -113 - 31. Does 16 divide z?
True
Let d(r) = r**2 - 14*r - 15. Does 3 divide d(17)?
True
Does 15 divide 15*(-11)/(-1 + 0 + 0)?
True
Suppose 2*f = 3*f, -4*q = f. Suppose 5*n + q*l + 5*l - 90 = 0, -5*l - 30 = -3*n. Does 15 divide n?
True
Is -2*2/4 + 10 a multiple of 2?
False
Let w(t) = -2*t - 5. Let j be w(-5). Suppose j*f = -2*d - 5, -35 = -5*d - 2*f - f. Is d a multiple of 8?
False
Let b be -32 - 0 - (4 - 2). Let v = b + 66. Is 16 a factor of v?
True
Let q(r) be the second derivative of r**5/20 + 5*r**4/12 - 4*r**3/3 - 7*r**2/2 + r. Let t be q(-6). Suppose 5*d - 40 = -3*k + k, t*k = -25. Is 7 a factor of d?
False
Let w = 16 - 20. Does 11 divide -1 - (w + -18) - -1?
True
Let w = -39 - -65. Is 19 a factor of w?
False
Suppose 2*d = -3*d - 20. Let k = -2 - d. Suppose -4*x - 20 = 0, k*b = -3*x + 5 + 40. Does 16 divide b?
False
Let b be (4/1)/((-1)/7). Is 5 a factor of 36/14*b/(-6)?
False
Let o be 24/(-1)*15/(-5). Suppose 0*t = -2*t + o. Is 18 a factor of t?
True
Let x be (2/(-5))/(1/5). Is 7 a factor of x - (-3 + 3 - 10)?
False
Does 9 divide (36 - (2 + -2))*1?
True
Let t = 56 - 32. Is t a multiple of 15?
False
Is 27 a factor of (24/30)/((-2)/(-85))?
False
Does 25 divide (-1)/(-7) + 3040/35?
False
Let f = 19 - 35. Let c = f + 28. Suppose c = 2*u - 12. Is 6 a factor of u?
True
Suppose -s - 1 = h - 0*s, 3*h = -5*s + 1. Let r = h - -8. Is 5 a factor of r?
True
Suppose -4*h = 3*c - 214, -5*h + 242 = 5*c - 28. Is 13 a factor of h?
True
Is (-51)/(57/(-12) + 4) a multiple of 17?
True
Suppose 3*y = n + 188, 6*y - y = 3*n + 312. Is 11 a factor of y?
False
Let q = 17 - 14. Does 3 divide q?
True
Let i = -11 + 19. Suppose -q + 9 = -3*w, -w - w = 4*q - i. Is q a multiple of 3?
True
Let m = 105 - 47. Does 12 divide m?
False
Suppose -3*p - 3*f = -246, 0 = -5*f + 2*f + 15. Does 11 divide p?
True
Suppose -15*n + 5198 = 8*n. Is 10 a factor of n?
False
Let z = 33 + 54. Is z a multiple of 13?
False
Let c = -6 - -9. Suppose -c*w - 112 = -7*w. Is w a multiple of 14?
True
Let z(m) = 3*m + 0 + 8*m - 3 - m**2. Does 9 divide z(5)?
True
Suppose v - 5*z - 44 = 0, 3 - 160 = -5*v + 4*z. Let f = -14 + v. Does 5 divide f?
True
Let v be -4 + 2 - 4*-1. Suppose -5*h + v*h + 105 = 0. Suppose 5*j = 25 + h. Is j a multiple of 4?
True
Let v(p) = p**3 - 10*p**2 + 11*p + 2. Is v(9) a multiple of 10?
True
Suppose -28*v + 22*v = -156. Does 4 divide v?
False
Let k = -3 + 2. Let r = 2 - k. Suppose -a + r*x = -16, 6*x + 26 = 2*a + 2*x. Is a a multiple of 7?
True
Suppose 0 = 5*h + 15, -5*u - h = -3*u - 65. Does 17 divide u?
True
Suppose c + 1 = -1, 0 = 3*t + 5*c - 2. Let d = t - 2. Suppose -j = d*j - 42. Is 14 a factor of j?
True
Let d(x) = -6*x**3 + 8*x - 3*x**2 + 2*x**3 + 3*x**3 + 4. Let v = 4 - 9. Does 6 divide d(v)?
False
Suppose 2*q + 70 = 3*q. Is 10 a factor of q?
True
Let c(n) = n**2 + n + 248. Let a be c(0). Suppose 80 - a = -3*u. Suppose -4*b + u = -0*b. Is b a multiple of 10?
False
Suppose 2*f = -2*f + z + 10, -17 = -3*f - 4*z. Suppose 0*r - f*r + 9 = 0. Suppose -r*v = -23 - 13. Is v a multiple of 12?
True
Let g(n) = n**2 - n - 10. Is 5 a factor of g(5)?
True
Suppose -2*t - 254 = -4*u + t, t = -3*u + 184. Let w = u + -31. Is 13 a factor of w?
False
Let w(x) = -x**3 - 7*x**2 + x + 3. Let d be w(-5). Let s be 0 + (2 - (-2 + d)). Suppose 4*v + 0*c - s = 3*c, -5*v + 3*c = -67. Does 11 divide v?
True
Suppose -n + 0 = -4*s + 1, 2*n = -4*s - 2. Let b be (s - 6/8)*8. Let v(u) = -u**3 - 5*u**2 + u - 6. Is 13 a factor of v(b)?
False
Suppose -2*g + 12 = -0*g. Let b(i) = 2*i**2 - 5*i + 9. Let n be b(g). Is 19 a factor of (-2)/4*-2*n?
False
Suppose 5*d + 21 = -r - r, d = r - 7. Suppose -4*c + r*c + 42 = 0. Does 21 divide c?
True
Let d(q) = -q**3 - 6*q**2 - 4*q - 1. Let v be 26/(-4) - 2/(-4). Let f be d(v). Suppose -3*k + f = n - 2*k, 0 = -4*n - k + 77. Is 18 a factor of n?
True
Let v = -6 + 10. Let h = v - -52. Suppose a = -a + h. Does 14 divide a?
True
Let j = 8 - 6. Is (-26 - -8)/((-2)/j) a multiple of 10?
False
Suppose 0 = -5*r + 4*k + 6 + 15, r - 7 = -2*k. Suppose x = r*x - 24. Is x a multiple of 6?
True
Suppose 0 = 4*o - 5*o + 68. Is 11 a factor of o?
False
Let i(j) = 3*j**2 + 2*j - 1. Let s(q) = 8*q**2 - q + 1. Let z be s(1). Let d be (-3 - 0)*z/12. Is 7 a factor of i(d)?
True
Let f be 0 + -1 - 11*-1. Let p be (12/(-10))/(f/(-25)). Let t(y) = -y + 6. Is 3 a factor of t(p)?
True
Suppose 41 + 23 = 4*j. Is 6 a factor of j?
False
Let w = 4 + 0. Suppose 3*y - w = 7*y. Let z = 2 - y. Does 3 divide z?
True
Suppose -136 = -o + 2*n, -7*n + 3*n + 124 = o. Does 22 divide o?
True
Suppose 5*o - 182 - 28 = -5*f, -2*o + 84 = f. Is o/(2/(4/3)) a multiple of 9?
False
Let i(p) = 2*p**2 + 2*p**2 - 1 + 2. Let a be i(-1). Does 15 divide (-2)/a + (-264)/(-10)?
False
Suppose 0 = 2*c - 5*x - 1, -4*c + 2*x + 24 + 2 = 0. Suppose 96 = -5*y + c*y. Is y a multiple of 16?
True
Let x = 140 - 4. Does 18 divide x?
False
Let l = 49 - 32. Is l a multiple of 3?
False
Let b(f) be the first derivative of -f**4/4 - 4*f**3/3 + 7*f**2/2 + 4*f + 2. Is b(-6) a multiple of 17?
True
Let s = 298 - 167. Is 6 a factor of s?
False
Let u be -5 + 6 + 4 + 0. Suppose 0*g - u*s + 140 = 5*g, 0 = 3*s - 12. Does 14 divide g?
False
Let y(g) = g**3 + 6*g**2 + 2*g + 3. Let h be 147/12 - (-2)/(-8). Suppose -h = 2*p - 4. Does 10 divide y(p)?
False
Let z(p) = 6*p + 13. Does 12 divide z(10)?
False
Suppose -7*i = -19 - 9. Suppose -4*b + i = -5*b, 5*t - b = 189. Is 17 a factor of t?
False
Let d(v) = v**2 - 9*v + 8. Let k be d(8). Suppose k = u - 3, -5*x - u - u + 11 = 0. Suppose -x = -i + 4. Does 3 divide i?
False
Let g(u) = 59*u + 1. Let k be ((-1)/(-2))/(4/8). Does 24 divide g(k)?
False
Let u be (10/(-8))/(1/(-4)). Suppose -3*y + 0*y = 2*w - 56, -w - 93 = -4*y. Suppose 5*h - 40 = u*r, -4*r + 0*r = 5*h - y. Does 6 divide h?
True
Let x = 258 - 59. Suppose 4*b + b - x = -4*r, -4*r + 5*b + 209 = 0. Is r a multiple of 18?
False
Suppose -5*t = -3*t + 3*l - 151, 3*t + 2*l = 234. Is 20 a factor of t?
True
Suppose 3*b - 6*b + 24 = 5*t, 4*b = 12. Suppose 31 = 4*z + t. Is z a multiple of 7?
True
Let m(p) = 3*p**3 + p**2 + 5*p - 3. Is m(2) a multiple of 5?
True
Let p = 16 + -4. Is 9 a factor of 2/(p/(-9))*-18?
True
Let i(m) = 3*m**2 + 4*m + 8. Let p(b) = 5*b**2 + 8*b + 15. Let f(v) = -7*i(v) + 4*p(v). Is 4 a factor of f(4)?
True
Let c = 17 - -38. Is 9 a factor of c?
False
Let w(f) = -f**3 - 1. Let y be w(1). Let u = y - -7. Does 2 divide u?
False
Let g(s) = -s + 11. Let n be g(6). Suppose -n*t + 274 = -3*v, 5*t - 3*v = -v + 276. Is 28 a factor of t?
True
Let u(z) = z**2. Let t(k) = k**2 - 7*k - 4. Let s(x) = t(x) - 2*u(x). Is s(-5) even?
True
Let m(b) be the third derivative of -b**6/120 + b**5/12 - 5*b**4/24 + 5*b**3/6 - 2*b**2. Let d be m(4). Does 5 divide -10*1*(d - 2)?
True
Suppose 0 = -8*s + 10*s. Suppose s = -3*k - 5*a + 75, k - 14 = -4*a + 6*a. Does 10 divide k?
True
Suppose -18 = -3*q + 102. Let s be -26 + 1 + -2 - -2. Let u = q + s. Is u a multiple of 15?
True
Suppose 0 = -y + 5 - 1. Suppose 3*i - 5*c - 10 = 0, 2*c + y = -0*i + i. Is 10 a factor of i - 20*(0 - 1)?
True
Let q(y) = -2*y**2 + 3*y - 11. Let b(d) = -d**2 + d - 5. Let t(n) = -13*b(n) + 6*q(n). Let l be t(-5). Does 22 divide l - (60/(-3) + -3)?
True
Let o(t) = t**2 - 2*t - 5. Let u be o(4). Suppose -9 = -3*x - u*i, 5*i = -0*i + 5. Suppose d = 5*r - 182, 4*r - x*d + 6*d = 136. Is 12 a factor of r?
True
Suppose 2*n = 3*z - 24, 3*n + 1 = z - 0. Is z a multiple of 10?
True
Let a be (-2)/5 - (-94)/10. Let u = a + -3. Is u even?
True
Suppose 4*s + s = 570. Is s a multiple of 38?
True
Suppose 13 = 5*j - 22. Let o(q) = q**3 - 5*q**2 - 9*q - 4. Let u be o(j). Suppose l = 5*h + 37, -l - 2*h + h + u = 0. Is l a multiple of 16?
True
Let n = 20 + 0. Let f = -13 + n. Is 2 a factor of f?
False
Suppose 0 = g + 5*a + 18, -6*g + g - 2*a = -2. Let k(l) = 3*l. Let w be k(g). Let s = w - -38. Is s a multiple of 22?
True
Let u(y) = y**3 + 22*y**2 + 18*y + 15. Let q(j) = -j**2 - 1. Let c(x) = -6*q(x) - u(x). Does 18 divide c(-15)?
True
Suppose 0 = 3*d - 5*f + 2*f - 498, -2*d + 5*f = -320. Is d a multiple of 34?
True
Let o be (-156)/(-30) + 2/(-10). Let g(c) = 7*c - 1. Let a(l) = -1. Let f(w) = 3*a(w) + g(w). Is 