rue
Suppose -2*v - 5*w = -6537, 315*w - 310*w + 16395 = 5*v. Is v a multiple of 117?
True
Let v = 52 - 55. Let c be v/(-9) + (-16)/12. Does 4 divide (6 - 2)*c*-2?
True
Suppose -4*k - i = -6120, -3*i - 2117 - 5533 = -5*k. Does 34 divide k?
True
Suppose -2632 = 58*h - 938230. Is 57 a factor of h?
True
Is ((-1860)/150 - 14)*(-846 - -1) a multiple of 33?
True
Let i = 2 + 2. Suppose q - 6 = -u, -i*u + 3 + 5 = 0. Suppose -q*y = -4*n + 272, 5*y + 65 = 3*n - 135. Is n a multiple of 14?
True
Let m be -35*24/9*(-30)/28. Is 37 a factor of 96192/m + 16/200?
True
Is 12 a factor of (0 + -3)*164500/(-60)?
False
Let z be -2*(169/2 - -6). Let a = z + 440. Does 9 divide a?
False
Let f(r) = -5*r + 6*r**2 + 20*r**2 + 5068 - 5080. Is f(4) a multiple of 24?
True
Suppose -4*t = f - 18, -5*t + 5*f + 36 = 1. Is 25 a factor of (-4)/(-4)*46 + 20/t?
True
Suppose 1470 = -11*w + 16*w. Let v = -97 + w. Let f = 335 - v. Does 25 divide f?
False
Let b(d) = 339*d - 315. Does 17 divide b(8)?
True
Let p(a) = 2 - 4 + a**2 + 3 + 5 - 5*a. Let m be p(3). Suppose m*u - 960 = -10*u. Is u a multiple of 24?
True
Let p(h) = -48*h**2 - h - 4. Let d be p(-2). Let v = d + 353. Suppose 399 - v = x. Does 12 divide x?
True
Let j be (-392)/(-7) - 4/(-1). Is 10 a factor of (-5)/10*-1*j?
True
Let l(t) = -t**3 + 15*t**2 + t - 1. Suppose 9*k - 5*k = 28. Does 17 divide l(k)?
False
Suppose -2*m + 5 = 5*t, 3*m - 2 = t - 3. Suppose 0 = -m*u - 15*u. Suppose 2*z + 4 = 0, -3*l + 637 = z - u*z. Is l a multiple of 31?
False
Let r = 19008 - 15105. Is 17 a factor of r?
False
Suppose -3*r + 14 = -0*r + 2*a, -41 = -2*r + 5*a. Suppose -11*v + 6 = -r*v. Does 23 divide (202/v)/(1 + 0)?
False
Let l(p) = -16*p**3 + 17*p**2 + 60*p + 19. Is l(-4) a multiple of 58?
False
Let g be 128 + (-8)/2 + (-16)/(-4). Does 16 divide -5 + (g - -2) + -3?
False
Let d be -4 - (-1 + (-25)/(-5)). Is (-48)/12 + (-4)/(d/26) a multiple of 4?
False
Let o(d) = -4 + 4*d**2 - 1 + 23. Is o(-12) a multiple of 54?
True
Let n = 2549 + 5829. Is n a multiple of 92?
False
Suppose 0 = h + 4*r - 4570, -1312*r = -3*h - 1309*r + 13665. Is 39 a factor of h?
False
Let n be 1/(-10) - 53/(-530). Suppose 3*m - 512 = 5*b, -5*m + 11*b - 14*b + 842 = n. Does 13 divide m?
True
Let z be (12/20)/((-3)/(-10)). Let q be ((-21)/(-3))/(z/34). Let r = q - 69. Is 25 a factor of r?
True
Let y = -19308 + 33814. Suppose -21*t + y - 205 = 0. Does 14 divide t?
False
Suppose 5*s - 20 = -4*c, 0 = -c - 2*s - 0 + 2. Let d(n) = -n + 26. Let f be d(c). Is 7 a factor of 3*f/(-12)*70/(-8)?
True
Suppose -28*z + 2313 + 1024 = 201. Is z a multiple of 7?
True
Let z = -7 + 13. Suppose -47 = -2*k + c, -4*c + z*c - 2 = 0. Is k a multiple of 6?
True
Let a = -3330 - -5090. Does 44 divide a?
True
Suppose 143 + 487 = -6*n. Let j = n - -314. Is j a multiple of 7?
False
Let a(m) = -3*m**3 + 19 + 6*m**2 - m - m + 2*m**3 - m. Suppose 18 = 7*c - 17. Does 29 divide a(c)?
True
Let d = -27454 - -68898. Is 26 a factor of d?
True
Suppose -3*n = -7*n + 24. Does 5 divide 52 + (n + 2 - 5)?
True
Let w(x) = x**3 + 23*x**2 - 43*x + 126. Let c be w(-23). Let t = c - 699. Does 11 divide t?
False
Suppose -k + 5*i = 2*k - 1100, -4*i - 16 = 0. Let t = -297 + k. Does 3 divide t?
True
Let l = 16054 - 7450. Is 36 a factor of l?
True
Let c(p) = 11*p + 126. Let w(g) = g**2 - 2*g. Let k(u) = -c(u) + w(u). Is k(-10) a multiple of 13?
True
Suppose 5*f - 2295 = -3*x + 1830, -825 = -f + 4*x. Is 275 a factor of f?
True
Let c(u) = u**2 + 16*u + 1700. Is 55 a factor of c(72)?
False
Suppose -4*i + 70 = 3*i. Let u be 1*-2*(-35)/i. Suppose m - 40 = -u. Is m a multiple of 11?
True
Let l be (-3)/18 + (-38)/(-12). Suppose -2*m = -4, -3*y = 2*y + l*m - 791. Let c = -85 + y. Is 18 a factor of c?
True
Let f(r) be the second derivative of -r**5/20 - 19*r**4/12 - 11*r**3/6 - 22*r**2 + 89*r. Is 11 a factor of f(-19)?
True
Let d be (-4)/(-2) + (22 - 1). Let t = 12 + d. Let o = -33 + t. Is o even?
True
Let q(o) = o - 7. Let d = 33 - 25. Let f be q(d). Is 10 a factor of 510/17 + (1 - f)?
True
Let y be (16/(-48))/(2/(-12)). Suppose 0 = y*j - 1679 + 533. Suppose g - 2*l + 39 = 196, 4*g + 3*l - j = 0. Does 21 divide g?
True
Suppose 2*c + 7*y = 12*y - 7, -3*y = 2*c - 17. Suppose c*s = 2275 - 711. Is s a multiple of 22?
False
Let u be 33/(-22)*(-2)/(-3). Let i be (-16)/(4/3*u/18). Is (-4)/(-18) + (-4)/(i/(-9222)) a multiple of 11?
False
Suppose 107 = 2*p - 5*v, -p - 133 = -4*p + 2*v. Suppose 19 + p = 6*d. Is (-95)/(-2) - (1 - 15/d) a multiple of 4?
True
Let r(w) be the second derivative of -5*w**5/4 + w**4/6 - w**3/3 + w**2/2 - 17*w. Let s be r(1). Does 4 divide 1/(-2 + (-51)/s)?
True
Let l = 81 - -193. Let m(b) = b + 6. Let h be m(-4). Suppose 3*a - 276 = 3*s, 3*a + h*s - 4*s - l = 0. Is a a multiple of 18?
True
Suppose 155*a - 257087 - 270536 = -202898. Is a a multiple of 76?
False
Let k(u) = -u - 2. Let x be k(-5). Suppose -5*j - o = -8451, 0*o - x*o = -4*j + 6776. Suppose 7*l - j = 94. Is l a multiple of 46?
False
Let x = 16448 + -13936. Does 8 divide x?
True
Suppose -1 = -p, 0*v + 5*p = 2*v - 27. Let n = v + -11. Suppose -45 = n*r - 460. Is 14 a factor of r?
False
Suppose -5*a + 2*u + 1235 = 0, -5*u - 13 - 12 = 0. Suppose 5*m - 331 = m + 3*c, 3*m = -c + a. Suppose 3*i - 2*i + 4*y = m, -i + 112 = -2*y. Is 34 a factor of i?
True
Suppose -k - 3*k + 3*x = -307, -380 = -5*k + 3*x. Let y = -44 + k. Suppose y*g = 34*g - 170. Does 34 divide g?
True
Does 34 divide (-70674)/5*(-80)/48 + (3 - -1)?
True
Let j be (6 + -1137)*(4/(-3) + 1). Suppose 9*i + j - 44 = 0. Is 12/8*i*-2 a multiple of 11?
False
Let n be 6 + -2 + (8 - 10). Suppose 6*c - n*c - o = 23, -4*o = -4*c + 32. Suppose -c*r + 50 = 3*g, r - 2*g - 7 - 3 = 0. Is 5 a factor of r?
True
Let w(j) = 4*j**2 + 4*j + 1. Let m(c) = -9*c + 43. Let u be m(5). Is w(u) a multiple of 2?
False
Suppose 11*q = -q + 132. Is (-6)/15 - q/((-440)/40456) a multiple of 54?
False
Let j be ((-3)/(36/(-24)))/(1/(-135)). Let m = j - -357. Is 32 a factor of m?
False
Suppose f + q = 2*f - 2, -26 = -f - 5*q. Let x(d) = -d**2 - 22. Let n be x(f). Let i = -16 - n. Is i a multiple of 11?
False
Let f(a) = 16*a + 5. Let z be f(-3). Let j be -1*(-8)/36 - z/9. Suppose 0 = -4*t - 8, 0*x + 220 = 2*x - j*t. Is x a multiple of 15?
True
Let d = -22473 - -27567. Is d a multiple of 18?
True
Let p(q) = -q**3 - q**2 - q. Let h(f) be the first derivative of -5*f**4/4 + 2*f**3 + 5*f**2/2 + 51. Let r(t) = h(t) - 6*p(t). Is r(-8) a multiple of 30?
False
Suppose -4*h = -7*h - 3*r + 1320, -428 = -h - 4*r. Let c = -743 + h. Let m = c + 422. Is m a multiple of 26?
False
Let f be (-1)/(4/14 - 11/14). Suppose -7*a + a = -f*a. Suppose a*h = 6*h - 180. Does 3 divide h?
True
Let q = -611 - -613. Is 12 a factor of (q - -8)*(-2964)/(-130)?
True
Let i be (-3884)/(12/(-3)) + -3. Let n = i - 520. Does 28 divide n?
True
Let s(c) = -c**2 + 32*c + 9. Let p = -216 + 220. Does 16 divide s(p)?
False
Is 182 a factor of (77550/423)/(4/438)?
False
Let n = 22026 - 11401. Is n a multiple of 74?
False
Suppose 0 = -3*h + 2*j + 15179, -40*j + 35*j - 5090 = -h. Is 17 a factor of h?
False
Suppose 5*a = -2522 + 952. Let i be a/(-6) - (-12)/(-9). Let b = i + 5. Does 18 divide b?
False
Is (3 + (-6374)/(-14))/((-11)/((-616)/16)) a multiple of 47?
False
Let y = 22249 + -20017. Is y a multiple of 12?
True
Let n(j) = 20044*j + 3824. Does 140 divide n(2)?
False
Let h(m) be the third derivative of 19*m**5/60 + 11*m**4/24 + 41*m**3/6 + 202*m**2. Does 8 divide h(-4)?
False
Let h = 1107 + 2364. Does 39 divide h?
True
Suppose -35 + 89 = 6*c. Suppose n - 7*s = -c*s + 944, 1915 = 2*n - 5*s. Is 17 a factor of n?
False
Let r(y) = 2*y - 2. Let m be r(2). Suppose 10*f = m*f + 16. Suppose -2*w = -4*w - f*n + 456, -1150 = -5*w - 3*n. Is 39 a factor of w?
False
Let t be (-94)/(-10) + (37/(-5) - -7). Let w be t/6 + (-2)/(-4). Let i = 23 - w. Is i a multiple of 3?
True
Suppose 0 = -3*h + 4*g + 21184, 5*g + 7064 = h + 3*g. Does 36 divide h?
True
Suppose 0 = -5*n + 3584 + 3581. Is 3 a factor of n?
False
Suppose 5*n + 325 = -i - 1219, 3*i = 5*n + 1548. Let t = -205 - n. Suppose -3*z + 2*w + 60 = -46, -3*z + w + t = 0. Is 14 a factor of z?
False
Suppose -3*h = -2*j - 19104, 5*h = -4*j + 14786 + 17098. Does 27 divide h?
True
Let t = 12276 + -11740. Is t a multiple of 5?
False
Let v(j) = j - 11. Let 