*v + j - 5 + 10, -j - 5 = -4*v. Suppose v = -5*q + 673 + 1032. Is 58 a factor of q?
False
Let t = 1580 + -1200. Is 95 a factor of t?
True
Let v(m) = -m**2 - 17*m - 13. Let y be v(-16). Suppose -u + y*z = -7, 3*z + 5 = -3*u + 14. Suppose 12 = -2*k + 4, -u*j + 3*k = -56. Is j a multiple of 11?
True
Suppose -22*m + 71*m - 1565200 = -21*m. Is 32 a factor of m?
False
Suppose -26*n + 9450 = 19*n. Does 15 divide (7 + -3)/(-8) - n/(-4)?
False
Let d = -115 + 95. Let p be (-6 - d*1) + -1 + -3. Suppose -639 = -p*z + 1. Is z a multiple of 26?
False
Suppose 740 = 7*j - 5*j. Suppose -323 = w + z, -4*w + 2*z - j = 928. Let s = -60 - w. Is 13 a factor of s?
False
Let k = -307 + 309. Let o(y) be the first derivative of 7*y**4/2 + y**2 - 2*y - 1. Does 19 divide o(k)?
True
Let l(t) = 87*t**3 - 12*t**2 + 24*t - 7. Is 16 a factor of l(5)?
True
Let i be (-139)/(-5) - 2*(-4)/40. Suppose 5*h - 2164 = 2*a, 4*h - i*a + 30*a = 1724. Is 36 a factor of h?
True
Suppose 5*k = d + 2*d + 1295, -3*k + 4*d = -788. Is 5 a factor of 129/4*k/24?
False
Let g = 7919 + -4079. Does 6 divide g?
True
Let a = -17838 + 43075. Is 16 a factor of a?
False
Let g(m) = -71*m + 3191. Is 12 a factor of g(-95)?
True
Let x = 4993 - 4918. Is 15 a factor of x?
True
Suppose -10*y + 0*x = 5*x - 28820, -5*x + 11546 = 4*y. Is 3 a factor of y?
False
Let l(k) = 3*k**2 - 78*k + 53. Let q be l(25). Let t(r) = -39*r - 288. Is t(q) a multiple of 19?
True
Suppose -5*u = -4*u + 7. Let v = -13 + 9. Is (2/v)/(u/238) a multiple of 13?
False
Suppose -10*w = -5*a - 9*w + 1763, 4*a = -4*w + 1420. Let p = 521 - a. Is p a multiple of 24?
True
Let n(o) = 6 - 19*o + 9 + 18*o. Is 13 a factor of n(-11)?
True
Let v = -12568 + 19508. Is v a multiple of 10?
True
Let c = -251 + 237. Is 17 a factor of 5754/49 + (-8)/c?
False
Let v(w) = -5*w + 25. Let o be v(5). Is o*(-5)/15 + 456/3 a multiple of 38?
True
Suppose 2*x + 22 = m, 5*m + 5*x - 34 = 31. Suppose n + 11*i = m*i + 509, -1 = i. Is 18 a factor of n?
True
Let z(x) = -2*x**3 + 12*x**2 + 7. Let s = 61 + -55. Let k be z(s). Suppose -456 = -5*b - k*b. Is 5 a factor of b?
False
Let t(r) = 2*r**3 - 45*r**2 + 92*r - 86. Does 61 divide t(27)?
False
Let r = 35820 + -24788. Is 28 a factor of r?
True
Let z(h) be the first derivative of -7*h**2 - h - 1. Let y be (-3 - 18/(-4))/(3 - 13/4). Is z(y) a multiple of 9?
False
Suppose -9*x + 4*x - 20 = 0. Let n be -3 + 3 + x + 4. Suppose -7*z + 407 - 99 = n. Is z a multiple of 11?
True
Let q be 11 - ((-22)/8 - 5/20). Let n be 2337/(-95) + (q/(-10) - -1). Let b = 81 - n. Is b a multiple of 22?
False
Is 25 a factor of (-131334)/28*18/(-63)*(-2 - -9)?
False
Suppose 4*m - 15 = -7. Let l(i) = 123*i - 30*i - 1 - 3. Does 26 divide l(m)?
True
Let j be (94/(-5))/((-37)/925). Suppose j*w - 478*w = -2040. Does 3 divide w?
True
Suppose -3*f + 6 = 5*l - 8, 4*l - 4 = 0. Suppose 7*t + f*t - 1980 = 0. Is t a multiple of 22?
True
Let l = 8501 + -7754. Is l even?
False
Suppose -9*s = 726 - 2202. Is 41 a factor of s?
True
Suppose 27 - 1429 = -66*q + 1238. Let p(c) = -c**3 - c**2 + c - 45. Let d be p(0). Let o = q - d. Is 51 a factor of o?
False
Let b(v) = 4 + 7*v - 2*v + 5 - 14*v - 68*v**2. Let u be b(3). Is (3/(-2))/(3787/u - -6) a multiple of 15?
True
Let g(l) = 749*l**2 + 1. Does 25 divide g(1)?
True
Suppose 2*z = 5*g + 4689 + 4521, -5*z = -4*g - 22974. Does 34 divide z?
True
Suppose -4*w - w - 220709 = -3*y, 3*y - 220704 = 6*w. Is 12 a factor of y?
False
Let p = 2765 - 1019. Suppose 7*s - p = 1208. Is s a multiple of 28?
False
Is 51 a factor of ((-171)/4)/(237/(-34760))?
False
Let m(u) = -37*u + 262. Let i be m(7). Suppose 2*s + i*b = 129 + 316, -5*b = 2*s - 443. Is s a multiple of 56?
True
Suppose y - 2*f - 4604 = 0, 0*y - y = 7*f - 4541. Does 170 divide y?
True
Suppose 0 = -5*z + 5*t + 25 + 140, 60 = 2*z - 5*t. Let p = -11418 + 11420. Suppose z = -p*f + 245. Does 21 divide f?
True
Let a = 107 - 27. Let p be (-309)/(-6) + (-1)/(-2). Let f = a + p. Does 26 divide f?
False
Let m(a) = 33*a - 3642. Does 10 divide m(145)?
False
Suppose 158*i - 164*i + 1254 = 0. Suppose -10*w - i = -11*w. Does 20 divide w?
False
Let m(i) = 19*i**2 - 29*i - 28. Let b be m(-14). Suppose 0 = -12*q + 890 + b. Is q a multiple of 26?
True
Suppose 39*t + 764 = 38*t. Let w = t - -796. Is w a multiple of 16?
True
Let j be (13 - 19)*-2*2521/12. Is 19 a factor of j + 0/(4 - -1)?
False
Let a be 0 - (23/2*-2 + 3). Suppose -4*t = q - 12, t - 5*q + q = a. Suppose -114 = -t*c + 102. Is c a multiple of 18?
True
Suppose 3*n + 4*o + 6 - 157 = 0, -3*n + 196 = -5*o. Suppose 2*t = -4*p + n + 133, -5*t = -2*p - 415. Does 9 divide t?
False
Suppose -5*k + 4*l = -3*k - 4, 4*k = 3*l + 33. Let a be -2*(k/15 - (-9)/(-5)). Suppose 3*o + 36 = -a*s + 158, -4*s = -o + 64. Is 6 a factor of o?
False
Suppose -5*u + 3 + 7 = 0. Suppose 66 + 60 = u*y. Suppose 5*i - y = -r, 0 = 4*r + 2*i + 53 - 269. Is r a multiple of 18?
False
Let r(y) be the second derivative of -25/3*y**3 - 15*y + 1/2*y**2 + 0. Is r(-1) a multiple of 17?
True
Let l(h) = 18716*h**2 - 14*h - 19. Does 51 divide l(-1)?
False
Let g = 29 - 11. Suppose 21 = m + g. Suppose -m*p + 4*p - 25 = 0. Is p a multiple of 25?
True
Suppose -5742 = -d - 2739. Does 27 divide d?
False
Suppose -4*p - 3*f + 188160 = -0*p, 0 = -p - 5*f + 47040. Does 30 divide p?
True
Suppose -3*w + d + 3 = 0, 19 = 5*w - d + 4*d. Suppose -w*z + 501 = -3*l - 5*z, -3*z + 359 = -2*l. Let h = 321 + l. Does 8 divide h?
False
Does 41 divide (-13 + -13 + 32)/((-5)/((-18870)/9))?
False
Let u = -1683 - -2361. Does 3 divide u?
True
Suppose -34864 + 31064 = -4*y. Does 25 divide y?
True
Let k(i) = -i**3 + 21*i**2 - 5*i + 13. Let v be k(11). Let r = v + -220. Does 33 divide r?
False
Let a(g) = 2*g**3 + g**2 + 43*g - 38. Does 37 divide a(8)?
False
Let d(r) be the second derivative of -r**4/12 - 14*r**3/3 + 53*r**2/2 - r - 12. Does 63 divide d(-16)?
False
Let c(v) = -24*v**3 - 5*v**2 + 63*v + 390. Is c(-6) a multiple of 38?
True
Suppose -5*n + 2463 - 703 = 0. Let w = -181 + n. Suppose -14*d + 1579 = -w. Is d a multiple of 8?
False
Suppose 46*z - 26364 - 95858 = 0. Is z a multiple of 17?
False
Let v be (-7300)/(-4) - (12 - 7). Suppose -v = -4*i + 820. Is 60 a factor of i?
True
Let k = -9049 - -13405. Is 33 a factor of k?
True
Let v(b) be the third derivative of -b**4/24 + 14*b**3/3 + 15*b**2. Let n(x) = x**3 - 5*x**2 + x + 9. Let d be n(5). Is 7 a factor of v(d)?
True
Suppose -2*g = 2*t - 2696 - 9448, -g = 2*t - 12140. Is t a multiple of 148?
True
Let t be -5*5/(-100) + 69/12. Suppose t*q - 15 = 33. Suppose 32 + 112 = q*p. Is 3 a factor of p?
True
Suppose 25*m = 36*m - 1727. Suppose p - v - 238 = 0, m = -2*p + 4*v + 635. Does 47 divide p?
False
Is 2 a factor of (10/(-4) - -1)*(-3831 + 3 + -24)?
True
Let j be (13 + (0 - 3))/(1/142). Suppose 5*v + k - j = 0, 3*v - 864 = -2*k - k. Suppose -4*y = 3*a - 2*y - v, y + 463 = 5*a. Is a a multiple of 14?
False
Let d = 1611 + -915. Suppose -3*z = -d - 624. Is z a multiple of 8?
True
Let k be (5 + 5 + -39)/1. Let h(t) = -t**2 - 27*t + 61. Let q be h(k). Let c(m) = 6*m**3 - m**2 - 3*m - 7. Is c(q) a multiple of 19?
False
Let n = 26 + 115. Let g = n - 38. Let t = -64 + g. Is 13 a factor of t?
True
Let c be (32/12)/(2/3). Let x(g) = c - 1 - 8 - g + g**2. Does 21 divide x(-10)?
True
Let y = 648 - 650. Is 1/(2/(-4)) + (-934)/y a multiple of 55?
False
Let q(f) = f**2 - 3*f. Let y be q(5). Suppose 0 = -5*o + 5 - 75. Let l = y - o. Is l a multiple of 6?
True
Let f(b) = b**2 + 18*b - 3. Let c be f(5). Suppose -76 = 6*s - c. Does 2 divide s?
True
Let w be ((-40)/(-3))/(12/(-18)). Let c(g) = 2*g**3 + 40*g**2 - 2*g + 48. Is c(w) a multiple of 8?
True
Let s be (12/9)/(2/(-3)). Let f be (-543)/(-18) - s/(-12). Suppose 2*q - 85 = t, -q + 2*t + f = 4*t. Does 20 divide q?
True
Let u(l) = 4*l + 26. Let m be u(-6). Suppose -m*n = -5*f - 95 - 105, 0 = 5*f. Is n/12*(17 + -2) a multiple of 25?
True
Let u = 2230 + 353. Is u a multiple of 21?
True
Let m(i) = -143*i - 3020. Is m(-28) a multiple of 4?
True
Let a(g) = -g - 6. Let k be a(-9). Suppose -3*m = 2 - 11, -k*b = -2*m + 114. Let h = b + 42. Is h a multiple of 3?
True
Let w be 48/27*108/24. Suppose 4*j = w*j - 296. Is j a multiple of 37?
True
Let g be 2*(5 + -42)*-4. Suppose -g = 11*o - 2716. Does 10 divide o?
True
Let r(q) = 36*q - 1