 Suppose 3*p - 5 = f - 12, 21 = 3*f + x*p. Let s = -1 + f. Is s prime?
False
Suppose -3*z = -3*o + 26 + 19, 45 = 3*o - z. Suppose 0 = 5*x - o, -87 = a - 6*a - 4*x. Is a a composite number?
True
Let l(x) = 117*x**2 + 7*x + 7. Is l(-3) a composite number?
False
Let g(d) = 5*d - 1. Let r be g(-3). Is 166*(-4)/r*2 prime?
True
Let o(n) be the first derivative of 1/4*n**4 - 1 - 2*n + 3*n**2 + 4*n**3. Is o(-5) a composite number?
True
Let s = 12 - 11. Let f(k) = 35*k**2 - k + 1. Is f(s) a composite number?
True
Let u(q) = q**3 + 9*q**2 + 3. Let t be u(-9). Suppose t*j = 1 - 13. Is j/6 + 40/15 a prime number?
True
Suppose -2 + 0 = p. Let g be (p/5)/((-1)/5). Suppose 0 = -4*o + 2*d + 140, 70 = 2*o + g*d - d. Is o composite?
True
Suppose 2*n = -n. Suppose n*f - 92 = -4*f. Is f prime?
True
Suppose 2*r + r = -159. Let x(j) = -5*j**3 + 2*j**2 + j - 4. Let y be x(3). Let g = r - y. Is g composite?
True
Let v(i) = i**3 - 5*i**2 - 4*i + 4. Let a be v(6). Suppose -4*b - a = -0*b + 5*p, b + 11 = -3*p. Suppose 0*d = -5*s + 4*d + 69, d = -b. Is s a prime number?
True
Let v be (20/(-12))/((-1)/3). Suppose v = 5*j + 10. Is (-6)/3 - (j + -11) composite?
True
Suppose 0*y - 2954 = -2*y. Is y a composite number?
True
Suppose -2*q = 2*z - 6706, q + 3*z - 3353 = 6*z. Is q a composite number?
True
Let c = 19 + -30. Let i = 1 - c. Suppose 4*g - b = g + 54, 4*b - i = 0. Is g composite?
False
Let r(f) = 10*f**2 + 2*f + 11. Is r(-4) composite?
False
Let j = 397 + 140. Is j a prime number?
False
Let t = 1672 + -795. Is t composite?
False
Let l(b) = 28*b - 6. Let p(m) = 28*m - 5. Let t(h) = 2*l(h) - 3*p(h). Is t(-3) a prime number?
False
Let j be 20/8 + (-1)/(-2). Suppose 5*d - 2526 = -c, 0*d = -2*d + j*c + 1007. Is d a prime number?
False
Let v = 7 - -14. Is (2 - (-105)/9)*v prime?
False
Suppose q - 623 = -2*m, -2*q + 2*m + 1278 = -2*m. Is q a composite number?
False
Let p(f) be the third derivative of -f**6/40 - f**5/30 - 5*f**3/6 + 2*f**2. Let w be p(-4). Suppose -3*c = 2*g - 5*g + 171, w = 3*g + 5*c. Is g composite?
True
Let j(a) = -a**3 - 21*a**2 + 21*a + 45. Is j(-22) a prime number?
True
Let s(t) = 392*t - 22. Is s(10) a composite number?
True
Suppose 4*n - 1222 = -5*q, 5*n = 2*q + 991 + 520. Is n prime?
False
Let c = -51 - -137. Is c composite?
True
Is (3034/4)/((-2)/(-4)) a prime number?
False
Let g(f) = 4*f**2 + 14*f + 11. Let w be g(-13). Suppose -w = -2*n + 73. Is n a composite number?
True
Let v = -61 - -332. Is v composite?
False
Let h(p) = p**3 + 2*p**2 - 4*p - 3. Let x be h(-3). Suppose -f + 2*k + 104 = -187, x = 5*f - 5*k - 1460. Is f a prime number?
True
Let i = -57 + 112. Is i a prime number?
False
Let o(u) = u - 4. Let h be o(3). Suppose -4*x + 76 = -0*x. Is x/1*(-1)/h prime?
True
Suppose -3*o + 114 = -o. Is o a prime number?
False
Suppose -w = 5*q + 1161, 0 = q - 0*w + 2*w + 225. Let f = 326 + q. Is f prime?
False
Let n be 2 - (-2 - 2/(-1)). Let j be (-3)/n*2/(-1). Suppose -678 + 144 = -j*z. Is z prime?
False
Let q = -12 + 17. Suppose c + 412 = q*c. Is c a prime number?
True
Let k(v) = 2*v**2 - 6*v + 6. Let d be k(4). Let g = -9 + d. Suppose 3*q = 2*j - 9, 0*j + j - g*q - 8 = 0. Is j prime?
True
Let j(p) = -4*p**3 - 3*p**2 - 11*p + 2. Let n(x) = 11*x**3 + 10*x**2 + 32*x - 7. Let r(l) = -8*j(l) - 3*n(l). Is r(-6) a prime number?
True
Let s = 1 - -2. Let c(y) = 7*y**2 + 2*y + 4 - y**s + 0*y - 11. Is c(7) composite?
False
Let y = 63 - 36. Let o(w) = -w**3 - 4*w**2 + 5*w + 6. Let z be o(-4). Let t = y + z. Is t a prime number?
True
Suppose -5*s - 660 = -5*a, -4*a + 2*s - 6*s + 536 = 0. Is a a composite number?
True
Suppose m = -5*t + 2149 + 2387, -3*m = t - 910. Is t a composite number?
False
Let l = -31 + 95. Suppose z - 3*z = -2*m - l, 0 = -4*z - 4*m + 168. Is z a prime number?
True
Suppose -2*b + 56 = 2. Suppose p = -4*r + b, -2*r - 3*p = -1 - 10. Is r composite?
False
Suppose 2 + 38 = 4*k. Is (12 + 2)/(4/k) prime?
False
Let g = 0 - -2. Is (2 - 3)*-253 - g a composite number?
False
Let v(h) = -2*h - 7. Let w(m) = -m**2 + m + 1. Let s be w(-2). Let z be v(s). Is (-1 - (-66)/z)*1 prime?
False
Suppose -16 = -2*p - 2*p. Suppose -o + p*o - 21 = 0. Is o a prime number?
True
Suppose -2*z + 3*w - 22 = -6*z, 5*z - 10 = 5*w. Suppose 0 = 5*q + z*f - 125, -2*q + 2*f + 44 - 12 = 0. Is q prime?
False
Let k(l) = -l**3 + 7*l**2 - 3*l + 1. Let h be k(3). Let y = 6 + h. Is y prime?
False
Let g = 295 + -168. Is g a composite number?
False
Let o(k) = -k**2 + 6*k + 5. Let z be o(5). Suppose 0 = -h - h + z. Suppose h*b + m = -0*b + 51, 5*m - 24 = -4*b. Is b composite?
False
Let w = 309 + -94. Suppose 630 = -6*t + t. Let v = w + t. Is v prime?
True
Let b(j) = j**3 + 8*j**2 + 9*j + 8. Suppose h - 5*h = -12. Suppose 9 = -s + h. Is b(s) a prime number?
False
Suppose -3*f + 238 = -f. Is f composite?
True
Let j(n) = -7*n**2 + 2 + 4*n + 6 - 1 + 0. Let k be j(10). Let f = -430 - k. Is f a composite number?
False
Is 37 - ((-1 - 1) + 2) composite?
False
Suppose 2*a = 4*s - 2*a + 128, 0 = -s - 3*a - 16. Let m = 155 + s. Is m prime?
True
Let f = -13 + 13. Suppose -b - 262 + 59 = -4*a, -3*a - 4*b + 157 = f. Is a composite?
True
Suppose 119 + 118 = 2*r - n, n = -2*r + 243. Suppose -r + 25 = -5*y. Is y composite?
False
Is (2*-797)/(-13 - -11) a composite number?
False
Let p = -16 - -30. Suppose 0*g - g + 2*c - p = 0, 4*c = -3*g - 12. Is (-18)/(-24) + (-10)/g a prime number?
True
Suppose -i + 4*h = 4*i + 3, -h = 3*i + 12. Let u = 28 - i. Is u a prime number?
True
Let p(k) = 4*k**2 + k + 5. Suppose -41 = -4*z + 39. Suppose 0 = -10*b + 5*b - z. Is p(b) prime?
False
Let y be (6/(-4))/((-7)/(-42)). Is (-1 - -40)*(-15)/y a composite number?
True
Suppose -4*h - 4*a - 7 = 1, -4*h + 7 = a. Let p be (h - 6)*(-2 + 1). Suppose -5*k + 2*y = -321, 3*y + 2*y + 185 = p*k. Is k a prime number?
False
Suppose r = -0*r. Suppose 0 = -4*s - r*s + 232. Is s prime?
False
Let c = -8 + 2. Let s = c + 20. Is s prime?
False
Let m = 57 + -20. Is m a prime number?
True
Suppose 5*b = -5*w + 23235, -3*w - 7377 = -3*b + 6552. Is b prime?
False
Let t(g) = -g**3 + 15*g**2 - 10*g - 1. Is t(11) a composite number?
False
Let m(j) = 5*j**2 - 5*j + 1. Is m(-6) composite?
False
Is (0 + (-1858)/4)/((-31)/62) a prime number?
True
Let n(l) = 69*l**2 + 2*l + 1. Let j be n(-1). Suppose j = 3*k - 217. Suppose -k + 6 = -u. Is u a composite number?
False
Suppose -4*j + 2*d = -2*j - 368, 4*d = -20. Let t(o) = -o**2 + 4*o + 1. Let m be t(2). Suppose 0 = -4*k + m*i + 716, k + 5*i - j = i. Is k a composite number?
False
Suppose m - 3*m + 178 = 0. Is m prime?
True
Is 14*-1*(-4)/8 prime?
True
Suppose u = -2*u + 1227. Is u a composite number?
False
Suppose -f + 5*n = -1101 - 643, 0 = -3*f + 5*n + 5262. Is f prime?
True
Suppose m - 1 = -3. Let j be -19 + 2 + (-4)/m. Let g = -6 - j. Is g a composite number?
True
Let o(g) = 2*g**2 + 22*g + 7. Is o(15) a composite number?
False
Suppose -3*x = -12, -3*x + 28 = 4*w - 0*x. Let q be w/3*21/(-2). Is (-471)/(-7) - (-4)/q prime?
True
Let a(t) = 3*t**2 + 6*t + 5. Is a(7) prime?
False
Suppose 3*w + 935 = h, 4*h - w = w + 3780. Suppose 5*c - h = -342. Is c composite?
True
Let l be (-6)/(-15) - 92/(-20). Suppose 26 = l*a - 104. Is a a composite number?
True
Let t = -1 + 1. Let z be (1 - 1) + (-2 - t). Is ((-7)/(-2))/((-1)/z) composite?
False
Suppose 0 = -0*p - 5*p + 95. Let t = -7 + p. Is (-318)/t*(-6)/1 a prime number?
False
Suppose 2*d = 3*d - 79. Is d composite?
False
Suppose l = -t - 4*t + 55, 39 = 2*t - 3*l. Let r = t + -3. Is r a prime number?
False
Let u(h) = h**2 - 7 + 0 - h**2 + 9*h - h**2. Is u(6) prime?
True
Let j(d) = -d + 5. Let o be j(-5). Let k = -20 + o. Is (-936)/k + (-6)/(-15) prime?
False
Suppose 0 = -3*y - 2 - 172. Is (-10)/(4*1/y) a prime number?
False
Is 2306/30 - 16/(-120) prime?
False
Suppose 0 = -6*w + 1219 + 287. Is w prime?
True
Let g(h) = h**3 - 8*h**2 + 5*h. Let f be g(7). Let x = f + 2. Let n = x + 22. Is n a prime number?
False
Let s(o) = 0*o**2 - 8*o + 9*o + 6*o**2 + 1. Suppose 2*a = m + 2, -5*m = -2*a + a + 10. Is s(m) a composite number?
False
Let n(f) = -53*f - 10. Is n(-13) a prime number?
False
Let u(b) = 13*b - 15. Is u(8) a prime number?
True
Is (-6750)/(-22) - (-6)/33 a composite number?
False
Let s(t) = 78*t**2 - 1. Suppose -4*i - 3 = 1. Is s(i) composite?
True
Suppose