multiple of 22?
True
Does 3 divide -4*2*42/(-24)?
False
Suppose -5*w + 10 = -0*w + 5*p, -4*w + 26 = -5*p. Suppose 0 = 4*t - 0 + 4. Let v = w - t. Is v a multiple of 3?
False
Suppose 6*f + 4*w = 4*f + 112, f + 5*w = 53. Does 29 divide f?
True
Suppose 5*o - 59 = 171. Does 23 divide o?
True
Let p(s) = s**2 - s - 2. Suppose 2*l - 18 = 4*a, l + 6 = -a - 0*a. Let d be (-22)/a - (-6)/(-15). Is p(d) a multiple of 4?
False
Let w(x) = 2*x**2. Let f be w(-1). Is 6 a factor of (-1)/2*(f + -26)?
True
Let j(f) = -f**3 + 5*f**2 + 6*f + 3. Let o be j(6). Suppose -6 = -6*g + o*g. Suppose p + 20 = g*p. Is p a multiple of 10?
True
Let p be (-3)/1 + 1/(-1). Does 24 divide p + 0 + 4 + 24?
True
Is 14 a factor of (4 - 6)/((-1)/20)?
False
Suppose 9 + 0 = 3*i. Let l = -3 + i. Suppose l = -q + 10 + 14. Is q a multiple of 12?
True
Suppose 0 = 4*b + d + 18, -3*d + 11 = 4*b - 5*b. Let r be b*(-3)/(3 + 12). Is 1*-3 - (r + -17) a multiple of 8?
False
Suppose 5*v - 5 = h, -h = v + 4*h + 25. Suppose -m - 3*q = -5*q - 16, 0 = -m - q + 1. Suppose m = t - v. Does 3 divide t?
True
Is 1/(1 - -1) + (-34)/(-4) even?
False
Let f = 222 + -109. Let p be f/3 + 8/(-12). Suppose 4*y = 141 - p. Is 13 a factor of y?
True
Let d(k) = k**2 + 8*k + 10. Let o be d(-7). Let x(j) = -j**2 + j**o - 6*j**2 + j - 6*j + 12. Is x(8) a multiple of 16?
False
Let p be 21/(-28) - 3/(-4). Let v be (-2 + 1)*11 + -1. Let y = p - v. Does 4 divide y?
True
Let w = -31 + 151. Does 24 divide w?
True
Let g(p) = p - 12. Let z be g(6). Let t be 68*2/(-2 - z). Suppose 0 = 2*y + 8, t = m - 0*y - 5*y. Does 5 divide m?
False
Let j(s) be the third derivative of s**5/60 + 5*s**4/12 + s**3/3 + 4*s**2. Let p be j(-10). Suppose -3*q = -12, q - p*q = 4*x - 160. Is 13 a factor of x?
True
Let m(a) = 37*a - 3. Let n(s) = -38*s + 3. Let o(r) = 3*m(r) + 4*n(r). Is 10 a factor of o(-1)?
False
Suppose -5*d = -25, -4*y - y = -3*d - 140. Is 8 a factor of y?
False
Suppose -6 = 4*q - 5*f - 87, -4*q + 2*f + 66 = 0. Does 14 divide q?
True
Suppose -i - 13 = -2*i. Is i a multiple of 13?
True
Let r(u) = 5*u**2 - 2*u - 1. Let d be r(-2). Suppose b + 2*i - d = 0, 0 = -4*b - 0*i - 5*i + 77. Is b a multiple of 13?
True
Suppose -2*s - t = -11, -2*s + t = -2*t + 9. Suppose -2*o - s = v - 0*o, 3*v = 3*o - 9. Does 3 divide (-4 - v - -9) + 3?
False
Let a = -34 + 37. Is a even?
False
Suppose -2 = n - 1. Let t be -3 - n - (-4 + 2). Suppose 2*u - 2*b - 40 = t, -5*b - 5 + 13 = u. Is u a multiple of 10?
False
Let x(a) = -3*a**2 - 2*a + 5*a**2 - 3*a**2. Let v be x(-2). Suppose -2*j - 2*c + 34 = v, 4*c = 3*j + j - 36. Is j a multiple of 5?
False
Let f = 283 + -160. Is f a multiple of 35?
False
Suppose 2*x - 7*x + 3*v - 244 = 0, -35 = x + 4*v. Let c = -21 - x. Let q = 52 - c. Is 13 a factor of q?
True
Let w(a) = 5*a**2 - a + 1. Let z = 2 + 1. Is w(z) a multiple of 20?
False
Suppose 178 = 2*r - 3*m, -3*r - 4*m + 300 = 50. Is r a multiple of 9?
False
Let y(j) = -3*j**2 - 2*j - 1. Let l be y(-1). Let a be l/7 + 37/7. Suppose -z - 24 = -4*f + 28, -a*f + 5*z + 80 = 0. Does 5 divide f?
False
Let y = 33 - -108. Is 47 a factor of y?
True
Let b(i) = 6*i + 3 - 4 - 5*i. Let u be b(4). Suppose -f + 9 = 2*w, 3*w - 4*w - 13 = -u*f. Is 3 a factor of f?
False
Suppose c - 28 + 2 = -4*x, 4*x - 114 = -5*c. Is 8 a factor of (10 - c)/((-3)/4)?
True
Let g = 5 - 3. Let n = -2 + g. Suppose n = 2*l - 45 - 47. Is 21 a factor of l?
False
Let l(i) = -4 + 3*i**2 - i**2 + 12*i - 3*i**2. Let x be (-3)/(-2)*(-10)/(-3). Does 15 divide l(x)?
False
Is (1/3)/(2/30) a multiple of 2?
False
Let v(q) = -q**2 - 15*q - 5. Is v(-10) a multiple of 15?
True
Let k(g) = 2*g + 34. Is 7 a factor of k(0)?
False
Is 14 a factor of 2/(-5) - (-4424)/35?
True
Let f = 24 - 34. Let t be 2/f - (-104)/20. Suppose -1 = n + t*m - 9, 2*n - 42 = 3*m. Is 9 a factor of n?
True
Suppose -2*k + 7 = -39. Is k a multiple of 6?
False
Suppose -3*b - b - 28 = 0. Let t = b + 16. Is 5 a factor of t?
False
Suppose 0 = 3*a - 4*d - 43, 3*d - 13 = -3*a + 2. Is 11 a factor of -2*1 + 4 + a?
True
Suppose -n = -2*h + 4*h - 69, 5*n = 2*h + 285. Let s = 93 - n. Is 17 a factor of s?
True
Let a = -4 - -8. Let y = -2 + a. Suppose 3*n + y*z - 6 = 2, 5*z + 7 = -3*n. Does 5 divide n?
False
Suppose 5 + 0 = k. Let p = k + 5. Is 5 a factor of p?
True
Suppose -i + f = 6*f - 10, i + 6 = 3*f. Suppose 3*g + i*g = 6. Is (9/(-12))/(g/(-48)) a multiple of 9?
True
Let u(h) = 3*h**3 - 4*h**2 - 8*h + 11. Let o(y) = 5*y**3 - 9*y**2 - 16*y + 21. Let q(a) = 4*o(a) - 7*u(a). Is 11 a factor of q(-7)?
False
Let c(k) = -k**3 + 15*k**2 - 12*k - 20. Does 8 divide c(14)?
True
Let s be (6/(-4))/(3/76). Let k = 53 + s. Is 15 a factor of k?
True
Suppose -i = 3*i - 12. Suppose -6 = i*j - 33. Suppose -47 = -2*d + j. Is 14 a factor of d?
True
Let q be (-68)/(-28) - (-9)/(-21). Suppose -q*k - 2*u = -0*u - 52, 2*u = -5*k + 142. Does 10 divide k?
True
Suppose -2*p = p + 51. Let l = p - -23. Is l a multiple of 2?
True
Suppose 0 = 2*a - 5 - 3. Suppose 83 = -a*g + 323. Does 8 divide (3/(-6))/((-2)/g)?
False
Suppose -4*s + 2*s = 8. Let h be s*27/6 + 1. Let k = 7 - h. Does 12 divide k?
True
Suppose h = -h + 4. Is (-83)/(-4) + h/8 a multiple of 7?
True
Suppose 5*c = -4*j + 150 - 5, j - 25 = c. Is j a multiple of 3?
True
Suppose -6*s + 4*s = -2. Let b = s - 67. Is 141/11 + (-12)/b a multiple of 13?
True
Suppose -2*u + 5*i + 32 = 0, -i = 4*u - 5 - 81. Is 10 a factor of u?
False
Let c = -1 + -2. Let g be (-1)/2*(c - -3). Suppose 3*l + 4*p - 37 = g, 5*l - 2*p = l + 20. Does 3 divide l?
False
Let t(u) = -2*u**2 + u + 2. Let o be t(2). Let b be (-6)/(o - -3) - 3. Let y = b - -11. Does 7 divide y?
True
Let m be 5 + (-1)/(0 + -1). Is 12 a factor of (-2)/4*-8*m?
True
Let g be (-5)/(-10)*(5 + -1). Suppose g*y - 66 = -y. Is 6 a factor of y?
False
Let o(v) = -3*v**4 - 6*v**3 - 5*v + 7. Let f(q) = q**4 + q**3 + q - 1. Let x(g) = 6*f(g) + o(g). Let n(u) be the first derivative of x(u). Does 13 divide n(1)?
True
Let l = 1 + 214. Suppose -3*p - x + l = 0, -3*p - 2*p - 4*x = -370. Is 17 a factor of p?
False
Let u(h) = 11*h + 1. Let b be u(3). Let w = b - 19. Does 6 divide w?
False
Let x(n) = 6*n + 3. Let k(g) = 7*g + 4. Let m(v) = 4*k(v) - 5*x(v). Let y be m(-7). Suppose 2*c - y - 29 = 0. Is c a multiple of 11?
True
Let p(n) = 2*n**2 - 4*n - 16. Is 20 a factor of p(-5)?
False
Suppose 2*f + f - 234 = -2*z, -9 = -3*z. Suppose 4*r - 3*s - f = -0*r, 0 = -5*s. Suppose 0 = v - 4*g - r, v - 7 - 4 = -4*g. Is 5 a factor of v?
True
Let q(o) be the first derivative of o**3/3 + o**2 + 8*o - 9. Is 15 a factor of q(7)?
False
Let r = -7 - -7. Suppose 3*d - 5*d + 88 = r. Is 22 a factor of d?
True
Let q be 22/6 - (-4)/(-6). Is (99/(-22))/(q/(-32)) a multiple of 11?
False
Suppose -2*b - 55 = -7*b + 5*c, -2*c = -4*b + 48. Let i = 13 + b. Is i a multiple of 7?
False
Suppose 190 = w - 3*p, -2*w + 2*p - 570 = -5*w. Is 10 a factor of w?
True
Suppose -5*j + 253 = -2*q, -4*j + 5*j + 5*q = 29. Is 7 a factor of j?
True
Suppose 92 = 2*t - l - 49, 0 = -5*t + 4*l + 351. Does 20 divide t?
False
Does 7 divide 0 - (-9)/(9/44)?
False
Suppose 28 = -x - 4*t - t, -20 = 5*x + t. Let j(z) = -2*z. Let p be j(x). Suppose 4*w = -6 - p, g - w = 12. Is 4 a factor of g?
False
Suppose 4*c - 24 = 4*p, 5*c - 23 = 2. Does 15 divide (-2)/p*142/4?
False
Let j = 180 + -90. Is j a multiple of 15?
True
Let u(p) = p**3 - 7*p**2 + 7*p + 6. Let a = -9 - -15. Let d be u(a). Suppose -r - 163 = -5*r - 3*j, r - d = 5*j. Is r a multiple of 15?
False
Let x(d) = -2*d + 26. Is x(-8) a multiple of 13?
False
Let y(z) = z - 3. Let v be y(5). Let f be (-2)/(-3)*(1 + 2). Suppose f*s + 6 = v*q + 20, 5*q = -15. Is s a multiple of 4?
True
Suppose 3*u = -0*u. Is 20 a factor of 40 - (1 + -1 + u)?
True
Suppose -2 = -4*h + 3*h. Let y be 4/((-16)/(-30))*h. Does 3 divide y*(2 - 24/15)?
True
Let w(g) = -2*g + 5. Is w(-11) a multiple of 9?
True
Suppose -237 = 6*r - 963. Does 11 divide r?
True
Let b be 2*((-15)/(-6) + 0). Let m(t) = t**3 - 5*t**2 - t + 7. Let q be m(b). Let g = 9 + q. Does 11 divide g?
True
Let d(l) be the second derivative of -9*l**5/10 - l**4/12 + l**2/2 - 2*l. Let h be d(-1). Let g = 0 + h. Is g a multiple of 12?
False
Suppose -17*b + 87 = -14*b. Is 8 a factor of b?
False
Let f be 4 + (-5)/((-5)/(-2)). Let w be f/(-1)*(-25)/10. Suppose w*z = -3*b + 66, b = -5