f(s) prime?
False
Suppose -t - 3*p = -13, t = -2*t - 2*p + 18. Suppose t*b - 4 = 2*b. Suppose q - 18 = -3*l, -b*q + 16 = -q + 5*l. Is q a prime number?
False
Let h(d) be the second derivative of -16*d**3/3 + d**2/2 + 7*d. Let u(p) = -p**3 - 4*p**2 + 5*p - 3. Let x be u(-5). Is h(x) a composite number?
False
Let r(w) = 28*w**2 - 3*w - 12. Is r(5) a composite number?
False
Let a be -1 + -13 - (0 - 1). Let j = -9 - a. Suppose j*f = 3*g + 337, -101 - 319 = -5*f + 5*g. Is f prime?
False
Let g(x) = -2*x**3 + 2*x**2 + x + 1. Let d be g(-2). Suppose -i - 5 = -4*r, -i + 1 + 12 = 5*r. Suppose r*k = 7 + d. Is k a prime number?
False
Let p = -8 + 6. Let n be (2/p + 1)/1. Suppose -5*s = 3*i - 277, 0 = -3*i - n + 12. Is s composite?
False
Suppose -4 - 2 = -3*z. Suppose 5*c = -z*b + 3*b + 749, b = -c + 145. Is c a prime number?
True
Suppose 12*w = 14*w - 1730. Is w composite?
True
Let h be 6*1*(-1)/(-3). Suppose -2*n = -4*n. Suppose 4*q - 38 - h = n. Is q a composite number?
True
Let y = 4 + -2. Suppose k - 22 = -y*k - r, 0 = -4*k + 4*r + 24. Is (-2)/k + 3676/28 composite?
False
Suppose -5*z - z + 2802 = 0. Is z composite?
False
Suppose -2*z + 153 - 25 = 2*h, 5*z = 5*h - 300. Suppose -x + 3*r + h = 0, x - 2*r + 9 = 66. Is x composite?
False
Suppose 1207 = p + 3*p + 5*w, 2*w + 305 = p. Is p prime?
False
Suppose 0 = -2*h + 8 + 170. Is h a composite number?
False
Suppose 0 + 6 = 3*c, -r + 10 = 3*c. Suppose 2*k - 4*k + r = 0. Is 51/k + 3/6 composite?
True
Let u = 1594 - 882. Let n = 1038 - u. Suppose l - n = -l. Is l prime?
True
Let j(h) = -12*h**2 + h - 2. Let f(w) = -12*w**2 + 2*w - 3. Let i(m) = 2*f(m) - 3*j(m). Let z be -1 - (1 + 1)*-1. Is i(z) a composite number?
False
Suppose 2*w - 3*d = 7195, 3*d = -2*w + 3*w - 3593. Is w a composite number?
True
Let b = -398 + 805. Is b a composite number?
True
Let i(b) = 4 - 8*b**3 - 4 + 14*b**2 + 9*b + 12*b**2. Let c(t) = -3*t**3 + 9*t**2 + 3*t. Let h(x) = -11*c(x) + 4*i(x). Is h(-4) a prime number?
False
Let n = -936 - -3457. Is n a composite number?
False
Let u = -2 + 7. Suppose -u = -3*h + 7. Suppose -3*y - 3 = -h*v - 98, 2*y + 5*v - 94 = 0. Is y a prime number?
True
Suppose 2*a = -5*n + 15, -5*n - 3*a = 2*a - 15. Suppose -2*g + 5 = n*g. Is (1 + -2)/(g/(-3)) a composite number?
False
Let q be ((-48)/(-40))/(3/10). Suppose 1832 = q*t - 84. Is t a composite number?
False
Suppose -r = r + g - 51, -5*g + 80 = 3*r. Let k be 8/5*10/4. Suppose 363 + r = k*n. Is n a composite number?
False
Let v(h) = 1 - 2*h - 2 - h**3 + 5*h - 6*h**2. Let a be v(-6). Is a*(-2 + 0 - -1) prime?
True
Suppose -83 + 21 = -s - 3*z, 2*s - 134 = -4*z. Is s prime?
False
Suppose 4*g - 55 = 69. Is g a composite number?
False
Let w = 3036 - 1499. Is w a prime number?
False
Suppose -g + 123 = w + 3*g, -8 = 4*g. Is w prime?
True
Let v(r) = -3*r**3 - 8*r**2 - 10*r - 9. Suppose -6 = w - 4*j, -2*w - 14 + 2 = 5*j. Is v(w) prime?
False
Suppose 5 = 3*b - 4*i + 15, 5*b + 2*i + 8 = 0. Let m be (-10)/(-3) + b/6. Suppose -8*y + m*y = -215. Is y prime?
True
Suppose -3*o + 10 = -2*p, 2*p = -2*o - 2*p - 20. Suppose 5*d + 0*d = 0. Suppose o = -d*v + 3*v - 138. Is v composite?
True
Is 641/3 - (52/(-12) - -4) composite?
True
Suppose -2706 = -5*i - u, 4*i - u = -3*u + 2166. Is i a composite number?
False
Suppose 4*h - 3*s = 4031, -4*h - 5*s + 4026 = -3*s. Is h a prime number?
False
Suppose 5*d + 139 = -3*n, 0*n + 5*d = 3*n + 119. Let r = 19 + -24. Let u = r - n. Is u a prime number?
False
Suppose 0 = -4*h - 0*h + 80. Let p be 1 + 2/1 + h. Let t = 32 + p. Is t a prime number?
False
Let m(z) = 54*z - 1. Let u be ((-4)/6)/((-6)/9). Is m(u) a prime number?
True
Let h = 826 - 387. Is h prime?
True
Suppose 5 = 5*c + 2*b - 19, -4*c + 2*b = -12. Suppose -c*h + 3*h = -65. Is h prime?
False
Let k = -5 + 4. Let z = -1 - k. Is -1*(z - 158/2) a composite number?
False
Suppose 3*i + 5*n = 223, -i + 2*n - 6*n + 86 = 0. Let c = i - -313. Is c a prime number?
True
Let f be -60*(0 + 11/(-3)). Suppose 4*n = 3*r - 338, -r - r = -4*n - f. Is r composite?
True
Suppose f + 3*u = 328, -f + 5*u - 992 = -4*f. Suppose f = -5*c + 969. Is c a composite number?
False
Let j(b) = 6*b**2 + 19*b + 37. Is j(-12) prime?
True
Let l be ((-2)/4)/(2/416). Let d = 391 - 202. Let a = d - l. Is a a prime number?
True
Let s(j) = 76*j**2 + j + 1. Let r be s(2). Let a = r + -56. Suppose w + 3*x - a = 0, -3*w + 3*x = 5*x - 753. Is w a composite number?
False
Let g be 6/(-21) - 6/(-21). Suppose 3*a - 2*a = g. Suppose a = -2*k - k + 573. Is k a prime number?
True
Suppose -12846 + 598 = -8*k. Is k a prime number?
True
Let o(s) = -66*s + 1. Suppose 4*p - 2 = -10. Is o(p) a prime number?
False
Suppose 3*f = -f + 12. Suppose -f*z - z = 12, 5*g - 4*z = 322. Let o = -25 + g. Is o prime?
True
Is (228015/(-12))/(-9) + 1/(-4) prime?
True
Suppose 444 = 2*l + l. Let y be 30/12 - 1/(-2). Suppose 0 = -y*d - 34 + l. Is d a composite number?
True
Let z(q) = 24*q**2 + 4*q - 19. Is z(-9) a prime number?
True
Suppose 2*m - 366 = 3*k, 0*m + 511 = 3*m + 5*k. Let a = -122 + m. Is a composite?
True
Let x be 3*1 - (-4 - -2). Let k be (-2)/x - (-531)/15. Suppose -5*b + k = 5*g, 4*g + 5*b - 14 - 10 = 0. Is g prime?
True
Suppose 0 = 5*j - 1592 - 633. Is j prime?
False
Let j(g) = g**3 + 3*g**2 - 6*g - 5. Let m be j(-5). Let r = m + 47. Is r composite?
True
Suppose 0 = -5*h + 5, 0*m - m = -5*h - 34. Is m a composite number?
True
Suppose -t + p + 231 = -p, t - p - 234 = 0. Is t a composite number?
True
Let v = 5 + -5. Let c = v - -19. Is c composite?
False
Let i = -71 - -336. Is i prime?
False
Suppose 0*w - 4*w = -3*j + 58, 116 = 5*j + 3*w. Suppose f + 4*m - 10 = 9, 4*f - j = 2*m. Let l(s) = s**2 + 4. Is l(f) prime?
True
Let f(d) = 178*d**3 + 2*d**2 - d. Is f(1) prime?
True
Suppose -3*h = 4*x - 16, -3*h - 2*x - 20 = -7*x. Let j = h + 0. Suppose m = 2*p - 103, j*m - 3 = -m. Is p composite?
False
Let c(z) = 61*z - 3 - 1 - 5. Let n(u) = -30*u + 5. Let l(h) = 3*c(h) + 5*n(h). Is l(5) a prime number?
True
Let k(h) = -h**3 - 5*h**2 - 4*h + 3. Let m be k(-4). Let l(y) = 4*y - 5*y - 1 - 6*y**2 + 3*y**m - 4*y**3. Is l(-7) a prime number?
False
Let y(o) be the first derivative of 1060*o**3/3 - 3*o**2/2 - 2*o + 1. Is y(-1) a prime number?
True
Let b(o) = o**3 + 5*o**2 - 5*o + 4. Let a be b(-6). Let p(m) = m**2 + m - 1. Let i be p(a). Is (i - -1)*(-185)/(-10) prime?
True
Suppose -442 - 353 = -5*w. Let b = -94 + w. Suppose -4*g = g - b. Is g composite?
False
Let i = -302 - -715. Is i a prime number?
False
Suppose -4*a = -7*a + 30. Let q(g) = g**2 - g - 13. Is q(a) prime?
False
Suppose 0 = -8*y + 4*y - 276. Let d(z) = 11*z + 8. Let w be d(9). Let o = y + w. Is o a composite number?
True
Let m be (-167)/(-4)*(0 + 4). Let a = 324 - m. Is a a composite number?
False
Let g = -655 + 1242. Is g composite?
False
Let s(a) = -3*a**2 - 17*a + 5. Let z(f) = -4*f**2 - 26*f + 7. Let b(w) = -8*s(w) + 5*z(w). Is b(-7) a prime number?
True
Suppose s - 3*u + 16 = 2*s, -4*u - 32 = -2*s. Suppose r - 3*i = 2, 4*i - s = 4*r - 56. Is (-145)/(-7) + 4/r a composite number?
True
Let d(f) = 3*f**3 - 4 + f**2 + 3 - 5*f**3. Let q be d(-1). Is ((-70)/(-4) + 1)*q a composite number?
False
Let t(r) = 9*r**2 - 2*r + 3. Suppose 4*q - 6*q = 0. Suppose -2*f - 4*z - 4 = 2*f, q = 3*f - 3*z - 15. Is t(f) a prime number?
False
Suppose 3*f - 583 = 4*f. Let o = 881 + f. Suppose 755 = 5*m - 5*d, 2*m + 2*d - 5*d - o = 0. Is m prime?
False
Let k(p) = 2*p**3 + 4*p**2 + 5*p + 3. Let a be k(-3). Let x be (-2)/(-10) + 486/a. Let l = -7 - x. Is l a composite number?
True
Let d(m) be the third derivative of 113*m**9/60480 + m**7/5040 - m**6/720 + m**5/30 - m**2. Let q(a) be the third derivative of d(a). Is q(1) prime?
True
Suppose 16 = -2*f + 6*f. Let v(w) = w**3 + 11*w**2 + 6*w - 1. Let s be v(-10). Suppose -j + f*j = s. Is j a prime number?
True
Let f be (0 + 2)*(-1 - -3). Suppose z + f = 2*z. Suppose n = z*n - 30. Is n prime?
False
Let p = -2708 - -5845. Is p composite?
False
Suppose 0 = 2*y - 2*n - 16, 10*y - 3*n = 5*y + 32. Suppose y*g - 4*j - 428 = 0, -j = -0*j + 4. Is g composite?
False
Let f be ((-6)/(-4) - 1)*2. Let y(d) = 30*d + 1. Is y(f) prime?
True
Let c = 1900 - -1. Is c composite?
False
Let r be (1 - 1)/3 - 0. Let u = r + 5. Suppose 13 = -4*l + u*l. Is l a prime number?
True
Is (-204710)/(-