 derivative of 3*v**5/10 + v**4/12 - v**2/2 + 320*v. Does 11 divide g(d)?
False
Let v(g) = -9*g**3 - 31*g**2 - 107*g + 64. Does 10 divide v(-17)?
False
Let u be (-6 - (-52)/8)*(2 + -2). Suppose 2*w = 4*p - 8, 0*p - 4*p - 2*w = -8. Suppose p*o - 406 = -2*z - u*o, -z + 209 = -o. Is 38 a factor of z?
False
Suppose 3*a + 58 = -7*k + 3*k, a - 2*k + 16 = 0. Let b be -3*4/a*(-31794)/(-28). Suppose -10*n + 333 = -b. Does 22 divide n?
False
Let v be ((-226)/339)/((4/1173)/(-2)). Let n = -316 + v. Does 25 divide n?
True
Let o(b) = -b**2 - 8*b - 12. Let l be o(-6). Suppose -2*n + 274 = z - l*z, 0 = -z - 4*n + 270. Does 21 divide z?
False
Suppose -86*l + 18 = -80*l. Suppose 0 = -4*c + 12*n - 10*n + 38, -l*c = -3*n - 33. Is c even?
True
Let n = 3169 - -8507. Is 42 a factor of n?
True
Suppose -1 = -n, -13127 - 6051 = -3*b - 2*n. Is 2 a factor of b?
True
Is 5 + 181245/45 + (-4)/6 a multiple of 28?
True
Suppose 265 - 96 = 5*r + 2*x, -3*r - 2*x = -103. Let g = r - 37. Let z(n) = 2*n**2 - 14. Is z(g) a multiple of 5?
False
Let s(p) = -25*p - 24 + 112*p**2 - 131*p**2 - p**3 - 1. Does 30 divide s(-19)?
True
Let f(n) = n**2 - 8*n - 84. Let m be f(-6). Suppose m = -3*k + q + 17 + 386, q = -4*k + 528. Is k a multiple of 19?
True
Let i = 41147 - 19886. Is i a multiple of 13?
False
Suppose 11639 - 86651 = -24*u + 3*u. Is 94 a factor of u?
True
Let q be 6/(-4) + 272/32. Let x(n) = n**3 + 2*n**2 + 0*n + 0*n**2 + 3 + q*n**2 + 7*n. Does 10 divide x(-8)?
False
Let q = -7745 + 16349. Is 34 a factor of q?
False
Suppose 3*x - 3*q - 6723 = -0*x, -2226 = -x + 4*q. Suppose -7*y + x + 3375 = 0. Does 10 divide y?
False
Suppose 141*b - 142*b = -45. Let m = 225 + -57. Suppose b*i - m = 41*i. Is 14 a factor of i?
True
Suppose 0 = 12*z + 8*z - 7800. Let u = z - 255. Is 3 a factor of u?
True
Suppose 26*n - 41195 = 3109. Does 24 divide n?
True
Let r(g) = g**3 + 8*g**2 - 5*g + 38. Let t be r(-9). Suppose -t*j - 147 = -163. Does 4 divide j?
True
Let d(a) = 4*a**3 - 7*a**2 - 4*a + 1. Let w(c) = 5*c**3 - 6*c**2 - 3*c. Let m(s) = 6*d(s) - 5*w(s). Let u be m(-12). Is 5 a factor of -2 - (u/9)/(4/(-18))?
True
Let i = -266 - -263. Does 30 divide (-2051)/i + ((-187)/33 - -6)?
False
Suppose -k + 123 - 127 = 0, 5*k = 4*a - 83956. Is a a multiple of 194?
False
Suppose -68 + 14 = -18*p. Suppose 4*b - 925 = -p*q, -9*q = -12*q + 9. Does 63 divide b?
False
Let a = -418 + 404. Let j = -133 + -4. Let t = a - j. Is 12 a factor of t?
False
Suppose -2*b = 0, -2*x + 112 = -2*b - b. Suppose -4*s + x = -2*n, 2*s = -4*n + 6*s - 132. Let i = n + 73. Is 5 a factor of i?
True
Let p = 45 + -42. Suppose -p*s - 391 = -q - s, -5*q + 1937 = -4*s. Suppose -1141 = -6*b - q. Does 7 divide b?
True
Does 104 divide (-8)/(-10) + 2482356/155?
True
Suppose 37584 = 1054*c - 1036*c. Does 9 divide c?
True
Suppose 9*c = -13*c + 462. Suppose -c*v + 25*v = 1560. Is 13 a factor of v?
True
Let p(d) = -d**3 + 66*d**2 - 58*d - 56. Is 79 a factor of p(64)?
True
Let m(h) = 10*h**2 + 110*h - 80. Is m(22) a multiple of 164?
False
Let j(u) be the third derivative of -1/12*u**4 - 1/6*u**3 + 7*u**2 + 0 + 0*u + 37/20*u**5. Is 16 a factor of j(-1)?
True
Suppose -12*q - 740 - 1000 = 0. Let u = 187 + q. Is u a multiple of 21?
True
Let c(t) = 2*t**2 - 2*t - 8. Let i be c(3). Suppose -5*o - 205 = -5*a - 690, -i*o - 4*a = -356. Is 23 a factor of o?
False
Suppose 41 - 1 = -5*d. Let l(x) = -2*x - 12. Let r be l(d). Suppose 0 = 4*v + b - 270, 0 = -r*v + 3*v + 3*b + 74. Is v a multiple of 17?
True
Let z(p) = 60*p**3 + 3*p**2 - 15*p + 40. Is 49 a factor of z(4)?
False
Suppose 3*m + 7 = -r + 32, 2*r = 3*m + 86. Suppose 38 = w + r. Is 1 - w/(-1) - (-117 + 7) a multiple of 14?
True
Is 15 a factor of 9 - (-204)/(-10)*(-659 + 44)?
True
Suppose 7990 - 38878 = -24*w. Suppose -w + 4451 = 4*g. Is g a multiple of 11?
False
Suppose 2*t - 294*m - 51387 = -299*m, -4*m + 77105 = 3*t. Does 118 divide t?
False
Suppose w + 3*b + 182 = 872, 3494 = 5*w + 4*b. Suppose -23*g - w = -29*g. Is 54 a factor of g?
False
Let l(d) = d**3 - 6*d**2 - 34*d + 34. Let w be l(10). Is ((-32)/5)/(w/(-235)) a multiple of 8?
True
Suppose k - 832 = -831, 41728 = 4*a + 4*k. Does 44 divide a?
False
Suppose 87871 - 683403 = -402*h + 564238. Does 38 divide h?
False
Let h(w) = w**2 - 47*w + 2. Let a be h(36). Let f = a - -433. Is f a multiple of 38?
False
Let x(o) = o - 3. Let y be x(8). Suppose -16 = -y*r + 4. Suppose -f - 4 = -h + 16, r = 2*f. Does 20 divide h?
False
Let l be 10/3*369/205 + -3. Suppose -2*q = -4*q + l*w + 81, 5*q = w + 209. Is q a multiple of 16?
False
Let u(w) = -20*w**3 - 3*w**2 + 31*w + 68. Is 18 a factor of u(-10)?
True
Suppose -24*x + 4*x + 317187 = -785153. Does 95 divide x?
False
Let t(s) = -1277*s - 18. Let r be t(-18). Is (2/(-6))/((-33)/r) a multiple of 11?
False
Suppose z + 25 = 5*q, 2*q + 10 = 4*q + 4*z. Suppose -q*o + o + 123 = -p, -p = -5*o + 154. Is 3 a factor of o?
False
Let v = -51 + 54. Suppose 0*b = -3*b + v, -4 = -j - 2*b. Suppose j*s - 157 = 81. Does 7 divide s?
True
Let a = -866 + 858. Is 12 a factor of 3*(a - -7) + 529?
False
Is ((-185)/296)/(15/(-6))*11428/1 a multiple of 7?
False
Let m(g) = 3*g + 15. Let i(u) = -2. Let x(s) = 2*i(s) - 2*m(s). Does 4 divide x(-27)?
True
Let o(q) = q**2 - 2*q + 52. Let k be o(0). Suppose -2*u = 3*s + 44, -4*s + 0*u - 4*u - k = 0. Let d = 82 + s. Is 8 a factor of d?
True
Let s(c) = -c**3 + 10*c**2 + 12*c + 6. Let o be s(11). Suppose -o*t - 512 = -6445. Is 16 a factor of t?
False
Let w = 79 - 481. Is 67 a factor of (-14 + 11)/(3/w)?
True
Let r(y) = y**2 + 4*y + 6. Let f be r(-4). Suppose f*x - 143 = 55. Let i = x + 102. Is 27 a factor of i?
True
Let d(q) = -q**3 + 6*q**2 + 6*q - 8. Let n be d(6). Let x(f) = -n*f**2 + 4*f + 79*f**2 + 3*f - 9. Is 22 a factor of x(2)?
False
Let n = -2467 + 5827. Is 48 a factor of n?
True
Let f be -4 - 30/(-9) - (-1)/(-3). Let l be 1/(-1) - 1 - (-14 - f). Suppose -q + 396 = l*q. Is q a multiple of 14?
False
Let y = 2653 + -1993. Does 4 divide y?
True
Let m(t) = 5*t**3 - t**2 + 27*t - 4. Let v be m(-8). Let z be (v/30)/((-3)/(-10)). Is z*(-3)/24*(-1 - -3) a multiple of 8?
False
Suppose 0 = -4*o + 7*o - 78. Let m = -24 + o. Suppose -4*x - 5*w = -73, -m*x + 3*x - 2*w = 15. Is 9 a factor of x?
False
Let o(a) = 2*a**2 - 13*a - 3. Let d = -21 - -28. Let v be o(d). Suppose -v*r = 3*x - 108, -3*x + 46 = r - 53. Is 4 a factor of x?
True
Let o(k) = -k**3 - 28*k**2 + 33*k + 13. Is o(-31) a multiple of 3?
False
Let z be (-19)/((-190)/40) - -1965. Let l = z + -1305. Does 8 divide l?
True
Suppose -11*r + 15*r = -93 + 2813. Is 20 a factor of r?
True
Let w(r) = 240*r - 752. Does 16 divide w(6)?
True
Suppose -109*t = -111*t + 602. Let p = 286 + -115. Let y = t - p. Is y a multiple of 26?
True
Let t(g) = 7*g**3 + 0*g**3 - 7*g**3 + g**2 - 2*g + g**3. Let c be t(0). Does 20 divide c - (-101 - (1 + -2))?
True
Suppose 3*z - 86 = 5*x - 1262, -2*x = -2*z - 472. Does 18 divide x?
True
Let o(s) = -252*s + 209*s + 8 + 65. Is 40 a factor of o(-7)?
False
Let v(p) be the second derivative of -p**3/6 + p**2/2 + 2*p. Let d be ((12/15)/1)/((-40)/100). Is v(d) even?
False
Let p(u) = 4*u - 14*u + 14 - 13*u + 48. Does 73 divide p(-10)?
True
Is 15 a factor of 28544/56 + (-22)/(-77)?
True
Let v(k) = 520*k - 1544. Is 13 a factor of v(31)?
False
Let t = 3096 - 2029. Is t a multiple of 55?
False
Let h = 9918 + -6207. Does 16 divide h?
False
Suppose 0 = -7*n + 15 - 1. Suppose -n*c - 6 = -8*c. Does 28 divide (2 - c - -23)/((-5)/(-35))?
True
Let r = -143 + 150. Does 35 divide (28/r - -101) + 0?
True
Let x(v) = 3*v**3 + 20*v**2 + 11*v - 28. Is x(7) a multiple of 26?
False
Suppose -3*j - 980 = -2828. Suppose -4*d - j = -5*y, -4*y - 5*d = y - 625. Is 27 a factor of y?
False
Suppose 8*c + 414 = 2*c. Let a be c/(-12)*3 + (-3)/12. Suppose -27 = -m - a. Does 3 divide m?
False
Let s(y) = -y**3 - 11*y**2 + 10*y - 20. Let i be s(-12). Suppose -4*o + 2185 = 5*v, 2170 = i*o + 3*v - v. Is 10 a factor of o?
True
Suppose -77*p + 82*p = -4*w + 1268, 3*w - 762 = -3*p. Does 6 divide p?
True
Let i be -1 + 1 - 0 - -4. Let x = -2380 - -2480. Suppose x = i*p - 32. Is 11 a factor of p?
True
Suppose -247*b + 249*b - 8 = 0, -4*w = b - 13108. Is w a multiple of 9?
True
Suppose 155 = 2*b + 3*a + 2*a, 0 = -2*b - 3*a + 153. Let d = b + -75. Suppose 3*o - 49 = -3*r +