?
False
Suppose z = -2*z - 45. Let t = z + 28. Let m = 14 + t. Does 8 divide m?
False
Suppose a = 3*w - 3176, 2442 = 2*w + a + 333. Is w a multiple of 28?
False
Does 51 divide (1 - 9)/(10650/(-1182) + 9)?
False
Let b(z) = z + 12. Let r be b(-11). Let w be -1 + r + -7 + 9. Is 22 a factor of (-11 - -3)*(-11)/w?
True
Suppose 3276 - 839 = 5*c - 3*h, 0 = c + 3*h - 491. Does 31 divide c?
False
Suppose 0 = -2*v - v + 2*z + 32, 2*z - 40 = -3*v. Does 16 divide v/((-16)/(-4)) + 159 + -2?
True
Suppose -4 = 2*r, 4*x + 3*r = -2*r - 18. Let g be 294 + x - (-1)/(-1). Suppose 5*b - g = -21. Does 20 divide b?
False
Suppose -19*t = 4899 - 18617. Is t a multiple of 38?
True
Suppose -128*c = -123*c - 20. Suppose 1 = -5*a - 4, -3*o + 211 = -c*a. Is o a multiple of 6?
False
Let l(c) = c**2 - 2*c. Let x be l(0). Suppose 2*n = 6*n - 640. Suppose 0 = 2*i - x*i - n. Is 26 a factor of i?
False
Let b(o) = -o**2 - 15*o + 15. Let j be b(-8). Suppose -y - 5*m + 3 = 0, 3*y - 4*m = 33 + j. Is 4 a factor of y?
True
Let j be 128/(-28) - (-6)/(-14). Is 20 a factor of 27 - ((-15)/j - 4)?
False
Does 15 divide 9*(-177)/(-9) + 8?
False
Suppose -v - 1 = -2. Let b = 2 + v. Suppose -2*p = -2*q + 12, b*p + 5 = q - 7. Is q a multiple of 2?
False
Let v = 15 + 2. Let p = 20 + v. Suppose -p = -4*n + 163. Is 25 a factor of n?
True
Suppose 0 = -4*m - 3*g + 141, -5*g + 6 + 9 = 0. Let v = m - 39. Let y(z) = 3*z**2 + 11*z + 17. Is 28 a factor of y(v)?
False
Let g be 1 - 28/8*(-12)/(-14). Is 26 - (g + (-6)/3) a multiple of 27?
False
Let v = 42 - 39. Suppose -i = -5*y + 271, 0*y + v*y - 158 = -4*i. Is 9 a factor of y?
True
Suppose 0*y - 3*y + 60 = 3*l, -4*y + 20 = 0. Does 17 divide (-17)/(-3*5/l)?
True
Let o be (3/(-5) + -1)*-5. Let s be (-4)/o - 1540/(-8). Suppose -3*c + s = c. Is 16 a factor of c?
True
Suppose 3*a + 10 = 25. Suppose 3*t + 183 + 308 = 4*n, -2*n = -3*t - 241. Suppose 0 = -x + 5*x - 4, -a*x = -5*i + n. Does 18 divide i?
False
Let g(u) = -5*u**3 - u**2 - 2*u - 1. Let a be g(-1). Suppose -a*k + 2 = -18. Suppose -77 = -k*t - 17. Is t a multiple of 15?
True
Let c = 183 - 43. Is 10 a factor of c?
True
Let a = 2559 - 2324. Is a even?
False
Suppose 59*w - 223965 - 6843 = 0. Is 12 a factor of w?
True
Let p(c) = -14*c + 8. Let q be p(-3). Let r = q - -25. Does 25 divide r?
True
Let y(f) = f**2 + 9*f - 62. Is y(18) a multiple of 53?
True
Let l(t) be the second derivative of t**4/12 - t**3/2 + t**2/2 - t. Let q be l(4). Let j = 20 + q. Is j a multiple of 8?
False
Let x be -2 - -3 - 1/1. Let o = x + 5. Let q = 13 + o. Does 18 divide q?
True
Let d(g) = -644*g + 170. Is d(-5) a multiple of 20?
False
Let t(l) = 2*l**2 + 43*l - 30. Let a be t(-22). Let v = a - -36. Is v a multiple of 14?
True
Suppose 4*y + 2*f = 0, 11 = -0*y + y - 5*f. Let z = y + -1. Is 9 a factor of (z - 2)*63/(-14)?
True
Let r(t) be the second derivative of t**3/2 + 13*t**2/2 + 6*t. Let h(p) = -3*p - 12. Let b(a) = 2*h(a) + 3*r(a). Does 7 divide b(6)?
False
Is (6/(-12)*106)/(-1) a multiple of 7?
False
Let b be (88/55)/(4/10). Let k(u) = -u**3 + 12*u**2 - 4*u - 15. Let y be k(11). Let f = y + b. Does 22 divide f?
True
Does 24 divide 10/70 - 1*7158/(-21)?
False
Suppose 0*r = -4*k + 5*r - 16, 13 = 5*k + 2*r. Is 16 a factor of (4/(-6))/(k/(-39))?
False
Let l = -47 - -49. Suppose 0*k + 5*k + l*y = 72, 0 = -4*k + 3*y + 76. Is k even?
True
Suppose -4*o = n - 658, -92*n - 3*o = -97*n + 3267. Is n a multiple of 18?
False
Suppose 2*b - 1669 = 3*s, -4*s + 929 = 3*b - 1583. Is 40 a factor of b?
False
Let l = 336 + -121. Suppose l = 3*w - 5*a, -w = 4*w - 5*a - 365. Does 15 divide w?
True
Let v be (-135)/6*8/6. Let s = -52 - v. Let b = s - -57. Does 15 divide b?
False
Let k = -5 - -9. Suppose -k = q - 2*q. Suppose q*y - 133 = -5. Is 11 a factor of y?
False
Let b = -49 + 113. Does 7 divide b?
False
Suppose -3*t = 5*c - 374, c - 5*t - 204 = -2*c. Let v = 108 - c. Is 8 a factor of v?
False
Is (-436)/(-6) + 0 - 10/15 a multiple of 12?
True
Let a = -375 - -1833. Is 54 a factor of a?
True
Let h be ((-159)/(-6))/((-6)/12). Is ((-10)/4)/5*(h + -1) a multiple of 27?
True
Suppose 5*b = 3*r + 3286, 19*b - 652 = 18*b - 2*r. Does 113 divide b?
False
Suppose 2*h - 104 = -2*h. Let p = 15 - h. Does 29 divide 10 + p - 1*-99?
False
Let s be (-7)/2*(-1100)/35. Suppose 0 = -72*v + 73*v - s. Is v a multiple of 22?
True
Let u(p) = -p**2 + 8*p + 5. Let s be u(9). Let z(h) = 3*h**2 + 5 + 0*h**3 + 0*h**3 + h**3 + h**2. Does 2 divide z(s)?
False
Suppose -w + 12 = -6. Suppose 2*r - w*r + 1104 = 0. Does 23 divide r?
True
Suppose -5*p + 16 = 2*j - 880, 5*j - p = 2240. Suppose j = -10*o + 17*o. Does 10 divide o?
False
Let b(l) = 144*l**2 + 20*l - 1. Is 41 a factor of b(2)?
True
Suppose 12*d - 10*d = -896. Is (-2)/(2 + d/222) + -2 a multiple of 12?
False
Suppose 12*z - 3479 = 889. Is 14 a factor of z?
True
Let y(q) = -4*q**2 + 3*q. Let b(o) = 7*o**2 - 7*o + 1. Let x(n) = 3*b(n) + 5*y(n). Let a be x(6). Does 10 divide -3*(-12 + (-9)/a)?
False
Let l(i) = -99*i + 212. Is 62 a factor of l(-6)?
True
Let w = 33 + -31. Suppose -c - 12 = -3*h + 12, h + 3*c + w = 0. Is h a multiple of 7?
True
Suppose w + 0*w = 0. Suppose c + 2*o = -w*c - 1, 4 = -2*o. Suppose -c*x + 119 = 5*t - 67, 0 = -2*t. Is x a multiple of 25?
False
Suppose -4*m + 3*m = 1. Let z be m/(-2 - -1)*-6. Is 4 a factor of (-1 - 0)*2 - z?
True
Suppose -2*j + 0*b = -4*b - 10, -5*j + 25 = -3*b. Suppose -j*p = -7*p + 6. Suppose 0 = -p*k + 12 + 33. Is k a multiple of 6?
False
Suppose -5*d + 1 = 41. Suppose 5*g - 70 = -4*s, 0 = -5*g - 0*g + 2*s + 100. Let y = g - d. Is y a multiple of 26?
True
Let t = -38 + 38. Suppose -2*c + 69 - 13 = t. Does 12 divide c?
False
Let v = 76 - 90. Does 5 divide 3*7/(v/(-20))?
True
Let g = 13 + -8. Suppose 2*u - 3 = -g. Does 3 divide u*-5*(2 + -1)?
False
Suppose 0 = 6*x - 51 - 9. Let t = -1 - 0. Does 6 divide (10 - t)/(x/10)?
False
Suppose 4*y + 5*p + 6 + 7 = 0, -y = 4*p + 6. Let f be 3 + y + (1 - -69). Suppose -3*i + f = 2*q, 9*q - 4*q = 3*i + 230. Is q a multiple of 20?
False
Suppose -4831 = -5*c + 3*k, 224*c - 3*k = 226*c - 1945. Is c a multiple of 44?
True
Let z(a) = -a**2 - 6*a - 6. Let q be z(-4). Let w(y) = 20*y + 7 - q*y + 2. Is w(3) a multiple of 28?
False
Suppose -2*v + 4 = 2*x, 2*x - 8 = -v + 1. Suppose x*w = 2*w + 35. Let i = -5 + w. Does 2 divide i?
True
Let c = 1 + 2. Suppose 0*u - c*u = -5*s - 615, -846 = -4*u - 2*s. Is 15 a factor of u?
True
Let x(h) = -2*h - 12. Let f be x(-7). Let b(y) = -7 + y**2 + y**2 - y**f - 4*y + 1. Is 14 a factor of b(-6)?
False
Suppose -2*o + 4 = -0. Let m = 39 - 37. Suppose -x + o*d = -m*x + 90, 2*x = 3*d + 173. Is x a multiple of 13?
False
Let f = 19 + -17. Suppose 2*a = -4*q + 30, 1 + 5 = -f*a + 5*q. Is a a multiple of 2?
False
Let v(t) = t**2 + 6*t. Let d(l) = -l. Let m(y) = 5*d(y) + v(y). Let i(p) = 4*p**2 + 8*p + 4. Let k(u) = i(u) - 3*m(u). Does 5 divide k(-7)?
False
Let s(i) = -i**2 - 23*i - 1. Is s(-13) a multiple of 24?
False
Let k(h) = -2*h**3 - h**2 + 7. Is k(-5) a multiple of 24?
False
Let k(l) = -2*l**3 - 38*l**2 + 28*l - 24. Is k(-20) a multiple of 30?
False
Let u = 667 - 382. Suppose 177 = 6*a - u. Does 11 divide a?
True
Let y(k) be the third derivative of -k**6/120 - 13*k**5/30 - 7*k**4/6 + 5*k**3/2 - 8*k**2. Is 5 a factor of y(-25)?
True
Suppose 0 = -3*m - 5*b + 734 - 46, 0 = -3*m + 5*b + 638. Let a = m + -138. Is 13 a factor of a?
False
Let o = -233 + 103. Let x = -62 - o. Is 7 a factor of x?
False
Suppose 0 = -5*r + 9*r + 4. Does 13 divide (0 + r - -98) + (0 - 0)?
False
Let i = 70 - 65. Is -42*(-4)/(-6)*i/(-10) a multiple of 2?
True
Is 75 a factor of (-30 - 5)/((-10)/84)?
False
Does 19 divide 1254 + (-5 - (0 + -8))?
False
Let n(f) = -f**2 + 6*f - 3. Let g be n(2). Suppose -g*m + 4*u = -234, 3*m - 3*u = -u + 140. Does 8 divide m?
False
Suppose 5*s = t - 420, -t - 4*t + 4*s + 2184 = 0. Is 20 a factor of t?
True
Let t(j) = -19*j + 549. Does 3 divide t(26)?
False
Let m = 834 + -414. Is 70 a factor of m?
True
Suppose -4*l + 6 + 6 = 0. Let j(b) = -b**3 + 14*b**2 + b - 13. Let g be j(14). Does 10 divide 40/(g/(l/6))?
True
Let i(x) be the first derivative of -x**3 + 3*x**2/2 - x - 10. Let y be i(1). Let w(a) = -50*a**3 - a**2 - a. Does 10 divide w(y)?
True
Let g = -322 + 392. Is g a multiple of 5?
True
Is (-8)/224*-203*(1 + 3) a multip