s 6 divide w?
True
Let h(a) = -a**3 + a + 85. Let m be h(0). Let j = m + -28. Does 4 divide (j - 9)/(6/4)?
True
Is 8 a factor of (0 + 48 + -4)*(-1134)/(-216)?
False
Does 35 divide (-202 + -246)*(-1 - 9)?
True
Let d be -3 - ((34 - -4) + -1). Let c = d - -20. Is (c/25)/((-1)/(-5)) - -112 a multiple of 18?
True
Let p = 389 + -533. Let w = 194 - p. Does 16 divide w?
False
Let n be (-1*4/(-6))/(56/2268). Suppose -n*d + 28*d = 4. Does 34 divide (-51)/d*(3 + (-34)/6)?
True
Let g(s) = -198*s - 679. Let i be g(-3). Suppose 0 = 3*h - 336 + 30. Let q = h + i. Is q even?
False
Suppose 5*v = 2*h + 13893, -4*v + 3478 = h - 7652. Is v a multiple of 79?
False
Suppose -11*b = -12993 + 4589. Does 3 divide b?
False
Let q = 46 - 39. Suppose -q*g + 5 = -6*g. Suppose 5*r + 175 = 4*l + 2*r, -g*l = -r - 227. Does 10 divide l?
False
Let b be ((-8)/7)/(((-16)/14)/4). Suppose 2*l - 640 = -5*k, 22 - 2 = -b*l. Is 4 a factor of k?
False
Let o(r) = r. Let t(u) = 7*u - 6. Let b(f) = -o(f) - t(f). Let n be b(3). Is 10/(-3)*n/4 a multiple of 15?
True
Suppose -8*i = -5*i + 6. Let w be (4362/18 - 2/6) + i. Suppose -5*n + w = -4*k, 5*n - 205 = 3*k - 6*k. Does 11 divide n?
True
Let r = -55 + 52. Let p be (0 + -3)/r + 3. Let q(z) = -5*z + 33. Is 2 a factor of q(p)?
False
Let g(v) = -7*v - 233. Let r be g(-33). Does 6 divide 5/r - ((-705)/30 - -3)?
True
Let m(g) = -15 + 3 + 0 - 101*g + 7. Let a be m(-5). Suppose 0 = -7*x + 1397 + a. Is 41 a factor of x?
False
Suppose -j + 31 + 35 = 2*i, 4*i = 5*j + 132. Suppose 2*u - 2*t = -3*u + 111, -4*t + 72 = 4*u. Let w = i - u. Does 12 divide w?
True
Let i be 0 - (-1692)/4 - 12/(-4). Suppose 5*v + i = 1406. Does 28 divide v?
True
Let s(k) = 393*k**2 + 4*k - 2. Let o be s(-1). Suppose o = -81*q + 84*q. Does 43 divide q?
True
Let x(r) = 59*r**2 - 334*r - 43. Is 118 a factor of x(10)?
False
Suppose 0 = 5*s - 2*n - 33057, 8056 + 24997 = 5*s + 2*n. Is s a multiple of 11?
True
Suppose 4*b - u - 774 = 0, 5*b - 120 - 840 = 5*u. Let f = -149 + b. Does 15 divide f?
True
Suppose 2*a - 3012 = -4*n, 5*n = 3*a - 2*a - 1485. Suppose -2*w - a = -4*l, l - 5*w - 91 = 275. Does 8 divide l?
True
Suppose 16 = 2*z + 2*z. Let a be 159*72/44 - z/22. Suppose -2*x + 7*x = a. Is x a multiple of 20?
False
Let c be (-100)/(-6)*(-24)/(-10). Let q = -621 + 586. Let m = c + q. Does 2 divide m?
False
Let z(p) = -p**3 + 11*p**2 - 12*p + 25. Let u be z(10). Suppose -5*b - 3*x + 165 = 0, -83 - 16 = -3*b + u*x. Is 3 a factor of b?
True
Suppose 2*k - 12 = 5*k, -3*l = 3*k - 342. Let n = l + -115. Suppose 123 = a + 5*c, 0 = -5*a + n*a - 3*c + 225. Is a a multiple of 12?
True
Let n(g) = 9*g + 142. Let i be n(-15). Suppose i*t = 4*t - 5*o + 560, -544 = -3*t - o. Is 12 a factor of t?
True
Suppose -10*x - 220 = 340. Let j = x + 57. Is 7 a factor of ((-5)/((-100)/(-35)))/(j/(-16))?
True
Let v(g) = 761*g**2 + 81*g - 169*g + 89*g. Does 44 divide v(1)?
False
Let n = 193 + -157. Suppose 0 = 15*p - n*p + 2394. Is p a multiple of 4?
False
Suppose -8 = -4*x + 8. Suppose 0 = -x*z - 41 + 1. Does 14 divide z*(-15)/6*3?
False
Suppose -2*f = -50 - 140. Suppose 4*m - 3*r - 535 = 0, 4*m - 434 = 5*r + f. Is 8 a factor of m?
True
Suppose -4*b = 16, 0*p - 2*b - 858 = -5*p. Suppose 19*h - 21*h + p = 0. Is h a multiple of 7?
False
Let m(r) = 34*r**2 + 6*r - 11. Is 2 a factor of m(3)?
False
Let x(j) be the first derivative of 7*j**4/4 - j**3 - 2*j**2 + 18*j + 24. Is x(4) a multiple of 67?
True
Let j(n) = -4*n + 53. Let f = -133 + 145. Let k be j(f). Suppose k*s - 1404 = -4*s. Is s a multiple of 39?
True
Let b = -4382 + 8430. Is 88 a factor of b?
True
Suppose -40599 - 116078 = -10*b + 6153. Does 95 divide b?
False
Let l(b) = -17*b**3 + 3*b**2 + 10*b - 210. Is l(-8) a multiple of 26?
True
Suppose 7*h - 5*j = 3*h - 16, 0 = -4*h - j - 16. Is 4 a factor of (0 - h) + -7 - (-168 - -1)?
True
Suppose -6*s + s - 25 = 0, 0 = 4*g + 2*s + 6. Let v(x) = -4*x**2 - 11*x**3 - 2*x**2 + g + 5*x**3 - 3*x + 2. Is v(-4) a multiple of 38?
False
Let y = -123 + 121. Is (0/1)/y - (0 + -107) a multiple of 7?
False
Let v be 8270/(-45) - 2/9. Let q(c) = c**2 - 26*c - 31. Let d be q(23). Let j = d - v. Is 14 a factor of j?
True
Let s be (0/5)/(0 - (0 + -2)). Suppose 4*a - 3*n = 30, 2*a + s - 8 = 5*n. Is 11 a factor of a/6 - 205/(-10)?
True
Let p = 12506 + -12504. Suppose 0*m = -2*t - 3*m - 3, -2 = -t + 2*m. Suppose t = 8*k - 5*k - 5*l - 992, -k - p*l = -316. Does 36 divide k?
True
Let h = 28 - 18. Let p be (-13998)/h + 1/(-5). Does 5 divide 20/11 + -2 + p/(-77)?
False
Suppose 0 = -5*s + u + 23, 0 = -5*s - 0*u + 2*u + 26. Suppose 0 = 2*h - 0 - s. Suppose 2*q = 5*r - 38, r + 2*r - h = -4*q. Is r a multiple of 5?
False
Let u(x) = -19*x + 12. Let z be u(-25). Let m(k) = 22*k - 8. Let t be m(-12). Let g = t + z. Is g a multiple of 50?
False
Suppose -6774 = -10*s - 754. Suppose 4*u - 266 = s. Let y = 391 - u. Is y a multiple of 29?
True
Suppose -y = 0, 2*y = 3*r + 4*y + 1527. Let u = -230 - r. Does 7 divide u?
False
Suppose -11*f + 188 = 45. Suppose -3*m = 2*s - 3390, -2*s - 7 = -f. Does 12 divide m?
True
Let n(g) = -14*g**3 - 4*g**2 + 10*g + 6. Is n(-4) a multiple of 14?
True
Let n = -4795 - -6592. Is 48 a factor of n?
False
Suppose 4914*m - 4929*m = -12285. Is m a multiple of 20?
False
Let b(p) = 11950*p**2 + 32*p + 31. Let f be b(-1). Does 26 divide f/15 - (0 + 6/(-15))?
False
Let k be (-143)/(-39) + 1/3. Let s be 4 + -2 - 4 - (-41 + 3). Let n = k + s. Is 10 a factor of n?
True
Let v be (-18)/4*76/(-171). Does 33 divide 2/(v - (-11712)/(-5864))?
False
Let t(g) = -265*g**3 + g**2 + g - 1. Suppose o + 2*r + 1 = 0, -r = 3*o + 6 - 3. Is 33 a factor of t(o)?
True
Let v(r) = 60*r - 11 + 4 - 3 - 42*r. Let u be v(3). Let z = 53 - u. Is 8 a factor of z?
False
Let n(r) = 4*r**2 - 1. Let z be n(1). Suppose 0 = 8*o - 3*o + 10, z*w + 4*o = 16. Suppose 0 = 5*p - w*p + 126. Is 6 a factor of p?
True
Let r(p) = 6*p - 252. Let z(d) = 6*d - 251. Let y(o) = -3*r(o) + 2*z(o). Is y(-27) a multiple of 32?
True
Let u = 122 + -122. Suppose u = -3*z + 7*z - 5*d - 2557, 5*d = 15. Is 16 a factor of z?
False
Let p = -178 + 1075. Suppose p + 255 = 36*d. Is 18 a factor of d?
False
Let n(p) = 517*p**2 + 37*p - 4. Is 240 a factor of n(6)?
False
Suppose -2*z = -0*z + j - 5, 0 = -4*z + 4*j + 4. Suppose z = -3*x - 22. Is -2 + x/(-5) - (-246)/15 a multiple of 7?
False
Suppose -z - 201*u + 200*u = -12611, 0 = -2*z + 5*u + 25243. Is 5 a factor of z?
False
Let t be (-5 - -7)*4/((-16)/6). Let g be (t + (4 - 1))/(-2). Suppose s + 3*r - 174 + g = 0, 0 = -s + 3*r + 198. Does 27 divide s?
False
Let p(q) = q**3 + 43*q**2 - q - 5. Let t be p(-43). Does 17 divide (-2 - t/(-8))*272?
True
Suppose -14*z + 70927 = -19121. Does 22 divide z?
False
Suppose h = -3*a - 189 + 48, -5*h - 2*a - 640 = 0. Let t = 264 + h. Is 3 a factor of t?
True
Suppose -3*m + 659 = -5*s, -3*m = 2*m - s - 1069. Let j = 3656 - 3650. Does 9 divide m/((j - 2) + -3)?
False
Suppose 33*v = 37*v - 300. Let w = v - -43. Suppose w = -3*b + 3*i + 517, 0 = 4*b + 5*i - 523. Is 26 a factor of b?
False
Suppose 3*r - 36*i - 544 = -32*i, 0 = 2*r + 5*i - 378. Does 23 divide r?
True
Let g(p) = 2*p**3 + 34*p**2 - 95*p + 11. Is 6 a factor of g(-19)?
True
Let t(a) = 101*a + 2217. Is 25 a factor of t(21)?
False
Let b be 0 + (3 + -38 - 1). Let t = -34 - b. Suppose 218 = t*q - r + 18, 5*r = 5*q - 505. Does 11 divide q?
True
Let c be (-2)/(-5) - 9688/(-5). Suppose 2*y - f - 2989 = 0, 3*y - 2552 - c = -5*f. Is 115 a factor of y?
True
Let m be 7 + 402 + -5 + -3. Let r = 562 - m. Is r a multiple of 21?
False
Let n(v) = -v**2 - 20*v - 25. Let u be n(-10). Let b = -71 + u. Suppose b*s - 217 = 151. Is 4 a factor of s?
True
Let r = -471 - -733. Let u = r - 192. Does 10 divide u?
True
Let n(j) = 6*j + 14. Let i be n(8). Let d = i + -62. Suppose d = 2*v + 10, 0*v + 101 = a - 4*v. Is a a multiple of 50?
False
Let o(w) = w**3 + w**2 + w. Let v(f) = -2*f**3 - 18*f**2 - 18*f - 7. Let x(d) = 3*o(d) + v(d). Let q be 1 + 0 - (-13 + -2). Does 9 divide x(q)?
True
Let c(y) = 21*y + 255. Is c(-3) a multiple of 4?
True
Is 5 a factor of -4 + 15 + (-2187)/(-3)?
True
Let r(o) = 4*o - 18*o**3 + 3*o**2 - 11*o**3 - 16*o**3 - 7 + 9 - 21*o**3. Does 6 divide r(-1)?
False
Let g be (-1216)/7 - (63/49 + -1). Does 33 divide ((-116)/g)/(1/501)?
False
Suppose -264 = d - 2