 8 a factor of r?
False
Let c(p) = 192*p + 120. Let o be c(12). Suppose -4*q = 4*i - o, -5*q - 3070 = 5*i - 10*i. Does 7 divide i?
False
Let x(b) = 139*b + 228. Let c be x(44). Suppose 33*r - c = -602. Is r a multiple of 52?
False
Suppose 448*x - 2*b = 452*x - 16580, -x + b + 4133 = 0. Is 160 a factor of x?
False
Let r = -37 + 40. Suppose -6 = -r*c - 3*f, 5*f = -3*c + 7 - 5. Is 7 a factor of c - (-8)/((-24)/(-9))?
True
Suppose 5*h - 39*t = -41*t + 1765, -5*h - t = -1770. Let q = h - 139. Is q a multiple of 27?
True
Let a(s) = 2*s**3 - 32*s**2 - 50*s + 56. Does 41 divide a(20)?
False
Does 10 divide (-1210800)/18*9/6*32/(-80)?
True
Let j be (-2)/10 - (-26)/5. Suppose 2366 = j*r + 3*g, 2*g = -3*r - g + 1422. Is r a multiple of 8?
True
Let k = 48 - 29. Let u = k - 16. Suppose -u*o + 5*c = -161, -5*c = -o - 0*c + 47. Does 13 divide o?
False
Let k(f) = -430*f + 5832. Is 7 a factor of k(9)?
False
Let i be 2 - (1 - 3) - 0. Suppose 3*k - 3*g = i*k + 24, -3*k - 64 = 5*g. Let c = k + 63. Is 9 a factor of c?
True
Let x be 102/5 - 2/5. Let g = x - 26. Let l = g + 16. Does 10 divide l?
True
Suppose 0*f - 6 = -f. Let w(q) = 0 - 1 + f*q - 11. Does 27 divide w(20)?
True
Let t(r) = -r**3 + 10*r**2 - 13*r - 9. Let h be t(8). Is 16 a factor of (-95)/((h/3)/(-5))?
False
Let s = 3562 + -2804. Is s a multiple of 18?
False
Let z be (60/40)/(3/8). Suppose -5*u + 3*d - z*d + 1210 = 0, 0 = -3*u - d + 724. Does 81 divide u?
True
Let x(c) = 4*c**2 - 13*c - 1432. Is x(-28) a multiple of 3?
False
Is 15 a factor of (831/2)/(1701/424116)?
False
Suppose 1850533 = -149*r + 6244990. Is r a multiple of 261?
True
Suppose -13*t = -172 - 166. Suppose 21921 = t*c - 49. Is 65 a factor of c?
True
Suppose 0 = 4*w - 5*u - 86926, 21744 = -187*w + 188*w + 5*u. Does 170 divide w?
False
Let m(u) = 3*u + 34. Let r be 142/(-10) - (176/20)/11. Let n be m(r). Let k(o) = -7*o + 36. Is k(n) a multiple of 14?
False
Let y(p) = -p + 2. Let o(k) = 39*k + 9. Let a(q) = -o(q) - 4*y(q). Is a(-3) a multiple of 8?
True
Let c = 6054 - -1256. Is 43 a factor of c?
True
Let m(c) = 3*c**2 - 8*c + 12. Let d be m(3). Suppose -2*x + 5*t + d = -x, 5*t + 15 = 3*x. Suppose x*g + 240 = 4*g. Does 16 divide g?
False
Let c(m) = m**3 + 7*m**2 - 13*m - 70. Let g be c(-10). Let b = g + 656. Is b a multiple of 32?
True
Suppose -5*b - 3*b = 47*b - 267300. Does 20 divide b?
True
Is 86 a factor of 96/64*-4 + 5*(587 + -1)?
True
Let p(z) = 2*z**3 - 7*z**2 + 11*z - 90. Is 44 a factor of p(10)?
True
Suppose 2370 - 4732 = -36*y + 5810. Is 34 a factor of y?
False
Suppose -b = 3*a - 8*a + 13, -2*a = 2*b - 10. Suppose 63 - 843 = -a*i. Is i a multiple of 10?
True
Let k(r) = r**3 + r - 503. Let n be k(0). Let b = -43 - n. Let j = b - 278. Is j a multiple of 12?
False
Suppose -47*j + 97954 = -13*j. Is j a multiple of 43?
True
Let s = 9811 + 553. Is s a multiple of 28?
False
Let c be ((-20)/3)/(12/990). Let w = -273 - c. Let t = -151 + w. Does 5 divide t?
False
Does 15 divide (9236/(-5))/((-106)/(-159) + 4/(-5))?
False
Suppose 343*q = 344*q - 5. Suppose q*h = 4*s + 1454, -4*s + s - 3 = 0. Does 10 divide h?
True
Suppose 0 = 2*w + 3 + 1. Let a be 3180/42 - 0 - w/7. Suppose 12*c - a = 11*c. Is c a multiple of 15?
False
Suppose -w + 8 = -c, 3*w + 6 = -c + 2*w. Does 34 divide (11662/35)/c*-5?
True
Let f(r) be the first derivative of -5*r**2 + 33*r - 9. Suppose 8*j = 4*j - 44. Is 11 a factor of f(j)?
True
Suppose -2*g + 4*a = 0, -4*g + 12 = -0*a + 4*a. Let n(y) = g*y**2 - 7*y - 5 - 9*y + 9*y. Is 14 a factor of n(-5)?
False
Let i be (160/(-75))/(-1) + 2/(-15). Suppose -7*t = -i*h - 2*t - 251, -301 = 2*h + 5*t. Let s = 24 - h. Is 9 a factor of s?
True
Does 2 divide 544/(-68) - (5 - 5 - 8*184)?
True
Let r(d) = 4*d**3 + 14*d**2 - 19*d + 46. Is 29 a factor of r(10)?
False
Let m(c) = -7*c - 25. Let b be m(-11). Let p = b - -122. Let s = 244 - p. Is s a multiple of 10?
True
Let a = 264 - 431. Let d = -302 - a. Does 14 divide (-2)/(d/(-70) - 2)?
True
Let b(q) = -18*q + 56. Suppose 9*k + 85 = -167. Is 12 a factor of b(k)?
False
Suppose t + 1314*w - 1313*w = 42851, 5*t + 3*w - 214257 = 0. Is 17 a factor of t?
False
Suppose 5*n = 5*m, 5*n - 4*n - 3 = 0. Suppose -m*z - 2*h = -5*z + 806, -z = 5*h - 421. Is 9 a factor of z?
False
Let c be 3/27 - (76483/9 + 0). Is 9 a factor of (-1)/(-5 + c/(-1701))?
True
Let o be (-2 + 10/3)*3. Suppose 2*s = 3*g - 33, -2*g + s - 15 = -o*g. Does 3 divide g?
True
Let v(y) = -4*y**2 + 29*y - 12. Let h be v(13). Let w = -261 - h. Is w a multiple of 2?
True
Let i be -2 + 1839 + (-78)/13. Let u = i - 1049. Does 54 divide u?
False
Let l(u) = u**2 - 16*u + 1254. Let x(o) = 2*o**3 - 52*o**2 + o - 26. Let t be x(26). Is 19 a factor of l(t)?
True
Let o(f) = -2*f**2 - 5*f + 4. Let v be o(5). Let j = 77 + v. Suppose -j*i = -3*i + 2*l - 559, 0 = -2*i - 2*l + 370. Is i a multiple of 27?
True
Suppose -1111770 = 216*a - 306*a. Is 3 a factor of a?
False
Let k(l) = -l + 84. Let r(z) = z**2 - z - 37. Let p be ((-40)/100)/((-1)/20). Let i be r(p). Does 13 divide k(i)?
True
Suppose 0 = 3*j - 4*d - 18892, -2*j + j = -d - 6296. Suppose -a + 12*a = j. Is a a multiple of 11?
True
Suppose -5*i = 2*i - 4081. Suppose -v = 4*y - 168, 4*v = 4*y + 29 + i. Is 10 a factor of v?
False
Is 7 a factor of 2/(-7) + 5610/35?
False
Let z = -55915 + 115034. Is z a multiple of 12?
False
Let g = -204 - -200. Does 36 divide (-2 - g)*(-648)/(-4)?
True
Let g(y) = y**3 + 15*y**2 - 22. Suppose 4*t - 5*b + 56 = -3*b, 4*b = -3*t - 42. Let l be g(t). Let z = l + -88. Is 37 a factor of z?
False
Let o(f) be the first derivative of 1/4*f**4 + 3*f**3 - 3/2*f**2 + f + 15. Is 6 a factor of o(-9)?
False
Suppose 28*s = 26*s + 18. Suppose -1 - s = -10*y. Let j = y + 43. Is 11 a factor of j?
True
Suppose 81*v + 259*v + 47*v - 3132378 = 0. Is 6 a factor of v?
True
Is (-352)/(-64) - (-6538)/4 a multiple of 41?
True
Let f(m) = m**2 + 43*m + 17. Let i be f(-42). Suppose 0 = -u + 2*z - 97, -3*z = 2*u - 0*z + 194. Let j = i - u. Does 38 divide j?
False
Suppose -2*p + 4308 = 3*i, -3*p + 8*i - 4*i = -6513. Does 177 divide p?
False
Let j be (-7 - (-413)/63) + 6092/18. Suppose j = -10*a + 3138. Does 28 divide a?
True
Let l(n) = -5*n**3 - n**2 + 4*n - 3. Let h be l(1). Let x(c) = -c**2 - 8*c - 13. Let g be x(h). Suppose 5*f = g*y + 96, -y + 6*y = -2*f + 21. Does 3 divide f?
True
Let w = -393 - -410. Is 4/10*(-255)/w + 1237 a multiple of 76?
False
Suppose 140 = -7*w - 3*w. Let u = 193 + w. Is 16 a factor of u?
False
Let k(w) = -w**3 + 39*w**2 - 103*w + 1904. Is 105 a factor of k(37)?
False
Let a(b) = 95*b + 76. Is a(51) a multiple of 12?
False
Let k be (0 + 13)/(-2*1/6). Let p = k + 39. Is 23 a factor of -6 - (-3 + 0) - (p + -144)?
False
Suppose -20*r + 6873 = -3167. Does 8 divide r?
False
Let y = -87 - -95. Let n be (0 - 12/y)/((-1)/(-4)). Is 14 a factor of 300/(-18)*9/n?
False
Let k be 1/(-5) + (-624)/(-20). Suppose -35*g + 168 = -k*g. Is (g/4)/(26/52) a multiple of 2?
False
Suppose 0 = -2*l - 52 + 38, 3*h - 23540 = 2*l. Is h a multiple of 3?
True
Suppose 5*s + 6*b = 33071 + 36935, -69988 = -5*s - 3*b. Is 22 a factor of s?
False
Let c = -35 + 10185. Is 70 a factor of c?
True
Let v = -1617 + -1163. Is 14 a factor of 87/261*(-1 + v/(-2))?
False
Suppose -8*p + 305895 = -75513. Is 174 a factor of p?
True
Let o(p) = 6258*p**2 + 9*p + 7. Is o(-1) a multiple of 68?
True
Let i = -60 - -68. Suppose -20 = -4*f - 4*u, -u - 7 - i = -3*f. Suppose 468 = -2*s + f*s. Is s a multiple of 21?
False
Let f(d) = 10*d + 73. Let u(v) = -7*v - 49. Suppose s - 3*r - 4 = 0, -5*s + 0*r = 2*r - 37. Let a(x) = s*u(x) + 5*f(x). Does 9 divide a(5)?
True
Suppose -23*h - 29*h - 93*h + 1720425 = 0. Is 118 a factor of h?
False
Suppose -103*q + 64*q + 102258 = 0. Does 96 divide q?
False
Let i be (-6 - (-78)/12)*-32. Is 50 a factor of i/72 + 6378/(-27)*-1?
False
Suppose -180 = 2*w - 8*w. Suppose 39*s - 1606 = 344. Suppose 53*i - s*i = w. Does 2 divide i?
True
Let u(l) = 78*l - 166. Let n(s) = -80*s + 168. Let t(y) = 3*n(y) + 4*u(y). Is t(4) a multiple of 16?
True
Let h = 1858 + -1719. Suppose 2*p + 2*p - 572 = 0. Suppose 3*a - h - p = 0. Is 7 a factor of a?
False
Let q = -394 - -1258. Is 27 a factor of q?
True
Let b = -282 - -289. Suppose b*j - 103 = 1129. Is 44 a factor of j?
True
Suppose -11 = -10*a + 139. Suppose -a*u - 20 = -