r + 5*p = 46 + 64, r - q = -4*p. Suppose -10*d = -5*d - r. Is d a multiple of 5?
True
Let w = -20 + 5. Let a = w + 19. Suppose 4*s - 136 = a*v, 3*s + v + 2*v - 108 = 0. Is s a multiple of 7?
True
Suppose -5*i + 33558 - 92806 = -2*k, -5*k = -4*i - 148086. Is 13 a factor of k?
True
Suppose 0 = -3*y - 4*s + 5198, -s = -5*y + 480 + 8214. Suppose -2*i + y = -5*k, 1045 = 2*i + k - 681. Is i a multiple of 27?
True
Suppose i - 20*z = 7164, 5*i = 26*z - 27*z + 35416. Is i a multiple of 49?
False
Let o be (3/((-6)/(-68)))/(-4)*-2. Suppose i = -5*k + 1247, -o*k = -16*k - i - 253. Is 25 a factor of k?
True
Let j(k) = -82*k**3 + 2*k**2 + 46*k + 161. Is j(-4) a multiple of 88?
False
Suppose 0 = -5*n + 8*n - 5*k - 7315, -4*n + 9762 = 2*k. Suppose -3*s + n = 17*s. Is s a multiple of 16?
False
Let a be 24/64*(8 - 0). Let c(v) = -29 + 25 - 2*v**a - 9*v - 8*v**2 + 11. Is 41 a factor of c(-6)?
True
Suppose -100 = 5*n - 165. Suppose n*y - 19*y + 258 = 0. Is y a multiple of 5?
False
Let t(k) = -100*k**3 + 9*k**2 - 4*k - 7. Does 36 divide t(-4)?
False
Let k(w) = 12*w - 3 - 40*w - 111*w. Let l(x) = 3*x**3 - x**2 - 5*x - 2. Let y be l(-1). Is 34 a factor of k(y)?
True
Suppose -276*h + 15*h - 783 = 0. Let m(z) = -11*z - 13. Let s(u) = -11*u - 12. Let b(n) = -3*m(n) + 4*s(n). Does 6 divide b(h)?
True
Suppose 16275 = 2*q + 654*c - 659*c, 0 = 5*q - 2*c - 40719. Does 43 divide q?
False
Let a(i) = 96 - 2*i + 3*i + 3*i. Let z be ((11 - 3) + -8)/(-2). Does 16 divide a(z)?
True
Let h = -13 + 54. Let b = -48 + h. Is (-726)/(-21) - 3/b a multiple of 4?
False
Let g(t) be the third derivative of t**5/15 - t**4/12 + t**3/6 - 8*t**2. Let h be g(1). Does 9 divide (-3)/((-3)/(-4)) - (-133 + h)?
True
Let x = -87 - 5. Let a = x - -203. Let i = -40 + a. Is i a multiple of 10?
False
Let p(z) = -372*z**3 + z**2 + 8*z + 6. Is p(-2) a multiple of 5?
True
Let m be -207 + -24 - (1 - 4). Let b be 68/12*5/(5/(-18)). Let y = b - m. Is y a multiple of 13?
False
Let c be 339 + (4 - (-45)/((-5)/1)). Let z = c - 34. Is z a multiple of 25?
True
Does 4 divide 406/1015 + (-55369)/(-15) - (-1)/3?
True
Let c(z) = z**2 - 1. Let v(o) = o**3 - 10*o**2 + 3*o + 30. Let u(s) = -6*c(s) + v(s). Does 28 divide u(18)?
False
Let l = 53526 - 20121. Is 17 a factor of l?
True
Is 3 a factor of (-304 - -302) + (-2336)/(-1)?
True
Let k(t) = 23*t - 19*t**2 - 39 + 2*t**2 + 8*t**2 + 6*t**2 + 2*t**2. Does 2 divide k(17)?
False
Is (-10 - 47376/90)/(6/(-20)) a multiple of 149?
True
Suppose 4*s - 5*q - 38 = 0, 0 = s + s + 5*q - 4. Let x(n) = -2*n**2 + 12*n + 17. Let z be x(s). Let t(i) = 14*i + 11. Is 9 a factor of t(z)?
False
Let q(u) = -20*u**3 + 3*u**2 - u + 6. Suppose 260*t - 15 = 265*t. Is q(t) a multiple of 24?
True
Suppose -78*m = -92*m + 168. Let u(t) = 3*t**2 - 18*t + 42. Is u(m) a multiple of 6?
True
Let f(r) = -364*r - 25. Let j be f(-16). Suppose 19*w - j = 585. Is w a multiple of 21?
True
Let a be 2 - -1 - (1158 - -2)/5. Let h = a - -475. Does 31 divide h?
False
Let p = 4108 - 2400. Suppose 1152 = -10*a - p. Is 15 a factor of 52/a + 2290/11?
False
Let j = 1142 - -1511. Is j a multiple of 7?
True
Let s(m) = 1211*m + 259. Let r be s(31). Suppose -12*u - 13*u = -r. Is u a multiple of 27?
True
Let v = 10409 - 6543. Let j = v - 2436. Is j a multiple of 10?
True
Let f(m) = -23*m + 8. Let v be (-18506)/171 + (-2)/(-9). Let w = 97 + v. Is f(w) a multiple of 29?
True
Let b(a) = 1676*a - 300. Is 158 a factor of b(8)?
False
Suppose -11*p = -10*p - 95. Let h = p - 57. Is 3 a factor of h + (15 + 5)/(-5)?
False
Let v = 384 - -2133. Let w = v + -1795. Does 38 divide w?
True
Let g = 815 - 1409. Let u = g + 780. Is u a multiple of 6?
True
Suppose -5*t - 3*u + 27 = 0, -5*t + 0*u = -u - 11. Suppose -a + t = -0*a. Suppose a*g - 147 = -2*p, 2*g - 5*g = -2*p + 165. Is p a multiple of 6?
True
Let v(d) = -7*d**3 - 17*d**2 - 30*d - 44. Let o(s) = -3*s**3 - 8*s**2 - 14*s - 22. Let j(w) = 9*o(w) - 4*v(w). Is j(6) a multiple of 6?
False
Let z(h) = 5*h**2 + 8*h + 8. Let w(d) = 13*d - 31. Let o be w(2). Is z(o) a multiple of 4?
False
Suppose 0 = o + 3, o = -13*r + 3*o + 657533. Is 37 a factor of r?
True
Suppose 0 = -2*a - 232 - 98. Let i be ((-2)/((-10)/(-3)))/(33/a). Suppose 0 = -p - 3*p + i*x + 462, -127 = -p - 5*x. Does 39 divide p?
True
Let b be -22 - 16/(-1 - -5). Let f = b + 59. Let g = f + -14. Does 4 divide g?
False
Let i be 76*4/(-6)*(-15)/20. Let g(x) = 36*x**3 - x**2. Let q be g(1). Suppose -n = -i - q. Is n a multiple of 34?
False
Let o = 13 + -15. Let f be (o/6)/((-4)/(-36)). Does 29 divide ((-1194)/(-30) - 5)/(f/(-20))?
True
Suppose -10*i - 62*i = -165528. Is 121 a factor of i?
True
Suppose 5*l + 164 - 10 = -q, -2*l - 59 = 3*q. Let t = l + 33. Suppose 3*p + t*p - 55 = 0. Does 11 divide p?
True
Suppose 2*c = -w + 14028, 0 = -68*c + 65*c - 3. Does 46 divide w?
True
Suppose s + 2*z + 166 = 2*s, -s = -4*z - 164. Suppose 3*j - s = 1248. Does 64 divide j?
False
Let n(a) = a**3 + 13*a**2 + 12*a + 32. Suppose 1 = -3*z + 2*k + 10, -2*z + 4*k + 6 = 0. Suppose z*x = b + 6*x + 15, b + 10 = 2*x. Is 6 a factor of n(b)?
False
Let v(k) = -k**2 + 10*k - 17. Let u be v(9). Let w be (-100)/u*-3*14/3. Let b = 75 - w. Is b a multiple of 18?
False
Let o(b) = b**3 + b**2 + 4*b. Let m be o(-3). Let v(k) = -k**3 - 12*k**2 + 21*k + 40. Let y be v(-13). Let h = m - y. Is 32 a factor of h?
False
Let r(n) = -n**3 - 10*n**2 - 12*n - 3. Let x be r(-8). Let z = x - -37. Suppose z*m = 4*j + 5 + 43, 0 = -5*m - 4*j + 162. Is m a multiple of 6?
True
Let v(r) = 3*r**2 - 5 + 1 + 10*r**2 + r - 2. Let y be v(-2). Is 19 a factor of 11/y - (0 + 1574/(-8))?
False
Let w be 17 + ((-4)/(12/(-3)))/(-1). Suppose -w*g + 446 = -15*g. Let x = 650 - g. Is 33 a factor of x?
False
Suppose c + 719 = -5*x, 5*x - 241 = -3*c - 2398. Let t = c + 1251. Is t a multiple of 40?
False
Suppose 3*r = 4*m - 10, -5*r - m + 8 = 63. Let p be 6/r + 2191/35. Suppose i - 3*i = -p. Is 8 a factor of i?
False
Let g = -657 - -389. Suppose 5*p + 0*p = -40. Is 18 a factor of g/p + (-1)/2?
False
Suppose -260 + 26 = 3*g. Suppose 0 = -2*s + 41 - 317. Let z = g - s. Does 20 divide z?
True
Let a(l) = 2*l**3 - 5*l**3 + 9 + l**2 - 9*l**2 + 3*l - 7*l - 7. Does 17 divide a(-6)?
False
Suppose -17218 = -7*g - 5*a + 48138, -46655 = -5*g + 2*a. Is g a multiple of 9?
True
Is (-166)/2075 - 40002/(-25) a multiple of 25?
True
Suppose -4*u - 2*a = -206, 48 = 2*u + 4*a - 46. Let r(k) = k**2 - 3. Let d be r(-3). Suppose -d*v + u + 7 = 0. Is v a multiple of 10?
True
Suppose t - 4*c + 182 = 6*t, c - 188 = -5*t. Let i = 45 + t. Let u = 125 - i. Is 6 a factor of u?
True
Let r(k) = 13*k - 99. Let x be r(24). Does 25 divide -5 - -1 - 2 - x/(-3)?
False
Suppose 0 = -15*m + 36692 + 28488 - 3980. Does 120 divide m?
True
Suppose 8*t + 22 = -34. Is 30 a factor of (30/t)/((-2804)/280 + 10)?
True
Let v(w) = w. Let i(k) = 30*k + 121. Let n(d) = -i(d) + 5*v(d). Does 13 divide n(-20)?
False
Let b(m) = 34*m**2 + 26*m + 320. Does 68 divide b(-11)?
True
Let c = 1129 - 552. Does 30 divide c?
False
Let l be (0 + 5343/(-6) - -2)*-4. Is 14 a factor of (-10 - l/(-10)) + (-4)/10?
False
Let m = -3424 + 4426. Is m a multiple of 6?
True
Let b be 1678/(-10) + 25/(-125). Is (-5421)/(-5) - b/210 a multiple of 35?
True
Suppose 0 = -r + 769*c - 773*c + 54728, c - 109470 = -2*r. Is 88 a factor of r?
True
Suppose 4*s + 3*q - 6127 = 0, -s = -4*q - q - 1526. Let h = -1041 + s. Is h a multiple of 41?
False
Suppose 6*o = 9*o - 15. Suppose 7*a = -2 - o. Is (-8 - -4)*(-21 - a) a multiple of 20?
True
Suppose 29 = -10*h + 79. Let m be h + (-14)/49 + (-2)/(-7). Suppose -m*a - 82 + 307 = 0. Does 2 divide a?
False
Let w = -916 - -1708. Suppose 8*f + f - w = 0. Is f a multiple of 6?
False
Let y be (-27)/36*(-2 + -2). Suppose 2*o - 1551 = -y*l, 8*o = 11*o - l - 2299. Is 56 a factor of o?
False
Let s = 572 + -223. Let t = 467 - s. Is t a multiple of 5?
False
Let i be 0*(-8)/72*3. Suppose -4*b + 3*u + 2548 = i, b = 5*b - 2*u - 2548. Is 44 a factor of b?
False
Suppose -3*f - 2*f - 3*t + 116 = 0, -5*t - 15 = 0. Suppose -f*b + 28*b - 546 = 0. Suppose 0 = 5*m + 5*o - 326 - 114, -b = -2*m + o. Does 6 divide m?
True
Let s(v) = 3*v - 21. Let b = -97 - -105. Let l be s(b). Suppose -l*z = 2*j + z - 44, -z = j - 26. Does 5 divide j?
True
Let y(k) = -8*k**2 + k**3 - 26*k + 34*k**2 + 2