0*j**2 + 54*j + 85. Is 176 a factor of l(-15)?
False
Let d be 0*6/(-24) + 12/4. Is 364/6 - d*2/(-18) a multiple of 2?
False
Let o(g) = -2*g**3 + 26*g**2 + 27*g - 122. Is o(-18) a multiple of 20?
True
Let r(h) = -3*h - 245*h**2 + 124*h**2 + h**3 + 131 + 118*h**2. Is 23 a factor of r(0)?
False
Let m(q) = 103*q + 8. Let f = 25 + -29. Let n be m(f). Is 17 a factor of n/(-6) - (-2)/3?
True
Let z(c) = -9429*c - 408. Does 9 divide z(-2)?
True
Does 124 divide ((-7)/10 + (-38)/(-190))/((-1)/79360)?
True
Is 40 a factor of (1 - 2)/((-20)/5) - (-74877)/12?
True
Suppose 0 = 9*h - 9, 5*h - 39697 + 8660 = -4*r. Is r a multiple of 9?
True
Let g = -264 + 574. Let m = g + -180. Is m a multiple of 13?
True
Suppose -4*g - 41*n = -45*n - 1520, 0 = -4*g - 5*n + 1565. Does 11 divide g?
True
Suppose 4*r - 4*k - 160 = 0, -4*r + 169 - 11 = -5*k. Is 7 a factor of 4498/r + 58/(-609)?
False
Suppose 3*w = -5*n + 1012, 7*w + 5*n = 11*w - 1326. Suppose 0 = q + 3, -5*d + 7*d - w = 2*q. Is 41 a factor of d?
True
Suppose 1176 = 159*i - 155*i. Suppose -3*z + i = -480. Is z a multiple of 15?
False
Let q = -291 - -322. Suppose 895 = 6*m + q. Does 12 divide m?
True
Let w(c) = c**2 + 8*c + 17. Let h be 45/6*(-12)/15. Let d be w(h). Suppose d*b - 2079 = -6*b. Is 38 a factor of b?
False
Suppose -13*t + 45 = -10*t. Let y(z) = 2*z**3 - 30*z**2 + 3*z - 12. Let v be y(t). Suppose -4*h = 12, 2*c + 2*c = -5*h + v. Is c a multiple of 12?
True
Suppose 43330 = -1130*z + 1144*z. Is z a multiple of 113?
False
Let i = -20 + 21. Let m be (i - -2) + (3 - -1). Suppose -2*h + m*h + 2*l - 220 = 0, 0 = -2*h - l + 87. Is 14 a factor of h?
False
Is 12 a factor of (-22 - -27) + 8763 - 24?
False
Suppose 2*c + 4 = 3*c. Suppose -2*y - 9*i + 10 = -7*i, 0 = c*i - 20. Suppose y = 3*h - 4 - 2, -876 = -3*t + 3*h. Is 49 a factor of t?
True
Suppose 4*r - 233 = 3*m, -7*m + 25 = -2*m. Let f = -61 - r. Is 36 a factor of 0 + (-1 - -3 - (-5 + f))?
False
Is ((-840)/245)/((-4)/2198) - -3 a multiple of 76?
False
Let u = -338 - -668. Suppose 3*x = -5*g + 1740, -g + x = -2*x - u. Is g a multiple of 35?
False
Let w(t) be the first derivative of t**4/4 - 4*t**3 - 3*t**2/2 - 71*t + 140. Is w(15) a multiple of 43?
True
Is 81609/15 - (18/(-20) - 3/(-2)) a multiple of 16?
True
Suppose 3*x - 5742 = u, 830*x = 835*x + 4*u - 9604. Is 8 a factor of x?
False
Let f(g) be the first derivative of -15*g**3/2 - 5*g**2 + 5*g + 26. Let o(w) be the first derivative of f(w). Is 25 a factor of o(-3)?
True
Let f(r) = 89*r**2 - 7*r - 8. Let w be f(4). Let n = w - 805. Does 53 divide n?
True
Is -13 + 32 + 33966 - 6/(-2) a multiple of 116?
True
Let x be (-224)/21*12/(-9 - -5). Suppose -x*f + 47536 = 48. Is 83 a factor of f?
False
Let j = -63 - -169. Let t = j - 79. Let r = 16 + t. Does 13 divide r?
False
Let g = 13 + -33. Is (-52)/g + -2 - (-2427)/5 a multiple of 44?
False
Suppose -36*q + 30*q + 534 = 0. Let f = 83 - q. Does 10 divide (38/f)/(1/(-36))?
False
Let s(w) = -84*w**3 + w**2 + 3*w + 2. Let p(t) = -t**3 - 20*t**2 - t - 19. Let q be p(-20). Suppose -57*b = -56*b + q. Does 21 divide s(b)?
True
Let u(v) be the third derivative of -v**6/12 - v**5/30 + v**4/6 + v**3/2 + 61*v**2. Does 27 divide u(-3)?
True
Let y = 8227 - 5554. Is 10 a factor of y?
False
Let m be 250/(-4)*(3 + 8712/40). Is 49 a factor of (-1)/11 + 10*m/(-176)?
True
Let k(a) = 12*a - 22. Let s(n) = 24*n - 43. Let z(i) = 7*k(i) - 3*s(i). Let x be z(9). Suppose 3*u + 4*f - x = 76, u = -f + 54. Is u a multiple of 5?
False
Let y(w) = 34*w**3 + 2*w**2 + 2. Let g be y(2). Let z = -22 + g. Does 10 divide z?
True
Let w(g) be the third derivative of g**5/60 - g**4/12 + g**3/3 + 24*g**2. Let l be w(2). Suppose -o = l*y + 2*y - 52, -2*y = 2. Does 7 divide o?
True
Suppose 0 = -2*h + k + 4454, 965 = 2*h - 3*k - 3485. Is h a multiple of 43?
False
Let o be 11*(-6)/9*3. Let v = -20 - o. Suppose -g = 5*w - 376, v*g = 4*w + g - 308. Is 19 a factor of w?
True
Suppose w - 280 = -r, 625 = 5*w + 3*r - 783. Is w a multiple of 41?
False
Let n = -95 - -97. Suppose 2*j + 5*q = 8, -n*j + 1 = -2*q - 7. Suppose -5*y = 0, -168 = j*z - 6*z - 2*y. Is z a multiple of 21?
True
Suppose -267644 = -108*m - 113686 + 135158. Is m a multiple of 123?
False
Suppose 4*t = -36*l + 40*l + 712, -2*l - 10 = 0. Is t a multiple of 2?
False
Let n(b) = 5*b + 0*b**2 - 623 + 672 + 7*b**2. Does 27 divide n(9)?
False
Let u(z) = 8210*z - 6498. Is u(9) a multiple of 13?
True
Does 36 divide (-10)/90 + 82/90 + 53080/25?
True
Let u be (-1120)/(-15)*((-6)/(-4) - 0). Is 7812/u - 1/(-4) a multiple of 10?
True
Let q = -267 - -271. Suppose -h + 5*x - 7 = -2*h, q*h + 3*x - 113 = 0. Is 2 a factor of h?
True
Let j = -204 + 208. Suppose 10 = -4*o + 2, 0 = -j*z - o + 574. Does 16 divide z?
True
Suppose -5*d = -27*w + 32*w - 1780, 0 = d + 5*w - 352. Is d a multiple of 7?
True
Suppose -13*u + 310499 = -13071. Does 193 divide u?
False
Let w(h) = -173*h - 34. Let p be w(-4). Suppose -2*y = -24 - p. Is 15 a factor of y?
False
Let s(h) = -h**3 + 4*h**2 + 3*h - 14. Let w be s(-10). Let c be (10/((-200)/w))/(1/(-5)). Suppose -c = -17*x + 69. Is x a multiple of 23?
False
Suppose 119*d = 123*d + 12. Is (-10 + 7)/((-3)/(-87)*d) a multiple of 14?
False
Let v(u) = -2*u**2 - 12*u - 3. Let h be v(-3). Suppose 105 = x + h. Is 18 a factor of x?
True
Suppose -5*p = -5*o + 22 + 278, 300 = 5*o + 2*p. Let u = 60 - o. Is 15 a factor of u - ((3 - 61) + -2)?
True
Let s(x) = -x**3 - 9*x**2 - 55*x - 2291. Is 29 a factor of s(-30)?
False
Let d(m) = -7 + 62 + 30*m + 39. Is d(7) a multiple of 31?
False
Suppose -4*h - 4 = -m + 4*m, -2*h + 16 = -3*m. Suppose 3*d - h*v + 4*v = 12, -15 = -2*d + v. Suppose 0 = d*s + 6 - 150. Does 2 divide s?
True
Let p = 119 + -7. Let d = -149 - p. Is 6 a factor of -5*(4 + d/15)?
False
Let j = 8789 - 1469. Does 191 divide j?
False
Let c(u) = 10*u**2 + u - 30. Let v be c(-12). Suppose -2*d = o - 3*d - 352, 4*o - v = -d. Does 35 divide o?
True
Let j be 222/(-57) + 24/(-228). Let p(k) = -213*k - 254. Does 40 divide p(j)?
False
Suppose -2*a - 5*y + 37 = 2*a, -3*a + 29 = 4*y. Is a/(-12) + (-1364)/(-16) a multiple of 3?
False
Suppose -47*b + 24346 = -40*b. Let h = -2438 + b. Is h a multiple of 52?
True
Is -3295*11/550*-10 a multiple of 4?
False
Suppose 0 = -4*z + 2*c - 16948 + 1726, -c - 7605 = 2*z. Let t = 5423 + z. Is t a multiple of 81?
False
Let g(b) = 24*b - 21. Let t be g(5). Let w = t - 91. Suppose w*k - 5*k - 9 = 0, -k + 237 = 3*l. Does 13 divide l?
True
Let v(w) = -30*w - 88. Let f be v(-3). Suppose -f*p - 785 = -u, -2*u - 3*p = -6*p - 1575. Does 59 divide u?
False
Suppose 2267508 = 75*w + 147*w. Is 44 a factor of w?
False
Let z(w) = -w**2 - 13*w - 12. Let q be z(-7). Let s = 18 + q. Is s a multiple of 12?
True
Let l(b) = 2*b - 147. Let m(u) = 6*u - 441. Let o(t) = -7*l(t) + 2*m(t). Is 49 a factor of o(0)?
True
Suppose -5*q + 2*q + 10 = -5*n, 0 = -2*q + 4*n + 6. Suppose 20 = q*l, -v + 0*v + 380 = -3*l. Is v a multiple of 29?
False
Let m be (-188)/(-4)*(17 + (0 - -2)). Suppose 4*b - m - 599 = 0. Suppose 0 = -5*x - 133 + b. Is x a multiple of 6?
True
Does 7 divide (2/4)/(-1) + 22204/8?
False
Suppose -25*k = -2548 - 6352. Let n = -173 + k. Is 11 a factor of n?
False
Let l(r) = -r**3 - 9*r**2 - 19*r - 32. Let n(x) = -x**3 - 4*x**2 + 4*x + 11. Let z be n(-3). Is 6 a factor of l(z)?
True
Let c(q) = -q**3 - 14*q**2 + 14*q - 15. Let g be c(-15). Suppose -3*j = 4*s - 750, g = -5*s - 3*j + 614 + 322. Is s a multiple of 8?
False
Let c(x) = 3*x**3 + 37*x**2 + 20*x - 9. Let k be c(-11). Let s = k + -252. Does 3 divide s?
True
Suppose 2*c - 1394 = n, 0 = -3*c + 156*n - 164*n + 2148. Does 10 divide c?
True
Let w(o) = -o**2 + 114*o - 1156. Is w(60) a multiple of 6?
False
Let i be 8/12 - 695/(-15). Let t = -48 + i. Let z = 61 + t. Is z a multiple of 20?
True
Let t be 5/(-1) + 10 + -5. Suppose t = -f - 3*z + 935, f + 3*z - 2775 = -2*f. Suppose 0 = -21*l + 17*l + f. Does 23 divide l?
True
Is 7 a factor of 12/(-60)*55 - -5439?
False
Suppose -1299 = -5*a - 4*b, 4 = 18*b - 19*b. Let s = 286 - a. Does 2 divide s?
False
Let r(o) = -4*o + 31. Let l be r(7). Suppose -2332 = 8*z + l*z. Is 20 a factor of (2 + z)*6/(-7)?
True
Let w = -288 - -544. Suppose 0 = -4*o - 2*u + w, -2*u - 116 = -2*o + 3*u. Is o a multiple of 9?
True
Suppose -19*l - 1469 + 37037 = 0. Suppose 0*p 