4 = -4*t, k = 5*t + 3*k + 3502. Let q = t + 2421. Suppose -3*h + q - 264 = 0. Is h a prime number?
False
Suppose 5*r + 2*d - 8 - 2 = 0, r - 9 = d. Suppose -89 = -r*s - 3*y, y = -0*y - 1. Let h = -4 + s. Is h a prime number?
True
Let i(g) = 73*g**2 - 4*g + 20. Is i(9) composite?
False
Let v(c) = c**3 - 8*c**2 - 8*c - 11. Let a be v(9). Is a/(-4) - (-133)/2 a prime number?
True
Let s be (-210)/(-4) - (-7)/14. Suppose -q = -v - 4*q + s, 289 = 5*v + 3*q. Is v composite?
False
Suppose 2*j - 3868 = -2*j. Is j a prime number?
True
Let d = -569 + 1420. Is d prime?
False
Let j(o) = -118*o + 1. Let u be j(-4). Suppose -d - 44 = -5*l + u, -113 = -l + 5*d. Is l prime?
True
Is 746/14 - 4/14 a composite number?
False
Let b = 1 + 3. Let n = 23 + -16. Let r = n - b. Is r composite?
False
Is (-1*(-107)/1)/((-1)/(-3)) prime?
False
Let n(t) = -t**3 + 8*t**2 - 5*t - 10. Let j be n(7). Is (-138)/(-4)*8/j a composite number?
True
Suppose -10*x + 0*x = -5890. Is x a prime number?
False
Suppose 0 = 2*v + 6 - 0. Is 158/(8/(-36)*v) a composite number?
True
Suppose -2*s - t = 2*s - 4675, 4672 = 4*s + 4*t. Is s prime?
False
Let i be 27/(-4) - (-12)/16. Is (i/(-4))/((-1)/(-10)) a prime number?
False
Let a(p) = 94*p**2 - 4*p + 3. Is a(5) prime?
True
Let y(f) = -f**2 + 4*f + 5. Let t be y(4). Suppose 4*v = -0*c + c + 7, 5*v = 10. Is c/t + (-228)/(-10) prime?
True
Let g(x) = 4*x**2 - 2*x - 7. Is g(-9) a prime number?
False
Let o(j) be the third derivative of -j**6/120 + 3*j**5/20 + 5*j**4/24 + 7*j**3/6 + 3*j**2. Is o(6) prime?
False
Suppose 0 = -3*c + 3 + 3. Suppose -4*p - 218 - 1695 = -3*b, c*b - 1247 = -3*p. Is b a composite number?
False
Let y be (-2)/4 - (-30)/4. Let s(m) = m**2 + 10*m - 8. Let v be s(y). Suppose -v = n - 4*n. Is n composite?
False
Let c(f) be the third derivative of -f**5/60 + 5*f**4/24 + f**3/6 + 2*f**2. Let r be c(7). Is r/(-2*3/6) composite?
False
Suppose -4*f + 2*w = -3*w - 656, 5*f + 4*w - 779 = 0. Is f a composite number?
True
Let u be 640 - (1 + -1 + -2). Suppose 5*o + q - 63 - 12 = 0, 5*q = -o + 39. Is u/o + (-7)/(-49) a composite number?
True
Let j(p) = -p**3 + p**2 - p - 6. Let z be j(0). Let i(u) = 7*u - 7. Let m be i(z). Is (0/1 - m) + -2 a prime number?
True
Let a(t) = -8*t**2 - 2*t + 4*t**3 - 5*t**3 + 6*t + 3 + 0*t**2. Let y be a(-6). Is (y/(-15) - 2)*5 a prime number?
False
Suppose 4*j + 53 = 5*q, -11 = 5*j - 1. Let m = 3 - 0. Let c = q - m. Is c composite?
True
Suppose -2*o + 1330 = 3*o. Suppose -p + o = p. Is p composite?
True
Suppose 8789 = 4*v - 3*z, -2*v - z = -v - 2192. Is v prime?
False
Suppose 0 = 2*v + 95 + 83. Let l = v + 300. Is l a composite number?
False
Suppose 5*r + 2*r - 553 = 0. Is r composite?
False
Is (-24756)/(-60) + 4/10 composite?
True
Suppose r = -4*i + 2*r + 9, -3*r - 20 = -5*i. Is 139 + 2 - (i - -1) composite?
False
Let h be 26/1*(1 - -9). Let w be (24/(-10))/(8/h). Let u = w - -125. Is u a composite number?
False
Let o(g) = 490*g**2 + 3*g + 5. Let h be o(-2). Let p = -1300 + h. Is p composite?
False
Suppose -s = 7*s - 14632. Is s a composite number?
True
Let x be 0*3/(-1 + 4). Suppose x*v - 100 = 4*v. Is (-142)/(-10) - (-5)/v a composite number?
True
Suppose 9*m + 55 = 262. Let i(x) = 2*x**3 + x. Let g be i(1). Suppose -g*b + 5*b = -5*u + 169, -5*b = -u + m. Is u composite?
True
Let h be (-4)/(-10) - 516/(-10). Suppose 54 + h = 2*x. Is x composite?
False
Suppose -4*c = -c - 123. Let u = 24 + c. Is u a prime number?
False
Is ((-3)/18*2722)/((-2)/6) a prime number?
True
Let a(l) = 21*l. Let t(z) = -272*z. Let p(w) = 51*a(w) + 4*t(w). Is p(-5) a composite number?
True
Suppose 3*q - q - 4*m - 790 = 0, -5*q = -2*m - 1983. Is q a prime number?
True
Let y be 3/(-3*(-3)/12). Suppose 0 = -y*v + 259 + 153. Is v a composite number?
False
Let r be 0 - (0 + -2 + 4). Suppose -4*q + 3*t - 11 = 0, 0 = -2*q + 2*t - 6 - 0. Is (-25)/q - r/4 a prime number?
True
Is ((-165)/20)/(6/(-16)) a prime number?
False
Let i = 1693 + 3462. Suppose 5*a - i = -n, -3*n + 5763 = 5*a + 598. Suppose -a = -5*p + 25. Is p composite?
False
Is (6 + (-620 - 0))*2/(-4) prime?
True
Is (2 + 467)/(1 + 0) a composite number?
True
Let f(t) = t**3 - 2*t**2 - 2*t + 2. Let u be f(3). Suppose 0 = 2*d + 2*d - n - 506, d - u*n - 117 = 0. Is d a prime number?
True
Let l(u) = 4*u**2 - 8*u - 7. Let p(o) = -o + 1. Let y be p(-6). Is l(y) a composite number?
True
Suppose 0 = -5*f + f + 204. Is f a composite number?
True
Let u(z) = -2*z**2 + 6*z - 3. Let w be u(4). Let b(a) = a**2 + 10*a - 5. Let x be b(w). Suppose -x*t + 186 = -3*t. Is t prime?
False
Suppose 888 + 343 = r - 3*q, 1207 = r + 3*q. Is r prime?
False
Suppose -6*o = -3*o - 1749. Is o a composite number?
True
Let p(l) = 7*l**2. Let t be p(-1). Let r be (-4)/(-14) + (-37)/t. Is ((-35)/4)/(r/20) a prime number?
False
Suppose -a + 2 = -0. Suppose -o + 2*d - 5*d - 2 = 0, -a*o + 2*d = -12. Suppose 0 = q + 3*s - 35, q - 118 = -4*q + o*s. Is q prime?
False
Let t(u) = -u. Let h be t(-4). Suppose -f - 3*g = 1, 0*g = -3*f - h*g + 2. Is 106/(-1)*(-1)/f a composite number?
False
Let k(j) = -2*j - 2. Let c be k(-2). Let f(x) = -1 - x + 0*x + c*x. Is f(7) prime?
False
Suppose 24*n + 2586 = 30*n. Is n a composite number?
False
Suppose 0*g = 20*g - 79780. Is g prime?
True
Let n be -7 + 6 + (-1 - -4). Suppose n*q - 2*o - 188 - 48 = 0, -q + 117 = -2*o. Is q a prime number?
False
Suppose 10*n - 10 = 5*n, 0 = 2*r + 2*n - 666. Is r composite?
False
Let l be (-228)/(52/44 - 1). Is l/(-8) - 3/(-12) a prime number?
True
Suppose -3*w - 24 - 6 = 0. Is 414 - 5/(w/6) a composite number?
True
Let b = 11 - 9. Suppose 2*n = 76 - b. Is n prime?
True
Suppose s - 25 = -2*k + 3*k, 4*k + 2*s = -100. Let w = 39 + k. Is w a composite number?
True
Is ((-299)/(-2))/((-2)/(-4)) composite?
True
Suppose z - 281 = 2*l - 0*l, 0 = 4*z - 3*l - 1129. Let a = z + -134. Is a composite?
False
Let a = -28 + 19. Let s(q) = -8*q + 2. Let o be s(a). Suppose -p + o = p. Is p a prime number?
True
Let w(z) = z**2 - 13*z + 4. Let r be w(13). Suppose 2*g = 3*i + 6*g - 342, -r*g = 12. Is i composite?
True
Let q(m) = -50*m**3 + 2*m**2 + 3*m + 1. Is q(-4) composite?
False
Suppose -18 = -4*m + o, 3*o = -5*m + 4*o + 22. Is 622/m + (-1)/2 prime?
False
Let f(r) = 3*r**2 - 7*r + 5. Let u be f(5). Let s = 20 + u. Is s a prime number?
False
Let l(a) be the second derivative of -a**6/48 - a**5/15 + a**4/12 - a. Let g(c) be the third derivative of l(c). Is g(-9) a prime number?
True
Let r(y) = -9*y**2 - 2*y + 5. Let w(p) = -26*p**2 - 7*p + 15. Let o(f) = 17*r(f) - 6*w(f). Let k be (-8)/28 + 40/(-7). Is o(k) prime?
False
Let g(l) = 3*l - 3. Let o be g(2). Let u be (-5)/(-3) - (-1)/o. Is u - 2*19/(-2) a prime number?
False
Suppose -3*h + 8 = 2. Let a(r) = -3*r + 3*r - 5 + r - 2*r + r**h. Is a(-4) a prime number?
False
Let t be -3*((3 - 0) + -4). Suppose 0 = 2*n - 3*m - 148, -4*n + 261 = -t*m - 41. Is n composite?
True
Suppose 3*w - 327 = -0*w. Is w prime?
True
Suppose -2*z = -3*f - 43, 0*z - 5*f + 35 = 2*z. Suppose m = -z + 111. Is m composite?
True
Suppose -h + 11 + 15 = 5*z, -h + 4*z + 17 = 0. Is h prime?
False
Suppose -x + 3 = d, -5*d = -0*x + x - 15. Suppose -c - 11 = -3*m + 4*c, d*c + 13 = 5*m. Is 79/m*(0 + 2) a composite number?
False
Let s(y) = 14*y**2 + y + 1. Let j be s(-1). Suppose -2*r + 0*r = -4*a + j, 3*a = -2*r + 7. Is 19/1 - (r - -1) composite?
False
Let i = -6 + 6. Suppose i = 2*l + 97 - 623. Is l a prime number?
True
Let o(u) = 2*u - 6. Let a be o(7). Let k(g) = g**3 - 9*g**2 + 5*g + 3. Let j be k(a). Is j/(-7)*(-26)/(-6) a composite number?
False
Let a be (-4 + 6)/(2/(-10)). Let s(l) = l**2 + 10*l. Let m be s(a). Suppose m = -3*v - 2*v + 275. Is v a prime number?
False
Suppose -b + 15 + 0 = 0. Suppose -54 - b = -c. Is c a prime number?
False
Suppose -9 = 4*k - 1, k = u + 159. Let q = u + 431. Suppose 0*o = -5*x + 5*o + q, 3*x - 137 = -2*o. Is x a prime number?
False
Suppose -7*k = -3*k - 212. Is (-7 - -3)*k/(-4) composite?
False
Let t(h) = -24*h + 2. Let g(l) = -l**2 - 3*l - 3. Let o be g(-3). Is t(o) prime?
False
Suppose -4*a + 4*b + 1579 = 3*b, -b = 3*a - 1186. Is a a composite number?
True
Let w(o) = o + 4. Let k(u) = 3*u + 3. Let f be k(-3). Let j be w(f). Is 3/(j/(-2*13)) a prime number?
False
Let c = -1802 - -3055. Is c a prime number?
False
Let v(q) be t