 = 2, -2*z = -s. Let d = z - l. Is d a composite number?
True
Let f(w) = w**3 - 20*w**2 + 8*w - 14. Let x be f(10). Is (0 + -1)/(2/x) composite?
False
Let f(t) = 186*t - 997. Is f(49) a composite number?
False
Let h(f) = 16*f**2 - 8*f + 23. Is h(8) a prime number?
True
Let p = 168 + -103. Let g = p + -32. Is g prime?
False
Let k = 2451 - 4111. Let h be (100/(-125))/(2/k). Is h/20 - 3/15 a composite number?
True
Let o = 38 - 34. Suppose r - o*s = 922, -4*s + 4679 = 5*r - s. Is r a prime number?
False
Suppose -3*t + 3*z = -453, -3*t - 236 + 685 = -z. Let y = -6 + t. Is y a prime number?
False
Let c(t) = t**3 - 15*t**2 + 25*t + 4. Is c(15) a prime number?
True
Let z(j) = 5*j**3 - j + 1. Let t be z(1). Suppose 0*v = -t*v + 1175. Is v composite?
True
Is (-15147)/(-4) - 2/(-8)*1 prime?
False
Let h(k) = 2*k - k - 13 + 4*k**2 + 4*k**2 + 33. Is h(-6) a prime number?
False
Let h(y) = y**2 + y + 2. Let g be h(-2). Suppose 3*r - 5*b - 6 + 22 = 0, 3*b + g = -5*r. Is (-2805)/(-22) - (-1)/r prime?
True
Let l(a) = 2743*a**2 - 7*a + 5. Suppose 0 = 14*r - 9*r - 5. Is l(r) a prime number?
True
Let r(i) be the first derivative of -17*i**2 - 5*i - 1. Is r(-3) prime?
True
Let u(z) = -z**3 - 10*z**2 + 38*z + 39. Is u(-16) a prime number?
True
Let h(i) = -i**3 + 4*i**2 + 7*i + 6. Let o be h(6). Let m be (-60)/o - 1/2. Is ((-398)/(-4))/(m/4) prime?
True
Let p(y) = 146*y**2 + 29*y - 20. Is p(13) a composite number?
False
Suppose 1167 = -3*k + r, r = 5*k + 6*r + 1925. Let n = -82 - k. Suppose -2*g = -52 - n. Is g a prime number?
True
Is (-6 - (-146130)/(-4))*4/(-6) a prime number?
True
Let i(w) = 15*w + 18. Let y(d) = 15*d + 15. Let x(f) = -15*f - 14. Let c(k) = -2*x(k) - 3*y(k). Let t(a) = 6*c(a) + 5*i(a). Is t(-3) prime?
False
Suppose 83 = 2*v - 10275. Is v a composite number?
False
Is (2/8)/((-6)/21036)*-22 prime?
False
Let p = 21 - 18. Let r be 2/(-8) + -1 + (-130)/(-8). Suppose 0 = 3*l + r, 3*l + l = -p*s + 211. Is s prime?
False
Let f = -7340 + 11095. Is f a prime number?
False
Suppose -6 = s - 3*o, 5*s = 4*o - 40 - 34. Let w be 12/s + (-4)/3. Is (489/(-6))/(1/w) composite?
False
Suppose -61*k - 221669 = -68*k. Is k a prime number?
True
Let s = 194 - 74. Suppose -45*k + 42*k - 255 = 0. Let p = s + k. Is p a composite number?
True
Let f be (-4)/(-16) + 66/24. Is ((-1)/f)/((35/(-78915))/7) a prime number?
True
Let o(v) = v**3 - 11*v**2 + 23*v + 30. Let j(a) = -a**3 - 9*a**2 - 2*a - 1. Let i be j(-9). Is o(i) a prime number?
False
Let k(s) = -2*s + 24. Let t be k(10). Suppose 0 = 5*f - 3*f - t. Is f*(4 - (-63)/2) prime?
True
Let f = 29355 + -16514. Is f prime?
True
Let m = -30 - -33. Suppose 0 = -m*o + 767 + 562. Is o composite?
False
Suppose 0 = 8*k - 22*k + 273434. Is k a composite number?
False
Let b(q) = 350*q - 9. Let d(m) = 4*m**2 - 6*m + 6. Let j be d(2). Is b(j) composite?
False
Let k = 22359 + -7756. Is k prime?
False
Let s be (18/15)/(2/5). Suppose f = 4*f - 6, s*t = -f - 2947. Is -8 + 4 - -6 - t prime?
False
Suppose -9*g + 4*g + 2190 = t, 3*t - 4*g = 6589. Is t a composite number?
True
Suppose 34 = 9*x + 8*x. Suppose -7078 = -x*o + 8*a - 4*a, 4*o = -a + 14183. Is o a prime number?
False
Let o = 5 - -4. Let x(t) = 4*t**2 + 12*t - 7. Let f be x(o). Suppose 5*y = 5*m + f, 0 = 2*y + y - 2*m - 252. Is y a prime number?
False
Suppose 2*n - 16 = -2*n. Suppose -n*i + 41 = -15. Let p(s) = 16*s - 13. Is p(i) prime?
True
Let m(f) = -f**2 - 9*f - 18. Let u be m(-5). Is (2/u)/((-4)/(-8636)) a composite number?
True
Let a(n) = 10*n**3 + 2*n**2 - n - 1. Let j be a(-3). Suppose 4*k - 220 = 1592. Let w = k + j. Is w prime?
False
Let g be ((-1)/(-3))/(6/36). Let d = -8 + 10. Suppose 287 = a - d*s, -2*a - s + g*s + 580 = 0. Is a prime?
False
Let f(c) = -1325*c**3 + 2*c**2 - 2*c + 1. Let w be f(1). Suppose 4*m - 36 = -2*b - 0*m, -2*b = 5*m - 34. Is (11/b)/((-2)/w) a prime number?
True
Suppose -4*a + 4353 = 37. Suppose -4*z + 8*z = -3*n + a, 5*z + 5*n - 1350 = 0. Is z a composite number?
False
Is 13168 - (7 + (-7 - -5)) prime?
True
Suppose -2*l + 4*j = -14 + 4, -l + 5 = -3*j. Suppose 2454 - 799 = l*p. Is p a composite number?
False
Let w = 868 - 388. Let g(d) = -d**3 + 8*d**2 - 4*d - 18. Let q be g(7). Suppose 4*n = -12, -5*n = q*i - 2*n - w. Is i composite?
False
Let n(i) = 495*i**2 - 8*i - 18. Let m be n(9). Suppose m = 7*q - 2996. Is q a composite number?
False
Suppose -3*w - w + 22 = -c, 0 = 2*c + 4. Suppose -5*n + 187 = 4*m, 128 + 117 = w*m + 4*n. Is m a prime number?
True
Is (-2)/(-8) - 816345/(-108) a prime number?
True
Let n(t) = -301*t**3 + t**2 + 4*t + 5. Let k be n(-3). Suppose 0 = -4*q + k + 3243. Is q a prime number?
True
Suppose 0 = -t + z + 3607, 2*t - 7242 = -7*z + 2*z. Is t prime?
False
Suppose -4*v + 55 - 43 = 0. Suppose 4*l + v*h = 8744, -2*h - 10965 = -5*l + 3*h. Is l a prime number?
False
Let r(w) = -w**3 + 3*w**2 + 1 - 3 - 6*w + 5*w**2. Let j be r(7). Suppose 362 = j*b - 2063. Is b a composite number?
True
Let p(g) = 1821 - 70*g - 11*g + 7*g - 1824. Is p(-3) composite?
True
Let x be (-493)/(-2)*(-3 + 1). Let z = x + 847. Is z/4 + (-9)/(-18) a composite number?
False
Suppose 0 = 8*m - 31*m + 759. Is m a prime number?
False
Let h(a) = 16*a**2 + a + 5. Let u(r) = 31*r**2 + 2*r + 10. Let w(n) = 7*h(n) - 3*u(n). Is w(-2) prime?
True
Let f be (-6)/4*48/(-36). Let v be -10*((-343)/f)/7. Suppose 2*i = -3*i + v. Is i composite?
True
Let j = -26 + 29. Let q(y) = 119*y**2 + 5*y - 5. Is q(j) prime?
False
Let t = -122 + 7. Let o = -60 - t. Is o a composite number?
True
Suppose -s + 3*s + 916 = 0. Let l = 715 + s. Is l a composite number?
False
Let q(p) be the first derivative of 111*p**4/2 + p**3/3 + 2. Let y be 4/(-10) - (-1 + (-12)/30). Is q(y) prime?
True
Let i be 6/15 + 37/(-5). Let n(l) = -l - 4. Let b be n(i). Is (-6)/b*(-149)/2 prime?
True
Suppose 0 = -y + 1, 0 = -u + 3*u - 4*y - 5874. Is u prime?
True
Let n be (33 - -1)*(173 + -7 + 1). Let p = -3435 + n. Is p a composite number?
False
Suppose -4*g + 9*g - 17783 = 2*j, -2*j + 17787 = 5*g. Is g a composite number?
False
Let b = 41 - -563. Suppose -2*j - 74 = -b. Is j prime?
False
Suppose -4*d = 3*x - 1097, 314*x - 318*x + d + 1488 = 0. Is x a prime number?
False
Suppose 3*u + 5 + 1 = 0. Let f be u/(-5) + 18/5. Suppose 0 = -5*m + f*m + 35. Is m a composite number?
True
Is ((-15)/(-10))/(9/3006) composite?
True
Is 3/(-6)*-19066 + -6 a prime number?
False
Let r(i) = i - 4. Let b be r(4). Suppose b = -o + 4*o - 756. Suppose -2*a + o = 74. Is a a prime number?
True
Let v = 10673 - 6856. Is v composite?
True
Let k(w) = 8*w - 14. Let s be k(2). Let f(c) = 153*c**2 + 7*c - 13. Is f(s) prime?
True
Suppose -c + 4*c - 54357 = 0. Is c composite?
False
Let m be (2 - (-4)/(-5))/((-8)/20). Is m + 44/16 - (-5610)/8 a composite number?
False
Let x(v) = 7*v**3 + 4*v**2 + 9*v - 22. Let c be x(8). Suppose -9747 = -8*y + 3*y - z, -c = -2*y + 4*z. Is y a composite number?
False
Suppose 3*a - 3939 = -10*a. Suppose -2*r = -a - 143. Is r a prime number?
True
Let f = -4146 + 8219. Suppose -2*m - 2034 = -2*b, -4*b + 2*m = 3*m - f. Is b composite?
True
Is 5878*(-1 - 18/(-12)) a prime number?
True
Let y(f) = 6*f + 30. Let d be y(-11). Is 24/d*3246/(-4) a composite number?
False
Is 1 + 52811 + (-1)/3*15 prime?
True
Let k(j) = -712*j. Let m be k(-1). Let x = -447 + m. Suppose 0 = 3*f + 2*f - x. Is f composite?
False
Let u(a) = -a**2 - 5*a + 6. Let y be u(-8). Suppose 20 = 10*g - 9*g. Let q = g + y. Is q prime?
True
Let a = -8876 + 13794. Is a a composite number?
True
Let h be (1 - 788)*(-6 + 4). Let o = -469 + h. Let b = o + -464. Is b composite?
False
Suppose 4945 - 1203 = -2*m + a, -3736 = 2*m + 2*a. Let o = -1197 - m. Is o a composite number?
False
Let l(f) = -2 + 6*f**3 + 2*f - 4*f**3 + 0*f**2 + 5*f**3 - 4*f**2. Is l(3) a composite number?
False
Let y(p) = 4*p**2 + 9*p + 49. Suppose 4*c + 30 = 2*w, -3*c - w - 17 = -c. Is y(c) a composite number?
False
Let b(r) be the third derivative of 21*r**5/20 + r**4/24 - 3*r**2. Let n be b(2). Suppose -h = 3*h + 4, d - 3*h - n = 0. Is d composite?
False
Let b be (-3)/9 - (-40520)/6. Suppose 5*n = -6*n - 99. Is (-4)/(-6) - b/n a prime number?
True
Let m = -3562 + 6909. Is m prime?
True
Suppose 2*x = -x + 90. Suppose 3*s - x = 4*g + 253, s = 3*g + 101. Is s a composite number?
False
Let v(n) be th