Let w = -2 + 9. Is w prime?
True
Let x be 96 + (0 - 2) + -1. Let b = -133 + x. Let p = 129 + b. Is p composite?
False
Let y(q) = -q**2 + 6*q + 2. Let p be y(6). Suppose p*x + v - 290 = -3*x, v = 3*x - 174. Let h = x + -19. Is h a composite number?
True
Let l = 165 + -108. Is l a prime number?
False
Suppose -5*p + 7526 = -3449. Is p a prime number?
False
Suppose -4*h - 20 = -0*h. Let b(l) = -31*l + 3. Let v be b(h). Let p = v + -103. Is p a prime number?
False
Is ((-1709)/(-2))/((-1)/(-2)) a prime number?
True
Let l(p) = 4*p**2 - 9. Is l(13) prime?
False
Let d be 3*(-4 + (1 - 1)). Let j be (d/(-10))/(6/20). Suppose n + 5*u = -18 + 6, -n - j*u - 7 = 0. Is n a prime number?
True
Is (-18)/(-15)*295/2 a prime number?
False
Suppose -131 = -x + 262. Is x a prime number?
False
Let j = 6 + -4. Suppose -s - 5*y = -15, 3*s + 3*y - 13 = j*s. Suppose 0 = 3*k + s - 112. Is k a prime number?
False
Let a = -51 + 82. Is 2 + 4/4 + a composite?
True
Suppose 3*j - 2*r = 1325, 5*j + 3*r - 4*r - 2220 = 0. Is j a composite number?
True
Let i(r) = -r + 5*r**2 + 3*r**2 - 6*r + 6. Let o be i(5). Suppose 0 = -l + 4*l - o. Is l prime?
False
Let l(j) = j**2 - 2*j + 1. Let z be l(3). Let t(r) = -r**2 - 1. Let a(g) = g**3 - 10*g**2 - 2*g - 1. Let x(n) = -a(n) + 6*t(n). Is x(z) prime?
True
Is (-74)/3*36/(-8) a prime number?
False
Suppose 3*h - 5*c = 7 - 11, 15 = 3*c. Is h a prime number?
True
Let n be (-789)/1*(-2)/2. Suppose n = -3*t + 186. Is (t/12)/(1/(-4)) composite?
False
Let d(t) = 8*t**2 + 27*t - 10. Is d(13) prime?
True
Suppose 0 = a - 4*a + 12. Suppose 11 = -a*l + 231. Is l a composite number?
True
Suppose 0 = 5*n - 114 - 256. Suppose -3*x + n + 4534 = 0. Suppose t = 2*p - 3*t - 610, 5*p + t - x = 0. Is p a prime number?
True
Let r = 1097 - 718. Is r a prime number?
True
Let m(w) = 23*w**2 - 6. Let x(q) = -q**3 - 9*q**2 + 3. Let v be x(-9). Is m(v) a prime number?
False
Let n(t) = t**3 + 7*t**2 - 6*t + 2. Let i be n(-6). Is i/(-3)*24/(-16) prime?
True
Suppose -o + 5 = -2*o, w - 2 = -2*o. Let b(d) = 15*d - 13. Is b(w) a composite number?
False
Suppose 2*y = 2786 - 944. Is y a prime number?
False
Let b be 1 + (2 - (-2)/(-2)). Let c(r) = 6*r**3 - 17 + 0*r**2 - r + 18 + 2*r**2. Is c(b) prime?
False
Let k(b) = b**3 + 11*b**2 + 10*b - 6. Let c be k(-9). Is c*3/3 + -1 prime?
False
Is (-2154)/(-4) - (1 - 3/6) prime?
False
Suppose 6*x - 2*x - 24 = 0. Suppose 0 = -3*w - 2*m + 1409, 0 = -2*m - x + 2. Let i = -260 + w. Is i composite?
False
Let n = 11 + -12. Is (305 - 0)/(0 - n) prime?
False
Let l be 2/(3 - (-22)/(-8)). Let q = l + -8. Suppose -4*w = -q*w - a - 799, -3*w + 3*a = -588. Is w composite?
True
Let x(p) = p**3 + 29*p**2 + 33*p - 8. Is x(-23) composite?
True
Suppose 616 + 650 = 6*j. Is j a prime number?
True
Is (10737/18)/((-2)/(-4)) composite?
False
Suppose 5*c - 2*c - 18 = 0. Is ((-1)/(-2))/(1/c) a prime number?
True
Let f = 5452 + -3413. Is f a prime number?
True
Suppose -r + 93 = -3*u - 93, u = 3*r - 590. Suppose 3*x - 5*y - 264 = 0, -x = x + 4*y - r. Is x a composite number?
True
Let x = 201 + 77. Is x a prime number?
False
Let n(f) = f**3 - 12*f**2 + 12*f + 2. Is n(11) a prime number?
True
Let l(t) be the second derivative of 1/2*t**2 + 0 + 1/4*t**4 + 3*t - 2/3*t**3. Is l(4) prime?
False
Let s(c) = -c**2 + 0 - 4*c + 1 + 2*c**2. Let f be s(4). Suppose 31 = 4*w - 3*k, -4*k - f - 17 = -3*w. Is w composite?
True
Let w(t) = -85*t - 3. Is w(-8) a composite number?
False
Let d be 13716/20 + 1/5. Let t = d - 475. Is t composite?
False
Suppose 4*v - 8 = 2*m, -m - 5*v + 23 = 3*m. Let u(z) = z**3 + 3*z**2 - z + 1. Is u(m) composite?
False
Let r(l) = -3*l - 1. Let t be r(-1). Let k = t + -2. Suppose -2*f + 3*f - 31 = k. Is f composite?
False
Let m = 6 + 5. Let u be (-42)/(-11) + 2/m. Suppose -5*s = u*n - 118 + 5, -3*s + 2*n = -59. Is s composite?
True
Let d(t) = 38*t - 1. Let z(g) be the third derivative of g**5/30 - g**4/12 + g**3/6 + 2*g**2. Let q be z(1). Is d(q) a prime number?
True
Suppose -8 = -2*r + 6*r + 4*f, 5*f = -20. Suppose r*m + 5*v - 2 = 4*v, 20 = 5*v. Is (55/4)/(m/(-4)) a prime number?
False
Suppose 4*m = 4*q + 8, m + q = -0 - 2. Suppose m*g - 1119 = -3*g. Is g a prime number?
True
Suppose -2*t - 2*t = -452. Is t a prime number?
True
Let q be (-1 - (2 - 3)) + 138. Suppose 3*v + 24 - q = 0. Let p = -3 + v. Is p prime?
False
Let h be (-4)/(5 + -3) + 113. Suppose 5*b - 274 = h. Is b composite?
True
Let r be 2/(-7) - (-552)/21. Suppose -m - r = m. Is -1*m*(2 - 1) a prime number?
True
Let x(s) = 9*s**2 - 9*s - 3. Let y be x(7). Suppose 3*g - 2*f - y = 2*f, 5*f + 257 = 2*g. Is g composite?
True
Suppose 4*o + 0*x = -2*x + 18, 2*o - 4 = 4*x. Let s(h) = h**3 - 6*h + 6. Is s(o) prime?
False
Suppose -l - 3*l = -3*r + 3567, -3*r - l = -3582. Is r prime?
True
Let q = 4001 - 2158. Is q prime?
False
Suppose -4*y + 20 = -6*p + 3*p, -4*p + 5*y - 25 = 0. Suppose p*w - 9 = -w. Suppose 4*b - w*b = -415. Is b a prime number?
True
Let h = 23 + -13. Suppose 2*c = 7 + 5. Let l = h - c. Is l prime?
False
Let r(k) be the second derivative of 21*k**4/4 + 2*k**3/3 - 3*k**2/2 - 2*k. Let o be r(2). Let d = 376 - o. Is d a prime number?
False
Suppose 2*k = -5*v + 1055, v = -5*k + 3*k + 211. Is v prime?
True
Let u(h) = 225*h**2 - h - 1. Let t be u(-1). Suppose b - 4*s - t = 0, b + 0*s - 2*s = 221. Is b a composite number?
True
Let b = -5 - -7. Let q(r) = 4*r**3 - r**2 + 2*r - 1. Is q(b) a prime number?
True
Let v(n) = 11*n + 2. Let z be -2 + 1/(3/15). Suppose -z*h + 21 = -0*h. Is v(h) a prime number?
True
Suppose 3*t - 67 = 161. Suppose 2*o = -5*i - 20 + t, -2*o + 38 = -4*i. Is o prime?
True
Suppose -3*f - 16 = 4*t, -f = 3*t + 2 + 5. Is 38 - (-1 + (1 - t)) prime?
True
Let x(g) = 3*g**2 - 3*g**2 + 5*g**2 - 3 - 2*g. Let w(k) = -k**3 - k**2 + k - 2. Let v be w(0). Is x(v) prime?
False
Suppose -h + 4 = 0, -5*j - 3*h = -0*j - 17. Let k be (39 + -2)/(2 - j). Let q = k + 60. Is q prime?
True
Is (-48)/(-2) + (-4 - -3) a prime number?
True
Suppose 2*p - 235 - 913 = 0. Let b be (p - (-1 - 2)) + -3. Let n = b + -387. Is n prime?
False
Suppose 0 = 4*s - s - 99. Let r = -15 + 6. Is (s/r)/1*-9 composite?
True
Suppose 0 = -o + 2 + 1, 5*u - 5*o = -5. Suppose 0 = 3*j - u*j - 6. Suppose -j = 4*d - 34. Is d composite?
False
Let j(o) = 13*o. Let h be j(4). Let n be (-20)/(-8) - (-1)/2. Let f = n + h. Is f prime?
False
Suppose -2*g = 3*l - 1 - 3, 2*g - 8 = -4*l. Suppose l*y + y - 1285 = 0. Is y a prime number?
True
Let f(v) = -v**3 - 10*v**2 + 12*v + 13. Suppose -2*j + j = x + 7, 25 = -3*j - 2*x. Let m be f(j). Let k(n) = 20*n**3 - 2*n**2 - 3*n + 3. Is k(m) prime?
True
Suppose 5*v = 29 + 291. Suppose -4*d - 3*t + 54 = -d, 5*t = -3*d + v. Is d composite?
False
Suppose 0 = 14*o - 12*o - 166. Is o a prime number?
True
Suppose -n + 67 - 48 = 0. Is n a prime number?
True
Let h(a) = -4*a + 3. Let k(n) = n**3 - 7*n**2 - 8*n - 4. Let p be k(8). Let l = p + 0. Is h(l) a prime number?
True
Let l be 4*1/(-6)*3. Is l*1*(-26)/4 composite?
False
Suppose -3*n + 188 = -a - 75, -n + 109 = 5*a. Suppose -55 = -k + 5*x - 2*x, 0 = k + 2*x - 55. Let q = n - k. Is q composite?
True
Let t = -172 - -795. Is t composite?
True
Let z(k) = -k - 2. Let n be z(-6). Suppose f - 20 = -n*f. Suppose 0*j + f*j - 76 = 0. Is j a composite number?
False
Let y = -423 + 1052. Is y composite?
True
Is (-3)/(-6)*(1 - -1833) a composite number?
True
Let r(q) = 176*q + 1. Is r(1) a prime number?
False
Suppose -5*h + 2339 = 4*u, -1 = -4*u + 3. Is h composite?
False
Let i be 4635/(-10)*(-8)/3. Suppose -i = -4*w + 2*c, 2*c = -3*w - 3*c + 901. Is w prime?
True
Suppose 2*w = -3*w + 1045. Is w a composite number?
True
Let c(j) = j**2 + j + 3. Let p be (-4)/10 + 27/5. Let w be c(p). Let l = 66 - w. Is l prime?
False
Let s(b) = -b**3 + 5*b**2 + 3*b - 5. Suppose -20 = -2*l + 5*n, 2 = l + l + 4*n. Is s(l) prime?
False
Suppose 3*i + 375 = 8*i + 5*g, 2*i - 158 = -4*g. Is i a prime number?
True
Suppose -5*w = 5*k - 2115, 0 = k - 5*w - 627 + 228. Suppose -233 = -4*i + k. Is i a prime number?
True
Let y = 0 + 4. Suppose -8 = -y*t + 4*o, 3*o = -0*t - 3*t + 12. Suppose -3*d - 76 = -2*w - 4*d, 5*d + 101 = t*w. Is w composite?
False
Suppose 3 = l - 2*l. Let k be 0 - l - 594/(-2). Let h = k - 155. Is h prime?
False
Let f(m) = -88*m + 1. Is f(-1) a composite number?
False