(a) a prime number?
True
Let z = 5119 - -22068. Is z a prime number?
False
Suppose 0 = -3*x - 2*k + 65336, 5*k - 65339 = -7*x + 4*x. Is x a prime number?
False
Let p = 2 + 3. Let l(q) = 47*q - 10. Let n be l(p). Suppose 2*i - 178 = 3*z + 2*z, -n = -3*i - 3*z. Is i a prime number?
True
Suppose 2*h - 678 = -h. Let p = 27 + h. Is p composite?
True
Let s = -11 - -13. Suppose 4*z - s*z - 6 = 0. Suppose -z*y + 1 + 62 = 0. Is y composite?
True
Suppose -5*o + 19545 = 2*h, o = -0*o - 3*h + 3922. Is o composite?
False
Let w(j) = 15 + 0*j - 4*j - 8*j. Let i be (-2)/2 + (-12 - 28/(-4)). Is w(i) prime?
False
Let g = 144 + -38. Suppose j = 3*j - g. Is j a prime number?
True
Suppose 43*h = 6*h + 39479. Is h a prime number?
False
Suppose -4*h = 4*a - 20, -3*a + 0*h + 3*h = -15. Suppose 5*t + 2*z + 386 = 5973, a*z = 3*t - 3346. Is t composite?
False
Let v = -53 + 108. Suppose 0 = -3*q + 8*q + v. Is 2/(6/(-15))*q a prime number?
False
Suppose l - 31754 = -0*s + 5*s, s = -4*l + 127079. Is l composite?
False
Let b(m) = -255*m**2 - 8*m + 2. Let s be b(-3). Let n = -1220 - s. Is n composite?
False
Suppose -45840 = 2*y - 17*y. Let r = 6849 - y. Is r a prime number?
True
Is (-1678836)/(-155) - ((-22)/(-10) + -2) composite?
False
Let j(d) = 150*d**3 + 5*d**2 - d - 1. Suppose -7*i + 12*i = 10. Is j(i) a composite number?
False
Let r = -65 - -141. Suppose 3*w + r = 4*w. Suppose 0 = m + 3*m + 4*x - w, -x = 5*m - 95. Is m composite?
False
Let s(v) = -v**2 - v + 22. Let h be s(9). Let m = h + 191. Is m a prime number?
False
Let p = 111890 + -75795. Is p composite?
True
Suppose -t - 55 + 50 = 0. Let o(n) = 27*n**2 + 4*n + 4. Is o(t) a composite number?
False
Let y(g) = -14979*g**3 + 3*g**2 + 10*g + 9. Is y(-1) composite?
True
Let f = -1531 - -6582. Is f a prime number?
True
Let o(n) = 986*n + 41. Is o(3) a composite number?
False
Suppose 5*a + l = 11857, -13*l + 14*l - 2 = 0. Is a prime?
True
Let w = 6 - 6. Suppose w = 17*f - 19*f + 388. Is f a prime number?
False
Let s = -7747 + 13800. Is s prime?
True
Suppose -103 = -5*o - c, -o - 4*o + c = -97. Let n be o/6*(-12)/(-8). Let h = 96 - n. Is h a prime number?
False
Suppose c - 4*c + 96 = 0. Suppose 263 = 5*s - c. Is s a prime number?
True
Suppose 11*m + 3*t + 17829 = 14*m, m - 5919 = -5*t. Is m a composite number?
False
Suppose 4*n - c = 4*c + 12955, -4*n - 5*c = -12925. Is n composite?
True
Let g(k) = -k**3 - 2*k**2 + 3*k + 2. Let d be 2 - (0 - 15/(-3)). Let a be g(d). Is (a/(-2) - -450)/1 a prime number?
True
Let l be 3/4 - (-4)/16. Let p be -3 + l*(0 + 343). Suppose 7*z = 3*z + p. Is z a prime number?
False
Suppose 0 = x - 5*h - 164, 25*x + 2*h - 546 = 21*x. Is x a prime number?
True
Let l(k) = -2*k**3 + 19*k - 2*k**2 - 17*k**2 + 16 + 27 + 4*k**2. Is l(-19) a composite number?
True
Let b be 1 + (-4 - -1) + 5. Let v(l) = 6*l**2 + 3*l - 4. Is v(b) composite?
False
Suppose 0 = -22*j + 27*j - 1905. Is j a prime number?
False
Suppose g + 0*g + 5 = i, 0 = 3*i - 2*g - 10. Suppose -5*a - 2*c = -i*c - 999, -2*a + c = -396. Is a composite?
False
Let t be 110 + (-2 - -3 - -1). Let i be t/24 + 2/(-3). Suppose 53 = 4*q + 5*f, 2*q - i*f + 5 = -1. Is q a prime number?
True
Let w(i) = 16*i + 16. Let f = -28 + 35. Let m be w(f). Suppose 2*o - m = -5*u + 180, -3*o + 445 = -u. Is o a composite number?
False
Suppose -2*a = -4*z + 18, -3*z - 3*a = 2*a + 6. Suppose 32 - 5 = z*o. Suppose o*t + 119 = 10*t. Is t prime?
False
Suppose -y = -5*n - 316, -6*y + 5*y + 301 = -2*n. Is y composite?
True
Let r = 913 + -555. Suppose -3*i = 15, -5*i = -5*x + 4202 + r. Is x composite?
False
Is 22530 - (3 - (-5)/15*-12) a composite number?
False
Let w(o) = 194*o**2 - 20*o - 7. Is w(-12) a prime number?
False
Let t = -4019 + 2015. Let r = t - -2891. Is r prime?
True
Suppose -3*y - 1 = -7. Suppose 0 = 6*j - 2*j - 368. Suppose 0*x = y*n - x - 181, x - j = -n. Is n a composite number?
True
Suppose 2*r = 3*r - 3*a + 456, -2*r = a + 905. Let y = r - -787. Is y a composite number?
True
Let i(f) = 19 + 86*f**2 + 9*f - 163*f**2 + 87*f**2. Is i(10) prime?
True
Is (1 - -3788) + (-11)/((-66)/12) prime?
False
Suppose -j + 0*l + 3*l + 10 = 0, 0 = -4*j + l + 7. Let s = j + 5. Suppose 11*i = s*i + 915. Is i prime?
False
Let i be (-1)/(-4) + 9/12 - -29. Suppose 3*l + 3*n - 366 = 0, 3*n + 239 = 2*l - i. Is l a composite number?
False
Suppose -3 - 99 = g. Let j = g - -337. Is j a composite number?
True
Is 185205/85 + (-2)/(-17) prime?
True
Suppose -q - 3 = 0, -3*p + 2*q + 31434 = -3*q. Is p prime?
False
Is (6/8)/(33/42856) prime?
False
Is 5 + (97/(-2))/(2/(-24)) composite?
False
Let m = -25 - -25. Suppose 12*g - 8*g - 4604 = m. Is g prime?
True
Suppose -2*k = k - 3*l - 6, -5 = -2*k + l. Suppose m + 1042 = k*m. Is m prime?
True
Let m(y) be the second derivative of 0*y**3 + 0 + 35/2*y**4 + 5*y + 1/2*y**2. Is m(1) composite?
False
Suppose v - 6 = -2*f, -4*f = v + f - 6. Let m = -7 + v. Let i(r) = 211*r**2 + 4*r + 2. Is i(m) a composite number?
True
Suppose 10 = 2*z - 0*z. Let l(x) be the second derivative of 109*x**3/6 + 9*x**2/2 + 29*x. Is l(z) composite?
True
Let w = -14 + 16. Suppose 2*t - 2*p - 14 = 0, -w*t - p + 6 + 11 = 0. Let n(d) = d**3 - 5*d**2 + 3*d - 11. Is n(t) a prime number?
False
Suppose -2*m + 151 = -2*n + n, 0 = 3*m + 2*n - 209. Suppose -5*h + 50 = -j - 243, -h + 5*j + m = 0. Is h a composite number?
True
Suppose -873*m + 860*m = -161317. Is m a prime number?
True
Suppose -4*b + 12552 = 4*u, 3*b + 2*u = -b + 12546. Suppose -y + b = 2*j + 367, -4 = -2*y. Is j prime?
False
Let x(c) = 82*c**2 + 16*c + 65. Is x(-9) prime?
True
Is (-6 - -8)/((-2)/(-2411)) composite?
False
Suppose -37*h + 4*r + 331681 = -32*h, 3*r = 2*h - 132671. Is h a prime number?
True
Is ((-7)/(-6))/(-7) - 239580/(-216) a prime number?
True
Suppose 4*b + 436644 = -5*m, -m + 5*b - 42376 - 44976 = 0. Is (m/8)/(-7) - (-1)/(-2) composite?
False
Let s(m) = 4*m**2 + 5*m. Let b be s(-10). Suppose p + 0*p - 356 = -w, w = -3*p + b. Is w a prime number?
True
Let c = -14 - -25. Let l(i) = 4*i - 1 + 0*i - 10*i**2 + 3*i + c*i**2. Is l(-8) composite?
False
Is (-7 - 0)*113*(2 + -3) a prime number?
False
Let a(c) = 146*c**3 + 2*c - 2. Let r be a(1). Let s = 755 + r. Is s composite?
True
Let c = 25 + -15. Suppose -8*g - 34 = -c*g. Let q(u) = -u**3 + 20*u**2 - 18*u - 4. Is q(g) prime?
True
Suppose -15 = -a - 5*i, 0 = -3*a + 4*i - 6*i + 19. Suppose -z = -a - 2. Let r = 38 - z. Is r a composite number?
False
Let g(x) = -x**3 + 7*x**2 - 6*x + 2. Let r be g(6). Suppose 4*l - 508 = r*l. Is l prime?
False
Let d = -418 + 2265. Is d a prime number?
True
Let n(p) = -7*p**3 - p**2 + 4*p + 13. Let z be n(-6). Suppose 2*o - z - 329 = 0. Suppose a - 5*a = 5*k - o, 2*k - 2 = 0. Is a a composite number?
False
Is (-7160)/(-80)*2*13 a composite number?
True
Let j(t) be the first derivative of 42*t**2 - 13*t + 10. Is j(6) a composite number?
False
Let v = 4 - 7. Let t(x) = 272*x + 5. Let d be t(v). Let l = -560 - d. Is l prime?
True
Suppose 4*x = -a + 3, -5*a = 4 - 19. Suppose x = -5*y + 3*m + 2336, -2*y + 7*y - 5*m - 2330 = 0. Is y prime?
False
Let o(b) = -549*b - 416. Is o(-7) prime?
False
Suppose 3834 = 6*k - 1632. Is k prime?
True
Let h = 12 - 7. Suppose -h*u = 262 - 657. Suppose q - 82 = u. Is q composite?
True
Let c(k) = -9685*k - 118. Is c(-3) a prime number?
False
Is (-143224)/(-40) - 10/(-25) a composite number?
False
Let n = -12207 + 80558. Is n a composite number?
False
Let q = -28900 - -42821. Is q composite?
False
Let l = -295 - -836. Is l prime?
True
Let v be 8/(-28) - (-7)/((-147)/(-6978)). Let t be (-1 + -2)*2/(-6). Is v + (-1 - (t - -1)) a prime number?
False
Let o(n) = n**2 + n - 2. Let s be o(1). Suppose 0 = -2*i - s*i + 498. Is i a prime number?
False
Let j(a) = 3354*a - 451. Is j(13) a prime number?
True
Let q be 2/5*245/7. Suppose 2*u - a = 16, u + a + 0*a - q = 0. Is (8/u)/((-36)/(-990)) composite?
True
Let a(t) = -5*t**3 - 24*t**2 + 43*t - 41. Let r(z) = 2*z**3 + 8*z**2 - 14*z + 14. Let m(d) = 3*a(d) + 8*r(d). Is m(14) a prime number?
False
Let y = 2 - -1. Let o = -5 + y. Is (o + (-29)/3)*-3 prime?
False
Let b(u) be the first derivative of 5*u**3/3 - 3. Let w be b(-1). Suppose 0 = -w*z + 456 - 166. Is z prime?
False
Let z(n) = 2*n**2 - 2*n - 2. Let s be z(-1). Suppose s*c = -c + 597. Is c a prime number?
Tr