 3352. Is s prime?
True
Let o be (1 - (-2)/(-6))*153. Suppose p + 0*p - 15 = -5*x, 4*p - x - o = 0. Is p prime?
False
Let t be (15/(-6))/((-3)/6). Suppose 0*g = -5*g + 1595. Suppose t*n - g - 456 = 0. Is n composite?
True
Let z(t) be the first derivative of t**4/4 - 4*t**3/3 + 2*t**2 - 3*t + 1. Let i be z(2). Is 49 + ((-6)/i)/(-1) a prime number?
True
Suppose -16 = -4*z + 16. Let w = 8 - z. Is 97*-1*(w + -1) a composite number?
False
Let a = 4 - -1. Suppose 0 = -a*h + 29 - 4, 2*z + 2*h = 50. Let s = z + -10. Is s a prime number?
False
Is (-446)/((-3)/45 + 9/(-15)) prime?
False
Let j be (-8)/52 + 212/26. Suppose 3*a = -0*a + 2*u - 4, 0 = -4*u + j. Suppose 2*d + 0*d - 28 = a. Is d prime?
False
Let q(s) = -5*s - 2. Let x be q(-1). Let r = -54 + 112. Suppose x*d + d - 62 = 5*z, 4*d - 3*z = r. Is d a composite number?
False
Let r = 144 - -1103. Is r a prime number?
False
Is -2 + 7 - 2 - -20 a composite number?
False
Suppose -300 = -4*f + 2584. Is f prime?
False
Let q(f) = f**3 - 5*f**2 - 7*f + 6. Let d be q(6). Suppose t - 5*n = 4, -2*n + 4 = -d*t + t. Is (-31)/(-1*2/t) a composite number?
True
Let x(i) = 42*i**3 + 2*i**2 - i. Is x(1) a composite number?
False
Let r(d) = 184*d - 1. Let p(o) = -551*o + 3. Let k(h) = -2*p(h) - 7*r(h). Is k(-1) composite?
True
Is 370 + (0 - 0) + 1 a prime number?
False
Suppose j + 2 = 6. Let d = j - -5. Is (-6)/d + (-293)/(-3) composite?
False
Suppose -39 = -4*r - 5*v, -3*r + 30 - 6 = 2*v. Is ((-217)/3)/(r/(-18)) a composite number?
True
Suppose 0 = -f - 84 + 495. Is f a composite number?
True
Let c(t) = -1 + 2*t**2 - t**2 - 1 - 35*t**3 + 1. Is c(-1) prime?
False
Let x be ((-2)/4)/((-3)/30). Suppose -5*v + 68 = -2*v + x*w, 5*v = -w + 150. Is v a prime number?
True
Let a = -190 + 317. Is a composite?
False
Let o(y) = 10*y**2 + 6*y + 1. Suppose -1 = -t + 2. Is o(t) prime?
True
Suppose 29 = 3*d + 5*k, 3*d - 2*k = -2*d + 100. Let f(v) = v**3 - 5*v**2 - 5*v - 2. Let t be f(6). Suppose -t*u - d = -7*u. Is u composite?
True
Let r be (0 - 2/(-5))*-115. Let m = r - -81. Is m a prime number?
False
Suppose 5*z - 3*x - 812 = 0, -4*z + 5*x - 6*x = -653. Is z a composite number?
False
Suppose -2*w + 5*y = -3109, 3*w - w = 2*y + 3124. Is w a composite number?
False
Let z = -108 - -49. Let q = 2 + z. Let w = 10 - q. Is w a prime number?
True
Let i(d) be the first derivative of -d**5/40 + 5*d**4/24 - d**3/3 + 1. Let j(n) be the third derivative of i(n). Is j(-10) a composite number?
True
Is (-8)/(-12)*(-2151)/(-6) prime?
True
Suppose -2*p + 56 = -36. Is p a prime number?
False
Is 1/((-3 + 6)/1257) a prime number?
True
Suppose 0 = 2*i - 7 - 1. Suppose -u + n + 0*n = -2, i*n = 5*u - 14. Suppose -3*a - 2*k + 61 = 0, 0 = 5*k + u - 16. Is a composite?
False
Suppose -2*g - 3*g = -70. Suppose -2*q + g = b + 2*q, 3*b - 72 = 3*q. Suppose -4*c + 2*c = -b. Is c composite?
False
Suppose 0 = 3*c - c - 1554. Suppose 0 = 5*r - c + 202. Is r composite?
True
Let i = -8 - -6. Let u = i + 2. Is 19/(1 + 0 - u) composite?
False
Let m(u) = -2*u**2 + u**2 - 5 + 13*u + 0*u**2 - 5*u. Let n be m(6). Suppose z - 2*o - n = 0, 5*z - 3*o = -0*o + 35. Is z prime?
True
Let k be (-1)/(30/(-9) + 3). Suppose -q = k*q - 340. Is q composite?
True
Suppose -3*r - 160 = 2*j, 3*r + 265 = -2*r - 5*j. Let d = r - -203. Is d a composite number?
False
Suppose 2*x + 1 + 1 = 0. Let q be 6*x*(-2)/3. Suppose 0*v + 4*v = -3*j + 53, -4*j + q*v = -24. Is j a prime number?
True
Let j be (-2 - 0)*111/2. Suppose -3 = 2*p - 1. Is p/(j/(-57) - 2) a composite number?
False
Let s(c) = 3*c - 7. Let p be s(5). Suppose -x + p = x. Suppose 3*g + 3 = -x*t, 2*g + 0*t + t - 3 = 0. Is g a prime number?
True
Let q(f) = -f**2 + f + 3. Let x be q(3). Is x + 5 + (-663)/(-3) a prime number?
True
Suppose y - 3*w - 1 = -3, -19 = -3*y + 4*w. Suppose -2*j - 1 = -65. Let l = j - y. Is l composite?
False
Is ((-1156)/12 + -3)/(12/(-18)) composite?
False
Suppose 3*j - 762 = -0*j. Let n be 9/3*(-1)/(-1). Suppose n*r - j = -2*v, 321 = 3*v - 4*r - 60. Is v a composite number?
False
Let z be 12/(-8)*(-4)/3. Suppose -x = z*x. Is 0 - x - -2 - -4 a composite number?
True
Let s(u) be the first derivative of 14*u - 1/3*u**3 - 1 + 0*u**2. Is s(0) prime?
False
Suppose -20*j = -11*j - 14427. Is j composite?
True
Suppose 0*u - 3*c + 272 = u, 5*c - 282 = -u. Is u a prime number?
True
Suppose 0 = -5*w - b - b + 12, 0 = w + b. Suppose -184 = -4*n - w*j, -n = -3*n + 2*j + 72. Let a = -22 + n. Is a a composite number?
False
Let b be ((-8)/10)/((-1)/(-5)). Let o(m) = -m**2 - 6*m - 6. Let j be o(b). Is 483/6 + (-3)/j a composite number?
False
Let m(b) = 66*b**2 + b - 4. Is m(-3) prime?
True
Suppose -l = -4*x + 8411, -4*x = -4*l - 3367 - 5041. Is x composite?
True
Let p(a) be the third derivative of a**5/120 + 143*a**4/24 + a**3/6 - a**2. Let m(g) be the first derivative of p(g). Is m(0) composite?
True
Let u be ((-2)/4)/((-1)/(-12)). Let w(g) = -15*g + 19. Let o(c) = -7*c + 9. Let l(t) = 5*o(t) - 2*w(t). Is l(u) a prime number?
True
Let d be (-2930)/6*(7 + 2). Is 4/18 - d/27 prime?
True
Suppose -5*b = 5*p - 35, p - 5*p - 20 = -4*b. Let j(l) = -18*l - 4. Let f be j(6). Is 1/3 - f/b a prime number?
True
Let m be (2 + -2 + 1)*-7. Let z = m - -145. Suppose b + z = 4*b. Is b composite?
True
Let f(d) = -d. Let m be f(-2). Suppose 4*t - 1025 = 5*c, m*c - 1203 = -5*t + 70. Suppose -3*a = -0*a - t. Is a composite?
True
Suppose -2*m = -3*x - x + 22, -4*x - 5*m = 13. Suppose x*j = p - 1109, p + 3*j = 1496 - 375. Is p a prime number?
False
Let a be 429/(-26)*(-226)/3. Suppose -4*z - 1445 = -5*x, -5*x + 207 = -3*z - a. Is x prime?
True
Let a = 853 - 452. Is a composite?
False
Is (-6)/24 - 845/(-4) a composite number?
False
Suppose 0 = -19*f + 15*f + 11308. Is f prime?
False
Let b be (48/(-10))/((-6)/40). Suppose -l + 35 + b = 0. Is l prime?
True
Let i = 457 - -46. Suppose -4*h + i = -3*h. Is h composite?
False
Let q = -3592 + 5127. Is q prime?
False
Suppose -3*p + 4*p = 0. Suppose 5*a - 10 + 0 = p. Suppose -a*v - 3*c = -82, 4*v + 4*c - 102 - 70 = 0. Is v a composite number?
False
Let w be 5 + (-3 - -2)*2. Let y(n) = -5*n**3 + 2*n**2 - n + 1. Let q(u) = -9*u**3 + 3*u**2 - 2*u + 2. Let m(j) = -6*q(j) + 11*y(j). Is m(w) prime?
True
Let p(x) = 2 + 0 + 1 + 19*x. Is p(4) prime?
True
Let o = 11 - 2. Is (-2)/(-6) - (-276)/o a composite number?
False
Let i(u) = -3*u**2 - 4*u + 1. Let a be i(-6). Is a/3*-3 + 2 prime?
False
Is (-8 + 0 - 7)*593/(-3) composite?
True
Let w(x) = x**2 + 7*x - 12. Let r be w(-9). Suppose -l + r*l = 170. Is l composite?
True
Let p = 1 + 1. Let j be (-4)/(-24) + p/(-12). Suppose 0 = 5*f - 4*s - 249, j = -f - 0*f + s + 49. Is f a prime number?
True
Let v = 4 + -4. Suppose -z + 23 = -v. Is z a prime number?
True
Let z(m) = -m**2 - 3*m + 1. Let l be z(-3). Is -1*(l + 114/(-3)) prime?
True
Let h = 457 - 8. Is h a composite number?
False
Is 4/(-6) - (-526)/6 a composite number?
True
Let y(u) = 5*u**2 + u - 9. Let v be y(-7). Let o = 974 - v. Is o prime?
False
Suppose 2*l + 91 + 3 = 0. Let p = 66 + l. Is p prime?
True
Let t(w) = w + 69. Is t(0) a prime number?
False
Let s(x) be the third derivative of x**9/30240 - x**8/3360 + x**7/5040 - x**6/240 + x**5/60 + x**2. Let m(d) be the third derivative of s(d). Is m(4) composite?
True
Let x(b) = b**3 + 8*b**2 - 5*b - 5. Is x(-8) a composite number?
True
Is 1*538*(-3)/(-6) a prime number?
True
Let b(v) = v**2 - 16*v - 6. Let c be b(9). Is (-4 + 2)*c/6 prime?
True
Let y(c) = 2*c**3 - 4*c**2 + 3*c - 25. Is y(14) a prime number?
True
Suppose 4*m - 4*u - 8 = -0*u, -m + 5*u = 14. Suppose 0 = q + m*h - 2*h - 57, 261 = 5*q - 4*h. Is q a composite number?
False
Suppose -11*t + 517 = -10*t. Is t prime?
False
Let y(n) = n**3 + 3*n**2 - 6*n - 6. Let w be y(-4). Suppose -w - 23 = -5*f. Suppose f*k + 4*z - 389 = 0, 3*z = z + 2. Is k prime?
False
Let z = 83 - 76. Let t(q) = -13*q - 6. Let p(u) = u + 1. Let h(r) = 3*p(r) - t(r). Is h(z) a prime number?
False
Let d(z) = 19*z**2 + z - 1. Is d(4) a prime number?
True
Suppose -a + 3*z = -3*a + 685, 3*a - 5*z = 1056. Is a prime?
True
Suppose 228 = b + 5. Suppose -5*y + b = 4*v - 360, 4*v - 345 = -3*y. Is y a composite number?
True
Let s(n) = n**2 + n. Let r be s(-2). Let h(z) = -7 + 7*z - r*z + 8*z. Is h(8) composite?
False
Suppose -q = l + 25, 2*q - 9 = -l 