 320 = 5*v - j, -5*v - 4*j = -m. Is v composite?
False
Let l = 0 + 3. Suppose 158 = -l*x + 4*x. Is x/8 - (-12)/(-16) prime?
True
Suppose 556 = h - p, -4346 + 1557 = -5*h + 2*p. Is h prime?
False
Suppose -593 = 3*h - 2534. Is h a composite number?
False
Let y = -115 - -1230. Is y prime?
False
Let s(u) = 4*u**2 - 4*u + 1. Let m(k) = -4*k**2 + 4*k - 2. Let r(y) = 2*m(y) + 3*s(y). Is r(4) a prime number?
True
Suppose 6*s + s - 2674 = 0. Is s prime?
False
Suppose -o = 3*k - 0*o - 501, -2*o = -3*k + 492. Is k composite?
True
Let t be 1 + (1 - 2) - -10. Suppose t = -0*l + 2*l. Suppose 185 = -0*o + l*o. Is o composite?
False
Suppose -5*l = -7 - 3. Let k = 5 - 5. Suppose -o + l*o - 119 = k. Is o prime?
False
Is -3 + 118 + (-3 - 1) composite?
True
Suppose 3*h = 5*a + 8*h - 5, 0 = 4*h. Let o = a + -7. Is 207/(-6)*4/o a composite number?
False
Let l(h) = -h + 1. Let q be l(1). Suppose 2*r + r - 2031 = q. Is r a composite number?
False
Let a be (2/4)/((-2)/(-8)). Let r(g) = 20*g**2 - 2*g + 1. Let o be r(a). Let p = o + -22. Is p a prime number?
False
Suppose 2*r + 2*r = 20. Suppose r*b = -0*b + 1055. Is b prime?
True
Let y be 5 - 3 - (1 - -1). Let w = 1 - y. Suppose 2*g - w - 3 = 0. Is g a prime number?
True
Let q(i) be the second derivative of i**3/2 + i. Is q(3) prime?
False
Suppose 5*i - 3 = -3*n + 8, -4*i + 19 = -n. Let k = 18 + i. Is k a prime number?
False
Let h = 90 - 55. Is h composite?
True
Suppose -5*n + 3*n - 14 = -3*t, 3*n + 17 = 4*t. Suppose -t*u + 5*b = -3*u - 210, 0 = -4*b + 4. Is u a composite number?
False
Suppose 3*w + 3 = 0, 15508 = 5*k - 2*k + 5*w. Is k composite?
False
Is (4/8)/((-3)/(-15966)*3) a composite number?
False
Is 9*((-1264)/(-12) + -3)*1 a prime number?
False
Let f(a) = 2*a**3 - 11*a**2 + 5*a - 19. Is f(8) a composite number?
True
Let u(n) be the third derivative of -3*n**2 - 5/6*n**3 + 0*n + 1/6*n**4 + 1/30*n**5 + 0. Is u(-4) a prime number?
True
Let o be 2/4 + (-19224)/(-16). Suppose -o + 215 = -3*t. Is t a prime number?
False
Suppose -2*k + 16 - 4 = 0. Suppose k*x = x. Suppose x = -q - q + 74. Is q a prime number?
True
Suppose -5*a = 2*j - 564, 4*j - a - 1140 = -5*a. Is j prime?
False
Suppose -2*z + 5*k - 42 = 33, -5*z - 203 = 3*k. Is (-4)/8*-6 - z composite?
False
Let b(d) = -7*d**3 + 2*d - 1. Let g be b(1). Let w = g + 9. Suppose -4*q + 3*l + 58 = -w*q, 4*q = -4*l + 168. Is q prime?
False
Let q = 2011 - 1064. Is q a composite number?
False
Let v be (-1)/4 - (-130)/40. Let b(n) = 27*n - 4. Is b(v) prime?
False
Let c(a) = -a**3 + 3*a - 4. Let n be c(-4). Suppose 4*v + n = 248. Suppose 2*y + v = 2*m, -150 + 33 = -5*m + y. Is m a prime number?
True
Let t = 4 - 1. Suppose 0 = -d + 4*m - 0*m + t, 2*m + 9 = 3*d. Suppose -d*k + 7 + 59 = 0. Is k prime?
False
Let r(n) = -n**3 - 7*n**2 + 6*n + 5. Is r(-12) a composite number?
False
Let k(h) = h**3 + h**2 - h - 3. Let c be k(-3). Let b be 130/18 + 4/c. Let p(r) = r + 8. Is p(b) prime?
False
Suppose 0 = 3*m + 2*c - 22, 4*c = m - 6 - 6. Suppose -60 = -m*i + 3*i. Let z = i + 25. Is z a composite number?
False
Let b be (-1)/3 + 1/3. Let v = 3 + b. Suppose y - 64 = 5*k, -7*y + v*y + 3*k + 239 = 0. Is y prime?
True
Suppose -2*u - 800 = 3*u. Let f = -81 - u. Is f a prime number?
True
Let g(x) = 1227*x**2 - 2*x + 1. Is g(1) a composite number?
True
Let k be 2 - (-4)/(-16)*0. Is -74*(4 - 9/k) a prime number?
True
Suppose 24 = 2*r + 4*h, 2*r = 4*r + 2*h - 16. Suppose 3*z = -r*l + 113, 4*z = -2*l - 2*l + 144. Is z prime?
True
Suppose 4*m - 15 - 5 = 0. Suppose 6*i + m = 5*p + i, -p - i = 3. Is (-530)/(-25) - p/(-5) a composite number?
True
Let q(h) be the third derivative of h**4/24 + 19*h**3/6 - 2*h**2. Let b be q(-9). Suppose b = n + 2*n - 4*c, 0 = c - 5. Is n prime?
False
Let r(h) be the second derivative of h**6/180 + h**5/20 - h**4/24 + h**3/6 - h. Let n(a) be the second derivative of r(a). Is n(-6) a composite number?
True
Let q = -51 + 172. Is q composite?
True
Suppose 3*r - 204 = 4*z, 3*r + 2*z = z + 189. Is -1 - (-2 + r)*-2 a composite number?
True
Suppose 2 = g - 0*g - 5*v, 2*g = -3*v - 22. Let o = 21 + g. Suppose 3*m = -2*s + 50, 4*m + 3 + o = 0. Is s composite?
False
Let c(f) = 3*f - 2. Let n be c(2). Suppose 3*s = 3*y - 207, -4*s + 108 + 136 = n*y. Is y a composite number?
True
Let f(x) = -4*x + 10. Let t(l) = -7*l + 19. Let b(j) = -5*f(j) + 3*t(j). Let a be b(5). Suppose g - a*g = -67. Is g prime?
True
Let k(f) = 13*f + 18. Is k(17) a prime number?
True
Let l = 1 - -2. Suppose -l*r = -d - 2*r + 72, -4*d + 303 = -r. Suppose 0 = -2*q + d + 9. Is q a prime number?
True
Is (16/6)/(4/(-6)) - -321 prime?
True
Is -1 - (5 - 31 - -3) composite?
True
Let t(d) = 1086*d + 1. Is t(1) composite?
False
Let t be 4 - -3 - 3*1. Suppose 78 = t*j - 182. Is j prime?
False
Suppose 956 = 2*k + 24. Is k prime?
False
Let q(a) = a + 4. Let h be q(-2). Suppose h*w - 82 = -2*c + 620, 2*w = -c + 704. Is w a composite number?
False
Let m(u) be the first derivative of -11*u**2/2 + 5*u + 4. Is m(-7) a prime number?
False
Suppose -4*a + 849 = -4*j - 3359, 0 = -5*a - 2*j + 5239. Is a a composite number?
False
Is (9 + -6)*223/3 composite?
False
Let r = 54 + 58. Suppose -c + 361 = r. Is c composite?
True
Let p(k) be the second derivative of k**4/12 + 4*k**3/3 + 7*k**2/2 + 2*k. Let s be p(-7). Let r(l) = l**2 - l + 19. Is r(s) a composite number?
False
Let o(n) = -4*n**2 + 9*n - 5. Let l(b) = -3*b**2 + 8*b - 4. Let g(j) = 3*l(j) - 2*o(j). Is g(4) composite?
True
Suppose -2*r - 196 = 2*p + 26, r + 5*p = -107. Let t = 203 + r. Is t a prime number?
False
Let z be ((-17)/(-2))/((-4)/(-8)). Suppose 4*m - z - 11 = 0. Let y = 22 - m. Is y a prime number?
False
Let d = -3 - -7. Suppose -5*v - 5*j = -108 - 142, 0 = 3*v + d*j - 153. Suppose -4*k + 261 = -v. Is k prime?
False
Let f be 0 + 1248 + 3 + -1. Suppose -4*s = f - 3742. Is s prime?
False
Suppose 3*p = c - 167, -80 = 4*p + 3*c + 160. Let h = p - -92. Is h prime?
False
Let s be 21/6*(0 + 2). Let n(g) = g**3 - 4*g**2 - 8*g - 6. Is n(s) a composite number?
True
Let b = -184 - -258. Let p = 435 + b. Is p a prime number?
True
Let v be ((-6)/4)/((-6)/16). Suppose v*r - 113 = 71. Is r a composite number?
True
Suppose -3*n + 1288 = 2*n + 3*w, n = -4*w + 244. Let h = -183 + n. Is h a prime number?
False
Let w = 218 + -123. Is w prime?
False
Let s be 6 + -3*(2 - 1). Suppose s*f - 2*f - 80 = 4*z, 0 = -2*f + 4*z + 152. Let g = f + -3. Is g composite?
True
Suppose 3*j - 92 = -j. Is (j/3)/((-4)/(-12)) a prime number?
True
Suppose -o + 1342 = 3*q, 0 = -5*q + 2*o + 2834 - 579. Is q a composite number?
False
Let r be 21/((-6)/2)*-2. Suppose 3*a - 79 = r. Is a composite?
False
Let f(a) = -a**3 + 11*a**2 - 8*a - 5. Let y = -6 + 9. Let k be (-8 + -1)/(y/(-2)). Is f(k) composite?
False
Let i = 6 - 4. Suppose -3*h + 110 = i*h. Is h prime?
False
Suppose 0*v + 4*s = 2*v - 1610, s + 3199 = 4*v. Suppose -4475 = -4*m - v. Is m a prime number?
True
Let d(o) be the third derivative of o**4/12 + o**3/6 - 3*o**2. Let k be d(1). Suppose 6*m - 5*m - 153 = 4*r, -k*m + 481 = -r. Is m prime?
False
Suppose 0 = -4*b - 0*b - 1156. Let q = b - -468. Is q prime?
True
Suppose -5562 - 6623 = -5*k. Is k composite?
False
Let n(a) = 4*a + 1. Let u be n(1). Is 8 - 3/(-2 + u) composite?
False
Let j(w) = -w - 3. Let d be j(-4). Suppose 3*y + 315 - 63 = 5*f, 0 = -y + d. Is f prime?
False
Let q(r) = r**3 - 5*r**2 + 6*r + 4. Let d be (2/(-6))/(3/(-81)). Let t = -4 + d. Is q(t) a prime number?
False
Let o be 101/(2 - (-6)/(-4)). Suppose 0 = 5*b - 20, -4*d - 150 - 290 = 3*b. Let g = o + d. Is g composite?
False
Let i(g) = 4*g**2 - 86*g - 19. Is i(28) composite?
False
Let k be (6/(-4))/(9/(-12)). Suppose n - k*n + 10 = 0. Is n a composite number?
True
Let f(n) = n**3 + 3*n**2 - 4*n - 1. Suppose -4*z + 14 = -2*i, 2*i - 5 = 3*i - z. Is f(i) a composite number?
False
Suppose -2*z = 5*l + 1, 3*l + 7 = 2*z - 0*l. Suppose 2*s = 2*y - 0*s - 12, -4*y + 12 = z*s. Suppose 0*b + y*b = 28. Is b prime?
True
Let i(d) = -d**3 - 8*d**2 - 12*d - 8. Is i(-11) prime?
True
Let x(l) = l. Let v be x(-5). Let q(h) = h + 6. Let p be q(v). Suppose -2*d + p = -5. Is d composite?
False
Suppose 4*n + 5*v = 10431, 10434 = n + 3*n + 2*v. Is n composite?
False
Suppose -h + 2*h + v - 626 = 0, 0 = 5*h - v - 3160. Is h composite?
False
Let v(k) = -2*k*