Let t(m) = -m**2 + m - 92. Let x be t(0). Let b = 244 + -85. Let q = x + b. Is q a composite number?
False
Let f(p) = 3*p**2 + 4*p + 8. Let v be 64/(-10) + (-3)/5. Is f(v) composite?
False
Let g = -35 - -166. Is g composite?
False
Let d(g) = 7*g**2 + 5*g + 3. Let m be d(6). Let r be ((-14)/(-3))/(1/93). Let t = r - m. Is t a prime number?
True
Let p = -11 - -59. Let z = 58 + p. Is z a prime number?
False
Suppose 2*o - o - 3 = 0. Let g be o/(-9)*-110*3. Suppose 2*i + w = 128 + g, w - 595 = -5*i. Is i a prime number?
False
Let j = -31 - -46. Is j composite?
True
Is 4329/(-3)*1/(-3) prime?
False
Let b(d) be the third derivative of d**5/60 + 3*d**4/8 - 5*d**3/3 - 3*d**2. Let w be b(7). Suppose -3*l - o = -w, -4*l + 4*o = -119 - 1. Is l prime?
False
Let i(x) = 11*x**2 + 2*x - 11. Is i(-5) a composite number?
True
Suppose -2*z = q - 161, 0*q = q - 3*z - 166. Is q a prime number?
True
Suppose p + 20 = 5*p - 4*r, 4*p - 5*r = 20. Let c(k) = 2*k**3 - 8*k**2 + 3*k + 2. Is c(p) prime?
True
Let p(f) be the first derivative of f**4/4 + f**3/3 - 4*f + 4. Let m(y) be the first derivative of p(y). Is m(-3) a composite number?
True
Suppose 45 = -4*z - 3. Let b be (-41)/4 - 3/z. Let u(l) = -l**3 - 10*l**2 - 2*l - 9. Is u(b) prime?
True
Is ((-818)/5)/(24/(-60)) prime?
True
Let w(o) = o**2 + 9. Let n(g) = g**3 - 11*g**2 + 10*g + 7. Let i be n(10). Is w(i) a composite number?
True
Let z(w) = -w - 4. Let h(n) = -n - 1. Let l(p) = 6*h(p) - z(p). Is l(-5) prime?
True
Let y(i) = 1 + 11*i**3 + i**3 - i + 9*i**3. Is y(2) composite?
False
Let b(q) = 369*q + 4. Is b(1) a prime number?
True
Is (1/(-4))/(3/(32304/(-4))) composite?
False
Suppose -4 - 28 = b. Let v be (b/6)/4*-3. Suppose o + 0*o - 70 = 5*h, -v*o + 3*h = -331. Is o prime?
False
Let x be 3*(3 - 11/3). Let c = 38 - x. Let l = 135 - c. Is l a composite number?
True
Let o(i) = -i**3 - 21*i**2 + 25*i + 25. Let f(c) = -2*c**3 - 22*c**2 + 26*c + 25. Let r(l) = -2*f(l) + 3*o(l). Is r(18) composite?
True
Let c(i) be the third derivative of 13*i**5/15 - i**3/6 - 2*i**2. Let h be 1/(-4) - 6/8. Is c(h) prime?
False
Suppose -4*u + o + 0 = -4, u + 4*o + 16 = 0. Suppose 5*i = 3*h - 0*h + 711, i - 2*h - 145 = u. Is i composite?
True
Let p = -4 - -5. Let h(z) = 34*z**2 + 1. Is h(p) composite?
True
Let q(n) = 3 + n + 4*n - 6*n. Let j be q(5). Is j + 2 + 87 + 2 a prime number?
True
Let y be ((-1)/(-2))/((-1)/6). Let w = y - -5. Let t(g) = 30*g**2 - 2*g - 1. Is t(w) composite?
True
Is ((-132)/(-24))/(1/10) composite?
True
Let k = -8 - -14. Suppose 2*b - 5*a + 17 = 0, -a - a - k = -4*b. Suppose 280 = b*q - 100. Is q a prime number?
False
Suppose -5*t + 42 = -848. Suppose -o - t = -3*o. Is o a composite number?
False
Let b(f) = 37*f**3 - 2*f**2 + 4*f - 3. Is b(2) a prime number?
True
Let b = 12 + -5. Suppose 6*o = b*o - 59. Is o a composite number?
False
Let n be (-2)/(1*(-1)/5). Let d be 245*((-6)/n - -1). Let m = 187 - d. Is m a prime number?
True
Suppose -3*k + 0 = -15. Suppose -447 - 568 = -k*i. Is i prime?
False
Suppose 4*c + 896 = 3856. Suppose 3*h - 555 = -2*z, -3*z + 2*z = -4*h + c. Is h a composite number?
True
Let c(s) = 2*s - 16 + 8 + 0*s. Let n be c(6). Is (0 - (n - 3))*-119 prime?
False
Suppose 3*n - 3373 = -2*f, 5*n + 2*f - 5630 = -3*f. Is n a composite number?
True
Suppose k - 116 = -2*f, 2*k - 126 = -2*f + 6*k. Is f a composite number?
False
Suppose 1 = 5*g - 3*n + 15, 3*n = -5*g - 26. Let d(a) = 13*a**2 - 2*a - 5. Is d(g) prime?
True
Suppose 0*a - g = -2*a + 17, 5*g = 4*a - 37. Let z be (-20)/a*666/(-15). Let b = z - -100. Is b a prime number?
True
Let g be (-5 + 4)/(2/6). Let x(f) = -227*f + 4. Is x(g) a prime number?
False
Let z(g) = -g**3 - 9*g**2 - 8*g + 1. Let u be z(-8). Suppose 0 = -3*d - 13 + u. Is (2 - 1)/(d/(-196)) a prime number?
False
Is 397 + (-1 + 2 - 1) a composite number?
False
Suppose -3*o - 3*g - 9 = -4*o, g + 36 = 4*o. Let n = 62 - o. Is n a composite number?
False
Is ((-10)/(-3) - 3)*795 prime?
False
Suppose 2*x - 408 = -x. Suppose 0 = m - 3*m + x. Let u = -47 + m. Is u a prime number?
False
Let l(t) = 92*t + 17. Is l(15) a prime number?
False
Let o(a) = a + 11. Let g be o(-9). Suppose 4*h - c = 759, -h = -3*c - g*c - 166. Is h prime?
True
Let w(s) = 670*s**2 - 3*s + 4. Is w(1) a prime number?
False
Suppose 5*o - 4268 = -4*r, 5*o - 1240 - 1961 = -3*r. Is r composite?
True
Suppose -2*u = -4*a, -2*u + 5*u = 5*a + 2. Suppose -u*y = -5*k - y - 753, -3*k - 449 = y. Let g = k + 235. Is g composite?
True
Let s = 335 + -30. Is s prime?
False
Let v = 82 + -45. Is v prime?
True
Suppose 2*m = 3*y - 12, 2*y + m + 0*m = 1. Suppose 15 = -a + y*o, -5*a - 47 = -4*o + o. Let n = a + 10. Is n composite?
False
Let g(v) = 60*v + 3. Let c(n) = 119*n + 5. Let d(o) = -2*c(o) + 5*g(o). Is d(3) composite?
False
Is ((-11746)/2)/(0 + -1) a prime number?
False
Let k = 1 - -3. Suppose 303 = -k*h - 69. Let w = -60 - h. Is w composite?
True
Let w(z) = -z**2 - 3*z - 3. Let i(n) = -n**2 - 3*n - 4. Let p(j) = -6*i(j) + 7*w(j). Let u be p(-4). Is (u/(-2))/((-2)/(-44)) prime?
True
Let g = 15 + -13. Suppose b = -g, -3*m - b - 3*b + 2623 = 0. Is m prime?
True
Let r(c) = 170*c + 9. Let p be r(4). Suppose -x + 5*w = -p, -3*w + 3407 = 5*x + 18. Is x prime?
False
Suppose w + 4*r = -0*r + 89, -5*w + 5*r = -395. Let b = w + -28. Is b a composite number?
False
Let v(m) = -m**2 - 4*m - 3. Suppose -14 = 5*a - x, -a = -3*a + 5*x - 1. Let z be v(a). Suppose t - 1 = 0, z*t + 14 = s - t. Is s prime?
False
Let s(j) = 12*j + 5. Let v = 1 - -3. Is s(v) a composite number?
False
Let r(x) = x**2 + 2*x - 7. Let n be r(-3). Is 2 - (n + 2 - 145) a prime number?
True
Suppose 4*c - 3232 - 1804 = 0. Is c a composite number?
False
Let a(s) = s**3 + 11*s**2 - 4*s - 9. Is a(-8) composite?
True
Suppose -2*g + i - 1 = -6*g, -5*i = -g - 5. Suppose 2*n - 1526 = -3*a, g*a - 3*n = -a + 505. Suppose -s - 3*s + a = 0. Is s prime?
True
Let i(m) = m - 7. Let d be i(6). Let a(f) = -138*f**3 + f**2 + f + 1. Is a(d) prime?
True
Let c be -2 + 1 - 0 - -1. Suppose -2 = -b - c. Suppose b*j = 41 + 35. Is j composite?
True
Let d = -712 - -1285. Is d a prime number?
False
Suppose 0 = 9*g - 4*g. Is 91 - g*(-1 - -2) composite?
True
Let z be (-3 - -1)/(5/365). Is (z/4 - -3)*-6 a composite number?
True
Suppose 5*k - 11 + 1 = 0. Suppose k*w + 233 = 3*t, 0*t - 2*w = t - 67. Suppose 4*y = 289 + t. Is y a composite number?
True
Let n be (-888)/(-21) + (-4)/14. Suppose 2*w - n - 24 = 0. Suppose 0 = 2*a - 37 - w. Is a a prime number?
False
Suppose -5*z + 4*r + 16 = 3*r, 4*r = 5*z - 19. Suppose 5*q - 161 - 46 = z*h, 276 = -4*h + q. Let i = -34 - h. Is i a prime number?
False
Let k(y) = -2*y**2 + 4*y**2 - 74 - 3*y + 70. Is k(-3) prime?
True
Let v(y) = 2*y**3 - 11*y**2 + 19. Is v(10) a prime number?
True
Is 817/5 + (-36)/90 a composite number?
False
Suppose 0 = l + 12 - 533. Is l a prime number?
True
Suppose -t + 97 + 66 = 0. Is t prime?
True
Suppose 135 = -2*a + 537. Is a a composite number?
True
Let x be 674*2 + (-12)/6. Suppose x = 5*v + 181. Is v a composite number?
False
Let q be (34/4)/((-4)/32). Let b = 121 + q. Is b a prime number?
True
Suppose 0*p - 3*p = 18. Let f be 3 - (2 + (p - -2)). Suppose -f*r + 2*c + 405 = 4*c, 3*c + 15 = 0. Is r composite?
False
Let r(y) = -7*y - 33. Let x be r(-14). Let f = x - 46. Is f a prime number?
True
Suppose 2*a = i + 3, 2*a + 4*i - 20 = -2. Suppose 0*m + a*m = 303. Suppose 3*p - m = -4*v + 136, 0 = 4*v. Is p a composite number?
False
Let j be (0 + (-6)/4)*-6. Let y = 42 - j. Is y a prime number?
False
Suppose -2*x - 7 = -113. Is x composite?
False
Suppose 139 - 9374 = -5*f. Is f composite?
False
Suppose -3*c - 5*j = 3, -2*c - 3*c = -5*j + 45. Is (-2)/(-4) - 219/c a composite number?
False
Let a(s) = -s**3 + 5*s**2 + 9*s - 9. Let k be a(6). Let n(l) = l**2 - 7*l - 11. Is n(k) prime?
True
Suppose -l - 4 = -2*q, l + 0*q = q + 1. Let f(s) = -s**2 + 6*s + 3. Let n be f(l). Let o = 3 + n. Is o a prime number?
False
Let z(d) = 2*d + 6. Let k be z(4). Suppose 5*r + k = 939. Is r a composite number?
True
Let o be (-91 + 5)/(4/(-6)). Suppose -h + 3*j = 7, 3*h + h + 4*j = 20. Suppose -o = -d - h*d. Is d composite?
False
Let r be -4*416/(-20)*5. Let i = 655 - r. Is i a composite number?
False
Let s be (0/(-1 + -2))/(-1). Let b = 3 - s. Is b composite?
Fals