Suppose -7*z + 3*z = -i. Is z prime?
True
Let d(m) = -m**3 + 3*m**2 + 7*m - 4. Let r(l) = 2*l + 2. Let w be r(-2). Let f(q) = q**3 + q**2 + 1. Let s(h) = w*f(h) - d(h). Is s(-5) a composite number?
False
Let y(d) = -d**3 + 7*d**2 + 10*d - 6. Let v be y(8). Suppose -s + 55 = 3*h + h, -s = -5*h - v. Is s composite?
True
Suppose 20 = 2*p + 2. Suppose g = -5*h + 63, p*g = 3*h + 4*g - 49. Is h a composite number?
False
Let o = 8 + -5. Suppose r = -0*n + n - 19, 103 = 5*n - o*r. Is n prime?
True
Suppose 0 = -3*n + 16620 - 1389. Is n prime?
True
Let w(h) = -h + 1. Let r be w(4). Let g = -3 - r. Suppose 0 = -4*k + 40 - g. Is k prime?
False
Let q = -143 - -255. Let i be (6/8)/((-7)/q). Is 6/i + (-15)/(-2) prime?
True
Let b be 0 - (-212 + -1 + 1). Suppose -5*c + b = -123. Is c a composite number?
False
Let d be 2 - -3*(-28)/(-6). Suppose -5*w - d + 51 = 0. Is w a composite number?
False
Let g = 7 + -16. Is (g/12 + -1)*-28 a composite number?
True
Let v be (3 - (-62)/6)*3. Is ((-9)/(-6))/(6/v) prime?
False
Let b = 11 + -9. Is 83 + b/((-4)/(-6)) a prime number?
False
Let j(k) = -13*k**3 + k**2 - 6*k + 1. Let t be j(-3). Let x = t + -252. Is x a prime number?
True
Suppose -2*r - 8 = -4*k, -r - 4*r = -3*k - 1. Suppose k*v - 25 = 11. Suppose 5*u - 23 - v = 0. Is u a composite number?
False
Let z(p) = 78*p**3 + p**2. Suppose 0 = n - 1. Is z(n) a prime number?
True
Let d(p) = -p**2 - 4*p. Let n be d(-4). Suppose n = -0*u - 4*u. Suppose u = 5*w - 2*v - 205, 20 = -4*v - 0. Is w composite?
True
Suppose -3*s = 5*t - 298, 5*s = -3*t + 19 + 163. Is t composite?
False
Let w(j) = j - 3. Let z be w(5). Suppose 249 = z*l - 61. Is l a composite number?
True
Is (5*43)/((-7)/(-7)) prime?
False
Let m = -17 - -20. Suppose -m*u = 5*z - 282, 2*z - 12 - 82 = -u. Is u a composite number?
True
Suppose -9164 = -14*t + 2288. Is t a composite number?
True
Let i(u) be the first derivative of 4*u**3/3 + 7*u - 3. Is i(7) a prime number?
False
Let p be (-1 - 5*-83) + 2. Let q = p + -131. Suppose -5*x = -q + 20. Is x a composite number?
False
Let w(m) = m**2 - 7*m - 19. Let h(t) = -4*t - 6. Let a be h(-5). Is w(a) prime?
True
Suppose y = 2*i, -3*y = -2*y + i - 3. Suppose 0 = -y*k + 2*g + 90, 63 = 2*k - 5*g - 21. Is k a prime number?
True
Let n(i) = i**3 - 9*i**2 - 14*i - 2. Let u be n(12). Let x = -171 + u. Is x composite?
True
Let g(j) = -j. Let v be g(-5). Suppose 2*p + 452 = 2*x, 3*p + 114 = -v*x + 1220. Is x composite?
False
Let g(a) = -9*a + 2. Let q(z) = 5*z - 1. Let s(j) = -4*g(j) - 7*q(j). Let u(c) = -c**2 + 5*c + 5. Let f(n) = 4*s(n) - u(n). Is f(7) composite?
True
Let m = -2 - -5. Suppose 0*r + 4*r = -m*k + 16, -3*k + 5*r + 34 = 0. Let p(w) = w + 11. Is p(k) composite?
False
Suppose 5*r + 5*b - 22 = 4*b, -b - 28 = -5*r. Suppose -v + 82 = r. Is v composite?
True
Suppose 14 = c + 5*q, 6 = -3*c + 5*q - 12. Let p(f) = -6*f**3 + 2*f**2 - 1. Is p(c) composite?
False
Suppose 2*g = -5*y + 299, -y - 6*g + 69 = -g. Is y composite?
False
Suppose 0 = -2*f - 2*f + 1564. Is f a composite number?
True
Suppose 2*v - 252 = 5*k, 2*k + 8 = -2*k. Is v prime?
False
Suppose r - 2*i = -4*r - 25, -16 = 3*r - i. Let o = 13 + r. Is (-6)/4*(-268)/o composite?
False
Let w = 10 - 6. Let s(q) = -q + 4. Let z be s(w). Suppose 136 = n + 3*h, z = n - 3*h + 53 - 171. Is n composite?
False
Suppose 0*h - 12 = 2*h. Let j = h + 8. Is j/3 - (-163)/3 prime?
False
Let v(p) = p**2 - p - 7. Let t be 21*-2*(-3)/(-18). Is v(t) prime?
False
Let o(g) = 2 + g - 5 - g**2 + 3*g. Let c be o(2). Is c/(-3) - 498/(-9) a prime number?
False
Let v be (2/(-3))/(8/(-36)). Suppose -w + 2*z = w + 134, -5*w - v*z = 327. Is (w/(-3))/(6/39) a composite number?
True
Let k = -8 + 8. Suppose k = -4*z + 40 - 12. Suppose -z*d + 2*d = -5*m - 2100, 0 = -2*d - 3*m + 835. Is d a prime number?
True
Suppose 70 = -2*o - 3*n, 0*n + n = 4*o + 154. Let m be 426/(-18) - (-2)/(-6). Let y = m - o. Is y a composite number?
True
Let l = 24 - -31. Suppose p - l = 32. Is p a prime number?
False
Let w be (0 - 2)*(-1 + 0). Let h = 2 - w. Is (-106)/((-1 - h) + -1) a composite number?
False
Let y(w) = -21*w + 2. Let q be y(4). Let k be 1/(((-2)/q)/1). Let c = 72 - k. Is c a composite number?
False
Suppose -2*c - 6 = 0, 0 = 2*q + 3*c + 5 - 2. Suppose 4*v + 597 = q*b, v = -2 + 5. Is b prime?
False
Let s = 9 + -10. Is 7/(21/1458) - s a prime number?
True
Let p be (16/(-12))/((-4)/(-18)). Let r = 50 - p. Suppose -k = 3*k - r. Is k composite?
True
Let x be (0 - (-6)/(-7))*-7. Suppose v = 8 - x. Suppose 2 = 2*q + 4, 3*p = v*q + 20. Is p composite?
True
Let f = -3 + 6. Suppose -331 - 1304 = -f*s. Suppose -y = -6*y + s. Is y prime?
True
Let i = 3873 - 1456. Is i a prime number?
True
Suppose 0 = -9*q + 7*q + 4. Suppose 35 = x - 4*l + q*l, 0 = 4*x + 3*l - 118. Is x a prime number?
True
Let t(d) = d**3 - 7*d**2 - 8*d - 3. Let x be t(6). Let z = 0 - x. Is z prime?
False
Let l = 311 + -196. Is l a composite number?
True
Let l(d) = d**2 + 5*d + 4. Suppose 0 = -7*m + 3*m - 2*j - 20, m + 4*j + 12 = 0. Let z be l(m). Suppose -2*g + 215 - 51 = z. Is g a composite number?
True
Let t = -99 - -14. Is 4/(4/(-3)) - t composite?
True
Let c = -263 + 732. Is c composite?
True
Let t(a) = a**3 - a**2 + 8*a - 19. Is t(11) a prime number?
True
Let h be (-2)/(-5) - 188/20. Suppose -3*v = -4 - 2. Is (-111)/v*6/h a prime number?
True
Let d = 2 + 3. Suppose -303 = -d*f + 127. Let x = -49 + f. Is x prime?
True
Let c(n) = -63*n - 2. Is c(-7) a prime number?
True
Suppose -b = 19 + 30. Let v = b + 84. Is v prime?
False
Suppose -3*j = -3 - 51. Suppose 3*q + 0*q = j. Is q prime?
False
Let a(q) = 29*q**3 + q + 1. Suppose 22 = 5*u + 3*m, 2*u = 4*m - 8 - 4. Is a(u) composite?
True
Let m(h) = 21*h - 5. Let o be m(7). Let n = -65 + o. Is n composite?
True
Let g = 40 - 19. Suppose -g = 3*x - 3. Is x/(-2) - (-5 - -1) prime?
True
Let v(r) be the second derivative of 11*r**3/2 - 4*r**2 + 5*r. Is v(11) a prime number?
False
Suppose 5*w - 6*w = -2. Suppose -2*m = -0*c - 2*c + 132, w*m = -c - 135. Let h = m - -106. Is h a composite number?
True
Let b(j) = 24*j**3 + j**2 - j + 1. Let l be 3/7 + 55/35. Suppose l*x - 2 + 0 = 0. Is b(x) prime?
False
Suppose 3*z = -x + 113, -3*x + 99 = -2*x - 4*z. Suppose -161 = -2*u + x. Is u a composite number?
True
Is (-1)/(-2)*(94*36 + -2) composite?
True
Let y = -540 - -145. Let f = y + 786. Is f prime?
False
Let m = -257 - -612. Is m composite?
True
Let q = -101 - -318. Is q prime?
False
Suppose 5 = 5*u, -53 = -3*r - 5*u + 909. Is r prime?
False
Suppose -3*m + 4*b - 6 = -4*m, -b = 2*m - 5. Suppose m = 2*z - 4. Is 2/(z/(-231)*-2) composite?
True
Suppose 2*h + 2*h + 4 = 0. Is (-882)/(-7) - h*1 a prime number?
True
Is 8/2 + (754 - 9) prime?
False
Suppose 0 = 5*v + 4*p - 2 - 3, -5*v = 3*p. Is 32 + 1 + v + 1 a prime number?
True
Let b(h) = -h**2 - 3*h**3 + h**2 - 1 + 2*h**3 + 11*h**2 - 8*h. Is b(8) composite?
False
Suppose -5*v = -2*f - 21529, -7 + 1 = -2*f. Is v composite?
True
Let g = 522 + -340. Let w = -105 + g. Is w a prime number?
False
Let j = -24 + 55. Is j a prime number?
True
Is (201/4)/(24/224) a prime number?
False
Let k = -7 + 3. Let x be 12/7 + k/(-14). Suppose 1 = x*g + 5, -5*d - g + 423 = 0. Is d prime?
False
Let g(n) = n**2 + 7*n + 6. Let a be g(-6). Suppose a*q - 2*q = -4. Suppose -5*k + 201 = -q*k. Is k a prime number?
True
Suppose -3*l = -5 - 10. Suppose 0 = -3*c + 2*f + 190, 11*c = 6*c + l*f + 320. Is c prime?
False
Suppose -2*l = 314 - 1752. Is l composite?
False
Is (-101*1)/(1/(-2)) composite?
True
Let m(d) = -3*d - 7. Let g be m(6). Let y be (-61)/((-11)/2 - -5). Let b = y + g. Is b a composite number?
False
Let g = -5 - -5. Suppose -5*v = 5*p + 90 - 400, g = -3*p. Is v prime?
False
Let s(f) = 2*f**3 + f**2 - f + 17. Is s(7) a prime number?
False
Let y = 28 - 31. Is (34/y)/(16/(-72)) prime?
False
Is (2194/(-14))/(-1) + 8/28 a prime number?
True
Suppose b + 17 = -5*a, -4*a = -b - 0*b + 10. Let t(w) = -w**3 - 3*w**2 + 5*w + 2. Let v be t(a). Let g = 23 + v. Is g prime?
False
Let v(u) = -141*u - 3. Is v(-6) a prime number?
False
Let m = -1 + 3. Suppose 0 = -m*h - 0*h + 406. Is h a composite number?
True
Let y(n) = 10*n. Let j be y(-1). Let u be 8436/10 - 4/j. Suppose 3*z + 3*i + u = 5*z, -4*z - 2*i + 1672 = 0. Is z prime?
True
Let g = -68 + 40. Let s = g - -87.