 = k - -54. Is n a prime number?
True
Let b(j) = 11 - 14 - j + 0*j. Is b(-6) composite?
False
Let j(t) be the second derivative of 16/3*t**3 - 2*t + 0 + 3/2*t**2. Is j(5) a prime number?
True
Let b(l) = l**3 + 2. Let p be b(0). Suppose p*y - 83 = 51. Is y a composite number?
False
Let c(p) = -p**3 - 9*p**2 - 9*p - 4. Let i be c(-8). Suppose -d + i*d - 33 = 0. Is d composite?
False
Suppose 5*u - 380 = 335. Is u prime?
False
Let o(r) = r**3 - r. Let j(f) = 4*f**3 - 4*f - 7. Let x(m) = -j(m) + 5*o(m). Is x(5) a composite number?
False
Let k(a) be the first derivative of -a**4/4 - 8*a**3/3 - 7*a**2/2 - 3*a + 1. Let g be k(-5). Let z = g + 122. Is z prime?
True
Let o(c) = -3*c**3 + 4*c**2 + 5*c + 4. Let h be o(-4). Suppose -1193 = -d - h. Is d composite?
False
Let c(j) be the second derivative of 13*j**3/3 - j**2/2 + 4*j. Is c(7) composite?
False
Let n(q) = -q**3 - 11*q**2 - 10*q + 2. Let l be n(-10). Suppose -3*i + l*i + 59 = m, i + 5*m - 59 = 0. Is i composite?
False
Is (-4412)/(-6) + (-20)/(-12) a prime number?
False
Let p(s) = -4*s**3 - s**2. Let k be p(2). Let l = -26 - k. Is l composite?
True
Suppose 0 = 4*f - 6*f + 5*d + 3, 3*f - 2*d - 10 = 0. Suppose f*o - 218 = 2*o. Suppose 3*z - o = s, -101 - 16 = -3*z + 3*s. Is z prime?
False
Let q be 2/(-5)*(-30)/(-2). Let l = q + 22. Suppose 2*j - 13 = 3*i + l, -j + 42 = 4*i. Is j prime?
False
Suppose 3*n - 4*h - 251 + 47 = 0, -2*h = -3*n + 198. Suppose 3*o = 2*b + 125 + 82, n = o + b. Is o a prime number?
True
Let r(o) = 309*o**2 + 9*o + 7. Is r(-1) prime?
True
Let j(a) = 0 + 10*a**2 - a**3 - 3*a - a - 7. Is j(9) prime?
False
Let m(n) be the third derivative of -29*n**6/120 - n**5/20 + n**3/6 - 7*n**2. Is m(-2) prime?
False
Let a be (-3)/(2 + (-3)/2). Let k(q) = q**3 + 6*q**2 - 4*q - 1. Is k(a) a prime number?
True
Let h be (28/(-5))/((-2)/10). Let t be 4/6 - 58/6. Let q = h - t. Is q a composite number?
False
Suppose -3*j - 27 = -3*v, 4*j - 36 = -9*v + 4*v. Let z = -3 + v. Suppose 0 = -z*h - 8 + 183. Is h a prime number?
False
Let q = -453 + 752. Is q a prime number?
False
Let a(g) = 263*g**3 + g**2 - 1. Is a(1) prime?
True
Let c(m) = -5*m + 5*m + m**2 - m + 3 + 2*m. Let l(y) = -y**2 + 5*y - 6. Let x be l(5). Is c(x) a composite number?
True
Let f = 10 + -14. Let p = 4 + f. Suppose 5*h = -5*o + 95, p = 5*h + 12 - 2. Is o a composite number?
True
Let u(q) = 5*q + 18. Is u(13) a prime number?
True
Suppose -14*s + 381 = -11*s. Is s prime?
True
Let c be (-18438)/(-5) + 26/65. Is 1/6 - c/(-48) a composite number?
True
Suppose t + 4*t = 0. Let y(r) = 2*r**2 - 4*r - 7. Let a be y(5). Suppose t = -3*o - 3*l + 39, -l - a = -3*o - 0*o. Is o prime?
False
Suppose -6*x - 1905 = -x. Is x/(2 - 5)*1 a composite number?
False
Suppose -2*b + 1 = -23. Is (-1)/(-2) - (-270)/b a prime number?
True
Let r = 3 + -5. Let f be -1*(-2 - r)/3. Suppose -5*q = -4*s - 170, f*s = 2*s. Is q a composite number?
True
Let m(j) = 44*j**2 - 2*j - 1. Let k be m(-1). Suppose -4*c = 8, 3*c - 2 = y - k. Is y a prime number?
True
Suppose 45 = 9*a - 6*a. Is a a composite number?
True
Suppose 0 = 3*z + a - 924, -3*a = 2*z - 4*a - 611. Is z composite?
False
Let f(y) be the first derivative of y**3/3 + 2*y**2 + 11*y + 1. Is f(12) a prime number?
False
Suppose 0 = 4*v + 658 - 2214. Is v prime?
True
Let u(j) be the second derivative of j**4/12 - j**3/3 - 2*j**2 - j. Let r be u(-4). Suppose 5*c - r = -0*c. Is c prime?
False
Let m(j) be the second derivative of 4*j**4/3 + j**3/6 - j**2/2 - 2*j. Is m(2) composite?
True
Suppose 5*g - 617 = 3*a, g - 5*a - 130 - 11 = 0. Is g composite?
True
Suppose -3*x - 3*l = -0 - 33, -7 = -x + 3*l. Let s = x - 7. Suppose -s*u + 0*u + 143 = 2*f, u = -f + 74. Is f a composite number?
False
Let d be (-4)/(-14) + (-5073)/(-7). Suppose -z + d = 4*z. Is z a prime number?
False
Let y be (-21)/(-7) + (-1 - -1). Suppose 0 = -y*u + u + 322. Is u a composite number?
True
Suppose 12 - 4 = -2*z. Suppose 16 = -2*q + 388. Is (2/(-3))/(z/q) a composite number?
False
Let x(a) = -2*a**2 - 6*a + 6. Let j be x(-5). Is 4/j - (-4455)/35 composite?
False
Let m = -32 + 123. Let l be m - (0/1 - -2). Suppose -l = -r - 0*r. Is r a prime number?
True
Let z be (4/6)/((-3)/(-9)). Suppose -k + z*k = 37. Is k composite?
False
Is ((-22)/55)/((-4)/13610) composite?
False
Suppose 0 = 2*n - 1916 + 390. Is n prime?
False
Suppose -6493 = -3*y + 2*l, -7*l = y - 2*l - 2136. Is y composite?
False
Let q(w) = 5*w**3 - 5*w**2 + 5*w + 1. Is q(3) composite?
True
Suppose -2*o + 4*o = 3*z - 27, 5*o = 4*z - 36. Let x(m) = z + 4*m**2 - 3*m**2 + 4*m + m**3 - 3*m. Is x(0) composite?
True
Let o = -2 - 9. Let s(l) = l**2 - l - 5. Is s(o) a composite number?
False
Suppose 4*q + 7 = -5*f, 0 = -5*q - 4*f - 5 + 3. Suppose -q*w = 5*d - 132, -d - d - 4*w + 56 = 0. Is d composite?
True
Is (-834)/4*10/(-15) prime?
True
Let y = 2 - -312. Let c = y + -181. Is c a composite number?
True
Let g(a) = 191*a**2 + 2*a + 2. Is g(-1) composite?
False
Suppose 2*d - 2 = 2. Let i(n) = 1 + 5*n + 0 + 4*n**d - 2. Is i(-6) prime?
True
Let p = -34 - -41. Is p a composite number?
False
Let w(z) = -z**3 + 9*z**2 + 9*z + 12. Let x be w(10). Suppose -3*a = -x*l - 4*a + 693, -2*a + 1733 = 5*l. Is l a prime number?
True
Let w be 2/8 + 30/8. Suppose 1043 - 279 = w*d. Is d a composite number?
False
Let m(k) = 7*k**2 + 8*k - 5. Let y be m(-6). Let h = y - 132. Is h a prime number?
True
Let d be 2 + -3 + -385 + 1. Let p = -26 - d. Is p prime?
True
Suppose -3*h + 855 = -2*h + t, h - 839 = -5*t. Is h a composite number?
False
Suppose -3*a = 9, -4*m + 3*m - 5*a + 38 = 0. Let y = 38 - m. Is 6/(-15) + (-561)/y a prime number?
True
Let t(d) = -3*d**3 - 2*d**2 + 1. Let b be t(-1). Let s be (-6 - 2) + 4/b. Is (-226)/s + 2/(-3) a prime number?
True
Let g = -499 + 710. Is g composite?
False
Suppose 0 = o - 2*v - 40, 3*o - 26 = -2*v + 134. Suppose 0 = -5*z - 20, -4*a = -2*a - 4*z - o. Let h = 52 - a. Is h prime?
False
Let h = 187 + -64. Is h a composite number?
True
Suppose -a = -i + 4*i - 3, -3 = -2*a - 5*i. Let u(t) = -125*t + 1. Is u(a) prime?
True
Let k(s) = -2*s - 1. Let q be k(1). Let x be 1/q - 192/(-9). Suppose -x = -0*v - v. Is v a prime number?
False
Let f = 3670 + 1689. Is f composite?
True
Let z(b) = 3*b + 4. Let x(h) = -h**2 - h - 1. Let k(y) = -x(y) - z(y). Suppose -n + 2 = -0*n - 4*v, 3*n - 21 = -3*v. Is k(n) a composite number?
True
Let o = 11 - 5. Let m(y) = -y**3 + 11*y**2 - 4*y - 3. Let a(l) = -3*l**3 + 34*l**2 - 12*l - 8. Let w(x) = -2*a(x) + 7*m(x). Is w(o) a composite number?
False
Suppose -5*p - 120 = 3*l, -3*p - 2*p + 240 = -5*l. Let d(f) = -f**2 - 2*f - 7. Let o be d(-6). Let r = o - l. Is r prime?
False
Let y be (-2)/4*(0 + -4). Let u(n) = 6*n**2 - 3*n - 14. Let m be u(-8). Suppose -3*t = 4*v - 577, 0*t + 5*v = -y*t + m. Is t prime?
False
Suppose 0*c + c = 4*s - 7, 2*c = -s + 4. Suppose -s*v + 2 = -3*v, 24 = 2*y - 5*v. Is y a composite number?
False
Suppose 4*g = -g + 20. Suppose 0 = 2*p - g*p + 6. Suppose -5*i + p*z + 93 = -0*i, 2*i - z = 38. Is i prime?
False
Suppose -t - 6 = -0*t. Let y(a) = 2*a**2 + 9*a + 3. Is y(t) a composite number?
True
Let p(m) = -6*m**2 + 6*m + 8. Suppose 5 - 20 = -2*c - 3*w, 5*c + 4*w - 34 = 0. Let y be p(c). Let l = y - -251. Is l composite?
False
Suppose 0 = -6*p + 4*p + 886. Is p composite?
False
Let m(h) = 2 - h**2 - 3*h**3 - 3*h**3 + 0 + 0*h**3. Is m(-2) prime?
False
Let a = 249 - 63. Let f be (-1 + -1)/((-4)/a). Let v = 160 - f. Is v a composite number?
False
Let k(f) = f**2 - 2*f + 2. Let b be k(6). Suppose -5*y + b = -4. Suppose y = 2*x + x. Is x prime?
True
Let u(g) = 3*g**3 + 3*g + 4. Let o be u(7). Suppose 5*b + 3*t = o, -624 = b - 4*b + t. Is b a composite number?
True
Let t(y) = y**3 + 3*y**2 - 5*y + 5. Let r be t(-6). Let z = r - -206. Is z prime?
False
Suppose -5*q + 3*i + 777 + 224 = 0, 0 = 2*q + i - 396. Is q a composite number?
False
Is 11 + 77 - (-3 + 4) a composite number?
True
Let c(p) = 2*p - 2. Let g be c(2). Let d(j) = -j + 1. Let o be d(-4). Suppose -4*y + g*u = -48, o*y - 2*u + 17 = 76. Is y composite?
False
Let p = 358 + -99. Is p prime?
False
Let r = -37 + 60. Is r a composite number?
False
Is (-9)/(-3) + 419 - 3 a composite number?
False
Let r = -974 + 1967. Suppose 0 = -2*l - 3*l - v + r, 4*l - v = 798. Is l composite?
False
Let i