se 4*d + 0*r - 5*r = 40, 0 = -3*r - 12. Suppose 3*w - 185 = 4*j, -15 = d*w + 10. Is 17 a factor of (1 - j)/((-2)/(-6))?
True
Let x(y) = -2*y**3 - 23*y**2 - 14*y - 33. Let p be x(-11). Suppose p = 11*u + 435 - 1821. Is u a multiple of 14?
True
Suppose -n - 2945 = 5*z - z, -2230 = 3*z + 5*n. Let k = z - -1516. Is 20 a factor of k?
False
Suppose -6*l + 4 = -2*l. Suppose 7*p + 16 = 5*p + 4*j, -4 = -p - 2*j. Is p*(116/(-8) + l) a multiple of 4?
False
Let v = 36954 + -21889. Is v a multiple of 5?
True
Let b = -245 + 19. Let o = b - -604. Is 18 a factor of o?
True
Suppose -16 = 4*u, -4*r - 10*u + 12*u - 12 = 0. Let d be ((-18)/(-8))/(1/8). Let v = d + r. Does 8 divide v?
False
Let o = 25 + -24. Let q be o/((-20)/(-56)) + (-1)/(-5). Does 2 divide (-34)/3*(-3 - q/(-2))?
False
Is 24 a factor of ((-70056)/(-695))/(2/240)?
True
Let g = 86 + -78. Suppose 45 = g*a - 251. Let m = -17 + a. Does 5 divide m?
True
Let r(m) = -49*m - 192. Let t be r(-4). Let c = 27 - 12. Suppose 0 = 3*v - t*j + 1 - 56, 0 = v - 3*j - c. Is 2 a factor of v?
False
Let z(r) = -3*r - 16. Let y be z(-8). Suppose 4*g + 1676 = 4*k, -6*g + y*g - 1282 = -3*k. Suppose -4*f = 2*n - k, -3*f = 4*n - 331 + 23. Does 27 divide f?
True
Suppose 0 = -22*v + 25*v + 1071. Let n = v - -624. Is n a multiple of 16?
False
Let o(b) be the second derivative of 8*b**3 + 47*b**2 - 3*b. Does 8 divide o(7)?
False
Let c(u) = -2*u**3 + 14*u**2 - 10*u - 16. Let b be c(8). Does 46 divide b/35*115/(-2)?
True
Let n = 7239 + -2862. Is 28 a factor of n?
False
Let h = 891 - 432. Suppose m + 4*l = h, 322 - 2579 = -5*m - l. Does 66 divide m?
False
Let j(a) = 141*a**3 + 2*a**2 - 5*a - 4. Let p be j(2). Let l = -1016 + p. Is l a multiple of 7?
False
Suppose 4*h + 1 = 3*a, 0 = -5*a + 6*h - 8*h + 19. Suppose 2*b + 4*w - 1132 = 0, 0*w - 3*w + a = 0. Is 15 a factor of b?
False
Suppose 14*t = -10*t. Suppose 6*p + 14*p - 3080 = t. Does 6 divide p?
False
Suppose 6*i - 3*r - 43 = 4*i, -4*i + 75 = 5*r. Suppose -585 = i*j - 25*j. Suppose -f + 2*f = j. Is 13 a factor of f?
True
Let u = -1130 - -2247. Is 2 a factor of u?
False
Let s(i) be the second derivative of 5*i**3/6 - 2*i**2 + 12*i. Let k be s(3). Suppose k*g - 7*g = 352. Is 22 a factor of g?
True
Let a = 93 + -45. Let i = 53 - a. Suppose 0 = -i*o + 30 + 20. Is 10 a factor of o?
True
Let b = 2414 - 2410. Let a(q) = -q**2 - 2*q + 5. Let g be a(-5). Is 6 a factor of (11 - 293)*(g/b - -2)?
False
Suppose 31*k - 115 = 505. Suppose 0 = 10*p - k*p + 1040. Does 52 divide p?
True
Let w be (-1)/2*-7*12. Suppose -g = -8*g + w. Is 13 a factor of g/10*(-1950)/(-10)?
True
Let c = 20364 + -20305. Does 3 divide c?
False
Let j(y) = -6*y + 27. Let m = -53 + 59. Let b be j(m). Is 6/b*(-19)/(-2)*-3 a multiple of 5?
False
Suppose -p = -2*g - 3954, -3*p + 1048 = -g - 929. Let n = -460 - g. Does 41 divide n?
True
Let y(d) = 526*d**2 + 5*d - 1. Let o = 632 + -631. Is 22 a factor of y(o)?
False
Suppose -5 = -14*s + 9. Let b = 94 + s. Does 6 divide b?
False
Let u be -254 + 14/21*3. Is (3 - 38/4)*u/9 a multiple of 8?
False
Let m = 42 - -34. Is (-3864)/9*(-171)/m a multiple of 98?
False
Let c(z) = 5*z**2 - 45*z + 3. Let o be c(9). Suppose 16*n - 11*n - 1124 = 4*b, b + 680 = o*n. Is 38 a factor of n?
True
Let i = -37 + 42. Suppose -4*q + 1151 = t, 0 = -i*q + t - 4*t + 1437. Let d = 415 - q. Is d a multiple of 17?
False
Suppose 0 = 75*p - 62*p. Suppose -93*n + 104*n - 7920 = p. Does 12 divide n?
True
Let h(j) = -3*j**3 + 11*j**2 + 296*j + 15. Is 81 a factor of h(-10)?
False
Does 38 divide 9*(-10583)/(-9) - (8 - -1)?
False
Let y(h) = -179*h + 3. Let a be y(-1). Let w = a - 82. Is w a multiple of 20?
True
Let c(k) = 12754*k - 3226. Is c(6) a multiple of 331?
False
Let l(x) = 2*x**2 - 92*x - 775. Is l(70) a multiple of 47?
True
Let v(c) = 1. Let z(d) = -d + 16. Let f(n) = 4*v(n) + z(n). Let u be f(15). Does 9 divide 100*((-84)/(-16) - u)?
False
Let f = 928 + 107. Suppose -3*i - f = -5*c, 6*c = -i + c - 365. Let w = -215 - i. Is w a multiple of 15?
True
Let k(v) = 28*v**2 - 2*v - 7. Let g be k(-8). Let y = -1155 + g. Is y a multiple of 16?
False
Suppose 5*f - 5*l = 45, 4*l = 5*l + 5. Suppose 0 = -2*r - 0*r + f. Suppose r*a - 4*s = 7*a - 232, -4*a - s = -190. Is a a multiple of 12?
True
Let w(t) = -t**3 + 2*t**2 + t + 2. Let y(n) = n + 1. Let d(p) = p**2 + 6*p + 7. Let v(r) = -d(r) + 6*y(r). Let x(l) = 3*v(l) - w(l). Does 14 divide x(8)?
False
Suppose 26*z - 23*z = 9. Suppose -5*q - 3*s = -411, -q - 166 = -z*q - 2*s. Suppose 219 + q = 5*v. Does 15 divide v?
True
Suppose 0 = -o + 6399 - 619. Suppose 8*b = -9*b + o. Does 54 divide b?
False
Let r be (-24)/(-10) + (-7 - 264/(-40)). Is (0 - r)*(-237)/2 a multiple of 2?
False
Is 140934/17 + 288/(-1224) a multiple of 10?
True
Suppose -12*w + 36 = -7*w + 2*q, 0 = -4*w - 5*q + 39. Suppose 4*m = -5*y + 1980, 3*y = -8*m + w*m + 988. Is 25 a factor of m?
True
Let j(n) = 85*n - 73. Let w = 54 - 39. Does 21 divide j(w)?
False
Let s = 111 + -123. Let z = 45 - s. Is z a multiple of 19?
True
Let k = -57821 + 101421. Is 52 a factor of k?
False
Let r = -1924 + 678. Let t = 548 - r. Is 23 a factor of t?
True
Let o = 38992 + -28000. Is o a multiple of 7?
False
Let t(r) = 4*r**3 - r**2 + 2*r - 21. Suppose -6*l + 5*l - 22 = -5*x, x + 5*l + 6 = 0. Is 9 a factor of t(x)?
False
Let j = -11 + 22. Suppose 7*l = 67 - j. Suppose l*p - 114 = 5*p. Is 38 a factor of p?
True
Let l = -291 - -1295. Suppose 0 = 44*o - 46*o + l. Is o a multiple of 17?
False
Let a(m) be the first derivative of 3*m**3 - m**2/2 + 2*m + 26. Let s(q) = -q + 1. Let r be s(0). Is a(r) a multiple of 5?
True
Let p = 104 - 105. Let a be (-3 - (p - 5))*241. Is 4 a factor of 3 + a/27 - (-4)/18?
False
Suppose 212*c - 900240 = 181*c. Is 16 a factor of c?
True
Let j = 77 - 75. Suppose -j*t = -2*k + 6, 5*k + 2*t + 2*t - 33 = 0. Suppose -u = -w + 4*w - 17, -45 = -k*w - 5*u. Does 2 divide w?
True
Let f(x) = 5*x**3 + 14*x**2 + 12*x + 64. Let s(h) = 4*h**3 + 14*h**2 + 13*h + 64. Let k(v) = -3*f(v) + 4*s(v). Is k(-13) a multiple of 2?
False
Suppose 2*r - 3*z - 33 = -r, r = 3*z + 3. Let b(g) = g**3 - 15*g**2 + 3*g - 28. Let n be b(r). Does 8 divide (-5 + n)/(2/16) + -3?
False
Let h(r) = -3*r**2 - 10*r + 18. Let l be h(-11). Let i = -321 - -257. Let g = i - l. Is 14 a factor of g?
False
Suppose 2*c = -8 + 6. Let b be 2/(-6) + c*67/(-3). Is (8 + -3)*b + -2 a multiple of 18?
True
Is (-5045*1)/(11*20/(-440)) a multiple of 9?
False
Let y be (0 + -2 - 14)*(-86)/4. Let l = 389 - y. Is 15 a factor of l?
True
Let d(q) = q**3 + q**2. Let i(g) = -5*g**3 - 30*g**2 - 28*g + 13. Let t(r) = -4*d(r) - i(r). Is t(-24) a multiple of 31?
False
Suppose -2*q - m + 20 = 0, -4*q - 2*m = m - 44. Let d(b) = -b + 15*b - 19 - 26 + 79 - 29. Is 13 a factor of d(q)?
True
Suppose 0 = -19*r + 20*r, -4*r + 92 = 4*n. Let j be (1 + -1)/((-8)/(-4)). Suppose j = -8*t - n + 135. Is 14 a factor of t?
True
Suppose -3698 = -b + 4*v, -37088 = -3*b - 7*b + 4*v. Is b a multiple of 53?
True
Let i(d) = -d**3 - 19*d**2 + 10*d - 164. Let q be i(-20). Suppose -q*k + 0*k = -5472. Is 8 a factor of k?
True
Let s = 12196 - 6297. Is s a multiple of 11?
False
Suppose -3*d + k = 2*d - 628, -2*d + 256 = -2*k. Let s = 132 - d. Is s a multiple of 4?
False
Let q(m) = m**2 + 3*m + 28. Suppose 10 = -3*f + k - 27, 2*f = -2*k - 30. Let o = 0 - f. Does 50 divide q(o)?
False
Suppose 0 = 8*y + 7*y - 91544 - 84151. Is y a multiple of 53?
True
Let p(g) = -6*g**2 - g - 7. Let v be p(6). Let j = v + 490. Let c = j + -151. Is c a multiple of 10?
True
Suppose -5*p - 63 - 272 = -5*u, 0 = -5*p - 20. Let x = u + -66. Let y(m) = -m**3 - 3*m**2 - 7*m - 9. Does 3 divide y(x)?
True
Let o be 13/2 + (-129)/(-86). Does 12 divide ((-244)/o)/(-4*(-3)/(-144))?
False
Suppose 21*v - 120 = v. Is 11 a factor of (63/v)/3*114?
False
Let a(k) be the first derivative of 7*k**3/3 + 10*k**2 - 104*k + 263. Is a(5) a multiple of 19?
True
Suppose -37592 = -23*a + 9512. Is 43 a factor of a?
False
Let v(z) = -1760*z + 1632. Is 123 a factor of v(-6)?
False
Is 61/1220 - (321057/(-60) - -1) a multiple of 3?
False
Suppose -32*f + 29*f + 129 = 0. Let s = -94 + f. Let y = s + 70. Does 8 divide y?
False
Let a be 10/((-2)/(-3 + (-1 - -3))). Suppose a*p = -b + 96 + 62, 5*b - 734 = 3*p. Does 18 divide b?
False
Let u = -133 - -1663. Let y = u +