 = d - -6. Suppose o = -4*y - 3*i + 362 + 269, y = -4*i + 161. Is y a prime number?
True
Suppose -2 = -2*y, 0*f - 3*y = -4*f + 229. Is f a prime number?
False
Is (-49480)/(-48) + 0 + (-2)/(-12) a prime number?
True
Let r be 7/2 + 18/12. Suppose r*k = 578 + 687. Is k a prime number?
False
Suppose w - 7783 - 4593 = -3*l, 4*l + 3*w = 16493. Is l a composite number?
False
Let c(d) = 98*d**2 - 2*d - 1. Let q be c(-1). Suppose -3*p = 3*h - q, 142 - 27 = 3*p - h. Is p a composite number?
False
Suppose -2*b + 14 + 0 = -2*o, -b - 2*o + 1 = 0. Let d(q) = b*q + 99*q + 69*q - 1 - 11*q. Is d(1) composite?
True
Let h(m) = m**3 + 9*m**2 - 10*m - 12. Let b be h(-10). Let w = 334 - b. Is w prime?
False
Let o be (-2 - -4 - 4) + 6. Let p = 21 + o. Is p a composite number?
True
Is 4*((-1705)/(-4) - -1) a composite number?
False
Suppose -83*c + 1306 = -81*c. Is c a composite number?
False
Let d = -41 + 228. Is d a prime number?
False
Let p(t) = -4*t**3 + 10*t**2 - 4*t - 15. Is p(-8) a prime number?
False
Let j(q) = 2*q + 382. Is j(0) a composite number?
True
Let d = 104 - -51. Is d composite?
True
Let g(t) be the first derivative of 2*t**3/3 + 23*t**2/2 - 14*t - 3. Let u(h) = h**2 + 8*h - 5. Let w(p) = -4*g(p) + 11*u(p). Is w(-6) a prime number?
False
Let l = 7 + -2. Suppose -219 = -l*y + 436. Is y prime?
True
Let x(y) = -1949*y. Is x(-1) a composite number?
False
Let z(k) = 9*k**2 - k + 1. Let d be z(1). Is 6783/27 - 2/d composite?
False
Suppose -5*p = -5*c + 1317 + 1523, -5*c + 2852 = -p. Let k = 1124 - c. Is k prime?
False
Let u(k) = -151*k + 5. Let o be u(-5). Let l be 2/3 - o/(-12). Let j = -39 + l. Is j composite?
True
Suppose r - 647 = 1214. Suppose 0 = -4*p + r - 469. Suppose -p = -y - 3*y. Is y composite?
True
Let h(v) be the first derivative of 15*v**4/4 - v**3 - v**2 - v + 3. Is h(3) prime?
False
Let z be ((-4)/5)/((-6)/15). Is z + (-2)/(4/(-170)) composite?
True
Let v(b) = -108*b - 39. Is v(-10) prime?
False
Let g(f) = 54*f + 1. Let z be g(-5). Let j = z - -490. Is j composite?
True
Suppose 0 = 7*v - 4*v. Is 1*(3 - -34 - v) a composite number?
False
Let c(o) = 162*o - 33. Is c(3) a composite number?
True
Let q(g) = 24*g**2 - 4*g - 9. Is q(5) composite?
False
Suppose g + 16 = -4*b, 19 + 22 = 4*g - 5*b. Suppose g*p - 512 = -m, 0 = 2*p + 3*m - 0*m - 266. Is p a composite number?
False
Let k(b) = b**3 - 6*b**2 + b. Let x(p) = p**3 - 7*p**2 + 7*p. Let y be x(6). Let m be k(y). Is (-462)/4*(-4)/m a prime number?
False
Let g = -32 + 325. Is g composite?
False
Suppose 5*w - 5 = 0, -5*w + 4*w + 5871 = 5*d. Is d composite?
True
Suppose -4*d + 0*n - 3*n = -23, 0 = -d + 5*n. Suppose -968 = -d*h + 327. Is h prime?
False
Let p(f) = 20*f**3 + 3*f**2 - 5*f + 3. Let z be p(3). Suppose 4*r + 113 = 3*r + x, -z = 5*r + 5*x. Let a = -65 - r. Is a a prime number?
True
Let j be (-1482)/(-5) - (-6)/(-15). Let v be -1 + -2 + 1 + j. Is v/4*(-2)/(-3) composite?
True
Let u = -5 - -25. Let i = 33 - u. Is i prime?
True
Let z be (-3)/(-6) + (-18)/(-4). Suppose z*q - 1028 = -3*o, -2*q - q + 612 = -3*o. Is q a prime number?
False
Is 2/(1/(13412/8)) a composite number?
True
Suppose -5*x - 3*q + 34 = 12, -4*q = 3*x - 11. Is 15/x - (-1 + -10) a prime number?
False
Suppose 29*x - 8094 = 23*x. Is x composite?
True
Let u be 5/5*(-1)/(-1). Let c be (-1)/(u/(-7) - 0). Suppose 2*g + 335 = c*g. Is g composite?
False
Let p(g) = g - 3. Let c be p(5). Let t(d) = 4 + 0*d**2 + d**c + d**3 + 5 - d. Is t(0) composite?
True
Let j(k) = 1 + 7*k - 1. Suppose 5*m - x = 21, -m - 4*x + 12 = -9. Is j(m) composite?
True
Suppose 0 = -2*c - 3*d - 957, -2*c + 4*d = -d + 933. Let m = c - -847. Is m a prime number?
True
Is 3131/7 - 6/21 a composite number?
True
Let i(z) = 5 - 4*z + 3*z - 6. Let k be i(5). Is 64/3 + 2/k a composite number?
True
Suppose -m = -4*p + 18369 - 3161, -m - 11405 = -3*p. Is p a prime number?
True
Let y be (-21)/15 + 4/10. Let s be -1 - 636/(y - 0). Suppose -8*w + s = -3*w. Is w prime?
True
Suppose -12*j = -27283 - 9449. Is j composite?
False
Let m(d) be the first derivative of d**4/4 - 4*d**3/3 - d**2/2 - 2*d + 2. Let a be m(4). Is ((-14)/(-3))/(a/(-45)) a composite number?
True
Let k(i) = -8*i - 3. Is k(-17) a prime number?
False
Let v = 9 + -6. Let z(w) = w - 2. Let b be z(2). Suppose b = y + 3*y + d - 383, -2*y = -v*d - 181. Is y a prime number?
False
Let o(v) be the second derivative of v**7/360 - v**6/180 - v**5/60 - v**4/4 - 4*v. Let y(m) be the third derivative of o(m). Is y(4) prime?
False
Is 2 + (1 - 1) + 357 a prime number?
True
Suppose m = -2*m + 12. Suppose 4*g - 3*g + 26 = k, -3*k = -m*g - 81. Is k a composite number?
False
Let y(v) = 3*v**2 - 1 - 5 + 0 - 7*v**2 + v**3. Is y(5) composite?
False
Let j(p) = -3*p**3 - 4*p**2 + 3*p - 1. Let b be j(-5). Let c = 0 + 4. Suppose b = c*l + x, -x = -6*l + 4*l + 131. Is l prime?
False
Let t(q) be the third derivative of q**5/60 - q**4/6 - 2*q**3 + q**2. Is t(9) prime?
False
Let l(n) = 10*n**2 + 4*n - 1. Is l(-3) prime?
False
Let a be (-4 - 3)*12/14. Is (-4)/a*(-618)/(-4) composite?
False
Suppose 2*t = 2*o + 2, -2*o + 2 = -3*t + 3. Let u = 5 + t. Is u prime?
False
Let b be (-1)/(-4) - 22/(-8). Suppose -b*f - 217 = -4*f. Is f composite?
True
Suppose 2*s + 3*s = -215. Let v = s - -100. Is v a prime number?
False
Suppose 61 = 3*r - 608. Is r a composite number?
False
Let c = 1099 - 652. Is c a prime number?
False
Suppose 0 = 14*o - 16*o + 78. Suppose -3*f = 4*i - 298, -2*f + 0*i + 4*i = -232. Let l = f - o. Is l a prime number?
True
Is (-13 + 12)/((-2)/254) composite?
False
Let i(t) = t**3 + 5*t**2 - 16*t + 9. Is i(7) a composite number?
True
Let f(z) = 53*z - 2. Is f(3) a composite number?
False
Let b(x) = x**2 - 6*x. Let g be b(6). Suppose -2*y + 3*c - 11 = 0, 11 = -4*y - 2*c - 3*c. Is (46/(-8) - g)*y a composite number?
False
Let g(n) = -n - 4. Let s be g(-7). Suppose -3*q - 5*t = -45, 30 = -2*q + 4*q + s*t. Is q composite?
True
Let j be 2/(4 + 20/(-6)). Is ((-740)/(-6))/(2/j) a composite number?
True
Let s = -163 - -246. Is s a prime number?
True
Let x(c) = 17*c - 6. Let b be x(-6). Let k = b - -523. Is k prime?
False
Suppose -35 = 2*r - 3*v, -30 = 4*r + 4*v - 2*v. Let n(d) = d + 21. Let w be n(r). Suppose w = u - 12. Is u prime?
True
Let b be 65/15 - (-2)/(-6). Suppose 5*t = 3*m + 938, -4*m = b*t - m - 772. Suppose -5*r - 15 = -t. Is r a prime number?
False
Suppose 4 = 5*w - w. Let i = 1 - w. Is 0 + i + (66 - 1) a prime number?
False
Let a be (-38)/4 - 1/(-2). Let f be (-6)/a*(-6)/(-4). Is f/(-2) + (-51)/(-2) prime?
False
Let c(b) = 11 + b**2 - 4 - 2*b - 6 + 0*b. Suppose 2*s = -s + 24. Is c(s) a prime number?
False
Suppose 2*u + f - 644 = 0, 3*u - 916 = -5*f + 64. Suppose j + 4*a = -3*j + u, -4*j + a = -335. Is j a composite number?
False
Let l(m) be the third derivative of m**5/12 - m**4/24 + 7*m**3/6 - 8*m**2. Is l(-7) prime?
False
Let t(z) = 7*z - 2. Let h be t(4). Suppose 2*d + h - 458 = 0. Let m = 427 - d. Is m a prime number?
True
Let z be (-3)/(-2)*(3 - 1). Let v = z + -2. Let p(c) = 36*c + 1. Is p(v) a prime number?
True
Let p(s) = -18*s - 7. Let o = -8 + 3. Is p(o) prime?
True
Suppose 0*p - 2*p + 4*h = 166, 3*h = 4*p + 312. Let d = -146 + 267. Let w = d + p. Is w a composite number?
True
Let a = 1 + 4. Suppose -3*i = 2*l - 395, -a*i + 5*l = 4*l - 667. Is i a prime number?
False
Let n be (-87)/(-27) - (-6)/(-27). Suppose n*c + 15 = -3. Is 152/6 - (-2)/c a prime number?
False
Let h be (-40)/(-14) - (-7)/49. Suppose 545 = 8*t - h*t. Is t a prime number?
True
Let a(z) be the third derivative of -z**4/24 - z**3/3 - 3*z**2. Let g be a(-8). Suppose b + 595 = g*b. Is b composite?
True
Suppose 0 = 2*l + f - 887, -4*l - 8*f = -13*f - 1767. Is l a composite number?
False
Let p(j) = -j**3 + 3*j**2 + j - 2. Let n be p(2). Suppose -280 - 56 = -n*w. Suppose 5*x = x + w. Is x composite?
True
Let o(z) = -3*z**2 - 14*z + 5. Let r(f) = -5*f**2 - 21*f + 7. Let b(x) = 8*o(x) - 5*r(x). Let j be b(9). Is (j/3)/((-3)/(-9)) composite?
False
Is (1 - 7)*(-10)/4 a prime number?
False
Suppose -o + 6 = -3*o. Is (-397)/o + (-14)/(-21) composite?
True
Suppose -5*k = -3*j - 3368, -3*j + 1342 = 2*k + j. Is k a composite number?
False
Let w(r) = -r + 2*r**2 + r**2 + 3 + 6*r. Let v be w(4). Suppose 4*f - v = -0*o + o, 3*o - 53 = -2*f. Is f a composite number?