c + 4*x - 34 = 0, 2*c + 28 = x - 3*x. Is (2/(-4))/(c/3160) prime?
False
Let w(p) = -p**3 + 2*p - 1. Let t be w(-2). Suppose -t*f + 4 = -f. Is (4/6)/(f/39) composite?
False
Suppose 3*q + 0*q = 6. Is ((-470)/4)/((-1)/q) a prime number?
False
Let c(s) = 90*s**2 + 3*s + 10. Let x = 12 + -5. Let o(m) = -60*m**2 - 2*m - 7. Let f(j) = x*o(j) + 5*c(j). Is f(-2) a composite number?
True
Suppose 7*t - 668 = 3*t. Is t prime?
True
Let c be (-4)/10 - (-201)/15. Suppose -86 = -3*l + c. Let g = 110 - l. Is g prime?
False
Suppose 4*a - 473 = -10*o + 9*o, 5*a + 2*o = 589. Is a composite?
True
Let k(m) be the first derivative of -m**4/4 + 11*m**3/3 - 3*m**2/2 + 6*m + 6. Is k(5) a prime number?
False
Suppose y + 40 = 5*i, 0*i - 3*i - y + 32 = 0. Suppose 123 = 4*m - i. Is m prime?
False
Is ((-534)/12)/(2/(-12)) composite?
True
Let p(o) = -11*o**3 + o**2 - 2*o. Suppose -3*r + 2*r = 2. Let m be p(r). Suppose -2*v = 2 - m. Is v a composite number?
False
Let z be (-13)/(-3) - 6/(-9). Suppose 0 = 3*b - 5*u + 4, 5*b + 2*u + 2*u - 18 = 0. Suppose -z*y - b*n = -y - 210, -5*y + 243 = -4*n. Is y composite?
True
Let s(m) = 26*m - 3 + 4 + 4. Let v be s(8). Is 1*v/9*3 composite?
False
Is 179/((3/1)/9) composite?
True
Let s = 1499 + -2195. Let f = s + 997. Is f a composite number?
True
Suppose 6*j = 5*j - 89. Is (84/(-12))/(1/j) composite?
True
Suppose -3*p - 2*p = 5*j - 11030, -4*p = 5*j - 11029. Suppose -j + 427 = -2*r. Is r prime?
False
Let d(c) = -c**2 + 5*c - 4. Let t be d(4). Suppose 3*n = q + 3*q + 30, t = -2*n + 2*q + 20. Is n prime?
False
Let a(y) = -4*y**3 + 2*y**2 - y - 1. Let s be a(-2). Suppose r - 5*r = -3*j + s, -25 = -2*j + 5*r. Is j prime?
False
Let a(x) = x - 5. Let c be a(5). Suppose c = -5*p - 602 + 1442. Let i = p + -5. Is i a prime number?
True
Let j(u) be the first derivative of u**3 - u**2/2 - u + 1. Let d be j(-2). Let s = 38 - d. Is s a prime number?
False
Suppose 4*n + 4 = 16. Suppose -a = -2*a + n*q + 133, -4*q = -4*a + 532. Is a a composite number?
True
Suppose 5*c - 427 = -2*u, 0 = 4*u - 4*c + c - 841. Is u composite?
False
Let p(a) = 241*a + 10. Let x(b) = -240*b - 9. Let n(w) = 5*p(w) + 6*x(w). Is n(-3) prime?
True
Suppose 0 = -3*d + 5*f - 3 - 29, 8 = 2*f. Is (d/(-5))/((-6)/(-345)) a prime number?
False
Let n(j) = 2*j**2 + 4*j + 7. Let s(f) = 2. Let p(r) = r + 3. Let v(m) = 3*p(m) - 4*s(m). Let d be v(-2). Is n(d) composite?
False
Suppose 322 + 3476 = 9*f. Is f a composite number?
True
Let n = 9908 - 2559. Is n prime?
True
Let n(g) = 11*g**3 - 2*g**2 - g - 2. Let x be (-6)/24 - 14/8. Let q be n(x). Let i = 185 + q. Is i composite?
False
Suppose -4*t + 2*v + 4 = 0, -5*t + v + 13 = 2. Suppose 0*o = -t*o + 795. Suppose 8*a - 3*a - o = 0. Is a prime?
True
Let b be (5/(-15))/(1/(-6)). Suppose -w - 165 = -2*l, -5*w - 104 - 57 = -b*l. Is l composite?
False
Let r(v) = -v**3 + 7*v**2 - 8*v + 3. Is r(-7) a composite number?
True
Let f = -8 - -5. Let k(j) = -11*j**2 - 11*j + 3. Let n(c) = -4*c**2 - 4*c + 1. Let a(m) = 6*k(m) - 17*n(m). Is a(f) composite?
False
Suppose -2*v - 107 = d - 5*v, 4*d - 4*v = -420. Let c = d + 175. Is c a prime number?
True
Let d = -2670 - 8831. Is 4/14 + d/(-49) prime?
False
Let d = 2778 - -2715. Is d a prime number?
False
Let t(o) = 151*o - 10. Is t(5) a prime number?
False
Let i(m) = -m**3 - m**2 - 2*m + 40. Let k be i(0). Suppose 0 = s + 3 - k. Is s composite?
False
Let d(y) = 5*y + 4. Let p be d(2). Let b = -75 - -47. Is 8/b + 186/p prime?
True
Let u(l) = -7*l**3 - 11*l**2 + 11*l - 7. Let b(i) = -11*i**3 - 16*i**2 + 16*i - 11. Let z(f) = -5*b(f) + 8*u(f). Is z(-10) a prime number?
False
Let x = -2 + 491. Is x prime?
False
Is -5 - -85 - (1 - -2) a prime number?
False
Let k be (-9 - 2) + -1 + 0. Let y = -2 + k. Is (-11 - -1)*y/4 a prime number?
False
Suppose -4*h - 1584 = -3*v - h, -3*h - 2113 = -4*v. Is v a prime number?
False
Suppose 5*m - 2*b - 3*b - 15 = 0, -3*b = -3. Suppose -u - 12 = -m*u. Suppose -5*x + 75 = -5*a, -a = -u*x - 5*a + 20. Is x composite?
True
Let c(h) = 105*h + 1. Is c(2) a composite number?
False
Let w = 24 + -75. Let q(a) = -a**3 + 5*a**2 - 5*a + 2. Let h be q(4). Is (-5)/(5/h) - w a prime number?
True
Let v = -39 - 122. Let w = v + 228. Is w composite?
False
Suppose 2 = x - 1. Is ((-185)/x)/(1/(-3)) a composite number?
True
Suppose -16 = -0*v - 2*v. Suppose -v = -0*j - j. Suppose -j*c = -4*c - 52. Is c a prime number?
True
Suppose -3*h + 2 + 7 = 0. Suppose h = j - 32. Is j a composite number?
True
Let d(y) = -2*y - 3. Let p = 1 + -4. Let i be d(p). Suppose 2*z + 3*k - 50 = 0, -i*z + 31 = -2*z + 3*k. Is z a prime number?
True
Suppose -4*g + 3*p + 933 = 0, 2*p + 724 + 451 = 5*g. Suppose g = u + 2*u. Is u prime?
True
Suppose -u - u + 22 = 0. Suppose s + 1 = 2*i + u, 0 = 5*i. Is 2 - 3 - s*-8 prime?
True
Suppose -d + 12 = -5*d. Let a be (8/(-2))/(0 - 2). Is ((-158)/d)/(a/3) a prime number?
True
Is (-3)/12 - (-1573)/4 a prime number?
False
Let x be ((-6)/5)/((-14)/35). Suppose 4*j = 4*p - 244, -p = -x*p - 5*j + 94. Is p a prime number?
False
Let h(c) = -c**2 + 2*c + 3. Let n be h(3). Suppose n = -u + 6 - 2. Suppose u*a - 5*r - 143 = 0, -a - r + 40 = 2*r. Is a composite?
False
Suppose -2*f + 6415 = 3*p, 4*p - 13099 = -4*f - 275. Is f a prime number?
True
Let u(l) be the third derivative of 16*l**6/15 - l**4/24 - 2*l**2. Let p = 14 - 13. Is u(p) a prime number?
True
Is 5912/12 + 5/15 prime?
False
Let k(y) = -y - 3. Let z be k(-3). Suppose 2*n + n - 111 = z. Is n a prime number?
True
Suppose 87 = 5*c - 23. Let z = 0 + 3. Is (c/z)/(12/90) a prime number?
False
Let d(r) = 576*r**3 - r**2 + 2*r - 1. Let v be d(1). Let a = -319 + v. Is a a prime number?
True
Let y(f) = 3*f - 13. Let k be y(5). Suppose -k*h = 4*t - 1930, -2*t + 3*h = -7*t + 2410. Is t composite?
True
Suppose 3*l - 78 = -u + 63, 137 = u + 2*l. Is u composite?
True
Suppose 3*s - 1117 = -2*i - 0*i, 2788 = 5*i + 3*s. Is i composite?
False
Let a = 268 + 1303. Is a prime?
True
Suppose -16*p + 29351 = -9*p. Is p prime?
False
Let o(a) = 14*a**2 + a + 3. Suppose 2*w + 17 = -0*w - 3*u, w = -3*u - 13. Is o(w) prime?
True
Let m be 9/(-5)*80/16. Let y = 29 - m. Is y prime?
False
Let t = -4 - -6. Suppose -547 = -t*f - 129. Is f prime?
False
Let b(k) = -k**2 + 7*k - 5. Let s be b(5). Suppose 3*y + 64 = o, o + 4 - 52 = -s*y. Is o a composite number?
True
Let t = 18 + -13. Suppose 5*h = t*j + 45, -3*h - 7*j - 5 = -2*j. Suppose -p = h*d - 170, -3*d + 0*d = -2*p + 379. Is p a prime number?
False
Let x(o) be the third derivative of -o**4/24 + o**3 - 8*o**2. Is x(-5) composite?
False
Suppose 2*a + 2*y - 2 = 4, -4*a + 5 = -3*y. Is a/(-11) - 5183/(-11) a prime number?
False
Suppose 6*g + 8 = 2*g, 0 = -w - 5*g + 6. Let d(m) = -10*m - 1. Let i be d(-7). Let u = i - w. Is u prime?
True
Is (-35871)/(-45) + 2/(-15) a prime number?
True
Let l(k) = -k + 20. Is l(-6) a composite number?
True
Suppose 138*v - 142*v = -2692. Is v a composite number?
False
Suppose 0 = 4*t + 5*c - 5591, -t + c = -2073 + 682. Suppose -3*w - 2*z = -t, 2*w - z - 143 = 791. Suppose -3*h - 127 = -w. Is h composite?
False
Suppose 0 = 5*z - 5*s - 20, -2*z + 0*s + 3 = 3*s. Suppose 194 = -z*a + 5*a. Suppose -v + k - a = -5*v, 5*k - 48 = -v. Is v prime?
True
Is ((-97)/(-2))/(4/24) a prime number?
False
Let y = 10 + -7. Let p = 32 - 28. Suppose -2*q = -p*b + 140, y*b - 96 = -0*b - 3*q. Is b a prime number?
False
Suppose 0 = 4*v - 1 - 3. Let q = 4 - v. Suppose -q*j - 2*j + 115 = 0. Is j a composite number?
False
Suppose -r + 5*r = -0*r. Let k(s) = 15 + s + 4*s - 4*s. Is k(r) composite?
True
Suppose -31 = -q + 4*j, -4*q + j + 224 = 5*j. Is q prime?
False
Suppose -5*u = 5*m, -2*m = 4*u - 5*m - 21. Suppose 0 = u*r - 3949 + 652. Is r prime?
False
Let n(h) = h**2 - 34*h + 26*h - 2*h**2 + 1. Let o(x) = -x**2 - 4*x - 6. Let s be o(-4). Is n(s) a composite number?
False
Suppose 3*p = 2*c - 2, -4*p = -c + p + 8. Let f(y) = y**3 + 4*y**2 + 2*y + 2. Is f(c) prime?
False
Let u = 1695 - 638. Is u a prime number?
False
Let v = 9 - -39. Let l = -17 + v. Is l composite?
False
Let c be -6*(2 - 3) - 2. Suppose 0*z - 5*u = -c*z - 204, 5*z + 4*u = -214. Let t = 7 - z. Is t a prime number?
True
Let v = 566 + 21. Is v composite?
False
Let r = 5 + -2. Suppose -3*z - 42 = -r*l, 2*l - z = -3*l + 66. Is l a prime number?
True
Suppose 2