6 - 213. Suppose -p - 77 = -4*k. Suppose 0*y - 5*n = 5*y - k, -y - 5*n = -15. Is y composite?
True
Let h = 4 - 1. Suppose -3*c + 18 = h*g, 5*c = -0*g - 4*g + 32. Suppose 2*l = c - 4, -4*k + 5*l + 130 = 0. Is k composite?
True
Suppose -3*j = -0*j - 216. Suppose v = -4, 0 = 4*p + 4*v - j - 4. Is p prime?
True
Suppose -4*l = l + 5*p + 45715, l + 9139 = -5*p. Is l/(-30) + (-1)/(-5) a composite number?
True
Let w = 279 + -80. Is w prime?
True
Let c(r) = -25*r**2 + 15*r - 6. Let o(b) = -12*b**2 + 7*b - 3. Let y(h) = 2*c(h) - 5*o(h). Is y(4) prime?
False
Let r(p) = 625*p + 43. Is r(6) a prime number?
True
Let x = 425 + -238. Is x prime?
False
Let x = 1 + 2. Suppose 12 = -3*t, 2*b = -0*b + 4*t + 20. Suppose -11 = -b*i + x. Is i composite?
False
Suppose 0 = 4*h + p + 154, -3*h - 146 = h + 5*p. Let f = h + 74. Is f a prime number?
False
Let n be 720 - 4*(-1)/(-2). Let t = n + -410. Let s = t - 215. Is s composite?
True
Suppose -1105 = -6*h + 5*h. Suppose -8*z + 3*z = -h. Is z prime?
False
Suppose -t = -0*t - 4. Let q = 0 + t. Suppose 0*h + q*h - 52 = 0. Is h prime?
True
Let v be ((-6)/(-8))/((-5)/(-120)). Suppose -5*p + w = -v, 9 = 5*p + 3*w - w. Is (-185)/(p + -6 - -2) composite?
True
Let s(q) = 8*q**2 - 9*q - 10. Let o(g) = -9*g**2 + 10*g + 11. Let p(f) = 5*o(f) + 6*s(f). Is p(8) a prime number?
False
Suppose -4*p - 2 - 6 = 0. Let r(o) = -o**2 + 2*o + 2. Let k be r(p). Is (-58)/(-4) - 3/k a prime number?
False
Suppose 0 = p - 3*p - 1050. Let h = 51 + -47. Is p/(-14) - 2/h a prime number?
True
Let g = 1070 + 3839. Is g prime?
True
Let a = 5 + -3. Suppose -a*k - 3*k + 1630 = 0. Suppose 0 = -x - 3*d + 2*d + 159, -k = -2*x + 2*d. Is x a composite number?
True
Let u be ((-2 - -2) + 1)*101. Suppose s = -2*i - 2*s - 8, -i + 4*s - 26 = 0. Let x = i + u. Is x prime?
False
Let u = 4436 + -1981. Is u a prime number?
False
Let l = 2738 - 1101. Is l a composite number?
False
Suppose -3*j + 4*v + 8 = 0, -j + 4 = 3*j - 2*v. Suppose j = -2*h + 2 + 96. Is h a prime number?
False
Let h(a) = a**3 - 9*a**2 - 8*a + 2. Is h(10) prime?
False
Suppose -4*u + 2456 = 5*x, -u - 169 = -3*x - 783. Is u a composite number?
True
Suppose 0 = -4*g + 5*h - 47 + 507, -g - 4*h = -115. Is g prime?
False
Let r be 16/10*(-20)/(-8). Suppose -r*q + 5*z = -0*q, -4*z = 0. Suppose q = -5*c + c + 76. Is c a prime number?
True
Let k be 150/20*(-76)/(-5). Suppose -3*d = -5*d + k. Is d prime?
False
Let g = 42 + 8. Let y = g - -152. Is y a composite number?
True
Let b(a) = 4*a**3 + 1. Let m(w) = w + 7. Let p be m(-6). Let v be b(p). Suppose -4*z + 499 = -v*s, z + 5*s + 237 = 3*z. Is z a prime number?
True
Let y(g) = -g**3 - 9*g**2 - 8*g - 4. Let z be y(-8). Let d(b) = -3*b**3 - 1. Is d(z) composite?
False
Let u(g) = 69*g - 28. Is u(13) prime?
False
Let r(p) = 21*p**2 + 20*p + 25. Let f(g) = -4*g**2 - 4*g - 5. Let u(i) = -11*f(i) - 2*r(i). Let t = -14 - -18. Is u(t) a prime number?
True
Suppose j - 6*j + 10 = 0. Suppose j*p + 106 = 388. Is p composite?
True
Suppose 7*y + 0*y - 3815 = 0. Is y composite?
True
Suppose 1 = p - 3*k, p - 4*k = -0*k. Suppose -2*q + p*q = 8. Suppose 180 + 136 = q*d. Is d composite?
False
Suppose -3*s = 2*s + 4*x - 4563, 0 = 5*s - 4*x - 4547. Is s composite?
False
Suppose -4*r - 8 = -0*r. Let t be 42/10 - r/(-10). Suppose -7*g + 158 = t*d - 2*g, -5*d + 4*g + 177 = 0. Is d a composite number?
False
Suppose 5*y - y - 864 = 0. Suppose -5*w - i = -476, 3*i - y = -4*w + 167. Is w a prime number?
False
Let h = -18 - -32. Suppose 489 = -11*m + h*m. Is m a prime number?
True
Let u be (-102)/((8/5)/(-4)). Suppose 2*j - 1049 = -u. Is j a prime number?
True
Suppose 1174 = -2*b - 0*b. Let o = 68 - b. Is o a prime number?
False
Suppose 2*p - 1502 = 6*j - 4*j, -j - 2249 = -3*p. Is p prime?
False
Let h be (-1)/(-1 - -2) + 3. Let l = h + -2. Suppose l*d = -3*d + 573. Is d prime?
True
Let x(y) be the first derivative of -y**4/4 + 8*y**3/3 + y**2/2 + 3*y - 1. Is x(7) a composite number?
False
Let y(f) be the second derivative of -f**5/20 + 7*f**4/12 - f**3 + f**2 + f. Let v be y(6). Suppose 2*p - 28 = -v*p. Is p composite?
False
Suppose 0*f = -4*f + 1008. Let d = f - 105. Let t = d - -70. Is t composite?
True
Suppose 0 = -5*n + 1867 + 1338. Is n composite?
False
Suppose -141 = -5*k + 2*k. Let f = 130 - k. Is f a prime number?
True
Let h(j) = -26*j + 2. Let g be h(-1). Suppose 4*x - 424 = g. Is x prime?
True
Is (20/8 + 3/3)*62 a prime number?
False
Let t(s) = -s - 1. Let k be t(-1). Suppose 19 = 5*y - 2*g - 2*g, -4*g + 16 = k. Is y a prime number?
True
Let z = -22 + -5. Let h = z - -7. Let o = h + 33. Is o prime?
True
Let g(m) = m + 12. Let u be g(-8). Is 337*u/(3 + 1) prime?
True
Let l(p) = -4 - 5*p**2 - 9*p - 4*p**2 + 1 - p**3. Let i be l(-8). Is -1 + i/(5/38) composite?
False
Let a be (-4)/((-12)/9)*1. Let v(t) = t**2 - 7 + a*t - t**3 + 2*t**3 - 3*t**2 - 2*t**2. Is v(5) composite?
True
Let j(x) = x - 1 - 3*x + 0*x + 2*x**2 + 6. Is j(-5) a prime number?
False
Suppose 3*d - 4 - 2 = 0. Suppose -476 = -6*w + d*w. Is w a composite number?
True
Is (6 - 0)*215/10 a prime number?
False
Suppose y = -0*y + 71. Is y prime?
True
Suppose -2*f + 3*f = 2. Suppose 5*o - 285 = 5*a, -2*o - f*o = 12. Let s = 91 + a. Is s prime?
True
Is 4/4 + 248*1 a prime number?
False
Let f(m) = m**3 - m**2 - m + 22. Let h = -1 - -2. Let l be h/(-2) + 4/8. Is f(l) composite?
True
Let y(x) = 14*x**3 + x. Suppose -5*c = -2 - 3. Is y(c) a prime number?
False
Let o = 2 + 1. Suppose -5*n = -n + o*x - 61, -5*x - 101 = -4*n. Let k = n - 9. Is k composite?
True
Let c(k) = 4*k**2 + 4*k - 5. Let w(m) = -m - 4. Let f be w(0). Is c(f) prime?
True
Let c be ((-116)/6)/(8/(-84)). Let v = c - 145. Is v a prime number?
False
Suppose -542 = -p - 163. Is p a composite number?
False
Suppose u - 5 = -5*r + 4*u, 4*r = u + 11. Is (-385 - -3)*(-2)/r a prime number?
True
Suppose h - 20 = 3*z + 226, -3*h = 5*z - 668. Suppose 23 + h = 2*d. Is d composite?
False
Let m(i) = 7*i - 5. Let k be m(-5). Let d be k/(-18) - 14/63. Suppose 3*f - 95 = -4*l, 3*l = -0*f + d*f - 69. Is f prime?
False
Suppose 3*h = 0, -u = -5*u + 3*h - 208. Is 0 - (u - (-1)/(-1)) prime?
True
Suppose -1 + 5 = f. Let m be 0/(2*2/f). Is (-230)/(2 - m)*-1 a prime number?
False
Let r be (-87)/(-18) - (-3)/18. Suppose 0*u = -4*f + 5*u + 1364, 0 = -r*u. Is f composite?
True
Let p(d) = 4*d**2 + 4*d + 2. Suppose -2*w + 11 + 1 = 0. Let t be p(w). Suppose -42 = -4*h + t. Is h a prime number?
True
Let d(m) = m. Let l be d(2). Suppose 6*c = l*c. Suppose -i + 181 - 54 = c. Is i prime?
True
Let l = 16 - 10. Is 3 + 0 + l + 1 prime?
False
Let n = 68 - -47. Is n a composite number?
True
Let y be (1 - 6)*8/(-10). Suppose 25 = y*b + b. Suppose 0*o - 4*g = -4*o + 64, 0 = -4*o + b*g + 61. Is o a composite number?
False
Suppose -3*a + 4*a - 2*y = 33, -a - y = -42. Suppose -396 + a = -3*q. Is q a prime number?
False
Suppose -5*w + 662 = -353. Is w composite?
True
Let f(m) = m**3 + 3*m**2 - 13*m + 8. Let l(s) = s**3 + 6*s**2 - 9*s - 5. Let j be l(-7). Is f(j) a composite number?
False
Let k = 284 - 165. Is k a prime number?
False
Let i = -165 + 118. Let d = 354 + i. Is d composite?
False
Let y be 267/(-2)*4/3. Let u(w) = 10*w**2 - 2*w + 7. Let a be u(-5). Let o = y + a. Is o a composite number?
False
Is 4/6 + 705/9 prime?
True
Suppose 6*h = 612 - 102. Is h a prime number?
False
Let c(a) = -2*a - 9 - 5*a + 5*a. Suppose i = -11 - 0. Is c(i) prime?
True
Let n(u) = u**2 + 2*u - 5. Suppose -5*q = -0*q + 25. Is n(q) prime?
False
Let f(k) = k**2 + 13*k + 8. Let v be f(-12). Let x(d) = 3*d**2 + 5*d + 2. Let p be x(v). Let b = 51 - p. Is b composite?
True
Let z(t) = -1. Let k(f) = 8*f + 3. Let l(w) = -k(w) - 2*z(w). Is l(-7) a composite number?
True
Let a = 1 - 1. Suppose -5*u - 2*h - 2*h + 1059 = a, 0 = u - 5*h - 235. Suppose 3*r = 5*k - r - u, -4*r = -4*k + 168. Is k a composite number?
False
Let s(a) = -10*a**3 + 2*a**2 + 2*a - 1. Let f = -4 - -2. Is s(f) prime?
True
Suppose -3*h + 5*z - 1303 = 1733, 2*h + 2022 = 4*z. Let v be h/(-12) + 1/4. Suppose -v = -y - 4*l, 3*l + 0*l = -5*y + 442. Is y composite?
False
Let u = 110 - -270. Suppose 6*s = s + u. Let y = s - 41. Is y composite?
True
Let b be 132/24 + 2/4. Let i be ((-31)/(-3))/((-2)/(-30)). Suppose 0 = -d + b*d - i. Is d a prime number?
True
Suppose 2*l + 3