 + 13088 = -28*p. Let a = p - -484. Is a a multiple of 5?
True
Let v(x) = x**2 + 9*x - 22. Let b be v(4). Let z = -29 + b. Suppose r + 0 - z = 0, -167 = -4*u + r. Is u a multiple of 7?
True
Let m(b) = -696*b + 6495. Is 8 a factor of m(-4)?
False
Suppose 118786 - 230186 - 759008 = -14*h. Is h a multiple of 183?
False
Let d = 378 - -2142. Suppose 0 = 342*l - 339*l - d. Is l a multiple of 12?
True
Let x = -1387 + 2913. Is 7 a factor of x?
True
Let b = 661 + -41. Suppose 2*s = 7*s - b. Let p = -36 + s. Is 11 a factor of p?
True
Let l(s) = 344*s + 3077. Is l(52) a multiple of 15?
False
Let w be (-4 + (-7)/(-4))*-20. Let o = w + 199. Suppose 0 = a - s - 91, -4*a = -3*s - o - 125. Does 48 divide a?
True
Let i(f) = -2*f**2 - 2*f + 2. Let r be i(-2). Let z(j) = -5*j - 6. Let h be z(r). Suppose 3*m - 12 = y, -4*y - 5 - 3 = -h*m. Is m a multiple of 5?
True
Let v = -348 - -396. Suppose 800 = -43*n + v*n. Is 70 a factor of n?
False
Suppose 267*s - 242*s - 3275 = 0. Is s a multiple of 13?
False
Let o(a) = -6696*a - 405. Does 70 divide o(-3)?
False
Suppose 162*o = 626625 - 571789 + 908578. Does 12 divide o?
False
Let h = 4626 - -414. Is h a multiple of 36?
True
Suppose 97*h - 102*h + 19770 = 5*k, -k + 11862 = 3*h. Does 8 divide h?
False
Let d(p) = -p**3 + 7*p**2 + 4*p - 26. Let i be d(7). Suppose -x = 3*z + 3*x + 116, -i*x - 168 = 4*z. Is (-9023)/(-77) + 8/z a multiple of 9?
True
Suppose -107*n + 72556 = -39*n. Does 11 divide n?
True
Let l = -38 - -57. Let c(t) = t**2 + 27*t - 214. Is 15 a factor of c(l)?
True
Let t(w) = -2*w**2 - 12*w - 8. Let h be t(-6). Does 40 divide ((-3638)/8)/(-1) + (-2)/h?
False
Suppose -8*a + 4026 - 408 + 1382 = 0. Is 3 a factor of a?
False
Let k = 4114 - 3646. Is k a multiple of 39?
True
Suppose -i + 2*q = -3489, 174*i - 5*q = 178*i - 13865. Is i a multiple of 13?
False
Suppose -5*a + 23466 = -15089. Suppose 2*r = -2*p + 3088, -3*p = -8*p - 2*r + a. Is 67 a factor of p?
True
Let h = -24684 + 45152. Is 17 a factor of h?
True
Let y(n) = 28*n**2 + 42*n + 227. Does 5 divide y(-11)?
False
Suppose -6*m = -2139 - 3297 - 10692. Is 242 a factor of m?
False
Let r(h) be the first derivative of -11*h**2 - 7*h + 157. Let w be -1*(7 - 1 - 0). Is 13 a factor of r(w)?
False
Let y(i) = -431*i - 425. Is 11 a factor of y(-9)?
True
Let a(i) = i**2 - 19*i + 9. Let x(h) = h**2 + h - 1. Let s(f) = -a(f) + 3*x(f). Let q be s(-7). Is 13 a factor of (15/(-6))/(2/q)?
False
Let n = 2415 - 2231. Is n a multiple of 4?
True
Let b(z) = -2*z + 35. Let f be b(14). Let u(h) = h**2 - 2*h - 30. Let o be u(f). Suppose 0 = 4*p - d - 184, p - d + o*d - 46 = 0. Is p a multiple of 46?
True
Let h = -99 - -103. Suppose 19 = -h*z + 1255. Is 57 a factor of z?
False
Let v(k) = k**3 + 14*k**2 - 29*k - 12. Let x be v(-16). Let f = x - -138. Does 9 divide f?
False
Let m be 1/6 - (-11)/6. Suppose -l + m = -0. Suppose l*q - 5*k - 95 = 0, 0 = 2*k + k + 15. Is q a multiple of 9?
False
Suppose 0 = 2*u - 5*u + 231. Suppose -18*x + 766 = -926. Let j = x - u. Is 4 a factor of j?
False
Does 41 divide (9/12 + 167/(-4))*-1?
True
Let f(i) = 2*i**2 - 4*i - 5. Let v be f(-2). Suppose v*m = 6*m + 120. Suppose -16*k + m = -15*k. Is k a multiple of 6?
True
Let b(r) = -2 - 4*r**2 - 8*r**2 + 17*r**2 - 11*r. Is b(-4) a multiple of 7?
False
Let k(l) = l**3 - 66*l**2 - 22*l + 715. Is k(68) a multiple of 20?
False
Let r be 114/2*33/(-11). Let z = 58 - r. Is z a multiple of 15?
False
Let s(q) = 4*q**3 - 6*q**2 + 82*q + 4. Does 13 divide s(9)?
True
Suppose 0 = -155*h + 167*h + 240. Does 3 divide -22*(-1 + 0 - (-410)/h)?
False
Suppose -w + 5187 = k + 2*w, -2*w - 20818 = -4*k. Is 221 a factor of k?
False
Let m(j) = 546*j - 44. Is m(25) a multiple of 27?
False
Let u be (-2)/(-11) + -6*3913/(-462). Is 18354/u + (-2)/(-17) a multiple of 18?
True
Suppose -4*b + b = 9. Let d be (1/b)/((-4)/120). Suppose 9*y - 8 = d. Is y a multiple of 2?
True
Suppose -173*o - 2013814 = -7221114. Is 43 a factor of o?
True
Let d(n) = -2*n**3 + 14*n**2 + 14*n + 1. Let a be d(8). Let r(z) = z**2 - 3*z - 45. Is r(a) a multiple of 15?
True
Let r = -441 - -268. Let s = 236 + r. Is 18 a factor of s?
False
Let r = -1 - -4. Let z(w) be the third derivative of 13*w**4/24 - 5*w**3/6 + 2*w**2 + 55. Is z(r) a multiple of 17?
True
Does 48 divide (-22250)/(-10) - (14 + 3)?
True
Let v be (-267)/(-6)*7/(7/(-8)). Let x = v + 225. Let a = -31 - x. Is a a multiple of 10?
True
Let o(s) = 157*s**2 + 106*s - 512. Does 13 divide o(5)?
False
Let o = 69 - -23. Let w(q) = -89*q + 1277. Let c be w(15). Let s = o + c. Is 17 a factor of s?
True
Suppose -9*w = -w - 5112. Suppose -6*z + 4*u = -3*z - 1910, -z + w = u. Suppose -3*a - 2*d = -z, 3*a = 5*d + 683 - 31. Does 12 divide a?
False
Does 10 divide (21271/(-356))/(1/(-120))?
True
Let y(d) = 11*d - 4. Suppose -2*z - 4*o - 7 = -19, 0 = 5*o + 10. Does 7 divide y(z)?
False
Let a = -219 - -247. Is (-120)/(-7)*a/6 even?
True
Let n = -53389 + 96272. Does 75 divide n?
False
Let v(p) = 5*p**2 + 10*p + 15. Let s be v(-5). Let j = 88 - s. Is 4 a factor of 2 - (j + (-1 - -1))?
True
Let v(c) = 19*c**2 - 16*c - 75. Let r be v(-11). Suppose 5*s - r = -7*s. Is 25 a factor of s?
True
Suppose 0 = 3*l + 2*g - 12310, l + 0*g - 4102 = -g. Is 189 a factor of l?
False
Let c(j) = -j**2 - j - 8. Let i(t) be the third derivative of -t**5/30 - t**4/8 - 5*t**3/2 - 20*t**2. Let w(f) = -9*c(f) + 4*i(f). Does 11 divide w(5)?
True
Suppose 0 = -16*s + 677 - 85. Let k(h) = -h + 295. Is 11 a factor of k(s)?
False
Let j = 211 + -208. Suppose 793 = n - m, 2850 - 441 = 3*n + j*m. Is 51 a factor of n?
False
Suppose 6*j - 80 = -2*k + 8*j, j = 4*k - 166. Let o be -2 - 11921/k - (-1)/(-6). Let c = o - -525. Is c a multiple of 34?
False
Let w(l) = l**2 + 40*l + 885. Is 3 a factor of w(-28)?
True
Let a(h) = h**2 - 23*h + 25. Let w be a(22). Suppose -4*z + 387 = -w*z + 4*i, -2*i - 6 = 0. Does 57 divide z?
True
Suppose -306 = -4*d - 3*k, 0*k + 2*k = -2*d + 152. Let a(t) = -15*t + 129. Let w be a(11). Let q = d + w. Is 6 a factor of q?
True
Suppose -2*a = -4*s + 44624, -6*s + 10*s = -a + 44636. Is 248 a factor of s?
False
Suppose 3*o + 2*b - 8 = -o, 4*o = -3*b + 12. Suppose q + j - 559 = o, -2*q - j - 2221 = -6*q. Is q a multiple of 13?
False
Let v(i) = -i**3 + 19*i**2 - 36*i + 680. Is v(17) a multiple of 19?
True
Let c be (-6)/(-21) + -2 + (-131)/(-7). Let n(l) = 3 + 5 + 6*l + c. Is 53 a factor of n(11)?
False
Let g(j) = j**2 + 31*j + 34. Let d be g(-30). Suppose 8*b + 62 = 9*b - 5*n, -b + 61 = -d*n. Is 22 a factor of b?
False
Let l = 122 - 112. Let g = -3538 + 5384. Suppose l*h = -3*h + g. Does 12 divide h?
False
Let y(o) = -166*o + 1. Let j(c) = c + 6. Let v be j(-7). Let d be y(v). Suppose -a - 5*r + 29 = -141, a + 2*r - d = 0. Does 42 divide a?
False
Let x be -11 - -14 - (-1 - -1) - -2. Let f(v) = 7*v**3 - 2*v**2 - 6*v + 1. Is f(x) a multiple of 19?
False
Let s be 42*(3/(-27))/((-9)/54). Let g = 580 - s. Does 24 divide g?
True
Let x be (4 - -2)/(33/22). Suppose -4*w + 580 = r, -128 = -5*w + 4*w + x*r. Suppose -2*k + 4*k = w. Is k a multiple of 36?
True
Suppose 3*v + 2 = -4. Let g(d) = -117*d + 11. Is 30 a factor of g(v)?
False
Suppose 0 = -4*x - x + 20. Let p(d) = -d**3 + 4*d**2 + 4*d - 10. Let o be p(x). Suppose 240 = o*g - g. Is g a multiple of 24?
True
Let v = -21755 + 28958. Is 21 a factor of v?
True
Let b(h) = 5*h + 22. Let n be b(-2). Does 2 divide 3/(-2)*(-32)/n?
True
Let m(c) = 8*c**2 + 71*c - 1. Does 19 divide m(-38)?
False
Let l(k) = k + 8. Let y be 140/(-18) + (-8)/36. Let b be l(y). Suppose -2*n - 3*v + 62 = b, 3*v + 62 = 2*n + 5*v. Is 15 a factor of n?
False
Let n(m) = -3*m - 2 + 10 + 4*m - 31. Let u be n(17). Is 5 a factor of -3*(25/(-3) + (-4)/u)?
False
Suppose 2*g + c = -g + 9792, c = 4*g - 13063. Suppose 2*h + 1891 = 3*s, 5*s - g + 126 = -3*h. Let r = -432 + s. Is r a multiple of 16?
False
Is 18 a factor of 7/2*(11 - 54225/(-105))?
False
Suppose 2183 = o + 5*b, 4*o + 2*b = b + 8694. Does 41 divide o?
True
Suppose -17 - 8 = -5*f. Suppose 155 - 710 = -3*n. Suppose r = -4*r - 15, f*o = -5*r + n. Does 10 divide o?
True
Let i(u) = u**2 + 9*u + 4. Let w be -1*(-4)/(-4) + -8. Let x be i(w). Suppose x*z - 720 = -z. Is z a multiple of 16?
True
Let z(q) = -5*q. Let l be z(0). Suppose l = 2*y + w - 1085, 6*y - 5*w - 1103 = 4*y. Is 34 a fa