
Let s = 24 + 4. Let c = s - 20. Is c/(-24) - (-980)/6 a composite number?
False
Let q be (-7)/(-2*1/44). Let u = -101 + q. Is u a composite number?
False
Let j(i) = i**3 + 11*i**2 + 14*i + 12. Let z be j(-9). Suppose -2*t = -5*n - 7, 2*t = -t + n + 30. Suppose k - t = z. Is k composite?
False
Suppose -2*p + 890 = n - 4*p, 3*n = 4*p + 2660. Let d = 15 - 10. Suppose -d*j + n = 315. Is j a prime number?
True
Suppose 0 = 5*q + 4*v - 23 - 24, 3*v = -2*q + 16. Is q a composite number?
False
Suppose 3*a + 4*r = 5, 0 = -a - 0*a - r. Let c = a - -24. Is c composite?
False
Let n = 58 - 31. Suppose -5*c = -n - 18. Suppose -2*i + 29 = -c. Is i a prime number?
True
Let f(p) = p - 4. Let n be f(8). Suppose -5*z + 0*d + 1297 = 3*d, -d = -n*z + 1024. Is z a composite number?
False
Let y(i) be the second derivative of i**4/3 + 2*i**3/3 + 7*i**2/2 - 5*i. Is y(5) prime?
True
Let u(q) = 52*q + 3. Is u(1) a composite number?
True
Let l(h) = -h**2 + 4. Let f be l(0). Let y = f + -4. Suppose y = -5*v + 147 - 22. Is v a prime number?
False
Let c = -9 - -7. Is 2/(c/(-103) - 0) a composite number?
False
Suppose -f - 6 = -3*f. Suppose 0 = -3*i + f, -4*q + 4*i + 33 = -3*q. Is q a composite number?
False
Let b(i) = 17*i - 21. Is b(10) a prime number?
True
Suppose -1862 = -5*j - 3*k, 2*j + 4*k - 616 = 126. Is j a composite number?
False
Is 12210/18 - 6/(-9) prime?
False
Let u(k) = -k**2 + 11*k + 1. Let a be u(11). Let h(y) = 56*y**2. Let t be h(a). Suppose 0 = 6*v - 2*v - t. Is v a composite number?
True
Suppose 3*r - 12 = -0*r. Suppose r*g = -16, 0*g = 4*k - 5*g - 600. Is k composite?
True
Let p = -396 + 596. Let g = -123 + p. Is g a composite number?
True
Suppose -2*o = 3*w - 119 - 1055, o = 5*w + 561. Is o a composite number?
True
Let b(f) = 2*f**3 - 13*f**2 - f + 13. Is b(14) a composite number?
False
Let q(z) = z**3 + 2*z**2 - z - 4. Let i be q(-3). Let h(u) = u**2 - 6*u - 1. Let o be h(i). Suppose -p - 2*p + o = 0. Is p a prime number?
True
Suppose -3*q + 863 = -574. Is q a prime number?
True
Let o = 290 + -207. Is o a composite number?
False
Suppose 389 = z - 604. Is z prime?
False
Suppose -19*g + 1052 = -15*g. Is g composite?
False
Let v = 147 + -230. Let h = -46 - v. Is h a composite number?
False
Let i = 4 + 3. Suppose 2*n + 4*l = 286, 0 = 3*n - i*l + 2*l - 462. Is n prime?
True
Suppose 0 = -5*s - 8*h + 3*h + 45, 0 = -3*s - 2*h + 27. Suppose 4*d - 5*t = -s + 1, 0 = -4*d - 4*t - 8. Is 31 - 0/(d - -1) prime?
True
Let r(s) = 137*s**2 - 3*s - 3. Is r(4) a prime number?
False
Suppose -3*j = 3*a - 7707, 2*j - 504 = 3*a - 8211. Is a composite?
True
Suppose -6 = 3*h - h. Is (h + 4)*(5 + 152) prime?
True
Is (2/(-6))/((-11)/24189) composite?
False
Suppose -5*z + 206 + 84 = 0. Is z/3 - 4/12 a composite number?
False
Let c = -21 - 75. Let y = 215 + c. Is y a prime number?
False
Let n(f) = 14*f + 14. Let y be n(-10). Let r = y + 757. Is r prime?
True
Suppose -k + 29 - 84 = 3*v, -3*v - 256 = 4*k. Let m = k - -144. Is m composite?
True
Is (-754)/(-8) + 6/8 prime?
False
Let n be (-4)/(-10) + (-939)/(-15). Let r = n + 16. Suppose -4*j + 57 = -r. Is j prime?
False
Suppose 2*v + 3*j = -870, 0*j = 5*j + 20. Let q = -11 - -13. Is (v/(-6) + 0)*q a prime number?
False
Suppose y - 1521 = -2*q, -2*q + q + 4*y = -765. Is q a prime number?
True
Let q(l) = l**3 + 5*l**2 + 2*l - 11. Is q(6) composite?
False
Let k(q) = 2*q**2 - 2*q + 2953. Is k(0) composite?
False
Let n(k) = -35*k - 10. Is n(-13) a composite number?
True
Suppose -3*t + 2435 = 2*t. Is t prime?
True
Suppose 0 = -2*k + 4*k + 2*y - 750, -4*k = 2*y - 1492. Is k prime?
False
Let f be (3/(-9))/(1/(-3)). Let g be (2/(-3))/f*15. Let o = g - -33. Is o composite?
False
Let u(j) = j**3 + 19*j**2 - 11*j - 1. Is u(-10) composite?
False
Suppose 4*h = -201 - 147. Let c(q) = -18*q + 4. Let g be c(7). Let u = h - g. Is u a composite number?
True
Let m be ((-4)/6)/(6/(-261)). Suppose 2*c - 5*n - m = 0, -5*n = c - 4*n + 3. Suppose -u - 3*d = -64, -c*u - 3*d + 139 = -8*d. Is u prime?
True
Let n be (-4 + 16)*1/3. Suppose -k + 5 = n*k. Let f(v) = 120*v - 1. Is f(k) composite?
True
Let x(d) be the third derivative of 13*d**6/120 - d**5/60 - d**4/12 - d**3/6 - 3*d**2. Is x(2) composite?
True
Suppose -2*p = -0*p - 134. Is p prime?
True
Suppose q - 4*t = 3, -4 = 2*q - 3*t - 5. Is 166/5 + q/5 a composite number?
True
Let z(m) be the third derivative of -m**6/360 + m**5/30 - m**4/8 - m**2. Let k(u) be the second derivative of z(u). Is k(-5) a composite number?
True
Let v(x) = -7*x**3 - 5*x**2 - 5*x + 4. Let p(d) = 6*d**3 + 4*d**2 + 4*d - 3. Let f = 2 - -3. Let z(m) = f*v(m) + 6*p(m). Is z(2) prime?
False
Let t(m) be the first derivative of m**4/4 + 3*m**3 + 3*m**2/2 - 3*m - 6. Is t(-7) composite?
True
Suppose d + 2*d - 4*o - 1799 = 0, 2*d = o + 1191. Suppose -6*q = 59 - d. Is q prime?
True
Suppose -4*f = -9*f + 20. Suppose 4*x + 5*r = -2, -f*r + 4 - 2 = 2*x. Is 87/6 - x/(-6) prime?
False
Suppose 5449 = 10*c - 3341. Is c composite?
True
Let p(c) = 5*c**2 + 3*c - 13. Let i be p(6). Let f = -128 + i. Is f composite?
True
Suppose 3*l - 24 = -l. Let i be l/(-1 + (-15)/(-6)). Suppose 25 = -5*f, 3*f = i*x + f - 198. Is x prime?
True
Let r(t) = t + 8. Let p be r(0). Let l(j) = j**3 - 7*j**2 + 11*j - 11. Let k be l(p). Is (k/(-12))/((-2)/8) prime?
True
Let t(m) = -2*m - 9. Let v be t(-3). Is 753*((-24)/9 - v) composite?
False
Suppose -10*s = -5*s - 3*m - 3062, 2*m + 1837 = 3*s. Is s a composite number?
False
Is 6865*(-2)/(-2 + -8) prime?
True
Is -5 - (-19)/((-38)/(-672)) a composite number?
False
Suppose -k = k - 12. Suppose 8*y - k*y - 116 = 0. Is y a prime number?
False
Suppose 3*k - 10*k = -39053. Is k a composite number?
True
Let v be ((-1)/(-3) + -1)*-165. Suppose s - v = -3*w - 3*s, 0 = 5*w - 5*s - 160. Suppose 0 = -3*z + 329 + w. Is z a prime number?
False
Let n(d) = -3224*d**3 - d**2 + d + 1. Is n(-1) prime?
False
Suppose 3*o - 2522 = 6067. Is o composite?
True
Is 1 - (0 + 3 + -193) prime?
True
Let f be (-1)/(-2 + (-7)/(-3)). Let m(x) be the first derivative of x**3/3 - 3*x**2/2 - 3*x - 1. Is m(f) a prime number?
False
Is 4/(-10) - 12621/(-15) a prime number?
False
Let h(s) = -s**3 - 4*s**2 - 3*s - 3. Let c be h(-3). Let b = 1 + c. Let n = 0 - b. Is n a prime number?
True
Let h(m) = 514*m + 298*m - 259*m. Is h(1) prime?
False
Suppose 4*z - 75 = 9*z. Let u = z + 58. Is u composite?
False
Suppose g - 102 = -2*g. Let j = 78 - 9. Let r = j - g. Is r composite?
True
Is ((-87)/2)/(10/(-20)) composite?
True
Let q(m) = m + 7. Let k be q(-7). Suppose k = -4*y + 196 - 40. Is y composite?
True
Let q(n) be the second derivative of -n**4/12 - n**3/2 + n**2 - 3*n. Is q(-3) prime?
True
Suppose 0 = 12*a + 1249 - 84973. Is a a prime number?
True
Suppose o + 249 = 4*a, o = a - 35 - 28. Suppose 5*r - a = -152. Is 4/r + 418/18 prime?
True
Suppose 3*q - 4*q - 3*a + 3 = 0, 4*q - 4*a = -4. Let j be 249/4 - (-1)/(-4). Suppose 4*d - 130 = -2*v + j, q = -3*v - 3*d + 273. Is v a prime number?
False
Let p(g) be the second derivative of -g**5/20 - g**4/3 - g**3/3 - 2*g**2 - 2*g. Let m be p(-4). Is m + 19 + 2/(-2) composite?
True
Let m(b) = b**2 - 7*b - 8. Let q be m(8). Suppose -t - 2*t + y + 568 = q, 4*t - y = 759. Is t prime?
True
Suppose 0 = s + 5*l - 1621, -5*s + 5*l + 5784 = -2351. Suppose 0 = -3*p + 3*z + s, 5*p + 0*z - z = 2706. Is p composite?
False
Suppose 20*t + 268 = 24*t. Is t a composite number?
False
Let s(c) = 0*c**3 + 2*c**2 + 2*c + 5*c**2 + c**2 + c**3 - 1. Is s(-6) composite?
False
Suppose -2*h - 2 = -0*h. Is 414 - (h - (-6)/3) a prime number?
False
Suppose 5*q - 8 = i + 10, 3*q = 12. Suppose -2*u - 354 = -3*t, u + u + 238 = 2*t. Suppose -4*f + m + 93 = -124, -2*f = -i*m - t. Is f a composite number?
False
Suppose -6 = -i + 3*t, 2*t - 24 = 3*i - 63. Suppose -i = -2*f + f. Is f prime?
False
Let f be 0/(8/2 - 2). Suppose f*i = i. Suppose 7*l - 2*l - 325 = i. Is l a prime number?
False
Suppose -4*h + 0*h = -948. Is h prime?
False
Let p be (1/(-2))/(2/(-572)). Suppose -3*q + 88 = -p. Is q composite?
True
Let j(z) = -2*z**3 + 3*z + 1. Let m(f) = 4*f**2 - 15*f - 2. Let q(u) = -3*u**2 + 10*u + 1. Let i(y) = -5*m(y) - 7*q(y). Let a be i(-3). Is j(a) a prime number?
False
Let i(q) = 4*q + 3. Let v be i(-2). Let a = v - -7. Suppose -2*p = -3*z + 168, -52 = z - a*z + 2*p