
True
Let b be (-4)/(-6) + (-92)/12. Let t be 11388/28 - 2/b. Suppose 2*s - 7*s - 4*g = -t, 2*s - 5*g - 176 = 0. Is s a prime number?
True
Suppose 3*z = 3*t - t - 12, -z = 4*t - 38. Let w(l) = -l + 1. Let v(u) = 5*u**2 - 14*u + 4. Let r(s) = v(s) - 3*w(s). Is r(t) composite?
False
Let i(r) = r - 1. Let j(c) = -13*c + 8. Let g(k) = 18*i(k) + 2*j(k). Let l be g(-2). Is (1 - -1)*l/4 prime?
True
Let o(c) = -15*c. Let b be o(5). Let h(p) = -p**2 + 110. Let j be h(0). Let r = b + j. Is r a composite number?
True
Let n(d) = 2*d**2 + 5*d - 4. Let s(q) = 3*q**2 + 5*q - 4. Let k(r) = -7*n(r) + 6*s(r). Is k(5) prime?
True
Let z = 1 - -3. Suppose 2*f = -3*n - 2 - 6, 0 = -f - z*n + 6. Let o = f - -43. Is o composite?
True
Suppose -3*x - 290 = -8*x. Is x composite?
True
Let p(l) = -l. Let w(v) = -22*v - 2. Let q(n) = 3*p(n) - w(n). Is q(1) a prime number?
False
Let l(w) = -2*w**2 - 2*w + 1. Let g be l(2). Let v = g + 17. Suppose 5*c = v + 39. Is c a prime number?
False
Let h be -1*(-2)/((-4)/2). Let f = -7 + -14. Is f/h + 0/(-2) prime?
False
Let z = 3889 - 1320. Is z prime?
False
Let v(x) be the second derivative of x**5/4 - x**4/12 - 2*x**3/3 + 3*x**2/2 - x. Is v(2) composite?
False
Let a(n) = n**2 + 4. Let b(u) = u**3 + 7*u**2 + u + 10. Let v be b(-7). Suppose 0 = -0*s + s - v. Is a(s) a prime number?
True
Suppose n - 70 = 69. Let m(j) = j**3 - 7*j**2 - 2*j - 4. Let a be m(8). Let q = n - a. Is q a composite number?
True
Let m = 15 + 8. Is m a composite number?
False
Let x(j) = j**2 - 4*j - 8. Let z be x(6). Let l(k) = 32*k**2 - 6*k + 5. Is l(z) prime?
False
Let o(q) = q**3 - 7*q**2 + 7*q - 2. Let t be o(6). Suppose -t*p + 59 = -169. Suppose 0 = 2*i - 5*i - b + 206, 2*b + p = i. Is i a composite number?
False
Let l(s) = s**3 - 7*s**2 + s - 10. Let g be l(7). Let h(o) = o**3 - o**2 + o + 4. Let c be h(g). Let b = c - -106. Is b a composite number?
False
Let f be (6/3)/6*0. Is 3 + 114 - (-1 - f) a composite number?
True
Let z = 17 - 9. Suppose 5*x = x + z. Suppose -y + 45 = s, 2*y + 42 - 136 = x*s. Is y prime?
False
Suppose 2*m - 237 = 185. Is m prime?
True
Let o(w) be the first derivative of 2*w**3/3 + 7*w**2/2 + 5*w + 1. Let t be o(-4). Let a = t - 3. Is a a prime number?
False
Suppose -57 = p - 278. Is p a prime number?
False
Let z(b) = 587*b**3 + b**2 - 3*b + 2. Is z(1) a prime number?
True
Suppose -5*r - 35 = -0*r. Let h(m) be the third derivative of m**5/60 + m**4/8 - m**3 - 2*m**2. Is h(r) composite?
True
Let a(y) = -y**2 - 1 + 0 - 11*y + 3*y. Let g be a(-6). Is -3 + g - (-1 + 0) a composite number?
True
Suppose n - 28 = -5*k - 6, 3*n + 19 = 2*k. Suppose -k*r = -990 - 115. Is r a composite number?
True
Is ((-2)/3 - (-156464)/48) + 2 a composite number?
True
Let v = -94 + 55. Suppose -2*w + w = -5*m - 136, -w = -3*m - 80. Let g = m - v. Is g composite?
False
Let k be (1 - 4/6)*21. Let a = 19 + k. Let n = a + -15. Is n prime?
True
Let b be (-4)/(-6)*3 - -1. Suppose -b*v + 24 = 6. Let c(x) = -x**2 + 7*x. Is c(v) composite?
True
Suppose 2*a + 8 = 3*o + 3*a, -5*a = -2*o + 28. Suppose -14 = -2*f - 5*x, o*f - 2*x - 6 = 22. Is f composite?
False
Let m(c) = c**3 + 7*c**2 - 6*c - 6. Let u be m(-7). Let j = -4 - u. Let f = -9 - j. Is f prime?
True
Let m be (-6972)/(-18) - 1/3. Let c be (-4)/(-16) + m/4. Suppose c = 5*s - 28. Is s a composite number?
True
Let f = -11 - -14. Suppose -3*i = -3*g - 240, -5*g - 239 = -f*i + 3. Is i a prime number?
True
Suppose 0*r + 38 = r. Suppose 2*s + 62 = -s + k, -2*s - 23 = 3*k. Let j = s + r. Is j a prime number?
True
Let t(i) = -i**3 - 6*i**2 - 5*i. Let n be t(-5). Suppose 0*d - 4*d = n. Suppose -2*k + 30 = x, -4*x + 108 = -d*x + 5*k. Is x composite?
True
Suppose 0 = -3*h + 2*z + 1576, 1448 = 5*h - z - 1181. Is h a composite number?
True
Let p(v) = -v + 6. Let s be p(7). Let g(i) be the second derivative of i**4/4 + i**3/6 + i**2/2 + i. Is g(s) prime?
True
Let v(k) = k**2 - 7*k + 2. Let f be v(7). Suppose 27 = 3*a + 5*d, -f*d - d - 3 = -3*a. Suppose -5*r = 3*o - 260, 3*o - 2*r - 257 = -a*r. Is o composite?
True
Suppose -9*y + 684 = 45. Is y prime?
True
Let c(k) = k + 8. Let s be c(0). Suppose -3*d - 27 = -2*y + 9, -3*y + 4*d = -53. Let z = y + s. Is z a prime number?
True
Let u be (-1)/(3/(-6)*-2). Let r be -180 - (-2 + 2 - u). Let l = -92 - r. Is l prime?
True
Let n(l) = 5*l - 3. Let z be n(7). Suppose -z = -4*a + 4*o, a + 2*o = -0*a - 7. Suppose -a*c - 2*h = -0*h - 237, 2*c + 5*h = 169. Is c composite?
True
Let x(s) be the first derivative of 37*s**4/4 + s**2/2 - s + 4. Is x(1) a composite number?
False
Let x(n) be the third derivative of -n**6/120 + n**5/12 - n**4/6 + n**3 - 2*n**2. Suppose 0 = -0*r + 3*r - 3*j - 9, 0 = 3*r - 4*j - 8. Is x(r) composite?
True
Is 1255*(-1)/(-4 + -1) prime?
True
Let r be 1*1*-6 - 0. Let c(p) = -2*p - 9. Let q be c(r). Is (-3 + 2)/(q/(-267)) prime?
True
Let m(u) = 4 - 1 + 2*u**2 - u - 1 + 4*u. Is m(-5) prime?
True
Is ((-5)/(0 + 1))/((-27)/4833) a prime number?
False
Suppose -272 = -4*b + 300. Let z = 414 + b. Is z composite?
False
Let x = 8 + -9. Is (-35238)/(-56) + x/4 a composite number?
True
Let g(u) = -u**3 - 2*u**2 - 4*u - 6. Let a be g(-4). Suppose -5*j = -3*h + a, 18 - 110 = -5*h + j. Is h composite?
False
Suppose 5*a + 25 = 0, 2*x + 3*a + 14 + 1 = 0. Suppose o + 2 - 85 = x. Is o a prime number?
True
Let f = -190 + 269. Is f prime?
True
Let c(s) = -s**3 + 4*s**2 + 9*s - 1. Let p be c(6). Let w = p - -606. Is w a composite number?
False
Is 24/(-9)*-807 + 1 a composite number?
False
Let y = 1 + -2. Let i = 2 - y. Suppose -6*w + 299 = -i*w - 2*v, 5*w + v = 481. Is w composite?
False
Let k = 407 + -204. Is k a composite number?
True
Suppose -2*q = -3*q - 4. Let i = 0 - 5. Is q/(-10) - 123/i a composite number?
True
Let k be -1 - -2*5/(-2). Let f = -3 - k. Suppose -2*v = 10, 2*t - 3*v + 70 = f*t. Is t composite?
True
Let l = 118 - 52. Suppose 2*t + l = -3*g + 5*t, 4 = -2*t. Let w = g - -57. Is w composite?
True
Suppose 0 = 3*d - 72 - 60. Let k = d - 12. Let l = k + 5. Is l composite?
False
Suppose 0 = 6*q - 3*q - 72. Suppose -o + q + 137 = 0. Is o a prime number?
False
Let d(q) = -6*q - 2. Let w be d(2). Let v = w + 135. Suppose -f = -2*z - 16 + v, 0 = -4*z - 4*f + 216. Is z prime?
True
Is (6/4 - 2)*-1414 composite?
True
Let f(b) = -200*b - 49. Is f(-6) prime?
True
Is (2*-6)/(-4) - -1108 a composite number?
True
Suppose y - 3*p + 116 = 3*y, -5*p + 232 = 4*y. Is y a composite number?
True
Let w be (-2 - -5)/(-1 - -2). Suppose i - 10 = -w*y + 84, -5*y - 5*i + 160 = 0. Is y prime?
True
Let l be ((-2)/5)/(2/(-60)). Is l/(-8)*(-1 + -9) a composite number?
True
Let n = 69 + -35. Is n composite?
True
Suppose -20 = -5*v, 2*v + 854 = 2*f + 6*v. Is f prime?
True
Let o(u) = -32*u**3 + 3*u**2 - 6*u - 3. Is o(-4) a prime number?
False
Let p(d) = -1. Let l(g) = 86*g + 3. Let w(z) = -l(z) - 2*p(z). Let t be -2 + 3 + -3 + -1. Is w(t) composite?
False
Let u(y) = -y**3 + 11*y**2 - 9*y + 10. Let g(x) = x**2 - 7*x + 7. Let q be g(7). Is u(q) a composite number?
True
Let s = -8 - -10. Is (-312)/(-32) - s/(-8) composite?
True
Suppose 2*a - 1841 = 907. Let b = -629 + a. Is b composite?
True
Let x be 7 + (0 - 3) - 3. Let t(z) = 4*z - 1. Let i be t(x). Is i*3/(9/33) prime?
False
Let f(v) = -2*v**2 - 4 - 2*v**2 + 24*v + 7*v**2 - 4*v**2. Is f(13) a prime number?
True
Let y be 6/(-10) - (-69)/15. Suppose 4 = y*p - 2*p. Is p prime?
True
Let i be (14/6)/(5/(-15)). Let v = i + 6. Let p = 2 - v. Is p prime?
True
Let c(q) be the second derivative of -q**3/6 - 5*q**2 - 2*q. Let i be c(-8). Is 0 + 2 - (i + -85) a prime number?
True
Let n(h) = 76*h - 13. Is n(6) a composite number?
False
Is 2/(-6) + 3/(36/9208) a composite number?
True
Suppose 0 = -0*i - i + 3. Suppose r + i*x = -55, -28 - 84 = 2*r + 5*x. Let f = r - -94. Is f a composite number?
True
Suppose -142 - 114 = -4*t. Let p = -5 + t. Is p a composite number?
False
Let k(h) = -424*h - 4. Let n(s) = 106*s + 1. Let c(m) = -2*k(m) - 9*n(m). Let q = 1 + -3. Is c(q) composite?
False
Let l(s) = -s**3 - s**2 - s + 1. Let r be l(1). Is (r/2)/((-4)/52) composite?
False
Let h be 6/(-12)*3*2. Is 2/(-4)*(h + -151) prime?
False
Suppose -2*w + 1925 = 3*w - 5*s, -1147 = -3*w + s. Is w/4 + (-1)/4 a prime number?
False
Suppose -2*t + 4*f = f - 614, -614 = -2*t - f. Is t a composi