s. Is s a multiple of 12?
True
Suppose 3*c = -2 + 11. Suppose 4*y + c*j - 132 = -j, -3*y - 5*j = -103. Does 12 divide y?
False
Let r(t) = -t**3 - 6*t**2 - 5*t. Let s be r(-4). Let x be ((-9)/6)/(s/16). Suppose x*g - 273 = -g. Does 25 divide g?
False
Suppose -15230 = -18*i + 4444. Does 104 divide i?
False
Let f = 3509 + -2343. Does 16 divide f?
False
Let b = 0 + 294. Suppose -b - 894 = -6*p. Suppose 0*l - 37 = -q + 3*l, -2*l - p = -4*q. Is 26 a factor of q?
True
Is 71 a factor of 2638 + -6 + 5*(2 + -3)?
True
Let j(s) = -19*s. Let d(h) = 2*h - 14. Suppose -1 = l - 7. Let n be d(l). Is j(n) a multiple of 19?
True
Suppose 0 = 3*s - 63 + 9. Let j(m) = -3*m**2 + 15*m + 21. Let c(d) = d + 1. Let i(k) = s*c(k) - j(k). Is 4 a factor of i(2)?
False
Suppose -2*v - 29 - 5 = 0. Is v + 116 - (-1 - -1) a multiple of 12?
False
Let g(u) be the second derivative of u**4/4 + 3*u**3/2 + 2*u**2 - 9*u. Let m be g(-10). Suppose -4*z + 6 + m = 0. Does 11 divide z?
True
Is (-11 - 6685/4)*(-4)/3 a multiple of 25?
False
Let l = 474 - 1106. Is (3 + (-21)/6)/(2/l) a multiple of 13?
False
Suppose 12*f - 193 + 13 = 0. Is 6 a factor of (36/10)/(1/f)?
True
Suppose -986 = -g - q, -2*q = 12*g - 11*g - 987. Is g a multiple of 8?
False
Let u(a) = -a**3 - 17*a**2 - a - 1. Suppose -5*j - 25 = 0, 3*h + j + 56 = -0*h. Is u(h) a multiple of 8?
True
Let y(a) = -a**2 + 5*a + 8. Let n be y(7). Let v(s) = -s**3 - 3*s**2 + 4*s - 12. Is 25 a factor of v(n)?
False
Let s(v) = -80*v - 75. Does 22 divide s(-22)?
False
Let o(v) = 4*v**2 + 14*v - 33. Does 13 divide o(6)?
True
Let i(n) = -16*n**2 - n - 2. Let u be i(-2). Let z = -39 - u. Is 21 a factor of z - (-4 + (-32)/(-4))?
True
Let s(a) = -3*a**2 - 4*a + 6. Let q be s(-6). Let v be 6 + -1 - (10 + 16). Let d = v - q. Does 19 divide d?
True
Suppose 3*v + 96 = -0*v. Let m be 1/4 + 8/v. Suppose -2*z + m*z + 14 = 0. Does 3 divide z?
False
Let o = -33 + 37. Let i = o + 9. Is i even?
False
Let m be (-4 - -2 - -4)*28. Suppose d - 34 = -3*t, 4*t + 4*d + 0*d = m. Is 10 a factor of t?
True
Let o(g) = -g**3 - 13*g**2 - 14*g + 2. Let s be o(-12). Let c(d) = -d**2 + 27*d + 6. Is c(s) a multiple of 4?
True
Let w(i) be the first derivative of i**7/840 + i**6/45 + i**5/30 + 7*i**4/24 + 4*i**3 - 4. Let x(b) be the third derivative of w(b). Does 20 divide x(-7)?
False
Let w = 146 + -69. Suppose -14*g + 1913 = -2245. Suppose 0 = 5*x - g + w. Is 22 a factor of x?
True
Let b = 2972 - 2898. Does 2 divide b?
True
Let o = -103 + 151. Suppose 0 = 2*i + 3*u - 42, i - 2*i + 2*u = -7. Suppose -3*m = 2*j - 23, o = 5*j + 2*m - i. Is j a multiple of 8?
False
Let j = 495 - 412. Is 5 a factor of j?
False
Is 4 a factor of 211*((-50)/(-350))/((-2)/(-14))?
False
Let c be (-1 - (-1 + -2)) + (-8 - -6). Does 17 divide (-5)/((-20)/(-21))*(-4 + c)?
False
Suppose 7*f - 1496 = 233. Does 7 divide f?
False
Let d(y) = -y**3 - 8*y**2 - y + 5. Let f be d(-6). Let w = f + 108. Let a = 67 - w. Is a a multiple of 7?
False
Suppose y = 5*y - 16. Suppose y*g + 52 = 4*i, 3*i - 51 = -3*g + 2*g. Does 4 divide i?
True
Suppose 6 = -t + 2*i, -3*t - 5*i = -10*i + 14. Suppose -t*c - 3*c = -360. Does 18 divide c?
True
Let o(a) = a**3 - 13*a**2 + 14*a - 5. Let j(t) = 2*t**3 - 19*t**2 + 22*t - 7. Let k(u) = 5*j(u) - 7*o(u). Does 44 divide k(4)?
True
Let z(p) = 236*p**2 - 15*p - 5. Does 115 divide z(3)?
False
Let i(x) = -3*x**3 - 10*x**2 - 2*x + 89. Does 7 divide i(-9)?
True
Suppose 5*h = -o + 6, -o - 4*h + 2 + 1 = 0. Let x be (-10 - o)*0/(-1). Suppose 190 + 214 = 4*i - 2*j, 5*j - 10 = x. Does 13 divide i?
False
Suppose 0 = -10*q + 15 + 5. Suppose s = 2*c - s - 76, 5*c - q*s - 181 = 0. Is 5 a factor of c?
True
Let y = 55 + -59. Does 12 divide (4 + -1)*-6*y?
True
Suppose -2*c + 16 = -3*c + 4*y, 0 = -4*c - 2*y + 8. Suppose 4*d - 20 - 8 = c. Is d a multiple of 3?
False
Suppose 0 = -8*o + 4*o - 24. Is 7/(-14) + (-57)/o a multiple of 9?
True
Let g = -14 - -14. Suppose g = -7*n + 10*n - 51. Is 17 a factor of n?
True
Let i(d) = 10*d - 26. Let h(o) = 3*o - 9. Let u(l) = -7*h(l) + 2*i(l). Let c be u(9). Suppose m = -c*p + 77, m - 25 = -p - 4*m. Is 14 a factor of p?
False
Let l be (13432/69)/((-2)/(-9)). Suppose -l = -9*d + 1230. Is 31 a factor of d?
False
Let q(m) = -m**2 + 9*m - 6. Let r be q(8). Does 4 divide -4 - (-28 - (4 - r))?
False
Let h(u) = 4*u**2 + 101*u + 340. Is 9 a factor of h(-37)?
True
Suppose s + 57 = -x + 177, -2*s - 3*x + 236 = 0. Let u = s - 113. Does 11 divide u?
True
Suppose 20019 - 237 = 9*r. Is 46 a factor of r?
False
Let z be (-4)/8*4 + 5. Let x(g) = 4*g**3 + g**2 + 0*g - 16*g**z - 2*g - 4. Is 25 a factor of x(-2)?
True
Is ((-120)/36)/(-10) + 1304/3 a multiple of 20?
False
Let f(m) = m + 1. Let y be f(1). Suppose -5*c + 58 = -5*k + 298, -y*c + 36 = k. Is k a multiple of 20?
False
Suppose 4*r - 5*r + 3 = 0. Suppose 5 = 4*y - 3, -2*d + 30 = -y. Suppose 38 = r*q - d. Is q a multiple of 6?
True
Suppose 10*u = -2*t + 598, 3*t - 2*t + 2*u = 293. Is t a multiple of 9?
False
Let p = -4 - -9. Suppose 89 = 3*y + 5*q, -5*q - 139 = -p*y - 4*q. Is y a multiple of 13?
False
Let j = -3 + 3. Suppose 2*g - g - 5*g = 0. Suppose p = -j*p + 1, g = -y + 3*p + 31. Is y a multiple of 9?
False
Let r(h) = -h**2 - 6*h - 3. Let p be r(-3). Suppose z + 5 = -4*x, 2*z - p*x - 16 = -x. Is (z - -24)*(-2)/(-3) a multiple of 9?
True
Suppose 2*f - 3*h - 4323 = 0, -f + 2*h + 2151 = -3*h. Does 57 divide f?
True
Let v(o) = -o**2 - 4*o + 13. Let w be v(-7). Let i(a) = -a - 7. Let u be i(w). Let n = u + 38. Is 13 a factor of n?
True
Let w = 27 + -22. Suppose -n + w*b - 71 = -3*n, -13 = -n + 2*b. Is 20 a factor of n?
False
Does 27 divide (198/(-3))/((-12)/108)?
True
Let k = -130 - -252. Let y = k - 72. Does 25 divide y?
True
Suppose 14*t + 83 - 7475 = 0. Is 16 a factor of t?
True
Let u be (-15)/(-10)*(-1 + -5). Let m(j) = 3*j - 3. Let o be m(8). Let r = o - u. Does 10 divide r?
True
Suppose -5*o + 3*u + 382 - 5 = 0, 3*o - 4*u - 235 = 0. Does 4 divide o?
False
Let w(i) = -48*i - 125. Let r(u) = 16*u + 42. Let x(l) = 17*r(l) + 6*w(l). Is 7 a factor of x(-11)?
True
Let f = -1 + 3. Suppose 2*m + 80 = -f*o + 272, 1 = m. Let p = 161 - o. Is p a multiple of 22?
True
Suppose 105*q = 107*q - 8. Is 3 a factor of ((-1)/q)/((-6)/744)?
False
Suppose 2*r + 9 = 3, r + 1722 = 3*i. Does 7 divide i?
False
Let z = 54 - 22. Suppose -3*w = w - z. Let d(a) = -a**2 + 9*a - 6. Does 2 divide d(w)?
True
Suppose -95*q = -76*q - 16758. Does 98 divide q?
True
Suppose -60 = -2*h - 56. Suppose -3*w = h*j - 287, 0*w + 275 = 3*w - j. Does 19 divide w?
False
Suppose 13*n - 16700 + 3596 = 0. Does 12 divide n?
True
Let v(s) = -105*s - 8. Let w be v(-2). Suppose -w + 34 = -m. Is m a multiple of 28?
True
Suppose -4*s = -s + 6. Is 14 a factor of (2/s)/(-2*4/3136)?
True
Let a be (-48)/(-15) - (-4)/(-20). Suppose -a*u + 0 + 2 = -d, -u - 36 = -4*d. Is 7 a factor of d?
False
Let v(t) = -t**3 - 14*t**2 - 2*t - 10. Let d(u) = 5*u - 5. Let a be d(-5). Let c = -44 - a. Does 5 divide v(c)?
False
Let l = 46 - 27. Let r(n) = n**3 - 18*n**2 - 19*n + 15. Is 3 a factor of r(l)?
True
Does 13 divide (2/(-5) + 293654/(-1015))*-14?
True
Suppose 2*b + 4*c - 626 = 8*c, 5*c = 15. Is b a multiple of 29?
True
Suppose -4*o - 12*b + 5012 = -11*b, 3*b = 12. Does 53 divide o?
False
Is (-1843)/(-9) - (-38)/171 a multiple of 8?
False
Suppose 13 = -3*w + 19. Let m(z) be the first derivative of z**3 + z**2/2 - 2*z + 1. Is 12 a factor of m(w)?
True
Let p be -2 - (-1 + (-7 - 0)). Is (p/4)/(39/728) a multiple of 14?
True
Let k = 38 - 26. Suppose -2*m - u + 21 = -4*u, m + 3*u = -k. Suppose l - 44 = -m*d, 2*d - 37 = -4*l - 11. Is 15 a factor of d?
True
Let j(a) = 11*a + 1. Suppose 2*d + 3*d = -30. Let k(l) = l**2 + 6*l + 1. Let q be k(d). Does 4 divide j(q)?
True
Let g = 24 - -9. Let t(f) = -f**2 + 3*f - 3. Let z be t(-3). Let l = z + g. Is 6 a factor of l?
True
Let b(p) = 196*p - 178. Is b(3) a multiple of 5?
True
Suppose 6271 = 7*j - 4*j - b, -14603 = -7*j - 5*b. Is 16 a factor of j?
False
Suppose 2*c - 4*c = -4. Suppose -c*z + 5*b + 5 = 3, 2*z - 3*b + 2 = 0. Let d = z - -13. Does 4 divide d?
False
Does 11 divide ((-33)/4)/(30/(-520))?
True
Suppose 4*c = 9 + 7. Let s(y) be the first derivative of 2*y**3/3 + 2*y**2 + 4*y + 3. Is s(c) a multiple of 13?
True
Suppose -2916 = -12*l + 6*l. Is l a multiple 