st derivative of 25*k**3/3 - k**2/2 + 104*k + 25. Is v(15) composite?
True
Let c be 5 + -3 + 9 - (-1 + -1). Suppose -3*s = h - 1382, -c*h + 2*s - 5518 = -17*h. Is h a composite number?
True
Let l(x) = 6*x**2 - 11*x + 23. Let m be l(11). Let d = m + -271. Let o = -22 + d. Is o a composite number?
True
Let u(t) = -t**3 + 6*t**2 + t + 11. Let j be u(9). Let g be 0/((-8)/(-2)) - j. Suppose 6*y - g = 1067. Is y composite?
True
Suppose -10*z = -w - 12*z + 5, z - 5 = -w. Suppose 3*g - 10301 = -4*u, w*u - 2824 + 16507 = 4*g. Is g a prime number?
False
Let q be 33064/32 - (7/(-4) + 2). Let p = q + 1794. Is p a composite number?
True
Suppose -3*s = 5*t + 15, 2*t = s - 2*s - 7. Let j be (-78)/t + 3*6/(-9). Suppose -j*d = -811 - 2170. Is d prime?
True
Let o be (3 + 0)*(-2 + 24/9). Suppose 2*s - 552 = -2*l, 0 = -o*l - l. Is -38*(4 - s/8) composite?
True
Let h(k) = 111*k**2 - 122. Let n(g) = g**3 - g**2 + 7*g - 7. Let i be n(2). Is h(i) composite?
False
Suppose 0 = -5*t + 9*t - 64395 - 7681. Is t composite?
True
Suppose 2*o + 5*r = 323814, 5*o - 17*r + 18*r = 809489. Is o composite?
True
Let x be 1/(732740/122124 + -4 + -2). Let r = 45544 + x. Is r prime?
True
Let x be ((-965)/4)/(10/(-40)). Let l = 1957 - x. Let u = l - 213. Is u composite?
True
Let k = -42 - -30. Let i be ((-285)/k)/5 - (-2)/8. Suppose -2716 = -i*f - 281. Is f composite?
False
Let z be (6/4)/((-9)/(-30)). Suppose -z*k + 5160 = 865. Let r = k + -488. Is r a prime number?
False
Let x(r) = r**3 + 53*r**2 + 41*r + 54. Is x(-23) a composite number?
True
Suppose 6*f + 13 = 31. Suppose 2*v - f*v - 111548 = -5*q, q - 22324 = 5*v. Is q prime?
False
Let s be -1 - 10/(2*(-1)/(-358)). Let o = s + 4153. Is o a composite number?
True
Let d = 367 + -357. Suppose d*k = 2*k + 4888. Is k prime?
False
Suppose x - 5149 = 2*x. Let z = -1286 - x. Is z a prime number?
True
Let p be (40/(-2))/(-2)*3179/2. Let h = 28042 - p. Is h a prime number?
False
Let a be (1693/(-2))/((-5)/10). Suppose a + 407 = -5*l. Let x = l - -1061. Is x a prime number?
True
Let d = 13974 + -9021. Suppose -d + 23158 = 11*b. Is b a prime number?
False
Let y = -603 + 599. Is (-15802)/((-6 + -3 - y) + 3) a prime number?
True
Let n be -2 - 2 - 16/(-4). Let u = -198 - -146. Is 1 + n - 13/(u/2344) composite?
False
Suppose 0 = -2*n + 161 - 165. Let d(g) = -69*g**3 - 2*g**2 - 4*g + 1. Is d(n) a prime number?
False
Let u(i) = -240*i + 1. Let d(b) = -b**3 + b**2 + 5. Let j be d(2). Let o(v) = -3*v**3 - v**2 + 2*v. Let y be o(j). Is u(y) a composite number?
True
Let x = -263604 + 664481. Is x prime?
False
Suppose 2*j + 3*j + a = 335, 2*j + 5*a = 157. Let b = j - 63. Suppose -4*m = 3*i - 2532 - 8744, b*m - 5*i = 8457. Is m a composite number?
False
Let u = 93 + -91. Suppose -4*w - u*z = -25698, z = -5*w - 23166 + 55284. Is w a prime number?
False
Let x = 25409 - -260280. Is x a composite number?
True
Let l = 36595 - 11157. Suppose 2*a = 2*y + l, 29906 + 33701 = 5*a - 2*y. Is a prime?
False
Let m = -141 + 145. Let p be ((-248598)/36)/((-6)/m + 1). Suppose -p = -4*h - 3*h. Is h composite?
False
Let j(l) = 668*l**3 + 4*l**2 - 14*l + 69. Is j(5) a prime number?
False
Let r(s) = -s**3 + 21*s**2 + 15*s + 7. Suppose 15*y - 21 - 249 = 0. Is r(y) composite?
False
Suppose -a + 5 = -6*a, 44 = 4*b + 4*a. Suppose -g - 3*g = -b. Suppose g*f - 6 = 0, -2*f = 4*k - 1657 - 6791. Is k a prime number?
True
Is 8/22 + 441/297*42561 composite?
False
Is 30/35 - (-32480747)/133 prime?
True
Let a(h) = h**3 - 9*h**2 - 27*h + 7. Let k be a(15). Suppose y + 5*x - 977 = 401, -12 = -4*x. Let v = y - k. Is v a composite number?
True
Let z = -309 - -162488. Is z prime?
False
Let k(h) = 6560*h - 8. Let i be k(-5). Let n = -6924 - i. Is (n/(-24))/((-1)/2) prime?
False
Suppose b - 81067 + 663197 = 4*f, 2*f = 2*b + 291074. Is f a composite number?
False
Let a = -778 + 1229. Is a a prime number?
False
Suppose -u + 6*u = -2*m - 16, 0 = 3*m - 2*u + 5. Is m/(-21) - 31736/(-14) a composite number?
False
Let z(j) = j**2 - 21*j + 73. Let c be z(17). Suppose -c*f - 3*h = -5*h - 2975, 0 = -2*h - 10. Is f a prime number?
True
Let b = -5584 + 8084. Let n = b + -959. Is n composite?
True
Let b = 306 + -161. Suppose r - 5*r = -5*n - 155, 5*n - 2*r = -b. Is 50 + 18/(-8)*36/n a prime number?
True
Let d(w) = 90*w**3 - 5*w**2 + 2*w + 4. Let j be (-6 - 2)/4*37. Let a = -71 - j. Is d(a) a prime number?
False
Let z = -71665 - -49823. Let l = z - -43281. Is l a composite number?
True
Suppose 80*i - 415673 = 5967927. Is i a prime number?
False
Let v = -26643 + 43211. Suppose 5772 + v = 4*j + 5*h, -4*h + 16755 = 3*j. Is j prime?
False
Let r = -9275 - -16937. Suppose 4*q + r = 7*q. Suppose q + 1760 = 2*b. Is b prime?
False
Suppose 6*d - 617 + 539 = 0. Is -7 + d/((-26)/(-9288)) a prime number?
True
Is -2 - 1 - (189920/(-2) + 9 + -1) a composite number?
False
Let k = 13530 + -3045. Suppose 0 = 4*r + 2*x - 8370, 5*r - 2*x + 0*x - k = 0. Suppose 0 = -5*b - 4*p + 8*p + r, 1257 = 3*b + 5*p. Is b prime?
True
Suppose 2*k + 2*p = 14 + 30, -2 = 2*p. Suppose -20*n - 4089 = -k*n. Is n a prime number?
False
Let m = -122 - -125. Suppose m*l = -28*l + 188263. Is l a composite number?
False
Let g be -5*(1308/(-10))/(-6). Let d = g + 111. Suppose -c + 14178 = d*w, 3*w = 4*c + 8218 + 13071. Is w prime?
False
Let u = 1280035 + 762424. Is u composite?
False
Suppose 0 = -111*y + 112*y + 1487. Let b = y + 2958. Is b a composite number?
False
Suppose -5*y + 7*g = 10*g - 22665, -5*y + 22670 = 4*g. Suppose f - 713 = -l, l - y = -5*f - 981. Is f prime?
True
Let t be (-1)/((-5)/(-285)*-3). Suppose 22*j - t*j = 1671. Is j composite?
False
Suppose -5*x = 194 - 2034. Let n = -7 - 24. Let z = x + n. Is z prime?
True
Suppose -2*k - 85 = -2*c + 3*k, -c = -k - 47. Let q = 827 + c. Is q composite?
False
Suppose -23 = 12*l + 1. Is 487 + l + (-2 - 2) + 0 a prime number?
False
Let o(d) = -d**3 + 33*d**2 - 26*d - 27. Is o(30) a prime number?
False
Is (-382237629)/(-3679) - (2/7 - (-24)/(-182)) a composite number?
True
Let s be (((-14)/2 + -3)/(-2))/1. Suppose 2*m - w - 1296 = 0, -3235 = -3*m - 2*m + s*w. Is m a prime number?
False
Let t(s) be the third derivative of -s**4/8 + 3*s**3/2 - 12*s**2. Let h be t(4). Is h*((-5)/(-5))/((-6)/2326) composite?
False
Let z be (7 - 9/9)*(-1)/(-2). Let w(l) = 4*l - 1. Let t be w(1). Suppose s - 60 = -t*b + 203, -z*b - 992 = -4*s. Is s a prime number?
True
Suppose 10*d + 14*d = -164088. Let g = 17320 + d. Is g a composite number?
True
Suppose -43*f + 5636044 + 9146797 = -0*f. Is f composite?
False
Suppose -77157258 = -62*c + 20306060. Is c a composite number?
False
Suppose 70*n + 250*n - 398543680 = 0. Is n prime?
True
Suppose -3*t - 12 = -0, -667 = -i + 5*t. Is i*5 + (-6)/(-6) + -3 prime?
False
Let s(k) = 301*k + 5 - 9 - 7 - 5. Is s(3) a composite number?
False
Let a = 40247 + -14289. Let k = 38489 - a. Is k a prime number?
False
Let k(o) = -156*o**3 + 154*o**2 - 12*o - 21. Is k(-25) composite?
False
Let c(q) = 323*q + 3481. Is c(36) prime?
False
Suppose -58*w + 1487651 = -10*w - 1581757. Is w prime?
False
Let d(n) = 6604*n + 3127. Is d(6) prime?
True
Let t(o) = o**2 - 8*o - 33. Let k be t(11). Is 34 - -2894 - (k - -1) a composite number?
False
Suppose 8*k = -0*k + 40. Suppose -3*s + 2859 = k*v - 4842, -s + v = -2567. Is s prime?
False
Is (27/((-162)/(-11833032)))/(2 + (0 - -2)) a prime number?
True
Is (-208738)/(-6)*(16 + -18 + 5) a prime number?
True
Let y(j) = j - 14. Let g be y(17). Suppose -14786 = -4*s + 13*q - 18*q, g*s - 11088 = -3*q. Suppose 0 = 10*r - 12*r + s. Is r composite?
False
Suppose 31*v - 16*v - 66285 = 0. Let t = v + -1942. Is t a prime number?
True
Suppose -1 + 1 = 6*a. Suppose 0 = 4*s - w + 243, -2*s - 5*w = -a*s + 127. Let j = s - -192. Is j prime?
True
Let b = -489 + 577. Suppose 2*v - 44 = -h + 62, 0 = -3*v + 4*h + 137. Let j = b - v. Is j a composite number?
False
Let q(m) = -108 - 303*m - 539*m - 291*m. Is q(-13) a composite number?
False
Is (23/(-46))/(2/(-816148)) prime?
False
Let z(u) = 2*u**2 - 5*u - 3. Let f be z(4). Suppose 0 = -f*k + 11 - 2. Is -4 + (k - -1) - -84 a prime number?
False
Let n be ((-32)/12)/(1/12). Let t be (-54 + 48)*46/(-4). Let h = n + t. Is h a prime number?
True
Suppose 3*j + 2*j = 45. Let m be (-6 + j)*(0 - 57/(-1)). Suppose 3*z - 277 = 5*q, -4*z + 183