(-2)/(-2 - 1520/(-762)). Suppose 14 = 3*r + 5. Suppose r*n = -0*n + q. Is n prime?
True
Let y(o) = -80*o**2 - 1. Let n be y(1). Let w = n - -130. Is w a composite number?
True
Suppose 0*u + 291 = 3*u. Is u a prime number?
True
Let b be (-172024)/(-72) + (-4)/18. Suppose 4*o = 2*i - 610, -2*o + 904 = -5*i + b. Is i a prime number?
False
Let g = -5 - -7. Suppose -25 = -5*l + 4*o, 8*o + 29 = 4*l + 3*o. Is (g - 3) + l + 127 composite?
False
Let u be -1*(0 - -1) + -25. Let a = -43 - -82. Let v = a + u. Is v a composite number?
False
Suppose 0 + 16 = 4*x. Let v(y) = -6*y - 10. Let n(u) = 5*u + 11. Let a(o) = x*n(o) + 3*v(o). Is a(10) a composite number?
True
Suppose o + 0*o - 47 = 0. Is o composite?
False
Suppose -2*j + 10 = 0, 4*j + 96 = 4*m - 0*j. Let n = m + -40. Let x = n + 76. Is x a composite number?
True
Let u(c) be the third derivative of -31*c**4/24 + 5*c**2. Is u(-1) prime?
True
Suppose 4*q - 156 = 172. Is q + 1 - (-3 + 3) composite?
False
Let o(l) = 2*l - 4. Let h be o(3). Let d(j) = -3*j + 2*j**2 - 4*j**2 + j**3 - 3*j**h + 1. Is d(6) a composite number?
False
Let n = 1473 + -424. Is n composite?
False
Suppose -4*j = x + 8, 2*j + 2*j + 4 = 0. Let s = 7 + x. Is 362/s - (-2)/6 a prime number?
False
Let c(f) = 4*f**2 - f + 1. Let i be c(2). Let b be (i/12)/(1/4). Suppose b*l - 118 = 137. Is l composite?
True
Let p(t) = 6*t + 1 + 7 - 21*t. Let o be p(-6). Is ((-1)/(-1))/(2/o) a composite number?
True
Let k be (-6)/2*2/6. Let c be -6 + -2 + (k - -1). Is c/36 + 274/18 a composite number?
True
Let l(p) = 308*p**2 + p - 2. Is l(1) a prime number?
True
Is (2 - 3/(-3) - -234) + 0 a composite number?
True
Let y(k) = k + 11. Let o be y(-10). Suppose 3*p - 4 = -o. Is 33 + p/(3/(-6)) a composite number?
False
Let z(l) = 7*l**2 - 2*l + 11. Let u(d) = 3*d**2 - d + 5. Let g(i) = 5*u(i) - 2*z(i). Is g(-9) composite?
True
Let z = -28 - -51. Is z prime?
True
Let v(j) be the second derivative of j**6/180 + 11*j**5/120 + 7*j**4/24 + j**3/3 + j. Let n(k) be the second derivative of v(k). Is n(-8) prime?
True
Suppose 0 = t + 2*t - 18. Let h(y) = y**3 - 5*y**2 + 6*y - 4. Let j be h(t). Let r = j + -13. Is r composite?
True
Suppose -o + 43 = -3. Let j = -7 + o. Is j a composite number?
True
Let m(z) = -z - 6*z**2 + 5*z**2 + 0*z**2. Let j be m(-3). Is ((-76)/j)/((-4)/(-6)) a composite number?
False
Suppose -5*i + 2*q + 154 = -3*i, -2*i + 154 = 4*q. Is i a composite number?
True
Let l = 133 + -84. Suppose 2*i - l = 95. Let n = i - 37. Is n prime?
False
Let r = -406 - -597. Is r a composite number?
False
Let u(d) = -d**3 + 5*d**2 + 7*d - 3. Let a be u(6). Is ((-406)/a)/(6/(-9)) prime?
False
Suppose -6*g - 4 = -5*g, -3*a + 2*g + 929 = 0. Is a composite?
False
Suppose -y + 4*x = -14, 4*y - 2*x - 11 = -x. Suppose -27 = -3*d - 5*g, y*d = -2*g + g + 11. Is d a composite number?
True
Let f = 7 - 7. Suppose 6*m - 2*m - 140 = f. Is m a prime number?
False
Suppose 3*b = -2*o + 8837, -2*b = -2*o - 4*b + 8836. Is o a composite number?
True
Suppose 2*s + 477 = 4*c + 1159, -3*c - 1020 = -3*s. Is s a composite number?
True
Let y(i) = 5*i**2 - 2*i**2 + 10 - 3 - 7*i. Let k be ((-36)/45)/((-4)/(-30)). Is y(k) a composite number?
False
Suppose -3*b = -2*c - 10, -3*b + 5*c - 1 = -2*b. Let x(i) = 22*i**2 - i + b*i - 2*i. Is x(-1) prime?
False
Suppose d = 4*w + 20, -3*d + 16 = -3*w + 2*w. Let r = w + 161. Is r a composite number?
False
Let k(b) = -b**3 + 4*b**2. Let v be k(4). Suppose 2*s + 2*s - 8 = v. Suppose -4*c + 8*c = s*f - 138, -12 = -3*c. Is f a composite number?
True
Suppose 6*s - 14004 = 8142. Is s a composite number?
False
Suppose 2*t + 3 = 3*l + 7*t, 5*l + 3*t = -11. Is (l/(-6))/((-6)/(-2259)) a composite number?
False
Is (5/20)/(1/508) a composite number?
False
Let x = -2 - -5. Is (-2)/x - 46/(-6) composite?
False
Let i(z) = 32*z**2 - 4*z + 3. Is i(4) composite?
False
Let p(w) = -w**3 + 3*w**2 + 4. Let z be p(3). Suppose -z*b + 14 = -3*t, 2*t + 4*b - 9 = 15. Is 1*(54 + -1 + t) prime?
False
Suppose -5*u + 195 = -0*u. Let z = 76 - u. Suppose 2*x - x = z. Is x a composite number?
False
Let y be 1 + (-2 - 3/(-3)). Suppose -x + 5*x = y. Suppose -3*q - j + 209 = 0, x = 2*j - 3 - 1. Is q composite?
True
Let q(u) = -2*u**2 - 1 + 2*u**2 + u**2 - u + u**3. Let f be q(-1). Suppose 2*d + 3*d - 475 = f. Is d a prime number?
False
Is 68/1 + (-11 - -14) a prime number?
True
Let x(p) = -p**3 - 12*p**2 - 10*p + 5. Let d be x(-11). Let g be 4/d - (-464)/12. Suppose -b + g + 59 = 0. Is b a composite number?
False
Let i(v) = -85*v + 2. Is i(-3) a prime number?
True
Suppose k = 66 + 18. Let f be 0*(-3)/(-6) + k. Let s = f + -37. Is s prime?
True
Let k = 15 + -47. Let q = 5 - k. Is q prime?
True
Let m(v) = 4*v + 41. Is m(17) composite?
False
Suppose -4*r - 153 = -6*r + m, m = -3*r + 242. Is r composite?
False
Suppose -2*c - b + 57 = 0, 2*c - 3*c = 2*b - 24. Let w = -30 + 42. Is w/c + (-193)/(-5) a composite number?
True
Suppose -y - 4 = 0, 4*y - 631 - 129 = -4*f. Is f a prime number?
False
Let f = 11 + -8. Suppose -f + 6 = 3*q. Is -2 + (q - -1 - -37) prime?
True
Let u(r) = 7*r - 2. Let k = 1 - -2. Is u(k) prime?
True
Let j = -94 + -6. Let g = -69 - j. Is g a prime number?
True
Let i = -1 - -4. Suppose 2*w = -i*w + 20. Suppose 0 = -3*a + d + 195, 3*a - 4*a + 65 = -w*d. Is a prime?
False
Suppose -3*x = 4*l - 3641, l - 3*x + 4552 = 6*l. Is l composite?
False
Let a(o) = -o**3 + 13*o**2 + 10*o - 5. Is a(9) a prime number?
True
Let m be (1/2)/(1/(-778)). Let u = 696 + m. Is u composite?
False
Suppose 0 = 5*v - 14 - 6. Is ((-2)/(-4))/(v/2440) composite?
True
Let x(s) = s**2 - 11*s - 7. Let v = 16 - 26. Is x(v) a prime number?
False
Suppose -3*v - 12 = -2*r, 4 = -2*v - 3*v - 2*r. Let f(q) be the first derivative of 5*q**3/3 + 3*q**2/2 - 1. Is f(v) composite?
True
Suppose -4677 = -12*v + 2067. Is v composite?
True
Suppose 0 = -5*f + 2*f + 15, 5*f - 666 = -t. Is t prime?
True
Let c(o) = o**3 + 13*o**2 + 4*o - 9. Is c(-12) composite?
True
Is (-2667)/2*(-18)/27 - 0 a prime number?
False
Suppose 5*d + 1 = -3*r + 12, -2*r + 5*d = 1. Is ((-115)/r)/((-1)/2) composite?
True
Let i(r) = -r**3 + 34*r**2 + 39*r - 43. Is i(31) composite?
False
Suppose 0 = r - 5*r + 1532. Is r a composite number?
False
Let q(w) = w**2 + 3. Let l be q(0). Is (l - 10)/((-4)/12) a composite number?
True
Suppose 5*d = 2*a - 95, 0*a + a + 3*d - 64 = 0. Suppose 55 + a = 2*v. Is v a composite number?
True
Let u be 26/8 - (-2)/(-8). Suppose 2*h + 5*y - 9 = 0, -4*h + 4*y + 6 = h. Suppose h*v - u*m - 135 = 0, 2*m - 107 = -v - 36. Is v composite?
True
Let d = 588 - -1205. Is d a prime number?
False
Is (-8740)/(-69) - (1 - -1)/(-6) prime?
True
Let b be (0/(-2 + -1))/(-2). Suppose b*g + g + 2 = 0. Is 62*(-1)/g + 2 prime?
False
Let t be 3 - (-6 - 4/(-2)). Suppose -4*q - 1 - t = 0. Let j = q + 17. Is j prime?
False
Suppose -a - 4*y = -257, 275 = 2*a - a - 5*y. Let u = a - 54. Is u composite?
False
Let m = 388 - 197. Is m composite?
False
Is (-7905)/(-9) + (-6)/(-9) composite?
True
Is (-1 - 1) + 1545/5 composite?
False
Let i = 189 - 107. Is i prime?
False
Is 4/12 - 730/(-6) prime?
False
Let j(k) be the first derivative of k**4/4 + k**3/3 - 3*k**2/2 - 2*k + 1. Let f(p) = 3*p - 3. Let z be f(2). Is j(z) prime?
False
Let t = 1 + -3. Let o = -4 - -19. Is (5/o)/(t/(-42)) a prime number?
True
Suppose -310 = 4*p - 2*c, -5*p - 3*c - 393 = -0*p. Let d = p + 163. Is d a composite number?
True
Let s(n) = n**3 - 5*n**2 - 5*n - 6. Let y be s(6). Suppose 0 = 4*c + 2*x - 154, y*c - 3*x = -c + 28. Is c composite?
False
Let b(t) = -3*t**3 - 6*t**2 + t + 5. Is b(-4) a prime number?
True
Suppose -w = m + 43, 0*m = 4*m + 2*w + 170. Is (-258)/9*m/4 composite?
True
Let r(g) = -474*g**3 + g**2 + 2*g + 7. Is r(-2) prime?
False
Suppose -5*k = -12 - 33. Let u be 3/(-1)*(-6)/k. Suppose 3*v + u*x = 23, -v + 6*x = 2*x - 3. Is v composite?
False
Let l = -1015 - -2558. Is l a composite number?
False
Suppose -6*g + 11*g + 25 = 0, 2*j + 4*g + 20 = 0. Suppose j = -2*n - 0*n + 30. Is n + -4 + 2 - 2 prime?
True
Let s(o) = -o + 2. Let p be s(-7). Suppose w = -2, -d - w - p = -0*d. Let u = d - -29. Is u a composite number?
True
Let p be ((-5)/(-3))/((-7)/(-861)). Let a = 320 - p. Is a composite?
True
Let a(p) = 6*p**2 + 1. Let f = -3 + -1. Let t be f/(-8) - (-1)/2. Is a(t) composite?