 = -37 + j. Does 8 divide a?
False
Suppose 53 = x - 14. Is x a multiple of 17?
False
Suppose -13 = 2*x - 5. Is ((-100)/(-15) + 0)*(-66)/x a multiple of 22?
True
Let y = -1 + 3. Let n = 16 - 11. Suppose 0 = 4*r, -v - 73 = -y*v + n*r. Is v a multiple of 19?
False
Is 2530/6 - (-5)/((-15)/2) a multiple of 28?
False
Let c = 24 - -16. Suppose g = -4*r - 3*g + 172, -r = 2*g - c. Is 9 a factor of r?
False
Suppose 5*b + 44 = 2*l, 5*b + 26 = 3*l - 40. Does 33 divide 3 + 2152/l + 20/110?
False
Let p(v) be the second derivative of -v**5/20 - v**4/4 + 2*v**2 + 2*v. Let u be p(-3). Suppose -u*s + 146 = -46. Is 12 a factor of s?
True
Let n(v) = -3*v + 3. Let t be n(4). Let i = -76 + 40. Let j = t - i. Does 21 divide j?
False
Let q(r) = 8*r**2 + 7*r**3 - 3 - 56*r - 2*r**3 - 4*r**3 + 48*r. Is q(-6) a multiple of 29?
False
Suppose 15*l = 22*l - 2079. Does 27 divide l?
True
Let g = -242 + 397. Suppose 2*f + g = 7*f. Does 31 divide f?
True
Suppose -4*k + 2542 + 1218 = 0. Suppose -k = -5*v - 0*v. Let u = v + -96. Is 24 a factor of u?
False
Let b(u) = u**3 + 22*u**2 - 35*u + 4. Does 6 divide b(-23)?
False
Is 39/(-26) - 3945/(-6) a multiple of 18?
False
Does 69 divide (-3933)/(-76)*4/12*40?
True
Let c = -5 - -162. Does 30 divide c?
False
Suppose 61*g = 67*g - 4284. Is g a multiple of 13?
False
Suppose 5*f = -3*q + 2635, -f + 2*q = -114 - 413. Is 24 a factor of f?
False
Let l(p) = 5*p**3 + 17*p**2 - 13*p + 34. Let i(h) = -14*h**3 - 50*h**2 + 39*h - 102. Let o(f) = -4*i(f) - 11*l(f). Is 8 a factor of o(-14)?
False
Suppose -4*i - 1096 = -5*g + g, 2*g - 552 = -2*i. Suppose -5 = -t, -3*q - g + 58 = t. Let r = 161 + q. Is r a multiple of 33?
False
Is 92/6*-6*(-9)/36 even?
False
Let r(j) = 306*j - 51. Is r(3) a multiple of 6?
False
Let t be 1/1*(-5 - -6). Let d be (-1)/t*-18 + -4. Suppose d + 3 = p. Is p a multiple of 9?
False
Let b(k) = -12 + 38 - 4*k - 19. Does 8 divide b(-6)?
False
Let w(m) = -3*m - 10. Suppose -2*s - v - 23 = -0*v, v = -3*s - 33. Let o be w(s). Is 7 a factor of (o/(-3))/((-2)/6)?
False
Let j(i) be the first derivative of -i**2 - 3*i - 1 + 0*i**3 + 1/4*i**4. Does 9 divide j(3)?
True
Let t be (4/5)/((16/(-1880))/(-1)). Let h(z) = z**3 - 7*z**2 - 4*z - 1. Let w be h(4). Let u = w + t. Does 26 divide u?
False
Suppose 4*s + 3*p = -p + 656, -164 = -s - 2*p. Let y = s - 81. Does 30 divide y?
False
Let p(b) = -1 + 7 + 13*b - 5 - b**2. Let m be p(13). Is 10 a factor of 25*(-1 - -2)*m?
False
Let k be (-35)/(-15) - (-2)/3. Is 10 a factor of ((-2)/(-5))/(k/405)?
False
Let o = -1 + 6. Suppose 0 = o*b - 20. Suppose -2*y - 3*y - 4*s = -30, b*y = 4*s + 60. Is y a multiple of 4?
False
Let i(n) = -n**3 - 23*n**2 + 6*n + 7. Let x be i(-22). Is 17 a factor of x/(-9) + 5/15?
True
Suppose -4*u = 0, 18*l + 2*u = 14*l + 1356. Does 19 divide l?
False
Let m = -316 - -416. Is 5 a factor of m?
True
Suppose -484 + 160 = -3*o. Is 18 a factor of o?
True
Suppose -36 = -5*u - 4*u. Suppose 3*i = i + u, 2*i + 836 = 3*q. Is q a multiple of 28?
True
Suppose 4*r + 3519 = 13*r. Is r a multiple of 35?
False
Let u(b) = 7*b + 2. Suppose k + 1 = 3*j - 0*k, -2*k = 3*j - 16. Let w be u(j). Suppose 39 = 2*m + 3*z, -2*m + 13 = z - w. Does 12 divide m?
True
Let a(t) = -t**2 + t - 1. Let h(q) = -6*q**2 + 7*q - 6. Let z(s) = 5*a(s) - h(s). Let c be z(2). Does 12 divide 45 + (3 - c) + -4?
False
Let c(h) = 4*h**3 - 7*h**2 + 40*h - 10. Is 6 a factor of c(4)?
True
Suppose 22*r = 17391 - 2255. Is 11 a factor of r?
False
Let y(t) = -t**2 + 4*t - 2. Let a be y(3). Suppose v - 5 = -a. Is 21 a factor of 7/(-2)*(-24)/v?
True
Suppose -4*k - k - 253 = -p, 0 = 5*p - 5*k - 1165. Does 12 divide p?
True
Let g(k) be the third derivative of k**6/60 + k**5/60 + k**4/24 - 2*k**3/3 - 5*k**2. Let p be g(-3). Is 11 a factor of p/(-1) + 0/2?
False
Suppose -2*h = -4*h + 340. Suppose 4*a + 2*f = 2*a + 86, 4*a = -2*f + h. Suppose l - 23 - a = 0. Does 13 divide l?
True
Let t = -18 + 30. Let w(g) = g**3 - 12*g**2 + 10. Let p be w(t). Is 26 a factor of ((-158)/p)/(1/(-5))?
False
Suppose -225 = -8*r + 359. Suppose -r = -5*j + 112. Does 7 divide j?
False
Suppose -3677 - 569 = -11*z. Is 17 a factor of z?
False
Let k(y) = y**3 + 6*y**2 + 9*y - 2. Let q be k(-3). Does 26 divide (-653)/(-5) + q*3/10?
True
Let x(t) = t**3 - 7*t**2 - 4*t + 8. Let w(y) = y - 6. Let q be w(5). Let l(k) = k**2 - 1. Let v(s) = q*x(s) - 2*l(s). Does 14 divide v(5)?
True
Let c(f) = 6*f**2 + 33*f - 318. Is c(8) a multiple of 6?
True
Let c = -374 - -655. Let m = c - 190. Does 14 divide m?
False
Suppose 591 = 3*g + 5*b, -2*g - 2*b = -3*b - 407. Let w = g + -125. Is 11 a factor of w?
True
Let f = -1255 + 1843. Is f a multiple of 84?
True
Suppose -49*x + 10216 = -10511. Does 47 divide x?
True
Let i(y) = 4*y**3 - 15*y**2 + 16*y - 28. Let h(d) = -d**3 + 4*d**2 - 4*d + 7. Let s(f) = -9*h(f) - 2*i(f). Does 3 divide s(6)?
False
Let l(t) = -t**2 - 6*t - 6. Suppose -5*m + 2*y = -4*m + 6, -5*m + 5*y = 25. Let i be l(m). Does 12 divide 514/14 - i/(-7)?
False
Suppose 8*k - 4*k - 16 = 0. Let g be 104/28 - k/(-14). Suppose r - 4*r + g*s + 7 = 0, 2*r = -2*s + 28. Is 9 a factor of r?
True
Suppose 16*j - 4*t - 7144 = 13*j, j - 2376 = 4*t. Is j a multiple of 8?
True
Does 28 divide 25484/26 - (-21)/((-2730)/20)?
True
Let i(h) = 2*h**2 - 21*h + 4. Suppose -r - 34 = -3*w, -r + 64 = 5*w + r. Is 4 a factor of i(w)?
True
Let r be 4862/15 - ((-20)/(-75))/2. Suppose -g = 5*g - r. Is 6 a factor of g?
True
Let d = 5 - 3. Let x(h) = h**2 - 4 + 3*h + 2*h**2 - d*h**2 + 3*h**2. Is x(3) a multiple of 18?
False
Suppose h - 105 = -5*o + 237, h = -2*o + 327. Does 33 divide h?
False
Let g = -194 + 300. Suppose -5*v = g - 386. Is v a multiple of 26?
False
Suppose -i = -8*i + 203. Does 4 divide i?
False
Suppose -2*r = -2*i + 14, 2 - 6 = 3*i + 2*r. Let c = i + 11. Suppose -5*f + 73 = c. Is 5 a factor of f?
False
Let i(s) = 4*s**3 - 2*s**2 + 2*s - 1. Let c be i(1). Suppose c*t = 5*t - 144. Is 11 a factor of t?
False
Let x = -2405 - -2867. Does 3 divide x?
True
Suppose 17*i + 5282 - 21483 = 0. Suppose -i = -6*n - 269. Is n a multiple of 22?
False
Suppose 3*j = 2*r + 8, -21 = -4*j - 5. Suppose -t + 135 - 28 = -2*l, 218 = r*t - 3*l. Does 23 divide t?
True
Suppose 4*g - a = 8, -a = -3*a. Let j be (-5)/2 + g/(-4). Does 8 divide (2 - 0)*(j + 7)?
True
Let h = 10 + -7. Suppose h*b = -r + b, r + b + 5 = 0. Let v = r - -16. Is 3 a factor of v?
True
Let t(s) = 4*s**2 - s + 11. Let z(w) be the second derivative of 5*w**4/12 - w**3/3 + 6*w**2 - 3*w. Let c(b) = -6*t(b) + 5*z(b). Is c(-4) a multiple of 8?
False
Let q = 1335 - 937. Suppose 0 = 2*t + 4*b - 162, -4*t - 3*b + q = t. Is t a multiple of 12?
False
Suppose -7*v = -138*v + 208683. Is 27 a factor of v?
True
Let n(u) = -u**2 - 5*u - 3. Let l be n(-3). Suppose -81 = -l*t + 60. Suppose -t = -3*o - 14. Does 11 divide o?
True
Suppose -2812 = -4*v + 4*q, 5*q = -4*v + 2*v + 1420. Does 15 divide v?
True
Let x(v) be the first derivative of -3*v**2 + 45*v + 28. Is x(6) a multiple of 9?
True
Let r = -16 + 12. Let z(d) = -d**2 - 5*d - 1. Let s be z(r). Suppose -3*w + k + 80 = -k, -w + 12 = s*k. Does 12 divide w?
True
Let g(c) = -3*c - 2. Let z = 7 - 28. Let h = 17 + z. Is g(h) a multiple of 5?
True
Let x(s) = 14*s**2 - 17*s + 79. Is x(9) a multiple of 41?
False
Suppose -h - 2*h = -51. Is 3/(-1 + -2) + 2 + h a multiple of 7?
False
Let b(t) = -6*t + 20. Let x be (1 - 7) + 3 + -7. Does 20 divide b(x)?
True
Suppose -4*j = -12*j + 336. Let h = 85 - j. Does 6 divide h?
False
Is 10 a factor of 2 - -217 - (-4)/(2 - -2)?
True
Is 3 a factor of (880/14)/(4/14)?
False
Let b(x) = -x**3 + 3*x**2 + 7*x - 5. Let g be b(3). Suppose 5*m - 32 = 48. Is (-4)/m + 356/g a multiple of 11?
True
Let p = 48 + -135. Let o = p - -140. Is o a multiple of 6?
False
Suppose -20*f = -18*f - 4. Suppose 35 = f*a + 3*a. Is a a multiple of 3?
False
Let o(r) = 21*r**2 - 2*r + 1. Let i be o(5). Suppose -23 = -7*d + i. Is 8 a factor of d?
False
Suppose 1719*p + 2310 = 1724*p. Is p a multiple of 14?
True
Let s(k) be the second derivative of -k**5/20 + k**4/3 - k**3/3 + k**2 + 2*k. Let f be s(3). Suppose f*d - 200 = -10. Does 9 divide d?
False
Suppose 0*i + 20 = 5*i. Suppose i*u - 79 - 169 = 4*m, 5*m + 78 = u. Is 29 a factor of u?
True
Let y = 36 - 70. Let c = y + 45. Is 7 a factor of c?
False
Suppose -600 = 19