Is (1/3)/(v/(-19230)) a prime number?
True
Suppose 201*z + p + 25597 = 203*z, 0 = 2*z + 3*p - 25601. Is z prime?
True
Let l(u) = u**3 - 7*u**2 + 11*u - 9. Let x be l(5). Is (-23135)/(-20) + x/(-16) a prime number?
False
Is 2 + ((-17449)/(-7) - 40/(-140)) a prime number?
False
Let b be 40/(-6)*24/(-32). Suppose 4*p + 334 - 1498 = -3*u, -b*u + 2*p = -1940. Let g = 1209 - u. Is g composite?
False
Let s(h) be the third derivative of h**6/40 - 2*h**5/15 + 3*h**4/8 - 5*h**3/6 - h**2. Let k(g) = -g**3 + 6*g**2 - 6*g + 11. Let n be k(5). Is s(n) composite?
False
Let c(d) = -d**3 + 12*d**2 + 11*d + 24. Let o be c(13). Is ((-897)/6)/(-1) - o/(-4) a composite number?
False
Let v be ((-7)/(-21))/(0 - (-2)/18). Suppose -1088 = -v*r + 349. Is r prime?
True
Let a(n) = 16*n**3 + 4*n - 3. Suppose 6*h - 2*h + 16 = 0. Let u(z) = z**3 - z + 1. Let j(t) = h*u(t) - a(t). Is j(-1) a prime number?
True
Let o(y) = 7*y + 143. Is o(8) prime?
True
Let i be -4*(12292/16)/7. Let t = i + 650. Is t composite?
False
Suppose 2*l = -3*n - 3*l + 3318, 2*l - 4410 = -4*n. Is n a prime number?
False
Let u be 1*0/(4/2). Suppose 0*w - 3*w + 333 = u. Is 3/9*(w - 0) prime?
True
Suppose -34 = -4*u + 6. Suppose y = -3*w + 636, 4*y - u = 2. Is w a prime number?
True
Suppose -2*n = n - 9. Is n*(3 + 2080/6) a prime number?
True
Let z(d) = 302*d**3 - d**2 + 2*d - 2. Is z(1) a composite number?
True
Let d(c) = c**3 + 5*c**2 + 9. Let j be d(5). Suppose -4*l = t - j, 4*t - l + 2*l = 1006. Is t a prime number?
True
Let h = 11931 + -6489. Suppose 0 = -24*w + 18*w + h. Is w composite?
False
Let h(n) = -75*n**3 + 3*n**2 - n - 5. Let z be h(2). Let p(s) = -889*s**2 + 1. Let a be p(1). Let g = z - a. Is g composite?
False
Let z(d) = 2159*d**2 + 4*d - 4. Is z(1) a prime number?
False
Let l(d) = d**2 + 7*d - 9. Let b be l(-8). Let h = b - -3. Suppose 5*n - 649 = 5*q + 541, -2*q = -h. Is n a prime number?
True
Let o(l) = -62*l**3 + l**2 + 45*l + 5. Is o(-7) a prime number?
False
Let f = 563 - 1057. Let i = f - -909. Is i prime?
False
Let z(r) = 10366*r + 557. Is z(6) composite?
False
Let v be (-25)/(-10)*428/10. Is -4*(-3)/(-3) + v a prime number?
True
Let i(m) = m**2 - 4*m - 18. Let c be i(7). Is -1*(-4 + -122 + c) a composite number?
True
Let i be ((-6)/(-4))/((-45)/(-150)). Suppose -g + 27 = 3*g + 5*p, 2*g - i*p = 51. Is g composite?
False
Let m(n) be the first derivative of -2*n**3/3 + n**2 + n - 6. Let q be m(2). Is (92/q + -1)*-3 a composite number?
True
Suppose -4*s + 162 - 146 = 0. Suppose -8*x + 3084 = s*x. Is x a composite number?
False
Let s(g) = g**3 - 20*g**2 + 38*g - 33. Let c be s(18). Is (0 - (-3419)/c) + 2/(-3) a prime number?
False
Is 5355 + (2 - 0) - -2 a prime number?
False
Suppose 1 = -x + 87. Is 1 + (-2 - -2) + x composite?
True
Suppose -t = -5*t - 3*f + 167, 0 = -2*t + 4*f + 100. Suppose m = -13 + t. Is m a prime number?
True
Let c = 6 + -6. Suppose 3 = p + z, -5*p + 4*z + z + 15 = c. Suppose -5*i + 4*i + 470 = 5*g, -p*i = -g + 94. Is g composite?
True
Let n = -48108 - -70827. Is n a composite number?
True
Suppose -655 - 2405 = -4*u. Suppose -3*p - 2*w = -2*p - 257, -3*p = 3*w - u. Is p a prime number?
False
Let y be ((-78)/13)/((-2)/32*-3). Is -2 + y/(-14) + (-131937)/(-119) composite?
False
Let n(c) = c**2 + 11*c + 2. Let v be n(-11). Suppose 4*o - 5*t = 21, 22 = -2*o + 7*o - v*t. Suppose 883 = -0*b + o*b + 3*z, -434 = -2*b - 4*z. Is b prime?
True
Let z(k) = -36*k + 13*k + 10*k + 3*k + 22 + 4*k**2. Is z(6) prime?
False
Suppose 30688 = 5*a + 5693. Is a composite?
False
Let l(s) = -2*s + 8. Let m be l(7). Let r(g) = 28*g**2 - 5. Is r(m) a prime number?
False
Let c be (410/(-164))/(0 - 1/2). Is -223*(4 - (c + 0)) prime?
True
Suppose 3*r + 4*t = 4577, -r + t + 0*t + 1521 = 0. Is r composite?
False
Let j(l) = l**3 - 16*l**2 + 16*l - 20. Suppose 0 = -5*o - 5, -3*p = -5*o - 73 + 17. Is j(p) composite?
False
Is (22041/(-18))/(-2 - 3/(-2)) a prime number?
False
Suppose 2*t + v = 34510, 16959 + 278 = t + 5*v. Is t a prime number?
True
Let j = 73802 + -32549. Is j a composite number?
True
Suppose 1 + 6 = g + 2*x, 3*g + 3*x - 18 = 0. Suppose -g*h = -3*h - 8. Is (278 - 0)*6/h a composite number?
True
Suppose 4*b + 5*g + 9 = 5*b, -2*b - g = -7. Let x be (b - 660/16)*-8. Suppose -4*o - x = -6*o. Is o prime?
True
Let b = -249 - -145. Let q = -69 - b. Is q composite?
True
Let h = 67 + -112. Is (-2)/(-9) + (-44225)/h composite?
False
Let q(l) = 14986*l + 43. Is q(3) a prime number?
False
Let y(u) = u - 1. Let m(s) = -s**3 - s**2 + 6*s - 5. Let a(z) = m(z) - 4*y(z). Let t be a(-2). Is (-204)/8*t*2 composite?
True
Let s = -116686 + 204479. Is s a prime number?
True
Suppose 2*b + 4*c = 156274, -8*b = -11*b + 5*c + 234455. Is b a prime number?
False
Suppose 3*j = -70*p + 66*p + 14095, 0 = -4*j + 4*p + 18812. Is j a composite number?
True
Let q be ((-21)/14)/((-3)/30). Suppose 4*c + 1539 = 3*k + 5727, -2120 = -2*c - 5*k. Suppose 7*b + j - c = 2*b, 3*j = -q. Is b composite?
False
Let i(r) = 20*r**2 - 6*r - 4. Let d be i(-2). Let v = d - -75. Is v prime?
True
Let p be ((-26)/6 + 3)*-36. Suppose -p*g + 51*g - 573 = 0. Is g composite?
False
Suppose 0 = 41*o - 66*o + 36475. Is o a composite number?
False
Suppose 0 = 12*h + 350 + 994. Let d = 1287 - h. Is d composite?
False
Suppose z + 3*a + 11 = 0, -44 = 4*z - 2*a + 4*a. Let g = -9 - z. Is ((-53)/g)/((-11)/154) a composite number?
True
Let a be 3 + (-2)/(8/12). Suppose 4155 = -5*u - a*q - q, -3*u - 2480 = -2*q. Let l = u + 1219. Is l a composite number?
False
Suppose -2971 - 4590 = -3*a + c, -12613 = -5*a - 4*c. Is a a prime number?
True
Let z = 42384 + 17083. Is z prime?
True
Let b(m) = m + 19. Let r be b(0). Let t(v) = -r*v - 4 - 17*v + 1. Is t(-5) a composite number?
True
Let d = 11 + -4. Let b(n) be the third derivative of -n**6/120 + 7*n**5/60 + n**4/8 - 4*n**3/3 - n**2. Is b(d) a prime number?
True
Let z(l) = 2*l**3 + 8*l**2 - 4*l - 8. Let n be z(-4). Let h = n - 4. Is h composite?
True
Let a(p) = -16*p**2 - 15*p + 20. Let v(t) = -3*t**2 - 3*t + 4. Let q(o) = 2*a(o) - 11*v(o). Let h be q(-5). Is (-1)/(2/h) + 34 prime?
True
Suppose -58*y + 64*y = 12. Suppose -652 = -6*k + y*k. Is k a composite number?
False
Suppose 4*w + o - 4529 - 1703 = 0, 4*o = -3*w + 4661. Is w composite?
False
Let g(b) = b**2 - 198*b + 48. Is g(-57) a composite number?
True
Let y(l) be the third derivative of 7*l**5/12 - l**4/6 - l**3/2 - 3*l**2. Let f be y(4). Suppose -w + 230 = 2*j - 140, -3*j = 5*w - f. Is j a prime number?
False
Let o = -58 + 43. Suppose 2 = 3*b - 7, 4*b - 12 = -2*a. Is (5/o + a)*-69 a composite number?
False
Let f(n) = -10*n**2. Let k be f(-1). Let y = -10 - k. Suppose q + x - 1152 = y, -2*q + 4*x + 2334 = -0*x. Is q a prime number?
False
Let y = -7 + 6. Is 588 + -5 + 2 - y prime?
False
Suppose -2630 = 6*r - 11*r. Suppose 0 = a + q + 510, a + 3*q - r = 2*a. Let b = a - -1193. Is b composite?
True
Let f(r) = -263*r - 38. Is f(-8) composite?
True
Let h(w) = w**2 + w - 1. Let i(s) = 2*s - 22. Let q(r) = h(r) + i(r). Let p = -171 + 189. Is q(p) prime?
False
Suppose -5*z = -y + 3838, -27*z - 11609 = -3*y - 31*z. Is y a prime number?
True
Let f = 102 - 101. Is (f/(-1))/((-9)/21699) a prime number?
True
Suppose -7 - 8 = -o. Suppose 8*s - 13*s + o = 0. Suppose 357 = 3*g + 2*w, -s*g + g = 5*w - 227. Is g composite?
True
Let s(v) = 4*v - 12. Let a be s(3). Suppose 0 = -0*t + t + 3. Is t - 73*(-2 - a) a composite number?
True
Suppose 3*i + 7416 - 22151 = -4*u, i - 4915 = -3*u. Is i a composite number?
False
Let m = -358 - -2559. Is m prime?
False
Let d(p) = -42*p + 16859. Is d(0) a prime number?
False
Suppose 2*y + 3*z - 952 = 2*z, -944 = -2*y - 5*z. Suppose -s + y = 2*k + 88, -3*k + 1152 = 3*s. Is s composite?
False
Suppose -5*m + 155843 = 2*k, 18*k - 22*k = 3*m - 311707. Is k a prime number?
True
Let c(g) = g + 11. Let l be c(-9). Suppose 0 = -z + l*q + 581, 2 + 3 = -q. Is z prime?
True
Let m = 282 + -140. Suppose c + c + m = 0. Let s = 102 + c. Is s prime?
True
Suppose -17*g + 40382 + 55991 = 0. Is g composite?
False
Suppose 0 = -4*t + 26 - 2. Suppose 0 = 5*s - t - 94. Suppose 2*k - 1961 = -5*b + 3*k, -5*k = -s. Is b prime?
False
Suppose 2*w = 2*n - 22, 0 = w - 5*n - 5 + 32. Is (-1518)/(-7) - (3 - (-22)/w) a prime number?
False
Suppose -r + 0 - 42 = 0. Let p be