 -5*s + 24. Let c = s + 1. Does 2 divide c?
False
Suppose 15*n = -10*n + 16275. Is 93 a factor of n?
True
Suppose 4*z + 4*n - 1352 = 0, -2*z + 2*n + 325 = -367. Does 38 divide z?
True
Is 39 a factor of 18/10*((-310)/(-15) - -1)?
True
Let s(u) = 2*u - 3. Let v be s(3). Suppose 3*j = -4*y - v, -4*j + 1 = 2*y + 15. Suppose y*i - 4*t - 76 = 0, -28 = i - 2*i + 4*t. Is i a multiple of 12?
True
Let k = -146 + 202. Is 35 a factor of k?
False
Let c = -108 - -120. Is c a multiple of 4?
True
Let x(w) = -w**3 + 3*w**2 - 2*w + 1. Let u be x(2). Suppose u - 5 = -q. Suppose -117 = -4*z - o, q*z + 2*o = -o + 111. Does 10 divide z?
True
Let u = 3671 - 1185. Is 22 a factor of u?
True
Suppose 0 = -5*w - 20, 4*l - 7*w = -2*w + 32. Does 15 divide 2 + 58*(-2 + l)?
True
Suppose -45*s + 2822 = -28*s. Does 49 divide s?
False
Let x = 413 + 670. Is x a multiple of 57?
True
Suppose 5*s = -3*m + 19, -3*m - 26 = -5*s + s. Suppose -r = -5*r, g - 4*r - 97 = 0. Suppose -58 = -2*x + s*c - c, 3*x - c = g. Does 13 divide x?
False
Let n = -24 + 29. Suppose -n*p + 10*p - 300 = 0. Is p a multiple of 20?
True
Suppose 0*c = -2*c + 254. Is c a multiple of 11?
False
Let b(z) = -z**3 + 7*z**2 - 3*z - 5. Suppose 0 = 4*k - a - 12, 0*k = -3*k - 5*a + 32. Let s be b(k). Suppose s = 3*t - 2. Is 3 a factor of t?
False
Let x(g) = 5*g - 10. Let a(w) = -5*w + 10. Let m(r) = -2*a(r) - 3*x(r). Suppose -3*o + 15 = -3*i, -4*i - 3*o - 26 = -4*o. Is m(i) a multiple of 21?
False
Let f = 785 + -564. Is 13 a factor of f?
True
Suppose -93 - 159 = -4*z. Is 14 a factor of (-2)/6*-3 + z?
False
Is 46 a factor of 7939/17*(-1 + 2)?
False
Let s(w) = -4*w**3 - 8*w**2 + 8*w + 16. Is s(-5) a multiple of 12?
True
Let o = 12 + -13. Let b be ((19 + o)*-3)/(-2). Let i = b + -16. Is 4 a factor of i?
False
Let j = 805 + -540. Is j a multiple of 53?
True
Suppose -10*k = -167 + 67. Is 10 a factor of k?
True
Let t be 2/5 - (-158)/5. Is 4 a factor of (-12)/3 + t/2?
True
Let u(r) = -5*r + 131. Is 2 a factor of u(17)?
True
Suppose 10*l - 19*l + 18 = 0. Suppose -l*x = -14 - 226. Is 20 a factor of x?
True
Suppose -5*t + 1300 - 260 = 0. Is 14 a factor of t?
False
Let y = 5 + 568. Let p = -373 + y. Suppose -2*v = -5*b - 296 + 104, b = 2*v - p. Is 26 a factor of v?
False
Suppose 5*u + v = 175, 156 - 16 = 4*u - 4*v. Does 3 divide 6/(-21) + 570/u?
False
Is (14 - 5 - 12) + 15*41 a multiple of 18?
True
Let j(u) = u**3 + 3*u**2 - u - 4. Let i be j(4). Suppose 3*g + 32 - 95 = 0. Suppose p + i = 4*q + 4*p, q + 2*p = g. Does 15 divide q?
False
Suppose 0 = 18*i - 20*i + 720. Is i a multiple of 10?
True
Let x(c) = 12*c**2 + 4*c - 81. Is 48 a factor of x(-14)?
False
Let x = 1766 - 1328. Does 25 divide x?
False
Let x(h) be the first derivative of 3*h**4/4 - 2*h**3/3 - 3*h**2 - 3*h - 5. Is x(3) a multiple of 21?
True
Let n be 0 - -2 - (-8 - -12). Let y be (n - -2)/(-3 + 5). Is 23 a factor of 50 + 19 - y/(-2)?
True
Suppose 18*x - 6433 = 14375. Is 14 a factor of x?
False
Let j(l) = 25*l**3 + l**2 - 2*l - 1. Does 14 divide j(2)?
False
Let u(t) = 73*t - 35. Does 20 divide u(7)?
False
Let g(m) = 8*m**3 + 2*m - 1. Let i = -34 + 41. Let v(w) = w**3 - 7*w**2 - w + 8. Let q be v(i). Does 2 divide g(q)?
False
Let r be -3*(-1 - -1 - (-1 - 0)). Does 46 divide 6/r*(-38 + -8)?
True
Does 11 divide (-278)/14*-5 - 44/154?
True
Let j(w) = 7*w**2 - 21*w + 3. Does 11 divide j(-9)?
True
Suppose 3*x + 3*w = 684, -3*x + 3*w = -5*x + 457. Is x a multiple of 32?
False
Suppose 3*d + 3*w - 777 = 0, 3*w + 12 = 6*w. Is d a multiple of 85?
True
Suppose -4*q - 128 = -i + 219, -3*q - i - 262 = 0. Let s be 1*(q - (1 + 1)). Let b = s + 155. Is 17 a factor of b?
False
Suppose 2*a + 4*a = -72. Let x = a - -33. Suppose 5 = -5*z, -59 - x = -2*v + 4*z. Is 27 a factor of v?
False
Let y(o) = -6 - 11 - 9*o + 0. Is 7 a factor of y(-5)?
True
Is ((-5)/(-5))/((-1)/3) + 43 a multiple of 15?
False
Let j(o) be the second derivative of o**4/12 - 2*o**3 - 19*o**2/2 + 7*o. Is j(14) a multiple of 9?
True
Let x(a) = -3*a**3 - 5*a**2 - 2*a + 9. Suppose 3*r + 2*s + 7 - 3 = 0, -4*s = 4*r. Let f be x(r). Let q = -49 + f. Does 20 divide q?
True
Let n = 2 + 102. Let p = n + -58. Is 16 a factor of p?
False
Let k(l) = 38*l - 50. Does 21 divide k(4)?
False
Let s be (-6)/(8/4) - -9. Suppose 6*x = 3*x + v + 9, s = 2*x - 4*v. Does 2 divide x?
False
Let j(l) = l + 4. Let x be j(-2). Let v be -251 - (6 - 4 - x). Let p = -145 - v. Does 18 divide p?
False
Let r = -133 + 2653. Is r a multiple of 105?
True
Let m(g) = g**3 - 8*g**2 + 17*g + 1. Let z be m(4). Suppose 5*n + 30 + 30 = 4*y, 5*n = -z*y + 30. Is 10 a factor of y?
True
Suppose 0 = 4*i + 4*m - 1720, 874 = 2*i + 76*m - 81*m. Is i a multiple of 12?
True
Is 21 a factor of 14/(-28) + (-1461)/(-6)?
False
Let m = 23 + 27. Is 8 a factor of 1024/5 + 1 - (-10)/m?
False
Let a(u) be the first derivative of -5*u**2 + 4*u + 9. Does 24 divide a(-11)?
False
Suppose 0 = -18*f - 2*f + 13320. Is 9 a factor of f?
True
Does 17 divide (27795/(-15))/(4/(-4))?
True
Suppose -f + 1583 = -t - 176, 1784 = f + 4*t. Is f a multiple of 64?
False
Let g = -895 + 1480. Does 15 divide g?
True
Does 18 divide ((-10)/(-50))/(1/2195)?
False
Let f(m) = 41*m + 2. Let n(y) = -40*y - 3. Let u(w) = 4*f(w) + 5*n(w). Is u(-2) a multiple of 9?
False
Suppose 0*g + 5*g = -5. Let p be 34/12 - g/6. Let s = 19 + p. Does 11 divide s?
True
Does 9 divide 9 + 0 - 4592/(-8)?
False
Suppose -4*g + 213 = -235. Suppose 4*a - 5*w - g = 0, -w = -2*a + w + 54. Does 16 divide a?
False
Let w = 28 + -36. Is 8 a factor of w*(-6 + (-2 - 2))?
True
Suppose 3*b - 2*b - 16 = 0. Suppose -2*j = 4*m - 6 - b, m - 9 = -j. Is j a multiple of 3?
False
Let p(d) = d**2 + 12*d - 8. Let t be p(-13). Suppose -5*s = a - 232 - 188, -25 = t*a. Is s a multiple of 17?
True
Does 44 divide 2*2/(-4)*(-15054)/26?
False
Let x = 29 + -17. Suppose -12*q + 8*q + x = 0. Is 17 a factor of 366/6 + -1 + q?
False
Suppose 0 = 2*l - 3*w + 4 + 31, 4*l = -4*w - 20. Is 4 a factor of -3*(16/l)/(60/550)?
True
Let s be 1 - (-3)/(3/1). Suppose -y - 125 = -s*y. Suppose 0 = -0*p - 5*p + y. Does 6 divide p?
False
Suppose -1 = 3*g + 11. Let k(i) = i**2 + 9*i + 34. Is k(g) a multiple of 14?
True
Suppose 2*h = -3*y + 2218, -10*h - 2*y = -11*h + 1123. Is 27 a factor of h?
False
Let t(x) = -x**3 - 6*x**2 + 32*x + 66. Is 17 a factor of t(-13)?
True
Suppose -4*j + 5*j - 5 = 0. Suppose -j*n + 16 = -n. Suppose 6*w = n*w + 48. Is w a multiple of 9?
False
Let f(v) = -v - 2. Let n be f(2). Let p be (-20)/(-8) + (-2)/n. Suppose -5*z = -5, p*z - 47 = l - 3*l. Does 10 divide l?
False
Let f = -10 + 8. Let o be (-5)/(f + 3 - 2). Suppose z = -4*j + 59, -o*j + 182 - 33 = 3*z. Does 20 divide z?
False
Is ((-115)/2)/(16/(-32)) a multiple of 10?
False
Suppose -3*v = -4*g + 6, -2*g = -5*v - 4 - 6. Suppose 2*n + 22 - 92 = g. Does 8 divide n?
False
Let b(l) = -6*l**2 - 14*l - 1. Let z be b(-10). Let r = 789 + z. Does 15 divide r/6 + 5/15?
False
Let a(l) = l**3 - 2*l**2 - l + 13. Let h(w) = 2*w + 36. Let d be h(-18). Does 4 divide a(d)?
False
Let s be 6/21 - (-4)/(-14). Suppose s*u + 16 = 4*u. Does 10 divide (u/10)/(11/1265)?
False
Let f(s) = s**3 - 10*s**2 + 13*s - 4. Suppose 3*d = -4*n + 29, -4*n - 5*d = 11 - 30. Let m be (-202)/(-22) - 2/n. Is f(m) a multiple of 16?
True
Suppose 78 = -36*b + 42*b. Suppose 6*s = -b*s + 1406. Does 35 divide s?
False
Let g(x) be the second derivative of -x**4/12 + 5*x**3/3 - 7*x**2/2 + 12*x. Let j be (1/(-2))/((-2)/28). Is g(j) a multiple of 5?
False
Let s(f) = f**2 - 4*f - 6. Let y be s(5). Let u be 70/(-49)*y*14. Is 54/15*u/8 even?
False
Suppose 3*s - 11 + 2 = 0. Let q = 37 + s. Is q a multiple of 2?
True
Let d(y) = -3*y + 6. Let p(a) = 4*a - 6. Let t(m) = -3*d(m) - 2*p(m). Let n be t(3). Is 12 a factor of (32 - n - -2) + -1?
True
Let z be (-4)/(-20) + (-112)/10. Let i = -9 - z. Suppose d + 134 = 5*p - 3*d, i*p = 5*d + 57. Is p a multiple of 13?
True
Let w(d) = -d**3 - 12*d**2 - 13*d - 15. Let m be w(-11). Suppose 4*h - 280 = 4*o, -68 = -h - 0*h + 2*o. Suppose -33 = -m*l + h. Is 5 a factor of l?
True
Is 114 a factor of (-5432)/(-8 - 0) + 5?
True
Suppose -c = 4*p - 644, -2*p + 5*p + 4*c = 483. Suppose 0 = v - 3*w + 8*w - 35, -4*v + p = -w. Does 5 divide v?
True
Suppose -2*i + 5*m + 794 = 0, -2*i + m + 716 = -94. Suppose -6*f + 115 = -i. Does 25 divide f?
F