23, 0 = p + d - 319. Let o be (-4)/14 + p/7. Let h = o + -11. Is h prime?
False
Suppose 2*m = -o + 1593, -o + m + 1608 = -0*o. Is o a composite number?
True
Suppose 7*t = 3*t - 220. Is t/3*(2 - 5) composite?
True
Let x(w) be the third derivative of -5*w**4/6 - 7*w**3/6 - 3*w**2. Is x(-3) composite?
False
Let m(p) = -10*p + 14. Suppose -4*i = 3*w + 44, -5*w - 24 = 3*i + 9. Let g be m(i). Suppose u + g = 5*u. Is u prime?
True
Suppose -6*c = -c + 40. Let m(x) = -2*x - 11. Let p be m(c). Suppose 63 = p*n - 42. Is n a composite number?
True
Let f(o) = 103*o**2 + 3*o + 1. Is f(-2) a composite number?
True
Let z(v) = -v - 1. Let n be z(6). Let q = -11 - n. Is -2*(-2)/q*-14 a prime number?
False
Is (-2448)/(-3) - 4/(-2) composite?
True
Let s(h) = 21*h**3 + 3*h**2 - 2*h + 2. Let o be s(2). Suppose 4*p - o = 210. Is p prime?
True
Let u = 1 - -2. Let z(a) = 5*a**2 - 5*a + 7. Is z(u) a composite number?
False
Suppose -2*c = 2*g - 48, c - 47 - 89 = -5*g. Suppose -5*n + 3*n + g = 0. Is n prime?
False
Let z = -7 - -7. Is (-2 - (-3 + z)) + 18 prime?
True
Let l = -21 + 35. Is l prime?
False
Let w(p) = 32*p**2 + 3. Is w(2) a composite number?
False
Let c = -28 - -75. Suppose 16 = 3*t - c. Is t prime?
False
Suppose 4 - 14 = -5*t. Let f(n) = -5*n + 11 + n**2 + 0*n**t - 2*n. Is f(8) composite?
False
Let r = -10 + 16. Is (-87)/(3 - r) - -2 a composite number?
False
Let k(v) = 26*v**2 + 3*v + 14. Is k(-7) prime?
False
Let i be 1 + 4 - (-6)/6. Suppose -3*b = -i*b + 111. Is b a prime number?
True
Suppose 4*a - 5*a = -13. Is 2 + (9*a - 1) a prime number?
False
Suppose r = -2*w - 41, 5*w = 5*r + 35 + 215. Let n = 5 - r. Suppose -h = 19 - n. Is h a composite number?
True
Let o be 248/1 - (-2 + 4). Suppose 328 = 4*i + 2*n, -o = -3*i + 2*n - 7*n. Is i prime?
False
Let i be 4/(-6)*(-3 - 0). Suppose -i*m - m = 12. Let t(o) = -o**3 + 2*o + 3. Is t(m) composite?
False
Let g(c) = 12*c**2 - 5*c + 15. Is g(4) composite?
True
Suppose 10*d = 12*d + u - 4106, 4*u = -4*d + 8212. Is d composite?
False
Suppose -4*l - 4*n - 5113 = -949, -5*l - 4*n - 5207 = 0. Is (l/7)/(-1*1) a prime number?
True
Let u = 266 - 103. Is u a prime number?
True
Let h be (-13)/(-4) + (-3)/12. Is (-4 + 1)*(-145)/h a composite number?
True
Is 2*196/(-8)*-1 a prime number?
False
Suppose 0*j + 4*j = 13084. Is j a prime number?
True
Is (13605/10)/(2/4) composite?
True
Let j(i) = -i**2 - i + 2. Let b = 8 - 6. Let q be j(b). Is (2/q)/(1/(-310)) a prime number?
False
Let n(b) = -88*b**3 - 2*b + 1. Is n(-2) a composite number?
False
Suppose -4*n + 626 = -558. Let k be ((-54)/63)/(1/7). Is k/(-4)*n/12 a composite number?
False
Suppose -3*c = -5*f + 176, -4*f - 26 = -5*c - 172. Let z = 21 - f. Let x = 20 + z. Is x a composite number?
False
Let u be 6/(-21) + (-46)/(-14). Is 1 + 0 + (u - 1) composite?
False
Let v be (-8)/(-6) + (-4)/(-6). Suppose -v*w = -1 - 5. Is (-3 + 0)/w - -32 a composite number?
False
Suppose -8*y + 10*y - 1106 = 0. Is y a composite number?
True
Suppose 4*h - 3*h = -5*u + 141, -108 = -4*u + 4*h. Suppose -2*j - u = -96. Is j composite?
True
Let j(p) = -4*p**2 - 4*p**2 + 91 + 7*p**2. Is j(0) a composite number?
True
Suppose o - 11 = 3*i + 15, 0 = i - 4*o + 5. Let u be (-8)/(-36) + (-250)/i. Suppose -94 = -3*f + 5*d - u, 0 = 2*f - 3*d - 44. Is f a prime number?
False
Suppose 4*o = 520 + 1764. Is o composite?
False
Let g(o) = -32*o**2 + 20*o - 3. Let t(w) = 11*w**2 - 7*w + 1. Let j(x) = -6*g(x) - 17*t(x). Is j(2) composite?
False
Let q(a) = 410*a**2 + 2*a. Let k be q(-2). Suppose 3*v + v - k = 0. Is v a composite number?
False
Suppose 2*s - 1584 = -614. Is s a prime number?
False
Let g be (64/(-24))/((-4)/(-6)). Let x(k) = 20*k**2 + 5*k + 1. Is x(g) prime?
False
Suppose -157 = -2*g + 289. Is g a composite number?
False
Let r be (5 + 2)/(0 + -1). Let x(w) = -11*w - 6. Let z be x(r). Suppose -z - 77 = -4*n. Is n composite?
False
Let c(y) = 5*y - 23. Let i(s) = -6*s + 24. Let z(n) = -5*c(n) - 4*i(n). Let m be 4/(-6) + (-2)/(-3). Is z(m) prime?
True
Let m(j) = j - 9. Let y be m(10). Let q be (y - 1)*(1 - 0). Suppose 3*h = 2*p + 167, q*p - 90 = -2*h - 4*p. Is h a composite number?
False
Is 309/(-2)*10/(-3) prime?
False
Is (-28334)/(-10) + (-36)/90 prime?
True
Suppose 60 = 5*x - 0*x. Suppose -3*y + 7*y + 4*m - 24 = 0, 3*y - 2 = 5*m. Suppose y*z - 12 - x = 0. Is z a prime number?
False
Suppose 5*g = -2*u - 5 - 17, -3*u - 19 = 4*g. Let y be u/5 + 1752/(-15). Let l = -32 - y. Is l a composite number?
True
Let r = -17 + 44. Let l = r + 850. Is l a prime number?
True
Let d = 2470 + -849. Is d a prime number?
True
Suppose 2*n + 8 = 0, -4*n - n - 626 = -x. Let a be (-3)/3*10/(-2). Suppose a*s + 603 = 5*o + 3*s, -5*o + x = s. Is o composite?
True
Let j(v) = v**3 - 8*v**2 + 7*v + 8. Let o be j(7). Suppose 28 = 4*p + 4*d, 2*p = -o*d + 4*d + 22. Is p prime?
True
Let s = 2 - 0. Suppose 5*y - s = 4*y. Suppose y*m - 73 = 45. Is m a prime number?
True
Let c = 8396 - 5835. Is c composite?
True
Suppose -4*f - 243 = -x, -3*x + 2*f + 757 = -3*f. Suppose 0*d + 20 = 5*d. Suppose -d*l - 23 + x = 0. Is l composite?
False
Let y = -6 - -4. Let s be (0 - -2) + y + 2. Suppose -4*h + 12 = -s*h. Is h prime?
False
Suppose -q - 4*q = -300. Let t = 127 - q. Is t a prime number?
True
Suppose 0 = -3*g - g. Suppose -i + 52 + 10 = g. Is i a prime number?
False
Let n(b) = -24*b + 3. Let z be n(5). Let j = -80 - z. Is j a prime number?
True
Let k(l) be the first derivative of l**4/4 - l**3/3 + l**2/2 + 67*l + 6. Is k(0) a composite number?
False
Suppose -5*a - 34 = 2*c, c = 3*a - 7*a - 23. Let f(t) = -t**3 - 4*t**2 + 11*t + 9. Is f(c) a prime number?
True
Suppose 4*t + 2*u - 20 = 0, -4*u - 14 = -3*t - 5*u. Let v be -1 - (-5 + -1 + 2). Suppose 7 = -4*h - 1, -v*h + t = f. Is f composite?
True
Let y(b) = b**2 + 3*b - 5. Suppose -20 = -2*z + 7*z. Let h be y(z). Is (-2)/(2/h) - -33 composite?
True
Suppose 3*l - 4*l - 20 = 0. Let a = l + 243. Is a prime?
True
Suppose 4*p = -2*p + 138. Is p a composite number?
False
Suppose 2 = 2*i - 2. Suppose 3*m - 16 = i. Suppose 3*c = m*c - 99. Is c a prime number?
False
Let q(x) = -x**2 - 6*x - 6. Let f be q(-4). Suppose w - 4*w = 4*v - 129, 3*w + f*v = 135. Is w a composite number?
False
Suppose 0 = 3*z - 4 - 11, -5*i - 2*z = -640. Suppose 2*c + t = -t + 66, -4*c - t + i = 0. Is c a prime number?
True
Let j(h) be the second derivative of -16*h**3/3 - h**2/2 - 2*h. Suppose 3*x = -0*m - 4*m - 20, x - 4*m = 4. Is j(x) a prime number?
True
Suppose 2*o + o = 0. Suppose o*t + 5*t = -2*x, 4*x = 3*t + 26. Suppose 5*z + 150 = 5*c, 3*z + z - 105 = -x*c. Is c prime?
False
Suppose 0 = 5*y + 5*b - 7925, -3*b + 4*b = -2*y + 3174. Is y composite?
True
Let v be (0 - -1*4) + 2. Suppose -o = -v*o + 1085. Is o prime?
False
Suppose -l - 5013 = -4*k, -3*k = 2*k + 5*l - 6260. Is k composite?
True
Is (-66)/(-4)*1778/21 a composite number?
True
Let f = 738 - 399. Is f a prime number?
False
Suppose 3*h + 11542 = 4*i, 3*h = -4*i + 2*i + 5780. Is i composite?
False
Let b be -1 + 1 + -2 + 89. Let z = 174 - b. Is z a composite number?
True
Suppose 2*z + 2*z = -12. Is 17 + (0 - (-5 - z)) prime?
True
Let g(y) = 84*y**2 + 3*y - 3. Is g(2) prime?
False
Suppose 8 = -5*l + l. Is (-1)/(l/(-2)) + 39 prime?
False
Let r be 3/3*2 + 1. Let a(j) = -4 + 4 + r*j + 1. Is a(7) a prime number?
False
Suppose -l = 2*q - 5, 4 = -2*l - 2*q + 24. Is l a prime number?
False
Let r(a) = -a**3 + 29*a**2 - 2*a - 5. Is r(27) prime?
True
Let c(y) = -11*y + 12. Is c(-7) prime?
True
Let x be (4/(-5))/(1/(-5)). Is 3 - (x + -1 + -143) composite?
True
Let h = -309 + 520. Is h a composite number?
False
Suppose 8*m - 3*m = 95. Suppose -m = -5*n + 61. Suppose 3*x = 3*y - 4 + n, -4*y - 4 = -x. Is x a composite number?
True
Let q = -66 + 88. Is q a composite number?
True
Let z be 1 + 0 + -1 + -26. Let x be -47*(-1 - 0)*1. Let q = x + z. Is q a composite number?
True
Suppose 3*r = -5*g + 17, -4*g + 10 + 11 = -5*r. Let x = -3 - -3. Suppose x = -q - g*q + 565. Is q prime?
True
Suppose y - 4*v = 27, -y + 2*v + 29 = -0*v. Is y composite?
False
Let x be (8/(-20))/((-1)/10). Let u be 16/(-12)*(-6)/x. Suppose 0 = u*w - 0*w - 74. Is w composite?
False
Suppose k + 4*s = -22, -3*k + 5*s + 11 + 8 = 0. Is 162 + -1*(-3 - k) prime?
True
Let x = -3 - -7. Suppose -3*v - x*w = -2*w - 1243, 0 = 