st derivative of r**3/3 + 2*r**2 + 1. Let s be x(-5). Suppose 0 = 3*l - i - 284, s*l - 376 = l + 4*i. Is l a composite number?
True
Suppose 4*k + 4*s = 2*s + 12, 2*k = 4*s + 26. Suppose -3*x - w - 292 = -k*x, -3*w = 3*x - 429. Is x composite?
True
Suppose 2*q - 7 = -3*f, -2*q = 2*f - 5*f - 1. Suppose -c - 1 + 4 = 0. Suppose q*r + 101 = 3*h, -c*h - r = -2*r - 103. Is h composite?
True
Let s(p) = 25*p**2 + 2*p + 1. Let x = -3 - -5. Let n be s(x). Suppose 2*k + k - n = 0. Is k a prime number?
False
Let x = 197 + -104. Let i = x + -41. Suppose -i = -2*a - 0*a. Is a prime?
False
Let v be ((-4)/6)/(4/(-12)). Let c(d) = -4 + v*d**2 + 1 + 0*d**2 - 11*d. Is c(8) a prime number?
True
Let b = -18 + 6. Is -4*(609/b + 0) a prime number?
False
Suppose -2*w - 5*p = -399, 4*w = 5*p + 222 + 591. Is (-1)/1 + (w - 0) a composite number?
True
Let w = -179 - -274. Suppose -w = -c + 2*c. Let t = 20 - c. Is t a prime number?
False
Let v(z) = -44*z - 7. Is v(-6) a prime number?
True
Let o(w) = w**3 - 6*w**2 + 6*w - 1. Is o(5) prime?
False
Suppose 5*c - 6*c = -19. Is c composite?
False
Suppose -287 + 67 = -4*g. Is g composite?
True
Suppose 0 = -0*g - 5*g - 80. Let f = g + 55. Is f a composite number?
True
Let f be 0*-1*3/6. Suppose -2*s + 6*s = f. Suppose 5*t - 277 = -s*t + 3*w, 261 = 5*t + w. Is t a prime number?
True
Let i = -7 + 9. Suppose -h - i*h = -57. Is h a composite number?
False
Let b = 7 + -1. Is (-218)/(-4)*(b + -4) composite?
False
Let j = -10 - -4. Let h be 36/(-4)*4/j. Is (h/(-4))/(1/(-22)) a prime number?
False
Suppose 420 = g + 5*y - y, 5*g = 5*y + 1975. Let v = g - 185. Is v composite?
True
Let o = -1 + 2. Let b(s) = 3*s + o - s - 4*s + 34*s**2. Is b(1) a composite number?
True
Let q = -1228 - -2206. Suppose 8*y - 2*y = q. Is y a prime number?
True
Let q = -381 + 635. Is q composite?
True
Suppose 5*w - 12 = 2*w. Suppose 0 = w*g - 9*g + 2*f + 1467, -3*g - 5*f + 874 = 0. Is g a prime number?
True
Let d be 0/(3*3/9). Let u be d - 1/((-1)/12). Is 1/3 - (-824)/u a composite number?
True
Let j(u) = -170*u - 1. Let t be j(-7). Suppose -4*i + 947 = -t. Suppose i = 2*w + 4*h, 2*w + h - 256 - 275 = 0. Is w a composite number?
True
Let q(a) = -4*a - a**3 + 5*a + 0*a**2 + 2 - 6 - a**2. Is q(-5) composite?
True
Suppose 0 = 2*t + 3*p - 11, -3*p + 12 = p. Let q(s) = s**2 - 3*s + 1. Let l be q(3). Suppose c - t = l. Is c a composite number?
False
Suppose -4*g = -4*y - 0*y + 56, -g + 51 = 4*y. Suppose -17 = -5*i + y. Is i prime?
False
Let m(p) = -p**2 + 9*p - 5. Let s be 23/3 + 4/12. Let o be m(s). Is (2/o)/((-2)/(-9)) a composite number?
False
Let z = 5 + -6. Is (-124 - 0 - 3)*z a composite number?
False
Suppose 4*l - 50 = -5*g, 3*g - 4 = -l + 6*g. Let t = -9 + l. Is (-512 + -2)/(t + -3) a prime number?
True
Suppose -2*g + 6 = -5*v, 0*g + 4*g = 3*v - 2. Let r be (v + 1)*(3 + -1). Is r/(-4)*66/3 a prime number?
True
Let z(x) = -49*x. Suppose -4 = 2*b + 2*b. Is z(b) composite?
True
Suppose -4*b - 4*n - n = -834, 2*b = -2*n + 418. Is b a composite number?
False
Let k = -3 + 5. Suppose -8 = w - 3, -5*w = k*x + 11. Let p(i) = -i**3 + 9*i**2 + i + 4. Is p(x) prime?
True
Is (66/9)/(6/9) a prime number?
True
Suppose 0 = 5*p - 3*h + 344 - 94, h + 150 = -3*p. Let z = p - -212. Is (0 + -1)*1 + z a prime number?
False
Let m(x) be the third derivative of 4*x**6/5 + x**5/30 - x**4/24 - 4*x**2. Is m(1) a prime number?
True
Let g be (1 - 5)/1 - 0. Let j(h) = 13*h - 8. Let z(t) = -12*t + 9. Let i(n) = g*z(n) - 5*j(n). Is i(-5) composite?
False
Let u(x) = 18*x - 19. Let k(z) = 1. Let a(f) = -2*k(f) - u(f). Is a(-13) a prime number?
True
Let m = 18 - -12. Suppose -h + m = -1. Is h prime?
True
Let y be -1*(-2)/1 + -83. Let p = 3 - y. Let z = p + -45. Is z composite?
True
Let k = -152 - -293. Let x(r) = -43*r - 2. Let s be x(2). Let m = s + k. Is m a prime number?
True
Suppose 3*i + 15 = 0, 0 = -z - z - 5*i + 509. Is z composite?
True
Suppose 4*q - q - 120 = 0. Suppose 4*h = 108 + q. Is h composite?
False
Let a(j) = 6*j - 9. Let r be (-3 - -2)*(2 - 3). Let x(z) = z. Let k(m) = r*a(m) - 9*x(m). Is k(-8) a composite number?
True
Suppose -l = 5 - 8. Suppose 4*u = 2*y - 390, -u = -y + l*u + 187. Is y a composite number?
True
Let f = 166 + -60. Is f a prime number?
False
Let r(h) = h**3 + 3*h**2 - h + 5. Let t be r(-4). Suppose 3*w - 14 = 2*q, -5*w = -8 - 12. Let g = q - t. Is g a composite number?
True
Let f(d) = -4*d - 12. Let v(n) = n + 4. Let c(o) = -2*f(o) - 7*v(o). Let s be c(4). Let j = 14 - s. Is j a composite number?
True
Suppose t + 0*t = j, 0 = 4*t - 5*j + 5. Suppose 0 = -5*o - t*i + 275, 99 = 3*o - 4*i - 66. Is o prime?
False
Is 861/6 + (-12)/(-8) prime?
False
Let d be (2 - (-1)/(-1))*4. Suppose -d*a = -2*a - 586. Is a prime?
True
Suppose -q + 523 - 160 = 0. Suppose -q = -j - 2*j. Is j a composite number?
True
Let y(c) = 39*c + 1. Is y(4) prime?
True
Suppose -9*j - 5*v + 230 = -4*j, -4*j - v + 184 = 0. Is j a prime number?
False
Let z be 7*4 - (-5)/5. Suppose -2*w - 2*w = -5*k + 187, 5*w + z = k. Is k a prime number?
False
Let h = -201 - -142. Is (h/(-1))/(3 + -2) composite?
False
Let q be 6/1*2/4. Let y be (2 + 0 + -2)/(-1). Suppose -q*h + 8 + 37 = y. Is h prime?
False
Is 2/5 - (-125874)/90 a composite number?
False
Let y be 1/(-1) - (-3 + 4). Let q = y - -1. Is 276/6 + (q - -2) a composite number?
False
Let u = 64 - -67. Is u composite?
False
Let s = 1778 + -571. Is s a prime number?
False
Let c(v) = -5*v**2 + 7*v - 4. Let p(y) = 5*y**2 - 6*y + 4. Let z(m) = 4*c(m) + 5*p(m). Is z(-3) composite?
True
Let x(a) = 20*a - 2. Let j be (0 - -1)/(6/18). Is x(j) prime?
False
Suppose -4*a - 12 = 4*q, 12 = -4*a + 8*a - 2*q. Let n be (-8 + a)*(-3 - -4). Let c(y) = -8*y - 3. Is c(n) composite?
False
Let x be 6/15 + 443/5. Suppose 13 + x = 2*r. Is r prime?
False
Suppose 5*z = 5*n - 2*n + 1255, 0 = n - 5. Is z composite?
True
Is (20/6)/(1/3) a prime number?
False
Let g(q) = -18*q**2 - 8*q + 1. Let z(w) = -36*w**2 - 17*w + 3. Let h(u) = -9*g(u) + 4*z(u). Is h(4) a prime number?
True
Let c(f) = f**3 + f**2 - f - 1. Let d(v) = 4*v**3 + 4*v**2 - 4*v + 3. Let g(h) = 3*c(h) - d(h). Is g(-5) a composite number?
False
Let m(q) = 17*q**2 + 3*q - 1. Let d be m(3). Let b = d + -106. Is b a prime number?
False
Let b = 6 - 3. Suppose 0 = -3*t - s + 6, b*t - 3*s + 11 = 5*t. Is (t/(-3))/((-5)/105) prime?
True
Let j be 5*(-1 - 7/(-5)). Is 85 + (j - 0) - 1 prime?
False
Let h(i) = i**2 + 2*i + 2. Is h(5) a composite number?
False
Suppose -r - 2273 = -3*v, v = -2*v - 4*r + 2263. Is v a composite number?
False
Suppose 2*j - 4*t - 1232 = -t, 0 = 2*j + 3*t - 1220. Is j a composite number?
False
Let n = -86 + 45. Suppose -2*x = -4*x - 30. Let w = x - n. Is w a composite number?
True
Suppose 2*b - b = 581. Is b prime?
False
Suppose -5*w + 4*o = -11669, 1 + 0 = -o. Is w prime?
True
Let t = 5122 + -2955. Is t a prime number?
False
Is ((-3)/9 - 0)*-423 a composite number?
True
Let i = 2755 - 775. Is i/28 + (-4)/(-14) a prime number?
True
Let o(x) = -x. Let c be o(-5). Suppose c*v = 289 + 326. Suppose -y - 2*w = -293, -5*y = -5*w - v - 1387. Is y composite?
True
Let g be ((-8)/14)/(7/(-49)). Suppose -2*s - 2*f = -298, -2*f = -f - g. Is s a prime number?
False
Is (22 + -111)*(1 - 2) a prime number?
True
Let y = -276 + 405. Suppose -5*q + 316 = -y. Is q prime?
True
Let d(a) be the second derivative of 0 + 2*a - 5/6*a**3 + 7/2*a**2 + 0*a**4 - 1/20*a**5. Is d(-5) prime?
True
Let b(u) = -3*u**2 + 1. Let f be b(1). Let z(p) = -5*p + 2. Let k be z(6). Is (k/(-8))/(f/(-20)) composite?
True
Let i(y) = -y + 13. Suppose 0 = -b - 5 + 16. Let w be i(b). Suppose 8*j + w*l - 43 = 3*j, -j - 3*l = -19. Is j composite?
False
Let y(j) = 3*j**3 - 2*j**2 + 6. Is y(5) a prime number?
True
Let i = 1582 - -301. Is i prime?
False
Let p(f) = 3*f**3 - 4*f**2 - 9*f + 21. Is p(10) a composite number?
False
Let i = -513 + 100. Let p = i - -598. Is p prime?
False
Suppose -6*l + l + 15 = 0. Suppose -v + 636 = l*v. Suppose 0 = 2*i + i - v. Is i prime?
True
Suppose 26 + 14 = 5*o. Suppose o = -4*k + 60. Is k composite?
False
Is (-4 + (-5 - -5))*(-683)/4 composite?
False
Let j = 1783 + -1152. Is j prime?
True
Suppose 12 = -4*w + 4*i, w = -0*w - 2*i - 3. Let j = w - 2. Is (-4 - j) + 1*13 a prime number?
False
Suppose -4*i + 3*i + 2 = 0. Suppose -3*y -