+ j, -5*b = -4*u + 6611. Is 17 a factor of u?
True
Suppose 0 = -f - 263 - 369. Let k = f - -1370. Is k a multiple of 41?
True
Suppose 0 = 19*c + 24*c - 14*c - 183280. Is c a multiple of 40?
True
Let t = 4457 + 462. Is 50 a factor of t?
False
Suppose -5*i - 10265 = -4*p, -14*p + 5*i + 33395 = -p. Does 48 divide p?
False
Let v = 59429 + -17288. Is 12 a factor of v?
False
Let h = 44762 - 22102. Does 103 divide h?
True
Let m = -17 + 21. Suppose m*z - 15 = z. Is 11 a factor of (z + -53 - 0)*2/(-4)?
False
Let y be 9/(-7) + 1 + (-480)/(-14). Is (9/6)/(3/y) a multiple of 17?
True
Is -1 - (-411 - (-14 + 12)) even?
True
Let d(z) = -68*z + 1295. Is d(-103) a multiple of 43?
True
Let v = -332 - -884. Let f = -3319 - -3322. Suppose -f*k + k = 2*l - 278, 4*k + 3*l = v. Is k a multiple of 27?
True
Suppose 3*t = -2*d - 213, -2*t - 192 = t - 5*d. Suppose 0 = -4*i + 10 - 126. Let l = i - t. Is 10 a factor of l?
True
Does 76 divide -13 - 1546/(-8)*4?
True
Let a(j) be the first derivative of 335*j**2/2 - 4*j - 153. Does 18 divide a(2)?
True
Suppose 2*d - 4*q = 60, 70 = 2*d - 0*q - 2*q. Suppose -d = 10*l - 5*l. Does 6 divide (-4)/l + 34*(-21)/(-12)?
True
Let w(r) = 6*r - 25. Let x be w(5). Let f(u) = 14*u - 8 - x*u + 6 - 14. Is 10 a factor of f(4)?
True
Let v be -10 + 9 - (-2 + 0). Let k be v/((-6)/8)*(-21)/14. Suppose -k*x + 4*x = -2*z + 370, 5*z + 5 = 0. Does 31 divide x?
True
Let q = -51 - -56. Suppose q*l + 220 = 5*f + 4*l, -55 = -f - 2*l. Is f even?
False
Let u be 2 - 0*4/16. Suppose -u*k + 11 = 7. Is 2 a factor of (15*16/12)/k?
True
Suppose -5*b = -4*n - 55357 + 5920, -b = -4*n - 9913. Is 39 a factor of b?
False
Suppose 5*x = 7*x - 478. Suppose -2*s - 3*o + 2*o + x = 0, -s + 2*o = -132. Suppose 2*p = n - s, 3*n - 578 = 3*p - 218. Is n a multiple of 33?
False
Let v = 213 - 203. Suppose 2*q + v = 0, 0 = -5*d + 3*q + 13 + 92. Is d a multiple of 2?
True
Suppose -472*v + 15 = -469*v. Suppose v*m - 219 = -2*f, m + 2*m = f - 104. Is 12 a factor of f?
False
Let j = -5136 + 5407. Let k(m) = -130*m - 3. Let f be k(-3). Let u = f - j. Is u a multiple of 29?
True
Let g(t) be the third derivative of -t**6/720 + t**4/6 + 7*t**2. Let d(x) be the second derivative of g(x). Is d(-11) a multiple of 3?
False
Let l = -63 - -124. Let x = l + -46. Suppose x*p + 90 = 18*p. Is 5 a factor of p?
True
Suppose 120*q - q - 242403 = -0*q. Is 2 a factor of q?
False
Let g be -264*((-70)/21 - -7). Let b = g + 1382. Does 46 divide b?
True
Let y = 96 + 149. Let n = y - 205. Is 2 a factor of n?
True
Let k = 1874 - 770. Is 9 a factor of k?
False
Let y = 218 + -436. Let l = 71 - y. Is l a multiple of 17?
True
Suppose 5*l + 25 = 3*k, -3*l - 27 = 3*k - 6*k. Let m(a) = 2 + 8*a - 4 + a**3 - 9*a**2 + 2*a + 0*a. Does 22 divide m(k)?
True
Let d(q) = 22*q + 3. Let l be d(0). Is 699/l - -5 - (0 + 4) a multiple of 14?
False
Let l = -4576 - -11803. Is l a multiple of 88?
False
Let k(r) = -r**3 - r**2 - 3*r + 18. Suppose 13*x = 5*m + 8*x + 10, -m = -3*x + 6. Does 2 divide k(m)?
True
Suppose -4*t = -6*t - 2, -5*l = 4*t - 16. Let u(p) = -p**2 - 10*p + 1. Let a be u(-6). Let x = l + a. Is x a multiple of 5?
False
Suppose 23*h - 15 = 18*h. Let y be ((-532)/6)/((-2)/h). Suppose 4*b - y = 95. Is b a multiple of 15?
False
Suppose -3*o + 46 = -v, -19*o + 5*v - 22 = -22*o. Does 9 divide 486/o + (-32)/(-112)?
False
Is 6 a factor of (-7506)/(-36)*(-9)/(45/(-10))?
False
Let h = 151 - 148. Suppose -3*l = -z + 370 + 21, -h*z + 3*l = -1203. Is 10 a factor of z?
False
Suppose -19*y = -16*y - 6. Let o(i) = 20*i**2 - 5*i + 6. Let b be o(y). Let g = b + -10. Does 22 divide g?
True
Let w(i) be the second derivative of 7*i**3/2 + 6*i**2 - 28*i. Let y be w(-2). Let a = 140 + y. Is 11 a factor of a?
True
Suppose 2*k + 8 = 0, -3*k = 3*s + 2*k - 1129. Suppose 0 = -5*a + s + 317. Does 5 divide a?
True
Suppose 29432 = 39*h - 177541. Is 48 a factor of h?
False
Suppose 7*t + 50*t - 1106235 = -8*t. Does 61 divide t?
True
Suppose -8*u + 24 = -0. Let k(w) = 38*w**2 + 2*w - 7. Does 11 divide k(u)?
True
Let t(x) = -x**3 + 9*x**2 + 10*x. Suppose 42 = -6*f + 6. Is t(f) a multiple of 19?
False
Let p(z) = 20*z**2 + 21*z. Let o be (-161)/35 + (-6)/(-10). Is 65 a factor of p(o)?
False
Let o be 36/(-126) + (-74)/(-14). Suppose o*s = s + 20. Suppose -h = -4*g - 22, -2*h - g = s - 49. Is h a multiple of 8?
False
Let k be ((-6)/4)/(-1 - (-60)/96). Does 16 divide (k + 0)/(-5 + (-5509)/(-1099))?
False
Let y = 3508 - 1520. Is y a multiple of 23?
False
Is 7 - ((-3840204)/(-19))/(-12) a multiple of 50?
True
Let v(n) = 70*n + 72. Is 2 a factor of v(8)?
True
Let d = 1328 - 1008. Does 12 divide (2 + 2248/10)*d/96?
True
Suppose -11*v = -37 + 26. Does 18 divide 3036/((-30)/(-5)) + v*-5?
False
Suppose -2*y + 5 = -5*w, 5*w + y - 25 = -3*y. Let n(q) = 45*q + 3. Is 16 a factor of n(w)?
True
Let d be (-72)/144 + 7/2. Suppose -8*s - d*s = -3586. Is 9 a factor of s?
False
Let d be 2*(1 + (-15)/(-10)). Suppose d*f = 5 - 45. Let i = 162 + f. Is i a multiple of 22?
True
Is 7 a factor of (2373/(-565))/(((-1)/460)/1)?
True
Let b(s) = -s**3 + 10*s**2 - 6*s - 23. Let x be b(9). Suppose 3*y - x*y = -400. Is 16 a factor of y?
True
Suppose 2*g + 57 = -5*s, 3*s - 37 = 2*g + 12. Let t = 23 + g. Is ((430/8)/(-5))/(t/24) a multiple of 24?
False
Suppose 9 = -q - 6. Let b be (-365)/q + (-2)/6. Suppose b = -7*l + 13*l. Is 3 a factor of l?
False
Suppose -21*n + 72*n + 28*n = 45741. Does 9 divide n?
False
Let t = -352 + 354. Let k(d) = 3*d - 3. Let u be k(3). Suppose i = -v + u, -2*i = -t*v - 11 - 17. Is i a multiple of 5?
True
Let i(l) = 29*l**2 + 19*l - 10. Is i(-21) a multiple of 20?
True
Let k(x) be the second derivative of x**6/360 - x**5/120 - x**4/2 - x**3/2 - 11*x. Let v(y) be the second derivative of k(y). Does 6 divide v(5)?
False
Let o(d) be the third derivative of d**5/60 + 5*d**4/24 + d**3 + 20*d**2. Let i be o(-4). Suppose 4*c = 3*c + 2*z + 53, -2*z - 104 = -i*c. Is 9 a factor of c?
False
Let d be 148 + (1 - (3 + -7)). Suppose 0 = -5*p + 2847 + d. Is 27 a factor of p?
False
Let o = -12 + 16. Suppose u = o*v, 0*u - 12 = -2*u - 4*v. Suppose -u*b = -4*y + 188, -4*y - 3*b + 119 = -2*y. Does 26 divide y?
True
Let m(l) = -3*l - 29. Let q be m(-9). Let p = 105 + -200. Is 19/(p/(-468)) + q/(-5) a multiple of 7?
False
Let h = -732 + 906. Suppose 189*y - h*y - 5070 = 0. Does 17 divide y?
False
Let s(j) = -3*j**3 + 9*j**2 + 26*j + 1. Let h be ((-24)/(-14))/(148/(-518)). Is 19 a factor of s(h)?
True
Let w = 141 - 165. Is 31 a factor of (-8380)/w + (-1)/6?
False
Let v = -113 - -126. Suppose v*x - 984 = 5*x. Does 15 divide x?
False
Suppose -14*i + 3109 = 7827. Let k = i + 538. Does 16 divide k?
False
Let x = 5939 + -1699. Is x a multiple of 80?
True
Suppose a + 4*m - 27 = 0, 48 - 69 = -a - 2*m. Let r = 2 + -3. Let n = a - r. Is 16 a factor of n?
True
Let n = 148122 - 104854. Does 116 divide n?
True
Suppose 4*x - 173 = -149, 2*h + 2*x - 134752 = 0. Is h a multiple of 17?
False
Suppose 0 = -4*v + 43*o - 38*o + 13687, v - 2*o = 3427. Is v a multiple of 17?
False
Let a = -187 + 472. Let u be (56/21)/(2/15). Suppose a = u*d - 17*d. Does 31 divide d?
False
Let g = 217 - 194. Suppose -10*l - 3302 = -g*l. Is l a multiple of 67?
False
Suppose 0 = -b + 2*z + 5522, -4*b - 5*z + 16831 + 5335 = 0. Is 137 a factor of b?
False
Suppose y - 32 = -5*m - 0, 0 = m - 5. Let w = y + -2. Suppose 729 = w*b + 224. Is 17 a factor of b?
False
Is (-198)/(-1683) - (-8572 + -1)*20/17 a multiple of 5?
False
Let w(p) = p**2 + p - 7. Let n be (10 + -9)/((-2)/(-6)). Let q be w(n). Suppose -4*h = -12, q*v + 0*h = 5*h + 695. Is v a multiple of 30?
False
Let y(g) = -g**3 - 9*g**2 + 38*g + 24. Let c be y(-12). Suppose c*a + 2*a = 1040. Does 10 divide a?
True
Let w = 72219 - 50915. Does 173 divide w?
False
Suppose 38*h + 205004 = 2109564. Is 14 a factor of h?
True
Let j(p) = 16*p + 6. Let d be 45/(-18)*12/15. Let o be j(d). Is 5 a factor of 38/247 - 334/o?
False
Let r be (-3)/(5/(-120)*-2). Let s = r - -39. Suppose s*b + 4*t - 3*t - 263 = 0, 2*b + 4*t - 172 = 0. Is 23 a factor of b?
False
Suppose -3*f = -18*f + 19*f - 124312. Does 82 divide f?
True
Let a(o) = -794*o + 22. Let m be a(-2). Suppose 3*n = 4*p - 1288, 4*p - m = -p + n. Is p a multiple of 29?
False
Let k(h) = -18*h**3 + 34*h + 120. Is k(-5) a multiple of 25?