*d. Suppose -2*u = -4*n + 2*u + 32, 4*n - 2*u - 24 = 0. Suppose n*k - d = k. Is k a multiple of 22?
True
Let t = 71 + -71. Suppose -3*o + m + 75 + 55 = t, 4*o = -2*m + 160. Is 6 a factor of o?
True
Let j = -33705 + 40751. Is 13 a factor of j?
True
Suppose 30*t = -57*t + 123215 + 98722. Does 13 divide t?
False
Let g = 50 + -45. Suppose 0 = 3*n - g*f - 16, 5*n + 2*f + 0*f = 68. Does 11 divide (1 - n)/(12/(-48))?
True
Let h = -581 + 111. Let g = 132 - h. Does 43 divide g?
True
Suppose -3*p = 75 - 39. Does 45 divide ((-30)/(-8))/(p/(-720))?
True
Let l(v) = 8*v**2 + 83*v + 857. Does 9 divide l(-15)?
False
Let d(l) = 30*l**3 - 6*l**2 + 8*l + 2. Let o be d(4). Suppose 662 = 12*w - o. Suppose -129 = c - w. Is 9 a factor of c?
True
Is 177 a factor of 216/(-264)*-11 + (-1 - -14324)?
False
Suppose 17*d - 2410 = 14*d + 5*x, 5*d + 4*x - 3918 = 0. Is 6 a factor of d?
False
Is 16 a factor of 1/8 - 20648934/(-2768)?
False
Does 3 divide (-19130)/(-6) - 350/150*(-1)/(-7)?
False
Let r(q) = -605*q - 1415. Is 70 a factor of r(-5)?
True
Suppose -2082*k - 11076 = -2088*k. Is 3 a factor of k?
False
Suppose -12*p + 53070 = 4*p + 14*p. Is 29 a factor of p?
True
Let q(t) = t**2 + 3*t + 4. Let y be q(-2). Suppose 24 = y*b + 12. Does 15 divide -3 - (-6)/b - -212?
True
Suppose 1 = -4*z + 3*z + x, -2*z - 22 = 3*x. Let k(l) = 43*l + 290. Does 23 divide k(z)?
False
Let s(z) = -13*z + 41. Let c be s(5). Let i be (3*-1)/(c/160). Does 4 divide (19 + 1)*i/40?
False
Suppose -4*x = -3*d - 6*x + 22, -5*x + 9 = -4*d. Let v(c) = 2*c**3 - c**2 + 5*c. Let t be v(d). Let a = 247 - t. Is 23 a factor of a?
True
Suppose -95309 = -5*i + 3*s, -156*s + 154*s = -2*i + 38130. Is i a multiple of 59?
True
Suppose -5*z + 16*z = -671. Let v = z - -174. Let w = v + -93. Does 5 divide w?
True
Let h(t) = 1 - 6*t - 5 + 4. Suppose 4*g = 17*g + 104. Is 6 a factor of h(g)?
True
Let c(i) = i**3 + i**2 - 3*i + 1130. Let d be c(0). Let b = 2340 - d. Is b a multiple of 17?
False
Let k(m) = m**3 - 27*m**2 + m - 166. Does 14 divide k(32)?
False
Let z(w) = w**3 - 8*w**2 - 10*w - 23. Let v be z(11). Suppose 2*b - t - 118 = 112, 2*b = -2*t + v. Is 2 a factor of b?
False
Suppose -i - 1440 = -11*i. Suppose 8 = 2*h - 4. Suppose -774 = -h*f + i. Is 17 a factor of f?
True
Let q(h) = -h**3 + 4*h - 2. Let a be q(-2). Let w(c) be the second derivative of 7*c**4/3 + 4*c**3/3 + 5*c**2 - 22*c. Is 19 a factor of w(a)?
False
Let t = 2356 - 2122. Is 3 a factor of t?
True
Let u = 6947 - -22822. Is u a multiple of 13?
False
Let t = 317 + -317. Suppose 3*a = -t*s - 2*s + 52, 87 = 5*a + 3*s. Is a a multiple of 7?
False
Suppose -343200 = -56*l + 6*l. Is 22 a factor of l?
True
Let a = 8747 + -6517. Is 50 a factor of a?
False
Suppose -5*t - 51 + 131 = n, 2*n = 2*t - 44. Suppose -c = -t*c + 800. Does 5 divide c?
True
Let b(v) = -v**3 - 18*v**2 + 64*v + 21. Let t be b(-21). Suppose t = 21*c - 578 - 7969. Is c a multiple of 16?
False
Let d = 18 + -23. Let g(j) = -2*j**3 - 6*j**2 + 4*j - 5. Is g(d) a multiple of 25?
True
Let d be 736/18 + 13/117. Suppose 55 = 8*u - d. Does 6 divide u?
True
Let r(u) = 2*u**3 - 37*u**2 + 448*u - 28. Does 8 divide r(17)?
False
Let p = 6587 + -624. Is 67 a factor of p?
True
Let m be 1449 + (-14 - 1)/(-5). Suppose 10*n = 4*n + m. Does 43 divide n?
False
Let q = 3460 + -3003. Does 5 divide q?
False
Let b(l) = -2*l**3 + 50*l**2 + l - 1. Let c be b(25). Does 10 divide 8/(c/15) + 1389 - 4?
True
Suppose 11743 = 4*y - 11225. Suppose -39*g + 10*g = -y. Does 18 divide g?
True
Suppose 14*a - 36*a - 2244 = 0. Let f = 580 - a. Is f a multiple of 31?
True
Let d(b) = -3*b + 36. Let z be (13 - 16) + (8 - -1). Is d(z) a multiple of 9?
True
Let n be 21828/(-72) + -1*3/(-18). Let m = n - -962. Is 72 a factor of m?
False
Suppose -3*o = 4*v + 4, 3*o - 2*v - 6 = 14. Suppose -2*w = o*w + 18. Does 4 divide (-1 + -3)/(3/18*w)?
True
Let o = 77 - 11. Suppose 5*s + o = 6*s - 2*m, -4*m = 2*s - 108. Is s a multiple of 6?
True
Let d(r) = 23*r**2 - 60*r + 753. Is d(27) a multiple of 6?
True
Let h = 49 - -55. Let u = 454 - h. Suppose k + u = 3*k. Is k a multiple of 25?
True
Let s(d) = 9*d**2 - 7*d + 13. Let f be s(16). Does 14 divide (-2)/(3/(f/(-10)))?
False
Let y = -284 + 474. Suppose 191*l - 648 = y*l. Is 42 a factor of l?
False
Let s(x) = 3*x**2 + 10*x - 9. Suppose 12*g = 19*g + 616. Let z = g + 78. Does 27 divide s(z)?
False
Let f(h) = 9*h**2 + 17*h - 394. Does 23 divide f(13)?
False
Let p(w) = 5*w**2 + 48 + 7 - 6*w**2 + 2*w**2. Is 40 a factor of p(15)?
True
Let x = -59 - -63. Does 23 divide ((-146 - (x + -1))*1)/(-1)?
False
Let y = -15132 - -18437. Does 8 divide y?
False
Let i(l) = 2*l**2 - 4*l + 14. Let r(b) = 7*b - 38. Let s be r(6). Suppose s*h + 24 = 4. Is 28 a factor of i(h)?
True
Let v(r) = r**2 + 2*r. Let a be v(-3). Suppose -5*i = 4*z - 8, 0 = a*z + 2*z + i - 31. Let f(m) = m + 2. Is f(z) a multiple of 2?
False
Suppose -m + i = 664, -1424 = 5*m + 2*i + 1875. Let w = -381 - m. Is w a multiple of 40?
True
Let z(h) = -h**3 + 24*h**2 + 27*h - 25. Let j be z(25). Suppose 4*k + j + 11 = 0. Let a(p) = -13*p. Does 16 divide a(k)?
False
Let y(q) = -q**3 - 7*q**2 - 7*q + 7. Let x(t) = 9*t + 6. Let l be x(2). Suppose -5*z = -2*i + l, z + 4 = -2*i - 8. Does 13 divide y(z)?
True
Let m = -137 - -62. Let u be (m/(-12) + -1)*20. Suppose -u = 4*d - 5*d. Does 14 divide d?
False
Let r = -40 - -35. Let p(f) = f**2 + 2*f - 4. Let y be p(r). Suppose -5*z = -y*z + 222. Is z a multiple of 5?
False
Let y = -2522 + 5617. Does 14 divide y?
False
Suppose -3*i = -9*i + 144. Let f be (-66)/i + 3 + 635/4. Suppose s = f - 15. Is 36 a factor of s?
True
Is (-1951107)/(-268) + (-1)/4 a multiple of 26?
True
Suppose -4*p + 76001 = 3*q, 2*q + 45*p - 25290 = q. Is q a multiple of 11?
False
Let o(x) = 4*x**2 - 14*x + 268. Let y be o(34). Let n = y - 2346. Is 14 a factor of n?
False
Let s be (30/(-12))/(45/(-36)). Let w = -11 - -21. Suppose -2*i - 4 = -d + w, -d + 18 = s*i. Does 8 divide d?
True
Suppose 76*m = 18*m + 146392. Does 115 divide m?
False
Let p = 8011 + -6565. Does 5 divide p?
False
Suppose -63*z + 85666 = 148*z. Is 29 a factor of z?
True
Let t = -200 + 203. Suppose g = -t*k + 230, 4*k = -3*g + 360 + 305. Does 8 divide g?
False
Suppose -3*m = -33 - 51. Suppose r - m = 5*b + 54, -r = b - 70. Is r a multiple of 6?
True
Suppose 4758 = 3*f + b, 13*f + 3*b - 7938 = 8*f. Is f a multiple of 8?
True
Is ((-242075)/(-8420))/(2/(0 - -664)) a multiple of 23?
True
Let p be (-1)/3*(-7 - -190). Let g = 117 + p. Suppose g + 10 = 3*u. Is u a multiple of 4?
False
Suppose -24*d = 4390 - 44830. Let t = d - 821. Is t a multiple of 14?
False
Suppose p - 188 = b, -b - 2*p = 61 + 127. Let g = -34 - b. Is 14 a factor of g?
True
Let k = 7037 + -1241. Suppose 22*h - k = 15*h. Is h a multiple of 69?
True
Let v(f) = f**3 + 17*f**2 - 38*f + 4. Let l be v(-19). Suppose 0 = 5*j - 4*g - 5902, -l*j = -5*j - g + 1184. Is 66 a factor of j?
False
Suppose -10*g - 5*r + 1721 = -11*g, 4*g + 4*r + 6860 = 0. Does 26 divide ((-12)/(-24))/(1/g*-3)?
True
Let w(k) = -7*k + 10. Let t be w(1). Let z be t - 1/(-2)*-8. Let c(q) = -262*q - 10. Does 21 divide c(z)?
True
Let y = -87 + 105. Let j(m) = 12*m + 38. Is j(y) a multiple of 9?
False
Let v(i) = i**3 - 37*i**2 + 63*i - 21. Let l be v(36). Let d = l + -566. Is d a multiple of 11?
True
Let h(g) = g**3 + 15*g**2 - 8*g + 37. Let b be (-10*(-1)/3)/(6/(-27)). Let i be h(b). Suppose 2*l + 5*r - 23 = 42, r = -4*l + i. Is l a multiple of 20?
True
Let c(o) = -12*o**3 - 26*o**2 - 50*o - 69. Is 118 a factor of c(-19)?
False
Suppose -111465 = -59*f + 188491. Is 31 a factor of f?
True
Let y be ((-505)/(-15) - -3)*(2 + 76). Suppose 4*s - 556 = y. Is s a multiple of 27?
False
Suppose j + 4*f = 20455, -9*f = 2*j - 6*f - 40935. Does 195 divide j?
True
Let d(f) = 568 - f - 565 + 4*f - 115*f**2. Let t be d(-1). Let h = t - -271. Is h a multiple of 13?
True
Let q be ((-75)/(-12))/(-5) + 161/(-28). Let p(s) = -13*s - 32. Does 8 divide p(q)?
False
Suppose j + 51*x - 267 = 46*x, 1291 = 5*j + 3*x. Is 2 a factor of j?
False
Let o = -206 - -207. Let q(n) = 417*n**2 - 10*n + 9. Does 14 divide q(o)?
False
Let d be (-180)/(-42) - 2/7. Suppose 3*j = 4*u - j, -5*j = -3*u - d. Is 78 + 63/(-9) - (u + 0) a multiple of 25?
False
Let m = 75 - -18. Let a = m - 35. Suppose -a = 2*h - 2