**2 - 12*o - 1. Let d(a) = 9*a**2 - 13*a - 1. Let v(f) = -5*d(f) + 6*m(f). Is v(6) a composite number?
True
Let a(s) = -s**3 + s**2 + 27. Suppose -5 = 2*r + 2*m - m, -2*r + 2*m = -10. Let l be a(r). Suppose 2*z + l = 125. Is z a prime number?
False
Let h(j) be the third derivative of 7/6*j**3 - 2*j**2 - 1/6*j**4 + 0*j + 1/15*j**5 + 0. Is h(-5) a composite number?
False
Suppose 10*w + 1603 = 4673. Is w prime?
True
Suppose 2*o - 65 = -r, 2*r + 0*r = 4*o - 134. Is o composite?
True
Let k(y) = -y - 3. Let v be k(3). Let d be v/(-9) + (-622)/(-3). Let s = d + -117. Is s a composite number?
True
Suppose -4*h - 5*g = -8696, -1403 = -4*h + 5*g + 7293. Is h a composite number?
True
Let d(x) = x**3 - 2*x**2 + 3*x - 1. Let f be d(2). Suppose 4*l + 0*l + 282 = 2*u, -f*u = -4*l - 711. Is u composite?
True
Suppose -4185 = -3*h - 3*r, -4*h + 5564 = -3*r - r. Is h a prime number?
False
Suppose -5*u + 2945 = 2*b, 3*b - 8 = 7. Is u a prime number?
True
Let f = 27 - 20. Let l = 13 - f. Is l a prime number?
False
Suppose -4*i = -2*f - 7*i + 301, -4*i + 770 = 5*f. Is f prime?
False
Let r be 1/(-2)*4*-8. Let g be (1 + r)*(-3)/(-3). Let k = -8 + g. Is k composite?
True
Let p(n) = -78*n**3 + 4*n**2 + 3*n + 1. Let h be p(-2). Suppose 5*b + 180 = h. Is b a prime number?
False
Let n = -1 - -6. Suppose -5*z + 10 = -0. Suppose -4*q + 886 = -m - m, n*q - z*m = 1109. Is q composite?
False
Let u(c) be the first derivative of -27*c**2 + 17*c + 3. Is u(-7) a prime number?
False
Let y(t) = -2*t + 2. Let g be (-2)/(((-6)/(-21))/1). Let m be y(g). Suppose 0 = 2*w + r - 49, -3*r - 35 - m = -3*w. Is w a prime number?
False
Let z(s) = 4*s**3 - 4*s**2 - 16*s - 9. Is z(8) composite?
True
Suppose 3*l = -5*b + 445 + 264, 239 = l + 3*b. Is l a prime number?
True
Is ((66/(-4))/3)/((-1)/26) composite?
True
Suppose 3*d = 5*b + d + 999, -3*b - 615 = 4*d. Let r = b + 392. Is r a composite number?
False
Let b be (1 - 10/4)*-4. Suppose -m - 105 = -b*m. Is m composite?
True
Let r be (-4)/(-6) + (-168)/(-18). Let m be (-76)/6 + r/15. Is (-399)/m*-1*-4 composite?
True
Let t be 202/18 + 8/(-36). Is t*(-1 - (-6)/3) a composite number?
False
Suppose -w + i = 731, -4*w - 2920 = -i - 4*i. Is (-4)/6*w/10 a prime number?
False
Is (-10)/((-8)/244 + 0) a composite number?
True
Is (2614 - 3) + 1*4 a prime number?
False
Let r = -30 + 83. Is r a prime number?
True
Is (2734/6)/(10/30) a prime number?
True
Suppose -6 = 5*m + 4. Let x be ((m - -4) + -5)*-1. Suppose x*t - 234 = -2*h, -3*h - 4*t + 5*t + 329 = 0. Is h a prime number?
False
Suppose -3*n + 7*n - 68 = 0. Suppose -n = 2*c - 135. Is c composite?
False
Let t(z) = z**3 + 15*z**2 + 19*z - 3. Is t(-10) composite?
False
Suppose 9*v + 1885 = 14*v. Suppose v = 4*m - 139. Is m a composite number?
True
Let f(d) = -4*d + 12. Let s(t) = -4*t + 12. Let q(u) = 6*f(u) - 7*s(u). Let j be q(8). Suppose -j - 49 = -3*h. Is h prime?
True
Suppose 3*x + 0*u - 3*u - 489 = 0, 2*u = -5*x + 836. Is x a composite number?
True
Let s = 46 + -33. Is s a composite number?
False
Let x = -2 + -1. Let f(j) = 13*j**2 + 7*j + 2. Let q(l) = 20*l**2 + 10*l + 3. Let n(c) = -7*f(c) + 5*q(c). Is n(x) prime?
True
Let u(x) = 4*x**3 - 2*x**2 - 1. Suppose 20 = 4*v - n - 2*n, 4*n = -3*v - 10. Is u(v) a prime number?
True
Let p = 106 + -43. Suppose 1443 - p = -4*y. Let u = -182 - y. Is u prime?
True
Let y(k) = 20*k**3 + 5*k**2 - 2*k + 4. Is y(3) a composite number?
True
Let t = 26 + 34. Let p = t + 25. Is p a prime number?
False
Let r = -1 - -5. Suppose 0 = -x - 3*x + 3*b + 1025, -r*x + 5*b + 1023 = 0. Is x a prime number?
True
Let r(j) = -3*j - 12. Let t be r(-10). Suppose 0 = -4*s + 86 - t. Suppose 3*d = -2*l - 2*d + 60, -s = -l + 4*d. Is l prime?
False
Let d(h) = -h - 7. Let n(a) = 3*a + 13. Let c(m) = -5*d(m) - 2*n(m). Let k be c(8). Suppose 0 = 2*s + k - 9. Is s a composite number?
True
Let i(v) = 15*v**3 + 3*v**2 + 2*v - 4. Let z be i(-3). Let q be z*1/8*-6. Suppose p + q = 3*y - 0*p, -388 = -4*y + p. Is y prime?
True
Suppose 3*v - 3*t + 10 = 2*v, -3*v - 5*t = -26. Suppose -2*p = -p - 5*b - 82, -p + v*b = -67. Is p composite?
True
Let x(t) = 8*t**2 - 2*t - 7. Is x(3) a prime number?
True
Let z be (-1)/((-2)/470) + 3. Let j be 1/(-2 + z/118). Suppose -4*w + 77 = -j. Is w composite?
True
Suppose 108 = -2*l + 386. Is l prime?
True
Let z be -2 + (-4 + 3)*-2. Let h be z/(1 - (1 - -2)). Let g(f) = f**2 - f + 23. Is g(h) a prime number?
True
Let j(s) = -3*s + 1. Let o(z) = -z**3 + z**2 + 3. Let p be o(0). Let c be j(p). Is ((-37)/2)/(4/c) composite?
False
Let d(k) = -k**2 + 9*k - 1. Let c be d(8). Is (c - 8) + 1 + 21 prime?
False
Suppose 4*a = -27 - 101. Let z = 11 - a. Is z a composite number?
False
Suppose 3*s - 32 - 61 = 0. Is s a composite number?
False
Suppose r = -2*l + 12, l - 24 = -10*r + 5*r. Is 2/(-4) + 102/r a prime number?
False
Let z(i) = i**3 + i**2 + 2*i + 6. Let d be z(5). Let w = d - 89. Is w a composite number?
True
Suppose -3*a + 8*a - 4*r - 54 = 0, 3*a + r = 29. Let g be (-2)/(-8) - 430/(-8). Suppose -g = -4*u - a. Is u composite?
False
Suppose -13 - 5 = 3*g. Let m(k) = 9*k**3 + 19*k**2 + 3*k + 4. Let n(l) = 5*l**3 + 10*l**2 + 2*l + 2. Let y(u) = 4*m(u) - 7*n(u). Is y(g) a composite number?
True
Suppose 2*s = -4*j - 0*j + 50, 3*j - 45 = -3*s. Let x = j + -5. Suppose -x*m + 9*m - 1340 = 0. Is m a composite number?
True
Let y(g) = g**2 + 2*g - 13. Is y(-7) a composite number?
True
Let p(i) = -i**3 + 6*i - i + 2 - 3*i**2 + 2 + 7*i**2. Let v be p(5). Suppose 4*n - v*u = 484, -3*u + 347 = 3*n + 2*u. Is n a composite number?
True
Suppose 43 + 1184 = 3*a. Is a a composite number?
False
Let p = 162 + 251. Is p a prime number?
False
Suppose d + 13045 = 6*d. Is d prime?
True
Suppose 5 + 1 = 3*n. Let s be (-3 - -334) + n + 1. Let x = s - -73. Is x a prime number?
False
Let y be ((-538)/(-6))/((-5)/(-15)). Suppose -3*n + z = -0*n - y, 4*n + z - 354 = 0. Is n composite?
False
Let p(m) = -3*m**2 - 3*m + 6. Let i(x) = x**2 + x - 1. Let n(f) = 4*i(f) + p(f). Let t = -8 + 3. Is n(t) a prime number?
False
Let a(x) be the second derivative of -x**5/20 - 13*x**4/12 - x**3/3 + 9*x**2/2 + 5*x. Is a(-13) a composite number?
True
Suppose -371 = -3*j - j + 3*a, 4*j = -4*a + 336. Is j prime?
True
Let a(b) = -b**2 + 4*b. Let i be a(3). Let u(d) = -3*d - 4 - 9*d + i. Is u(-5) a composite number?
False
Let x(i) = -3*i - 4. Let h be x(-2). Suppose 0 = y - h*y + 26. Is y a prime number?
False
Suppose 4*m - 3*v = 7844, 0 = -m - 3*m + 2*v + 7840. Suppose m = 4*d - 2*u - 394, 0 = d + 4*u - 579. Is d a prime number?
True
Suppose 3*i = 2*i. Is -39*(i + -2) + 1 a prime number?
True
Let i be 5 + (-1 + 1 - -1). Is 61/7 - i/(-21) prime?
False
Let g be ((-4)/(-6))/(4/(-6)). Suppose -4*m + 38 = -22. Is (0 + 2)/g + m composite?
False
Suppose p - 4 = -2, -3*g = -4*p + 104. Let o = 6 - g. Is o a prime number?
False
Is 1 - -4*(-190)/(-4) prime?
True
Suppose 0 = -0*h - 2*h + 318. Let o = h - 72. Is o a composite number?
True
Let d = 213 + -149. Suppose k + d + 1 = 0. Is 2/(-9) - k/9 prime?
True
Let d = 7 + -13. Is (d/(-4))/(2/44) a composite number?
True
Let b(r) = 6*r**2 - 1. Let x be b(1). Suppose 512 = -x*k + 2227. Suppose 8*m - 2*l = 3*m + 425, 4*m = l + k. Is m composite?
True
Let h be ((-8)/6)/(-2)*15. Let u = 55 + -35. Let p = u - h. Is p composite?
True
Let j be 1*4 + (-2 - -2). Is (-2 - (-130)/j)*4 prime?
False
Let l(a) = -82*a**3 - a. Let b(q) be the first derivative of -q**3/3 - 9*q**2/2 - q - 4. Let t be b(-9). Is l(t) prime?
True
Suppose 5*f - 3*p - 444 - 194 = 0, -4*f - 3*p + 505 = 0. Is f a prime number?
True
Let j(p) = -p**3 + 17*p**2 - 9*p - 8. Is j(13) a prime number?
False
Let c = 436 + -225. Is c a composite number?
False
Let d = -909 - -1703. Is d prime?
False
Let p be (-41)/(-2 - (-30)/14). Let a = -132 - p. Is a prime?
False
Let h(j) = -j**2 + 4*j - 1. Let l be h(3). Suppose -l*n = n - 282. Is n prime?
False
Is 237/(-9*(3 + 20/(-6))) prime?
True
Let g(n) = -n**3 + 14*n**2 - 12*n - 8. Let k be g(13). Let q = -2 + k. Suppose -q*o + 5*z - z + 253 = 0, 99 = o - 5*z. Is o prime?
True
Let l(s) = 4*s**2 - 30*s + 18. Is l(16) a composite number?
True
Let r = 6 + -15. Let o = -6 - r. Suppose -16 = -o*q + 53. Is q prime?
True
Let w be 6220/(-12) + (-2)/(-6). Suppose 32 + 13 = -5*r. Is (-6)/r + w/(-6) a compo