z(y). Let x(i) = 12*i + 1. Is x(b) composite?
False
Suppose -3*t + 164 = -7*t. Let a be -5*t*(-1 + 2). Suppose 3*b - 119 = -2*u, 3*b = -2*b - 5*u + a. Is b a composite number?
False
Let b(c) = c - 4. Let o be b(6). Suppose -261 = -o*l - 83. Is l prime?
True
Let o = 2 + -10. Let p be 1/3*(-2 - o). Suppose 5*h - 5*q - 270 = 0, 4 = p*q - 6*q. Is h a prime number?
True
Let y(q) be the second derivative of q**4/12 - 5*q**3/6 - 2*q**2 - 2*q. Let v be y(6). Is 231/v*(-8)/(-12) a prime number?
False
Suppose 4*p - 6 = -30. Is p/(-9) - 571/(-3) prime?
True
Suppose -5*k = -4*d - 407, -2*k - 2*d + 138 = -14. Is k prime?
True
Is 890/6 - (24/(-9) - -2) a prime number?
True
Let j(i) = -9*i - 2 - 9*i + 1 + 3*i. Is j(-6) composite?
False
Suppose 0 = 3*x + x - 3548. Is x a prime number?
True
Let i(n) = -9*n**3 - n**2 + 2*n + 1. Is i(-2) prime?
False
Let h be (-36)/(-3)*(-5)/2. Suppose -2*k - 26 = -5*f, -f = k - 3 + 2. Is (1 - 3)*h/f a prime number?
False
Let b(c) = 2 + 4*c**2 + 57*c**3 - 56*c**3 + 6*c + 0. Let i(o) = 2*o + 1. Let h be i(2). Is b(h) composite?
False
Let n be 4/(2 - 0) - -12. Let d = n + 313. Suppose -j = -y - 88, y - d = j - 5*j. Is j prime?
True
Suppose 2*x + 2*x = 0. Suppose -2*a = -b - 7, x*b - 10 = -5*a - 5*b. Suppose 0 = -3*d - 3 - 0, -2*p - a*d = -35. Is p a composite number?
False
Let z(r) = 4 - 6 + 4*r**3 + 2*r**2 + 15*r**3. Is z(2) a prime number?
False
Suppose -2*l + 4 = -2*r + 4*r, 0 = -5*l + 3*r + 34. Suppose -l*h + 6*h - 26 = -5*y, 5*h - 15 = -2*y. Is h*((-11)/1)/(-1) composite?
False
Let w(f) be the first derivative of -f**2/2 + 10*f - 1. Let x be w(7). Suppose -4*l + 18 = 3*o, 0 = -x*l - o + 2*o + 7. Is l a composite number?
False
Is -6 - 0 - (1 + -1214) prime?
False
Let w = 340 + -183. Is w prime?
True
Is ((-25)/10 + -1)*-106 a prime number?
False
Suppose -212 = -o - 3*c, 0 = 5*o - c - 480 - 596. Suppose 4*g - o = -g. Is g prime?
True
Let s(t) = 18*t - 7. Is s(4) composite?
True
Suppose l = 4*l - 468. Suppose -3*g - 3*s + 171 = -7*s, 3*g - l = -s. Is g a prime number?
True
Suppose 1170 = 5*n - 75. Let c = n + 18. Is c composite?
True
Suppose -5*z + f + 35 = -2*f, f + 1 = -z. Suppose 4*x - 158 = -5*h, 2*h - 140 = -z*x + 12. Is x a composite number?
False
Let j(w) be the first derivative of 9*w**2/2 - w - 4. Is j(4) a prime number?
False
Let d = -44 - -63. Suppose b - d - 19 = 0. Is b a prime number?
False
Let x(g) = g - 1. Let f be x(4). Suppose -4*n + 364 = -3*o, -5*o + 455 = 2*n + f*n. Is n a composite number?
True
Let y(b) = -121*b**3 + b**2 + 6*b + 5. Is y(-2) prime?
False
Suppose 4*s + b - 4600 = 0, -s + 1143 = 2*b - 0*b. Is s a composite number?
False
Let l be (2/4)/((-2)/(-912)). Is (2 - 0) + l/4 prime?
True
Suppose -39 = -3*s - 3. Is (s/(-2))/(10/(-445)) prime?
False
Suppose -5*g + 0*u - 4*u = -575, u = 0. Is g composite?
True
Let f(z) = z**3 - 16*z**2 + 11*z - 8. Let k be f(10). Let q be (-2)/(-3)*k/(-4). Suppose -28 = -3*l + q. Is l a composite number?
False
Suppose -3 = w - 7, -w + 8289 = 5*a. Is a composite?
False
Let y = 8 + -3. Let c be (5/10)/((-1)/32). Let l = y - c. Is l a prime number?
False
Suppose 5*r - 671 = -3*d + 93, 5*r = 5*d - 1260. Is d prime?
False
Let q = 1257 + -196. Is q a composite number?
False
Let d(g) = 10*g**2 + 2*g - 7. Is d(-5) a prime number?
True
Suppose -18 = -3*w + 2*d, 3*d = 4*w + 13 - 36. Suppose 3*l = 4*l - w. Is l/(-6)*(-21)/2 composite?
True
Let p be (-2)/2*(8 + -11). Suppose p*l + 72 = 789. Is l a prime number?
True
Let g(r) = -22*r**3 - 2*r**2 - 2*r - 1. Let d be g(-2). Suppose 80 = x - d. Is x composite?
False
Suppose 5*m = z + 1, -3*m + 19 = 4*z - 0*m. Let p(v) = -z + 1 + 5*v - v. Is p(4) a composite number?
False
Let s(x) = 34*x**2 + x + 2. Let p be s(-1). Is (-64)/(-5) - (-7)/p a composite number?
False
Let l(m) = 30*m + 4. Let j be l(-5). Let y = j - -241. Is y prime?
False
Suppose -4*l = -l - 15. Let p = 7 - l. Suppose -2*f + 9 - 1 = -4*i, 0 = -p*f - 2*i + 26. Is f prime?
False
Let r(k) = 2*k**2 - 7*k - 8. Let m(o) = o**2 - 8*o - 8. Let q(w) = -3*m(w) + 2*r(w). Let s be q(-6). Let x = -9 - s. Is x prime?
True
Let z(m) = -2*m**3 - 4*m**2 + m - 1. Let y be -6*((-6)/9)/(-1). Is z(y) a composite number?
False
Let f be (-36)/10*(-40)/12. Let j = f + -46. Let u = 71 + j. Is u a prime number?
True
Suppose 4*s - 1313 = r, -3*r - 794 = -3*s + 184. Is s a composite number?
True
Suppose -37 + 12 = -5*m. Let b(u) = -m*u - 9*u + u - 1. Is b(-4) a composite number?
True
Suppose -3*r + 5040 = 2*l - 2*r, -2*l - 3*r = -5036. Is l a composite number?
False
Suppose -3*g + o + 3596 = 0, g - 4*o = 1293 - 98. Is g a composite number?
True
Let g(c) be the third derivative of -5*c**4/2 - 7*c**3/6 - 6*c**2. Is g(-5) composite?
False
Let s(u) = u - 1. Let p be s(-5). Is (131/4)/(p/(-24)) composite?
False
Is 3/((-5)/((-2260)/6)) a composite number?
True
Let j(w) = 3*w + 10. Suppose 2*d - 31 = -7. Is j(d) a composite number?
True
Let o = 64 + -7. Is o a composite number?
True
Let y(h) = 18*h - 2. Let j be y(-5). Let m = 297 + j. Is m prime?
False
Suppose -225 = -3*l + 2*v, -2*l + 6*l - 305 = v. Is l a prime number?
False
Suppose 2*r - 10 = 0, 4*z - 3*r - 46 - 43 = 0. Let g be z/(-6) + (-2)/3. Let m(a) = -a**3 - 6*a**2 - 7*a - 1. Is m(g) composite?
True
Suppose 0 = 3*r - 1 - 5. Let m(k) = -1 + 2 + r - 14*k - 17*k. Is m(-4) a composite number?
False
Let q = 614 + -165. Is q composite?
False
Suppose 6 = -2*s, -123 = -3*h - 3*s + 5*s. Is h composite?
True
Let b = 7 + -4. Let i(p) = p**3 - 5*p**2 - 4*p - 5. Let q be i(6). Suppose b = s - q. Is s a composite number?
True
Suppose 3*i = 4*i - 103. Is i a prime number?
True
Suppose 5*w + 4*n - 3618 - 1255 = 0, 3*w = 4*n + 2943. Is w composite?
False
Suppose s = -2*s + 309. Let n(j) = j**3 + 6*j**2 + 2*j - 1. Let m be n(-5). Let y = s - m. Is y a prime number?
True
Let q be -4*(3 - 370/8). Let g = -90 + q. Is g composite?
False
Suppose -h + 5*w + 4886 = 0, -h + 2004 + 2832 = 5*w. Is h composite?
False
Suppose -2*i + 4 = -0. Suppose -3*u = -i*j - 0*j + 143, 4*u - 99 = -j. Is j a prime number?
True
Suppose 965 - 201 = 4*g. Is g prime?
True
Is 3 + 1 - 6 - -543 a composite number?
False
Suppose -3*o - 2*c + 57 = c, -3*c + 91 = 5*o. Let w = -20 + 9. Let p = o + w. Is p composite?
True
Let s(h) = 11*h**3 - 29*h**2 - 5*h + 32. Let p(c) = 7*c**3 - 19*c**2 - 3*c + 21. Let m(q) = 8*p(q) - 5*s(q). Is m(7) composite?
True
Let b(i) be the first derivative of -i**4/4 - 7*i**3/3 - i**2/2 + 5. Is b(-7) prime?
True
Suppose -3*m - 9 = 5*x + 13, -25 = 5*x. Is m + 0 - (-1 - 533) prime?
False
Suppose 2*y - 1005 = -w, -5*y - 3*w + 967 = -1545. Is y a prime number?
True
Let m = -8 - -9. Suppose 5*s - 66 = -x - 15, -x + 5*s + 11 = 0. Suppose -2*l - m = 3*h, h + x = 3*l - h. Is l composite?
False
Let z(c) = -c**2 - 16*c + 22. Is z(-15) composite?
False
Is ((-254)/(-4))/((-14)/(-28)) a composite number?
False
Let s be (-2 - -141) + 0 + 2. Suppose 0 = 4*j - 5*u - 120, 3*u + 24 = -3*j + s. Is j a prime number?
False
Suppose -5*a + 2*x - 62 = 0, 0 = 4*a - 3*x + x + 48. Let f be 4/a + (-201)/7. Let q = 40 + f. Is q prime?
True
Let v = 2019 + -334. Is v a composite number?
True
Let b = 15 - 11. Is b a prime number?
False
Suppose -4*v = -9*v + 2280. Suppose 1198 = 2*y + v. Is y composite?
True
Suppose -2*m = -6*m, -2*a = 2*m. Suppose a = b - 15 - 40. Is b a composite number?
True
Suppose 6 = 3*d - 0*t - 2*t, 5*t = d - 2. Is d*381/2 + -2 prime?
True
Is (-11)/2*(-182)/7 prime?
False
Let x be -6*4/(-12) + 1. Suppose -q - 949 = -5*g - 4*q, -x*g = 5*q - 563. Is g a prime number?
True
Suppose -4*a + g + 385 = -481, 2*a - g = 432. Is a composite?
True
Suppose -y + 600 - 128 = 5*j, 0 = 5*y - 4*j - 2273. Let d = 680 - y. Is d composite?
False
Suppose -4*l = -13 - 15. Suppose 2*k - 3*d + 5 = -9, 2*k + 18 = 5*d. Let p = l + k. Is p composite?
False
Suppose -6 = -u - 4. Suppose -u*k = k - 429. Is k prime?
False
Let h be (-470)/6 - (-1)/3. Let t = -83 - 69. Let y = h - t. Is y a composite number?
True
Suppose 6*d - 1774 = 4*d. Is d a composite number?
False
Suppose 0 = -v - 6 + 9. Suppose 0 = 2*p - 2*o - 2114, o = v*p - 0*o - 3171. Is p a prime number?
False
Let o(v) = -5*v**2 - 4*v - 2. Let i be o(-3). Let w = 88 + i. Let r = -28 + w. Is r a prime number?
False
Let u be (-1680)/(-10) - (1 + -4). Suppose