False
Let u = 17 - 17. Suppose -z = 4*t - 465, -t + 4 = -u*t. Is z a prime number?
True
Is 16/(-12)*(-9 + 19434/(-8)) a prime number?
True
Let d(r) be the second derivative of -7/2*r**2 + 0 - 4*r + 7/6*r**3 + 1/3*r**4. Is d(6) composite?
False
Let q be 2 + 3/((-9)/24). Let n(u) = u**3 + 6*u**2 - 8*u + 2. Let x be n(q). Suppose 3*s + t + 7 = 42, 4*s + 3*t = x. Is s composite?
False
Is 10628/(60/7 - 8) a composite number?
True
Is -12 + 9/((-81)/(-273501)) composite?
True
Let d be (-1)/((-18)/(-45) - 349/885). Let g = 262 - d. Is g prime?
True
Let u(z) be the second derivative of 53*z**4/4 - z**2/2 + 3*z. Suppose -40 + 34 = 3*b. Is u(b) a composite number?
True
Let j = 56 + -95. Let m = -16 - j. Suppose 0 = u - 46 - m. Is u a composite number?
True
Let d(j) be the second derivative of 0 + 4*j + 1/2*j**2 - 1/12*j**4 - 7/2*j**3. Is d(-9) a composite number?
False
Is ((42/12)/(-7))/((-1)/9602) a prime number?
True
Let m = 2488 + -831. Is m prime?
True
Is (-1)/(-2)*(9 - -1653) composite?
True
Is 10/20*662*(1 - 0) prime?
True
Suppose -4*b + 2*r = -74, -r = -6*b + 3*b + 57. Suppose -10 - b = 5*h. Is h/(-4)*(-356)/(-6) composite?
False
Suppose 5*u - 10 = -b, 2*u + 3*b = -2*b + 4. Suppose 2*s + 5*o - 1390 = 0, -s + 695 = -0*s - u*o. Is s composite?
True
Let c(g) be the second derivative of g**6/120 - g**5/12 - g**4/6 - g**3/2 - 3*g**2 + 4*g. Let n(y) be the first derivative of c(y). Is n(8) a composite number?
False
Let t = 9 + 2. Suppose 5*x + t = -4, 383 = 2*w + x. Is 2/(w/(-65) - -3) a composite number?
True
Is 2*-2 + (-39 - -32094) a composite number?
False
Suppose 3*j - 2*h + 0*h - 76429 = 0, -4*h = -4. Is j a composite number?
True
Let u = -9 + 11. Let o(j) = -2*j**2 + j**2 - 5 + 6*j - 7*j**2 + 4*j**3 + 4*j**u. Is o(4) prime?
True
Suppose -p + 4*a = 4*p, a = -4*p. Suppose -2*d + 4*f + 222 = p, f + 444 = -d + 5*d. Is d a prime number?
False
Is 5*(4 + 82248/40) a prime number?
True
Let t = 13304 + -7638. Is t a composite number?
True
Let t(p) = 1762*p**2 - p. Let m be (-10)/20*4/(-2). Is t(m) prime?
False
Let w = 118 + -187. Let q = -23 - -39. Let d = q - w. Is d a composite number?
True
Let n(o) = 10*o + 16. Let k be n(-10). Let y = k + 211. Is y prime?
True
Suppose 2*c - 3*i - 2100 = 1965, 0 = -4*i + 4. Let m = c - 1357. Is m prime?
True
Let f be (2 - 6)*(3 - 87/12). Is 1/(-3)*(f - 1940) a prime number?
True
Let r = 17 + -11. Let m(p) = r*p + 2 - 4*p**2 - 2*p + 4*p**3 + 2*p**3 - 4*p**3. Is m(4) prime?
False
Let k = -18 - -23. Let p(u) = -k*u - 38 + 0*u**2 + 2*u**2 - 6*u + 26. Is p(9) prime?
False
Let b(p) = 35*p**2 + 20*p + 7. Is b(3) a prime number?
False
Suppose 2647 = 3*k - 3482. Suppose 4*z = 3*f - 440 - k, 2*z + 3294 = 4*f. Is f composite?
False
Let r(f) = 3*f**2 - f + 1. Let n be -3 + (5 - 1) - -6. Let g(s) = -s**2 + 5*s + 10. Let w be g(n). Is r(w) prime?
True
Let c = -67414 - -129363. Is c a prime number?
True
Suppose -6932 - 10741 = -3*p - 5*u, 5*p - 29455 = -5*u. Is p a composite number?
True
Let k(w) = 1444*w**2 + 9*w + 13. Is k(-3) composite?
True
Suppose 4786*w = 4772*w + 1682338. Is w a composite number?
False
Let i(o) = -o + 17*o + 5*o**2 + 13 + 4 - 4. Is i(-20) composite?
False
Let t(d) = -7*d - 8. Let i(g) = g**2 - 7*g. Let l be i(6). Let o(h) = 7*h + 7. Let s(m) = l*o(m) - 5*t(m). Is s(-5) a prime number?
False
Let f = 2736 - -35. Suppose -2765 = -7*h + 4*h + 2*z, -3*h + f = z. Is h a composite number?
True
Suppose 22*c = 17*c - 4*v + 198719, -5*c + 5*v + 198755 = 0. Is c a composite number?
True
Let y(r) = 2*r - 60. Let v be y(27). Let q be 2/(-9) - (-3992)/(-18). Is (q/v)/(1/5) prime?
False
Let i(j) = -6*j**3 + j**2 - 2*j - 4. Let x be i(-3). Suppose a = x + 486. Suppose 0 = 4*u - 3*p - a, 4*p = -u + 127 + 14. Is u a composite number?
True
Let i = 530 - -4221. Is i composite?
False
Let y(o) = 44*o**2 + 9*o + 102. Is y(-19) composite?
True
Suppose p - 106526 = 2*z + 64749, 3*z = -4*p + 685144. Is p composite?
True
Suppose 192*x + 58887 = 219*x. Is x a prime number?
False
Let g = -60 - -64. Is g/24 - 10397/(-6) prime?
True
Let o(y) = -y**3 - 8*y**2 - 10. Let l be o(-8). Is 797*((-30)/l - (-1 - 3)) a prime number?
False
Suppose -13 = w - 9. Is -2 + 71 + (w - 0) prime?
False
Let r(q) = -4*q - 21. Let c be r(-7). Is (c/(392/(-32)))/(4/(-1918)) prime?
False
Let y(a) be the third derivative of -17*a**4/8 - 4*a**3/3 - 3*a**2. Is y(-5) a composite number?
True
Let r = -13886 + 20967. Is r composite?
True
Let i(m) = -3*m**2 - 14*m - 3. Let n be i(-4). Suppose n*d = 13*d - 112. Is d/(-49) - (-4941)/21 prime?
False
Suppose -3*b + 5*d - 7 = -25, 0 = 4*b + d - 24. Suppose -931 - 2225 = -b*m. Is m composite?
True
Let m be 18/4*(-6 - (-80)/12). Suppose -248 = -m*g + 235. Is g composite?
True
Let t = 9 + 1. Let n = -6 + t. Is n/(-10) + (-1274)/(-10) prime?
True
Let o(m) = m**3 - 3*m**2 - 4*m + 7. Let v(r) = 2*r**3 - 5*r**2 - 9*r + 13. Let w(u) = 5*o(u) - 2*v(u). Is w(8) prime?
False
Suppose -h + 59708 = -3*l, -4*l = -2*h + 12659 + 106747. Is h a prime number?
True
Let f = 2673 + 2198. Is f prime?
True
Let r(m) = 77*m**2 - 35*m - 31. Is r(-9) composite?
False
Let r = -1219 - -2224. Let g = -624 + r. Is g composite?
True
Let k = 102313 + -68856. Is k prime?
True
Let g(r) = 2*r - 22. Let i be g(12). Let x(h) = 83*h**2 - 1. Let t be x(i). Let f = t - 94. Is f composite?
True
Suppose 42*u - 7 = 35*u. Is (u - -37)*(-5 - (-548)/8) a composite number?
True
Let i = 2844 + 1003. Is i prime?
True
Let h(i) = 14 + i**3 + 11*i - 6 + 7 - 13*i**2. Let f be h(12). Suppose 514 = 2*g - 4*w, -115 = 2*g + f*w - 594. Is g prime?
False
Suppose -6*u - 4*m + 100025 = -3*u, -166719 = -5*u + 4*m. Is u a prime number?
True
Suppose 4*j - 2 - 17 = -3*i, i = 5*j. Let f(l) = 613*l**2 + l - 1. Is f(j) a composite number?
False
Suppose 39 = 2*j + m, 2*m + 2*m - 51 = -3*j. Let i be (-6)/9*j/(-1). Is i + (-1)/((-4)/(-12)) a prime number?
True
Let r(a) = 4*a**2 + 2*a - 10. Let o be r(-9). Let j = o + -181. Suppose -j = 3*h - 4*h. Is h prime?
False
Let z(b) = 77*b**2 - 4*b + 15. Is z(-6) prime?
False
Let m(p) = -p**2 - 10*p - 4. Let c be m(-9). Let x be c + 28 - (-12)/3. Is -4 - x*(-3 + -2) prime?
True
Suppose -4*z + 33772 = -12400. Suppose -5*r = 2*r - z. Is r composite?
True
Let y(t) = -86*t - 17. Is y(-2) composite?
True
Let b = 45418 + -24704. Is b a composite number?
True
Let t = 85 + 501. Is 32/40 - t/(-5) a composite number?
True
Is -1 + 10266 + 2 - (6 - 4) composite?
True
Suppose 2*q = -f + 155709, 579103 = 4*f - 4*q - 43793. Is f composite?
False
Let s = 139 + -340. Let h = s + 81. Is -1 + -2 + (2 - h) a composite number?
True
Suppose -2*v = 10, -2*v + 394 + 1406 = 2*h. Let a = -102 + h. Is a composite?
True
Let i(r) = 3*r**2 + 37*r + 3. Let u be i(17). Suppose 3*d = -3, -d - u = -5*v + 3*d. Is v prime?
False
Let b be (7/4)/((-8)/(-32)). Suppose b*c = 343 + 70. Is c a prime number?
True
Let y(u) = -13*u + 1163 + 3*u - u**3 + 13*u. Is y(0) prime?
True
Let w(d) = 1291*d**2 - 18*d + 52. Is w(3) a prime number?
True
Let y(u) = 7*u**2 + 10*u + 14. Let x(w) = -8*w + 2. Let k be x(1). Is y(k) a composite number?
True
Let d(a) = 10742*a**2 + 4*a - 3. Is d(1) a prime number?
False
Let c = 874 - 159. Let f = -464 + c. Is f a prime number?
True
Suppose 4*n + x = 70, 3*n - 14 = 2*n - 2*x. Let o be (-4)/n - (-110)/9. Is 3 + (119 - o/4) a composite number?
True
Let a(w) = w**2 + 6*w - 27. Let s be a(9). Let l = 223 - s. Is l composite?
True
Suppose -465 + 1668 = 3*i. Suppose 2*k - 376 = -k + y, -4*y + i = 3*k. Is k a composite number?
False
Let s = 6 + -2. Suppose 12 = 3*h, k + 31 = s*h + 5. Is (-290)/(-14) - k/35 a composite number?
True
Let r(x) = -2*x**2 - 41*x - 24. Let s be r(-20). Is 3109/3 - s*(-5)/(-30) a prime number?
False
Let b be (-194)/6 - (-3)/9. Let y be 1 + 0 + 260/4. Let s = b + y. Is s a prime number?
False
Suppose 3*c = -2*i + 6375, -3865 = 5*c - 4*i - 14468. Let g = c - 618. Suppose -3*h - 2*h = -g. Is h composite?
True
Suppose -863 = -4*h + 1133. Let f = h - 180. Is f prime?
False
Suppose -3*x + 15 = -3*v, -2*v + x = -0*v + 5. Suppose v = f - 4*f. Suppose 5*a - z = 4533, 2*z = 4 - f. Is a composite?
False
Is -27 + 29 - (-1 + -7408) composite?
False
Let l(i) = 607*i + 2*i**3 - 7*i**2 + 3 - 604*i + 0*i**3. Is l(6) a composite number?
True
Let v(d) = 434*d**2 + 2*d