 c(t) = 12*t + 4. Let v be c(4). Suppose -2*w = -u*w - v. Is w a prime number?
False
Suppose 5*h + 3*k - 10 = 0, -5*h = 2*k - 8 + 3. Let v(j) = -j - j**3 - 15*j**3 - 9*j**3. Is v(h) a composite number?
True
Let a(g) = g**2 + 3*g + 2. Suppose 0 = n - 0 + 3. Let m be a(n). Suppose m*x + 2*x - 278 = -2*r, 5*x = -3*r + 420. Is r prime?
False
Let m = -1 + -3. Is 201/1 + 4 + m composite?
True
Suppose 5*k + 4*j = 4859, -5*k + 3741 + 1109 = -5*j. Is k composite?
False
Let d be (-1)/(-2) - (-2)/(-4). Suppose 0 = -l - 2*l + j + 40, d = -5*l - 3*j + 62. Is l prime?
True
Suppose 5*v = 4*v - 2*s - 73, 0 = -5*v + 4*s - 407. Let m = v - -170. Is m prime?
False
Let b = 335 + -231. Is b/6*6/4 a prime number?
False
Let l(z) = -6*z**2 + 12*z + 4. Let d(n) = -5*n**2 + 11*n + 4. Let a(t) = -7*d(t) + 6*l(t). Let o be a(-4). Let s = o + 15. Is s a composite number?
True
Let u be -1*(-6 - (3 - 2)). Suppose -3*i = l - u, 2*l + i - 24 = -0*i. Is l a prime number?
True
Suppose -8 + 0 = -4*y. Suppose -y*z = -z + 27. Let x = z - -42. Is x a composite number?
True
Let b(n) = -19*n + 2. Let y be b(5). Let f = 236 + y. Is f a composite number?
True
Suppose 0*r - 4*r + 2004 = 4*s, 517 = r - 3*s. Is r a composite number?
True
Let u(s) = s**3 + 4*s**2 + s. Let w be u(-3). Let f(q) = 10 + 3*q**2 + w*q + 0*q**2 - q**2 - q**2. Is f(-9) prime?
True
Is 10 + 395 - (-8)/(-2) a prime number?
True
Let b(r) be the first derivative of -r**2/2 - 2*r - 2. Let j be b(-8). Suppose -j*h - 28 = -8*h. Is h prime?
False
Let v(r) = 3*r**3 + 3*r**2 - 5*r + 2. Is v(3) a composite number?
True
Let d = 4 - 5. Let m = d - 0. Is (2*m)/((-6)/99) a prime number?
False
Suppose -g = 126 - 514. Let u = -277 + g. Is u prime?
False
Let l = 485 - 291. Is l a prime number?
False
Let z(g) = g**3 - 4*g**2. Let x be z(4). Suppose x = 2*c + 2*f + 1 + 3, -4*c - 2 = f. Suppose -v + 17 - 3 = c. Is v prime?
False
Suppose 4*f + 1323 - 5348 = -5*m, -4*m + 3231 = f. Is m composite?
False
Suppose -3*n + 7 = 4*t + 36, -3*t + 2*n = 9. Let s(r) = 7*r**2 - r + 3. Let g be s(t). Let z = -130 + g. Is z a composite number?
False
Suppose 5*w - 596 = w. Is w a composite number?
False
Suppose -z - 16 = -5*w, 0 = 3*z - z + 5*w - 28. Suppose z*p = -p. Suppose o - 10 = -d, -d = 3*o - p*o - 2. Is d composite?
True
Let s = -6875 - -11578. Is s a composite number?
False
Is -10 + 87 + 0/(-1) a composite number?
True
Let y be 30*(74/4 + 2). Suppose -y = -0*z - 3*z. Is z prime?
False
Let v = -18 - -21. Let g be -1 + (1 - 2) + 1. Let k = v - g. Is k composite?
True
Suppose n - 5*o = 50, -5*n + 4*o + 150 = -o. Suppose -q + 3*c = 4*c - n, 0 = 2*q + c - 50. Is q prime?
False
Suppose 0*c - c = 0. Suppose c = -2*x - 2 + 6. Suppose -4 = a - x, -5 = -3*j - 2*a. Is j composite?
False
Let w = 197 + -375. Is 3/4 + w/(-8) a prime number?
True
Let j(m) be the second derivative of -41*m**3/6 + m**2/2 + 5*m. Suppose 0*d - d = 2. Is j(d) a prime number?
True
Suppose 4*m = -m + 1370. Is m a composite number?
True
Suppose 13359 - 38922 = -3*v. Is v prime?
True
Suppose -4*y + 3*y = -5. Suppose -j = -3*v - 69, 0 = -j + 5*v - 0*v + 59. Suppose 0 = n + 2*l - 1 - 20, -j = -y*n - 3*l. Is n composite?
True
Let u(o) = -38*o**3 - 1. Let n be u(1). Let l = n - -7. Let d = 5 - l. Is d composite?
False
Suppose -4*c = -3*v - v - 12, 4*v + 12 = 5*c. Let b be (c/1)/(1 + -3). Suppose -11 = -2*o - 5*m, -2*o = -2*m - b*m - 32. Is o composite?
False
Let f = -1025 - -1692. Is f a composite number?
True
Let g = 527 + -316. Is g a prime number?
True
Suppose 9*s = 5*s + 6044. Is s a composite number?
False
Suppose 154 - 20 = -5*n + 4*v, -42 = n + 3*v. Is (-3)/(-15) - 9924/n a composite number?
False
Suppose 4*o + 156 = 8*o. Is o prime?
False
Let y(b) be the third derivative of b**5/30 - b**4/3 + 7*b**3/6 + 3*b**2. Let s be y(8). Let g = -18 + s. Is g a prime number?
True
Let y(t) = 4*t**2 - 1. Let d be y(1). Suppose 5*s = 0, 2*f + 0*s = d*s + 62. Is f composite?
False
Let b(a) = 6*a**2 + 11*a - 32. Is b(-13) composite?
False
Let o(d) = -d**2 + 8*d - 10. Let p be o(7). Let q(x) = -x + 4 + 5*x - 3 + 1 + 7*x**2. Is q(p) a prime number?
True
Let v(d) = d**3 + 4*d**2 - 5*d - 1. Is v(5) a prime number?
True
Suppose 0 = -6*i + 2*i - 2412. Let p = i + 984. Is p a composite number?
True
Let m be -1*(-3)/(3/10). Suppose 3*a - 4*x + 13 = -12, -m = 2*x. Let y = -9 - a. Is y prime?
False
Suppose -2*y + 112 + 18 = 0. Is y prime?
False
Let a be (-1)/(-2) - 36/(-8). Suppose 0 = -a*n + 3*n + 74. Is n prime?
True
Suppose -4*r - 1082 = -6*r. Is r composite?
False
Let j = 202 - 97. Let i = -38 + j. Is i prime?
True
Let o = 6 + -9. Let r = 5 + o. Let d = 11 - r. Is d composite?
True
Let n be 3 + 0*1/(-2). Suppose 2*y - 7 + 3 = 0. Suppose n*l - a - 637 = -y*l, -5*a - 264 = -2*l. Is l a composite number?
False
Suppose h - 1408 - 581 = -f, -5*f - 3964 = -2*h. Is h composite?
False
Let c(p) = 50*p**2 - p - 3. Is c(-2) a prime number?
True
Is (6/(-12))/(2/(-3628)) prime?
True
Let l(y) = 41*y + 6. Suppose 2*j - 15 = -5. Is l(j) a prime number?
True
Suppose 0*y - 8365 = -5*y. Is y prime?
False
Suppose -3*a = -8 + 71. Is 3/(-3 + a/(-6)) prime?
False
Suppose -7931 = -7*u - 1134. Is u a prime number?
True
Let b = 7 + -11. Is (-1053)/b + (-1)/4 a prime number?
True
Let o(l) = -l**3 - 12*l**2 + 14*l + 7. Let i be o(-12). Let d = 362 + i. Is d a composite number?
True
Suppose 3*v + 19 = 2*x, 0 = -3*x + 3*v - 6*v - 9. Let y(n) = -1 + 4 + 2*n**x - n - 3*n. Is y(4) prime?
True
Let d be (-4)/(-14) - (-2484)/28. Let f = d + -46. Is f a composite number?
False
Let f = 2 + -2. Suppose 5*v + 2*h = 51, f*v = -3*v + 3*h + 39. Is v composite?
False
Suppose 981 - 12 = 3*g. Is g a prime number?
False
Suppose 4179 = 3*m + 4*k, 3*m - 2*m = 2*k + 1393. Is m composite?
True
Suppose 5*j = 4*j + 103. Let n = j - -454. Is n composite?
False
Suppose -350 = -j - 93. Is j composite?
False
Let r be 4/14 + (-27)/21. Let f be r/1 + 174/1. Suppose -f = -x + 4*q, 6*q = -4*x + 2*q + 632. Is x a prime number?
False
Let h = 10 + -14. Let w(j) = -j**3 + 3*j + 1. Is w(h) a prime number?
True
Suppose 4*y - 562 = -5*g, -g = -0*y - 4*y + 550. Suppose 4*a = -34 + y. Is a prime?
False
Suppose -4*g = -7*g - 201. Let z be 8/(-3) - 4/(-6). Is (5 + g)/(1*z) a prime number?
True
Let n = 2199 - 790. Is n prime?
True
Suppose -2*a - 4 = -3*a, -2*k = -2*a - 1254. Is k a composite number?
False
Suppose -c + 4*p + 244 = 3*c, 2 = 2*p. Is c a composite number?
True
Let j = 0 - 1. Let o(y) = -104*y**3 + 2*y**2 + 2*y + 1. Let c be o(j). Let p = c + -66. Is p prime?
False
Let w = 322 + -161. Suppose b - 2*l = l + w, -3*b - 3*l + 483 = 0. Is b a prime number?
False
Let x be 2871/(-18) - (-1)/2. Let r = -100 - x. Is r composite?
False
Suppose 0*n = 2*t + 3*n + 85, t - n = -30. Suppose -20 = 2*i - 4*p, -4*i + 4*p - 68 = i. Let g = i - t. Is g composite?
False
Let j = -4 + 2. Let r be (j/(-6))/((-4)/(-36)). Suppose -16 = -i - 3*h + 187, -842 = -4*i + r*h. Is i a composite number?
True
Let r = -4 + 14. Suppose 0 = -5*k + r. Suppose -42 = -k*y + 28. Is y a composite number?
True
Let l(r) = r**3 - 7*r**2 + 12*r - 7. Let a(y) = 2*y**3 - 15*y**2 + 25*y - 14. Let t(k) = -4*a(k) + 9*l(k). Let w be (4 - 2)/(4/10). Is t(w) prime?
True
Let z(x) = -x - 1. Let d be z(1). Let t(k) = -7*k**3 - 2*k**2 - k - 2. Let j be t(d). Let m = j - 29. Is m a prime number?
True
Let b = -4261 - -6278. Is b composite?
False
Let q be (-1)/2*(-1 - -1). Suppose -4*h + 7 = x + 3, -h = 0. Suppose 3*l - 4*t = 221, -x*l + q*t = 4*t - 248. Is l a prime number?
True
Let v be ((-4)/(-8))/(2/(-764)). Suppose 678 = -2*o - 3*n, n - 2*n - 1010 = 3*o. Let k = v - o. Is k prime?
False
Let u = 10 - 7. Suppose 0 = 2*d + u*d - 20. Suppose 2*z - d*z = -134. Is z prime?
True
Suppose 0 = 2*z - 7*z. Suppose z = 4*k - 5*v - 461, 0*v - 607 = -5*k - 4*v. Is k prime?
False
Is ((-5)/15)/(2/(-318)) a prime number?
True
Let u(f) = 2*f**2 - 9*f - 13. Let x(g) = -g**2 + 5*g + 7. Let p(m) = -6*u(m) - 11*x(m). Let z(k) = 2*k**2 + 5*k - 6. Let y(o) = -6*p(o) - z(o). Is y(-3) prime?
False
Let y = -55 - -235. Let c = -101 + y. Is c a prime number?
True
Suppose 0 = 4*y - 2*y - 10. Suppose 0 = -3*q + y*u + 257, -42 - 221 = -3*q + 2*u. Is q composite?
False
Let l(q) = 2*q**3 + 1. Let k be l(2). Suppose -k = z - 100. Is z a composite nu