se 3*y + 2*k - 259 = -0*y, 2*y - k = 182. Is y composite?
False
Let p(d) = -8*d**3 - 29*d**2 - 20*d + 26. Let u(s) = 7*s + 10*s**2 - 2*s**3 - 9 - s**3 + 6*s**3. Let n(q) = -4*p(q) - 11*u(q). Is n(-4) prime?
False
Suppose h - 2 + 4 = 0, 0 = -l + 2*h + 14. Let y be (1 - -3) + (9 - l). Suppose 0 = -0*j - y*j - 3*r + 162, 5*r = 2*j - 101. Is j a composite number?
False
Suppose 2*j - 64 = 4*m, -6*j + 96 = -3*j - m. Is (-8)/j - 137/(-4) a composite number?
True
Let b = 265 - 144. Is b a prime number?
False
Let z = -11 + 1. Let b = -5 - z. Suppose -29 = -f - 2*r, -3*f - b*r = f - 101. Is f composite?
False
Let a = 27 - -19. Suppose 2*x - 3*x + a = -3*l, 5*x - 278 = 3*l. Is x composite?
True
Let j(o) be the first derivative of -3*o**4 - 2*o**3/3 - o**2/2 + o + 3. Is j(-2) composite?
True
Let m(i) = 2*i**2 + 3*i. Let j(q) = q**3 + 4*q**2 - 4*q + 3. Let t be j(-5). Let w be m(t). Let a = w - -35. Is a a composite number?
False
Let x(f) = -f. Let t(i) = -i**2 + 4*i. Let j(p) = -t(p) + 3*x(p). Let b be j(7). Suppose b = -4*z - 0*z + 652. Is z prime?
True
Let f(v) be the second derivative of 4/3*v**3 - 3*v + 3/2*v**2 + 0. Is f(4) prime?
False
Let r(l) = -l**3 + 5*l**2 + 2*l - 3. Suppose q - 1 - 4 = 0. Is r(q) a prime number?
True
Suppose -680 = -5*w + 3*f, 0 = 5*w - 3*w + 3*f - 293. Is w a prime number?
True
Suppose 0 = -4*s + 3*o - 2 + 858, -3*s = -4*o - 649. Is s prime?
True
Suppose 0 = -2*u + 204 + 170. Is u composite?
True
Let w(f) = f + 353. Suppose -j - 3*v + 9 = j, -3*v - 3 = -2*j. Suppose 0 = -7*m + j*m. Is w(m) prime?
True
Suppose 59 = -k + 217. Is k a prime number?
False
Let b = 264 + -185. Is b composite?
False
Suppose 2*c - 2 - 12 = 0. Let x = -2 + c. Suppose x*m + 6 - 181 = 0. Is m a prime number?
False
Let n(k) be the first derivative of -k**2 + 4*k + 3. Let a be n(3). Is (-2 - 2*a) + 153 a prime number?
False
Let u(j) = -j**3 + j**2 + 1. Let q(x) = 11*x**3 - 6*x**2 - 9. Let c(g) = q(g) + 6*u(g). Let p(i) = -i**3 - 3*i**2 - i + 1. Let n be p(-3). Is c(n) composite?
False
Suppose -2*l + 24 = 5*z, -2*z + 2 = -5*l + 2*l. Is -87*(-3 + l) + 0 a prime number?
False
Let s(c) = 149*c - 1. Let x be s(1). Suppose 3*y = -y + x. Is y prime?
True
Let g = -6 - -8. Suppose -2*n = -4*n. Suppose c + g*c - 33 = n. Is c prime?
True
Let s = -515 + 228. Let a = 490 + s. Is a composite?
True
Suppose 0*t = -5*t + 10. Suppose 0*l + 6 = t*l. Let i = 6 + l. Is i a composite number?
True
Suppose 5*o - 1010 = -4*j - 96, 5*o = j + 909. Let r = o - 113. Is r a composite number?
True
Let f(n) = 724*n + 2. Let u = 1 + 3. Let q be f(u). Is (1/(-3))/((-6)/q) composite?
True
Let i(n) = 3*n**3 - n**2 + n - 5. Let z(s) = 7*s**3 - 3*s**2 + s - 11. Let x(k) = 5*i(k) - 2*z(k). Is x(4) a composite number?
False
Let f = 265 + -82. Is f composite?
True
Suppose 5 = -0*h + h. Suppose -h*k = -3*g + 895, 3*g - 891 = k + 2*k. Is g prime?
False
Let x = -16 - -24. Is ((-692)/x + -3)*-2 prime?
True
Let k(q) = 18*q - 2. Let f be k(2). Let a = -47 - -66. Let b = f + a. Is b a prime number?
True
Suppose -3*c - 3 = -12, c + 551 = 2*u. Is u a composite number?
False
Let a(x) = -x**3 - x**2 + x + 4. Let i be a(0). Suppose -5*m + 10*m = 25, -i*y + 11 = -m. Suppose -65 = -y*w - q, -3*q = w - 0*w - 30. Is w composite?
True
Let n(u) = -5*u + 4. Let v be n(10). Let a = v - -67. Is a a prime number?
False
Let w = 1274 - -185. Is w composite?
False
Let y = 214 - 104. Let k(a) = -13*a + 10. Let o be k(-5). Let v = y - o. Is v prime?
False
Suppose 14*g = 10*g + 812. Is g composite?
True
Let u(d) = d - 1. Let v(w) = -5*w + 10. Let r(t) = -3*u(t) - v(t). Let j be r(6). Suppose 3*p + 4*x - 145 = 0, j*p - 6*x + 2*x = 263. Is p a prime number?
False
Let v = 29 - 8. Suppose -4*y + v = -y. Is y prime?
True
Let v = 21 - -238. Is v composite?
True
Let z be (-2)/4 + (-175)/(-2). Suppose -5*k - 32 = -z. Suppose 5*w - 46 = -k. Is w prime?
True
Suppose -5*k + 11 = 5*m - 14, 3*m - k = -5. Suppose m*i - 74 = -i. Suppose 4*b - 2*z - i = -0*z, 36 = b + 3*z. Is b a prime number?
False
Let z(x) = 2*x**3 + x**2 - 1. Let o be z(1). Let g = 1 + o. Suppose g*u + u = 76. Is u a composite number?
False
Let f(w) = -25*w. Let a(x) = 201*x. Let c(d) = -4*a(d) - 33*f(d). Suppose -3 = -g - 2. Is c(g) a composite number?
True
Let r = -12 + 15. Suppose k + 29 = r*i - k, -5*k - 55 = -5*i. Is i prime?
True
Let s = 0 + 6. Is s/27 + 5691/27 prime?
True
Suppose 3*h - 2720 = -359. Is h prime?
True
Suppose -x + 146 - 1165 = -2*s, 0 = -3*s - 4*x + 1523. Is s prime?
True
Is 35*37 - (-4 + 8) prime?
True
Let g(o) be the first derivative of 4*o**3/3 - o**2 - o + 1. Let v = 6 + -4. Is g(v) prime?
True
Suppose -12 = -8*w + 4*w. Is w a composite number?
False
Suppose -3*r + 1370 = 50. Suppose -r = -2*w - 18. Is w composite?
False
Suppose 5*r = 7*r - 586. Is r a composite number?
False
Suppose 0 = 4*m - m - 138. Suppose 0*n - n = -m. Is n prime?
False
Suppose f - 4*h + 4 = 0, 5*h = -f + 5*f + 16. Is (-1)/f + (-1065)/(-12) prime?
True
Suppose -5*m = 15, 0*m - 2*m - 543 = -y. Is y a prime number?
False
Suppose -153 - 38 = -f. Is f a composite number?
False
Let n(g) = 2*g - 2 + 4 - 16*g - 3. Is n(-7) prime?
True
Suppose m + 4 = 5*b + 5*m, -2*b - 5*m = 12. Is (-4)/(-3)*30/b prime?
False
Let r(a) = 2200*a + 3. Is r(1) composite?
False
Suppose 2*s + 5 = -r, -r + 6*r - s = 30. Suppose 0 = r*k + 2*m - 79, 0*k - 3*m + 21 = k. Is k a composite number?
True
Suppose 967 = 2*t - t + 2*w, -2*t + 1929 = -w. Is t a composite number?
True
Suppose z - 4724 = -3*s, 276 = -s - 2*z + 1854. Suppose -j + 5*j + 2*l + s = 0, 3*j + l = -1183. Let f = 587 + j. Is f composite?
False
Is -7 + 40 - -2*1 a composite number?
True
Let x(b) = 303*b - 4. Is x(5) composite?
False
Suppose -5*a + 1422 = 2*r - 0*a, r - a - 697 = 0. Is r a composite number?
False
Suppose -2*n = -n - 3*y - 205, 2*n = 4*y + 418. Is n composite?
True
Suppose -4*p + 2170 + 158 = 4*j, p = -3*j + 572. Is p composite?
False
Suppose -6*t + 2*t = -596. Is t a composite number?
False
Suppose 67 = -l + 384. Suppose 2*v + 4*q + 0*q - 178 = 0, 4*v = 5*q + l. Let z = -48 + v. Is z composite?
True
Suppose -232 = -5*n + u - 2*u, 0 = -3*n + 5*u + 128. Suppose -2*z + n = -0*z. Is z a prime number?
True
Suppose -18 = -2*s + 4*c, s + 0*s - c - 5 = 0. Let i be (0 - 2)*(-10 + 0). Let v = i - s. Is v prime?
True
Suppose 2*j - 75 - 113 = 0. Is j prime?
False
Suppose 174 = 3*d - 333. Suppose -5*t - h + 740 = 0, 0*h - 4*h = -t + d. Is t prime?
True
Suppose -3 + 1 = -m. Let l be ((-42)/(-9))/(m/24). Let v = -21 + l. Is v a composite number?
True
Let r = -35 - -51. Let p(d) = 38*d - 21. Is p(r) a prime number?
True
Suppose 5*k - 935 = -0*k + b, -3*k = 5*b - 561. Is k composite?
True
Suppose -312 = -7*n + n. Let a = -61 - -42. Let p = n + a. Is p prime?
False
Suppose 3*a = 7*a + 16. Let w = a - -117. Is w composite?
False
Let z(v) be the first derivative of -v**4/4 - 2*v**3/3 - 3*v - 1. Let x be z(-3). Is 76 + -2*(-3)/x a composite number?
True
Let t be 2/8 - (-262)/8. Let j = -11 + t. Is j prime?
False
Let o be 18/4*8/(-6). Is (-1)/3 - 62/o a prime number?
False
Let i(c) = 7*c**2 + 2. Let f(h) = h**3 + 6*h**2 - 2*h - 9. Let k be f(-6). Is i(k) a composite number?
True
Let n = 125 + -33. Let i = -37 + n. Is i a composite number?
True
Suppose -27*o = -28*o + 5171. Is o a composite number?
False
Let j(r) = r**3 - 4*r**2 + r + 2. Let z be j(3). Let k be z/4*14/(-2). Let t = k - 4. Is t a composite number?
False
Let t = -5518 + 10623. Is t a prime number?
False
Suppose 0 = -4*j - 12, 4*m = 2*j + 657 - 67. Suppose 241 = 3*o + 2*i, 0 = 3*o - 5*o - 5*i + m. Is o a prime number?
True
Suppose 2*h - 5*u = 29, -2*u = -0*h - 3*h + 16. Is ((-20)/6)/(h/(-51)) a prime number?
False
Suppose 4*a + 3*g = 8, -5 = 5*a - 5*g - 15. Suppose 2*c = a*k + 402, -c + 1003 = 4*c - 4*k. Is c a prime number?
True
Let w(x) = 22*x**3 + 2*x**2 + x + 1. Is w(2) a prime number?
False
Let x(p) = 63*p**2 + 6*p + 11. Is x(8) prime?
True
Let j(x) = -x**3 + 3*x**2 - 3*x. Let l be j(-3). Let y = 676 - 318. Suppose 5*f = y - l. Is f prime?
True
Let f(v) = v**2 + 10*v - 10. Let d be f(-11). Let h be (-7)/(-14)*(d + -1). Suppose 0*p + 4*p - 248 = h. Is p composite?
True
Let q(j) = 17*j - 7. Let d be q(-5). Is 0 + 2 + -3 - d prime?
False
Suppose 4*m = -627 + 1871. Let l be 1*(393