s?
False
Let f(a) = -3*a + 29. Let z be f(10). Suppose -2*x - 3*x = 5*h - 90, -3*x = -h - 42. Is (-2 + x)*z/(-1) a multiple of 9?
False
Suppose 0 = 3*r + 2*w - 6812, 5*r = -3*w + 6*w + 11328. Is r a multiple of 42?
True
Let g = 55 - 53. Is 6 a factor of -5 + (54 - (g + -1))?
True
Let h(a) = 37*a**2 + 3*a + 5. Does 39 divide h(-1)?
True
Let q = -112 + 139. Does 9 divide q?
True
Is 8 a factor of ((-60)/(-10) - -2)*6*4?
True
Let c = 441 + -10. Does 5 divide c?
False
Suppose 25 = 7*t - 2*t. Suppose 5*b - t - 140 = 0. Does 2 divide b?
False
Let y(g) = -2*g**2 - 181*g - 20. Is y(-43) a multiple of 15?
True
Let b(j) = -j - 4. Let a be b(-7). Suppose 0 = -3*v - a*o - 9, 6*v - v = o + 3. Suppose -4 = -2*f - 0, v = -p + 3*f - 2. Is 2 a factor of p?
True
Suppose 7*i = 12*i + 50. Is 21 a factor of ((-56)/40 - 7)/(2/i)?
True
Let j(d) be the first derivative of -d**4/4 - 6*d**3 - 19*d**2/2 + 21*d - 3. Does 12 divide j(-17)?
False
Let t be -1*164/(-4)*1. Let s = t + -14. Does 9 divide s?
True
Let y = 171 + -285. Let w = -66 - y. Is 8 a factor of w?
True
Let i = -44 + 102. Let g = i + -33. Is g a multiple of 5?
True
Suppose 712*c - 698*c - 6650 = 0. Is 19 a factor of c?
True
Suppose -2*z - 48 = -2*d, 5*d + z = 2*z + 116. Suppose -27*g + 432 = -d*g. Does 27 divide g?
True
Suppose 5*y + 2*f = 5*f + 15, 0 = 3*y - 3*f - 9. Suppose -217 = -r - 0*r + 3*d, -2*d + 607 = y*r. Is r a multiple of 16?
False
Suppose 0 = -3*w - 3*c + 2265, 627 = 4*w + 2*c - 2401. Does 69 divide w?
True
Let d be (9/5)/(-7 + (-292)/(-40)). Let u(t) = 9*t**2 - 17*t + 12. Is 13 a factor of u(d)?
True
Let n(u) = 13*u**2 - 5*u - 286. Does 11 divide n(10)?
False
Suppose 5*v + 0*z - 379 = -z, -5*v - 2*z + 383 = 0. Suppose 4*i - v = -i. Is 5 a factor of i?
True
Suppose 3*n = 4*n - 4*q - 9, 16 = 3*n - q. Suppose n*y + 25 = 0, -a + y + 4*y = -39. Is 7 a factor of (a/(-2))/(1/(-2))?
True
Let z(h) = 35*h - 34. Suppose 0 = -116*o + 114*o + 10. Is z(o) a multiple of 47?
True
Suppose 0*y - 3*s + 1302 = 3*y, 8 = 4*s. Is y a multiple of 16?
True
Does 38 divide ((-3)/(-12))/(1/1172)?
False
Suppose -2*q - 5*q = 2*q. Suppose -5*p + q*p + 435 = 0. Is 9 a factor of p?
False
Is (5628/(-15))/(-1) - (-6)/(-30) a multiple of 14?
False
Let t(v) = -3*v - 1. Let u be t(-2). Let j(c) be the third derivative of c**5/15 - 5*c**4/12 + 7*c**3/3 - 387*c**2. Is j(u) a multiple of 16?
True
Suppose 445 = -2*h + 1431. Is h a multiple of 29?
True
Let o(j) = -j**3 - j**2 - j - 2. Let i be o(-2). Suppose 64 = 3*y - 4*w, -i*y - 2*w = 29 - 85. Is 7 a factor of y?
False
Suppose 8*m - 4 = 9*m, 188 = 2*u + 4*m. Is 9 a factor of u?
False
Suppose -2 = u - 7. Suppose u*z = -0*z + 585. Is z a multiple of 16?
False
Let w = 878 + 281. Does 61 divide w?
True
Suppose 14 = 2*g - g + j, -3*j = -5*g + 78. Is ((-10)/g)/((-572)/564 - -1) a multiple of 6?
False
Suppose 84 = a + 19. Suppose 172 = 3*c + 5*l, 3*l - 48 - a = -2*c. Let f = 0 + c. Does 13 divide f?
False
Let m(a) = 22*a**3 - a**2. Suppose 0 = -i - 4*q - 0*q - 19, 4*i + 2*q + 6 = 0. Is m(i) a multiple of 7?
True
Let s(c) be the first derivative of 2*c**3 + 5*c**2/2 - 4*c - 4. Is 10 a factor of s(5)?
False
Suppose 8 - 2 = 3*g. Suppose -3*v + 5*l - 5 = 0, -v + 0*v - 1 = -g*l. Let u(n) = n**2 - 5*n - 7. Does 9 divide u(v)?
False
Is (9 - -97) + 2/2 a multiple of 10?
False
Suppose 4*d - 2*p + 7 = 5*d, 0 = -4*d + 4*p + 4. Suppose -12*h = -15*h + o + 565, 5*h = d*o + 947. Is h a multiple of 13?
False
Let f(z) = -z - 1. Let t(j) = 16*j + 17. Let u(m) = 6*f(m) + t(m). Is u(5) a multiple of 8?
False
Suppose 0 = -4*r + 3 - 15. Let j be -2*35/(-2) - r. Suppose -8 = -b + j. Does 10 divide b?
False
Let p(c) = -c**3 + 10*c**2 - 9*c. Let j be p(9). Suppose 344 = 4*y + 2*w, j*y - 3*w = y - 81. Is 12 a factor of y?
False
Let g(i) = 4*i**2 - 7*i + 7. Let u be (0 + 5)*(-8 + 9). Suppose -u*c = -1 - 24. Is 21 a factor of g(c)?
False
Let n(x) = -4*x - 10. Let r(d) = 1. Let y(k) = n(k) + r(k). Is 3 a factor of y(-4)?
False
Let h(c) = 5*c + 3*c**2 - 24 + 2*c**2 + 3*c**2 - 7*c**2. Does 12 divide h(-9)?
True
Let q be (2 + -8)*(-2)/(-3). Is (-1 - q) + ((-655)/(-5) - 0) a multiple of 35?
False
Let g be 40/180 + 2246/18. Let l = 100 + g. Is 45 a factor of l?
True
Let g = -1214 - -1867. Does 21 divide g?
False
Let b = -11 - -18. Suppose -27 = -f + 5*h, 0*f + h + b = f. Suppose -2*a - 4*m = -126, -3*a + 149 = -0*a - f*m. Is a a multiple of 12?
False
Suppose 4*p + 2*y = -10 + 4, 5*y = 2*p + 33. Is 33/p*-2*8 a multiple of 34?
False
Let k(f) = -633*f + 5*f**2 + 641*f - 2 - 4. Does 15 divide k(-7)?
False
Let u be 2 + 0 + (-6 - (-12)/4). Does 18 divide (u/(-2))/(2 - (-215)/(-108))?
True
Suppose -k = -4*c + 56, -2*c + 3*c - 21 = 2*k. Suppose -4*g + 59 + c = 0. Suppose -4*f + g = -4*y + 190, 3*y - f = 133. Does 22 divide y?
False
Suppose s - 3*s = 3*n - 195, 2*n - 5*s - 130 = 0. Let v be 78/n*(-5)/(-2). Suppose 4*j + 151 = o + 2*o, -157 = -v*o + j. Is 15 a factor of o?
False
Suppose 3*d - 8 - 10 = 0. Let z be 5 - 114/24 - 227/(-4). Is 1/(-2)*d + z a multiple of 18?
True
Let m(p) = 25*p**3 - 6*p**2 + 9*p + 19. Is m(3) a multiple of 7?
False
Let c(t) = 10*t - 10. Let o = 10 + -14. Let j be o/((-7 + 3)/4). Is c(j) a multiple of 10?
True
Suppose 0 = -o - o. Suppose o = v + 2 - 9. Suppose 2 + v = z. Is 4 a factor of z?
False
Let d = -34 + 43. Let q(n) = -d + 9*n + 13*n + n. Does 20 divide q(3)?
True
Let s(p) = -p**3 + 4*p**2 - 5. Let q be s(4). Let n(a) = 10*a**2 + a - 1. Let v be n(q). Suppose 2*y - 3*d = 163, 6*y - 4*d - v = 3*y. Is y a multiple of 19?
False
Let n(b) = -14*b - 31. Let t(z) = -z. Let j(r) = n(r) - 6*t(r). Does 15 divide j(-7)?
False
Suppose 0 = -4*f - 10 - 2. Let b = 22 + -34. Let r = f - b. Is 9 a factor of r?
True
Let z(v) = -58*v - 47. Let f be z(-7). Suppose -109 = -12*l + f. Is 39 a factor of l?
True
Let x = -596 - -1138. Is x a multiple of 18?
False
Let j = 723 - 57. Is j a multiple of 74?
True
Let v(l) be the second derivative of -l**5/20 - 11*l**4/12 + 3*l**3 - 4*l**2 - 15*l. Is 12 a factor of v(-13)?
True
Let i = 14 + -41. Let h = 36 + i. Does 9 divide h?
True
Suppose 3*m - m - 452 = 0. Let u = -26 + m. Is u a multiple of 13?
False
Let t(p) = p**2 + 7*p. Let n be t(-4). Let m(d) = -3*d + 9. Let w(b) = 4*b - 9. Let o(i) = -7*m(i) - 6*w(i). Is o(n) a multiple of 16?
False
Suppose -2*j = b - 15, -2*j - 3*j - 2*b + 37 = 0. Suppose -2*p - 23 = -4*h - 3*p, h - 4*p + j = 0. Is h a multiple of 5?
True
Suppose 3*r - 14 = -4*r. Suppose 0 = -3*o + i - 13, 0 = 5*o - r*i + i + 25. Is 29 a factor of -3*1/o*58?
True
Let y = -1376 - -1447. Does 20 divide y?
False
Let y(d) be the third derivative of 11*d**4/24 + 13*d**3/6 - 34*d**2. Is y(7) a multiple of 9?
True
Suppose 4*x = w - 500, -5*x - 516 - 963 = -3*w. Is 4 a factor of w?
True
Is 8 a factor of 6*-34*63/(-42)?
False
Let q be (130/(-30) + -1)*(-6)/4. Suppose -l = -2 - 2. Suppose q*p - l*p - 160 = 0. Is p a multiple of 20?
True
Let b = -4506 + 7846. Is 21 a factor of b?
False
Let v(x) = x**2 - 26*x - 30. Does 18 divide v(32)?
True
Suppose 1710 = 10*z + 5*z. Does 3 divide z?
True
Let m(d) = 4*d - 5. Let p be m(6). Suppose 20*i - 5 = p*i. Suppose -i*y + 109 = -71. Is y a multiple of 12?
True
Let w(v) = 6*v**2 - 2. Let s be w(1). Suppose s*o - 288 = -2*o. Is o a multiple of 6?
True
Let p(s) = s**3 - 3*s**2 - 4*s + 2. Let f be p(3). Let g(v) = -v**3 + v + 22. Let k be g(0). Let b = f + k. Does 6 divide b?
True
Let x(l) = -13 + 5 - 35 + 5 + 5*l. Is 27 a factor of x(13)?
True
Suppose -34 = -2*u - 4*i, u + 3*i - 5 = 15. Suppose 0 = -3*f + 40 + u. Does 17 divide f?
True
Let y(r) = r**3 + r**2 + 1. Let q(h) = 7*h**3 - 4*h**2 + 12*h + 11. Let w(k) = q(k) - 6*y(k). Does 14 divide w(9)?
False
Suppose 5*v + 4*y + 733 = -0*v, 572 = -4*v + 4*y. Let z = -137 - v. Does 8 divide z?
True
Suppose -4*h + 5*s + 36 = 0, -h - h + 2*s = -16. Suppose 95 = h*g + 3*z - 52, g = 4*z + 32. Is g a multiple of 18?
True
Suppose -4*t - 24 = -5*p + 18, 0 = -3*p + 2*t + 24. Let s be 21/(-14)*(-16)/p. Suppose -4*h + s*w + 138 = -h, w - 123 = -3*h. Is h a multiple of 14?
True
Suppose -f + 14 = -5. Suppose -2*l + f = -101. Is l a multiple of 20?
True
Let s(z) = -4*z + 5. Let f(n) = n - 2. Let t(v) = -7*f(v) - 2*s(v). Let q be t(-4). Suppose -i + 19 = 5*d - 4, -i + 2*d + 58 = q. Does 16 divide i?
True
Sup