uppose -4*r - 112 = -a*r. Is r a multiple of 28?
True
Let f(o) = 28*o**2 - o - 3. Let c(v) = v**3 - 5*v**2 - 2*v + 12. Let p be c(5). Suppose y = -5, 5*b + 10 + 10 = -p*y. Is 37 a factor of f(b)?
True
Suppose -4*i - 3*l + 255 = -6*l, 2*i - 2*l = 130. Is 4 a factor of i?
True
Suppose -3*v + 5 = -2*l, -3*l - 2 = 2*v - 14. Suppose -7 = -l*t + 9. Let x = 62 - t. Does 18 divide x?
True
Suppose 0 = 2*f + x - 386, -f = 7*x - 3*x - 200. Is 16 a factor of f?
True
Let a(t) = -26*t**3 + t**2 - 6*t - 1. Is 52 a factor of a(-3)?
True
Let w(r) = -r**2 + 12*r + 13. Let j be w(13). Suppose 5*z - 71 - 34 = j. Is z a multiple of 15?
False
Let o(f) = f**3 - 7*f**2 + f + 1. Let j be o(7). Let m = 0 + j. Suppose -7*y = -m*y + 10. Does 4 divide y?
False
Suppose -60*i = -58*i - 8. Suppose 0 = -4*h - i*h + 504. Is 45 a factor of h?
False
Let f = -28 + 33. Suppose -3*z + 279 = 3*a, f*a + 3*z - 469 = 2*z. Is 20 a factor of a?
False
Suppose -60 = -3*w - 2*w. Let r be (-202)/(-4) - (-6)/w. Suppose -5*a - 5*i + 400 = 0, 0 = -2*a + 4*i + r + 103. Is a a multiple of 20?
False
Let o be (-6)/8 - 5775/(-84). Let b = -18 + o. Is b a multiple of 25?
True
Let t(f) = f + 7. Let w be t(0). Let d be 1*(w + -3) - -35. Let y = 73 - d. Is y a multiple of 14?
False
Let n(u) = u + 6. Let s be n(-4). Suppose 71 = 5*b - s*c, -c + 6*c + 28 = b. Is 11 a factor of 0 + 3 - (5 - b)?
True
Suppose -5*r - 34 = -4. Let k(s) = -8*s + 3 - 4 + 1. Does 24 divide k(r)?
True
Suppose 2*p = 3*q - 42, -2*q + 5*q - 33 = -p. Let v = 32 - q. Let k = v - -26. Is 13 a factor of k?
False
Let s(r) = r**3 - 11*r**2 - 22*r - 2. Is s(13) a multiple of 5?
True
Is 3/1 + 30/(-5) + 241 a multiple of 11?
False
Suppose 308 = -2*c - 4*r, -14*r + 18*r - 172 = c. Let b = 293 + c. Does 7 divide b?
True
Let n = 855 + -721. Let d(i) = -i**2 + 8*i - 7. Let l be d(6). Suppose l*k - 3*k - n = 0. Is k a multiple of 24?
False
Let q be 10*4/(-6)*201/(-2). Suppose 2*s = 4*c - q, 2*c + 0*s - 340 = -4*s. Does 28 divide c?
True
Let o = 41 + -28. Let x = -8 + o. Let r(c) = 9*c + 5. Is 14 a factor of r(x)?
False
Let q(s) = -s**2 + s. Let a(x) = -3*x**2 + 6*x. Let j(o) = 2*a(o) - 14*q(o). Let b be (1 + 0)/(10/(-20)). Is 16 a factor of j(b)?
False
Suppose 0 = 3*x - 3, -2*x = -2*m + 76 + 40. Is m a multiple of 7?
False
Suppose -26*x - 6410 = -18110. Does 18 divide x?
True
Let m = 625 - -147. Is 9 a factor of m?
False
Suppose -j = o - 6, 3*j - 2*o - 34 = 4. Let s(g) = -g**3 + 11*g**2 - 11*g + 8. Let d be s(j). Is (34/(-8))/(d/8) a multiple of 5?
False
Let f(c) = -c**2 + 7*c - 8. Let u be f(5). Suppose 108 + 58 = u*w. Does 14 divide w?
False
Let h be 11/((-3)/15*-1). Let c = h - 37. Does 23 divide 3/2*960/c?
False
Let g(q) = 1 - 16*q**2 + 17*q**2 + 2*q + 0 + 2. Suppose 5*w + 14 + 1 = 0. Is g(w) even?
True
Suppose -2*f + 72 = w + w, 2 = f. Is 17 a factor of w?
True
Suppose -14*d + 6*d = -720. Is d a multiple of 10?
True
Let h(t) = 211*t + 21. Does 28 divide h(1)?
False
Let z(g) = g**2 - 2*g - 3. Let h be z(4). Suppose -h*m - 13 = r, 5*r = -22 + 7. Does 20 divide 62 - (-2)/(m + 1)?
True
Let h(m) = -3*m - 8. Let q be h(-4). Suppose 4*n - n = -4*r + 160, q*r = -5*n + 168. Does 13 divide r?
False
Suppose -16 = 2*k + 4. Suppose 48*n - 67*n = -285. Is (-494)/k - n/(-25) a multiple of 14?
False
Is 21 a factor of 656/7 + (-30)/(-105)?
False
Suppose 25*s = s + 42120. Is 45 a factor of s?
True
Suppose -1450 = -3*f - 2*j, -1944 = -3*f - 5*j - 497. Does 9 divide f?
False
Is -9 + 8 + (1364 - 3) a multiple of 35?
False
Let o(w) = 2*w**2 + 3*w + 4. Let u = -4 - -1. Let v be o(u). Suppose 16*a - 9 = v*a. Does 3 divide a?
True
Let m = -20 - -10. Let p = 1 - m. Suppose -5 - p = -2*u. Does 4 divide u?
True
Let x(i) = -i**3 + 15*i + 47 - 23 + 8*i + 22*i**2. Is 6 a factor of x(23)?
True
Let g = 1431 + -729. Is g a multiple of 18?
True
Let c = 1 - -1. Let n be (-1)/6 - 38/(-12). Suppose -5*d = n*i - 19, -4*d + 4 = -2*i + c. Is 2 a factor of d?
True
Let l = -18 - -24. Suppose 2*h - l*h = -224. Is 14 a factor of h?
True
Let f(p) be the first derivative of p**3/3 + 8*p**2 - 8*p + 3. Let d be f(-8). Let c = 104 + d. Does 15 divide c?
False
Let k = 28 - -11. Suppose -5*s + 289 = k. Is s a multiple of 25?
True
Let j = -74 - -344. Is j a multiple of 10?
True
Let j be (5 - -2)/(-5*4/(-160)). Suppose 7*p - j = -p. Is 7 a factor of p?
True
Suppose 4*k = l + 2*l + 80, 0 = -5*l - 20. Is 10 a factor of k?
False
Let g be (-30)/10 + (7 - 1). Is g/(-2*(-4)/200) a multiple of 25?
True
Let w(z) = 5*z - 14. Let p = -15 + 21. Is w(p) a multiple of 8?
True
Let s be (-104)/28 - (-4)/(-14). Let t be (1 - -5) + (s - -6). Is (12/(-9))/(t/(-12)) a multiple of 2?
True
Suppose -8*v = 11 - 19. Does 16 divide (36/24)/(v/38)?
False
Suppose 0 = -4*t + 4, -4*g - 5*t + 151 = 6. Is g even?
False
Let o = 252 - 10. Does 11 divide o?
True
Suppose -2*g - 558 = 492. Let s = g - -787. Is s a multiple of 38?
False
Let t be -6 + 3 + 0 + (-3 - -11). Suppose t*k + 10 - 61 = -4*d, -9 = -d - 2*k. Is 11 a factor of d?
False
Suppose o - 349 = -4*y, 5*o - 7*y = -6*y + 1640. Is 7 a factor of o?
True
Suppose -5*i + 1237 = -i - h, -5*i = 3*h - 1559. Suppose 3*k - 107 = i. Is 13 a factor of k?
False
Let s = 4985 + -916. Is 13 a factor of s?
True
Suppose 0 = -5*b - 3*r + 3181, 6*r + 2561 = 4*b + 3*r. Is b a multiple of 25?
False
Is 6/((-959)/322 + 3) a multiple of 5?
False
Suppose 0 = 3*u - 2*h - 11, 2*h + 1 = -u + 5*h. Suppose -219 = -u*w + 501. Is 24 a factor of w?
True
Let y(a) = a**2 + 10*a - 67. Is 14 a factor of y(-25)?
True
Let l be 9*(-17 - -2)*4/(-10). Suppose -3*b = -8*b + k + 274, 0 = -b + k + l. Is 11 a factor of b?
True
Suppose 3*b - 4324 = -4*d, 2*b - 2*d + 1368 - 4274 = 0. Is b a multiple of 10?
False
Let b(j) = j**3 + 2*j**2 + j + 1. Let a(m) = -m**3 - m. Let d(c) = 2*a(c) - 2*b(c). Is d(-2) a multiple of 11?
True
Let h be (-644)/(-6) - (0 + (-10)/15). Let r = 20 + h. Is r a multiple of 16?
True
Let l = 3105 + -1713. Is 116 a factor of l?
True
Let w be 5*(142/(-10) - -4). Is 5769/51 + 6/w a multiple of 18?
False
Let c(w) = 3*w**3 + 3*w**2 - 2*w + 4. Let a be c(-3). Let i = 7 - a. Let b = 102 - i. Is 17 a factor of b?
True
Let o = -1285 - -2081. Is o a multiple of 73?
False
Let v(r) = 33*r - 6. Suppose -2*c + 3*q - 5 = -3, 0 = 5*c - 5*q. Does 15 divide v(c)?
True
Let z(o) = o**3 + 6*o**2 - 2*o - 6. Let w be z(-6). Suppose w*u - 7*u + 27 = 0. Is u a multiple of 7?
False
Let r(h) = -31*h - 18 + 32 - 27 - 27. Is r(-8) a multiple of 14?
False
Is 30 a factor of 80/(-10) - 301*-3?
False
Let t(d) be the second derivative of -d**5/20 + 5*d**4/6 - 2*d**3/3 + 3*d**2 - d. Let l(x) = -x**2 + x + 21. Let f be l(4). Does 16 divide t(f)?
False
Let p(f) = 11*f + 2. Let s(h) = 5*h + 1. Let d(z) = -4*p(z) + 9*s(z). Let l(w) = 3*w + 4. Let t(a) = -9*d(a) + 2*l(a). Is 14 a factor of t(-5)?
True
Suppose -4*j - 32 = -208. Suppose -n + j - 14 = 4*h, -5*h = 10. Is 38 a factor of n?
True
Let v(x) = -x + 7. Let r be v(7). Suppose r = -3*z - 7*w + 2*w + 87, -33 = -2*z + 5*w. Does 4 divide z?
True
Suppose -y + 0*y - 1 = -x, 4*x - 4 = 3*y. Suppose -a = v - y*a - 18, v + 4*a - 33 = 0. Is v a multiple of 4?
False
Let w(b) = -b**3 + 12*b**2 - 10*b + 11. Let n be w(11). Suppose -7*m + 290 = -2*m. Let o = m - n. Does 12 divide o?
True
Let m be (-5)/4*-4*1. Suppose -z = -b + 6*b - 30, -220 = -4*z + m*b. Does 8 divide z?
False
Let t = 25 - 21. Suppose -4*m = -t - 4. Suppose -5*d = j - 112, 0*d - 26 = -d - m*j. Is 10 a factor of d?
False
Let z = -46 + 86. Suppose -5*d + 0*d = z. Is 4 a factor of 2/d - (-130)/8?
True
Let p(w) = -w**2 + 15*w - 27. Let x be p(13). Does 17 divide (-3 + 6)/(x - 483/(-474))?
False
Let d = -495 + 1138. Is 19 a factor of d?
False
Let a = 32 + -37. Is 21 a factor of (6/a)/((-18)/3480)?
False
Suppose -12 = f + 4*o, -o = -4*f - 6*o - 15. Suppose 6*n + 6*n - 1728 = f. Is 9 a factor of n?
True
Suppose -45*c + 44*c = -196. Is c a multiple of 2?
True
Let h be 1/(-4) - (-2)/8. Suppose h = -j, j = d + 2*d - 255. Does 17 divide d?
True
Suppose -56*p = -53*p - 36. Suppose p*h - 847 = -127. Is 10 a factor of h?
True
Let f = 436 + 609. Is f a multiple of 55?
True
Let f be (-2)/(-7) - 198/7. Let x = f - -108. Does 20 divide x?
True
Suppose 5*y = -3*u - u + 155, 2*y - 38 = -u. Does 20 divide u?
True
Let c be (-3)/4 - (-23)/4. S