. Does 32 divide n?
False
Suppose -p = 3*p. Let x = p + 12. Does 10 divide x?
False
Let b(k) = 167*k + 7. Is b(1) a multiple of 21?
False
Let w(q) = -2*q**2 + 23*q - 13. Is 4 a factor of w(10)?
False
Suppose -3*s - 3 - 4 = 2*w, 1 = -w + s. Let q be (-1)/(0 - 1/w). Does 5 divide q/(-9)*-3*-12?
False
Let c(s) = s**2 - 5*s - 3. Let v be -1 - -1 - (-6 - 2). Let m be c(v). Suppose -2*p + m = p. Is 7 a factor of p?
True
Suppose 67 + 278 = 5*m. Is 23 a factor of m?
True
Let r(n) = -25*n**2 + n + 4. Suppose -4*w - 5 = -1. Let k(q) = -q**2 + 1. Let m(j) = w*r(j) + 4*k(j). Is m(-1) a multiple of 11?
True
Suppose -72 + 13 = -b. Does 8 divide b?
False
Let i(s) = -s**2 + s + 2. Let c be i(0). Suppose -c*k - 16 - 3 = 5*j, 3*j + 30 = 5*k. Suppose -5*n + 26 = -k*n. Does 13 divide n?
True
Let n be (-252)/(-10) + 1/(-5). Let g be (-1)/(-5) + 95/n. Suppose 4*c + 0 = d + 12, 4*c - 5*d = -g. Is c even?
True
Does 18 divide (3*12)/(-2)*(12 + -13)?
True
Suppose 6 = -2*p + 2. Let z = -5 - p. Is (-2)/(-3) - 61/z a multiple of 11?
False
Let m(w) be the third derivative of w**6/120 - w**5/5 - 3*w**4/8 - 5*w**3/3 + 2*w**2. Is 20 a factor of m(13)?
False
Is 56/(-2 - (-45)/20) a multiple of 15?
False
Let b be 13/(-5) + (-6)/15. Let c be b - (3 + (-4 - -2)). Does 4 divide (c/(-5))/(1/5)?
True
Let m be (-144)/(-2)*64/(-12). Is 6/15 - m/15 a multiple of 13?
True
Let j be 363/(-9) + 2/6. Let f = -22 - j. Is (f - 1) + (4 - 6) a multiple of 15?
True
Let i be (4/(-2))/(-2) - -1. Suppose 10 = -r - 3*n, 31 = i*r - 5*n - 4. Does 3 divide r?
False
Let o(h) = h**3 - 4*h**2 - 2*h + 3. Is o(5) a multiple of 6?
True
Does 6 divide -2*(0 - (-77)/(-2))?
False
Let f = 67 + -48. Let d = 33 - f. Suppose -n + k = n - d, 3*n - 5*k - 21 = 0. Does 5 divide n?
False
Let l = -26 - -70. Does 11 divide l?
True
Suppose -28 - 16 = -x. Is x a multiple of 44?
True
Let x(v) = -v - 6. Let u be x(0). Let k be u/(-15) + (-56)/(-10). Suppose b - k = 18. Is 18 a factor of b?
False
Is ((-5)/10)/(-1 + 537/540) a multiple of 18?
True
Let a(m) = 6*m - 50. Does 12 divide a(13)?
False
Let i = -2 + 0. Let c be ((-2)/(-3))/(i/3). Does 7 divide (19 - 2)*(-1)/c?
False
Let s(u) be the second derivative of -u**3/6 - 9*u**2/2 - u. Is s(-11) a multiple of 2?
True
Suppose -l = -2*l + 5. Suppose 170 - 20 = l*a. Does 10 divide a?
True
Let u(a) = 72*a - 12. Let w(j) = 18*j - 3. Let k(v) = -2*u(v) + 9*w(v). Is 13 a factor of k(2)?
False
Suppose -u = 2*i - 62, 2*u + 2*i + 3*i - 125 = 0. Is u a multiple of 30?
True
Suppose 2*o - 7*o = -320. Does 16 divide o?
True
Let f(j) = 20*j. Is f(1) a multiple of 6?
False
Let d(j) be the third derivative of -7*j**4/24 - 4*j**3/3 + 2*j**2. Does 19 divide d(-9)?
False
Let n(k) = -k**2 + 7*k - 3. Suppose 3*b = 5*g - 9, -3*g + 3 = -b - 2*b. Suppose 3*i = j + 1 - 0, 5*j = g*i + 19. Does 7 divide n(j)?
True
Suppose -x + 4*x - 240 = 0. Does 12 divide x?
False
Let y = 3 + -1. Suppose y*f - 36 = f. Does 13 divide f?
False
Let n be (-3)/15 - 2/(-10). Let c(u) = u**3 + 10*u**2 + 7*u - 12. Let a be c(-9). Suppose n = x - a. Is 3 a factor of x?
True
Suppose 3*m - 4*j - 68 = 190, 2*m + j - 161 = 0. Suppose u - m = 5*h, 3*h - u + 44 = -3*u. Is 15 a factor of (h/(-6))/((-4)/(-42))?
False
Suppose -2*h - 150 = -4*a - 46, 5*h + 302 = -4*a. Let z(f) = 2*f + 5. Let i be z(-3). Does 7 divide h/(-4) + i/2?
True
Suppose -3*v - 507 = -5*o + 83, 2*v = 3*o - 354. Is 9 a factor of o?
False
Does 17 divide -353*7/(-49) + (-4)/(-7)?
True
Let r(v) = v**2 - 14*v - 6. Does 5 divide r(15)?
False
Let w be 14*(5 - (-2)/(-2)). Suppose 0 = -2*t - l + 220, t + l = 54 + w. Suppose -4*c = 18 - t. Is c a multiple of 23?
True
Let t(n) = -n**3 - 6*n**2 - 3*n + 1. Let h be t(-6). Let p = h + -14. Is p even?
False
Suppose -i - 4 = -3*i. Let b(a) = a - 2. Let d be b(i). Suppose 0 = 5*q - 2*w - 26, 3*q - 6 = -2*w - d. Is q a multiple of 4?
True
Suppose 4*q - 4*k = 620, -2*q + 12 + 333 = 5*k. Does 32 divide q?
True
Let g = -23 - -25. Suppose -g*x + x = -10. Does 3 divide x?
False
Let i(g) = g**3 + 5*g**2 + g - 7. Let a be i(-5). Suppose 4*u + 14 = 86. Let x = u + a. Does 3 divide x?
True
Let z = 5 - 6. Let p(n) = -9*n + 1. Is p(z) a multiple of 3?
False
Let h(j) = j**3 + 10*j**2 - 12*j - 19. Let b be h(-11). Let c(m) = 3 + m - 6*m + 2*m. Is 27 a factor of c(b)?
True
Let r = -100 + 161. Suppose -5 + r = 2*x. Does 21 divide 9/6*x/2?
True
Let k(i) = 15*i**3 - 4*i**2 + 4. Is k(2) a multiple of 11?
False
Let x(m) = -m**2 + 8*m - 7. Suppose -5*c - 3 = -33. Let q be x(c). Suppose 74 = -2*u + 4*u + 5*l, q*l = 0. Is 15 a factor of u?
False
Let q(w) be the second derivative of w**3/6 - 2*w**2 - w. Let s be q(6). Suppose 4*b - 30 = -s*o, -2*o = 2*o - 4*b - 60. Does 5 divide o?
True
Let t = 54 - 3. Is t a multiple of 18?
False
Suppose -4*r = -5*j - 132, 3*r = j + 24 - 2. Let f = j - -51. Does 23 divide f?
True
Let g be (-16 - -17) + 5*3. Suppose 0 = -4*h - 2*v + g, -1 + 3 = v. Does 3 divide h?
True
Let r(o) = -o**3 + 8*o**2 - 7*o + 2. Let p be r(7). Does 14 divide ((-156)/9)/(p/(-6))?
False
Suppose 0*o = -3*o + 6, o = -2*d. Let a be ((-1)/3)/(d/3). Let y = 4 + a. Is 3 a factor of y?
False
Let y(q) = -q**2 + q. Let d(g) = -21*g**2 + 7*g. Let n(l) = -d(l) + 6*y(l). Let p be n(-2). Suppose -4*h = -18 - p. Is 16 a factor of h?
False
Suppose 5*r - 5 = -4*i, 5*i + 2*r = 1 + 18. Let s = 29 - 27. Suppose -h - 2*q - 16 = -2*h, -5 = -s*h - i*q. Is h a multiple of 10?
True
Suppose 0 = -0*n - 4*n + 252. Is n a multiple of 11?
False
Let j(q) = q**2 - 6*q + 160. Is j(0) a multiple of 20?
True
Let d = 4 - 4. Suppose d = 5*p - 9*p - 28. Let r(u) = u**3 + 8*u**2 + 6*u + 6. Is r(p) a multiple of 13?
True
Let u(w) = -14*w + 3. Is u(-2) a multiple of 4?
False
Suppose h = -4*i + 7, 2*i - 3*h = i + 18. Does 5 divide i - 6 - 8/(-1)?
True
Let l be 4 + -1 + -1 + 2. Suppose -128 = -5*n + 4*q, -l*n + q + 2 = -96. Is 16 a factor of n?
False
Let u = 5 + -3. Let v be (-3 + 4)*(0 - -1). Let n = u + v. Is n a multiple of 3?
True
Suppose 3*j - 3 = -4*d, 4*d + 0*d = 4*j + 24. Suppose 0 = 2*i - 3*i + d. Suppose 0 = -n + i*n - 52. Is n a multiple of 10?
False
Let x(o) = 11*o - 5*o - 4*o - o**3. Let t(w) = w**2 - 7*w + 7. Let y be t(5). Does 10 divide x(y)?
False
Let s(i) = -3*i**3 - 3*i - 2. Let v(j) = j + 7. Let l be v(-6). Let g = l + -3. Is 14 a factor of s(g)?
True
Let z(h) = 2*h - 6. Let u be z(5). Suppose 4 + 29 = 3*t + u*d, -3*t - 2*d = -33. Is 11 a factor of t?
True
Suppose -4*i - 187 = -1407. Suppose w + 4*w = i. Is w a multiple of 16?
False
Let m be 0/(-2) + 1*90. Suppose 2*v + m = 2*n, 139 = 2*n + n + v. Let g = -33 + n. Is 6 a factor of g?
False
Suppose 0 = 4*x + 2*t - 14, 0 = -3*x + 2*t + 2 + 5. Suppose 2*n = x*n - 14. Is n a multiple of 14?
True
Suppose 0 = 5*x - m - 32, 0*m = 5*x + 2*m - 41. Is 7 a factor of x?
True
Let t = 17 + -12. Let m = 10 - -10. Suppose i = t*i - m. Is i a multiple of 4?
False
Is 112 - (6/4 - 20/(-8)) a multiple of 9?
True
Let b be 2/11 - (-4)/(-22). Let d = b + 3. Suppose -4*l = -4*o - 60, 3*o = -d*l + 4*o + 41. Does 13 divide l?
True
Suppose 0 = -c - 2*c + 6. Suppose 0 = -5*i + 2*i + 57. Suppose i = c*s - 25. Is 7 a factor of s?
False
Suppose 0 = -4*o + 6 - 2. Let t(d) = 31*d - 1. Is 14 a factor of t(o)?
False
Suppose -3*p = -0*b + b - 7, -35 = -3*b + 5*p. Is 10 a factor of b?
True
Suppose 3*w - 5 - 1 = 0. Is 15 a factor of (-10)/((-10)/(-6) - w)?
True
Does 18 divide 2/1 + 282 + -1?
False
Suppose 2 = k - 8. Suppose -3*z = -5*z + k. Suppose -z*b + 3*c + 87 = 0, -b = -4*b - c + 55. Is b a multiple of 16?
False
Let v(i) = -158*i. Let b be v(-1). Suppose -b = -4*n - 2*t, -143 = -4*n + t + 2*t. Is n a multiple of 19?
True
Let s be -1*(-3)/(-9)*3. Let n(v) be the third derivative of -5*v**4/24 + v**3/6 - v**2. Does 6 divide n(s)?
True
Suppose -2*w + 8 = -24. Suppose -5*t + w = -t. Does 2 divide t?
True
Let f be (-12)/(-15)*(-90)/(-4). Does 9 divide (f/(-5))/((-2)/10)?
True
Suppose 3*g - 6*l + 68 = -4*l, -l = 3*g + 65. Let j = -16 - g. Is j a multiple of 6?
True
Let j = -10 - -15. Suppose -2*w - 62 - 62 = -j*d, 34 = d - 5*w. Is 9 a factor of d?
False
Suppose -8*z + 60 = -11*z. Does 11 divide z/(3 + (-17)/5)?
False
Let j be 4 - (-1 + 0 + 2). Suppose -w - 58 = -j*w. Is 20 a factor of w?
False
Suppose 0 = 5*v - 22 - 68. Is 4 a factor of v?
False
Let b be (