= k + l. Is w prime?
False
Is 35661/(-2)*(-24)/36 a prime number?
True
Let q(l) = l**3 - 11*l**2 + 12*l + 11. Suppose 2*m + 16 = 6*m. Suppose -2*o = 2*o + 2*a - 46, 0 = 5*o - m*a - 38. Is q(o) prime?
True
Suppose 2*g + g - w - 572 = 0, -3*w = -g + 188. Is g prime?
True
Let o(s) = 20*s + 5. Suppose -3*j = 12 - 3, 0 = 3*c + 3*j. Let d be o(c). Let h = d + 84. Is h composite?
False
Let l = -95 - -991. Let m = -579 + l. Is m a composite number?
False
Is (5/((-10)/3))/6*-5756 a composite number?
False
Let c(u) = 4*u**2 + 26*u - 129. Is c(29) composite?
False
Let o(u) be the second derivative of -9*u + 2*u**3 - 1/2*u**2 + 0. Is o(10) prime?
False
Is ((-42)/(-63))/((-4)/(-11226)) a composite number?
False
Suppose 0 = -2*l + n + 2, 0 = -l - n + 7. Suppose -l*j = 18 + 564. Is (4 + j + 3)*-1 composite?
True
Let p(u) = u**2 - 24. Let b be p(-5). Is (13 + -2800)/(-4 + b) prime?
True
Suppose -2631 = -q + 3268. Is q prime?
False
Suppose 3*j = 4*k - 22719, 0*j = -3*j + 5*k - 22719. Let c = 12434 + j. Is c a prime number?
True
Suppose -2*p + 77 = 73. Let z be 61 + 1/2*-2. Suppose 26 + z = p*f. Is f a prime number?
True
Let r(f) = -40*f**3 - f**2 - f - 3. Let v be r(6). Is v/(-25) - 2/5 a composite number?
False
Suppose 0*r - 3*q = 2*r - 2, 3*q = 3*r - 18. Let k(a) = -2*a + 6. Let g be k(r). Is (-106)/g - (-14)/(-7) composite?
True
Let h(u) = 7903*u**3 - u**2 - 5*u + 6. Is h(1) a composite number?
True
Suppose 5*x - 10 = -5*b, 4*b - b = 2*x + 1. Let w = -300 + 306. Let v = b + w. Is v a composite number?
False
Is 6/(54/55467) + -6 prime?
False
Let x(w) = -11*w**3 - 8*w**3 + w + 4*w**3 + 3*w**2. Let d be x(-3). Suppose d = 4*z - z. Is z composite?
True
Let l(a) = a**2 + 13*a + 19. Let g be l(-11). Is 3/(-7) - g/((-42)/(-31408)) a composite number?
False
Suppose 5*k + 5*s = 5, -3*k + 6*k + 5*s = 1. Suppose 4*y - k*z = -169 + 635, -2*y + 218 = 4*z. Is y a composite number?
True
Let t(m) = -m + 14. Let u be t(6). Let h(d) = -5*d + 20 - u*d + 19*d - d. Is h(9) a prime number?
False
Is (32/(-64))/((-2)/65908) prime?
True
Let m(f) = -311*f**3 + f**2 + 18*f + 13. Is m(-5) prime?
False
Let i be 15/(-10) - (-26)/4. Suppose 4546 = i*h + 516. Suppose t = z - 193, 4*z + 3*t - h + 48 = 0. Is z a composite number?
False
Let m(h) = 7*h**2 + 49*h - 239. Is m(-33) a composite number?
True
Suppose -g - 15 = 4*g, 23 = 5*u - g. Let k(l) = 18*l**2 + 9*l + 8. Let b be k(-6). Is b/26 + u/(-26) composite?
False
Let o be ((-6)/(-21))/(1/(-7)). Is ((-23)/o)/(4/56) composite?
True
Is ((-12)/(-28))/3 - (-16416)/42 a prime number?
False
Let k = -6 - 2. Is 4878/16 - k/64 prime?
False
Let p be (6/18)/(1/3). Suppose -z = -2*z - p. Is z*(-3)/1 + 30 prime?
False
Let k(c) = -c**3 + 8*c**2 - 7*c. Let f be k(7). Suppose 16*g - 3*g - 4121 = f. Is g a composite number?
False
Let h(j) = -45*j**2 + 5*j - 3. Let b(z) = 44*z**2 - 6*z + 3. Suppose 3 = 3*w, 3 = 4*l - 3*w + 26. Let u(t) = l*b(t) - 6*h(t). Is u(-5) a prime number?
False
Let b(r) be the third derivative of 1/3*r**3 + 0*r + 0 - 1/6*r**4 - 1/60*r**5 + r**2. Is b(-4) composite?
False
Let c(u) = u**2 - 6*u - 1. Let i be c(7). Suppose 7*b = i*b. Suppose b*d + 2*d - 762 = 0. Is d a composite number?
True
Suppose 0 = -2*t + 4*z - 2 - 6, -3*t - z + 16 = 0. Is ((-1895)/10)/((-2)/t) composite?
False
Let p(y) = y**3 + 6*y**2 - 9*y - 9. Let w be p(-7). Suppose x = w*s - 14, 2*s + 3*x = 3*s. Is (-1686)/(-18) + 1/s a prime number?
False
Let c be 0 + 2 - 3 - -2. Let o be (-1 - c)/((-6)/24). Let r(z) = z**3 - 4*z**2 - 5*z - 5. Is r(o) composite?
False
Let p = -45 - -4. Let s = 54 - p. Is s a prime number?
False
Suppose 0 = -u + 3*h + 4432 + 23958, 56770 = 2*u + 4*h. Is u prime?
True
Let y(f) = -3*f - 21. Let z(x) = x - 1. Let m(r) = y(r) - 6*z(r). Let u be m(-10). Suppose -j + u = -0*n + 2*n, -4*j + 78 = 2*n. Is n prime?
True
Let n(f) be the first derivative of 97*f**4/4 + 3*f**2/2 - 3*f + 11. Let x be n(3). Let w = x - 1870. Is w a prime number?
False
Let l(w) be the second derivative of -11*w**3/2 + w**2 + 3*w. Let i be l(-3). Suppose -3*k - s + i = 0, 3*k - 122 = 2*s - 27. Is k a composite number?
True
Suppose -2*p - 2*s = -7 + 31, 2*s = 2*p + 24. Let n(c) be the third derivative of c**5/15 + 11*c**4/24 + c**3/2 + c**2. Is n(p) prime?
False
Let i(p) = -p**3 + 14*p**2. Let y be i(14). Suppose 2*r + 2*r - 12 = y. Suppose -3*n = q - 61, -r*n - 4*q + 35 = -2*n. Is n prime?
True
Let c(v) = v - 16. Let g be c(4). Is 8/g - (-1114)/6 prime?
False
Suppose 4*w - 15238 = -2*r, 10*r + 2*w = 12*r - 15244. Is r prime?
True
Let d(x) = -x**3 - 5*x**2 - 4*x. Let i be d(-3). Let v be 2/i + (-40)/(-12). Suppose 4*c - v*y - 308 - 273 = 0, 0 = -4*c - 5*y + 621. Is c composite?
False
Suppose -5*r - 5533 + 35718 = 0. Is r a composite number?
False
Suppose 19*w - 58544 = 3*w. Is w prime?
True
Suppose 10*o - 14596 = -3726. Is o prime?
True
Suppose 0 = 5*c + 107 + 268. Let y(h) = 2*h**3 + 4*h**2 - 2*h - 3. Let r be y(-3). Is (30/c)/(1/r) a composite number?
True
Let l = 398 + 143. Is l composite?
False
Let a(k) = -37*k + 100. Is a(-21) prime?
True
Let k(y) = 5*y + 3. Let c be k(5). Let p be (-8)/(-6)*(-42)/c. Is 1760/6 - p/(-6) composite?
False
Let o = 40 + -36. Suppose 0 = -2*y - o*y + 1146. Is y a prime number?
True
Let s(a) = 651*a. Let z(m) = 325*m. Let y(v) = -6*s(v) + 11*z(v). Is y(-5) a prime number?
False
Let d = 474 - 965. Let t = -2763 - d. Is (-2)/(-6) + t/(-24) prime?
False
Suppose -r = 2*a - 17, 41 = 5*r - a - 0*a. Is 18/6*1731/r prime?
True
Let h = 114 - 190. Suppose -x = 3*f - 350, 2*f - 28 - 192 = 2*x. Let u = f - h. Is u composite?
False
Let l be (-1 - 1)*5673/(-2). Suppose 0 = -5*r + 2*d - 9469, -3*r + 4*d = -0*r + l. Let z = r - -2790. Is z composite?
True
Let w(l) = 7*l - 17. Let u be w(6). Let z be 4/10 - (-95940)/u. Suppose 0 = -4*n - 258 + z. Is n prime?
False
Suppose 43432 = 13*c - 43122. Is c prime?
False
Let u(c) = -8*c**2 - 117*c - 17. Is u(-8) a composite number?
True
Let k(a) = -a + 11. Let u be 3 - (-5 - -4) - 4. Suppose 2*v = -u*v. Is k(v) a prime number?
True
Let w be (-27)/(-15) + 2/10. Let o(u) = 7*u**3 + 4*u**2 - 2*u - 2. Let y be o(w). Let m = y + -19. Is m a composite number?
False
Let h(u) = -152*u**3 - 2*u**2 - 3*u + 53. Is h(-6) prime?
True
Let f(c) = 54*c**2 + 12*c + 257. Is f(-17) composite?
True
Suppose -5*t = 20, 4*o + 152 - 1584 = 4*t. Suppose 3*j + 0*j - o = 0. Is j prime?
False
Suppose 44*l - 141868 = -14*l. Is l a composite number?
True
Suppose -t = 2*t + 3*r - 6, 4*t = -3*r + 6. Let v be 5/(-30)*3*t. Suppose -7*p + 11*p - 3964 = v. Is p a prime number?
True
Suppose 0 = -r - 2*o - 7, 2*r - 2*o - 11 = -o. Suppose -2826 = -3*k + 3*i, 3774 = 4*k - i + r*i. Is k a composite number?
True
Suppose 0*j - 23016 = -4*j. Suppose 2*c - j = -4*c. Is c prime?
False
Suppose 36*j - 23*j = 45643. Is j a prime number?
True
Let i = -43 - -2105. Is i a prime number?
False
Let w = -140 - 3828. Let g = -447 - w. Is g composite?
True
Let o = 169 + 276. Is o a composite number?
True
Let s = 2842 + -1800. Is s a prime number?
False
Let o be 7 - (0 + 6/(-2)). Suppose -5*v = o + 50. Is (116/v)/(2/(-138)) a composite number?
True
Let u(v) be the third derivative of 17/120*v**6 + 0 + v**2 + 1/60*v**5 + 1/12*v**4 + 0*v + 1/6*v**3. Is u(2) a prime number?
False
Suppose -16*b + 22058 = -32166. Is b a composite number?
False
Suppose -3*x + 11660 = -d - 6145, -5935 = -x - d. Is x prime?
False
Let b(t) = 8*t**2 + 7*t - 10. Suppose 3*p = 15, 4*q + 7*p - 4*p + 17 = 0. Is b(q) prime?
False
Let w(h) = -h**2 + 11*h + 24649. Is w(0) prime?
False
Suppose -4*u - 11*u = -345. Is u prime?
True
Suppose -22 = -5*x + 3*y - 5, 0 = -x + 4*y. Let o(h) = 12*h**2 - 5*h + 2. Let c be o(-5). Is c/7 + x/14 a prime number?
True
Let a(u) = 3*u**3 + 9*u**2 + 10*u + 1. Suppose 28*j - 21*j = 49. Is a(j) composite?
True
Suppose 2*l + 2*g + 2 - 62 = 0, 2*l = 2*g + 60. Suppose l = -4*n + 2486. Is n composite?
True
Suppose -2*c = -7*c - 3*s + 567, 5*s - 242 = -2*c. Is c a prime number?
False
Suppose -76 = -2*y - 52. Is (-6)/y + 2673/6 a composite number?
True
Let k(r) = 89*r**3 - r**2 - r - 3. Let l be -2*(-1 + 0) - 0. Is k(l) composite?
True
Is ((-2)/(-4))/(11*4/653576) a prime number?
False
Let z(f) be the first derivative of f**3/3 + f**2/2 + 1137*f - 13. Is z(0) a composite number?
True
