b = j + 38. Is b a multiple of 3?
False
Let v be 129*2/10 + (-2)/(-10). Suppose -2*m = -w - 66, m - 3*w - v = -3. Does 5 divide m?
True
Let p(f) = 4*f - f + f**3 + 0 - 3*f**2 + 2. Suppose 3*g + 6*g = 36. Is 10 a factor of p(g)?
True
Does 12 divide (5*466 - -3) + (-26 - -33)?
True
Suppose -36*q + 615 = -33*q. Is 5 a factor of q?
True
Let t(p) = -p**3 - 16*p**2 + 32*p + 18. Let x(h) = h**2 - 10*h - 2. Let q be x(8). Is t(q) a multiple of 9?
True
Let m(x) = -3*x - 3. Let t(k) be the second derivative of k**4/12 - 5*k**3/3 + 11*k**2/2 + 2*k. Let b be t(8). Does 4 divide m(b)?
True
Let f be (0 - (0 - 1)) + -5 + 9. Suppose -3*t + 209 = -f*v, -181 = -3*t - 3*v + v. Is t a multiple of 3?
True
Suppose 19*y + 400 = 23*y. Does 16 divide y?
False
Let s = 722 + -298. Does 5 divide s?
False
Let d be 17*(-1 - 0/4). Let b = 118 - d. Does 27 divide b?
True
Suppose -813 - 897 = -6*q. Does 82 divide q?
False
Is (49/(-14) - -5)*(-2272)/(-12) a multiple of 12?
False
Suppose -4*h = -0*h + 732. Let o(j) = j**3 + 21*j**2 + 47*j + 48. Let i be o(-19). Let p = i - h. Is p a multiple of 10?
True
Let b(o) = -o**2 - 5*o. Let p be b(-4). Let z(d) = 39 - d**2 + 3*d**3 - p*d - 44 - 10*d**3. Is 10 a factor of z(-2)?
False
Let f = -13 - -17. Suppose -3*j = 9, f*t - 2*t - 3*j - 101 = 0. Is 0 + -4 + 0 + t a multiple of 14?
True
Suppose 2*q + 16 = -2*q. Let w(h) = 0 + 23*h - 13*h - 14*h - 5. Is w(q) a multiple of 11?
True
Suppose 2*q = 4*l + 74, 0*q + 4*q + 5*l = 200. Let w(o) = -o**2 - 3*o + 4. Let s be w(-3). Suppose -5*r = -n - q, -5*n - 8 = -s*r + 49. Is 8 a factor of r?
True
Let u be (-11)/11 + (4*1 - -1). Suppose -u*v - 1270 = -9*v. Does 33 divide v?
False
Let j(n) be the first derivative of n**3/3 + 13*n**2/2 + 4*n - 16. Is j(-16) a multiple of 9?
False
Let g(o) = 114*o + 4. Does 10 divide g(4)?
True
Let q be (-30)/(-255) - 4/34. Suppose q = -2*f + 2*m - 6*m + 58, -31 = -f - 4*m. Is 27 a factor of f?
True
Is 4 a factor of (1 - 1715/(-15)) + (-4)/3?
False
Suppose -316 = -2*f - 4*k, 2*f + 3*k - 288 = 6*k. Is 10 a factor of f?
True
Let g(b) = b + 19. Suppose 0 = -0*q - 3*q + 33. Let u = q + -23. Is 4 a factor of g(u)?
False
Does 4 divide ((-15)/(-20))/(-3) + 582/24?
True
Let y(c) = -c**3 - 3*c**2 - c + 3. Suppose -1 = -3*b + 11. Suppose 0 = -2*s - b - 2. Does 3 divide y(s)?
True
Let c be 2 + 17 + (0 - -2). Let o = -43 - -42. Does 4 divide (c/(-6))/(o/2)?
False
Suppose -9*h + 1492 = -2270. Is 22 a factor of h?
True
Let m(l) be the first derivative of -2*l**2 - 5*l + 3. Let t be m(-2). Suppose -4*a - t*w + 47 = 0, 0 = -4*a + 5*w + 4 + 3. Is a a multiple of 8?
True
Let f = -1037 + 1791. Does 26 divide f?
True
Let r = -6 + 8. Suppose 5*x - 6 = r*x. Suppose v + 50 = m, 5*m - x*v = -v + 258. Does 23 divide m?
False
Suppose -b - 337 = 66. Let a = 584 + b. Suppose 5*k - 169 = a. Is 20 a factor of k?
False
Let b be 4390/25 + (-4)/(-10). Suppose b = 3*v - 4. Does 20 divide v?
True
Let l be 58/8 + 15/20. Let t(d) = 2*d - 11. Let u be t(l). Suppose 3*h + 10 = -2*y + 31, -y = u*h - 28. Is h a multiple of 2?
False
Suppose 2*x + 0*x + 4 = 0, 4*f = 3*x + 698. Suppose 3*w = -q + 2*w + 79, 2*q - w - f = 0. Is 28 a factor of q?
True
Suppose 4697 + 4007 = 16*n. Suppose 836 + n = 5*x. Is x a multiple of 69?
True
Let t(p) = -27*p**3 - p**2 - p. Let f(i) = i**3 - 11*i**2 + 4. Let o be f(11). Let k(w) = -2*w + 7. Let r be k(o). Is 17 a factor of t(r)?
False
Let d(o) = 2*o**2 - 35*o + 13. Let w be d(16). Let l = 42 + w. Is 7 a factor of l?
True
Suppose 3*w + 5*n - 1487 = -0*w, 0 = -w + 3*n + 519. Suppose -w = -7*k + 189. Is k a multiple of 21?
False
Suppose -4736 = -14*s + 402. Let k = s + -252. Is 23 a factor of k?
True
Let t(l) = -3*l**3 - l**2 - 3*l - 1. Let r be t(-2). Suppose -3*y = 2*s + r, 0 = -3*y + y + 2*s - 30. Let z = y + 20. Is 9 a factor of z?
True
Suppose -4*n + 3*n + 199 = 2*q, 0 = 3*q - 3*n - 294. Is q a multiple of 33?
True
Suppose -4*l + q + 1116 = 0, -4*l + 36 = -2*q - 1076. Does 70 divide l?
True
Suppose 0 = 4*i + 3*j - 4, -5*i = -j + 1 - 6. Suppose 2*b - i - 19 = 0. Is b a multiple of 5?
True
Let h(w) = -4*w**2 - 4 - 7*w + 2*w + 3*w**2. Let l be h(-3). Let o = l - -5. Is 2 a factor of o?
False
Suppose 24 - 94 = -5*g. Let a = g - 1. Is a a multiple of 4?
False
Let l(q) = -q**3 - 5*q**2 - 2*q - 3. Let p be l(-5). Let x(y) = y - 4*y + 3 + y**2 - p*y - 2*y**2. Is 24 a factor of x(-7)?
True
Let z be (-44)/6*57/(-1). Suppose -5*y = -327 - z. Is y a multiple of 20?
False
Let m = 25 + -23. Let o be m + -1 - (-10 - -2). Is 48 - o/((-18)/4) a multiple of 17?
False
Let a = 25 - -2. Suppose 3*o - a = 45. Suppose -m + o = 3*m. Is m a multiple of 6?
True
Suppose -h - 1343 = -3*t, 62 = -t - 5*h + 499. Is t a multiple of 5?
False
Suppose 9*q = 4*q - 4*v + 33, -4*v = q - 13. Suppose 148 = 5*u - q*h - 122, 4*h = 8. Suppose 28 = c - 3*f, -c - c + u = 2*f. Does 9 divide c?
False
Suppose 0 = -u + 6*u - 2*l - 2810, 25 = -5*l. Does 16 divide u?
True
Let d be (4 - 5)/(-1) - -2. Let i(s) = -6*s**2 + 3*s**3 - s**d - 4*s**2 - 1 - s**3 + 12*s. Is i(9) a multiple of 9?
False
Suppose 0 = 3*h - 242 - 352. Does 18 divide h?
True
Suppose 3*t - 2*y - 156 = 0, 2*t = 6*t - 4*y - 208. Does 2 divide t?
True
Let v = -18 - -18. Suppose v = 4*c - 491 - 189. Suppose 0 = 3*y + 5*n - 98, -5*y + n + c = 6*n. Is y a multiple of 18?
True
Let x = -746 + 2577. Is x a multiple of 54?
False
Suppose 0 = -s - 2. Let f = 28 - s. Let v = 70 - f. Is v a multiple of 20?
True
Let j(y) = 154*y - 28. Let f(o) = -17*o + 3. Let z(a) = -28*f(a) - 3*j(a). Let p be z(-1). Is 12 a factor of (-579)/(-5) - p/70?
False
Let q be -2 + 12/(-16) + 2604/16. Let v = q - 119. Does 5 divide v?
False
Suppose 3*j - o - 8 = 0, -2*j - 9 - 9 = 4*o. Suppose -3*k - j = 2. Let i = 9 + k. Is 2 a factor of i?
True
Let k = -13 + 16. Suppose 2*m - 3*m = -13. Suppose -x + 15 = -d, -4*d + m + 4 = k*x. Is 5 a factor of x?
False
Let w(t) = t**2 + 4*t + 33. Does 25 divide w(-16)?
True
Suppose 0 = -4*n + 2*n + 136. Let i = -36 + n. Is i a multiple of 20?
False
Suppose 2*l = -2*l - 312. Let m = l - -137. Suppose c = -3*y + 53, -y + m = 2*y + 4*c. Is 17 a factor of y?
True
Let o be (2 - -52) + (-2)/(-1). Suppose -f = 3*l + l - 32, -3*f + o = 4*l. Does 2 divide 4/6 - (-76)/f?
False
Let a(w) = -w**2 - 86*w + 110. Is 68 a factor of a(-74)?
False
Let z be (-12 - -6)*6/(-4). Let m(b) = b**3 - 5*b**2 - b + 7. Let j be m(5). Suppose z = c - s + 2*s, -j*c + 33 = -s. Does 14 divide c?
True
Let b(j) = -j**2 + 28*j - 79. Let d be b(24). Suppose 2*n + 2 = 3*y, -3*n + 4*n = 3*y - 7. Let l = d - y. Is l a multiple of 11?
False
Is 19 a factor of (-18)/(-32)*4*(1580 - -16)?
True
Suppose r - 53 = -17. Suppose -a - 9 = -29. Let u = r - a. Is 8 a factor of u?
True
Let s(i) = 3*i**2 + 3*i + 5. Let q be s(5). Let j = 142 - q. Is 10 a factor of j?
False
Let h(d) = -d**3 + 2*d + 2. Let k = -20 - -18. Does 6 divide h(k)?
True
Let x be (1 + 0)*(-4 - -7). Suppose x*p - 5*j = -4*j + 130, j + 46 = p. Is 5 a factor of p?
False
Let r(k) = 23*k + 28. Let y be r(7). Suppose z = -72 + y. Is z a multiple of 39?
True
Suppose -4*m = -4*h - 1372, -h - h = -4. Does 10 divide m?
False
Let h(m) = 5*m - 2. Let o be h(1). Suppose 2*l + 7 - 89 = -3*d, 2*d - o*l = 33. Is 8 a factor of d?
True
Let f = -8762 - -12422. Is f a multiple of 20?
True
Suppose 5*y + 5*l = -4 - 6, -5*y + 22 = -3*l. Suppose -4*s + 104 = d, -2*d - y*d + 346 = 2*s. Is 12 a factor of d?
True
Let w(u) = -u**2 + 19*u - 46. Let j be w(16). Suppose 5*t - 488 = j*t + 4*h, 4*h + 168 = t. Does 32 divide t?
True
Suppose 60*j = 53*j + 1358. Does 12 divide j?
False
Let r = 615 + -34. Does 7 divide r?
True
Suppose 5*q + 425 = -5*u, -5*u - 3*q = -0*q + 427. Let o = u + 159. Suppose -5*g - 18 = -o. Does 11 divide g?
True
Suppose -2*t = -n + 20, 0*n = 5*n - 2*t - 60. Suppose -n = 7*z - 2*z. Is ((-5)/z)/(1/10) a multiple of 5?
True
Let o = 238 - 185. Is o a multiple of 11?
False
Let x be 2/9 - (-2094)/54. Suppose 2*q - x = h, 15 = 2*q - 4*h - 27. Is 7 a factor of -4*(-1 + 0) + q?
False
Suppose -9*p + 12*p + 441 = y, -2*p + 436 = y. Is 5 a factor of y?
False
Does 26 divide 551/4 + -8 + 1/4?
True
Let i(j) = -j**3 + 31*j**2 - 31*j - 141. Does 79 divide i(28)?
True
Let v be (-6)/5*((-3)/6 + -2). Suppose -4 = 2*f + v*o - 7*o, -3*f + 39 = 3*o. Is 8 a factor of f?
