= -3 - y. Is 9 a factor of a?
True
Let s(m) be the third derivative of -m**4/12 + 19*m**3/6 + 4*m**2. Is s(-16) a multiple of 36?
False
Let f be ((-96)/56)/(6/(-28)). Suppose -3*m = -2*m - 3. Suppose 5*o + f = -a, -m*o - 3 = 6. Is 7 a factor of a?
True
Suppose -2*q = 2*q - 100. Does 9 divide q?
False
Suppose -106 = -2*q + 20. Is q a multiple of 18?
False
Suppose -3*k + 5*k - 4 = -i, 12 = 3*i. Suppose k*o + w = 2*o - 119, 5*w = 4*o - 235. Is 18 a factor of o?
False
Let v be ((-38)/4)/((-2)/4). Let y(h) = -h - 5. Let l be y(0). Let x = l + v. Is x a multiple of 13?
False
Let w = -12 + 23. Let i = w - 17. Is (-2)/(i/69 - 0) a multiple of 8?
False
Let p = 178 - 130. Does 6 divide p?
True
Suppose r = 6*r - 35. Let g(n) = -n**3 + 7*n**2 + 2*n - 10. Let i be g(r). Suppose a - 5*w = -0*a - 10, i*a = w + 55. Does 15 divide a?
True
Let n(s) = -6*s + 5 + 0*s**2 - 6*s**2 + 5*s**2. Let k be n(-6). Suppose 2*d - 18 = -2*b - 0*d, -k*b - 3*d = -43. Does 4 divide b?
True
Let p = -14 - -19. Suppose 3*u - 45 = -s + 25, 338 = p*s + 3*u. Is 17 a factor of s?
False
Let d(s) = -24*s + 3. Let f be d(-3). Suppose y - 38 = -2*y - h, -5*y - 4*h + f = 0. Is y a multiple of 11?
True
Let n be (-5 + 3)*3/(-2). Suppose 73 - 13 = n*q. Is q a multiple of 20?
True
Let y = -2 + 122. Suppose -y = -3*u - u. Does 9 divide u?
False
Let j = 293 - 208. Is j a multiple of 17?
True
Is (-4 + (-17)/(-4))*8 a multiple of 2?
True
Suppose 10*a - 5*a - 85 = -4*f, 4*a - 5*f - 68 = 0. Is a a multiple of 13?
False
Let l be (-5 + 5)/(0 - 2). Suppose -3*r + 6*r - 57 = l. Is 19 a factor of r?
True
Let q(n) = -17*n - 51. Is 8 a factor of q(-5)?
False
Let d(h) = -h**3 - 7*h**2 - 7*h - 4. Let t be d(-6). Suppose -144 = -t*b - 2*b. Is b a multiple of 14?
False
Suppose -1 = -5*g - 3*s + 4, -3*g + s = -3. Suppose -z + 21 = -g. Let x = z + -12. Is x a multiple of 4?
False
Does 17 divide 5*(-102)/60*-2?
True
Let f be (3 + 114/(-14))*7. Let w = 110 + f. Suppose -26 - 35 = -t + 4*i, 4*i = -2*t + w. Is t a multiple of 15?
True
Let b be (-54)/4*8/6. Let h = -1 - b. Does 17 divide h?
True
Suppose 0 = 3*u - 3*c - 210, u + 3*c = 3*u - 139. Does 7 divide u?
False
Let w = 6 - 2. Suppose 12 = -q + w*q, 2*q = 3*h - 187. Is 22 a factor of h?
False
Suppose -2 - 14 = -4*f. Suppose -a - 3*t + 23 = 0, f = 2*a - 4*t - 12. Is a a multiple of 4?
False
Suppose -5*i = n - 3*n + 389, n + 3*i = 167. Does 17 divide n?
False
Let u = -2 - 0. Does 10 divide -2 - -1*(u + 25)?
False
Suppose 2*a = 49 + 21. Does 14 divide a?
False
Let s(m) = -m**2 + 11*m - 2. Let u be 4/(1/1 + -2). Let b be 2/((-2)/28*u). Is s(b) a multiple of 13?
True
Let h = -4 + 10. Let n(b) = 2*b**2 + 14*b - 8. Let l(c) = 3*c**2 + 27*c - 16. Let x(o) = -4*l(o) + 7*n(o). Is 20 a factor of x(h)?
True
Let a be ((-138)/(-4))/(15/(-20)). Is (-5 - a) + -2 + -1 a multiple of 19?
True
Let t(i) = i**2 + 10*i + 11. Let b(a) = -a**2 - 5*a - 6. Let y(n) = -7*b(n) - 4*t(n). Let k be 2*-1 + 5 + 1. Does 13 divide y(k)?
True
Let l be 2/(1*(-2)/(-4)). Suppose 0*d = 5*d + 2*y - 101, -l*d + 85 = 3*y. Does 19 divide d?
True
Let c be (-29)/(-9) - (-12)/(-54). Let x be (-150)/(-3) + c + -3. Let o = -34 + x. Is 12 a factor of o?
False
Suppose 7 - 17 = 2*u + f, -6 = 3*f. Is (54/u)/((-2)/12) a multiple of 27?
True
Suppose -1190 = -4*r - 13*r. Does 14 divide r?
True
Suppose 0 = -0*a - 4*a + 20. Let l = a + -3. Suppose -l*t = 2*t - 56. Does 7 divide t?
True
Let h = 17 - -129. Let f = h - 73. Is f a multiple of 21?
False
Is 0 + 5764/30 + 18/(-135) a multiple of 12?
True
Let i = 0 - -5. Suppose 3*a = i*a - 16. Does 3 divide a?
False
Suppose -35 = -2*w + 11. Let g = w + -12. Is -4 + 3 + 1*g a multiple of 6?
False
Let g = -16 - -30. Is (0/(-3) - -1) + g a multiple of 4?
False
Let c = -39 + 65. Suppose 5*r + 6 = c. Suppose r*k + 2*j = 68, 8 = -5*j - 12. Is 15 a factor of k?
False
Suppose -d + 220 = -3*f, -3*d + 4*f + 1077 = 417. Is 22 a factor of d?
True
Does 28 divide (-1)/3*26*231/(-14)?
False
Let u(r) = r**2 + 4*r - 10. Let x be u(-6). Suppose -5*f - 210 = -4*g, -2*g = f - x*f - 108. Is 14 a factor of g?
False
Let b(s) = 3*s**2 - 15*s - 16. Let j(a) = a**2 - 7*a - 8. Let r(x) = 2*b(x) - 5*j(x). Is r(-7) a multiple of 11?
True
Let j(l) = 2 - 3 - 6*l - 2*l + 3*l. Let t be (2/3)/1*-3. Is 6 a factor of j(t)?
False
Let v(z) = z**3 - z**2 - 2*z - 1. Does 17 divide v(4)?
False
Let m(h) = -5*h - 1. Does 14 divide m(-4)?
False
Suppose 0 = -11*c + 3*c - 32. Suppose -2*x - 5*s - 9 = -48, 54 = 4*x + 2*s. Let p = c + x. Is 5 a factor of p?
False
Let i(o) = o + 6. Let b be i(-3). Let k be 1 + 2 + b/(-1). Suppose k = -r - r + 18. Does 9 divide r?
True
Let g(r) = r**2 - 3*r - 5. Let q be g(10). Suppose 5*k + l = q, 0*k + l - 29 = -2*k. Is 12 a factor of k?
True
Suppose 0 = -3*c - 2*y + 2, 0 = c + 3*y - 3 - 0. Suppose c*l = -l + 3. Suppose 0 = -l*d - 4 + 58. Does 9 divide d?
True
Let t = 70 + 18. Is 8 a factor of t?
True
Let x = 155 - 99. Does 8 divide x?
True
Let w(h) = 2*h**2 + 11*h + 1. Let o be w(-8). Let r be 14/6 + 1/(-3). Suppose 5*n - 62 = c, 5*n + r*c - o = 15. Is 6 a factor of n?
True
Suppose -3*f - f + 152 = 0. Is f a multiple of 7?
False
Let h be (1 - (0 - -2))/1. Let q be h + 1*78/(-3). Is 5 a factor of 6/q + 220/18?
False
Suppose 0 = c - 45 - 53. Is c a multiple of 14?
True
Let f = -9 - -13. Is 1/f - 220/(-16) a multiple of 7?
True
Does 7 divide 5/15 - 296/(-3)?
False
Let v(h) = -9*h - 7. Let g be v(-7). Is g - (4 + -3 + 0) a multiple of 17?
False
Let f be 283/3 - (-2)/(-6). Suppose -2*i + 58 = -f. Let q = 108 - i. Is q a multiple of 16?
True
Suppose -3*v + 0*u = -3*u - 9, -v = -2*u - 4. Suppose -2*q = -4*q + 5*r + 82, -2*r + 8 = 0. Suppose q + 9 = v*m. Does 15 divide m?
True
Let u(g) = g**3 + 5*g**2 + 3*g - 2. Let h(w) be the second derivative of -5*w**4/12 - w**3/3 - w**2/2 + w. Let z be h(-1). Is u(z) even?
True
Let i(t) = -t**3 + 7*t**2 + 12*t - 10. Is i(8) a multiple of 22?
True
Suppose 4*r = r + 9. Let t(n) = -12*n + 3*n**3 - 3*n**3 + 9*n**2 + n**r + 21 - 9. Is t(-10) a multiple of 16?
True
Let y(s) = -2*s + 2. Does 14 divide y(-6)?
True
Suppose -4*x - 5*z + 3*z + 6 = 0, 0 = 2*z + 10. Suppose 3*f = -6, -5*c - 14 + 37 = -x*f. Suppose c*p = -p + 68. Does 9 divide p?
False
Let i(r) = r**2 - 4*r - 5. Let k be i(5). Suppose 3*t - 35 = -k*t - 5*f, -f + 41 = 4*t. Suppose 0 = -b - b + t. Does 2 divide b?
False
Let i(a) = 2*a**2 - 2*a + 2. Suppose -3*d = 10 - 1. Is 16 a factor of i(d)?
False
Is ((-12)/(-2))/(14/203) a multiple of 10?
False
Suppose -2*b = -5*b. Suppose b = h + 2*h - 498. Let d = -119 + h. Is 16 a factor of d?
False
Let s(w) = -2*w**2 + w + 33. Is 11 a factor of s(0)?
True
Let d = 60 + -27. Does 11 divide d?
True
Let g(c) = -2*c**3 - 4*c**2 - c + 1. Let l be g(-4). Let q = l - 43. Is 13 a factor of q?
True
Is 17 a factor of (-3)/(2 - 111/51)?
True
Suppose -3*b - i = 42, 0*i = 4*b + i + 56. Let l = 2 - b. Suppose k = -l + 39. Does 13 divide k?
False
Let i = 187 - 115. Does 9 divide i?
True
Let k = -8 + 6. Let l(j) = 2*j - 9. Let u be l(-6). Does 11 divide u/k + 2/4?
True
Let s = 32 - 10. Is 22 a factor of s?
True
Let l = -3 - -5. Suppose -l*y + 4*a = 8, -3*a = 5*y + 2*a - 40. Suppose -9*v = -y*v - 165. Is v a multiple of 21?
False
Let m = -29 + 21. Let l = 24 + m. Is 12 a factor of l?
False
Let w = 58 - 13. Does 8 divide 3/((w/(-24))/(-5))?
True
Suppose -2*y + y = 5, 0 = q - 4*y - 24. Suppose f + 3*l - 15 = -2*f, q*l + 20 = f. Suppose -s - 2*h = 0, h = -h - f. Does 7 divide s?
False
Let v(w) = -8*w - 9 + 0*w**2 + 11 + 2*w**2 - w**2. Is 2 a factor of v(8)?
True
Let l = 38 - -42. Is 12 a factor of 27/(-6)*l/(-6)?
True
Suppose 0 = -3*s + 83 + 46. Suppose s = 2*y - 23. Does 21 divide y?
False
Let b(x) = 4*x**2 - 5*x + 9. Is b(-5) a multiple of 22?
False
Suppose -6*i = -5*u - 4*i + 26, -6 = -3*u - 2*i. Suppose -8 = -4*r - u*s, r - 3*s = -2 + 8. Is r a multiple of 3?
True
Suppose 0 = 3*l - 13 - 2. Let h be 40/(-15)*111/(-2). Suppose 112 = 3*o - 4*p, 2*p = l*o + 5*p - h. Is o a multiple of 14?
False
Let n be 18/(-9) - 10/1. Let l = n - -25. Is l a multiple of 8?
False
Let q be 4/(-20) + 21/5. Let l = 8 - q. Is l a multiple of 4?
True
Let g = 51 - 15. Does 9 divide g?
True
Is 2*3*(380/(-6))/(-10) a multiple of 24?
False
Suppose -596 - 154 = -5*f. Does 25 divide f?
True
Let u(x) = -x**3 - 1