uppose 2*c - 4*p = -1300, 0 = c + q*p + 31 + 623. Is 33 a factor of (32 - 33)/(2/c)?
False
Let n = -99 + 99. Suppose 2*g + 93 - 345 = n. Is 18 a factor of g?
True
Let o be (2959/807)/(22/12). Suppose d + 3 = -6. Does 9 divide o/d + 20300/225?
True
Let c = -483 - -485. Suppose 381 = y + c*r + 72, -4*y + 5*r = -1275. Is 9 a factor of y?
True
Let g = 53 + -40. Let m = 13 + g. Is 1*((3 - 6) + 1 + m) a multiple of 18?
False
Let y = -99 - -101. Suppose 4*m + y*q = 158, q = 2*q + 3. Is 12 a factor of m?
False
Let d be 407 - (-2 + 4)*(-1)/(-1). Suppose -1856 = -409*w + d*w. Is w a multiple of 16?
True
Let v(n) = 18667*n - 978. Is 135 a factor of v(2)?
False
Let f(a) = -5*a - 55. Let k(b) = -4*b - 55. Let w(v) = 3*f(v) - 2*k(v). Is 14 a factor of w(-19)?
False
Let b be (-3142)/(-8) - (-10)/8. Let d = b - 694. Does 18 divide d/9*3/(-1)?
False
Suppose -7839 + 139 = -2*h. Suppose 1253*b - h = 1246*b. Is 25 a factor of b?
True
Suppose 15*k + 12 = 12*k. Let h(x) = -10*x**3 + 7*x**2 + 19*x + 4. Is 34 a factor of h(k)?
True
Let x = -10129 + 27517. Is x a multiple of 7?
True
Let v be (15 - 2)/((-1)/5). Suppose 0 = -2957*u + 2968*u + 1045. Let f = v - u. Does 5 divide f?
True
Let f(q) = -3*q - 3*q + 12*q + 13 + 14*q. Does 19 divide f(6)?
True
Let q = 14 - 8. Let k = 129 - -137. Suppose -q*j + 28 + k = 0. Is 19 a factor of j?
False
Let c be (0/2 - -3)*(-88)/6. Is 6 a factor of (-6 - c/(-3))*(-9)/6?
False
Is 14 a factor of (-5)/5*-2545 - 11?
True
Let q(n) = 0 - 17*n**2 - 1 + 8*n - n**2 + 13. Let h(s) = -18*s**2 + 7*s + 11. Let f(m) = -3*h(m) + 2*q(m). Is 56 a factor of f(-3)?
True
Let q(p) = -p**3 + 8*p**2 + p + 4. Let i be q(8). Suppose 7*b - b - i = 0. Suppose b*c - 4 = 66. Does 11 divide c?
False
Let q(u) = -u**2 + 27*u - 97. Let j be q(22). Let o(t) = -t**3 + 13*t**2 + 7*t - 19. Is o(j) a multiple of 12?
True
Suppose 0 = -22*y + 64 + 288. Let z(a) = a**3 - 13*a**2 - 25*a + 44. Is z(y) a multiple of 6?
False
Let l = 36 - -13. Let f = 98 + l. Is 21 a factor of f?
True
Suppose 7*m - 11 - 17 = 0. Suppose 0 = m*x - 10*x + 444. Is x a multiple of 15?
False
Is 18 a factor of 3189 - (-32 - (-34 - -17))?
True
Let n = -209 - -5. Let u = 131 - n. Is u a multiple of 8?
False
Let h(v) = -5*v - 16. Let f(g) = -1. Let i be (10 - 2)*((-22)/8 + 2). Let k(p) = i*f(p) - h(p). Does 34 divide k(16)?
True
Let j(s) = 638 - 1318 + 644 + 34*s. Is 8 a factor of j(8)?
False
Suppose 5*n + 20 = 3*n + 4*o, 2*o = -4. Does 49 divide 37/((1/(-49))/(13 + n))?
True
Let k be (-295)/(-2)*168/84. Suppose -k*l = -293*l - 380. Is l a multiple of 4?
False
Suppose 5*k - 675*x + 673*x = 39508, -k + 2*x + 7908 = 0. Is 10 a factor of k?
True
Suppose -70 - 12 = -2*t. Let w = -2 + t. Does 12 divide w?
False
Suppose 10*w + 8050 = -4*w. Is (32/4)/16 + w/(-2) a multiple of 32?
True
Let k(q) = 2*q**2 - 66*q - 41. Is k(55) a multiple of 4?
False
Let k(d) = -16*d - 28. Let u be k(-2). Suppose -2*f + 2996 = 4*r - 0*r, 2*r = u*f + 1488. Is 44 a factor of r?
True
Let i(t) = -422 - t**3 + 427 - 4*t**2 + 24*t - 3*t**2. Does 6 divide i(-10)?
False
Suppose -2*y - 2*y = -3*g + 922, 0 = -g - y + 298. Is 37 a factor of g?
False
Suppose 37*p - 523483 = -37*p + p. Is 120 a factor of p?
False
Let f be 120/14 - (-54)/126. Suppose -3*a - 4*h = -f*h - 179, 2*h - 288 = -5*a. Does 21 divide a?
False
Let h(i) = i**3 - 9*i**2 - 7*i - 22. Let g be h(7). Let z = 48 - g. Suppose -14*a = -7*a - z. Does 31 divide a?
True
Suppose 108*c - 89*c - 380 = 0. Suppose h + 0*l - 19 = -3*l, -5*l - 161 = -4*h. Let f = h - c. Is f a multiple of 7?
True
Let i(l) = 21*l**2 - 13*l - 53. Let d be i(9). Suppose 3*n - 4*o = 2271, -4*o + o = 2*n - d. Does 19 divide n?
False
Let a be (-33)/(-6)*(3 + 15). Does 9 divide 6*1*(-110)/a*-12?
False
Let u be 6/10 + 254/10 - 1. Suppose 3*p - 5 - u = 0. Suppose 0 = -p*x + x + 27. Is x even?
False
Suppose 0 = -3*t - 3*l + 18633, 20*t - 17*t - 3*l = 18663. Does 14 divide t?
True
Suppose f + 4*y + 1 = 0, 3*f - 6 = -2*y + 1. Let x(n) = 5 + f + 1 - 5*n - 6. Is x(-1) a multiple of 7?
False
Suppose 2*a - 4*a + 752 = -3*h, 5*a = 6*h + 1880. Is 38 a factor of a?
False
Let w(s) = 41*s**2 - 7*s + 10. Let y = 93 + -89. Suppose 7 - 15 = y*m + 4*g, -g = 3*m - 2. Is 16 a factor of w(m)?
True
Let x = 6871 - 5899. Does 18 divide x?
True
Suppose -3*j - 3 - 1 = p, 12 = -3*p - 5*j. Let x be p/(-2)*(2 - 1). Suppose -3*l - 4*q - 4 = -l, -3*l - x*q = -10. Is l a multiple of 6?
True
Suppose -148 = -5*w - 3*m, 0 = -0*m + m - 1. Suppose 5*o - f = -0*o - 20, 3*o - 4*f + w = 0. Does 50 divide 25/15*o*(1 - 51)?
True
Let p(g) = -16*g**3 + 3*g**2 + 4*g - 4. Let u be p(2). Let r = -208 - u. Let f = 153 + r. Is 19 a factor of f?
True
Let o(l) be the second derivative of -l**5/10 - 5*l**4/3 + 3*l**3 - 17*l**2/2 + 7*l. Let j be o(-11). Let v = j + 7. Is v even?
True
Let a(t) = -4*t - 157. Let f be a(-58). Suppose 6*j - 700 = j. Suppose s = j + f. Is s a multiple of 43?
True
Let s(y) be the first derivative of -3*y**2/2 - 30*y - 16. Let r be s(-13). Does 20 divide (-27)/r - (0 - (-62)/(-2))?
False
Let i = -197 + 296. Let s = 399 - i. Is s a multiple of 30?
True
Let d = -711 - -2482. Does 23 divide d?
True
Suppose -8*x - 22308 = -125460. Is 15 a factor of x?
False
Suppose 5*t + u - 3 = 16, -17 = t - 5*u. Suppose 48 = t*q - 15*q. Let y(k) = -29*k + 9. Does 25 divide y(q)?
True
Let k(b) = -b**3 + 54*b**2 - 37*b + 806. Is k(52) a multiple of 15?
True
Let d(a) = 98*a - 36. Let l be d(5). Suppose l = 8*n - 26. Does 10 divide n?
True
Let k be 9 + 1 - (6 + -7). Let v(y) = y**3 - 10*y**2 - 14*y + 24. Let o be v(k). Let q(a) = -23*a + 21. Does 36 divide q(o)?
False
Let h(m) = m**3 - 29*m**2 + 54*m + 6. Let x be h(27). Suppose -x*c + 634 = -188. Is 12 a factor of c?
False
Let h be -2 + (7 - 3/(-2)*2). Suppose h*y + 181 = 853. Is 12 a factor of y?
True
Suppose -12 - 20 = -8*i. Suppose -5*t = i*j - 7*t - 2912, 3*j - 2175 = -3*t. Does 43 divide j?
False
Let p(b) = 12*b**3 - 6*b**2 + 2*b + 17. Let i be p(5). Suppose 13*l - i = 703. Is l a multiple of 5?
True
Let j = 843 + -314. Suppose -j*d = -525*d - 1084. Is 14 a factor of d?
False
Suppose 2*z - 4*a - 28462 = -7*a, z - 14240 = -3*a. Does 14 divide z?
False
Let g(y) = 6*y**2 - 69*y - 21. Let l be g(12). Suppose 45*r - l*r = 7110. Does 5 divide r?
False
Suppose 18*i - 9*i - 1350 = 0. Let t = 44 + i. Is 15 a factor of t?
False
Let g(a) = -3*a**2 - 31*a - 36. Let f be g(-9). Suppose -5*o + 6*o = -4*y + 67, -5*y + 5*o + 65 = f. Is 2 a factor of y?
True
Let h = 156 + -433. Let q = 158 + h. Let n = q + 218. Is 13 a factor of n?
False
Let s(f) = -f**2 + 3*f + 2024. Does 44 divide s(0)?
True
Let f = -70 - -82. Let z be 2/(-4) - 2/(f/(-3)). Suppose z = 3*x - 9, -2*o = 3*x - 2*x - 29. Does 11 divide o?
False
Let h(t) = -t - 13. Let o be h(-11). Let v be 210/(-56) + o/8. Is 15 a factor of 217/6 + v/24?
False
Suppose -3*t + 2*c - 2597 = 0, 4*t + 3478 = -0*t - 5*c. Does 10 divide -4 - (3/6 + t/6)?
True
Let l(h) = -h**3 - 9*h**2 - 30*h - 21. Does 21 divide l(-8)?
False
Suppose -3*f + 1257 = 366. Let o be (f/18)/(1/22). Let i = -165 + o. Is i a multiple of 33?
True
Let l be -3*2*(-1)/2. Let b = 620 - 618. Suppose 2*c = -s + 85, -73 - 58 = -l*c + b*s. Is 29 a factor of c?
False
Let a(l) = l**2 + 5*l - 6. Let q(k) = k**2 + 4*k - 5. Let i(c) = 4*a(c) - 5*q(c). Let n be i(1). Suppose n*j = 5*j - 345. Is 12 a factor of j?
False
Does 18 divide (5 - 1366/6)/((-158)/(-54) + -3)?
True
Is 159 a factor of (-21186)/(-428)*((-4688)/3)/(-4)?
False
Suppose 96250 = 757*u - 632*u. Does 77 divide u?
True
Let a be ((-15)/2)/((-15)/(-2) + -7). Let z(x) = -2*x**2 - 33*x + 25. Is 7 a factor of z(a)?
True
Let w be 9/1 + 168/(-28). Suppose -2*v = w*a - 511, 3*a + 12*v - 497 = 17*v. Is a a multiple of 24?
False
Let f = -7668 - -23964. Is 168 a factor of f?
True
Let x(j) = 3*j**2 + 2*j + 1. Let t be x(-1). Suppose 2*s - 3*i + 5*i - 6 = 0, 0 = -i. Suppose 2*p = 3*q + 39, 0 = p - t*p + s*q + 12. Is p a multiple of 4?
False
Let u(p) = 31*p - 58. Let k be u(18). Suppose 10*f - 3650 = -k. Does 9 divide f?
True
Let x = 24 - 18. Suppose -x*l - 28 = l. Does 5 divide (87/6)/(l/(-8))?
False
Suppose -7*j + 3 + 4 = 0. Let w(t) = 34*t**2 - 2*t - 1. Is 31 a factor of w(j)?
True
Let i = -592 - -751. Suppose -3*m + 5*t + 9 = 4*t, -m - 2*t + 10 = 0. Suppose -5*g = 4