 a composite number?
True
Let i(b) = 3*b**3 - 2*b**2 + b. Let q be i(2). Let y(p) = 0 + 1 - q*p + 0. Is y(-1) a prime number?
True
Let o(i) = -i**3 - 2*i**2 + 2*i + 14. Is o(-6) a composite number?
True
Let u(c) = 5*c**3 + 2*c**2 + c + 7. Let q be u(5). Let d = -475 + q. Is 3/5 + d/5 prime?
True
Let c be ((-426)/12)/((-1)/(-2)). Let y = c + 126. Is y a composite number?
True
Let o(w) = 8*w**2 - 5*w + 11. Let n be o(10). Let v = -507 + n. Is v a prime number?
False
Let r = 728 + -95. Is r a prime number?
False
Let x = 4 + -4. Suppose 2*t - 2 - 72 = x. Is t a composite number?
False
Let l(p) = p**2 + 6*p + 2. Let n be l(-6). Suppose -6 = n*t + 4, 4*h + 2*t + 790 = 0. Is (-6)/(-24) - h/4 a prime number?
False
Let z(t) be the first derivative of -t**4/4 + 7*t**3/3 - 3*t**2/2 + 3. Is z(5) composite?
True
Is ((-422)/8 + 3)*-4 a prime number?
True
Suppose 5*w - 958 = -2*p, 2*w + 9*p - 4*p - 400 = 0. Let t = w - 132. Is t composite?
True
Let i = 0 - 9. Let r be i/(-36) + (-15)/(-4). Suppose 386 = r*d - 506. Is d a prime number?
True
Let b = 3 + -3. Suppose b*k - k = 1. Let f = 88 - k. Is f composite?
False
Suppose 0 = 5*s - 0*s - 4*w + 127, s - 4*w = -19. Let q be 28/(-6) - (-9)/s. Let n(f) = -18*f - 1. Is n(q) prime?
True
Let l(o) = -4*o + 4. Let q be l(6). Is (-348)/(-10)*q/(-8) a prime number?
False
Suppose -3*h = -h - 6. Suppose h*d - 15 = 2*d - 2*t, -2*t = -5*d + 99. Is d a composite number?
False
Let p(v) = -8*v**2 - v - 5. Let h be p(5). Let b = 353 + h. Is b a composite number?
True
Suppose -4 = m - 0*m, 4*m + 132 = 2*r. Suppose 5*w - 312 = -o, r = 3*o + 4*w - 889. Is o a prime number?
True
Let a = -18 + 29. Let g = a + -7. Suppose -48 = g*z - 188. Is z composite?
True
Suppose -2*p + 12 = 60. Let q be (p/(-4))/(6/4). Is 1/(-2)*(-776)/q a composite number?
False
Suppose -3*j - 2*j + 235 = 0. Suppose 5*c = 2*c + 84. Let l = j - c. Is l a prime number?
True
Let j = -202 + 619. Is j prime?
False
Let l(a) = -a**3 + 8*a**2 + 3*a - 5. Let m be l(8). Let g be m - (-3 + 2/2). Suppose 5 = 2*s - g. Is s a composite number?
False
Suppose 0 = -0*a + 3*a - 8985. Is a composite?
True
Let d(i) be the second derivative of 6*i**5/5 - i**2/2 - 5*i. Suppose 3*z + z - 4 = 0. Is d(z) prime?
True
Let z(t) = -24*t**3 + t**2 - t - 1. Suppose 0 = -7*d + 10*d + 3. Is z(d) composite?
True
Suppose r + 218 = 2*a + 3*r, 2*r - 551 = -5*a. Is a a prime number?
False
Let b be (1*-2*-3)/1. Suppose -197 = -5*r + 4*x, 4*r + b*x - 133 = x. Suppose -2*p - 185 = -5*f + 2*p, r = f + p. Is f composite?
False
Let x(d) = -d**2 + 7*d - 7. Let b be x(5). Let h = -4 + 6. Suppose -b*q = h*q - 265. Is q composite?
False
Let w(r) be the second derivative of r**5/20 - 11*r**4/12 + r**3 - 2*r**2 - 2*r. Let g be w(6). Is g/6*(-60)/8 prime?
False
Let g = 59 + 113. Suppose 0 = -5*r - 17 + g. Suppose -1 = -4*u - 17, q + 2*u - r = 0. Is q prime?
False
Let u(x) = -x**2 + 5*x + 3. Let a be u(7). Let f = a - -26. Let r = 8 + f. Is r prime?
True
Let f(c) = -c**3 - 3*c**2 + 3*c. Let u be f(-3). Let m be -3*3/u*-2. Is 24/m*7/(-4) composite?
True
Let g = -56 + 69. Is g prime?
True
Suppose -7 = -3*g + 5*n, -3*g + 1 = -n - 10. Is (-15)/4*g/(-1) composite?
True
Suppose -5*y = -4*d - 11, 4*d - 3 - 13 = -4*y. Suppose 4*z = 3*u - 413, -2*u - y*z + 727 = 3*u. Is u composite?
True
Let q = 16 - 10. Suppose m - q = h, 3*m - 2*h = -0*h + 16. Suppose -32 = -m*p + 5*b, 2*p + 0 + 2 = -2*b. Is p composite?
False
Suppose -i + 0*i + 1049 = 0. Is i composite?
False
Let u(v) = 366*v**2 - 1. Is u(1) a composite number?
True
Let y = -460 + 1001. Is y a composite number?
False
Suppose 9 = -2*f + 5*f. Let o be (-6)/f + 3 + 3. Suppose 0*b + 157 = 3*b + x, 8 = -o*x. Is b a prime number?
True
Let z = 84 + 169. Is z prime?
False
Suppose 0 = -7*v + 3*v + h + 75, 4*v + 3*h = 63. Suppose 2 + v = c. Suppose 2*g + 2*p - c = 0, -4*g + 5*p = -6 - 7. Is g prime?
True
Let v(h) = -h**3 + 3*h**2 - 2*h - 13. Is v(-7) a prime number?
True
Let p be (5 - 3)*5*1. Let j = 25 - p. Is j*-2*(-2)/4 prime?
False
Let w = 21 - -170. Is w composite?
False
Let k = -6 - -6. Suppose -d + k*d = -36. Is 627/4 - (-9)/d composite?
False
Let v be 1*(0 + 2 + -259). Is (-4)/(-14) + v/(-7) a composite number?
False
Suppose -2*p + 532 = 2*c, p = -3*c - 3*p + 793. Let h = c + -144. Is h composite?
False
Suppose -2*d - 3 = -d. Let b(m) = m**2 + 3*m + 4. Let t be b(d). Suppose -t*x + 42 = -x. Is x prime?
False
Let n(x) be the second derivative of 22*x**3/3 + x**2/2 + 2*x. Is n(2) a prime number?
True
Suppose -2*g = -4*g - 8, 0 = -2*s - g - 8. Let c(t) = 4*t**2 + t - 1. Is c(s) composite?
False
Suppose -9*t = -8*t - 631. Is t a composite number?
False
Let o be (-10)/(-4)*(-8)/(-5). Let l(h) = 4*h**2 - h + 5. Is l(o) composite?
True
Let k(h) = h**2. Let j be k(-2). Let x(d) = d**2 + 8*d + 10. Let b be x(-7). Suppose -b*l - 77 = -j*l. Is l composite?
True
Is 201/(-4)*(-40)/15 prime?
False
Let j be 36*76/(-48)*-3. Suppose -59 - j = -5*m. Is m prime?
False
Suppose 2*a - 2342 = -3*i, i = -2*a + 3*i + 2342. Is a a prime number?
True
Suppose 0 = 5*v - 10, -2*z = -3*v - 27 - 81. Let g = 111 - 79. Let d = z - g. Is d prime?
False
Let x(u) be the second derivative of -19*u**6/720 - u**4/12 + 4*u. Let s(p) be the third derivative of x(p). Is s(-2) a prime number?
False
Let x = -7 - -11. Suppose 12 = -0*c - c - 3*j, 0 = -x*c - j - 4. Let f(k) = -k**3 + k**2 - k + 15. Is f(c) a prime number?
False
Let f = -10 - -16. Suppose f*m - 7*m = -11. Is m composite?
False
Let a = 16 - 8. Let z(w) = 6*w - 8 - 1 - 2*w. Is z(a) a composite number?
False
Let p(a) be the second derivative of a**4/4 - 7*a**3/6 - a**2/2 - 2*a. Suppose 3*r - 30 = -2*r. Is p(r) composite?
True
Let d(y) = -5*y - 4. Let t be d(6). Let s = t - -189. Is s prime?
False
Let f be -8 + (2 - 2)/(-2). Let i = -3 - f. Suppose -i*m - 3*g = -802, 2*m + 0*m - 320 = -2*g. Is m composite?
True
Let i(u) = -5*u**2 + u**2 + 12*u**3 - 3 + u**2 + 2*u. Suppose -10*v + v = -18. Is i(v) a prime number?
False
Let h(b) = 1065*b**2 + 4*b - 2. Is h(1) a prime number?
False
Let r(s) = 2*s + 1. Let a be r(1). Suppose -z - a = -2*z. Suppose 0 = 4*f + 2*g - 512, -z*g = f - 18 - 115. Is f prime?
True
Suppose i - 4*b = -2*i + 130, -2*i + 84 = -2*b. Is i prime?
False
Let q = -1982 + 2991. Is q prime?
True
Suppose -j - 5*h = -82, 0*h + 4*h = -5*j + 473. Is j a prime number?
True
Suppose 0 = 16*x - 11*x - 2455. Is x a composite number?
False
Let h(v) = 9*v**2 - 5*v + 5. Is h(2) a prime number?
True
Let h(t) = 506*t - 3. Is h(2) a prime number?
True
Is (2 - 1911/(-4)) + 3/(-4) a composite number?
False
Let i = -3 + 10. Let l = 6 + i. Is l composite?
False
Suppose -3371 = 4*u - 5*n, 4*n + 3377 = -4*u + 3*n. Is u/(-16) + 2/8 a prime number?
True
Let k = -2 - -4. Suppose -2*a = -a - 5*w - 90, k*w = -a + 83. Is a a composite number?
True
Suppose 3*a - 53 = 67. Suppose -a - 7 = -r. Is r a prime number?
True
Suppose -6*v - 576 = -3*q - 4*v, -2*q + 386 = -2*v. Is q - 6*1/2 a prime number?
False
Let m(a) = -a**3 - 10*a**2 - 14*a - 13. Is m(-12) composite?
False
Let h(z) = z - 1. Let i(t) = -6*t + 7. Let o(r) = -24*h(r) - 3*i(r). Is o(-2) a prime number?
False
Let k(n) = n**2 - 8*n + 31. Is k(-8) a composite number?
True
Is (7083/6)/(18/12) composite?
False
Let x be (2 - 1)/((-2)/(-8)). Suppose 0 = x*f - 10 - 346. Is 1/2*f*2 a prime number?
True
Suppose -5*o + 295 = 5*n, 0 = 4*n - 3*n - o - 61. Suppose -2*c = 2*f - n, 2*f + c = 62 - 6. Is f prime?
False
Suppose 0*h + 596 = 2*h - 3*z, 4*h - 1202 = z. Is h a composite number?
True
Suppose -1141 - 764 = -5*t. Is t prime?
False
Suppose -3*x + 3*v = -0*v - 15, -3*v = -4*x + 18. Suppose -4*c + l = -x*c - 126, 638 = 5*c + 3*l. Is c prime?
True
Let r(g) = -49*g - 5. Is r(-4) composite?
False
Let d(k) be the third derivative of k**4/4 - 11*k**3/6 + k**2. Is d(8) composite?
False
Suppose 2*o = -2*z + 258, o - z - 102 = 21. Let f = 565 - o. Suppose 4*u + 244 = 2*r + 54, 2*u - f = -5*r. Is r a prime number?
True
Let d(f) = -4*f**3 + 3 + 6*f + 0*f**3 - 3*f**2 + f**3. Let i be d(-5). Suppose l - 4*l + i = 0. Is l a prime number?
False
Let y(c) = 25*c - 10. Let b(d) = -1. Let w(k) = 5*b(k) + y(k). Is w(10) a composite number?
True
Let d(k) = -34*k - 10. Is d(-6) prime?
False
Let t = 3 + -3. Let w be 0 + (t - 8 - -2). Let y(f) 