160. Suppose -p + y = 2*k + 2*k, -3*p + k + 922 = 0. Is p composite?
False
Let t = -43 + 41. Is 675 - t/(4/(-4)) prime?
True
Let g be 4 - 1*(-4 + -98). Suppose -452 = -s - g. Let f = 563 - s. Is f a composite number?
True
Let w(d) = -5*d + 13. Let v be w(2). Suppose 3*h = -v*n + 5390 + 2356, n = 5*h - 12892. Is h prime?
True
Suppose -120*q - 82163 = -121*q. Is q composite?
False
Let u be (-1)/(-5) + 3 + 52/(-10). Let c(l) = -72*l**3 + 3*l**2 + 3*l + 1. Is c(u) composite?
True
Is (-3 + -1 + 5)*9109 a composite number?
False
Suppose -3*a = -f + a + 705, 2*f - 1399 = -3*a. Is f prime?
True
Let t = -1511 + 2622. Is t prime?
False
Let k(f) = 73*f + 37. Let c(r) = -147*r - 72. Let i(u) = -3*c(u) - 5*k(u). Is i(6) prime?
True
Suppose -2*o = 5*k - 5*o + 57035, -4*o - 22788 = 2*k. Is k/(-28) - 4/14 a composite number?
True
Is (-3)/(-3) - 2 - (-4 - 188) composite?
False
Is 10/6*125646/215 prime?
False
Let z = -40364 + 77793. Is z a prime number?
False
Suppose -t = 2*n - 6, t - 8 = -2*t - n. Suppose -3*u + 44 = b, -t*b - 2*b - 34 = -2*u. Is u prime?
False
Let a(v) = 800*v + 237. Is a(5) a composite number?
True
Let z(a) = 54*a**3 - 11*a**2 - 15*a - 2. Let b(i) = 27*i**3 - 6*i**2 - 8*i - 1. Let c(x) = 11*b(x) - 6*z(x). Let v be 0*(-4)/16 - 1. Is c(v) a prime number?
False
Let h(u) = -42*u**2 - 4*u - 3. Let s be h(-3). Let k = -118 - s. Is k a prime number?
True
Let v = 5000 + -1389. Is v a composite number?
True
Let j(z) be the third derivative of -5*z**4/24 + 11*z**3/6 + 63*z**2. Let l be 18/(-1 + -1) + 1. Is j(l) composite?
True
Suppose q = 1, -5*v - 1097 = -q + 4*q. Suppose 2*w - 4*w + 1054 = 2*a, -5*w = a - 527. Let h = a + v. Is h prime?
True
Suppose -46*j + 40*j + 236994 = 0. Is j composite?
False
Let a = 13169 - 6882. Is a prime?
True
Let i(z) be the third derivative of 5/6*z**3 + 0*z + 13/24*z**4 + 0 + 5*z**2. Is i(4) a composite number?
True
Suppose 19203 - 2375 = 2*y. Suppose -3*v + 6 - 21 = 0, b - y = -v. Is b prime?
True
Suppose 3807*i = 3822*i - 143475. Is i a prime number?
False
Let m = 29 - 27. Suppose -3*n + 3*o + 1665 = 0, n + m*o - 547 = -o. Is n a prime number?
False
Let m = 5 - -3. Let v be 4*m - (1 - 0). Suppose -2*s = -209 + v. Is s prime?
True
Is 11 + -8 + (814 - -4) composite?
False
Let l(q) = 93*q**3 + 17*q**2 - 22*q + 10. Is l(6) composite?
True
Let s(b) = -5*b**3 + 3*b**2 - b + 2. Let z be s(2). Let j = z - -31. Suppose -j*l + 102 = -0. Is l composite?
True
Let l(z) = 1709*z - 266. Is l(27) a composite number?
True
Suppose 3*i - 25 + 4 = 0. Let c(v) = v**3 - 7*v**2 - 2*v + 17. Let u be c(i). Suppose -u*x + 144 = -h + 39, -2*h - 74 = -2*x. Is x prime?
False
Is 86161/21 + 32/336 a prime number?
False
Suppose -m + 12 = -5. Let g(j) = -343*j**2 + m + 1050*j**2 - 16 - j. Is g(-1) composite?
False
Suppose 4*z + 5*t - 17 = 0, 7*z - 5*z = -5*t + 11. Suppose 399 = z*b - 7*b + u, 0 = 3*b - 3*u + 288. Let g = 168 + b. Is g prime?
True
Suppose 2*b + 5258 = -5808. Let g = b + 10944. Is g prime?
False
Is 4140685/(-86)*(-2)/5 prime?
True
Is (-1)/(((-40)/430)/4) composite?
False
Suppose -b = -0*q - 5*q + 1431, -566 = -2*q + 2*b. Suppose -8*z + 7*z = -q. Is z a composite number?
True
Let g(t) = 19*t + 25. Let x be g(-9). Let n(s) = 5*s**2 + 6*s - 7. Let c be n(7). Let z = c + x. Is z composite?
True
Let u(w) = -7*w - 2. Let m be u(-1). Suppose -3*q - m*s - 74 = 0, 2*q - 5*s + 59 = 18. Let o = 90 + q. Is o composite?
False
Suppose 2*z - 8 + 32 = 0. Suppose 50 = -2*t + 4. Let j = z - t. Is j a prime number?
True
Let c(p) = -p**2 - 343. Let a = -18 + 18. Let v be c(a). Is v/(-5) - (-2)/5 a prime number?
False
Suppose -2 = f + 2. Is (9910/6 - f)*3 a prime number?
True
Let i(u) = -934*u + 5. Let d be i(1). Let z = -628 - d. Is z composite?
True
Let u(s) = 568*s**2 - s + 79. Is u(6) prime?
True
Let z be 6*(-2)/(-6)*(1 - -1). Suppose z*w - 41 = -m, w = -m + 3*w + 59. Is m a composite number?
False
Let d be 1945/(-7) - 7*(-1)/(-49). Let h = 469 + d. Is h a prime number?
True
Suppose -8 = -2*k + 5*c - 26, -6 = 2*k + c. Let z be k*1*(-3)/(-2). Let v(y) = 4*y**2 + 2*y + 1. Is v(z) a prime number?
False
Let f be 6/27 + 18/(-81). Suppose f = -z - z + 7934. Is z a composite number?
False
Suppose 192*j - 191*j - 12949 = 5*h, -h + 64641 = 5*j. Is j a composite number?
True
Let l be (16/(-32))/(1 + (-15)/16). Is 70/20*l/(-14) - -207 composite?
True
Let o be (36/8)/9*(-6)/(-3). Is -1*(-576)/o + 6/(-2) a composite number?
True
Let i = -30 + 35. Suppose -i*o = -2*m + 1973, -2*m - o = 2*o - 1997. Suppose 8*u + 3973 = 4*w + 3*u, -w + u + m = 0. Is w composite?
False
Let x(o) be the third derivative of -o**5/20 + 55*o**4/24 - 17*o**3/6 - 25*o**2. Is x(13) a composite number?
False
Let a = -590 - -9829. Is a prime?
True
Let z be 3 - (0 - 0)/1. Suppose -z*u + 7*u + 216 = 0. Let v = u - -233. Is v composite?
False
Is 25/(-5) - 1 - -197 composite?
False
Let y = 2021 - 1264. Let z = -236 + y. Is z a composite number?
False
Suppose -35 - 10 = -5*b - 4*d, 4*d = 20. Suppose -4*k - 16 = 0, -b*m + 5782 = 4*k + 1193. Is m prime?
False
Let y be (-2832)/(-108) + -6 - (-4)/(-18). Let j = -6 + -2. Is j/y + (-6354)/(-10) prime?
False
Suppose -2*c = g + 875, g = -3*c + 3*g - 1302. Let w = c + 763. Is w/9 - 2/(-3) prime?
True
Let h(f) = 479*f**2 + 26*f - 26. Is h(1) prime?
True
Let a = -1350 + 766. Let q = a - -1203. Is q prime?
True
Suppose 2*o + o + 27 = 0. Let r be (-101)/o - (-28)/(-126). Suppose 7*y = r*y - 52. Is y a prime number?
True
Let m = 1252 + 3190. Is m a prime number?
False
Suppose 4*d - 269 = 3*u, -3*u + 5*d - 332 = -61. Let m = u - -113. Is m a composite number?
True
Suppose j + 16 = 4*i, -2*j - j + 3*i = 3. Suppose -4*f = j*z - 28, z + 2*z + 39 = 3*f. Is f a composite number?
True
Suppose 0 = 3*l - 3, -4*x - 3 = -5*x + 3*l. Let m(j) = j**3 - j**2 + 2*j - 2. Let d be m(x). Suppose -5*b + d = 5. Is b composite?
False
Suppose -3*i = 2*y - 9439, 2*i + 0*i - 6289 = -5*y. Is i a composite number?
True
Suppose 5*k - 9411 = -2*m + 8601, 0 = 3*k + 6. Suppose -2*r - 4*y = r - 5402, 0 = -5*r + y + m. Let x = 2589 - r. Is x a composite number?
False
Let q = 13 + 7. Suppose -8 = -2*z - 2. Let m = z + q. Is m a composite number?
False
Let l = 279 + -20. Is l composite?
True
Suppose -n + 106 = 5*h, -3*n - 4*h = -4*n + 79. Is n a composite number?
True
Suppose 0*k + 32 = 2*v + 4*k, 4*v = -3*k + 59. Let o be (-4)/v + 231/(-49). Is (-66)/o - 4/20 a prime number?
True
Let m be 12/8*16/6. Let h be 1/m - (-45795)/(-12). Is ((-4)/6)/(16/h) composite?
True
Let q be 280/24 + 2/(-3). Suppose -3*p - q - 1 = 3*n, 0 = n + 4*p + 19. Is n*-2 + 481/1 prime?
True
Is ((2 - -1) + (-117)/18)*-1982 a composite number?
True
Let m be 34/(-255) - 148/15. Let o(g) = -13*g - 3. Is o(m) composite?
False
Suppose 0 = -l + 4*b - 15, 4*l + 4*b - 12 = 2*b. Let a(x) = 7*x + 2. Let j be a(l). Let t(r) = r**2 - 2*r - 5. Is t(j) a composite number?
True
Suppose 0 = 4*p - 8, 0 = -n - 2*p + 6*p - 6. Suppose -3*z = -7 - n. Suppose z*a - 4*a = -3. Is a prime?
True
Let z = 339 - 13. Suppose -3*f + z = 2*l, 0 = -l - f + 4*f + 163. Is l a prime number?
True
Let w = -43 + 30. Is (-4 + (-177)/6)*(w + -1) prime?
False
Suppose 139717 = 5*c + 3*i, 83807 = 3*c - 75*i + 71*i. Is c a composite number?
False
Let v(r) = 15465*r + 2. Is v(1) a prime number?
True
Suppose 3*a - 3194 = -2*y, 0 = 3*y - y + 5*a - 3194. Is y prime?
True
Let t(g) = -2*g + 6. Let k be t(-3). Let u = k + -10. Is (-4)/(-6)*1401/u composite?
False
Let l(m) = m**2 - 5*m - 31. Let u be l(9). Let j(z) = z**3 + z**2 + 1461. Let w be j(0). Suppose 2*r + w = u*r. Is r composite?
False
Let n = 11 - 7. Suppose -n*g + 20 = -0*g. Let z = 9 + g. Is z composite?
True
Let l(j) be the first derivative of 37*j**5/30 + j**4/24 - j**3/6 - 9*j**2/2 - 7. Let s(m) be the second derivative of l(m). Is s(-2) a prime number?
True
Suppose -4*k + 6*c + 267080 = 0, -5*k + 3*c = -119014 - 214827. Is k a prime number?
False
Let r be (-30)/9*(-93 - 0). Let d = 719 - r. Is d a composite number?
False
Let n(w) = -w**3 + 3*w**2 - 2*w + 131. Is n(-11) a composite number?
False
Let f(n) = -71*n - 2. Suppose 0*z - 10 = -2*z. Suppose -q - 2*d = 5, 5*d = -z*q + 2*d - 18. Is f(q) a prime number?
True
Let r = 860 - 598. Suppose r = 3*d - 320. Is d a prime number?
False
Let o = 27375 - -9682. Is o