s 3 + -44*v/6 a prime number?
False
Let v(u) = 2*u**2 + 7*u - 10. Let c = 0 - 9. Let p be v(c). Suppose -w = -5*w + s + p, 5*s + 93 = 4*w. Is w a composite number?
True
Let b = 6 + -12. Let g(q) = -124*q + 1. Let c be g(b). Suppose -3*f - c = -8*f. Is f a composite number?
False
Suppose -3*f + a + 3*a + 3797 = 0, -25 = 5*a. Is f a prime number?
True
Let c be 2/((-33)/36 - -1). Suppose -4*w - y = -3*y - c, -w + 7 = -y. Let s = w + 1. Is s a prime number?
False
Let k = -1053 - -4386. Suppose 0 = -3*h - 4*z + 2009, -3*z - k = -5*h - 2*z. Is h composite?
True
Is (-3)/3 - (-267 + 1) composite?
True
Let i(a) = a**3 + 8*a**2 + 5*a. Let q be i(-7). Suppose 5 = -y + q. Suppose 5*z - y = 4*z. Is z a composite number?
True
Suppose -2*w = 2*u + 3*w - 8, u + w - 4 = 0. Suppose 3*x - 644 = -5*o + u*x, x = o - 128. Is o a composite number?
True
Suppose -7*t + 1374 = -2*t + l, 2*t - 5*l - 528 = 0. Is t prime?
False
Let g be 15/(-20) - 1143/12. Let w = -7 - g. Is w a prime number?
True
Let d = -112 + 323. Is d a prime number?
True
Let n(s) = s**3 - 11*s**2 + 13*s + 9. Let w be n(11). Let d = w + -75. Is d a prime number?
False
Let m = 2549 + -568. Is m prime?
False
Suppose v + 12 = 4*w, -2*w = -w - 2*v - 10. Suppose z = -w*z + 1497. Is z a prime number?
True
Suppose 3*c + c - 2812 = -5*s, 2812 = 4*c - 3*s. Is c a composite number?
True
Let u = -9 - -10. Is 68/16*(u - -7) prime?
False
Let k(i) = i**3 + 9*i**2 - 4*i + 1. Suppose 3 - 39 = 4*j. Is k(j) composite?
False
Let l(j) = 2*j - 3. Let f = -9 + 16. Is l(f) a composite number?
False
Let h = 1081 + -540. Is h composite?
False
Let g = 34 - 3. Suppose 0*i + 2*i = 3*q + g, 5*q - 2*i + 45 = 0. Let l = q + 13. Is l a composite number?
True
Let u = -4 - -2. Is (-1 - 135/6)*u prime?
True
Let z = 3 - -5. Suppose 0 = -4*i - 0 + z. Is (-146)/(-3) + i/6 a prime number?
False
Let h = 30 + -42. Suppose -4*w + 11 = -29. Let v = w - h. Is v a prime number?
False
Suppose 0 = 5*m - 1174 - 771. Is m a prime number?
True
Let w be (14 - (-1 + 3)) + -2. Suppose -4*p + 2 + w = 0. Suppose x + p*x = 56. Is x composite?
True
Suppose -b - 4*x = -201, -414 = -2*b - 6*x + 2*x. Let c = -124 + b. Is c composite?
False
Is (203*1)/(-2 + 3) prime?
False
Suppose 8*s - 5880 = 3*s. Suppose 509 = 5*a - s. Is a composite?
False
Let v be 2/(-8) - (-36)/16. Suppose -38 = -v*s - 4*w, -3*s + w = -w - 33. Let u = s + 2. Is u prime?
False
Suppose -3*d + 2 = -7. Let u(z) = z**3 + 3*z**2 - 1. Let b be u(-2). Suppose b*p - 19 = -t, -2*t + d*p = 8*p - 33. Is t a composite number?
True
Let q(g) = -2*g**3 - 7*g**2 - 5 - 2*g + 5*g**3 + 3*g**2. Is q(4) prime?
False
Let a = -446 + 697. Is a a composite number?
False
Suppose -n = 4*n + 205. Let t = n + 22. Is t/(2*-2 - -3) a composite number?
False
Suppose 5*a + 12 = -3. Let r(w) = 6*w**2 + 2*w - 4. Let s be r(a). Suppose m = 7 + s. Is m a prime number?
False
Suppose 0 = -2*m + 3*b + 21, 4*m - 5*m - 4*b - 17 = 0. Suppose 6*u - m*u - 447 = 0. Is u a composite number?
False
Let h(u) = -13*u**3 + 3*u**2 - 1. Let p be h(-2). Suppose -p = -3*a + 44. Is a a composite number?
False
Let o(j) be the second derivative of 17*j**4/12 - 5*j**3/6 + 3*j**2/2 - 5*j. Is o(-4) a prime number?
False
Let s(k) = -k**2 - 3*k - 2. Let v be s(-4). Is (-21)/v*22/1 prime?
False
Let d be ((-4)/14)/((-1)/7). Is d + -1 + 4 + 1 a composite number?
True
Let p(n) = n**2 + 2*n - 7*n**3 - 23*n**3 + 1 + n**2. Is p(-1) composite?
False
Suppose 3*o = -4*c + 3*c + 191, -o + 4*c + 55 = 0. Suppose 238 = 2*b + 6. Let i = b - o. Is i composite?
False
Suppose y - 167 = -54. Is y prime?
True
Let m = -9234 - -17779. Is m a composite number?
True
Let k(t) be the second derivative of -t**3/6 + 85*t**2/2 + 15*t. Let d(i) = i**2 - 2*i. Let j be d(2). Is k(j) composite?
True
Let q = -211 - -402. Is q prime?
True
Let z(m) = m**2 + 7*m + 3. Let i be z(-6). Let o be -3 - (i - -4)*-6. Suppose o*l - 106 = -k, -4*k = 5*l - 144 - 35. Is l composite?
True
Suppose -a - 2*g - 19 = 0, g + 5 = 5*a + 56. Let t(z) = -z**2 - 12*z + 2. Is t(a) a composite number?
False
Is 3*(-2 + 3) + 23 a prime number?
False
Suppose -4*g - 28 = -4*x - 0*g, -g = 0. Is x prime?
True
Let h(o) = 112*o**2 + 5*o + 4. Is h(-5) a composite number?
True
Suppose -3*m = -349 - 284. Is m prime?
True
Let m(t) = t**3 - 5*t**2 + 2. Let u be m(5). Let h be (u - -5)*(-24)/(-14). Is (-3)/h + (-183)/(-12) a prime number?
False
Let r be (-8)/(-12) + 2/(-3). Suppose 5*d - 11 - 4 = r. Suppose -d*q + 0*q + 237 = 0. Is q a composite number?
False
Let x(c) = -c**3 - 7*c**2 - 6*c + 5. Let a be x(-6). Suppose 0*g = -a*g + 445. Is g composite?
False
Suppose 110 = -5*r + 7*r. Is r a composite number?
True
Suppose -3 + 11 = 4*y - 2*r, 2*r = -2*y + 10. Suppose -o = y*o - 28. Is o a composite number?
False
Suppose 4*n + 15 = -n + 5*z, -3*z + 9 = 2*n. Let s(q) = n + 1 - 5*q - 10. Is s(-8) a composite number?
False
Is 76*2*(-20)/(-8) - 1 a prime number?
True
Suppose -4*c = -c - 258. Let m = 75 + c. Is m a composite number?
True
Suppose -2892 - 9 = -3*r. Is r composite?
False
Suppose 5*l = -256 - 374. Let v be 3/(-4) + (-111)/12. Is l/v + 4/10 a prime number?
True
Let r be 2 - (42/(-2) + -2). Let q = 36 - r. Let i(a) = a**2 - 5*a - 13. Is i(q) composite?
False
Suppose 0*g + 2*g - 102 = 0. Is g a prime number?
False
Let p(c) = -c**3 + 12*c**2 - 11*c + 3. Let r be p(11). Suppose -r*f - 2676 = -7*f. Let g = f - 376. Is g a composite number?
False
Let k(a) = a**2 + a + 53. Suppose 2*w = 5*w. Is k(w) composite?
False
Let i = 15 + -12. Suppose i*x - 258 = 123. Is x a composite number?
False
Let s(k) = 22*k - 2. Let o be s(5). Let m be 6*2/4 + 0. Suppose -2*g + 261 = 5*n, -m*n - 3*g = -54 - o. Is n prime?
False
Let j = 13 - 9. Suppose 0 = j*i - 2*i. Suppose i = -3*k + 54 + 12. Is k a composite number?
True
Let n(i) = i**3 + 13*i**2 + 11*i + 25. Is n(-12) composite?
False
Suppose 5*k - 180 + 517 = t, 674 = 2*t + 5*k. Is t prime?
True
Is (-6)/4*53634/(-63) prime?
True
Let h = -53 + 27. Let m = -12 - h. Is (-247)/(-7) - 4/m composite?
True
Suppose -2*q + q - 107 = -2*o, 272 = 5*o - q. Is o prime?
False
Suppose 3166 + 19729 = 5*a. Let s be a/(-2) - (-1)/(-2). Is s/(-18) - 2/9 prime?
True
Let n(h) = 19*h**2 - 7*h - 3. Is n(-13) composite?
False
Let k = 9 - 20. Let q = 8 + k. Is 29 + -2*(q - -2) prime?
True
Suppose -6*y + 786 + 1026 = 0. Is y prime?
False
Is 1605/18 + 1/(-6) prime?
True
Is (-2)/8 + 830*(-3)/(-8) a prime number?
True
Let o be 2/(-9) - (-76)/18. Suppose 0 = 5*n + 5*f + 25, 7*n - o*n - 2*f - 10 = 0. Let v(c) = -c + 7. Is v(n) a composite number?
False
Let b = -108 - -167. Is b a composite number?
False
Suppose -180 = -4*u + 1120. Suppose -u = -3*r + 245. Let f = r + -63. Is f a composite number?
False
Suppose y + 40 = a, -a + y + 10 = 6*y. Is a composite?
True
Suppose -3*t + 68 = -t. Is t prime?
False
Let j(k) = -k**3 - k**2 - 176. Let f be j(0). Is (-5)/(-15) + f/(-3) a composite number?
False
Let l(x) = 1 + 2*x**2 - 13*x**2 - 21*x**2 - x. Let v be l(1). Let m = 58 + v. Is m a composite number?
True
Let m = 5 - 3. Let u(r) = 7 + 0*r - r**2 + 14*r**2 - r**m + 6*r. Is u(5) prime?
True
Let t = 1214 - 717. Is t a composite number?
True
Let w = -12 + 17. Suppose w*f - 46 = 3*f. Is f a composite number?
False
Let l(q) be the first derivative of -q**4/4 + 7*q**3/3 + 2*q**2 + 5*q - 2. Is l(6) a prime number?
False
Suppose 2*j = 8*j + 2286. Is ((-30)/(-9))/((-2)/j) a prime number?
False
Suppose 2*q = -q - 4*p + 97, 0 = 4*p - 4. Is q a composite number?
False
Suppose 5*d = 2*f + 50, 3*d + 13 = -4*f + 69. Suppose 3*v - 2*v - 2*w = d, -2*v - 21 = 5*w. Is 230/6 + v/(-6) prime?
False
Let b be (118/(-8))/(8/(-64)). Suppose -4*y - b = -0*k - 2*k, -4*y = 3*k - 157. Is k a composite number?
True
Let c(w) = 2*w**3 + 3*w**2 - 4*w + 1. Let n be c(4). Suppose -3*u + n = -2*u. Is u a composite number?
True
Suppose 0 = -2*s + 3 + 7. Let d = -1 - -3. Suppose s*u - 2*t - 147 = 0, d*u - 3*u + t + 27 = 0. Is u a composite number?
False
Let i be -4 + (2 - 2)/4 - -1. Let l(t) = -2*t**3 + 3*t**3 + 4 + 2*t**2 + 3*t**2 + 3*t. Is l(i) a composite number?
False
Let f(o) = 11*o**2 - 6*o + 5. Let r be 4*1 + (-3 - -3). Is f(r) a prime number?
True
Let r(o) = 3*o + 5. Let w(k) = -10*k - 16. Let t(g) = -7*r(g) - 2*w(g). Let y be t(-9). Is 1424/12 + 2/y a prim