 256 + 2. Let t be (c/1)/(0 + -1). Is t/(-7) - 2/(-7) prime?
True
Let z(g) = g**2 - 4*g - 5. Let k be z(6). Suppose k*a = 4*a + 63. Is a prime?
False
Suppose 2*i = -0*i - 2*h + 176, -5*h = -3*i + 280. Suppose 255 + i = 3*g. Is g a composite number?
True
Let a(u) = -305*u + 2. Is a(-1) composite?
False
Let h be 2*(-2)/(-6)*3. Suppose r + 1 + 5 = -l, r - h*l + 6 = 0. Is (55 - -2)*(-2)/r prime?
True
Suppose -t = 5*s - 2*s + 1, 4*t + 4 = 0. Let w = -6 - s. Is w/(-1)*(-34)/(-4) composite?
True
Let k(v) = 3*v**2 + 4*v + 4. Let i be -1 + -3*4/6. Let j be k(i). Suppose -j + 69 = 5*w. Is w a composite number?
True
Suppose -851 = -5*h + 984. Is h prime?
True
Let i(t) = -t**3 - 8*t**2 - 8*t - 9. Suppose 0 = -5*a - 48 + 123. Let z = a - 23. Is i(z) a composite number?
True
Let t = -1521 + 2698. Is t composite?
True
Let m be (-9)/(-2) - 1/(-2). Is 48/m - (-4)/10 a composite number?
True
Suppose -2*t - 6 = 0, 9 + 19 = -5*c - t. Let k(v) = 2*v**2 + 6*v + 1. Is k(c) prime?
False
Suppose -5*v + 1324 = -v. Is v a prime number?
True
Suppose 4*n = -2*m + 20, -3*m + 4*n - 20 = m. Suppose 4*p + m = 40. Is p composite?
True
Suppose 2*y + 73 = 597. Is y a prime number?
False
Suppose 4 = 4*p - 4, -4*p = -5*v - 23. Let d be (0 - (-3)/(-9))*v. Let n(i) = 10*i. Is n(d) prime?
False
Suppose 1028 = -11*x + 15*x. Is x prime?
True
Let x(s) = -s - 5. Let q be x(-10). Is (-2)/2*(-84 + q) prime?
True
Let p(k) = k**3 + 8*k**2 + 2*k - 10. Let d be (-2 - 0/(-1)) + 2. Let f be -1 + (0 - d) - 6. Is p(f) composite?
True
Suppose 3*w - 9 = -0*w. Suppose -3*s = k - 25, s + 3*s = w*k + 55. Is s a prime number?
False
Let h(u) = -217*u - 5. Let s(a) = -72*a - 2. Let f(o) = -3*h(o) + 8*s(o). Is f(2) composite?
False
Let p(u) = 94*u - 6. Let v be p(5). Suppose -5*h = -v - 281. Is h prime?
True
Let v(a) = a**3 + 24*a**2 - 13*a - 59. Is v(-18) composite?
True
Let k(t) = 3*t**2 - 1. Let q be k(-1). Suppose q = -4*y + 18. Is 1/4 + 651/y a prime number?
True
Suppose -3*n = -2*w - 763, 3*w = 3*n - 437 - 331. Is n prime?
True
Let p(l) = -36*l - 3. Is p(-6) prime?
False
Suppose 3*v - 2 = -5. Let j(q) = -15*q + 1. Let r be j(v). Let f = r + 51. Is f prime?
True
Suppose -3*b + 1237 = 4*n, -5*b + 748 + 1322 = 5*n. Is b prime?
True
Let p(a) = -190*a - 15. Let q(f) = -95*f - 7. Let v(r) = 6*p(r) - 13*q(r). Is v(2) a prime number?
True
Let p = -1167 + 1920. Is p a composite number?
True
Let r(s) = 2*s - 7. Let p be r(5). Suppose 0 = p*o - 2*j - 46, o + 2*j - 10 = -0*j. Suppose -o = -q + m - 5*m, 4*m = 4. Is q a composite number?
True
Let d(w) = -w**3 - 11*w**2 + 12*w + 4. Let l be d(-12). Let p(c) = 15*c - 3. Is p(l) a composite number?
True
Let b = 7 - 12. Let i(y) be the second derivative of y**4/2 + y**3 - y**2/2 + 7*y. Is i(b) composite?
True
Let q(z) = z**2 - 3*z - 9. Is q(13) a composite number?
True
Let l = -16 - -30. Suppose 24 + l = 2*n. Is n a composite number?
False
Suppose -r + 0*r = -224. Let q = -13 + r. Is q a prime number?
True
Let u be -2 - (-1 - -2)*-9. Suppose 5*r - 2*v - 15 = 6, -4*r = 4*v. Suppose -5*x + 646 = -3*z, -412 = -r*x - 4*z - u. Is x a prime number?
True
Let d(z) = 5*z**2 - 3*z**2 + 10 - z + 0*z**2. Is d(-7) a composite number?
True
Is (-2)/(3*(-10)/16305) a composite number?
False
Suppose 0 = 2*j + 12 + 2. Let y(u) = 4*u**2 - 3*u - 6. Is y(j) prime?
True
Suppose 363 = 2*b + a, -2*a = 2*b - 0*b - 364. Let f = b - 92. Is f prime?
True
Suppose 5*f + 6 = -9. Is 12/f*(-83)/4 prime?
True
Let v(s) = 0*s**2 + 9*s - 3*s**2 + 0*s**3 - 10 - s**3 - 6*s**2. Is v(-11) a composite number?
True
Suppose -1280 = -4*b - 3*v, -5*b + 1600 = -0*b - 3*v. Suppose -2*y + 2*h = -b, 810 = 5*y - 0*h + 5*h. Is y a composite number?
True
Let l(s) = s**3 - 2*s**2 - 3*s - 7. Let m be l(5). Suppose m = 2*j - j. Is j a prime number?
True
Let n = -494 + 831. Is n prime?
True
Let r = 126 - 74. Suppose -w + 3 = -r. Is w composite?
True
Let g(x) = -5*x**2 + 7*x - 3. Let u be g(6). Let j be 1 - (3/(-3) - u). Let d = -90 - j. Is d a composite number?
True
Let h(b) = -b + b + 8*b - 3. Let c be h(4). Let q = c - 10. Is q a prime number?
True
Let g(h) = -h**2 - 13*h - 12. Let f be g(-11). Let i(v) = -v**3 + 9*v**2 + 14*v - 9. Is i(f) prime?
True
Suppose -5*b - 1026 = -3*b. Let o = b + 1006. Is o a prime number?
False
Suppose -3*p = 2*p + 425. Let k = -54 - p. Is k a prime number?
True
Suppose -p = 4*a + 1 + 6, 4*a + 3*p + 5 = 0. Let b(g) = 65*g**2 - 3*g - 1. Is b(a) composite?
True
Suppose -2*k = -2*s + 1284, 3*s - 5*k - 213 = 1715. Is s prime?
True
Suppose 4*r + 4 - 40 = 0. Suppose 0 = r*h - 11*h + 8. Is h composite?
True
Let r(z) = -z**3 + 4*z**2 + 9*z - 1. Let u be r(6). Is u/(-2)*(2 + 44) prime?
False
Let a be (-4)/(-3)*(-3)/(-2). Let p be a/(-5) + 72/5. Suppose -4*k = -5*k + p. Is k prime?
False
Let q be (-10)/4*(-192)/80. Let t(c) = -c**3 + 8*c**2 - c + 1. Is t(q) a prime number?
True
Let m(v) be the third derivative of -4*v**4/3 + v**3/6 + 4*v**2. Is m(-1) prime?
False
Suppose 2*z = -3*z + 3*v + 184, -4*z + 5*v = -155. Is z a prime number?
False
Suppose 9 = 3*x - 54. Is x a composite number?
True
Let k(b) = b**2 - b + 23. Suppose -f = -3*w, 5*w = 5*f - 0*w. Is k(f) prime?
True
Let d(h) = h**2 - 2*h - 9. Is d(-6) composite?
True
Let w(y) = y + 1. Let p be w(5). Suppose 3*z + 0 - p = 0. Suppose 19 = -v + z*v. Is v composite?
False
Let o(c) = -c**3 - 3*c - 3. Is o(-11) a prime number?
True
Let o = 2776 - 1119. Is o composite?
False
Let m(s) = -s**3 - s**2 - 4*s - 10. Is m(-9) a composite number?
True
Let i = 684 + -458. Is i prime?
False
Suppose 4*v - 5*v + 79 = 0. Suppose o + q + 83 = 2*o, 0 = o - 2*q - v. Is o a prime number?
False
Let u = 308 + -163. Is u prime?
False
Let b(g) = 5*g - 1. Let c = 17 + -12. Suppose 3*y + 5*h + 33 = 5*y, c*y = -3*h + 5. Is b(y) a composite number?
False
Suppose 4*b = 2*v + 20, -3*b + 0 = 4*v - 15. Suppose v = 3*s - 294 + 27. Is s composite?
False
Let o(w) = 3*w. Let h be o(1). Suppose -51 - h = -x. Let q = x - -29. Is q a prime number?
True
Let o be (-10)/(-55) - (-42)/11. Let h = o + -1. Suppose 382 = 5*p - h. Is p a prime number?
False
Suppose -p + 2*q - 151 = -0*p, 0 = -2*q + 10. Suppose 6*n = 5*n. Is -5 + 7 + (n - p) composite?
True
Let d = -15 - -18. Suppose d*p + 50 - 155 = 0. Is p a prime number?
False
Let o(w) = w**2 - 2*w + 2. Let c be 2/(-2) + (-1 - -11). Is o(c) a prime number?
False
Let s(k) = 3*k**2 + 8*k + 2. Is s(-6) a prime number?
False
Suppose 0 = -4*q - 5*c + 684, 5*q - 4*c = -7*c + 855. Let l = q - 88. Is l a composite number?
False
Suppose 0*z = 4*z + 4. Is z/(-5) + (-1404)/(-30) prime?
True
Suppose -7 = -5*w + 3. Suppose -k + 7 - 3 = 0. Suppose 0 = -j - w*l + 27, -j + 2*l = -k*j + 65. Is j a composite number?
False
Is 1*-1*4/4*-127 composite?
False
Is (4/12)/(7/5523) prime?
True
Let o(d) = 108*d**2 - 4*d - 3. Is o(4) prime?
True
Let h(n) = 2*n**2 + 7*n - 4. Let u be 2*1/((-4)/(-18)). Is h(u) composite?
True
Let o = 10 + -6. Let f(a) = 2*a**2 - 3*a. Let t be f(o). Suppose 2*m + 2*m = -z - 1, 2*z - t = 3*m. Is z composite?
False
Suppose -2*i + 828 = 2*i - 4*c, 4*i - c - 840 = 0. Is i composite?
False
Suppose -2*b - 4368 = -2*h - 0*h, 3*h - 6547 = 2*b. Is h prime?
True
Let q(x) = x**2 - 7*x. Let r be ((-14)/8)/(1/(-4)). Let s be q(r). Suppose 19 = b + f, -5*b - 2*f + 95 = -s*f. Is b a composite number?
False
Let g = 4 - 4. Suppose 4*p - 302 - 542 = g. Is p prime?
True
Is (-359)/(1 - (-20)/(-15)) composite?
True
Let l = -1 - -6. Suppose 0 = 3*j + l*i - 17, i - 4 = -0. Let r(q) = -35*q. Is r(j) a composite number?
True
Let w(n) = 7 + 2*n + 7*n**2 - 3*n**2 - 3*n**2. Suppose 0*b + 3 = b - 2*a, 0 = -3*b - 5*a - 35. Is w(b) prime?
False
Let x = 523 - -954. Is x a prime number?
False
Let q(p) be the second derivative of 17*p**4/6 - p**3/3 - p**2/2 + 5*p. Is q(2) composite?
False
Is (5 - (-1471 + -5))/((-1)/(-1)) composite?
False
Let g = 528 + -235. Is g a composite number?
False
Let c(d) = -d - 10. Let b be c(0). Let g = -5 - b. Suppose 10 = w + 4*o, -g*w + 186 = -3*o + 67. Is w composite?
True
Let a(x) = x**2 + 2*x + 201. Is a(0) composite?
True
Let i(g) = 85*g**2 - g - 1. Is i(-1) prime?
False
Let o(k) = -k + 0*k**2 + 5 - k + 10*k**2. Let t be o(4). Let f = t + -62. Is f a composite number?
True
Let i(t) = t**2 + 9*t + 13. Is i(-13) prime?
False
Let o = -9 - -