 2*v. Is s a prime number?
False
Let a(f) = 419*f**2. Is a(-1) composite?
False
Let d(u) = -u**3 - 4*u**2 + 6*u - 5. Is d(-8) a composite number?
True
Let o(c) = -7*c - 3. Suppose 12 - 2 = -d. Is o(d) a composite number?
False
Suppose -4*l + 472 = -0*l. Suppose 17*d - 16*d = -39. Let y = l + d. Is y a composite number?
False
Let g(o) = -o + 3. Let m(w) = -4*w + 13. Let b(k) = -9*g(k) + 2*m(k). Let a be b(-1). Is (a + 4)/((-2)/(-31)) composite?
False
Suppose 0 = 2*a - 2*r - 32, -4*r + 46 + 7 = 5*a. Is a composite?
False
Let b = -4 + 8. Suppose 4*l = v + 4, -l + b*l - 4*v + 10 = 0. Suppose 4*x + r - 192 = 3*r, -l*x + 84 = 5*r. Is x a composite number?
False
Is ((-8)/24)/(2/(-8166)) a prime number?
True
Suppose -4*u = 5*o - 4468, 3*u - 5*o + 271 = 3622. Is u a composite number?
False
Let l be (2 - -1) + (-7 - -4). Suppose 5*g - 8*g + 357 = l. Is g composite?
True
Let l(n) = 15*n**2 + 3*n - 47. Is l(6) a prime number?
False
Let b be (-2)/((-1470)/367 + 4). Suppose -2*i + 7 = -b. Is i a composite number?
True
Suppose -2*b - b + 3585 = 0. Is b a composite number?
True
Is (-15)/(-90) - 20242/(-12) a prime number?
False
Let a = 3 + -1. Suppose 0 = 4*v + a*l - 148, -v = v + 2*l - 72. Is v a composite number?
True
Suppose 0*g + 46 = g. Let s = -204 + g. Is 2/(-2*2)*s a prime number?
True
Let v be (-2 + 1 - 2) + 5. Suppose -2*w + 4*q - v = 0, -4 + 2 = -2*w + 3*q. Is w a composite number?
False
Suppose -3*d = -2*h - 154, 0 = -4*h + 3*d - 269 - 45. Let p = 394 - h. Is 3/(-6*(-3)/p) composite?
False
Let c be -3 - 70/(0 + 2). Let j = 85 + c. Is j composite?
False
Let c = -1799 - -2782. Is c a prime number?
True
Suppose 0 = 6*t - 30 - 1254. Let q = 715 - t. Is q a composite number?
True
Suppose -3*i + 64 = -53. Let k = 146 - i. Suppose 0 = -2*x + r + k, 4*x - 304 = -2*r - 78. Is x prime?
False
Suppose -4*u + 33 + 4 = -5*l, 0 = 5*l - 3*u + 34. Is (l - 0)*(-753)/15 prime?
True
Let h be (3 - 2) + 4 + 3. Is (-618)/(-24) + 2/h prime?
False
Let x = -409 - -824. Is x a composite number?
True
Let d be ((-1)/2)/((-1)/(-64)). Let i be (1/2)/((-2)/d). Suppose -3*q + 60 = -3*s, -2*q + 5*s + 45 - i = 0. Is q composite?
True
Suppose -20 = t - 6*t. Let m be (-24)/(-15) + t/10. Suppose -774 = -3*h - 3*b, 3*h + m = -2*b + 775. Is h prime?
True
Let j be (-9)/(-1 + -2 + 2). Let p be 3*(-3)/j*1. Is (0 - p)/(2/106) a prime number?
True
Let h(r) = -r**3 - 3*r**2 + 6*r + 6. Let f be h(-4). Is (-1)/(-2) + (-17)/f prime?
False
Let g = 342 + 49. Is g prime?
False
Let m(h) = -3*h**3 - h**2 + h - 2. Let k(c) be the first derivative of 7*c**4/4 + 2*c**3/3 - c**2 + 3*c - 3. Let u(i) = 2*k(i) + 5*m(i). Is u(-5) prime?
False
Let h = -6 + 8. Let d = 1 + h. Is 3/3*147/d a composite number?
True
Suppose 2407 = 2*j + 3*j - 3*k, -5*j + 2387 = 2*k. Is j a prime number?
True
Suppose 0 = 4*j + 881 - 2509. Is j a composite number?
True
Suppose 3*a - 4*a = -51. Is a a prime number?
False
Suppose 0 = x - 3*x - z - 15, 0 = -3*z - 9. Let g be ((-627)/6)/((-3)/x). Is 2/(-9) - g/9 a composite number?
False
Suppose -3*w = 2*w. Suppose -t - 1 + 73 = w. Let q = t - 10. Is q prime?
False
Let q = -2 - -5. Suppose -q*l - l - 12 = 0. Is 9*3*(-1)/l prime?
False
Let j be (-2 - 10)/((-6)/4). Let g(k) = 6*k - 2. Is g(j) a composite number?
True
Suppose -4*g + 5*g - 298 = 0. Suppose 3*m = m + g. Is m composite?
False
Let y(c) = -147*c + 5. Is y(-2) composite?
True
Let z = 1525 - 1008. Is z a prime number?
False
Let h(f) be the first derivative of 17*f**2/2 - 10*f + 2. Is h(13) composite?
False
Suppose -6*x + 13*x = 1498. Is x composite?
True
Is (-262)/(-8)*140/5 prime?
False
Let d = 0 + -1. Let p be 1/(((-3)/6)/d). Suppose 275 = p*j - 63. Is j prime?
False
Let z(t) = -418*t + 1. Is z(-13) prime?
False
Suppose -1 - 1 = -2*t. Is -166*t*(-2)/4 composite?
False
Let l(y) = -y**3 - 4*y**2 - 4. Let x be 2/10 - 52/10. Let h be l(x). Is (-6)/(-21) + 204/h a prime number?
False
Suppose -995 = -3*s - 4*f, -f + 4 - 2 = 0. Is s a composite number?
True
Is (-343)/(-5) + 42/105 composite?
True
Let w be 30/8 - 6/8. Suppose -w*x + 49 + 174 = 4*p, 5*x - 357 = -3*p. Is x a prime number?
False
Suppose 3*z = 4*f - 5*f + 259, -2*f = -4*z + 332. Let b = 157 - 106. Let d = z - b. Is d prime?
False
Suppose -5*s = -5*f + 675, -2*f - 3*f + 3*s = -685. Let m = f + -83. Is m composite?
True
Let h = 15 - 8. Suppose -x + 74 = -8. Suppose -x - h = -w. Is w a prime number?
True
Suppose -h = 2*b + 3*h - 578, 5*b = 4*h + 1487. Is b a prime number?
False
Is 2182/18 + -2 - 16/72 a composite number?
True
Let q be -1 + 1 + -1 - -3. Let s(z) = 1 + z - 2*z**3 - 5*z**3 + q*z**3. Is s(-2) prime?
False
Suppose -5*n = 3*m - 10805, -1824 - 4659 = -3*n + 2*m. Is n composite?
False
Suppose y = -y. Suppose 0*f + f - 163 = y. Is f a prime number?
True
Suppose 1764 = -0*t + 2*t. Suppose 2*d + q = 2341, -2*d - t = -5*q - 3229. Is d composite?
False
Suppose -3*l + 79 - 4 = 0. Suppose 3*g + 2*g - l = 0. Suppose 75 + 100 = g*b. Is b a prime number?
False
Let h(u) = u**3 + 9*u**2 + u + 11. Let b be h(-9). Is 4/b*(-22)/(-4) prime?
True
Is 93 - (12/(-4) - 1) prime?
True
Let w be (-3 - -3)/(1 - 0). Suppose -4*m = -20, w = -5*f + 2*m + 1244 + 1. Is f a composite number?
False
Let m be (-234)/(-8) + (-1)/4. Let h = 151 + m. Suppose -h = -4*c + 4*i, 2*i - 3*i = -3*c + 139. Is c prime?
True
Let i(c) = 257*c + 3. Is i(2) composite?
True
Suppose -5*i - 14*t + 10*t = -10931, 4*i = 4*t + 8716. Is i composite?
True
Suppose 0*p - 3*p = -279. Let o(d) = -d. Let m be o(-3). Is (-2)/(m/3) + p a prime number?
False
Let x = 2607 - 1686. Is x composite?
True
Suppose 0 = -c - 2*h + 6, h = 2*c + 2*h - 6. Suppose -c*r - x = -5*r + 94, r = -5*x + 26. Is r a composite number?
False
Let d = 52 - -41. Suppose -2*r - 4*y + 85 = -d, -2*y + 174 = 2*r. Is r prime?
False
Let f(j) = 52*j + 3. Let c be f(6). Suppose o - 6*o = -c. Let n = o + 224. Is n a prime number?
False
Suppose 0 = 6*y - 8*y + 428. Is y a prime number?
False
Let y be ((-2)/6)/((-6)/36). Suppose -49 + 3 = y*a. Let l = a - -57. Is l prime?
False
Suppose 0*o = 2*o - 8. Suppose 32 = o*l - 308. Is l composite?
True
Let h = -183 - -580. Is h prime?
True
Is (-2408)/(-16)*(3 + -1) prime?
False
Suppose -2*j + 4*u + 134 = 0, j - 2*u + 63 = 2*j. Suppose b = -4*h - 5, -8 - 17 = -5*b + 5*h. Suppose -50 = -b*i - w, -w + j = 3*i + 3*w. Is i a prime number?
False
Let d = 4 + -2. Suppose 0 = 2*y - 3*a - 241, -2*y - d*y = -5*a - 481. Is y prime?
False
Let u(z) = 3*z + 3. Let n(h) be the first derivative of -5*h**2 - 8*h - 2. Let y(t) = 4*n(t) + 11*u(t). Is y(-3) a prime number?
False
Suppose 5*i = 3*i + 510. Suppose 687 = 5*b + 3*n + 230, -3*n - i = -3*b. Is b a composite number?
False
Let l(h) = h**3 + 5*h**2 - 7*h. Suppose -r - 8 = -k + r, -k = -4*r - 10. Let j be k/9 - 34/6. Is l(j) a prime number?
False
Let t be (4 + -1)*(-2)/3. Let o(u) = -64*u**3 + 2*u**2 + u - 1. Is o(t) a prime number?
False
Let g(i) be the first derivative of i**4/6 + 3*i**3/2 - 9*i**2/2 + i + 2. Let v(d) be the first derivative of g(d). Is v(-8) a composite number?
False
Is 1671/(-6)*4/(-2) a prime number?
True
Let p = -91 - -124. Is p composite?
True
Suppose -5*m - 20 = 0, -2*m + m - 45 = -v. Suppose v - 366 = -5*u. Is u a prime number?
False
Let i(m) = -17*m + 7. Is i(-3) composite?
True
Suppose 0 = 4*z - 2*g, 2*z + 3*z - 26 = -4*g. Suppose -2*l - 4*h + 4 = 18, z*l + h = 1. Is 3/(-9) - (-31)/l prime?
False
Suppose -8*g + 6*g + 886 = 0. Is g composite?
False
Let d(y) = 13*y**2 + 20*y + 5. Is d(14) a composite number?
False
Suppose 0 = -0*c + 5*c - 4420. Suppose 1901 = 5*y - c. Is y composite?
False
Suppose 118 = 4*t - 22. Suppose 0*x - 4*v = x - 13, 4*x - 41 = -5*v. Suppose 0 = w + x - t. Is w a composite number?
True
Suppose 0 = -p - 5, -2*p = 3*l + 22 + 6. Let c(r) = -r - 1. Let n(j) = -5*j - 3. Let z(u) = 2*c(u) + n(u). Is z(l) a prime number?
True
Suppose 27*s + 8785 = 32*s. Is s a composite number?
True
Suppose 2*n = -2*p + 2504, 0 = 5*n + 2*p - p - 6280. Is n prime?
False
Let j(t) = 119*t + 33. Is j(16) composite?
True
Let r be -3*(-15)/9*-4. Is (-3)/(-15) + (-2176)/r a prime number?
True
Suppose 2*b + 2 = 58. Suppose 3*w - t + 1 = 21, 0 = 3*w + t - b. Suppose -4*i - 3*c + 90 = -0*c, 0 = -4*c + w. Is i composite?
True
Let r(t) = -12*t + 0*t - 3 - 7 + 1. Is r(-5) c