e -22*n - 18*n = -20*n - 44900. Does 5 divide n?
True
Suppose 0*p = 5*p + 20. Let f(j) = j**3 - 6*j**2 + 18*j + 9. Let d(r) = -2*r**3 + 13*r**2 - 35*r - 18. Let q(m) = p*d(m) - 7*f(m). Is q(9) a multiple of 9?
True
Suppose -59*v - 16 = -61*v. Is -5*((-1611)/15 - (v + -5)) a multiple of 24?
True
Suppose -4*h + 2 = -g, 9*h - 15 = -5*g + 4*h. Let a(r) be the first derivative of 40*r**3/3 - 5*r + 1511. Is 22 a factor of a(g)?
False
Let p be ((-14)/(-3) - 3) + 3/9. Suppose 0 = 5*n - p*n - 33. Suppose 117 = n*b - 8*b. Is b a multiple of 5?
False
Suppose -4*r = -4*t + 208136, 10*t + 2*r = 15*t - 260185. Does 11 divide t?
False
Let y = 1189 - 485. Let r = 1469 - 1219. Suppose 2*v = -5*w + y, v = 5*w - r - 448. Is 14 a factor of w?
True
Is (-8 + 3)/(510/(-161772)) a multiple of 26?
True
Suppose 9*d + 384394 = 80*d. Is 53 a factor of d?
False
Suppose m - 5*a = 163, 3*a + 153 = -4*m + 5*m. Suppose -m = -3*y + y. Is 2 a factor of y?
False
Suppose 313*t - 318*t = 0, 8610 = 2*y - 3*t. Does 7 divide y?
True
Let g(z) = 2*z**2 - 13*z - 31. Let t = 185 + -198. Is 14 a factor of g(t)?
True
Let m = 38 - 16. Suppose -m = -9*r - 4. Is 11 a factor of r/((-4)/2) - (1 - 212)?
False
Suppose 18*v + 44407 = 138673. Suppose 5*p = w + v, -6 = -6*w + 4*w. Is p a multiple of 8?
True
Suppose -4*g = 9*k - 6*k - 17, k = -1. Does 16 divide 2450/g - ((0 - -1) + 4)?
False
Let a be 24/(38/16 + -2). Let f be (-48 + 50)/((-1)/2). Is 0 + f + 1 + a a multiple of 27?
False
Suppose -a + 1239 = 824. Let s(g) = -g**3 + 3*g**2 - g. Let k be s(2). Suppose k*h - 8 - 200 = -2*l, -4*l = 5*h - a. Does 21 divide l?
True
Let v = 73 - 67. Suppose -5*s = -z - 10, z + 20 - v = s. Does 32 divide 158 - ((-10)/z - 2/3)?
False
Let k(d) = 57*d**2 + 12*d - 5. Let z be k(7). Suppose z = 29*p - 289. Is 3 a factor of p?
False
Let w(m) = m**3 - 7*m**2 - 37*m + 8. Let u be w(12). Let g = u - 102. Is g a multiple of 13?
True
Does 12 divide ((-9)/(144/(-536)))/((-74)/76 - -1)?
False
Suppose 0 = 2*f + 11*f + 2782. Suppose 0 = -0*w + 5*w - 1915. Let k = f + w. Does 20 divide k?
False
Suppose 477*f = -2*z + 482*f + 15256, -3*f = -z + 7629. Is 63 a factor of z?
True
Let m(u) = -u**3 + 34*u**2 + 14*u + 93. Let c be m(18). Suppose 26*i - c = 7185. Is 37 a factor of i?
False
Let f = 11687 + 40825. Is 96 a factor of f?
True
Suppose 0 = 6*h - 14*h - 136. Let l = h + 35. Is ((-264)/l)/(3/(-36)) a multiple of 22?
True
Let s = -52 - 631. Let v = s - -1476. Is 48 a factor of v?
False
Is 20 a factor of (-94)/564 + ((-58)/24)/(4/(-2056))?
False
Let q = 993 - 2044. Is 1*q/(-9) + 12/54 a multiple of 13?
True
Let z(y) = -107*y + 257. Is z(-11) a multiple of 6?
True
Let o(w) = -7*w**2 + 4 - 18 - 3 + 5*w**2. Let p be o(9). Let i = -83 - p. Is 32 a factor of i?
True
Let i(u) = 40*u + 36*u + 36*u + 42*u - 10 - 160*u. Let z = -9 - -4. Does 14 divide i(z)?
False
Let g be (1 - -6) + (-1)/3*3. Let s be (9/6 - 0)/(g/20). Suppose -s*h + 146 = -r, -h + 6*h + 4*r - 141 = 0. Is 8 a factor of h?
False
Suppose 7*y - 69 = 4*y. Suppose 14*k = y*k - 189. Suppose -12*b - 2700 = -k*b. Is b a multiple of 50?
True
Let d = 64529 - 17885. Does 14 divide d?
False
Suppose 2*y - 5802 - 51796 = -5*k, -3*k + 2*y + 34562 = 0. Is 3 a factor of k?
True
Let i = 28199 + -18047. Is i a multiple of 34?
False
Let d be (2/(-8))/(14/(-616)). Let m(x) = 3*x**3 - 26*x**2 + 35*x + 11. Does 11 divide m(d)?
True
Suppose -8016 = 60*m + 38126 - 405002. Does 5 divide m?
False
Suppose q + 11 + 29 = 0. Is 7 a factor of (q/5)/((-2)/18)?
False
Let o(i) = -i**3 - 23*i**2 - 12*i + 1242. Is o(-27) a multiple of 18?
True
Suppose 5*u = 4*k + 20, k + 3*k = 4*u - 16. Let q be 240/36*8/((-48)/(-18)). Suppose 3*c - 97 - q = k. Is c a multiple of 12?
False
Let r(k) = 536*k**2 - 3*k + 1. Is r(-1) a multiple of 24?
False
Let p(a) = -3*a**2 - 4*a + 26. Suppose 0 = -2*n - 80 + 72. Let m(r) = -7*r**2 - 9*r + 52. Let u(f) = n*m(f) + 9*p(f). Is 31 a factor of u(-6)?
True
Let i = 64 - 59. Let f be 79*-41 - -4*i/(-20). Does 40 divide f/(-32) - (-12)/16?
False
Suppose 10*w + 330 - 6870 = 0. Let k = w + -318. Is k a multiple of 24?
True
Let x(i) = 396*i - 908. Is x(47) a multiple of 22?
False
Let x be (-1)/((-60)/(-21) - 3)*2. Suppose x*t = 13*t. Suppose t = v - 2*v + 12. Is v even?
True
Suppose -4*o = 2*n - 12970, 3*n + 2*o = -2*n + 32409. Is 282 a factor of n?
False
Let r(o) = 67*o - 105. Let u be r(-7). Let w = -84 - u. Does 26 divide w?
False
Let r(h) = 1183*h**2 + 4*h - 4. Let z be r(2). Suppose 98*y - 106*y + z = 0. Does 16 divide y?
True
Suppose -f + 152 = -3*a - 16, -5*a - 280 = -f. Let g = -49 - a. Suppose u = g*u - 1416. Is 20 a factor of u?
False
Let c(w) = -11*w**2 + 5*w - 6. Let j(q) = -12*q**2 + 4*q - 5. Let m(z) = -6*c(z) + 5*j(z). Let v be m(6). Suppose v = 2*t + 37. Is 14 a factor of t?
False
Suppose 0 = 5*l - 22 - 3. Let r be (-50)/(-10) - (0 - -1). Suppose -k + l*f = 13, -2*k + 0*f + 30 = r*f. Is 7 a factor of k?
True
Let c = 16215 - 13957. Is c a multiple of 5?
False
Let q(i) = 37*i**2 + 4*i - 9. Suppose 24*d - 70 = 10*d. Is 9 a factor of q(d)?
True
Let r(j) = j**3 - 9*j**2 + 10*j + 32. Let t be r(7). Is 15 a factor of 15/t*(64 - -4)?
True
Let z = 687 - -1091. Suppose z = 4*g + 2*t, 9*g - t = 6*g + 1336. Is g a multiple of 35?
False
Let v = -2142 + 2757. Is v a multiple of 15?
True
Suppose 0 = -j - 3*t + 22779, 22771 = j + 51*t - 46*t. Does 71 divide j?
True
Let r = -5623 - -13279. Does 188 divide r?
False
Suppose -k - 2*w = -87, -4*k + 420*w = 423*w - 338. Is 15 a factor of k?
False
Let l = 35767 + -20410. Is l a multiple of 14?
False
Let g(m) = -m**3 - 9*m**2 - 3*m - 11. Let l be g(-9). Let k = 19 - l. Suppose -k*z + 59 = -4. Is z a multiple of 7?
True
Let i(c) = -288*c + 5464. Is 216 a factor of i(-55)?
False
Let l = -19 + 21. Suppose 0*o + 18 = l*o - c, o - c - 10 = 0. Suppose -12*h = -o*h - 432. Does 18 divide h?
True
Suppose 0 = -32*d + 32995 + 446 + 239039. Is 65 a factor of d?
True
Suppose 7*l - 117 = -2*l. Let h = -28 + l. Is h/(52/18 - 3) a multiple of 27?
True
Let q(k) = 7*k - 19. Let c be q(1). Is 20 a factor of (2092/(-16))/(3/c)?
False
Suppose 0 = 3*u + 5*h - 11, 6*u - 5*h - 5 = u. Suppose s = -u*s + 6. Suppose -p + s*p + 437 = 3*o, -o + 3*p + 159 = 0. Is 27 a factor of o?
False
Suppose s + 32 = 6*s - 2*o, -4*o = 4*s - 48. Let n = s + -83. Let m = n - -216. Does 47 divide m?
True
Is 40 a factor of 4/(-16)*-8 - 83130/(-15)?
False
Let r(t) = -3326*t - 2132. Is r(-16) a multiple of 172?
True
Suppose -21 + 12 = -3*b. Suppose -5*x = b*n - 1686, -4*n = 2*x - 1571 - 691. Does 21 divide n?
True
Let z(j) = 31*j**3 - 17*j**2 - 18*j + 110. Let x(t) = 11*t**3 - 6*t**2 - 6*t + 37. Let s(p) = -17*x(p) + 6*z(p). Is s(-5) a multiple of 3?
True
Suppose 4403 = m + 10*q - 6*q, 2*m + q = 8827. Suppose 90 = m*l - 4414*l. Does 10 divide l?
True
Let l(m) = 4*m + 93. Let y be l(-22). Suppose 6*b - 3116 = 2*b - y*p, 3092 = 4*b - p. Is 9 a factor of b?
True
Let k = -59 + 4. Let r = k + -43. Let w = r + 166. Is 34 a factor of w?
True
Let n = -7061 - -11247. Does 46 divide n?
True
Suppose -442 = 5*s + 2*p + 1251, -1691 = 5*s + 4*p. Let q = s - -242. Let f = q - -189. Is 17 a factor of f?
False
Suppose 4798 + 3092 + 488 = s. Is 11 a factor of s?
False
Let d = 109 - 127. Let u = d - 17. Let x = u + 162. Does 21 divide x?
False
Suppose -18*u + 28367 = -16333 - 10992. Does 13 divide u?
True
Let m = 20 - 15. Let n = m - -3. Suppose -3*k + n*k = 480. Is k a multiple of 8?
True
Let f(z) = -48*z - 5. Let o be f(8). Let m = o + 662. Is m a multiple of 39?
True
Let r be (5 + 15 - 3) + 2. Suppose -91 = r*t - 1060. Is t a multiple of 2?
False
Is 3 a factor of (-34)/867 - 1093048/(-408)?
True
Suppose 3*o + 7*j = 3*j - 3, -2*o = 2*j. Suppose -o*i = i - 456. Suppose c - 2*c = -i. Is c a multiple of 7?
False
Is 9 a factor of (491/6*3)/(52/24 - 2)?
False
Let d = -299 - -300. Does 12 divide d*-6 - (-31 + -176)?
False
Let k be 64/16 - (-1 - -1)/2. Suppose -3*r = -5*t + 1394, 3*t = k*r - 8 + 840. Is 35 a factor of t?
True
Let z be -4*((-162)/12)/9. Is 32 a factor of (68/z)/(40/2220)?
False
Suppose -3*x + 5*v + 7545 = 0, -8*x + 3*v - 7569 = -11*x. Is 140 a factor of x?
True
Suppose -23*v - 3882 - 1730 = 0. Let c = -215 - v. Is 15 a factor of c?
False
Suppose 10*x - 213 = 287. Suppose x = -7*h - 6. Let q(s) = -2