 15. Let p = x + -203. Is p a composite number?
False
Suppose -u = 4*b - 887, -u + 4515 = 4*u + 4*b. Is u a prime number?
True
Let p be -2 + (-2 - -6)*-2. Let b = 6 - p. Is 11/(-88) + 10258/b composite?
False
Let x(k) = k**2 + 9*k - 14. Let s be x(-10). Is (-13)/((-2)/s*(4 - 6)) a composite number?
False
Let s(h) = -h**2 - h. Let x be s(2). Let l(r) = 5*r**2 + 3*r + 39. Is l(x) a composite number?
True
Suppose 0 = -5*h - 4*b + 39945, 0*h - 3*b = -2*h + 15955. Is h a prime number?
False
Suppose 0 = -3*x - t - 363, -5*x + 2*t - 616 = -0*t. Let m = x + 76. Let z = m + 165. Is z composite?
True
Let u(h) = h**2 + 17*h - 40. Let r be u(-19). Is (0 + 2)*(-2129)/r a prime number?
True
Suppose -6*x + 6 + 24 = 0. Suppose x*z = -0*z + 8785. Is z composite?
True
Suppose 5*l = -4*y + 86230, -2*l - 2*y - 4037 = -38529. Is l a prime number?
False
Suppose -2*f = -4*d + 2*f - 20, 0 = 3*f. Let s(a) = -a**3 - 4*a**2 + 4*a - 2. Let y be s(d). Suppose 47 = y*z - 112. Is z a prime number?
True
Is (-19144 + (-63)/7)*-1*1 composite?
True
Let n be -2 + (-2 - -2) + 7. Suppose -23 = -n*s - 2*b - 3, 0 = 4*s - b - 16. Suppose 537 = 3*j - 0*q - q, s*q = -3*j + 537. Is j a prime number?
True
Let j = 2853 + -1968. Suppose 3*f - 2754 = j. Is f prime?
True
Let h = 25 - 30. Let z be (1646/h)/(1/(-5)). Suppose -p - 4*n - 58 + 401 = 0, 5*p = 3*n + z. Is p composite?
False
Let j be ((-14)/(-4))/(2/188) - -3. Let g = j + 149. Is g a prime number?
False
Let a(u) = -3*u**3 - 2*u - 1. Let w be a(-1). Suppose w*b = b + 2*x - 247, -2*x = -b - 85. Let p = -50 - b. Is p prime?
True
Suppose 8 - 23 = -3*l. Suppose 0 = o - l*o + 4568. Is (o/6)/((-5)/(-15)) a prime number?
True
Let g(z) = z**2 - 5*z + 8. Let v be g(3). Suppose v*r + 2*t - 390 = 0, -3*r - 2*t + t + 577 = 0. Is r a composite number?
False
Suppose 13 = 3*c + 61. Let s(b) be the second derivative of -b**3/2 + 23*b**2/2 + b. Is s(c) a prime number?
True
Let m(h) = h - 3. Let t be m(5). Suppose -t*u = -5*u. Suppose -4*z = -u*z - 1316. Is z prime?
False
Let y(j) be the first derivative of j**2 + 145*j + 18. Is y(0) composite?
True
Suppose 8*r + 8085 = 54797. Is r prime?
True
Let z(i) = i**2 + 3*i + 4. Let w(m) = -m**3 + 3*m**2 + 4*m + 2. Let j be w(4). Let c = -4 - j. Is z(c) composite?
True
Suppose v - 6 = 2. Suppose 4*x = 4*g - 2124, 2*x - 6*x = -v. Let o = g + -270. Is o a composite number?
False
Let z be -1 + (2 - 2 - 104). Let t(o) = -o**2 - 2*o + 3. Let x be t(13). Let s = z - x. Is s composite?
True
Suppose 0 = 3*f - 5*f + 6, 2*d + 5*f = 19. Is ((d + -1)*1)/(-1) - -2100 prime?
True
Suppose 6*c = 7*c + 16. Let g be (-4)/(-14) + c/7. Let o(a) = -9*a**3 - 4*a - 3. Is o(g) prime?
False
Let w(h) = -h**2 + 6*h - 6. Let g be w(6). Let k(m) = -m + 263 - 3*m - 256 - m**2 + 2*m**2. Is k(g) a prime number?
True
Is (-3)/(-5) - ((-68957)/5 + -1) prime?
False
Let u(n) = -28*n + 9. Let h be (0 - 1)/(3/39). Is u(h) composite?
False
Let o(x) = -x - 5. Let n be o(-5). Suppose -6*w + 1036 + 5954 = n. Is w composite?
True
Suppose 0 = 6*l - 12805 + 211. Is l prime?
True
Let m(c) = 93*c**2 - 3*c + 3. Is m(-6) composite?
True
Is (4130/28)/(1/2) prime?
False
Suppose 2*k - 9 = -1. Let u(c) = 284*c - 3 + 37*c**2 - 142*c - 146*c. Is u(k) a composite number?
True
Let z(b) = 5*b**2 - 12. Let k be z(-6). Suppose -5*j + 467 + k = 0. Is j a prime number?
True
Let p be -1*(-2 - (-4 - -253)*-9). Let v = -144 - p. Is v prime?
False
Let f(q) = q. Suppose 2*u + 2*v = v, -u - 5*v - 18 = 0. Let n be f(u). Is -1*n*(-340)/8 prime?
False
Suppose 3*p = -n + 38460, 8758 + 4057 = p + 2*n. Is p composite?
False
Suppose -p + 3 = -1. Suppose -f = -2*f + p, -2*h - f = -2. Is (24 + -1)*h/(-1) prime?
True
Suppose 42499 = 5*y + 2*x, 4*x = -5*y + 8*x + 42517. Is y composite?
False
Suppose 0 = 33*b - 1051479 + 158037. Is b a prime number?
False
Suppose -16 = -4*f, 4*k + k - 4*f + 16 = 0. Suppose k = -5*p + 12 - 2. Suppose 2*i - u - 295 = 0, 7*u = -3*i + p*u + 410. Is i a prime number?
False
Let p be (3 - (-10)/(-2))/((-2)/4). Suppose 0 = z + 3*o - 400, -p*z + 0*z = 4*o - 1624. Is z composite?
False
Let z(c) = -406*c + 67. Is z(-2) a composite number?
True
Let x(b) = 4241*b**2 + 7*b - 7. Is x(1) a composite number?
False
Let z(g) = g**2 - 10*g - 5. Suppose -48 = -3*a + 5*k, 2*a = -2*a - 4*k + 32. Let b be z(a). Is -1 + 0 - (b - 456) a composite number?
False
Let s(b) = -3*b**2 - b + 4. Let k be s(-6). Let p = k + 136. Is p a prime number?
False
Let j(b) = -b**3 + 9*b**2 - 9*b + 14. Let o be j(8). Is (-1030)/(-4) + (-3)/o composite?
False
Suppose l = 2*f - 1413, 4*l - 3565 = 3*f - 8*f. Is f a composite number?
False
Suppose -23*d = -21*d - 3586. Is d prime?
False
Let k(i) = 3*i**2 - 3*i**2 - 2*i**2 + 3*i**2 - 1. Let y be k(-3). Let f = 31 - y. Is f a prime number?
True
Let u be 135*(-86 - -5)/3. Let s = -2206 - u. Is s composite?
False
Let f = 22 + -47. Let m(z) = -z**3 - 22*z**2 + 26*z + 22. Is m(f) a prime number?
False
Let f(n) = -n**2 + 9*n + 3. Let r be f(9). Is (-8)/(-5 + r) + 553 prime?
True
Is 4/38 + (-632955)/(-285) a prime number?
True
Let r = -2424 - -3861. Is r a composite number?
True
Is 1 + 11/((-33)/(-17904)) a composite number?
True
Let n = 9 - 4. Suppose r - 3*r - 2 = 0, n*i + 5*r - 2190 = 0. Is i a prime number?
True
Let q(u) be the first derivative of 31*u**4/4 - u**3/3 + 3*u**2 - 7*u + 1. Is q(3) a composite number?
False
Let x(u) = u**3 - 8*u**2 - 9*u + 4. Let d(k) = k**3 - 10*k**2 + 9. Let w be d(10). Let t be x(w). Suppose -t*p + 613 = 2*l + p, 0 = 5*p + 25. Is l prime?
False
Suppose -i - 3*i - 3*o + 7142 = 0, -1779 = -i - 4*o. Suppose -i + 569 = -6*w. Is w prime?
False
Suppose 0 = -2*b - 2 + 12. Is (4 + -3)/(b/2270) composite?
True
Let n(b) = 9*b + 2. Let v be n(2). Let t be 5/v - 279/(-4). Suppose 0 = 4*j - 6*j + u + t, 5*j + 2*u = 157. Is j prime?
False
Let l(b) = b - 1. Let w(r) = 25*r + 6. Let s(j) = -6*l(j) - w(j). Is s(-7) composite?
True
Is ((-2)/19 - 0) + (-171262541)/(-11723) a prime number?
False
Is -4 - 16/((-128)/98392) composite?
True
Suppose -2*t = -3*b + t + 43350, t + 72262 = 5*b. Is b a composite number?
True
Let w = 35299 + 41502. Is w composite?
False
Let j(y) = -2*y**3 - 2*y**2 + 3*y - 16. Let r(s) = 6*s + 3*s**3 - 32 + 4*s**2 - 3*s**3 - 9*s**2 - 3*s**3. Let q(l) = -5*j(l) + 3*r(l). Is q(11) a prime number?
True
Suppose 5*u = -5*r + 191750, 126*r - 124*r - 5*u - 76707 = 0. Is r a prime number?
True
Let a be (-2)/(-3)*(-95517)/(-6). Let p = -4030 + a. Suppose -5*t = 4*b - p, -3*b = -5*t + b + 6607. Is t composite?
False
Let m = 854 - 527. Is m a prime number?
False
Let g be 6 + -4 - (-4)/(-1). Let r be (-1 + 18/4)*g. Is (1 + r - -3) + 166 prime?
True
Suppose 0 = 2*y + 5*y + 5453. Let a = 1110 + y. Is a a composite number?
False
Suppose -w - 3*w = -8. Suppose 2*l - 174 = -w*z, 0 = l - 3*l + 2*z + 154. Suppose -y + 63 = -l. Is y prime?
False
Let t(z) = -z**3 - 3*z**2 - 9*z - 7. Let i be t(-6). Let o = -52 + i. Is o composite?
False
Suppose -714*c + 721*c = 107947. Is c prime?
False
Suppose 135433 = 69*v - 25544. Is v composite?
False
Suppose 0 = -11*w + 12*w - 2373. Suppose 122*g = 119*g + w. Is g prime?
False
Is (-2)/2*(2 + -2245) prime?
True
Suppose 16*w - 10*w - 60 = 0. Let t(j) = 21*j + 53. Is t(w) a prime number?
True
Suppose 0 = 3*m - l - 667, 3*l + 0*l + 3 = 0. Suppose -s - s + m = 0. Is s a prime number?
False
Suppose -18*w = -13*w - 130. Suppose -3*p = w - 515. Is p a composite number?
False
Suppose 21022 = 7*j - 10527. Is j composite?
False
Suppose 4*a + 320 = -240. Let o = a + 1761. Is o prime?
True
Suppose -2*j = 7*j - 495. Is j prime?
False
Suppose -4 = -2*r - 0. Let j(a) = -2*a**r + 5*a + 1 + 4*a - 3*a - 2*a**3. Is j(-3) composite?
False
Suppose j + 0*m = 2*m, 0 = -3*j + 4*m. Suppose j = -9*x + 8*x + 293. Is x a prime number?
True
Let y be (-138)/15 - (-4)/(-5). Let u = y + -5. Let d = u + 25. Is d prime?
False
Let u(i) be the third derivative of -7/24*i**4 + 1/12*i**5 + 9*i**2 + 1/2*i**3 + 0*i + 0. Is u(7) a prime number?
True
Let y be (-9)/(-6) - ((-1468)/8)/(-1). Is (-7)/y*53374 + 4/26 a prime number?
True
Let c(b) be the second derivative of 257*b**3/6 + 22*b**2 + 33*b. Is c(15) prime?
False
Suppose 0*d + 135 = 4*d - 3*w, 4*w - 70 = -3*d. Let k = d - -116. Is k prime?
False
Let b = -3349 + 4970. Is b a prime number?
T