29*g - 143. Let l be p(5). Is l - (-299 - (-20)/(-5)) a multiple of 28?
False
Suppose 20 = -5*v + 45. Suppose 0 = -v*q + 7*a - 3*a + 355, -3*a + 165 = 2*q. Suppose 5*i = 2*g - q, -2*g = -3*g + 5*i + 35. Does 8 divide g?
True
Is 31 a factor of 408/(-34) + (-23310)/(-5)?
True
Let a = -18 + 21. Suppose 2*k - 5*k = 5*v + 345, 0 = -5*v + a*k - 375. Let m = v + 122. Is 10 a factor of m?
True
Does 19 divide 1107 + (-11)/(-33)*-60?
False
Let s be 3 + 134 - 18/30*5. Suppose -5*f + a = -1711, f - 3*a - 211 = s. Does 38 divide f?
True
Suppose f + 0*f = 2*v - 427, -2*f = 2*v + 848. Let u = -238 - f. Does 11 divide u?
True
Let y = -32 + 20. Let k = 14 + y. Is 10 a factor of 30*k/(-20)*-12?
False
Let o = 923 + 485. Suppose 10*q - 2392 = o. Is q a multiple of 9?
False
Suppose 4 = 3*d - 4*c, -3*c - 4 - 10 = -5*d. Suppose -2*y + n = -150, 0*y + d*y + 3*n - 300 = 0. Is y a multiple of 5?
True
Let o be (-5)/(-3) - 6688/33. Does 19 divide o/536 - 5443/(-8)?
False
Suppose t + p = -3, 4*t + p = -0*p - 15. Let i be 3*(t/(-3) + (-7 - -7)). Suppose 4*k - 254 = -u, k + i*u - 56 = -0*k. Does 16 divide k?
True
Suppose -4*i + 224 = -3*r, 134 = 2*i + 32*r - 28*r. Let m(h) = -38*h - 6. Let s be m(-4). Suppose -3*t + s - i = 0. Is t a multiple of 29?
True
Is 12 a factor of 3873*(-2)/(-6) - (-2 + 45/5)?
True
Let v be (69/6)/(1/4). Let p be (-2 + 52)/10 - 5. Let b = p + v. Does 7 divide b?
False
Suppose 10551 = -4*c - 3*q + 77408, -2*c - 3*q = -33427. Does 11 divide c?
False
Is (-760230)/(-60) + 6/(-21) + (-3)/14 a multiple of 14?
True
Let r(g) = 2*g - 16. Let h be r(12). Let k(p) = 8*p**2 - 19*p - 12. Is k(h) a multiple of 6?
True
Let i(z) = 64*z**3 - 2*z - 2. Let x be i(-1). Is (-10 - -4)/((21/x)/7) a multiple of 8?
True
Suppose -4*s - g = 259, -s - g = 2*g + 73. Let o = 84 + s. Let h = o + 165. Does 37 divide h?
True
Let m = -3771 - -8118. Is m a multiple of 18?
False
Suppose -12*r + 7*r + 10 = 0. Let a be ((-363)/(-5))/(r/50). Suppose 7*l = 18*l - a. Is 11 a factor of l?
True
Let i(m) = -25*m - 39*m - 134 + 67*m - 22*m. Does 25 divide i(-11)?
True
Let x be 287/5 + (-6)/(-10). Let b = x + -72. Is -39*(-42)/9 + (b - -17) a multiple of 37?
True
Let d = 1617 + -837. Suppose 39*q = 42*q - d. Is 52 a factor of q?
True
Let w be (-4 - (-5 + -1)) + 4. Let t be (-4)/6 + 28/w. Suppose -343 = -t*f - q + 94, 0 = -2*f + 3*q + 201. Does 19 divide f?
False
Let d be (-18)/(-36) - 3/(-2) - -45. Let s = -48 + d. Is 2 a factor of ((-4)/8 - (-122)/4) + s?
False
Suppose -39 - 11 = -10*m. Suppose -4*q + w = -2*q - 1014, -2540 = -5*q + m*w. Does 46 divide q?
True
Let l be (26/6)/((-3)/63). Let d = -88 - l. Let m(a) = -a + 18. Is 15 a factor of m(d)?
True
Let j(a) = -a**3 + 14*a**2 - 6*a - 340. Does 6 divide j(-21)?
False
Suppose 191*g - 789 = 190*g + 2883. Is g a multiple of 72?
True
Let v = 69380 + -47706. Is 18 a factor of v?
False
Let y(n) = 11609*n**2 + 297*n - 297. Is 35 a factor of y(1)?
False
Suppose -a + 1795 = 3*t - 5730, -2*a = -4*t + 10050. Is 45 a factor of t?
False
Suppose 11 = 5*a + 5*w + 16, 0 = -a - 5*w - 5. Suppose a = -2*q - 4*q + 252. Is q a multiple of 14?
True
Suppose -22*p - 34*p = -504. Suppose 38533 = 40*y - p*y. Does 13 divide y?
False
Let k(y) = -42*y**3 - 8*y**2 - 9*y + 6. Is 164 a factor of k(-2)?
True
Does 11 divide ((-69615)/14)/((-3)/4)?
False
Suppose 0 = -9*y + 14*y - 35. Is ((-8)/20)/(y/(-2730)) a multiple of 26?
True
Let u = -14587 + 23040. Is 107 a factor of u?
True
Suppose -2*y + 43600 = -w, -5*y + 26*w = 24*w - 109000. Does 38 divide y?
False
Let y = -8130 + 14670. Is 10 a factor of y?
True
Suppose 45*g - 43*g = 82. Let y(b) = -2*b**2 + 87*b - 189. Is 16 a factor of y(g)?
True
Let q = 77 - 73. Suppose -38 = 2*z + q*r, 4*z - 4 + 74 = -2*r. Let d(n) = n**3 + 17*n**2 - 10*n + 16. Is 22 a factor of d(z)?
False
Let a = 18 + 48. Let l = a + -37. Suppose -w = 4*x - 173, -5*w = 4*x - 3*x - l. Is x a multiple of 11?
True
Does 21 divide (-303924470)/(-5100) + 1/(-30)?
False
Let l be ((-77)/2)/((-1)/2). Suppose 0*d = -g + 2*d - 46, -3*d = -4*g - 194. Let k = l + g. Is k a multiple of 27?
True
Let j(f) be the third derivative of 11/15*f**5 + 0*f + 0 + 2/3*f**3 + 8*f**2 - 1/8*f**4. Is 9 a factor of j(1)?
True
Let r = 2 - -2. Suppose 2*v = r*v - 400. Suppose -4*k + 55 = -5*c - v, -3*c + 291 = 5*k. Is 15 a factor of k?
True
Is 46 a factor of (-813127)/476*(-9 - -1)?
False
Suppose -41*b + 67*b - 104 = 0. Suppose -2498 = -b*k - h + 3*h, -5*h - 1269 = -2*k. Is k a multiple of 9?
False
Let w(g) = -g**2 - 11*g - 1. Let n be w(-7). Suppose 3*c = -0 + n. Let v(k) = k**2 + 7*k - 13. Does 17 divide v(c)?
False
Let b be 1/4 + (-77)/(-28). Suppose -3*t - k = 2*k + 3, -b*t = 2*k - 2. Does 14 divide 125/t + 27/36?
False
Let u(f) = 122*f**2 + 171*f - 1550. Does 24 divide u(8)?
False
Let r be (-1)/(-2*(-4)/16). Let j be r + (0 - -6 - 1). Is (76/(-12))/(j/(-126)) a multiple of 38?
True
Is 112 a factor of (143 - 3 - 5)*(-190)/(-3)?
False
Let w be (5 - 3/9)*24/28. Suppose q - w*q - 2*v + 1220 = 0, 2*q = v + 804. Is 11 a factor of q?
False
Let w(v) = -v**3 + 18*v**2 - 13*v + 14. Let c = -268 + 275. Is 22 a factor of w(c)?
True
Let u(b) = 14*b - 1. Let a be u(1). Let j be ((-24)/(-7))/((-747)/(-17430)). Suppose -j = -a*q + 12*q. Is 16 a factor of q?
True
Is 19 a factor of 88472/20 - -1 - (-72)/180?
False
Let m = -777 - -3931. Does 22 divide m?
False
Suppose -k + 2*k + 32 = -u, 2*u - 2*k + 52 = 0. Let n = u - -32. Suppose -x - 5*c + c = -51, -3*x + 153 = -n*c. Does 10 divide x?
False
Suppose -139*o + 143*o = 15288. Is 182 a factor of o?
True
Let z(b) = b**3 - 14*b**2 - 23*b + 288. Is 28 a factor of z(15)?
True
Let r(v) = 3*v**2 + 3*v - 6. Let j(g) = -g**3 + 4*g**2 + 4*g - 5. Let y(n) = 2*j(n) - 3*r(n). Let h be y(-3). Suppose -61 - h = -3*a. Is a a multiple of 3?
True
Suppose 113*n - 109*n = 4*o + 58720, 2*n - 29325 = -5*o. Is 7 a factor of n?
False
Suppose 11*g = 544 + 2151. Let t = 501 + g. Is t a multiple of 33?
False
Suppose -u + 14 - 86 = 0. Let d = -2744 + 2114. Is d/(-36)*u/(-5) a multiple of 36?
True
Is (336/9)/(-8 - (-9365)/1170) a multiple of 24?
True
Let r = 3182 - -3784. Is 162 a factor of r?
True
Let r = 326 - -22. Let q = r + -85. Is q a multiple of 8?
False
Suppose -35*w = 6*w - 1178318 + 63200. Does 106 divide w?
False
Let z(p) = 2*p**3 - 4*p**2 + 2*p + 2. Let f = -48 + 50. Let a be z(f). Let w(j) = 3*j**2 + 5*j - 13. Is w(a) a multiple of 25?
True
Let x = 3 - 175. Let c = x + 254. Is 18 a factor of c?
False
Is 15 a factor of 582 + -1*(-9 + 21)?
True
Let o be (-14)/(84/(-90))*6/3. Is (36/10)/(o/975) a multiple of 39?
True
Suppose 54 = 13*y - 11. Let s = 157 + 79. Suppose 4*j + s = w, -3*j + 1596 - 347 = y*w. Is w a multiple of 18?
False
Let a(b) = -b**2 + 12*b - 31. Let r(f) = -4*f**2 + 35*f - 94. Let s(v) = 8*a(v) - 3*r(v). Is s(5) a multiple of 2?
False
Let n be (210/(-63))/((-2)/3). Suppose -208 - 54 = -n*l + 2*v, -3*l - 3*v + 153 = 0. Let k = 116 + l. Is k a multiple of 22?
False
Let z(s) = 1353*s - 849. Is z(8) a multiple of 175?
True
Is 53 a factor of (2 - 7328/7)/((-1)/7)?
True
Let a = 285 - -142. Let k = -199 + a. Does 76 divide k?
True
Let z(y) be the third derivative of -13*y**4/12 - 17*y**3/2 + 28*y**2 - 2*y. Does 26 divide z(-5)?
False
Suppose 3*r = -2*a + 515, 2*a - 3*a - 5*r = -268. Is a + 5*2/(-10) a multiple of 84?
True
Let b = -14 - -36. Suppose 346*k + 360 = 349*k. Let r = k + b. Is r a multiple of 22?
False
Let i be -1376 - ((-4)/(-3) - (-1)/(-3)). Let a = -3409 - i. Does 17 divide 0 + a/(-44) - (-4)/(-22)?
False
Let c(w) = w**2 - 7*w - 8. Let q be c(8). Suppose -2*m = 3*g - 396, q = g - 2*m + 3*m - 132. Is g + -13 + (-3)/(1/1) a multiple of 15?
False
Let w(h) be the first derivative of h**3/3 + 15*h**2/2 + h - 2. Let y be (-4)/(-14) + (134/(-670) - 633/35). Is w(y) a multiple of 11?
True
Suppose 13*z - 11*z - 10 = 0, -u + 2725 = -5*z. Is 22 a factor of u?
True
Let n = -55 - -57. Is 29 a factor of (n*(-2)/(-8))/((-2)/(-348))?
True
Let p be ((-288)/(4 + -1))/(-1). Suppose p - 26 = -7*v. Does 14 divide -5 - -7 - 4*v?
True
Is ((-30)/(-3 + -7))/((-2)/(-35454)) a multiple of 19?
True
Suppose 5 = -3*h - p + 19, 2*p = -2. Does 6 divide (-26)/4*(h - -3)*-1?
False
Suppose -48*u + 235841 = -45871. Is 100 a factor of u?
False
Let k be ((-21)/4)/(102/(-1768)). Let v b