+ r. Suppose b*i - s - 5 + 1 = 0, 0 = 3*i - 5*s + 14. Is 2 a factor of i?
True
Suppose 0 = 5*i + 4*z - 56, 2 = 3*z + 5. Is 6 a factor of i?
True
Let g be 7 - (12/3 + -3). Let w = g - -9. Does 4 divide w?
False
Suppose -c = -3 - 1. Does 3 divide c?
False
Let i(q) = 16*q + 2. Let a be i(3). Let g(f) = -21*f**3 + 2*f**2 - f. Let z be g(1). Let l = z + a. Is 15 a factor of l?
True
Let v(i) = i**2 - 5. Is 3 a factor of v(3)?
False
Let r(f) be the first derivative of -f**4/4 + f**3 + f**2 - 3*f - 2. Suppose 0 = -0*o - 4*o + 8. Is 5 a factor of r(o)?
True
Let b(y) = 2*y**2 + 4*y + 2. Let o be b(-2). Suppose 0*k - k + 8 = q, -3*q + o*k = 1. Suppose 2*f + 82 = 5*u, -4*f + q*f = 2*u - 31. Is 6 a factor of u?
False
Suppose 0*b - 16 = -4*b, -5*t - 3*b + 467 = 0. Is t a multiple of 26?
False
Let m be (9 - 3)/(-1 + 3). Suppose -y - 2*y = -m. Is 11 a factor of y*(1 + (-42)/(-2))?
True
Let g(d) = d**2 + 3*d + 2. Let o be g(-6). Suppose -k - 2*f + 2 + 8 = 0, 5*f - o = 0. Is (k/3)/(8/84) a multiple of 7?
True
Let o(n) = -47*n + 1. Is 20 a factor of o(-1)?
False
Let m(s) = -4*s. Let a be m(-6). Suppose 3*c = 4*o - 0 - 3, -4*o = 4*c - a. Suppose -o*v + 78 = -v. Is v a multiple of 21?
False
Let q = -83 - -135. Suppose 0*j + 3*j + 5*a - 114 = 0, -q = -j + 3*a. Is j a multiple of 15?
False
Let d(z) = 2*z**2 + 4*z + 1. Let b be d(-3). Let h = b + -20. Let v = h + 43. Is 15 a factor of v?
True
Suppose 0 = -c + 21 + 25. Does 23 divide c?
True
Suppose 0*j - 41 = -j. Suppose -j - 7 = -2*o. Does 24 divide o?
True
Suppose -8 + 0 = -2*w. Suppose -w*v + 2*v = -78. Is v a multiple of 13?
True
Suppose 5*z = z + 164. Is z a multiple of 8?
False
Let t = 91 + -33. Does 29 divide t?
True
Let s = 4 + -2. Suppose -2*c + 0*c + 64 = 0. Suppose -s*j + c = 8. Is j a multiple of 4?
True
Suppose -x + 89 + 148 = 0. Does 20 divide 2/1*x/6?
False
Suppose -4*s = -53 - 79. Does 10 divide s?
False
Suppose -2*l - 2 = -5*c + 2*l, 9 = -3*l. Let a(d) = 0*d - 6*d + 4*d + 2*d**2. Is 6 a factor of a(c)?
True
Let g = -4 - -19. Is g a multiple of 12?
False
Let s(j) = 6*j**3 - 10*j**2 + 15*j - 21. Let z(k) = -5*k**3 + 11*k**2 - 15*k + 21. Let i(f) = -6*s(f) - 7*z(f). Does 11 divide i(-18)?
True
Let q(a) = -a**3 + 4*a**2 + 6*a - 1. Is q(4) a multiple of 23?
True
Suppose 5*u - 16 = 764. Is 26 a factor of u?
True
Let o(s) = 21*s. Let u(n) = -n - 8. Let g be u(-9). Is 21 a factor of o(g)?
True
Let g = -5 + 3. Let r be g - (-8)/(1 - -1). Suppose i - 103 = -t - 4*t, 0 = -r*t - 2*i + 38. Is t a multiple of 8?
False
Suppose 2*b + 4*r - 16 = 0, 0*b - 8 = -b - r. Does 9 divide 28 + 1 + b + -10?
True
Let m(o) = -o**3 - 4*o**2 + 3*o. Let j be m(-5). Suppose -2*x + j = 2. Does 2 divide x?
True
Let n(s) = -s - 1. Let a be n(3). Let j(u) = -u**2 - 6*u - 4. Let p be j(a). Suppose 0 = -5*o - k + 99, -p*k + 45 = 5*o - 51. Is 7 a factor of o?
False
Let r be 364/10 + 9/15. Let d(x) = -3*x**2 - 2*x - 1. Let m be d(-2). Let a = r + m. Is 14 a factor of a?
True
Let r(z) = -2*z - 4. Let c be r(-1). Suppose 5*s + 4*x = 0, -3*s + 2 = 3*x - 1. Does 3 divide (-1 - -7)*c/s?
True
Suppose 7*y = 10*y - 54. Is 18 a factor of y?
True
Does 30 divide (6/3 - -183) + -5?
True
Suppose 7*l - 8 = 3*l. Suppose 0*x = l*x. Suppose v - 11 = -p, -v - 4*v + 10 = x. Is p a multiple of 5?
False
Suppose 0 = -2*c + 4*l + 22, 2*c - 15 = l - 4*l. Let s(z) = z**2 - 5*z - 6. Let d be s(c). Does 10 divide (6*d/(-9))/(-1)?
True
Let r(l) = 4*l**2 + 2*l + 1. Let o be r(-1). Suppose -2*i - 18 = -o*i. Is 5 a factor of i?
False
Suppose t - 4 = -5. Is 12 a factor of t/(2*3/(-168))?
False
Let w(l) = -2*l + 2. Let v be -3 - (-5)/((-3)/(-3)). Suppose 2*s - 48 = 3*f + f, 0 = -s + v. Does 8 divide w(f)?
True
Let j(c) = -c**3 - c**2 - c - 2. Suppose 0*t - 8 = 4*t. Let f be j(t). Suppose -p - 2*p = -f*y + 55, 0 = -5*y + 3*p + 65. Does 10 divide y?
True
Suppose -s = 1 - 5. Let y = 79 - 41. Suppose y = s*h + 6. Is h a multiple of 3?
False
Let c(h) = -h + 5. Let v be c(3). Suppose -v*a = a - 60. Is a a multiple of 7?
False
Let z(s) = -s**2 - 17*s - 7. Let j be (15/2)/((-3)/6). Does 17 divide z(j)?
False
Suppose -j = 2*b - 12, -b - 2*j + j = -7. Is b a multiple of 5?
True
Let m(u) = u**2 - 3*u + 3. Let p be m(3). Suppose 0 = 4*q + n - 5, -3*q - 3*n + p = -12. Suppose b + q*b = 20. Is 14 a factor of b?
False
Let a be (-2)/3 - 22/(-6). Suppose -92 = f - 6*f - 3*d, 0 = a*f + 2*d - 55. Does 10 divide f?
False
Suppose -u + 1 = -5. Suppose 2 = -4*d + u. Let w(s) = 10*s - 1. Is w(d) a multiple of 9?
True
Suppose -48 = -4*x + c, 3*x - 71 = 3*c - 26. Let s = x - -1. Does 4 divide s?
True
Suppose 0*g = 2*g + 5*x - 25, x = 5. Suppose 7*h - 5*h - 16 = g. Does 8 divide h?
True
Suppose -7*g - 15 = -2*g. Let n = 31 - g. Does 17 divide n?
True
Let x = -12 + 13. Does 3 divide -2 - x/(4/(-20))?
True
Does 10 divide (104/32 + (0 - 2))*24?
True
Let l be (-27)/6*(-4)/6. Let y(i) = -i**3 + 3*i**2 + 4*i - 3. Let b be y(3). Is -2*l/b*-36 a multiple of 8?
True
Suppose 3*f + y = 93, -3*f - 5*y = -69 - 12. Does 14 divide f?
False
Let c(l) = 18*l**2 - 2*l - 1. Does 25 divide c(-2)?
True
Suppose 3*p + 75 = -0*p. Let w be ((-20)/p)/(2/(-10)). Let a(o) = -7*o + 2. Is 15 a factor of a(w)?
True
Suppose 2*t = -2*t + 4, -4*t = 5*q - 1289. Let n = q - 181. Is 19 a factor of n?
True
Suppose 3*l = 2*p + 1, 3*l + 2*p - 25 = -2*p. Suppose -110 = -l*m - 2*m. Is 8 a factor of m?
False
Suppose -y + 8*m - 89 = 4*m, 3*m - 360 = 5*y. Let g = y + 132. Is g a multiple of 21?
True
Let x = 4 - 3. Let y = 25 - x. Does 14 divide y?
False
Is 14 a factor of (-7)/(((-2)/1)/12)?
True
Suppose 0 = -8*b + 464 + 280. Is 31 a factor of b?
True
Let y = -84 + 274. Is 11 a factor of y?
False
Suppose 0 = g - 2, 4*b + 2*g - 12 = 6*g. Suppose 3*i = -b + 53. Does 8 divide i?
True
Suppose -2*h + 5*d + 475 = 0, -h - 5*d + 69 = -176. Does 23 divide h?
False
Suppose -3*s + 90 = h - 14, -16 = 4*h. Is 12 a factor of s?
True
Let z(j) = j**3 - 6*j**2 + 6*j - 4. Let h be z(5). Suppose 5*s = -4*k + 3, -2*k + h = 2*s - 1. Suppose 3*a = 3*l + 15, k*l + 3*l + 5 = 0. Is a a multiple of 3?
False
Is 14/63 + (-1670)/(-18) a multiple of 31?
True
Let v(k) = 2*k**3 + 4*k**2 + 4*k + 2. Let d be v(-2). Let i be (-26)/d + 2/(-6). Suppose -5*u = 20, -i*u = -f - 4*f + 56. Does 7 divide f?
False
Let v be 6*(-9)/(-12)*-2. Let n(g) = g**3 + 10*g**2 + 6*g - 6. Let h be n(v). Suppose -h = 5*c - 2*f - 80, c - 2*f = 15. Does 3 divide c?
False
Let z(a) = a**3 - 14*a**2 + 3*a + 27. Is z(14) a multiple of 23?
True
Let y = -1 - -1. Suppose 3*u - 5*g = -34 + 110, y = 3*g + 6. Is u a multiple of 22?
True
Suppose 4*g - g = 0, 5*c + g = 0. Let z be 3 + -4 + c + 17. Let k = 30 - z. Does 5 divide k?
False
Does 56 divide 1/9 + 33253/99?
True
Let v(h) = h**3 + 6*h**2 + 7. Let f be v(-6). Let d(g) be the first derivative of g**3/3 - 3*g**2 + 2. Is d(f) a multiple of 3?
False
Is (-1802)/(-11) + (-1)/(33/(-6)) a multiple of 20?
False
Let d(h) = -h**3 - 6*h**2 + 2*h - 3. Let b be d(-7). Suppose 34 = 3*a - b. Is a a multiple of 11?
True
Let m = -117 - -279. Is m a multiple of 54?
True
Let y(r) = -6 + 8*r - r**2 + 0*r**2 + 0*r. Let a be y(6). Does 10 divide 1*(-3)/(a/(-22))?
False
Suppose 0 = -5*x - 5*o + 90, 0*o = -5*x - 4*o + 90. Is 2 a factor of x?
True
Suppose -b + 246 = 4*y - 3*b, 0 = -5*y + b + 309. Is y a multiple of 12?
False
Suppose 15*s - 8*s - 315 = 0. Is s a multiple of 22?
False
Let g = -4 + 6. Does 15 divide (g - (0 - -1)) + 24?
False
Suppose 4*c = 3*b - 59, -5*c - 9 - 1 = 0. Let h = 3 + b. Suppose 0*t + 29 = 2*t + 3*x, t - 4*x = h. Is t a multiple of 8?
True
Suppose 3*m - 3*w + 105 = 0, 5*m + 0*w + 4*w + 184 = 0. Let i = 7 + -17. Is 5 a factor of (m/i)/((-1)/(-5))?
False
Let c be (10/3)/(-2)*-42. Suppose -3*i + r = -0*i - 97, 2*i - 2*r = c. Is 9 a factor of i?
False
Let d(g) = 35*g - 1. Let h be d(-1). Does 13 divide h/7*28/(-6)?
False
Let g = -71 + 102. Let f be 117/(-6)*(-4)/6. Let i = g - f. Is i a multiple of 18?
True
Suppose 2*q = q - 3*z + 9, 33 = 5*q + 3*z. Does 3 divide q?
True
Let g(l) = l**3 + 9*l**2 + 5*l. Is 13 a factor of g(-7)?
False
Let r = -16 + 16. Suppose -2*u + r*u = -48. Is 15 a factor of u?
False
Is 14 a factor of 11 + -6*1/(-2)?
True
Let l = 126 + -78. Is 12 a factor of l?
True
Suppose j = 5*v + 1, -2*j = 2*v - 2 - 0. Let q be 1 - 0 - (-35 + v). Is (0 