 x = q - 1. Does 23 divide 65/(-26)*(0 - (-226)/x)?
False
Suppose 0 = 5*p + 3*w - 317, 0 = -5*p + 2*w - 7*w + 315. Let g = 471 - p. Does 37 divide g?
True
Suppose 9*w - 18959 = 23368. Is 25 a factor of w?
False
Suppose -4*r - 3*w = 2 + 6, 4*r = w - 24. Is 3 - -2*34/r*-10 a multiple of 11?
False
Let b be (-95031)/(-54) - 3/(-18). Suppose -z + b = 5*k, -9*z - 1780 = -5*k - 14*z. Is k a multiple of 13?
True
Let a = -200 + 205. Suppose -a*r + 445 = 5*x, 2*x - 5*r = 32 + 111. Is x a multiple of 28?
True
Let y(p) = 554*p - 72. Let j be y(9). Suppose -40*g = -26*g - j. Is 7 a factor of g?
False
Suppose -l = 3*l. Suppose 0 = -2*i - 3*t + 1308, i = -3*i - 4*t + 2624. Suppose l*a - 5*a = -i. Is 22 a factor of a?
True
Let a = 33 + -31. Suppose -4 = 2*l + 4*o, -a - 4 = -5*l - 2*o. Is 30 a factor of (3/l)/((-1)/(-40))?
True
Suppose -5*f + 17 = 2*z, -2*f - 5*z + 5 = 3*f. Suppose c + 7*p = f*p + 502, 0 = -4*c - 3*p + 2008. Is c a multiple of 7?
False
Suppose 3*s + 2*a = -2*a + 3027, -4*a = 5*s - 5045. Suppose d - 786 = -5*f - 3322, -5*d = -2*f - s. Is f/(-6)*(9 + -7) a multiple of 18?
False
Suppose 6 = 5*q - 2*j, -8*q + 4*q + 4*j = 0. Suppose -q*l + 435 = -293. Does 4 divide l?
True
Let j(l) = 6*l - 34. Let u be j(15). Suppose -u*w + 53*w + 1026 = 0. Let i = w + -237. Is 7 a factor of i?
True
Let f = 53 - 48. Suppose -4*n + 8*s - 2 = 5*s, 0 = -f*n - s + 7. Does 45 divide 72*(n + (-12)/(-8))?
True
Suppose 10*h - 6*h = 36. Suppose 0 = -h*n + 630 - 144. Let b = 74 - n. Is b a multiple of 8?
False
Let l(z) = -z**2 - 11*z - 5. Let f be l(-7). Let a = f + -20. Suppose a*j = -4*b + 12 + 12, 0 = -4*b - j + 24. Is 6 a factor of b?
True
Suppose 4*r - 4133 = -4*t - 633, -3*r - 4*t = -2620. Suppose 0 = -w + 5, 5*o + 0*o = -2*w + r. Is 4 a factor of o?
False
Let s be (-7)/14 - (-5)/2. Suppose -s*g - 4*g + 6 = 0. Does 11 divide 2540/30 - ((-1)/3 + g)?
False
Let b(w) = -w**3 + 6*w**2 - 5*w - 8. Let o be b(4). Suppose -g - 3*y + 15 = -6*g, -o*g = 3*y - 15. Is 7 a factor of g + 35 + -2 + 2?
True
Let j = -1044 + 7905. Is 163 a factor of j?
False
Let j = 126 - 122. Suppose -t + x + 580 = j*x, -3*t + 5*x + 1768 = 0. Does 14 divide t?
False
Does 10 divide ((-48)/66)/4 + 9/(-11) - -3871?
True
Suppose 5*y = -323 + 6623. Is y a multiple of 9?
True
Is 92 a factor of 3/2*1308510/135?
False
Suppose 94 = 4*g - 3*q, 2 = -3*q - 4. Let a = 32 - g. Suppose 570 = a*u - 390. Is 12 a factor of u?
True
Let t(d) = -72*d**3 + 2*d**2 - 2*d - 2. Let v be (-6 - (2 - 4))*(-10)/(-40). Does 3 divide t(v)?
False
Suppose -4*z = o - 0*o - 44, 2*o + 5*z - 85 = 0. Let y be (2 - 7)/((-4)/o). Is (y/(-35))/(1/(-7)) even?
True
Let p(d) = -d**3 - 11*d**2 + 26*d + 3. Let h be p(-13). Suppose 3*i = -3*x - 0*x + h, -4*i = -5*x + 32. Suppose -10 + 214 = x*k. Is 39 a factor of k?
False
Let a(z) = -5*z**2 - 3*z**2 + 12*z**2 - 21 + 7 + 18*z. Let y be a(-9). Is y*(12/(-42))/(8/(-14)) a multiple of 14?
False
Let o be (-54)/216 + (-34)/(-8). Let z(x) = 2*x**3 - x**2 + 15*x - 10. Is z(o) a multiple of 4?
False
Suppose -261 - 75 = 2*p. Suppose -2*y - 1883 = -9*y. Let a = y + p. Is a a multiple of 31?
False
Suppose -k - 28 = -2*s - 5*k, 0 = -4*s + 2*k + 46. Let d = 22 - s. Is 9 a factor of d/(-5) + (-6 - -3) + 20?
False
Let g = 40 + -35. Suppose 0 = -g*t + 1053 + 247. Suppose 0 = -9*m + 4*m + t. Is 26 a factor of m?
True
Let q = 14943 - 4247. Is 28 a factor of q?
True
Let a(b) = b**3 + 0*b**3 + 23*b + 109164 - 109176. Is 19 a factor of a(5)?
True
Let j(q) = 11*q**2 - 8*q + 9. Suppose -7*w = -8 - 27. Let v be j(w). Suppose -4*p + 4*c + 186 = -2*p, -3*p - c = -v. Is 6 a factor of p?
False
Is (-6)/(-4) - 1059825/(-390) a multiple of 10?
False
Let n(h) = -2*h**3 - 9*h**2 + 24*h + 72. Does 12 divide n(-8)?
False
Suppose -6*p = -437 + 149. Let j be p/4*2/(-6). Is 41 a factor of (-656)/j - 0/(-2)?
True
Let v(o) = o**2 + 8*o - 5. Suppose -3*a + 38 = -4. Is v(a) a multiple of 14?
False
Let y(l) = -l**3 + l**2 - l + 16. Suppose 18*j + 29 = 16*j + 5*x, -21 = -2*j - 5*x. Let u = -2 - j. Is 8 a factor of y(u)?
True
Let h = 18 - 20. Suppose 38 = 2*w + 14. Is 5 a factor of ((-4)/w)/(h/138)?
False
Suppose 7*i + 1 = 22. Suppose 2*j - i*l - 310 = j, -4 = l. Suppose -5*v - u + j = 0, 3*v - 4*u - 190 = u. Does 10 divide v?
True
Let s(q) = -36*q - 6. Let t be s(1). Let b be ((-8)/(-6) + 14/t)*62. Suppose 0 = -2*k + b + 24. Is k a multiple of 20?
False
Let m(z) = z**2 - 20*z + 60. Let y be m(19). Suppose 44*f - y*f - 1524 = 3*r, f - 4*r - 505 = 0. Is f a multiple of 19?
False
Suppose 19*b = 17*b - 4*d + 23020, -4*d + 69052 = 6*b. Does 14 divide b?
True
Suppose -8*l = 4*d - 6*l - 31102, 2*l + 23330 = 3*d. Suppose -16*b + d = -0*b. Is b a multiple of 22?
False
Let h = 3280 - -3347. Does 16 divide h?
False
Is ((-239734)/44)/((-52)/8 - -6) a multiple of 12?
False
Suppose -27*z - 36*z + 592760 = 77*z. Is 10 a factor of z?
False
Let n be -2 + 12/9 - 14/(-3). Suppose -4*l = 3*j - 2*l - 34, -n*j = -5*l - 30. Does 5 divide j?
True
Let q = -2 - -9. Let u = 1336 - 1336. Is u + q/1*21 a multiple of 21?
True
Let m = -9 - -37. Suppose -m = -s - 24. Suppose 0 = -s*f - n + 69, -2*f = 6*n - n - 57. Is 8 a factor of f?
True
Suppose -5*z = -0*z + 4*h - 121023, -5*z + 2*h = -121011. Suppose 28*y - 14017 = z. Does 13 divide y?
True
Suppose -16 = 2*y - 4. Let t(j) be the second derivative of -j**5/20 - 5*j**4/12 - 7*j**3/6 + j**2 + 67*j. Does 43 divide t(y)?
False
Suppose 6*c + 11 = 41. Is 79 a factor of 28/((c - 4)/(2 + 1))?
False
Let i(j) = 3*j**2 - 13*j + 77. Let d be i(9). Suppose -2*w + 68 - 340 = 0. Let a = w + d. Does 17 divide a?
False
Suppose 0*f - 3*f = -6. Suppose -f*h + 49 = 3*t + 12, -4*h - t + 59 = 0. Does 27 divide 7/(h/(-240))*(-52)/39?
False
Let q = -1374 + 817. Let d = q - -1142. Does 13 divide d?
True
Let a(h) = 5*h**2 + 12*h + 47. Let f be a(-5). Let p = f - 66. Is 23 a factor of p?
True
Suppose 5*m - 1 = 9. Suppose 2*u = -4, h + m*u + 150 = 2*h. Suppose 6*w = h - 26. Is w a multiple of 9?
False
Let z be ((-40)/16 - -4)/(9/1902). Let w = 963 - z. Does 53 divide w?
False
Suppose 180 = 17*i + 13*i. Is 2595*(-8)/i*14/(-56) a multiple of 40?
False
Let q(c) = 82*c - 8. Let p = -77 - -101. Suppose 16 = -4*l + p. Does 12 divide q(l)?
True
Suppose -3*w = 6*q - 3*q + 405, -2*q - w = 266. Is 3524/((-4)/(-2)) - (q - -130) a multiple of 19?
False
Let a(u) = -13*u**3 - 5*u**2 - 11*u - 15. Let i(v) = v**3 + 22*v**2 + v + 19. Let l be i(-22). Does 12 divide a(l)?
True
Suppose 6589 = 5*s - 4*y, 22*s - y = 18*s + 5280. Is s a multiple of 149?
False
Let b = 36 - 33. Let k be (3 + b)/((-1)/(-1)). Suppose -k*x = s - 3*x - 20, 2*s - x - 40 = 0. Is 10 a factor of s?
True
Let b(t) = -16*t + 127. Let y be b(26). Is 18*(y/(-102))/((-1)/(-3)) even?
False
Let a(r) = r**3 - 3*r + 2. Let q be a(2). Suppose -p + q*p - 145 = h, -3*h = 5*p - 237. Is p a multiple of 12?
True
Let w(n) = -13*n**3 - 5*n**2 + 2*n + 12. Let c be w(-4). Suppose -4*p + 7*j = 3*j - c, p = -2*j + 183. Is 13 a factor of p?
False
Let p = 315 - 531. Let x = p - -630. Is 26 a factor of x?
False
Let z(d) = -2*d**2 + 6*d + 35. Let h be z(6). Is 45 a factor of (-179)/((h/(-3))/(-1))?
False
Let t = -358 - -216. Let x = 38 - t. Suppose m = 6*m - x. Is m a multiple of 15?
False
Let f(m) = 4*m - 44. Suppose 0 = 2*o - t - 13 - 28, t - 85 = -4*o. Let w be f(o). Does 36 divide 118 + (-1 - -4) + w/(-8)?
False
Suppose 125*i - 1612403 = -186403. Does 84 divide i?
False
Suppose -2*p - 4*v + 21 = -5, 4*v = -p + 23. Suppose s - 156 = -p*c, -3*c - 11*s + 16*s = -156. Is 52 a factor of c?
True
Is 35 a factor of ((-142)/24 + (-1)/(-4))/(1058/(-9998100))?
True
Suppose -200148 = -22*r - 14490. Does 29 divide r?
True
Let y(u) be the third derivative of 13*u**5/12 - 5*u**4/24 - u**3 - 8*u**2 - 3*u. Is y(-2) a multiple of 11?
True
Let w(l) = 36 - 44 + 25*l - l**2 + 26*l**3 - 39 - 3*l**3. Does 29 divide w(2)?
False
Let z(n) = -n**2 - 15*n - 29. Let t be z(-13). Let h be 4/2 - t - 15/15. Does 13 divide 98/8 + (h/(-16) - -1)?
True
Let h(d) = -3 - 71 - 9 + 7 - 3*d. Let g be h(-26). Suppose -20 = -5*k, 0 = -q + g*k - k + 166. Is 17 a factor of q?
True
Suppose -26 = -2*u - 3*z, 0*z + 4*z = -8. Suppose -25*w + 5382 = -u*w. Does 13 divide w?
True
Suppose -80*v + 69 = -83*v. Let l = v + 27. Suppose -3*s - 122 + 380 = 5*f, 344 = l*s + 2*