+ 14*t - 4*w - 1520, 2510 = 5*t - 2*w. Is 38 a factor of t?
False
Let h(c) = 3*c**3 - 10*c**2 - 10*c + 3. Let f(q) = 7*q**3 - 20*q**2 - 21*q + 7. Let g(s) = 4*f(s) - 9*h(s). Does 18 divide g(-7)?
False
Let f be 1*(-27)/(-6)*6/9. Suppose 3*s - 1323 = -4*p - 397, -4*s + 1243 = -f*p. Does 31 divide s?
True
Let r(v) = 11*v**3 - 5*v**2 + 13*v - 22. Is r(4) a multiple of 16?
False
Let x(k) = k**3 + 39*k**2 - 46*k + 133. Does 12 divide x(-40)?
False
Suppose 0*f + 4*f = -k + 153, 201 = 5*f - 2*k. Let i be 32/6 - 13/f. Suppose -5*y = -x - 256, i*y - 4*x + 0*x = 259. Is y a multiple of 31?
False
Suppose -2927 = -4*s - 3*t, 0 = -3*s - 2*t - 0*t + 2195. Is 9 a factor of s?
False
Let t(g) = 2*g**3 + g**2 - 1. Let k be t(1). Let i(w) = 35*w + 210. Let m be i(-6). Suppose 3*n - 31 = -m*x - k*x, 0 = -3*x - n + 29. Is x a multiple of 8?
True
Let w be 0/(1 - 0/3). Let t(s) = s**3 - s**2 - s - 1. Let r be t(w). Is (-2)/r + 20 + 3 a multiple of 15?
False
Suppose -3*r - 60 = -4*r. Is 19 a factor of r?
False
Suppose 0 = -4*f + 6*s - s + 1095, -825 = -3*f + 3*s. Is 14 a factor of f?
True
Suppose -3*s + s - 14 = 0. Let a(u) = -8*u + 18. Let w be a(s). Let n = w - 21. Does 23 divide n?
False
Let q(s) be the first derivative of 2*s**3/3 - 5*s**2 - 20*s - 7. Does 10 divide q(10)?
True
Let v = -158 - -296. Is 18 a factor of v?
False
Let w(r) = r**3 - 26*r**2 + 60*r + 1. Is 26 a factor of w(25)?
False
Let d(l) = 7*l**2 - 68*l + 116. Is 10 a factor of d(18)?
True
Suppose -4*x - 3*l - 528 = -0*l, -665 = 5*x + 5*l. Let o = -33 - x. Does 16 divide o?
True
Suppose b - 75 - 139 = 4*o, 3*b - 4*o - 634 = 0. Is 28 a factor of b?
False
Suppose 5*x - 2*x + 5*g - 880 = 0, 0 = -3*x - 2*g + 883. Does 8 divide x?
False
Suppose z - 25 = -2*p, -z - 4*z + 25 = 0. Suppose -p = -5*t + 10. Does 15 divide (-270)/((-12)/t) - 3?
False
Suppose -2*h = -h. Suppose u - s - 5 = 10, -2*u + 3*s + 34 = h. Does 2 divide u?
False
Suppose -k + 78 = -162. Is 24 a factor of k?
True
Suppose 10 = 3*t - 4*a, 5*t - 2 = a + 9. Is 18 a factor of t*27*(0 + (-20)/(-12))?
True
Let d(n) = n**3 + 41*n**2 + 64*n + 94. Is d(-39) a multiple of 40?
True
Let p(h) = h**2 + 9*h + 25. Let j be p(-12). Let y = 126 - j. Is y a multiple of 33?
False
Suppose 4*y + 198 = -5*j + 887, 0 = j + 3. Is 16 a factor of y?
True
Suppose 0 = -2*k + 6 - 4. Let p(n) = -6*n - 6. Let b be p(-6). Let t = k + b. Is t a multiple of 7?
False
Suppose -3*v + 197 = 5*i, -2*i + v + 4*v + 54 = 0. Suppose 199 = 3*k + i. Suppose 2*o + r = 21 + k, 140 = 3*o - 4*r. Is 20 a factor of o?
True
Suppose 37 = v + 32, g = -5*v + 2573. Is g a multiple of 8?
False
Suppose 22*u - 3 = 25*u. Is 11 a factor of 240/(1 - u) + 1?
True
Let h be (33/9 + -3)/(5/15). Does 16 divide h/(-5) - (-3374)/35?
True
Let l(n) be the third derivative of -n**5/60 - 17*n**4/24 + 2*n**3 - 4*n**2. Is 19 a factor of l(-14)?
False
Let z = -127 - -267. Does 34 divide z?
False
Let o = 420 + -274. Suppose -2*z - o = -4*z. Is 13 a factor of z?
False
Suppose -5*s - 5*w = -210, 0*w - 42 = -s - 5*w. Let a = -5 + s. Is a a multiple of 37?
True
Let t = 113 + -48. Is t a multiple of 3?
False
Let v be 18*(-1)/(-2) + -2. Let f = v - 2. Suppose -c = f - 51. Is 23 a factor of c?
True
Is (-79401)/(-171) - 7/3 a multiple of 14?
True
Suppose j + 57 = 2*v, 3*v + 0*v = -3*j + 63. Does 26 divide v?
True
Let y(t) = -22 - 8 + 4 + 31*t + 2. Does 15 divide y(7)?
False
Let t be (-1 + 4)*28/(-6). Let b = 10 + t. Is 24 a factor of b + 1 + 476/7?
False
Let n(o) = -58*o**3 - 6*o**2 + 3*o + 1. Let p(s) = -29*s**3 - 3*s**2 + s. Let i(f) = -6*n(f) + 13*p(f). Is 16 a factor of i(-2)?
True
Suppose 4*s - 3*s = 5*k - 8, -86 = 5*s - 2*k. Does 18 divide (-12)/(-4)*3/(s/(-236))?
False
Is 12 a factor of 6 + (-2)/(-18) + 13640/198?
False
Let b(k) = 7*k**3 + 12*k**2 + 6*k + 2. Is 37 a factor of b(4)?
True
Suppose b = -0 + 5. Suppose u - 177 = r, b*u - 114 = -5*r + 721. Is u a multiple of 43?
True
Let a(g) = -g**2 - 13*g + 7. Suppose -2*y = -3*c - 32, -2*c - 31 = 5*y + 3. Does 4 divide a(c)?
False
Let t = 854 - 593. Is t a multiple of 81?
False
Suppose 46*g - 679 = -k + 47*g, -2717 = -4*k + 5*g. Is 8 a factor of k?
False
Let l(o) = o**3 + 7*o**2 - 2*o - 8. Let k be l(-7). Let b(d) = 3 + 3 - k + 3*d. Does 6 divide b(8)?
True
Suppose -5427 = 25*j - 14127. Does 29 divide j?
True
Suppose -789 = -4*k + 43. Does 26 divide k?
True
Suppose -5*b = -s - 10 - 11, -3*s = 3*b - 27. Let n be (-15)/6*((-48)/(-20) - 4). Suppose -n*y = s*m - 107 - 97, -5*y = -3*m + 185. Is m a multiple of 11?
True
Let y(n) = -n**2 + 15*n - 13. Let g be y(13). Let b(l) = l**2 - 12*l - 7. Let j be b(12). Let w = j + g. Is 3 a factor of w?
True
Suppose 0 = -5*j - 20, 2*j + 0*j + 7745 = 3*y. Is 86 a factor of y?
False
Let c(u) = u - 8. Let k be c(8). Suppose 0 = -3*s - 5*v + 73, 5*s - 103 = -k*s + v. Is 21 a factor of s?
True
Let j be ((-14)/(-4))/(2/4). Let v = j + 47. Is v a multiple of 9?
True
Let b(n) = -6*n**3 + 4*n**2 + 4*n - 7. Does 3 divide b(-3)?
False
Let y = 18 - 8. Is 33 a factor of 9/(2/y + 68/(-440))?
True
Suppose 3*j = 5*j. Suppose -2*w + 2*f - 10 = 0, 2*w + 3*f - f - 6 = j. Let x = 7 - w. Is 3 a factor of x?
False
Let w(m) = 29*m**2 + m - 9. Let x(j) = 115*j**2 + 5*j - 35. Let u(y) = -15*w(y) + 4*x(y). Is u(-3) a multiple of 18?
False
Let a = 4359 + -3033. Does 28 divide a?
False
Let i(f) = -3*f - 1. Let r(s) = -5*s - 2. Let h(o) = 11*i(o) - 6*r(o). Let v be h(-6). Let n = -9 + v. Is n a multiple of 10?
True
Let p = 1 + 0. Suppose -7 = -3*u - p. Suppose 0 = o + r - u*r - 12, 30 = 2*o - 4*r. Is 4 a factor of o?
False
Suppose -1532 = -4*n - 80. Suppose t = -10*t + n. Is 4 a factor of t?
False
Let l = 34 + 9. Is 3 a factor of l?
False
Suppose -5*g + 3*k + 6 = k, 3*g - 16 = -5*k. Let a(i) be the second derivative of i**5/10 - i**4/12 - i**2/2 - 3*i. Is 6 a factor of a(g)?
False
Suppose -9 = -5*n + 2*n. Suppose -5*v + 4 = -n*v, -5*d + 141 = 3*v. Does 27 divide d?
True
Let f(z) = 31*z + 9. Suppose 0*i + 5*i - 15 = 0. Does 16 divide f(i)?
False
Let p(x) = -x - 31. Let m be p(-21). Let a(y) = -y**2 - 13*y - 5. Does 6 divide a(m)?
False
Is (78/3)/((-3)/63*-7) a multiple of 6?
True
Let d = 289 + -51. Suppose -d = -14*n + 7*n. Does 6 divide n?
False
Let y = 905 - 536. Does 17 divide y?
False
Let c = 13 - 17. Let a(w) = w**2 + w + 2. Let g be a(c). Does 30 divide g/7 + (1 - -87)?
True
Suppose -3*m - 16 = -5*q, 4*m = q + 1 - 11. Let t be (8 + -2)*5/q. Suppose 5*h = 5*k - 105, 0 = 2*k - 3*h - 28 - t. Is k a multiple of 9?
False
Let j be 2*1*(-1026)/(-12). Suppose 0 = -4*x - 8, -3*x = -2*q - q + j. Does 11 divide q?
True
Let l(m) = -86*m - 9 + 3*m**2 + 81*m + 15. Suppose 3*s - 7 = 11. Does 21 divide l(s)?
True
Let n(k) = -k**2 + 10*k + 15. Let q be n(11). Suppose -134 = -q*j + 174. Does 13 divide j?
False
Let k(w) be the first derivative of 2*w**3 - 3*w**2/2 - 2*w - 8. Let i be k(3). Is 5 a factor of i/3 - 12/(-18)?
True
Suppose 469*r + 2403 = 478*r. Does 18 divide r?
False
Let n(s) = 2*s**2 - s - 1. Let q be n(1). Suppose q = 3*o + 2*g - 165, 0 = g - 0*g + 3. Is 14 a factor of o?
False
Let i(w) = 7*w**2 + 8*w - 50. Is i(-10) a multiple of 30?
True
Suppose 5*d = m + 3, -3*d - 2*d = 2*m - 24. Let g(n) = n**3 - 6*n**2 + 6*n - 1. Is g(m) a multiple of 28?
False
Let s(z) = -z**2 - 29*z + 5. Let v = 112 - 140. Is s(v) a multiple of 10?
False
Let q(h) = 1201*h**3 - 2*h**2 + 12*h - 11. Does 20 divide q(1)?
True
Let o = 1183 + -813. Is o a multiple of 37?
True
Suppose 9*u = 7*u + 98. Let z be ((-1 - 0) + 0)*-83. Let g = z - u. Is 17 a factor of g?
True
Suppose 2*r - 5*w - 10 = 0, 0 = 4*r + w + 12 + 12. Let l(p) be the third derivative of p**5/30 - p**3/2 - p**2. Is l(r) a multiple of 17?
False
Let r(u) = 0*u**3 - 4 - 2*u**2 + 7 + 14*u + 1 - 2*u**3. Let q be r(-7). Suppose -2*c + 3*b + 201 = -2*b, 0 = 5*c - 4*b - q. Is c a multiple of 15?
False
Suppose -4 = -0*j + 4*j - v, 8 = j + 2*v. Let r = j + -6. Is (-37 - 1)*r/4 a multiple of 15?
False
Let s(v) = 2*v**3 + 20*v**2 + 17*v + 17. Is 6 a factor of s(-7)?
True
Let v(b) = -3*b**3 - 29*b**2 - 14*b + 58. Let y(f) = -f**3 - 10*f**2 - 5*f + 19. Let h(l) = 3*v(l) - 8*y(l). Is 12 a factor of h(-7)?
True
Let i(l) = 6*l**3 - 6*l**2 + 6*l. Let v = 60 + -57. Is i(v) a multiple of 14?
True
Let d = 374 - 343. Is 10 a factor of d?
False
Supp