 + 2*g**2 + g. Let v(x) = -x**2 + 7*x - 3. Let i be v(6). Is p(i) composite?
True
Let z(c) = 24*c + 5. Let n(v) = 25*v + 6. Let g(t) = -3*n(t) + 4*z(t). Is g(1) a composite number?
False
Let z = 107 - -516. Is z prime?
False
Let j(w) = w**2 + 12*w. Let s be j(-12). Suppose 4*g + 0*g - 196 = -2*m, -2*g - 4*m + 86 = s. Is g composite?
True
Let n be 3/((-12)/(-58))*50. Suppose 3*o + n = 8*o. Is o a composite number?
True
Let r = 7 + -11. Let n(v) = -14*v - 3. Let p be n(r). Suppose -3*w + 328 = -p. Is w a prime number?
True
Suppose -40 = 4*o - 212. Is o composite?
False
Suppose -2*b - 1 = 3*h, 4*b + 4*h - 3*h - 13 = 0. Suppose 0*k + b*k - 1180 = 0. Is k a composite number?
True
Let l be 5*((-801)/(-15) - -1). Let j = 459 - l. Is j composite?
True
Let m = 698 + 9. Is m a composite number?
True
Let w(t) be the third derivative of -t**6/120 + 3*t**5/20 - 7*t**4/24 - 7*t**3/6 - 2*t**2. Suppose 2*n - 16 = -k, k + 2*n = -k + 22. Is w(k) prime?
True
Suppose 3*v - v + 3*r = 6, 2*r - 4 = 5*v. Is (-7)/(v - (-1)/(-11)) composite?
True
Is -3 - -264 - (1 + 0 - -1) composite?
True
Let w(f) = -f**2 + 6*f - 8. Let c be w(8). Is (-8)/c + (-2008)/(-6) composite?
True
Let d be (-1)/(-2) + 18/4. Suppose x = -1 + d, -5*v = -x - 2646. Suppose 5*r - 3*r = v. Is r composite?
True
Let m(w) = w**2 - 5*w + 2. Let f be m(3). Suppose n = 6*n + 115. Let q = f - n. Is q composite?
False
Let i be ((-2 - -4)/(-1))/1. Let j = -4 - i. Is (-302)/((-6)/3) + j prime?
True
Let m = -26 + 18. Is (-422)/m - (-4)/16 composite?
False
Let n(q) = -q**2 + 7*q - 3. Let i be n(6). Suppose l + 2*w - 249 = 0, 0*l - i*w - 463 = -2*l. Is l prime?
True
Is 1/(5/1656) + 4/(-20) a composite number?
False
Is (13 - 155)*14/(-4) a prime number?
False
Let z be (1 + 6/(-3))*-2. Let y be 2 - 15/(z/(-2)). Let o = 38 + y. Is o prime?
False
Let d(m) = 69*m - 13. Is d(4) a prime number?
True
Suppose -u + 6 - 3 = 0, -2*u - 46 = -2*g. Let q be 79/6 + 2/(-12). Let r = g - q. Is r composite?
False
Let b(d) = 1381*d**3 + d - 1. Is b(1) a composite number?
False
Let z(h) = -h**2 - 7*h + 7. Let k be 10 + 2*(-1)/2. Let g = 3 - k. Is z(g) a prime number?
True
Let a(x) be the second derivative of -11/6*x**3 - 1/12*x**4 + 0 - 5/2*x**2 + x. Is a(-8) a prime number?
True
Suppose -15 + 3 = f. Let b(z) = z**3 + 13*z**2 + 4*z + 1. Is b(f) composite?
False
Suppose 0 = -3*r - 5 - 1. Let c be 6 + (-1)/(-2)*r. Suppose u + u + 565 = 5*x, 3*x - 370 = -c*u. Is x a composite number?
True
Let v be 794/14 - (-12)/42. Let b be -3 + -1*(-2 - -3). Let n = v + b. Is n composite?
False
Suppose -f = 5*v - 3934, -2*v = v - 4*f - 2365. Is v prime?
True
Suppose 3*j - 1 = 2. Let x = 7 - j. Is x prime?
False
Suppose c = -4*k + 1247, 4*k - 1250 = -c + k. Is c a prime number?
True
Suppose 11 = -g + 2*g. Is g a composite number?
False
Suppose -3*m - 2*f - f - 18 = 0, 0 = 3*m - 3*f. Let d(p) be the third derivative of p**5/60 + p**4/12 + p**3/2 - 4*p**2. Is d(m) a composite number?
True
Let z(b) = -28*b + 5. Let d(x) = -x + 1. Let p(n) = -2*d(n) + z(n). Is p(-7) prime?
False
Let a(v) = -v**3 + v. Let x be a(2). Let y = x + 4. Is (-31)/(2*y/4) a composite number?
False
Suppose g = 4*g - 1437. Is g a prime number?
True
Suppose 2*x + 41 = 3*v, 9*v + 1 = -x + 4*v. Is ((-6)/(-8))/((-4)/x) a composite number?
False
Suppose 0 = 4*t + t - 1720. Let z = t - 241. Is z a composite number?
False
Let g(s) = s**2 - 3*s - 4. Let m be g(5). Suppose -m = 4*k + 6. Is (0 - k) + -2 - -36 a composite number?
False
Let b = -6192 + 9535. Is b a prime number?
True
Let f be 1/(-4) - (-54)/(-8). Let k be -780*(f/(-2))/(-7). Suppose -v - 463 + 61 = -2*s, 2*s - 4*v = k. Is s a prime number?
False
Suppose 2*n = q - 2, -q + 6 = -4*n + 2*q. Let w = 3 + 0. Suppose -21 = -w*v - n. Is v composite?
False
Let c(s) = 138*s**2 - 1. Let g be c(-1). Let q = -82 + g. Let l = q + -36. Is l a prime number?
True
Suppose -4*x = 4*d - 8, -d + 10 = -3*d. Let p be (6/(-4))/((-1)/4). Is x/(0 + 3/p) prime?
False
Let g be -2 + (538 - (0 + 2)). Let c = -576 - -203. Let y = g + c. Is y a composite number?
True
Let p = 2 - -34. Let r = p - 17. Is r a composite number?
False
Let y(m) = -3*m**2 + 11*m - 48. Let x(u) = -u**2 + 4*u - 16. Let k(i) = 11*x(i) - 4*y(i). Is k(13) a prime number?
False
Suppose 5*f = 11354 - 2584. Is 2/3 + f/6 a composite number?
False
Let k be (1/3)/((-1)/(-9)). Suppose 4*l = -5*o + 366, 6 = k*l + 3*o - 267. Is l a prime number?
True
Is -67*4/(-2) + -1 a composite number?
True
Suppose 2*g - 4*c - 6 + 4 = 0, -5 = -2*g + c. Is (-2)/(-6)*(198 + g) a composite number?
False
Let f(x) = -3*x + 71. Is f(0) prime?
True
Let d = 44 + -33. Is d a prime number?
True
Suppose 5*j - 12 = 2*m - 36, -3*m + 4*j + 22 = 0. Suppose m*z - 4*r + 12 = 3*z, 0 = 4*z - 3*r - 10. Suppose -z*w + 52 = -136. Is w a prime number?
True
Let d = -7 - -4. Is ((-6)/(-4))/(d/(-4)) a prime number?
True
Let l(o) be the third derivative of 11*o**4/12 + 3*o**3/2 + o**2. Is l(8) a composite number?
True
Suppose 1312 = 11*t + 289. Is t prime?
False
Suppose b - 8 + 6 = 0. Is (-2)/(b/311)*-1 prime?
True
Suppose -6*w = -2*h - 7*w + 589, -w = 5*h - 1474. Is h composite?
True
Let f(d) be the first derivative of 62*d**3/3 - d - 1. Let u be f(-1). Suppose 5*w = 226 - u. Is w a prime number?
False
Suppose -4*q + i = -1272, -i - 3*i + 301 = q. Is q a composite number?
False
Let w = -163 - -467. Let l = -87 + w. Is l composite?
True
Let i(l) = 4*l - 1. Let q be i(-1). Let c(z) = 4*z**3 + 2*z**2 - 13*z - 4. Let j(x) = -x**3 - x**2 + 4*x + 1. Let s(g) = -2*c(g) - 7*j(g). Is s(q) composite?
False
Suppose 3*r = -5*u + 19, -3*r = -3*u - 0*u - 3. Suppose 0 = 2*y - u*m - 82, -3*m - 2*m + 91 = 3*y. Is y a prime number?
True
Suppose 3*d + 5*q - 126 = 0, 3*d = 7*d + 5*q - 168. Let n = d - 9. Is n a composite number?
True
Let m(s) = s**2 - 7*s - 3. Let t be m(8). Suppose l - 38 = -3*b + 2*b, -4*b = -t*l - 125. Suppose 0 = -2*v + b + 11. Is v prime?
True
Suppose u = 10 - 5, 19 = 2*q + 3*u. Suppose -5*w - 29 = 2*o, -3*w - q*w + 5*o = 50. Let k = 10 + w. Is k composite?
False
Let h be 6 + -1*(4 + -2). Let w(y) = 2*y + 0*y**3 - 6*y**2 + 3*y**3 + y - 5 - y**3. Is w(h) a prime number?
False
Suppose 2*s = 6*s - 508. Is s composite?
False
Suppose -6*h - 191 = -17645. Is h a prime number?
True
Let u = 30 + 38. Suppose 4*f - 6*f = -u. Is f prime?
False
Is (0 - -5) + -2 + 334 a prime number?
True
Suppose -557 = -5*l - 2*r, -2*r - 333 = -5*l + 220. Is l a composite number?
True
Let o(d) = -d**3 + 4*d**2 + 1. Let b be o(6). Let f = 140 - b. Is f a composite number?
False
Let g(o) = o**3 + 7*o**2 - 6*o + 9. Let p be g(-9). Let w = -12 - p. Let b = w + -52. Is b composite?
True
Let r be ((-114)/8)/((-3)/36). Suppose 2*p - r = -p. Is p prime?
False
Let h(x) = -140*x - 5. Let f be h(-11). Suppose 2*k + f = 7*k. Is k prime?
True
Let i = 443 + -212. Let t = i + -152. Is t a prime number?
True
Let s(h) = -5*h**3 + 2*h**2 - h - 3. Is s(-4) a composite number?
False
Let q = 255 + -129. Let n = q - -85. Is n a prime number?
True
Suppose -29 = -5*d - 4. Suppose d*c = -26 - 4. Is (-19)/(-3) + c/(-9) composite?
False
Suppose -12 = -2*v + 22. Suppose -5*x + 2*x - 30 = 0. Let h = v + x. Is h a composite number?
False
Let b = -17835 + 26458. Is b composite?
False
Let s(a) = -7 + 0 + 2*a - a. Let x be s(7). Let o(g) = -g**2 + 127. Is o(x) a composite number?
False
Suppose 0 = -2*w + 5*i + 91, 0 = 4*w + 3*i + i - 252. Is w a prime number?
False
Let p(j) = -3*j**3 - 4*j**2 + 4*j + 2. Let l be p(-4). Suppose m - 41 = l. Is m a prime number?
False
Let p(l) = -4*l + 2. Suppose 0*o - 2*o - 6 = 0. Is p(o) a composite number?
True
Suppose 5*c - 5*l + 145 = 0, 4*l = -3*c + 6*c + 92. Is 8/c - (-31)/3 a composite number?
True
Suppose -14 - 1 = -5*m. Suppose -j + 2 = i + 1, -4 = -m*i - 4*j. Suppose -3*s + 65 + 4 = i. Is s composite?
False
Let a(f) = f**2 + 4*f - 4. Let z be a(-5). Let l(w) = w**2 - z + 1 - 2*w + 4 + 4*w**3 - 3. Is l(1) prime?
False
Let u be 1/(-1 - (-4)/3). Let j = -5 + u. Is (j - 0)*(-316)/8 a prime number?
True
Suppose 146 = 4*s - 0*s - 2*h, 4*s = 4*h + 136. Suppose s = 2*o - 119. Is o prime?
True
Suppose 0 = -3*k - k - 36. Let c(r) = -r**2 - 12*r + 6. Is c(k) composite?
True
Suppose m = -m + 406. Is m a prime number?
False
Suppose b + 2*c = 347, 0 = -5*b - c - c