-22 + 2. Suppose -47 = x*k - 2*f - 243, 4*f = 4*k - 196. Is k a prime number?
False
Let q(i) = -2*i + 5. Let l(g) = 3*g - 11. Let n(h) = 3*l(h) + 5*q(h). Let b be n(-6). Let d(f) = 12*f**2 - 3*f - 3. Is d(b) a composite number?
True
Suppose -54*c = -48*c - 1554. Is c a prime number?
False
Suppose -4*z + 2655 = 707. Is z a prime number?
True
Let p(i) = 4*i**2 + 4*i - 3. Let t be p(-7). Let m(w) = -w**3 + w**2. Let k be m(0). Suppose k*l - t = -5*l. Is l prime?
False
Suppose -2*a - 2*c = -3*a + 4, a + 4*c + 20 = 0. Suppose 3*l - 5*v = -230, -2*l - 4*v - 38 - 130 = 0. Is l/(-6) - a/6 a composite number?
True
Let i(w) = w**3 + 37*w**2 + 61*w - 25. Is i(-22) composite?
True
Suppose 0*c + c - 2 = 0, 0 = 4*g + 2*c - 1016. Is g prime?
False
Let t be (2/2)/(1/(-1)). Is t - ((-4 - -1) + -17) prime?
True
Suppose -2*a - 6 = -4*a. Suppose 0 = -a*v + 4*c + 196, -v - 3*c + 74 = -0*v. Suppose -1 = y - v. Is y composite?
False
Suppose 2*c - 4*c = 4*d - 966, -5*d + 2420 = 5*c. Is c a composite number?
True
Suppose -2*n = -2*m - 1976, -n + 3*m + 0*m + 986 = 0. Is n prime?
False
Let n(z) = -z**3 - 3*z**2 + 2*z - 2. Let t be n(-4). Suppose t*l - 316 = 2*l. Is l prime?
True
Suppose 3*v - 5 - 1 = 0. Suppose 0 = -0*l - v*l + 110. Is l prime?
False
Suppose 514 = 2*j + 5*m - 2*m, 5*j - m - 1251 = 0. Is j a prime number?
True
Let j(c) = -c**2 - 8*c + 2. Suppose 4*v + 4 = -0, -5*u + 3 = 2*v. Suppose -w = u + 5. Is j(w) a prime number?
False
Suppose -6*g - 212 = 4*f - g, -f + 5*g - 78 = 0. Let y be f/4*2*-3. Let j = y + -50. Is j a composite number?
False
Let b(r) = -r - 2. Let z be b(-2). Suppose -15 = -z*m - m. Suppose 4*d + m = 55. Is d a composite number?
True
Let a be (-8272)/(-36) - (-4)/18. Suppose 5*u = 5*p + 2*u - 230, 2*u - a = -5*p. Is p composite?
True
Is ((-33)/30*-5)/(1/74) a prime number?
False
Let p be 1 - (2 - (-93)/(-1)). Let m = -38 + p. Suppose 4*f = 3*v + m, -3*f - v + 4*v = -39. Is f composite?
True
Let k(y) = -1. Let t(s) = s + 6. Let a(v) = -2*k(v) + t(v). Let o be a(-8). Suppose o = 5*r + 101 - 256. Is r a prime number?
True
Is (2 + (-880)/(-6))*3 a composite number?
True
Let s(o) be the second derivative of -o**5/2 + o**4/12 - o**2/2 + 2*o. Is s(-2) prime?
True
Let k(l) = -l**3 + 18*l**2 - 5*l + 7. Is k(9) composite?
False
Suppose -5*g - 60 = -g. Let c be (11 - 1)*(-18)/g. Suppose c = f - 19. Is f a prime number?
True
Let n(u) = -u**2 + 8*u - 7. Let q be n(6). Suppose 5*j + 11 - 31 = 0. Suppose -2 = -o - j, -q*z + 99 = 3*o. Is z a composite number?
True
Suppose 0*a + a = 634. Is a a composite number?
True
Let x(g) = -258*g - 31. Is x(-5) prime?
True
Suppose 0*d - 4*d = -3*j - 19405, 4*d = 4*j + 19400. Is d composite?
True
Let x(d) = -2*d - 5. Let m be x(-5). Suppose -4*p = -m*k - 2818, 0 = -5*p - 5*k + 3113 + 432. Is p a composite number?
True
Let y(h) = h**2 + 12*h + 10. Let w be y(-11). Is (21/6)/(w/(-274)) composite?
True
Let r = 368 - 142. Suppose j - r = -4*j + 4*u, -93 = -2*j - u. Is j composite?
True
Let q(g) = -g**2 + 2*g - g - g**2 + 1. Let n be q(-3). Is (-2)/(-8) - 675/n prime?
False
Let l = 440 + 57. Is l prime?
False
Let q = 10991 + -6288. Is q a prime number?
True
Suppose 21 = -r + 166. Is r prime?
False
Suppose -4*a + 0*a + 303 = z, 5*z - 1431 = a. Is z a composite number?
True
Let x be -1 - 10/(-4)*34. Let q be (-6)/(-8) + (-6)/8. Suppose -2*j = 4*u - x, q*j - 3*j = 4*u - 122. Is j prime?
False
Let h(c) = -431*c. Let r be h(1). Let k be r/(-3) + 2/(-3). Let g = k - -6. Is g composite?
False
Let w(b) = 8 - 5 - b + 0*b. Let s be w(3). Suppose -5*a + 3*x + 30 = s, 2*a + 5*x - 29 = 14. Is a composite?
True
Let o(m) = 4*m**2 - 4*m - 3. Is o(-4) prime?
False
Let t(r) = r**3 - 4*r**2 + 3*r + 3. Let y be t(3). Suppose -2*u + 25 + 102 = -y*k, -5*u + 320 = -5*k. Is u prime?
False
Suppose -c + 5*c = 20. Suppose -5*f - m = -3*m - 299, 10 = -c*m. Is f prime?
True
Is (-807)/3*11*(2 + -3) prime?
False
Suppose -3*x + 1192 = x. Is x a composite number?
True
Is (2 - -724 - 0) + -3 a prime number?
False
Let d = -1 - -6. Let n be 8 - (3/1 - -1). Suppose -i - 3*k = -13, -5*i + d*k + n = -21. Is i a prime number?
True
Suppose -3*a + 1329 = -0*a. Is a composite?
False
Let u(d) be the second derivative of d**4/12 + 5*d**3/6 - 11*d**2/2 - d. Is u(-9) a composite number?
True
Let n(d) = d**3 - 4*d**2 + 2*d + 2. Let v be n(2). Let w(q) = -19*q**3 - 2*q - 1. Is w(v) composite?
True
Suppose -69 - 11 = -2*z. Let g be (48 - 2)/(-2) - -2. Let s = z + g. Is s prime?
True
Let u(b) = -7*b**2 - 3*b + 12. Let w(a) = 6*a**2 + 2*a - 11. Let r(z) = 5*u(z) + 6*w(z). Is r(-8) composite?
True
Suppose 0 = 3*k - 2 + 8. Let l(p) = -21*p**3 - 4*p**2 - 4*p - 3. Is l(k) prime?
True
Suppose 22 = 4*w - 2. Suppose -2*p = -3*s + 2*s - w, 4*s + 33 = -p. Is 206/14 - s/28 prime?
False
Let n(h) = h**2 - 3*h + 3. Let s be n(2). Let k(c) = s - 2*c - 5*c**2 - c - 4*c**3 + 3*c**3. Is k(-6) a composite number?
True
Let a(o) = 77*o - 2. Suppose -5*z + 2*z - 18 = 4*c, 7 = -c - 2*z. Let h be a(c). Let p = h - -360. Is p composite?
False
Let f = 1 - -2. Suppose -f*y = y - 76. Suppose -4*c = -3*c - y. Is c a composite number?
False
Let p be (-6)/5*(-1260)/24. Let c = 134 - p. Is c a composite number?
False
Let v = -6 - -3. Let l be (-4)/6 + 208/6. Is v/(-9)*0 + l a composite number?
True
Is ((-4)/6)/(2/(-1185)) composite?
True
Let k(s) = s**3 + 8*s**2 + 6*s + 5. Let y be k(-9). Let o = y - -219. Is o composite?
False
Let p(n) = 3*n**3 + 5*n**2 - 4*n - 5. Let h be p(-4). Let m = h + 214. Is m a prime number?
True
Let i(h) = -2*h**3 + 4*h**2 - 4*h + 2. Let l be i(2). Let j = 9 - l. Suppose 5*c + x - 3*x = 41, -j = 5*x. Is c prime?
True
Suppose -3*n + 1804 + 299 = 0. Is n prime?
True
Let k = -147 + 982. Is k composite?
True
Suppose -v = -78 - 123. Let i = 372 - v. Let u = -120 + i. Is u prime?
False
Let p(l) = 3*l**2 - 2*l - 1. Let i be p(-1). Suppose -4*b + 4 + 23 = s, -2*s - b = -19. Suppose -h + s = -i. Is h prime?
True
Suppose -3*w - 3*i = i - 1265, -4 = -2*i. Is w composite?
False
Is 1/(-3) - (-6366)/9 prime?
False
Suppose 1218 = 6*p - 3*p - 2*a, 812 = 2*p - 4*a. Suppose 0*s = 2*s - p. Is s a prime number?
False
Let n(y) = y**2 - 4*y + 3*y - 2 - 2*y. Is n(-4) a composite number?
True
Let m = 16 + -9. Let p = 10 - m. Suppose -150 = -4*d + 2*a + p*a, 4*d = -4*a + 132. Is d composite?
True
Let f be (-3)/(2 + 2/(-2)). Let u(q) = -18*q + 4. Let c(n) = -1. Let v(j) = f*c(j) - u(j). Is v(4) a composite number?
False
Suppose 0 = -13*b + b + 17268. Is b prime?
True
Let w(t) = -144*t + 3. Is w(-4) composite?
True
Let v be (3 + -2)/(2/16). Is (-5)/((v/(-106))/4) composite?
True
Let r be -3 - -3 - (-1 - 1). Suppose b + 28 = 2*p + 5*b, r*p + b = 13. Let x(v) = 2*v**2 - v + 3. Is x(p) a composite number?
False
Let r(y) = -7*y**3 - 2*y**2 - 7*y + 4. Let f(o) = 0*o - 1 + o + 0*o. Let s(l) = 5*f(l) + r(l). Is s(-2) a composite number?
True
Suppose -7 + 29 = 4*c + 3*u, c + 5*u = 14. Let l be ((-2)/c)/((-2)/16). Suppose -l*g + 185 = 5*o - 0*g, 5*o - 185 = -2*g. Is o a composite number?
False
Let c(v) = -v**3 - 2*v + 1. Let q(d) = 2*d + 7. Suppose 2*g - 6 = 3*m + 9, 4*m - 3*g = -20. Let j be q(m). Is c(j) a composite number?
True
Let j be (-147)/(-4) - 4/(-16). Let d = -271 + j. Let a = 331 + d. Is a prime?
True
Let i(s) = 1435*s + 4. Is i(1) prime?
True
Let x = -2 + 5. Let f be 128/6 - x/9. Let u = f - 8. Is u composite?
False
Let s(w) = 300*w - 7. Is s(2) prime?
True
Suppose -2*b - 4 + 8 = 0. Let h(p) = 11*p**2 + 3*p - 3. Is h(b) prime?
True
Suppose 840 = 11*v - 2009. Is v a composite number?
True
Is 4/(((-2)/(-47))/(1 - 0)) a prime number?
False
Let k be 8/5*(-25)/(-10). Suppose -k*o - i + 8 = 0, 5*o + 0*o - 2*i = -3. Let b(q) = 34*q. Is b(o) a prime number?
False
Suppose -7*d + 4 = -3*d. Suppose 3*a + d = 4*a. Is (-184)/(-6) + a/3 a prime number?
True
Let o(r) = -3*r + 13. Let d(h) = -h + 3. Suppose -8*c = -3*c - 45. Let j(i) = c*d(i) - 2*o(i). Is j(-6) a composite number?
False
Let x(m) = -57*m**3 + 3*m**2 + 5*m + 4. Let j be x(-4). Is (-1)/(-3) - j/(-12) composite?
False
Suppose -2*u = -12 - 136. Suppose -2*o - 40 = 2*y, -2*y = -5*y + 4*o - u. Let z = y - -185. Is z prime?
True
Let d(y) be the third derivative of y**4/24 - y**2. Let h be d(1). Is (-1 + 2)/(h/7) a composite number?
False
Let g(d) = -d**2