 2*n + 4*w - 10 = 2*w, n - p = 2*w. Is n prime?
True
Is (1 - (2 - -1))/((-4)/7274) prime?
True
Suppose -5*c = -33 + 13. Suppose -c*o - o + 175 = 0. Let a = o - -44. Is a prime?
True
Let l(t) = 3*t - 2. Let m(b) = b**3 - 6*b**2 - 4*b - 5. Let w be m(7). Suppose -4*x + w = -0*x. Is l(x) a composite number?
True
Let z = 4 + -1. Suppose 0 = -4*i + 17 + z. Suppose 0 = -i*f + f + 140. Is f prime?
False
Let o = 0 + 2. Let w = 8 + -6. Suppose -w*f + 95 = j, 3*f + 91 = o*j - 64. Is j a composite number?
True
Suppose -45 = -5*x - 0*x. Let n be (0 - x)*4/4. Is 1/((-3)/n) - -112 a composite number?
True
Let o = -2 - -4. Suppose h = 3*t - h - 169, 2*t = -o*h + 126. Is t a prime number?
True
Suppose -319 = -4*x + 133. Is x a composite number?
False
Suppose 0 = 4*j + 4*s - 56, 8*j + 2*s = 3*j + 64. Suppose f - 5*f = -j. Suppose -v = v - 10, q - 148 = -f*v. Is q prime?
False
Suppose -4*d - d - 30 = 0. Let g be d/8*1*-240. Suppose -2*t - 3*z + 62 = -0*z, -5*t + g = -5*z. Is t composite?
True
Let a(c) be the second derivative of c**4/6 - c**3/3 - 5*c**2/2 - 4*c. Is a(7) composite?
False
Let q be 0 + (5 - 2) + 1. Suppose 2*n = 5*n - q*d - 597, -5*n = -d - 1012. Is n a composite number?
True
Is (-3564)/(-16) + 3/12 composite?
False
Suppose -44 - 49 = -3*w. Is w composite?
False
Suppose -3*f + 0*f = 5*z + 11, -5*z = -f + 3. Let y = f + 4. Suppose y*k - k - 79 = 0. Is k a composite number?
False
Suppose 86 = -6*t - 10. Suppose m + 0 = -2. Let g = m - t. Is g prime?
False
Let n = 0 + 4. Let u(a) = -a**3 + 4*a**2 - a + 3. Let t be u(n). Is 1 + 516/(t - -3) prime?
False
Suppose 7 = 4*p - 9. Suppose -4*c - c - 151 = -3*s, 5*s + p*c - 190 = 0. Suppose 2*k = -3*b + 3*k + s, 2*b - 5*k = 15. Is b prime?
False
Let z(k) = 22*k**3 + k**2 - 23. Is z(6) composite?
True
Let f(j) = 3*j**2 - 3*j - 9. Suppose 5*m - 9 - 11 = 0. Let z(o) = o + 1. Let l(r) = m*z(r) + f(r). Is l(-5) composite?
True
Suppose 0 = -3*r - 15 - 0. Let b(a) = 11*a**2 + 8*a + 4. Is b(r) composite?
False
Let b = -852 + 3355. Is b a prime number?
True
Let u(q) be the second derivative of q**5/20 + q**4/2 - q**3/3 - 3*q**2 + q. Let k be u(-5). Let h = k - 10. Is h a prime number?
True
Let f = 207 + -133. Let m = 133 - f. Is m prime?
True
Suppose 36 = -2*j + 5*j. Suppose p + j = 4*b + 5*p, -6 = -2*b + p. Is b prime?
True
Is (-4494)/(-10) - 2/5 prime?
True
Let k(h) = 40*h + 1. Let n be k(5). Suppose 5*b + 4*q - n - 3338 = 0, 3*q = -2*b + 1417. Is b a prime number?
False
Suppose -a + f = -2*a - 2, -5*f - 31 = -2*a. Let d(r) = -a*r**2 + 2*r + 2*r**2 - 5 + r**3 + 4. Is d(2) composite?
False
Let c(j) = j**3 - 4*j**2 - 4*j - 2. Let o be c(5). Let q be (-3)/o - (0 - 0). Is ((-7)/1 + 0)*q a composite number?
False
Let r(w) = -w**2 + w**2 + 15 + w**2. Is r(0) a composite number?
True
Let x(b) = -24*b - 5. Let j(h) = -72*h - 15. Let g(t) = 6*j(t) - 17*x(t). Is g(-3) a composite number?
False
Let i be 6/4 - (-2)/4. Suppose s = i*q - 12, s + 0*s - 18 = -4*q. Is (18/3)/s - -214 prime?
True
Let l(q) = -9*q**3 + 6*q**2 + q - 1. Let u(j) = 27*j**3 - 17*j**2 - 3*j + 3. Let v(g) = 17*l(g) + 6*u(g). Let i be v(1). Suppose i = b - 2. Is b prime?
True
Suppose -5*f - 314 = -829. Is f a composite number?
False
Suppose -5*p + 276 = 4*g, -5*g - 3*p = -10*g + 308. Is g + -6 - (1 - 2) prime?
True
Let h = 1018 - 701. Is h a composite number?
False
Let c = -1 - 1. Let o be -6 + c + 4 - 1. Is -2*(o + -2 - 0) composite?
True
Let k be 129/(-3) + 1*-2. Let m be 324/(-10) + 4/10. Let s = m - k. Is s prime?
True
Let t = 1882 + -965. Is t a prime number?
False
Suppose 0 = 2*g - 0*g + 126. Let n = g - -242. Is n a prime number?
True
Let m(k) be the third derivative of -k**2 + 0 + 0*k - 7/12*k**4 - 1/2*k**3. Is m(-5) a prime number?
True
Suppose 0 = -r - 2*q + 297, 3*r - 798 - 94 = -5*q. Is r composite?
True
Let x(i) = 16*i**2 + 15*i - 64. Is x(15) a prime number?
True
Suppose -2*r + 366 = 30. Let s = r + -53. Is s a composite number?
True
Suppose -28 = -3*g + 5*g. Let x = g - -23. Is x a composite number?
True
Let s be 9/6 - (-10)/4. Let h = 11 - 7. Suppose -s = -5*u + h*u. Is u a composite number?
True
Suppose -p - x + 99 = 3*x, 0 = 5*p - 4*x - 399. Is p prime?
True
Is (237*-2)/((-40)/20) prime?
False
Let u(t) = 16*t**3 - t. Let b be u(-1). Let v = 8 - b. Is v a prime number?
True
Let o = 7 + -8. Is (-44)/o - 15/(-5) composite?
False
Suppose 5*t - 4*j = 2215, 3*t + 0*j = -5*j + 1292. Is t prime?
True
Let b = 11 + 0. Suppose -2*p - 1 - 15 = -4*r, -3*p - r + b = 0. Suppose 5*g - g + 4 = 0, 4*w - 378 = -p*g. Is w composite?
True
Suppose 0 = 4*n - 0*m + 4*m - 8, 2*n - 20 = 2*m. Suppose -172 = -4*k + 2*h, -5*k - n*h = -h - 215. Is k a composite number?
False
Let f(l) = -14*l**3 - 3*l**2 - 8*l + 222. Let b(y) = 5*y**3 + y**2 + 3*y - 74. Let s(c) = 11*b(c) + 4*f(c). Is s(0) a prime number?
False
Let j(d) = 29*d - 10. Is j(9) a composite number?
False
Let w = -3 + 7. Suppose 327 - 107 = w*b. Is b a composite number?
True
Suppose 6833 = 4*l - 11299. Is l prime?
False
Is (-2 - -3)*0 - -1399 a prime number?
True
Let i = -2 - -203. Is i a composite number?
True
Let w = -748 + 1791. Is w a prime number?
False
Suppose 4*d - 3*d = 131. Is d prime?
True
Let u = 3 + -5. Let n be 28/(-12) - u/(-3). Is n/6*-28 - 1 prime?
True
Let u(d) = d**3 + 10*d**2 - 10*d + 15. Let b be u(-11). Suppose 3*a - 651 = -z + b*z, 0 = 5*z. Is a a composite number?
True
Let c be (2 - (-4)/(-2)) + 115. Let z = -76 + c. Is z prime?
False
Suppose 0*x - 4 = 2*x. Let f(b) = -11*b**3 + 3*b**2 + 3*b + 1. Is f(x) composite?
True
Is (-6708)/(-15) + (-63)/15 + 4 a composite number?
True
Suppose 0 = -4*m - 0*m - 184. Let q = m - -66. Suppose 0 = -i - i + q. Is i composite?
True
Let x be 2 + -3 - (-3 - -2). Let k = 3 - x. Is k a composite number?
False
Let c(j) = 32*j + 23. Let s(u) = 11*u + 8. Let d(k) = 2*c(k) - 7*s(k). Let v(y) = -7*y - 5. Let x(z) = 3*d(z) - 5*v(z). Is x(-6) a composite number?
False
Let f = 3 + -3. Let t = 0 - f. Suppose t = 2*n - 6*n + 212. Is n composite?
False
Suppose 7*d = 4*d + 564. Let u = -2 - -7. Suppose 0 = -u*k + k + d. Is k composite?
False
Is (-2289)/(-2)*(-14)/(-21) a composite number?
True
Suppose -7*q + q + 11406 = 0. Is q a prime number?
True
Suppose 2*f - 1 = b, 4*b = 4*f - 0*b + 8. Suppose f*i - 8 = i. Suppose -3*a = -i*a + 19. Is a prime?
True
Let b = -5 - -8. Suppose 0*p - b*p + 12 = 0. Suppose -5*u + p*d + 285 = 0, 0 = -4*u + 3*d + 122 + 105. Is u a prime number?
True
Let b(h) be the third derivative of h**5/30 + h**4/24 + h**3/2 - 2*h**2. Is b(-4) a composite number?
False
Let q(h) = 97*h - 3. Let k be q(2). Is k*(2 + -3)/(-1) a composite number?
False
Suppose -4*k + 8*k + 400 = 0. Suppose 0 = -0*w - 2*w + 334. Let i = k + w. Is i a composite number?
False
Let m = 1034 - 545. Suppose 5*y - 8*y + m = 0. Is y composite?
False
Suppose -4*l = -1 - 135. Is l a prime number?
False
Let h(k) = 83*k**2 + 4*k - 1. Is h(-2) a composite number?
True
Let v(y) = 6*y - 4. Let p be (1 + -7)*1/(-2). Is v(p) a composite number?
True
Let x be 24 + 5/((-15)/(-6)). Suppose h - x = 101. Is h a prime number?
True
Suppose -2*a + 5*a = 3*z - 540, -3*z = -2*a - 540. Let n = z + -101. Is n composite?
False
Suppose f + 3*f = 1348. Is f prime?
True
Let l(q) = -274*q**3 - q**2 - q. Let n be l(-1). Suppose -1059 + n = -5*z. Is z prime?
True
Suppose 32*c - 9716 = 28*c. Is c a prime number?
False
Let m be -1 + ((-2)/(-1) - -1). Suppose 0*z - 87 = m*v + 5*z, -4*v - 168 = 4*z. Let o = v - -60. Is o a composite number?
False
Suppose -5*h + 2*h = 0. Suppose -4*b + 35 - 11 = h. Is b a prime number?
False
Let r be -8*((-21)/(-12) - 1). Let v(d) = -d**3 - 5*d**2 + 5*d - 7. Let x be v(r). Is (0 - 0 - -14) + x composite?
False
Suppose -2*a = -3*r + 1433, 0 = -r - 5*a + 507 - 18. Is r composite?
False
Let j be 13/4 - 1/4. Suppose 92 = j*k - 181. Is k a prime number?
False
Let i(u) = 2*u**2 + 4*u + 6. Let b be i(-5). Suppose k - b + 1 = 0. Is k a prime number?
False
Let v(x) = x**3 - 8*x**2 + 4. Let f be 10 + (0/1 - 2). Let a be v(f). Suppose 4*s + 72 = 2*n + 2*n, 0 = -a*n - 5*s + 81. Is n a composite number?
False
Let i(d) = 127*d**2 + 3*d - 1. Is i(3) composite?
False
Let c(j) = -18*j - 29. Is c(-6) composite?
False
Let a(h) = -183*h - 1. Let z be a(-1). Let t = 10 + -6. Suppose z = t*y - 2*y. 