- 17. Is r(-7) a multiple of 7?
False
Let g = 274 - 278. Does 13 divide 5 + 347 + 3 + g?
True
Suppose -319*b - 207*b = 229685 - 3477735. Is b a multiple of 27?
False
Suppose r - 164*n = -162*n + 8296, 3*r - 24856 = 2*n. Is 36 a factor of r?
True
Let d(c) be the first derivative of c**2/2 + 5*c - 5. Let k be d(-3). Is 8 a factor of (-1)/(3/(-90)) + k?
True
Suppose 22 + 0 = -11*v. Let r be (0 - (5 + -3))/v. Is 4 a factor of 6*1 + r + (-12)/(-4)?
False
Let u = 11849 - 11147. Is 4 a factor of u?
False
Let w(d) = 9*d**2 + 3*d - 4. Let q be w(1). Let u(l) = 4*l - q*l + 3*l**2 - 18 - 2*l. Does 42 divide u(8)?
True
Let q = -99164 + 355340. Does 11 divide (-4)/22 + (q/132)/4?
False
Suppose -4*y - 3*w + 470 - 37 = 0, -5*w = 2*y - 199. Suppose 6*c - y = 116. Is 2 a factor of c?
True
Suppose -2*i - 9 = 5*f, 0 = 5*i + 8*f - 3*f + 15. Let p be 2/i - (-8 - -4). Suppose 11 = p*x + 5*b, -4*x + 4*b = -3*x - 15. Does 5 divide x?
False
Let a(w) = -2*w**3 - 4*w**2 + 6*w + 12. Let l be a(-4). Let r = 8 - 48. Let g = r + l. Does 4 divide g?
True
Let g(n) = 10*n + 87. Let w be ((-36)/6)/18*21. Is g(w) even?
False
Does 57 divide 4309864/464 - 10/(-4)?
True
Suppose -4 = 4*w - 0*w. Let r be (w - (-2 + 1))/(-4 + 3). Suppose r = -87*j + 88*j - 39. Does 7 divide j?
False
Let f(j) = -j**3 - 19*j**2 + 11*j + 30. Let n be f(-13). Let s = -758 - n. Is 41 a factor of s?
True
Suppose 94*q - 104*q = 90. Let u(d) = -7*d + 2*d**3 + 4*d**3 - 29 - 5*d**3 + 9*d**2. Is 2 a factor of u(q)?
True
Let a = -162 - -166. Is (-3)/a - 9922/(-88) a multiple of 16?
True
Suppose 271*w = -149*w + 2138640. Is w a multiple of 16?
False
Does 41 divide 0 - (5 - 8 - -9 - 4622)?
False
Suppose -2*z + 28471 = d, 4*z - 89903 = -4*d + 24005. Does 106 divide d?
False
Does 33 divide (678/(-5))/(((-2072)/(-22385))/(-28))?
True
Let n(q) = 92*q**2 - 14*q + 23. Let j = 210 - 208. Is 33 a factor of n(j)?
True
Suppose 0 = -3*z + 4*b + 5 - 14, 0 = -2*z - 2*b + 8. Suppose -u + 3 = -z. Suppose 196 = u*q + o, 2*q + 2*o - 100 = o. Is 24 a factor of q?
True
Let c(u) = -191*u + 1172. Does 11 divide c(-4)?
True
Let c be 21/(-6)*144/(-28). Let r(o) = o + 25. Let s be r(-9). Suppose -3*b + 64 - c = 4*j, b + j - s = 0. Does 18 divide b?
True
Let q(k) = k**2 + 11*k. Let j be q(10). Let a = -128 + j. Is 2 a factor of a?
True
Let p(a) = a**3 + 12*a**2 - 15*a + 16. Suppose 11*z - 138 + 28 = 0. Let v = -23 + z. Does 6 divide p(v)?
True
Let b(w) be the third derivative of -11*w**4/6 + 31*w**3/6 - 15*w**2. Let f be b(-7). Suppose 7*r - f - 585 = 0. Is r a multiple of 27?
False
Suppose 45 = -5*w + 65. Suppose -s = -w*b - 502 + 189, -3*s = -4*b - 907. Is 6 a factor of s?
False
Let n(d) = 67*d**2 - 6*d + 5. Suppose 5*s - 9 = 1, -4*s - 127 = -5*y. Let u = -26 + y. Is n(u) a multiple of 33?
True
Suppose 0 = 6*d - 4*d - 252. Let b = d - 54. Does 36 divide b?
True
Suppose 0 = -5*b - 2*g + 813 + 19015, -2*g - 7920 = -2*b. Is b a multiple of 7?
False
Suppose 3*h = -6*d + 9*d - 6, -5*d = -h - 18. Suppose -h*m = -1425 - 391. Does 15 divide m?
False
Suppose 331*a = 4*q + 332*a - 15525, -11635 = -3*q + a. Does 8 divide q?
True
Let u = 15634 + -12431. Does 9 divide u?
False
Suppose 0 = g - 12*p + 14*p - 7, 0 = 3*g + 2*p - 17. Let q(n) = 46*n - 109. Does 6 divide q(g)?
False
Suppose 2*p - 3*s = 69, 54*p = 50*p + 5*s + 143. Let v = 13 + 2. Suppose -17*f + p = -v*f. Does 7 divide f?
True
Let m(n) be the first derivative of 45*n**2/2 - 6*n + 133. Does 21 divide m(2)?
True
Let v(z) = -z**2 + 20*z + 238. Let j be v(0). Let o = 254 - j. Is o a multiple of 4?
True
Suppose 0 = -3*u - 6*r + 77322, 0 = 5*u + 127*r - 124*r - 128919. Does 84 divide u?
True
Let a = 19857 - 14079. Is a a multiple of 54?
True
Let f be (0 - -1)/(3/12). Let s(t) = 8*t**3 - 2*t**2 + 3*t - 6. Let i be s(f). Suppose 0 = 10*r - 4*r - i. Does 21 divide r?
False
Does 5 divide (-28798)/(-5) + (-30)/50?
False
Let o be -1*12/4*(-3480)/(-18). Let u = o + 665. Is u a multiple of 5?
True
Let d be -5*1 - (-14 + 13). Let l = -3 - d. Is 5 a factor of ((-342)/12)/(l + 21/(-12))?
False
Let x(r) be the first derivative of r**2/2 + 9*r + 5. Let y be x(-3). Suppose -y*f = -11*f + 475. Does 17 divide f?
False
Let j(w) = -w**3 - 11*w**2 + 5*w - 84. Let k be j(-12). Is k + 3/15 + (-5268)/(-10) a multiple of 32?
False
Let y(f) = -4*f**3 + 75*f**2 + 442*f + 17. Is 197 a factor of y(-7)?
True
Suppose 12*i = -13*i + 1102800. Is 16 a factor of i?
True
Let d be 36/(-12) + (-2)/(4/(-18)). Suppose 0 = d*z - 0*z - 1410. Let i = z + -132. Is i a multiple of 20?
False
Let j(f) = 5*f**2 - 10*f + 5. Let x be j(2). Suppose g = 3*s + 47, 2*s = x*g - 166 - 134. Is g a multiple of 34?
False
Let u(x) = -1133*x - 14095. Is 4 a factor of u(-37)?
False
Let i(d) = 61*d**2 - 6. Let z = 170 + -168. Does 26 divide i(z)?
False
Let q be (3/4)/(66/48 + -1). Suppose -s + 2 = 0, -2*i + 2598 = q*i - 3*s. Does 93 divide i?
True
Suppose 3*f - 4*j = 14, 14*f + 28 = 10*f - 4*j. Let d(q) = -4*q**2 - 23*q - 2. Is 2 a factor of d(f)?
True
Let r = -203 + 194. Let s(x) = -11*x - 47. Is s(r) a multiple of 9?
False
Suppose -2*b = -3*a + a + 16, -b - 4*a - 3 = 0. Let g be (-6 - b)/((-1)/(-31)). Let z = 8 + g. Does 13 divide z?
True
Let v(w) = 2*w**3 + 9*w**2 + 7*w - 10. Let u(s) = -5*s**3 - 26*s**2 - 18*s + 30. Let h(l) = 4*u(l) + 11*v(l). Is 20 a factor of h(5)?
True
Suppose 580 = -n + 6*n. Suppose 365 = -83*h + 1693. Let o = h + n. Is o a multiple of 33?
True
Let o(m) = -12*m**2 - 4. Let a(r) = r**2 + 2*r + 1. Let c(u) = -3*a(u) - o(u). Let s be c(-5). Suppose 5*h - 1341 = -s. Is 31 a factor of h?
True
Let i(o) = -2*o**2 - 17*o - 5. Let l be i(-6). Suppose -a - 2*j + 138 = j, -5*j = l. Does 24 divide a?
False
Let z(l) = -3*l + 45. Let q(t) = -12*t + 181. Let m(r) = 4*q(r) - 18*z(r). Is 3 a factor of m(22)?
False
Let k(w) = 6*w - 29. Let i(z) = -28*z + 145. Let l(b) = -2*i(b) - 11*k(b). Is l(0) a multiple of 29?
True
Let z = -6224 - -8664. Is z a multiple of 10?
True
Let t be (8/14)/((-105)/(-49) - 2). Suppose -c = t*p - 111, -4*c = 5*p - 2*c - 135. Does 29 divide p?
True
Suppose 8*m = 15*m - 700. Let t = 142 - m. Is 7 a factor of t?
True
Let z(y) = -3*y**2 + 6*y + 5. Let g be z(-5). Let n = -95 - g. Suppose -5*f + 4*i + 1381 = 0, -n*f + 4*i + 1377 = i. Is f a multiple of 48?
False
Suppose -2733 - 517017 = -55*u. Does 126 divide u?
True
Let a = 9355 + -5288. Does 7 divide a?
True
Suppose 7*j = 5*m + 5*j - 228624, 4*m - 4*j - 182880 = 0. Is 124 a factor of m?
False
Let r = -1054 + 22414. Is r a multiple of 5?
True
Let g be (-3)/12 + (47635/(-20))/(-7). Suppose -4*a - b = a + 555, 2*b = -3*a - g. Is 21 a factor of (3/(-2))/(a/(-56) + -2)?
True
Let k = 87 - 66. Let h be (k/(-4))/(-6 + 125/20). Is 3/(9/365) + 14/h a multiple of 11?
True
Suppose -w + 6*w = 3*w. Suppose w = -2*d - 3*g - 63, g - 4 + 34 = -d. Let o = 49 + d. Is o even?
True
Let g = 1377 - 839. Let b = g + 424. Is 37 a factor of b?
True
Suppose 0 = v - 5, 54473 = 3*r + 3*v + 18896. Does 22 divide r?
False
Let b(w) be the first derivative of 58*w**2 - 2*w + 67. Does 6 divide b(1)?
True
Suppose 2*x + 3*k - 4420 = 0, -197*x - 4424 = -199*x - 4*k. Does 19 divide x?
True
Let o = 497 + -160. Let u = 529 - o. Does 21 divide u?
False
Suppose u - 7*v - 37880 = 0, 5*u - 5*v = -2*v + 189240. Is u a multiple of 5?
True
Is 22 a factor of (-570)/(-120) + 2/8 + 7771?
False
Let z = -66 + 71. Suppose -4*n = f - 43 - 0, 3*f - z*n - 146 = 0. Is 47 a factor of f?
True
Let q = -13643 + 26123. Is q a multiple of 60?
True
Let n be 6/12*0/(-1). Suppose n = -22*i + 26*i - 968. Is i a multiple of 10?
False
Suppose f - 6 = -3*j, j - 4 = -5*f - 2. Suppose y + 12 = -5*t, 3*t + 0*t + 9 = f. Let s(i) = 4*i**2 + 2*i - 2. Is s(y) a multiple of 19?
False
Suppose -47*s = -100*s - 1378. Suppose 5*f - 198 = -h, f - 2*h = -3*f + 150. Let a = s + f. Does 8 divide a?
False
Let q(c) = 1415*c**2 + 220*c - 648. Is 7 a factor of q(3)?
True
Suppose 3829*r - 3790*r - 674817 = 0. Is r a multiple of 25?
False
Let l(j) = -98*j**2 - 2*j + 4. Let b(w) = -99*w**2 - 2*w + 3. Let n(i) = -7*b(i) + 6*l(i). Let y = 1 + -2. Is 28 a factor of n(y)?
False
Suppose 752335 = -1326*x + 1379*x. Is 85 a factor of x?
True
Suppose 2*p - 4 = -0*p. Let f(c) = c**3 - 10*c**2 + 5*c - 23. Let a be f(10). Suppose -p*k + 34 = -2*i, k + 3*i = 2*k - a. Is 12