Suppose -z + 9 = 2*z. Suppose z = 2*a - 3. Is o(a) a composite number?
True
Let h = 1297 - 376. Is h composite?
True
Let j = -29 - -21. Let l = j + 100. Suppose 264 = 4*c - l. Is c composite?
False
Suppose -s = -0*s - 283. Suppose 5*k - s = 432. Is k composite?
True
Let k be (24/(-9))/(-4)*3. Is 4/(-6)*(-21)/k a prime number?
True
Let y(q) = -q**3 - 14*q**2 + 8*q - 16. Is y(-15) prime?
True
Let q(m) = -2*m + 13. Let o(r) be the first derivative of -r - 2. Let a(g) = -6*o(g) - q(g). Is a(7) a prime number?
True
Suppose -g + 242 + 978 = 0. Suppose 0*m + g = 4*m. Is m prime?
False
Suppose -j + 2 = -0*j. Suppose 0 = 3*c + 2*y - 169, j = -2*y + 12. Is c a prime number?
True
Suppose -5*f - 75 = -0*f. Suppose -3*o + 130 = 2*o. Let s = f + o. Is s a prime number?
True
Let z(u) = -u**2 + 1. Let t be z(1). Let j be 1*6 - (t - -1). Suppose 104 = 4*y - 2*q - 54, 2*y - 99 = j*q. Is y a composite number?
False
Is (-9)/15 + 16/10 + 9 prime?
False
Let z(v) = -5*v. Is z(-3) a prime number?
False
Suppose 0*i = i - 5*o - 22, 4*i + 5*o = -12. Let j be (23/2 - i)*-6. Is -2 - 0 - (j + 2) a prime number?
True
Let q = 49 + -31. Let g = q + -13. Suppose -2*v + 5*l = -107, g*v - 2*l - 88 - 148 = 0. Is v a composite number?
True
Suppose -v - 5*g + 19 = 4, 4*v + 2*g - 24 = 0. Suppose -5*q = -2*u + 1114, -3116 = -v*u + 2*q - 373. Is u a composite number?
False
Is (-5)/(1 - 0 - (-88)/(-77)) a prime number?
False
Suppose -t = -2*c - 0*t + 745, 3*c = t + 1120. Suppose 1133 - c = 2*p. Is p a prime number?
True
Is 142/4 + (-2)/4 a composite number?
True
Let h = -145 + 426. Let q = h - 136. Is q prime?
False
Let u be 3/(9/15) + -3. Is (u/4)/(4/440) prime?
False
Is (-1 + 2 - 2)/((-6)/4044) prime?
False
Let q(h) = -h + 6. Let d be q(0). Let a = 49 + d. Let c = 0 + a. Is c a composite number?
True
Let v = 73 + 6. Is v prime?
True
Let a = 365 + -70. Is a prime?
False
Let q = -537 + 1001. Let n = 731 - q. Is n/6*1*2 composite?
False
Suppose -2*r + 3*w = 19, -27 = 3*r + w - 5*w. Let n = 18 + r. Is n composite?
False
Suppose -f - u = -0*u - 92, -104 = -f - 5*u. Is f a prime number?
True
Let a = -4 + 9. Suppose a*b - 31 = 164. Is b a prime number?
False
Let p(o) = 4*o**2 + 9*o + 6. Is p(9) prime?
False
Let i = -12 + 91. Is i a prime number?
True
Let w(d) = 31*d**3 + d + 1. Let j be w(-1). Let g = j + 66. Is g a prime number?
False
Let g be (2/1)/(6/9). Suppose 0 = 3*f - 5*f, -3*f + g = 3*w. Let o(l) = 114*l**3 + l. Is o(w) prime?
False
Suppose -g - 3 + 17 = -k, 5*g - 3*k = 64. Is (-1 + 2*10)*g prime?
False
Suppose -3*p + 3*l = -12, -3*l - 2 = 4*p - 5*p. Suppose -p*x + 4*w = 8*w - 283, 0 = -3*x - 4*w + 165. Is x prime?
True
Suppose 0*a + 1 = -a, 3 = -w + a. Is w/18 - 562/(-18) a prime number?
True
Let b(p) = 2*p**2 + 4*p - 1. Let x = -4 - -4. Suppose x*j - 16 = 4*d - 5*j, -3*d - 4*j - 12 = 0. Is b(d) composite?
True
Let f = -40 - -114. Let j = f + 41. Is j a prime number?
False
Suppose l + 5*f - 217 = f, 5*l - 4*f - 1205 = 0. Let g = l + -136. Suppose -w + 38 = -3*q, 43 = 4*w - 4*q - g. Is w prime?
False
Suppose -4*t = -t + 6735. Is (-6)/(-8) - t/20 composite?
False
Let s(k) = -49*k. Let w be s(-1). Suppose 0 = 3*x + 1 + 5. Let z = x + w. Is z prime?
True
Suppose 0 = v - 2460 - 581. Is v composite?
False
Let h be ((-28)/35)/((-4)/(-10)). Let y(d) = -2*d**3 + d**2 + 2*d + 3. Is y(h) a composite number?
False
Let z = -71 - -142. Suppose -z + 579 = 4*q. Is q prime?
True
Let m = 11 - 6. Suppose m*q - 7 + 27 = 0. Is 393/9 - q/(-6) composite?
False
Let u(q) = 2*q**3 + q**2. Suppose 2*g - 1 - 1 = 0. Let y be u(g). Suppose -y*f = -10 - 8. Is f prime?
False
Let i(c) = c**3 - 5*c**2 - 4*c - 7. Let s be i(6). Suppose 4*g + 48 = 5*g + s*j, -j = g - 52. Is g composite?
False
Suppose 5*p = -4*p + 10467. Is p prime?
True
Suppose 3*a + 43 = 268. Let c = -79 + 35. Let r = a + c. Is r prime?
True
Let g(q) = 44*q - 13. Is g(3) prime?
False
Let t = 222 + -151. Is t composite?
False
Suppose -56*i + 58*i = 2006. Is i composite?
True
Suppose -4*h - 72 = -7*h. Let r(j) = j**3 + j + 63. Let n be r(0). Let i = n - h. Is i a prime number?
False
Suppose -5*w - q - 2*q + 935 = 0, -2*w - 5*q + 374 = 0. Is w composite?
True
Let g(c) = 12*c - 7. Let m(h) = 3*h**2 - h**3 + 2*h**2 + h + 0*h**2. Let b be m(5). Is g(b) prime?
True
Let m(h) be the first derivative of h**5/20 + h**4/2 - 3*h**3/2 + 9*h**2/2 + 2*h + 1. Let p(w) be the first derivative of m(w). Is p(-7) a prime number?
True
Suppose -390 - 19 = -p. Is p prime?
True
Suppose r - 2*h = -2*r + 1943, 0 = -5*r + 2*h + 3237. Is r prime?
True
Is (-3 - (-286)/(-4))*-6 prime?
False
Let k be (2/(-4))/(5/(-120)). Let y be -339*(1 + k/(-9)). Suppose 0 = 3*g + 2*p - y, 2*g - p = 59 + 21. Is g a composite number?
True
Let v = 11 - 6. Suppose 0 = -4*u + u + 4*x + 21, 0 = -v*u - 3*x + 64. Is u a composite number?
False
Let x(j) = 2*j**2 - 2*j + 86. Let w(q) = -3*q**2 + 3*q - 173. Let l = -3 - 2. Let h(n) = l*x(n) - 3*w(n). Is h(0) prime?
True
Let s be -2 + 0 + 4 + -3. Let u be 10/(s - (-45)/39). Suppose -35 = -4*l + u. Is l prime?
False
Suppose j + 4*a = 121, j - 2*a = 6*j - 569. Suppose -4*y = 4*x - 103 - j, 2*y + 4*x = 114. Is y composite?
True
Suppose -2*t + 214 = -4*u, -2*u - 101 = -t + 2*u. Is t a prime number?
True
Suppose 0 = 4*n - 9*n + 30. Let w(j) be the first derivative of j**3/3 - j**2/2 + 5*j + 2. Is w(n) a composite number?
True
Let h(d) = 4*d + 3 + d + 105*d**2 - 3*d. Is h(-2) composite?
False
Let l be 4/18 - 223/(-9). Let o be l/15*(0 + 3). Suppose 0 = -o*v + 14 + 171. Is v prime?
True
Suppose -3*s + 0*s + 3 = 0. Let w(b) be the second derivative of 15*b**3 - b**2/2 - b. Is w(s) prime?
True
Is (-12)/(-24) + (-1514)/(-4) prime?
True
Let k be (3 - 669/9)*-3. Let s = k - 81. Is s prime?
False
Let l = 8 - 5. Is 1*((256 - 2) + l) a composite number?
False
Let v(d) = -5*d + 0 + 14*d + 10 + 6*d. Let i(c) = c**3 + 6*c**2 - 2*c - 3. Let a be i(-6). Is v(a) composite?
True
Suppose -w - 4 = -26. Is w prime?
False
Suppose -2*m - 20 = 3*m. Let c be (20 - -1)/(m/(-8)). Suppose -44 = -2*l - 4*x, 4*x + 68 = 5*l - c. Is l a prime number?
False
Suppose -2*r = -a - 2*a + 1267, 2*a - 2*r - 848 = 0. Is a a composite number?
False
Let v(i) = -49*i - 9. Is v(-2) a prime number?
True
Let o = 175 - 37. Suppose -2*c = 22 - o. Is c composite?
True
Suppose -2*y = -8, 4*f - 2*y = 3*f - 189. Let x = f - -258. Is x a composite number?
True
Suppose -2*b - 180 = 242. Suppose 0 = -0*x - 3*x + 3. Is x/4 - b/4 a prime number?
True
Let d(s) = -4*s - 1 + 2*s + 0*s + 4*s**2 - 2*s. Is d(3) composite?
False
Let q(y) = y**2 + 44. Let p be q(0). Suppose -5*n - 2*u + 83 = 196, 2*u = 2*n + 48. Let t = n + p. Is t a prime number?
False
Suppose 0 = 2*l - 4. Suppose 2*k = 2*q + 4, 3*k - 1 = 2*q + 8. Suppose 3*a - k*i = 98, l*a + 3*a - 4*i - 159 = 0. Is a a prime number?
True
Suppose n = 6 - 3. Let y = -2 + n. Let d = y - -14. Is d a composite number?
True
Let b(i) = 4*i**2 - 3*i + 4. Let x(n) = n**3 - 7*n**2 + 7*n - 3. Let f be x(6). Is b(f) prime?
True
Suppose 0*u - 30 = -5*u. Let q be -1 + (u/(-3) - -7). Let n = q + 17. Is n a composite number?
True
Let i be (-3)/(-15) + (-3056)/5. Is i/(-7) + 6/(-21) prime?
False
Let k = 2 - 3. Let u be (k + (-1 - -3))*3. Suppose u*f - 10 = 17. Is f a composite number?
True
Suppose 0 = 4*g - 12, 0 = -4*d + 3*g + 9 + 10. Let x(b) = 3*b**2 + 12. Is x(d) prime?
False
Suppose -4*d + 1 = 9. Is (-13 - -3)*59/d prime?
False
Let o be 21/5 - (-2)/(-10). Suppose 34 + 6 = o*q. Let v = 171 - q. Is v prime?
False
Let u = 14 + -9. Let q(m) = 3*m**3 - 2*m**2 - 4*m - 4. Is q(u) a prime number?
False
Let d(g) = 32*g**2 - g. Is d(-1) a composite number?
True
Is (-6)/(-1)*((-837)/(-6) - -1) composite?
True
Let z(j) = j + 1. Let y be z(1). Suppose 2*f - 5*f = -5*u - 34, -2*u = -y. Is f prime?
True
Let o be (-78)/30 - 4/10. Let v(h) = 2*h - 4. Let p be v(o). Let f = 25 + p. Is f a composite number?
True
Let b(d) = -d**2 + 59. Let w = -4 + 4. Is b(w) a prime number?
True
Let x be 4/(-10) + (-12)/(-5). Suppose -5*m = 3*k - k - 294, -x*m - 5*k + 126 = 0. Is m a composite number?
True
Let a(u) = -31*u. Let w be a(2). Let j = w + 119. Is j a composite number?
True
Let b(f) = -389*f + 26. Is b(-3) a prime number?
True
Let s(l) = l**2 + l - 3. Let f be -1*(0 + -1)*0. Let b be s(f). Let t(u) = -4