 8*x(d). Let i be q(-2). Suppose -i*s + 11 = -19. Is s composite?
True
Suppose -z = -5*p - 5*z + 323, -4*p + 277 = -3*z. Is p composite?
False
Let y be 366*(0 + 3/3). Suppose 0 = 2*u + u - y. Let n = 9 + u. Is n a prime number?
True
Suppose -2*n + 325 + 323 = 0. Let v = -527 + n. Let m = -84 - v. Is m a prime number?
False
Is (18/(-8) - -2)/((-16)/16064) composite?
False
Suppose 3*x = -0*x + 450. Suppose 0 = -0*g + 3*g - x. Suppose k + g + 23 = 2*f, -4*k = -4*f + 152. Is f a prime number?
False
Suppose 3*w - 1227 = 1290. Is w prime?
True
Suppose 3*z = -5*a - 28, -5*z = 5*a - 3*z + 27. Let r(o) = 2*o + 13. Is r(a) a prime number?
True
Let i(b) = b**2 + 5*b + 15. Let u be i(-8). Let q(w) = -w**3 + 4*w**2 + 5. Let a be q(4). Suppose a*d = c - u, 0*c - d - 114 = -2*c. Is c a prime number?
True
Suppose 3*j = 6*j + 183. Let s = 168 + j. Suppose 9*f - s = 4*f + x, -5*f + 101 = -3*x. Is f a composite number?
True
Let q(d) = -3*d**3 - d - 1. Let x be -2 - -5 - 5/1. Let w be q(x). Suppose 2*l + w = 117. Is l composite?
True
Let t = 16 + 17. Is t composite?
True
Suppose 31*b = 34*b - 711. Is b composite?
True
Let k = -3 + 30. Let s be 8/6*(0 - -36). Let y = s - k. Is y prime?
False
Is (-3)/15 + 582/10 a composite number?
True
Is (-18)/(-6) - (-1539 - 1) a prime number?
True
Suppose 5*f = 7 + 13. Is ((-5)/f)/(-5)*652 a prime number?
True
Suppose 4*g + 1 = -z + 302, 2*z = 3*g + 580. Let p = -15 - z. Is p/(-9) + (-4)/18 prime?
False
Let u = 29 - -6. Is u prime?
False
Let f(b) = b**2 + 16*b - 9. Let k be f(-12). Let s = -8 + k. Let m = -10 - s. Is m a composite number?
True
Suppose 4*g = 6*g - 600. Let d = g + -207. Is d composite?
True
Suppose c = -c - 4*u + 268, -15 = 3*u. Suppose -4*o = -c + 12. Is o a prime number?
False
Suppose -2*o + 162 = -100. Is o prime?
True
Let x = 1 + 2. Suppose -284 = -x*q - 5*a, -2*a - 21 + 116 = q. Is q composite?
True
Let t(r) = -r**2 - 9*r - 4. Is t(-7) a composite number?
True
Let t = 10 + -5. Suppose 6*s - 170 = s + t*u, -s + 3*u + 36 = 0. Is s a composite number?
True
Let o = -5262 + 9041. Is o prime?
True
Let k(i) be the third derivative of i**6/120 + i**5/24 + i**4/24 + 2*i**2. Let o(x) be the second derivative of k(x). Is o(7) prime?
True
Let q = -1221 + 1934. Let b = q + -340. Is b a prime number?
True
Let s(i) = 3*i**2 + 2*i - 4. Let u be s(4). Suppose 5*n + 18 = -27. Let o = n + u. Is o a prime number?
True
Suppose 0 = 2*l - 2*s - 1106, 0 = -2*s + 5*s. Is l a prime number?
False
Let p(n) = -n + 59. Let j be p(0). Suppose -v = 4*c - 3*c - 7, -5*c + j = -3*v. Is (-16)/(-20)*c/2 prime?
False
Let j be -1 - (0 + 1 - 43). Suppose -j = 3*m - 278. Is m composite?
False
Suppose 5*o - 156 - 9 = 0. Is o composite?
True
Suppose -4*c = 4*l - 904, -2*l + c + 462 = 5*c. Is l composite?
True
Let y = 763 - 458. Suppose 2*s = -10, 2*s - 6*s = 5*u - y. Is u a composite number?
True
Let t be (-7)/4 + (-3)/12. Is (111/(-6))/(t/4) a composite number?
False
Suppose -36*z = -41*z + 545. Is z prime?
True
Suppose 5384 = 4*n - 9788. Is n composite?
False
Suppose -z - 1539 = -3*v - 5*z, -3*v = 5*z - 1536. Is v composite?
True
Suppose 0*t + 5*y + 12 = -2*t, -5*t + 2*y + 28 = 0. Let s(o) = o**3 + 6*o**2 - 4. Let q be s(t). Suppose 3*u = 0, -2*i - 2*u + q = 2*i. Is i a prime number?
False
Let a(l) = 4*l**3 + 5*l + 2. Let i(m) = -5*m**3 - m**2 - 5*m - 3. Let k(w) = 4*a(w) + 3*i(w). Let q be k(4). Let g = 50 - q. Is g a composite number?
True
Let v = 2335 + -1286. Is v prime?
True
Let i = -29 + -13. Let x be (-1 - 5/4)*4. Let h = x - i. Is h prime?
False
Suppose 3*q - 6 = 0, -y = 4*q - 0*q - 10. Suppose -x = y*f + 2*x - 98, 5*x = -5*f + 245. Is f a composite number?
True
Let p = 11 + -8. Suppose -5*t + 5*u = -50, -2*t + 20 = -p*t - 5*u. Suppose -3*q + t*q - 134 = 0. Is q prime?
True
Let x(q) = -q**3 - 3*q**2 - 2*q + 2. Let n be x(-2). Suppose -n*l - 3*v + 659 = 0, l - 5*v = 95 + 241. Is l prime?
True
Suppose -12616 = -4*g - 4964. Is g composite?
False
Let k(i) = i**3 + 8*i**2 - 2*i + 5. Is k(-8) a composite number?
True
Let u = 60 - -79. Is u a composite number?
False
Let l(g) = -g**3 - g**2 - g + 503. Is l(0) a prime number?
True
Let i(x) = 190*x**2 + 2*x - 1. Is i(1) a composite number?
False
Let d be (-3)/((-3)/6 + -1). Suppose j - d*j = 0. Let o = 21 + j. Is o a composite number?
True
Let f = -37 + 61. Suppose y + 5*m + f = 0, 5*m = 2 - 27. Is 4/((2/y)/2) composite?
True
Suppose -4*s + 29 = -3*k, -6*k + k - 5 = 2*s. Let i = -1 + s. Is (4/(-6))/(i/(-138)) a prime number?
True
Let o(r) = -2*r**3 + 5*r**2 - r - 7. Let d(v) = -v**3 - 10*v**2 - 5. Let s be d(-10). Is o(s) composite?
False
Let v = -72 - -449. Is v a prime number?
False
Suppose -3*x + 68 = x. Let i = 32 + x. Is i composite?
True
Suppose 1 = -3*g - 11. Let s be (6/(-4))/(3/g). Suppose 0*q = s*q - 26. Is q composite?
False
Suppose -5*g - 59 + 1134 = 0. Is g a prime number?
False
Let n = -9 + 20. Suppose 4*g - n = 21. Suppose 13 = q - g. Is q composite?
True
Let m = 4 - 8. Let v = 9 + m. Suppose 3*k + 2*k = r + 458, k - 106 = v*r. Is k a composite number?
True
Suppose 0 = -3*g - 2*g + 5. Is (-1)/(96/(-94) + g) composite?
False
Suppose -p = -2*p + 5. Suppose -5*f + 880 = -p*i, 2*f - 517 + 156 = -i. Is f composite?
False
Suppose -j - 12 = 4*r + 7, 0 = 4*r + 12. Let v(t) be the third derivative of t**6/120 + 3*t**5/20 + 7*t**4/24 + t**3 - 3*t**2. Is v(j) composite?
True
Let h = -15 + 34. Is h prime?
True
Let c = 126 - 126. Let s(n) = n + 3 - 2 + 2. Is s(c) a composite number?
False
Suppose 3*o = 3 + 3. Suppose -2 = -o*g + 6. Suppose 2*m - 2*d = 10, g*m - 4*d + d - 22 = 0. Is m a prime number?
True
Is 307 - (5 + -4 + -1) composite?
False
Let x = -3328 + 4769. Is x prime?
False
Let q(g) = -2 + 3*g + 1 - 4*g - 6. Let l be q(-6). Is l/(-3 - (-92)/31) a prime number?
True
Suppose c + d + 4*d - 86 = 0, -5*d - 25 = 0. Is c a prime number?
False
Is (-12 - -12) + 1*257 composite?
False
Suppose 0 = -7*p + 2*p. Let z(v) = -23*v. Let x be z(-2). Suppose 3*u + x - 115 = p. Is u composite?
False
Let t(j) = j + 58. Is t(-12) composite?
True
Let k = 148 + 366. Is k a prime number?
False
Let b be (2 - 1)/((-3)/(-15)). Suppose -3*c - 4*n = -263, -2*c + b*n = c - 272. Is c composite?
False
Let x be 4/6 + (-1)/(-3). Let d(w) = 36*w + 1. Is d(x) prime?
True
Suppose 3*b + 1 = 4*q, 1 = -b + 2. Suppose -5*l = -14 - q. Is l prime?
True
Let h = -512 - -874. Is (-2)/4*h/(-1) composite?
False
Suppose 5*n + 0*q - 390 = q, -301 = -4*n + 3*q. Is n a composite number?
False
Let a(k) = -k**2 - 6*k - 4. Let f be a(-4). Let p = -8 + f. Is (-530)/p - (-2)/4 a prime number?
False
Let m(y) be the second derivative of y**4/6 + 5*y**3/3 + 9*y**2/2 + 5*y. Is m(-6) a composite number?
True
Let b = -1148 - -2245. Is b a prime number?
True
Let u(q) = -q**3 - 6*q**2 + 8*q + 10. Suppose -17 = -3*h - 2. Let x = -2 - h. Is u(x) prime?
True
Let r be 3 + ((-4)/(-2) - 1). Suppose k - 4*q + 86 = 396, 3*k - 994 = -4*q. Suppose -r*m + 2*m = -k. Is m a composite number?
False
Suppose -15 = -4*g + m, 4*g + 5*m = -g + 25. Suppose 0 = 3*u - g*u + 223. Is u a prime number?
True
Let u(s) = 3*s**3 - 6*s**2 + 2*s - 2. Let z be u(6). Let d(q) = -q**3 - 3*q**2 - 3*q + 3. Let b be d(-2). Suppose 0 = -b*f - 27 + z. Is f a composite number?
False
Let m be 6/(-2) - -34 - 0. Suppose -11*v = -10*v - m. Is v composite?
False
Suppose -5*u = -b - 14, -u - 4*u = b - 16. Suppose -5*a = -0*s + u*s - 12, -4 = -s - 5*a. Suppose 143 = -s*l + 515. Is l prime?
False
Suppose -5630 = 2*f - 5*f + 2*t, -3*t = 3. Suppose f - 281 = 5*n. Is n composite?
True
Is 1674/4 + 7/14 a composite number?
False
Let h(m) = 6*m**2 - 16*m + 11. Is h(12) a prime number?
True
Let y = -736 - -1053. Is y a composite number?
False
Let o(x) = 5*x**2 + 14*x + 14. Is o(-9) composite?
False
Let l = -16 + 72. Suppose -3*v = v - l. Let w = -7 + v. Is w a composite number?
False
Is ((-3)/(-9))/(5/134115) composite?
False
Suppose 3*p - 4*w = 5*p - 736, w = 2*p - 716. Suppose 5*x - 85 = p. Is x composite?
False
Let r(a) = a**2 - 7*a - 1 - a**2 + a**2 + 4. Let z be r(7). Is (4/(-10))/(z/(-15)) a prime number?
True
Suppose 0 = -q - 2*q + 69. Suppose 99 - q = 4*j. Is j composite?
False
Suppose -581 - 494 = -5*z. Suppose -7*g + 5 = -2*g, -4*a - 3*g = -z. Is a prime?
True
Suppose 0 = 5*z - 10 - 30. Let d