*q = -21*q + 3185. Is 1*(q/(-3))/((-8)/(-24)) a multiple of 38?
False
Suppose 3*k - 6 = -0. Suppose -4*z + c = -301, -4*c = k*z - 0*c - 128. Let p = z - 13. Is 7 a factor of p?
False
Let z(t) = 136*t + 2572. Does 4 divide z(37)?
True
Suppose 2*r + 4*m = 8, r - 4*m + 2 + 0 = 0. Suppose 3*n = 8*n + 20, -3*n - 8 = r*p. Suppose 4*y = -2*q + 294, p*q - 2*y = -3*q + 735. Does 41 divide q?
False
Let h(w) = 244*w - 221. Is 5 a factor of h(12)?
False
Suppose 3781 + 1679 = 91*m. Does 15 divide m?
True
Is (-1)/(6/(-27))*(104 - 20) a multiple of 18?
True
Does 21 divide (1115946/1729)/(3/147)?
True
Let j = 4844 - 2905. Let x = -1191 + j. Is x a multiple of 17?
True
Is 32 + 12691/(-392) + (-134374)/(-16) a multiple of 34?
True
Does 54 divide (-1)/10 - 1/(50/(-376505))?
False
Let o(u) = 6*u**2 + 8*u + 6. Let h be (-1)/(((-4)/(-14))/(1 + -3)). Is o(h) a multiple of 72?
False
Let x = 192 - 217. Does 41 divide 4 - (x/(-50) - 2610/4)?
True
Let z be 4 - (5 + (-7 - -3)). Suppose 19*f = 20*f + 5, -37 = -j - 2*f. Suppose -z*o + 1 = -j. Does 4 divide o?
True
Let b be (-2)/(((-160)/(-12232))/(-10)). Suppose -170*l + 181*l = b. Is l a multiple of 37?
False
Let w(y) = -26*y - 14. Suppose 35*i = 30*i + 75. Suppose -6 - 4 = -3*u - 5*c, -4*u - i = c. Does 15 divide w(u)?
False
Let o be (-58)/((-12)/42*1). Is (o/7)/((-2)/(-10)) a multiple of 29?
True
Let g(o) be the second derivative of o**4/12 - o**3/2 - 13*o**2/2 + 23*o. Let d be g(5). Is 11 a factor of (d + (-59)/(-3))/((-6)/(-45))?
False
Let q(o) = o**2 - 5*o + 5. Let a be 1/3 + (-66)/(-18). Let c be q(a). Does 12 divide 2*(0/c - -18)?
True
Let f be ((-15)/6 - -2)*-36. Let g(p) = p - 14. Let b be g(f). Let r(d) = d**3 - d + 5. Is 16 a factor of r(b)?
False
Let l(f) be the first derivative of -f**4/4 + 4*f**3/3 - f**2 - 6*f - 103. Is l(-2) a multiple of 3?
False
Suppose 54*o - 3503 - 4759 = 0. Suppose 0*h + 51 = h + w, 2*w = -3*h + o. Is 10 a factor of h?
False
Suppose 7*f = -3*f + 3490. Suppose 0*r = 4*r - 2*p - 1306, r - f = 5*p. Suppose 12*a - 480 = r. Does 10 divide a?
False
Let l(k) = 3*k**3 - 73*k**2 - 78*k + 135. Does 97 divide l(30)?
True
Suppose 13*c = 15*c - 5408. Suppose c = 7*g + 19*g. Does 13 divide g?
True
Let g = 19926 + -2826. Is g a multiple of 90?
True
Suppose -10*m - 5484 = 256. Let s = m - -664. Is s a multiple of 10?
True
Suppose 59361 = 76*c - 28419. Is c a multiple of 15?
True
Let x(b) = 3*b**3 + b - 1. Let s be x(1). Suppose -s*f - 4*n + 247 = -0*n, 0 = 3*f - n - 257. Let z = f + -56. Is 2 a factor of z?
False
Suppose -i = 4*i - 40. Let h be -29*(-3)/(-12) + 2/i. Let v(j) = -6*j - 15. Is 9 a factor of v(h)?
True
Let l be (6/4)/((-18)/(-60)). Suppose l*n = -3*j + 98, 4 = 4*j - 0. Let p = 28 - n. Does 9 divide p?
True
Suppose 0 = -5*p - 3*t + 3192, -2*p + 6*p = -t + 2555. Let k = p - 403. Is k a multiple of 12?
False
Is (-6 - 40/(-7))/(1/(-58478)) a multiple of 84?
False
Let l(w) = -w**3 - w - 4. Let a be l(-2). Suppose -a*f + 146 + 10 = 0. Suppose -f*b = -23*b - 378. Is 18 a factor of b?
True
Let b(k) = -k + 24. Let v be b(8). Let u be (-10)/(-25) + v/10. Suppose 3*r = u*r + 64. Does 17 divide r?
False
Let a = -2035 - -1938. Suppose 2*y + 1116 = 2*n + 212, -y - 2252 = -5*n. Let h = n + a. Does 20 divide h?
False
Let s = -693 + 378. Let l = s - -702. Does 51 divide l?
False
Let m(t) = t**3 + 7*t**2 - 8*t + 7. Let p = 20 - 15. Suppose -q = 4 - 0, p*d - 3*q + 28 = 0. Is m(d) a multiple of 7?
True
Let b(y) = 22*y + 47. Let q be b(-2). Suppose 3*i - 4*w = -0*w + 364, -q*w = -6. Does 4 divide i?
True
Suppose -21*s + 1585 = -7*s + 115. Is 7 a factor of s?
True
Let g = 146 - 140. Let u be g/4*(-2 - -4). Suppose u*c - 3*s + 7*s = 694, -c = -3*s - 227. Is c a multiple of 34?
False
Let f(i) = 550*i**2 + 4*i - 4. Let z be f(1). Suppose 5*l = -5*w + z, 1 = 4*l - 3. Is 22 a factor of w?
False
Suppose -142*h = -138*h - v - 2457, 3*h + v - 1855 = 0. Is 7 a factor of h?
True
Let o = -2 - 2. Is 46 a factor of (690/o)/(42/(-112))?
True
Suppose 24*p - 221 = 115. Suppose -p*i - 2*m - 2144 = -18*i, 2677 = 5*i - 4*m. Does 36 divide i?
False
Let t be 1076/12*-12 - (0 - 2). Let r = t - -2663. Is 30 a factor of r?
False
Let f(p) = -3*p**3 - 2*p**2 + 4*p - 4. Let b be f(5). Let w = 760 + b. Is w a multiple of 17?
False
Let m(f) = f**2 - 4*f + 420. Let z = -484 + 484. Is 7 a factor of m(z)?
True
Is 8235 + (-63)/168 + 42/32*-2 a multiple of 4?
True
Let x(m) = -2456*m - 1097. Is x(-10) a multiple of 99?
True
Let c be ((-8)/10)/(-4 - 242/(-60)). Let w = 39 + c. Is 6/2*(-2)/((-18)/w) a multiple of 5?
True
Suppose 2*v + 328 - 739 = 2749. Is 20 a factor of v?
True
Let g = -941 + 1400. Suppose 6*o + 4*t - 1065 = 11*o, -5*t - g = 2*o. Let k = o - -457. Does 15 divide k?
True
Let i = 9032 - 3288. Does 11 divide i?
False
Let x(f) = 3135*f - 92. Is x(2) a multiple of 32?
False
Let p = 69979 + -48322. Is p a multiple of 20?
False
Is ((-3)/3 + -1 + -18 + 22)*1699 a multiple of 8?
False
Suppose 0 = -5*u - 5*k + 55215, 2*u - 108*k = -111*k + 22079. Does 24 divide u?
False
Suppose -288 = -6*b - 10*b. Suppose -b*z = -24*z + 2424. Is z a multiple of 50?
False
Suppose 1420624 = 11*h + 3*a + 324572, -a - 498196 = -5*h. Is 12 a factor of h?
False
Let u = -225 - -146. Let v = u + 79. Suppose -3*d - 521 = -4*y, v*y - y + 4*d + 140 = 0. Does 33 divide y?
False
Let k(a) = 7*a**3 - 9*a**2 + 29*a - 170. Does 13 divide k(14)?
True
Suppose -9*j - 325006 = -80*j - 79346. Is j a multiple of 20?
True
Suppose 0 = -3*a + 4*l + 4126, 4130 = 3*a - l - 4*l. Does 7 divide a?
False
Let a(v) be the first derivative of v**4/2 - 4*v**3 - 3*v**2 - 4*v - 3. Suppose -6 = -2*j + 5*y + 8, -4*y - 21 = -3*j. Does 14 divide a(j)?
False
Let m = -9634 + 33615. Is 15 a factor of m?
False
Let t(u) = 527*u**2 + 20*u - 3. Is 100 a factor of t(3)?
True
Let s = 1549 + -340. Suppose -b + 2*b + 241 = z, 3*b = 5*z - s. Is 38 a factor of z?
False
Suppose 4 = p + 4*a, 2*a = -p - p + 8. Suppose -380 = -p*k + 684. Does 10 divide k?
False
Suppose -3*i = -4*i + 3. Suppose -i*w + 1162 = 5*x, -x = 3*x + 2*w - 930. Suppose 9*y - 10 = x. Does 24 divide y?
False
Suppose 8 + 12 = -5*b. Let n(w) = 2*w + 10. Let t be n(b). Is 16 a factor of 49 + ((-1)/(-1) - t)?
True
Let z(v) = -3*v**2 - 16*v + 43. Let x(l) = -5*l**2 - 24*l + 65. Let p(h) = -5*x(h) + 8*z(h). Let j be p(5). Is (-20)/j - 418/(-2) a multiple of 52?
False
Let d(b) = 6*b**2 + 57*b + 2520. Is 237 a factor of d(-53)?
True
Let j = -5917 - -14155. Is j a multiple of 118?
False
Suppose k + 3*g - 7786 = 0, -2*g = -4*k + 46097 - 15037. Does 8 divide k?
True
Let i = 161 - 29. Suppose 4*m = 7*m - i. Is 4 a factor of m?
True
Let i = 606 + -576. Suppose 28*o + 1874 = i*o - 2*n, -2*o + 1862 = 4*n. Is 55 a factor of o?
True
Let y(f) = -21*f**2 + 158*f + 16. Is 20 a factor of y(4)?
False
Suppose 7*t - 33 = 2. Suppose 0 = 2*a - 3*k + 1, -t*a = -2*k - 16 + 2. Suppose a*d - 2 - 23 = p, -4*p - 16 = -2*d. Is 2 a factor of d?
True
Suppose -54 = 26*x - 20*x. Let m(w) = -w**3 - 11*w**2 - 13*w + 17. Let g be m(x). Let t = g + 50. Is 11 a factor of t?
True
Suppose 0 = z + 2*m + 13, z = -2*m + 3*m - 19. Let y be (-1)/((-3)/z) - 18/(-27). Does 38 divide 1/y + 2888/40 + 4?
True
Suppose -12 = 4*r, -5*q + 13 = -5*r - 2. Suppose 2*s - 146 - 274 = q. Does 16 divide s?
False
Suppose 111*d - 195*d = -714336. Does 105 divide d?
False
Suppose 5*j = -5*g + 365, -5*g + 16 = -5*j - 339. Suppose 3*x = t - 4*t + 102, g = 2*x + 3*t. Suppose 34*h - 384 = x*h. Does 12 divide h?
True
Let v = 153733 + -86958. Does 25 divide v?
True
Suppose -11*a + 39 = -5. Suppose -186 = -a*d - 5*v - 25, 0 = -2*d + 2*v + 58. Is d a multiple of 17?
True
Let z = 17160 - 9636. Does 18 divide z?
True
Suppose 185*a - 3118618 - 1691382 = 0. Is a a multiple of 15?
False
Let y(t) be the second derivative of 4*t**3/3 - t**2 + 12*t. Let q be y(-5). Let r = -15 - q. Is 6 a factor of r?
False
Let m = -34 - -29. Let h(c) = -c**3 - 4*c**2 + 7*c + 7. Let p be h(m). Is 1*(41 - p/3) a multiple of 14?
True
Let t = -1470 + 1463. Let m(w) = w**2 - 9*w - 3*w**2 + 4 + w**2. Does 2 divide m(t)?
True
Suppose 3*b + 4*d - 17618 = 0, -5*b = 15*d - 19*d - 29342. Is 6 a factor of b?
False
Let q(m) = 82*m**2 + 79*m + 45. Is q(-8) a multiple of 59?
True
Does 14 divide (-100712)/(-28) + 32/28?
True
Let o = -20 - -22. Suppose