*z**3 - 4*z**2 + 5*z - 1. Let r(y) = -y + 13. Let w be r(17). Is j(w) prime?
True
Is (-12)/16 - 18695/(-4) composite?
False
Let i = 18 + -17. Let u = 6 - i. Suppose -u*f + f = -2564. Is f composite?
False
Let y(g) = -49*g - 2. Let u be 8 - ((-28)/(-4) + -4). Suppose 0 = u*c - 5 + 10. Is y(c) a prime number?
True
Suppose 3*u = -u + 8, 0 = 4*t + 5*u - 19190. Suppose 7*i - 2*i - t = 0. Is i composite?
True
Suppose 1438 = p + p. Suppose i - p = 336. Is i a prime number?
False
Suppose -27*t - 40*t = -4682697. Is t prime?
False
Suppose -5802 - 7242 = -4*z. Is z a prime number?
False
Suppose d = 1 + 24. Let f be 1/3*3*d. Suppose 49 + f = l. Is l prime?
False
Let m(o) be the second derivative of 59*o**4/3 - 7*o. Let p be m(1). Suppose p + 320 = 4*k. Is k prime?
True
Let t(i) = 2*i**2 - 12*i + 14. Let n be t(5). Is 513 + ((-5)/((-5)/n))/2 a prime number?
False
Let v(k) = -3 + 4*k - k + 2 - 4*k. Let y(o) = 8*o + 10. Let c(l) = -5*v(l) - y(l). Is c(-8) a prime number?
True
Let p = -19127 - -27314. Is p composite?
True
Suppose 6*c - 10*c - 16 = 0. Is (9/c)/3*-4436 prime?
False
Suppose -5*p = 3*g + 3 - 13, 4*p = g - 9. Suppose -k - 5*x - g = 1, 0 = 3*k + 2*x - 8. Suppose 0 = k*q + 163 - 967. Is q a prime number?
False
Suppose 3 = 2*o - 1. Suppose c - o*c = -9. Is c prime?
False
Let x be (-8 + 6)*(-26)/4. Suppose -2*a + 46 + x = d, -3*a = d - 87. Suppose o - a = -y + 134, -2*y + 5*o = -317. Is y a prime number?
False
Let q = 2 - 2. Let d(x) = -x**2 + 2*x + 68. Let p be d(q). Let h = 354 + p. Is h composite?
True
Suppose -10*o - j + 45846 = -5*o, -5*j + 5 = 0. Is o a prime number?
False
Is (-95)/114 + (-97307)/(-6) a prime number?
True
Let m = 5435 - 2038. Is m composite?
True
Let c(u) = 209*u**3 + 3*u**2 + 6*u**2 - 8 + u + 4*u - 6*u**2. Let v be c(-4). Is 2/5 + v/(-60) a composite number?
False
Let b = 32611 - 16193. Is b a prime number?
False
Suppose -4*y = s - 5781, 4*s + 3*y - 17325 = s. Is s prime?
False
Suppose -46656 = -7*p + 28447. Is p a composite number?
False
Let z(f) = -4*f**2 - f + 99. Let v be z(0). Let q = 322 - v. Is q a prime number?
True
Suppose 25489 = 3*z + 4*u - 30103, 0 = 3*z - 5*u - 55628. Is z/(-70)*(-10)/4 composite?
True
Let y = 1297 - 134. Is y a composite number?
False
Suppose 4*v - 9*v + k = -36414, v = -k + 7284. Is v a prime number?
True
Suppose -96207 = -7*f + 232912. Is f a prime number?
True
Let j(y) be the third derivative of y**4/8 + 17*y**3/6 + 3*y**2. Is j(12) prime?
True
Suppose -279*k + 270*k = -373365. Is k a composite number?
True
Let v(z) = -2*z - 6 + 6*z - 4 - 3*z. Let l be v(13). Suppose -l*x = -x - 314. Is x composite?
False
Let q(z) = 10*z - 9*z + 2 + 10*z - z**2. Let y be q(11). Is 0/(y + -1) - -67 prime?
True
Suppose 45 = -7*w + 2*w. Let m = w + 11. Suppose m*y = 358 + 156. Is y prime?
True
Let m be ((-1 - -1)/(-3))/(-2). Suppose 7*x - 3*x - 7964 = m. Is x composite?
True
Let q(i) = i**3 - 14*i**2 + 3. Let u be q(14). Suppose -3*x = 3*j - 1125, 9*x = 4*x + u*j + 1907. Is x composite?
False
Let i(s) = 85*s + 3. Let p be i(2). Suppose -p = -k + 2*b, 0 = 5*k - k - 3*b - 677. Is k composite?
False
Let c = 146 + 29. Let b = -4 - -9. Suppose 0 = 5*p - 3*f - 808, b*f + 635 = 5*p - c. Is p a composite number?
True
Let f(z) = -4*z**2 - 3*z - 2. Let y be f(-1). Let p(h) = -65*h**3 + h**2 - 3. Let i be p(y). Suppose 7*t = 4*t + i. Is t a prime number?
True
Suppose -1033 - 283 = -4*m. Is m a prime number?
False
Let s be 5 - (1 - 1)/1. Suppose -20*y = -15*y + 50. Let b = s - y. Is b a composite number?
True
Let m(v) = -v**2 + 15*v - 19. Let k be m(13). Suppose 4*z - k = 1. Is 331/(-2*(-1)/z) a composite number?
False
Let d = -11 - -25. Let k be 4/d - (-19)/7. Let y(a) = 167*a - 2. Is y(k) a composite number?
False
Let r = -303 + 568. Let i = r + -96. Is i a prime number?
False
Is (40/50)/(-2) + (-11514)/(-10) composite?
False
Suppose -19*i - 10*i = -694898. Is i a composite number?
True
Suppose -4*q = 4*o - 112, 3*q - 31 = -5*o + 43. Suppose -9 = -r + k, -4*r - 5*k + q + 3 = 0. Is 137/r - (-14)/(-63) prime?
False
Let j = 22 + -27. Let q be (-1)/j + (-935739)/(-105). Is (-2)/3 - q/(-48) prime?
False
Let j be 3 + 3*(3 + -2). Suppose -5*d = -15, -24 = j*v - 8*v - 4*d. Suppose v*i - 419 = 535. Is i a prime number?
False
Suppose 100 = -5*q - 1035. Let z = q - -562. Is z a composite number?
True
Let x = -155 + -48. Let c = 582 + x. Is c composite?
False
Let c be (30/24)/((-2)/(-8)). Suppose 2*m + n - 4598 = -3*m, 3*m - c*n = 2742. Is m a prime number?
True
Let y(w) = -w**3 - 44*w**2 + 59*w + 161. Is y(-51) a composite number?
False
Suppose 0 = -5*h + 10, -2*r - 6*h - 272 = -2*h. Is -2*1/(-10) + (-22232)/r a composite number?
True
Suppose 0 = -4*s - 20, 5*s - 4434 = -4*v + 3*s. Is v a composite number?
True
Is 4 - (-1 - -3)*(-9219)/6 a composite number?
True
Let j(n) = 12*n + 1. Suppose -4*o + 12 = -0*o. Is j(o) prime?
True
Let t = 3 - 0. Suppose 1 = j, -6*j - 5 = -t*c - 2*j. Suppose c*y - 763 = u + u, 2*u = y - 261. Is y a composite number?
False
Suppose -1 = -3*r - 7. Let f be r/(((-8)/4)/2). Is (-2 + 0 - f) + 17 composite?
False
Let j(l) = 14*l**3 + 5*l**2 - 5*l - 11. Is j(6) a prime number?
True
Suppose 2*t = y - 900 - 1070, -y = 4*t - 1994. Is 1/((-1976)/y + 1) a composite number?
True
Suppose 2*c - c + 3*y = -3281, 0 = -5*c + 3*y - 16333. Let d = 1694 - c. Is d a composite number?
True
Suppose 31*m = 35*m - 48. Suppose -m*f + 5291 = f. Is f a prime number?
False
Suppose 5*p - p = 0. Suppose 3*t + p = 4*m - 2, -5*m + 18 = 4*t. Suppose 0 = -2*x + 4*f + 34, -2*x - m*f + 52 = 0. Is x composite?
False
Let g(y) = -y**3 + 3*y**2 - y. Let b be g(2). Is (-6 + 8)*31/b a composite number?
False
Suppose -13*i + 11*i + 506 = 0. Let w = -95 + i. Is w composite?
True
Let m = -70 - -215. Is m a prime number?
False
Let w(n) = 27*n**2 - 11*n - 131. Is w(15) a prime number?
True
Suppose 1092423 = -41*f + 5259704. Is f composite?
False
Let q be 12/8*2 - -250. Let v = q - 89. Is -2 + 5 + 7*v prime?
True
Suppose 433 = 3*o - 2564. Suppose b - 1417 = 2*k, 3*b + 2*k - 3284 = o. Suppose -2*s - 447 - b = -4*v, 924 = 2*v + 5*s. Is v a composite number?
False
Is ((-113675)/(-125))/(2/10) a composite number?
False
Suppose t + t = 2690. Is 1/(4040/t - 3) a composite number?
False
Let v be (-17)/(-3) + 2/6. Suppose v = 3*o - o. Suppose o*d - 343 = 290. Is d a prime number?
True
Let n = 10304 - 2157. Is n composite?
False
Is 8*6/96 + (-28290)/(-4) composite?
True
Let h(r) = 2085*r - 76. Is h(6) a prime number?
False
Let n = 4 - 3. Let o(j) = 57*j - 1. Let u be o(n). Suppose u = 3*a - 49. Is a a composite number?
True
Is 88/3*(103 + 5) + -5 composite?
False
Let r = -1019 - -2058. Is r prime?
True
Let q(u) be the second derivative of -2*u**6/45 - u**5/8 - u**4/3 + 5*u. Let n(t) be the third derivative of q(t). Is n(-11) a composite number?
False
Suppose 2*r = -10*r + 212748. Is r a composite number?
False
Let v = -1354 + 6311. Is v a prime number?
True
Let a be 6 - (-20)/(-5) - 2. Suppose a = 4*w + 267 + 681. Is 0*5/25 - w a prime number?
False
Let v be (-1)/(-2) + (-517)/22. Let c = 24 + v. Is 2 + c - 6 - -226 a prime number?
True
Let y = -2897 - -9000. Is y composite?
True
Let n = -24 - -37. Let s(p) = p - 12. Let w be s(n). Let m(f) = 88*f**3 - 1. Is m(w) prime?
False
Suppose 11*s - 45754 = -11687. Is s composite?
True
Let u be (-12)/(-16) + 0 - 4/(-16). Is ((-1)/(-3) - u)*(-93)/2 a prime number?
True
Suppose 0 = 3*u + 43*u - 2900346. Is u a prime number?
False
Let q(p) = 133*p**2 + 50*p + 294. Is q(-13) a prime number?
False
Suppose 8*n + 4*p = 5*n + 1906, n - 650 = -5*p. Let r = n - -379. Is r prime?
True
Suppose -5*k + k + 16 = 4*t, -3*t + 5*k + 12 = 0. Let i(s) = s**3 + 8*s**2 - 8*s - 9. Let f be i(-7). Suppose -t*v = -60 - f. Is v a prime number?
False
Let h = -185472 - -282053. Is h composite?
False
Suppose -y - g + 35 = -15, -g = 2*y - 102. Suppose y = v - 107. Is v prime?
False
Let d(u) = 2*u**2 + 12*u + 6. Let q be d(-3). Is ((-12)/(-9))/2*(-22698)/q composite?
True
Suppose 0 = -t - 2*j + 3 + 6, 0 = -4*t - 2*j + 60. Let s = -17 + t. Suppose -i + s*i = -4. Is i composite?
True
Let s be (192861/(-3))/(-3)*(-6)/(-9). Suppose -13*c + s + 235 = 0. Is c prime?
True
Let x(z) be the third derivative of 5*z**4/12 + 17*z**3/6 - 12*z**2. Is x(7) prime?