- -24. Let t = v + 21. Is 28 a factor of t?
True
Let y = 64 - 61. Suppose -5*o = -y*z - 243, 5*o - 235 = 5*z - 10*z. Does 24 divide o?
True
Suppose 0 = 3*s + 2*p - 1061, -2*s + 3*p = -272 - 418. Does 39 divide s?
True
Let q = 7 - -1. Let w be q/3*612/16. Suppose y - 5*i - 106 = 0, y - i + 16 - w = 0. Is 27 a factor of y?
True
Suppose -1880 = -3*l + 4*z + 3048, -2*l = 5*z - 3293. Is 12 a factor of l?
True
Let w = -367 + 552. Is 5 a factor of w?
True
Suppose 0 = -0*z + 2*z + 8, z = 5*q - 2379. Let r = q + -84. Suppose 0 = 3*s - r + 145. Is s a multiple of 21?
False
Let q(f) = -f + 17. Let d be q(0). Let y = d - 12. Is (-182)/(-10) + y/(-25) a multiple of 18?
True
Suppose -3*i + 4*i - 454 = -4*y, 0 = -3*y - 2*i + 343. Let s = -81 + y. Is s a multiple of 10?
False
Let i(w) = w**3 - 19*w**2 - 17*w - 25. Let s = -95 - -115. Is 5 a factor of i(s)?
True
Let c be 3/(-1) + (5 - 2). Suppose -4*b = -c - 16. Is 19 a factor of (3 - b)/(1/(-28))?
False
Suppose 4*w - 2*w = 0. Let i be ((-1 - 1) + 1)*w. Suppose i*n - 96 = -3*n. Does 12 divide n?
False
Suppose -13 = -2*h - 9. Suppose -3*c + h*c + 63 = 0. Is c a multiple of 11?
False
Let o(p) be the second derivative of 9*p**5/10 + p**3/3 - p**2/2 + 3*p. Let f be o(1). Suppose 0 = 4*g - f - 13. Is g a multiple of 8?
True
Let i be (-1428)/(-35) + 8/(-10). Let p = i + -37. Is 2 a factor of p?
False
Suppose -871 - 6157 = -4*u. Is 11 a factor of u?
False
Let a(c) = 5*c**2 - 10*c - 4. Let z(v) = -v**2. Let s(i) = a(i) + 3*z(i). Is 41 a factor of s(-7)?
True
Suppose o - 1200 = -2*o. Suppose 2*x - s = 3*x - 98, -2*s = 4*x - o. Does 11 divide x?
False
Suppose -b + 432 = 11*b. Let n = b + 9. Does 5 divide n?
True
Does 35 divide (-311916)/(-110) + (-24)/40?
True
Let x be (108 + 0)*3/6. Let q = 5 - x. Let h = q + 81. Does 8 divide h?
True
Let s(x) = x**3 + x**2 + 7*x + 3. Let i be s(-7). Is 14 a factor of (-49)/((-51)/i + 4/(-10))?
True
Let f be (22/(-4))/((-1)/2 + 0). Suppose f*l - 10*l - 32 = 0. Does 8 divide l?
True
Let h = -112 - -119. Suppose 12*q - 1120 = h*q. Is 16 a factor of q?
True
Suppose -220 = 28*n - 30*n. Suppose 110 = 4*p - n. Is 10 a factor of p?
False
Let p(w) = w**3 + 12*w**2 + 2*w - 56. Is 31 a factor of p(-10)?
True
Let g(x) = 14*x - 68. Is g(22) a multiple of 29?
False
Let n = 1114 + -619. Does 6 divide 17730/n - -2*(-1)/(-11)?
True
Let y(v) be the third derivative of v**4/4 - 13*v**3/3 - 2*v**2. Let h be y(6). Suppose -4*n - 3 = 2*a - n, 5*a - h = -4*n. Does 6 divide a?
True
Let m be (-2)/((-10)/5) - 14. Let j = 17 + m. Does 3 divide j?
False
Suppose -10*o + 102 = -4*o. Let n(r) be the third derivative of -r**6/120 + 4*r**5/15 + 5*r**4/6 + 17*r**3/6 - r**2. Does 24 divide n(o)?
False
Let q(j) = 2*j + 6. Let g be q(-3). Suppose 3*d + g*d - 21 = 0. Is 9 a factor of d + 6 - (3 - 1)?
False
Let w(n) = n**2 + 4*n + 2. Let d be w(-4). Suppose 3*m - 21 = 3*h, -2*h - d*h = -3*m + 22. Let r = 26 - m. Does 10 divide r?
True
Let g(z) = -z**2 - 13*z - 1. Let k be g(-8). Let c = -37 + k. Is 2 a factor of c?
True
Suppose -3*d + 1412 = 68. Is d a multiple of 19?
False
Let d(z) be the second derivative of -z**3/6 + z**2 + 3*z. Let t be d(-2). Suppose -2*x + t*x - 18 = 0. Does 3 divide x?
True
Suppose x - 42 = -3*v, 4*v - 69 = x - 6. Suppose -10*a + 625 = -v. Is a a multiple of 8?
True
Let t be (-48)/(-32)*(-40)/3. Let k = t - -15. Is 9 a factor of k/(-15) + (-402)/(-9)?
True
Suppose -2*o = -0*o - 5*v - 33, -v - 1 = o. Suppose -4*i + 174 = 2*g - 2*i, 4*g - o*i - 308 = 0. Does 5 divide g?
False
Let g be (7 - 4 - 4) + 6. Suppose 52 = -3*w + g*w. Does 10 divide w?
False
Let v be (60/14)/((-3)/(-21)). Let m = v - -117. Is 16 a factor of m?
False
Let s be (-20)/4 + -2 + 2. Let g = 119 - s. Does 13 divide g?
False
Let h(m) = m. Let t be h(2). Does 13 divide (-1859)/(-77) + t/(-14)?
False
Let f(p) = p**2 - 11*p - 28. Does 23 divide f(35)?
False
Suppose -5*z - d = -1055, z - 4*d - 144 = 46. Is z a multiple of 25?
False
Does 45 divide (-51)/((57/(-116))/19)?
False
Let j = 25 - 18. Let l(d) = d**2 - 8*d + 7. Let s be l(j). Suppose 7*q - 8*q + 24 = s. Does 24 divide q?
True
Is 4 a factor of (-2)/5*(-241 - 9)?
True
Let h(u) = -u**3 + 34*u**2 - 9*u - 230. Is 18 a factor of h(32)?
True
Suppose -19*u + 7722 = 3*u. Is 27 a factor of u?
True
Suppose 0 = u - 0*m - 3*m - 628, -3*u = m - 1924. Is u a multiple of 32?
True
Let a = -406 + 796. Let c = a - 597. Does 7 divide ((-8)/12)/(6/c)?
False
Let l be 0 + (-2 + -2 - 10). Suppose -5*k - 363 - 177 = 0. Does 27 divide (k/l)/((-1)/(-7))?
True
Suppose 7*d - 3512 = 408. Is d a multiple of 28?
True
Suppose 2*q + 37 = 5*b, 3*b - 31 = 2*q - 8. Suppose 6*v = -v - b. Does 21 divide (98*v)/(-9 + 7)?
False
Let g(n) = n**3 + 10*n**2 + 15*n - 2. Let q be g(-8). Suppose -q = -l + 20. Does 13 divide l?
True
Suppose -i - 7 = -2*u + 9, 3*u - 12 = 0. Is ((-26)/i)/((-3)/(-12)) a multiple of 13?
True
Let p be (1*-3)/(15/(-680)). Let l(v) = -2*v**3 - 4*v**2 - 3*v - 2. Let w be l(-2). Suppose -3*o = 4*h - 137, -3*o - h - w*h + p = 0. Is 24 a factor of o?
False
Let v(y) be the second derivative of y**4/4 + 2*y**3/3 - 6*y**2 - 17*y. Does 14 divide v(-6)?
False
Suppose 198 + 634 = 4*j. Is j a multiple of 16?
True
Let k be 6/4 + (-4)/8. Let s be 9/(-27) + (-16)/(-3). Is (s/(-2))/(k/(-4)) a multiple of 8?
False
Let m(t) = -118*t + 43. Is m(-8) a multiple of 47?
True
Suppose -5*b + x + 332 = -808, 0 = -3*b - 4*x + 661. Let r = b + -137. Is r a multiple of 18?
True
Suppose 7*w - 1540 = -0*w. Is w a multiple of 5?
True
Let n(l) = -l - 1. Let i be n(2). Does 11 divide (-1 - 1) + 58 + i?
False
Is (3 + -1)*469/14 a multiple of 17?
False
Let r be (-6)/8*(90/(-2) - 3). Suppose 0 = -3*x + 75 + r. Does 11 divide x?
False
Let t(n) be the second derivative of -n**4/2 + 5*n**3/6 - 3*n**2/2 - 2*n. Let q be t(3). Is (90/(-7))/(9/q) a multiple of 21?
False
Suppose 3*w - 8 - 10 = -4*j, 4*j + 4*w = 20. Suppose -38 - 46 = -j*v. Is v a multiple of 3?
False
Let t(v) = -v**2 - 4*v - 12. Let y(g) = g**3 + 6*g**2 - g - 1. Let b be y(-6). Let m(p) = -p**2 - 4*p - 11. Let s(z) = b*t(z) - 6*m(z). Is 4 a factor of s(-4)?
False
Suppose k = -b + 24, -12 = -b - k - 3*k. Let p = b + -12. Is p a multiple of 10?
False
Let o(d) be the first derivative of -d**4/4 - 2*d**3 - 3*d**2/2 - d + 14. Does 23 divide o(-7)?
True
Let i be ((-4)/(-10))/(4/5)*-98. Let j = -16 - i. Does 21 divide j?
False
Let o(k) = k**3 - 7*k**2 - 6*k - 8. Let r(f) = 2*f**3 + f**2 + 3. Let q be r(2). Suppose 17 = 5*u - q. Is 8 a factor of o(u)?
True
Let a = -409 + 1669. Is 21 a factor of a?
True
Suppose 4*v - 3*t + 483 = 3902, 2*v - 3*t - 1705 = 0. Does 40 divide v?
False
Suppose -5*y - 3*h + h = -610, 3*h = 4*y - 465. Does 20 divide y?
True
Let h(d) = d**2 - 19*d + 112. Is 11 a factor of h(31)?
True
Is (252/(-56))/(((-2)/(-2))/(-70)) a multiple of 15?
True
Let d(g) = -g**3 - 5*g**2 - 4*g + 2. Suppose 20 = q - 6*q. Let r be d(q). Suppose -67 = -r*x - 5*a, 0*x = x + 5*a - 41. Is 13 a factor of x?
True
Let v(z) = 15 + 2*z + 23*z - 11*z - 2*z - z**2. Let l be v(13). Suppose 5*q = 3*t + 137 + 208, -l*q + t = -139. Does 12 divide q?
True
Suppose 4*o - 15 = o. Suppose 6*w = 4*g + w - 108, -o*g - 3*w + 135 = 0. Suppose 2*y + 3*y + 19 = 3*d, 0 = -3*d - 3*y + g. Does 3 divide d?
False
Let o be 27321/63 + 4/(-6). Suppose -3*t - 3*a = t - o, -356 = -3*t + 4*a. Does 7 divide t?
True
Is 32 a factor of (-114)/(-456) + (0 - (-3199)/4)?
True
Is 21 a factor of 1768/12*(0 - (-9)/3)?
False
Suppose -4*k + 76 = 4*x, 2*x - 58 = -0*x + 2*k. Suppose -17 - 7 = -p. Let l = x + p. Does 13 divide l?
False
Suppose 0 = -2*x - h + 2235, 2265 = 8*x - 6*x - 5*h. Does 10 divide x?
True
Suppose -f = -3*c + 1224, -4*f + 250 = c - 158. Is c a multiple of 8?
True
Let v(k) = 45*k**2 - 4*k + 15. Is 16 a factor of v(2)?
False
Suppose -5*t + 4644 - 41 = 4*i, i - 4*t = 1135. Suppose 5*u - i = 298. Suppose -3 = j, -3*j + u = 5*g - 6*j. Is 28 a factor of g?
True
Let s(c) = c**2 + 7*c + 1. Let d be (2 + 1 - 4)*8. Let v be s(d). Suppose -2*u + v + 29 = 4*m, 5*m - 20 = 3*u. Does 2 divide m?
False
Let r = 170 - 70. Suppose -7*g + 11*g - r = 0. Is g a multiple of 5?
True
Let l(o) = -70*o - 240. Is l(-16) a multiple of 28?
False
Is (30/12 - 29325/(-10)) + 0 a multiple of 34?
False
Suppose -4*u + 250 = 3*z - 4*z, -319 = -5*u -