28/h + (-1)/3. Is 3 a factor of (6 + 2)/(-4 - q)?
False
Let w be (36/(-30))/(3/(-50)). Does 13 divide ((-72)/w - -4)*45?
False
Let o = 314 - 253. Let l(u) = -3*u - 6. Let a be l(7). Let v = a + o. Does 9 divide v?
False
Let b = 350 - 209. Is 3 a factor of b?
True
Let g be (-4)/10*5*-108. Is 12 a factor of g/((-20)/(-5))*6/9?
True
Let d(w) = -w**2 + 25*w + 21. Is 19 a factor of d(21)?
False
Let i(y) = y - 4. Suppose 0 = j - 4, n - 22 = -n - 2*j. Let h be i(n). Suppose h*b - 252 = -5*o, -5*b - 297 = -5*o - 37. Is o a multiple of 17?
True
Let d = -777 + 1010. Is d a multiple of 13?
False
Let q = 91 - 54. Let z = 97 - q. Is 5 a factor of z?
True
Let z(x) = -31*x + 20. Does 15 divide z(-10)?
True
Suppose -5*w + 55 = -65. Let x = 128 - w. Is 14 a factor of x?
False
Suppose 0 = l + 3*t - 1547, -l + 10*t - 7*t = -1565. Is 12 a factor of l?
False
Is ((-402)/18)/((-3)/9) a multiple of 5?
False
Let g(b) = b - 23. Let z be g(0). Suppose 19 = h + 6. Let a = h - z. Does 18 divide a?
True
Suppose 3*f + 5*n = 563, n + 3*n = -5*f + 921. Is 24 a factor of f?
False
Suppose 0 = -i - 0*i + g - 22, -4*i - 4*g = 72. Is (-996)/i - 5/(-25) a multiple of 25?
True
Suppose 3*p = -59 + 65. Let t = 7 + -4. Suppose 2*w + p*d = -t*d + 51, 5*d - 105 = -5*w. Is 7 a factor of w?
False
Does 13 divide (-78377)/(-91) - ((-27)/(-21) - 1)?
False
Let h = 46 + -84. Let l = h + 95. Is 8 a factor of l?
False
Let v = -36 - -43. Suppose v*c - 12 = 121. Does 7 divide c?
False
Let z = -81 + 149. Let v = z - 46. Does 8 divide v?
False
Let l(g) = g**3 + 18*g**2 + 44*g + 12. Does 2 divide l(-14)?
True
Let d(y) = 3*y + 81. Let r be d(13). Let i = 20 + r. Does 14 divide i?
True
Let v(z) = 6*z**2 - 32*z + 9. Is v(9) a multiple of 9?
True
Let w be 0 + 1 + 0 + -11. Let t = 291 + -265. Let v = t + w. Does 4 divide v?
True
Let g(c) = 4*c**2 + 5*c + 2. Let w be g(-4). Let j = 135 - w. Is j a multiple of 11?
False
Suppose -5*n + 5*k = -468 - 8147, 0 = 4*n - 5*k - 6887. Is 18 a factor of n?
True
Let f = -53 - -29. Let q = 9 + f. Is 14 a factor of (-287)/q - 2/15?
False
Let b(k) = 37*k**2 - 10*k + 61. Does 8 divide b(9)?
True
Is 10/55 + (-8310)/33*-1 a multiple of 12?
True
Let i = 56 - -16. Suppose -r = -0*r - i. Suppose s = -s + r. Does 12 divide s?
True
Let g(y) be the first derivative of y**4/12 - y**3/6 - 4*y + 2. Let u(z) be the first derivative of g(z). Is 8 a factor of u(4)?
False
Suppose 52*l = 48*l + 16. Suppose -j = b - 48, -5*j + 94 = -l*b - 173. Does 9 divide j?
False
Suppose -667 + 2052 = -3*g + 4*m, -3*m = -4*g - 1835. Does 45 divide (-1)/2 - g/10?
True
Let r(i) = i**3 + 2*i**2 - 7*i - 4. Let c be r(3). Suppose -12*s = -c*s + 312. Is 10 a factor of s?
False
Suppose 0 = 9*o - 4969 + 1126. Does 7 divide o?
True
Let r be -2 - (0 - 106) - (-2 + 6). Let w = 4 + r. Is 18 a factor of w?
False
Suppose -d = -5*d. Suppose d = -2*q - 2 + 10. Suppose y = 62 + q. Is y a multiple of 28?
False
Let f = 1649 + -713. Is f a multiple of 62?
False
Let k be (45/25)/((-3)/(-10)). Let u be ((-2)/4)/(k/(-192)). Suppose 3*x - 17 - u = -3*y, 0 = -y - 4*x + 2. Does 7 divide y?
True
Let r(f) = -f - 1 + 4*f**2 - 3*f**3 + f**3 + 0*f**3 - 2*f**2. Let u be -5*(0 + 8/20). Is r(u) a multiple of 23?
False
Let o(y) = -y**3 - 27*y**2 - 52*y - 84. Does 88 divide o(-27)?
True
Suppose 258 = 6*u - 336. Does 9 divide u?
True
Suppose 2*m = -11*m + 7358. Let p = 947 - m. Does 38 divide p?
False
Let v = 43 + -10. Let n = v - 28. Suppose 0 = n*j - 181 - 269. Does 18 divide j?
True
Suppose 3*h = -3*s + 4*s + 87, h = -2*s + 36. Does 6 divide h?
True
Let z be 296/32 - (-1)/(-4). Let t = -9 + 11. Suppose -t = -h + z. Does 3 divide h?
False
Let q be (-1)/(4/(-56)) - 1. Let u = -9 + q. Suppose 105 = 5*f + m - 83, -2*m - 156 = -u*f. Is f a multiple of 16?
False
Let d be (-669)/(-12) - (-1)/4. Let j = d + -20. Suppose -2*w = -5*l + j, 0*l + l + 3*w = -3. Is 5 a factor of l?
False
Let x(g) = -2*g - 3. Let z(c) = c + 4. Let y(b) = -5*x(b) - 6*z(b). Is y(6) a multiple of 9?
False
Let h = -324 - -741. Is h a multiple of 13?
False
Let l(n) = n**3 - 3*n**2 + 5*n - 8. Let f be l(3). Suppose f*w = 8*w - 98. Is 28 a factor of w?
False
Let t = 48 - 78. Is 2/2*t/10 + 105 a multiple of 34?
True
Does 65 divide 1 + -1 + 266 + (-2 - 4)?
True
Suppose -3*y - 15 = -2*b, -3*b + 6*b - 4*y - 20 = 0. Suppose k + 2*a - 104 = -2*k, k + a - 35 = b. Does 10 divide k?
False
Suppose -840 = -48*x + 45*x. Is x a multiple of 16?
False
Suppose -35*s + 924 = -33*s. Is s a multiple of 14?
True
Suppose -3*t = -2*t + 2*t. Suppose 3*d - 243 - 252 = t. Is d a multiple of 33?
True
Let v be 5*(10/(-3) + 3)*-3. Suppose 4*n = -w - 3*w + 468, v*n + 3*w - 591 = 0. Is n a multiple of 43?
False
Suppose -4*r + 3*x + 55 = 0, 0 = -r + x + 21 - 6. Is r a multiple of 2?
True
Suppose -5*p + 50 = -2*x, 4*x + 2*p + 96 = -28. Is (x - -2)/(-4) - -2 a multiple of 9?
True
Let g be ((-172)/3)/(1 - (-4)/(-6)). Let s = 334 + g. Does 17 divide s?
False
Let h = 1 + -5. Is (-954)/(-15) - h/10 a multiple of 16?
True
Suppose 4*v = 3*v + 3*v. Does 39 divide (1 + v)*-2 + 109 + -27?
False
Let k(g) = 19*g**2 - 85*g - 6. Does 10 divide k(8)?
True
Let i = 139 + -169. Is 330/(-9)*36/i a multiple of 4?
True
Suppose -2*v - 4*s = 2*v - 40, -s - 14 = -3*v. Suppose -337 - 359 = -v*w. Does 20 divide w?
False
Let i(x) be the second derivative of -x**4/12 + 11*x**3/6 + 13*x**2/2 + 5*x. Let r be i(14). Let o = 125 + r. Is o a multiple of 32?
True
Let u = -1 - -1. Suppose g + 14 = 4*i - i, -5*g + 5*i - 120 = u. Let q = 69 + g. Is q a multiple of 10?
True
Suppose 4*b - 29 = -5*u + 2*b, 12 = 2*u + b. Let s be u/(-15) - 1232/(-6). Suppose -s = -5*d - 65. Does 13 divide d?
False
Suppose -100*w + 90*w = -1440. Is 36 a factor of w?
True
Suppose j + 3*o - 841 - 349 = 0, 3*o = -3*j + 3576. Is j a multiple of 12?
False
Suppose h = -5*y + 3 + 5, 2*h = y - 6. Suppose -14 = -4*t - y. Suppose -t*o + 16 = o. Is o even?
True
Let x = 3537 - 2389. Does 28 divide x?
True
Suppose -2*n + 0*n + 1030 = m, -3*n - 5*m + 1538 = 0. Is n a multiple of 3?
True
Suppose 71*b = 69*b + 1118. Does 13 divide b?
True
Let x(f) = -15*f + 3. Let r(q) = -61*q + 13. Let c(o) = -2*r(o) + 9*x(o). Does 11 divide c(-5)?
True
Let v(o) = -o**3 - 21*o**2 - 25*o - 40. Let z be -4*(4 + (-4)/(-4)). Is 5 a factor of v(z)?
True
Let g(d) be the third derivative of d**6/120 - 2*d**5/15 + 17*d**4/24 - 2*d**3/3 - 2*d**2 - 3*d. Is g(6) even?
True
Suppose 4*j - 3173 = -z, 0 = -5*j + 60*z - 58*z + 3950. Is j a multiple of 66?
True
Does 25 divide (0 - (4 - 2 - 3))*225?
True
Suppose -7*m - m = -200. Let x = 45 - m. Let p = x + -3. Is p a multiple of 16?
False
Suppose -2*j + 147 = 3*u, -j + 80 = 3*u - 1. Is 11 a factor of j?
True
Is 9 a factor of 7 + 218 - (3 - 12)?
True
Let y(k) = 2*k**2 + 14*k - 12. Let c be y(-12). Let f be c/30 + (-2)/(-5). Suppose 155 = f*b - 145. Is 25 a factor of b?
True
Let v(t) = 11 + 1 - t + 3. Is 13 a factor of v(-11)?
True
Suppose d = 5*u + 241, d = 6*u - 3*u + 251. Let n be (-14)/(-119) - (-6762)/34. Suppose d = 4*j + 5*k, -n = -0*j - 3*j - 4*k. Is j a multiple of 23?
True
Let b = 560 + -476. Does 28 divide b?
True
Let t(q) = -q**3 + 20*q**2 + 36. Is t(18) a multiple of 18?
True
Suppose 0 = 4*l - 4 - 0. Let n(f) = 177*f**3 + f**2 - 2*f. Does 33 divide n(l)?
False
Suppose 0 = 5*k - 23 - 12. Suppose 0 = -p + k. Suppose -q + p*q - 252 = 0. Is 21 a factor of q?
True
Let i = 334 + -184. Is i a multiple of 25?
True
Let m(d) = -4*d + 45. Let l(k) = 7*k - 89. Let h(n) = -3*l(n) - 5*m(n). Does 18 divide h(0)?
False
Let q(f) = 27*f**2 - 10*f - 17. Is 59 a factor of q(-5)?
True
Let k = -1025 + 2114. Is k a multiple of 7?
False
Suppose -24 = -5*d + 1. Is d a multiple of 3?
False
Suppose 271*s = 265*s + 4602. Is s a multiple of 28?
False
Let v(y) = 2*y**2 + 11 + 4*y - 17*y**2 + 6 + y**3. Is 11 a factor of v(15)?
True
Suppose 0 = -5*i - 5*i + 2800. Does 14 divide i?
True
Let l(r) = 24 - r**2 - 16 - 6*r + r. Let g be l(-6). Does 5 divide (6/(-9))/(g/(-30))?
True
Suppose 31*u - 6886 = -2391. Is u a multiple of 5?
True
Let d(a) be the first derivative of -a**4/4 - 2*a**3/3 - 6*a**2 - 6*a + 1. Is d(-6) a multiple of 21?
True
Let r be 1 - (-2)/(-1 - 1). Let l(b) = -b**2 + 17*b + 5. Let s be l(17). Suppose s*z - 20 - 120 = r. Is 14 a factor of z?
True
Suppose a = -3*a + 