*u - 10 = 0, -3*r = 3*u - g - 98. Does 6 divide r?
False
Let k = -126 + 226. Is 13 a factor of k?
False
Suppose -4*j = 3*r - 1363, -5*j = 29*r - 24*r - 2275. Is 5 a factor of r?
False
Let z(u) = -8*u - 15. Let l = 16 - 12. Suppose -19 = l*x - y, 0 = x - 5*y - 20 + 1. Is 17 a factor of z(x)?
False
Suppose 5*n + 175 = -170. Let a = 104 + n. Is 19 a factor of a?
False
Let t(a) = 21*a - 131. Is t(23) a multiple of 90?
False
Let u(c) = -c**3 - 4*c**2 + 3*c + 2. Let d be u(-6). Let b = d + 14. Is b a multiple of 14?
True
Let t(d) = 81*d - 46. Is t(2) a multiple of 8?
False
Let c(f) = f**3 + 17*f**2 - 16*f - 13. Let r be c(-17). Let k = 471 - r. Is 44 a factor of k?
False
Let x(c) = -c**3 + 4*c**2 + 12*c + 4. Let j be x(6). Suppose -4*d - 1 = t - 15, -j*t + d + 39 = 0. Is 2 a factor of t?
True
Suppose -2*b + 11 = 5. Suppose 37 - 202 = -b*g. Suppose s - 17 - g = 0. Does 21 divide s?
False
Suppose y + 5 = -2*g, -3 = 4*y - g - 19. Suppose 5*r = y*n - 102 - 242, 3*r = -4*n - 218. Is ((-2)/(-4))/((-5)/r) a multiple of 7?
True
Let m = -132 + 629. Is m a multiple of 47?
False
Suppose -6*q = 124 - 526. Suppose -q - 47 = -2*p. Is p a multiple of 19?
True
Is 4/26 + (11566/26 - 4) a multiple of 49?
True
Suppose 20*u + 16 = 22*u. Suppose 4*j = u*j - 220. Does 11 divide j?
True
Let m = -14 - -13. Let g = m - 2. Is g + (-2 - -21 - 0) a multiple of 7?
False
Suppose -b = f - 22, 0*f + 4*b = 5*f - 83. Suppose -4*y = -5*x + f, -2 = -2*x + 4*y - 8*y. Suppose -2*n - 10 = -x*m, 10 = m - 0*n + n. Does 3 divide m?
True
Does 8 divide 21/483*23 + (-3086)/(-2)?
True
Is 32/(-64) - 639/(-2) a multiple of 27?
False
Suppose 51*p - 35745 + 12897 = 0. Does 64 divide p?
True
Does 15 divide (-6)/(-3) - (-20 + -567)?
False
Let f = 973 - 548. Does 49 divide f?
False
Suppose 4*d - 5*s - 67 = 0, 0 = -3*d + 5*s + 20 + 34. Suppose -d*n = -12*n - 68. Is n a multiple of 17?
True
Let n(j) = j + 15. Let q be n(-10). Suppose v + 176 = b, 4*b - 2*b - 373 = -q*v. Suppose 5*g = -2*a + b, -g = 5*a - 17 - 28. Does 6 divide g?
False
Let s = 2015 - 1880. Is 3 a factor of s?
True
Is 3/(-4) - (-194265)/108 a multiple of 60?
False
Suppose -2*r + h + 22 = 9, -15 = 5*h. Suppose n - 42 = -r*g, 3*n - 14 = -g - 0*g. Is g a multiple of 4?
True
Let u(i) be the third derivative of -i**6/120 + 7*i**5/60 - i**4/6 + 10*i**3/3 + 13*i**2 - 2*i. Is u(6) a multiple of 16?
True
Suppose 2*a - 3*a = -2, 2*a = 4*n. Suppose -3*u - 12 = 3*o, 5*u - n - 27 = o. Let k = o - -12. Does 4 divide k?
True
Let d(w) = 1 + 2*w - 1 + w**2 - 4*w. Does 8 divide d(-4)?
True
Let n be 78 + 1/((-4)/16). Let y be (-8)/12 + n/3. Suppose 5*d - 26 = y. Is d a multiple of 10?
True
Suppose -3*z - 3*d + 20 + 10 = 0, 5*z - 49 = -4*d. Let m = -8 + z. Suppose 13 + m = 2*j. Is j a multiple of 4?
False
Let l = 70 + -68. Is l + 1 + (-180)/(4 + -7) a multiple of 12?
False
Suppose 0 = g + 3, -3*a = 4*g - 2845 - 7820. Is 54 a factor of a?
False
Let c = 520 + -58. Suppose -14*l + 3*l = -c. Is l a multiple of 14?
True
Suppose -5*z = -3*z + 6. Is 3 + (1 + -10)/z a multiple of 6?
True
Let f = -601 - -1105. Is f a multiple of 63?
True
Let w = 29 - 26. Suppose -5*n + 142 = -w*n. Is 11 a factor of n?
False
Suppose -3*r = -w - 2754, 5*r = -0*r - 2*w + 4590. Is r a multiple of 9?
True
Let d be (-14)/21*153/(-2). Let a = 79 - d. Let x = a + -15. Is 11 a factor of x?
False
Let d(z) = -5*z**3 + 4*z**2 - 3*z + 2. Suppose -5*j = 4*y - 22, -2*j + 2*y + y = 5. Let l be d(j). Is (240/l)/(1/(-7)) a multiple of 20?
True
Is 14 a factor of ((-2)/(-4))/((-70)/(-11480))?
False
Let c be ((-2)/1)/(7/(-112)). Suppose -4*b + c = -2*b. Is b even?
True
Suppose 0 = 58*q - 32*q - 16354. Does 8 divide q?
False
Let a = -31 + 45. Suppose -10*d - 348 = -a*d. Does 10 divide d?
False
Suppose -3*b - 170 = -0*n - 2*n, 2*n = 4*b + 168. Does 11 divide n?
True
Let a(g) = 2*g**2 + 13*g + 6. Let y be a(-6). Suppose -2*z + 4*r + 140 = y, 2*r + r = z - 66. Does 13 divide z?
True
Let s be 5/(-1)*6/(-5). Let n(p) be the first derivative of 2*p**3/3 - 7*p**2/2 - 8*p - 18. Is n(s) a multiple of 11?
True
Let q = 10 + -12. Let k be ((-126)/(-15))/((-4)/(-20)). Is (6 - 7)/(q/k) a multiple of 5?
False
Suppose -4*w - 256 = -2*x, -60*w - 121 = -x - 65*w. Is x a multiple of 20?
False
Let n(h) be the second derivative of h**4/12 + h**3/6 - h**2/2 + 3*h. Let a be n(2). Suppose -3*d + 2*g = -72, a*g - 4 - 11 = 0. Is d a multiple of 23?
False
Let t(q) = q + 8. Let c be t(12). Suppose -c = 4*l - 4*x, -3*l + 6 = 5*x - 3. Is l*(3 + -46 + -1) a multiple of 23?
False
Let a(t) = t**3 + t**2 + 48. Let v(g) = g**3 + 8*g**2 - 9*g. Let h be v(-9). Does 24 divide a(h)?
True
Suppose 0 = h - 0*h + 43. Let a = -4 + h. Does 17 divide 1/((2/(-2))/a)?
False
Let l(r) = -r**3 - 5*r**2 - 3*r - 3. Let x be l(-4). Let a(y) be the second derivative of -7*y**3/6 - 6*y**2 - 123*y. Is 26 a factor of a(x)?
False
Let k be (6/(-8))/(4/16). Let v(c) = c**2 + 3*c. Let t be v(k). Suppose 2*r + 5*q - 8 = 31, t = -5*r + q + 84. Is 6 a factor of r?
False
Let l be (((-52)/8)/(-13))/(1/30). Let f = 26 - l. Does 11 divide f?
True
Let y be (-1 + 1)/(-2 + 1). Suppose y*a - a = 0. Is 3 a factor of 6 - (0 + a + 3)?
True
Suppose -73*c = -72*c - 1. Suppose k - 2*s - 23 = 0, 2*k - 3*k - c = 4*s. Does 11 divide k?
False
Is (-1984)/155*-1*20 a multiple of 22?
False
Suppose -s - c + 283 = 0, -159 = 4*s + c - 1282. Is 40 a factor of s?
True
Suppose -2*l = -2*a + 4*a - 28, 78 = 5*a - 3*l. Let v = a - 11. Does 18 divide 18 - (3 - (v + -1))?
True
Does 4 divide 1*365*(14 - (6 - -7))?
False
Let f = 1285 + 7. Is 19 a factor of f?
True
Suppose 0 = -l + 3*l - 12. Let v(i) = -11*i + i**2 - 4 - l*i + 16*i. Does 2 divide v(3)?
True
Suppose 172*j - 253 = 167*j + 3*h, 2*j = 3*h + 103. Is j a multiple of 5?
True
Let p = 558 - 208. Is p a multiple of 25?
True
Let w(y) = -y**3 + 3*y + 2. Let s be w(-2). Let m(c) = 1 + 7*c**2 - s*c**2 - 4*c**2 - 9*c. Is 10 a factor of m(-6)?
False
Let f(b) = 4*b**2 - 4*b - 28. Let i be f(8). Suppose n - 3*k - 76 = 0, 5*k = -2*n - 0*k + i. Is 11 a factor of n?
True
Let y(u) = 5*u**2 - 5*u + 18. Does 11 divide y(5)?
False
Let l = -256 - -312. Does 7 divide l?
True
Let t = 9 + -5. Suppose 2*b = 5*k + 26, 5*k = -3*b + 2*k + 60. Suppose 2*a - b = -t*a. Is a a multiple of 3?
True
Suppose 5*f = -x - 2 - 6, 4*f = -5*x + 2. Let a(q) = 10*q**3 - 8*q**2 + 9*q + 3. Is a(x) a multiple of 23?
True
Suppose 2961 = 6*k - 1467. Does 9 divide k?
True
Suppose 60*g = 74*g - 9688. Is 15 a factor of g?
False
Suppose -r = -2*i + 1, 0 = 5*r - 2 - 13. Suppose k - 2*k - i*g + 58 = 0, -k + 59 = 3*g. Suppose -5*h + 385 = q, 2*h - k = 4*q + 98. Is h a multiple of 24?
False
Suppose 0 = -0*s - 3*s. Suppose -h + s*h + 29 = 0. Let y = -21 + h. Does 4 divide y?
True
Suppose q - 116 = -9. Suppose -q = -2*h - 43. Does 32 divide h?
True
Let z = 5 - -453. Does 12 divide z?
False
Let j(y) = 6*y**3 - 4*y**2 + 2*y + 20. Does 19 divide j(3)?
True
Let x(w) = w**3 - 6*w**2 + w + 8. Let p be x(8). Suppose 4*l = 4*c + p, -3*l = -c + 7 - 123. Does 4 divide l?
True
Suppose 31*x = 82692 - 32565. Does 33 divide x?
True
Let f = 174 + -162. Is f a multiple of 4?
True
Suppose -159 = 9*o - 735. Does 11 divide o?
False
Suppose -3*r + 15 = -5*c + 2*r, 0 = 5*c - 3*r + 17. Is ((-27 - 0) + c)/(-1) a multiple of 9?
False
Let m be 66/(-4)*(-34)/51. Is (-2)/m + 476/77 a multiple of 3?
True
Let b = -8 - -23. Suppose 2*n - 1 = b. Is 4 a factor of n?
True
Suppose 0 = 4*l + 6*l - 100. Suppose -18 = -l*g + 562. Does 8 divide g?
False
Suppose -a + 208626 = 65*a. Is 9 a factor of a?
False
Let z(m) = -6*m**2 - m + 1. Let i be z(1). Let r be (i/(-27))/((-1)/(-9)). Suppose 2*h - 4*x = -h + 290, -3*x + 216 = r*h. Does 29 divide h?
False
Let a(v) = v**3 + 5*v**2 - 3*v - 11. Let o be a(-5). Suppose -24 - 20 = -o*j. Does 7 divide (j + -13)/(1/(-14))?
True
Let u = -10 + 15. Suppose -15 = -5*q - u. Suppose -q*k + 3*s = -24, -k - 2*s - 40 = -5*k. Does 5 divide k?
False
Let q(c) = -3*c - 7. Let z be q(-3). Suppose 5*y = -5*v - 1560, v = 2*y + z*v + 627. Is 6 a factor of y/(-6)*(-4)/(-6)?
False
Suppose -706 - 2159 = -3*r. Suppose 0 = -5*f + 10*f - r. Is 33 a factor of f?
False
Suppose b + 3*j = 65 + 129, -3*b + 2*j = -560. Suppose 0 = -4*a - 5*y + b - 66, -a + 24 = -2*y. Is 9 a factor of a?
False
Suppose 9*p - 1090 = 3032. I