or of (-582)/(-9) - (y - (-10)/6)?
True
Let z = -3411 + 9722. Is 46 a factor of z?
False
Let d(q) = -34*q + 11. Let f be d(3). Let i = -23 - 37. Let j = i - f. Is j a multiple of 6?
False
Let h(y) = -11*y - 61. Let b be h(-7). Is (118 + -1)*(-15 + b) a multiple of 23?
False
Let z = 4827 - 1758. Does 35 divide z?
False
Does 3 divide (4 + (-30216)/(-20))*(-150)/(-60) + 1?
False
Suppose 2*v + 1 + 1 = -2*n, 2*n - 3*v = 13. Suppose 13*g = 12*g + n. Is ((-22)/8)/(g/(-8)) a multiple of 11?
True
Is 12 a factor of ((-2)/(-10)*-3)/(52/(-101660))?
False
Let l(t) be the second derivative of -t**4/6 - 10*t**3/3 - 3*t**2/2 - 4*t - 4. Is 3 a factor of l(-9)?
True
Let i be 49/((-15)/(-70) + (-2)/12). Suppose -3*n = -7*n + 3*w + i, 0 = -2*n - 3*w + 519. Does 8 divide n?
False
Let j be (0*(1 + (-12)/8))/1. Suppose -6*z + 274 + 524 = j. Is 7 a factor of z?
True
Suppose -3*j = 3*c - 12, 0*c + 14 = 3*j + c. Let t be (4/j)/((-4)/(-10)). Let k = 4 + t. Is k a multiple of 5?
False
Suppose -35*u = -37*u + 2*j + 5894, j + 4 = 0. Is 8 a factor of u?
False
Let l(t) = 2*t**3 + 13*t**2 + 3*t - 14. Let y be l(-6). Suppose 3*q - 990 = -2*q - y*r, 3*q = -4*r + 602. Is 8 a factor of q?
False
Let w = 1016 - 389. Suppose -w = -4*q + 5. Does 18 divide q?
False
Let w be (-6)/(-4)*(-2 - (-40)/12). Suppose 8*u + s = 3*u + 23, w*u - 2*s - 2 = 0. Suppose 3*x = -f + 111, 0*f - 470 = -u*f + x. Is f a multiple of 12?
False
Let y(f) = 19831*f - 889. Does 22 divide y(1)?
True
Suppose 3*g = 1914 + 25119. Suppose g - 3083 = 8*l. Does 13 divide l?
True
Let u = 3058 + -755. Is 49 a factor of u?
True
Let z = 6708 - 2103. Does 15 divide z?
True
Suppose -4*m - 12*n + 28799 = -11*n, -m = 5*n - 7195. Does 41 divide m?
False
Suppose h - 5*u + 18 = 0, 6*h - u = 10*h + 72. Let n(x) = -2*x + 3. Is n(h) a multiple of 13?
True
Suppose -89*t = -6662508 + 2685009. Is t a multiple of 78?
False
Let h be ((-18)/21)/(1/(-7))*9. Let p = 112 - h. Is 8 a factor of p?
False
Let y(r) = 8*r - 100. Let v be y(-22). Let b = 458 + v. Is b a multiple of 13?
True
Does 12 divide ((-140213)/155 + (-9)/(-15))*(2 - 32)?
True
Suppose 86 + 10 = -24*c. Is 48 a factor of ((-39)/2)/(c/((-24)/(-1)))?
False
Let l = 5397 + -786. Does 100 divide l?
False
Suppose 4*f = n - 228, 3*n + 444 = 5*n - 5*f. Let i = n - 134. Is i a multiple of 6?
True
Let a be (6/(-5))/((-4)/(-20)). Let w(n) = 7*n + 19. Let h be w(a). Let p = -11 - h. Is p a multiple of 4?
True
Let q(y) = 8*y + 3. Let b be q(2). Suppose 0 = -v - 4*v + 3*j - 26, 0 = 4*v - 3*j + b. Is 11 a factor of (-1)/v + (7376/(-28))/(-4)?
True
Suppose -12*c + 50 = 14. Suppose c*s - 2*a = 115, -4*s - 17*a + 140 = -13*a. Is 12 a factor of s?
False
Suppose -146666 + 8836 = 198*x - 253*x. Does 15 divide x?
False
Let n = 2705 - 2024. Is 46 a factor of n?
False
Does 20 divide (-1638)/168*(-480)/9?
True
Let v(m) = 26*m**2 - 47*m + 492. Is 22 a factor of v(11)?
False
Let z = -2915 - -4783. Let v be (-27)/21 + 1 + z/(-28). Let k = 135 + v. Does 14 divide k?
False
Suppose 0 = -118*k + 47395 + 114619. Is 10 a factor of k?
False
Let i be 99/(-264) - 1437/8. Let y = i + 418. Does 12 divide y?
False
Suppose -3*d = -35017 + 7492. Is 18 a factor of d?
False
Suppose -52*r = -92*r + 296960. Is r a multiple of 29?
True
Let w be (-24 - (3 + 0))/(10/580). Does 2 divide (-1)/6*w/36*4?
False
Let d(c) = 14*c**3 + 16*c**2 - 64*c - 45. Is 3 a factor of d(6)?
True
Suppose -11*p + 15*p = -4, -3*a = -5*p + 2083. Let s = -173 - a. Does 14 divide s?
False
Suppose 5*k = -2*l - 0*l + 14998, 4*l + 15004 = 5*k. Is 40 a factor of k?
True
Suppose 2*r + 3*j = -0*j - 174, 5*r + 3*j + 453 = 0. Let u = 457 + r. Is 14 a factor of u?
True
Let h = 289 + 1751. Is h a multiple of 20?
True
Let n = -135 + 146. Let x(b) = 43*b - 91. Is x(n) a multiple of 16?
False
Let v(j) = -1 + 0 + j - 22*j**3 - 2*j**3 - 2*j. Let b be v(-2). Suppose -3*g - 4 = -b. Is g a multiple of 7?
True
Suppose -180*r + 176*r + 1344 = 0. Is 28 a factor of (r/(-40))/(-1)*690/9?
True
Suppose 4*m = q + 4279, -5380 = -5*m + 86*q - 91*q. Is m a multiple of 37?
False
Suppose -2*n - 3*g + 11 = 4, -6 = -5*n + 4*g. Suppose 2*y = -w + 5, 0 = -3*y - n*y + 25. Is 19 a factor of 2/w + (-3033)/(-45)?
False
Does 88 divide (-8)/8 + (15403 - -6*2/(-6))?
True
Suppose -12798 - 2864 = -3*b - 2*y, y = 2*b - 10453. Is 8 a factor of b?
True
Suppose -n - 4*b + 26062 = 0, 2*n + 5*b = 6*n - 104311. Does 32 divide n?
False
Suppose -4*f + 668*v - 663*v = -8480, 4*f - 8456 = -v. Does 16 divide f?
False
Let l(c) = 3*c**3 + 212*c**2 + 100*c + 225. Is 74 a factor of l(-70)?
False
Does 16 divide 14/49 - (-12)/126*22845?
True
Suppose 4*b + 0*r + 2*r = -278, 5*b + 355 = -r. Is 7 a factor of (56/84)/((-14)/b)*49?
True
Let m(y) = -10*y**3 - 9*y**2 - 11*y + 10. Suppose -5*l - 7 = 3*h, -2*h - 2*l = 2*l + 4. Is 64 a factor of m(h)?
False
Let c = 1588 + 8549. Suppose -c = -9*r - 1245. Does 26 divide r?
True
Let f = -31998 + 77176. Is f a multiple of 24?
False
Suppose 9*z + 2*z = 55. Is 30 a factor of (1 - z/3) + (-45652)/(-303)?
True
Suppose 15*u = -13*u - 22*u + 16800. Is 84 a factor of u?
True
Let b = -136 - -203. Let s = 1 + -28. Let f = s + b. Does 5 divide f?
True
Suppose -x - 5*f = -1000, -125*x + 120*x + 5145 = -4*f. Is 9 a factor of x?
False
Let y = -2679 + 3529. Is y a multiple of 17?
True
Suppose -4*p = 5*d - 5232, -6*p - 1038 = -d - 4*p. Is 29 a factor of (9/(-27))/((-3)/d)?
True
Suppose -8*h - 18999 = -17*h + 6*h. Is 75 a factor of h?
False
Suppose f + 239 = -4*v + 69, 4*f = v + 34. Let r = v - -72. Is 3 a factor of r?
True
Let m(j) = 81*j**3 - 2*j**2 + 2*j - 1. Suppose 60*q - 8 = 56*q. Suppose -2*f = -0*f - q. Does 20 divide m(f)?
True
Let z(a) = -47*a**3 + a**2 - 45*a - 125. Is 14 a factor of z(-3)?
True
Suppose -3*h + 1402 = 217. Suppose 10*o + h = 1765. Does 46 divide o?
False
Suppose 261 = -2*d + 1017. Suppose -4*n + 1262 = -3*a + d, 2*a = 4*n - 888. Is 28 a factor of n?
True
Suppose b - 4*b + 12 = 4*p, 2*p = -4*b + 6. Suppose b = -2*a + 2 + 50. Is 26 a factor of a?
True
Let w = 136 + -141. Is (118/w)/((-12)/360) a multiple of 12?
True
Let y(u) = u**3 + 6*u**2 + 6*u + 42. Let w be y(-6). Suppose -w*g = -224 - 160. Is 8 a factor of g?
True
Let d be -1 - 9/(-3 - 0). Suppose -m = 5*r - 33, 4*r - 9 = d*m + 3*m. Is 19 a factor of (-3 - 153/r)*-6?
True
Let x(h) = 17*h**2 - 176*h + 4387. Does 223 divide x(42)?
True
Suppose 11*s + 4415 = 14*s - 2*o, -4*o = 5*s - 7373. Let a = 12 + s. Does 45 divide a?
True
Let t be ((-56)/(-7))/8 - 349. Let b = t + 1248. Does 30 divide b?
True
Suppose -81 = 5*g - 5*r + 3*r, -39 = 2*g - 3*r. Is 32 a factor of (-24)/(-10)*(-1600)/g?
True
Let c = 21670 + 520. Is 14 a factor of c?
True
Let j be ((-8)/(-10))/(20/50). Suppose j*r - 1062 = -r + 5*t, -5*r + 1770 = -4*t. Is 6 a factor of r?
True
Let x be (-1 - -6) + 1 + -4. Suppose -4*k + 3*b = -x*b + 8, -4*b = 5*k - 31. Suppose 3*y + 12 - 62 = -5*w, k*y = 3*w + 42. Is 5 a factor of y?
True
Let f(r) = -2*r**2 - 3*r - 1. Let b be f(-3). Suppose 3*k = -5*u - 174 + 155, 0 = -3*u + 4*k + 6. Does 12 divide 3204/15 + u + (-24)/b?
False
Suppose 3*r - 6*r - 9 = 0, 3*r + 689 = 5*s. Let g(p) = -60*p + 402. Let l be g(6). Let q = s + l. Is 20 a factor of q?
False
Let h(o) = 2*o + 32. Suppose 5*n = 11*n + 84. Let u be h(n). Suppose g - 320 = -u*g. Does 8 divide g?
True
Let n = 6062 - 4071. Suppose -5*p + n = 2*x, 2*p - 236 = -5*x + 552. Suppose 3*g + 75 = p. Is 6 a factor of g?
True
Let z(b) = 8*b - b - 12 + b**2 - 2*b**2 + 3*b**2. Let n be z(-10). Is 15 a factor of n/(3/3) + 2?
True
Let o be ((-20)/14)/((-12)/(-84)). Is (-4)/o - 61992/(-70) a multiple of 10?
False
Let p(u) be the second derivative of u**4/2 + 7*u**3/6 - 2*u**2 + 422*u. Let v be (0 - 2) + (-3 - 0). Is p(v) a multiple of 14?
False
Let w(z) be the second derivative of -z**5/20 + 7*z**4/6 + 9*z**3/2 - 11*z**2/2 - 5*z + 43. Does 47 divide w(11)?
False
Let i(x) = -11*x + 12. Let w be i(0). Suppose w*b = -2*b + 1526. Does 18 divide b?
False
Does 268 divide 10715/2*4800/1500?
False
Suppose 79*x - 84421 = 2953. Is x a multiple of 158?
True
Suppose -5*j + 32*p + 2578 = 35*p, -1572 = -3*j - 6*p. Is 26 a factor of j?
False
Let a = -10682 + 23181. Does 13 divide a?
False
Let o be (10 - 4)*(9/6 + -1). Suppose -3*l + v = -0*v - 497, o*l - 505 = 5*v. Is l a multiple of 33?
Tru