be 3/(3/(-2) - -1). Let o(h) = 3*h**2 + 3*h - 5. Is o(p) a multiple of 25?
False
Suppose -3*l + 1417 = -149. Is 9 a factor of l?
True
Let f(l) = -l**3 + 28*l**2 + 11*l + 112. Is f(28) a multiple of 15?
True
Let f = -298 + 502. Let k = -54 + f. Is (-4)/10*k/(-5) a multiple of 7?
False
Suppose 4*j - 3*a = -295, 3*j + 215 = -3*a + 4*a. Is 9 a factor of ((-20)/j + (-2264)/(-14))/2?
True
Let t be 15/(-10) - 12/(-8). Suppose d - 2*w - w - 129 = t, 129 = d + 2*w. Suppose -4*h - n = -d, -3*n = -2*h + 2*n + 81. Does 11 divide h?
True
Let d = 32 - 0. Let c be (8 + -5 - -7)*(-2)/(-4). Suppose c*b = d + 148. Does 9 divide b?
True
Suppose -x - 4*x = 5*w + 430, -5*w - x = 442. Let r = w + 114. Does 2 divide r?
False
Let g = 16 + -11. Let d(k) = -k**3 + 6*k**2 - 7*k + 4. Let o be d(g). Is 18 a factor of 352/o*(-3)/2?
False
Let t be 1 - -1 - (-7)/7. Suppose 216 = 4*y - 5*s + 2*s, -t*s - 63 = -y. Does 14 divide y?
False
Suppose -2361 + 729 = -8*j. Is j a multiple of 51?
True
Let g(l) = -82*l - 26. Does 32 divide g(-2)?
False
Let n(o) = 0 + 4 - 167*o**2 - 6 + 172*o**2 - 2*o. Does 19 divide n(-6)?
True
Let f(g) = 3*g - 15. Let l be f(6). Let d = 7 + l. Let p = d + 58. Is 15 a factor of p?
False
Suppose -r = v - 132, -5*r - 276 + 931 = 4*v. Does 3 divide r?
False
Suppose -j - 11 = -15. Suppose 5 = -j*t + 17. Suppose 2*d = -t*d + 50. Is d a multiple of 5?
True
Let t be -3 + (-4)/(16/(-4)). Let z be (-6)/t + (2 - 3). Suppose -l - 8 - 6 = -z*f, 4 = -2*l. Is 4 a factor of f?
False
Suppose -9*j + 135 + 18 = 0. Does 16 divide j?
False
Is 3 - (2 - 6)*5 a multiple of 8?
False
Suppose -12*s + 6*s = -1950. Does 65 divide s?
True
Let d(b) = -14*b + 316. Does 22 divide d(21)?
True
Suppose -2*g - 13*r + 9*r + 448 = 0, -g = 4*r - 232. Is 18 a factor of g?
True
Suppose 3*w - 21 = -2*w + n, -18 = -2*w - 2*n. Let b = w + -2. Suppose -116 = -b*i - i. Is 6 a factor of i?
False
Suppose 5*d = 31 + 4. Let y be 14/d - 50/(-1). Let l = y - 20. Is 8 a factor of l?
True
Let s = 34 - 24. Let d(h) = 4 + 9*h**2 + 3*h**3 + 14*h - 3*h**3 - h**3. Is d(s) a multiple of 15?
False
Let w be 3/9 - 38/6. Let l(t) = 4*t**2 + 2*t + 3. Is 15 a factor of l(w)?
True
Suppose -98 = 3*q + 208. Suppose -x - 39 = 28. Let a = x - q. Does 9 divide a?
False
Suppose 7*h + 500 + 543 = 0. Let t = 3 - h. Is t a multiple of 23?
False
Let v be (25/(-10))/(-5)*8. Suppose 2 = a + a, 2*t = v*a + 44. Is t a multiple of 9?
False
Let m = 197 + -899. Is 13 a factor of (m/(-24))/((-3)/(-8))?
True
Suppose p - 1 + 3 = 0. Let x be p + (2 - (3 + -3)). Suppose -5*f + x*f + 390 = 0. Does 26 divide f?
True
Suppose -46*r + 3178 = -2204. Is r a multiple of 13?
True
Suppose -2730 = -5*w + 2*i, -8*w - 3*i = -7*w - 546. Is 21 a factor of w?
True
Suppose 30 = 3*z + 5*h - 7, -z + h - 1 = 0. Let c be (2/z)/(4/16). Suppose 2*i + 4*a + 64 = 5*i, -2*i + 46 = -c*a. Does 16 divide i?
False
Let x(q) = q**3 - 11*q**2 - 17*q - 56. Is 9 a factor of x(14)?
False
Suppose 4*q + 15*g - 12*g - 2895 = 0, 2*q - g - 1455 = 0. Is q a multiple of 11?
True
Let n = -26 - -37. Let y(f) = 2*f**2 - 18*f + 1. Is 15 a factor of y(n)?
True
Let z(n) = 2*n - 13. Let p be z(9). Suppose 0 = c + p*a + 10 - 58, -5*a = -4*c + 142. Is 8 a factor of c?
False
Suppose -2*v = -45 + 1. Suppose 0*a - v = -3*a + 5*k, 4 = 2*a + 2*k. Suppose 0*y - 5*u = -y - 4, -4*y + a*u = -64. Is y a multiple of 12?
False
Let p(n) = -n**3 + 15*n**2 - 2*n + 9. Is p(9) a multiple of 19?
False
Let w(t) = 849*t + 71. Does 77 divide w(3)?
True
Suppose 2*l + 15 = 7*l. Let s be 705/9 - 1/l. Let o = s + -54. Does 4 divide o?
True
Suppose -r + 4*s + 22 = 0, s = -5*r + 4*s + 42. Does 25 divide (-2 + 4 + -25)/(r/(-30))?
False
Suppose 20 = -5*l - 5*j, -4*j = -3*j - 4. Is (-9)/12 - 1086/l a multiple of 36?
False
Let r = -8 + -52. Is 33 a factor of (11/2*-1)/(5/r)?
True
Let m be 14/(-63)*-9 - (74 + 1). Let v = -57 - m. Is 6 a factor of v?
False
Let f be (-9)/6*(-9 - -1). Let i be ((-6)/5)/(f/(-40)). Suppose i*n + 52 = 8*n. Is n a multiple of 3?
False
Let j(g) = g + 9. Let s = 1 - -6. Let c be j(s). Let i = c - 13. Is i even?
False
Suppose 2*y = -k - 3 + 2, 0 = 4*y - 3*k - 23. Suppose -y*x = -303 - 41. Does 36 divide x?
False
Suppose 5*p = -5*b - 25, -2*b + 2*p = 2*b - 4. Is 9 a factor of (-1 + 7)*b*-6?
True
Suppose -18*t = -394 - 1244. Is 7 a factor of t?
True
Let p = 16 + -14. Suppose -w + 3*w = 3*z - 33, -27 = p*w - z. Is 2/(-3) + (-1052)/w a multiple of 22?
False
Suppose -2*b = c - 2*c - 5, 10 = 2*c. Suppose -10*u = -b*u. Is 16 a factor of 0 - (-55 - (u - -1))?
False
Let y = 1722 - 205. Does 15 divide y?
False
Let n = -954 + 1338. Suppose 3*a = -a + n. Is a a multiple of 20?
False
Let d = 190 - 103. Is d a multiple of 28?
False
Suppose q - 1 = -3*u + 2, 15 = 5*u. Is (3*(-56)/12)/(2/q) a multiple of 7?
True
Suppose -t + 35 - 195 = 0. Let c be (t/(-48))/(1/(-3)). Is 17 a factor of (-1065)/(-21) + c/(-35)?
True
Let a = -183 - -513. Suppose 0 = -u - 2*u + a. Does 14 divide u?
False
Suppose 5*k - 3*k = -360. Suppose -s = -2*s + 4. Does 15 divide (s/(-10))/(4/k)?
False
Suppose t - 7*t = -810. Suppose 3*o = -u + t + 202, -2*u = 5*o - 563. Does 6 divide o?
False
Let t(c) be the third derivative of 7*c**4/8 - 5*c**3/6 + c**2. Does 37 divide t(2)?
True
Suppose d - 140 = -3*d + 2*w, -2*w - 8 = 0. Let l = -34 + d. Is -4 + 28 - (l - 2) a multiple of 5?
False
Is (-53919)/(-81) + 1/(6/(-4)) a multiple of 16?
False
Suppose 11*d = -14*d + 6825. Is 21 a factor of d?
True
Let a be 750/(-6) - (1 + 3). Let o = -49 - a. Does 10 divide o?
True
Suppose -4 = -a, m + 6*a = 3*a - 729. Does 11 divide (-46)/69*m/2?
False
Let v(x) = 122*x + 54. Is v(2) a multiple of 9?
False
Let x(n) = n**2 + 7*n - 3. Let b(f) = -25*f**2 - f. Let m be b(-1). Let a be ((-108)/m)/((-1)/2). Is 2 a factor of x(a)?
False
Let r = -22 + -5. Let s = r - -57. Does 3 divide s?
True
Let t(h) be the third derivative of 1/30*h**5 - 4*h**2 + 3*h**3 + 0 + 0*h + 19/24*h**4. Is 26 a factor of t(-12)?
True
Let j = -20 + 25. Is 10 - (2/j - (-108)/(-45)) a multiple of 12?
True
Suppose -2*o - z = -4524 + 970, 2*z = 4*o - 7100. Is o a multiple of 12?
True
Let o(q) = -q**3 + 8*q**2 + 6*q + 11. Suppose 0 = -2*c + 11 + 5. Is o(c) a multiple of 9?
False
Suppose -40 - 53 = 3*s. Let p = -50 - -9. Let k = s - p. Is 5 a factor of k?
True
Suppose -5*x = -13 + 3. Suppose -10 = -5*v + 2*v - 2*o, -x*o + 10 = v. Suppose -h + 15 + 7 = v. Is h a multiple of 11?
True
Suppose 4*k + 8*d = 9*d + 3393, 3*k = -2*d + 2531. Does 34 divide k?
False
Let w be 1*-4 + (18 - -39). Suppose o + w = 3*n, -6*o + o = -20. Is n a multiple of 5?
False
Let g(z) = -z**3 + 12*z**2 + 19*z + 12. Does 90 divide g(-7)?
True
Suppose -2*d + 5 = -v + 20, 3*v = 9. Let i be 1765/15 - (-4)/d. Suppose 4*b = i + 35. Does 9 divide b?
False
Let w(r) be the first derivative of -r**4/4 + 11*r**3/3 + 13*r**2/2 - 2*r + 4. Let q be w(12). Let v(p) = p**2 - 7*p + 24. Does 18 divide v(q)?
True
Let n(a) = a**3 - 18*a**2 + a - 11. Suppose 2*k - 3 - 33 = 0. Is n(k) even?
False
Is 13 a factor of (1040/(-180))/((-4)/738)?
True
Suppose 0 = -w + 1, -2*w - 513 = -2*m - 3*w. Is 9 a factor of m?
False
Suppose -2*f + 20 = -0*f. Suppose 4*r - 3*t + 2 = f, -3*r - 4*t + 31 = 0. Suppose r*g = -3*q + 79, q - 2*g - 8 = -0*g. Does 6 divide q?
True
Let b(g) = -8*g**3 + 8*g + 3. Let z be b(-3). Suppose -z = -u + 69. Suppose -6*p = -42 - u. Is 17 a factor of p?
True
Suppose 3*w - 2*r = 1614 + 334, 0 = -3*w - 2*r + 1940. Is w a multiple of 36?
True
Let r = -96 - -102. Suppose r - 83 = -2*v + 5*t, -10 = 2*t. Is v even?
True
Let a(p) = 4*p**2 - 10*p - 36. Does 8 divide a(10)?
True
Suppose -2*l - 3*t - 30 = -5, 4*l = -3*t - 41. Is 12*((-20)/l - -2) a multiple of 18?
True
Suppose -o - 25 = 4*o. Let z(u) = 3*u**2 + 9*u + 10. Let g be z(o). Suppose -g - 36 = -4*r. Does 19 divide r?
True
Suppose d = -3*f + 1779, 3*f - 1779 = -3*d - 0*d. Suppose 3*l = -z + f, 0 = 4*l + 5*z - z - 788. Does 22 divide l?
True
Let l be (-10)/(-15) + 3/9. Let p be 2236/24 + l/(-6). Suppose p = 4*w - 3*f, 42 = 4*w + 5*f - 27. Does 20 divide w?
False
Let b(z) = -z**3 + 8*z**2 + 2*z + 4. Let t(x) = -16*x**2 + x + 1. Let s be t(-1). Let d = 24 + s. Does 17 divide b(d)?
False
Suppose 2*w - 7 = -1. Suppose 10*s - w*s = 868. Suppose -2*c - s = -6*c. Is c a multiple of 19?
False
Let r be ((