*g + 35, o = -2*g + 291. Is o a composite number?
False
Let s = -281 - -518. Is (-4)/2*s/(-6) a composite number?
False
Let f = -13837 - -8773. Is (-2)/(-3)*f/(-16) composite?
False
Suppose h - 23 = 32. Let l = h + -34. Is l a composite number?
True
Suppose 8*l - 2*l - 19962 = 0. Is l composite?
True
Let f = -27 + 45. Suppose -q + f = q. Is q composite?
True
Let h(r) = r**3 + r**2 + 3*r - 37. Let n(d) = d**3 + d**2 + 4*d - 37. Let c be 1 + (6/3)/2. Let t(z) = c*n(z) - 3*h(z). Is t(0) a prime number?
True
Suppose 0 = -m + 4*m - 3. Is m/(0 - (-1)/79) prime?
True
Let g(f) be the first derivative of f**4/4 + 10*f**3/3 + 5*f**2 - 11*f + 1. Is g(-8) a prime number?
True
Let h be (-2)/(2 + -2*2). Let d(x) = 4*x + 15*x**2 - 10*x**2 - h - x**3 - 3*x. Is d(5) a prime number?
False
Suppose -1213 = -4*v - 449. Is v prime?
True
Let s = 2 + 2. Suppose -4*h = -t - s, t = 2*t + 4*h + 4. Let m(k) = 3*k**2 + 5. Is m(t) prime?
True
Let h(t) = -2*t + 9. Let n be h(-9). Let z = n + 176. Is z a prime number?
False
Let s(l) = l. Let d(m) = -136*m - 3. Let z(x) = d(x) + 3*s(x). Let g be z(-3). Suppose -p = -5*c + g, 4*p = 2*c - 103 - 59. Is c a prime number?
True
Let n(k) = 380*k - 1. Is n(1) a composite number?
False
Suppose -3*q + q + 258 = 5*p, 5*p - 675 = -5*q. Is q a prime number?
True
Let q be (-2 + -69)/((-2)/4). Suppose 4*n + 2*z = q, -5*z = 1 - 6. Is n prime?
False
Let w be 6 - (2 + (-1)/1). Suppose 8 = -t + w*t. Suppose t*m = m + 55. Is m prime?
False
Let b = -5 + 10. Suppose 3 = -f, 17 = 2*a - b*f - 42. Is a a composite number?
True
Let n = 1153 + -522. Is n a prime number?
True
Let d be 1*(63 + (-4 - -2)). Suppose -i = -0*i - 2*t - 15, -3*i - 2*t + d = 0. Let z = i + 74. Is z a prime number?
False
Let w(q) = 2*q**3 + 4*q**2 + 3*q - 3. Let k be w(5). Suppose 3*d - k = -113. Is d a prime number?
True
Suppose 0 = 5*o - 4 - 6. Suppose 0 = 5*x + 5*f - 15, 0*x + 3*f - 4 = -o*x. Suppose -k + x*k - z = 100, 3*z = 0. Is k composite?
True
Suppose -3*m = 3*z, z - 2*m + 5*m = -6. Suppose -z*q + 31 = -2*q. Is q a composite number?
False
Let x(r) = -r**2 + 8*r + 13. Let s be x(9). Suppose -2*u + s*u = 62. Is u a composite number?
False
Suppose 0 = -6*p - 12902 + 44372. Is p prime?
False
Suppose -3*j + 16808 = 5*j. Is j prime?
False
Let n(q) be the second derivative of q**4/12 + 2*q**3/3 - 3*q**2/2 - 2*q. Let y be n(-5). Suppose -k + 5 = -y. Is k composite?
False
Is (-2518)/(0/(-6) + -2) prime?
True
Suppose 0 = 4*q - 22 - 14. Let f(o) = -2*o + o - 3*o + q. Is f(-7) a composite number?
False
Let i be (-4)/(-10) - 56/(-10). Is (-269)/(-3) + i/(-9) composite?
False
Let t(s) = s**3 + 9*s**2 - 3. Let x be t(-9). Is (-3 + 0)*(-2 + x) prime?
False
Let i(r) = -52*r - 7. Is i(-4) prime?
False
Let k(r) = 31*r**2 + 2*r - 1. Is k(2) composite?
False
Is 45/6*(-354)/(-9) composite?
True
Is 48/(-216) + (-37037)/(-9) a prime number?
False
Let h be (2/(-4))/(2/(-1048)). Suppose 13 = 5*l - h. Suppose -d - l = -6*d. Is d a composite number?
False
Suppose -5*r = 2*v - v, -5*v = r. Suppose 3*c = 3*w - 25 + 1, v = -c - 2. Is w a composite number?
True
Let h = -93 + -96. Is 7/(21/(-6)) - h prime?
False
Let v be (-7)/(14/(-4))*46. Let q = v - -117. Is q a composite number?
True
Let q be 10/(-3)*(-3)/2. Suppose 4*g = 4*l - 48, -l + q*g + 4 = -4. Suppose 43 = 5*s + l. Is s composite?
True
Suppose 5*a - 8*a + 6 = 0. Suppose -5*c - 42 = -j + 10, 154 = 4*j - a*c. Is j a prime number?
True
Let z(s) = -s + 6. Let g be z(6). Is g/(-2) + 110/5 a composite number?
True
Let t be (7 + 3)/(-5) - -1. Let g(o) be the second derivative of -23*o**5/4 - o**3/6 - o**2/2 - o. Is g(t) composite?
True
Let y = -10 - -171. Is y a composite number?
True
Let x = 113 + 118. Let b = 18 + -14. Suppose -k - x = -b*k. Is k a prime number?
False
Suppose 8*k + 5*b - 250 = 3*k, -3*k - 5*b = -146. Let a = 215 - k. Is a a composite number?
False
Let o(s) = 160*s**2 + s - 2. Is o(3) a prime number?
False
Let q = 4 + 0. Is (634/q)/((-1)/(-2)) a prime number?
True
Suppose 0 = 4*q + 5 - 21. Suppose q*v = 2*v. Suppose -141 = -v*s - 3*s. Is s composite?
False
Suppose 4*r + 0*r + 16 = 0. Let h(d) = -6*d**2 - 6*d - 3. Let p be h(r). Is (1 - 4/3)*p prime?
False
Let d be 3 - (-1)/(-4)*4. Suppose 2*w = -d*u - 0*u + 970, 2425 = 5*u + 3*w. Is u prime?
False
Suppose 3 = -q, i = 2*i + q - 1049. Suppose i = 4*b - 0*b. Is b prime?
True
Suppose -101 = -o - 5*r, -5*r = -3 - 7. Suppose -v + o = 24. Suppose 2*g - v = x - 28, 2*g + 4*x - 54 = 0. Is g prime?
False
Let p = 176 + -335. Is 8/(-24)*p*1 a prime number?
True
Let p(t) = 4*t - 2. Let v be p(-9). Let m = 11 - v. Is m composite?
True
Is (-96326)/(-34) - (-24)/(-204) a prime number?
True
Let t(b) = 7*b. Let q be t(-2). Let p be (-304)/q + 8/28. Let f = p + 11. Is f prime?
False
Suppose -4*d + 5 = 25. Let o(f) be the third derivative of -19*f**4/12 + f**3/6 + 2*f**2. Is o(d) prime?
True
Let t = -3 + 9. Let k = 13 - t. Is k a prime number?
True
Is 3/(-2)*92*(-9)/27 a prime number?
False
Let b(c) be the first derivative of -3*c**5/40 + c**4/24 - c**3 - 3. Let t(g) be the third derivative of b(g). Is t(-2) a composite number?
False
Let q(v) = 7*v**3 + v**2 - 1. Let t be q(-1). Let d be 3/(-9) - t/3. Suppose d = -2*l + 6*c - 2*c, -3*l = -3*c - 9. Is l composite?
False
Let k(a) = -3*a**3 - 5*a**2 - 5*a - 11. Is k(-4) a composite number?
True
Let z be ((-6)/(-18))/(2/66). Suppose 0 = 3*a - z + 41. Is 1*-2*95/a prime?
True
Let o(d) = -3*d - 6. Let s be o(7). Let r be (-3)/(-4) - s/(-36). Let z(u) = -u**3 - u + 185. Is z(r) composite?
True
Suppose 4*g - 7*g = -174. Let m = -25 + g. Is m a prime number?
False
Suppose -11*q = -8*q - 369. Is q a prime number?
False
Suppose 4*x + 3820 = v - x, 0 = 2*v - 4*x - 7670. Is v composite?
True
Suppose 2*h - 6 = -0*h. Suppose -33 - 252 = -h*k. Is k a prime number?
False
Let a(m) = m**2 + 7*m - 2. Suppose 5*y = 6 - 26. Let v be (1 + 0)*(y - 4). Is a(v) composite?
True
Let b(c) = c**2 - 3*c - 11. Let t(g) = 0 + 5*g + 2 + 4*g - 4*g. Let h be t(-2). Is b(h) a prime number?
False
Let p be (-2)/(-1 - (-4 + 2)). Is p*(-1 - (-105)/(-6)) a prime number?
True
Suppose -1241 - 12984 = -5*u. Is u composite?
True
Let a = 1243 - 726. Is a a composite number?
True
Let x be 2 - (2 + 5)*1. Let r = -6 - x. Is (15/(-25))/(r/65) prime?
False
Let c be (-4)/(-5 - -3) - -3. Suppose 4*j - 95 = -4*w + c*j, -100 = -5*w - 5*j. Suppose -3*g + w = l, -5 = -g + 2*l - 2. Is g a prime number?
True
Let d(w) = -3*w - 7. Let x be d(-3). Suppose x*n - 443 = -3*n + 3*b, 0 = -4*n + 3*b + 352. Is n prime?
False
Suppose 191 = 4*l - 105. Is l a composite number?
True
Suppose -20 = -j + 2*q - 4*q, 3*q + 113 = 5*j. Is j a prime number?
False
Suppose 0 = -3*i + 6. Suppose i*s - 44 = -0*s. Is s composite?
True
Is (-1 - -3)*2577 + -1 a prime number?
True
Let f = -10 - -15. Suppose 0*x - f*x = -115. Is x a composite number?
False
Let a = 14 - 24. Let j(s) = 20*s + 2. Let c be j(-5). Is c/a + 2/10 prime?
False
Suppose -5*x + 35 + 20 = 0. Let n = x + 42. Is n a prime number?
True
Let s(v) = v - 7*v**2 + 7*v - 2*v**3 + v**3 + 3*v - 12. Is s(-9) a composite number?
True
Let m = 3 + -7. Is (0 + 443/m)*-4 a prime number?
True
Let x = 7 - 4. Let d(y) = -13*y**2 - 19*y - 7. Let j(m) = -7*m**2 - 10*m - 4. Let p(h) = -6*d(h) + 11*j(h). Is p(x) composite?
False
Is 10/4*410 + 2 a prime number?
False
Suppose 6*n - n + 20 = 0. Let o be 6/(-8)*(n + 0). Suppose u - 99 = -2*u - 2*p, 0 = -4*u - o*p + 133. Is u a composite number?
False
Let n = -4882 - -9153. Is n a composite number?
False
Suppose 4*s - 2530 = 3*y, s + 3*y - 360 = 265. Is s prime?
True
Let x(k) = k**2 + 13*k + 17. Let p be x(-12). Suppose 0 = -4*s - 6 + 2, 4*n = p*s + 25. Is (n/(-10))/((-2)/424) composite?
True
Let x = -2 + 5. Suppose -x*d + 146 = -91. Is d a prime number?
True
Let s be 1410/18 - (-6)/9. Is 1*(s - (-3 - -3)) a prime number?
True
Let p(q) be the first derivative of 57*q**2/2 + 13*q - 7. Is p(10) prime?
False
Suppose -3*x = -0*x. Suppose -3*n + n + 508 = x. Is n composite?
True
Let d = 1379 + -508. Is d a prime number?
False
Let i(a) = -a**3 - 13*a**2 - 13*a + 3. Is i(-16) prime?
False
Let d be 10/3 + 4/6. Suppose d*s = -79 + 15. Let u = 71 + s. Is u composite?
True
Let p = 0 + -9. Let d be 1977/9 + (-3)/p. Suppose y = -3*y + d. Is y a composite 