 + v. Is x prime?
True
Let n(v) = 2*v**3 - 5*v**2 + 3*v + 1. Suppose 3*w - 17 = -4*z, w - 5*z + 1 = -3*z. Is n(w) a composite number?
False
Let z = -5 + 5. Suppose z = 3*t - 0*t - 201. Is t a composite number?
False
Let x(j) = 2*j + 37. Is x(0) prime?
True
Is (2818/4)/(4/8) prime?
True
Let w be ((1 - 0)*-2)/(-2). Let s = 8 + -6. Is -1*w*(-334)/s a prime number?
True
Let b(n) = 298*n**2 - 3*n - 3. Let z be b(-2). Let i = -706 + z. Is i composite?
True
Let g = 2 - 2. Let c = -1 + g. Is 15 + -5 + 1 + c composite?
True
Let n(q) = 12*q**2 - 5*q - 9. Let g be n(9). Suppose 274 = -4*k + g. Is k prime?
False
Let o be (-6)/16 - (-43)/8. Suppose 0 = 2*d - q - 4*q - 303, 741 = o*d + 4*q. Is d a composite number?
False
Is 3/(-1) + (-81 - -1)*-11 a composite number?
False
Suppose c = 2*q + 1004, -5*q + 4*q - 492 = -3*c. Let o = -281 - q. Is o a prime number?
True
Suppose 0 = -0*o + 4*o + d - 4488, d - 1119 = -o. Is o a prime number?
True
Let x be (-16)/3 + 1/3. Is (-223)/(2/(x + 3)) a composite number?
False
Suppose 0 = 9*x - 2*x - 8981. Is x a composite number?
False
Let g(l) be the first derivative of -l**3/3 + 8*l**2 - 4*l - 2. Is g(7) composite?
False
Is (-6 - (-420 + -9)) + 4*1 a composite number?
True
Suppose 0 = -2*q + 5*h + 109, 0*h = -3*q - 3*h + 111. Suppose -g = g - q. Is g composite?
True
Let t(z) = 18*z - 3. Let j = 4 + -2. Suppose j*b - 4 - 6 = 0, b = 2*h - 1. Is t(h) a prime number?
False
Let j(h) = -h. Let s be j(-2). Let t(m) = -m**2 + s + 2*m + 6*m**3 - 7*m**2 + 6*m**2. Is t(2) a prime number?
False
Let h(t) = t**3 - 3*t**2 + 6*t - 7. Is h(4) a prime number?
False
Suppose 0 = -2*i + 3 + 1. Suppose -4*d + 83 = 5*v, -4*v + 2*d = -i*d - 88. Is v a composite number?
False
Let k = -13 - 81. Let f = -55 - k. Is f a composite number?
True
Let p = 571 + -384. Is p a prime number?
False
Let u(p) = 5*p**2 + 2*p - 3. Let j(a) = a - 12. Let c be j(14). Is u(c) prime?
False
Is 765 + 8/(-1 + -1) prime?
True
Let k be 3*(15*-1)/(-3). Let y(s) = 2*s**3 - 4*s**2 + 2*s + 1. Let r be y(2). Suppose k - 120 = -r*u. Is u a composite number?
True
Suppose -4*v + p = -7*v + 20, -v + 20 = 3*p. Suppose 3*j - 41 = -v*n, 3*n - 5*n + 20 = 3*j. Let t = n + 0. Is t prime?
True
Let o = 77 - 3337. Is (1/(-4))/(5/o) prime?
True
Is (-4244)/(-4)*(-8 - -9) a composite number?
False
Let a(d) = 7*d**2 - 5*d + 4. Let v be a(4). Let i = 31 + v. Is i prime?
True
Let z(f) = f**2 + f + 33. Let y be z(0). Let i be (-55)/y*(-1 - 2). Suppose i*u - 112 = 2*u - 5*l, 4*u + 5*l = 146. Is u a prime number?
False
Suppose 3*z + 12*o - 7473 = 8*o, 2*z - 3*o - 4999 = 0. Is z composite?
True
Suppose 0 = -0*z + 2*z + 1016. Is (z/6)/(6/(-9)) a composite number?
False
Suppose 0 = -5*z + 2*z + 9. Suppose -t = -z*c + 960, 0*c - 3*c + 951 = 2*t. Is c composite?
True
Let d be 2 + (-7)/((-7)/272). Suppose 2*p + 256 = 4*p + 2*h, 4*h + d = 2*p. Is p composite?
False
Let t(i) = -i**3 + i**2 + 2. Let g be t(0). Suppose -g*u + 4 = -u. Is (-93)/(-9) - u/(-6) composite?
False
Let r(a) = 3*a - 12. Let f be (42/(-7))/((-4)/6). Is r(f) prime?
False
Suppose p = -j - j + 135, 5*p = 2*j + 627. Is p composite?
False
Let l be 87 + -1 + 0 + 2. Suppose -5*u + u = -l. Is u prime?
False
Let n(u) = 3*u**2 - 2*u + 2. Let z(y) = -3 + 2 - 2 - 7*y + y**2. Let w be z(7). Is n(w) prime?
False
Let a(c) = c + 1. Let o be a(-2). Let l(b) = -3*b. Let g be l(o). Is (-2)/g + 176/12 prime?
False
Suppose -5*u - l + 9 - 49 = 0, -l = 0. Let c(i) = -12*i + 1. Let w(x) = 35*x - 4. Let t(a) = -11*c(a) - 4*w(a). Is t(u) prime?
False
Let s(v) be the third derivative of 47*v**4/24 - v**3/6 - 4*v**2. Is s(2) composite?
True
Let a = -19 - -34. Is a a prime number?
False
Let y(g) = -4 - 2 + 3 + 6*g. Is y(9) a composite number?
True
Suppose 0 = 4*q - 8 - 4. Suppose -10 = -q*r + r. Suppose 0 = 3*h - r*h + 14. Is h a prime number?
True
Suppose 5 = z + 3. Is ((-7)/z)/((-3)/282) a prime number?
False
Suppose -16*p - 488 = -15*p. Let m = 959 + p. Is m a composite number?
True
Let z(x) = 6*x**2 + 5*x + 15. Is z(8) a prime number?
True
Let n(i) = 3*i**2 - 3*i + 2. Let q be n(2). Let k = q + -5. Suppose 0 = -k*h + 1 + 8, p + 4*h = 47. Is p a composite number?
True
Suppose 0 = 2*f + 78 - 256. Is f a composite number?
False
Suppose j = -j - 5*x + 1, -7 = -j + 4*x. Suppose -j*s - 184 = -7*s. Is s a prime number?
False
Let g(o) = -207*o - 1. Is g(-8) a composite number?
True
Let u(w) = -w**2 + 6*w + 2. Let l be u(6). Let j be (l + 6/(-4))*-108. Is (3/9)/((-2)/j) prime?
False
Suppose -4*q = -3 - 13. Suppose 2*y - 15 = -5*x, -4*y + 23 = -x + q*x. Is ((-1)/(-3))/(x/111) a composite number?
False
Is 203 - 16/(-20)*-5 composite?
False
Let b = 160 - 57. Suppose b = t - 5*f, -t - 5*f = -3*t + 216. Is t composite?
False
Suppose -3*j + 1121 = -4*i, -5*j - 4*i - 532 = -2443. Is j prime?
True
Let h(m) = 185*m**3 - 2*m**2 - 5*m + 9. Is h(2) a composite number?
False
Let s(t) = 63*t**2 + 21*t - 31. Is s(14) composite?
False
Let i(u) = -u**3 + 6*u**2 + u - 3. Let c be i(6). Suppose 5*j - 21 = -2*h, c*j = j + h + 12. Suppose y + 3*x + 1 - 3 = 0, 2*y - j*x = 48. Is y composite?
True
Is (191/(-2))/(-5 - 36/(-8)) a prime number?
True
Suppose -k + 1531 = -66. Is k prime?
True
Let h(l) = -76*l**3 + l**2 - 2*l - 4. Is h(-3) composite?
False
Suppose -64 = -s + 22. Let r = -52 + s. Is r a prime number?
False
Let m(l) be the first derivative of 3*l**2 + 3*l**2 - 3*l - 2*l**2 + 1. Is m(7) a prime number?
True
Is (-370 + -3)/(1 - 2) a composite number?
False
Suppose -10*b + 2379 = -7*b. Is b prime?
False
Is (-1)/((-3)/(573/1)) a prime number?
True
Let n be 1 - (-2 + 0 + -1). Suppose -n*a = -9*a. Is a + 0 + 1 - -33 a composite number?
True
Suppose 3*j = -6134 + 18989. Is j a prime number?
False
Suppose 2*o - 528 - 948 = 0. Suppose 4*g - 1202 = o. Is g composite?
True
Suppose 6 = 4*f - 3*f. Let w(g) = -2*g**2 + 3*g. Let z be w(2). Is (z/f)/((-3)/117) prime?
True
Suppose -4*l + 9*l = 920. Suppose -5*p - 5*z + 280 = 0, -2*p = -5*p + 4*z + 133. Let u = l + p. Is u composite?
True
Suppose -t = 2*z + 100, 3*t + 473 - 168 = -5*z. Let f(w) = -4*w**3 - 5*w**2 + 2*w - 5. Let k be f(-4). Let i = t + k. Is i a prime number?
True
Let p(i) = 4*i**2 - 6*i - 1. Is p(-4) prime?
False
Let t = 1 + -1. Suppose t*l - v = 4*l - 20, -5*l + 5*v = 0. Suppose 5*z = l*z + 55. Is z a prime number?
False
Let q(b) = -b**3 + 5*b**2 + 7*b + 7. Let i be q(6). Let p = 24 + i. Is p composite?
False
Let o(s) be the third derivative of -s**6/45 + s**5/40 - s**4/12 + 2*s**2. Let w(k) be the second derivative of o(k). Is w(-5) a prime number?
True
Let o(w) be the second derivative of 11*w**4/6 + w**3/3 - w**2/2 - 5*w. Is o(-2) a composite number?
False
Suppose 0 = -x + 4761 + 942. Is x prime?
False
Let w(r) = -27*r - 1. Let u be w(1). Let j = u + 49. Is j a prime number?
False
Let n(h) = -2*h**3 - 5*h**2 - 8*h + 1. Is n(-8) prime?
True
Let t(k) = 2*k**2 - k - 1. Let b be t(-1). Suppose -3*q - n = -343, -5*q - 3*n = b*n - 565. Is q a prime number?
False
Let y be ((-28)/(-6))/((-10)/15). Let r(a) = a - 4. Let u be r(6). Is (12/(-2))/(u/y) a composite number?
True
Is 6/4 + (-2358)/(-36) a prime number?
True
Let u be (1 - -5)/((-4)/14). Let f be (-1)/(u/9 - -2). Let p(o) = 6*o + 3. Is p(f) a composite number?
True
Let m(j) = -188*j**3 + 2*j + 1. Let w = -1 - 0. Is m(w) composite?
True
Let p = 48 + -5. Suppose -50 = -g + p. Is g composite?
True
Let s = -20 + 21. Let u = -90 - -180. Suppose -p + s = -u. Is p composite?
True
Suppose -2*t + 18 = -3*x, 4 = x + 4*t + 10. Is (150/18)/((-2)/x) a prime number?
False
Suppose -b - 699 = -3032. Is b prime?
True
Suppose -3*k + 9 = 4*q - 8, k + q - 5 = 0. Let b = k + -5. Let l(a) = -105*a + 1. Is l(b) a prime number?
True
Let f(j) = -2*j - 2. Let o be f(-3). Let q(l) = 3*l**3 - l**2 - 3*l - 1. Is q(o) a composite number?
False
Suppose -3*z = -5*m - 1, -5*m + 1 = 3*z - 10. Suppose z*y = 4 + 2. Is (-62)/(-6)*(y + 0) a composite number?
False
Let x(a) = a - 3. Let s be x(5). Suppose -q - 5*m = -41, 66 = s*q - 0*q + 2*m. Is q a prime number?
True
Suppose -b = -34 + 6. Let w = 81 - b. Is w a composite number?
False
Let g = 1088 - 181. Is g composite?
False
Let s = -1681 - -7688. Is s a prime number?
True
Let n be (3 - (-3 - -5))*3. Let l = n - -6. Is l composite?
True
Suppose 2*z - 127 = z. Is