984. Is 31 a factor of f?
False
Let a = -47 + 46. Is 6 a factor of (11229/114)/(0 + a/(-2))?
False
Suppose -5626*w = -5636*w + 10040. Is w a multiple of 6?
False
Let f = 9064 + 1858. Does 44 divide f?
False
Suppose 0 = -4*y - 3*t - 4833, -y = 3*t - 0*t + 1206. Let k = 438 - y. Suppose -11*z + k = -641. Is 27 a factor of z?
False
Suppose 4*r - 3*r = 3*f + 2, f + 10 = 5*r. Is (-437)/((1 - f/(-2))*-1) a multiple of 23?
True
Suppose -183059 + 57967 - 344468 = -130*d. Is 129 a factor of d?
True
Let m(v) = -346*v - 1450. Is m(-10) a multiple of 10?
True
Suppose -5*b = -2*f - 12097 - 16993, -4*b + 23275 = -f. Is 60 a factor of b?
True
Let p(k) = k**2 + 16*k + 36. Let n be p(-10). Let g be (1 - (-29)/(-3))*n. Suppose 2*m + 3*z = g, 5*z = m + 2*m - 274. Is m a multiple of 21?
False
Let q = -12 + -17. Let j = q + 29. Suppose j = n + 19 - 61. Does 14 divide n?
True
Let p(v) = v**3 - 5*v**2 - 16*v - 23. Let l be p(11). Suppose -4*k + 177 + l = 0. Suppose -492 - k = -4*x. Is 12 a factor of x?
False
Suppose 46979 = 15*g - 2326. Is 6 a factor of g?
False
Let h be (-2)/(-6)*0 + (808 - 4). Suppose -h*p + 797*p = -3024. Does 27 divide p?
True
Let i(y) be the first derivative of -y**2 + y + 9. Let z be i(-1). Suppose -2*k + z*p + 148 = 0, 3*p - 2*p + 296 = 4*k. Is 20 a factor of k?
False
Suppose 5*p - 5*u + 335 = 0, -u + 283 = -20*p + 16*p. Does 21 divide (p/(-10))/(6/1260*4)?
True
Suppose 215 = -7*v + 12*v. Let t = v + -41. Suppose 3*c - 238 = 2*c + 4*r, 0 = 5*c - t*r - 1190. Is 25 a factor of c?
False
Suppose -5*a = -2*v + 3903, 5*v - 7580 = -a + 2137. Is 12 a factor of v?
True
Let y be 1/(-1)*1 - -6. Let h(v) = -5*v + 122 + 109 + 4*v**2 + 119 - 353. Is h(y) a multiple of 14?
False
Suppose -4*p + 12829 = 3*s, 41*p = -s + 46*p + 4251. Does 13 divide s?
False
Suppose 0 = -0*k + 3*k - 18. Suppose -3*p = 4*c - 1253, -k*p + 2*p = -3*c + 946. Does 14 divide c?
False
Let c = 22495 - 9535. Suppose 19*n - 3608 = c. Is n a multiple of 32?
False
Suppose -2*r + 19048 = 5*i, -17*i - 19012 = -2*r - 13*i. Does 32 divide r?
False
Let y be 376/6*(-21)/2. Let d = y + 662. Is d a multiple of 4?
True
Suppose 17221 = 3*d - 13*m + 5032, 0 = 2*d - 5*m - 8137. Is 44 a factor of d?
False
Suppose 2*d = 4*v + 1982, -4*d = 4*v - 5*v - 3950. Is d a multiple of 7?
True
Let z(v) = 1560*v + 845. Does 13 divide z(3)?
True
Let k(u) = -72*u. Suppose h = -4*t - 40, 3*t + 25*h = 28*h - 30. Does 60 divide k(t)?
True
Let t(y) = -6*y + 44. Suppose -4*p + 12 = -3*c - 25, 2*p - 2 = -4*c. Let k be t(p). Suppose k*n = n + w + 65, -3*n + 4*w = -197. Is n a multiple of 7?
True
Let t(x) = x**3 - 7*x**2 + 4*x + 4. Let a be t(8). Let l be (-2)/(-5) - 367/5. Let c = l + a. Is c a multiple of 6?
False
Suppose 3*x + 7*x = -160. Let v be ((-1 + x)*-1)/(2/8). Suppose 0 = -6*t - 2 + v. Is 2 a factor of t?
False
Is ((-60)/(-9) - 0)/(0 - (-1)/987) a multiple of 70?
True
Suppose 75*m - 511971 + 99546 = 0. Is 47 a factor of m?
True
Let a(u) = 14*u - u + 3 - 3 - u. Does 14 divide a(7)?
True
Let o = 1 - -3. Suppose -y + 37 + 229 = -o*c, 4*c = -4*y + 1144. Suppose -y = -11*l + 8*l. Does 24 divide l?
False
Suppose -36*j + 139361 = 32009. Is j a multiple of 6?
True
Is ((-790)/(-8))/((-40)/(-416)) - 2 a multiple of 3?
False
Suppose -23*h + 8*h + 55848 = -7*h. Does 11 divide h?
False
Let x(c) = -83*c + 50. Let g(d) = -165*d + 101. Let n(k) = 3*g(k) - 5*x(k). Is n(-4) a multiple of 95?
False
Let z = 15234 - 12236. Does 142 divide z?
False
Let o be -1*8/4*-13. Let n = 178 - 164. Suppose -15*k = -n*k - o. Does 4 divide k?
False
Let b(m) = -1470*m - 5061. Is 7 a factor of b(-11)?
True
Suppose -2*v - 1318 = 2*p, 5*p - 2*v - 1242 = -4544. Let j = 328 - p. Is 38 a factor of j?
True
Suppose -3*k - 106 = h, -3*k - 6*h = -h + 110. Is (-217)/k + -5 + (-1388)/(-10) a multiple of 5?
True
Let o be ((-2)/8 + (-4620)/80)*1. Let r = o + 122. Is 16 a factor of r?
True
Is 3849941/205 + (-9)/(-5) a multiple of 93?
False
Let r(b) = 7 - 20 + b**2 - b + 2*b. Let y be r(-6). Suppose -4*q = -y - 51. Is 5 a factor of q?
False
Suppose 6*w - 70 = w. Let t be 2 + (w + 4)/1. Is 20 a factor of ((-30)/(-6))/t - 478/(-8)?
True
Suppose -72 = -3*z - w, -3*w + 41 = 14*z - 12*z. Is z a multiple of 4?
False
Let q = 246 + 1387. Let z = 107 + q. Suppose 10*c - z + 220 = 0. Is 8 a factor of c?
True
Let z(g) = 28*g**2 - 4*g - 4. Let w be 4*2/(56/(-21)). Is 26 a factor of z(w)?
True
Suppose -1492157 = -47*o + 945451. Is o a multiple of 8?
True
Let z be 880/154 - (-4)/14. Is (11/(220/2535))/(z/32) a multiple of 13?
True
Let b = -305 - -442. Suppose 136*u = b*u - 226. Does 10 divide u?
False
Suppose -196*n + 166*n + 450 = 0. Is 4 a factor of 2/(-8) + (-721)/(-4) + n?
False
Suppose 45684 = 3*j - 3*b, 117*b = -3*j + 122*b + 45696. Does 86 divide j?
True
Suppose -136 = -8*j + 6*j. Suppose -j = -82*o + 78*o. Suppose 2*b - o*b + 1800 = 0. Is 15 a factor of b?
True
Suppose a = -0*a + 3*w - 9, 0 = -3*a - 5*w + 15. Let j be 2/((a - 1) + -1). Is j*(-40 - 2) - (3 + -3) a multiple of 14?
True
Let v(q) be the first derivative of -q**4/2 + 7*q**3 + 4*q**2 - 14*q + 2. Let x be v(12). Does 22 divide x/(-4) - 7/56*-4?
True
Let p(c) = c**3 - 8*c**2 + 8*c - 11. Let z be p(7). Does 12 divide (-1425)/z + (-2)/8?
False
Let y be 33/(-22)*8/(-6). Let a be -155*(y/(-6))/(1/3). Suppose z - 110 = -5*u + 647, u - z = a. Is u a multiple of 38?
True
Let a(j) = -9*j - 5 + j**3 + 94*j**2 - 1 - 80*j**2. Is 12 a factor of a(-14)?
True
Let o = -3776 + 11574. Is 14 a factor of o?
True
Let j be (7 - -74) + -2 + 6. Suppose -2*l + j = -59. Is l a multiple of 24?
True
Let y be (-12)/(-42) - (-7384)/28. Let q = -178 + y. Is 17 + -20 - q/(-1) a multiple of 9?
False
Suppose -9*x + 5*x = -20. Suppose -2*c - 563 = -4*v + 3*c, x*v - c - 730 = 0. Does 49 divide v?
True
Suppose -22*n - 120 = -2*n. Let j = -39 + 17. Let g = n - j. Is 4 a factor of g?
True
Suppose 3*r + 3 = 5*q - 6, 2 = -2*r + 2*q. Let n = -1 + r. Is 31 a factor of 4/(-2 + n) - -90?
False
Let u = -144 - -147. Suppose 0 = -3*s + w + 903, 3*s - 1103 + 194 = u*w. Does 20 divide s?
True
Let f = -4648 - -9762. Is f a multiple of 40?
False
Let p(y) = -y**3 + 14*y**2 + 108*y + 181. Is 20 a factor of p(-13)?
True
Suppose 49 = 2*p - 11. Let x = p + -29. Does 36 divide x + 0 + 144 + (1 - 2)?
True
Let k be 4 + (-5)/(10/6). Let t be (32/(-20) + k)*15. Is -68*(t/(-4) + -4) a multiple of 18?
False
Suppose -l + 14626 = 5*c - 61283, -27 = -3*l. Is c a multiple of 11?
True
Suppose -5*d + 26 + 4 = 0. Is 54 a factor of ((-4)/d)/((-14)/14238) + 3?
False
Suppose -3*y + 38*l - 35*l + 5610 = 0, 3*l = 6. Is y a multiple of 72?
True
Let o(p) = 8*p + 2*p + 53 - 5*p**2 - p**3 - 50. Let u be o(-8). Suppose u = q + 26. Does 14 divide q?
False
Suppose -9 = -3*j - 0*j. Suppose 223 = 3*k + 5*w, 3*k - 2*w - 233 = j*w. Suppose 5*u - 3*y - 4 = k, y = -4*u + 64. Does 15 divide u?
False
Is 1/(-6)*(83 + -20309) a multiple of 24?
False
Suppose 4*l + t - 56 = 5*t, -l - 3*t + 10 = 0. Suppose -l*c = 27 + 12. Is 4 a factor of (c*(-20)/8)/(2/8)?
False
Let r(x) = -x**3 + 7*x**2 - 9*x + 6. Let i be r(6). Let k(a) = -7*a - 2*a + 2*a + a**3 + 0*a**3 + 12*a**2 - 17. Is 12 a factor of k(i)?
False
Suppose 0 = -29*c + 24*c + 10. Suppose y + 54 = h + 3*h, -18 = -c*h - 4*y. Let o = h + 10. Is o a multiple of 7?
False
Let a(f) be the first derivative of -f**4/8 + 65*f**3/3 + 8*f**2 + 1. Let i(b) be the second derivative of a(b). Is 21 a factor of i(0)?
False
Let b(z) = 143*z - 2759. Is b(31) a multiple of 29?
False
Let k be (-117 + -7)/(2/(-1)). Suppose k*n - 2515 = 57*n. Is n a multiple of 60?
False
Let m be (2*-3)/((-7)/(0 - 7)). Does 3 divide 7 - (8328/4)/m?
True
Let l = 12502 - 7042. Does 39 divide l?
True
Let s(i) = 70*i**2 - 8*i - 7. Let f(y) = -211*y**2 + 23*y + 20. Let u(c) = -4*f(c) - 11*s(c). Let h be 10/(-25) + (-39)/65. Is 7 a factor of u(h)?
False
Let f(z) = 5*z + 18. Let j be f(-2). Suppose 2*l - j - 8 = -2*n, -5*n = -4*l - 31. Let p(c) = 2*c**2 - 7*c. Is 14 a factor of p(n)?
False
Let u = 19 + 60. Let h = u + -59. Is h a multiple of 5?
True
Is 6 + 20 + -12 - -5866 a multiple of 81?
False
Let q(x) = -3*x - 28. Let i be q(-10). Suppose 0 = i*d - 4*b - 692, -5*b + 316 = d - b. Is 28 a factor of d?
True
Let a be 2/(-4) - (-2 - (-14)/4). Let b be (a - (-9 + 4))*(0 + 3). Suppose -b*k + 3*k 