Let y be (-3 + 4)/((-2)/12). Is l(y) a prime number?
True
Suppose -4*w - 1724 = -4*h, 0 = -9*h + 4*h + 3*w + 2147. Is h a composite number?
True
Suppose n + 1 = -y - 4*y, -n - 1 = -4*y. Let m be ((-1)/(-2))/(n/164). Is (-3)/12 + m/(-8) composite?
True
Suppose 3*z - 7 = 8. Let r be z - ((-9)/3)/3. Let k(x) = 4*x**2 - 3*x + 7. Is k(r) prime?
False
Let k = -2154 + 5563. Is k composite?
True
Let p = 1021 - 1547. Is (15/(-6))/(1/p) composite?
True
Let a(s) = s**3 - 7*s - 2. Let g be a(-5). Let p = -57 - g. Is p a prime number?
False
Suppose -3*g - g + 28 = 2*c, 5*c - 37 = g. Let v(o) = 8*o + 3. Is v(c) a prime number?
True
Let r(m) = -65*m + 1. Is r(-8) a prime number?
True
Is (3/1)/(21/2317) a composite number?
False
Let f be 2/5*(0 - -5). Is f/2 - 15/(-3) composite?
True
Suppose 2*l - 4*g = -l + 439, -3*g = -6. Is l prime?
True
Suppose 301 = y - 620. Is y a prime number?
False
Suppose i - 2*x - 932 = -3*i, 2*i - 466 = -3*x. Is i a composite number?
False
Suppose 2*f + 3*f = 5. Is 2/f + (-75)/(-1) a composite number?
True
Let z(u) = u**3 + 2*u**2 + 2*u + 1. Let d be z(-1). Suppose 5*v + d*o - 335 = 5*o, 4*o - 122 = -2*v. Is v prime?
False
Suppose d + 4*y + 3 = 0, 0 = d - 4*d + 4*y + 39. Suppose -2*i - 30 = 3*i. Let f = i + d. Is f composite?
False
Suppose 0 = -2*a + 2 + 2, -3*a = 4*k - 22. Suppose -3*l + k + 5 = 0, 2*i - 245 = -l. Is i a composite number?
True
Let a(d) = -4 - 3 + 5 + 5 + 26*d. Is a(8) a prime number?
True
Let f = -583 - -1017. Let g = f + -231. Is g composite?
True
Suppose 0 = 5*y - 866 - 1199. Is y composite?
True
Let w(o) = o**3 - 10*o**2 + 11*o - 10. Let i be w(7). Let d be (-265)/2 + 2/(-4). Let n = i - d. Is n a prime number?
True
Let i = 1 - 100. Let l = i - -154. Is l prime?
False
Suppose 2*q + 3*q = -3*o - 19, 5*q + 2*o = -16. Let f be 15*q/(-6)*-1. Let l(g) = -13*g - 6. Is l(f) prime?
True
Let w = 402 + -103. Is w a composite number?
True
Let v = 74 + -146. Let g = -2 - v. Suppose -4*p = -g - 34. Is p a composite number?
True
Let z = 8451 - 5692. Is z prime?
False
Let f be (984/30)/(2/(-10)). Let p = 273 + f. Is p composite?
False
Let h = 117 - 39. Is 4 - 9*h/(-9) composite?
True
Suppose 0 = -x + 1 + 3. Suppose 93 = -x*r + 377. Is r a composite number?
False
Let d(p) = -p**3 - 9*p**2 - 6*p - 3. Suppose -h + 44 = -3*b, 5*h + b - 92 = 2*h. Suppose 4*i + h = -4. Is d(i) composite?
True
Suppose -5*v + 111 = 5*d + 21, -5*d - 110 = -5*v. Suppose -15 = 3*y - 0*y. Let c = v - y. Is c a prime number?
False
Suppose 2*t = t + f + 3, 0 = -t + 5*f - 1. Let i = -4 + t. Suppose i*r = -5*r + 230. Is r a prime number?
False
Suppose -2*a + 508 = w, -w + 3*w - 1269 = -5*a. Is a prime?
False
Suppose -22*i + 24*i - 838 = 0. Is i a prime number?
True
Let n(a) = a + 4. Let r be n(-7). Let b(p) = 5*p**2 + p - 3. Is b(r) prime?
False
Let i(b) = -b**3 - 16*b**2 - 1. Let w be i(-16). Is (-2 + (-106 - 1))*w a composite number?
False
Let m be (2 - -5) + -4 - 6. Let s(z) = 8*z**2 - 9*z - 6. Is s(m) a prime number?
False
Let y(v) = v**2 + 3*v. Let d be y(-4). Let o(w) = 4*w + 2*w**3 - 1 - 5*w - 3*w**2 + w. Is o(d) composite?
False
Let a(n) = 2*n**3 + 6*n**2 - 6*n - 9. Is a(4) a composite number?
False
Suppose 12 = -n + 5*n. Suppose -915 = -n*z - 2*b - 2*b, 2*b - 909 = -3*z. Is z a prime number?
False
Let g = -8 + 21. Suppose 44 = d - g. Is d prime?
False
Let g(h) = 10*h + 6. Suppose 4*n - c + 0*c - 14 = 0, -4*n - 5*c = -26. Is g(n) prime?
False
Let x(w) = w**3 + 2*w**2 + w + 2. Let v be x(-2). Is 1 - (v - 1*30) a prime number?
True
Let r = 2 - -4. Suppose 8*k - 10*k + r = 0. Is k a composite number?
False
Let a be (-4)/(-8)*-38*-7. Suppose -4*l + a = -2*c + 5, 4*l + c = 122. Is l composite?
False
Suppose -5*c + 82 = -1383. Is c prime?
True
Suppose -3*y - 338 = 562. Let j = -166 - y. Is j prime?
False
Let g be (1 - 2)*45/(-3). Let m be (24/9)/(2/g). Let y = 15 + m. Is y composite?
True
Let o be (-46)/10 + 10/(-25). Let a(d) = -4*d + 5. Is a(o) prime?
False
Is -2 - -216 - (5 + -2) a composite number?
False
Let i(b) = -7*b**3 + 4*b**2 - b + 5. Is i(-4) composite?
False
Let k be 5*8/20 - 14. Let f = -3 - k. Is f a prime number?
False
Let v(n) = -74*n - 3. Suppose -b + p - 11 = 0, -2*b + 2 = -p + 5*p. Is v(b) a prime number?
False
Suppose -2*m = -7*m + 15. Let x be -1 + m/((-3)/43). Let q = 199 + x. Is q composite?
True
Suppose d - 436 = 5*m, 320 = -3*d + 3*m + 1664. Is d a composite number?
True
Suppose 398 + 407 = 5*r. Is r a prime number?
False
Let o(v) = 9*v**2 - v**2 - 9 - v**3 + 5*v**2 + 15*v - v**2. Is o(10) composite?
True
Let i = 8 - 8. Suppose 0 = -2*l - 4*c - c - 20, 5*c = -3*l - 20. Suppose i = -l*m - 2*m + 38. Is m composite?
False
Let s = 166 - 69. Is s prime?
True
Is ((-2)/(-4))/(1 + (-14772)/14776) composite?
False
Let k be 1*3*7/3. Let a be -5 + k - (-2 - -1). Suppose -o + a*o = 322. Is o prime?
False
Let b(n) = 2*n**2 + 2*n - 1. Let z be b(-2). Suppose -z*s + 81 + 150 = 0. Is s a composite number?
True
Let w(t) = -2*t**2 - 32*t - 11. Is w(-13) a composite number?
False
Let a be 0*(0 + 1 + 0). Suppose -h = -a*h. Suppose -3*y + 50 = -y - 2*w, h = 3*y + w - 59. Is y composite?
True
Let y be (88/(-1))/(10/40). Let c = y + 555. Is c a prime number?
False
Suppose 4*k - 4*v - 10627 = -3*v, 7976 = 3*k + 5*v. Is k a composite number?
False
Let m = 35 + -15. Suppose 3*r = -2*r - 4*k - 101, -r - m = k. Let j = 10 - r. Is j a composite number?
False
Let t(n) be the third derivative of 3*n**5/20 - 5*n**4/24 - n**3/6 - 2*n**2. Is t(-4) a composite number?
False
Suppose -5*v = -2*v - x - 619, -5*x - 635 = -3*v. Is v a composite number?
True
Let o(h) = 0 - 4*h + 10 + 2*h + 4*h. Is o(12) composite?
True
Let t(b) = -b**3 + 6*b**2 - 4*b - 5. Let j be t(4). Suppose 3*s + 30 = -3*h - 0*h, 3*h - 14 = s. Is (-284)/s - (-2)/j composite?
True
Suppose 8 - 26 = 3*o. Let c(l) = l**2 + 6*l + 3. Let z be c(o). Is z - 3 - (2 + -61) a prime number?
True
Suppose -2*p + 3353 = 3*p + 2*x, -4*p + 2660 = -4*x. Is p a composite number?
True
Let w be (-12)/(-7) - (-4)/14. Let d be w/(-3) + 22/6. Suppose -4*q + 267 = d*y + 68, -q = 4*y - 261. Is y a composite number?
True
Let a be (-5)/2 + 3/(-2). Let z(x) = -3*x**3 + 0*x + 3 + 2*x**3 - 4*x. Is z(a) prime?
True
Suppose i - 7 = 412. Is i a prime number?
True
Let n = 418 - 239. Is n composite?
False
Suppose -3*s - 2727 = -4*b, 2*s = -10*b + 5*b + 3403. Is b prime?
False
Let z(b) = 1151*b**2 - 2*b - 2. Suppose g - 2 = 0, 4*u - g + 6 = -0*u. Is z(u) prime?
True
Is -2 - ((1 - -1) + -567) prime?
True
Let k(c) = c**2 - 9*c + 1. Is k(-13) a composite number?
True
Let q(k) = k**3 + 7*k**2 + 4*k + 2. Let z be q(-6). Let n be z + (0 - -1) + 2. Suppose 5*f + i = n, -2 = -4*f - 0*f + 5*i. Is f prime?
True
Let o(r) be the first derivative of r**4/4 + 2*r**3/3 - 5*r**2/2 - 7*r - 5. Is o(6) prime?
True
Let v(l) = 4*l - 4. Let b be v(3). Suppose u + b = 3*u. Suppose 5*r - 32 + 2 = 3*h, -u*h - 35 = -5*r. Is r composite?
False
Suppose 3*d = -5*b + 6, -2*d + 1 + 3 = -b. Suppose b = -3*f + 6*f - 3. Is 55*f + (-5 - -3) composite?
False
Let i(p) = p + 1. Let v = -15 + 10. Let l be i(v). Is ((-3)/(-2))/(l/(-104)) a composite number?
True
Suppose -13 = -5*a - 33. Is (-5)/a*(8 + 0) prime?
False
Let n = 11 + -7. Suppose -n*z - 335 = -9*z. Is z a composite number?
False
Let x be 0/(-2 + -2 + 2). Let v = 7 - 4. Is -2 + (v - x) - -5 prime?
False
Is ((-1)/(-3))/((-1)/(-1002)*2) a composite number?
False
Suppose -2*w = -73 - 15. Let o = 45 + w. Is o composite?
False
Let h = -5 - -8. Suppose q + 9 - 41 = -h*k, 5*k = -5*q + 140. Is q composite?
True
Suppose 5*a + 47 = 262. Let o(v) = v + 4. Let s be o(-4). Suppose s = 3*c - w - a, 0 = -3*c + 5*c + 4*w - 24. Is c prime?
False
Let o = -1 + 5. Suppose -6*l = -2*l - 12. Suppose o*g + 3*i = 25, 0*g - l*g = -3*i - 45. Is g composite?
True
Let x be (-349 - -10)*4/6. Let n = 332 + x. Is n a composite number?
True
Let p be (2/(-6))/(2/(-24)). Is p/(3/((-15)/(-2))) prime?
False
Let a(r) be the second derivative of -1/20*r**5 - 1/6*r**4 - r - 3/2*r**2 + 0 + 5/6*r**3. Is a(-5) a prime number?
True
Let i(m) = 3*m**3 - 5*m**2 + 10*m + 7. Is i(5) composite?
False
Suppose 0 = -2*l - 0*l + 4. Let o(u) = 104*u - 3. Is o(l) prime?
False
Let b(d) = -d**3 - d**2 + 2. Let y be b(-2). Is (51/9)/(1/y) prime?
False
Let d(s) = s + 2