 f a prime number?
True
Let s(g) = g**3 + 7*g**2 - 2*g - 7. Let d be s(-7). Suppose -6*h - 300 = -d*h. Let i = h - 205. Is i a composite number?
True
Suppose 0 = -7*y + 105352 - 27575. Is y composite?
True
Is (-262694)/(-19)*(-2)/(-4) a composite number?
True
Suppose -2*t = 3*i - 32061, 10*i = -3*t + 39695 + 67175. Is i composite?
False
Let l(h) = -2375*h + 37. Is l(-14) a composite number?
False
Is 23969 - 35/21*-3 composite?
True
Let u be (-74)/(-14) + (-2)/7. Suppose -4*a - 12 = -2*s, 2*s - 2*a + 2 = u*s. Is -186*(-1)/2 - s a composite number?
True
Let y be (-1)/4 - (-165)/(-44). Is (y + (-44)/(-8))*94 a prime number?
False
Let r(s) = -4948*s + 19. Is r(-1) prime?
True
Is ((-9)/((-18)/(-17764)))/(-2 + 0) prime?
True
Let s(u) = -u**3 + 3*u - 6 + 25 + 203*u**2 - 207*u**2. Is s(-8) prime?
True
Suppose -5*s = -253 - 167. Let h = s + 169. Is h a composite number?
True
Let g(u) = -45648*u**3 - u**2 + 7*u + 7. Is g(-1) a composite number?
True
Let q = 1325 + -690. Is q a prime number?
False
Let k(y) = -5*y**3 + 9*y**2 + 11*y + 43. Is k(-10) a prime number?
False
Let o(z) = -9*z**3 - 3*z + 1. Let n be o(-4). Suppose -2*c = 3*c + 4*g - 2939, 2*g - n = -c. Is c a composite number?
False
Suppose 4 = -3*j - 8, -4*l + 2*j + 12 = 0. Let c(m) = 235*m - 2. Is c(l) prime?
True
Let h = 497 - -1796. Is h a prime number?
True
Let a = -286 - -623. Let n = a + 228. Is n a composite number?
True
Suppose -143360 - 100422 = -22*n. Is n a composite number?
True
Let l(o) be the third derivative of 0*o + 0 - 1/60*o**5 - 13/24*o**4 - 8*o**2 - 5/6*o**3. Is l(-6) composite?
False
Let x = 4 + 2. Let j be (-13 + 15)/(4/x). Suppose 0 = 4*q - j*q - 58. Is q a composite number?
True
Let t be ((-3)/1)/(1*15/(-20)). Suppose -m + 2109 = -7*k + 2*k, 0 = -2*m + t*k + 4206. Is m prime?
True
Suppose a + 594 = -2*a. Is (-4)/(-6)*a/(-4) a composite number?
True
Suppose n = -4*n - 3*p - 7631, 2*n - 3*p + 3065 = 0. Let z = n - -3087. Is z a prime number?
True
Let u(y) = 181*y**2 + 2*y - 2. Is u(-3) a prime number?
True
Suppose 13*d = 9*d + 844. Suppose f = 1170 + d. Is f prime?
True
Let b(o) be the third derivative of -o**6/60 - o**5/5 - o**4/2 + 3*o**3/2 + 22*o**2. Is b(-7) composite?
False
Suppose 0 = 10*r - 6 + 26. Is 891/6 - ((-3)/r + -2) composite?
False
Let n = 4888 + 1785. Is n prime?
True
Suppose -12136 = -3*n + 5*w, -1753 = -2*n - 4*w + 6301. Is n composite?
True
Let h(w) = 77*w**2 + 7*w + 3. Let n(y) = -76*y**2 - 6*y - 3. Let u(f) = -4*h(f) - 5*n(f). Let a(i) = 6*i + 58. Let b be a(-10). Is u(b) composite?
True
Let n = 18 + -20. Is n/(-11) + (3 - (-53916)/33) a composite number?
False
Let q = -13 - 6. Let z(a) = 4*a - 1. Let f be z(-3). Let r = f - q. Is r a prime number?
False
Let y be (-407)/(-3) + (-2)/6*2. Suppose 0 = -2*m - 3*q + 46 - 204, 2*m + 154 = -q. Let x = m + y. Is x prime?
True
Let y(o) = -110*o**3 - 3*o**2 - 7*o - 10. Let q be y(-4). Suppose q = 5*b + 5*i, 5*b - 715 = -2*i + 6286. Is b a prime number?
True
Suppose 3*f - 6 = f. Is 0/3 + f/(12/460) prime?
False
Let s(p) = 4*p**2 - 6*p - 5. Let v(b) = b**3 - 12*b**2 - 13*b - 4. Let u be v(13). Is s(u) a composite number?
False
Let a(d) = -4*d**3 - 5*d**2 + 7*d - 1. Let l be a(-6). Suppose l = -4*r - 415. Let b = r + 643. Is b composite?
False
Let o(d) = -446*d**3 - 13*d**2 + 13*d. Let w(c) = 223*c**3 + 6*c**2 - 6*c. Let y be 5 + (0/(-1) - -1). Let v(z) = y*o(z) + 13*w(z). Is v(1) composite?
False
Let q(g) = 1341*g**2 + 5*g + 9. Is q(4) a prime number?
False
Let d(l) = -2*l + 57*l**2 + 0*l + 10 - 6. Let f(n) = n**3 + 3*n**2 + 3. Let p be f(-3). Is d(p) a composite number?
True
Let b(h) = -h**3 - 4*h**2 + 6*h - 3. Let p = -19 + 13. Is b(p) prime?
False
Let o = 16818 + -9995. Is o composite?
False
Suppose -x = 2*x - 15. Suppose 0 = -f - 2*g + 420, -4*g + 1698 = x*f - 432. Let r = f - 93. Is r composite?
False
Suppose 126*i - 1626407 = 240031. Is i a prime number?
True
Suppose 0 = -3*p + 6*p - x - 9349, 3128 = p + 2*x. Is p prime?
False
Let l(w) = -w**3 + 5*w**2 - 2*w - 3. Let s be l(4). Suppose -1203 = -3*q - 5*f, -5*q + 2042 = f - s*f. Suppose -2*o + 4*o = q. Is o prime?
False
Suppose -5*s + 4*u + 56035 = 0, 0 = 2*s - 107*u + 105*u - 22414. Is s prime?
False
Let i(x) be the first derivative of 69*x**2/2 + 4*x + 22. Let u(d) = d**2 - 2*d - 5. Let r be u(4). Is i(r) composite?
False
Let w(h) = -h**3 + h**2 + h + 1. Let r(v) = -23*v**3 + 5*v**2 + 8*v + 9. Let o(s) = r(s) - 6*w(s). Suppose 4*c - 6 = 7*c. Is o(c) composite?
False
Suppose -11*n - 16332 = -14*n. Suppose -50*i + 54*i = n. Is i a prime number?
True
Let b be (-4)/(-20) - (-4)/(-20). Let q(i) = -4*i**3 - 5 + 26 + 5*i**3 - i. Is q(b) prime?
False
Let q be 6/30*(2 - 2). Suppose -6*b + 9*b - 159 = q. Is b a prime number?
True
Suppose -5766 + 17410 = 4*w. Suppose -a = 2*x - 1013 - 152, 0 = -5*x - 4*a + w. Is x a composite number?
True
Let i = 14267 + 88812. Is i prime?
True
Suppose -v = -5*h - 54, -v - 4*h + 20 + 7 = 0. Suppose -78 = -13*o + v. Is o a prime number?
False
Is 4/6 - (-151422)/18 a composite number?
True
Let g(q) = -1227*q - 320. Is g(-7) prime?
True
Let q(x) = -4*x**3 - 8 + 3*x**3 - 5*x**2 - 5*x**2 + 10*x. Let s be q(-11). Suppose 72 = s*k + k + 4*d, 4 = -4*d. Is k composite?
False
Let i be (-26)/((-78)/40 - -2). Let z = -224 - i. Let r = -139 + z. Is r prime?
True
Suppose 0 = 4*r + 228 - 3208. Suppose 3*l = 2*j + r, -1271 = -9*l + 4*l - 4*j. Is l a prime number?
True
Let d = -10357 + 45908. Is d prime?
False
Suppose 0 = -t + 4*t + 30. Let n(i) = -i**3 - 10*i**2 - i - 2. Let f be n(t). Suppose f*b - 892 = 4*b. Is b composite?
False
Is (3 - (-80)/(-2))*5019/(-21) a composite number?
True
Suppose -5*u + 4*g + 18955 = 0, -4*u = u + g - 18930. Is u a composite number?
True
Let w(n) = -27*n + 11. Let o be w(8). Let x = o - -309. Suppose -3*r - f = -75 - 67, 3*f - x = -2*r. Is r composite?
True
Let j(i) = i**2 - 2*i + 3. Let b(c) = c**2 - c. Let z(x) = -2*b(x) + j(x). Let v be z(0). Suppose -v*p - 237 = -6*p. Is p composite?
False
Let s = 70 - 45. Suppose -7*j + 2*j + s = 0. Suppose -j*h - 3*l + l = -957, -196 = -h - 5*l. Is h prime?
True
Let o = 64754 + -21531. Is o composite?
False
Let c = 4201 - 902. Is c prime?
True
Suppose -5*m = -4*i - 21227, 4*i + 9*m - 4*m + 21277 = 0. Let z = i + 7646. Is z a composite number?
False
Let l(p) = 14*p**2 - 20*p - 25. Is l(-14) a composite number?
False
Suppose -5*u + 26 = 1. Let h(y) = 37*y**2 + 5*y - 2. Let d be h(-6). Suppose -u*z - 5*m + d = 0, z = 2*z - m - 254. Is z a composite number?
False
Suppose 0 = 13*m - 8*m + 5. Let h be (-4)/m + 412 - 3. Suppose -l - 521 = -2*p + 295, -h = -p - 2*l. Is p a composite number?
False
Suppose 0 = 15*r - 22*r - 77. Let k(j) = j**3 + 13*j**2 + 3*j - 10. Let b(d) = d**2 + 1. Let m(i) = 4*b(i) - k(i). Is m(r) a composite number?
True
Suppose -38 = -2*m - 28. Suppose 0 = -x - 2*x, m*x - 118 = -2*d. Is d composite?
False
Let j(o) be the third derivative of -o**6/120 + 7*o**5/30 - 13*o**4/24 - o**3/2 + 2*o**2. Is j(10) a prime number?
False
Let t = -23879 - -36486. Is t a composite number?
True
Suppose 4*i = 2*t - 3034, -1679 - 1341 = -2*t - 3*i. Is t a composite number?
True
Let z = 18 - 24. Let v(r) = -r**2 - 2*r**3 - 5 - 11*r**2 - 8*r + 5*r**2. Is v(z) a composite number?
False
Suppose -4*w = -3*v - 19, -11 = -4*w - 0*v - 5*v. Suppose -3*m + w*m - 8 = 0. Let z(p) = 36*p + 1. Is z(m) prime?
False
Let p(v) = 77*v + 22. Is p(3) a composite number?
True
Suppose 514 = -7*f + 8*f. Is 2/(-2) + f + -4 composite?
False
Let b be 0 + -1*((-2 - -3) + 3). Let d = -3 - -1. Is 158/((d - b) + 0) a composite number?
False
Suppose 21349 = 5*a - 2*q, 5*q = -7*a + 2*a + 21370. Is a a composite number?
False
Suppose -o + 0*o = -4*l + 4468, 4*o = -l + 1117. Let v = l - 603. Is v a composite number?
True
Let p be 2*1 + 949 + 6. Suppose -2*w = b - 555 + 72, -w = 2*b - p. Let n = b - 266. Is n a prime number?
True
Let z be 12/(-20)*20/(-4). Suppose 7*h = -2*s + 3*h + 96, 0 = z*h - 15. Is s prime?
False
Let b be 1 - (-5 + (4 - 1)). Let h(a) = 4*a**3 + 3*a**2 - 2*a + 5. Is h(b) a composite number?
True
Let k be (-3)/(-7)*(-1 - -8). Is (-83110)/(-15) + k/9 a composite number?
True
Is (-48)/176 + 1110954/33 composite?
True
Let u = -1618 - -2469. Is u a prime number?
False
Suppose 0 = 2*f - 5*p - 453, -35