a**3 - 15*a**2 + 13*a + 17. Let u be t(14). Suppose s*g - c + 86 - 509 = 0, -c - 255 = -u*g. Does 10 divide g?
False
Suppose 0 = -2*k - 2*w + 686, -w = -4*w + 15. Let t = k + -303. Is t a multiple of 7?
True
Suppose 3*d = 6*v - v - 25, -3*d - 21 = -3*v. Suppose -v*m = -11*c + 14*c - 383, 514 = 4*c + m. Does 3 divide c?
True
Suppose q = 3, 2827 = 4*n - 5*q + 2*q. Is 9 a factor of n?
False
Let j(o) = o. Let l(q) = -530*q**2 - 3*q. Let b(t) = 177*t**2 + t. Let a(s) = 7*b(s) + 2*l(s). Let y(u) = a(u) + j(u). Is y(-1) a multiple of 29?
False
Let c(v) = v**2 - v. Let j(b) = -7*b**2 - 12*b + 1. Let y(d) = -6*c(d) - j(d). Let g be y(-15). Let i = 8 - g. Is i a multiple of 6?
True
Suppose -7*o + 2245 = 5*n - 6*o, -1347 = -3*n - 3*o. Let c = 81 + n. Does 18 divide c?
False
Let d(x) be the first derivative of x**5/60 - 5*x**4/6 - 7*x**3/3 - 47. Let f(r) be the third derivative of d(r). Is f(14) even?
True
Let g(v) = 2*v**3 - 3*v**2 - 2*v + 8. Let j be g(2). Let p(y) = -y**3 + 12*y**2 - 19*y - 20. Is 28 a factor of p(j)?
True
Let v(p) = p**3 - 9*p**2 + 20*p - 2. Let y be v(6). Suppose 0 = y*i - 140 - 30. Let t = i + 34. Does 12 divide t?
False
Suppose 0 = 4*g - 7*g + 15. Suppose g*i - 3*v + 22 = 0, v + 7 = -i + 1. Let b(t) = -9*t + 11. Does 14 divide b(i)?
True
Let b = -33 + 36. Suppose -2*o + 25 = b*o. Suppose -14 + 364 = o*h. Is 12 a factor of h?
False
Let y = -9 - -81. Let z = 81 - y. Let q = z - 5. Is q a multiple of 2?
True
Let f be 4*(-12)/(-40)*-80. Let g = 251 + f. Does 33 divide g?
False
Let r = -61 - -84. Suppose 5*p = -4*s - 4 + r, 5*s - 4*p = -7. Is (-26)/(-4)*s*30 a multiple of 13?
True
Let u(j) = 4*j**2 + 6*j + 6. Let s be u(-5). Suppose l = -3*l - 208. Let m = s + l. Is m a multiple of 7?
False
Let y = -409 - -412. Suppose s + y*s = -p + 306, 2*p - 599 = 5*s. Is p a multiple of 9?
False
Let i be -2 + (-3 - -3) - 0. Let m(x) = -30*x + 238. Let n be m(10). Is i/12*3*n a multiple of 9?
False
Let y(c) be the third derivative of 4*c**4 + 22*c**3/3 + 63*c**2 - 2*c. Is 2 a factor of y(1)?
True
Let g be (-12 - -9)/(1/(-321)). Suppose 3493 = 10*p + g. Is 23 a factor of p?
True
Does 2 divide (-458)/1374 - (-1)/(6/1184)?
False
Is 272*(12 + -11)*(-23)/(-2) a multiple of 46?
True
Let h be 54*(-4 + -3 + (5 - -1)). Suppose 2*s - d + 11 = 0, 0*s + s - 2*d + 13 = 0. Does 6 divide 700/9 - s/(h/(-4))?
True
Let d(t) = -t**3 + 13*t**2 + 9*t + 11. Let i(u) = 14*u**2 - u - 2. Let w be i(-1). Let b be d(w). Let a = b + -81. Does 7 divide a?
False
Suppose -4*x + 23*o - 26*o = -4636, -x - 2*o = -1159. Is x a multiple of 61?
True
Suppose r - 302 = -3*f, -r + 948 = 2*r - 5*f. Suppose b - 4*g - r = 0, -b = 4*b + 3*g - 1486. Is 24 a factor of b?
False
Let i(q) = -35*q**3 - 1 + 75*q**3 + 109*q**3 + 2*q. Let t be i(1). Suppose 2*y = 2*j + 60, -4*j + t = 4*y - 2*j. Is y a multiple of 10?
False
Suppose 0*m = -11*m. Suppose m = -c + 2*a + 92, -3*c - a + 265 = 4*a. Does 10 divide c?
True
Let l = -411 - -416. Is (-9)/(135/(-6)) + 1198/l a multiple of 10?
True
Let z be (-975)/(-5) - (-6 + 3). Let c = z - 26. Is c a multiple of 63?
False
Suppose 83*f - 640867 = 88537. Is f a multiple of 8?
False
Let t = 34526 + 45630. Is 16 a factor of t?
False
Let k(w) = 17*w - 122. Let m be k(8). Suppose 3*j - 3 = 0, x + m - 120 = j. Is 4 a factor of x?
False
Let a(y) = 2*y**3 - 9*y**2 - y - 15. Let u(m) = -5*m**3 + 27*m**2 + 3*m + 44. Let q(t) = 8*a(t) + 3*u(t). Let c be q(-9). Is c + 0 - (1 - 86) a multiple of 11?
True
Suppose 486 = -17*d + 14*d. Let p = -123 - d. Is p a multiple of 13?
True
Suppose 0 = 6*f - 5*w - 18841, f + 4*f - 4*w = 15701. Is f a multiple of 9?
True
Suppose 37664 = -227*u + 238*u. Is u a multiple of 21?
False
Suppose 4*f + 16*f - 26784 = 2*f. Is f a multiple of 24?
True
Let r = 17 + -17. Suppose -h - 4*f + 497 + 141 = 0, -3*h + 2*f + 1844 = r. Is 16 a factor of h?
False
Let s(k) = 4*k - 3*k + 2*k + 14. Let h = 1825 - 1811. Is 14 a factor of s(h)?
True
Let x(d) = -d**2 + 13*d - 25. Let f be x(11). Is 18 a factor of (-18)/(((-6)/(-4))/f)?
True
Let f(i) = -7*i - 28. Let p be f(-1). Is (-6)/p - 11/(154/(-1956)) a multiple of 12?
False
Let g(j) = 2*j**3 - 23*j**2 + 59*j + 68. Is g(12) a multiple of 5?
True
Let f(m) = 103*m**2 + 111*m - 784. Is 90 a factor of f(7)?
True
Let c = -2485 - -5173. Is 84 a factor of c?
True
Let z = -3682 + 4612. Does 31 divide z?
True
Is 8 a factor of (-21160)/161*(-4)/(-8)*-14?
True
Let g(x) = -4*x**3 - 3*x**2 - 2*x. Let z be g(-2). Suppose 96 = 4*m - z. Does 12 divide ((-34)/(-85))/(1/m)?
True
Let d = 17 + 18. Suppose 0 = -5*c - 10 - d. Let f(a) = -a**2 - 16*a - 15. Is 8 a factor of f(c)?
True
Let x(p) = p**3 + 7*p**2 - 2*p - 1. Let l be x(-7). Let v = 169 + l. Does 10 divide v?
False
Suppose -250*f + 7097649 + 743728 = 930627. Is f a multiple of 11?
True
Let j(w) = 57*w**2 - 11*w - 1. Is 17 a factor of j(9)?
False
Let v(n) = 2*n**3 - 46*n**2 - 42*n + 160. Is 5 a factor of v(24)?
False
Let f(y) = -3*y**2 - 10*y - 4. Let o be f(-6). Let h = 52 + o. Is 4 a factor of 1*(-1 + h - 121)/(-2)?
False
Let j = 18 + -108. Let s be (-2)/6 - (-611)/(-3). Let u = j - s. Does 14 divide u?
False
Suppose 2*r + n = 9 - 1, n + 4 = r. Suppose 13 = r*x + 4*w + 33, 4*x + 12 = 4*w. Is 25 a factor of (-202)/(x/(-1)*(-2)/4)?
False
Let y(w) be the first derivative of -2*w**4 - w**3 - w**2/2 + 5*w - 843. Suppose 0 = -t + 4*t + 3*r, 0 = 5*t - 2*r + 14. Is y(t) a multiple of 6?
False
Let d be (-4 - (5 + -10)) + 3 + -1. Suppose 4*c - 2*c = 3*z + 1271, c - d*z - 637 = 0. Is 56 a factor of c?
False
Let n = -7 + 9. Suppose 4*m + n*m = 24. Suppose 155 + 37 = m*d. Is d a multiple of 5?
False
Suppose 0 = -4*k + 59 - 1095. Let w = k - -651. Does 39 divide w?
False
Suppose 46402 = 4*n + 3*n + 4066. Does 24 divide n?
True
Let h(l) = 3*l - 3. Let r be h(3). Suppose g - 173 = r*x - 5*x, -g - x + 179 = 0. Is 16 a factor of g?
True
Let i(d) = -5*d**3 + 3*d**2 - 5*d - 3. Let k(m) = -8*m**3 + 7*m**2 - 10*m - 6. Let u(c) = -5*i(c) + 3*k(c). Is 21 a factor of u(5)?
False
Suppose 25*s - 187600 = -59031 + 122681. Is 134 a factor of s?
True
Let f(o) = -o**3 + 47*o**2 - 86*o - 154. Let t be f(45). Suppose 16*h = t*h - 1010. Is h a multiple of 8?
False
Let s = 57 - 54. Suppose 6*g = s*g - 15. Let h = g + 42. Is h a multiple of 7?
False
Let g be -8 + (-5 + 14 - -3). Suppose -61200 = -46*a - g*a. Is a a multiple of 34?
True
Let u(y) = -3*y**3 + 5*y**2 - 5. Let m be u(-2). Suppose 10384 = -28*j + m*j. Is 16 a factor of j?
True
Let z = -694 - -676. Is 23 a factor of (-12)/z*(2 + 1348)?
False
Suppose 30*f + 138 = 378. Is f/10 + 2336/5 a multiple of 12?
True
Let b be (-3 - -4) + 4 - (-1046 + -3). Let r = b - 703. Is 27 a factor of r?
True
Let c(o) = o**3 - 10*o**2 - 6*o - 5. Suppose 0 = -0*d + 3*d + 3. Let s be d + -4*(1 + -4). Is 5 a factor of c(s)?
True
Let b(j) = 5*j**2 - 16*j + 55. Suppose 58*f - 35 = 51*f. Does 16 divide b(f)?
False
Let i(r) be the third derivative of r**6/120 - 11*r**5/30 + 25*r**4/24 - 28*r**3/3 - 170*r**2. Is 2 a factor of i(21)?
True
Let u = 40 + -33. Let q(w) = -w**2 + 5*w + 17. Let f be q(u). Let l(n) = 10*n + 25. Is 7 a factor of l(f)?
False
Does 13 divide (-1 + 9)*(-4505765)/(-610)?
False
Does 85 divide 5716744/220 - ((-4)/(-40)*-2)/(-1)?
False
Let t(c) = -c**3 + 33*c**2 - 44*c + 37. Let k be 6 + -5 + (-180)/(-6). Does 35 divide t(k)?
True
Suppose 0 = -4*b - 5*i + 2, -2*b + 4*i + 11 = -b. Does 12 divide (-10776)/(-40) + ((-39)/(-15) - b)?
False
Suppose 13*p = 6*p - 42. Let r(y) = 15*y + 40. Let g(m) = -7*m - 20. Let u(o) = p*r(o) - 13*g(o). Is 9 a factor of u(10)?
False
Let h be (-2 + -1)/(1/(-13)). Suppose 44*x = h*x + 4120. Is 38 a factor of x?
False
Suppose -4*y - 10 + 22 = 0. Suppose y*i - 902 = -242. Suppose 7*b = 12*b - i. Does 11 divide b?
True
Suppose 0 = -52*o + 47*o + 45130. Does 10 divide o?
False
Suppose 4 = 2*b, -3*q = -5*q + 2*b + 2. Suppose -3*h - 2*a = -2, q*a = -3*h + 2*h - 4. Suppose 0*p - h*y = 3*p - 433, -5*y + 725 = 5*p. Is p a multiple of 32?
False
Let j = -326 - -498. Suppose 0 = -30*b + 34*b - j. Is 4 a factor of b?
False
Suppose 3215 + 5735 = 3*s + 2*p, 3*s - 8985 = 3*p. Does 83 divide s?
True
Does 10 divide 16018*(-3)/(-30) + 2 + 108/90?
False
Let n(x) = 29 - x**3 - 18*x**2 + 11*x + 12 + 14*x**2 - 22. Let o be n(-6). Suppose -2*w = -3*c + o, -