3*g**3/3 + 5*g**2/2 - 5*g + 3. Is a(4) a prime number?
True
Suppose 4*j + o - 11752 = -3*o, 3*o = -4*j + 11749. Is j a prime number?
False
Let u = 1247 - 888. Let x = u - 180. Is x a prime number?
True
Suppose -i - 2*d = 1, -2 = d - 0. Let u = i - 1. Suppose -3*m - 80 + 24 = -u*k, -163 = -5*k - 4*m. Is k prime?
True
Suppose 8*t = 12*t - 15148. Is t a prime number?
False
Let o = 51 - -902. Is o prime?
True
Let f be ((-127)/3)/(13/(-117)). Suppose -3*w - 3*p - f + 1086 = 0, 2*p = 0. Is w a composite number?
True
Let k = 0 - 0. Let x = 19 + k. Is x composite?
False
Let n(d) = -14*d - 1. Is n(-7) a prime number?
True
Suppose 1 = -4*s + 9. Suppose -s*x = -3*k - 47, 0*k - k - 4*x + 3 = 0. Let r = k + 92. Is r composite?
False
Is (-5 - -6)*(-1)/(-2)*1678 a prime number?
True
Suppose -36 = -4*a - 4*b, 9*a - 4*a + b = 33. Let z = -7 - -3. Let x = a + z. Is x prime?
True
Let o = 2746 + -1931. Is o a composite number?
True
Let x(s) be the third derivative of -s**6/120 + s**5/20 + s**4/8 - s**3/2 + s**2. Let z be x(4). Let n(l) = l**2 + 4. Is n(z) a prime number?
True
Let c(f) = 3*f. Let w be c(15). Let k(v) = v**3 + 8*v**2 + 7*v + 3. Let r be k(-7). Suppose -s + r*m + w + 126 = 0, -s = -m - 179. Is s a prime number?
False
Let a(i) = 3*i**2 - i - 1. Let g(z) = -z**2 + 13*z - 7. Suppose 0 = -4*v + 3*v + 4*q - 8, -32 = -v - 4*q. Let t be g(v). Is a(t) prime?
False
Let u(m) be the third derivative of 83*m**5/60 + m**4/24 + m**3/6 + 2*m**2. Is u(-1) prime?
True
Suppose 0 = 2*s - 6, 5*k - 3*k = -4*s + 1186. Is k composite?
False
Let m = 7 - 2. Let f(w) = w + 5. Let x be f(-6). Let g = m + x. Is g prime?
False
Let z = -650 + 302. Is z/(-6)*11/2 a prime number?
False
Let h(x) = 10*x**3 + 3*x**2 - 8*x + 6. Let n(r) = -10*r**3 - 4*r**2 + 9*r - 7. Let j(v) = 5*h(v) + 4*n(v). Is j(3) prime?
True
Let q(s) = 2*s**2 + 7*s + 4. Suppose 3 + 12 = -3*t. Let f be q(t). Suppose -2 - f = -3*h. Is h composite?
False
Suppose 18*z = 25*z - 77. Is z composite?
False
Suppose 0 = 5*w - 18 - 2. Let z be 22/8 + (-2)/(-8). Suppose -2*l + 247 = z*l + 2*c, w*l + 4*c = 200. Is l a prime number?
False
Suppose 0 = 4*u + 5*f - 5, 5*f - 5 = 3*u. Suppose 0*w - 10 = 3*n - w, u = 3*n - 3*w + 18. Is 241/2 - 1/n composite?
True
Let r be (-1)/(-2) - 25/(-2). Let i = 4 + r. Let d = i - 8. Is d composite?
True
Is -1 + 3360/9 + 2/3 prime?
True
Let b be (-4)/(-24) - 23/(-6). Suppose -b*u + 95 = 19. Is u a prime number?
True
Let y be 6/9*(-6)/(-4). Let k(u) = -u**3 + 6*u**2 - 7*u + 4. Let d be k(5). Is -11*y*d/2 composite?
True
Suppose -7*j = -4*j - 573. Is j composite?
False
Let l(z) = -3*z**2 + 3*z**2 - z**3 - 4*z**2 + 4 + 3*z. Is l(-6) composite?
True
Suppose 737 = a + 52. Is a a prime number?
False
Let l = -1 + -3. Let i be 3*-1*(-3)/(-9). Let k = i - l. Is k a prime number?
True
Let o = -115 - 265. Let w = o - -667. Is w a composite number?
True
Let y(n) = 4*n**3 + 2*n**2 + 5*n - 13. Is y(8) prime?
True
Let k = -507 + 804. Suppose -n + 8 = -k. Is n prime?
False
Let i = 1605 - 836. Is i a composite number?
False
Suppose 0 = 2*h - 6*h + 12. Suppose -35 = -h*x - 119. Let m = 65 + x. Is m a prime number?
True
Let p(j) = 13*j**2 + 4*j + 2. Let l(h) = 2*h**3 + h**2 - 1. Let n be 1/(2 + -4 + 1). Let f be l(n). Is p(f) composite?
True
Let u(y) = 78*y**2 - y. Is u(-1) a composite number?
False
Suppose -3*n - 4*i + 1097 = 0, -368 = -n + 5*i - 4*i. Is n a prime number?
True
Let v(y) = -y**2 + 5*y + 1. Let q be v(4). Suppose 2 = -s + q*l + 67, 4 = -2*l. Is s a composite number?
True
Suppose 652 = 2*b + 2*b. Is b a composite number?
False
Is ((-8)/6)/(-4 - 11046/(-2763)) a composite number?
True
Let d be (-1 - -1)/(1 + -4). Suppose 0 = -m + 2*x + 7, 4*m - 2*m - 5 = -5*x. Suppose d = 4*g, 3*p = p - m*g + 18. Is p prime?
False
Suppose 5*o = -2*w + 1421, -w + 710 = 4*o - o. Is w a prime number?
False
Let h(z) = 5*z**2 - 7*z + 11. Let w(x) = 3*x**2 - 5*x + 7. Let s(i) = 5*h(i) - 8*w(i). Is s(-8) a composite number?
False
Let o = 3 + -2. Let z be (-2697)/12 - o/4. Let a = z + 359. Is a prime?
False
Let j(b) be the first derivative of -35*b**2/2 + 4*b - 1. Is j(-5) a composite number?
False
Suppose -1445 = -0*g - 5*g. Is g prime?
False
Let r = -6 - 26. Let p = 55 + r. Is p prime?
True
Suppose -s - 2*s = -18. Is s prime?
False
Let g = -14 + 29. Suppose g = z - 4*o - 23, 5*o = -z + 38. Let u = z + 11. Is u prime?
False
Let c be (4/12)/((-1)/(-21)). Suppose 4*t - 545 = -3*d, c*t - 4*t - 923 = -5*d. Is d composite?
True
Let n be 1/(2 - (-33)/(-15)). Let x(r) = -39*r - 4. Is x(n) prime?
True
Suppose -2*g = -g - 293. Is g a prime number?
True
Let l = 6 + -11. Is (21/l)/((-3)/15) composite?
True
Let v be -502 + 0*(-3)/(-9). Let c = v - -253. Is ((-6)/(-9))/((-2)/c) prime?
True
Let a = 29 + -10. Is a a prime number?
True
Suppose -q - 15 = -6. Let x = 30 + q. Is x a composite number?
True
Let s = -73 - -152. Is s a composite number?
False
Suppose -3*q + 135 = 24. Is q a prime number?
True
Let h = 96 + -29. Is h prime?
True
Let y be (-70)/(-4)*4832/40. Suppose 3*l + 4*l = y. Is l a prime number?
False
Let x = -2 - -20. Let q be 32/18 + 4/x. Is 1*295 - (4 - q) prime?
True
Let c = 252 + -146. Is c prime?
False
Let v = 514 + -299. Is v a composite number?
True
Suppose 0*r = 2*r. Suppose -2*m - 4 = -r. Is (-37)/m - 4/(-8) a prime number?
True
Let d = 2 - 0. Let n = d + -2. Suppose -g + n*g = -127. Is g composite?
False
Suppose c - 5637 = -4*m, 2*m - 2*c - 2817 = -c. Is m a composite number?
False
Let x be 196/8*(-612)/(-21). Is (-1)/4 + x/8 a composite number?
False
Is 2/(-5) - 177213/(-95) a composite number?
True
Let w = -1270 + 2351. Is w a composite number?
True
Let m(l) = -5*l + 1. Let y be m(1). Let u = 18 - y. Is u a prime number?
False
Let t = -336 + 841. Is t prime?
False
Let s = 12 + 41. Is s a prime number?
True
Let b = 27 + 97. Suppose 6*w - b = 2*w. Is w a composite number?
False
Suppose -5*n = -3*l - 4838, 0*l - 5*l = -2*n + 1939. Is n composite?
False
Let p(g) = -3845*g**3 + 2*g**2 - g - 1. Is p(-1) a composite number?
False
Suppose 4*y = 16 + 4. Let h be 50/3 + (-2)/(-6). Suppose -y*l - h = -87. Is l a composite number?
True
Is (-4 + 1)*(-45972)/108 a prime number?
True
Suppose 2*r - r - 5*d = 58, -2*d = -4*r + 286. Suppose 3*h + 2*u + 60 = -2*u, u - 61 = 4*h. Let j = r + h. Is j a prime number?
False
Suppose 3*k + 3 = -9, -c - 2*k = 6. Suppose 3*v - 2*v = -c. Is (-7)/v*(-2 + 12) prime?
False
Let y = 10 - 15. Let a = 10 - y. Suppose i - a = 96. Is i composite?
True
Suppose 5*g - 30323 = d, 0 = g - 2*d - 5695 - 366. Is g prime?
False
Suppose -69*m - 3453 = -72*m. Is m a composite number?
False
Suppose 3*g + 2*h + 10 = 0, 3*g - 1 = -5*h - 26. Suppose 4*p + 4*s = 16 - g, 0 = -4*s + 4. Is ((-6)/p)/2 + 50 a prime number?
False
Let n(c) = c**3 - c**2 + 2*c + 1. Suppose 5*d - 13 = 12. Suppose d*p - 11 + 1 = 0. Is n(p) composite?
True
Suppose 4*i - 12 + 4 = 0. Suppose i*b + 2*b + 60 = 0. Is 654/10 - (-6)/b a prime number?
False
Let u(g) = -19*g - 11. Is u(-4) composite?
True
Let o = 714 + -333. Suppose 0 = -7*g + 4*g + o. Is g a composite number?
False
Suppose 2*l + 4*b = 354, 3*b + 102 + 465 = 3*l. Let m = l - 58. Is m composite?
False
Let q = 419 - -1018. Is q a prime number?
False
Let f(q) = q**2 + 5*q. Let p be f(-5). Let j be p + 1 - (3 + -1). Let k = j - -16. Is k prime?
False
Suppose -a + 2*c = 6*c - 19, 4*a - 2*c = 4. Suppose 2*i - 8 = a*v - 2*i, 4*v - 1 = 3*i. Suppose -38 = -v*w + 2*w. Is w a prime number?
True
Suppose x + 0*x + 2*i - 60 = 0, -3*i = -x + 50. Suppose x = l + 7. Is l prime?
False
Suppose i = -3*i. Suppose -3*a + 201 = -i*a. Is a a prime number?
True
Let z(j) = j**3 + 6*j**2 - 8. Let b be z(-6). Let u = b + 29. Is u a prime number?
False
Let v(j) = 6*j**2 - j + 6. Let g be 23/3 - (-4)/(-6). Is v(g) a prime number?
True
Let f(o) = 28*o**2 - 3*o - 7. Let q be f(4). Suppose q = -l + 4*l. Is l a composite number?
True
Suppose 3*l = -2*a + 637, 5*a - 3*l - l = 1581. Is a prime?
True
Let d = -4 + -1. Let z = d - -9. Suppose -5*a = 3*q - 59, 4*a - z*q - 12 = 48. Is a prime?
True
Let r(b) = b**2 - 2*b - 6. Let w be r(4). Suppose 0 = w*f - 945 - 317. Is f a prime number?
True
Let w = 168 + -362. Suppose 3*u = -2*h + 3, -5*u - 3 = 2*h - 0. Is h/4*w/(-3) a prime number?
True
Let c = 59 + 162. Is c a prime