84 = -x*b - 300. Let w = 93 + b. Is w a multiple of 13?
True
Let m = -5 - -9. Suppose -20 = m*z + z. Does 11 divide 32 + 4 + (-7 - z)?
True
Does 9 divide (-103)/(((-171)/(-81))/(-19))?
True
Let a(w) = w**3 - 32*w**2 - 23*w - 98. Is 29 a factor of a(33)?
True
Let c = 8 - 16. Let k(h) = h**2 - 6*h + 7. Is 15 a factor of k(c)?
False
Let v(x) = -x**3 - x**2 + x + 20. Suppose 3*w = -3 + 9. Let p = w + -2. Does 18 divide v(p)?
False
Suppose -74*c + 64*c + 150 = 0. Let z(g) = -g**3 + g**2 + g + 2. Let q be z(0). Suppose -c + 5 = -q*y. Is y a multiple of 5?
True
Let k(a) be the second derivative of -a**3/6 - 11*a**2 + 6*a. Let o be k(0). Let z = 45 + o. Is 9 a factor of z?
False
Let d be (-15)/(-60) - 305/4. Let j = d - -117. Does 6 divide j?
False
Let d(h) = h**2 - 2*h - 26. Does 33 divide d(-17)?
True
Suppose 7356 = 226*z - 214*z. Is z a multiple of 93?
False
Let v = -122 + 305. Is v a multiple of 8?
False
Is 929 - (-10)/12*-6 a multiple of 33?
True
Let h(k) = 6 - 14*k - 24*k + 40*k. Suppose 12 = 2*r + 2*r. Is h(r) a multiple of 3?
True
Let v(b) = -b**3 + 3*b**2 - 2*b + 6. Let f be v(3). Let o be -2 + 1 - (f + -4). Let x(p) = 19*p - 1. Is x(o) a multiple of 28?
True
Suppose -4*d + 85 - 21 = 5*t, 10 = 2*d - 3*t. Suppose d*q - 6*q - 635 = 0. Is 22 a factor of q?
False
Let g be (-82)/(-10) + (-2)/10. Let q = -3 + g. Suppose -4*w + 34 = -3*u + q*u, 4*u = -2*w + 38. Is 2 a factor of u?
False
Let v be 375/2*(0 - -2). Suppose 0 = 3*k + 3*p - 75 - v, 0 = -2*k + 3*p + 285. Does 41 divide k?
False
Does 22 divide 2 + -2 + 2 + 1670?
True
Let s(v) = -v**2 + 12*v - 15. Let c be s(10). Suppose -23 = -5*g - x + 31, 30 = 5*g - c*x. Suppose 6 = -9*q + g*q. Is q a multiple of 2?
True
Suppose 5*r + y = 39, 2 = 4*r + 3*y - 27. Suppose 0 = n - j - 13, 5*n + 3*j - 49 = r. Is 4 a factor of n?
True
Suppose -7*n - 719 - 331 = 0. Let c = n - -336. Does 31 divide c?
True
Let g(n) = -16*n**2 + 20*n - 6. Let f be g(5). Let t = -170 - f. Is t a multiple of 8?
True
Does 3 divide ((-2)/(-5))/(6*(-4)/(-1200))?
False
Is 17 a factor of (-367634)/(-658) - (-4)/14?
False
Let b(q) = q**2 + 7*q + 2. Let k be b(-5). Is 16*((-12)/k + 2) a multiple of 14?
True
Let t(b) = b**2 + 16*b + 24. Let o be t(-16). Let w = o - 22. Is w a multiple of 2?
True
Suppose 209 = 12*z - 487. Let h be 0 - (-1)/((-2)/(-8)). Suppose -242 = -h*d - d - 4*p, d + 4*p = z. Is 14 a factor of d?
False
Let j(c) = -14*c**2 + 9*c + 8. Let u(l) = -29*l**2 + 17*l + 15. Let w(k) = 11*j(k) - 6*u(k). Is w(-1) a multiple of 3?
True
Let p(x) = x**3 - 13*x**2 + 11*x - 17. Let n be p(7). Let z = 409 + n. Is 25 a factor of z?
True
Let q be ((-255)/2)/((-5)/10). Suppose 3*z + 275 = 8*z + w, -5*z = -3*w - q. Is z a multiple of 18?
True
Suppose v + 4*x = 2*v - 22, -3*x = 15. Suppose -3*i - v*i - 4*f + 46 = 0, 4*i + 5*f - 44 = 0. Suppose 25 = i*k - k. Does 4 divide k?
False
Let k(c) = 20*c**3 - 16*c**2 + 2*c + 7. Let u(q) = 7*q**3 - 5*q**2 + q + 2. Let o(s) = -6*k(s) + 17*u(s). Suppose 0 = 6*l - 2*l - 44. Does 10 divide o(l)?
False
Let s = -72 + 132. Let z = s - 46. Is 3 a factor of z?
False
Let t = -242 + 377. Is t a multiple of 15?
True
Let l(x) = x**3 + 10*x**2 + x + 12. Let f be l(-10). Let d(j) = j + 1. Does 3 divide d(f)?
True
Suppose -15*b + 6072 = -7*b. Is 69 a factor of b?
True
Let s(l) = l**3 - l**2 + l + 45. Let f be s(0). Suppose -f - 57 = -3*a. Does 6 divide a?
False
Let w(q) = 3*q**2 - 52*q + 52. Does 60 divide w(22)?
True
Suppose 15*n - 18*n = -8304. Is (-4)/((-32)/(-12))*n/(-12) a multiple of 56?
False
Suppose 3*h = h - 5*p + 14, -4*h = 4*p - 4. Does 37 divide 222*h/30*-5?
True
Suppose 887 = 2*b + 2*j - 327, 2446 = 4*b - 5*j. Is b a multiple of 29?
True
Suppose 2899 = 7*q - 1791. Suppose 4*a - 4*h - 421 - 147 = 0, -5*a - 5*h + q = 0. Does 10 divide a?
False
Suppose 0 = -i + 16. Suppose -i*s + 18*s - 64 = 0. Suppose 2*q + 3*c = 3 + 66, q + 4*c - s = 0. Is 15 a factor of q?
False
Let n(p) = -11*p**3 + 4*p**2 - 6. Let t be n(-2). Let o = t - -78. Is 31 a factor of o?
False
Suppose 8*i + 351 = 47*i. Is 4 a factor of i?
False
Let w(k) = -k**2 + 3*k - 1. Let u be w(3). Let d = 12 + u. Let i = d - -5. Does 16 divide i?
True
Let h(c) = c**3 + 12*c**2 + 14*c + 4. Let s be h(-10). Let g(m) = 125*m - 1. Let y be g(1). Let j = y - s. Is 15 a factor of j?
True
Let v(t) = -2*t - 5. Let r be v(-5). Let u = 82 - 49. Suppose -r*a + 153 = u. Does 24 divide a?
True
Let q(m) be the second derivative of m**4/4 - m**3 + 7*m**2/2 - 12*m. Let k be q(5). Suppose -4*p = -v - 3*v + k, 3*v + 5*p = 7. Does 2 divide v?
False
Let u = 9 - 4. Let n = -3 - -3. Suppose c - 3*d = u*c - 160, 3*c - 5*d - 120 = n. Does 7 divide c?
False
Let t(z) be the first derivative of z**2/2 - 4*z + 2. Let m be t(3). Does 13 divide (9/(-6))/(m/52)?
True
Suppose s - 1 = 2. Suppose 0 = 3*w - s - 174. Is 29 a factor of w?
False
Suppose -358*v + 345*v + 53872 = 0. Does 56 divide v?
True
Suppose 3*v = 3*b - 150 - 39, 0 = 5*b + v - 345. Is b a multiple of 15?
False
Suppose 0 = -3*u - g + 425, 4*u - 4*g = -7*g + 575. Is 14 a factor of u?
True
Let t = 43 - -92. Suppose 3*g - 175 = -4*x + t, 10 = -5*g. Suppose 26 = 5*v - x. Does 4 divide v?
False
Let a(r) = -r**3 + 13*r**2 - 2*r - 9. Let w be a(13). Let b = w + 53. Is 4 a factor of b?
False
Let j = 945 + -560. Is 44 a factor of j?
False
Let z(o) = -o**3 - 4*o**2 - 11. Let d be z(-5). Suppose 3*m = -d + 2. Let g(v) = -3*v - 5. Is g(m) even?
False
Suppose -3*m - 5*v + 1351 = 0, -3*m + 0*v = -2*v - 1316. Is 26 a factor of m?
True
Suppose -p + 287 = -17. Is p a multiple of 19?
True
Suppose -498 + 2312 = 4*l + 2*a, 0 = -l + 3*a + 464. Suppose -l = -10*c - 3*c. Does 5 divide c?
True
Suppose 0 = -3*c + 5*y - 1, -6*c - 5*y = -2*c - 57. Let x(f) = f - 5 + 0 + 3*f. Is 5 a factor of x(c)?
False
Suppose -26*i + 19183 = -6557. Is i a multiple of 90?
True
Suppose -23*r + 85590 = 22*r. Is r a multiple of 67?
False
Let y(q) = q**3 - q**2 + q - 40. Let f be y(0). Suppose 7*r + 14 - 140 = 0. Does 6 divide (f/(-12))/(4/r)?
False
Let l(h) = 12*h - 44. Let y(g) = g**3 - 2*g + 3. Let m be y(2). Is 10 a factor of l(m)?
True
Let c be (4/(-14) + 10512/(-56))/(-2). Let z = 9 + -5. Suppose -c = -z*v + 66. Does 20 divide v?
True
Suppose -3*f + 12 = 0, 95 = p + 3*f + 19. Let a = p - -31. Does 14 divide a?
False
Let g(c) be the first derivative of -c**4/4 - 8*c**3/3 - 15*c**2/2 - 3*c + 23. Is 4 a factor of g(-6)?
False
Is 678 - (-15)/((-165)/77) a multiple of 24?
False
Let n(x) = -6*x + 138. Does 20 divide n(3)?
True
Suppose -1 - 23 = -3*n. Suppose n*h - 5*g + 5 = 3*h, 2*h - 4 = 5*g. Does 13 divide 46 - ((0 - -3) + h)?
False
Suppose -4*h - 4*v - 160 = 0, 2*h - 3*v = -2*h - 181. Let u = 7 - h. Is 27 a factor of u?
False
Let l(p) = -5*p - 18. Let i be (-858)/44*2/3. Does 17 divide l(i)?
False
Suppose 22 - 7 = s. Suppose 2*v + w - 5*w + 30 = 0, -v - s = -5*w. Let p(y) = -y**3 - 14*y**2 + 13*y. Does 15 divide p(v)?
True
Let v = -470 + 527. Is 3 a factor of v?
True
Suppose 0 = -28*p + 8*p + 10980. Does 72 divide p?
False
Let k be 12/(-15)*10/(-4). Does 8 divide ((-1)/k - 1)*(-360)/27?
False
Suppose k = 3*k - 8. Suppose 0 = 5*o + 2*g - 21, 5*g - 3 - 7 = -k*o. Does 17 divide (-119)/(-28)*(o - 1)?
True
Let u = -99 + 64. Let o = u + 123. Suppose 3*p = 4*s - o, -s + 4*p = -33 + 11. Is 8 a factor of s?
False
Let i = -78 - -82. Let z = -1 - 3. Does 9 divide 11 - z/(i/(-2))?
True
Suppose -98 = 261*t - 262*t. Is 14 a factor of t?
True
Let j = 2 + -8. Is 6/(4 - (-20)/j) a multiple of 3?
True
Suppose -5*s - s = -24. Let z(k) = 2*k**2 - k + 12. Is 10 a factor of z(s)?
True
Let m(g) = -g**3 + 12*g**2 + 6*g - 23. Suppose 8 = 2*o + 4*x, -x = 2*o - 5*x - 40. Is m(o) a multiple of 7?
True
Let z(h) = 190*h**2 + h - 2. Is z(2) a multiple of 76?
True
Let v = 38 + -18. Let a = -2 + v. Is 6 a factor of a?
True
Let a(h) = -101*h + 281. Does 11 divide a(-5)?
False
Let p(z) = 83*z**2 + z - 8. Is 56 a factor of p(5)?
True
Suppose 0 = -n + 11. Suppose -4*g - 5*y = -3, -2*y + 3*y + n = 5*g. Suppose -2*l - 42 = -2*k - 2*k, -l = g*k - 27. Is 6 a factor of k?
True
Suppose 2*j + 1321 = -5*w + 5*j, -w = 2*j + 259. Let t = w - -509. Is 14 a factor of t?
False
Let k(g) = g**3 + 8*g**2 + 8*g + 10. Let y be k(-7). Suppose 9 + 6 = y*n. Suppose 110 = n*z + f - 6*f, -z + 20 = -2*f. Is 24 a factor of