 = -6*z + 251. Is o(v) prime?
True
Let s(p) = -618*p**2 + 5 + 15*p - 7*p - 5*p. Let j be s(-2). Let n = 3950 + j. Is n prime?
False
Suppose -68*l - 31*l = -59*l - 3123080. Is l a composite number?
True
Let q be (-16 - -21) + 1 + 398. Let k = q + 117. Is k composite?
False
Let l = 16492 - 8229. Is l composite?
False
Suppose -9274 = -4*h + 3*n, 0 = -5*h + 9*n - 12*n + 11579. Suppose -2*q + 4654 = -3*u, 2*q + u = q + h. Is q a prime number?
False
Let t(s) be the second derivative of 3*s**5/5 - 2*s**4/3 + 2*s**3/3 + 5*s**2/2 - 2*s. Let u be t(6). Let n = u - -804. Is n a prime number?
True
Let p(g) = 68*g**2 + 97*g + 122. Is p(-33) a composite number?
True
Let r be ((-13)/(-13))/(8/(-3) - -3). Suppose 4*u + 11913 = 3*l, 48*l - 43*l - 19826 = -r*u. Is l a prime number?
True
Is 5*(28662 - (-15 + 20)) a composite number?
True
Let b be 20/(-4) + (-35)/(-7). Suppose -2*c - 3*q = -7*c + 77017, -c + q + 15405 = b. Is c a prime number?
True
Suppose 5*n + 4*t - 4 = 0, 0 = -3*n + 2*t - 5*t. Suppose -n*x + 18377 = 3*d - 3*x, -2*d + 12242 = 3*x. Is d a prime number?
False
Let c(l) = 111*l**2 + 31*l + 47. Let y(f) = -223*f**2 - 61*f - 92. Let b(w) = -5*c(w) - 3*y(w). Is b(12) a prime number?
False
Is 11 - 2 - (46 - 115830) prime?
True
Suppose -2*h + 15 - 7 = 0. Suppose 3*r - 1659 = -h*b, 0 = 4*r + 5*b - 1360 - 853. Is r/2*(-11 - -13) a prime number?
True
Suppose 243 + 263 = 2*u. Suppose 4*o = -8, -12*v + 2*o - 320 = -10*v. Let m = u + v. Is m a prime number?
False
Suppose 0 = d + 2*g - 5, 0 = -3*d + 16*g - 14*g + 7. Suppose -2*l = 2*k - 20168, -6*k + d*k + 30257 = 4*l. Is k composite?
False
Suppose 104279 = -12*z - 1237. Let p = -5102 - z. Is p a prime number?
True
Suppose 2*t = -5*u + 28409, 3760*t + 2*u - 56890 = 3756*t. Is t a composite number?
True
Let n(z) = 195195*z**2 + 93*z - 95. Is n(1) a prime number?
True
Suppose -51*f + 15639 = -48*f. Let w = 10070 - f. Is w composite?
True
Let u(v) = -108*v**3 + 2*v**2 - 19*v - 2. Let y be u(-6). Suppose 0 = 26*x - 18*x - y. Is x a composite number?
False
Let f(l) = 4*l - 52. Let w be f(13). Suppose 4*y - 755 = 3*d, w = d - 0*d + 5. Suppose -53*k - y = -58*k. Is k prime?
True
Let w = 75 - 60. Suppose 4*l = 3*p + 10, 7 + w = 5*p + 3*l. Suppose -5*b = 2*k - 267, -2*k - p*k - b = -489. Is k prime?
False
Let t be (-42022)/(-8) + (-7)/(84/9). Let q = t - 449. Suppose 5*s - 8*s + q = 0. Is s a composite number?
False
Is 803/(-803)*2*2269/(-2) a prime number?
True
Suppose 3*q + 507763 + 580029 = 5*w, 4*q = -3*w + 652681. Is w a prime number?
True
Is -1 + 84311/1 + -4 + 1*-7 composite?
False
Suppose 0 = -5*o + 4*g + 953089, -o - 93*g + 190617 = -94*g. Is o prime?
False
Let w(b) = 26*b**3 + 7*b**2 + 148*b + 79. Is w(20) a composite number?
True
Suppose 177828 + 40411 = 7*o. Is o a composite number?
False
Let w = -42 - 1401. Let o = w - -3182. Is o a composite number?
True
Let n(k) = 9391*k**2 + 3*k + 3. Let q(s) = -15*s + 59. Let b be q(4). Is n(b) prime?
True
Let q(t) = 95 - 402 + 179*t + 178 + 275*t. Is q(23) prime?
True
Let g = -12 - -16. Suppose 0 = -7*m + g*m. Suppose m = 2*x - 2*k - 1700, -4*x - k + 1522 = -1883. Is x a prime number?
False
Suppose 50*x - 53*x + 5226 = 0. Let p = 12241 - x. Is p a composite number?
False
Let z = -1315 + 2226. Let o = -158 + z. Is o prime?
False
Suppose -19236251 = -80*r + 1351457 - 861548. Is r composite?
False
Suppose 2*o - 4*s - 4 = -0*s, -34 = -5*o + 4*s. Suppose m = -r + 10982, -r = -o*m + 7*m + 32934. Is m a prime number?
True
Let u(g) be the second derivative of 119*g**3/3 - 127*g**2/2 - 3*g + 1. Is u(3) a composite number?
False
Suppose -4*f + 228774 = -2*u, 95109 = f + 2*u + 37928. Is f a prime number?
True
Is -5*1/25*1264430/(-2) composite?
False
Suppose 0 = -7*n + 153 - 111. Let g = n - -1795. Is g composite?
False
Suppose 2*p - 18128 = -2*p. Let o = -2053 + p. Is o prime?
False
Let h be (-190)/114 + (-42)/(-9). Suppose h*l - 15*z + 14*z = 140567, 0 = -l + 2*z + 46859. Is l composite?
True
Let k(b) = 109*b**2 - 18*b + 33. Let y(m) = 5*m + 25. Let j be y(-7). Is k(j) prime?
True
Let p(u) = 2*u**2 - 5*u - 4. Let q be p(-2). Suppose 27 = -3*x + 5*g, -2*x = -0*x - 2*g + q. Let s(l) = -50*l**3 + 9*l - 1. Is s(x) a prime number?
True
Suppose 61*f + 6145547 = 65*f - o, -f - o + 1536378 = 0. Is f a prime number?
False
Let f = -87069 + 161716. Is f a composite number?
True
Let y(w) = -7*w**3 + w**2 + 50*w - 31. Suppose -5*f - o = 76, 18 = -f + o - 2. Is y(f) composite?
False
Let c(k) = 95*k**2 - 65*k + 43. Let x = 474 - 461. Is c(x) composite?
True
Let j be 80/(-24)*(-36 + 0). Suppose -f - j = 3*x, 1 - 2 = x. Is (-60983)/f + (-4)/18*1 a composite number?
False
Let i = -1082 + 3439. Is i prime?
True
Suppose -5*m + m = -4, -y = 2*m - 7. Suppose -2*b + 20*z - 15*z + 1308 = 0, -3*b + 1957 = -y*z. Is b composite?
True
Let z = -805217 + 1949578. Is z a composite number?
True
Let n be (4/6 + -2)*(-6)/4. Let l(h) = -1187*h**2 - 6*h + 4. Let w be l(n). Is (-10)/(-25) + w/(-10) - 3 prime?
False
Let p = 18713 - 11109. Is p/10*(-10)/(-4)*1 prime?
True
Suppose 5*b + 3*v = -v + 6759333, -4*b - 4*v = -5407460. Is b composite?
True
Suppose -173960 - 79799 = -17*n. Let s(d) = -3*d + 3. Let h be s(0). Suppose -14*g + n = -h*g. Is g prime?
False
Let q be 80/12*18/12. Suppose 4*v + h - 16 = -h, q = v + 2*h. Suppose r - 253 = -r + 5*b, -v*b = 4*r - 470. Is r composite?
True
Let r(z) = 25*z - 95. Let u be r(4). Is (-20)/25 + 70089/u a prime number?
False
Let q = 126604 - 62903. Suppose -44*x = -33*x - q. Is x a prime number?
True
Suppose -4*c = -7 + 3, 5*m = -c - 14274. Let l = 4216 + m. Is l a composite number?
False
Suppose -67*z + 72*z = -142155. Let v = -18560 - z. Is v a composite number?
False
Let a(c) = 1238570*c**2 - 4 + 2*c + 27 - 1238564*c**2. Let v be 1/(1*2/(-14)). Is a(v) prime?
False
Suppose 0 = -6*z + 109 + 185. Let n = z - 47. Is (77 - (-4)/n)*1 a prime number?
True
Suppose 3*c - 65 = -2*r, 5*c = 3*r - 54 - 15. Let t(s) = -5*s + 15 + r + 28. Is t(-28) a composite number?
False
Let f be 26*1 + 23 + -25. Suppose f*v = 22*v + 68422. Is v prime?
True
Let t = 6908 + 7205. Is t composite?
True
Is (-2)/3*-199118*(-45)/(-60) a prime number?
True
Let z(t) = 171*t**2 + 28*t - 18. Let k be 2/((-14)/(-63)) - (-2 - 0). Is z(k) a prime number?
True
Let o = -6258 + 16303. Let y = o - 4488. Is y composite?
False
Is (-47)/(-282) - 359511/(-18) prime?
True
Let q be (24/(-9))/(-3*(-4)/(-18)). Suppose -13*h = -q*h - 20187. Is h a composite number?
False
Let x(t) = 8*t + 21. Let u(l) = 12*l + 48. Let q(z) = 13*z + 47. Let w(j) = 5*q(j) - 4*u(j). Let o(k) = -3*w(k) + 5*x(k). Is o(-17) a composite number?
False
Let x(z) = -49*z - 391. Let y be x(-8). Let w(d) = 5927*d**3 - 1. Is w(y) a composite number?
True
Let r = -144844 - -258261. Is r composite?
False
Let a be 39300/9 - (-3)/9. Let m = a + -172. Is m composite?
True
Let q be 1*(-2*1 + (-33 - -35)). Suppose 27*m - 427376 - 162115 = q. Is m a prime number?
False
Let c(f) = -f**2 - 3*f + 6. Let l be c(-5). Let a(w) = 13 - 599*w + 57 - 29. Is a(l) a prime number?
True
Is 182 + -195 + 14386*2 composite?
False
Let q be -2 + -269 + 0 - (-12)/12. Is 108/q + (-3207)/(-5) a prime number?
True
Let z(r) = -13*r**2 + 3*r + 4. Let n be z(-2). Let k be n/18 + 1*9. Let v(p) = 247*p + 45. Is v(k) prime?
False
Suppose 4*m - 5*o - 207772 = 0, o - 81 = -81. Is m composite?
True
Let y(i) = 20*i - 12. Suppose 2*b + 11 = 43. Let m be y(b). Let n = m - 45. Is n a prime number?
True
Suppose 41525 = -2*k + 4*x + 139331, -2*k + 97804 = -3*x. Is k prime?
False
Is (-2 + (-188)/(-16))*(-311104)/(-48) prime?
False
Suppose 142*p = 2286054 + 527392. Is p a composite number?
False
Let y(o) = -6*o - 3. Let b be y(0). Let z be 1 + 2 - (b - -12 - 6). Suppose z = -4*w - 2*k + 4150, 0*w - 4*w - 4*k = -4144. Is w composite?
False
Let k be (32/(-6))/(-1)*840/(-112). Is (35180/k)/((-2)/4) prime?
True
Let h(q) be the first derivative of 147*q**2/2 + 58*q - 69. Is h(7) a prime number?
True
Let c(n) = -16 - 3*n - 4*n + 3 + 18*n**2. Let k(q) = -q**2 - 3*q - 6. Let i be k(0). Is c(i) prime?
True
Suppose -3*v + 2*k = -2*v - 1507, -3*k - 4536 = -3*v. Is v prime?
False
Let k = 252248 - 150579. Is k a composite number?
True
Suppose -3*i + 38307 = 6*f, 4*f - 193 = -4*i + 50879. Is i a composite number?
