oes 16 divide (-17628)/(-24) - (27/6)/(-3)?
True
Suppose 3*m + 5*b = 4*m + 301, 1252 = -4*m + 4*b. Let v = -184 - m. Does 11 divide v?
True
Let w = 54 + -47. Suppose w*k - 135 = 2*k. Is k a multiple of 27?
True
Let v = -7 + 21. Let b be (v/(-5))/((-1)/(-5)). Let s = 44 + b. Is 8 a factor of s?
False
Suppose -5*z - 4*y = -6*y - 4856, -3*z + 2926 = 5*y. Is 14 a factor of z?
False
Let z(p) = -74*p**2 - 6 + 32*p**2 + 34*p**2 + 6*p - p**3. Does 3 divide z(-9)?
True
Does 15 divide ((-1)/(-3))/((-1586176)/(-105744) + -15)?
False
Suppose 16*h + 12 = 20*h. Let n = 51 - -53. Suppose n - 26 = h*z. Does 7 divide z?
False
Suppose -6*p = -4*p - 2*f - 6, 0 = -p + 3*f - 3. Is 17 a factor of ((-68)/6*-5)/(2/p)?
True
Suppose -4*l = -6*l + 92. Suppose x = 54 + l. Does 22 divide x?
False
Suppose 2*f - 2 = 14. Suppose -11*h + 504 = -f*h. Let j = h + -115. Is j a multiple of 12?
False
Is 13 a factor of -5 + 140 + (1/(-1))/1?
False
Suppose 0*c + 4*c - 2812 = 0. Let m = c - 419. Does 15 divide m?
False
Let o(h) = 7*h**2 - 17*h - 26. Is o(8) a multiple of 13?
True
Suppose 0 = 3*q - q - 8. Suppose -99 = -q*n + 3*n. Does 33 divide n?
True
Let k(v) be the second derivative of -v**4/12 + 11*v**3/3 + 7*v**2 + 10*v. Is k(19) a multiple of 10?
False
Let n = 107 - 67. Let m = n - 30. Is m a multiple of 7?
False
Is 7 + (-27708)/(-54) + (-1)/9 a multiple of 5?
True
Let o = 15 - 12. Suppose 54 = 4*i - o*i - 5*d, 4*i + 4*d - 120 = 0. Is 16 a factor of i?
False
Suppose -k = -l - 0*l - 7, -5*k - 2*l = 0. Let u be 189/14*k*1. Suppose u - 96 = -o. Is o a multiple of 23?
True
Suppose 169 = -2*a + 1625. Does 7 divide a?
True
Suppose 8*h - 184 - 32 = 0. Suppose -h - 27 = -9*y. Is ((-920)/12)/((-4)/y) a multiple of 17?
False
Is 13 a factor of 7 + 5*10722/30*1?
True
Let u = -3 + 5. Suppose -4*w = 3*i - 328, -u*i + 0*w + 237 = -w. Does 10 divide i?
False
Let n be (-16)/20*5/(-2). Suppose -3*d - n*d = -215. Suppose -4*z = -3*x + 35, -5*x + 0*z = z - d. Is x a multiple of 2?
False
Suppose 15*r + 14*r - 1624 = 0. Is 7 a factor of r?
True
Let j be (-6)/12 - (-9)/2. Suppose -5*w = -b + 4*b - 24, -3 = -5*b + j*w. Suppose b + 277 = 4*z. Does 22 divide z?
False
Suppose 0 = -23*u - 9*u + 2304. Does 9 divide u?
True
Let a = 1847 - 1667. Is a a multiple of 9?
True
Suppose -4*v + 1366 = -630. Suppose 5*n + 59 = v. Suppose 2*x - 102 - n = 0. Is x a multiple of 32?
False
Suppose 108 = 4*q - 48. Let h = q - -48. Is h a multiple of 15?
False
Suppose -47*r - 1710 = -50*r. Does 30 divide r?
True
Let c(q) = q**2 + q - 23. Let n(m) = 2*m**3 + 3*m**2 + 3*m + 2. Let t be n(-2). Is 33 a factor of c(t)?
True
Suppose 4528*d = 4519*d + 9468. Is 11 a factor of d?
False
Suppose 0*q = -5*q - 360. Suppose 5*r - 3*g = 511, -7*g = -8*g + 3. Let f = r + q. Does 21 divide f?
False
Suppose 4*p + 40 = o + 4*o, -3*p = o + 11. Let v be ((1 - 1) + 1)/1. Is 25 a factor of (-10)/(0 + v/p)?
True
Suppose 36*k - 31*k = 20. Suppose -z + 6*h - k*h + 94 = 0, -2*z - 3*h + 195 = 0. Does 24 divide z?
True
Let c = 2767 + -1820. Does 56 divide c?
False
Is ((-1551)/44)/(3/(-12)) + 3 a multiple of 48?
True
Let j(o) = o**3 - o**2 - 3*o + 3. Suppose 3*p - 2 = 7. Let h be j(p). Is 3 + 1 + -10 + h a multiple of 3?
True
Suppose -2*f + 7*f = 3*t - 372, 5*t - 2*f - 620 = 0. Does 11 divide (t/8)/((-2)/(-8))?
False
Let i(q) = -11*q**3 + 47*q**2 - 4*q + 21. Let l(c) = -5*c**3 + 23*c**2 - 2*c + 11. Let w(a) = -6*i(a) + 13*l(a). Is w(-17) a multiple of 12?
False
Let f = 73 - 73. Suppose f = 6*t - 154 - 158. Is t a multiple of 26?
True
Let g be 6*(-3)/(-6)*-2. Is 48/(-14)*21/g a multiple of 3?
True
Suppose 0 = 73*k - 68*k + 15. Is 54 a factor of (519/9)/((-1)/k)?
False
Let m be (10/2)/(3/(6 + 141)). Suppose -n - m = -2*n. Is 35 a factor of n?
True
Does 11 divide 8930/14 - (-3)/21?
True
Suppose 61 = 8*x - 331. Does 18 divide x?
False
Suppose -z + 38 = 3*y - 94, -3*z + 220 = 5*y. Is y a multiple of 2?
True
Suppose -w - 1 = -4*z + 4, 5*z + 2 = 4*w. Let a(j) = -j**3 + 7*j**2 + 14*j - 54. Let y be a(8). Is z*(2 - 4)*y a multiple of 6?
True
Is 78*(-9)/(-12) + (-5)/(-10) a multiple of 2?
False
Let u(c) = 2*c**2 + 2*c - 1. Let p be u(1). Let o(h) be the first derivative of h**4/4 + 2*h**3/3 + h - 19. Does 23 divide o(p)?
True
Let a(d) = 3*d - 2. Let v be a(-3). Suppose 36 = -9*j + 3*j. Let p = j - v. Is 5 a factor of p?
True
Suppose 3*h - 4*h - 555 = -4*w, 4*w + h = 565. Suppose 0 = 5*g - 5*v - w, -2*v + 16 = g + 3*v. Does 5 divide g/(-91) + 142/7?
True
Let s = -666 - -901. Is 47 a factor of s?
True
Let j be (-4 - (1 + 9))*-16. Let n = j - 98. Does 14 divide n?
True
Let p = -511 - -531. Let x(h) = h**2 - h + 72. Let n be x(0). Suppose -16*w - n = -p*w. Is 9 a factor of w?
True
Suppose -5*a = -3*q + 2213, 2*q + 9*a - 4*a = 1492. Is q a multiple of 47?
False
Suppose -m = -x - x - 819, -5*x = 4*m - 3250. Is 14 a factor of m?
False
Let l = -19 + 17. Is 13 a factor of (2/l)/(-1) - -18?
False
Let q(f) = f**2 - 8*f + 6. Suppose 2*y = -2, 2*a + 7 = 5*y + 26. Let m be q(a). Is (-3 - m) + (-36)/(-4) a multiple of 7?
True
Let x(c) = -123*c - 563. Is 18 a factor of x(-21)?
False
Let m(j) = 15*j**2 + 92*j + 10. Let r be m(-6). Let d(q) = 5*q**2 + 0 + 8*q**2 + 3*q + 2. Does 18 divide d(r)?
False
Let w = -25 + 28. Suppose -175 = -4*p - w*z + 53, 4*p = 4*z + 256. Is 10 a factor of p?
True
Let o = 219 + -205. Let a(z) = -2*z + 1. Let q be a(-1). Suppose q*u = 5*u - o. Is u a multiple of 7?
True
Let c = 88 - 93. Is 6 a factor of 3/5 + c/(75/(-441))?
True
Suppose 2*h + 0*h - 5*c = 4, h + c = 2. Suppose 3*b = -h*b + 325. Does 13 divide b?
True
Let z = 6 + -2. Suppose -f + 133 = 2*f - 5*m, -4*m + 124 = z*f. Does 6 divide f?
True
Suppose 4*x = -2*a + 1780, -5*a + 4435 = 83*x - 78*x. Is 52 a factor of a?
True
Suppose -51 = -4*x - 31, 0 = 3*d - x - 679. Is d a multiple of 12?
True
Let w(f) be the third derivative of 0*f + 0 + 0*f**3 - 1/30*f**5 - 1/24*f**4 - 2/15*f**6 - 2*f**2. Is w(-1) a multiple of 15?
True
Let z(j) = j**2 - 4*j + 9. Let q be z(6). Let i = q - 27. Is ((-48)/10)/(i/40) a multiple of 9?
False
Suppose -2*b = -3*b - 69. Let m(c) = 9*c - 36. Let l be m(0). Let a = l - b. Does 16 divide a?
False
Let s be 4 - (2 - -11 - 0/5). Let t(j) be the first derivative of -j**2/2 + 4*j - 1. Does 13 divide t(s)?
True
Let c be ((-13)/(-26))/(2/(-8)). Is (c - 49)*(-20)/6 a multiple of 39?
False
Let o be 2/5 + 18/5. Suppose 5*p - 3*p - 38 = -w, o*p = -4*w + 148. Is w a multiple of 9?
True
Let b be 24/16 + (-29)/(-2). Suppose 9*p = 13*p - b. Suppose t - 49 = -p*s, 2*t + t - 15 = 0. Does 5 divide s?
False
Suppose 5*r = 168 - 23. Suppose -23*i + 22*i + r = 0. Is i a multiple of 11?
False
Suppose -s + m = -0*m + 26, 4*s = -m - 84. Let r = s + -1. Let z = 49 + r. Does 26 divide z?
True
Does 6 divide (12/8)/(-1)*-16*4?
True
Let y be (0 - -2)*(-135)/(-15). Let i = y + 84. Is i a multiple of 34?
True
Suppose -130680 = -415*o + 382*o. Is o a multiple of 33?
True
Let s(n) = 21*n - 55. Let k be s(10). Suppose 3*m + 4*z - 462 = 0, -2*z - 3 = m - k. Is m a multiple of 11?
False
Let q = 30 - -16. Let z = 70 - q. Is 8 a factor of z?
True
Suppose -4*t - 197 = -833. Suppose 0*l + l - 5*m - t = 0, 0 = 4*m. Is 53 a factor of l?
True
Let r = -91 + 95. Suppose -5*j + 0*j = -r*s - 195, -3*j = -3*s - 117. Is j a multiple of 8?
False
Let x(l) = -3*l. Let w(s) = -5*s. Let t(h) = 6*w(h) - 13*x(h). Let o be t(1). Let q(z) = z**3 - 8*z**2 - 8*z + 6. Is q(o) a multiple of 5?
True
Let h = 848 - 541. Suppose 5*g + c + c - 289 = 0, -5*g + 4*c + h = 0. Suppose 0 = -4*x - 0*m + 5*m + g, 2*m = x - 11. Is x a multiple of 7?
True
Suppose 0 = 3*z - 6*z. Let t be (0 + z)/(4/(-4)). Suppose t = j - 2*j + 12. Does 6 divide j?
True
Let f = 228 + 97. Does 17 divide f?
False
Let x = 220 - 99. Is 11 a factor of x?
True
Let n = 98 - 43. Let t = n - 20. Is (-156)/(-10) - (-14)/t a multiple of 14?
False
Let v be (-19 + 4)*(-1)/3. Suppose 14 = v*w - 36. Is w a multiple of 8?
False
Suppose 0 = 466*p - 475*p + 14985. Is p a multiple of 15?
True
Let y(j) = j**2 - j. Suppose -l = -2*l - 2. Let n be y(l). Suppose c = -n*u + 3*u + 77, 0 = 4*c - 2*u - 266. Is c a multiple of 12?
False
Let i(m) be the first derivative of -m**3/3 - m - 4. Let n(k) = -2*k**2 - 2. Let r(l) = -14*i(l) + 5*n(l). Is 10 a factor of r(-2)?
True
Let k be 2 + (-12)/5 