-253 = -3*k - 4*g. Is k prime?
True
Suppose -b + 3*y - 18 = -y, 5*y + 9 = -4*b. Let i be 1/(-3) - 20/b. Suppose h = -4*p + 115, 0*h - 345 = -3*h + i*p. Is h prime?
False
Let w be (39936/9 - 2) + 5/(-15). Let r = w - 908. Is r composite?
False
Let h(m) = -19*m + 3. Let j be h(6). Let b = -67 - j. Let i = b - 7. Is i prime?
True
Is 4151/(-7)*(-2 + 1) prime?
True
Suppose 1763 + 2151 = 19*x. Let m(z) = z**3 - 4*z**2 - 4*z + 7. Let k be m(5). Suppose -x + k = -2*h. Is h prime?
True
Let l = -12 - -26. Let q = -8 + l. Suppose -q*u - 467 = -7*u. Is u composite?
False
Let u be 12/(-4)*(4 + -6). Suppose k + 2*k = u. Suppose 6 = -k*q, -5*z = -3*q + 2*q - 748. Is z composite?
False
Suppose 12*q + 1818 = -1314. Let f = 1148 + q. Is f composite?
False
Let h(f) = 5*f - 2. Let o be h(3). Suppose -i = -3*n + o, -2*n + 20 = 4*i + i. Suppose 0 = -b - i*b + 1065. Is b a prime number?
False
Is 220/(-88) - 113193/(-6) prime?
False
Let b(n) = n**3 + 11*n**2 + 3. Let p be b(-11). Suppose -4*w = -p*i - 2509, 62 = -2*w + 4*i + 1304. Is w a composite number?
False
Let z = 21 - 16. Suppose 0 = -z*t + 13 + 2. Suppose -t*r + 24 = 3*i, -i = -3*r - 3*i + 27. Is r a prime number?
True
Let q be (-8195)/2 - (-5)/(-10). Is (q/8)/((-10)/8 - -1) composite?
True
Let q(b) be the second derivative of 0 - 1/2*b**4 - 1/20*b**5 - 3/2*b**2 + 6*b - 1/2*b**3. Is q(-6) a prime number?
False
Let m(r) = 2*r - 22 + 2*r - 3*r + r. Let w be m(9). Is ((-6)/(-15))/(w/(-740)) prime?
False
Suppose -4*o = -9*o + 5*z + 130, 0 = -4*o - 5*z + 122. Let r(m) = m**3 - 2*m**2 - m - 1. Let c be r(3). Suppose -c*q + o = -757. Is q prime?
True
Suppose -10*r - 3*g + 22434 = -7*r, 2*r = 5*g + 14991. Is r composite?
True
Let k = 28095 + -3658. Is k a composite number?
True
Let j(r) = 574*r**2 - 14*r + 51. Is j(4) prime?
False
Is (3/(-9))/(13/(-88413)) prime?
True
Suppose 43*s - 780 = 46*s. Let h = 33 - s. Is h composite?
False
Suppose 4*t - 712 = -2*j + 3242, 3*j = t - 1006. Is t a prime number?
True
Let p(u) be the second derivative of 521*u**5/10 - u**4/12 + u**2/2 + 6*u + 2. Is p(1) a prime number?
False
Suppose 0*r = r + 2*o - 897, -2*r + 1800 = -2*o. Is r prime?
False
Let m be (-1 + -4 + 4111)/2. Suppose u - 3*k = m, u + 2061 = 2*u - 5*k. Is u prime?
False
Is ((-103556)/(-3))/((-28)/(-21)) prime?
True
Suppose -u - h = -916, 3*h = 2*u + 7*h - 1830. Suppose 0*o - 2*k - u = -3*o, -4*k - 1525 = -5*o. Suppose -3*y + 72 = -o. Is y prime?
True
Let n(u) = -252*u - 5. Let x be n(-1). Suppose 3*c - x - 638 = 0. Is c composite?
True
Suppose m - 43 = -4*c, 3*c = -c + m + 37. Suppose 0 = -4*w - 2*u + 3939 - 445, -c = -2*u. Is w a composite number?
True
Let p(t) be the second derivative of -t**6/36 + t**5/120 + t**4/12 + 2*t. Let w(o) be the third derivative of p(o). Is w(-1) composite?
True
Let w = 111 - -2968. Is w a prime number?
True
Suppose 2*c + 162 = r, -4*c + 466 = 3*r - 0*c. Let m = 237 - r. Is m a composite number?
False
Suppose 0 = 12*v - 8*v - 2912. Suppose 4*b - v = 5*l, -b = 3*l - 38 - 161. Is b a composite number?
True
Suppose -15475 = -2*j + 3*l, -5*l = -j + 9308 - 1574. Is j a composite number?
True
Suppose -l - 5 = 2. Let t be (1 + -2)*3*l. Is (2078/6)/(7/t) prime?
True
Let k be 3/6*94 + 1. Let n be ((-1)/(-2))/(4/k). Is 0/(n + -3) - -19 a composite number?
False
Let f = -19562 - -37408. Is f a composite number?
True
Suppose -3*q + 14*k - 16*k = -87201, -4*q = -k - 116257. Is q composite?
True
Let r(s) = -2*s**2 - 8*s + 6. Let p be r(-4). Suppose 0 = p*v - 272 - 202. Is v a prime number?
True
Let m = -29 - -69. Let s = m - 29. Is (s - 753)/(-1 - 1) composite?
True
Suppose 6*q - q = 1425. Suppose 2*y - 2*p - 312 = 0, -3*p + p - 628 = -4*y. Let x = q - y. Is x composite?
False
Let w(k) = -k + 1. Let n(m) = -8*m + 1. Let i(u) = n(u) + 4*w(u). Let x = -3 + -3. Is i(x) a composite number?
True
Suppose 0 = -3*z + 5*t - 10 - 5, 4*t = 0. Is (-3152)/(-40) + (-1)/z prime?
True
Let a be (2/(-5))/((16/(-2))/40). Suppose a*t + 4*y - 27 - 1427 = 0, -5*y = -t + 699. Is t a composite number?
False
Let i = -2 - -7. Suppose i*x - x = -1372. Let y = -228 - x. Is y composite?
True
Let k(z) = 14*z**2 - z - 4. Let i be k(3). Let x = 0 - 72. Let h = x + i. Is h composite?
False
Suppose -r + 27 = -3*d, 0*d - 2*d = -3*r + 18. Let g(y) = -2*y**3 - 8*y**2 + 3*y + 2. Is g(d) composite?
True
Suppose 3*t = 2*c + 41955, 5*t + 0*t + 3*c = 69944. Is t a composite number?
True
Let r(v) = 18*v - 5. Let u(i) = 60*i - 20. Let p(y) = -y + 1. Let g(k) = 6*p(k) + u(k). Let l(h) = 4*g(h) - 11*r(h). Is l(2) a prime number?
False
Let w be ((-31682)/(-7))/(0 - -2). Suppose w - 328 = 3*h. Suppose 4*i + 223 = 2*k - k, 3*k = 4*i + h. Is k a composite number?
False
Let x(o) = o**2 + 9*o - 19. Let z be x(-10). Let n(r) = -r**3 - 3*r**2 + 9*r - 10. Is n(z) prime?
False
Let j(v) = -v - 6. Suppose -40 = 4*i - 4*r, -5*i + 2*r - 21 = 17. Let q be j(i). Suppose q*s = -s + 469. Is s a prime number?
False
Let v(n) = -3*n + 7. Let x be v(-3). Suppose -2*i + x = 6, 4*j - 664 = -4*i. Is j composite?
True
Let b = 39432 + -18890. Is b a prime number?
False
Suppose -19*f - 15*f = -87686. Is f composite?
False
Suppose -9 = -2*i - 3. Let f be 3 + (i + 0 - 1). Suppose 0 = -f*g + 151 + 1164. Is g a prime number?
True
Let l(h) = h**2. Let o(x) = -4*x**2 - 3*x - 4. Let s(u) = 5*l(u) + o(u). Let z be s(5). Let a(i) = i**3 - 4*i**2 - 8*i + 7. Is a(z) a prime number?
True
Suppose -3*w + 3*t + 5750 = -8464, -3*w + 5*t + 14212 = 0. Is w a composite number?
True
Suppose -7*y = -19 - 23. Suppose -y*p + 3237 = -14145. Is p prime?
True
Let f(c) = -543*c - 19. Is f(-4) prime?
True
Suppose -5*v = 5*t, t - 3*t + 3*v - 10 = 0. Is (2/(-1) + 0)/(t/565) composite?
True
Is 4 + (12 - 16) - 7851/(-1) a composite number?
True
Let b be (0*(-3)/15)/3. Suppose 2*t = -b*t + 1002. Is t composite?
True
Suppose -2*n - 5*a = -1 - 40, -n = -3*a - 37. Suppose o - 4*o = -5*y + n, -3*o = 4*y - 17. Is o + -2 + 6624/16 a prime number?
False
Suppose 4*d + s = 0, 0 = 6*d - 2*d + 2*s. Let w(j) = j**3 + j**2 + 143. Let z be w(d). Suppose -4*q + 3*q = -z. Is q composite?
True
Is 3*(-10929)/9*-1 a composite number?
False
Is 12 + -1 + -9 + 51581 prime?
False
Suppose -11580 = -g - 3*g. Suppose -12*l + g = -7*l. Is l a prime number?
False
Suppose -s + 47 - 12 = 0. Suppose 0 = -a - 193 - s. Let o = -101 - a. Is o prime?
True
Let i = -23 - -136. Suppose -a - i = -878. Let c = a - -1034. Is c a composite number?
True
Let n(f) = -f**3 + 3*f**2 + 8*f - 9. Let v be n(4). Suppose v*z = 1621 + 2012. Is z a prime number?
False
Let s be -4 - 10*1/(-2). Is s*(-2)/4 + (-2076)/(-8) a prime number?
False
Suppose 5*b + 0 = 6045. Suppose -b = -o - 2*o. Is o a composite number?
True
Let w be (1 - 1)*(-2)/(-4). Let p be (-1 - 12) + 14 + 0/1. Is 324/9 + w + p composite?
False
Let p(z) be the third derivative of z**6/120 + z**4/24 + 293*z**3/6 - 8*z**2. Is p(0) a prime number?
True
Let l(k) = -k**3 - 10*k**2 - 14*k + 12. Let i be l(-9). Let a = i - 20. Is a composite?
False
Is (4 + -2)*(-2)/4 - -2942 prime?
False
Suppose 2*i + 5*s - 24 = -3, 4*i - 2*s - 6 = 0. Suppose -i*b = -5*b + 2194. Is b composite?
False
Let q be 1 + 2 - (-5 - 742). Is 0 + q + (3 - 2) a composite number?
False
Let k(z) = 2253*z + 9. Let g be k(5). Suppose -4*a + f = -g, 0 = -2*a + 3*f + 2*f + 5628. Is a prime?
True
Let t(p) be the first derivative of -p**4/4 - 16*p**3/3 + 2*p**2 - 13*p + 9. Is t(-20) a prime number?
False
Let l(b) = b - 1. Let s(y) = -4*y + 17. Let q(j) = -10*l(j) - 2*s(j). Let u be q(-12). Suppose -5*m = v + 2*v - 3771, u = m + 3*v - 759. Is m composite?
True
Let d(p) = -4*p**3 + 31*p**2 + 48*p - 61. Is d(-30) composite?
False
Let v(c) = 2*c - 6. Let q be v(4). Suppose q*u - 320 = -4*n - 106, 0 = u + 4*n - 113. Suppose -2*t = -167 - u. Is t a composite number?
True
Let q(m) = 250*m. Let u be q(1). Suppose -5*b + u = 4*a, -3*b - 2*a = -5*a - 123. Is b composite?
True
Suppose -8 = -2*x + t, 2*t = -5*x - 3*t + 20. Suppose -2*b + 3*b - 3*u = 668, -3*b = x*u - 2043. Is b prime?
True
Let q = -557 - -3916. Is q a composite number?
False
Let w be 12/(-3)*(-450)/4. Let t = 424 - 733. Let p = t + w. Is p a prime number?
False
Let j = 11289 - 4747. Is j prime?
False
Let i(f) = 1485*f**2 - 59*f + 231. Is i(4) prime?
False
Let n(l) = -19*l - 21. Let o(