*b. Suppose 0 = -b*x + 4*x + 38. Is x a multiple of 19?
True
Suppose -2*g + 4 = 0, 2*w = -w + 3*g + 60. Suppose -j + 4*h + w = -4, -5*j + h + 168 = 0. Is 17 a factor of j?
True
Suppose 23*k - 28*k + 1280 = 0. Is 16 a factor of k?
True
Let o = 809 + -396. Does 7 divide o?
True
Let t = 8 - 6. Suppose 27 = t*c - 5*c. Let k = c - -26. Is k a multiple of 3?
False
Is 4/16 + -1 + 537/12 a multiple of 4?
True
Suppose -4*v = -7*v - 5*s + 3275, -3*v - 2*s = -3290. Suppose -v = -4*f + 3*t, f - t = 5*f - 1084. Is 39 a factor of f?
False
Let w(l) = l**2 - l + 5. Suppose 0 = f + 5*s - 27, f + 3*s - 57 = -3*f. Suppose 0 = -0*h - 4*h + 2*x - 16, 3*h + 2*x = -f. Does 17 divide w(h)?
False
Let r = 723 + -19. Does 74 divide r?
False
Suppose 0 = -37*j + 4*j + 4455. Does 9 divide j?
True
Let i(r) = -102*r - 102. Is i(-13) a multiple of 51?
True
Let y = 11 + -5. Let u be (-1164)/(-8)*y/9. Suppose 5*r = -b + 45, -u = -5*r - 4*b - 37. Is 5 a factor of r?
False
Suppose -99*t - 245 = -106*t. Is t a multiple of 2?
False
Let l(c) = 4*c**3 - 3*c**2 - 7*c + 29. Is l(5) a multiple of 7?
False
Let s(q) = 20*q**2 + 8*q + 2. Is 21 a factor of s(-5)?
True
Let t(s) = 6*s - 27 - 16*s + s**2 + s. Is t(-11) a multiple of 14?
False
Let l = -75 + 99. Is l a multiple of 3?
True
Suppose -5*k + d + 26 = 0, 0*k - 4*k + 2*d = -22. Suppose 2*f - k*f = 4*y - 73, -5*f + 170 = -3*y. Is 6 a factor of f?
False
Let h(d) = 32*d**2 - 38*d - 3. Does 25 divide h(12)?
False
Suppose -4*j = -2*j + 5*k - 822, 3*k = -3*j + 1224. Is 16 a factor of j?
False
Suppose 0 = 6*r + 1 - 13. Is 37 a factor of (77 + -40)/(r/18 + 0)?
True
Let s = -256 - -696. Does 11 divide s?
True
Is 25 a factor of -3*(4 + 40/(-12)) + 96?
False
Let h be (10/8)/(1/4). Suppose 2*x + 264 = 4*l, -h*l - 5*x = -199 - 101. Is l a multiple of 7?
False
Suppose -2*c + 5*d = -540, -4*c + 5*d = 3*d - 1112. Is c a multiple of 28?
True
Let p be (-1 + 2 - 1) + 14. Suppose 0 = 3*n - 2*n + p. Let a(l) = -l - 5. Is a(n) a multiple of 8?
False
Let o = -10 + 16. Let t(v) = 6*v**2 + 7*v + 12. Let x be t(-4). Suppose -o*i + x = -i. Is 16 a factor of i?
True
Suppose 3*q + 5*a = 2612, 354 - 2102 = -2*q - 5*a. Does 54 divide q?
True
Let f = -357 + 363. Is f a multiple of 2?
True
Let v(i) = -2*i**3 + 59*i**2 - 14*i + 20. Is v(28) a multiple of 67?
False
Suppose -257 = 6*u - 635. Is u a multiple of 9?
True
Let m(b) = 16*b**2 - 213*b - 37. Is 56 a factor of m(17)?
False
Let n = -49 - -52. Suppose 0*z = -2*z - 5*w + 72, -w = -n*z + 125. Is 17 a factor of z?
False
Does 11 divide ((-464)/24 - -8)/((-4)/42)?
False
Let z be ((-10)/6)/(4/(-12)). Suppose -3*s + 2*s = -z. Suppose -65 = -3*b - s*o + 65, -90 = -3*b + 3*o. Is 20 a factor of b?
False
Suppose 5*h + 2*a + 122 = 0, 2*a - 10 - 12 = h. Let o = h - -27. Suppose 4*d - 2*q = -0 + 164, -227 = -5*d - o*q. Is 16 a factor of d?
False
Suppose -186 = 7*d - 46. Let r = d - -16. Is 21 a factor of r + (7 - -1) + 59?
True
Let t(g) = -2*g**2 - 7*g + 4. Let r(d) = -1. Let j(m) = -3*r(m) - t(m). Let u be ((-9)/4)/(2/(80/15)). Is j(u) a multiple of 17?
False
Suppose 3*y + 3*b = y + 3, 4*y - 4*b - 16 = 0. Is 27 a factor of (y/1)/(10/90)?
True
Let y(o) = 55*o**3 + 4*o - 1. Let g be y(2). Let h = g + -220. Does 22 divide h?
False
Let w be 2/(-1*4/150). Let c = w + 123. Is 9 a factor of c?
False
Suppose 3*t = -2*g + 298, 5*g - 726 = 5*t - 3*t. Is 3 a factor of g?
False
Let m = -52 + 80. Suppose -33*o - m = -37*o. Does 2 divide o?
False
Let t = 2042 - 944. Does 18 divide t?
True
Let x(f) = 2*f. Let w be x(0). Let u be -5*(2 - w)/(-2). Let y = u + 2. Is 2 a factor of y?
False
Suppose -500 = -4*o - o. Suppose -b = 5*h - 43, 3*b - 4*h - o = b. Is b a multiple of 12?
True
Let r be (-4)/((-24)/219)*2. Suppose -r = -3*a - 178. Let c = a - -112. Is 26 a factor of c?
False
Let v = 13 + -10. Let t be (-6)/(-2)*2/v. Does 2 divide 2/((-6)/(-21)) + t?
False
Let g = 526 - 337. Suppose 5*y - 56 = g. Does 6 divide y?
False
Suppose 6*y - 9 - 9 = 0. Let j(h) = -h**y - 11*h**2 + 2*h + 10*h**2 - 2*h + 25. Is 25 a factor of j(0)?
True
Suppose z + 1 = -3. Let n = 17 + z. Let f(v) = 2*v - 6. Is f(n) a multiple of 20?
True
Let s(d) = -6*d + 49. Let n be s(9). Is (-2 - n - -1)*(-6 - -40) a multiple of 17?
True
Let h(p) = 1499*p**3 - 2*p + 3. Let f be h(1). Suppose -464 = 7*i - f. Is i a multiple of 37?
True
Suppose 36 = 3*n - 2*n. Let m = 45 - n. Does 9 divide m?
True
Suppose 1 = 2*h - 9. Suppose 0 = 4*p, 5*j - 85 = h*p + 125. Does 14 divide j?
True
Suppose -8*d = -3*m - 6*d + 454, -5*d + 20 = 0. Is m a multiple of 7?
True
Let b(z) be the first derivative of z**4/4 + 10*z**3/3 - 6*z**2 - 8*z - 9. Let p be b(-11). Suppose 0 = t - p*t + 56. Is 14 a factor of t?
True
Let l(u) be the second derivative of u**4/6 + 2*u**3 + 5*u**2 + 28*u. Does 6 divide l(-8)?
True
Let t = 21 - 28. Let s = -14 - t. Let m = s + 31. Does 10 divide m?
False
Suppose -23*c + 555 = -2136. Is c a multiple of 13?
True
Suppose n = -5*w + 30, 3*n - 22 = -3*w + 8. Suppose n*d + 3*q = -0*q + 1022, 3*q = -3. Is 42 a factor of d?
False
Let d be 2 + 133/5 - 30/(-75). Let y = d - -8. Is 6 a factor of y?
False
Suppose -4*k = 2*x - 1796, -100*k + 1805 = 2*x - 105*k. Is x a multiple of 50?
True
Let h be 35/21 - (-1)/3. Suppose -7*y + h*y + 135 = 0. Is y a multiple of 8?
False
Let s(p) = -p - 2. Let j be s(-5). Let d be (18/15)/j*25. Is (8/d)/((-3)/(-90)) a multiple of 11?
False
Let n(a) = 4*a + 15. Suppose 0 = -h + 35 - 27. Does 47 divide n(h)?
True
Suppose 5*b - 36 = 49. Suppose 3*p + 2 - b = 0. Suppose y + 16 - 98 = -z, p*y - 417 = 2*z. Does 14 divide y?
False
Suppose -5*y = -9*y. Let r be 10/5 - (y + 2). Suppose r = i - 28 - 0. Is i a multiple of 20?
False
Suppose 2*s + 36 = 3*x, 4*x - 54 + 6 = -s. Let i(n) = 7*n - 12. Does 8 divide i(x)?
True
Let t(l) = 37*l + 10. Does 7 divide t(1)?
False
Let k be 68/(-306) - ((-56)/9)/1. Let x = k - -4. Does 7 divide x?
False
Let i = -13 + 8. Let l be (1 - -4)*(i - -4). Let g(o) = -o**3 - 5*o**2 - 3*o + 3. Is 18 a factor of g(l)?
True
Let w(i) = 25*i - 1 + 16 - 27*i - 2. Let h be w(6). Is (6 - 7)/(h/(-8)) even?
True
Let y(g) = -8*g**2 + g - 3. Let b(w) = w**3 - 6*w**2 + 7*w - 7. Let x be b(5). Let q(j) = -7*j**2 + j - 4. Let l(n) = x*q(n) - 4*y(n). Is l(1) a multiple of 10?
True
Let v(c) = c**3 - 6*c**2 + 3*c - 19. Let r be v(6). Is (r/(-2))/((-8)/(-1056)) a multiple of 22?
True
Let m(i) = i**2 + 8*i + 9. Let z be m(-10). Suppose -z*b = -24*b - 275. Is 11 a factor of b?
True
Let w be ((-4)/9)/(24/(-108)). Let l(h) = -3*h**2 + 0*h - 10 + w*h**2 + 14*h. Does 15 divide l(10)?
True
Let n be 1 + 1 + (0 - -2) + -1. Suppose 0 = -2*b - 5*i - 12 + 40, n*b + i - 68 = 0. Is 7 a factor of b?
False
Let o = -43 + 47. Suppose 103 = 4*k + o*s + 23, 3*s + 45 = 2*k. Is 7 a factor of k?
True
Suppose 30 = -12*c + 15*c. Suppose -15*r + 875 = -c*r. Is r a multiple of 25?
True
Let a(g) = g + 4. Let n be a(-4). Suppose n = -p - 7 + 46. Is 9 a factor of p?
False
Let o = -17 + 19. Suppose -3*b + 654 = -o*q + 7*q, -5*b = -5*q + 630. Is 31 a factor of q?
False
Suppose 4*b - 13 = 3. Suppose 0*s - 355 = -b*s - 3*a, 4*a = 2*s - 194. Does 25 divide s?
False
Suppose -4*y = -5*i - 2*y + 179, -2*y - 109 = -3*i. Let s = i - 13. Is s a multiple of 17?
False
Let q = 3451 - 1075. Suppose -12*t + 24*t - q = 0. Is t a multiple of 22?
True
Suppose 2*p - 32 - 38 = 0. Suppose 0 = -0*w + 5*w - p. Is w a multiple of 7?
True
Suppose -2*l - 17 = -13. Let d = 13 - l. Is d a multiple of 6?
False
Suppose -61*o + 62*o = 88. Does 20 divide o?
False
Let v be (-2)/(-4)*(16 - 2). Suppose v*b - 4*b + m - 15 = 0, 0 = b + 5*m - 19. Is b a multiple of 2?
True
Does 23 divide (-44965)/(-135) + (-4)/54?
False
Let s be 75*(-3)/(-33) - (-4)/22. Let u(k) = 5*k + 4. Is u(s) a multiple of 11?
False
Suppose -39 + 529 = 14*x. Is 5 a factor of x?
True
Let n(o) = o**3 + 2*o**2 + 2*o. Let c be n(-1). Let x(t) = -20*t**3 + t**2 + 2*t + 2. Does 8 divide x(c)?
False
Let z be ((-35)/(-20) - 2) + 13/4. Suppose 0 = a + 1 + 3, -a - 384 = -5*m. Suppose -z*w = -2*d + 49, -3*d + 4*w = -0*w - m. Is 16 a factor of d?
True
Let c(d) = -d**3 + 11*d**2 - 11*d + 12. Let b be c(10). Let h be 0/(-1) - (b + -14). Suppose 9*m = h*m - 117. Is m a multiple of 13?
True
Let c(q) = q**3 - 4*q**2 + 4*q + 1. Let p be c(3). Let r be (2/p)/(3/24). Let h(