pose -u = 2*i - 6*i - 309, -2*i - 171 = 5*u. Let a = -23 - i. Does 11 divide a?
True
Suppose -858 = -2*d + 2*s, -23*s = d - 19*s - 434. Is 26 a factor of d?
False
Let v(c) = 4*c**2 + 10*c + 114. Is 9 a factor of v(-12)?
False
Suppose -14*f + 19*f - 4*n = 8645, 5187 = 3*f - 3*n. Is f a multiple of 19?
True
Let y = -457 + 1294. Does 29 divide y?
False
Let b(r) = -17*r + 8. Let g be b(5). Let j be -2 + g + (-4)/(-2). Is 13 a factor of j/(-3) - 1/(-3)?
True
Let p(l) be the third derivative of -l**4/6 + l**3/6 - 5*l**2. Let n be p(-1). Let b = n - 1. Does 2 divide b?
True
Let t(d) = 3*d**2 + 6*d + 5. Let z be t(-3). Suppose 0 = 3*a - 166 - z. Does 12 divide a?
True
Let a = 248 - 35. Does 71 divide a?
True
Let u = -10 + 10. Suppose u*a = a - 2*v + 56, -5*v + 170 = -3*a. Let p = -26 - a. Is 11 a factor of p?
False
Let t(v) = 3*v**2 - 2*v - 2. Let y(x) = -x**2 - 13*x + 6. Let i be y(-13). Let j = -10 + i. Does 27 divide t(j)?
True
Let o(x) = -6*x - 21. Let c(t) = -13*t - 42. Let r(l) = -2*c(l) + 5*o(l). Let i be r(-15). Let n = -31 + i. Does 5 divide n?
False
Suppose -3*q = -8 - 1. Suppose q*z = 2*p + 24, 2*z + 0*z - 15 = p. Suppose -3*a + z*a = 6. Is 2 a factor of a?
True
Let g be (-66)/(-14) + (-2)/(-7). Suppose 2*w - 5*q - 39 - 24 = 0, 0 = -g*q + 15. Is 7 a factor of w?
False
Suppose -s - 3*s - 1136 = -4*q, 2*q + s - 571 = 0. Suppose 3*t = -2*w + 114, -4*w + q = w - 5*t. Is w a multiple of 19?
True
Let x(q) = 37*q**2 + 10*q - 15. Is 29 a factor of x(3)?
True
Suppose -16 - 34 = -n. Is 28 a factor of n?
False
Suppose 0 = -5*b - t - 4, 0 = 4*b - 2*t - 2*t + 8. Let p be -43*(1/b + 0). Suppose 5*h - g = 234, p = h - 6*g + 2*g. Does 11 divide h?
False
Let l be (52/(-8))/(5/10). Let z = 10 + l. Let x(f) = 5*f**2 - 3. Is 26 a factor of x(z)?
False
Let q be -5 + 5 + (-3)/(-1). Suppose -10 = 2*x + 2*t + 8, 5*x + 35 = 5*t. Is (663/(-68))/(q/x) a multiple of 17?
False
Suppose -m = 5*o - 6*m - 15, 2*o = m + 6. Suppose 0 = 5*l + o*u + 9, -3*l + 0*u = 2*u + 6. Is 17 a factor of -3 + l + 47 + -3?
False
Let l(m) = m + 7. Let d be l(-5). Suppose u + d*u = 84. Suppose u = k - 5*g, -5*k = -6*g + g - 220. Is 16 a factor of k?
True
Let a(n) = 2*n + 2*n - 2*n - 1 + 8. Let y be a(-3). Does 7 divide -8*(8/(-4))/y?
False
Suppose -5*j - 302 = -6*j. Let s = j - 203. Does 8 divide s?
False
Suppose 0 = -16*b - 10225 + 93425. Is 16 a factor of b?
True
Is 161/2*14*(-14)/(-49) a multiple of 23?
True
Let v(k) be the second derivative of 7*k**4/24 - 2*k**3/3 - 2*k**2 + 7*k. Let n(p) be the first derivative of v(p). Is n(4) a multiple of 12?
True
Let v be 21*((-2)/1 + (-28)/(-21)). Let o = v - -30. Is o a multiple of 8?
True
Suppose 282*h - 300*h + 14346 = 0. Is 14 a factor of h?
False
Let r = 147 - 81. Let b = r + -44. Is 11 a factor of b?
True
Let q(i) = -i**2 + 3*i. Let z be q(2). Let w(a) = 2*a**3 - 2*a**2 - a - 2. Is 4 a factor of w(z)?
True
Suppose -l + 2*i = 5 + 9, 5*i = 3*l + 42. Let u be 92/(-69) - (-264)/9. Let x = l + u. Does 7 divide x?
True
Suppose 2*s = -4*f + 5*s + 44, 2*f + 3*s = 4. Suppose -2*c = -f, -3*n + c + 4*c = -232. Does 21 divide n?
True
Suppose -4*i = 5*h - 295, -3*h - 4*i + 70 + 115 = 0. Suppose -53 - h = -2*g. Does 17 divide g?
False
Suppose n + 1100 = 3*k, 3*k + 17*n - 1105 = 19*n. Is 19 a factor of k?
False
Suppose 88*w + 2200 = 90*w - 5*z, -4*z = 4*w - 4400. Is w a multiple of 20?
True
Suppose 28 = -u - 12. Does 11 divide (-14)/(-8)*(5 - (1 + u))?
True
Suppose -4*d + 4 = 12, 5*d + 566 = 2*h. Does 5 divide h?
False
Let j be -11*(0 - (7 - 4)). Let i = j - 30. Suppose -6*z + i*z + 312 = 0. Is 26 a factor of z?
True
Let i(g) = g**3 + 7*g**2 + 5*g - 2. Let y = 124 + -128. Is 3 a factor of i(y)?
False
Let v(w) = w**2 - 47*w + 22. Is 8 a factor of v(-10)?
True
Let a = 273 + 5833. Does 71 divide a?
True
Let g(f) = 24*f + 4. Let n be g(4). Suppose -4*t = 20, 2*t + 86 = 2*c - n. Is 22 a factor of c?
True
Does 41 divide -4*1107/90*30/(-4)?
True
Let z be ((-18)/4)/(12/(-8)). Suppose -z*g + 28 = 2*b, -16 = -g - 0*g + b. Does 2 divide g?
True
Let y = 11 - 9. Suppose 0 = -y*f + 7*f + 140. Is f/(-5) - 2/(-5) even?
True
Let r = 39 + -31. Let c = -3 + r. Suppose -2*d - c*f = -140, 3*d + 0*f - 5*f - 235 = 0. Does 25 divide d?
True
Let d(u) = -7*u - 2. Suppose -3*c = -5*c + 4. Let q be d(c). Does 12 divide q/(-24) - 82/(-3)?
False
Let j(k) be the third derivative of k**5/10 - 8*k**2. Let g be j(-5). Suppose -3*w + 3*i + g = 0, -6*w + 185 = -2*w - i. Is w a multiple of 15?
True
Suppose 10*r - 11168 - 11782 = 0. Is 27 a factor of r?
True
Let w = 6 - 12. Let b = 8 + w. Suppose -b*p - 46 = -4*a + 24, 4*a = p + 67. Is a a multiple of 8?
True
Let g(u) be the third derivative of -u**4/6 - 5*u**3/6 - 2*u**2. Let i(z) = z**3 - 2*z**2 - 4*z - 2. Let x be i(-2). Does 7 divide g(x)?
True
Let f be ((-9)/(-6))/((-5)/(-10)). Is 11 a factor of 293/f + (-4)/(-3)?
True
Suppose 4*n + 39 = -81. Let q be n/4*4/(-2). Suppose 3*m + 9 - q = 0. Does 2 divide m?
True
Let r(s) = -1078 - 11*s + 1078. Does 3 divide r(-3)?
True
Let p be 2/(-12) + (-220)/(-24). Let m be 27/p*64/6. Suppose m - 2 = 2*u. Does 5 divide u?
True
Let k(b) = b**3 - 10*b**2 - 10*b - 9. Let l be k(11). Suppose -4*q + 64 = 5*m, 0 = l*q + q - m - 67. Is q a multiple of 13?
False
Suppose -5*t + t + 1420 = 0. Suppose -s - 5*m + 55 = 0, -t = -5*s - 4*m - m. Is s a multiple of 25?
True
Suppose 4*x - 8*x = 4*u - 208, -5*x - 76 = -2*u. Is 8 a factor of u?
True
Let r(z) = z**3 - 9*z**2 + 2*z - 7. Let u be r(9). Let h = u + 8. Suppose 2*d - 8 = -3*g + h, 4*d + 34 = 2*g. Is 11 a factor of g?
True
Let u be (-490)/4 + (-3)/18*3. Let q = 195 + u. Is 12 a factor of q?
True
Let j(l) = l**2 + 5. Let p be j(0). Suppose 4*i - 35 = -p*x, 0 = i - 5*x - 47 + 7. Suppose 2*u - i = 2*t + 5, -t = 5*u - 26. Is 3 a factor of u?
True
Let x(v) = 19*v + 14. Let u be x(2). Let y be 2/(-7) + 69/21. Suppose y*c - 7*c = -u. Is c a multiple of 13?
True
Suppose -2*f = -4*u + 363 + 129, 2*f = -5*u + 606. Let x = u + -61. Is x a multiple of 7?
False
Let n = 495 - 314. Does 47 divide n?
False
Suppose 0 = 4*h - 1 - 7. Suppose 0 = 3*y - h*y. Suppose 4*l - 5 - 27 = y. Is l a multiple of 5?
False
Let p = -7 + 7. Does 18 divide ((3 - 6) + p + 6)*12?
True
Suppose 31*z = 719 + 2753. Is 14 a factor of z?
True
Let y(p) be the first derivative of -p**3/3 + 9*p**2/2 - 2*p + 2. Let m be y(4). Let t = 31 + m. Is t a multiple of 18?
False
Let x(t) = 2*t**2 - 16*t + 79. Let r(k) = 3*k**2 - 24*k + 118. Let j(b) = -5*r(b) + 8*x(b). Does 19 divide j(12)?
False
Let w be ((-62)/(-3))/(32/48). Let c = w - 51. Does 11 divide (39/(-12))/(5/c)?
False
Suppose x + 523 - 5129 = 0. Is x a multiple of 47?
True
Suppose -7*b = -2*b + 5. Let t be b - (4 + (-18)/3). Does 4 divide 0/(-4) - (-3 - t)?
True
Suppose 2*f - 726 = 4*g, -3*f - 4*g + 1512 = f. Is f a multiple of 19?
False
Let z(d) = d**3 - d**2 - 23*d + 229. Is 18 a factor of z(0)?
False
Suppose 10*g = 6*g + 3552. Is 81 a factor of g?
False
Let s be (-8)/28 - (-729)/(-21). Does 6 divide (-15)/(-3) - s/1?
False
Suppose 15*r - 12*r - 825 = -3*l, -2*r = 5*l - 535. Does 35 divide r?
True
Is 79 a factor of (10 - (-75)/(-6)) + (-1274)/(-4)?
True
Suppose -1 = g - 8. Let f be 37/g - 18/63. Suppose 2*q - 4 = 0, 0 = -f*t - q + 5*q + 42. Is 10 a factor of t?
True
Suppose 975*l = 966*l + 4158. Does 34 divide l?
False
Let b(t) = -18*t**2 + 3*t**2 + 9*t**2 - 43 - 22*t + 5*t**2. Is b(-19) even?
True
Let p be 6/4*62 + -4. Suppose 5*u - j - p = 265, -j = -u + 70. Is 10 a factor of u?
False
Let i(g) = -3*g + 8. Let k be i(2). Suppose 52 = -y + k*y. Is (-12)/8*y/(-6) a multiple of 9?
False
Let i = 38 - 61. Let b be 8/64 - i/8. Suppose b*k = 0, v - 57 = -k - 4*k. Does 32 divide v?
False
Suppose 1390 = 11*n - 6*n + 3*s, 5*n - 1385 = -2*s. Is n a multiple of 55?
True
Let k(m) = -m + 2. Let w be 0 - 0 - (1 - -2). Let x be k(w). Suppose -x = -3*u + 10. Is u a multiple of 5?
True
Let q = 4375 + -3115. Suppose 0 = -4*f + 2*w + q, -f - 3*f = 4*w - 1260. Is f a multiple of 45?
True
Is 13 a factor of (36/(-6))/(-1*8/364)?
True
Let s(f) = -f**2 - 6*f - 6. Let r be s(-5). Is 24 a factor of (2 + 0)/((-10)/(-455)) + r?
False
Suppose 0 = -142*t + 160*t - 12078. Is 68 a factor of t?
False
Suppose -238*x = -239*x + 540. Does 30 divide x?
True
Let f(i) = 50*i**2 - 31*i + 97. 