2*y + 143, -y = -4*k - w - 92. Is y a multiple of 23?
False
Let s = 348 - 324. Is 2 a factor of s?
True
Let i(v) = 6*v + 15. Let r be i(0). Let k = 6 - 4. Suppose k*q = -q + r. Is q a multiple of 5?
True
Let u = 1070 - 678. Does 7 divide u?
True
Let w = -59 - -205. Is 22 a factor of w?
False
Suppose -2*m + 0*m = -40. Suppose -a = 3*u + m, -2*u + 0 = 10. Is 8 a factor of (-48)/a - 8/(-20)?
False
Suppose 2*z + 2 = 8. Suppose 432 = 2*s + 2*s + z*i, -216 = -2*s - 3*i. Does 19 divide s?
False
Let a(q) be the first derivative of q + 20/3*q**3 + 3 + q**2. Does 4 divide a(-1)?
False
Suppose z - 8 = -3*j - z, 3*j - 4 = -4*z. Suppose 0 = -j*u - d - d, -5 = -3*u + d. Does 5 divide -3 + 3 - -8 - u?
False
Suppose 4*b = -4*o + 532, -42*b + 43*b - 118 = 4*o. Is b a multiple of 26?
True
Let a(l) = 389*l - 83. Is a(5) a multiple of 98?
True
Suppose 14 = x + 3*w - 1, -16 = -4*w. Suppose 14*m - x*m - 1210 = 0. Is m a multiple of 22?
True
Let m(w) = -w**3 - 11*w**2 - 25*w + 5. Does 34 divide m(-9)?
True
Let u = 18 - 21. Let p(y) = -5*y**3 - 2*y**2 + 2*y + 1. Is 28 a factor of p(u)?
True
Let r(h) = -13*h + 5. Let d(j) = 1. Let k(c) = -c - 17. Let y be k(-16). Let t(m) = y*r(m) + 3*d(m). Is t(2) a multiple of 21?
False
Suppose 0*b + 6 = 3*b. Suppose -1 = 2*m + i + 4, b*m - 5*i = 1. Does 13 divide -1*(m - 23) - -1?
True
Suppose 2*f = 1140 + 9256. Does 46 divide f?
True
Does 9 divide 88 - -1 - (-2)/(2/3)?
False
Let t be 15/(-9) + (-1)/3. Let u be 8/20*(-10)/t. Suppose 0 = u*y - 3*y + 26. Is y a multiple of 19?
False
Let f = 107 - 62. Suppose -25*r = -27*r + 10. Suppose 2*w - r*u = f, -14 - 8 = -w + 2*u. Is w a multiple of 10?
True
Let g(a) = a**3 - a**2 - a + 12. Let x be g(0). Let z = x + 37. Suppose 2*u + 5*j = 19 + z, 0 = -5*u + 3*j + 108. Is u a multiple of 8?
True
Suppose 0 = -25*z + 20*z + 75. Let j = z + 5. Is 20 a factor of j?
True
Let u be (2/2)/(4/(-12)). Let q be 0*u/(-6 + -3). Suppose 3*c - 17 - 19 = q. Does 6 divide c?
True
Let t(g) = -5*g**3 - 7*g**2 - 7*g + 4. Let u(f) = -6*f**3 - 7*f**2 - 7*f + 3. Let l(h) = 7*t(h) - 6*u(h). Is l(9) a multiple of 36?
False
Suppose m + v - 4 = -4*v, -2*m = -2*v - 20. Is m a multiple of 4?
False
Let a(d) = -83 + 83 - 40*d. Let z be a(1). Is 7 a factor of z/(-3) - (-14)/21?
True
Let t(u) = -u - 9. Let k be t(-9). Let d = -1 - -6. Suppose k = -m - 3*q + d*q - 1, -41 = -4*m - q. Is 9 a factor of m?
True
Is (-78)/((6/(-21))/1) a multiple of 13?
True
Let z = -22 + 26. Is 1 + (60 + z - 3) a multiple of 20?
False
Let m = -188 + 344. Does 13 divide m?
True
Let j = 45 + -2. Suppose -k = -2*w - j, 5*k + 44 - 252 = 3*w. Let x = k + -1. Does 7 divide x?
False
Let o be ((-46)/6)/(1/3). Let s be ((-12)/(-5))/(30/550). Let b = o + s. Does 21 divide b?
True
Let h = -30 - -35. Suppose -380 = -5*z + h*b, 5*z - b = b + 383. Is 11 a factor of z?
True
Let m = -140 + 258. Let i = 358 - m. Is 16 a factor of i?
True
Let t(u) = 2*u**2 - 25*u - 243. Is t(-25) a multiple of 12?
True
Let n be ((-5)/2)/((-10)/20). Suppose 83 = n*y - 207. Is y a multiple of 29?
True
Suppose 4*f - 12*f + 1920 = 0. Does 15 divide f?
True
Let c(x) = -4*x + 40. Let y(f) = 4*f**2 + 8*f - 6. Let v be y(-3). Is c(v) a multiple of 8?
True
Suppose 4*r - 16 = -0*r + 5*a, -5*a + 29 = r. Let v = r - 5. Is 1/v - 124/(-16) a multiple of 4?
True
Suppose -3*a - 1380 = -3*r, -8*a + 3*a = 3*r - 1404. Does 11 divide r?
False
Let u be 117/52 + 1/(-4). Suppose 2*f - 2*l - 22 = 0, u*l - 9 = f - 21. Suppose r = 5*g - f, 4*g - 10 = -5*r + 27. Is r a multiple of 5?
True
Let r(d) = -4*d + 2. Let k(w) = 11*w - 7. Suppose 18 - 2 = -2*j. Let f(c) = j*r(c) - 3*k(c). Is f(-14) a multiple of 8?
False
Suppose -4*w = w - 5, -2*m = -w + 15. Let g(y) = -12*y - 9. Does 15 divide g(m)?
True
Let x(f) be the first derivative of -3*f**2/2 - 1. Let j be x(-1). Let q = j - -8. Does 4 divide q?
False
Let p(w) = -6*w + 6. Let r be (-5)/(-5)*2 + -42. Let x = r - -30. Is 11 a factor of p(x)?
True
Let r be 26 + (1 - 12/4). Suppose r = m - 25. Is m a multiple of 7?
True
Let g = -380 + 2580. Does 100 divide g?
True
Let a(h) = h**3 + 10*h**2 + 11*h + 14. Is 28 a factor of a(-7)?
True
Let y(w) = 321*w + 9. Does 33 divide y(1)?
True
Let g(z) = -z**2 - 9*z + 1. Let b be g(-8). Let u = 13 + b. Is u a multiple of 11?
True
Suppose 2*h + 12 - 10 = -3*m, 3*m + 3 = -3*h. Suppose p + 3*j - 55 = m, -5*j + j = -2*p + 160. Is p a multiple of 5?
True
Let z be (-1 - -4) + -1 - 4. Let r = 20 - z. Suppose 5*m = r + 33. Is m a multiple of 11?
True
Let h(p) = -2*p + 20. Let s be h(13). Is s/(-9)*12 - -2 even?
True
Let g = -1 + 52. Let r(n) = n**3 + 24*n**2 - 2*n + 55. Let s be r(-24). Let p = s - g. Does 27 divide p?
False
Suppose -2*f = -7*f - 260. Let d be (-117)/f*8/3. Suppose -d*n + 66 = -3*n. Is 12 a factor of n?
False
Does 18 divide (-5)/4 - ((-4470)/(-8))/(-15)?
True
Let y(u) = u**2 + 3*u - 16. Let g be y(3). Suppose -4*k + 5*k + 11 = -3*f, 5*k - 21 = 4*f. Is 13 a factor of g/4 - 98/f?
False
Suppose 6082 = 8*v + 562. Does 46 divide v?
True
Let r(y) = -8*y**2 - 3*y + 1. Let p(d) = 9*d**2 + 4*d - 2. Let c(f) = -4*p(f) - 5*r(f). Let z be c(-4). Let k = z + 10. Is 21 a factor of k?
False
Let w(u) = 4*u + 300. Is w(12) a multiple of 12?
True
Suppose 8*q - 11*q = -4*g + 3747, q - 3743 = -4*g. Is 13 a factor of g?
True
Let z(h) = -h**3 + 20*h**2 - 18*h - 18. Let i be z(19). Does 26 divide 1059*i/2*22/33?
False
Suppose 0 = -5*y - 10, -2*y - y = 2*z - 3328. Suppose -3*q + 6*q - 1659 = -5*d, 5*d - q = z. Suppose 5*r - 395 = 5*l, d = 4*r + 3*l + 17. Is 33 a factor of r?
False
Let a be (5 - 3) + (0 - -6). Let o = a + 3. Is o a multiple of 3?
False
Let q be (-10)/75*-3 - (-4676)/10. Suppose -a + 118 = i, 4*a - q = -4*i + a. Is 23 a factor of i?
False
Is 2 a factor of -5 + -1 + 768/8?
True
Let c(q) = 3 - 12 - 10*q + 9. Is c(-2) a multiple of 10?
True
Is 63 a factor of ((-198)/44)/((-1)/28)?
True
Let i be (-3 - (-20)/(-4)) + 4. Is 14 a factor of (-14 - i)*(-42)/15?
True
Let t be 8 + (-4 - 0) + 22. Let b = t - 22. Does 22 divide ((-21)/1)/((-1)/b)?
False
Let l be (-6 + 1 - 17)/(4/(-38)). Suppose 2*a + 23 = -4*j + l, -j + 45 = 2*a. Is j a multiple of 13?
False
Suppose -20634 = -6*d - 6276. Suppose d = 7*s + 433. Is 24 a factor of s?
False
Suppose s - 10 = -s, 2*q + 5*s = 549. Is q a multiple of 15?
False
Suppose 3*q - q = 210. Does 25 divide q?
False
Suppose 2*x = 5*c + 1077, -7*x + 2175 = -3*x - 3*c. Is x a multiple of 4?
False
Suppose -2*r = -8*r - 12. Does 5 divide (4/3)/(r/(-15))?
True
Suppose i + 3*i - 34 = j, 2*i = -5*j + 28. Let o = i - 4. Suppose -95 - 79 = -2*r - 2*b, 4*r - 348 = o*b. Does 29 divide r?
True
Suppose 0 = -3*q + 9, -f + 267 = -13*q + 14*q. Is f a multiple of 19?
False
Suppose -2469 = -3*p - 3*b + 9789, 20429 = 5*p + 4*b. Is 95 a factor of p?
True
Let p = -304 + 435. Suppose -127*j = -p*j + 240. Is j a multiple of 9?
False
Let m = -555 - -911. Suppose -p - p = -m. Is p a multiple of 36?
False
Suppose 2 = 5*c + 7. Let b be 8*(c/2)/(-1). Suppose 8 = 4*o + 4*t, o = -o + b*t + 34. Is o a multiple of 2?
False
Let l = -10 + 14. Let p(y) = -5*y + 7 - l - 4. Does 10 divide p(-4)?
False
Let p(a) = -6*a**2 + 14*a - 2. Let y(o) = -o**2 + o. Let u(k) = -3*k**2 + 3*k. Let b(m) = u(m) - 4*y(m). Let s(h) = 5*b(h) + p(h). Does 7 divide s(7)?
False
Suppose -5*o = -o - 12. Let g be 2 + (6*-1)/o. Is 0 - 3*(g + -1) even?
False
Let u = -166 - -474. Does 8 divide u?
False
Let z(r) = 0*r + 2*r - r**3 + 0*r**2 + r**2. Let k be z(-4). Let j = 105 - k. Is 12 a factor of j?
False
Let h = -389 + 597. Is h a multiple of 52?
True
Let n be (2/2)/((-3)/(-12)). Suppose 0 = -n*b - 0 + 20. Suppose b*h - 4*d - 340 = 0, -30 = -h - d + 47. Does 24 divide h?
True
Let h(a) = a**2 + 4*a + 185. Does 19 divide h(20)?
True
Let p(i) = 7*i**2 + 3*i + 19. Let h be p(-4). Let j = -40 - -69. Suppose -h = -4*z + j. Does 10 divide z?
False
Suppose 0 = -5*c - 3*z + 10344, 7*z = c + 10*z - 2064. Is 46 a factor of c?
True
Suppose -p + 6283 = 11*z - 7*z, -z = -4*p - 1558. Is z a multiple of 19?
False
Let d be (10/1)/1*1/2. Suppose -3*x = -457 - d. Is x a multiple of 11?
True
Let j = 670 - 382. Is j a multiple of 9?
True
Suppose z + 4*z - 2*z = 0. Suppose -3 - 2 = x, z = -5*q - 2*x + 310. Does 13 divide q?
False
Let n(j) = 56*j**3 + j**2 + 3. Let x be n(2). Suppose -3*v = 