pose -3*v + 44 = -v. Let p = v + 8. Does 19 divide p?
False
Suppose 5*b - d = 999, 3*b + 3*d - 867 = -264. Does 25 divide b?
True
Is 3 a factor of ((-5175)/100)/(12/(-32))?
True
Let f be ((-8)/12)/((-2)/90). Suppose 0 = -j - j + f. Suppose 0 = -2*t + j + 5. Does 9 divide t?
False
Suppose 0 = 3*w - 3*i - 1047, -5*w - i + 1868 = 129. Does 12 divide w?
True
Let g = 846 + -126. Is 90 a factor of g?
True
Suppose 0 = 5*d + 4*y, 5*d - 3*y + 15 - 50 = 0. Suppose d*m = -j - 0*j - 136, -68 = 2*m + 2*j. Does 17 divide (-1 + 5)*m/(-4)?
True
Let x(u) = 2*u**2 + 21*u + 13. Let f be x(-14). Let w = f + -84. Is w a multiple of 10?
False
Suppose -2*g + 515 = -3*t - 22, 532 = 2*g - 2*t. Suppose -2*j = -5*j + g. Suppose n + 2*d + 3 = 28, 3*n = -2*d + j. Is n a multiple of 8?
False
Let u be (-10)/15 + (0 - (-16)/6). Suppose 3*i = 0, -3*y + u*i = -2*y - 6. Is y a multiple of 4?
False
Let p = -105 + 57. Let x = 30 - p. Suppose 2*q + x = 3*i, -4*q + 36 = 4*i - 2*i. Does 8 divide i?
True
Let n(y) = 13*y**2 + y + 1. Suppose 3*o + 5*a - 84 = 0, -2*o - 2*a = 2*o - 98. Let s = o + -24. Does 9 divide n(s)?
False
Let c(j) = -2*j**3 - 17*j**2 - 67*j. Is 50 a factor of c(-6)?
False
Suppose -4260 = -3*w - f, 3*f = 4*w - 6*w + 2840. Is 20 a factor of w?
True
Let t(u) = -4*u**2 - 6*u + 9. Let r(j) = -5*j**2 - 5*j + 10. Let m(d) = 5*r(d) - 6*t(d). Let h(v) = 10*v**2 + 2*v + 1. Let i be h(-1). Is m(i) a multiple of 12?
False
Let t(u) = -4*u - 4. Let b be (-4)/(-6) - 16/6. Let k be t(b). Suppose 11 = -3*s - k, -4*n + 3*s + 63 = 0. Is 6 a factor of n?
True
Let x be (2 - 0)/(4/6). Suppose 5*a - 140 = -c, -4*a - x*c + 128 = c. Is 27 a factor of a?
True
Let x be ((-47)/3)/(3 - (-182)/(-63)). Let a = x - -278. Is a a multiple of 37?
False
Let v be 0*(1 + 0)/3. Suppose f + 3*f - 4 = v. Does 11 divide (22 - (2 - 1)) + f?
True
Let k = -20 - -12. Is 20 a factor of 6/k - 1304/(-32)?
True
Suppose -14*f - 80 = -6*f. Is f/((8/(-10))/2) a multiple of 5?
True
Suppose -12*j = -8*j - 1344. Does 12 divide j?
True
Suppose 0*z + 3 = -3*z - 5*m, -4*z + 1 = 5*m. Suppose 0 = z*o - 12 - 0. Suppose -3*k + 3*j + 25 = 5*j, 5 = -o*k + 4*j. Does 5 divide k?
True
Suppose 8*r = 19*r - 528. Is r a multiple of 5?
False
Is 13 a factor of (-2 - 2) + 142 + -1 + 6?
True
Let q = 278 + -170. Let c = -60 + q. Is 7 a factor of c?
False
Suppose 0 = -2*d - 4 + 4. Does 4 divide 13 + (d + -1)*(9 - 6)?
False
Let w(j) = j**3 - 49*j**2 + 95*j + 28. Is w(47) a multiple of 5?
True
Let p(u) = 2*u**2 - 3*u + 2. Let a be p(-4). Let t = a - 16. Is 12 a factor of t?
False
Let c(o) = 3*o + 291. Is 7 a factor of c(-6)?
True
Let v(m) be the third derivative of -m**5/60 + 3*m**4/8 + 4*m**3/3 + 2*m**2. Let a be v(10). Is (1 + a)/(-1) + 51 a multiple of 13?
True
Suppose -9*h = -5*h. Suppose h = 2*b + 23 - 253. Is 17 a factor of b?
False
Let s(p) = -p - 13*p + 1 - p. Let m be s(-1). Suppose -2*r = -o + m, 3*r + 20 = -3*o + 4*o. Is o a multiple of 4?
True
Let d = -568 + 1900. Is d a multiple of 9?
True
Suppose -11*k + 5*k - 12 = 0. Does 13 divide 105/7 + 2/k?
False
Let r(f) = 16*f - 13. Let g(q) = 4*q - 3. Let h(s) = 9*g(s) - 2*r(s). Let m be h(1). Is 4 a factor of -9*(-1 - m)/2?
False
Let q(x) = -304*x - 31. Is 19 a factor of q(-6)?
False
Let s(o) = o**3 + 6*o**2 - 6*o + 5. Let t be s(-7). Is 16 a factor of t - (29/2)/(5/(-10))?
False
Let v be (-222)/5 - 3/(-30)*4. Let g = v + 95. Is 7 a factor of g?
False
Let h be 1/4*2*14. Let v = 32 - 31. Is 4 a factor of v*-1*(-19 + h)?
True
Let p(v) = 4*v**2 - 4*v + 12. Suppose -7 = -12*h + 29. Is 9 a factor of p(h)?
True
Suppose 2*z = -3*t + 9, -t = 3*z - 0*t - 24. Let n(r) = r**2 - 39*r + 177. Let h be n(5). Let f = h + z. Does 8 divide f?
True
Let j(k) = -k + 12. Let o be j(7). Suppose -3*h - 30 = -v - 8*h, -10 = 2*h. Suppose -2*z = -b + v, b - o*z - 65 + 1 = 0. Is b a multiple of 15?
False
Let u be 2/6 - 48/(-18). Let t(i) = -2*i + u*i + 3 - 3*i - 2*i. Is 9 a factor of t(-6)?
True
Let c be (-13 + 4)*8/(-12). Does 37 divide (4/c)/(-8*2/(-6216))?
True
Let h(z) = z**3 + 473. Does 43 divide h(0)?
True
Suppose 20*h - 19*h = 3. Suppose -h*t = 5*t - 528. Does 11 divide t?
True
Let q(i) = 11*i**2 + 5*i - 11. Let u be q(-5). Suppose -2*k - 5 = -u. Is k a multiple of 13?
True
Let n = 164 - 8. Suppose -5*v + 424 = 4*j - n, 4*j - 620 = 5*v. Is j a multiple of 35?
False
Suppose 3*w + 4*x - 469 = 0, 2*w - w - 154 = x. Is 8 a factor of w?
False
Let u(f) = 2*f**2 + f - 1. Let n be u(3). Suppose z + n = 63. Let s = z + -11. Does 7 divide s?
False
Suppose 6*o = -6*o - 216. Let l = 3 - o. Does 21 divide l?
True
Suppose -6*j + 3*j = -2*c - 190, 4*j = -2*c + 272. Let q = -38 + j. Does 7 divide q?
True
Let a(m) = -4*m - 7. Let c(h) = 4*h + 8. Let k(b) = -5*a(b) - 4*c(b). Let v be k(-3). Let n(i) = i**3 + 10*i**2 + 7*i + 2. Does 20 divide n(v)?
True
Let c be 2/7 + 24/14. Suppose -44 = -c*z + 4*o, o = -6*z + z + 154. Is 10 a factor of z?
True
Suppose 8*l - 44 - 212 = 0. Is 4 a factor of l?
True
Let m(u) = 21*u**2 + 18*u + 56. Is m(-6) a multiple of 32?
True
Let u(z) = -z**3 + 3*z**2 + 5*z + 50. Let s(i) = -2*i**3 + 7*i**2 + 11*i + 99. Let x(j) = -4*s(j) + 9*u(j). Does 18 divide x(0)?
True
Suppose d + 20 = 24. Let k be ((-7)/(-2))/(2/4). Suppose -2*x - d = -2*v, -v = 3*x - 15 - k. Does 7 divide v?
True
Let r(t) = -4*t + 10*t + t**2 - 6 - 1 + 0. Let w be r(-6). Let y = -4 - w. Is 3 a factor of y?
True
Suppose -15 - 133 = -s - r, s - r - 146 = 0. Let j = -32 + s. Does 23 divide j?
True
Let k = 10 - 5. Suppose -k*l + 2*l = -15. Suppose l*f = -5*u + 275, 4*u - 2*f - 170 - 44 = 0. Does 27 divide u?
True
Suppose 0 = -4*f + 2*a - 5*a - 19, f - 4*a - 19 = 0. Let z = 1 + f. Suppose z = -4*s - 110 + 390. Is 10 a factor of s?
True
Let i = -5 - -30. Let s(f) = -f**3 + 25*f**2 + 3*f - 11. Does 23 divide s(i)?
False
Suppose 5*m - 3526 = 3*b, 0 = 4*b - 3*b - 3. Suppose 0 = 10*d - 3*d - m. Does 10 divide d?
False
Is 6 a factor of (-53802)/(-189) + 5/(-3)?
False
Suppose -4*r - 4 = -0, 4*i + 5*r - 2363 = 0. Is 37 a factor of i?
True
Let w(m) = -m**2 + 1. Let q(l) = 3*l**2 - 5*l + 2. Let k(j) = -q(j) - 2*w(j). Let n be k(6). Let d(v) = -2*v - 9. Is d(n) a multiple of 8?
False
Let r = -83 + 227. Does 12 divide r?
True
Suppose y = -2*n - 2*y - 17, 5*y + 3 = 3*n. Let z(r) = 4*r - 14*r - 4*r - 8. Is 24 a factor of z(n)?
True
Suppose 408 = -l + 3*l. Suppose -h - 4*f = 3*h - 388, l = 2*h - 3*f. Is h a multiple of 15?
False
Let t(o) = -o**3 - o - 114. Let l be t(0). Let q = 197 + l. Let v = q - 47. Does 14 divide v?
False
Let w = -11 + 14. Let i = 8 - 6. Suppose -w*p - i*p = -375. Is p a multiple of 15?
True
Let j(b) = -b**3 + 3*b**2 - 5*b + 2. Let n be j(3). Let c = n + 22. Let z(g) = -g + 26. Is z(c) a multiple of 17?
True
Is -4*7/((-21)/36) a multiple of 11?
False
Suppose 3*p - 56 = 5*p. Is ((-69)/(-6))/((-2)/p) a multiple of 32?
False
Let s(n) be the first derivative of n**6/120 - n**5/20 + n**4/8 + 7*n**3/6 + 3*n**2 + 3. Let m(v) be the second derivative of s(v). Does 12 divide m(4)?
False
Let q(i) = 4 - 2 - 7*i**3 + i**2 + 6*i**3 - 10*i. Let r be q(-5). Suppose -4*j + r = -106. Does 11 divide j?
True
Let o be ((-9)/9)/(1/(-79)). Suppose -2*w + 73 = 5*y, -5*y + o - 22 = -2*w. Is y a multiple of 13?
True
Let v be -3 - (-6 - -3)/1. Suppose v = 4*a - 4*i + 216, 2*a - 6*a - 3*i = 188. Is 8 a factor of ((-18)/5)/(15/a)?
False
Let i be 7/(-35) + 238/(-10). Let k = 26 + i. Suppose 2*p - 108 = -p + k*s, 2*p = 3*s + 77. Is p a multiple of 34?
True
Suppose 9*c + 9120 = 28*c. Is c a multiple of 16?
True
Is 22 a factor of 74 + ((-2 - 2) + 3)/(-1)?
False
Let w(j) = -2*j**2 - 7*j - 5. Let g be w(-2). Let x(h) = -7*h**3 - h**2 + 17*h**3 + 4*h**3. Does 13 divide x(g)?
True
Let d be 27/(1/3*-3). Let j = -41 - d. Let m = 58 - j. Does 15 divide m?
False
Let j(q) = q**3 - 12*q**2 - 35*q + 58. Is 45 a factor of j(19)?
False
Let c = -26 + 38. Let p(t) = 2 - 4 - 3*t**2 - 4 + 2*t**2 + 14*t. Does 5 divide p(c)?
False
Suppose 0 = -0*k + k - 5. Let c(x) = -2*x + 16. Let s be c(8). Suppose k*o - o - 5*h - 6 = s, 26 = 5*o + 3*h. Is o even?
True
Let g = -32 - -32. Suppose -2*n + 4*u - 62 = g, 3*n = -2*n + u - 110. Let b = 67 - n. Is b a multiple of 22?
True
Let i be (0 + -3)*(-8)/(0 - -2). Is 18 a factor of -2 + 243/i - 3/12?
True
Suppose -2*w = 5*s + 43, 4*w = w + 3*s