-15) - (-9)/15. Suppose o*g - 3 = g - 3*i, -2*g = -3*i + 3. Suppose -f + 9 + g = -4*q, -5*q = 3*f - 61. Is f a multiple of 17?
True
Let t(m) = -569*m - 135. Is 12 a factor of t(-1)?
False
Let c(k) = 6*k**2 + 2*k - 6. Let w be c(-3). Suppose -71 = 3*l - n - 191, l - n = w. Does 7 divide l?
False
Suppose -4*y - 78 = 186. Let v = 197 - y. Suppose -3*n + 7*n + 2*l - 266 = 0, 4*n = l + v. Is n a multiple of 22?
True
Suppose -57*n = -60*n - 297. Let i = -89 - n. Is i a multiple of 5?
True
Let i(q) = -4*q + 18. Let f be i(4). Suppose 118 = f*h + c - 0, -4*h + 244 = -2*c. Is h a multiple of 6?
True
Let r = 227 - -31. Does 43 divide 6/(3*-2*(-2)/r)?
True
Let p(m) = -2*m**3 - 8*m**2 + 3*m + 9. Let i(n) = n**3 - n**2 - 1. Let d(r) = 3*i(r) + p(r). Is 6 a factor of d(11)?
False
Let u(d) = d**2 + 7*d - 12. Suppose 2*r - 3 = 3. Suppose 4*j - 2*b = -40, 5*j = r*j - 4*b - 20. Is 5 a factor of u(j)?
False
Let c = -2 + 94. Let h(t) = -5*t**2 - 4. Let r be h(-3). Let w = r + c. Does 12 divide w?
False
Suppose 5*h = -l + 5, 3*h + 14 = -l - 3*l. Does 22 divide ((-528)/(-60))/((-1)/l)?
True
Suppose -2*d = -2 - 4. Suppose 4 = 2*t, 3*t - 4 - 2 = d*g. Let r = g - -2. Is r a multiple of 2?
True
Let i(c) = c + 3. Let x be i(2). Let v = 61 - x. Does 8 divide v?
True
Suppose -4*t + 20 - 8 = 0. Suppose -79 = -t*g + 269. Suppose -4*v = -6*v - 3*y + g, 5*y + 276 = 4*v. Is v a multiple of 16?
True
Let v be (27 - 26) + (34/2 - -1). Suppose 0 = -7*r + 75 - v. Is 6 a factor of r?
False
Suppose -17*i - 52*i + 83421 = 0. Is 22 a factor of i?
False
Suppose -147 = -2*g - 155. Let r(m) = -42*m + 8. Is 29 a factor of r(g)?
False
Is 12 a factor of 1222/(-3 - ((-4 - 4) + 3))?
False
Suppose -1865 = -5*b - 2*c, 0 = -12*b + 13*b + 2*c - 365. Is b a multiple of 17?
False
Let c(p) be the first derivative of -3 - 7/2*p**2 - 15*p. Does 24 divide c(-9)?
True
Let v = 1705 - 1210. Does 11 divide v?
True
Let z be 0 - (0 + -1)*(-24)/(-6). Suppose -16 = z*o - 184. Is o a multiple of 6?
True
Suppose -4*o = 2*v + 136, -3*v - 69 = -2*v + o. Is (27/3)/((-15)/v) a multiple of 33?
False
Let c(b) = -b + 32. Suppose 3*a + m = -0*m + 36, -a = 5*m + 2. Is c(a) a multiple of 7?
False
Let a(d) = 5*d**2 + 49*d. Is 22 a factor of a(-11)?
True
Let r be 4/4 + -2 - 9/(-1). Suppose 0 = -2*a - r*l + 4*l + 104, -5*a + 5*l = -215. Is 23 a factor of a?
True
Let g(x) = -2*x**2 - 6*x + 2. Let j = -29 + 26. Let r be g(j). Is 14 a factor of 1 + 39 + (r - 0)?
True
Let j = -287 + 196. Let r = -52 - j. Does 13 divide r?
True
Let b(p) = -124*p - 64. Is b(-3) a multiple of 7?
True
Let y(z) = 22*z + 54. Let w = -79 - -88. Is 14 a factor of y(w)?
True
Suppose 2*m + 0*m + k = -17, 12 = -4*k. Let w = 0 + m. Does 7 divide w + 11 + (2 - -1)?
True
Let o be (0/2)/(1/1). Suppose 4*y = -o - 4. Is (2 + y)*(98 - 3) a multiple of 24?
False
Suppose -4*m + 21660 = 26*m. Does 21 divide m?
False
Suppose -179*x + 174*x + 5820 = 0. Is 60 a factor of x?
False
Let p(s) be the third derivative of -s**4/24 - 4*s**3/3 - 3*s**2. Let q be p(-6). Is 5 a factor of (21 + q)/((-1)/(-1))?
False
Is 47 a factor of (-6 - 0) + -13 + 1477 + -1?
True
Suppose -v = 3*v - 56. Let a(u) be the first derivative of -u**2/2 + 22*u + 39. Is a(v) a multiple of 4?
True
Suppose -6*j + 2*j + 228 = -4*w, 3*j - 183 = -w. Suppose 2*t = j + 188. Is 31 a factor of t?
True
Is 2 a factor of 112150/325 + (-4)/52 + 0?
False
Let h(l) = 0 + 4*l - 4 + 6 + 0. Is 31 a factor of h(15)?
True
Suppose -4563 + 19370 = 17*w. Is w a multiple of 85?
False
Suppose 8 = -5*y - 27. Let c be (-2)/y + (-94)/(-14). Suppose -c - 37 = -n. Is n a multiple of 15?
False
Suppose -2*z = -s + 7, -2*z - 2*z + 5*s - 23 = 0. Let j be -47 - (-2 + (z - -3)). Let q = j - -68. Is 22 a factor of q?
True
Let h(v) = -21*v + 4. Let a be 2 - 5 - (-6 - -1). Let i be 0 + -1 + a + -2. Is h(i) a multiple of 4?
False
Let n be ((-126)/30)/(1/45). Let y(x) = 30*x - 3. Let i be y(9). Let b = n + i. Is 20 a factor of b?
False
Let h = -3350 - -5846. Is 52 a factor of h?
True
Suppose 2*z = -4*q + 156, -4*q - 5*z + 54 = -96. Does 10 divide q?
True
Suppose -4*h + 4 = 3*i - 11, 3*h = 0. Suppose -14 = -2*f - i*f. Suppose -4*b + f = -178. Is 6 a factor of b?
False
Let r(g) = 2 + 6*g - 7 + g**2 + 3*g - 2*g. Let x be r(8). Let z = x + -64. Is z a multiple of 17?
True
Let c(t) = -118*t + 6. Let l be c(-3). Suppose -3*m + 246 = -l. Is m a multiple of 37?
False
Suppose -3*k + 5*u = -6830, 8*u - 7*u = -3*k + 6842. Is k a multiple of 38?
True
Let a(f) = 7*f + 22. Let p be a(-23). Let l = 182 + p. Is l a multiple of 14?
False
Let k(q) = -q**3 - 2*q**2 + 2*q - 2. Let y be k(0). Is 4 a factor of (-2)/((y + 4)/(-16))?
True
Let f(m) = 4*m - 2. Let j(t) = -t**3 - 3*t**2 - t + 2. Suppose 18 = -4*n + 6. Let y be j(n). Is f(y) a multiple of 9?
True
Let b = 107 - -373. Does 48 divide b?
True
Suppose 2*o - 8 = -0*o. Suppose -o*h + 4 = -k - k, -h = 5*k - 12. Suppose k*f - 4*f = -14. Is f even?
False
Let l(z) = -z - 8. Let d be l(-11). Suppose d*b = -3*r + 147, 5*b - 23 + 146 = 3*r. Suppose 0 = n + 2, r = 4*h - h - 2*n. Is h a multiple of 3?
False
Suppose -254*s + 232*s = -35552. Is s a multiple of 19?
False
Suppose -3*g + 128 = -5*r - 138, 5*r - 219 = -2*g. Let j = 138 - g. Let f = j - 25. Is 8 a factor of f?
True
Let n(j) = 17*j**2 - 4*j + 6. Let o be n(4). Suppose 10*u - o = 368. Does 21 divide u?
True
Suppose -1038 = -4*q - o, -5*q + 2*o + 643 = -648. Is 34 a factor of q?
False
Let w(k) be the third derivative of 1/6*k**5 - 7*k**2 - 7/24*k**4 + 0*k - 1/120*k**6 + 5/3*k**3 + 0. Is w(7) a multiple of 12?
True
Let g be -4*(2/1 - 3). Suppose 11*y = g*y + 336. Is 10 a factor of 1/(-3) - (-1504)/y?
False
Suppose 745 + 526 = g. Is g a multiple of 95?
False
Is 67 a factor of 7/(35/(-737))*(-6 + 1)?
True
Let w(h) = -h**2 - 10*h + 16. Let j be (6/(-9))/((-6)/(-99)). Let q be w(j). Suppose 0 = q*k + 4*r - 52, 4*k + 3*r = 4*r + 50. Is 7 a factor of k?
False
Let b(k) = -k**3 - 20*k**2 - 19*k. Let y be b(-19). Suppose -213 = -3*d - 5*g - y*g, -355 = -5*d + g. Is d a multiple of 17?
False
Let q = 3053 - 1419. Is 29 a factor of q?
False
Let t(m) = -30*m**3 + 6*m**2 + 7*m + 3. Is 47 a factor of t(-3)?
True
Suppose 4*m - 2531 - 410 = k, -2*k + 1468 = 2*m. Is m a multiple of 35?
True
Suppose -10*j + 25 = -5*j. Does 11 divide 0/j + 1 - -89*1?
False
Let x(a) = a**2 - 10*a + 2. Let s be x(10). Let l be (23/s)/(6/(-24)). Let c = l + 65. Is 11 a factor of c?
False
Let t = 6 - 2. Suppose -6*k + 4*k + 4 = 0, -4*k = -3*r - 47. Is (-2)/8 - r/t a multiple of 2?
False
Let l(q) = q**2 - 19*q - 193. Is l(28) a multiple of 34?
False
Let r(g) be the third derivative of -g**5/60 - 5*g**4/8 + g**3/6 + 4*g**2. Is 3 a factor of r(-14)?
True
Let j(d) = 47*d + 13. Let h be j(7). Suppose -12 = -2*g - 2*a, -4*a = g + 4 - 10. Suppose -g*p + h = -3*p. Is 38 a factor of p?
True
Let s = -2 + 2. Suppose -4*a + 108 = -s*a. Is 9 a factor of a?
True
Suppose -4*j = 3*u + 186, 5*j + 2*u = -157 - 72. Let g be ((-2)/(-6))/((-3)/j). Let l(k) = k**3 - 5*k**2 + 4*k. Is 7 a factor of l(g)?
False
Suppose -89 = 6*o - 1505. Is o a multiple of 65?
False
Suppose -3*w + 1104 = -144. Does 52 divide w?
True
Let b(p) = 2*p**3 + 2*p**2 - 2*p - 3. Let u be b(-2). Does 12 divide u + 2 - -2 - -183?
True
Let v(x) = x**2 - 17*x - 40. Let c be v(18). Is (c/14 - 1)/((-11)/77) a multiple of 5?
False
Let x(k) = -k**2 - 10*k + 4. Let s = -3 - -5. Suppose -5*o - 2*l = 38, -2*o + s*l - 19 = -l. Is x(o) a multiple of 10?
True
Suppose -5*d + 3*t = -3483, 18*d + 2083 = 21*d + 5*t. Is 8 a factor of d?
True
Suppose -5*t - 2*c + 201 = 0, 0 = 5*t - c - 275 + 83. Is 3 a factor of t?
True
Let n(o) = 3*o**2 - 6*o - 16. Does 8 divide n(-28)?
True
Let b(r) = 2*r**3 - 12*r**2 - 34*r - 48. Is 20 a factor of b(12)?
False
Let d be (-1)/1*7/(28/(-348)). Is 27 a factor of (-2)/(1 - d/81)?
True
Let x(q) = 7*q + 12. Let f(r) = -3*r - 6. Let n(s) = 5*f(s) + 2*x(s). Let v be n(-8). Is 9 a factor of (-76)/(-8) - v/4?
True
Let w(t) = t**2 - 12*t - 3. Does 4 divide w(16)?
False
Let r be 16/(-24) - (-16)/6. Suppose -2*j - r*j + 232 = 0. Suppose 4*t + 10 = 2*z - j, -124 = -4*z + 2*t. Is 15 a factor of z?
True
Let m(x) = 258*x**2 + x + 10. Is 80 a factor of m(-2)?
True
Let g(j) = 20*j**2 + j - 1. Let h be g(2). Suppose -13*w - 8154 = -31*w. Suppose 6*l - w = 