 + 19*k**2. Is t(-6) prime?
False
Let u(d) be the first derivative of -12 + 4*d + 47/2*d**2. Is u(3) composite?
True
Let y = -71 + -1. Let a = -41 - y. Suppose 0 = 2*h - 129 + a. Is h prime?
False
Suppose 2*w + 0*w + 14 = 4*j, -5*w - 15 = 0. Is (-446)/j*(-1)/(1 + 0) a composite number?
False
Let l(v) = v**3 - 8*v**2 + 2*v - 1. Let k be l(8). Let w(u) = 88*u - 1. Is w(k) a prime number?
True
Let j be ((-65)/(-39))/((-2)/(-6)). Let n(b) = 30*b**2 + 5*b + 3 - 3*b - j*b - b. Is n(2) a composite number?
True
Let d(p) = -p**2 + p. Let j be d(1). Suppose -4*g = -5 - 7, 3*o - g - 384 = j. Suppose 0*x + x - o = 0. Is x a composite number?
True
Let r = 21 - 17. Suppose 4*m + 59 = -0*k + k, -5*m + 131 = r*k. Is k a composite number?
True
Let x(h) = -435*h - 31. Suppose 8*y = 7*y - 6. Is x(y) composite?
False
Suppose -7*s - 3*s + 188110 = 0. Is s a prime number?
False
Suppose -4*g + 5*z + 2168 = 0, 26*g - 29*g - 4*z + 1657 = 0. Is g composite?
False
Let p = 11 + -9. Suppose p*w - 208 + 17 = -5*x, 4*x - 94 = -w. Suppose -2*u = y + 3*y - 78, 2*u = y + w. Is u composite?
False
Suppose y + 3*n - 28119 = 5*n, -56244 = -2*y + n. Is y a prime number?
True
Let s(k) = 4362*k**2 - 55*k - 166. Is s(-3) a prime number?
False
Suppose -18250 = -5*q - b, 2*q - 7317 = 6*b - 3*b. Is q a composite number?
True
Let h(u) = 5*u - 1. Let p be h(2). Suppose -4*v + 7 = -p. Suppose 2*o + 3*c = -o + 489, v*o = 2*c + 652. Is o composite?
False
Suppose -5 = 12*c - 17*c. Is 106 - (10/(-5) - c) composite?
False
Let w(q) = -q**3 - 8*q**2 + q + 25. Is w(-12) a composite number?
True
Is (1 - -15)*244 - -3 a composite number?
False
Suppose 3*q + 4*i - 10 = -i, 4*i + 4 = 0. Let p(k) = 8*k**2 + 7*k. Is p(q) a composite number?
True
Let r(t) = t**3 - 26*t**2 - 6*t + 66. Is r(27) a prime number?
False
Let y(k) = 30*k**2 - 6*k + 1. Is y(-6) composite?
False
Let z(q) = -q**2 - 5*q + 18. Let u be z(-7). Suppose 3*b - u*b - 4*m + 16 = 0, -4*m = -4*b - 16. Suppose b = -2*v + 4*o + 50, v - 15 = -o + 1. Is v prime?
True
Let f = 9986 - 5799. Is f a prime number?
False
Let a be (2 - 3)*(-6 - 1). Suppose -5*h + 0*d - a = d, -5*d - 5 = -5*h. Is -293*(3 - 2)*h a composite number?
False
Is (-1*(-43206)/9)/((-58)/(-87)) a composite number?
True
Let x(l) = -2*l**3 + 3*l**2 + 4. Let h be x(2). Suppose 0*f - 2*f = 2, 2*j + 2*f - 792 = h. Is j a composite number?
False
Is (((-155)/(-10))/1)/((-5)/(-50)) a composite number?
True
Suppose 28*z + 60 = 32*z. Suppose 0 = z*u - 19*u + 24164. Is u composite?
True
Let k(l) = 139*l**2 - 2*l + 123. Is k(-20) a composite number?
False
Suppose 0 = -4063*g + 4062*g + 30055. Is g a prime number?
False
Suppose -13*g - 1814 = -15*g. Is g a composite number?
False
Is (-32698)/(-5) + (0 - 3/5) a prime number?
False
Let y(u) = -139*u + 31. Let s be (3/4)/(3/72*-2). Is y(s) a composite number?
True
Let n be ((-614)/8)/(1/(-8)). Suppose -h = -3*h + n. Is h a prime number?
True
Suppose n - 25 = 14. Suppose 286 = 5*k - n. Is k prime?
False
Suppose 14*p - 21356 - 12398 = 0. Is p a prime number?
True
Let w = 319 - -152. Suppose -2*t + q + 762 = -w, 5*t + 2*q = 3069. Suppose 3*x - t = -222. Is x prime?
True
Suppose 19*u + 1391 = 35610. Is u a prime number?
True
Suppose -4*t = -2*t - 306. Let y(g) = -21*g - 24. Let i be y(-12). Suppose -3*a - 3*n = -t - i, -4*a = 3*n - 512. Is a a prime number?
True
Let h(s) = 7*s + 50. Let d be h(-8). Is (3 + 27/(-6))/(d/892) composite?
False
Suppose 2*i - 214 = i. Suppose -3*o + i + 356 = 0. Suppose o = 3*c + 5*m, -6*c + 2*c + 3*m + 205 = 0. Is c prime?
False
Let t = 41 - 27. Let d(z) = z**3 - 14*z**2 + 2*z + 9. Let m be d(t). Suppose -m = 2*l - 291. Is l composite?
False
Let n be (-3)/9*2*-123. Suppose 0 = k + n - 225. Is k composite?
True
Suppose 0*k + 13 = 3*k + c, -4*c = 5*k - 24. Suppose -2776 = -k*u + 3852. Is u composite?
False
Suppose -3*u + 378 = -5*a, -2 = -2*a - 8. Is u composite?
True
Suppose 4 = -3*l + 2*y, -l - 3*y = -5 - 12. Let p(o) = 0*o + 0*o + l*o + 15. Is p(11) composite?
False
Suppose -f + 2874 + 1517 = 0. Is f composite?
False
Suppose 2*q = 3*p - 6*p + 37622, 2*q - 37626 = -4*p. Is q a prime number?
False
Let s(u) = u**3 - 4*u + 13 - 4 - 5*u. Let l be (96/216)/(2/36). Is s(l) prime?
True
Suppose -3 = 4*i + 4*a + 5, -5*a - 16 = 2*i. Suppose -3*s - 1195 = -l, l + i*s = 4*s + 1195. Is l prime?
False
Let o(h) = -685*h + 6. Is o(-1) composite?
False
Let i = 16 + -29. Let o be i/(-3) - 8/24. Suppose 3044 = 4*x + o*d, x + 2*d = -3*x + 3044. Is x composite?
False
Let x be (10 - 10)/(2/(-2)). Suppose x*a = -5*a + 725. Is a a composite number?
True
Let q(g) = g**3 + 25*g**2 + 24*g - 1. Is q(-17) a composite number?
True
Let p(b) = 3*b**3 - 4*b**2 + 98*b - 26. Is p(12) composite?
True
Let s(x) be the second derivative of x**4/12 - 13*x**3/6 - 6*x**2 - 7*x. Let o be s(14). Suppose o*r - 3*l = 373, 3*l - 3 = 2*l. Is r a prime number?
True
Suppose -50*v - 958 = -52*v. Is v composite?
False
Let i(f) = f**2 - 8*f - 7. Let s be i(9). Suppose -3*c + 2159 = s*p + 2*c, -c + 5432 = 5*p. Is p a composite number?
False
Suppose 22 = 4*t - 2. Let b(d) = 3*d - 15. Let n be b(t). Suppose -1109 - 220 = -n*q. Is q composite?
False
Let n be (-2)/7 + (-348)/(-42). Is (1574/n)/((-3)/(-12)) a composite number?
False
Let y be 112/(-64) - (-1)/(-4). Is y + (-2 + 90 - -1) a prime number?
False
Let w(h) = 201*h**2 + 3*h - 1. Is w(-9) prime?
True
Let f(o) = -o. Let h be f(-4). Let d(j) = -48*j - 2. Let k(t) = 72*t + 3. Let m(z) = -8*d(z) - 5*k(z). Is m(h) a composite number?
False
Suppose 0 = 5*f - 6 - 4. Suppose -3*l = 4*p - f*l + 153, 3*p - 5*l + 132 = 0. Is p*(-2 + (-1)/(-1)) composite?
True
Suppose -3*o + 1584 = -o. Suppose o = 3*y - 5*s, y - 2*s = 4*y - 771. Is y a prime number?
False
Let d(j) = -48*j**3 + 9*j**2 + 23*j + 7. Is d(-9) a composite number?
False
Let m be (-5 + -4)*(-3)/9. Is (24294/(-18))/((-1)/m) a prime number?
True
Suppose 0 = -10*g + 14*g - 40. Suppose b + 16 = 6*b - 3*i, 3*i = 2*b - g. Suppose 3*a - 955 = -b*a. Is a a composite number?
False
Let h(a) = 4*a**3 - 2*a**2 - a - 3. Let j(b) = 5*b**3 - b**2 - b - 2. Let n(d) = 3*h(d) - 2*j(d). Let f be n(4). Suppose 5*t - f = -0*t. Is t a prime number?
True
Let g(j) = j - 1. Let c(v) = 97*v - 10. Let s(t) = -c(t) - 6*g(t). Is s(-21) a composite number?
False
Suppose -1091 - 2334 = -5*b. Is b prime?
False
Let u(v) = -6*v + 38. Let o be u(6). Suppose -4*n + 1786 = -2*c, -2*c - 1341 = -n - o*n. Is n composite?
True
Let p(r) be the second derivative of -r**5/10 + r**4/12 + 367*r**2/2 - 8*r. Is p(0) prime?
True
Let d be ((-3)/2)/((-7)/14). Suppose 1336 = v + 5*r, 0 = -d*v + 2*r - 0*r + 4093. Is v composite?
False
Suppose 5*n - 5*u - 1142 - 438 = 0, 4*n + 2*u = 1282. Suppose 3*p - 344 = -z, 0 = -3*p + 3*z + z + n. Is p a composite number?
False
Let x(s) = 435*s**2 - 6*s - 79. Is x(6) a composite number?
True
Suppose 5*z - 332 - 276 = -4*r, -5*z + 596 = -2*r. Suppose 5*f + 0*f = z. Suppose -f = -2*o - 6. Is o composite?
True
Let i = 1053 - 716. Suppose -i = -p - 88. Is p a prime number?
False
Let s = 19 - -30. Let z be s - (-5)/((-5)/3). Suppose -q = -3*q + z. Is q composite?
False
Suppose t + 3*s = s + 23, 68 = 3*t + 5*s. Suppose -14*z + t*z = 609. Is z a composite number?
True
Suppose -55 = -3*c - 2*c. Let q(m) be the first derivative of 2*m**3/3 - m**2/2 + 16*m - 20. Is q(c) prime?
False
Suppose -10*v + 7362 = 2*a - 14*v, 0 = -5*a - 3*v + 18379. Is a composite?
False
Let w(n) = 1014*n**2 - 24*n + 137. Is w(5) composite?
False
Suppose 3*c = 511 + 2840. Is c a composite number?
False
Let o = 33 + 368. Suppose 3*x - 4*x = -592. Let z = x - o. Is z composite?
False
Let w = -410 + 231. Let f = w + 256. Is f a prime number?
False
Let i(q) = 2*q + 2. Let w be i(-3). Let r(k) = -6*k**3 - 4*k**2 - 4*k - 6. Let y be r(w). Is 1 - y/(1 - 2) prime?
True
Suppose 0 = 4*m + 8 + 16. Is (0 - -273)*m/(-18) prime?
False
Suppose h = -3*j + 4, -9 - 5 = -2*j + 5*h. Suppose j*q = -q + 4497. Is q a prime number?
True
Let x be (6 + -64)/(2/(-4)). Let y be x/(126/(-33) + 4). Let u = y - 55. Is u a prime number?
False
Suppose p = 1677 + 2619. Suppose -10751 = -5*j + m + 2*m, m = -2*j + p. Is j composite?
True
Suppose -11 = 8*f - 587. Let m = 371 + f. Is m prime?
True
Suppose h + 2*t = 4*t, 4*t - 36 = -4*h. Is (h - 3585/(-27)) 