1288 - -10713. Is 18 a factor of y?
False
Let w(u) = -4*u + 19. Let f be w(4). Suppose f*v = 4*p - 397, 3*p + 12*v - 9*v = 303. Suppose -4*h + p = 4. Is 10 a factor of h?
False
Suppose 0 = 2*b + 2*z - 18018 + 62, 2*b = -4*z + 17946. Is 11 a factor of b?
False
Let l = -52 - -63. Suppose 9 = 4*z - l. Suppose -2*v = -z*v + 72. Is v a multiple of 8?
True
Let w(i) = -60*i + 40 + 83*i - 49*i - 31*i. Is w(-3) a multiple of 68?
False
Let n = -66 - -147. Suppose 1040 = -n*y + 85*y. Is y a multiple of 13?
True
Let r = 1610 + 3384. Is 96 a factor of r?
False
Suppose 24*n = 19*n - 25, 4*p - 1196 = 4*n. Does 3 divide p?
True
Suppose 2*o + 4*i + 1242 = 0, 4*o - i - 3*i + 2520 = 0. Let r = o - -1164. Does 16 divide r/9 - (-4)/12?
False
Let a(w) = 21*w - 13. Let u be a(-3). Let q = 605 - u. Does 22 divide q?
False
Let h be (-4 - -102)/(4/(-2)). Let q = -53 - h. Is q/12 + 7/((-84)/(-1408)) a multiple of 9?
True
Is 3 a factor of (-9325)/10*(-96)/60?
False
Let x be -3 - 2/(6/(-9)). Let h be (-5)/((-20)/16) + x + 1. Suppose h*v = 0, -n + 42 = -5*v - 5. Is 24 a factor of n?
False
Let s(y) = 19*y - 89. Let q be s(5). Suppose -3317 - 2443 = -q*b. Is 80 a factor of b?
True
Suppose -77 = -5*c - 67. Suppose 0*u + 70 = -4*v - u, 4*u + 28 = -c*v. Let h = v + 46. Does 23 divide h?
False
Let p be -5 + -121 - ((-2)/2 - 2). Let k = -113 - p. Suppose -7*t + 2*t + u = -982, -k = 5*u. Is 14 a factor of t?
True
Let j(m) = 99*m**2 + 27*m - 128. Is j(4) a multiple of 23?
True
Suppose -2609 + 544 = -5*f. Let r(z) = 4*z - 101. Let i be r(31). Suppose 0 = 3*v - 4*x - 348, -i - f = -4*v - 4*x. Is v a multiple of 22?
False
Let n(w) = 42*w**2 + 47*w + 1045. Is 62 a factor of n(-19)?
True
Let n(a) = -3*a**3 - 6*a**2 + 36*a - 31. Suppose 3*z + 33 = -2*o, -2*z + 1 = -2*o - 7. Is 15 a factor of n(o)?
False
Let c = 34 - 30. Let q be 20/(280/68 - c). Let m = q - 55. Is 23 a factor of m?
True
Let d be ((-85)/(-15))/(1/18). Let t be ((-246)/18)/(7/(-45 - -3)). Let y = d - t. Is 5 a factor of y?
True
Suppose 232*u + 581216 = 127*u + 137*u. Is u a multiple of 41?
True
Let d be (-60)/(-25) + (-6)/(-10). Let f = 50 - -46. Suppose -4*q + f = l, -16 = d*q - 4. Is l a multiple of 16?
True
Let k(y) = 2*y**3 - 4*y**2 + 27*y - 2. Let w be k(6). Let t = -142 + w. Does 34 divide t?
True
Let h = -122 - -175. Suppose 9 - h = 4*u. Does 12 divide 850/8 + u/(-4) + -2?
False
Let o be (-1)/2 - 57/(-38). Suppose o - 117 = -2*w. Let j = -28 + w. Is j a multiple of 17?
False
Suppose -q = -2*k + 2247, 2*k + 0*q + 3*q - 2259 = 0. Suppose 3*a - y - y = 674, -k = -5*a + 3*y. Is 5 a factor of a?
False
Suppose c - d = 89, d + 315 = 5*c - 142. Let x = 80 - -225. Suppose -x = -3*s - c. Does 8 divide s?
False
Let s(p) = -2*p + 202. Suppose -7*d + 2*d = 5*d. Is 65 a factor of s(d)?
False
Let j(l) = 12*l**3 + 6*l**2 - 8*l + 25. Let a(f) = -11*f**3 - 4*f**2 + 7*f - 23. Let u(b) = -7*a(b) - 6*j(b). Is 29 a factor of u(6)?
False
Let r = 223 - 702. Let v = r - -507. Does 14 divide v?
True
Let b(a) = -a + 21. Let w be (0 - 3)/((-29)/(-290)). Let f be (-9)/(-12) - w/(-8). Does 24 divide b(f)?
True
Let u(f) = 44*f + 40. Let p = -194 + 198. Is 60 a factor of u(p)?
False
Let u be (-90)/210 + 1/(-14)*-1882. Suppose v + u = 143. Suppose 7*k + 304 = v*k. Is 15 a factor of k?
False
Let g = -491 + 484. Let v(t) = -4*t**2 - 10*t + 11. Let c(f) = -5*f**2 - 11*f + 12. Let j(l) = -3*c(l) + 4*v(l). Is 2 a factor of j(g)?
True
Suppose -22*c + 9 = -21*c. Suppose -c*m - 1048 = -17*m. Is 23 a factor of m?
False
Let p(b) = -b**2 + 16*b + 4. Let y be p(16). Suppose 5*t - 48 = y*t + 5*u, 4*t - 267 = -5*u. Is t a multiple of 9?
True
Let h = 17 + -11. Let g be (2/4)/(h/(-228)). Is 34 a factor of g/(5/(-13 - 2))?
False
Let a = 52400 + -43962. Is a a multiple of 27?
False
Let q = -587 + 581. Is (-1 - 146/q)*21 a multiple of 98?
True
Let n be -15*30/(-4)*(-24)/36. Let x = n - -288. Does 30 divide x?
False
Suppose -17*o + 18*o - 2 = 0. Suppose -o*z = z - 696. Is 29 a factor of z?
True
Let z(k) = -k**3 - 15*k**2 + 46*k + 36. Let y be z(-18). Does 36 divide ((7 - 9)/2)/((-1)/y)?
True
Suppose -5*s = -71 + 1. Suppose s*c = 8*c + 12. Suppose -c*v + 80 = 3*v. Does 4 divide v?
True
Let g(h) = 90568*h - 204. Does 29 divide g(1)?
True
Let t(l) = 7*l - 29. Let k be t(5). Let f be 4/(48/4190) + (-1)/k. Suppose -m + 4*n + 92 = 0, 3*m + 3*n - f = -m. Is 22 a factor of m?
True
Suppose 3*r - 4 = 2*z - 5, 5*z + r = -6. Let k(j) = 59*j**2 + 3*j + 2. Let m(n) = 117*n**2 + 6*n + 4. Let d(f) = -5*k(f) + 3*m(f). Is d(z) a multiple of 11?
True
Suppose 20*t = 24*t + 124. Let y = t - -5. Does 18 divide (8*y)/(-4) - -1?
False
Suppose 0 + 3 = w. Suppose i = 3*v - v - 10, -w*i = 4*v. Is (v + 12)*5 - 3 a multiple of 11?
False
Let c(n) be the third derivative of n**4/8 + 37*n**3/6 - 22*n**2. Let q be c(-11). Suppose q*x = -3*l + 204 - 42, 0 = -3*x + 4*l + 134. Is x a multiple of 3?
True
Suppose -5*m - 5*n = -125, 3*m - 2*n - 55 = 25. Suppose 37*f - m*f - 1573 = 0. Is 13 a factor of f?
True
Suppose 5*t = -4*p - 72, -3*t = p - 0*t + 18. Let r = p + -29. Let n = r - -104. Does 15 divide n?
False
Suppose 0 = -5*c + 5, 5*j = -4*c + 1910 - 426. Suppose -5*y = -j + 136. Is y a multiple of 16?
True
Let h be 78*(5 + (-33)/6). Let f(b) = -29*b. Let v be f(-2). Let l = h + v. Is 6 a factor of l?
False
Let y = 13211 + -4139. Is 6 a factor of y?
True
Let j = -30773 - -51560. Suppose -17*z = -j + 6779. Is z a multiple of 24?
False
Let w(x) = 5*x + 16*x + 14*x - 30*x + x**2 - 9. Let l be w(2). Suppose 5*o + l = 6*o. Is o a multiple of 5?
True
Let s(z) = 22920*z + 47. Is s(1) a multiple of 39?
False
Let z(d) = 0 - 1 + 0*d**2 + d**2 - 2*d**3 - 3*d**3 - d. Let u be z(-1). Does 27 divide u/10 - 5/(100/(-1048))?
False
Let t = 10 + -5. Let v be t/((-5)/(-369)) + 1. Let u = v + -247. Does 16 divide u?
False
Suppose 8*m - 6*m - 342 = 0. Suppose 2*c - 2010 = -5*t, 0 = -2*c - t + m + 1823. Does 15 divide c?
False
Let g = -15 - -30. Suppose m + p = -8 + 5, g = 2*m - 5*p. Suppose m = -5*a + 428 + 117. Does 17 divide a?
False
Let f(m) = 8109*m**3 + 3*m**2 + 8*m - 10. Is f(1) a multiple of 7?
False
Let x = 333 - 321. Suppose 4257 = x*z - 3*z. Does 19 divide z?
False
Let b(w) = 13*w**3 - 3*w**2 + 2*w + 6. Let g(s) = 3*s - 39. Let r be g(14). Is 8 a factor of b(r)?
True
Let t be -88 - 14 - (-4)/(-2). Let x = t + 110. Is 14 a factor of 20/x*204/8?
False
Let g = -460 - -2274. Suppose g - 440 = 5*k + 4*w, 552 = 2*k + 4*w. Is 17 a factor of k?
False
Let s(t) = 6*t**2 + 44*t + 17. Let b be s(-7). Suppose v = 35 + b. Is v a multiple of 2?
True
Suppose 0 = f + 3*q + 38, -2*q = 7*f - 6*f + 33. Let l = f - -25. Is 18 a factor of 2/(l/(-3)) - (-178 + 31)?
True
Let j be 83/17 + 4*(-5)/(-170). Let f be (114/j)/((-8)/(-20)). Suppose -88*s + 89*s = f. Does 8 divide s?
False
Let w be 31 + -25 - (-1 + 3). Suppose -3*x = -w*r - 4984, -4*r + 4 = -4. Is 64 a factor of x?
True
Let o be ((-9)/(-6))/(16/288). Suppose 12*b - 45 = o. Is b a multiple of 3?
True
Suppose 2*c + c + 5*f - 11803 = 0, -4*c = -14*f - 15634. Is c a multiple of 24?
False
Let l(o) = o**2 + 25*o - 1. Let v be l(-22). Let d be v/(-13) + (-4)/26. Is ((-117)/(-3) - -3) + d + -6 a multiple of 16?
False
Let v(q) = -q**2 - 77*q + 186. Is v(-51) a multiple of 9?
True
Suppose 108*a - 123926 = -65*a + 2179050. Is a a multiple of 8?
True
Suppose 3*m - 116811 = 2*w + 71992, -m + 3*w + 62946 = 0. Is 19 a factor of m?
False
Suppose 44*z - 803558 - 256919 + 292325 = 0. Is z a multiple of 7?
True
Suppose 136*x - 94*x = 194208. Is 17 a factor of x?
True
Let s = 6116 - -20215. Is s a multiple of 131?
True
Suppose -4*y = -2*y - 4. Let z be ((-106)/159)/(1/6). Let p = y - z. Does 3 divide p?
True
Suppose -5968*w + 5899*w = -567318. Is w even?
True
Let b(o) = 53*o**2 - 93*o + 1. Is 31 a factor of b(-10)?
True
Suppose 1703 = 32*l - 761. Suppose 6*b - 7 - l = 0. Is b a multiple of 10?
False
Let c = 130 - -6272. Does 194 divide c?
True
Suppose 4*z = -45 - 95. Let v = z + 35. Suppose v = 5*o - 58 - 67. Is o a multiple of 4?
False
Let y(n) = n**3 + 29*n + 36. Does 30 divide y(8)?
True
Let d(o) = o**2 + 5*o + 18. Let j = -36 - -40. Suppose 18 = -2*w + w + 4*z, 0 = j*w + 4*z + 52. Is d(w) a multiple of 23?
False
Let c be -2 + 1 - (92 - -3). Let r = 22 + -12. Is 5/r*c/(-2) a multiple of 24?
