7. Is y a multiple of 13?
True
Suppose -2*w + 1096 = 4*m - 5*w, 0 = -3*w + 12. Does 20 divide m?
False
Suppose n = -3*n - 3*v - 13, -5*v - 11 = 4*n. Suppose 2*r = 5*u + 2612, -831 - 445 = -r - 5*u. Is 23 a factor of n/14 - r/(-28)?
True
Let t be -46*(21/6 - 4). Let i = 9 + t. Is i a multiple of 6?
False
Let h(m) be the third derivative of m**5/30 - m**4/24 + 3*m**3/2 + 11*m**2. Is 34 a factor of h(4)?
False
Let x = -25 - -43. Let m = x + -9. Does 3 divide m?
True
Let i = 643 + -316. Let q = i - 127. Let u = -131 + q. Is u a multiple of 23?
True
Let h = -18 + -29. Let q = h - -107. Is 5 a factor of q?
True
Let j = 2091 - 1430. Does 65 divide j?
False
Suppose -2*h - 54*h = 0. Let v(b) = -b + 1. Let n(j) = -j. Let o(k) = -3*n(k) + 2*v(k). Is o(h) a multiple of 2?
True
Suppose -5*r - 86 = -3*r. Let v be (-4)/(-18) - r/9. Suppose v*j = g + 200, -2*j - 2*g = -g - 87. Is j a multiple of 16?
False
Let t(u) = -533*u - 260. Is 26 a factor of t(-10)?
True
Suppose 0 = 4*d - p - 831, -5*p = 6*d - 7*d + 184. Does 11 divide d?
True
Let o = -35 + 35. Is 14 a factor of (3822/65)/(3/10 + o)?
True
Suppose 3*a = 2*b - 304, -b - 5*a = -0*a - 126. Does 15 divide b?
False
Suppose -4*f + 836 = -5*x, 0 = x + 3 + 1. Is f a multiple of 6?
True
Let p(m) = -90*m**3 + 5*m**2 + m. Is 22 a factor of p(-3)?
False
Suppose -20 = -5*g - 4*s, -2*g = -2*s - 1 + 11. Suppose -4*u = -4*n + 8, 0*u - 16 = -2*u - 2*n. Suppose u*q + g*q = 24. Is 7 a factor of q?
False
Let d be (-222)/(-5) + 10/(-25). Let p = d - 17. Suppose 135 = 5*a - l, 0 = -0*a - a + l + p. Does 9 divide a?
True
Let t be (-119)/49 + 2*3/14. Let b(u) = -6*u**3 + 3*u**2 - u - 1. Is 5 a factor of b(t)?
False
Suppose n - 191 = 2*d, 2*n + 115 = 3*d + 496. Is 63 a factor of n?
True
Suppose 3*x + 238 = b, -10*x + 5*x - 10 = 0. Is 14 a factor of b?
False
Let i be -5 + 7 + (-482)/(-2). Let y = -136 + i. Let h = 150 - y. Does 8 divide h?
False
Let y = -99 + 139. Let d = y + -10. Is 3 a factor of d?
True
Suppose g - 5*g + 225 = 5*d, -4*g + 90 = 2*d. Let p(j) = j**3 + j**2 - 5*j + 7. Let k be p(3). Is d/3*k/6 a multiple of 14?
True
Suppose -36 = -29*r + 2516. Is r a multiple of 16?
False
Let f(w) = w + 8. Let a be f(0). Suppose -c = q - 2*c - 8, 2*c = -a. Suppose -5*x + z = -z - 69, -q*x + z + 57 = 0. Is x a multiple of 9?
False
Let l(i) = -i**3 - 6*i**2 - 6*i - 2. Let z be l(-5). Suppose 0 = 3*v - 2*r - r - 3, -2*v = -z*r - 1. Suppose -v*s - 3*s = -35. Does 4 divide s?
False
Let b be (414/(-15))/(10/(-125)). Let v = -2 - -12. Is 2/v + b/25 a multiple of 5?
False
Let f be 5*(-4)/(-30)*-15. Let p(q) = -q**3 - 9*q**2 + 10*q + 5. Let m be p(f). Suppose 3*x - a - 48 = 0, m*x + 5*a - 105 = -5. Is 5 a factor of x?
False
Let v be (9/(-2))/(2/4). Let d(h) = h + 1. Let m(r) = -r + 16. Let f(b) = 2*d(b) + m(b). Is 9 a factor of f(v)?
True
Let n = 526 + 1024. Is n a multiple of 64?
False
Let j(i) = -i - 12. Let p be j(-8). Let g(b) = -2*b**2 - 8*b + 6. Let l(c) = -c**2 - 3*c + 2. Let s(f) = 3*g(f) - 8*l(f). Does 26 divide s(p)?
False
Let z(b) be the first derivative of b**4/4 + b**2/2 + 25*b - 4. Let y be z(0). Let x = y + -12. Does 13 divide x?
True
Let u be 7 + (-154)/35 - (-4)/10. Let r = u + 41. Is 11 a factor of r?
True
Let q(u) = -7*u**2 - 15*u - 5. Let r(i) = -4*i**2 - 8*i - 3. Let o(s) = -3*q(s) + 5*r(s). Let l be o(-5). Let x(f) = f**2 + 22. Is x(l) a multiple of 20?
False
Suppose -15525 = -5*u + 4*r, -3*r - 4100 - 2110 = -2*u. Is 9 a factor of u?
True
Let h(m) = -2*m**2 + 15*m - 8. Let r be h(6). Let k(a) = a**2 + 7. Let q be k(0). Is 29 a factor of r/(-35) - (-611)/q?
True
Suppose -7*z + 4*z = -3*g - 1887, 0 = 5*z - 2*g - 3157. Is 65 a factor of z?
False
Suppose 2*o + 5*l - 8 = 3*l, 0 = -3*o + 5*l + 20. Suppose o*y - 7*y = -58. Is 23 a factor of y?
False
Suppose -772 = 27*f - 16972. Is 25 a factor of f?
True
Let k = 4 + -36. Is 23 a factor of (k/2 - -2)*(-152)/16?
False
Let k be 39/(-2) - (-6)/12. Let d = 19 + k. Suppose 5*y - 3*g - g - 39 = d, 12 = y - 5*g. Does 4 divide y?
False
Let t = -26 + -11. Let l(z) = z**3 - 9*z**2 + 7*z + 2. Let r be l(9). Let p = t + r. Does 14 divide p?
True
Suppose -5*n - 6 = 9. Let x be n + 0 + (-16 - 0). Let h = 5 - x. Does 8 divide h?
True
Let f(p) = -p**3 - 7*p**2 - 7*p. Let q be 2/(-5) - ((-290)/(-25) + -3). Is 18 a factor of f(q)?
False
Is (-8)/(64/(-1048)) + 15/(-3) a multiple of 4?
False
Let o = -1241 + 2477. Is o a multiple of 12?
True
Suppose 5*x - 1008 - 877 = -3*o, 0 = -2*x + 3*o + 775. Is x a multiple of 19?
True
Suppose 32 = -3*i + i. Let o = 32 + i. Suppose 8*g = 9*g - o. Is 16 a factor of g?
True
Is 28 a factor of (-12582)/(-30) + 6/10?
True
Let w(n) = n + 4. Let j be w(6). Let b(c) = -j + c + 11 - c - c. Is 5 a factor of b(-4)?
True
Let w(v) = -v + 21. Let u be w(18). Does 2 divide (-12 + -3)/(u/(-4))?
True
Suppose -31*a + 35*a - 24 = 0. Suppose -a*k = -11 - 7. Suppose -4*w - n + 121 = 0, -4*n - 119 = -4*w - k*n. Is w a multiple of 30?
True
Suppose 2*k + 4*k = 54. Let y(z) = 2*z**3 + 5*z**2 + 4*z + 2. Let f(b) = b**3 + 6*b**2 + 4*b + 1. Let c(s) = -3*f(s) + 2*y(s). Is 15 a factor of c(k)?
False
Suppose 0 = -2*j - 2*j - 24. Let a be 15*((-33)/(-9) - 2). Let r = j + a. Does 19 divide r?
True
Suppose 4 = 14*x - 16*x. Let z(m) = 4*m**2 + 5*m + 5. Is 7 a factor of z(x)?
False
Let o be 0/((-4 - -1) + 2). Let t(i) = -i**2 - i + 5. Does 4 divide t(o)?
False
Suppose -8*i + 7*i + 19 = 0. Suppose i = j - 18. Is j a multiple of 14?
False
Let x(d) = -d**3 + 9*d**2 - 5*d - 8. Let u be x(8). Suppose 5*w + 6 - u = 0. Suppose 2*a = -w*a + 48. Is 7 a factor of a?
False
Suppose -214 = 5*w - 4*q, 4*w + 2*q + 131 + 35 = 0. Let v be (-84)/(-9)*w/(-4). Suppose -3*k = 4*z - v + 12, 0 = -2*z + 10. Does 11 divide k?
True
Suppose -3*g + 0*g = 18. Let q(r) be the second derivative of -3*r**3/2 - 3*r**2 + 2*r. Is q(g) a multiple of 18?
False
Let k = -351 - -863. Is 16 a factor of k?
True
Suppose d - 2*c = 6, 5*d - c - 2*c = 37. Let a(f) = f**3 - 5*f**2 - 11*f - 8. Is a(d) a multiple of 24?
True
Let c be ((-30)/75)/(0 + 1/(-30)). Suppose 183 = 3*t - c. Is 5 a factor of t?
True
Let p(h) = 5*h**3 - 2*h - 4. Let q be 1*(1 - (-3 + 1)). Let v be p(q). Let r = v - 83. Does 21 divide r?
True
Let d(z) = -11*z - 9. Let r be d(2). Is 4 a factor of (6/2 - r) + -1 + 4?
False
Let u = 124 - 128. Suppose 4*p - 28 = -5*l, -4*l - 2*p + 26 = -0*p. Is 5 a factor of (14/u)/((-4)/l)?
False
Let k(g) = -g**2 - 6*g + 23. Let d be k(-9). Is 5 + 2 + d + 51 a multiple of 10?
False
Suppose 10 = b - 3. Let n be 8/52 - (-50)/b. Suppose 0 = 2*f - 1 - 5, -n*w = 4*f - 100. Is w a multiple of 7?
False
Let g(d) = -6*d + 13. Let a be g(12). Let k = 169 + -267. Let s = a - k. Is 13 a factor of s?
True
Suppose 2*q + k = 5*q - 10566, 2*k + 14086 = 4*q. Is q a multiple of 64?
False
Let o be 10/(-2)*(-1 + -2). Let l = o - 4. Is l a multiple of 11?
True
Suppose 616*o - 5407 = -3*y + 618*o, 4*y - 7206 = o. Is 52 a factor of y?
False
Suppose -3*i + 5*i = -56. Let o = 42 + i. Is 11 a factor of (-4)/o + (-310)/(-7)?
True
Let q = 442 - 220. Does 7 divide q?
False
Suppose -3 = -5*j + 2*m + 17, 29 = 2*j - 5*m. Let f(d) = -d**3 + 3*d**2 - 2. Let g be f(j). Suppose -18 - 4 = -g*n. Is n a multiple of 6?
False
Let r = 127 - 124. Is -1 + (102 - 5) - (-3)/r a multiple of 7?
False
Let w(z) = 2*z + 11. Let o be w(19). Suppose o*a + 552 = 53*a. Is 6 a factor of a?
True
Suppose 0*k = -5*b - 3*k + 290, -2*k + 65 = b. Let p = 85 - b. Let q = -1 + p. Is q a multiple of 10?
False
Let v = -27 - -32. Suppose -g + 186 = v*g. Is 3 a factor of g?
False
Let s = 500 - -434. Is 18 a factor of s?
False
Let y be 126/(-27)*(-9)/6. Suppose -y*o + 4*o + 753 = 0. Does 30 divide o?
False
Suppose 2*c + 2*c + 64 = -4*n, c = 5*n - 40. Let u be 2/c*4*-620. Suppose 6*b = 76 + u. Is b a multiple of 18?
True
Suppose -12*j = -6478 + 250. Is 23 a factor of j?
False
Let v(j) = 36*j + 11*j**2 - 9*j - 5 - 22*j. Is 18 a factor of v(-3)?
False
Let n be 5 + 48/(-9) + 2/6. Suppose n*j = -j + 175. Is 35 a factor of j?
True
Let l(n) = 8*n - 28 + 3*n - 16*n. Is l(-16) a multiple of 26?
True
Let m be 3 + 0 + 0/(-3). Suppose 0 = m*x - 21 - 15. Is x a multiple of 6?
True
Is 19 a factor of (-19)/((-5)/(168 + -3))?
True
Suppose 0 = -93*j + 42702 + 15981. Is 120 a factor of j?
False
Suppose 3*a - 3 = k + 1, -