-13*j(y) - 6*n(y). Is z(i) a prime number?
False
Let g(f) = 23*f - 2. Let y = 6 + -3. Is g(y) prime?
True
Suppose 75 = -5*r - 0*r. Let i = r + 22. Suppose 0 = 5*g - i*g + 46. Is g composite?
False
Let r be 2 - (-2)/(2/3). Suppose -5*h + 2*s + 0*s + 405 = 0, -4*h + 341 = -5*s. Suppose -r*f = -86 - h. Is f composite?
True
Let z(x) = -52*x**2 - 2. Let r be z(-2). Let o be ((-4)/(-10))/((-2)/r). Suppose -2*k + o = k. Is k a prime number?
False
Suppose 4*f - 3 - 1 = 0. Is 1/f + 2 - -234 a composite number?
True
Let s(n) = n**3 - 19*n**2 - 19*n + 4. Is s(21) composite?
False
Suppose -2*l + 2 = 0, -p - p - 19 = l. Is (p/3)/((-2)/6) a composite number?
True
Let d(x) = -6*x + 1 - 10*x + 2*x. Suppose 4*k - 2*r - 6 = 0, 0 = 4*k - r - 3*r - 16. Is d(k) prime?
False
Is 2*(-1497)/24*-4 composite?
False
Let u(a) = 2*a**2 - 10*a + 19. Is u(8) composite?
False
Suppose -6*n + 16*n - 6890 = 0. Is n a prime number?
False
Let v(g) = -7*g + 3. Let o be v(-6). Let r = 19 + -15. Suppose r*a = 5*z + 71, -a + 4*a - z - o = 0. Is a composite?
True
Let u(d) = -d**3 - 3*d**2 - 3*d - 2. Let q be u(-2). Suppose -4*y - 75 = -23. Is -2 + q + 2 - y prime?
True
Let n = 6 + -6. Suppose n = -2*g + 2. Suppose 2*z - g - 13 = 0. Is z a prime number?
True
Suppose -3*n + 13 = 1. Suppose k - 2*i + 317 = n*k, 5*i = k - 134. Is k composite?
False
Let g(k) = -3*k - 12. Let m be g(-10). Is 698/m + (-4)/(-18) a prime number?
False
Suppose 2*w + w = 24. Suppose -k = -11 - w. Is k a composite number?
False
Is -2*(2 + (-198)/4) composite?
True
Is 8/(32/(-12)) + 680 a prime number?
True
Let v = 738 - 515. Is v a composite number?
False
Let z = 170 + -362. Let j = -89 - z. Is j composite?
False
Suppose -4*v = -2*c + 688, -2*c + 5*v + 219 + 471 = 0. Let s = 106 - 32. Suppose -3*f - s = -t, 5*t - 6*f = -f + c. Is t a composite number?
True
Suppose -4*j + 9 + 3 = 0. Let i(l) = 77*l - 1. Let x be i(j). Let q = x - 137. Is q composite?
True
Let r be (12/(-5))/((-5)/75). Suppose 0 = 4*g - 5*p - r, -5*p - 8 = -3*g + g. Suppose 0*s - g = -s. Is s a prime number?
False
Let d(n) = -11*n + 1. Let g(f) = f**2 - 7*f + 5. Let x be g(6). Let s be d(x). Let p = s - -50. Is p composite?
True
Suppose 101 + 226 = a - 4*v, 1710 = 5*a - 5*v. Is a a prime number?
True
Suppose 57 = y - 54. Is y a composite number?
True
Let i = -2 - 0. Let h(u) = u**3 - u + 1. Let b be h(1). Is b/(i - 31/(-15)) a composite number?
True
Let c(w) = 21*w + 2. Is c(15) composite?
False
Let g = 1015 - 604. Is g a composite number?
True
Is (-4)/10 + (-18333)/(-45) prime?
False
Let h = -56 + 130. Is h a prime number?
False
Suppose 2*h + 0*h = 254. Is h prime?
True
Suppose -2712 = 5*s - 13022. Is s prime?
False
Is (-2 - 10/(-4))*(-114)/(-3) a prime number?
True
Let a(f) = 7*f**2 + 11*f - 1. Is a(-6) composite?
True
Let i(y) = y**2 + 31 + 2*y + y - 44. Is i(-12) composite?
True
Suppose 4*n + 2 + 2 = 0. Is 34 - -2 - (-2 + n) a composite number?
True
Let t = -913 + 1310. Is t composite?
False
Let m(p) = p**3 + 5*p**2 + p - 2. Let i be m(-4). Let z(c) = c**3 - 5*c**2 - 4*c + 6. Let l be z(7). Suppose i = -2*s + l. Is s a prime number?
False
Let s = -6 + 4. Let h(z) = -8*z + 2. Let c be h(s). Suppose -r = r - c. Is r a composite number?
True
Let y = 3995 - 2362. Is y a composite number?
True
Let c be ((-5)/15)/((-3)/18). Suppose -c*w = -3*t - 658, 2*t - 169 = 2*w - 827. Is w composite?
True
Let v be (-190)/(-6) + (-2)/(-6). Let n(x) = -2*x**2 + 2*x + 5. Let w be n(-3). Let t = v + w. Is t prime?
True
Let i(s) = -156*s**3 - s**2 + s + 1. Let t be i(-1). Suppose -t = -5*y - 0*y. Is y prime?
True
Let k be (316/6)/(4/30). Suppose 3*o = 8*o - k. Is o composite?
False
Suppose -3*j = -4*j + 3. Suppose -j*p - 15 = -t - 3, 3*p = -3*t. Suppose -2*x + s = -27 - 1, t*x + 4*s = 42. Is x a prime number?
False
Suppose 8 = -4*x + 2*y, 13 - 1 = x - 4*y. Is (-51 + -7)/(x/6) composite?
True
Let z(y) = -18*y - 11. Is z(-10) composite?
True
Suppose 4*c - 5 = 3*c. Is 1177/5 + (-2)/c a prime number?
False
Let i(m) be the second derivative of m**4/3 - m**2 - m. Is i(-6) composite?
True
Let k(w) = -16*w + 27. Is k(-10) a composite number?
True
Suppose 3*a - 2*y - 4356 = -a, 2*a = -y + 2170. Is a a prime number?
True
Is (-26)/4*56/(-4) a prime number?
False
Let r = 207 + 86. Suppose -2*b = -r - 29. Is b prime?
False
Let p be 3*2 + (-2 - 2). Suppose 156 = 3*s - n, 0*n - 105 = -p*s + n. Is s a composite number?
True
Let j(a) = 33*a**2 - 2*a + 5. Let o be j(6). Suppose -5*s + o = 2*b, -2*b - 1171 = -4*b + 5*s. Suppose -b = -4*w - 64. Is w a prime number?
True
Let n(h) = 8*h**3 + 3*h**2 - 4*h + 2. Is n(9) a prime number?
False
Suppose 2*m - x - 278 = -0*m, -3*m + 419 = -2*x. Let v = m + -84. Is v a prime number?
True
Let s(g) be the first derivative of -g**4/4 - g**3/3 + 5*g**2/2 + 4*g - 1. Is s(-5) prime?
True
Suppose -3*a = 2*p - 565, p - 3*a - 62 = 216. Suppose t = -2*f + p, 112 = f - 5*t - 45. Is f prime?
False
Let w = -140 - -253. Let s = 78 + w. Is s a prime number?
True
Let m(n) = 2*n - 11. Let z be m(8). Let v = z - 3. Let a(f) = 3*f - 3. Is a(v) composite?
False
Let y be ((-14)/4)/((-1)/2). Let s = 9 - y. Suppose s*k + 4*p - 104 = 2*p, 15 = -5*p. Is k prime?
False
Suppose 3*h + 81 + 51 = 0. Is ((-1067)/h)/(2/8) a composite number?
False
Let b be (-41404)/(-28) - (-6)/21. Suppose 0 = -h - 2*h + b. Suppose 4*w = h + 15. Is w a prime number?
True
Let u = 25 - 23. Suppose 123 = u*x - 259. Is x a prime number?
True
Let w = 2 - 2. Suppose w = -2*a - 0*a + 6. Suppose -4*j = -a*j - 7. Is j a composite number?
False
Let q(z) = 175*z + 12. Is q(5) prime?
True
Let q(i) = -5*i**2 + 4*i - 2. Let r be q(-6). Let g = r + 291. Is g prime?
False
Let d = -3 - -2. Let k be 71*(1/d - -2). Let r = k - 16. Is r prime?
False
Suppose -32*i - 5*s - 407 = -34*i, 0 = -2*i - 2*s + 428. Is i a composite number?
False
Is 18 - -4 - (-12)/(-4) a prime number?
True
Let l(s) = -s**3 + 6*s**2 + 9*s + 4. Let o be l(7). Let m(q) = -11*q**2 - q + 1. Let a be m(1). Let v = o + a. Is v a prime number?
True
Suppose -3*i + i + 20 = 0. Let l(q) = -q**2 - 2 + 0 + 12 + i*q. Is l(9) composite?
False
Let k be (-6 - -2)/(-12)*15. Suppose -195 = -8*i + k*i. Is i a composite number?
True
Let q(z) = 3 - 16*z**2 + 9*z**2 - 4*z - 2*z**3 + 0*z. Is q(-4) a composite number?
True
Let i(h) = h**2 + 128*h**3 + 5 - 4*h**2 + h**2 - 4. Is i(1) composite?
False
Let h be (-2)/(-2)*12/4. Is ((-1)/h)/((-2)/84) a composite number?
True
Let w = 18 - 16. Suppose -d - 51 = -w*d. Is d a composite number?
True
Let w(m) = 4*m**2 - 13*m + 17. Is w(8) a prime number?
False
Let y(z) = -6 + 6 + 5*z**2 - 4*z + 7*z + 1. Is y(-3) composite?
False
Let x = 1 + 2. Let p(w) = 4*w**2 + 0 - w**x - 5 + 3*w**2 - 3*w. Is p(6) a composite number?
False
Let k = 1 - -8. Let u = -6 + k. Suppose 154 = 2*s + 4*h, u*s - 183 - 52 = -2*h. Is s a prime number?
True
Suppose 0 = 4*h - 3*a - 6, a + 2*a = 2*h. Is h - (-85 + 1)/3 a prime number?
True
Suppose -j + 3*j = 4, 0 = 4*k - 5*j + 10. Let u = 18 - 8. Suppose 5*z + 22 = t - 48, 2*z - u = k. Is t a prime number?
False
Let k be 0/((0 - 0) + -1). Suppose k*w = -4*w + 260. Let c = 112 - w. Is c composite?
False
Suppose 0 = -5*m - 3*p + 163, 4*m + 2*p - 3*p - 144 = 0. Is m composite?
True
Let x be 2*((-18)/4 - -2). Let i = x + 7. Suppose 266 = i*s - 0*s + 4*w, 511 = 4*s + w. Is s a prime number?
True
Suppose -p = 11 + 20. Suppose 2*r + 26 = -6. Let o = r - p. Is o composite?
True
Let y(r) = r**2 - r + 7. Let t(n) = n + 1. Let u(g) = -4*g - 16. Let p(f) = 3*t(f) + u(f). Let v be p(-7). Is y(v) composite?
True
Suppose x + 4*x - 530 = 0. Is x a prime number?
False
Let m(b) = 17*b**3 - 2*b**2 + 6. Is m(3) prime?
False
Let a be ((-6)/8)/(3/12). Is 53/((0 - 3)/a) composite?
False
Let l = 18 + 73. Is l a prime number?
False
Let v = -4 + 8. Let b = v - 2. Suppose b*r + 5 = 55. Is r a composite number?
True
Let c be -104*((-6)/(-3))/(-4). Suppose -2*j - 2*j = -c. Is j prime?
True
Suppose 2*r - 3*r + 4 = -3*b, r = 4*b + 4. Suppose 0 = y - 4, b*x - 4*x + y + 852 = 0. Is x composite?
True
Suppose -2*n + 5 = -3, 0 = -5*p - 4*n + 1181. Is p a composite number?
False
Let r(v) = 3*v**2 - 12*v + 5. Is r(10) a prime number?
False
Let g(d) = 232*d + 3. Is g(2) prime?
True
Let h = -8 + 31. Suppose 14 = j - h. Is j a composite number?