a composite number?
False
Let r(n) be the first derivative of 24*n**3 - n**2 + 5*n - 2. Let w be (30/(-20))/((-11)/22). Is r(w) prime?
True
Let k(n) = 809*n**2 + 22*n + 73. Is k(-4) a composite number?
True
Let m be 1*3*(1 - -1). Let l be (2 + (-1162)/8)*224/(-84). Suppose l = 7*a - m*a. Is a a prime number?
False
Let a be ((-24)/(-28))/((-4)/(-28)). Suppose a = m - 0. Suppose -m*y + 13471 = 253. Is y a composite number?
False
Is 13/(390/(-12405435))*(4 - -2)/(-3) prime?
False
Let o(u) = 9*u**3 - 6*u**2 - 24*u + 7. Let r be o(5). Suppose 23*x - 21*x - r = 0. Is x a prime number?
True
Let y(z) = 3*z - 85. Let n be y(0). Let j = -83 - n. Suppose 262 = -j*r + 684. Is r a prime number?
True
Let u(j) = -8*j + 216. Let z be u(27). Suppose 10*a - 15*a + 82735 = z. Is a a prime number?
True
Let u = -256593 - -671594. Is u composite?
True
Let r = -273396 + 450403. Is r prime?
True
Let g = 49099 + 59764. Is g composite?
False
Let x(b) = b**2 + 6*b + 14. Let w be x(-9). Let k be -1 + 12/(-3) + w. Let l = -5 + k. Is l a prime number?
True
Let i(x) be the third derivative of x**7/120 - x**6/45 + 13*x**5/120 - 19*x**4/24 + 12*x**2. Let t(u) be the second derivative of i(u). Is t(6) prime?
True
Suppose 4*i = 20, -3*h - 11*i = -16*i - 349244. Is h a composite number?
False
Suppose -9*n + 10*n = 4*k + 129523, -5*n + 647741 = -2*k. Is n composite?
True
Let u = 526 + -524. Suppose -1858 = u*a - 4580. Is a a prime number?
True
Let j(c) = -434*c + 37. Let k(s) = -868*s + 73. Let f(l) = -9*j(l) + 4*k(l). Is f(6) prime?
False
Suppose 2*d = -3*a + 60569, -26615 - 94512 = -4*d + 5*a. Is d prime?
False
Let a be 10588 - (-2)/(-12)*6. Suppose -8*k + 38461 = -a. Is k prime?
True
Is 9/(-135)*20*(-4013013)/4 a prime number?
True
Let u be (-4 - -8)*(0 - (-8)/(-2)). Let m be (u/12 - -2)*636. Suppose m + 13 = 5*y - 4*l, 0 = l - 2. Is y a prime number?
True
Suppose -10*u + 4*u + 30 = 0. Suppose 4*r + 10 = 3*p, 5*p + u*r - 28 = 2*p. Suppose -4*s = -p*s + 388. Is s prime?
False
Suppose 2*c + 3*k + 35 = 0, -4*k = -3*c - 0*c - 44. Let a be (12/(-5) - 0)/(c/(-18520)). Let f = -1355 - a. Is f prime?
True
Suppose 4*r + 72582 = 2*a, -3*r + 35311 = a - 985. Is a prime?
True
Let b(g) = 3*g - 42. Let n be b(-23). Suppose 0 = 3*c + 4*s + 251 - 32, -3*c = -4*s + 243. Let h = c - n. Is h a prime number?
False
Let t(b) = -776*b - 55. Is t(-57) prime?
False
Suppose 2*v + 3*l - 46 = 8*l, 20 = v - l. Let y be v*(2/(-12))/((-2)/200). Suppose 147 = m + b, m + b = 3*m - y. Is m a composite number?
False
Let h be 0 + (-1)/5 + (-2786)/(-5). Let v = h + -231. Is v a prime number?
False
Suppose 4*l + 4*l + 16 = 0. Let s be 2*(-3)/l*17/(-51). Is -1418*(1/2)/s prime?
True
Suppose -37*y + 24 = -40*y. Let q be (y/14)/(4/(-14)). Suppose -304 = -4*f + q*z - 5*z, 3*f - z = 241. Is f prime?
True
Let h = 709006 - 193593. Is h a prime number?
False
Suppose b - 138 = -111. Suppose -4*n - 29233 = -b*n. Is n prime?
False
Suppose -28*d = -52604 - 644680. Suppose -k - 4*g = 2*k - 14951, -d = -5*k + g. Is k composite?
True
Let m(c) = -27*c**3 + 21*c**2 - 7*c + 9. Let h(q) = 14*q**3 - 11*q**2 + 4*q - 4. Let p(w) = 11*h(w) + 6*m(w). Let v be p(-4). Let n = v - 67. Is n prime?
False
Suppose 5*l = -4*q + 968957, -2*q = 5*l - 326180 - 158291. Is q a composite number?
False
Suppose -13363 = u - 2793. Let o = -1581 - u. Is o a prime number?
False
Suppose 1434 = 2*b + b. Is b - (4/2)/(-2) composite?
False
Let h be (-4)/(-12)*25*3. Let q(i) = -29 - 32*i + h*i - 40*i. Is q(-9) composite?
True
Let r = -3 - -6. Let l = -608 - -610. Suppose 4*z - r*a - 302 = 557, -5*a = l*z - 397. Is z composite?
False
Let x be -7963 - (0 + 0) - (2 + 2). Let t = x - -14746. Is t a composite number?
False
Suppose 7*j - 270 = -8*j. Is -3*28788/j*(0 - 1) composite?
True
Let x(m) = m**3 + m**2 + 3*m + 6. Suppose 0 = 3*d + i - 10 - 6, -5*d + 3*i = -50. Is x(d) prime?
True
Suppose 5*z - 25 = -2*q, -q - 20 = -4*z - 0*q. Suppose 9 = -3*n + 4*o + 206, -n = z*o - 53. Suppose -n = -x + 55. Is x a prime number?
False
Suppose 0 = 113*w + 85*w - 168828858. Is w a prime number?
True
Let d(i) = 2*i + 52. Let p be d(-8). Is 256184/36 + -3 + (-8)/p composite?
True
Let n(h) = 4*h**3 + h**2 + 5*h - 5. Let v be n(1). Suppose -4*d + 48195 = -v*m, -4*d - 4*m + 36185 = -d. Is d composite?
True
Suppose -5 = -s, -5*s + 2*s + 27 = -4*b. Let h be 14*-40 - (b - 0). Is (h/(-2))/((-4)/32*-4) a prime number?
True
Let s = 4098 - 6274. Let k = s + 3783. Suppose 0 = -w - 598 + k. Is w a prime number?
True
Suppose 4818 = 143*o - 37081. Let d(z) = 2*z**3 + 2*z**2 - 5*z. Let u be d(-4). Let j = o + u. Is j composite?
True
Is (-8517266)/(-30) + (68/510)/1 a composite number?
False
Suppose -3718 = a - 8909. Let l = a - 3408. Is l a composite number?
False
Let i = 143057 + -84546. Is i a composite number?
False
Let a = 16 - 6. Suppose 5*i + 705 = 4*h, 2*i = i - 1. Let v = a + h. Is v composite?
True
Let p = -6 - -17. Suppose p*t + 404 = 7*t. Let v = 56 - t. Is v composite?
False
Let w(o) = 684*o**3 - 3*o + 2. Suppose -50 = -3*d - 5*j, -2*d + 2*j = -0 - 12. Let h(z) = z**2 - 7*z - 29. Let a be h(d). Is w(a) a composite number?
False
Suppose 5*m - 25*b = 786785, 8*m - b - 786833 = 3*m. Is m prime?
False
Let w(i) = i**3 + 6*i**2 - 7*i + 4. Suppose g = -2*g - 21. Let o be w(g). Is 400/1 + (-8)/o composite?
True
Let i be (2396 + (-39)/(-13))*(-2)/(-2). Let c(h) = h + 1284. Let u be c(0). Let q = i - u. Is q a prime number?
False
Suppose 2*p - 36 = -5*d, -9 = -4*d - 4*p + 27. Let h(z) = 43*z**3 + 3*z**2 + 11*z - 13. Is h(d) a prime number?
False
Let y be (-3 + 0 - -2)*0 - -575. Is 7*y + -2 + -1 a composite number?
True
Suppose -3*h + 12 = 3*h. Suppose -249 = -h*m - m. Suppose 2*n = -4, -s + 2*n + m = 4*n. Is s composite?
True
Let v(q) = q**3 + 9*q**2 + 3*q + 27. Let l be v(-9). Suppose -4*u + 0*r - r + 14160 = 0, -3*u - 4*r + 10607 = l. Is u composite?
False
Let h(n) = -11*n**3 - 11*n**2 - 2*n + 15. Suppose 5*u = 3*f - 3, f + 0*u - 11 = 5*u. Is h(f) composite?
True
Let z = -60574 + 156113. Is z composite?
False
Is 16519700/52 - (-18)/39 composite?
True
Let r be 5 + 80/(-15) - 964/(-12). Is (-3)/(-10) + 192856/r a composite number?
False
Suppose -51 - 55 = -g. Let m = g - 99. Is (m + 412/(-12))/(2/(-9)) prime?
False
Let c = 29 + -15. Let h = -14 + c. Suppose 2*w + 2*w + x - 8596 = h, -4*w = 2*x - 8596. Is w a composite number?
True
Let l = -12100 - -23449. Suppose -5*t - l = -4*h, 5*t + 6607 - 920 = 2*h. Is h composite?
True
Let l(n) = n**3 - 22*n - 7. Let w be l(8). Is (-8)/(-4)*5/(10/w) prime?
False
Let t = -41924 + 74913. Is t a prime number?
False
Let y(r) = -r**3 - 2*r - 8*r + 7*r**2 + 16 + 2*r. Let l be y(6). Suppose -l*a = 3*s - 699, 5*a + 2*s - 888 = 3*s. Is a a composite number?
True
Suppose i - 2*i - 2 = 0. Let o be ((-3)/i)/(4/8). Suppose o*a = 4*a - 2. Is a composite?
False
Is 599620 + (0 - 112)/(-16) prime?
False
Let d(f) = 3*f - 1701. Let m be d(141). Suppose -7*q = -2*q - 11985. Let k = m + q. Is k a prime number?
False
Let z(r) = -31*r**3 + 90*r**2 + 138*r + 49. Is z(-22) a composite number?
False
Suppose -4*z = 4*l - 1520, 0 = -3*l + l + 6. Suppose z + 381 = 2*j. Is j a composite number?
False
Suppose 0 = b - 3*d - 172198, -3*d + 635476 = 3*b + 118798. Is b prime?
True
Let x(a) = -63*a - 1. Let p(q) be the third derivative of 8*q**4/3 + q**3/6 + 11*q**2. Let o(h) = 7*p(h) + 6*x(h). Is o(9) prime?
True
Let d = 410724 + -230071. Suppose 0 = -71*t + 82*t - d. Is t a composite number?
True
Suppose -4*k + 568427 + 762639 = 2*n, -4*k - n + 1331075 = 0. Is k a composite number?
True
Let x = 332 - 328. Suppose -2*s = -5*v - 24029, -5*s + x*v = -8*s + 36009. Is s a composite number?
False
Let b = 3 - -55. Suppose 13*t - b = 33. Suppose -t*p - p + 6920 = 0. Is p prime?
False
Suppose -14*j + 4 = 4. Suppose -7*k + 250 + 3691 = j. Is k composite?
False
Suppose -4*s + f = -237518, -4*s + 107013 + 130491 = 6*f. Is s composite?
True
Let x(w) = -2*w**2 + w + 3. Let v be x(5). Let f = 46 + v. Let n(u) = 13*u**3 - 7*u**2 + 5*u - 1. Is n(f) prime?
True
Let l be 0 + (50/4)/((-37)/7326). Is -274*(4 + (l/10)/9) a prime number?
False
Let q(u) = -216*u**2 + 3*u - 2. Let k be q(1). Let h = -113 - k. Let o = h + -43. Is o composite?
False
Let d be 16/56 + (-6318)/14. Let v = d - -1446. Is v a compos