ide v?
True
Suppose 0*r - 240 = -5*r. Is 12 a factor of r?
True
Let d(p) = p - 5. Let a be d(8). Suppose -136 = -4*w + a*q, -5*w + 59 = -4*q - 111. Is 17 a factor of w?
True
Suppose 2*y + 2 = -d + 30, -4*d + 3*y + 68 = 0. Suppose -a = a - 2, -3*k = 2*a - d. Does 3 divide k?
True
Let h(z) = -z**3 + 7*z**2 - z - 1. Is 5 a factor of h(6)?
False
Let q = 274 - 103. Is 15 a factor of q?
False
Let i = -13 - -28. Does 5 divide i?
True
Let o = -11 - -7. Let w = 8 - o. Does 10 divide w?
False
Suppose 17 = -2*p + 47. Let x = p - -3. Does 6 divide x?
True
Let y be ((-39)/4 - -3)*-4. Let i = 65 - y. Does 19 divide i?
True
Let b(t) = t**3 - t - 8. Let h be b(0). Let o be -2*1 + (-248)/2. Is o/h - 3/(-12) a multiple of 16?
True
Let r(x) = 17*x + 5. Is 14 a factor of r(6)?
False
Suppose 0 = -f - 1 + 5. Suppose 3*w = -5*s + s + 91, 4*w = -f*s + 96. Suppose 3*q - 20 = s. Does 5 divide q?
False
Let m(z) = z**2 - 2*z - 1. Let l be m(4). Let o = l + 8. Is o a multiple of 15?
True
Let d = 32 + -16. Does 2 divide d?
True
Let w = 11 + -6. Suppose -w*q = 2*o - 19, q = 4*o - 3*q - 24. Is o a multiple of 2?
False
Let p = 2 - -1. Let s(d) = 4*d + 0*d + p + 0*d. Is 12 a factor of s(3)?
False
Let x(g) = g + 8. Let l be x(-16). Let z(q) = -4*q - 5 - 2 + 2*q. Does 6 divide z(l)?
False
Let p(i) = -i**2 - 8*i - 9. Let v be p(-6). Suppose -3*q + r + 4 = 0, -5*q = v*r - 0*r + 12. Suppose -2*c - 2*c + 20 = q. Is c a multiple of 4?
False
Let t(c) = -5*c + 6. Let l(o) = 5 + 0*o - 4*o + 0*o. Let z(w) = -6*l(w) + 5*t(w). Is z(-6) a multiple of 3?
True
Let k(b) = b**3 - b**2 + 41. Is k(0) a multiple of 9?
False
Let k be -1 - 3*6/(-9). Suppose -2*z + 1 = -k. Is 4 a factor of z - -2 - 1 - -2?
True
Let x = 20 + -16. Is ((-34)/x - 3)*-2 a multiple of 6?
False
Let y(s) = 18*s - 6. Is y(4) a multiple of 22?
True
Let b be (-1542)/4 - 4/(-8). Is 23 a factor of 2/(-4) - b/10?
False
Suppose 5*g - g + 30 = -5*m, -m = -2*g + 6. Is 13 - m/3*-1 a multiple of 5?
False
Suppose -2*c + 7 = w, w - c = -2*c + 3. Let d = 5 + -8. Is d - -3 - w*4 even?
True
Let b = -45 + 20. Let x = 52 + b. Is x a multiple of 21?
False
Suppose -3 = -2*g + 3. Suppose 0 - 6 = -g*y. Suppose 0 = -y*i + 4 + 52. Is 16 a factor of i?
False
Suppose -4*g - w = -81 - 18, -3*w = -5*g + 145. Is g a multiple of 13?
True
Let u(t) = 2*t - 45. Does 3 divide u(27)?
True
Suppose 2*d = 7*d + 30. Is 15 a factor of (30/(-4))/(d/36)?
True
Suppose 0 = -13*b + 11*b. Suppose h - 41 = -b*h + o, 2*h - 3*o = 78. Is 9 a factor of h?
True
Is 3 a factor of (4 + 22)*(-2 + 20/8)?
False
Let u = -84 + 118. Is 17 a factor of u?
True
Let i = -45 - -54. Does 4 divide i?
False
Let j(v) be the second derivative of v**5/20 + 5*v**4/12 - v**3/2 - v. Is j(-5) a multiple of 5?
True
Let g be (-1 + 0 + 0)*-8. Let s = -5 + g. Suppose s*n - 12 - 27 = 0. Is 4 a factor of n?
False
Let x(t) = 2*t + 13. Suppose 0*z + 36 = 3*s + 2*z, 0 = -z. Is x(s) a multiple of 29?
False
Suppose 0 = -3*m + m + 12. Suppose 16 = 4*o - 0. Let y = m - o. Does 2 divide y?
True
Let g = 1 + 1. Does 2 divide g?
True
Suppose 2*g + 2*g + 16 = 0. Is 3 a factor of (6/(-5))/(g/20)?
True
Suppose 3*s + 4*c - 1 - 5 = 0, -3*s = -4*c - 6. Suppose 0 = 6*i - s*i. Suppose 2*m + 10 - 40 = i. Does 9 divide m?
False
Let j be 36/(-63)*(-7)/2. Suppose 5*u + l - 152 = 282, j*l + 164 = 2*u. Suppose -g = -2*y + g + u, 2*y - 82 = g. Is 13 a factor of y?
True
Let f = -66 + 182. Is 29 a factor of f?
True
Suppose 2*o - 3 = 3, -2*l + o = -21. Is l a multiple of 9?
False
Let l = -12 + 22. Suppose -7*v = -l*v + 9. Does 3 divide v?
True
Let k(q) = -4*q**2 - 1. Let w be k(1). Let h(i) = -7*i + 3. Is 19 a factor of h(w)?
True
Let n(b) = -b**2 - 19*b - 5. Does 15 divide n(-15)?
False
Suppose 50*o + 3276 = 63*o. Is o a multiple of 18?
True
Let v(h) = h - 2. Let k be v(-2). Let b = k - -7. Suppose 0 = b*f - f - 24. Is 12 a factor of f?
True
Let v = 8 + -6. Suppose v*c = -c + 156. Is 26 a factor of c?
True
Let o(y) = 51*y**3 - y**2 + 2*y. Is o(1) a multiple of 13?
True
Let b(w) = 2*w**2 - 19*w + 22. Let f(i) = 3*i**2 - 29*i + 33. Let s(m) = 8*b(m) - 5*f(m). Is 18 a factor of s(8)?
False
Let t(p) = 3*p + 3. Suppose 3*m + 4*v - 27 = 0, m + 3 = -2*v + 14. Is t(m) a multiple of 18?
True
Suppose 5 + 4 = 3*o. Is 3 a factor of -2 + (o - -7) - 2?
True
Let x = -34 - -47. Is 9 a factor of x?
False
Let p be (1/3)/((-2)/(-12)). Suppose -2*v + 2*n = -16, 5 + 6 = p*v - 3*n. Is v a multiple of 13?
True
Let z be (45/(-10))/(3/(-4)). Suppose x = z*x - 50. Does 3 divide x?
False
Let j(z) = -z**2 - z - 8. Let o be j(0). Let t = o - -6. Is (t/(-4))/(2/60) a multiple of 9?
False
Suppose 16 = 4*f - 104. Is 16 a factor of f?
False
Let b(x) = x. Let i be b(6). Let w be (-5)/(-10) - i/(-4). Suppose g - w*g = -4. Is 2 a factor of g?
True
Suppose 0 = 6*w - 173 + 29. Is 12 a factor of w?
True
Suppose -40 = 4*b + 5*v, 0*b + 4*v = -b - 21. Let x(l) = -l**3 - 4*l**2 + 3*l + 6. Does 8 divide x(b)?
True
Suppose -3*a = -5*h - 111, -3*a + 3*h - 37 = -148. Is a a multiple of 10?
False
Suppose -n + 9 = -q - 0*q, 0 = 4*q. Suppose -9 = 2*t - 57. Is (1*6)/(n/t) a multiple of 8?
True
Let p(m) = m**2 + m - 10. Is 25 a factor of p(-11)?
True
Let y = -6 - -8. Suppose 0 = -y*u + 2*f + 36, -4*u = 3*f + 6 - 78. Is u a multiple of 6?
True
Let x be (-28 - -1)/(12/(-8)). Suppose -24 = -3*k + x. Does 14 divide k?
True
Suppose -2*y = -6*y + 32. Is y a multiple of 7?
False
Let j be (-5)/(10/(-16)) + 0/2. Suppose -3*c + t - 6 = 0, 0 = t - 2 + 5. Let q = j + c. Is q even?
False
Let u(n) = 45*n - 1. Suppose f + 7 + 0 = -3*y, 0 = -4*f + y - 2. Let j be u(f). Let z = 66 + j. Is z a multiple of 10?
True
Let y be (1 + 4)/(2 + -1). Suppose 3*l - y = 1. Suppose 75 = i + l*i. Is 14 a factor of i?
False
Let d(i) be the second derivative of i**4/6 + i**3/6 - i**2 + i. Does 2 divide d(2)?
True
Suppose -4*i + 54 = -46. Let y = i + -10. Does 7 divide y?
False
Suppose -5*s = -s + 8, 4*s + 104 = 4*c. Does 6 divide c?
True
Let n be (-921)/(-12) - 2/(-8). Let f = -136 + n. Is 21 a factor of (2 - 1)/((-1)/f)?
False
Let n(x) = x. Let v be n(8). Let d(m) = m**2 - 2*m - 4. Let s be d(v). Suppose 2*i - f = -0*i + s, i = -4*f + 22. Is 15 a factor of i?
False
Let g(p) = -p**3 + 8*p**2 + 2*p + 6. Let n be g(7). Suppose f + n = 2*f. Does 13 divide f/(1 - 3/(-6))?
False
Let a = 12 - 20. Does 10 divide (-68)/(-7) - a/28?
True
Let s(x) be the third derivative of 2*x**3 + 3/20*x**5 + 0*x + 1/4*x**4 + 1/120*x**6 + 0 - x**2. Does 14 divide s(-8)?
True
Suppose 3*h - 3*l = 6, -h + 3 - 17 = 3*l. Let s = 30 + -24. Does 11 divide (-1)/h - (-141)/s?
False
Let o = 104 - 66. Does 19 divide o?
True
Let w be ((-39)/9 - -3)*-6. Let g be 404/w - 6/(-4). Let l = g + -35. Is l a multiple of 17?
True
Let q(l) = l. Let w be q(0). Suppose w = -2*x + 21 + 53. Suppose g - 3*s - x = 0, 66 = 2*g - 5*s + s. Is 9 a factor of g?
False
Suppose -w + 6 = 2*w. Let l(p) = 22*p**2 - p - 2. Let u be l(2). Suppose w*r - u = -2*b, -b + 38 = -2*r - r. Does 16 divide b?
False
Suppose 3*w + 2*w - 15 = 0. Let r = 15 - 14. Suppose r = 3*x - 2*h, 16 = 7*x - w*x + h. Is x even?
False
Let j(v) = -v**3 + 7*v**2 + 8*v + 4. Let b(w) = -w**3. Let u(k) = 2*b(k) - j(k). Does 3 divide u(-6)?
False
Does 15 divide ((-135)/(-6))/((-12)/(-16))?
True
Let t(r) = -r**2 - r + 3. Let z be t(0). Suppose 3*g = 2*g, z*g + 168 = 2*p. Is p a multiple of 21?
True
Is (-3186)/(-21) + (-20)/(-70) a multiple of 19?
True
Let v be (-2)/(-5) + (-21)/15. Let q(r) = r**3 - r**2 + r + 1. Let a be q(0). Is (a + 0)*v + 27 a multiple of 7?
False
Suppose -2*y = 5*x + 104, 3*y = -0*x - 3*x - 66. Let d = x + 31. Let p = -8 + d. Does 3 divide p?
True
Let g(f) = -f**3 + 5*f**2 + 9*f - 3. Let c(m) = -m**2 + 6. Let b be c(0). Is 7 a factor of g(b)?
False
Suppose -j + 6 = -3*k - 5*j, 0 = k + 5*j + 13. Suppose 100 = k*t - t. Suppose 5*d + 2*m - t = 0, 0*d - 56 = -3*d - 2*m. Is d a multiple of 11?
True
Let r(w) = w**2 + w + 2. Let q be r(2). Suppose -q = -j - j. Is 30*(6/j - 0) a multiple of 16?
False
Let c(m) = 4*m**2 - 5*m. Is 4 a factor of c(4)?
True
Let z(a) = a**3 + 11*a**2 + 9*a - 12. Let f be z(-10). Does 7 divide f/13 + 474/39?
False
Suppose -4 + 1 = q. Let f = q - -51. Does 24 divide f?
True
Let u(o) = 3*o**2 - 3*o**2 + 0*o + o**2 + 4*o. Is u(-6) a multiple of 6?
True
Let z(j) = 3*j - 12.