 = s + 27, 5*q = -3*s - 7. Suppose 3 = i, -99 = -s*a + 3*a + 4*i. Is a a prime number?
True
Let t be (8/(-6))/((-14)/21). Suppose -120 = -t*b + 106. Is b composite?
False
Is (-3)/(-15) - 5858/(-10) prime?
False
Let y be (-2386)/(-3) - (-2)/3. Suppose 2*p + 0*p - y = 0. Suppose -p = -r - r. Is r prime?
True
Let z(a) = 10*a**3 + 4*a**2 - 3*a - 4. Let n be 1*(5 - (2 - 0)). Is z(n) prime?
True
Let a = 89 + 3658. Is a a prime number?
False
Suppose -m - 3*l - 4 = 0, 0 = -5*m - l - 3*l + 13. Suppose -5*j + q + 556 = -1098, -m*q = -5. Is j a composite number?
False
Let d = -28 - 3. Let u = d + 140. Suppose -4*c = 5 - u. Is c composite?
True
Is 1/(3 - 5) + 23429/14 prime?
False
Let x(a) = 5*a**2 - 4*a - 3. Let f(u) = -1 + 0*u - u**2 + 0*u. Let z be f(1). Is x(z) composite?
True
Let y = -8 - -3. Is ((-373)/2)/(y/10) a composite number?
False
Let l = -162 - -1623. Let m = l + -817. Suppose -3*x + m = x. Is x a prime number?
False
Let d be (-34)/(-9) + 10/45. Suppose 1595 = d*l + l. Is l a composite number?
True
Suppose 25 = -5*k, 40 = 4*g - k - 3*k. Let i = g + -5. Suppose i = -0*q - 3*q - 6, -2*q = 2*z - 306. Is z a prime number?
False
Let g(b) = b**3 - b. Let v be g(-2). Let h(k) be the second derivative of k**4/6 - k**3/6 + k**2/2 - k. Is h(v) composite?
False
Suppose 66 = 11*b - 9*b. Is b a composite number?
True
Suppose -d + 737 = -4*m + 223, 3*d - 4*m = 1566. Is d a composite number?
True
Let j(v) = -8*v**3 + 4*v**2 + 1. Is j(-3) a composite number?
True
Is (2/(-4) - -1)/((-3)/(-36)) a composite number?
True
Suppose -4*q = -5*q + 4. Suppose -5*a - 23 = 3*p, 0 = a - 0*a + 1. Is (q + p)*1*-1 a composite number?
False
Let w = -8 + 8. Suppose w = -3*c + 2*c + 57. Suppose 2*k + c = 3*d - k, -86 = -4*d - k. Is d composite?
True
Is 12/(-18)*267/(-2) a composite number?
False
Let q = -2 - 4. Let a(x) = -x**3 - 6*x**2 - 2*x - 7. Let s be a(q). Suppose s = 2*h + p - 16, h + 3*p = 13. Is h composite?
True
Suppose -2*l = -59 - 239. Is l composite?
False
Let o be (1 - (-2)/(-6))*1338. Suppose -28 = t + 6*t. Is t/(-12) + o/6 a composite number?
False
Let m(i) = -i**2 - i - 3. Let s be m(-3). Let v(h) = -h**2 - 14*h - 10. Is v(s) a prime number?
False
Let a(u) = 3*u**2 + 6*u - 9. Let p be a(-7). Suppose 3*b - 171 = 5*z, 4*b + 5*z = -p + 359. Is b a composite number?
True
Suppose 4*x - 2882 - 3954 = 0. Is x composite?
False
Let r = -137 + 196. Is r a composite number?
False
Let l be -1 - (-248 + 1*-2). Suppose -u - l = -3*b, 2*u - 74 = -b + 9. Suppose -3*c = 5*a - b, -4*a + 91 = a + c. Is a prime?
True
Let s(j) = j - 11. Let c be s(16). Suppose -5*u - x = -428, -4*u - 355 = -8*u - c*x. Is u composite?
True
Let a(z) = 10 - z - 5*z + 2*z - 1. Is a(-7) a prime number?
True
Let d(t) = 26*t - 1. Let u be d(2). Suppose 2*g - 349 = -u. Is g a composite number?
False
Let z = -92 + 138. Is z a prime number?
False
Let w be 1 + (62 - (-4 + 2)). Suppose -4*z = -5*z + w. Is z a prime number?
False
Let s = -16 - -1. Let j(b) = b + 28. Is j(s) a composite number?
False
Let k(h) = -4 - 1 + h + 0. Let m be k(5). Suppose m*z + 3*z = 129. Is z prime?
True
Suppose -2*i + 2*w = 3 - 11, 4 = -4*w. Suppose -373 = -i*t + 2*t. Is t a composite number?
False
Suppose 0*l + 3*l - 8 = -2*a, 2*a - 5*l - 8 = 0. Suppose -a*r - 368 = -4*g, -5*r = -4*g + 8*g - 341. Is g a composite number?
False
Let g = -1028 - -2145. Is g prime?
True
Let z(m) = 29*m**2 - 3*m + 1. Is z(3) a composite number?
True
Let u(b) = b**3 - 14*b**2 + 14*b - 8. Let w be u(10). Let z = -191 - w. Is z a composite number?
True
Let y = 2680 - 1827. Is y prime?
True
Suppose 3*i = 99 + 66. Is i a composite number?
True
Is (1 + -14999)/(-5 - -3) a prime number?
True
Suppose -2*k - l = -3374, -3*l + 0*l = -12. Is k a composite number?
True
Suppose -5*p = -845 - 3990. Is p composite?
False
Let n(g) be the first derivative of g**7/840 + 7*g**6/360 + g**5/20 + g**4/12 - 2*g**3/3 + 2. Let i(u) be the third derivative of n(u). Is i(-5) a prime number?
False
Suppose -23 = i - 214. Is i a composite number?
False
Let k = 262 + -141. Is k a prime number?
False
Let r(f) = 3*f**2 - 5*f + 6. Let l be (-2)/4 - (-22)/4. Let u be r(l). Suppose 4*t = 3*i - 43, -u = -4*i + 2*t + 2*t. Is i prime?
True
Let o(h) be the first derivative of h**4 - 2*h**3/3 - h**2 - h - 2. Let m be o(-1). Let k(j) = -9*j - 6. Is k(m) a composite number?
True
Let y(o) = o**2 + 6*o + 9. Is y(4) a prime number?
False
Let h be (-100)/6*3/(-2). Let q = h + -10. Is q a composite number?
True
Suppose 4*h - 230 = -2*x, -4*x - 4*h - 72 + 520 = 0. Is x a composite number?
False
Suppose -290 = -0*f - 2*f. Is f composite?
True
Let u(n) = -n**3 + 5*n**2 - 12*n + 1. Let d(k) = k**3 - 6*k**2 + 13*k - 2. Let o(t) = 4*d(t) + 5*u(t). Let z be o(-7). Is z/4 + (-3)/12 a prime number?
False
Let q(g) = g**2 - 2*g - 4. Let v be q(4). Suppose m + v = -3*m. Is (1/m)/((-1)/67) a prime number?
True
Let w = -88 - -102. Is w a prime number?
False
Let g = 241 - 132. Let f = g - 72. Is f a prime number?
True
Suppose -2*i + 237 = 53. Let f(k) = 21*k + 45. Let y be f(-4). Let x = i + y. Is x composite?
False
Is -1 + 0 - (-2076)/((-9)/(-3)) composite?
False
Suppose 2*c - 4*c + 3*f + 1819 = 0, 5*f = -5*c + 4610. Is c prime?
False
Is -10*(-102)/4 + 4 composite?
True
Let o(a) = 3*a**2 + 2*a - 4. Let w be o(-7). Let g = w - 46. Is g composite?
False
Suppose 2*h = -5*j + 3719, j - 2233 = -2*j - 2*h. Is j composite?
False
Suppose 0*q - 2*q - 430 = 0. Let h = q + 547. Suppose g + h = 5*g. Is g a prime number?
True
Let w(f) = 34*f - 25. Is w(18) composite?
False
Let g(z) = z + 9. Suppose j + 26 = -4*s, -2*j - j + 6 = 0. Is g(s) prime?
True
Let p(g) = -g**2 + 12*g + 7. Let m be p(6). Suppose -r + 3 + 2 = 0. Suppose r*y + 5*z = 72 + m, -2*y - z = -49. Is y a prime number?
False
Let n = 2 + -2. Suppose -z + 6 - 1 = n. Suppose z*g - 237 = 2*g. Is g composite?
False
Is 1/(2*(-3)/(-7602)) a composite number?
True
Let f = 762 - 363. Is f/6 - (-2)/4 a prime number?
True
Suppose 0 = 6*v - 2*v - 1228. Is v a composite number?
False
Is 20/(-30) + (-22)/(-6) a composite number?
False
Suppose 1 = 4*q - 15. Suppose -q*f = -66 - 58. Is f a prime number?
True
Let m = -703 + 3760. Is m prime?
False
Let s(n) = 29*n - 3. Is s(4) composite?
False
Suppose -k = 2*k - 111. Is k composite?
False
Suppose 6*l - l = 15. Suppose l*o + 111 = 6*o. Is o prime?
True
Let x(f) = f**2 + 9*f + 8. Let v be x(-8). Suppose v = 4*d - 792 - 628. Is d a composite number?
True
Let j be (-98)/21*(-180)/14. Is (j - -4) + (-1 - -2) composite?
True
Let c(t) = t**2 - 30. Let r be c(0). Is (-1076)/(-10)*r/(-12) composite?
False
Let j be 39/9 - (-2)/3. Suppose -u + 5579 = j*q, q - 2*q = -2*u - 1118. Suppose 4*d + 464 = q. Is d composite?
False
Let z = -50 + 179. Is z composite?
True
Let z(u) = 2*u**2 + 4*u - 2. Is z(6) composite?
True
Let b = -5 - -5. Suppose b = -p + 2*p - 125. Let o = 240 - p. Is o a prime number?
False
Let k = 73 - 18. Let z(p) = -5*p. Let i be z(-1). Is k - (2 + (3 - i)) composite?
True
Let j(b) = -b**3 + 5*b**2 + 5*b + 2. Let v be j(6). Is (0 + -26)*2/v a prime number?
True
Is (17106/27)/2 + 6/27 composite?
False
Suppose 4*a + 5*w = 3024, -5*a = -4*w - w - 3735. Is a composite?
False
Suppose -3*z + 2*s + 92 = -0*z, z - 9 = 5*s. Let n = z - 15. Is n composite?
False
Let y(d) be the second derivative of d**5/20 + 3*d**4/4 + 3*d**2 - d. Let t be y(-9). Let f(c) = -c**3 + 6*c**2 + 9*c - 1. Is f(t) composite?
False
Suppose -c = 4*c - 1455. Is c composite?
True
Let n = -8 - -5. Let f = 8 + n. Suppose 31 = i - 5*d, 3*d + 111 = f*i - 0*d. Is i composite?
True
Suppose 3*n = 2*n + 149. Is n a prime number?
True
Suppose 4*x - 18 = 2. Suppose 4 - 74 = -x*z. Is z a composite number?
True
Is (2 - (-1 - 0)) + 7714 prime?
True
Let i be (-32)/(-14) - 4/14. Suppose 3*h = -i*m, 3*m + m + 18 = 3*h. Suppose 90 = 8*d - 3*d - 5*g, h*d - g = 37. Is d a prime number?
True
Suppose q + q - 6 = 0. Suppose 2*n - 89 = q*b + 13, -4*b + 204 = 4*n. Let j = n - 16. Is j composite?
True
Let i = 13052 - -2255. Is i composite?
False
Let a = -122 - -343. Is a a composite number?
True
Let r = -5 + 4. Let k = 32 + r. Is k a prime number?
True
Suppose 0 = 10*r - 8*r - 298. Is r composite?
False
Suppose -4*h = 3*v - 6, 3*h = -0*v + 5*v - 10. Suppose -z = -h*z - 85. Is z a prime