 be 15 - (-10 - -2 - b). Let x = 10 + w. Is 10 a factor of x?
False
Let p(i) be the first derivative of i**4/4 - i**3/3 - 7*i**2 + 30*i - 15. Does 16 divide p(4)?
False
Suppose 3*q + 3 = 0, -3*q = 3*f - 7*f + 10923. Is f a multiple of 14?
True
Let z = -658 - -636. Is (z/14)/(16/(-1232)) a multiple of 7?
False
Let g = -93 + 99. Let x(p) = -15*p**3 - 11*p**2 + 30*p**3 - 14*p**3 - 4 - g*p. Is 10 a factor of x(12)?
False
Let p(s) = 24*s**2 - 4*s - 8. Is 4 a factor of p(9)?
True
Let i(h) be the third derivative of -5*h**4/24 + h**3 + 12*h**2. Let v be i(-18). Suppose u + 2*u = v. Is u a multiple of 24?
False
Let a = 9716 + -4599. Is a a multiple of 17?
True
Let i(x) = 4*x**2 + 66*x - 416. Let n be i(6). Let s be ((-5)/1)/((-5)/295). Let k = s - n. Does 18 divide k?
False
Suppose 0 = -3*n + 15 - 3. Suppose 5*a - 6 = n. Suppose 4*s + 306 + 238 = 4*k, -3*s = a*k - 272. Does 17 divide k?
True
Let v(g) = -26*g**3 - 12*g**2 - 25*g - 2. Is v(-2) a multiple of 13?
True
Suppose -887 = -4*o + 3*o + 4*r, 0 = 3*o + 2*r - 2703. Suppose -7*f = -109 - o. Suppose -i - f = -4*i. Is 16 a factor of i?
True
Does 3 divide ((-42)/(-8))/((-47793)/(-87560) - 120/220)?
False
Let s = -829 - -5526. Does 43 divide s?
False
Let o = 98 - 94. Suppose 83 - 217 = -r + o*v, 5*r - 5*v - 595 = 0. Is 57 a factor of r?
True
Suppose 2*b + 364 = 3*u, 7*u - 12*u + 612 = -2*b. Suppose u*d = 130*d - 7104. Does 26 divide d?
False
Suppose i + 30 = -4*k, 7*i - 2*i + 5*k = -45. Let h = 3 + -2. Is 50*h/i*-2 a multiple of 5?
True
Let k = 4 - -235. Let c = 393 - k. Does 22 divide c?
True
Let y(j) = j**2 + 5*j + 12. Suppose 0*p - 30 = -6*p. Let r be (0 - -5) + p + -5. Is y(r) a multiple of 31?
True
Let z = -12 + 17. Let t(l) = 26*l - 86. Does 9 divide t(z)?
False
Suppose 2*c - 20664 = -3*b, 5*b = -c + 6862 + 3491. Is 279 a factor of c?
True
Let k(o) = -o**3 + 8*o**2 + 11*o + 6. Let y be k(9). Suppose 5*t - 4*m = 59 - 17, 0 = -3*t + 3*m + y. Suppose 7*i + 99 = t*i. Is i a multiple of 11?
True
Let j(n) = n**3 - 11*n**2 + 7*n - 28. Let u(v) = -v**3 - 6*v**2 - 3*v - 7. Suppose 2 = -2*s, 2*b + 5*s - 7 = 4*b. Let k be u(b). Does 14 divide j(k)?
False
Let d = -3398 + 3464. Does 3 divide d?
True
Suppose 0 = 12*a - 9*a. Suppose 0 = -f + 5*b + 72, -2*f + 2*b - 6*b + 200 = a. Suppose -5*k = -3*k - f. Is 23 a factor of k?
True
Let m be (255/(-2))/3*2. Suppose -30*n + 445 - 2245 = 0. Let z = n - m. Is 11 a factor of z?
False
Let q(c) = c**3 + 5*c**2 + 5*c + 6. Let n be q(-4). Let i(d) = 35*d - 171. Let k be i(5). Suppose r - 458 = -3*v, k*r - 131 = -n*v + 181. Is 38 a factor of v?
True
Does 4 divide 135624/(-36)*-9*(-3)/(-18)?
False
Let j(h) = -21*h - 14. Let o be j(-1). Does 5 divide (o + 3)/(2/13)?
True
Is ((-9)/6)/(1238906/(-95300) + 13) a multiple of 15?
False
Suppose -3*c + 0*c = -4*x - 45, -c = -5*x - 70. Let h = x + 12. Is 21 a factor of 1170/14 - h/7?
True
Let m = -468 - -2190. Suppose n = -i - 3*i + m, -3*i + 1294 = 2*n. Is 37 a factor of i?
False
Suppose 5*z - 4*l = -56, 4*z + 0*l + 2*l = -24. Let o(u) = -2*u**2 - 12*u - 12. Let x be o(z). Let g = 20 - x. Is g a multiple of 16?
True
Suppose 5*z + 4*k - 16276 = 0, 5*z - 2*k - 8453 - 7799 = 0. Does 3 divide z?
True
Let m be -26*402/24 - (-2)/(-4). Let b = -389 - m. Is 20 a factor of b?
False
Let w be 1092/(-30)*-3*(-20)/(-6). Is 13 a factor of (1 - 1 - w/(-7))*6?
True
Let t(n) = n**3 - 11*n**2 - 18*n + 18. Suppose -3*b - 2*m + 33 = 0, -b - m - 16 = -2*b. Is t(b) a multiple of 7?
False
Let u = -21 - -21. Suppose -7*v - 4*v + 12870 = u. Suppose m = 19*m - v. Does 10 divide m?
False
Let u(v) be the third derivative of 17*v**4/12 - 49*v**3/6 + 58*v**2. Is u(4) a multiple of 13?
False
Let p be 175/10*(-4)/(-5). Suppose p*u - 456 = 11*u. Suppose 0 = t + 3*t - u. Does 14 divide t?
False
Let x(w) = 445*w**2 - 166*w - 747. Is 11 a factor of x(-5)?
False
Suppose -22*n = -29*n + 21. Suppose -n*w + 379 = 4*o - 0*o, 377 = 4*o + w. Is o a multiple of 14?
False
Let u be (-3 - -3 - -1)*2. Let a be 4*u*1/8 - -4. Suppose a*k - 2*p - 726 - 521 = 0, 501 = 2*k - 3*p. Is 32 a factor of k?
False
Let p = 10146 + -6080. Is p a multiple of 44?
False
Let t = -427 + 426. Is 47 a factor of 937 + (-1 - (-11 + 6)) + t?
True
Suppose -4*c - 850 = -8*j + 3*j, 5*j = -3*c + 885. Suppose -2*l - 5*v + j = -4*l, -5*l - v = 489. Let n = -11 - l. Does 29 divide n?
False
Suppose -22*t + 351120 = -22*t + 57*t. Does 154 divide t?
True
Is (-4710)/(-50)*(-7 - -17) a multiple of 6?
True
Let q = 61 + -59. Let h be (6/9)/(q/(-27)). Is (-5)/(35/(-62)) - h/63 a multiple of 3?
True
Suppose 0 = -5*g - 4*p - 147, -3*g + 2*p = -8*g - 141. Does 11 divide g/(-2)*(-126)/(-27)?
False
Suppose 0 = 2*n - 5*u - 64, 4*n = 2*u - 13 + 141. Is 8 a factor of 2/(-4) - 4/(n/(-1156))?
True
Let l(v) = 2*v**2. Let f be l(1). Let q(x) = -208*x + 24. Let o(z) = 44*z - 5. Let m(n) = 11*o(n) + 2*q(n). Is 29 a factor of m(f)?
False
Suppose 4*j = -5*i + 20, 5*i - 9*j - 20 = -8*j. Does 42 divide 5*27 - (-24)/i?
False
Suppose -3*q + 265 = 5*b + 32, -3*b + 135 = 3*q. Is 66 a factor of 363 - b/(14/(-2))?
False
Let f be ((-4)/6)/((-68)/36 - -2). Is 135/f*12/(-9) a multiple of 3?
True
Let s(j) = -j**3 - 25*j**2 - 12*j - 72. Let f be s(-25). Let h = f + -192. Is 9 a factor of h?
True
Let r be 4 + -4 - (0 + -1*4). Suppose 2*k - 169 = 3*h, r*k - 6*h = -h + 333. Is 11 a factor of k?
True
Let y(b) = 53*b - 265. Let q be y(5). Let x(f) = -8 + 25 + 3*f - 3*f + f - f**2. Does 2 divide x(q)?
False
Let b be 0 + 4/30 + 17/(3060/(-24)). Let i(n) = -n - 1. Let q(p) = -5*p - 86. Let w(u) = 6*i(u) - q(u). Is w(b) a multiple of 20?
True
Suppose -1239 - 616 = -7*l + 420. Does 18 divide l?
False
Let z = 105 + -101. Suppose -5*q = 5, 2*x = z*q - q + 115. Is x a multiple of 28?
True
Suppose 5 = 3*i - 16. Let t be (i - 3 - -183) + (1 - 0). Does 21 divide t - 0 - (-1)/1?
True
Let b = -177 - -178. Does 45 divide (27/6)/(7/70*b)?
True
Suppose -3*l + 17*l = -882. Is 13 a factor of (-18844)/l + 2/(-18)?
True
Let z = 26 - 21. Suppose -3*p + c - 7 = 0, c = -p + z*c - 6. Does 22 divide (p - 2) + 456/4?
True
Let q(r) = 13*r**2 - 139 - 40*r**2 - 7*r + 18*r**2 + 10*r**2. Is 26 a factor of q(-31)?
False
Let t(v) = v**3 - 5*v**2 + 5. Let i be t(0). Let w be -2 - (-3)/(9/156). Suppose 0 = -p + 2*y + 15, -3*p = 2*p - i*y - w. Does 2 divide p?
False
Let n(g) = -34*g**3 - 13*g**2 + 6*g - 1. Let b be n(-4). Suppose -l = -3*a + 2920, -a + 3*a = -3*l + b. Is 24 a factor of a?
False
Let f(k) = -19*k - 53. Let l be f(-4). Suppose -y = 4 - 1. Is 9 a factor of l + (-1)/y*3 + -1?
False
Suppose -2*q + 1162 = -1474. Let s(d) = 2*d**3 + 50*d**2 - 123*d - 401. Let a be s(-27). Suppose 0 = w + a*w + 2*v - q, -4 = 4*v. Is 47 a factor of w?
False
Let y = -60 - 314. Let g = 147 - y. Suppose 2*m = 5*p + 6*m - g, p - m - 106 = 0. Is p a multiple of 35?
True
Let h(n) = n**2 + n - 152. Let m be h(-13). Suppose -3*s - 3*l + 657 = 0, -m*s = -2*l - 180 - 678. Is s a multiple of 12?
True
Let u = -441 + 441. Suppose -3*n + g = 2*n - 4144, u = n - g - 832. Is n a multiple of 6?
True
Let f = 1122 + 4088. Does 35 divide f?
False
Suppose 0*u = -2*u. Let r be 32/(-144) - (-2505)/(-27). Is 26 a factor of (11 - r)*(u - -1)?
True
Let u(o) = 16*o - 92. Let g(p) = 3*p + 2. Let m(i) = 10*g(i) + 2*u(i). Is m(19) a multiple of 13?
True
Suppose 8*v - 4*v + 2*x - 4376 = 0, -5*x = -20. Let r = -651 + v. Does 49 divide r?
True
Let h be -4*(-3)/6*-2. Let c be (-3)/(h/(-4)) + 50. Let q = c - 23. Is 8 a factor of q?
True
Let u(h) = -28 + 20*h - 5*h**2 + 4*h**2 + 25 - 12. Is 15 a factor of u(15)?
True
Suppose 4*g = -5*f + 188 + 280, 0 = 4*f - 16. Suppose -4*a = 3*n + n - g, -a + 3*n = -48. Is a a multiple of 2?
False
Let q = 107 + -104. Suppose -q*z + 0*z - z = 0. Suppose -2*f + z*f + 108 = 2*x, -2*f + 109 = 3*x. Is 10 a factor of f?
False
Let w(k) = -2*k**2 - 2*k + 2. Let o be w(0). Let s be (3/o)/((-12)/(-11904)). Suppose -2*p = -18*p + s. Is p a multiple of 31?
True
Let i = -1180 - -690. Let s = -326 - i. Is s a multiple of 10?
False
Is 22 a factor of (-170)/(-1) + (-1)/((-10)/40)?
False
Let f = -1657 - -1962. Let v(x) = 3*x**2 - x - 1. Let l be v(2). Suppose -8*t - f = -l*t. Does 34 divide t?
False
Let d(g) = -14*g + 5*g + g**3 - 1043*g**2 + 1045*g**2 + 53. Is 64 a factor of d(6)?
False
Let t(b) = 35*b**2 - 3*