-n, -x = 3*n + 7. Let b = 1292 + -895. Suppose -l - 74 = -h, 0*h = x*h + 4*l - b. Is h prime?
False
Let l(y) = 508*y**2 - y - 8. Is l(3) prime?
True
Suppose -2*g - 343 = 2*x - 1069, -5*g = -20. Is x composite?
False
Suppose -5*u + 2*u = -2*x - 22, 4*u + 3*x - 1 = 0. Suppose 17 = v + 2. Suppose -u*h + 3*h = -v. Is h composite?
True
Suppose -6*g + g + 290 = 0. Suppose 0 = v - 5*p - g, 2*p + 53 = v - 2*p. Is v a composite number?
True
Suppose 215 = z - m, 0*z + 215 = z + 4*m. Is z prime?
False
Suppose 2*i = -4*v + 24, 5*i + 17 + 1 = 3*v. Suppose -o + v = o. Let j = 22 - o. Is j a prime number?
True
Let y = -38 + -51. Let h = y + 126. Is h prime?
True
Let a(n) = -4*n - 29. Let z be a(-8). Let p(f) be the first derivative of 5*f**2/2 + 4*f - 1. Is p(z) a composite number?
False
Let h(n) = 6*n**3 - 2*n**2 - 4. Let j be h(3). Let f = j + 77. Is f prime?
False
Let u = -32 - -245. Is u a composite number?
True
Is 3/(-15)*0 + 1507 composite?
True
Let g(f) be the first derivative of f**3 - f**2/2 - 3*f + 4. Let h = 8 + -14. Is g(h) composite?
True
Let k = 14 + 14. Suppose 0 = -c - 3*z + 23, -5*c + 70 = 4*z + 10. Is (3 - 1)*k/c prime?
True
Let z(f) = -160*f**2 - 5*f + 2. Let r(s) = s - 1. Let m(u) = -3*r(u) - z(u). Is m(-1) composite?
True
Let p(z) = -17*z**3 - 3*z**2 - 2*z + 1. Let j be p(-2). Suppose -t + 0*t + 36 = d, -4*t - d + j = 0. Is t composite?
False
Suppose 4*p = 268 + 80. Let o = p - 49. Is o a composite number?
True
Suppose -4*a - 9 = -7*a. Suppose a*b - 62 - 49 = 0. Is b prime?
True
Let h be 13 - (1 + 1)/2. Suppose h = 5*s - 3. Is s prime?
True
Suppose 0 = j - 2, 2*t - 6*j + 2*j = 52. Suppose -v + 2*g = -107 - t, -v + g = -132. Is v composite?
False
Suppose 7*t = 3*t - 1596. Let w be t/(-4) - (-8)/32. Let i = -33 + w. Is i prime?
True
Suppose t = -z + 4, t = 6*t + 4*z - 15. Let u = 3 - -10. Is (u/3)/(t/(-21)) a prime number?
False
Let o(y) be the second derivative of y**4/6 + y**3 + y**2/2 - 2*y. Let x be o(-5). Is -3 + 3 + x + -2 a composite number?
False
Let v = 139 + -80. Is v prime?
True
Suppose 5*w = -4*f + 2241, 4*w = 8*w + 2*f - 1794. Is w a composite number?
False
Let y = 1010 + -511. Is y prime?
True
Let v be 4*(2 + -5)/(-6). Is (-155)/(-3) + v/(-3) a composite number?
True
Is (-6 - -9) + 212/2 a composite number?
False
Let t = 131 - 22. Is t a prime number?
True
Let a be ((-312)/18)/(4/(-6)). Let s = 60 - a. Is s a prime number?
False
Suppose 0 = 2*r + r - 93. Is r a composite number?
False
Let z be 0 + -1 + -7 + 2. Let t = -10 - z. Let d(s) = -s**2 - 8*s + 5. Is d(t) a prime number?
False
Is 1*(1 - 2)*-35 a prime number?
False
Is (2 + 7)/3 + 32 prime?
False
Let t(f) = -f**2 - 8*f + 14. Let y be t(-10). Let u(j) be the third derivative of j**5/20 - j**4/24 + 5*j**3/6 - j**2. Is u(y) a composite number?
True
Suppose 0 = -2*q - 5*c + 5 + 16, q - 2*c = 33. Is q composite?
False
Let u(h) = -404*h + 21. Is u(-5) prime?
False
Suppose 0 = 3*i - 2*v - 7497, -i + 2*v - 3*v = -2494. Is i a composite number?
True
Let s = -73 - -342. Is s prime?
True
Let y = 414 - -762. Suppose 4*q - 5*d - y - 772 = 0, -3*d = 0. Is q composite?
False
Suppose 4*r - w + 36 - 7 = 0, -2*w = -r - 16. Let l be (6/(-4))/((-1)/r). Is ((-30)/l + -2)*3 composite?
True
Suppose -5*d = -4*o - 15, 5*d + 2*o - 21 - 24 = 0. Suppose g + 4*g - 40 = 0. Let j = d + g. Is j a composite number?
True
Let u(y) = 4*y**2 - 2*y - 6. Let o be u(-4). Suppose -5*p = 4*v - 376 + 109, o = v + 2*p. Suppose -v = -0*m - 2*m. Is m a prime number?
False
Let b = 692 - 464. Suppose 2*t + 2*s = -2*t + 216, 0 = 4*t - 4*s - b. Is t prime?
False
Suppose -3*z = -1839 - 0. Is z composite?
False
Suppose 133 + 237 = 5*f. Is f a composite number?
True
Let z(p) = p - 1. Let u be z(1). Let h = u - -23. Let x = 34 - h. Is x prime?
True
Let m(y) = -y**3 - 12*y**2 - 7*y + 4. Let b(r) = -r**2 + 2*r + 3. Let c be b(-3). Let k be m(c). Suppose t = -3*t + k. Is t a prime number?
False
Let i be 1/(-2) + (-1)/(-2). Suppose 2*y = -i*y. Suppose -j - d + 17 = y, j - 2*d - 20 - 9 = 0. Is j a composite number?
True
Let y(w) = w**3 + 6*w**2 + w - 3. Is y(-3) a prime number?
False
Let h(b) be the second derivative of -28*b**3/3 - b**2/2 - 4*b. Is h(-1) composite?
True
Let s = 1 + -4. Let m be 3/((s/62)/(-3)). Suppose -i - 2*i + 3*o = -m, -4*i = -o - 257. Is i a prime number?
False
Let j(k) = -2*k - 2. Let a(g) = -g - 2. Suppose 9 = 5*h - 16, -5*h = -2*y - 19. Let t(m) = y*a(m) - 4*j(m). Is t(4) a prime number?
False
Suppose 0 = k - 12 + 8. Suppose 2*p = 5*m + 650, -k*p - 4*m = -9*m - 1320. Is p prime?
False
Let o = 17 + -12. Let s be (-4 + o)*(1 + -2). Is s + 3/((-3)/(-38)) a prime number?
True
Suppose -q - 4705 = -4*m, m - 951 - 204 = -4*q. Let y = m + -697. Suppose 5*g = 1263 - y. Is g composite?
False
Let l(i) = 487*i**2 + 6*i - 15. Is l(2) a prime number?
False
Suppose -3*m + 5*m - 114 = 0. Is m a composite number?
True
Let x(p) = p + 586. Is x(0) a composite number?
True
Let v(b) = -2*b - 1 - 5 + 1. Is v(-7) a composite number?
True
Is 66 - (6/(-3))/2 a prime number?
True
Let m = 0 - 2. Let k = m - 1. Is (-221)/k + 2/6 prime?
False
Let r(m) = -24*m - 11. Is r(-13) composite?
True
Is 42/(-252) - 22814/(-12) prime?
True
Let r be (-2)/4 + (-53)/(-2). Let b = -18 + r. Let w(k) = k**3 - 6*k**2 - 4*k + 1. Is w(b) prime?
True
Let v(g) = -635*g**3 - 6*g - 6. Let x(z) = -127*z**3 - z - 1. Let f(b) = -2*v(b) + 11*x(b). Is f(-1) a composite number?
False
Is (-2)/(-6) + (-11208)/(-18) + -4 a prime number?
True
Let w = -29 - 312. Let d = w + 496. Is d composite?
True
Suppose 0 = -3*a + 12, -4*q + q + 3*a + 1161 = 0. Is q a composite number?
True
Suppose 2*q + 1473 = 5*l, -4*l - 368 = 5*q - 1520. Is l prime?
True
Suppose -10*x + 3830 + 260 = 0. Is x a composite number?
False
Suppose -2*u = -4*r + 2, 2*r - 2 = -r + 2*u. Suppose r = 2*z - 48 + 10. Is z a composite number?
False
Let d(z) = -z**3 - 5*z**2 + z + 7. Let c be d(-5). Suppose -x + 5*h + 0*h + 20 = 0, -3*x - c*h - 8 = 0. Suppose x = 5*s - 154 + 59. Is s a composite number?
False
Let j = -620 - -936. Is (2/(-4))/((-2)/j) composite?
False
Is -4 - ((-4851)/3)/3 a prime number?
False
Suppose -4*c = -5*c. Suppose g = -c*g + 253. Let v = g + -66. Is v composite?
True
Let z(x) = -x**3 - x**2 + 2*x. Let k be z(-2). Suppose k = -0*c - 5*c + 305. Suppose m + c = 222. Is m composite?
True
Suppose r - 9 = 5*h, -2*r + 6 = -r - 2*h. Suppose 2*w + 4*i = r*w - 26, 2*w - 3*i - 22 = 0. Suppose 5*t + w*q = 810, -2*q - 2*q = 4. Is t prime?
True
Is (5 - 5) + (-339)/(-1) prime?
False
Let a(n) = n**2 - n + 4. Let k be a(0). Suppose -30 = -5*j + 2*o + 5, -5*j + k*o = -25. Is j a composite number?
True
Let o(w) = -9*w**2 + 5*w**3 - w**3 - 3*w**3 + 4*w + 7 - w. Let h be o(9). Is (h/8)/((-2)/(-16)) composite?
True
Let o(s) = 13 - 22 - 3*s + 10*s. Let l be o(7). Suppose -6*k + 2*k = -l. Is k a prime number?
False
Suppose -3*b = 4*k - 2044, -k - 2*b = -2*k + 522. Is k/8 + 21/28 a prime number?
False
Let b be (-2)/(-3)*9/(-6). Let y be (3 + b/1)/1. Suppose 0 = 3*d - 3*n - 216, 0 = -7*d + y*d - 5*n + 410. Is d a composite number?
True
Let f = 5 - 18. Suppose -4*x = -5*w + 48, -x - w + 13 = 4*w. Let s = x - f. Is s composite?
True
Let r = 13 - 61. Let o be (r/10 - -2)*-5. Let y = o - 7. Is y a composite number?
False
Suppose -190 = -3*v - 5*p, 75 = v + p + 3*p. Is v composite?
True
Let y = 501 - 134. Is y a composite number?
False
Let z(g) = -61*g. Let l be z(-9). Suppose y - 212 = l. Is y prime?
True
Suppose 16*q = 18*q - 62. Is q prime?
True
Suppose 2*h - 141 = 149. Is h a prime number?
False
Suppose 2*o = 2*y - 3594, -y + 967 + 846 = 3*o. Is y a prime number?
True
Let j(t) = -5*t**2 - 8*t + 7. Let f be j(-5). Let l be 0/2 - 0 - -191. Let y = l + f. Is y composite?
False
Let r(k) be the second derivative of -k**4/12 - k**3/6 + k**2/2 + k. Let u be r(-2). Let j(v) = -24*v + 1. Is j(u) a composite number?
True
Let z(m) = 4 - 4*m**2 - 3 + m**3 - 7*m**3. Is z(-3) a prime number?
True
Let a(x) = x**3 - 7*x**2 + 8*x + 1. Is a(6) composite?
False
Suppose -4*l + 0 = 4. Let w(v) = 9*v**2 + v. Let r be w(l). Is (10/8)/(1/r) prime?
False
Let l = -79 - -75. Let v be (-14)/((12/(-74))/3). Is l*v*1/(-4) prime?
False
Let k(o) = 354*o + 5. Is k(3) prime?
False
Let w(v) = 5*v**3 + 2*v + 2. Let b(f) = -11*f**3 - 4*f - 