True
Let d = 19800 + -11003. Does 12 divide d?
False
Let g(l) = -l**2 + 14*l - 28. Let m be g(11). Let v(z) = z**2 - 4*z - 18. Let k be v(m). Let a(b) = -8*b - 54. Does 10 divide a(k)?
True
Suppose -2*x - 3*r = -21, -x + 2*r - 4 = x. Suppose -2*q = -x*b - 52 - 98, -b + 5*q - 37 = 0. Let h = -16 - b. Does 18 divide h?
True
Suppose d = -2*o - d + 86, -5*o + 3*d = -191. Suppose -3*y + o = 28. Is 34 a factor of (-1*1)/(y/(-136))?
True
Let u = 2335 + 1247. Suppose 0 = 4*f - 5*z + 1889, -5*f = -z + u - 1205. Let x = -282 - f. Is 36 a factor of x?
False
Let m(w) = 2*w**2 - 9*w + 61. Let r(u) = -u**2 + 5*u - 31. Let h = -12 + 7. Let q(z) = h*r(z) - 2*m(z). Does 24 divide q(15)?
False
Does 10 divide (-3 - (-17 + -1169 - (4 - 3)))*5?
True
Let o(n) = -n**3 - 2*n**2 + 5. Suppose 10*f = -2*f. Let c be o(f). Is 728/c + (18/(-5))/(-9) a multiple of 18?
False
Let k = 624 - -7516. Does 55 divide k?
True
Let g be 12/10*30/9. Suppose 2*v + 276 = 4*f, -g*v = -f - 9*v + 80. Does 10 divide f?
True
Suppose 480 = -9*n - 23*n. Let p(j) = j**3 + 15*j**2 - 27*j - 10. Is 5 a factor of p(n)?
True
Suppose -4*j - 4 + 0 = 0. Let g be (-100)/45 + 6 - (-4)/18. Does 14 divide g + (-333)/(-6) - j/(-2)?
False
Let f be -5 + (-17)/((-153)/36). Suppose -9 = -m - 0*m. Is f*39*(6 - m) a multiple of 9?
True
Suppose -7351 + 398095 = 24*r - 200784. Does 37 divide r?
False
Let m(y) = 12*y - 6 + 11*y - 16*y + 39. Let p be m(-23). Does 43 divide (p/(-5))/((-2)/(-5))?
False
Let c(s) = 101*s - 59 + s**2 - 65*s - 46*s. Does 43 divide c(-11)?
True
Let s(w) = w**3 + 14*w**2 - 3*w - 23. Let o be s(-14). Suppose o*u = 6*u + 4290. Does 30 divide u?
True
Let p(j) = -j**2 + 2*j + 8. Let b be p(4). Let h be ((b - (-26)/6) + -3)*30. Suppose 0 = -19*v + 21*v - h. Does 5 divide v?
True
Suppose 3*x - 735 = -j, -498 = -3*x + x + 2*j. Let d = 311 + x. Does 38 divide d?
False
Let r = -11396 + 11915. Is 2 a factor of r?
False
Suppose 3*v + 12 = 9*v. Suppose 0*y + 4*y - n - 166 = 0, -2*y = -n - 82. Suppose -v*f + 4*f = y. Is 17 a factor of f?
False
Suppose 29*i - 2*p = 25*i + 2786, -2*i + 2*p + 1396 = 0. Is 5 a factor of i?
True
Suppose b + 112 = -5*m, -3*m + 540 = 3*b - 7*b. Is (-1)/(-4) - 2607/b a multiple of 4?
True
Let o(f) = -8*f**2 + 8*f - 8. Let g(q) be the third derivative of -7*q**5/60 + 3*q**4/8 - 4*q**3/3 + q**2. Let p(t) = 7*g(t) - 6*o(t). Is p(13) a multiple of 7?
False
Suppose m = m - 6*m. Suppose 2*u - k = -0*k + 162, m = -u - 4*k + 99. Is u a multiple of 12?
False
Let v(w) = 5*w - 7. Let r = -5 - -7. Let h be v(r). Does 6 divide 14/((-4)/8 - h/(-2))?
False
Let n = -13 - -16. Let j be n*(-1508)/(-36)*3. Suppose j = 7*k + 62. Is 5 a factor of k?
True
Let n be (-11)/((-55)/(-150)) + 3 + 2. Does 39 divide (190/n)/((-1)/25)?
False
Let a = -9840 + 16898. Does 118 divide a?
False
Suppose 0 = 3*x + 4*x - 70. Suppose 5*p = x, 5*g = -4*p + 13 + 5. Suppose g*y - 50 = -3*y. Is 3 a factor of y?
False
Let d(k) = -275*k**2 + 2*k + 1. Let i be d(-1). Suppose 0 = 18*w + 1644 + 1758. Let z = w - i. Does 11 divide z?
False
Let z = -17 + -34. Let p = -49 - z. Suppose -2*f = -p*y - 192 - 10, -2*y = -f + 104. Is 49 a factor of f?
True
Suppose 3*l - 1 = 26. Suppose -2*n + l - 5 = 0. Suppose -3*a - 177 = -4*j + j, -130 = -2*j - n*a. Is j a multiple of 19?
False
Suppose -43 - 27 = -3*z - 2*q, -3*z = 4*q - 68. Let l be 21/5 + (-1)/5. Does 44 divide 110/l*z/5?
True
Suppose -38*f + 24*f + 309263 = 27*f. Is f a multiple of 42?
False
Suppose h + 5*w = 8716, -5*h = 5*w + 16146 - 59686. Does 6 divide h?
True
Let m be (10/4 + -4)*-2. Suppose -m*j + 744 = j. Suppose 3*o = -0 + j. Is 11 a factor of o?
False
Suppose -18*t + t = -119. Suppose 8*f = t*f + 744. Is 93 a factor of f?
True
Suppose 0 = 153*h - 146*h - 13132. Suppose -5*i = 2*q - 938, 3*i + h = 4*q + i. Is 67 a factor of q?
True
Let b(z) = -1037*z - 7618. Is 3 a factor of b(-8)?
True
Suppose 4*c + 12243 + 33477 = 10*c. Does 15 divide c?
True
Suppose -5*y - 2 + 0 = -4*z, -3 = 3*y - 3*z. Let l be 0/(1 - 3)*(-1 + y). Suppose l = j - 4, 2*j = -3*k + 364 + 22. Is 18 a factor of k?
True
Suppose 0 = -94*n + 104*n - 64390. Suppose -11*f + n - 1577 = 0. Does 6 divide f?
False
Suppose 4 = -4*i, 10*i - 1433 = -3*u + 12*i. Is 2 a factor of u?
False
Suppose 2*y = 2*d - 10, 5*d + 6*y - 4*y = -10. Let g(s) = -2*s**3 - s**2 + 2*s + 1016. Does 6 divide g(d)?
False
Suppose -1330 = -5*u - 5*u. Suppose -o = 4 - u. Does 6 divide o?
False
Let a = -9 - -9. Suppose f = -a*f + 2. Suppose -5*l - 4*v = 0, l + f*v = 4*v + 14. Is l a multiple of 2?
True
Let k = 726 - 711. Let t be 2/(-6)*-3 - -110. Suppose -k = m - t. Does 32 divide m?
True
Let y be -17*((-15)/(-20))/((-1)/(-4)). Let t = 55 + y. Suppose -t*k + 76 + 8 = 0. Is 10 a factor of k?
False
Let c = 90743 - 62762. Is 32 a factor of c?
False
Let m be 156/130*(-4240)/(-24). Suppose -7*a + 3*a = -232. Suppose -a = -15*n + m. Is n a multiple of 7?
False
Suppose 0 = 12*z + 1862 - 57410. Is 2 a factor of z?
False
Suppose 4*y - 58*g + 56*g - 10 = 0, -2*g = 2*y - 2. Suppose -2*v + 0*v + 2 = n, 0 = 2*v + 4*n - 8. Suppose v*i - 32 = -y*i. Is 11 a factor of i?
False
Let h(u) = -u**2 - 5*u. Let f be 2/(-13) + (-350)/91. Let z be h(f). Suppose 2*b - 400 = -5*v - 144, -2*v - 464 = -z*b. Does 44 divide b?
False
Let r = -270 + 279. Let x(q) = 4*q**2 - 23*q + 23. Does 38 divide x(r)?
False
Suppose 0 = -5*y + 164 + 11. Suppose y*w = 31*w + 1152. Does 9 divide w?
True
Let m(v) = 624*v - 248. Is m(2) a multiple of 5?
True
Let v(w) = w**3 + 9*w**2 + 12*w + 22. Let g be v(-8). Let t(c) = -31*c - 63. Is t(g) a multiple of 3?
False
Suppose -5118 = -n - 4*q - 214, 5*n - 2*q = 24652. Is n a multiple of 3?
False
Let c be (1 - 35/15)*108. Let j be c/(-4)*(-46)/(-8). Let x = -131 + j. Is 19 a factor of x?
True
Let a(n) = -2240*n - 55. Is 23 a factor of a(-1)?
True
Suppose 1653 = -12*f - 855. Let i = -139 - f. Let o = i - 49. Is 3 a factor of o?
True
Suppose -114 = -2*n + 2*o, 0 = 2*n + 4*o - 42 - 66. Suppose -n = 10*a - 216. Let t(x) = x**3 - 17*x**2 + 17*x + 24. Is t(a) a multiple of 4?
True
Let a(r) = 2*r + r**2 - 13 + 2*r - 3*r. Let z = 1993 + -1985. Does 9 divide a(z)?
False
Let k = -24 - -28. Let v = k + 9. Suppose -10*s - 291 = -v*s. Does 19 divide s?
False
Let i = 3980 - -3970. Does 15 divide i?
True
Suppose 7*b - 2*b - n - 837 = 0, -5*b = -2*n - 834. Let y be (48/72)/((-2)/b + 0). Is (-2 - (-63)/12)/((-7)/y) a multiple of 19?
False
Let f be (-3)/4 - (-2)/((-8)/(-51)). Let i be (2/(-8))/((-3)/36). Suppose -i*x = -2*o + 102, o - f = 2*x + 37. Is 19 a factor of o?
True
Let q be 3 - 4 - (-3 + 8/4). Suppose -3*h + 2989 = -q*h - 5*l, 4*h - 3978 = 3*l. Suppose h = 6*w + 141. Is w a multiple of 10?
False
Suppose -2*d + y + 142 = -0*y, 2*d = -5*y + 130. Suppose 4*h = -54 + d. Suppose s = 3*m - 4*s - 227, h*s - 440 = -5*m. Does 21 divide m?
True
Suppose -2*m - t = 1, -4*t - 8 = 3*m + 1. Let z be 2*((-10)/(-8) - m/4). Suppose -4*v = -4*p + 648, 0*p + p - 163 = z*v. Does 33 divide p?
False
Is 10 - (-1 - (4392 - 4)) a multiple of 13?
False
Let g be ((-20)/4)/(-5)*-13. Let l = 16 + g. Suppose 4*h - 419 - 136 = 3*u, -l*h + 415 = -u. Is h a multiple of 23?
True
Suppose -35257 = 10*y - 102917. Is y a multiple of 34?
True
Let k(t) = -3*t + 69. Let d(y) = y**3 + y**2 - 18*y + 2. Let u be d(4). Is 25 a factor of k(u)?
False
Suppose -2*f - 3 = -j, -12 = -3*j - j + 3*f. Suppose -x = x - u - 97, 0 = -j*x + 2*u + 148. Does 13 divide x?
False
Suppose 45 = 3*f + 5*w - 5, -w - 44 = -3*f. Suppose 3*a + 15 = 0, -s - 3*s = 5*a - 7. Suppose s*x - f*x = -525. Is x a multiple of 15?
True
Let s be 15/75 + 238/20*122. Suppose 19*t - s = 15*t. Is 57 a factor of t?
False
Suppose 0 = 19*h + 45*h - 7104. Does 3 divide h?
True
Suppose 24 = 5*h - 3*h. Suppose 0 = h*l + l - 858. Suppose 69*q - l*q = 567. Is 44 a factor of q?
False
Let p(y) = 625*y - 781. Does 41 divide p(33)?
True
Let k(g) = g + 37. Let m(r) be the second derivative of 14*r**3/3 - 3*r**2 - 17*r. Let n be m(1). Is 7 a factor of k(n)?
False
Let k(t) = 125*t**2 + 57*t. Does 11 divide k(5)?
True
Let y = 22394 + 3495. Is 17 a factor of y?
False
Suppose -11949 = -55*x + 34*x. Let j = -161 + x. Is j a multiple of 32?
False
Let x = 15551 - 9980. Is x a multiple of 5?
False
Suppose 60*c + 162657 = 60*c + 53*c. Does 12 divide c?
False
Let r(v