- 5*a + 10*a = q. Does 9 divide v?
True
Does 11 divide -4*3 - (-15820)/35?
True
Let q = 3179 + -1986. Is q a multiple of 22?
False
Let a = 168 + -356. Does 3 divide 2/10 + a/(-10)?
False
Let t(n) = -n**2 - 9*n + 14. Let v be t(-10). Suppose 2*q - 3*l = 136 + 56, 384 = v*q - 2*l. Does 14 divide q?
False
Suppose 3*v + 5*s = 1090, 2*v + s + 718 = 4*v. Is v a multiple of 45?
True
Suppose 4*c = -5*b + 12192, -4*b - 4896 + 14625 = -5*c. Does 7 divide b?
True
Suppose -2*w = -4*h - 22, 5*w - 4*h - 44 = w. Let o(p) = p + 38. Is o(w) a multiple of 10?
False
Let b = 215 + 7. Is 27 a factor of b?
False
Let q be 3/9*6 - 6. Is 7 a factor of (-28)/(0 + 2 + q)?
True
Let x = 54 - 100. Suppose -3*y = -0*y - 264. Let t = y + x. Is t a multiple of 15?
False
Let t = -1677 + 2867. Is 51 a factor of t/(-28)*4*3/(-2)?
True
Let j = 311 - 221. Is 9 a factor of j?
True
Suppose 143*u = 136*u + 2352. Does 8 divide u?
True
Let q = 787 + 586. Is 87 a factor of q?
False
Suppose -219 = -9*j + 69. Does 22 divide (132/8)/(6*1/j)?
True
Suppose 0 = -5*m - 4*a + 34, 0*m = -5*m + 3*a + 27. Let n = m + 11. Is n even?
False
Let p(a) be the second derivative of a**5/20 - 5*a**4/6 + 3*a**3/2 + a**2 - 3*a. Let h be p(9). Is 6 a factor of h/15 + 433/15?
False
Let c = -908 - -1888. Is 49 a factor of c?
True
Suppose 9*j - 79*j + 2940 = 0. Does 2 divide j?
True
Let v(z) = -2*z + 24. Let d(p) = -3*p + 48. Let k(u) = 3*d(u) - 7*v(u). Is 22 a factor of k(16)?
False
Let l(f) = 2*f**2 + 20*f + 8. Is l(-10) even?
True
Suppose -g + 210 = 4*c + 47, 5*g = -25. Let r = -1 + 4. Suppose -2*y = -y + r*k - c, -4*y - k = -179. Is y a multiple of 9?
True
Let y(f) = f**3 + 7*f**2 - 7*f. Let u be y(-8). Is (2 + -4)/(u/360) a multiple of 18?
True
Let i(c) = c**2 + 3*c - 18. Let o = 61 - 70. Does 6 divide i(o)?
True
Suppose -15*n + 17*n = 88. Is 36 a factor of n?
False
Let m be 7/(-1 + 4 + -4). Let l(w) = w**2 + 5*w - 5. Let d be l(m). Is 39/d - (-3)/(-9) even?
True
Let w be 1/((-2)/(-18) - 10/(-72)). Suppose -w*p = 9*p - 2340. Is 15 a factor of p?
True
Suppose 2*z + 2*a - 8 = 0, -4*a = 2*z + 1 - 11. Does 11 divide 30 + z/(-9)*-9?
True
Let j(b) = -b**2 + 6*b + 4. Suppose 0 = 3*a + 3*r + 6, -3 = r + 1. Suppose 2*y = -o + 10, -a*y - 2*o = 3*y - 26. Is 4 a factor of j(y)?
True
Let a(c) = -c + c - c + 20. Let q be 20/150 + 0 - (-2)/(-15). Does 20 divide a(q)?
True
Let k(c) = 46*c + 6. Let b be k(-2). Let m = b - -171. Does 19 divide m?
False
Let v be -64 - (-5)/(-10)*-2. Is (30/(-45))/(2/v) a multiple of 8?
False
Let v = -23 + 48. Suppose v = 5*f - 55. Does 16 divide f?
True
Let x be 0 - (1 + 8/(-2)). Suppose -5*k + 164 = -j, -x*k - 3*j + 110 = 26. Is k a multiple of 19?
False
Suppose -2*p + 494 = 3*i, -393 = -p - 4*i - 156. Is 5 a factor of p?
False
Let u = -2614 - -5753. Does 73 divide u?
True
Let u = 46 + -21. Suppose -67 = -4*y + u. Let v = y - -4. Is 9 a factor of v?
True
Suppose -3*z + 86 = -424. Suppose 0 = -2*m - 2*t + z, -3*t - 180 = -2*m - 0*t. Is 14 a factor of 1*m - (-11 + 14)?
True
Suppose -5*w - 81 = 5*s - s, -3*s = -w + 37. Let q = 18 + s. Is q a multiple of 4?
True
Let g(l) = l**3 - 3*l**2 - 3*l + 6. Let p be g(3). Is (-89)/p + (-2)/(-6) a multiple of 6?
True
Suppose -4*a + q + 33 = -0*q, 2*q - 4 = -2*a. Suppose 3*d - a*d = -2*l + 500, 1289 = 5*l + 3*d. Does 31 divide l?
False
Is 2 a factor of (-1 - (-18)/(-9))*22/(-3)?
True
Let d(j) be the second derivative of -4*j + 1/3*j**3 + 1/12*j**4 + 0 + 9/2*j**2. Does 19 divide d(-6)?
False
Let r be 5 + 2/(-8)*-4. Suppose 8*z = r*z + 444. Is z a multiple of 38?
False
Suppose 5 - 8 = -a. Let x = 8 - a. Suppose 0 = -3*b - x*r + 113, 2*b - 6*r - 68 = -2*r. Does 9 divide b?
True
Let d(w) = w**3 - 17*w**2 + 19*w - 15. Suppose 5*l + 0*m - m = 75, 0 = -2*l + 2*m + 22. Is d(l) a multiple of 8?
False
Suppose -p + t = -4*t - 9, -2*t + 2 = p. Suppose p*w + 21 = 197. Is w a multiple of 4?
True
Let p = -94 - -169. Let l = 198 - p. Is l a multiple of 24?
False
Suppose -1151*n + 1161*n = 9070. Is 25 a factor of n?
False
Let m be (4 + -7)*218/(-6). Let p = m - -26. Is p a multiple of 27?
True
Let p = 23 + 5. Let d = -7 - 0. Let h = d + p. Is h a multiple of 7?
True
Let v = 284 + -226. Is 2 a factor of v?
True
Suppose -5*i + 401 = -5*x - 79, -3*i = -4*x - 288. Suppose -14*k + 12*k + i = 0. Does 3 divide k?
True
Suppose -18*w - 811 + 2269 = 0. Is w a multiple of 2?
False
Suppose -5*t + 633 = 18. Is 41 a factor of t?
True
Suppose -386*x = -394*x + 480. Is x a multiple of 5?
True
Let s = 988 - 787. Is s a multiple of 16?
False
Let y(v) = -v + 16. Let o(r) = 2*r - 17. Let p(i) = 3*o(i) + 2*y(i). Let q be p(15). Let l = q + -27. Is l a multiple of 6?
False
Let t = -32 + 33. Is 20 a factor of (68 - 4) + -2 + t?
False
Let h(s) = -19*s - 2. Let c be h(2). Let b be 657 - 1 - c/10. Is b/9*(-30)/(-25) a multiple of 11?
True
Let d(k) = 2*k + 12. Let i = -18 + 28. Is 16 a factor of d(i)?
True
Suppose 0 = -104*l + 107*l - 879. Is l a multiple of 11?
False
Let p be 8/(-36) - (-1937)/9. Suppose -5*r + 5*j = -0*j - p, -5*j - 20 = 0. Is r a multiple of 7?
False
Let o = -185 + 415. Suppose 5*c + 0*c + 4*d = o, -3*c + 175 = -5*d. Is c a multiple of 10?
True
Suppose -2*i - 130 = -w + 141, -3*i = -w + 274. Suppose -2*p - 3*c + 170 = 0, -3*p = 5*c - 3*c - w. Does 7 divide p?
True
Is 74 a factor of ((-8)/(-6))/((-8)/(-95904)*8)?
True
Let k(l) = 19*l**2 + 6*l - 39. Is 25 a factor of k(3)?
True
Is 27 a factor of (-9)/(3*7/(-441))?
True
Let f(b) = b**2 - 16*b - 9. Let c be f(16). Let r = c - -162. Does 17 divide r?
True
Let g(r) = -r**2 + 5*r - 8. Let k(s) = s**2 - 5*s + 9. Let t(u) = -3*g(u) - 2*k(u). Let d be t(4). Suppose d*n - 36 = n. Does 12 divide n?
True
Let m(z) = -3*z**3 + 59*z**2 + 16*z - 141. Let v(t) = -t**3 + 20*t**2 + 5*t - 47. Let g(q) = 6*m(q) - 17*v(q). Is 16 a factor of g(14)?
False
Suppose 5*v + 5 = -65. Let g = v + 21. Suppose 5*n - g*n + 190 = 0. Is 19 a factor of n?
True
Is (-119 - 1)/((-24)/128) a multiple of 9?
False
Let h = 196 + 470. Is h a multiple of 18?
True
Suppose 36260 = -s + 29*s. Is 16 a factor of s?
False
Let p = -18 - -252. Is 39 a factor of p?
True
Suppose -4*p + 19 + 1 = 0, -5*o = 5*p - 155. Let l = o + -22. Is 4 a factor of l?
True
Let y(z) = 36*z - 4. Let m(n) = -9*n + 1. Let j(a) = 22*m(a) + 6*y(a). Is 16 a factor of j(1)?
True
Let b(u) be the third derivative of u**5/60 + 5*u**4/12 - 2*u**3 - u**2. Let f be 4 + -1 + 16*1/(-1). Is 12 a factor of b(f)?
False
Let t be 3 + -1*-17*2. Suppose 0 = -2*v + 35 + t. Suppose 6*h - v = 2*h. Is 6 a factor of h?
False
Let w(j) = -j**3 - 18*j**2 - 23*j - 2. Let h be w(-17). Let i = h + -90. Does 6 divide i?
False
Let u be 3200/18 - (-18)/81. Suppose 4*h + u = 474. Does 18 divide h?
False
Suppose 3*w - 3 = -0*w. Let o(p) = 108*p**3 + p**2 - 1. Let m be o(w). Let n = -61 + m. Is 11 a factor of n?
False
Let h be 10/65 - (-2)/(-13). Suppose -m + h*m = -3. Suppose m*z - 4*z + 7 = 0. Is 7 a factor of z?
True
Let u(h) = 107*h**2 - 8*h - 26. Let w be u(-4). Suppose 0 = -10*i + w + 392. Is i a multiple of 11?
False
Let h = 19 + -2. Suppose 3*w = -2*c + h, 0 = w + 2*c - 14 + 3. Suppose m - 21 = -w. Is 5 a factor of m?
False
Does 7 divide 1673 + -1 + (-184)/(-23)?
True
Let f(c) = 3*c - 11. Let d(i) = -3*i + 8. Let m(o) = -7*d(o) - 5*f(o). Let x be (0 - (-1 - 0))*1. Does 2 divide m(x)?
False
Suppose 2*u + 2*u = -88. Let i = 85 + u. Suppose -k + i = n, -4*n = n + 2*k - 318. Is n a multiple of 16?
True
Is 0 - (-5 + 8 - (-3950)/(-2)) a multiple of 35?
False
Let q(i) = -i**2 + 13*i + 8. Let f(d) = 8*d - 4. Let c be f(2). Does 4 divide q(c)?
True
Suppose -3*p - 2*t + 594 = 3*t, 0 = 4*t. Is 26 a factor of p?
False
Let p(o) = -9*o - 40. Let i be p(-6). Let y(x) = x + 8. Is y(i) a multiple of 22?
True
Suppose -6*w + 466 = -20. Let s = w + 108. Is s a multiple of 21?
True
Suppose 5*h - 265 = -2*q, 5*q = -0*h - 2*h + 106. Let t = h + -32. Does 10 divide t?
False
Let m(y) = -7*y**3 - 4*y**2 - 24*y - 24. Is m(-4) a multiple of 19?
True
Let k = 51 + -30. Suppose k = -0*p + 3*p. Let h(a) = -a**3 + 7*a**2 + 9*a - 7. Does 12 divide h(p)?
False
Let r be 16/24*(-27)/(-6). Let l(k) = -5 - 4 - r - 5*k. Does 3 divide l(-3)?
True
Let s be (-5)/(-1*4/28). Let i = -30 + s. Suppose 4*b = -i*m + 50, -4*m - 30 = -7*m - b. Is m a multiple of 10?
True
Let o be