
Let c(f) = f**3 - 6*f**2 - f - 5. Let n be c(6). Let p = 54 + n. Suppose -49 - p = -4*s. Is s prime?
True
Let a be (-1132)/3 - (-14)/(-21). Let c = 589 + a. Is c composite?
False
Suppose 2*i + 3*f = 4*i - 4774, -9576 = -4*i - f. Is i a composite number?
False
Suppose -z - 4*p + 30 - 12 = 0, -z + 8 = 2*p. Is z + 1 - -31*4 a prime number?
False
Suppose 0 = 3*c + 6, 2*c = -3*z + c + 4. Let b = 15 + -8. Is z/b + (-808)/(-14) composite?
True
Let y(v) = 2*v**3 - 2*v**2 - 8*v - 2. Is y(4) a prime number?
False
Is (-8 - -6) + 5*17 composite?
False
Is (-3)/12 - (-1)/4 - -6 a composite number?
True
Suppose 5*p + 6 = 7*p. Let x(j) = 24*j**2 - 3*j - 4. Is x(p) prime?
False
Let j = 23 - 20. Let x(f) = 2*f + 3. Let l be x(-3). Is -11*(j/l)/1 a composite number?
False
Let q = -15 - -24. Suppose 1 - q = -4*c. Suppose 0 = -4*d + 12, -c*d - 10 = -5*g + 39. Is g a prime number?
True
Is 1/(-1*(-2)/6) + 368 a prime number?
False
Let m(h) = -102*h + 5. Is m(-7) a prime number?
True
Let q(f) = -2*f. Let p be q(8). Let s = 69 + p. Is s a composite number?
False
Let x(w) = 3*w**2 - 5*w + 13. Is x(6) prime?
False
Suppose 2*z + 18945 = 5*v, 2*z + 11353 = 3*v - 2*z. Is v composite?
True
Let q = -1 + 1. Suppose q = -u + 6 - 2. Suppose y + u*j = -1, -y - 4*y + 2*j = -17. Is y composite?
False
Let s(q) = 20*q**3 - 4*q**2 + q + 1. Let u be s(3). Suppose x - u = -3*x. Is x a prime number?
True
Let c be -2*1/((-1)/2). Suppose c*n = 0, n = -2*k + 64 + 402. Is k a composite number?
False
Let t(a) = -2*a - 6. Let b be t(-4). Suppose 148 = -b*r + 6*r. Is r prime?
True
Suppose 0 = -5*v + 2460 - 400. Suppose -z + v = 1. Suppose -z = -5*n - 2*m - 2*m, 4*m - 16 = 0. Is n a composite number?
False
Suppose -k - 2 - 4 = 0. Let v be (120/(-9))/(2/k). Let m = v + -3. Is m composite?
False
Let m = 10 - 8. Suppose 0 = -m*c + 8, 3*c = -3*b - 0*c + 171. Is b prime?
True
Is (-1745)/65*-53 + (-4)/(-26) prime?
True
Suppose -1634 = 5*a + 4*x - 2*x, -a - 328 = x. Let d = -154 - a. Suppose d + 13 = 5*l. Is l composite?
False
Let v = -257 + 435. Is v prime?
False
Let n(w) = 75*w + 1. Let d be n(-1). Let i = 15 - d. Is i composite?
False
Suppose 3*k - 268 = 305. Is k a composite number?
False
Suppose 0 = 4*z - 5*b - 50, 0 = 3*z - 2*z - b - 13. Let s be 18/z - 2/10. Is -82*1*(0 - s) prime?
False
Let w = 183 - 91. Suppose -64 = -3*v + z - 0*z, 2*z - w = -4*v. Let u = 36 - v. Is u a composite number?
True
Let p = -8 + 9. Let h = 4 + p. Is h/10 - 421/(-2) a composite number?
False
Is (-257 + 3)/((-4)/22) composite?
True
Let u(p) = p**3 - 12*p**2 - 13*p. Let z be u(13). Suppose -175 = -5*d - 5*r, r = 3*d - z*r - 105. Is d a composite number?
True
Let j be (-12 - 0)/((-15)/10). Suppose 3*d - j = -d. Suppose d*a + 1 = -4*v + 115, 0 = v + 5. Is a a prime number?
True
Let v(p) = 18*p**3 - p**2 - 3*p + 1. Let x be v(2). Let f = x + -56. Is f a composite number?
False
Let d be (-1)/(-5) - (-48)/10. Let j be (-110)/4*4/d. Let u = j - -37. Is u a composite number?
True
Let d(n) be the first derivative of -3*n**2/2 + 139*n - 10. Is d(0) composite?
False
Suppose -5*i - 4*z + z = -2410, -i + 2*z = -495. Is i a composite number?
True
Suppose 3*v - 5*z = 106, z + 0 = 1. Is v a composite number?
False
Suppose 0 = -h - h. Suppose 2*y + 0*i = i + 68, h = -5*y - i + 163. Is y a composite number?
True
Let p be 8 + (0 - 0)/1. Let g = p + -6. Suppose -159 = -g*x - x. Is x a prime number?
True
Suppose g + 3*g = 652. Is g a composite number?
False
Suppose -o + 2*u + 3*u = 0, 0 = -4*u + 4. Let r(w) = 5*w - 7. Let n(k) = -4*k + 8. Let s(z) = 4*n(z) + 3*r(z). Is s(o) a prime number?
False
Let f = 15 + 10. Is f prime?
False
Let m(x) = -45*x - 14. Let l be m(7). Let c = l - -882. Is c a prime number?
False
Let z = 2000 + -1090. Suppose -615 = -2*u + j + 4*j, -3*u + 5*j + z = 0. Is u a prime number?
False
Let h = -14 + 9. Let g = h - -15. Suppose 63 = x + g. Is x a composite number?
False
Suppose 192 + 44 = 2*s - 5*y, -4*s - y = -516. Suppose u - s = -u. Let z = u - 42. Is z a prime number?
False
Let a = 858 - 419. Is a a composite number?
False
Suppose 0 = -5*z + z - 132. Suppose -3*b - 3*c = -318, 3*c + 489 = 5*b - 25. Let x = b + z. Is x a prime number?
True
Suppose 0 = -3*t + 2*v + 17, 6*v + 4 = -4*t + 2*v. Suppose -3*s = t, 0 = -2*f - 2*s - s - 7. Is (10/8)/(f/(-24)) prime?
False
Let u(c) = 6*c**3 + 13*c**2 + 15*c + 2. Let n(y) = 5*y**3 + 13*y**2 + 14*y + 3. Let b(v) = -5*n(v) + 4*u(v). Is b(-13) composite?
True
Suppose 4*w = 5 + 11. Is 5*111 + (2 - w) a prime number?
False
Let i = -5 + 8. Let z be (3 - i) + -6 + 0. Let v = -2 - z. Is v prime?
False
Is (-4023)/(-51) - 2/(-17) composite?
False
Let j(s) = -3*s + 2*s - 3*s + 4*s**2 + 7*s + 1. Is j(3) a prime number?
False
Suppose -25*j = -22*j - 129. Is j a composite number?
False
Let c(o) = -6*o + 5. Let g = 1 - -4. Suppose u - 20 = g*y, u = y + 4*u + 20. Is c(y) composite?
True
Suppose 2*h - 9927 = -7*h. Is h prime?
True
Let l(d) = -2*d + 259. Is l(0) composite?
True
Let t(b) = b**3 - 7*b**2 - 14*b + 1. Is t(10) prime?
False
Let a be -1 - (3 + -2 - 7). Let s = a - 5. Suppose s = k + 5, r - k + 48 = 2*r. Is r composite?
False
Let x be 2*3/(-12)*-334. Suppose 3*q = 166 + x. Is q prime?
False
Let c(w) = 0*w + w**3 - w - w**2 - 2*w**3 + 6 - 3. Let i be c(0). Suppose -51 = 3*s - i*t - 147, -s + 26 = 5*t. Is s composite?
False
Let t(a) = -5*a. Suppose 1 = -2*r + r. Let o be t(r). Suppose -16 = -2*w + 4*n, o*n - n = -3*w + 14. Is w a composite number?
True
Let c = 2 + 3. Suppose -4*h - 3 = 1, 3*g + c*h - 1 = 0. Suppose 0 = g*i + s - 97, 2*i + 195 = 6*i + s. Is i a composite number?
True
Suppose -3*y = -0*y + 4*k - 10559, 5*y + 5*k = 17600. Is y a composite number?
True
Suppose p = -2*p + 159. Is p a composite number?
False
Suppose 3*i = 5*i - 242. Is i composite?
True
Is ((-39)/(-6) + -6)*5638 composite?
False
Let i be (-55 - -2)*1*-1. Suppose -3*m + 2*m + i = 0. Is m composite?
False
Let p = 2 + 35. Is p composite?
False
Suppose -4*y - 2*y = -186. Is y prime?
True
Suppose -4*t + 8 = -4*u, 0 = -2*u - 1 - 7. Let m = t - -6. Suppose -f - m*a = -93, -3*a = 4*f - 8*a - 351. Is f prime?
True
Let u(n) = n - 1. Let w be u(10). Let r be (w - (-1 + 1)) + 2. Suppose -6*t = -r*t + 635. Is t prime?
True
Let c be 3/2*(-16)/(-12). Suppose 0 = 5*n - c*m - m - 12, 5*n - 16 = -m. Is 1/(3*n/135) a composite number?
True
Let u(i) = -i**3 - 5*i**2 + i - 6. Let n be u(-5). Let t be 4/22 + (-823)/n. Let l = -20 + t. Is l composite?
True
Let f(b) = 10*b**2 + 5*b - 4. Suppose -2*h - 5 = 1. Let o(y) = 9*y**2 + 6*y - 5. Let x(i) = h*o(i) + 4*f(i). Is x(1) composite?
True
Let b(o) = 29*o + 4. Let z be 4/(-2) + 2 + 3. Is b(z) composite?
True
Suppose 5*c - 3 = -23. Let b be (-425)/c - 2/8. Suppose -4*j = -2*d - b, -4*j + 88 = -0*d + 4*d. Is j composite?
True
Let b(j) = -24*j - 1. Suppose 18 = -5*p - 2*z - 0*z, -5*p + 2*z = 22. Is b(p) a prime number?
False
Let o = 7 - 3. Suppose o*i - 25 = y, 1 - 7 = -2*y. Is i composite?
False
Let v = 183 - 128. Is v a composite number?
True
Let n(l) = -l**2 - 6*l - 3. Let b be n(-5). Let k(x) = x**3 - 4*x**2 - 8*x - 2. Let u be k(7). Suppose 29 = b*m - u. Is m a composite number?
False
Suppose 3*y = -23 - 1. Is 481 + -3*y/(-12) a prime number?
True
Is ((-1257)/(-9))/(2 - 10/6) a composite number?
False
Let h(w) = -143*w + 19. Is h(-8) a composite number?
False
Suppose 0 = -25*g + 2189 + 24486. Is g a prime number?
False
Let q(v) = 13 + 5 - 9 - 8*v + 8. Is q(-9) a prime number?
True
Suppose -4*j - 1460 = -6*j. Let i = j - 321. Is i prime?
True
Let r(i) = 3*i**3 + i. Let o be r(-1). Let l be 18358/o - (-3)/(-6). Is l/(-42) - (-2)/(-7) a composite number?
False
Let r(j) = -3*j + 6. Let n be r(-12). Let c = n - -67. Is c a prime number?
True
Let f(q) = -q + 3. Let g be f(0). Suppose -i = -4, 0 = g*n + 6*i - i - 131. Is n a composite number?
False
Let i(h) = 26*h + 3. Is i(8) a composite number?
False
Let b(z) = 32*z - 1. Is b(9) a composite number?
True
Is 3/((-18)/316)*-3 a prime number?
False
Suppose 8*n - 3*n - 2815 = 0. Is n prime?
True
Suppose 4*j - 385 = -j. Let s = 256 - j. Is s composite?
False
Suppose -6*n = -4*n - 902. Is n prime?
False
Suppose 5*h - 3*h - 5889 = -5*v, -h - 4*v + 2943 = 0. Is h a prime number?
False
Let g = 13 - 8. Suppose g*h = 2*h + 33. Is h a prime