?
True
Suppose -5*r + 77336 = -2*n, -3*n + 46389 = -14*r + 17*r. Is 38 a factor of r?
True
Suppose 13*h - 35 = -9. Suppose -5*d = p - 3839, -7*p = -4*d - h*p + 3077. Does 32 divide d?
True
Let w(s) = 3*s**3 - 30*s**2 - 32*s + 390. Is w(12) a multiple of 4?
False
Let j(r) = 5*r - 12 - r**2 + 2*r + 17. Let d be j(6). Let h = 23 - d. Does 12 divide h?
True
Let y(j) be the third derivative of -31*j**2 - 3/8*j**4 + 9/2*j**3 + 0 + 0*j. Is y(-17) a multiple of 36?
True
Let u(q) = -2*q**2 + 29*q - 22. Let l be u(13). Suppose 0 = -13*o + l*o. Let j(m) = 2*m**3 - 2*m**2 + 32. Is j(o) a multiple of 8?
True
Let h be ((-24)/(-30))/(4/330). Is 17 a factor of 2248/22 - (3 + (-186)/h)?
True
Suppose 0 = 320*u - 314*u - 18. Suppose u*f + 13 = 2*x - 82, -90 = -2*x + 2*f. Is x a multiple of 20?
True
Let n(z) = -2*z**3 - 7*z**2 + 2. Suppose -543 = 2*o - 529. Is 35 a factor of n(o)?
False
Let z(w) = 4*w + 18. Let m be z(-10). Let p = m - -131. Is 5 a factor of p?
False
Let f = -24702 + 46554. Does 42 divide f?
False
Suppose -2*r - 44 = -5*c - 18, 4*r = -3*c. Is (9 - 0 - 0)*(-19)/r a multiple of 3?
True
Let m(p) = p**2 + 8*p - 17. Let y be m(-22). Let l = y - 411. Let b = l + 209. Does 13 divide b?
False
Let t(z) = 4*z + 35. Let j be t(-8). Suppose 5*o = -5*f + 1295, 0 = 5*o - 6*f + j*f - 1303. Does 20 divide o?
True
Let r(o) be the second derivative of -8*o**3/3 - o**2 + 5*o. Let p be r(-7). Suppose -17*a + 12*a = -p. Is 11 a factor of a?
True
Let u = 5124 - 2649. Is u a multiple of 55?
True
Let a be 40/12*(152/16 - 8). Suppose -2*d + a*n = 2*d - 325, d = -n + 79. Is 4 a factor of d?
True
Suppose 0 = 8*a - 3*w - 6726, -13*a + 17*a + 2*w - 3356 = 0. Is 8 a factor of a?
True
Let g = 1347 - 497. Is 5 a factor of g?
True
Let v(b) = -281*b - 547. Does 10 divide v(-36)?
False
Suppose -406575 = -69*o + 123897. Is 171 a factor of o?
False
Let k(q) = 8*q**2 + 32*q + 42. Let i(m) = -9*m**2 - 31*m - 42. Let c(f) = -6*i(f) - 7*k(f). Is c(-12) a multiple of 18?
True
Suppose -3*x - 29 = -g, x + 0*x + 4*g = 12. Does 34 divide 103 - x/(-28)*7?
False
Is 91*(-6 - (8 - 13))*20*-2 a multiple of 13?
True
Let l = -1050 - -750. Let n = 486 + l. Does 31 divide n?
True
Let j(y) = -10*y - 134. Let v(t) = -30*t - 402. Let b(n) = -11*j(n) + 4*v(n). Is 3 a factor of b(-14)?
True
Suppose -265 = -9*s + 806. Let i(x) = 15*x**2 + 3*x. Let d be i(-2). Let p = s - d. Does 4 divide p?
False
Let o(m) = -m**2 - 4*m - 8. Let p be o(-3). Is (-2)/p*(6 - 39/(-1)) even?
True
Suppose 54*z = 106*z - 57*z. Suppose 1 + 2 = s. Does 10 divide ((z - -14) + s)*1?
False
Let o = 7 + -5. Let f(r) = -2*r**2 + 4*r - 7. Let z(k) = -8*k**2 + 17*k - 29. Let p(c) = o*z(c) - 9*f(c). Is 13 a factor of p(-5)?
True
Let c = -45 + -74. Let o = c + 226. Does 8 divide o?
False
Suppose -2*m - 3 = -59. Does 12 divide (-42 + m)*(-2 - -1)?
False
Suppose 47*j - 51900 = 44*j. Is 5 a factor of j?
True
Suppose -6*l = s - 4*l - 22, -44 = -2*s + 4*l. Suppose s = 8*d - 26. Is 11 a factor of ((-148)/d)/(2/(-3))?
False
Let k(l) = 47*l**2 + 2*l + 5. Let t be k(-2). Let u = t - 12. Does 8 divide u?
False
Let l(o) = 883*o**2 - 274*o + 826. Is l(3) a multiple of 11?
False
Let g = -58 - -58. Suppose -2*a + 0*x = 3*x + 8, g = 5*a - x + 3. Let l = 23 - a. Does 6 divide l?
True
Let r(n) = -n**3 + 10*n**2 + 15*n + 11. Let u be r(11). Let w = u + -54. Is 39 + (-3 - -1) + w a multiple of 6?
False
Let u(d) = -d**2 - 18*d + 63. Suppose -5*g - 23 = 5*p + 12, 3*g + 2*p + 25 = 0. Is 10 a factor of u(g)?
True
Let s(c) = -13. Let k(g) = -5. Let y(j) = 8*k(j) - 3*s(j). Let l(i) = 3*i - 61. Let w(n) = -l(n) - 4*y(n). Is 5 a factor of w(10)?
True
Let q(i) = -319*i + 569. Does 190 divide q(-50)?
False
Let l(s) = s**2 + s + 1. Let f be l(6). Let t(r) = 8 + 5 - r + f. Is 11 a factor of t(0)?
False
Let j be ((26500/15)/(-5))/(5/(-15)). Suppose -2*k + 4*g = -j, -3*g - 1528 - 617 = -4*k. Is 21 a factor of k?
False
Suppose 12*p - 15*p - 33 = 0. Let a(w) = 2*w**2 - 19*w - 3. Does 14 divide a(p)?
True
Let t = -8 + 10. Suppose -2*o - 5*x = 0, 0 = -2*x - 2 - 2. Suppose 5*l + t*u - 126 - 76 = 0, 0 = o*l + 4*u - 194. Is l a multiple of 14?
True
Let o(i) = -5*i + 7. Let d be o(1). Suppose -11*x + 4453 = -6*x - 3*g, d*x - 2*g = 1782. Is 11 a factor of x?
False
Suppose 5*g = 9*g - 32. Suppose -z = -g - 28. Suppose 27 = 3*u - z. Is u a multiple of 7?
True
Let g be 100*(-5)/15*(0 - 306). Suppose -13*x - 12*x + g = 0. Does 6 divide x?
True
Suppose -3*f = 3*d - 10104, -3*f - 10104 = -6*f + 5*d. Is f a multiple of 47?
False
Suppose -14*k - 8*k = -9416. Suppose -k = -p + 172. Is 15 a factor of p?
True
Let r be (4 - 81/1)*2/(-2). Suppose 0 = -3*k - 3, 2*k + 1323 - r = 4*x. Suppose 4*g = -3*y + x, 4*y - 342 = 5*g + 21. Does 14 divide y?
False
Suppose -5*f = -137*u + 133*u + 30152, 2*u - 15104 = -f. Is u a multiple of 23?
False
Let o(y) = -2*y**3 - 6*y**2 - 12*y + 52. Does 130 divide o(-11)?
False
Let b be (-6 - -6)*(-1)/(-2). Suppose 4*q - l - 254 + 31 = 0, -q + 4*l + 52 = b. Is 3 a factor of q?
False
Is 71 a factor of (8/10)/((-3690256)/(-3075010) - 6/5)?
True
Let o(x) = -x**3 + 4*x**2 - 10*x + 40. Let l be o(4). Suppose l*s - 2*s = -684. Is 8 a factor of s?
False
Suppose 7*g - 4*g = -60. Let w be (1 - 0)/((-2)/g). Let f = 26 - w. Is 2 a factor of f?
True
Let o(l) = 4*l**2 + 4*l + 15. Suppose w - 45*r + 48*r + 9 = 0, 6 = -3*r. Does 2 divide o(w)?
False
Let y(u) = u**3 - 6*u**2 - 25*u - 13. Let l(v) = v**3 - 5*v**2 - 24*v - 14. Suppose 0 = 3*p - 8*p + 25. Let a(c) = p*l(c) - 6*y(c). Is a(13) a multiple of 5?
True
Let b(y) = 575*y**2 + 1. Let d be b(1). Suppose -15*n + 7*n = -d. Suppose s - n = 32. Is 13 a factor of s?
True
Let v = 459 - 171. Let a = v + -144. Does 24 divide a?
True
Let n = 3490 + -1969. Suppose -2*w + n = 3*p - 5*w, w - 2 = 0. Is p a multiple of 13?
False
Suppose 1357 = -26*x + 19739. Suppose 5*l - 115 - 593 = 3*r, 0 = 5*l - 2*r - x. Is 8 a factor of l?
False
Suppose -19*g + 3840 + 26341 + 4209 = 0. Does 10 divide g?
True
Suppose -4*z = 99*h - 103*h + 12172, 4*h + 2*z - 12190 = 0. Is h a multiple of 12?
False
Let s = -211 + 216. Suppose 3*d - a - 27 = 2, s*a = 3*d - 25. Is d a multiple of 5?
True
Let r be -5 + (-7 - -8 - 9). Let s(h) = h**2 + 9*h + 45. Is s(r) a multiple of 3?
False
Let l be 15/(300/8) - 13/(-5). Let u(q) = 189*q - 112. Does 7 divide u(l)?
True
Let q = -2 - 28. Let t be (-4 + 2)/(-10) - (-2046)/q. Let a = 66 - t. Is 12 a factor of a?
False
Is 4/70 - 8189844/(-2730) a multiple of 94?
False
Is 34 a factor of (8 - (-87)/(-12)) + 282/8?
False
Let k be 119/(-5 - -12) - -4. Let w(z) = z**3 - 20*z**2 - 11*z - 6. Is 6 a factor of w(k)?
True
Suppose 0 = 9*t - 7*t - 4. Let x(r) = r**3 + r**2 - 7*r + 5. Let u be x(t). Suppose -150 + 33 = -u*k. Is k a multiple of 13?
True
Let t = -274 - -279. Suppose -5*d + 5*v = -947 - 1898, 4*v = t*d - 2848. Does 29 divide d?
False
Let k be 2724/12*(2 + -1). Suppose k*v - 324 = 223*v. Is v a multiple of 23?
False
Suppose 0 = -3*d + d + 46. Suppose 2*p + 40 = 5*t - 0*t, d = 3*t - p. Is 4/(4/3) + (47 - t) a multiple of 11?
True
Suppose 36*z = 29*z - 26*z + 664125. Is 161 a factor of z?
True
Suppose 14*l - 9926 = -2*f, 9977 = -f + 3*f - 3*l. Is 12 a factor of f?
False
Let i(z) = -10*z + 22. Suppose 3*b = 4*j - 6*j - 15, 0 = -5*b - 5. Let o(r) = -r**3 - 5*r**2 + 6*r - 8. Let m be o(j). Does 25 divide i(m)?
False
Suppose 32*v = -21*v - 23*v + 205504. Is v a multiple of 8?
True
Let f(r) = -r**3 + 8*r**2 + r - 6. Let j be f(8). Suppose -5*t - 252 + j = 0. Let n = t + 105. Is 11 a factor of n?
True
Let f(j) = 9*j + 14. Let l be f(-2). Let p = 191 + l. Is 11 a factor of p?
True
Suppose 8*p + 3*d - 4229 = 6*p, 0 = 5*p + 5*d - 10570. Does 13 divide p?
False
Let m(h) = 3*h**3 + 47*h**2 - 34*h - 12. Is m(-14) a multiple of 19?
True
Let z(v) = -v**3 + 3*v**2 + 4*v - 9. Let u be z(6). Let r be 14/35 - u/5. Suppose r*d = 16*d + 24. Is 4 a factor of d?
True
Suppose 7888*a - 7874*a = 236040. Is 15 a factor of a?
True
Suppose 4372*j = 4385*j - 96904 - 91726. Is 117 a factor of j?
False
Let y(j) be the first derivative of -43*j**2/2 + 17*j + 83. Does 11 divide y(-6)?
True
Suppose 4*s - 6809 = -x + 3161, 2*x = -4*s + 9968. Let m = -1547 + s. Does 86 divide m?
True
Is (-2)/(-20 + 8) + 21118/12 a multiple of 44?
True
Let n be 21 - (1 - 17)/4. Suppos