5*m - 2*j = -477. Is m a prime number?
True
Let y(p) = 2*p**3 - 4*p**2 + 4*p - 2. Let a be y(2). Let z be (4/a)/(18/27). Is (z - 0)/(5/445) prime?
True
Suppose 0 = 5*d - 4*g - 1131, -4*g = 5*d - d - 876. Is d a prime number?
True
Let t(w) = 371*w - 65. Is t(8) a composite number?
False
Let k = 208 + 913. Let p = k + -600. Is p a composite number?
False
Is 1899/(-6)*(-2)/3 composite?
False
Suppose 4*c - 757 = 3*r, 6*r + 12 = 2*r. Is c prime?
False
Let o(a) = 4*a**2 + 6*a - 3. Suppose 5*m - 9 - 1 = 0. Suppose z + 5*x = 14, -1 = -m*x + 3. Is o(z) prime?
False
Let r(o) = 14*o**2 + 4*o + 5. Let q be r(5). Let f = -265 + q. Suppose -a = a - f. Is a prime?
False
Let y be (-1 - -2)/(7/(-2058)). Let b = -205 - y. Is b prime?
True
Let r = -67 + 113. Let k = r + -25. Is k a prime number?
False
Let s(d) = -1 + 38*d + 5*d - 2 - 12*d. Is s(2) a prime number?
True
Suppose 24*h - 27*h + 13263 = 0. Is h composite?
False
Let j(x) = -x - 3. Let f be j(-4). Is 8*f + 0 + -1 a composite number?
False
Suppose 460 = 7*l - 14793. Is l a composite number?
False
Suppose 2*w + 14 = 4*w. Let p = -4 + w. Suppose -v + p*v + 3*r - 82 = 0, -v + 63 = -4*r. Is v prime?
True
Suppose 0 = -4*o + 5*p + 60, -5*o = -4*o + 2*p - 2. Let x be (-2)/(-7) - 276/(-14). Let d = x - o. Is d a composite number?
True
Let s(a) be the second derivative of 7*a**3/6 - 3*a**2/2 + 3*a. Is s(8) composite?
False
Suppose 5*i - 3*i - 42 = 0. Is i a prime number?
False
Suppose 4*v + 5*p = -581, -2*p + 429 = -3*v + p. Let k = v - -218. Let a = k + -49. Is a a prime number?
False
Suppose 2*j + 3*z - 4 = -0*z, -4*j + 8 = 4*z. Let u = j - -7. Let x = u - 5. Is x a prime number?
False
Let c = -160 - -1055. Is c a composite number?
True
Let r(o) = 10*o + 1. Let i be r(1). Let n = i - 7. Suppose t + 3*h = 34, 4*t + n*h - 108 = -12. Is t prime?
True
Suppose -5*x + 75 = -b - 79, -5*x + 5*b + 150 = 0. Suppose d - x = -0*d. Is d a prime number?
True
Let k = -945 + 339. Let a = -403 - k. Is a prime?
False
Let v(j) = -j**2 - 100 - j**3 + 244 + 187. Is v(0) prime?
True
Suppose -4*z = 4*n - 4552, -7179 = -5*n - 4*z - 1492. Is n prime?
False
Let z = 19 + -16. Suppose -z*i = -4*i + 53. Is i a prime number?
True
Suppose -4*u + 831 = -109. Is u prime?
False
Let b(o) = -o**2 + 9*o + 13. Let n be b(10). Suppose -698 = -4*x - n*s + 132, 5*s + 10 = 0. Is x prime?
False
Let m be 634/4 - (-1)/2. Let k be 6/21 + 12/7. Suppose -k*q + m = q. Is q prime?
True
Let w = -19 + 12. Let y(l) = -l**3 + 7*l**2 - 7*l - 6. Let s(d) = 2*d**3 - 7*d**2 + 8*d + 7. Let n(m) = 2*s(m) + 3*y(m). Is n(w) a prime number?
True
Let v be 5/20 - (-7)/4. Let r be 2 + -2 + (v - 2). Suppose r*j + 596 = 4*j. Is j prime?
True
Let c(r) = 3*r**2 - 4*r - 3. Let h be c(-2). Suppose 7*m = 4*m + 3*w + 12, 4*w = 3*m - 11. Is m/15 + h/3 a prime number?
False
Suppose -565 = p - 6*p. Is p a prime number?
True
Suppose -11*k + 6*k - 4*o + 3249 = 0, 3*o = -2*k + 1301. Is k composite?
True
Suppose -o = -2*o. Let i = 38 + o. Is i composite?
True
Let x = -7771 - -12860. Is x a prime number?
False
Suppose 15 = 2*l - 7*l. Let x = l + 5. Suppose 0 = -x*b - 3*b + 115. Is b composite?
False
Is -3 + 2 - (1 - 555) composite?
True
Suppose 8*p + p = 3735. Is p a prime number?
False
Suppose 5*l + 588 - 4983 = 0. Is l prime?
False
Suppose -4*g = -3*r + 7071, -4*r - 4*g + 8961 = -495. Is r prime?
False
Suppose 5*r - 25 = -5*w, 2*w + 3*w - 15 = -3*r. Let s(u) = -5 - u**3 + 2*u**3 + w + 7*u**2 - 4*u. Is s(-7) composite?
False
Is (14 - 15)/(2/(-2338)) a prime number?
False
Let z(a) = 86*a**2 - 3*a - 1. Is z(4) composite?
True
Let l(v) = -v. Let s be l(-3). Suppose 3*d + 2*i = 29, d = -s*d + 5*i + 54. Is d a prime number?
True
Let t = -469 - -680. Is t a composite number?
False
Suppose -2*l = 3*l + 10. Let o be 401/(-7) - l/7. Let x = 74 - o. Is x a composite number?
False
Is 4/(-22) - 1425/(-33) prime?
True
Suppose 0 = 5*o + 4*n - 22, 2*o + 2*n - 14 = -2*o. Let y be (2 + 4)/3 + o. Suppose -a + 10 = -u, -3*a + a - y*u + 20 = 0. Is a a composite number?
True
Let a be (30/18)/((-2)/(-6)). Suppose 0*z + a*z + 4*d - 54 = 0, 0 = z - d - 18. Is z prime?
False
Let r be ((-3)/(-2))/((-6)/(-40)). Suppose -r + 0 = -5*d. Is 19 - 0/(1 + d) prime?
True
Is (-2)/12*2*-3873 a prime number?
True
Suppose 0 = 3*o - a + 23 - 173, 4*o - 208 = 4*a. Let x be o/2 + 2/(-4). Suppose n - 1 = x. Is n a prime number?
False
Let u = -600 - -1961. Is u a prime number?
True
Suppose -u - 4*b + b = -1163, 2*b + 4 = 0. Is u composite?
True
Let m be 6*7/(63/6). Suppose -m*q + 56 = -156. Is q a prime number?
True
Let s be (-14)/18 - 8/36. Let w be 42 + (s - (-4)/(-2)). Suppose 2*l - w = -l. Is l a composite number?
False
Let z be (8 - 6) + (-14 - 0). Is (1/(-3))/(z/4716) composite?
False
Let w(x) = -83*x - 24. Is w(-7) composite?
False
Suppose 5*g - 128 - 27 = -5*a, -4*g - 2*a + 126 = 0. Let b(q) = -q**3 + 2*q**2 - 1. Let u be b(2). Let y = g + u. Is y a composite number?
False
Suppose 2*z - 200 = -2*z. Suppose -2*j = 0, -5*c + 2*j = j - z. Is 4/(-10) - (-3554)/c composite?
True
Let u(d) = 1010*d**2 - d. Is u(1) a composite number?
False
Suppose 22 = 2*q - 132. Is q prime?
False
Let q = 682 + -230. Suppose q = 4*p + 2*w, 8*p - 5*p = -2*w + 339. Is p prime?
True
Let l(v) = -4*v**3 + 1 + 6*v**2 - 4*v - 5 + 5*v**3. Let j be l(-6). Suppose -6 - j = -3*b + a, -2*a = 4*b - 38. Is b a prime number?
False
Let d(f) = f**3 - f - 1. Let p be d(2). Let k(w) = w**2 - 3*w + 1. Is k(p) a composite number?
False
Let o(d) = 2 + 0 - 3 - 9 - 5*d + d**2. Let f be o(8). Is f/6*(-2 - -35) composite?
True
Suppose i - 3 = -1. Let k(h) = 2*h**2 - 3*h + 1. Let r be k(i). Suppose 3 = -r*a, -a = -5*b + 47 + 139. Is b prime?
True
Suppose -3*u + 5*i - 3 = -30, 3*u + 5*i = -3. Suppose 1 = u*g - 7. Is (79/(-3))/(g/(-6)) a composite number?
False
Suppose g = 2*g - 541. Is g composite?
False
Let u be -3 + 1 + (-15)/(-3). Suppose -4*l + 312 = 2*f + 2*f, 5*f = -u*l + 236. Is l a prime number?
False
Suppose 5*b - 6 = 2*b. Let n be ((-12)/16)/(b/(-120)). Let p = -8 + n. Is p a composite number?
False
Suppose -3*w + 3*z - 15 = -3, 12 = w + 3*z. Suppose 5*b = 1 + 9. Suppose -b*p = -w*p - 86. Is p a composite number?
False
Is (-3)/(-18) + 1553/6 composite?
True
Suppose -3*g + 3*x - 15 = 0, -x = -0 - 5. Suppose 4*o = -q + 86, 3*q - o - 323 = -g*q. Suppose -f = f - q. Is f a prime number?
True
Let b(a) be the second derivative of -a**3/3 - 3*a**2/2 + 10*a. Let r(g) = -g**2 - 6*g - 3. Let n be r(-6). Is b(n) a composite number?
False
Suppose -3*d = -292 - 50. Suppose 7*f + 308 = 3*f. Let t = f + d. Is t a composite number?
False
Let d(y) = -y**2 + 11*y - 8. Let n be d(10). Suppose -u - n*u = -795. Is u composite?
True
Suppose -3*q - 34 = -568. Let m = -33 + q. Is m composite?
True
Suppose -2*j + 265 = -345. Is j a composite number?
True
Let p be -3 + 0 + 4 + -1. Suppose 5*g - 3*g - 68 = p. Is g composite?
True
Let j(q) = -19*q + 5. Is j(-6) a composite number?
True
Let i(u) be the second derivative of -u**4/12 - 13*u**3/6 - 5*u**2/2 + u. Is i(-6) prime?
True
Let u(w) = -14*w**2 - 10*w + 3. Let x be u(-7). Let z = 980 + x. Is z composite?
False
Let a = 25 - 17. Let n(m) = m**3 - 6*m**2 - 9. Is n(a) composite?
True
Let g = -7 + 7. Let x(b) = -b**2 - b + 3. Let a be x(g). Is a - (32/(-1) - 0) prime?
False
Let p(n) = 2*n**2 + 7*n - 1. Let h(c) be the first derivative of c**3/3 + 3*c**2/2 - c + 1. Let v(d) = -5*h(d) + 3*p(d). Is v(-6) composite?
False
Suppose 5*x + 0*i - 267 = 3*i, -i = 4. Is x a composite number?
True
Let z(k) = -k**2 - 9*k - 2. Let m be z(-9). Is m/7 - (-1166)/14 composite?
False
Let r(h) = 40*h + 3. Let o be r(5). Suppose o + 176 = z. Is z a composite number?
False
Let c(h) = -h + 6. Let r = -10 - -3. Is c(r) composite?
False
Let g(k) = -19*k - 8. Is g(-6) a prime number?
False
Suppose 0 = 5*s + 237 - 1352. Is s composite?
False
Suppose -5*h = 5*k - 344 - 481, 0 = 4*k + 5*h - 662. Is k composite?
False
Suppose -9*u + 5*f + 322 = -8*u, 298 = u + 3*f. Is u composite?
False
Suppose -3*s = -2*m - 77, 5*m + 22 = 2. Is s a composite number?
False
Let t(d) = d + 5. Let w be t(-5). Suppose -7*f - 2*c = -2*f - 81, -4*f - 2*c + 64 = w. Let p = f - -74. Is p prime?
False
Let k(f) = -41*f**2 + 3*f + 3. Let z(x) = 14*x**2 - x - 1. Let b(t) = -3*k(t) - 8*z(t). Is b(-1