et h(o) = 8*o**3 + 2*o - 1. Suppose -5*i = -0*i - 35. Let d = -6 + i. Is h(d) composite?
True
Let i = -15337 - -23060. Is i a prime number?
True
Let a(o) be the third derivative of o**6/120 + o**5/60 + 23*o**3/3 + 5*o**2. Let y be 4/14 - 4/14. Is a(y) a composite number?
True
Let w = -18 + 32. Let z(d) = -d + 0*d + 1 - w*d - d**2. Is z(-9) prime?
False
Suppose -r + 451 = 5*m - 1782, 2*m - 2*r = 898. Is m composite?
True
Let x = 7 - 6. Is -1 + x - 0 - -203 a prime number?
False
Let k be 94 - 4/(-6)*3. Suppose 0 = -0*h - 4*h - 4*s + k, 5*h + s = 132. Suppose -h = -2*n + 67. Is n composite?
False
Let u(s) = -s**3 - 4*s**2 + 7*s + 4. Let g be u(-7). Suppose 2*c = 3*f - 111, -4*f + 7*f + c - g = 0. Is f a prime number?
False
Let q be -7*(1*2)/(-2). Suppose -2*g - 4 + 2 = 4*y, g - 9 = 3*y. Let n = g + q. Is n a composite number?
True
Let l(f) = f**3 - 7*f**2 - 5*f - 8. Let d be l(6). Let o = 111 + d. Is o prime?
True
Let q be (-34)/(-10) - 6/15. Suppose -230 = -11*i + 6*i. Suppose 3*m + a - 20 = i, 0 = q*m + 3*a - 60. Is m a composite number?
False
Let c(r) = 20*r - 11. Is c(6) composite?
False
Let x = -2513 - -6310. Is x a composite number?
False
Let m = 6 + -4. Suppose -308 = m*h - 1640. Is (-2)/(-5) - h/(-10) a prime number?
True
Suppose 0 = -4*p + 6299 + 1889. Is p composite?
True
Let n be (-5)/((-25)/4)*5. Suppose -n*y + 793 = -75. Is y a prime number?
False
Let g(k) = 54*k. Let x be g(1). Let m be 2 + -3 + 3 - -3. Suppose 2*h = -m*p + 183 + x, -4*h + 229 = 5*p. Is p prime?
False
Is 26/4 - (14/4)/7 a composite number?
True
Let a(o) = 96*o**3 + o**2 - o + 1. Let m(g) = -g - 8. Let i be m(-9). Is a(i) composite?
False
Let q(l) = -7*l**3 + 1. Let p be q(-3). Let x = 133 - p. Let g = x + 170. Is g composite?
False
Let i(t) = t**3 + 7*t**2 + 4*t + 3. Is i(-6) a prime number?
False
Let l be 3/(-2) + (-2)/(-4). Let n(w) = -124*w**3 - w**2. Let p be n(l). Suppose -3*c = o - 2*o + 109, -p = -o - 4*c. Is o a composite number?
True
Let u = 12 - 7. Suppose -s - 4 = -3*n, 1 = -3*s - u*n + 3. Is (-1)/((-3)/63) - s a prime number?
False
Let p be 14/7 - (1 + -655). Suppose 5*y + 1 = p. Is y composite?
False
Let p be ((-63)/6)/(1/(-14)). Let a(s) = -s**2 + 3*s + 8. Let m be a(-8). Let g = p + m. Is g a prime number?
True
Suppose 2*s - 25 = -5. Suppose -5*h + 3*h + 4*d + 10 = 0, -h - 3*d = s. Is h/((-2 + 0)/410) a prime number?
False
Suppose 16 - 4 = 3*g. Is 681/7 - g/14 a composite number?
False
Is 8199/(-6)*4/(-6) composite?
False
Suppose j + 3715 = 5*w, 0 = 2*w - 7*w - 5*j + 3715. Is w prime?
True
Suppose 0*f - 19 = 2*f - 3*n, -5*n = 4*f - 17. Is (-382)/(-4)*f/(-1) composite?
False
Let q = -5 + 6. Suppose 4*c - 24 = -8, 7 = x + 2*c. Is x - ((0 - q) + -22) composite?
True
Let m be 55 + -1 + (-3 - -1). Let z = m - 17. Is z a composite number?
True
Let x(f) = 33*f**2 + 10*f + 8. Is x(-9) a composite number?
False
Let p(f) = -10*f**3 + 2*f**2 - 8*f + 11. Is p(-7) prime?
False
Let a = -2 - 4. Is (-11)/2*(a + 0) a prime number?
False
Let u(r) be the third derivative of r**5/20 + r**4/24 - r**3/2 - r**2. Let a be 3/(-15) - 14/5. Is u(a) composite?
True
Suppose -3*a = -6 + 36. Is (-2)/a - (-5136)/20 a prime number?
True
Let y be 2/((0 - 1)/(-2)). Suppose -y*m + j + 344 = 3*j, -m = 2*j - 92. Suppose w + 7 - m = 0. Is w prime?
False
Let q = 3 + -1. Let p be -8*1*(-3 + q). Suppose 132 = 4*c + p. Is c prime?
True
Let j(z) = 12*z - 5. Is j(7) composite?
False
Suppose 3 = 2*a - 3. Let z be (-2 - -3)/(a - 2). Is 49 + (z - (-9)/(-3)) a prime number?
True
Let j be ((-4)/3)/((-8)/12). Suppose j*r - 60 = -2*r. Suppose -4*v + 13 = -r. Is v a composite number?
False
Suppose -4*d + 5538 = 2*z, -3*z = -0*d - 3*d - 8298. Is z composite?
False
Let h(u) = u**3 - 14*u**2 + 15*u + 1. Let w(y) = 2*y**3 - 27*y**2 + 29*y + 1. Let x(f) = 11*h(f) - 6*w(f). Let n be (36/4)/(3/2). Is x(n) composite?
False
Suppose 2*u + 2*u - 16 = 0. Suppose -u*c = -0*c - 124. Is c a prime number?
True
Let o = -664 - -1377. Suppose 3*s = h - 200, -3*h + 5*s - 109 = -o. Suppose -n + h = -0*n. Is n a prime number?
False
Let q(l) = 47*l - 16. Is q(9) composite?
True
Suppose 9*x + 388 = 11*x. Is x a composite number?
True
Let f(z) = 9*z**2 - 2*z - 1. Let m be f(-1). Let l be (4/m)/(2/10). Suppose -l*c + 38 = -0*c. Is c prime?
True
Let h(n) = 106*n + 11. Is h(5) prime?
True
Let u be 2/8 + 414/8. Suppose -2*v = -v - u. Suppose v = 2*g + z - 22, 4*g + 3*z = 152. Is g composite?
True
Let c(h) = -h**3 + 3*h**2 - h. Let o be c(3). Let w(l) = -l**2 + 2*l - 1. Let v be w(1). Is (-2 - v)/(o/6) a prime number?
False
Let s be 2/3 + (-4)/(-3). Suppose -s*g + 4 = -4*g. Is -14*(-3 - 0 - g) a composite number?
True
Let o = -23 + 286. Is o a composite number?
False
Let c = 717 - 455. Is c prime?
False
Suppose 0 = 4*l - 2*f + 1355 - 4169, 1397 = 2*l + f. Is l a prime number?
True
Let u be 28/6 - (-2)/6. Suppose 8 = u*b - 7. Suppose 0 = -2*y - 4*x + 26, -b*x - 94 = -5*y + 10. Is y a composite number?
False
Let v = -478 - -1016. Is v composite?
True
Let d(f) = f - 10. Let o be d(7). Let a = 199 - 337. Is a/(-9) - (-1)/o a composite number?
True
Let s(g) = 3*g**3 - 2*g**2 - 4*g - 6. Is s(5) prime?
False
Let w(i) = -i**3 + 11*i**2 - i + 3. Let u(x) = -x**3 + x**2 + 10. Let t be u(0). Is w(t) a composite number?
True
Suppose i - 2*f + 0 = 7, -2 = 2*f. Suppose -l = -i*m - 82, -2*l - 2*m + 79 = -37. Suppose -l = -q - q. Is q prime?
True
Let s(v) = v**2 + 6*v + 2. Let c be s(-6). Let t(r) = r + 18*r**c - r + r**2. Is t(1) composite?
False
Let o be -9*((-2)/(-3) + -1). Suppose w - 7 = -m, 8*w + 35 = 2*m + o*w. Is m a prime number?
False
Let m(i) = 11*i**2 - i + 1. Let k be m(-3). Let b be k - 2/(1 + 0). Suppose 5*r = -4*n + 160, 0*r - r - b = -3*n. Is n a prime number?
False
Let f be 3/4 - (-3)/(-4). Suppose -5*y + 3*l = -5, 4*l - 28 = -2*y - f*l. Suppose 2*s - 5*a = -2*s + 139, 143 = 5*s + y*a. Is s a prime number?
True
Suppose 5*u - 575 = -4*z, 58 = z + 2*u - 85. Is z a prime number?
False
Is 0 + -4 - (-165 - 2) a prime number?
True
Suppose 10 = -3*a + 1. Is 10/(-15) + (-113)/a prime?
True
Let n(j) be the third derivative of j**5/60 + j**4/8 - 2*j**3/3 + j**2. Let b(d) = -7*d + 22. Let v be b(4). Is n(v) composite?
True
Let j be (-1142)/3 - (-2)/(-6). Let c = j + 708. Suppose -5*k = f - c, 0 = -2*k + 5*f + 137 - 17. Is k a composite number?
True
Let l(v) = 1 - 1 - 1 + 23*v. Suppose 4*x = -o + 21, -2*o + 2*x - x - 3 = 0. Is l(o) a composite number?
True
Let q(l) = -l**3 + 4*l**2 + l - 2. Let w be (-1)/((-2)/(-8)*-1). Let a be q(w). Suppose 0 = v - u + 3*u - 199, -4*v - a*u + 772 = 0. Is v a composite number?
False
Let d(y) = y**2 + 6*y + 5. Suppose 2*x = l - 0 + 8, 2*l - 8 = 0. Is d(x) composite?
True
Let v(u) = -2 - 10*u**2 - 2*u - 9*u + 8 + u**3 + 0*u**3. Let z be v(11). Suppose z*x - 217 = 5*x. Is x a composite number?
True
Let m be ((-9)/27)/((-2)/96). Is 3576/m*2/3 a prime number?
True
Let s be 155*(1 - 2)*1. Let a(y) = -y**2 - 4*y - 1. Let r be a(-3). Let w = r - s. Is w a prime number?
True
Let t = 906 - -143. Suppose -7*w = -8*w + t. Is w a prime number?
True
Suppose h - 3 = -5, 10 = -k - 4*h. Is k*(-5)/(40/356) prime?
True
Let x = 182 - 69. Let n = 175 - x. Is n prime?
False
Suppose 537 + 960 = 3*u. Is u prime?
True
Is (-4)/(3 + (-442)/146) a prime number?
False
Suppose 14*f = 10*f + 5164. Is f prime?
True
Suppose -d - 4 = 3*s, 4*d - 12 = 2*s - 0*d. Let j = s - 4. Is (-134)/(-6) + j/(-9) a composite number?
False
Let j(h) = -4*h - 1. Let g be j(-1). Suppose -i - 97 = -g*d, 3*i - 29 - 52 = -3*d. Is d prime?
True
Let m = -2229 - -4396. Is m prime?
False
Let i(r) = r**2 + r - 913. Let o be i(0). Let z = -486 - o. Suppose -32 = 5*c - z. Is c a composite number?
False
Let j = 3673 - 2235. Is j composite?
True
Let o(p) = -5*p**3 - 33*p**2 - 8*p - 37. Is o(-15) prime?
True
Suppose z = -4*q + 1773, -5*q - 5 = -0. Is z prime?
True
Let i be (-26)/(2/4 + 0). Let b = i - -131. Is b composite?
False
Suppose 23 + 75 = 2*z. Is z composite?
True
Let z(r) = r**2 - 3*r + 6. Let c(v) = 3*v**2 - 9*v + 18. Let g(i) = -2*c(i) + 7*z(i). Is g(-5) a prime number?
False
Is -1*(-5035 - 2 - 0 - 2) a prime number?
True
Let h = 452 + -241. Is h prime?
True
Let k = 23 - 16. Is k prime?
True
Let x(a) = 2*a**2 - a + 7. Is x(-18) prime?
True
Let z(s) be the t