True
Let b(v) = v. Let o be b(-1). Is 3/(o - (-24)/22) a composite number?
True
Let u = 281 + 494. Suppose 0 = 4*v + 4*r - 656, 5*v = -3*r + 7*r + u. Is v prime?
False
Let u = -10 + 2. Let q = 18 + u. Is q a composite number?
True
Suppose -2*z + 4*n + 14 = 0, 0 = 7*n - 3*n + 12. Let b be (-25)/(-5) + -3 + z. Suppose -b*l + 129 + 270 = 0. Is l composite?
True
Let w(f) = 0*f - 1 - f + 7. Let k be w(6). Suppose -6 = -k*h - 2*h. Is h composite?
False
Suppose 0 = -4*q + x + 360, -124 = -4*q - 4*x + 216. Is q a composite number?
False
Let g(t) be the second derivative of t**5/20 - 11*t**4/12 - 3*t**3/2 - 2*t**2 + 6*t. Is g(13) prime?
False
Suppose l + 4 = -0*l, 0 = 2*p - 5*l - 16. Let o(f) = f**3 + 5*f**2 + 3*f + 1. Is o(p) a prime number?
True
Suppose 6 = 2*o, 0*m - 2455 = -4*m - o. Is m a composite number?
False
Let l = 2 + 0. Suppose 22 = 5*h + l. Suppose -44 = -h*n + 56. Is n composite?
True
Let r(p) = 11*p - 9. Is r(5) a prime number?
False
Is -1 + (-4 - -1) + 717 a prime number?
False
Let a = -647 - -916. Is a a prime number?
True
Let n be -5 + -27 + 5 + -1. Is (n/(-8))/(-1)*-262 prime?
False
Let d(i) = -i**3 + 2*i**2 + i + 2. Let c be d(2). Suppose 3*v + 194 - 54 = j, c*v = 4*j - 192. Is v/6*(-6 - 3) a prime number?
False
Let p = 11 + -20. Let w = 718 + p. Is w a composite number?
False
Let j = 76 - -187. Is j a composite number?
False
Let h = 165 - -574. Is h prime?
True
Suppose 3*z - 85 - 196 = 5*o, 5*z - 477 = 4*o. Is z composite?
False
Suppose 0*w + 6 = 3*w. Suppose w*n + 4*i + 0 = 36, -2*n + 36 = 2*i. Is 8/(-36) - (-238)/n a prime number?
True
Suppose -5 = -2*u - 1. Suppose 2*z - 16 = -6. Suppose 0 = -5*l + 4*k - 3*k + 91, z*l = -u*k + 103. Is l a composite number?
False
Suppose 4 = 4*f - 4. Suppose 5*q = -f*a - 50 + 218, 5*a + q = 397. Is a a composite number?
False
Let s be 442/(-4) + (-1)/(-2). Let x = 305 + s. Suppose -2*w = 3*w - x. Is w a prime number?
False
Let k be 5*(-3)/(-15)*-6. Is (-267)/k*(0 + 2) composite?
False
Let l(p) = -p**3 + 2*p. Let t be l(-2). Let n = -9 - -11. Suppose n*s + 230 = 6*s + 5*q, t*s - 4*q = 212. Is s a prime number?
False
Suppose -4172 = 665*c - 669*c. Is c prime?
False
Let f be (-4)/12 - 50/(-6). Let i = 11 - f. Is i + 265 - (0 - -1) composite?
True
Suppose 2*v - 5*y = 14, -y - 4 = 5*v - 12. Suppose -25 = -5*r, 24 = 3*i - v*r + 5*r. Suppose 0 = i*t - 2*j - 34, 0 = 2*t - j - 2*j - 16. Is t composite?
True
Let h(i) = -i**2 - 7*i + 8. Let u be h(-8). Suppose 0 = n - u - 1. Suppose -1 = -f + n, w = -4*f + 39. Is w composite?
False
Let m = 122 - 45. Let p be 3 + -2 - 1/(-1). Is m/2 + (-3)/p prime?
True
Suppose -3*r = 3*i + 78, -119 = 2*r - 5*i - 39. Let y = 58 + r. Let n = -2 + y. Is n composite?
True
Let c(t) = -t**2 - 26*t - 50. Is c(-23) prime?
True
Let g(n) = n**3 + 4*n**2 + 4*n + 3. Let t be g(-3). Let i be ((-6)/(-12))/((-2)/(-36)). Suppose -d - 2*d + i = t. Is d composite?
False
Suppose 0 = -3*b - 0 - 30. Let t be (-367)/(-5) + b/25. Let q = -48 + t. Is q composite?
True
Let t(z) = 10*z**2 + 5*z + 8. Is t(15) prime?
True
Is (209 + 1 - 0) + 21/7 prime?
False
Suppose -18 = 4*g - 114. Let m = -42 + g. Is (0 - -111)*(-6)/m composite?
False
Suppose 0 = m + 2*l + 8, l - 5 = 2*l. Let a(x) = -4*x + x**3 - 7 - 2*x**2 + 0*x - x**m. Is a(5) a composite number?
False
Suppose -h + 4*h - 1233 = 0. Let d = h - 266. Is d a prime number?
False
Suppose 0 = 4*j - 5*u - 752, 6*j = j - 2*u + 973. Let y = j + -51. Is y a composite number?
True
Let q(g) = 7*g**2 + 2*g + 1. Let l be (-2)/1*2*1. Let m be q(l). Let j = 182 - m. Is j a composite number?
True
Suppose 5*r = w + w + 4991, -5*r + 5*w = -5000. Is r composite?
False
Let a be (2/3)/((-6)/(-45)). Suppose -y - 319 = -a*m, 2*m - 125 = y + 2*y. Suppose 2*q - x = 31, -2*x = 6*q - q - m. Is q a prime number?
False
Suppose 0*r = -r + 4. Suppose 0 = -2*f + r*f - 4. Is (-201)/f*6/(-9) a prime number?
True
Let t be 10/4 - (-12)/8. Suppose 0 = d + t*d - 75. Is d composite?
True
Let h = 16 + -10. Let j be ((-4)/h)/(6/54). Let f = j + 59. Is f a composite number?
False
Suppose -2*y + 1930 = -4*q, q + 4*q + 1926 = 2*y. Is y a composite number?
True
Suppose z = -0*z + 2*v + 3, 0 = -4*z + 4*v. Let g be (-1)/z + (-1)/3. Suppose g = -3*m + 3*n + 54 + 60, 0 = -5*m - 3*n + 182. Is m prime?
True
Let z = 31 - -58. Is z composite?
False
Suppose -5*b - 2*s = -56, 4*s = -3*b + 4*b - 20. Is 356/(-6)*b/(-8) a prime number?
True
Let h = 90 - -37. Is h a prime number?
True
Suppose 0 = -4*u - 4*f + 1772, 5*u - f = -0*u + 2215. Is u a prime number?
True
Let f(b) = -b + 15. Let y = -5 - -5. Is f(y) prime?
False
Suppose 0 = -0*j - 2*j + 6. Suppose y - 18 = -j. Is y composite?
True
Suppose 3*m + 0*m - 1407 = 0. Is m a prime number?
False
Let v(r) = 17*r**3 + 9*r**2 + 16*r - 6. Let l(a) = -9*a**3 - 5*a**2 - 8*a + 3. Let i(n) = 11*l(n) + 6*v(n). Is i(3) prime?
False
Suppose 0 = 3*a + 2*a - 15. Suppose -a*p + 5*p = 0. Suppose 5*c + 157 - 872 = p. Is c a prime number?
False
Suppose -k + 321 = 4*v - 350, 3259 = 5*k - 4*v. Suppose -k = -5*r - 5*s, 3*s = 2*s + 4. Is r a prime number?
True
Suppose m - 31 = 174. Is m prime?
False
Let m = 8 + -29. Let x = m - -58. Is x prime?
True
Suppose 0 = -5*v + 266 - 66. Suppose -3*o - o + v = 0. Is o a prime number?
False
Let q(j) be the second derivative of -25*j**3/3 - j**2/2 - j. Is q(-1) a composite number?
True
Suppose -4*c + 4*x = 0, 2*x + 2*x = -5*c - 27. Is c + -3 + 0 + 83 composite?
True
Suppose -16*l = 42739 - 110979. Is l composite?
True
Let t = -14 - -17. Suppose 2*s - t*s = -295. Is s composite?
True
Let v(z) = -2*z + 6 - z**3 + 5*z - z**2 - 7. Is v(-4) prime?
False
Suppose 71 = 5*f - 374. Is f prime?
True
Let z(w) = w**3 - w + 31. Is z(0) prime?
True
Let t(n) = -80*n + 21. Is t(-13) prime?
True
Let r be -2 - 1 - -1*117. Let a = -47 + r. Is a a composite number?
False
Let k be (-2)/(-1)*(20/(-5) + 3). Let f(o) = 3*o**3 + 3*o**2 + 1. Let w(d) = -3*d**3 - 4*d**2 - d - 1. Let q(l) = -3*f(l) - 2*w(l). Is q(k) prime?
False
Let y(h) = 8*h**3 + 3*h**2 - h - 1. Let i(r) = r + 1. Let p(b) = -4*i(b) - y(b). Let g be ((-4)/(-10))/((-2)/10). Is p(g) composite?
True
Suppose 0 = -f - 4*f + 3265. Is f a composite number?
False
Let g(v) be the second derivative of v**6/120 - 3*v**5/20 + v**4/6 - v**3/2 + 3*v**2/2 + 2*v. Let w(p) be the first derivative of g(p). Is w(9) composite?
True
Suppose -2*p - p - 6 = 0. Let k be p*(-2)/4*-6. Is ((-94)/(-6))/(k/(-18)) composite?
False
Let w(o) = -6*o**3 + 9*o**2 - 4*o + 3. Let t(z) = 2 - 5*z**3 - 3*z + 2 - 1 + 8*z**2. Let a(q) = 5*t(q) - 4*w(q). Is a(-5) prime?
True
Let f(h) = -h**3 + 13*h**2 - 2*h + 3. Is f(11) prime?
True
Let h = -21 + 31. Suppose -c - 5*l + 68 = 0, -3*l + h = 4. Is c a prime number?
False
Suppose o = -u + 409 + 817, u - 1238 = 5*o. Suppose -5*w = -w - u. Is w a prime number?
True
Let l(z) = 5*z - 35*z - 2 + 3. Is l(-4) composite?
True
Suppose 0*p - 2*p = -20. Suppose 4*d - 40 = -5*j + 3*d, -5*j + 5*d + p = 0. Suppose -2*c - 3 = j, -89 = -r + 2*c. Is r a composite number?
False
Let t = -271 - -648. Is t prime?
False
Let h be (156/10)/(1/5). Let z = -41 + h. Is z composite?
False
Let c = -61 - -222. Is c a composite number?
True
Let a(q) = -q**3 + 14*q**2 - 7*q + 1. Is a(8) composite?
True
Let x(n) = -4 - 3 - 2*n + 3. Let g be x(-4). Suppose -4*c + 32 = 3*p - 129, -4*p = g*c - 220. Is p a prime number?
True
Suppose -1313 = -m - 286. Is m prime?
False
Suppose -3*h + c - 2*c = -380, 0 = -c - 1. Is h prime?
True
Suppose 0 = 2*x - 25 + 1. Suppose 5*i = -15, -3 = 3*g + 4*i - x. Is g composite?
False
Let t(a) be the third derivative of a**5/30 - 5*a**4/12 + 3*a**3/2 + a**2. Suppose 4*z - 28 = -0*z. Is t(z) a composite number?
False
Is ((-1 - 900)*-1)/1 composite?
True
Let t be (0 - -7)*(7 + -5). Let y be (-6)/21 + 102/t. Suppose -5*l = -4*x - 717, x + 419 = 3*l - y. Is l prime?
False
Let a(v) = 5*v + 3. Let b = 19 - -20. Let m be b/6 - (-3)/(-6). Is a(m) a composite number?
True
Suppose h - 10 = -5. Suppose 4*c - 256 = -2*x, 74 + 248 = h*c + 3*x. Is c composite?
True
Suppose -p - 2 = -2*p, 0 = -5*h - 3*p + 616. Is 3 - ((-2 - h) + 0) composite?
False
Let g = 235 - 2. Is g a composite number?
False
Is 7876/(-33)*(-6)/4 prime?
False
Suppose -3*w = -7 - 11. Suppose -2*s + 2 = w. Is 42 + -2 + (s - -1) a prime number?
False