2*k + 6*k**3. Is z(2) a composite number?
False
Let s(z) = 4*z + 1. Let d be s(1). Suppose 0 = d*v - 383 - 252. Is v a prime number?
True
Suppose -4*g - 14 = 18. Let f = 123 - g. Is f composite?
False
Suppose 4*b + 2*h - 10 = -b, -10 = 2*b - 2*h. Suppose -5*x = -b*z + 5*z - 675, 4*x = 3*z + 526. Is x a prime number?
False
Suppose -2*y + 17 = 5*n, 5*n + 0*y = y + 29. Suppose 4*q - 183 = n. Suppose 4*j = f + 8 - q, -5*f + 123 = -2*j. Is f composite?
False
Let a be ((-20)/(-2))/(1 + 1). Suppose 0 = a*s + p + 3*p - 205, 4*s - 138 = 2*p. Let f = s - 0. Is f composite?
False
Let r(u) = -u**3 + 5*u**2 - 3*u - 1. Let p be r(4). Is -1 - 0 - -30 - p a prime number?
False
Suppose -2*d + 4*r = 2*d + 28, -d - r = -1. Is ((-3)/2)/(d/68) prime?
False
Let i(f) = -6 + f - 7 - 3*f - 8*f. Is i(-10) composite?
True
Suppose 2*s = -5*v + 1134, 2244 = -0*s + 4*s + 4*v. Is s a composite number?
False
Is 375/(12/4) + 2 a composite number?
False
Let m(f) = -148*f - 15. Is m(-12) a prime number?
False
Let z(g) be the third derivative of 1/120*g**6 - 3*g**2 + 0*g + 1/2*g**3 + 0 + 1/60*g**5 - 1/12*g**4. Is z(3) a composite number?
True
Suppose 134 = 4*o - 630. Is o composite?
False
Let m(x) = -x**3 + 15*x**2 + 9*x + 9. Suppose -10*i - 28 = -12*i. Is m(i) prime?
True
Let q(a) = -1 + a**2 - 3*a - 2 - 3. Is q(8) a composite number?
True
Let f(p) = -7*p**3 - 3*p**2 - 1. Let o be f(-3). Suppose 4*j + 57 - o = 0. Is j prime?
False
Suppose 2*z - 3 = 3. Suppose 0 = -z*x - 78 + 27. Let q = 57 - x. Is q prime?
False
Let z(i) be the first derivative of -i**2 - i - 1. Let c be z(-2). Suppose 33 = 6*d - c*d. Is d a composite number?
False
Let t = -205 - -420. Suppose -4*m + 341 = -t. Let s = 258 - m. Is s a composite number?
True
Suppose 4*x = -0*x + 4. Let m be 144/5 + x/5. Suppose 5*s - m = -3*v, -4*v + 6*s + 58 = 3*s. Is v composite?
False
Let a = -1 - -6. Suppose -5*w = 3*z - 37, -a = z - 4. Is 170/w + 2/(-8) a composite number?
True
Let g be -3 - (2 + 0 + -7). Suppose 0*c + 254 = g*c. Is c composite?
False
Is (-2136)/(-32) + 3/12 prime?
True
Let d be 1*(-1 - 0 - -2). Is (-1 - -6)*(18 + d) a prime number?
False
Let k = 0 - -1. Suppose -k = -4*a + 11. Suppose -3*l + c + 26 = -2*l, 3*c = -a*l + 108. Is l a composite number?
False
Let s(c) be the second derivative of c**4/6 + 5*c**3/3 + 5*c**2/2 - 3*c. Is s(-7) a prime number?
False
Let y(u) = 2*u - 2. Let j be y(3). Suppose 0 = g - 0*x - j*x - 85, 5*g + 5*x = 300. Is g prime?
False
Let f(l) = -100*l - 9. Is f(-10) a composite number?
False
Let b(p) = 5 + 9*p + 0 - p. Let j be b(8). Suppose 0 = -4*c - 9 + j. Is c a composite number?
True
Let v = 771 + -369. Let o = v - -67. Is o composite?
True
Let b(i) = -i**3 + 4*i**2 - 3*i + 2. Let q be b(3). Suppose q = o - 9. Is o a prime number?
True
Suppose 3294 = 5*y - 4931. Suppose -3*b = 4*b - y. Is b a prime number?
False
Let t(w) = -282*w - 11. Let p be t(-6). Let c = p - 540. Is c a prime number?
False
Let s = 25 - -21. Let f = 10 + s. Suppose c - f = -3*c. Is c composite?
True
Let g(w) = -w**2 + 5*w + 5. Let y be g(5). Suppose c + p = 3 + 51, 264 = y*c - p. Is c prime?
True
Let h = 37 - -150. Is h composite?
True
Let z(m) = 3*m**3 + 4*m**3 - m**2 + 0*m**3. Let q be z(1). Let i = 10 - q. Is i prime?
False
Let f = 1 - -5. Let a be 14/f + (-2)/6. Suppose a*r + 0*r - 38 = 0. Is r prime?
True
Suppose 6 = -4*y - 6, -5*y = -3*x + 24. Is (0 + -3)/x - -192 a prime number?
True
Let m = -1299 + 1972. Is m a composite number?
False
Let q(u) = -38*u - 3. Let m be q(-7). Suppose 2*k = -77 + m. Is k a composite number?
True
Is 2*30/(-12)*(-442)/10 a composite number?
True
Let k(s) = -s**2 + s + 5. Let t be k(0). Suppose v - h = 2*h + 22, 5*h = t*v - 150. Let f = v - 15. Is f a prime number?
True
Let f be 56/(-6) - 2/3. Is -1 - (3 + f - 0) composite?
True
Suppose 7*s = 3*s + 780. Let q = -139 + s. Let f = q - 5. Is f composite?
True
Let g be (30/18)/((-2)/(-6)). Suppose g = 2*h - 41. Is h a prime number?
True
Let t = -287 + 498. Is t a prime number?
True
Suppose -10*a + 5*a + 15 = 0. Suppose -a*t + 2*o = -539, t + 3*o = 4*t - 540. Let x = 32 + t. Is x prime?
True
Let w(s) = s**2 - 3*s + 1. Let k(p) = 2*p - 1. Let h(f) = 4*k(f) + 3*w(f). Let x be h(-6). Let b = -24 + x. Is b prime?
True
Let h = -169 + 352. Let x = h + -99. Let p = -49 + x. Is p composite?
True
Let k(b) = -4 + 2 + b + 5*b**2 + 5. Is k(-4) composite?
False
Let z(g) = 29*g**2 - 26*g + 29. Let m(a) = -10*a**2 + 9*a - 10. Let h(t) = 11*m(t) + 4*z(t). Is h(7) composite?
True
Let u = 4499 + -2842. Is u prime?
True
Let c(a) = -a**3 - 8*a**2 + 2 + 0 + 8 - 7*a. Is c(-7) composite?
True
Suppose 4*u + 2 = 14. Let f(z) = 3*z + 3*z - u*z. Is f(5) a composite number?
True
Let j(m) = m**3 - 10*m**2 + m - 2. Let z be j(9). Is (-11 + 10)/(2/z) a prime number?
True
Suppose 30 = -5*n + 5*q, n = -q - 0*q - 2. Let y be 54*1*2/n. Let o = y + 82. Is o a composite number?
True
Let f = 294 + 515. Is f prime?
True
Let c = 26 - -33. Is c composite?
False
Suppose -4*b = b - 5515. Is b composite?
False
Let a be 6*((-368)/(-6) - 0). Let b = 817 - a. Is b composite?
False
Suppose 0 = -p + 5*s + 25, 3*p - 5*s - 13 = 22. Suppose 0 = -v + p + 50. Is v a composite number?
True
Suppose 0 = -38*v + 40*v - 506. Is v composite?
True
Suppose 7 = -3*z + 5*f - 26, -5*z - 5*f = 15. Let n = -9 - -5. Is n/6 - 214/z composite?
True
Let u = 15 - 11. Suppose 3*z + 1 = c + 13, -z - u*c = -17. Suppose n + t - 152 - 54 = 0, -3*n = z*t - 608. Is n prime?
True
Let k(r) = -7*r**2 + 4*r - 2. Let f be k(2). Is (f/8)/((-4)/16) a prime number?
True
Is ((-4)/(-12))/((-1)/(-213)) composite?
False
Suppose -j - 2*k + 9 = 0, 0 = 5*j - 4*k + k - 6. Suppose -n - 93 = -j*h + 2*n, 3*h + 3*n - 87 = 0. Suppose 0 = p - h - 4. Is p a composite number?
True
Suppose 14*a - 17268 = 2*a. Is a prime?
True
Suppose 0 = 2*t - 5*t + 15, -5*p = -t - 5. Suppose -60 - 20 = 5*f - m, 2*m = 10. Is (-156)/f - p/5 prime?
False
Suppose -5*p - 750 = -0*p. Is -1 - 1 - (-1 + p) composite?
False
Let m(s) be the third derivative of s**6/180 + s**5/60 + 7*s**4/24 + s**3/3 + 2*s**2. Let t(k) be the first derivative of m(k). Is t(6) composite?
True
Suppose -925 = c - 6*c. Is c prime?
False
Let j(h) = -32*h**3 - 8*h**2 - h + 6. Let x(a) = 32*a**3 + 7*a**2 + a - 5. Let b(k) = -6*j(k) - 7*x(k). Suppose 16*d + 3 = 13*d. Is b(d) prime?
True
Let u(c) = 6*c - 15. Let w(m) = 3*m - 8. Let s(t) = -2*u(t) + 5*w(t). Let d be s(-7). Let v = d - -74. Is v a composite number?
False
Let f(j) = 2*j - 4. Let u be f(3). Let l be u/(24/9 - 2). Suppose -p - 2*b + 21 = 0, 0 = l*p - 0*p - 5*b - 63. Is p composite?
True
Suppose 5*m = 14 + 11. Let v = 22 - 12. Let g = m + v. Is g composite?
True
Suppose -4 = -2*m + 152. Suppose -4*x = -14 - m. Is x prime?
True
Let m(s) = 2*s + 1. Let n be m(2). Is (-2)/n - 1422/(-30) a prime number?
True
Let c(g) = -g + 1. Let o(k) = -k**2 + 2*k - 2. Let u(d) = c(d) - o(d). Is u(5) composite?
False
Suppose 3*q + 111 = -0*q. Is (q/1)/(0 + -1) composite?
False
Let w(r) = -r**2 + 6*r - 2. Let u be w(4). Let p be u/(-4)*12/(-9). Suppose 4*b + 6 = 8*b + 5*v, -p*v = 2*b - 4. Is b composite?
True
Let v = -11 - -25. Suppose -2*i + 13 = 3*h, 3*h + 5*i = v + 5. Is (h/(-2))/((-2)/8) prime?
False
Suppose f = -3*f + 16. Suppose n = -3*n - f*h + 76, -4*n - 3*h = -75. Suppose -5*t + 20 = 0, t + n = a + a. Is a composite?
False
Suppose -2 = 3*h + 13. Let d = h + 13. Is (-1)/(-4) - (-422)/d composite?
False
Let z = 737 - 1044. Let p = -176 - z. Is p a prime number?
True
Let z(w) = -2*w**3 - 4*w**2 + 2*w - 2. Let f be z(-4). Is 41/(f/(-14) - -4) composite?
True
Let t = 4 + 1. Suppose 0*l = t*l. Let g = 6 - l. Is g a composite number?
True
Suppose 6*d + 926 + 310 = 0. Is d/(-10) + (-8)/(-20) prime?
False
Suppose 3*h - 14 = -0*c + c, -2*c = -5*h + 23. Is -46*(c - (-6)/(-4)) a prime number?
True
Is (12/2)/(-2) + 3350/5 a composite number?
True
Let o = 289 + -162. Is o prime?
True
Let p(q) be the third derivative of -2*q**2 + 1/6*q**3 + 0 + 0*q - 3/8*q**4. Is p(-4) composite?
False
Let n be (-1)/3 - (-28)/3. Let d(g) = g**2 - 9*g - 6. Let l be d(n). Is (-3)/(-9) + (-88)/l a prime number?
False
Suppose s + 3*b - 442 = 0, 5*s - 124 = -2*b + 2034. Suppose 3*t = 5*i + 422, 4*t + t - s = 5*i. Is (-2)/2 + (-2 - i) composite?
False
Let a(m) = 3*m 