2*u - 28, 5*u - 28 = -2*i. Suppose 5*f - 6 = -5*n + x, -n = i. Does 6 divide f?
False
Let m = 52 - 50. Suppose -m*g = 0, 2*p = -0*g - 4*g + 78. Is p a multiple of 11?
False
Let q(h) = 5*h**2 + 6*h + 2. Let g(d) = -5*d**2 - 5*d - 1. Let t(p) = 6*g(p) + 5*q(p). Let o be t(5). Let l = o + 192. Is l a multiple of 20?
False
Let r = -252 + 363. Let p = r + -2. Is 28 a factor of p?
False
Let v = -7 - 2. Let m(g) = g**3 + 13*g**2 - g + 9. Let i be m(v). Suppose x - 2*s = 3*x - 134, -2*s - i = -5*x. Is x a multiple of 17?
True
Let t = 11 - -199. Is t a multiple of 35?
True
Let g(t) = 36*t**3 + t**2 - 1. Let a(s) = -s**3 - 11*s**2 + s + 12. Let n be a(-11). Let j be (-3 + 1 + n)*-1. Is 18 a factor of g(j)?
True
Suppose -2*m + 4045 = 5*b, 0*b - b + 782 = -5*m. Suppose 0 = 4*o - b + 123. Does 42 divide o?
False
Let j(h) = 0*h**3 + 3*h**3 + 6*h**2 - 2*h + 4 + 3*h. Let d be j(-4). Is (d/56)/((-1)/21) a multiple of 6?
True
Suppose -4*x + 7 = 3*p, 3*p + 0*p = x + 17. Let j be 9/6*(p - 1). Does 2 divide 2 + 1/(1/j)?
True
Let i(s) = s**3 - s**2 - 4*s + 4. Let k be i(3). Let z be (-2)/5 - (-4)/k. Suppose -75 = -q - z*q. Is 19 a factor of q?
False
Let f = 6333 - 4132. Does 71 divide f?
True
Let w = 3316 + -1930. Does 33 divide w?
True
Let x(m) = -m**3 - m**2 + m + 9. Let o be x(3). Let w(n) = n**3 + 6*n**2 + 7*n - 2. Let v be w(-6). Let j = o - v. Is j a multiple of 9?
False
Let u = -83 + 83. Suppose 4*t + 3*b = 375, u*b = 3*t + 2*b - 282. Does 16 divide t?
True
Suppose -7*x = -9*x + 8. Let b be 8/(-5)*(-10)/x. Let n = 11 + b. Is 5 a factor of n?
True
Is (-6)/(-14) + 90510/98 a multiple of 12?
True
Suppose 2*j + 4 = 4*j. Suppose 4*q - 479 = -q + j*u, 0 = 4*q + u - 391. Is q a multiple of 18?
False
Let q be (75/(-9) + 6)*-3. Let s = -7 + 12. Suppose s*m - 191 = -4*p, q*m = 2*m + 4*p + 159. Is m a multiple of 7?
True
Is 5*(26 - (1 - 4)) a multiple of 29?
True
Suppose 0 = 5*n - 2*n - 3*q - 6, 0 = -3*n - 2*q + 16. Let z(v) = -2*v - 3*v + n + 3*v. Does 8 divide z(-9)?
False
Let n = 10 - -6. Is 10 a factor of 26 - n/((-4)/1)?
True
Let t(m) = m**3 - m**2 + m - 5. Suppose 0*y = y. Let x be t(y). Let i(z) = z + 16. Is 11 a factor of i(x)?
True
Suppose -3*f + 14 - 38 = 0. Let b be f + 9 + -16 + 1. Is 10 a factor of 832/22 + b/(-77)?
False
Let l be (1 - 8) + 3/(-1). Let y(w) = w**2 + 8*w - 10. Let p be y(l). Is (-1)/3*-3*p a multiple of 5?
True
Suppose 28*x = 11*x + 646. Suppose 0 = k + 2*f - x - 48, f = 2*k - 182. Is 45 a factor of k?
True
Let d be 2142/(-204)*(-1)/(3/44). Is ((-4356)/d)/((-6)/28) a multiple of 11?
True
Let l be 105/(-30)*(-12)/(-1). Let j = 82 + l. Does 8 divide j?
True
Let z(l) = 2*l**2 - 5*l - 1. Let x be z(3). Suppose 20 = r - 3*i, -x*r + 4*i = -5*r + 99. Let k = r + 1. Is k a multiple of 6?
True
Suppose -375*o + 371*o = -176. Is o even?
True
Let x be (-4)/8*-6 - -8. Suppose -r = -2*g - x, 0 = 4*r - 2*g + g - 16. Suppose r*i = o - 34, 2*o - 89 = -i - 0*i. Is o a multiple of 14?
False
Let m = -94 - -128. Suppose 3*q - 26 = m. Does 2 divide q?
True
Is ((-8)/(-6))/(22/(-33)) - -2908 a multiple of 45?
False
Suppose 36*x = -29*x + 15600. Does 10 divide x?
True
Does 42 divide 18/24*12 + 33?
True
Suppose -67*z - 38*z = -51660. Is 18 a factor of z?
False
Suppose 0 = 2*j + 3*w + 3 - 12, 3*w - 6 = -j. Let x = -18 + 20. Suppose j*r - x*g = g + 93, r + g - 39 = 0. Is 18 a factor of r?
False
Let z be 40 + (-2)/(-5)*5 - 3. Let v = z - -84. Is v a multiple of 13?
False
Let r = -45 - -45. Let j(b) = -b**3 + 17. Is 10 a factor of j(r)?
False
Suppose -5*d = -21 + 6, -2*p + 19 = 3*d. Suppose 7*f - p*f - 16 = 0. Is 8 a factor of f?
True
Let x(d) be the first derivative of d**7/840 + d**6/30 - 7*d**5/60 + d**4/8 + 2*d**3 - 3. Let q(z) be the third derivative of x(z). Is q(-13) a multiple of 5?
False
Let f(s) = -s**3 + 6*s**2 - 6. Let t be f(6). Let j be -4 - (t - (2 - 0)). Suppose 0 = -j*v - v + 140. Is v a multiple of 14?
True
Suppose 2*i - 4484 = -5*d, -3*i + i = -4. Is d a multiple of 64?
True
Let z = 10 + -10. Suppose 3*j + 5*o + 0*o + 4 = 0, j = -3*o - 4. Suppose 5*n - 5*u = -j*u + 94, n + 5*u - 30 = z. Is 5 a factor of n?
True
Let y be (-111)/(-9) + (-14)/(-21). Suppose -y = -i - 0. Is 13 a factor of i?
True
Let z = 3 - 0. Suppose -z*s = -s - 212. Does 5 divide s/8 - 3/(-4)?
False
Let u be 6/6*(-3)/(-1) + 262. Let s = u - 121. Is s a multiple of 19?
False
Suppose -11*a = -17*a + 6300. Is a a multiple of 50?
True
Let f(v) = 12*v - 4. Let m be 4 + -5 + (1 - -2). Is f(m) a multiple of 13?
False
Suppose 775 = 5*m - h + 52, 2*m - 2*h = 294. Is m a multiple of 3?
True
Suppose 4*c = -0*c + 8. Let v(w) = 5*w**3 + w + 3. Is v(c) a multiple of 9?
True
Suppose 5*x + 2*c - c = -1097, 2*c = 4*x + 886. Let n = 380 + x. Does 11 divide n?
False
Let m = 209 + -382. Let x = -124 - m. Let n = x + -25. Does 12 divide n?
True
Let x(g) = 4*g**3 - g**2. Let u(p) = -2*p - 13. Let t be u(-7). Let v be x(t). Suppose -128 = -v*c + 2*m, 7*c + 3*m - 165 = 3*c. Is c a multiple of 7?
True
Let j(y) = -y**2 + 14*y - 9. Let u(g) = g**3 - 10*g**2 + 11*g - 13. Let v be u(9). Is 12 a factor of j(v)?
True
Let g be (-60)/40*(-1 - (-5)/(-3)). Suppose -g*h = 3*b - 120 - 562, -4*b + 508 = 3*h. Is 6 a factor of h?
False
Let l = -5 + 13. Suppose 0*o = -l*o + 288. Is 9 a factor of o?
True
Let r be 1/(((-15)/(-9))/5). Suppose -5 = r*i + 2*o + 2*o, i = 2*o + 5. Let q(b) = 109*b. Is 23 a factor of q(i)?
False
Suppose 2*l + 0 - 51 = -5*i, 4*l = -3*i + 39. Let s be (8/12)/(2/i). Suppose s*m = 7*m - 480. Is 29 a factor of m?
False
Suppose 7*l = 12*l - 840. Is l a multiple of 10?
False
Let j(s) = 245*s**2 - s - 1. Is 81 a factor of j(1)?
True
Suppose 2*w - 481 + 141 = 0. Let v = w + -66. Is v a multiple of 52?
True
Let b(j) be the third derivative of -j**5/60 + j**4/12 + 4*j**3/3 - 2*j**2. Let s be b(8). Let d = 0 - s. Is 10 a factor of d?
True
Suppose 26 + 19 = x. Is 10/x + 457/9 a multiple of 8?
False
Does 55 divide (-7266)/(-33) - (18/33)/3?
True
Let n = -14 + 33. Let u = -21 + n. Is 7 a factor of (-602)/(-14) + 0/u?
False
Suppose 2*i - i - 41 = 0. Suppose 0*h + i = h. Is 28 a factor of h?
False
Let o(q) be the third derivative of -q**6/360 + 7*q**5/60 - 5*q**4/12 - q**3/2 - 3*q**2. Let f(a) be the first derivative of o(a). Does 6 divide f(12)?
False
Let a = 4 - 0. Suppose -9*o = -a*o + 670. Let i = -80 - o. Is 9 a factor of i?
True
Let x = -7 + 11. Suppose -x*m + 820 = 4*t, 3*m = 2*t - 214 - 191. Is t a multiple of 34?
True
Let k be ((-2)/(-1))/(4/14). Let n = k - 3. Suppose 0 = o - n*o + 126. Is 21 a factor of o?
True
Let j(v) = -v**2 - 2*v + 109. Is 2 a factor of j(-10)?
False
Let m(c) be the first derivative of 2*c**3/3 - 15*c**2/2 - 10*c - 1. Let o be m(8). Let q = o + 16. Is q a multiple of 7?
True
Let r = -187 - -322. Does 45 divide r?
True
Let a be (-933)/(-1) - 2*3/(-2). Suppose -3*i - 3*i = -a. Is i a multiple of 12?
True
Let q = -72 + 72. Let h(o) = 4*o**2 - 2*o + 34. Let t(s) = -9*s**2 + 4*s - 68. Let k(z) = 7*h(z) + 3*t(z). Is 13 a factor of k(q)?
False
Suppose a = -o - 2*a + 1384, o + a - 1384 = 0. Does 13 divide 6/9 - o/(-12)?
False
Is 3 a factor of -2*(9/(-8))/(6/24)?
True
Let v be (14/(-21))/(2/(-294)). Let p = 13 + v. Is p a multiple of 29?
False
Let p be (2 - 48/9)*(-36)/30. Suppose -p*t + 7*t + 4*c = 117, -83 = -2*t - c. Is 6 a factor of t?
False
Suppose 8481 + 6469 = 25*h. Is h a multiple of 23?
True
Let a(t) = -t**2 - 4. Let n be a(-4). Let s = n + 28. Does 2 divide s?
True
Let c = 251 + -234. Does 6 divide c?
False
Let j(s) = -s + 8. Let a be j(7). Let l be -2 + 1 + -1 + a. Is 6 a factor of (-392)/(-16) + l/2?
True
Is (-12)/14 - (-69413)/287 a multiple of 6?
False
Let b(f) = f**3 + 9*f**2 + 8*f + 5. Let u = -4 + 14. Let i be 116/(-14) + u/35. Does 4 divide b(i)?
False
Let c(q) = q - 1. Let k(t) = 5. Let y be -3*1 + 6 + -4. Let s(p) = y*k(p) - 5*c(p). Is 4 a factor of s(-3)?
False
Suppose 2*i - 58 = 3*d, 2*d + 77 = 3*i - 0*i. Let w = -1 + i. Does 22 divide w?
True
Suppose z - 2*z = 0. Suppose -31 = -n - z*n. Let q = 54 - n. Does 23 divide q?
True
Let u(s) = -22 - 7*s + 14*s + 7*s**2 - 6*s**2. Does 28 divide u(-13)?
True
Suppose -49 = -5*w + 231. Let j = 61 - w. Is j even?
False
Suppose 7*s = -0 + 21. Suppose 5*g + s*z - 1416 = 0, -g + 0*z = 3*z - 276. Is g a multiple of 15?
True
Suppose 7