 1. Let k(m) = m + 5. Let g be k(0). Let q = g - 9. Is d(q) a prime number?
True
Let n(s) = -9*s + 5. Suppose 0 = 5*t - 2*v + 42, 2*t - v = -2*v - 15. Is n(t) a prime number?
False
Suppose -p = -2*b + 14, -4*p - 9 = -b + 12. Suppose -72 = -4*c - 2*d + 560, -5*c = b*d - 785. Is c prime?
False
Let h(a) be the first derivative of 1/3*a**3 + 2 + 15*a + 1/4*a**4 + 0*a**2. Is h(0) a composite number?
True
Let c(x) = -x**3 + 4*x**2 + 2*x - 3. Let m be c(4). Is 413/m - (-10)/25 a composite number?
False
Let r = 4 + -8. Suppose x - 5*a - 1 = 0, 0 = -3*x + 2*a - 0*a - 10. Is r/(x/15) + -1 a prime number?
False
Let t = 15 + -35. Let b = t - -39. Is b composite?
False
Suppose 8*r = 3*r + 355. Suppose r + 437 = 4*h. Is h a prime number?
True
Suppose -199 = -2*p - c, p + 82 = 2*p - 3*c. Is p prime?
True
Suppose 4*u = -4*x - 0*u - 4, -29 = -3*x + 5*u. Suppose 0 = -k + x*y + 166, -4*k - 3*y + 89 = -530. Is k prime?
True
Let o = -16 + 16. Suppose -2*b + 7*b - v = 4449, -3*b + 3*v + 2679 = o. Is b composite?
True
Suppose -4*t = -25 - 55. Let b = t + 165. Suppose 4*k = 9*k - b. Is k composite?
False
Suppose 2*r + d = 4*d + 18, 2*r + d = 10. Is (-2)/3 - (-898)/r composite?
False
Suppose 5725 = 3*g + s, s - 5131 = -2*g - 1313. Is g a composite number?
False
Let u = 242 + -90. Let z = u - -683. Is z composite?
True
Is (-12)/30 + 637/5 prime?
True
Suppose 0*d = -2*d. Let c(w) = 1 + 11*w + 54*w**2 + d - 11*w. Is c(2) composite?
True
Let t(f) = -2*f + 79. Let w = -10 - -10. Is t(w) a prime number?
True
Let q(c) = -3*c**3 + c. Let g be q(-1). Suppose g*w + 110 = 7*w. Is w composite?
True
Let v = -10 + 15. Let g(d) = 27*d - 2. Let s be g(v). Let z = s - 95. Is z composite?
True
Suppose 6807 - 389 = 2*g. Is g a prime number?
True
Suppose -2*l - 157 + 731 = 0. Is l composite?
True
Is 1 - (2 + -3 + -677) composite?
True
Let j be 1 - 10/(-2)*2. Let g = j + -11. Is -1 - (-122 + (2 - g)) a prime number?
False
Let b(q) = 2*q**2 - 5. Is b(-3) a prime number?
True
Let d be 315/(-4) - (-2)/(-8). Let b = d + 118. Is b prime?
False
Let z(a) = -2 - 2 + a**3 + 6*a**2 + 0. Is z(-5) prime?
False
Let g(f) be the third derivative of 1/60*f**5 + 0*f - 1/6*f**4 + 0 - f**2 - 1/6*f**3. Is g(-6) a composite number?
False
Let h(f) = 133*f + 9. Let x be h(8). Let u = -708 + x. Is u prime?
False
Let u(b) = -b + 9. Let w be u(7). Suppose 2*o = w*q + 82, -4*q - 4*o = -2*o + 134. Let y = q + 57. Is y composite?
True
Let s(y) = 435*y**2 - y. Let c be s(-1). Suppose q + 3*q - c = 0. Is q a composite number?
False
Suppose 5*b + 5*y - 495 = 0, 2*b - 5*y = -3*b + 525. Suppose -3*p + 3*k = -42 - 279, p + 4*k - b = 0. Is p prime?
False
Let z(v) = 2*v - 5. Let c be z(4). Let j = 1 + 3. Suppose -c*k - 10 = -j*k. Is k a prime number?
False
Suppose -3*y = k + 2, -y = -k + 2 + 4. Suppose k*x - 94 = 78. Is x a prime number?
True
Let i = 241 + 1120. Is i composite?
False
Let l(i) be the second derivative of -i**5/10 - i**4/2 + 2*i**3/3 + 5*i**2/2 + i. Is l(-5) a composite number?
True
Is 1/5 - 15156/(-20) a prime number?
False
Suppose 0*a = -2*a + 586. Is a a prime number?
True
Let i(k) = 8*k - 11. Is i(11) composite?
True
Let m = 591 + -68. Is m composite?
False
Suppose 4*b = -2*i + 42, 3*b + 52 - 17 = 2*i. Let g = i - 30. Let c = g - -18. Is c prime?
True
Let c be (-2)/(-1) + (49 - 0). Let o = c + -98. Is 1 - (o - 6/(-3)) composite?
True
Is (-4 - -3)*(-982)/2 a prime number?
True
Is ((-66)/(-9))/(10/645) a prime number?
False
Let a(l) = -l**3 + 10*l**2 + 6*l + 1. Is a(6) prime?
True
Let p = -47 - -838. Is p composite?
True
Suppose -5*u + 4*u - 1 = 0. Let g = 12 + u. Is g composite?
False
Let y = -97 - -159. Is y composite?
True
Let r(j) = 2*j - 25. Let l be r(15). Let i(s) = -s**2 + 13*s - 6. Let n be i(6). Suppose 14 + n = l*d. Is d prime?
False
Suppose 2*q = 12*q - 5050. Is q a prime number?
False
Let s(i) = -i**2 + 15*i - 5. Let o be s(4). Let c = o + 12. Is c composite?
True
Let d(n) be the third derivative of -n**4/3 - 7*n**3/6 + 2*n**2. Let x be (-6)/(-30) + (-36)/5. Is d(x) composite?
True
Suppose 0 = a - 4*w - 3, 4*a - w - 12 = 0. Suppose z = -b + 83, a*z + b - 96 = 157. Is z a composite number?
True
Let b(g) = -14*g**3 + 2*g**2 + 2*g + 1. Let p be b(-3). Suppose -2*d + p = -d. Is d prime?
False
Let d(m) = -m**2 + 11*m - 10. Let v be d(10). Suppose k + 5*y - 72 = v, 0*k - 5*y = 5*k - 380. Is k composite?
True
Suppose 1 + 1 = h. Is 3 - (h + -76 + -2) a prime number?
True
Let c = -6 + 6. Suppose 4*z + 3*u - 73 = c, 2*z - 9 - 50 = 3*u. Is z composite?
True
Let f = 500 + -279. Is f a composite number?
True
Let r(a) = -290*a - 11. Is r(-7) a prime number?
False
Suppose 3*b + 0*p - 3*p = 282, -5*p + 500 = 5*b. Suppose 13 - b = -4*o. Is o prime?
False
Let q = -2383 + 3432. Is q a prime number?
True
Suppose 5*s - z + 1065 = 0, 4*z - 1065 = 5*s - 0*s. Let k = s + 328. Is k composite?
True
Let i(l) = 475*l - 1. Let a be i(4). Is (2/(-3))/((-6)/a) a prime number?
True
Suppose -3*o + 114 + 321 = 0. Let c = 212 - o. Is c a composite number?
False
Let k = -50 + 777. Is k prime?
True
Let y(v) = 168*v + 1. Is y(4) a composite number?
False
Suppose -4*z + 7 + 193 = 0. Suppose 5*t + 0*t = 5*w + z, 3*w + 5 = -2*t. Suppose -t*h + 137 = -128. Is h a prime number?
True
Suppose 0*v - 4*v - 20 = 0, 5*v + 19 = -2*u. Suppose -2*i - 5*l + 158 = -219, i - u*l - 194 = 0. Is i a composite number?
False
Let x be 3/(-1) - (-14)/2. Suppose 3*w = x*w. Suppose w = y + 4*s - s - 36, 4*s = y - 1. Is y a prime number?
False
Suppose -a - 4*x = -7*x - 4, 4*x + 9 = 5*a. Is 2 - (a - 0)*-47 a composite number?
True
Let q be 4 + (-3)/(0 - -3). Suppose -q*g + 148 = -335. Is g a prime number?
False
Let s = -101 - -160. Is s prime?
True
Let q be (6 - 2) + -2 + 2. Suppose q*c = -2*s + 54, 3*s = 6*s - 4*c - 41. Is s a prime number?
True
Suppose b - 1062 = 7*i - 8*i, 2*i = -10. Is b prime?
False
Let o(v) = -v**3 + 7*v**2 - 4*v - 8. Let n be o(6). Suppose 0*i = -n*i + 40. Is i a prime number?
False
Let f = -64 + 269. Is f a prime number?
False
Let p be (12/18)/(2/18). Let n(c) = 19*c**2 - 6*c - 13. Is n(p) a composite number?
True
Let j(v) = v**2 - 5*v - 4. Let n be j(6). Suppose -3*h + 2*h = -n*z - 27, -3*h - 4*z = -101. Is h prime?
True
Let p(a) = 5*a**2 + 2*a + 3. Is p(-2) prime?
True
Let u(d) = -2*d**3 + 2*d**2 - 12*d + 13. Is u(-10) a composite number?
False
Suppose -9*t - 472 = -17*t. Is t a composite number?
False
Suppose 3*m - 3*z - 678 = 0, -m - 6*z + 2*z = -246. Suppose -3*c + m = -631. Is c a prime number?
False
Suppose -3*d + 3*g = -690, -5*g = -d - g + 215. Is d composite?
True
Is 3*(-4 - 139/(-3)) composite?
False
Let z = 231 - 122. Is z a composite number?
False
Let k(u) = 10*u - 3. Let i be k(-9). Let w = 160 + i. Is w prime?
True
Let d = -264 - -429. Is 30/d - 1822/(-22) a prime number?
True
Let n(m) = -6*m + 1. Suppose 4*h = 3*a - 29, 0 = -3*h + 3*a - 12 - 12. Is n(h) prime?
True
Let u = -365 + 519. Suppose -c = c - u. Is c composite?
True
Suppose 0 = -0*x - x - 2. Let y be (x/6)/((-6)/36). Suppose -y*z + 345 = 3*z. Is z composite?
True
Suppose 0 = -j + u + 6, -3*u - u = 16. Suppose -4*i + 5*r + 5 = 0, -3*i = -5*i + 4*r + 4. Suppose j*w + i*w = -10, 3*m - 4*w - 119 = 0. Is m a composite number?
True
Let j(t) = -69*t + 5. Is j(-6) composite?
False
Suppose -4*g + 3*q + 3673 + 1030 = 0, -2334 = -2*g - 2*q. Suppose g = 5*c - c. Is c composite?
False
Suppose 0 = -2*m - 3*x - 1176, 4*m + 0*x = 3*x - 2370. Let q = -1123 - m. Is q/(-6) + (-3)/(-9) prime?
True
Suppose 0 = -3*s + 94 + 65. Is s a prime number?
True
Is (-18846)/(-24) + (-1)/4 prime?
False
Let h = 9 - -5. Let a = h + 8. Is a composite?
True
Suppose 0 = 4*z + z - 20. Suppose -j - 35 = z*j. Let k(a) = -a**3 - 5*a**2 + 7*a - 3. Is k(j) a prime number?
False
Let b(u) = u**3 - 6*u**2 + u - 2. Let q be b(6). Suppose q*k = k + 99. Is k composite?
True
Let w(b) = 2*b - 7. Let m be w(5). Suppose 0 = m*h - 2*h - 53. Is h composite?
False
Let c(q) = 88*q**2 - 2*q - 1. Is c(-1) composite?
False
Suppose 5*q - u = -8, -2*q + 2*u = 4*u + 8. Let i be (-1)/2*q*137. Suppose -5*o + 596 = m + i, -2*o + 5*m = -162. Is o composite?
True
Suppose -r = -3*r + 6. Let k = r + -2. Is (k*10)/(6/57) prime?
False
Let o(c) = c**2 + 15*c + 20. Is o(-18) a prime number?
False
Let k be 8/20 - 4/10. Is (-1 - -1