 Let h be y(-5). Let n(o) = o - 15. Let i be n(h). Does 5 divide i/(-9) - (-1250)/45?
False
Let c(o) = 4*o - 16. Let x be c(7). Suppose 0 = -3*n - n - 4*y + x, 0 = 5*n + 3*y - 17. Suppose 24 = 5*b + 4*q - 81, -b = -n*q + 3. Is b a multiple of 9?
False
Let c = -607 + 1102. Does 13 divide c?
False
Let v(b) = -28*b - 6. Let z be v(3). Is z/27*(-6)/4 a multiple of 3?
False
Let c = 1 + -2. Let w(u) = -29*u - 3. Does 13 divide w(c)?
True
Let t(p) = 27*p + 2394. Is t(0) a multiple of 25?
False
Let x = -90 + 130. Suppose 0*p + x = l - 2*p, 5*p + 169 = 4*l. Is l a multiple of 11?
False
Suppose 0*x - c - 1551 = -2*x, -3*c - 3099 = -4*x. Is 21 a factor of x?
True
Let q be -1*(-6 + 0) - 2. Suppose -5*j + 4 = 4*m, 4*m + 4 - 8 = 2*j. Suppose j = q*b - 2*y - 28, b = -2*b + 2*y + 23. Is 3 a factor of b?
False
Suppose 4*k = t - 6*t - 5, -5*t - 45 = -4*k. Let x(h) = 1 + 6*h + 4*h + 6. Is 15 a factor of x(k)?
False
Suppose 204*l - 4626 = 198*l. Is 54 a factor of l?
False
Is 13 a factor of 5952/12 + ((-2)/1)/1?
True
Let i(k) = -55*k + 9. Let g be i(-5). Suppose 2*x + 2*x - g = 0. Is x a multiple of 23?
False
Let s(r) = 4*r**3 + 5*r**2 + 19*r - 225. Does 17 divide s(8)?
True
Let b = -48 + 2640. Does 24 divide b?
True
Let f = -13 + 27. Is (f - 46)*14/(-4) a multiple of 16?
True
Let s = 173 + 416. Does 25 divide s?
False
Let d(s) = -868*s - 44. Is d(-1) a multiple of 4?
True
Suppose 0 = -14*s + 6*s + 3920. Is 70 a factor of s?
True
Suppose -4*x + 3*i + 48 = 0, 0*i - 7 = x + 4*i. Suppose 327 - 12 = x*h. Does 10 divide h?
False
Suppose -1350 = -2*q - 234. Is q a multiple of 18?
True
Let k = -51 - -55. Suppose -108 = -k*h + 3*x, -x + 27 = 6*h - 5*h. Does 5 divide h?
False
Suppose -2*m = -105 - 47. Does 4 divide m?
True
Let s be (22 - 9) + 2*-1. Suppose -1136 = -s*a + 3*a. Let j = a + -77. Is j a multiple of 13?
True
Let p(d) = 2*d - 10. Let y be p(13). Suppose 5*x - 9 = y. Suppose -4*v - x = -245. Is 20 a factor of v?
True
Let d(p) = -p**2 - 4*p - 11. Let c be d(-6). Let b = c + 30. Does 3 divide b?
False
Let f(h) = 10*h**2 - 91*h - 49. Does 133 divide f(26)?
False
Let s = 0 - -3. Suppose -4*b + 112 - 362 = 3*z, -311 = 5*b + s*z. Let c = -35 - b. Does 8 divide c?
False
Let u = 741 - 392. Does 33 divide u?
False
Let l = 14 + -21. Suppose -5*i = -2*p - 2*p + 92, -4*p = 2*i + 20. Let d = l - i. Does 9 divide d?
True
Let g = 41 + -65. Let w be g + (-1)/((-2)/4). Let b = 33 + w. Is b a multiple of 4?
False
Let a = -10 + 48. Suppose 26*s - 35*s = -180. Does 4 divide a/10 - (-4)/s?
True
Suppose -2*d + 265 = 79. Suppose -5*t + 67 = -d. Is 8 a factor of t?
True
Let l be -8 + 3 - (-5)/(-5). Let s be (-9)/4*(-128)/l. Is 6 a factor of ((-5)/(-2))/((-4)/s)?
True
Let j be 4/4*52/4 + -3. Does 32 divide (-836)/(-110)*j*1?
False
Suppose 0 = n - 2*q - 4, 3*n = 4*n - q - 2. Suppose n = 3*b + 2*z - 15, -b - 2*z = 4*b - 21. Suppose 60 = b*d + d. Is 12 a factor of d?
False
Let x be (-12)/(-5) - (-24)/(-60). Suppose -2*m = -4*m - x*p + 8, 4*m + 5*p - 18 = 0. Suppose m*o = -5 + 35. Is o a multiple of 9?
False
Let l = 4443 - 2777. Is l a multiple of 33?
False
Let g be (-3)/(-2)*8/3. Suppose 5*c - 6*c = -g. Suppose 108 = -c*r + 7*r. Is r a multiple of 12?
True
Let s(j) = -j**3 - 3*j**2 - j - 4. Let t(m) = 10*m + 35. Let u be t(-4). Does 4 divide s(u)?
False
Let y(r) = 0*r**2 + 4 + r**2 - 3*r + r + 0*r. Let i = 64 + -56. Is y(i) a multiple of 26?
True
Let i(b) = 9*b - 12. Suppose 3*w = -6, 0 = -4*o + 8*o + 2*w - 12. Is i(o) a multiple of 4?
True
Suppose -5*a + 408 = -0*d - 4*d, -5*d + 267 = 3*a. Let v = -25 + a. Is v a multiple of 11?
False
Let j(k) = k**3 + k**2 - 2*k + 5. Let w be j(0). Suppose -5*f + n + 477 = 0, 4*n - 300 = 2*f - w*f. Is f a multiple of 12?
True
Let u = -448 + 589. Let k = 0 + 0. Suppose 3*i - 2*h = 248, k = 5*i + 5*h + u - 571. Is i a multiple of 19?
False
Let c = -16 - -13. Let h be 6*(c - 12/(-9)). Is 11 a factor of ((-4)/h)/((-5)/(-150))?
False
Let z(n) = -n**3 + 2*n**2 + 8*n - 4. Let l be z(5). Let f = l - -72. Is 17 a factor of f?
False
Let q = 1818 + -1695. Is q a multiple of 59?
False
Let j be 0 - 1 - (-110 - -3). Let l = 6 - 6. Suppose l = 5*f + 5*r - 110, 4*r - j = -7*f + 2*f. Is 18 a factor of f?
True
Suppose -2*p + 5*y = -3225, -3*p - 1635 = -4*p - 5*y. Does 52 divide p?
False
Let m(g) = 10*g. Let x = -6 + 1. Let f be m(x). Does 19 divide (-30)/f - 157/(-5)?
False
Let v = 1038 + -128. Suppose 0*u = 13*u - v. Is u a multiple of 26?
False
Let m(c) = -7*c + 4. Let s(l) be the first derivative of -7*l**2/2 + 3*l + 5. Let y(f) = -4*m(f) + 6*s(f). Is y(-3) a multiple of 13?
False
Let n = 116 + 16. Is 13 a factor of 3 + -3 + 3 + n?
False
Let u(s) = 18*s**2 - 4*s + 6. Is u(2) a multiple of 5?
True
Suppose 3*n = -4*c + 25, 4*c - 2*n - 1 = 3*n. Suppose i - c = 17. Is i a multiple of 7?
True
Does 7 divide ((-56)/84)/((4/318)/(-1))?
False
Suppose -l = 2*l + 144. Let q = l - -88. Does 33 divide q?
False
Suppose 3*w + 0*w - 13 = 2*i, 7 = 2*w - i. Is (2 - 5 - w)*255/(-68) a multiple of 4?
False
Suppose -5*n + 2*n - 921 = 0. Let m = -183 - n. Does 13 divide m?
False
Does 12 divide 144/14*70/20?
True
Suppose 18*q - 7444 = 13*q + 2*p, -5*q = 5*p - 7430. Is q a multiple of 4?
True
Let u = 615 + 346. Is u a multiple of 31?
True
Suppose 45*z = 50*z - 10. Is (0 + z)*170/20 a multiple of 17?
True
Suppose 62*y + 200133 = 503189. Is y a multiple of 13?
True
Let w = -4 + 6. Suppose -21*k + 156 + 306 = 0. Suppose 5*t - x - k = 0, 5*t + 0*t - 16 = -w*x. Is 2 a factor of t?
True
Let v(u) = -u**3 + u**2 + 11*u + 13. Does 3 divide v(-2)?
True
Let z = 329 - -61. Does 12 divide z?
False
Suppose 3225 = -5*a - 0*a. Is a/(-7) - 5/35 a multiple of 11?
False
Let d = -1186 + 2063. Is 31 a factor of d?
False
Let t = -36 - -281. Does 42 divide t?
False
Let l(m) = -231*m - 372. Does 27 divide l(-5)?
True
Let i be (-6 + 0)/(4 + 1041/(-258)). Suppose i = 3*t - 5*d, -176 = -4*t - 0*t - 4*d. Does 48 divide t?
False
Let n(q) = -q**2 + 70*q - 23. Is 4 a factor of n(39)?
False
Let x(t) = 297*t - 25. Let m be x(2). Suppose 17 - m = -2*z. Is 23 a factor of z?
True
Let g(q) = q**3 + 4*q**2 - 6*q - 2. Let j be g(-5). Suppose 0 = -16*r - 16. Is (j/2)/(r/(-4)) a multiple of 6?
True
Let x = -7 - -47. Let z = 66 - x. Is 26 a factor of z?
True
Let r = -4263 - -8141. Is 10 a factor of r?
False
Suppose -7 = 7*r - 35. Suppose 0 = -3*m - 4*n + 65, -32 = 2*m - r*m + 3*n. Does 19 divide m?
True
Let c(h) = -h**3 - 7*h**2 - 7*h - 4. Let u be c(-6). Suppose -25 = u*l + 63. Is 11/(l/(-168)) + -2 a multiple of 20?
True
Let o(k) = k**2 + 19*k + 37. Let q be o(-17). Is 19 a factor of q/((-2)/(-228)*3*1)?
True
Is 3 a factor of -1 + 6 - (2 + -158 - -7)?
False
Let d = -199 - -218. Let p = -94 - -131. Let g = p - d. Does 9 divide g?
True
Let j(y) = -y**3 + 16*y**2 - 13*y + 17. Let r be -2*(2 - 51/6). Let q be j(r). Suppose -5*c + 80 = -q. Does 29 divide c?
True
Let p(o) = -71*o + 6. Does 5 divide p(-3)?
False
Suppose 0 = -r + 5*g + 2, g + 1 + 5 = 3*r. Suppose r*b + 20 = -2*b. Let f = b + 10. Is f even?
False
Let v = -145 - -87. Let p = 68 + v. Is p a multiple of 2?
True
Let o(d) be the first derivative of -d**4/4 + 8*d**3/3 - 2*d**2 - 12*d + 2. Suppose -2*y = -13 + 1. Is o(y) a multiple of 12?
True
Suppose 0 = -7*p - 2*p + 63. Suppose -p*q = -340 - 101. Does 9 divide q?
True
Let u(r) = -r**2 + 4*r + 8. Let h be u(5). Suppose 0 = g + h*g - 4*f + 228, 0 = 3*g - 4*f + 168. Is 13 a factor of (-2556)/g - (-4)/10?
False
Suppose -1964 = -10*f - 364. Does 33 divide f?
False
Suppose -126 - 9 = -15*d. Does 21 divide d*6/36 + (-43)/(-2)?
False
Let z be 2/(12/(-2727))*(-3 + 7). Is 24 a factor of 4/6*z/(-12)?
False
Let x(z) = -z**3 - 11*z**2 - 11*z - 5. Let o be x(-10). Suppose 2*f = o*u + 4*f - 219, -3*u = -5*f - 119. Does 43 divide u?
True
Suppose 10*a = a - 18. Is 10/4*a - -140 a multiple of 9?
True
Suppose -5*f + 0*f - 50 = 0. Let u(v) = -21*v - 14. Let g be u(f). Let t = -128 + g. Is 15 a factor of t?
False
Let t(l) = -l - 15. Let f be t(-15). Suppose f - 6 = -3*h. Suppose -x = 3*g - 44, 0 = -0*g + 2*g + h*x - 24. Is g a multiple of 4?
True
Suppose 5*k - 4*p - 110 = 0, k - 58 = -2*k + 4*p. Suppose -60 - k = -l. Let a = l + 3. Is 24 a factor of a?
False
Let i = -46 - -73. Let g = i - -47. Does 11 divide g?
False
Let d(o) = 2*o**2 - 73. Does