). Suppose -j + 3*k + 26 = k, -2*j - 2*k + a = 0. Does 14 divide j?
True
Let v(i) = i**2 + 7*i - 4. Does 5 divide v(-9)?
False
Suppose 2*n + q - 491 = -3*n, -2*n + 4*q + 192 = 0. Does 15 divide n?
False
Let x(j) = -2*j + 0*j - 9*j**3 + j**2 + 2*j. Let a be x(1). Let d = a + 24. Does 6 divide d?
False
Suppose -3*d - 2 - 4 = 0. Is 7 a factor of ((-2)/d)/(4/64)?
False
Let g = 8 + -3. Suppose 4*i - y - 102 = 0, -4*i = -3*i + g*y - 36. Is i a multiple of 26?
True
Let b(d) = -d**2 - 5*d - 12. Let t(w) = -2*w**2 - 9*w - 23. Let k(f) = 11*b(f) - 6*t(f). Is k(0) a multiple of 3?
True
Let a(f) = 6*f**3 + 29*f**2 - 36*f. Let n(o) = -o**3 - 6*o**2 + 7*o. Let v(q) = -2*a(q) - 11*n(q). Does 25 divide v(5)?
True
Let d(o) = o**2 - 4*o - 1. Let z be (10/(-3))/((-2)/3). Let y be d(z). Suppose 0 = r - 23 + y. Is r a multiple of 11?
False
Let v(t) = t**3 + 7*t**2 - 9*t - 4. Let b be v(-8). Suppose 0 = j + b*j. Does 7 divide 24/(-18)*(-15 - j)?
False
Let y = 13 + -8. Suppose k - 7 = -2*l + y, 10 = 2*l. Suppose -3*r = 4*i - 5, -2 = k*r - i + 5*i. Is r a multiple of 5?
False
Suppose 5*a = -3*z + 20, 3*z - a - 16 = -2*a. Suppose 80 = z*q - 10. Is 9 a factor of q?
True
Suppose -4*c = 2 + 6. Let n = c - -7. Is n a multiple of 2?
False
Let a(h) = -h**2 - 1. Let i(f) = 4*f**2 - f + 7. Let x(n) = 3*a(n) + i(n). Let y = 25 - 30. Is 17 a factor of x(y)?
True
Let j(h) = h + 12. Let q(v) = v - 6. Let i be q(0). Is j(i) a multiple of 4?
False
Let a(t) = -7*t - 20. Does 6 divide a(-6)?
False
Let j(a) = 2*a**3 + a**2 + a - 8. Let p be j(6). Does 13 divide p/12 + 1/6?
True
Let k(t) = t**2 - 2*t. Let y be k(2). Suppose y = -2*p + p + 23. Is p a multiple of 22?
False
Suppose -4*u = -10*u + 84. Is u a multiple of 6?
False
Let p = -483 - -703. Does 11 divide p?
True
Let c(h) = -66*h - 2. Suppose 16 = -4*s - 5*z + 2*z, 4*z = -2*s - 18. Is 16 a factor of c(s)?
True
Let z(d) = 19*d**2 + 8*d - 19. Is z(3) a multiple of 12?
False
Suppose 5*f - 164 = 4*f. Let o = f - 110. Is o a multiple of 22?
False
Let n = 256 - 208. Does 8 divide n?
True
Let f(y) = y**2 - 3*y + 2. Let q be f(3). Suppose q = -3*d + 14. Suppose d*t - 42 = 94. Is t a multiple of 17?
True
Let b = -17 - -21. Is b even?
True
Let r(y) = 2*y**2 + 6*y - 17. Does 9 divide r(-6)?
False
Let v(o) = -o**2 + 4*o - 3. Let r be v(3). Suppose -2*j + 84 - 12 = 0. Suppose -8 = 3*p - 5*p, r = -2*y + 2*p + j. Is 11 a factor of y?
True
Let n = 15 + -10. Let y be (-6)/n*(-10)/4. Suppose 0 = 3*g - 2*f + y*f - 25, -5*g - f = -43. Does 7 divide g?
False
Suppose 3*w - 2*v - 89 = 0, 161 = 3*w + 2*w + 3*v. Is 9 a factor of w?
False
Let g be (-5 - 3/(-1))*-1. Suppose 276 = 4*n + g*y, -2*y = 5*n - 247 - 98. Is 27 a factor of n?
False
Suppose -25 = -4*z + 3. Suppose 64 = z*u - 3*u. Is u a multiple of 8?
True
Suppose -2*a + 4 = 2*a + 2*k, -5*a = -4*k - 18. Suppose -a*o + 264 = 5*n - 4*o, 4*n - 213 = o. Is 18 a factor of n?
True
Let j(a) be the first derivative of 7*a**2/2 - 8*a - 7. Suppose 0 = -4*s - 6 + 30. Is 14 a factor of j(s)?
False
Let b(c) = c**2 - 6*c + 7. Let y be b(5). Suppose -t = -y*p - 7, p = t - 3*t - 1. Is (-2)/(-1)*t - -23 a multiple of 7?
False
Does 5 divide ((-21)/6)/(-7) - (-30)/4?
False
Let t(w) = -58*w - 3. Does 17 divide t(-3)?
False
Suppose 0*j - 82 = -2*j. Is 13 a factor of j?
False
Let h(y) = -2*y. Let w be h(-2). Suppose -w*u + 225 = -111. Suppose -u - 12 = -3*n. Is 14 a factor of n?
False
Let j be ((-195)/60)/((-2)/24). Let o be 1/3 + 14/3. Suppose -o*p + 30 + 65 = -5*s, 3*p + 3*s = j. Is p a multiple of 8?
True
Let v(b) = b - 1. Let j be v(1). Suppose 4*t + 0*n = 3*n + 149, -3*n + 3 = j. Does 16 divide t?
False
Let z be (-27)/(-5) - 2/5. Suppose -v + z*v = 16. Suppose v*t - 15 = t. Is t even?
False
Suppose 4*f - 3*b - 1219 = -0*f, 2*f = b + 609. Is 12 a factor of f?
False
Let v be 2 - (5 + 2 + -2). Let y(u) = 0*u + 2*u**2 + 4*u - 2*u**3 - 4*u**2. Does 13 divide y(v)?
False
Suppose -g - 3*p + 16 = -18, -4*g + 4*p + 184 = 0. Does 8 divide g?
False
Let p(t) = t**2 + 11*t - 12. Let l(f) = f**3 + 4*f**2 - 3*f - 2. Let s be l(-5). Let c be p(s). Does 10 divide 7*(4 - 1 - c)?
False
Does 6 divide 9/(-2)*(8 + -4 - 14)?
False
Let r = 1 + 16. Does 9 divide r/(-3)*(-6)/2?
False
Let v be ((-2)/3)/((-4)/30). Suppose -28 = -3*x + 2*r + 2*r, -41 = -v*x + r. Does 11 divide (-12)/x*(-1 + -9)?
False
Suppose 0 = 4*d, 4 = 2*r - 3*d - d. Suppose -2*s = 4*j + r*s - 152, j - 5*s - 62 = 0. Is j a multiple of 20?
False
Let r(x) = 2*x**2 + 4. Let k(n) = -n**2 - 7*n + 4. Let a be k(-7). Is 15 a factor of r(a)?
False
Suppose 128 = -3*f + 4*y + 683, f - 169 = -4*y. Is f a multiple of 24?
False
Suppose 4*i - 23 = -7. Suppose 2*o = -4*h - 110, h - 3*h + i*o = 30. Is 3 a factor of (-2)/(-3) - h/3?
True
Let u = -3 - -5. Is 6 a factor of u + (52/2 - 1)?
False
Let w = -149 - -233. Is 28 a factor of w?
True
Suppose 0 = 4*a + 34 - 166. Suppose -5*b + 184 = 3*z + 19, 4*z = -b + a. Is b a multiple of 33?
True
Let s(l) = -l + 7. Let f be s(5). Suppose f*g - 10 = -3*g. Suppose -x = g*a + 3*a - 137, -4*x + 8 = 0. Does 7 divide a?
False
Let t = -3 + 14. Is 11 a factor of t?
True
Let h = -77 - -101. Is 8 a factor of h?
True
Let m = -31 - -13. Let r = 88 + m. Is r a multiple of 10?
True
Does 13 divide (18/4)/9*78?
True
Suppose -6*c + c + 185 = 0. Suppose 107 + c = 4*a. Is 13 a factor of a?
False
Suppose -8 = 4*c, 0 = -4*v - 7*c + 2*c - 10. Let y = v - -5. Suppose 2*f - 16 - 25 = -3*x, 0 = -f - y*x + 17. Does 11 divide f?
True
Suppose 0 = -5*v - 15, -222 = -5*y + v - 2*v. Is 10 a factor of y?
False
Let u(s) = s**3 - 3*s**2 + 3*s - 3. Let m be u(2). Let q be m*(-2 + 1)*2. Suppose -c - o + 17 = 0, 0 = 4*c - q*o - o - 82. Does 8 divide c?
False
Suppose -5*f + 5 = p, 0 = 2*f + 3*f - 4*p - 30. Suppose i - f*i = -112. Suppose u + i = 5*u. Does 14 divide u?
True
Let o = 37 - 58. Does 18 divide ((-18)/o)/((-1)/(-42))?
True
Suppose 19 + 9 = 2*o. Is o a multiple of 5?
False
Suppose w + 2*x = -0*x + 51, -3*w + x + 118 = 0. Is w a multiple of 3?
False
Let k(l) = -l**3 - 8*l**2 - 7*l + 4. Let b be k(-7). Suppose b*h + 8 = -0*h. Is 2/((-4)/h) - -5 a multiple of 4?
False
Suppose -2*h - 3*j = 2, 5*h = 5*j - 6 + 26. Suppose 2*g - 6 = -h. Suppose 0*b - 36 = -g*b. Is 9 a factor of b?
True
Suppose -3*q - 48 = -2*i, 5*i - 14 - 66 = 5*q. Let j = q + 21. Is j a multiple of 5?
True
Let v be (-4)/(-22) + 2286/11. Let q = -148 + v. Does 20 divide q?
True
Suppose -5*i + 58 + 52 = 0. Is 11 a factor of i?
True
Does 5 divide (1/(-2))/1 - (-339)/6?
False
Let p = 2 + -2. Is 20/(0 - (p - 2)) a multiple of 4?
False
Suppose -4*q + 1 + 7 = 0. Suppose -184 = -q*v + 6*v. Let o = v + 66. Is o a multiple of 10?
True
Suppose -5*u + u + 48 = -3*s, 4*s = -16. Let v be (-14)/(-6) + 6/u. Suppose -7*i + 108 = -v*i. Is i a multiple of 8?
False
Let b = 61 - -33. Does 24 divide b?
False
Let v(k) = 28*k**3 - 1. Let t = 9 - 8. Is 5 a factor of v(t)?
False
Suppose 0 = -d - 7 + 11, -316 = -z - 2*d. Does 9 divide z?
False
Let l(a) = 31*a**2 + 5*a + 2. Is l(-4) a multiple of 16?
False
Let b be 1/(3 + 136/(-46)). Let q = 47 - b. Is 8 a factor of q?
True
Let x(i) = -i**2 + i + 29. Let h = -4 + -6. Let p be (-4)/h - (-10)/(-25). Is x(p) a multiple of 21?
False
Suppose -1 + 2 = y. Let v be (y + -1)/(-5 + 4). Suppose v = 2*u - 5*u + 54. Is u a multiple of 15?
False
Suppose 0 = 5*j - 0*j. Suppose j = -2*d + 6, 2*h - h - 3*d = 31. Is h a multiple of 15?
False
Suppose -3*c - 583 = -2*z, -3*z - 210 = -c - 1074. Is 41 a factor of z?
True
Let w(i) = i**2 + 7*i + 16. Does 6 divide w(-9)?
False
Suppose -5*z + 3*n + 443 = 0, -3*z + 3*n + 293 = 8*n. Does 33 divide z?
False
Is 216/9*1/1 a multiple of 16?
False
Let j(h) = -h**2 - 7*h - 8. Let s be j(-6). Is (-3)/12*s*8 even?
True
Let j(y) = y + 4. Let o be 24/(-14)*21/(-6). Is j(o) a multiple of 5?
True
Suppose 0 = 5*j + 2*s - 351, 0 = -j + 3*j + 2*s - 144. Is j a multiple of 23?
True
Let a = -1 - -7. Suppose 3*y + 24 = a. Does 13 divide 3/(y/26)*-2?
True
Let x = 149 + -84. Is x a multiple of 13?
True
Let s(c) = 2*c**3 - 4 + 10*c + 8*c**2 + 10 - 3*c**3. Is s(9) a multiple of 8?
False
Suppose -2*v - 4 = -4*n + 4, 0 = -4*v + 5*n - 1. Suppose -58 - 12 = -2*p. Suppose 2*r - 7 = -4*s + p, s = r + v. Does 4 divide s?
False
Let b(o) = 31*o. Let t be b(1). Suppose -3*g - 4*a = 68, -2*a + 5*a = 