uppose t = -b - n + 64. Is b a multiple of 15?
False
Suppose -16*n - 12090 = -42*n. Is n a multiple of 17?
False
Is -1*1 + (366 - 2) + -3 a multiple of 24?
True
Let g(o) = o - 2. Let u be g(5). Suppose 5*j + 3*v = 146, -8*j + 3*v + 134 = -u*j. Is 21 a factor of j?
False
Let z(o) = -27*o + 51. Let j be z(-16). Suppose -d - j = -4*d. Does 23 divide d?
True
Let j = -32 + 36. Suppose 0*l - 60 = 4*l + j*c, 3*c = 5*l + 67. Let z = 40 - l. Is 27 a factor of z?
True
Let b(w) = -21*w - 19. Is b(-18) even?
False
Let p = 2412 - 1671. Is 13 a factor of p?
True
Let c be (-3)/1 + (-7 - -12). Is c/3*117/2 a multiple of 13?
True
Suppose -131 = 4*k - 19. Let u(b) = b**3 + 28*b**2 - 3*b + 38. Is u(k) a multiple of 22?
False
Suppose 0 = 267*v - 271*v + 3760. Is v a multiple of 47?
True
Let s(y) = -7*y**2 - 24*y - 7. Let t be s(-6). Let k = -100 - t. Is k even?
False
Let m = 3 + 0. Suppose 0 = -m*b + 2*b - 5, 0 = 2*k + b - 27. Is (-4)/k + 201/4 a multiple of 22?
False
Suppose -5*a + 2*r - 7*r = -85, -r = 4*a - 80. Let l = 45 + a. Does 11 divide l?
True
Suppose 13380 = -x + 31*x. Is 13 a factor of x?
False
Is 86 a factor of (-181656)/(-132) - 10/55?
True
Suppose -p + 300 = 4*b, -16 + 4 = 3*p. Suppose -3*r + t = 42 + 85, -4*r = 5*t + 201. Let a = r + b. Is 10 a factor of a?
False
Let z(u) = -25*u**2 + 8*u - 11. Let y(t) = -13*t**2 + 4*t - 5. Let n(d) = 5*y(d) - 3*z(d). Let a(b) be the first derivative of n(b). Does 15 divide a(3)?
False
Suppose -3*j + 1 = -4*c, c + 2 + 7 = 2*j. Let w = j + -42. Let q = 67 + w. Is q a multiple of 16?
True
Let a = 191 - 119. Is 18 a factor of a?
True
Let a(l) be the third derivative of 3*l**6/20 - l**5/10 + 5*l**4/24 - 2*l**3/3 - 32*l**2. Is a(2) a multiple of 23?
False
Suppose 3*s + i - 24341 = 0, -5*i + 40585 = 11*s - 6*s. Let h = 1 - 31. Is s/90 + 4/h a multiple of 14?
False
Let m(y) = 5*y - 18. Let o be m(4). Is 6 a factor of (-7 + o)/((-2)/18)?
False
Is 396 + (-1 - -8) + 8 a multiple of 6?
False
Is 18/8*(-40704)/(-288) a multiple of 2?
True
Let d = 3713 - 1765. Is 62 a factor of d?
False
Suppose 1 = -2*z + 3*o, 2*z - 5*o = -o - 4. Suppose f = w - 0*f - 14, -z*w - 3*f + 63 = 0. Let m = 30 - w. Does 5 divide m?
True
Let i(x) be the first derivative of 5/4*x**4 - 3*x + 5/2*x**2 + 1 + 1/3*x**3. Does 17 divide i(2)?
True
Let p(c) = c**2 - 6*c + 16. Let u be p(8). Suppose 0 = -u*i + 29*i + 66. Is i a multiple of 3?
False
Suppose -15*i - 140 = -16*i. Is 35 a factor of i?
True
Suppose 15*c - 20*c + 20 = 0. Suppose -3*o - 179 = -j - c*j, -o - 37 = -j. Is j a multiple of 34?
True
Let q be (-3 - (-11)/(-3))*-6. Let d = q + 39. Is d a multiple of 21?
False
Let z(i) = i**2 + 10*i + 1. Let x be z(-10). Let c be (1 + -2)/(x/(-6)). Suppose -k - c = -20. Does 7 divide k?
True
Suppose 5*c - 5*f - 70 = 0, 0*c = 3*c + 4*f - 28. Let w = -4 - -58. Is (w/c)/(3/4) a multiple of 2?
True
Let q(d) = 2*d + 8. Suppose -4*w - 20 = 4*k, -3*k - 4*w = -2*k - 1. Let g be q(k). Is (-9)/g - (-77)/2 a multiple of 18?
False
Suppose 0 = 4*b - 20, -2*t + 4*b = t + 98. Let g = 33 - t. Is g a multiple of 17?
False
Let n(c) = -c**3 + 3*c**2 + 4*c - 6. Let l be n(4). Let g(u) = 225*u - 114*u - 112*u. Is g(l) a multiple of 3?
True
Suppose -3*i - g - g = -94, i + 5*g - 40 = 0. Suppose 154 = 5*u - 2*h - i, 2*h - 32 = -u. Is u a multiple of 18?
True
Suppose u - 5*j = -19, 2*j = 6*u - 3*u + 5. Let v(o) = 2 - u - 2 - 6*o. Is v(-11) a multiple of 13?
True
Let l = 285 + 58. Does 11 divide l?
False
Let c(i) = -4*i + 4. Let g be c(6). Let q = 539 - 506. Let s = q + g. Is s a multiple of 13?
True
Let j(v) = 4*v**2 + 2*v. Let f be j(-3). Let a = f - -10. Suppose 0*c = -2*c + a. Is 10 a factor of c?
True
Let n(y) = 2*y**2 + 36*y + 82. Is n(-25) a multiple of 48?
True
Let n(i) = -i**3 - 15*i**2 - 27*i - 40. Let x be n(-14). Suppose -3*u + 3*z + 12 = 0, 3*z + z + 7 = -5*u. Does 11 divide x/2 - (u - 0)?
False
Let k(j) = 100*j**3 + 2*j**2 - 6*j + 4. Is k(2) a multiple of 25?
True
Suppose -4*a + 437 - 7 = 5*t, 260 = 3*t + 2*a. Is 15 a factor of t?
True
Let h(k) = 41*k - 14. Let p be h(9). Does 23 divide 3/(30/p)*2?
False
Suppose -13412 - 13174 = -9*i. Does 14 divide i?
True
Let o(g) = 5*g - 26. Let a be o(12). Suppose 3*q - 89 = a. Is q a multiple of 6?
False
Let w be 0/((-3)/9*-3). Suppose 8*y - 7 = 3*y + 2*b, w = 3*y - 3*b - 6. Does 11 divide y/((-2)/(-98) + 0)?
False
Let b(t) = t**3 + 9*t**2 - 2*t - 53. Does 4 divide b(-8)?
False
Suppose 3*y + 3*g - 5*g - 15 = 0, 4*y + 4*g = 0. Let t be ((-1)/(-2))/((-11)/(-484)). Let a = y + t. Is a a multiple of 25?
True
Let r(y) = -3*y + 2. Let p = 3 - 14. Let x = p + 8. Does 11 divide r(x)?
True
Let c be 14/(-4)*(-10)/5. Suppose v = -5*b - 5, 2*b + 25 = -c*v + 2*v. Suppose a + b*a + 5*q = 69, -a = -q - 45. Does 13 divide a?
False
Suppose r - 30 = 3*g, 3*g = 5*g - 5*r + 20. Let o = g - -10. Is 4 a factor of -3 - o - (1 - 12)?
True
Let r be -43 - -8*2/(-4). Let o = r - -77. Is 6 a factor of o?
True
Let x = -97 - -131. Does 2 divide x?
True
Suppose 262 = v - 551. Does 5 divide v?
False
Is (-3944)/(-119) + 2/(-14) a multiple of 33?
True
Let m(z) = 5*z**2 + 1. Let t be m(-1). Let f be (-74 + -1)/(t + -7). Suppose -f = -2*k - 5*d, 3*k - 84 = 4*d - 2*d. Is k a multiple of 16?
False
Let f be 4 + -4 - (-2)/2. Let m(u) = 37*u**2 - u + 2. Let h be m(f). Let q = h - 28. Is q a multiple of 3?
False
Let g = -49 - -102. Suppose 2*n - 305 = -g. Is 21 a factor of n?
True
Let t(w) = -w**2 + 4*w + 9. Let r be t(5). Suppose u - 14 = -5*i, 4*u = -r*i - 0*i + 8. Let v(c) = 3*c**3 - 4*c**2 + 2*c - 1. Is v(i) a multiple of 25?
True
Let f be (-5)/((-10)/(-42))*3/9. Let h(v) = v**2 - 4*v + 0*v + v - 8. Is h(f) a multiple of 31?
True
Let v be (-47)/9 + 6/27. Let u(k) = -k**3 - 5*k**2 + 2*k + 1. Let z be u(v). Let r = 48 - z. Does 19 divide r?
True
Let k = -18 + 46. Let a = 10 + k. Does 7 divide a?
False
Let o(u) be the first derivative of -u**4 + 2*u**3/3 + u**2/2 + 5. Is o(-1) even?
False
Let a be (-40)/(-6)*123/(-82). Let z be (0 + -1)/(-1)*-3. Is 3 a factor of (z - -1) + a/(-1)?
False
Let d = 1 + 3. Suppose -3*t + d*t + 198 = 0. Is 10 a factor of 2/5 - t/5?
True
Suppose 2*k = -i + k - 8, -23 = 4*i + k. Let q(u) = 3*u**2 - 5*u - 10. Is q(i) a multiple of 12?
False
Let l(a) = a**3 - 18*a - 2. Does 87 divide l(11)?
True
Let p(a) = a**2 - 7*a - 7. Let s be p(8). Is 22 a factor of (1 - s)/(-5) + 20 + 2?
True
Let s = -6 - -53. Is 17 a factor of s?
False
Suppose 57*a - 1300 = 52*a. Does 6 divide a?
False
Suppose -2*z = 4*a - 334, 3*a - 268 = 4*z - 9*z. Let j = a - 21. Is j a multiple of 19?
False
Suppose 5*h = 6494 - 1869. Is h a multiple of 5?
True
Let q be (1 - (-7)/2)*36. Suppose 2*y - q = -4*y. Is 4 a factor of y?
False
Suppose 4*a - i + 11 = -26, 4*i + 12 = -4*a. Is 4 + (-12)/a*24 a multiple of 17?
False
Let h(s) = -s + 13. Let x be h(9). Let k = 2 + x. Is 21 a factor of 1/((-3)/(-37*k))?
False
Suppose 7 = 3*a - 2. Is (-2 + (4 - a))*(-114)/2 a multiple of 19?
True
Suppose -12 = -3*k + 5*c, -5*c = -2*c. Is ((-18)/k)/(36/(-1056)) a multiple of 22?
True
Suppose -4*b + 12 = 3*x, 5*x + 38 = 3*b - 0*x. Is b/10 + (-2626)/(-65) a multiple of 5?
False
Let b = 353 - 265. Is b a multiple of 8?
True
Let c be 2/(-5) + 24/10. Let f be c/9 + 30/(-135). Suppose q - 291 = -3*w - f*q, w - 90 = 2*q. Is w a multiple of 16?
True
Let k(d) = d**2 - d + 87. Is 31 a factor of k(16)?
False
Let o(y) = -y**3 + 28*y**2 + 14*y - 52. Is o(26) a multiple of 16?
True
Let x(t) = 49*t**3 - 2*t + 2. Is 26 a factor of x(2)?
True
Let p be (-29)/(-3) - 24/36. Let z(w) = -w + 3*w - w + p. Is z(-5) even?
True
Let b be 171 - (-3 + (-2 - -4)). Suppose -b = -2*m - 28. Is m + (-9)/3*1 a multiple of 16?
False
Let q(z) be the second derivative of z**4 + 5*z**3/6 - 21*z. Is q(-4) a multiple of 25?
False
Let t be (2*7)/(9/18). Suppose -r - i = -t, 2*r + r = -4*i + 83. Let z = -11 + r. Does 5 divide z?
False
Let i(o) = 9*o**2 - 12*o - 12. Is i(6) a multiple of 5?
True
Does 33 divide (5/((-20)/327))/(6/(-8))?
False
Suppose -2*j - 8 = -6*j. Suppose 5*s + 123 = j*f, -5*f - s + 350 = -5*s. Does 29 divide f?
False
Let v(i) = 5*i - 8. Let m be v(4). Does 21 divide 0 + ((-194)/(-4))/(6/m)?
False
Let b be 90/11 + (-8)/44. Suppose -n - b*w + 3*w + 14 = 0, n + 2 = 3*w. Suppose n*v = 6*v - 60. Is 26 a factor of v?
False
Suppose 4