Let y(b) = 4*b - 41. Let p be y(8). Let x be ((-42)/p)/((-1)/(-12)). Suppose -x*j + 140 = -49*j. Is j a multiple of 5?
True
Does 49 divide (-1)/4 + 70/(-40) - -2648?
True
Let v(y) = -5*y + 8. Let m be v(-7). Suppose 0 = d + w + 20, 0 = d - 5*w + m + 7. Let z = d + 31. Does 3 divide z?
True
Let n be (2 - 18)/((-4)/18). Is 9 a factor of 10/(-80)*6*(0 - n)?
True
Suppose 4745 = 11*z - 4330. Let q be z/50*4/6. Suppose -2*m + 13 = -q. Does 8 divide m?
False
Suppose -6*y - 304 - 962 = 0. Let f = -159 - y. Is 4 a factor of f?
True
Suppose -2*b = 2*a - 20, 0 = 2*a + 3*a - 5*b. Suppose -a*c - 3*x = -242, 0 = -x - 2*x + 12. Let v = c - -28. Is 20 a factor of v?
False
Let d = 28737 - 18157. Is d a multiple of 21?
False
Suppose 64*b - 669645 = 19*b. Does 38 divide b?
False
Suppose 2*d - 3940 = 4*f - 250, -5*d + 9246 = -3*f. Let h = d + -1321. Does 38 divide h?
False
Let z be (-4 - 0/(-5))/(-1). Suppose -2*s - z*a + 246 = 0, -4*a = s - 0*a - 123. Is 13 a factor of s?
False
Let v = -6 - -136. Let r = v - 46. Is 23 a factor of r?
False
Let z(r) = -r**3 + 10*r**2 - 9*r. Let o be z(9). Suppose 0 = 2*y - 0*y - 3*t + 16, o = -3*y - 5*t + 14. Is (-1110)/(-12) + (2 - (-5)/y) a multiple of 18?
False
Let h be (-1)/(2/(-10)*1). Suppose -l = -5*l + 9*l. Suppose 8*z - 4*z = -h*p + 1190, l = -4*p - 2*z + 946. Is 39 a factor of p?
True
Let n be 4*(-4)/(-3)*(18 - 12). Let s be (9*3)/(2/n*12). Does 25 divide 563/4 + 9/s?
False
Let x = -8514 + 14229. Does 5 divide x?
True
Let w(k) = 11*k**2 - k + 3. Let q be w(0). Suppose 5*h = -f + 5, q*f - 14 = -4*h + 23. Is 2 a factor of f?
False
Let w(v) = 3*v**3 + 3*v**2 - 2*v + 3. Let s be w(2). Suppose 5*q - 90 = -s. Suppose g - 3*i = 107, -q*i = 2*g - 9*i - 198. Does 26 divide g?
False
Let v(j) = -8*j**3 + 15*j**2 - 60*j + 8. Does 52 divide v(-14)?
True
Suppose 30658 = 83*f - 20980 - 22564. Is 27 a factor of f?
False
Suppose -6*b = 3658 - 148. Let c = b + 1263. Is 13 a factor of c?
False
Let p(o) = 2*o**2 - 2*o - 20. Let j be p(-9). Does 35 divide (1 + 16)/(8/j)?
False
Let k = -1462 - -7258. Does 7 divide k?
True
Suppose 185 = 2*b + 5*t - 4*t, 20 = 4*t. Suppose -30 = 2*g - b. Suppose 146 + g = 4*z. Is z a multiple of 16?
False
Let o(a) = 76*a + 130. Let i be o(-25). Is (i/35 + 2)*-7 a multiple of 34?
True
Let c(z) be the first derivative of 3*z**2/2 - 6*z - 21. Let p be c(19). Let h = p + -44. Does 2 divide h?
False
Suppose 71 = 24*m - 25. Is 17 a factor of (-51)/((87/116)/((-2)/m))?
True
Let c be (-175)/(-50)*(-20)/(-7). Let y be -1*(-15)/(-6)*4. Does 6 divide (6/c)/((-1)/y)?
True
Let v(x) = x**3 + 27*x**2 + 27*x + 31. Let f be v(-26). Suppose w + 5*d = 316, -f*w = -3*d + 889 - 2469. Let z = w - 175. Is z a multiple of 10?
False
Suppose -141 = -4*a + 7*a. Let y = 50 + a. Suppose -s - y*s - 4*r = -532, -5*s + 667 = 4*r. Is 17 a factor of s?
False
Suppose -4*y = -102*w + 104*w - 398, 102 = y - 2*w. Suppose i + 47 = k, -5*k - 56 = 3*i + 77. Let f = i + y. Does 9 divide f?
True
Let f be 3 - (-18)/(-12) - 2/(-4). Suppose -g = 4*o - 84, 2*g - f*o + 1 = 159. Does 7 divide g?
False
Suppose 225 = 2*p - 21. Let j = 273 - p. Suppose 0 = 3*t - 39 - j. Is t a multiple of 9?
True
Suppose -2*k + 10682 = -g, -111*g = 5*k - 107*g - 26692. Is 11 a factor of k?
False
Let q(r) = -4*r + 16. Let v(k) = -5*k + 15. Let b(i) = 4*q(i) - 3*v(i). Let w be b(10). Does 9 divide 180 - ((-34)/w - 12/54)?
False
Let j be (-2)/(-2)*4 - (-16 + -85). Let g = j - -456. Is g a multiple of 51?
True
Let m(i) = -16*i - 23. Let o be m(-5). Suppose o*t + 1710 = 63*t. Let f = -131 + t. Is 11 a factor of f?
True
Let v = -172 + 176. Suppose 3*z + v*z = 4830. Does 46 divide z?
True
Suppose -l - 4*l = 3*k - 12, -2*l = 0. Suppose 3*m - k*y + 2*y = -22, 0 = -3*m - 2*y - 14. Does 27 divide (-224)/(-3)*(-4)/(16/m)?
False
Let d be (-1)/((-2)/(-372)*2). Let q(y) = -6*y + 67. Let l be q(22). Let i = l - d. Does 25 divide i?
False
Suppose 18*q + 36 = 24*q. Let v be (-8)/(-6) + 10/q. Suppose -2 + 26 = v*t. Is t a multiple of 8?
True
Let g(m) = -m**2 + 6*m - 8. Let p be g(3). Let q be 2 + -4 + p + -1 + 1. Let r(v) = 68*v**2 - 3*v - 1. Is r(q) a multiple of 13?
False
Let f(y) = 12*y**2 - 31*y - 185. Let b be f(-7). Suppose l - b = t, -13*l + 8*l - t = -3106. Is 70 a factor of l?
False
Let p(k) = k**3 + 19*k**2 - 43*k + 27. Let g be p(-16). Suppose 0 = 5*z - 10, 19*q - 18*q - g = 4*z. Is q a multiple of 71?
True
Let h(x) = -2*x**2 + 217*x - 36. Is h(74) a multiple of 10?
True
Suppose -q - 2*q + 33 = 0. Let d be 1/((-1)/2) + q. Suppose d*w - 14*w + 75 = 0. Does 9 divide w?
False
Suppose 0 = 22*j - 39854 - 70256. Is 77 a factor of j?
True
Let z be -2 + 4/(-1)*-5. Suppose y + z = t - 36, 0 = -3*y. Let n = t - 12. Is n a multiple of 11?
False
Let z(g) = 4*g - 4 - 5 - 10 + 9*g + 0*g - 8*g**2 - 2*g**3. Is z(-8) a multiple of 4?
False
Suppose -5*i + 18633 = -2*z, 1440 = i + z - 2288. Suppose -25*g + 6548 = -i. Is g a multiple of 3?
True
Suppose 288 = 4*d + 2*d. Does 85 divide (-1 + -186)*(43 - d)?
True
Let k = 11 + 6. Let o = k - 13. Suppose 3*m + 22 = 2*q + 6, 4*m - 72 = -o*q. Does 3 divide q?
False
Let o(y) = y**3 - 8*y**2 - 8*y - 4. Let f be o(9). Suppose c = v, c = f*c + 4*v - 40. Suppose c*l - 108 = -t, 3*t + 3*l - 370 = -94. Is t a multiple of 17?
False
Let y be (-1*1)/(9/(-36)). Let b(x) = 3*x**2 - 7*x + 35. Let c be b(10). Suppose y*i - c = -i. Is 11 a factor of i?
False
Let i = -25 - -12. Let x(n) be the third derivative of -n**6/120 - n**5/5 - n**4/3 - 3*n**3/2 - 226*n**2 - 1. Is x(i) a multiple of 11?
True
Let l(o) = 7*o**2 - 8*o + 43. Let h be l(4). Let m = -72 + h. Does 7 divide m?
False
Suppose 6*h - 2370 = 11*h - 5*w, 3*w = -2*h - 968. Let i = -294 - h. Does 23 divide i?
True
Let o be 0 + -6 + -40 + -232. Let i = 450 - o. Is i a multiple of 22?
False
Let k(l) = -4*l**2 + l - 1. Let t = -6 + 7. Let q be k(t). Is 9 a factor of q + 3 - -5 - -23?
True
Let q = -808 + 514. Let n = 325 + q. Is n a multiple of 4?
False
Suppose 2 + 2 = -n. Let y be (-10)/(-8)*(-4 - 6*n). Let h = -3 + y. Is 5 a factor of h?
False
Let i be 8145/33 - (-1 - (-18)/22). Is 16 a factor of 4 + -14 + i - (0 - 3)?
True
Suppose 3*l - 40937 = a, 2 - 9 = -a. Is l a multiple of 32?
False
Suppose -8*i + 9*i = -3. Let t be (-1 - -1)/(-4 + 2) + i. Is 26 a factor of 3/((-9)/(-303)) - t/1?
True
Is 232/24*1822 - 24/(-72) a multiple of 57?
True
Suppose 28757 = 3*c - 53*s + 57*s, -2*s = 14. Does 7 divide c?
False
Let g = -166 + 160. Is 6 a factor of (-150)/(-4)*((-10)/g - -1)?
False
Let p(t) be the first derivative of t**4/4 - 8*t**3/3 - t**2/2 + 16*t - 6. Let c be p(8). Does 37 divide 49 - (c/(-20) + (-36)/10)?
False
Suppose 65749 = 31*x + 6*x. Let m = x - 895. Is m a multiple of 18?
True
Let a = 2 + 1. Let x(m) = -6*m**2 + 18*m - 12. Let i be x(2). Suppose -2*z - 390 = -3*u, i*u + a*u - 393 = 3*z. Does 16 divide u?
True
Let v(i) = 2*i**2 + 15*i - 11. Let b be v(-13). Let f = b - -23. Does 5 divide f?
True
Suppose 10*c - 11*c - 4*y = -4390, 12 = 4*y. Is 11 a factor of c?
True
Suppose -7*f + 7 = -14. Suppose -3*m + 17 = 5*z, 0*m + 15 = f*m + 3*z. Suppose -m*s + 184 = 4*a, 2*a - a + 3 = 0. Is 13 a factor of s?
False
Suppose 0 = -3*h - 0 - 0. Let d be (-66)/(h + 3) + 2. Let g(o) = o**2 + 19*o + 13. Is g(d) a multiple of 33?
True
Is 5 a factor of (-10 - -10 - -3) + 1311 + -1?
False
Let x(t) = -t**3 + 22*t**2 - 41*t + 22. Suppose p - 3 - 17 = 0. Let r be x(p). Suppose r*f - 314 = -22. Is 49 a factor of f?
False
Suppose 3*q + 15 = 0, 19*q - 21*q - 2 = 4*h. Let j(t) = 3*t**3 - t**2 + 4*t + 2. Does 3 divide j(h)?
True
Let l = 24326 + -21476. Is 95 a factor of l?
True
Let b(z) = 4*z - 104. Let v be b(27). Suppose -v*g - 123 = -1311. Does 30 divide g?
False
Suppose 2*u + 3*u - 49 = -z, 74 = 2*z + 4*u. Suppose 27*g = z*g. Suppose 3*o + 2*t - 161 = g, 8*o - 3*o = 5*t + 235. Does 11 divide o?
False
Suppose 2*b + 122 = 2*t, 3*b = -2*t + 75 + 37. Does 3 divide t?
False
Suppose 332*b + 2562 = 326*b. Let m = -121 - b. Is m a multiple of 9?
True
Suppose -5*f - 44971 = -2*t, -2*f + 6821 = 2*t - 38157. Does 52 divide t/72 + 1/(-3)?
True
Let g(z) = 37*z**3 - 9*z**2 + 11*z + 9. Is 33 a factor of g(4)?
True
Suppose -25 = 4*n + 7. Let s(g) = g**3 + 13*g**2 - 19*g + 8. Is 13 a factor of s(n)?
False
Let n be 9 + -3 + (-2 - -2)/(-1). Let d(c) be the th