composite?
False
Let v(b) = b + 872. Let d(y) = y - 1. Let f(j) = -5*d(j) + v(j). Is f(0) a prime number?
True
Let y = 16538 + -8844. Is y a composite number?
True
Let u(n) = 36*n**2 - 8*n + 1. Let c = 9 - 14. Let g(j) = -35*j**2 + 7*j. Let y(b) = c*u(b) - 6*g(b). Is y(3) a composite number?
True
Let j = 22905 - 5336. Is j a composite number?
False
Let r(o) = 95*o**3 - 3*o**2 - 19*o + 17. Let j(m) = -9 + 8*m + 2*m**2 + 0*m**2 + 0*m**2 + 2*m - 48*m**3. Let c(x) = 11*j(x) + 6*r(x). Is c(2) prime?
True
Suppose 0 = 40*a - 125394 - 68726. Is a composite?
True
Suppose -2 = 2*i, -v + 2*i + 96572 + 5635 = 0. Is v a prime number?
False
Suppose -5651 = 6*p + 27115. Let a = 2578 - p. Is a prime?
True
Suppose -5309 = -15*u + 4966. Is u composite?
True
Is 1/(-1)*2*313594/(-4) a prime number?
True
Let v(i) = 15*i**2 + 11*i + 29. Is v(9) a prime number?
False
Let d be (-12)/(-8)*-20 + 0. Is (-6)/10 - ((-141984)/d)/(-8) a composite number?
True
Let h = 4 + 1. Suppose -6280 = 14*j - 19*j. Suppose 4*c = -4*n + j, h*c - 3*n - 1573 = -7*n. Is c a prime number?
True
Is (-89703)/(-8) - (14 + (-904)/64) a prime number?
True
Let i = -1242 + 872. Let b = -667 - i. Let s = -178 - b. Is s composite?
True
Suppose 0 = 2*l - 3042 - 1592. Is l a prime number?
False
Let j = 6925 + -2676. Is j prime?
False
Let c(q) be the second derivative of -q + 0 + 1/6*q**3 + 1/6*q**4 + 1/20*q**5 + 85/2*q**2. Is c(0) composite?
True
Let l(h) be the first derivative of -h**4/4 + 7*h**3/3 - h**2 - 5*h - 5. Let q = -7 + 12. Is l(q) a composite number?
True
Let y be 18*(-1)/(-2) + -2. Suppose y*q - 2*q - 10 = 0. Suppose 0 = -q*n - 5*l + 191, 98 = 4*n - 3*n + 3*l. Is n prime?
True
Let h = -14 + 18. Suppose m + 5*b = 782, m - h*b - 152 - 621 = 0. Suppose -2*x = -5*x + m. Is x a composite number?
True
Let u(t) = 195*t**3 - 7*t**2 + 8*t + 4. Let m be u(3). Suppose -449 = 7*b - m. Is b composite?
False
Let n = 8281 - 5804. Is n a composite number?
False
Let t(a) = 72*a**2 - 1. Let m be t(3). Let k be 470 + 0 + (4 - (1 + 3)). Let o = m + k. Is o a prime number?
True
Let g = -6 - -102. Let z = g - -9. Suppose z = -0*n + 5*n. Is n composite?
True
Suppose -5*r + 402 - 217 = 0. Is r composite?
False
Suppose -3562285 = 115*k - 156*k. Is k a composite number?
True
Let u = -8702 + 16603. Is u prime?
True
Let k = -2910 + 17107. Is k a prime number?
True
Let u(y) = y**3 - 6*y**2 + 17*y + 2. Let n be u(7). Suppose 0 = 3*w - n - 199. Is w composite?
True
Let g be 0 - 2*3/(-6). Suppose -2*m + 2*j = 4, -4*j - g = 3*m - 2*j. Is (m + 78/4)*2 a composite number?
False
Suppose -1136 - 3592 = -4*p. Let n = p - 629. Suppose w + 333 = 3*l - w, n = 5*l - 4*w. Is l a composite number?
False
Suppose -5*i + 2*m + 21 = 0, -3*i = m - 7 + 1. Suppose 3*k + 6 + i = 0. Is (k + 293)*2/4 prime?
False
Suppose 2*v = 2*b - 16, 5*b - 6*v - 46 = -4*v. Suppose -8*h + 6*h = -b. Let k(z) = 32*z + 1. Is k(h) a prime number?
False
Let q = 29 + -27. Suppose 0 = -5*g - h + 16, -2*g + 2*h = -3*h - 1. Suppose g*b - 964 = -5*w, -w + q*b + 3*b + 176 = 0. Is w composite?
False
Let m(r) = -2*r**2 - 3*r + 3*r + r**2 + 5. Let v be m(0). Suppose -v*l + 193 = -352. Is l a composite number?
False
Suppose -y = y - 1176. Let c = y - 217. Is c a prime number?
False
Suppose -5*a = 5, -3*v + 3*a = -0*v - 18. Suppose 8763 = v*d - 2712. Suppose 5*y - d = 2470. Is y a composite number?
False
Let n = 596 + -183. Suppose 0 = -2*u + n - 123. Let x = 308 - u. Is x a composite number?
False
Suppose -620 = -4*h + 4*k, -k + 187 = 2*h - 129. Is h a prime number?
True
Suppose q = -q + 3*g + 4, 0 = 2*q + 2*g - 4. Suppose 2*s + 12 = 4*d + 458, q*s = -4*d + 446. Is s a prime number?
True
Let d(r) = 4 + 0 + 6*r + 0. Let k = -94 - -97. Is d(k) prime?
False
Let m(n) = -118*n - 15. Is m(-10) a composite number?
True
Let u be 5/(-20) - (-9)/(-12) - -4. Let q(g) = 35*g**2 + 2. Is q(u) a composite number?
False
Let p(z) = -79*z - 106. Is p(-7) composite?
True
Let j be (-1)/(2*2/(-4)). Let l(s) = 83*s**2 + 7*s - 1. Let p(o) = -o**2 - o. Let c(r) = l(r) + 6*p(r). Is c(j) composite?
True
Let x(k) = k**3 + 4. Suppose -2 = 2*w, -2*n + w = 2*w + 1. Let l be x(n). Suppose -2*z - 3*s + 83 + 70 = 0, l*s = -4*z + 296. Is z a composite number?
True
Let d = -27762 + 49315. Is d a prime number?
False
Let h(u) = -22*u**3 - 4*u**2 - 1. Let x(r) = r**2 + 7*r + 9. Let n be x(-4). Is h(n) composite?
False
Let x(n) = n**2 - n - 1. Let k be x(2). Let u(j) = 2737*j - 2. Is u(k) composite?
True
Suppose -x + 4*x + 2*t = 6610, 4*x = t + 8828. Let r = x - 1499. Is r a composite number?
True
Let q(n) = -n**2 + 3*n - 2. Let h be q(2). Suppose -4*f = -h*f + 12. Let u(m) = 9*m**2 - m + 2. Is u(f) a prime number?
False
Let r be (-60)/(4/(-1)) + -1. Is (-2)/r - 6480/(-35) composite?
True
Suppose -2*k = 4*q + k - 28, 16 = 4*k. Suppose 5*j = q*z + 11, 5*z = -5*j - 0*z + 20. Is j*(0 + (-59)/(-3)) a prime number?
True
Suppose 0 = 2*b + 3*t - 3661, 3*b - 2234 = 2*t + 3225. Is b prime?
True
Is (-4)/2*(-280326)/76 prime?
False
Suppose 2*v - 4*m + 3 + 1 = 0, -2*m + 2 = -4*v. Suppose v = -7*r + 3*r + 204. Let g = r - 32. Is g prime?
True
Suppose 4*r + 17898 = 2*t, r + 14030 + 30670 = 5*t. Is t a prime number?
False
Is 4/(-6)*(345378/(-12) + 1) prime?
False
Is 1/(-5 + (-1)/((-1201)/6006)) a composite number?
False
Let z(r) = r**3 + 5*r**2 + 4*r + 2. Let t be z(-4). Suppose 4 = i + 7, -4*i - 14 = 2*l. Is l/(t - (-13)/(-6)) a composite number?
True
Suppose 2*v - 5*f + 133 = 579, 3*v - 669 = 2*f. Is v prime?
True
Suppose 5*z + 82 - 17 = 5*x, 4*z + 3*x = -45. Let o = -9 - -3. Let j = o - z. Is j prime?
False
Let c(x) = x**3 - x**2 - x - 107. Let f be c(0). Let v = 190 + f. Is v prime?
True
Let x be ((-19)/((-456)/(-3060)))/((-6)/40). Let k = -74 - -44. Is (x/k)/(1/(-3)) a prime number?
False
Suppose r - 51 = -2*r. Let m = 22 - r. Is 11/(-2)*(m + -7) a composite number?
False
Let d(v) = 429*v - 41. Let l be d(3). Suppose 0 = 3*c + 526 + 707. Let q = l + c. Is q prime?
False
Let c be (4/(-8))/(2/(-76)). Let r(j) = 170*j - 3. Is r(c) a composite number?
True
Suppose -3*y + 3594 = 3*w, -3*w - 5*y = -3*y - 3597. Is w a composite number?
False
Let o(u) be the first derivative of 291*u**2/2 + 5*u - 1. Is o(2) prime?
True
Is 257 + 18/(-15)*5 composite?
False
Is -3*(4 + ((-32236)/3 - 3)) prime?
True
Suppose n = 17*l - 12*l - 203764, -5*l = 4*n - 203769. Is l a prime number?
False
Let x(a) = -a**2 + 20*a + 51. Let u be x(22). Suppose 5*m + u*m - 36804 = 0. Is m prime?
True
Let a(s) = -3286*s - 173. Is a(-10) a composite number?
False
Suppose -43*i + 40*i = 0. Suppose i = h - 3*h + 1730. Is h composite?
True
Suppose 4*i = 5*r - 35523, 17*r - 14*r - 3*i = 21315. Is r prime?
True
Let d be -25*(-5 - (-4 - -2)). Let i be d/10*(-6)/(-9). Suppose -145 = -i*o + 4*o. Is o a prime number?
False
Let s = 6321 - -358. Is s a prime number?
True
Let u be -2 + 1*0/5. Is (-2 + 0 - -4)*(-1151)/u prime?
True
Let k(m) = -561*m + 82. Is k(-12) prime?
False
Suppose -444 - 11346 = 5*m. Let l = m - -1275. Let f = l + 1585. Is f a prime number?
False
Let g = -11 + 4. Let t(c) = -c**3 - 7*c**2 - c - 3. Let x be t(g). Suppose -3*k - x*h + 102 = 0, 5*k + 70 - 240 = h. Is k a composite number?
True
Suppose 2*q + 5*v = 56, -3*q + 89 = -4*v + 5. Suppose -5*f = i + i - q, i = -5*f + 9. Is i prime?
True
Suppose 6*o - 11*o - 30 = 0. Let q(a) = a**2 - a - 6. Let n be q(o). Suppose n = f - 17. Is f prime?
True
Suppose -10*v + 4716 = -36374. Is v composite?
True
Suppose -2*x = 3*o - 38568, -29*o + 34*o - 64264 = 2*x. Is o prime?
False
Suppose 3*b + 2*t + 0*t = 40, 4*t = 2*b. Is (4 - (-1982)/b) + (-1)/5 a prime number?
False
Suppose -12 = f - 4*f. Is (26/2)/(f/20) prime?
False
Suppose -5*g + 31429 = -2*c, 4*g - 35*c + 40*c - 25163 = 0. Is g prime?
True
Suppose -2*u = -0*u + 12. Is u/(-27) - (-19482)/54 a composite number?
True
Let q = -6827 + 17326. Is q prime?
True
Let q(i) = 296*i**3 - 2*i**2 + 1. Let f be q(1). Let t = -172 + f. Is t a prime number?
False
Let d(j) = -j**3 - 4*j**2 - 3*j + 3. Let v be d(-3). Suppose -q = -v*q + 238. Is q composite?
True
Let f = 5 - 3. Suppose 0 = -a + 4*a + f*n - 2257, -3*a - 4*n + 2249 = 0. Is a composite?
True
Suppose -26*d = -21*d + 3*a - 41549, 16630 = 2*d - 4*a. Is d prime?
True
Let s(n) = n**3 - 10*n**2 - 7*n + 2. Suppose k 