l = 0, -3*x + 2*y - 3 = -15. Suppose 0 = 2*j + 10, 7*j - 360 = -5*h + x*j. Is h prime?
False
Suppose -4*d - 17 = 5*h, 2*d + 3*h + 9 = -d. Let n be 3*(-2 + 4 + -1). Suppose -n*u + 635 = d*u. Is u prime?
True
Let r(k) = 25*k**2 + 2*k + 1. Suppose 2*p - n = -12, -2*n = -0*n. Is r(p) composite?
True
Suppose -i + 3*n = -28, n = -5*i + 101 - 9. Is i a prime number?
True
Suppose -277 = -3*o - 19. Suppose -2*a + o = -4*x, -2*x + 132 = a + 3*a. Is a composite?
True
Is (162 - -2)*(-5)/(-10) a prime number?
False
Let f(s) = -93*s + 6. Let h(n) = 94*n - 7. Let x(v) = 6*f(v) + 5*h(v). Is x(-1) composite?
False
Let l = 1 + -1. Suppose l = 5*c - 4*c + 9. Let b(t) = -t**3 - 9*t**2 - t + 6. Is b(c) a prime number?
False
Suppose -3*t = -2*v - 0*t + 1640, 3*v = 4*t + 2459. Is v a prime number?
False
Is ((-3)/(-6))/(3/54) composite?
True
Let h(g) = 204*g - 1. Is h(1) a prime number?
False
Let n(r) = -r**2 + 6*r + 4. Let g = -5 + 11. Let j be n(g). Suppose -j*w = 0, -5*v - 436 = 2*w - 1521. Is v a composite number?
True
Suppose 0 = 2*o + o - 9. Suppose -o*d + 6*d = -u + 52, -u - 62 = -3*d. Is d a prime number?
True
Let t be 3/5 - 10/(-25). Let v(h) = 58*h**3 - h. Is v(t) a prime number?
False
Suppose 2*u + 4 = 2. Let j(n) = n - 1. Let z(s) = -19*s - 2. Let t(y) = u*z(y) + 3*j(y). Is t(4) a composite number?
True
Let w = -1080 - -1591. Is w prime?
False
Let l(q) = q**2 + 2. Let c(t) = t**2 + 7*t - 3. Let p be c(-6). Is l(p) a composite number?
False
Let i(o) = 8*o**2 - 3*o + 6. Is i(5) a composite number?
False
Let h be ((-1)/2)/(7/14). Is (-3)/6*(h + -21) a composite number?
False
Let a(r) = -r - 7. Let p be a(-6). Is p/(-3) + (-32)/(-12) a prime number?
True
Let m = -61 + 86. Let d = m - -12. Is d prime?
True
Let x be (2 + -5)/3 - -86. Suppose -n + x = 2*s, 3*s + 100 = n - 0*s. Is n prime?
False
Let v be (-2*(-74)/4)/1. Suppose -p = 2 - v. Is p a composite number?
True
Let s be 33 + (-4 - 3/(-3)). Let z = s - 8. Is z composite?
True
Let a(h) = h**3 + 4*h**2 - 6*h - 6. Let t be a(-5). Is 225 + (-2 + t - -1) composite?
False
Suppose 4*w - 2*f + 2 = 10, 2*w - 16 = -5*f. Suppose -r + 54 = 3*q, w*r - 4*q - 136 - 52 = 0. Let z = -25 + r. Is z composite?
True
Is 478 + 4 - (-10)/2 prime?
True
Let f be (-1)/(-4 - -3) - -1281. Suppose 3*m + m - 1285 = 3*q, -4*m + f = -2*q. Is m prime?
False
Is (-1)/(-1) - (-224 + 2) prime?
True
Let l = 811 - 568. Suppose -201 = -4*i + 3*t - 6*t, 5*i = -t + l. Suppose 0 = -5*r + 2 + i. Is r a composite number?
True
Let j(m) = m**3 + 6*m**2 - 7*m + 3. Suppose -4*t = -x + 33, t = 2*x + x - 22. Let b be j(t). Suppose b*c - 4*c + 97 = 0. Is c prime?
True
Let l(t) = 43*t - 5. Suppose 0 = -5*u - m + 26, -5*u = -2*u - 3*m - 30. Is l(u) composite?
True
Let m(r) = -r**3 - 10*r**2 + 7*r + 13. Is m(-11) a composite number?
True
Let q(t) = -t - 8. Let g be q(-4). Let m = -4 - g. Let s = m + 10. Is s composite?
True
Suppose -4*t = t - 55. Suppose -13 = -4*c + t. Suppose 33 = 4*s - 4*o + 9, 2*o = -c. Is s a composite number?
False
Is 47091/44 + (-5)/4 a composite number?
False
Let n(a) = -a**3 + 2*a**2 + 4*a. Let z be n(3). Suppose -z*t = -4*b - 185, 357 - 66 = 5*t + 2*b. Is t composite?
False
Suppose -895 = -5*c + 1140. Is c prime?
False
Let h = -29 + 5. Let a = 47 + h. Is a a prime number?
True
Suppose 0 = 5*p - 3514 - 921. Is p composite?
False
Let m(z) = -4 + 2*z + 1 - 12*z**2 + 0 + 2. Let f be m(1). Let x(b) = -5*b. Is x(f) a prime number?
False
Let p = 7 + -6. Let l(x) be the third derivative of 5*x**4/6 - x**3/6 - x**2. Is l(p) composite?
False
Suppose -4*z - 9 = -g + 2, -4*z + 58 = 2*g. Is g composite?
False
Let v(h) = -22*h**3 + 3*h**2 - 2*h + 2. Let m be v(2). Suppose -l - 3*u = -288, 1 = 2*u - 5. Let s = l + m. Is s a prime number?
True
Let w(q) be the second derivative of 43*q**3/6 - 15*q**2/2 - 5*q. Is w(10) composite?
True
Let k(z) = z**3 + 5*z**2 - 5*z + 8. Let u be k(-6). Let c be 0/u + (-15)/(-3). Suppose -c*r + 0*r = -255. Is r a composite number?
True
Let p(s) be the first derivative of 3*s**3 + 3*s - 3 - 5/2*s**2. Is p(4) a composite number?
False
Suppose 0 = 2*s - 2. Let o be (-1 - s)*(-3)/2. Suppose -77 = o*v - 314. Is v a composite number?
False
Let y = -6175 - -14372. Is y a prime number?
False
Let t(b) = -5*b**3 + 7*b**2 + 13*b + 11. Let l(v) = -4*v**3 + 8*v**2 + 13*v + 10. Let h(c) = 4*l(c) - 3*t(c). Is h(12) a composite number?
False
Let s(o) = 4*o**3 + o**2 - 9*o - 6. Let r(y) = 3*y**3 + y**2 - 8*y - 5. Let w(g) = -7*r(g) + 6*s(g). Suppose -l = -4*l + 9. Is w(l) prime?
False
Let i(h) = -h**2 + 223. Is i(0) a prime number?
True
Suppose c + 311 = 5*c - u, -5*u - 400 = -5*c. Let q = -26 + c. Is q a prime number?
False
Suppose w - 1 - 4 = 0. Let q be ((-98)/(-6))/(4/12). Suppose w*s - 146 - q = 0. Is s prime?
False
Suppose 3*x = 3*j + 3, 5*x = 3*x - 3*j + 7. Suppose 0 = -f - 3*f + 780. Suppose x*c = -c + f. Is c a prime number?
False
Suppose 5*g - 121 = z, -16 = -3*z - z. Is g a composite number?
True
Let p(c) = 22*c - 13. Let i(x) = 7*x - 4. Let r(q) = 11*i(q) - 4*p(q). Is r(-6) a prime number?
False
Let c(v) = -5*v + 4*v + 149*v**3 + 102*v**3 + v**2. Is c(1) a prime number?
True
Suppose -142 = -5*s - 4*k, -2*s = s + 5*k - 93. Let w = 69 - s. Is w prime?
True
Let z be (-3)/5 - 364/(-65). Is (-4077)/(-45) + 2/z a composite number?
True
Suppose -1 + 4 = -g - 5*p, 4*g + 12 = -p. Let m(j) = -5*j**3 - j**2 + j - 2. Is m(g) a prime number?
False
Let s be (-4)/18 - 29/(-9). Suppose -y + 5 = q, -4*y - s*q + 52 = -7*q. Is y/(-4)*(-16)/6 a composite number?
True
Is 3/7 - (-81202)/77 a composite number?
True
Let v = 20 - -2. Is v a composite number?
True
Suppose -4*b - 71 = 61. Let j = b + 93. Suppose 0 = 3*f + 2*v - j, 9*f - 4*f - 2*v = 116. Is f prime?
False
Let d(h) = -h**2 - h + 1. Let w(a) = 4*a**2 + 9*a + 3. Let u(r) = -5*d(r) - w(r). Let k be u(6). Suppose -2*b = -4*g - 98, 5*g - 226 = -k*b + 9. Is b prime?
False
Let d(q) = 128*q**3 - 2*q**2 - 3*q + 4. Is d(1) composite?
False
Let g be (-9)/(-3)*(-111)/(-3). Let p = 407 - 217. Let d = p - g. Is d a composite number?
False
Let p(z) = -z. Let s be p(0). Let q(h) = h**2 - h - 74. Let m be q(s). Is (m/(-6))/(1/3) prime?
True
Let l(i) = i - 82. Let u be l(0). Let n = u + 653. Is n a composite number?
False
Let d be (-4 - -3)/(2/(-4)). Let u = d - 0. Suppose 1 = x, -u*m + 2*x + 48 + 84 = 0. Is m composite?
False
Suppose 6 = -4*p - 14. Let x(n) = -n**3 - 4*n**2 - 7*n - 7. Is x(p) composite?
False
Let u(a) = 3*a**3 + 2*a**2 - 6*a - 11. Is u(6) a composite number?
False
Let o = 724 + -328. Suppose 0 = -2*p - 2*s + 650, 5*p - o = 2*s + 1264. Is -4 + 9/3 + p prime?
False
Let k(l) be the first derivative of 37*l**2/2 - 3. Is k(1) composite?
False
Suppose 25 = 3*h + 2*h. Suppose 0*d = -h*d + 235. Is d prime?
True
Let k(s) = 3*s - 1. Let v be k(1). Let t(f) = 9 - 2*f + 4*f - v. Is t(6) a composite number?
False
Let t = -284 + 409. Let w = 4 + t. Suppose 0*b = -3*b + w. Is b a prime number?
True
Suppose 39*o - 43*o + 13460 = 0. Is o a prime number?
False
Suppose -3*d - 5 = 1. Let t(s) = -3*s**3 + 4*s**2 + 4*s + 2. Is t(d) a prime number?
False
Let u(p) = -4*p - 9. Let g be u(4). Is (-2112)/(-10) + 5/g composite?
False
Suppose -3*b + 11718 = 3*r, 4*r - 6617 = -b + 9010. Is r composite?
False
Let i(s) = 0 + 4*s + 2 + 2*s**3 + 3*s**2 - 3*s**3. Let a be i(4). Suppose -a*y + 24 = j - 3*y, y - 22 = -j. Is j composite?
False
Suppose -3*y = -y. Suppose g - 3*g + 3*r = -52, 0 = 4*g + 5*r - 82. Suppose y*u + g = u. Is u a prime number?
True
Suppose -5*q = -3*c - 328, 6*c + 592 = c - 3*q. Let j = 70 + c. Let i = -15 - j. Is i a composite number?
False
Suppose 0 = k + 3*k - 3*b - 957, -3*b = -3*k + 720. Is k a prime number?
False
Let l(q) = -41*q - 2. Let t be l(-5). Suppose 0*x = -x + t. Is x a prime number?
False
Let k = -173 - -677. Suppose -3*g + k = g. Suppose 3*m = 3, g = -0*q + q - m. Is q a composite number?
False
Let c = -97 - -146. Is c a prime number?
False
Let a(t) be the third derivative of -t**7/840 - t**5/60 - t**4/12 - t**3/6 - t**2. Let f(z) be the first derivative of a(z). Is f(-2) composite?
True
Let z(v) = -v**3 + 5*v**2 + 7*v - 4. Let o be z(6). Let r = -14 + 19. Let h = r + o. Is h a composite number?
False
Suppose -3*u = -4*i + 4, 5*i - 5*u - 4 = -u. Suppose -5*n + 4*n = 3*p - 842, 