?
True
Is (-19)/(-114) + (-21965)/(-6) a composite number?
True
Let u(q) be the second derivative of q**4/3 - q**3/2 + 26*q**2 + 15*q - 2. Is u(15) a prime number?
True
Let n(z) = 158*z**2 - 13 - 169*z**2 + 3*z - 2*z**3 + 4*z**3. Is n(8) prime?
True
Suppose -2*b = -6 + 2. Suppose -3*w - x = -2*w + 93, 0 = w + b*x + 94. Let f = w - -147. Is f composite?
True
Let u = -13651 - -29970. Is u a prime number?
True
Suppose 3*z + 3188 = 2*h + 5*z, 2*h + z = 3184. Suppose 2*u - 40 = h. Suppose 3*j = 8*j - u. Is j a composite number?
False
Let t = 9691 - 6414. Is t a prime number?
False
Let m = -40815 + 69464. Is m prime?
True
Let p(s) = -s**3 + 2*s**2 + 2*s + 3. Let n be p(3). Suppose -6*a + 3*a + 9 = n. Suppose 11 = -a*m + 44. Is m prime?
True
Let a = 173 + 2223. Let r = -1387 + a. Is r composite?
False
Suppose -2*x + 4*l + 1939 = -871, x - 1409 = 3*l. Let n be 4/10 + x/(-55). Let j = n + 35. Is j composite?
True
Let x = -75 - -133. Suppose 0 = -9*i + 10*i - x. Is i a prime number?
False
Let i = -46427 - -77626. Is i a composite number?
True
Is 179361/33 + 4 + 92/(-22) a composite number?
True
Let z(y) = 0 - 7 + 3 - y + 6. Let d be z(-2). Suppose -d*h + 123 = -249. Is h composite?
True
Suppose -24126 = w - 4*w - 3*n, w = -3*n + 8048. Is w a prime number?
True
Let s = -5928 - -3216. Let n = -891 - s. Is n prime?
False
Let l(o) = 32*o**2 - 1. Let y be -4 - -5 - (0 + 9). Let g = y + 6. Is l(g) a prime number?
True
Suppose q - 1 = 0, 5*q = -5*g + 565 + 245. Is g prime?
False
Let n = -271 + 106. Let g = 276 + n. Let w = -42 + g. Is w composite?
True
Is (-14 - -15)*(17780 + 3 - 0) a prime number?
True
Is 562008/96 - 1/4 a prime number?
False
Let l be 0/((-2)/(-2) - 0). Let d be (l + -192)*(-2)/(-3). Is 8/(-4) + d/(-2) composite?
True
Let a(j) = -2*j**3 + j - 1. Let q be a(-2). Let l = q - 6. Suppose -2*g - 415 = -l*g. Is g a composite number?
False
Let v(l) = 378 + 5*l**2 + 10*l + 4*l**2 - 362. Suppose 3*z = a - 3*a - 5, 3*a - 5 = -2*z. Is v(z) a composite number?
False
Suppose -54*x + 191*x - 711989 = 0. Is x a prime number?
True
Is (82/(-10))/((-2)/50) a composite number?
True
Suppose -4*l - 9 = -4*v - l, -5*l = -v + 15. Suppose q - 38 + 34 = v. Suppose -q*z + 878 = 138. Is z a prime number?
False
Let r be 31944/(-136) + 4/(-34). Let q be 12/(12/(-4)) - r. Suppose 6*l = 9*l - q. Is l a prime number?
False
Let c be -2*(-3 + (-3 - 2)). Suppose -7*y + 3*y + c = 0. Suppose 0*i - 2 = i, 0 = y*r - i - 4230. Is r a composite number?
True
Let j(w) be the third derivative of -w**6/360 + 3*w**5/40 - w**4/24 - w**2. Let z(c) be the second derivative of j(c). Is z(-12) a prime number?
False
Let p = -381 - -1430. Is p prime?
True
Suppose 14*x - 32607 = 212771. Is x prime?
False
Let d be ((-2)/(-12)*-21)/((-1)/(-162)). Let s = 1126 - d. Is s a composite number?
False
Let l be (1 + 1)/((-1)/(-2)). Suppose 0 = -4*p - 8, -2*p + 3 - 15 = -l*u. Is (740/(-16))/(u/(-8)) a composite number?
True
Is 363/(-6)*-10 + 8 a composite number?
False
Suppose -k = 5*t - 7428, -k + t + 29670 = 3*k. Is k prime?
False
Suppose q + 14 = 3*a - q, 4*a - 3*q = 17. Suppose -8 = a*k - 0*k. Is k/(-1) - 936/(-6) a composite number?
False
Suppose -180 = 2*i + 4*j, -5*i - 375 = -0*j - 5*j. Let v = -332 - -190. Let p = i - v. Is p a composite number?
True
Suppose -9*g = -6*g - 246. Let l = 51 + -6. Suppose -y + g = -l. Is y prime?
True
Let l = -3 + 11. Let x = -16 + 24. Suppose -l = -2*z, -x*z - 247 = -3*q - 3*z. Is q a prime number?
True
Suppose 0 = 3*n - 3*d - 1917, -2*d + 1263 = 2*n - d. Suppose -n = -4*t - 5*a, 4*t - 3*a = -5*a + 640. Suppose 336 = v - t. Is v prime?
False
Suppose -6*y + 7*y = -3. Is (2 - 1)/(y - (-404)/134) a composite number?
False
Let x(q) = 2*q + 24. Let r be x(-12). Let g(d) = 3*d - 4. Let p be g(r). Let s(j) = 2*j**2 - 3*j + 3. Is s(p) prime?
True
Let i = -779 - -4132. Is i prime?
False
Let y = -5 + 12. Let q(v) = v - 10. Let c be q(y). Is ((-982)/c)/(16/24) a composite number?
False
Suppose 3*n + 0*n = 624. Suppose -v = t - n, -839 = -4*v - 4*t + 7*t. Let l = v - -942. Is l composite?
False
Let g = 34517 + 474. Is g a composite number?
True
Let p be (-40)/(-16) - 2 - (-9)/2. Suppose o = -o - x + 3602, 0 = p*x. Is o a prime number?
True
Let c(w) = w**3 - 8*w**2 - 7. Let t be c(9). Suppose -2*r - 5*u = -3*r + t, 0 = -3*r - u + 206. Suppose r = 4*g - 71. Is g composite?
True
Let t(s) = -s**3 - 5*s**2 - 2*s - 11. Suppose 3*y = q + y, 0 = -2*q + 2*y + 6. Let d = q - 15. Is t(d) a composite number?
False
Suppose 5*c - 5*w = 20, 9*w - 4*w = -3*c + 12. Suppose -3*a = c*m + 9, -3*m + 11 = -5*a - 4. Suppose -5*x + 287 + 998 = m. Is x prime?
True
Let k = 267 + -118. Let z be (-20 + 19)/(3/12*-2). Suppose z*c = h + 247, -3*c - 2*h + k = -211. Is c a composite number?
True
Let y = 414 + -18. Suppose -6*d - y + 138 = 0. Let f = 234 + d. Is f composite?
False
Let g(w) = -w + 7. Let d be g(5). Let u(o) = -34*o + 30. Let i be u(-4). Suppose 0 = d*q - 0*q - i. Is q a prime number?
True
Is (-1 - -7) + 64820/20 prime?
False
Let f(i) be the first derivative of i - 4 - 1/2*i**2 + 863/3*i**3. Is f(1) prime?
True
Let w(b) = 2*b - 23. Suppose 6*f - 52 = 2*f. Is w(f) prime?
True
Let x be 3 + (0 - 2)/2. Let c = -10 + 14. Suppose x*z - 48 = -0*z + c*i, 4*i = 5*z - 90. Is z prime?
False
Suppose 4*u + 31 = p, 5*p - 2*u - 80 - 3 = 0. Let j be (1630/p)/((-2)/(-6)). Suppose 2*r = f - 2*f + j, 4*r + f = 652. Is r prime?
True
Let b be 1 + 920/12*(-12)/1. Let l = b - -1620. Is l a prime number?
True
Let w be (1 + 1)/((-2)/1749). Let v = w + 3548. Is v a prime number?
False
Suppose 6783 = 2*o + 5*b, -3*o - 8*b + 10169 = -6*b. Is o composite?
False
Let v = 14 + -18. Is -4 - v - (1 + -168) a prime number?
True
Let c be (24/(-10))/3*-5. Let n(k) = -4 + 24*k + 0 + 5 + c. Is n(12) a composite number?
False
Let h = -67 - -64. Is h - -6 - (2 - 72)*8 a composite number?
False
Let a = -32 - -32. Suppose t - 69 = -2*d + 14, a = -3*t - 2*d + 269. Is t a prime number?
False
Suppose 1803 = 3*t - 1815. Let r = t + -619. Is r prime?
True
Let i = 6498 + -1862. Suppose 2*c = b + 22, c - 68 = -4*c - 4*b. Suppose -8*l = -c*l + i. Is l prime?
False
Let b = -45552 - -93115. Is b a composite number?
False
Is (-9)/(-27) - (7471025/(-15))/5 composite?
True
Let l(y) = -2343*y - 130. Is l(-3) prime?
True
Is 84/364 + 1680820/65 a prime number?
False
Let l be ((-39)/(-6))/(5/390). Suppose l = r - 2*v, -4*v - 230 = 3*r - 1721. Is r prime?
False
Let x(c) = -13 - 37 + 31*c - 94*c + 15. Is x(-24) a composite number?
True
Let o be (-2)/((-5007)/(-14967) + (-1)/3). Let y = 2702 + o. Is y composite?
False
Let n = 13 + -17. Let z = -59 - -18. Let v = n - z. Is v composite?
False
Let b = 56 + -53. Suppose 5481 + 4614 = b*y. Is y composite?
True
Suppose 5*a - 3599 = -3*p, 5*p - 2887 = 2*a - 6*a. Is a prime?
False
Let n be 40/15*(-4134)/(-4). Let a = n + -235. Is a a composite number?
False
Suppose 1392 = -4*b + 20*b. Suppose -154 = -2*h + 2*n, h + n - b = -3*n. Is h a composite number?
False
Let y be (-1 + -1)*(1 + -3884). Let t = y - 5539. Suppose -j = -3*i + t, 2*i - 3*j = 1035 + 445. Is i a composite number?
False
Is 1*(0 - (-3 + -3634)) prime?
True
Is 24/(-144) - (-54566)/12 a prime number?
True
Let m = -8023 + 14430. Is m composite?
True
Let g(w) be the third derivative of w**6/120 - 7*w**5/60 + 3*w**4/8 + w**3/2 - 2*w**2. Let t(f) = -2*f**2 + 14*f - 4. Let i be t(6). Is g(i) composite?
False
Let x = -923 - -1943. Suppose -z + x = -601. Is z a prime number?
True
Let s(n) = -3*n + 26. Let w be s(9). Is (-3794)/(-21) + w/(-3) a composite number?
False
Let d(h) = -2*h**3 - 2*h**2 - 30*h - 215. Is d(-8) composite?
True
Let r = -4514 + 8143. Is r prime?
False
Let k(w) = -w + 16. Let t be k(12). Suppose t*g + 5*h + 17 = 0, 13 = -g + 4*h - 7*h. Suppose -s + g*s - 23 = 0. Is s composite?
False
Suppose 254*i + 210644 = 268*i. Is i a composite number?
True
Let p(u) be the first derivative of -u**5/20 + 5*u**4/6 + u**3/3 + 13*u**2/2 + 4*u + 2. Let r(v) be the first derivative of p(v). Is r(10) prime?
False
Let y(o) = -o**3 + 10*o**2 - 10*o + 12. Let v be y(9). Suppose 3*j = v*n - 0*n + 936, -3*n = 2*j - 599. Is j a prime number?
True
Is (-3989*2/6)/(142/(-426)) composite?
False
Suppose 0 = -5*r - 10, -4*c - 7*r + 139172 = -3*r. Is c prime?
False
Let 