= -3*w - 2*w + 325. Is t prime?
False
Let j be (-1)/(-2) + (-1541)/(-2). Suppose -3*w - 120 = -j. Is w a prime number?
False
Let w be 83/4 + 3/12. Suppose 13 + 7 = 5*h, 5*o - 5*h - 110 = 0. Let l = w + o. Is l prime?
True
Suppose 7*z = -2*p + 3*z - 26, 0 = -2*z - 6. Let b = p + 14. Is b prime?
True
Suppose -8*u - 337 = -2985. Is u prime?
True
Let u(x) = 10*x**2 - x. Let z be u(1). Suppose 5*k = 2*k - z. Is ((-2)/k)/(2/381) a composite number?
False
Let m be (-144)/(-15) + 2/5. Let j(d) = d**3 - 9*d**2 - 6*d - 14. Is j(m) a prime number?
False
Let a(g) = 66*g - 4. Let v be a(-5). Let d = 577 + v. Suppose 5*x - 183 = -3*r + 39, -3*r + 2*x = -d. Is r composite?
False
Suppose 3*g - 69 = 3*a, -g + 94 = 2*g + 2*a. Suppose -g = -3*s + 32. Is (-22)/6*(-1 - s) a composite number?
True
Suppose -3*g + 3*y + 15 = -2*y, 4*y = 0. Let t(l) = -g - 3*l**3 - l + 2*l**2 + 4*l**3 + 4*l**2. Is t(-4) a composite number?
False
Is (201/9)/((-1)/(-3)) a prime number?
True
Let z(v) be the second derivative of -v**5/20 + 2*v**4/3 + 11*v**3/6 - 5*v**2/2 - 6*v. Is z(8) composite?
False
Let i(d) = -323*d - 1. Let c be i(-1). Let f = -159 + c. Is f a prime number?
True
Suppose -170 = -3*a + t, 0 = -5*a - t + 237 + 49. Suppose -a = -v + 230. Is v composite?
True
Suppose 2*u = 1107 + 979. Is u a composite number?
True
Let a = -1386 + 2425. Is a a composite number?
False
Suppose 0 = -r - 9*v + 4*v + 14, 4*v = 2*r + 14. Is (r - 1)/(2/(-87)) a prime number?
False
Let m(w) = -6*w**3 - 19*w**2 + 7*w + 11. Is m(-6) prime?
False
Is (-1079 + -18)/((-2)/2) a composite number?
False
Is ((-2)/6)/(5*(-8)/84840) composite?
True
Suppose -z + 16424 = 4*m, -4*m = 2*z - 6080 - 10348. Is m a prime number?
False
Let m(f) = -9*f - 4. Let a(d) = -d**2 - 7*d - 2. Let q be a(-6). Suppose q*x = 6*x + 6. Is m(x) a composite number?
False
Let y(s) = s**2 - 6*s + 3. Let u be y(6). Suppose 15 = u*i - 5*q - 15, -3*i = 5*q - 30. Is i a prime number?
False
Let m be (-5)/(-1)*(4 - 7). Let w = m + 21. Let c = 29 - w. Is c a composite number?
False
Is 97894/30 - (-8)/(-60) a prime number?
False
Suppose -552 + 12268 = 4*r. Is r prime?
False
Suppose 6*s + 3 = 3*s. Let r be s - (-2 + -1) - 0. Suppose n - r*n + 21 = 0. Is n prime?
False
Let x = 537 - 40. Is x composite?
True
Let g = 3639 - 2488. Is g a composite number?
False
Suppose -5*r = -24 - 1. Suppose 4*p = -0*g + 5*g + 436, -r*p = 2*g - 512. Let o = -37 + p. Is o prime?
True
Let i(m) = -m - 1. Let j be i(-1). Suppose h - 2 = j, -5*c - h = -3*h - 261. Is c a composite number?
False
Let h = -16 + 83. Is h a prime number?
True
Let n(u) = 11*u**2 + 2*u + 1. Let c be n(-1). Suppose -5*l - c = 0, 5*j - 5*l - 151 - 489 = 0. Suppose 21 = -5*z + 5*k + j, -4*z - 2*k + 96 = 0. Is z prime?
True
Suppose 2*b - z - 302 = 1515, -z = -5*b + 4538. Is b a prime number?
True
Let g(j) = -6*j + 11. Let h(c) = -c. Let q(i) = g(i) + 4*h(i). Let m be q(-9). Let t = 216 - m. Is t a prime number?
False
Suppose 4*x = q - 203, -2*x = 2*q + 3*x - 406. Is q a prime number?
False
Let j(k) = -k - 10. Let b be j(-9). Is (-12 - b)/(2/(-4)) prime?
False
Let x(n) = -n**2 - 6*n + 3. Let q(s) = s - 13. Let k be q(7). Let z be x(k). Suppose 8*a = z*a + 35. Is a prime?
True
Let b(n) be the second derivative of -43*n**3 - n**2/2 + 2*n. Is b(-1) prime?
True
Suppose 4*r = -5*o + 9283, 4*r = 2*o + 4359 + 4903. Is r composite?
True
Let a(c) be the third derivative of c**7/1260 + c**5/120 + c**4/8 - 3*c**2. Let o(v) be the second derivative of a(v). Is o(-5) prime?
False
Suppose 3*q + 24 = -3*z, q - 8 = 5*q. Let j(w) = -14*w + 1. Is j(z) a prime number?
False
Let l = -5 + 4. Let z = -1 - l. Suppose 212 = 4*u + 2*d, z*u + 3*u + 3*d - 153 = 0. Is u a prime number?
False
Let m = -3 - -6. Suppose -466 - 59 = m*v. Let i = 260 + v. Is i a prime number?
False
Let z = -63 - -29. Let u = -149 + z. Let m = -94 - u. Is m a composite number?
False
Suppose 0 = w - 4632 + 1842. Is 10/55 + w/22 composite?
False
Let u = 3262 + -1702. Suppose -3*g + u = -201. Is g a composite number?
False
Suppose 2*b - 7 = 1, 0 = -2*c + 2*b - 6. Is (3/6 + c)*2 composite?
False
Suppose 5*j - 2*r - 23 = -0*r, 0 = -2*j - r + 11. Let c = j - 2. Is ((-9)/6)/(c/(-66)) composite?
True
Suppose -5*r + 2*c + 14 = -20, -4*r + c = -26. Let q = r - 6. Suppose q = 2*z - 3*z + 35. Is z a prime number?
False
Suppose 267 = 6*v - 3*v. Is v a prime number?
True
Let w = 1 - -3. Let q be 6/24 - 1017/w. Let o = q - -439. Is o prime?
False
Let n be (-55)/10 - (-1)/2. Let s be n/3*-3 + 0. Suppose 2*h - 360 = -4*a, 5*a + h = s*h + 437. Is a prime?
True
Suppose 83 = 2*i - 97. Let v = -44 + i. Is v prime?
False
Suppose -3*t + 5*t - 447 = q, 0 = 2*q + 6. Suppose 0 = 2*l + t - 1128. Suppose 5*i - l = -2*w - 20, -166 = -2*i + w. Is i a prime number?
False
Let z(o) = -22*o**2 - 11*o + 11. Let y(s) = -11*s**2 - 5*s + 5. Let p(l) = -7*y(l) + 3*z(l). Suppose 0 = m + 1 - 3. Is p(m) a prime number?
False
Let l(z) be the second derivative of -2/3*z**3 + 0 + z**2 + 1/4*z**4 + 3*z. Is l(-5) a composite number?
False
Is (4/(-6))/((-12)/414) a prime number?
True
Let s = 711 - 232. Let y = s + -268. Is y composite?
False
Let z be 69 + -3 + (4 - 3). Suppose 0 = -n + 2*n - z. Is n composite?
False
Let b(s) be the third derivative of s**8/20160 + s**7/5040 + s**6/720 - s**5/60 - s**2. Let u(k) be the third derivative of b(k). Is u(-2) a prime number?
True
Let s(g) = 2*g - g + 6 - g + 4*g. Is s(7) prime?
False
Let b = 20 - 5. Suppose -4*t = -b - 197. Is t a prime number?
True
Suppose -13 = 3*x - 1. Let r be ((-12)/(-3))/(2 + x). Is (r/(-6))/((-4)/(-1788)) composite?
False
Let g(y) = -16*y + 15. Is g(-7) composite?
False
Let j be 3/(18/3)*0. Suppose j = -3*u + 639 + 108. Is u a composite number?
True
Is (206 - 0) + (9 - 10) composite?
True
Suppose -5*d - b + 4836 = 0, -5*d - 6*b = -2*b - 4839. Is d prime?
True
Suppose -3*j = -b - 19, 2*j = b + 16 - 0. Let m = b - -6. Is (m/(-8))/((-1)/(-30)) a composite number?
True
Let a(n) = 632*n - 19. Is a(9) prime?
True
Suppose -2*s - 3*y = -71, -4*s + 4*y = -0*y - 112. Is s a composite number?
False
Suppose -u - 10297 = -3*h, -5*h + u = -22578 + 5415. Is h prime?
True
Suppose 0 = -4*n + 3*n, 5*f = -n + 20. Suppose -7*h + f*h = -30. Suppose m - 23 = h. Is m a composite number?
True
Suppose -u + 99 = 3*d + 2*u, -5*d + 3*u = -197. Suppose 4*q - d - 199 = 0. Is q prime?
True
Let n(y) = -y**2 + 5*y - 3. Let c be n(3). Suppose 0*j = c*j - 1137. Is j a composite number?
False
Is 27/6*2/12*212 prime?
False
Suppose -5*x + 5 = 0, x + 149 = 5*f - 295. Is f a prime number?
True
Suppose 0 = 5*a + d + 3*d + 114, -2*a - 45 = d. Let l = 91 - a. Is l composite?
False
Let b = 9 - 4. Suppose 0 = -3*j - 5*a + 121, 0 = 5*a - b - 5. Is j a prime number?
True
Is (4220/10)/(-2 - -3) a prime number?
False
Let g = -626 - -389. Is (-4)/10 + g/(-5) a prime number?
True
Let l(h) = -45*h + 41. Is l(-8) composite?
False
Let r(c) = -2*c**3 - 2*c**2 + 3*c + 3. Let m be r(-2). Let k = m + 0. Suppose -414 = -k*w + 71. Is w composite?
False
Let s(w) = -w**2 - 8*w + 10. Let k be s(-9). Let d be (10/15)/(k/(-3)). Let t(g) = -3*g**3 + 2*g**2 - g - 1. Is t(d) a composite number?
True
Let d(m) = -2*m**2 - 2*m**2 - 7 + 6*m - 3*m + 5*m**2. Let i be d(-5). Suppose -i*a - 44 = -7*a. Is a a prime number?
True
Let p = 328 - -295. Is p composite?
True
Let v(s) = s**3 + 6*s**2 - 7*s + 2. Let l be v(-7). Let i(a) = -2*a**2 + 4*a - 2. Let z be i(l). Is (18/(-4) - -1)*z a composite number?
False
Let t(p) = p**2 + 5*p + 3. Let c be t(-8). Suppose c + 8 = f. Is f composite?
True
Let h(s) be the second derivative of 2*s**4/3 + s**3/6 - s**2/2 - 4*s. Is h(2) a composite number?
True
Suppose 2*o - 471 = 3*v, 2*o + 4*v - 53 = 453. Let p = o - 147. Let k = -61 + p. Is k prime?
False
Let c(k) = k**3 - 3*k**2 - 3*k + 2. Let b be c(3). Let g = 3 - 23. Let m = b - g. Is m a composite number?
False
Let j(v) = v**2 - v + 1. Let g(x) = x**2 - 9*x - 12. Let q be g(10). Let a = q + 7. Is j(a) prime?
False
Let v be (-3)/(-2) - 162/36. Is -3*(v - (238 + -2)) a composite number?
True
Let n be (1/1)/((-1)/15). Let b = 25 - n. Suppose 0*u - b = -4*u. Is u a composite number?
True
Let n(h) = 32*h - 3. Let a be n(-4). Is (0 - a)*(-3 - -4) composite?
False
Is 2 + 15/(-3) - (-3 + -635) a prime number?
False
Supp