uppose 4*x - 2*g - 10 = 0, -7 = -2*x - g + 4. Suppose -x*f - 130 = -p, p + 5*f = -p + 286. Is 23 a factor of p?
True
Let z(d) = d**3 + d + 1. Let o(x) = 8*x**3 - x**2 + 4*x + 6. Let b(i) = o(i) - 5*z(i). Let g be b(1). Is 3 - (-221 - g) - -2 a multiple of 22?
False
Let v be (20/(-25))/((-6)/15). Let u(w) = -2*w + 5*w + 5 - 4*w - v*w. Does 6 divide u(-9)?
False
Let b(k) = -3*k + 20. Let t be b(5). Suppose t*x - 4*x = 19. Suppose 2*r - f = x, r - 2*f - f - 17 = 0. Does 4 divide r?
True
Is 8242 - -1 - (-26)/(-15 + 41) a multiple of 12?
True
Suppose -271*b + c + 385 = -268*b, 5*c + 635 = 5*b. Does 9 divide b?
False
Let l = 1423 - 798. Suppose 0 = -6*z + 1921 - l. Suppose 8*a = 4*a + z. Is 18 a factor of a?
True
Let v be 1/(-4)*-49 - (-17)/(-68). Let r = 14 - v. Suppose 3*i - 47 = -r*j, 15 = -3*i - 3*j + 57. Is 5 a factor of i?
False
Let a(g) be the third derivative of g**5/60 + g**4/24 - 7*g**3/2 - 125*g**2. Is a(8) a multiple of 16?
False
Let r = -99 + -281. Let k = r + 468. Is k a multiple of 8?
True
Let f be (2 - -58)*((-34)/6 + 4). Let z = 104 + f. Suppose 2*l = -4*x + 338, z*x - l - 152 = 195. Is x a multiple of 5?
False
Let c(o) = 4*o**2 + o - 84. Let d be c(8). Let w = d - 106. Does 5 divide w?
False
Let h(t) = 5*t**2 + 46*t + 13. Let n be h(-9). Suppose 3*l + l = -n*z + 3716, -5*l - 4635 = -5*z. Is 54 a factor of z?
False
Suppose 4*j = 6*d - d - 42, 5*j - 30 = -2*d. Suppose 0 = 3*p - 2 - d. Is 23 a factor of (170/3 + 4)/(p/6)?
False
Does 6 divide 4/18 + 16840/36?
True
Suppose 73 = 2*j - 29. Let f = -96 + j. Let b = 130 + f. Is b a multiple of 17?
True
Suppose -5*j = -3*q + 2*q - 6442, 0 = 4*j - 4*q - 5144. Let t = j - 580. Does 64 divide t?
False
Suppose 5*h + 34095 = 5*f, -f + 2977 + 3840 = -3*h. Is f a multiple of 44?
True
Let j(o) = -2*o**3 + 26*o**2 + 12. Let w be j(13). Let i(g) = g**2 + 0*g**2 + 26 - 10*g - g. Is 19 a factor of i(w)?
True
Suppose -18*f + 19*f = 74. Let s = -73 + f. Let k(x) = 14*x + 1. Is 3 a factor of k(s)?
True
Let u be (552/(-20) - 4)*-5. Suppose -u - 982 = 4*s. Is 16 a factor of ((1/(-1))/(-1))/((-3)/s)?
False
Suppose 0 = q + 3, -3*b + q - 3*q = -123. Let d = -35 + b. Is 904/28 + d/(-28) a multiple of 6?
False
Suppose -5*z - 17*z = 22*z. Suppose 28*r - 4771 - 2173 = z. Is 39 a factor of r?
False
Let x(d) = 518*d - 1321. Does 141 divide x(5)?
True
Let m(x) = -x**2 + 3*x + 18. Let d(y) = y**2 - 2*y - 19. Let r(q) = 4*d(q) + 5*m(q). Let p = -316 + 324. Is 6 a factor of r(p)?
True
Suppose q - 14582 = -x, -4*x + 336*q - 338*q + 58324 = 0. Does 90 divide x?
True
Let t(k) = k**2 + 11*k - 39. Suppose -3*s - 19 = -2*s + r, -r = 5. Let d be t(s). Suppose d*o - 711 = -6. Is 47 a factor of o?
True
Let l(g) = -g**2 - 122*g - 1236. Does 6 divide l(-85)?
False
Does 126 divide 2717*(1 - -14 - 14)?
False
Is 34 a factor of (-36304608)/(-1975) + (-2)/25 - (-27)/(-9)?
False
Suppose -45658 - 8344 = -2*j + m, 3*m = -4*j + 107994. Is j a multiple of 270?
True
Suppose 5*p + 4*r - 13 = 4*p, -4 = -2*r. Suppose -1590 = -d - p*m, -5*d + m = -5222 - 2780. Does 25 divide d?
True
Let d(k) = 9*k**2 - 107 - 108 + 214. Let n be d(-1). Suppose 6 = -2*h + n, 2*j - h = 175. Is j a multiple of 17?
False
Let t(k) = -117*k + 2. Let w be (-11)/(-33)*4*6. Suppose -7*p = -1 + w. Is 34 a factor of t(p)?
False
Let j(u) = 19*u - 22 + u**3 - 8*u**2 - 14*u**2 - 6*u - 6*u. Let x be j(22). Suppose -5*s + 69 = 2*p, -4*p + 3*s = -x + 33. Does 27 divide p?
True
Let n = 25437 - 15837. Does 80 divide n?
True
Let i be (2 - (-3 - 1)) + 2. Let y(m) = -3*m**2 + 42*m - 34. Let l be y(13). Is 13 a factor of (l + (-36)/i)*228?
False
Let d(a) = -3*a**2 + 16*a + 27. Let t be d(8). Let w(f) = -f**3 - 37*f**2 + 57. Is w(t) a multiple of 3?
True
Let o(n) = n**3 + 7*n**2. Let i be o(-7). Suppose i = 4*j + 4*j - 24. Suppose -4*d = j*t - 53, -2*d = -0*d - t - 39. Does 4 divide d?
False
Let j = 25663 + -9104. Does 16 divide j?
False
Does 13 divide 5*(-4)/180 + 10/(360/952996)?
False
Suppose 7*u = -11*u + 126. Let c = 9 - u. Suppose 5*i + 203 = 4*p - 325, -2*p - c*i = -246. Does 21 divide p?
False
Let j be 6614*2/20 + (-86)/215. Suppose 0 = -8*w + 6*w - 5*r + j, 0 = r - 3. Is w a multiple of 17?
True
Suppose -4 = -3*r + 2*r, 5*y = -4*r + 426. Let h = -86 + y. Is 34 a factor of (-6 + h)/5*(-68)/2?
True
Let g(k) = -k**2 - 7*k + 20. Let c be g(-9). Let u be 14/c + 0 + (-2)/1. Suppose 0 = -u*z - 60 + 305. Is z a multiple of 7?
True
Let b = -70 - -54. Let w be 8/((-1)/b*4). Does 18 divide w/(-48) - ((-202)/(-6))/(-1)?
False
Let l(y) = -y**3 + 75*y**2 + 1164*y + 252. Is l(87) a multiple of 44?
True
Let z = 2 - 0. Let j = -3136 + 3156. Is (z + -3)*-2 + (j - -6) a multiple of 14?
True
Suppose 277283 = 31*f - 105691. Is f a multiple of 11?
False
Let c(w) = 63*w - 10. Let b(v) = 16*v + 117. Let r(j) = 7*j + 58. Let l(z) = 2*b(z) - 5*r(z). Let k be l(-19). Is 9 a factor of c(k)?
False
Let w(p) = 15*p + 103. Let s be w(-7). Is 34 a factor of ((-24500)/(-52) - s/(-13)) + -3?
False
Suppose 105*p = 102*p - 12, 4*b - 3*p = 35624. Does 3 divide b?
False
Let d(h) = -h**3 - 3*h**2 + 9*h - 2. Let b be 2/(-7) + (-66)/14. Let c be d(b). Suppose c*w - 276 = 2*v + 49, -2*w + 3*v = -225. Is w a multiple of 14?
False
Let s(a) = -82*a + 619. Is s(3) a multiple of 27?
False
Let g(h) = 1717*h - 4336. Is 79 a factor of g(23)?
True
Suppose -5*x - 31950 = -3*d, -3*d - x + 7445 + 24505 = 0. Is 10 a factor of d?
True
Let b(q) = -q**3 - 2*q**2 + 10*q + 26. Let w be 6 + -14 + 3 + (2 - 4). Let k be b(w). Suppose -501 = -10*z - k. Is z a multiple of 5?
True
Is 96 a factor of (-2368)/20*(-11 + -109)?
True
Let b be 2/32*4 - 33525/20. Does 33 divide b/(-14) + 50/175?
False
Let c = -6261 + 8835. Is c a multiple of 22?
True
Suppose 22*j = 21*j, -2*j + 4*j = -5*z + 118660. Is z a multiple of 17?
True
Suppose 3*p = h + 6632, -p + 9*p = 2*h + 17684. Is 17 a factor of p?
True
Suppose 12 = r + h, 0*r + 2*h = 4*r - 18. Suppose 2225 = r*p - 554. Is 31 a factor of p?
False
Let z = -11468 + 16619. Is 94 a factor of z?
False
Suppose -3*y - 5*y = -3*y. Suppose y = -15*z - 3 + 93. Is z/(-16) - (-1542)/16 - -1 a multiple of 20?
False
Suppose -c = 4*p - 0*c - 2290, -p + 562 = -5*c. Suppose -2*v + q = -p, -2*q = 4*v - 277 - 883. Is 9 a factor of v?
True
Let r = 167 - 149. Let j = r + 218. Does 59 divide j?
True
Let k(n) = 17*n + 14. Let o be k(-5). Let a = 75 + o. Suppose -2*w - a*w + 990 = 0. Is w a multiple of 15?
True
Suppose 10*j + 14*j - 55468 = -11236. Is j a multiple of 14?
False
Suppose 0 = 13*i - 9*i. Suppose -1095 = -5*x + 18*t - 13*t, -x + 5*t + 219 = i. Is 51 a factor of x?
False
Let z = -27 + 25. Suppose 11 = r + 1. Let f = r - z. Is f a multiple of 12?
True
Let m = 5681 + -4313. Does 12 divide m?
True
Suppose -k = -u + 3, -16 = -17*k + 14*k - 2*u. Suppose -5*m - 84*s = -82*s - 642, -122 = -m - k*s. Is m a multiple of 34?
False
Let r(q) be the second derivative of 6*q**3 - 15*q**2/2 - 2*q + 11. Is 4 a factor of r(1)?
False
Let b(d) = -2*d**3 + 13*d**2 + 7*d - 82. Let c be b(6). Let l be 90 - ((2 - 4) + 0). Does 14 divide l + c/(-8)*-6?
False
Suppose 35472 + 71453 = 65*n. Does 2 divide n?
False
Let m be 368/(-64) - (2 - 14/8). Is 5 a factor of (-287)/(-4) + m/(-24)?
False
Is (2743 + -2820)*(1367/(-7) + -1) a multiple of 6?
True
Suppose -4*c = -4*z + 28, z + 5*c - 6 - 19 = 0. Suppose -z = 6*h - 11*h. Is (2 + -1)/1 + (20 - h) a multiple of 4?
False
Let o = 77 + -53. Suppose -65 = -o*s + 11*s. Suppose -4*a - 200 = -2*q, -q + s*a + 98 = a. Does 43 divide q?
False
Let c be 0/(-1) + -302 - 1. Let a = -183 - c. Suppose 5*b - 336 = 4*j, 0*b - 2*j = 2*b - a. Is b a multiple of 32?
True
Suppose 2*g - 154 = -64. Let l = g + -38. Suppose 28 = l*f - 14. Is f a multiple of 3?
True
Suppose -118440 = 424*n - 436*n. Is 15 a factor of n?
True
Let o be 7/(84/512) + (-1)/(-3). Let c = -40 + o. Let s = c + 3. Is s a multiple of 2?
True
Let i(z) = 7*z**2 + 5*z + 1. Let g be i(4). Let p = g + 89. Is 32 a factor of p?
False
Suppose 3*o = 15, 34*q - 2*o - 93 = 33*q. Suppose r + 4*u - 100 = 0, 4*u - q - 105 = -2*r. Is 36 a factor of r?
True
Suppose 29*j - 28*j + 5*k - 11265 = 0, -4*j = 4*k - 45012. Does 14 divide j?
False
Suppose -f - 2 = 3*b, -f - 6 = -3*b - 4*f. Is 6611/55 - b/(-10) a multiple of 6?
True
Suppose -12 = 4*q, 3*d = 4*d - 3*q + 1199. 