mber?
True
Let c(b) = 2*b**2 + 2*b - 1. Let u be c(2). Let q(r) = 3 - u + 0*r**2 - 12*r - r**2. Is q(-9) prime?
True
Let y(n) be the second derivative of -63*n**3 - n**2/2 + 8*n. Is y(-1) a prime number?
False
Let d(x) = 52*x**3 + 2*x - 1. Let j be 2*(-2)/12*-3. Let n be d(j). Suppose 2*y - n - 21 = 0. Is y a prime number?
True
Let w = 367 + -140. Let s = w - -38. Suppose 0 = 4*x + x - s. Is x composite?
False
Let i(m) = m**2 - 4*m + 1. Let y be i(4). Suppose 48 = b + y. Is b prime?
True
Let c = -19 - -29. Let v(x) be the first derivative of x**3/3 - 3*x**2/2 + 7*x + 2. Is v(c) prime?
False
Let r = 435 - 222. Is r composite?
True
Let u(v) = -642*v - 27. Is u(-2) composite?
True
Let y be (-1)/(1 - 2) - -49. Suppose 0 = 2*t + 4*n - 108 - y, -t + 91 = -2*n. Is t composite?
True
Is ((-3448)/(-24))/((-1)/(-3)) a prime number?
True
Suppose -2*x = x - 6. Let b be (-9)/x*8/(-3). Let a = 23 - b. Is a composite?
False
Let l(f) = f**2 + 7*f + 7. Suppose t = -u - 2, 2*t - 2*u - 16 = u. Suppose t*k = -0*o - 2*o - 16, 0 = o - 5*k + 2. Is l(o) prime?
True
Suppose 0 = -3*o + 2*o - 3*i + 79, -5*o + 356 = 2*i. Let b be (-28)/(-6) + (-4)/(-12). Suppose -b - o = -3*r. Is r a composite number?
True
Let y be (38/4)/((-1)/6). Let h = -38 - y. Is h a prime number?
True
Is -3*1*4/(-12)*1285 composite?
True
Let u = 977 + -486. Is u a composite number?
False
Is (1 + (-2378)/(-8))/(12/48) prime?
True
Let t(k) = k - 2. Let r be t(-5). Let u(d) be the second derivative of d**5/20 + 3*d**4/4 + 3*d**3/2 - 6*d. Is u(r) a composite number?
True
Let i(f) = f + 35. Is i(16) a prime number?
False
Suppose z - 12 = 3*h - 4, 0 = 3*h + 3*z + 12. Let p be -5*(h/(-3))/1. Let o = 26 - p. Is o a composite number?
False
Suppose 5*f + 0*f + 3802 = 4*x, x - 963 = -5*f. Is x composite?
False
Suppose 0*j + 2*j = 8. Suppose -j*i = -5*i + 97. Is i prime?
True
Let v(c) = -c**3 + 8*c**2 + 2*c + 6. Suppose 0*s + 5*s = 10. Suppose 8 = 2*n - s*l, -4*l = 4*n + 1 - 41. Is v(n) a prime number?
False
Suppose -x = -2*x + 839. Is x composite?
False
Let r = 188 + 129. Is r composite?
False
Let k(y) = 5*y**2 + 7*y + 5. Let l be k(-6). Let r = 2 + l. Is r composite?
True
Suppose -3*v - 2*v = -2*o - 18, 0 = -o - 4*v + 17. Let r = 1 + o. Suppose r*l = l + 65. Is l a prime number?
False
Let j be (-2)/(-8) + (-329)/(-28). Let t = 49 - j. Is t a prime number?
True
Let g(b) = 5*b - 1. Let z be g(1). Suppose 0 = 3*h + 4*p + 20, -z*p = -7*h + 4*h - 4. Is -19*(-2 - h)/(-2) composite?
False
Let p(t) = t**3 - 13*t**2 - 3*t. Let o be p(10). Let j = o - -629. Is j a composite number?
True
Suppose u = -4*l + 224, 5*u + 4*l - 699 = 373. Suppose 0 = 7*d - 3*d - u. Is d prime?
True
Let w = 2 + -3. Let v = 21 - 6. Is 3/w*(-385)/v prime?
False
Let a(p) = p + 4. Let t(x) = x**2 + 2*x - 4. Let y be t(-5). Is a(y) a composite number?
True
Let u(k) = k**2 - 5*k - 2. Is u(20) a composite number?
True
Suppose 2*u = -2*u. Suppose 0 = b - u*b - 11. Is b a prime number?
True
Suppose -5*y + 200 = 5*z, -5*z + 74 + 89 = 4*y. Is y prime?
True
Is (12/3)/(-4) - -107 composite?
True
Suppose -g = 4*y - 572 + 93, 0 = 4*y. Is g composite?
False
Suppose 5*h + 2*z = -2680, -4*h + 7*h + 5*z = -1627. Is h/(-3)*(-3)/(-6) a prime number?
True
Let y(f) = 370*f**2 + 8*f + 7. Is y(-2) prime?
True
Suppose 4*u = 0, u = 5*h + 2158 - 6603. Is h prime?
False
Let h be 2 - 2/(-8)*-4. Is (-13034)/(-56) + h/4 a prime number?
True
Let t be 0 - (-62*1 - -1). Is t - ((-2)/(-2) - -1) prime?
True
Let s(c) = -c**3 - 9*c**2 - c - 13. Let f be s(-9). Let v(z) = -3*z**3 + 2*z**2 + 6*z + 1. Is v(f) a prime number?
False
Suppose -2*v + 379 + 1023 = 0. Is v prime?
True
Let d(w) = 439*w**2 + 8*w + 8. Is d(-3) a prime number?
False
Is (52/(-6))/((-8)/36) a prime number?
False
Let k(n) = 0*n - 2*n - 2*n - 5. Let d(q) = q**3 - 5*q**2 - 8*q + 6. Let v be d(6). Is k(v) a composite number?
False
Is (462/(-9))/(10/(-15)) a prime number?
False
Let n(d) = -25*d**3 - d**2 - 3*d - 1. Let k be n(-2). Suppose 0 = -5*b + 2*b + k. Is b composite?
False
Let m = 17 + -6. Suppose -m = -h - r, -4*h + 5*r = 4*r - 64. Is h composite?
True
Let k = -15 + 48. Is k a prime number?
False
Let r(m) = -8*m + 3*m + 2*m - 2. Let a be r(-2). Let b(d) = 8*d + 3. Is b(a) a composite number?
True
Let t = 8 - 8. Suppose -c + 3 = d - t*d, c + 4*d = 0. Suppose -c*j + 4*i + 173 = -j, -5*i - 285 = -5*j. Is j prime?
False
Suppose -m - 2*g + 119 = -145, -m = 3*g - 262. Suppose 0 = 4*o - 0*o - m. Is o composite?
False
Suppose 0 = 7*i - 12*i + 1255. Is i prime?
True
Let i = -2 - 2. Let c(u) = -u**3 + 11*u**2 + 11*u + 9. Let s be c(12). Is 134/s*6/i prime?
True
Let s(y) = -54*y. Let i be s(-2). Let h = i - 69. Is h a composite number?
True
Let q = -118 + -59. Let k = q + 268. Is k prime?
False
Let z(h) = -h**2 + 4*h + 2. Let b be z(4). Let o(p) = -p - 1. Let f(y) = 9*y - 5. Let u(s) = f(s) - 3*o(s). Is u(b) a prime number?
False
Let v(a) = 6*a - 1. Let k = -13 + 17. Is v(k) prime?
True
Let j(q) = q**3 - 5*q**2 - 13*q + 9. Is j(10) a composite number?
False
Let l = -3 + 3. Suppose 3*a = 3 - l. Suppose 0 = -p + 20 - a. Is p prime?
True
Let n be (-12 - -2)*(-22)/4. Suppose -2*u - 5*x = -5*u + n, 2*u - 70 = -5*x. Is u a composite number?
True
Let n = 2 - -1. Is n*((-254)/(-3) + -1) a prime number?
True
Is -5 + 2 + 2 + 120 a prime number?
False
Let c(o) = -6*o - 3. Let v be c(7). Let r = v - -16. Let b = 6 - r. Is b a composite number?
True
Suppose -3*f - 8 = 5*t, f + t = -2*f - 4. Is 0 + 1 + f - -303 a prime number?
False
Let u = 0 + 1. Let i = u + 3. Suppose 0 - 2 = p + i*s, 5*s - 36 = -4*p. Is p a prime number?
False
Is 24/8 - (1 - (2 - -567)) composite?
False
Let v(h) = h**3 - 6*h**2 + 4*h + 7. Let n be v(5). Is (-178)/n*(1 - 2) a composite number?
False
Let q be 2/9 - 16/(-9). Let m(p) = -5 + 2*p + q*p - p. Is m(9) composite?
True
Let j(g) = 2*g + 1. Let x be j(-6). Let d(b) = b**2 + 0 + 1 + 10*b - 2. Is d(x) a composite number?
True
Let x = 8 + -111. Let w = 168 + x. Is w a composite number?
True
Let o(n) = -11*n**2 + 28*n**2 - n + 19*n**2. Let b be ((-2)/(-2))/(1 - 2). Is o(b) composite?
False
Is 2/(-11) + (-156498)/(-66) composite?
False
Suppose 22*u - 17*u = 4765. Is u a prime number?
True
Is 4/((-48)/(-19641)) + 1/4 a prime number?
True
Let d(m) = 126*m**2 + 3*m - 2. Is d(-3) composite?
False
Suppose 3*j = 2*j + 1325. Suppose 0*y + 5*y - j = 0. Is y composite?
True
Suppose 0 = -j + 1 - 0. Suppose g - 5*g = -16. Suppose -j = g*k - 17. Is k a composite number?
True
Is (5218 + -19)*2/6 a prime number?
True
Let v(k) = 3*k**2 - 5*k + 7. Let i = 7 - 0. Let y be v(i). Let u = y + -36. Is u composite?
False
Let m = -30 + 43. Suppose -w = -2*w + m. Is w a prime number?
True
Let x be (6 - 2) + 0 + 0. Suppose 0*k = x*k - 28. Is k a prime number?
True
Let l be -1 - (2 + (-2 - -54)). Suppose -2*k - 558 = 3*f, 178 = -f + 3*k - k. Let u = l - f. Is u prime?
False
Let u(o) = -o**2 - 4*o + 5. Let a be u(-4). Let i = 3 + -3. Suppose x + 2*q - 3*q - 16 = 0, -a*q - 15 = i. Is x a composite number?
False
Let y be (-4 - -2)/((-2)/263). Let d = -142 + y. Is d prime?
False
Suppose 5*g = j - 181, 3*j + 5*g - 577 = 3*g. Is j a composite number?
False
Let c(u) be the second derivative of 5*u**3/3 - 3*u. Let l be c(1). Suppose 0*j + j - l = 0. Is j prime?
False
Suppose 7*v - 2*v + 246 = -2*n, -4*v = 2*n + 198. Suppose 2*t + 532 = 6*t. Let w = v + t. Is w composite?
True
Suppose -s + 20 = -4*p, -3*s + p = 2*p - 8. Suppose 8 = 5*k + s*a + 72, 2*k + a = -25. Let u = k - -31. Is u a prime number?
True
Let g(u) be the third derivative of -1/120*u**6 + 19/6*u**3 + 0*u**5 + 0*u + 1/24*u**4 + 0 - u**2. Is g(0) a prime number?
True
Suppose t - 26 = 12. Is t a prime number?
False
Let i(m) = 202*m**2 - 2*m + 3. Let v be i(2). Let g be -1*3/(9/v). Let l = -184 - g. Is l composite?
True
Suppose 2*i + 1 - 43 = 5*z, 2*i + 4*z - 6 = 0. Suppose -5*u + 26 = -79. Let y = u - i. Is y a prime number?
False
Suppose 3*n + 3 = -0. Is n*(-6)/(-3) + 33 prime?
True
Suppose -i + 3*j - 14 = -j, -i - 4*j + 18 = 0. Suppose -2*r = -r - i. Suppose 0 = f - 4*l - 29 + r, l - 1 = 0. Is f a prime number?
True
Let w be (-9)/(-6)*4/(-3). Is w + (0 + 3 - -160) composite?
True
Suppose 0 = 4*n + 16, -v - n - 1 = -3. Suppose 0 = 5*l + 2*b - 2234, v*l - l - 4*b - 2222 = 0. Suppose