s u(-5) a multiple of 7?
True
Let r = 52 - -58. Is 21 a factor of r?
False
Does 28 divide (-384)/(-72)*(-42)/(-4)?
True
Suppose -340 = h - 6*h. Does 17 divide h?
True
Suppose 2*v = -41 + 129. Let m = 36 + v. Suppose 2*n - 3*b - 32 = 0, 0 = -5*n + 5*b - 0*b + m. Does 10 divide n?
False
Suppose -4*p - 5 = 5*m, -4 = 4*m + 4*p + p. Does 3 divide (3/6)/(m/(-12))?
True
Suppose 5*f - j - 9 = -4*j, 4 = 2*f + j. Let d be 105*(-4)/30*-3. Suppose -f*y = -0*y - d. Is y a multiple of 5?
False
Let u(p) = 8*p**2 - p - 2. Let c be 0 - -2 - (0 + 0). Is 21 a factor of u(c)?
False
Suppose 2*a + 2*b = 5*a + 9, -3*b = -a - 10. Does 8 divide ((-3)/(3/8))/a?
True
Let n = 111 + 63. Is 29 a factor of n?
True
Suppose -3*r = -0*r - 1770. Suppose -5*x - 20 = -r. Suppose -2*s + x = s. Is s a multiple of 19?
True
Suppose 2*j - 48 = -0. Is 4 a factor of j?
True
Does 16 divide 62 + 0 + -2 + -2?
False
Suppose -2*z - 5*i + 44 = 0, 2*z = -z - 4*i + 66. Does 11 divide z?
True
Does 39 divide -2*6*225/(-18)?
False
Suppose -28 - 9 = -2*o - 5*j, 0 = -5*o - 4*j + 50. Suppose o = -5*m - 19, 2*r + m = 13. Does 9 divide r?
True
Let g(z) = -14*z - 12. Let v be g(-9). Suppose v = 4*q - 34. Is q a multiple of 17?
False
Suppose 3*y - 4 = 2*a, 4*y - 28 = -5*a + 2*a. Is a/(-3)*(-36)/16 a multiple of 2?
False
Let z = -162 + 471. Is 56 a factor of z?
False
Suppose 0 = 4*u + 2*k + 10, 0 = 2*k - 4 + 2. Let i = -1 - u. Does 5 divide (0 + 6)/(i/3)?
False
Suppose 3*g + 39 - 228 = 0. Does 21 divide g?
True
Suppose 11 + 4 = -5*a. Let d = a + 9. Is d a multiple of 2?
True
Suppose 0 = 9*g - 95 - 400. Is g a multiple of 11?
True
Let k be 3*1 - 30/10. Suppose -3*s + j + 108 = 0, k = 3*s - 4*j - 65 - 43. Is s a multiple of 12?
True
Does 35 divide -9*168/(-9) + 1?
False
Let d = -2 - -4. Does 21 divide 21 + (3 - 6/d)?
True
Suppose 0 = -g + 5*a - 26, 0*a + 4*a + 56 = -4*g. Let w = -10 - g. Is 14 a factor of 21/(1/(4/w))?
True
Let v(p) = -3*p - 13. Let u be v(10). Let k = -16 - u. Is 26 a factor of k?
False
Let o(i) = i**3 - i**2 - 4*i + 7. Let v(n) = -n**3 + 2*n**2 + 5*n - 7. Let d(r) = 3*o(r) + 4*v(r). Does 2 divide d(6)?
False
Let j(g) = g**2 + 1. Let y be j(1). Suppose y*c - 3*d = -2*d - 16, d = -3*c - 14. Is 6 a factor of (-46)/c - 2/3?
False
Suppose 3*c = 6*c - 690. Does 10 divide c?
True
Let z = 5 + -4. Let b = 3 - z. Does 13 divide (b/3)/((-4)/(-228))?
False
Let t(j) = -j**3 + 7*j - 1. Let n be t(-5). Let u = n - 38. Is u a multiple of 11?
False
Let n be 9/3 + -1 - -2. Let q = 25 + n. Is q a multiple of 5?
False
Let l(s) = -s - 1. Let c(y) = y**3 + 9*y**2 + 8*y + 2. Let a(m) = -c(m) - 5*l(m). Is a(-9) a multiple of 15?
True
Suppose -6 = -5*k + 9. Is (3 + -6)/k + 53 a multiple of 16?
False
Suppose -4*m + 0*m = -92. Let u = 47 - m. Is u a multiple of 12?
True
Let i = 292 + -143. Does 49 divide i?
False
Let r be (-12)/(-2)*(-3)/(-9). Suppose r*l + 3*j - 68 = 0, 0 = -l - 0*l + 4*j + 12. Is l a multiple of 17?
False
Let o = 0 + 0. Suppose 3*a - 15 = -5*i, -5*i + o*a = 2*a - 15. Suppose -3*k = i, 2*x - x - 13 = 5*k. Is x a multiple of 8?
True
Let d(k) = k**3 + 9*k**2 - 14*k - 15. Does 8 divide d(-10)?
False
Suppose -i = b - 3*b + 5, 0 = b + 2*i + 10. Let a be (1 + 0)*0/(-2). Suppose b*n + n - 26 = a. Is 11 a factor of n?
False
Suppose -7 = -2*i - p + 28, 5*i - 2*p - 92 = 0. Does 3 divide i?
True
Is ((-2)/(-3))/((-8)/(-48)) a multiple of 4?
True
Let p be 15*(72/3 - 0). Suppose r - p = -3*r. Does 23 divide r?
False
Suppose -u + 4 = -2*m + 27, -m + 5*u - 2 = 0. Let s = m + 31. Is s a multiple of 11?
True
Let i be 8/6*(-54)/(-12). Let t = i + 4. Is 10 a factor of t?
True
Let j(l) = 9*l**2 - l + 1. Let y be j(1). Suppose 24 = 4*q - 2*s, -4*q + 5 = 2*s - 3. Suppose d + 1 = q*u, -y*u = -4*d - 4*u + 29. Is d a multiple of 11?
True
Is 15 a factor of 33 + 1/(-1) - 2?
True
Let b(h) = 13*h + 3. Let g be b(5). Let d = 2 - -3. Suppose z - 5*z + g = d*m, 0 = 5*z + 4*m - 76. Does 12 divide z?
True
Let q(n) = n**3 - 7*n**2 + 16*n - 7. Does 15 divide q(6)?
False
Suppose 0 = -w - 1, -6 = -z + 3*w + 17. Suppose 5*p = -3*t - 20, -p = 4*p - 5*t + z. Does 11 divide (-2)/4*p + 20?
True
Let y = -1 + 64. Is 25 a factor of y?
False
Let d(a) = 23*a + 1. Let u(z) = z. Let p(h) = d(h) - 6*u(h). Let j be p(1). Suppose j = 2*o - 14. Is 7 a factor of o?
False
Suppose 189 = 3*o - 63. Does 14 divide o?
True
Suppose 0*o + o = 4. Suppose -o*c + 14 = n, 2*c + 4 = 10. Is 15 a factor of 59/2 - (-1)/n?
True
Is 21 a factor of 2/(-9) + (-12886)/(-153)?
True
Suppose 0 = 6*x - 459 - 801. Is 35 a factor of x?
True
Suppose -2*c = 2*t + 3*t, 0 = 4*c - 3*t. Suppose -j - 4*y = -10, c*y = 2*j + 5*y - 23. Is j a multiple of 7?
True
Let m(l) = l**3 + 3*l**2 - l - 3. Does 3 divide m(2)?
True
Let p = 9 + 1. Let y be (4/(-3))/(1/(-3)). Suppose -p = 2*t - y*t. Does 4 divide t?
False
Let t = 56 + 0. Does 11 divide t?
False
Is 17 a factor of (-1)/(-4 - 382/(-96))?
False
Let o be (-1)/2 - 85/(-10). Let h = o + 1. Is h a multiple of 4?
False
Suppose 3*w = 2*w + 138. Suppose -3*n + w = -5*n. Is 7 a factor of (-1)/(-5) - n/5?
True
Let j(z) = -12*z - 3. Let w be 14/(-3) + (-4)/12. Does 19 divide j(w)?
True
Let d = 60 + 243. Suppose 5*m = 87 + d. Is m a multiple of 24?
False
Suppose -4*q = 10*q - 756. Does 7 divide q?
False
Let s(p) = 3*p**2 - 3*p - 14 - 8 - 7*p**2 + 5*p**3. Let z(q) = -q**3 + q**2 + q - 1. Let f(o) = -s(o) - 4*z(o). Is f(0) a multiple of 14?
False
Let t = 43 + -19. Does 24 divide t?
True
Suppose 5*f - 2*f = b + 668, -2*f = 5*b - 468. Is 15 a factor of f?
False
Let z = 67 - 32. Does 11 divide z?
False
Let d(p) = -p**2 + 6*p - 4. Let v be d(3). Suppose -v*x - 3*u + 90 = u, 3*u = 15. Does 4 divide x?
False
Let o = -1 - -5. Suppose 0 = -o*t + 4. Does 2 divide (t + -1)/3 - -3?
False
Let l(t) = -9*t - 3. Let n be l(-5). Let o = n + 4. Does 16 divide o?
False
Suppose 8 - 24 = -4*k. Suppose -116 = -k*t + 2*t. Does 29 divide t?
True
Let b(d) = -d**2 + 12*d + 9. Let o(z) = z + 2. Let h be o(0). Suppose -3*l + h*g = 3*g - 29, g + 1 = 0. Does 12 divide b(l)?
False
Let g(o) = -o**3 - 5*o**2 + 6*o + 8. Is g(-7) a multiple of 40?
False
Let s(g) = -g**3 - 9*g**2 + 9*g + 2. Does 6 divide s(-10)?
True
Let b(d) be the first derivative of d**5/20 - d**4/3 - d**3/2 + 5*d**2/2 + d + 2. Let z(c) be the first derivative of b(c). Does 6 divide z(5)?
False
Let v(y) = -14*y - 4. Suppose 3*x - 17 + 8 = 0. Let o be v(x). Let i = o - -76. Is 15 a factor of i?
True
Suppose -5*u = -10, -3 = 3*l - 2*u - 35. Is 5 a factor of l?
False
Suppose 2*r + 10 = 2*p, 2*p + p - 5 = r. Suppose p = 3*f + 3*w - 138, 5*f + 4*w - 140 = 2*f. Does 23 divide f?
False
Let p(n) = -n**3 - 2*n**2 - 4*n - 3. Let g be p(-2). Let j = g + -3. Suppose 0 = 4*z + d - 125, -6*z - j*d + 154 = -z. Is 12 a factor of z?
False
Let a(v) = 0*v - 7 - v + v + v. Is a(12) even?
False
Suppose -y = 2 + 1. Let r(i) = i**3 + 2*i**2 - 3*i + 4. Is r(y) a multiple of 4?
True
Let i = 13 + -8. Let v(l) be the first derivative of -l**4/4 + 5*l**3/3 + l**2 - 4*l - 2. Is v(i) a multiple of 4?
False
Let i be 0*(0 + 1/1). Suppose -28 = -2*p - 4*c, i*c + 37 = 2*p - 5*c. Is p a multiple of 14?
False
Let w(r) = -r**2 - r + 5. Let u be w(0). Suppose -4*z - 169 = -u*j, 2*j - j + 4*z = 53. Let x = -9 + j. Does 11 divide x?
False
Suppose 20 = -4*b, 133 - 3 = t - 2*b. Is 40 a factor of t?
True
Let p = 79 + 18. Is 30 a factor of p?
False
Let i(o) = -3*o**2 - 1. Let n be i(1). Let f(q) = q**2 + q + 3. Does 15 divide f(n)?
True
Let w(f) = -1 - 2*f + 3 - 4. Suppose 22 = -5*i - 2*z, -34 = 5*i - 2*z + 4. Does 5 divide w(i)?
True
Let q(w) be the second derivative of w**4/6 + 7*w**3/6 - 2*w**2 + 2*w. Is 10 a factor of q(-6)?
False
Let h(u) = 3*u**2 + 3*u - 7. Let g(i) = -i + 1. Let p(x) = 5*g(x) + h(x). Is p(2) a multiple of 3?
True
Suppose -3*v = -0*o + 5*o + 53, 3*v = -3*o - 51. Suppose -n = -3*t - 23, 12 = -n + 4*t + 32. Let b = n + v. Is 9 a factor of b?
False
Is 4/(-10) + (-635)/(-25) a multiple of 19?
False
Let t = 8 - 4. Suppose -t*s = 6 - 2. Let i(u) = -7*u**3 + u + 1. Does 4 divide i(s)?
False
Let z(j) be the second derivative of j**3/6 - 5*j**2/2 + 2*j. Let f be z(6). Is 2/(((-4)/(-6))/f) a multiple of 3?
True
Let x(g) = g**2 + 3*g - 3. Is 10 a factor of x(-6)?
False
Does 9 divide 8/28 - (-124)/7?
True
Let x = 8 + -2. Let z = 9 - x. Is z a mu