ppose -3*g + 7*g - 474 = 2*q, -b*q + 373 = 3*g. Is g prime?
False
Let m(f) = 6*f**2 + f + 5. Let a = -21 + 13. Let x(r) = r + 4. Let p be x(a). Is m(p) composite?
False
Let b(p) be the third derivative of p**6/120 + p**5/6 - 13*p**4/24 + 5*p**2. Let o(l) = l**3 - l**2 - l - 11. Let v be o(0). Is b(v) composite?
True
Let o(i) be the first derivative of -77*i**2/2 + 2. Let v be o(-1). Is 4/(-16) - v/(-4) a prime number?
True
Let q(y) = -43*y + 3. Is q(-8) a composite number?
False
Let l(a) = -a**3 + a**2 + 5*a - 2. Let r(s) = -s + 1. Let v(y) = l(y) + 4*r(y). Let m be v(0). Suppose -m*d + d = -23. Is d a prime number?
True
Let m = -1089 + 2132. Is m composite?
True
Let h = 29 + -9. Suppose o + 5*z + h = 220, -379 = -2*o - 3*z. Let d = o - 120. Is d a prime number?
False
Suppose 2*o = 4*o - 1402. Is o a prime number?
True
Let r = 7386 - 4943. Is r a composite number?
True
Suppose 5*g = -q + 19, -6 = -5*g + q + 5. Let o(c) = 6*c - 3. Is o(g) prime?
False
Let f be -5 - (0 + (-2 - -4)). Let p(u) = 3*u**2 + 5*u + 9. Is p(f) a prime number?
False
Suppose -3*d = -5*d + 116. Suppose 0 = -x + j + d, -8*j + 187 = 4*x - 3*j. Is x a prime number?
True
Is (-370)/4*(-154)/35 a prime number?
False
Suppose 2207 = 3*f - 2*x, -5*f + 5008 = -4*x + 1333. Is f a prime number?
True
Suppose s + 4*s = 2215. Is s a prime number?
True
Suppose 2 = -4*a + 10. Let n be 412 + (a - -1) + 0. Suppose 4*i = -i + n. Is i prime?
True
Suppose a - 2386 + 485 = 0. Is a a prime number?
True
Suppose 4*k - 3*c + 63 - 10 = 0, 2*k - 4*c + 14 = 0. Let r = 70 + k. Is r prime?
True
Let f(s) = -7*s**2 + 7*s - 1. Let w(m) = 4*m**2 - 4*m + 1. Let b(x) = -3*f(x) - 5*w(x). Let y be b(-2). Let v = 2 + y. Is v composite?
True
Let p(r) = 4*r - 3. Let u be -7*(4 - (0 + 1)). Let t be (-4)/(-14) + (-141)/u. Is p(t) a prime number?
False
Let a(w) = 90*w - 1. Let h be a(5). Is h - (-1 + -1 + 4) a composite number?
True
Suppose n - 2*f - 487 = 0, -5*n + f + 4*f = -2415. Is n a composite number?
False
Let w be (-6)/4*(-1506)/(-9). Let k = w + 454. Is k prime?
False
Suppose -2*b - 22 = 2*s - 6*s, s - 13 = 2*b. Suppose 2*a - s = 1. Suppose a*y + 22 = t, t - 4*t = -2*y - 66. Is t a composite number?
True
Suppose 25 = -5*k, -5*b + 1849 = 4*k - 3176. Is b a prime number?
True
Let d(n) = n**3 - 10*n**2 - 8*n - 5. Is d(12) a composite number?
True
Suppose -161 = 4*x - 5*x. Is x composite?
True
Let a(h) = 13 + 2*h**2 - 5*h - 13. Suppose -4*r + 0*r + 20 = 0. Is a(r) prime?
False
Let r = 1006 + -327. Is r a prime number?
False
Suppose -3*a + 659 = -w, -2*w + 1 = 5. Is a composite?
True
Let o = -27 - -314. Is o composite?
True
Let q = -8 - -10. Suppose 191 = q*d + 57. Is d prime?
True
Suppose -26 - 22 = -4*k. Let v = k + 27. Is v prime?
False
Let v(h) = -h**3 - 6*h**2 - h - 2. Let u be v(-6). Suppose -389 = -5*d + 2*b + 589, 0 = 5*d - u*b - 986. Is d a composite number?
True
Let a(q) = 3*q - 3. Let u be a(2). Suppose -u*f = f - 316. Is f composite?
False
Let f = 448 - 315. Is f composite?
True
Suppose -4*c + t + 0*t + 629 = 0, 5*c = -5*t + 780. Is c a prime number?
True
Let s be -2 - -1 - (0 - 1). Suppose s = v - 6 + 16. Is 5/v - 135/(-2) a prime number?
True
Let n = 292 + -149. Is n prime?
False
Suppose -3*w + 724 + 3683 = 0. Is w composite?
True
Suppose 2*b - 859 = 3*i, 0*i - 1286 = -3*b + 4*i. Is b composite?
True
Let s(f) = f**2 - 3. Let z be s(-3). Suppose -3*y = -z - 6. Suppose y*a = -2*r + 178, 0*a - 481 = -5*r - a. Is r prime?
True
Let i = -2 - -3. Let o = i + -1. Suppose o = f - 2*f + 97. Is f composite?
False
Suppose 3*o = 3*h - 4848, 5*o + 8 - 18 = 0. Is h a prime number?
False
Is (956/16*-1)/((-2)/8) composite?
False
Suppose -5*s = -0*w + 4*w - 400, -4*w - s + 384 = 0. Is w prime?
False
Let v(x) be the second derivative of x**4/6 + x**3/2 - 3*x**2/2 + 2*x. Suppose 5*w - 4 = 6. Is v(w) prime?
True
Let x be 0 + -2 + 2 - 4. Let k(p) = 3*p + 4*p**2 + p**2 - 1 + 0*p. Is k(x) prime?
True
Let r be 2 - (2*-1 + 6). Let a be (r + 14)*(-6)/(-4). Suppose -140 = -2*w + a. Is w a prime number?
True
Suppose 2*r - 20 = -3*r. Suppose 5*t - r*t - 37 = 0. Is t a composite number?
False
Let t(o) = o**2 - 6*o - 2. Let s be t(6). Let c(w) = -15*w**3 + w**2 - w + 2. Let i be c(s). Suppose -4*h + i = -20. Is h a prime number?
True
Let i(m) = -403*m - 10. Is i(-5) composite?
True
Suppose -v + 284 = -623. Is v a prime number?
True
Suppose -5*t - 20 = 0, -o - t = -563 - 502. Is o a prime number?
True
Is 6684/(-8)*(-6)/9 composite?
False
Let l(y) = -3*y + 12*y - 16 + 28. Is l(9) a prime number?
False
Let x(g) = -7*g**3 - 19*g**2 - g - 11. Let m be -3 - 5/(5/(-8)). Let r(j) = -11*j**3 - 29*j**2 - 2*j - 16. Let a(v) = m*r(v) - 8*x(v). Is a(-7) composite?
True
Let g(s) be the first derivative of s**3/3 + 31*s - 4. Let o(f) = f**2 + 5*f - 6. Let a be o(-6). Is g(a) a composite number?
False
Let l = 434 + -251. Is l prime?
False
Let q(j) = 1346*j**2 - 5*j + 4. Is q(1) a composite number?
True
Let o = 554 - 267. Is o a prime number?
False
Suppose 6164 = 2*k + 2*k + 5*u, -2*u - 3064 = -2*k. Suppose -5*z + k = j, 4*z + 0*j = -4*j + 1232. Is z a composite number?
False
Suppose -t + 43 = -4*m, -2*t - 3*t = -3*m - 215. Is t a composite number?
False
Suppose -5*p = -p - 60. Suppose d + 0*d = -p. Is (-3)/d + 2188/10 prime?
False
Let d = -132 + 1529. Is d a composite number?
True
Let k(l) = -l**2 + 8*l - 3. Let i be k(8). Let u be 1/(0 + i/(-3)). Is u/(-6) + (-892)/(-24) prime?
True
Suppose w + 5*w = 6366. Is w a composite number?
False
Let j(v) = -2*v - 4. Let a be j(-3). Suppose -c - 150 = -6*c + 5*m, -3*m - 56 = -a*c. Is c prime?
False
Let h(l) be the first derivative of -1 - 6*l + l - l + 4 - 2*l**2. Is h(-5) composite?
True
Let y(o) = -4*o + 497. Is y(0) a prime number?
False
Suppose g - 213 = -y - 2*y, -4*y = -3*g - 297. Suppose 0 = -2*t + y + 18. Suppose t = 4*b + 9. Is b a prime number?
False
Suppose 192 = 6*p - 2*p. Suppose d - p = 19. Is d a composite number?
False
Let z be -1*3*(-20)/30. Suppose 2*o = -z*a + 394, -5*a - 176 - 232 = -2*o. Is o composite?
False
Let m = -5 - -8. Suppose -2*c - m*w = -0*w - 5, -w - 2 = -3*c. Is 1 + c - (-20 + 3) composite?
False
Let s = -9389 - -17208. Is s composite?
True
Let r(i) = i**3 - 3*i**2 + 1. Let w be r(3). Is w/(-2)*6 - -9 prime?
False
Let w = -2 + -10. Let n = w + 18. Is (n - 4)/((-4)/(-382)) prime?
True
Let u(h) = h**3 - 11*h**2 - 4*h - 5. Let n be u(8). Let a = -83 - n. Is a composite?
True
Let d(z) = 17*z**2 - 3*z - 3. Let a be d(-3). Let p = -88 + a. Is p a composite number?
False
Suppose a - 4 = -i + 4, -5*a = 4*i - 32. Suppose i*d - 164 = 4*d. Suppose m = 2*c - 190, 2*c - 155 - d = 4*m. Is c a composite number?
True
Let c be 0 + (0 - 0) + 3. Suppose f - 107 = -c*q, 0 = 3*f - 2*q - 29 - 281. Suppose -4*v - f = -588. Is v composite?
True
Let b = 8 - 5. Let q(z) = 15*z**2 - 5*z + 13. Let w(f) = 8*f**2 - 3*f + 6. Let y(x) = -2*q(x) + 5*w(x). Is y(b) a composite number?
False
Let r be (-3)/(-9)*1*18. Suppose r*x = -u + x + 477, 3*u = 2*x + 1465. Is u a composite number?
False
Let b(y) = 6*y + 5. Let d(u) = u. Let t(r) = -b(r) - 2*d(r). Is t(-5) a composite number?
True
Let m = 5625 - 3185. Is 4/(-22) - m/(-110) composite?
True
Let x(h) = 2*h**2 - 13*h + 15. Let p = 17 - 7. Is x(p) a composite number?
True
Let w(g) = -g**3 - 17*g**2 - g + 9. Is w(-17) a prime number?
False
Suppose -33*z - 17636 = -37*z. Is z a prime number?
True
Suppose -s + 4*s - 3 = 0. Let w(n) = s + n + 0*n + 0*n + 9*n**2. Is w(-1) prime?
False
Suppose 16*v = 18*v - 178. Is v a composite number?
False
Suppose -4*x + 3*j = -235, 0 = -3*j - 3 - 0. Let t = x + -136. Let v = 116 + t. Is v prime?
False
Suppose -4874 = -4*r + 2*r. Is r composite?
False
Let i(b) = 1204*b**2 - b - 2. Let k be i(2). Is (-3)/(-5) - k/(-30) composite?
True
Let x be 1 + (-1 + 3)*1. Suppose -y - 2*a + 199 = -6*a, -3*y + 606 = -x*a. Is y a prime number?
False
Let x(w) = 119*w**3 + 9*w**2 - w - 5. Let y(v) = 79*v**3 + 6*v**2 - v - 3. Let m(i) = -5*x(i) + 8*y(i). Is m(2) composite?
True
Let n = -5 - -8. Suppose -116 + 497 = n*g. Is g prime?
True
Let u = 1 - -2. Suppose -q - 3*z + 18 = u, -q + 4*z = 13. Is q prime?
True
Is 2 + 2148 - (-1 + -2) composite?
False
Is 1/(-4) + (-123597)/(-36) a composite number?
False
Let g(o) = 3*o**2 + 10. Is g(-7) composi