 -3*n, -2*d + 10255 = 5*n + 2*d. Is n composite?
True
Let n(i) = 43*i**3 + 2*i**2 - i + 5. Is n(3) a composite number?
False
Let d(s) = -18*s + 3. Let a be d(-4). Let w = -40 + a. Is w a composite number?
True
Suppose -4*h = -7 - 1. Let g(z) = 11*z**3 + 3*z**2 - 2*z - 2. Is g(h) composite?
True
Suppose -5*b + 20 = 0, -4*k + 0*k = -b - 520. Is k composite?
False
Suppose -4*o - 285 = 239. Let a = -73 - o. Is a prime?
False
Suppose -5*o + 116 = -o. Suppose 4 = t - o. Let d = -23 + t. Is d a composite number?
True
Let j be 34 + (2 - (0 - -1)). Suppose -j - 41 = -4*x. Is x composite?
False
Let u be (-14308)/21 + 1/3. Let h = u + 1238. Is h prime?
True
Suppose 17*n = 14*n + 6537. Is n a composite number?
False
Let v(y) = -6*y - 1. Is v(-9) a prime number?
True
Suppose 25 = -5*f, -2*c = -5*f - 502 + 103. Is c a prime number?
False
Suppose 8*u = 12*u - 2852. Is u composite?
True
Let y = -90 - -221. Is y a composite number?
False
Let k(v) be the third derivative of 7*v**5/60 - 5*v**4/12 + v**3/3 + 8*v**2. Is k(-7) composite?
True
Let i = -3095 + 5380. Is i a prime number?
False
Suppose 0 = 2*v - 0*v - 422. Suppose -3*c = 2*j - 263, -2*c + j - 24 = -v. Is c prime?
False
Suppose -3*d = -22 - 74. Let h = d - 22. Is h composite?
True
Let o(u) be the second derivative of u**5/20 - 7*u**4/12 - 3*u**2 + u. Let g be o(7). Is (g + -19)*(-2)/2 composite?
True
Let u(t) = -69*t - 5. Is u(-6) composite?
False
Let v(m) = m**3 - m**2 - 10*m + 7. Is v(6) composite?
False
Suppose -2*u = -2*a, -2*a + 36 = 5*u + 2*a. Suppose 114 = u*q - q. Is q composite?
True
Suppose 0 = 4*k + k - 5515. Is k composite?
False
Let z be 12/8 + 298/(-4). Let q = z + 110. Is q a composite number?
False
Suppose q = 2023 + 2560. Is q a prime number?
True
Let h be (-4)/14 + 130/14. Let m(u) be the third derivative of 5*u**4/12 - 5*u**3/6 + u**2. Is m(h) prime?
False
Let x(f) = f**3 + 10*f**2 + 10*f + 6. Let b be x(-7). Suppose b = 3*o + 8. Is o a composite number?
True
Is -6 + 9 - (292/1)/(-1) prime?
False
Let g(y) = 5*y. Let q be g(1). Suppose 0*i - 10 = -q*i. Let j(u) = 40*u - 1. Is j(i) a prime number?
True
Let z(d) be the first derivative of d**3/3 - 5*d**2/2 + 3*d - 1. Let x be z(5). Suppose 0 = -j - x*j + 124. Is j a prime number?
True
Suppose 11*w + 0*w = 24189. Is w composite?
True
Is -4 - -154 - (-1)/(-1) prime?
True
Let w be 48/30 - 4/(-10). Suppose w*n - 7 = 7. Suppose -2*u = -n*u + 395. Is u composite?
False
Suppose -24*w = -27*w + 174. Is w composite?
True
Suppose 0 = -3*g + 6 + 3. Let m be ((-3)/(-4))/(g/12). Suppose -3*h + m*q = h - 12, -3*h + 4*q = -9. Is h a composite number?
False
Suppose -3*g - a = -40, 2*g + 4*a = 5*a + 35. Let i = g + -5. Is i prime?
False
Suppose 0 = -5*o + 4*o + 7. Let n(g) = 32*g - 7. Is n(o) a composite number?
True
Let k(w) = 110*w**2 + w. Is k(-1) a prime number?
True
Let k = -8 - -11. Let m(x) = k*x - 3 - 7*x - 4*x. Is m(-5) a prime number?
True
Suppose 0*f + f + 2*w = 125, f - 5*w - 111 = 0. Is f composite?
True
Let y(r) = 99*r**2 - r - 7. Is y(-3) a composite number?
False
Suppose 2*o + 173 - 1107 = 0. Is o a composite number?
False
Suppose -l = -31 - 202. Let t be l + 0/3 + 2. Suppose -5*z + 3*r + 321 = 86, -5*z = 5*r - t. Is z prime?
True
Let o = -90 + -253. Let w = o + 569. Suppose -h + w = h. Is h a composite number?
False
Let s = -566 - -256. Is -2*3 - -3 - s prime?
True
Let h(t) = 5*t - 2. Let l(i) = 15*i - 5. Let v(y) = 10*h(y) - 3*l(y). Let w = 12 + -6. Is v(w) composite?
True
Let i(v) = 29*v + 46*v + 1 - 11*v + 2*v. Let p be i(1). Let h = p + -45. Is h a prime number?
False
Let s = 124 - 13. Is s a composite number?
True
Let z(q) be the first derivative of -31*q**4/2 + q - 8. Is z(-2) a prime number?
False
Let s(r) = -37*r. Is s(-2) a composite number?
True
Suppose -m - m - 4 = 0. Let t be 33/6 + m/4. Suppose 0*o = -t*o + 475. Is o prime?
False
Let u be 6*(260/8 + -3). Suppose 5*q - u = 4*b, q + 3*b - 47 = -2*b. Is q a prime number?
True
Let u be (5 - -1)*(-184)/(-6). Suppose 2*g = 3*r - u, -r + 3*r - 112 = 4*g. Let q = r + -38. Is q a prime number?
False
Suppose -6*i + 3*l = -i - 4, 0 = 4*i - 5*l + 2. Suppose 16 = -i*m + 3*m. Let x = -5 + m. Is x prime?
True
Let y be -1 + -1 - (-8 + 2). Let n be (0 - y*-1)*-62. Let h = -129 - n. Is h a composite number?
True
Let a = -14 - -23. Is (-2)/a - (-443)/9 prime?
False
Let h(j) be the second derivative of -7*j**3/6 - 13*j**2/2 - j. Let f = 11 + -21. Is h(f) prime?
False
Let l = -22 - -66. Suppose q = -q + l. Let g = 80 - q. Is g composite?
True
Let x = -8 - -10. Suppose 3*d = -x*d + 70. Let z = d + 7. Is z composite?
True
Let s be (-14)/4*(-1 - 31). Suppose 5*k - s = 178. Is k a composite number?
True
Suppose 0 = -3*i, -2*j - j + 258 = -2*i. Suppose -4*k + 162 = -5*s, k = -k + 5*s + j. Suppose -2*x = -0*x - k. Is x composite?
False
Suppose 0 = -i + 9 - 5. Suppose -i*v + 2*n + 167 = -3*n, 2*n = v - 44. Is v prime?
False
Let c = -89 - -220. Is c composite?
False
Let m(k) = -k**3 + 11*k**2 + 6*k - 1. Is m(10) composite?
True
Is 3311/21 + 4/(-6) a prime number?
True
Suppose 9*z - 7326 = 1251. Is z composite?
False
Is 554 + 4 + 1 - 2 a composite number?
False
Let a(r) = 1. Let d = 3 - 0. Let q(j) = j + 9. Let v(z) = d*q(z) - 24*a(z). Is v(4) composite?
True
Let b(s) be the second derivative of -s**5/20 - s**4/2 + s**3/2 - 9*s**2/2 + 3*s. Is b(-7) a composite number?
False
Suppose -10*p + 2*p + 3976 = 0. Is p a prime number?
False
Suppose 4*u = -0*u + 112. Let s be (-4)/(-10) - u/(-5). Is -1*2 + (s - -3) composite?
False
Let o = 11 - 6. Let j(z) = z**2 - 12*z + 2. Let f(m) = m**2 - 13*m + 3. Let s(v) = o*f(v) - 6*j(v). Is s(4) a composite number?
True
Let h be 90/4 + 1/(-2). Let m = 5 - h. Let c = 36 + m. Is c composite?
False
Suppose -9*q + 12926 = 1631. Is q prime?
False
Let x(z) = 5*z**3 + 5*z**2 - 8*z + 4. Let l(u) = -9*u**3 - 10*u**2 + 15*u - 8. Let y(s) = 6*l(s) + 11*x(s). Let m be 2*(0 + 10/4). Is y(m) a prime number?
False
Suppose -606 = -5*p + 549. Suppose -p = -f + 62. Is f prime?
True
Let o = -351 + 688. Is o a composite number?
False
Let c(b) = -23*b**3 - 2*b**2 + 1. Let r = -7 - -6. Is c(r) prime?
False
Suppose -3*n + m = -5184, -4380 - 2543 = -4*n + 5*m. Is n a composite number?
True
Suppose 6*n + 2*w - 160 = n, -4*w - 20 = 0. Suppose 0 = 5*v - 23 + 8. Suppose -n = -v*a + a + h, -65 = -3*a + 5*h. Is a a composite number?
True
Let n(c) = -9*c**3 - c**2 - 16. Let q(u) = 2*u**3 + 3. Let k(y) = 2*n(y) + 11*q(y). Let a be k(1). Suppose -39 = -3*i + a. Is i a prime number?
False
Suppose 3*y - 16 = -4. Suppose -10 = -u - y*u. Suppose 0*g + 44 = u*g. Is g a prime number?
False
Let q be 1 + (-1)/(-1 + 2). Let v be 75 - 1 - q/(-4). Let a = 105 - v. Is a a composite number?
False
Suppose 5*p = p + 740. Is p a prime number?
False
Let t(w) = 4*w**3 - w**2 - 8*w + 10. Let i be t(8). Suppose -5*r + 4*p + 2355 = 0, 2*p + i = 3*r + 519. Is r a prime number?
True
Let x(b) be the first derivative of -6*b**2 - 5*b - 1. Is x(-5) composite?
True
Suppose 2*p = -0*p + 66. Suppose 2*c + 270 = 5*z + 3*c, z - 4*c - p = 0. Is z a prime number?
True
Suppose 32 = -2*z - 118. Is z/(-3) - (-2 + 1) a prime number?
False
Suppose -r = 5*r - 10986. Is r a composite number?
False
Let d(k) = -2*k**3 - 3*k**2 - 2*k - 3. Let w be d(-2). Suppose w*j - 139 = 4*j. Suppose -j - 235 = -2*l. Is l a prime number?
False
Suppose -3*r + 32 = 8. Let a(g) = 5*g - 10. Let h be a(5). Let w = h - r. Is w a composite number?
False
Let b(v) = 2*v - 10. Let j be b(8). Suppose 2*k + j = -2. Is (16/24)/(k/(-186)) a prime number?
True
Let p = 10376 - 6085. Is p a prime number?
False
Let z(i) be the third derivative of -i**4/24 + 5*i**3/6 - 3*i**2. Is z(-6) a composite number?
False
Let o = -357 + 839. Let v = -337 + o. Is v a prime number?
False
Let z(n) = -n. Let l be z(2). Let v be 4/(-5)*25/l. Let i(m) = -m**2 + 12*m - 7. Is i(v) a prime number?
True
Suppose -s + 5*f = s - 239, s - 118 = 3*f. Is s prime?
True
Let z = 172 - -63. Is z a prime number?
False
Suppose n = 5*n - 2*p - 26, 2*n + 2*p - 10 = 0. Let h be 3 + 0*(-3)/n. Suppose 2*r = -5*m + 198, -4*r + 405 = -h*m + 61. Is r composite?
False
Let t(w) = 5*w**2 - 11*w - 6. Is t(8) prime?
False
Suppose 0 = -x - x + 10. Let g(i) = 2*i**2 - 3*i - 10. Is g(x) a composite number?
True
Suppose 3*