 Let v(y) = 5*y**3 + 4*y**2 - 2*y - 4. Is v(o) a composite number?
True
Let o be (-6)/45 + (-3898)/15. Is 3*(o/(-3) + 1) a composite number?
False
Let b(j) = 53*j**2 + j. Let w be b(-1). Suppose u = 0, 0*l + u + w = 2*l. Is l prime?
False
Is (-13)/(-2)*-634*-1 prime?
False
Let l(i) = -i**2 - 4 + 2*i + 2*i**2 + 7 + 2*i. Let h be l(-4). Suppose -u = -s + 117, h*u + u = -8. Is s a prime number?
False
Suppose 4*f - b + 3 - 19 = 0, 0 = -2*f - 5*b + 8. Let v(w) = -w**3 + 6*w**2 - w - 5. Is v(f) composite?
False
Let g be (8 - -1)/(-1 + 2). Let m(d) = -9*d - 3 + 6*d - g*d. Is m(-3) prime?
False
Let w(d) = 80*d**3 - 3*d**2 - 13*d + 13. Is w(4) prime?
False
Suppose 0 = 6*c - 3*c. Is -55*(4/(-4) + c) a composite number?
True
Suppose 3*v = -4*g + 7207 - 158, 0 = 3*g + v - 5293. Suppose -g = -5*l - 481. Is l a composite number?
False
Suppose 3855 = 2*z + 1085. Is z composite?
True
Let c(j) = 17*j**2 - 8*j - 1. Is c(-6) a composite number?
False
Let w(o) = -42*o + 19. Is w(-9) prime?
True
Suppose -2*n + 250 = -0*n. Suppose 5*f = -3*s + 266, 0*f = -2*f + 5*s + n. Is f a prime number?
False
Let i(j) be the second derivative of j**4/6 + j**3 + j**2/2 - 12*j. Let u(q) = q**2 - q - 4. Let c be u(0). Is i(c) prime?
False
Let w = -2 - -4. Suppose 3*p = -w*p + 20. Is (-2)/(p/222*-3) a composite number?
False
Suppose 0 = 2*l + 10 - 198. Let g be ((-3)/6)/(-1)*46. Let i = l - g. Is i a composite number?
False
Let w(m) = -76*m**3 + 2*m**2 + m. Is w(-1) a prime number?
False
Let u(t) = -8*t**3 - 5*t**2 - 4*t + 3. Is u(-4) a prime number?
False
Let u(w) = 3*w + 6. Let h be u(-2). Suppose h = -13*n + 17*n - 844. Is n composite?
False
Let b(p) = -p**3 - 11*p**2 + 16*p + 3. Let r(o) = 7*o + 1. Let u be r(-2). Is b(u) composite?
True
Let u = 129 + 2. Is u a composite number?
False
Suppose 5*o - 53 = 37. Let r = o + -8. Is r a prime number?
False
Suppose 3*s + 0*s = 15. Suppose s*c = 82 + 48. Suppose f + j - c = 133, 0 = -4*f + 5*j + 636. Is f a composite number?
True
Suppose 64*b + 1146 = 67*b. Is b a prime number?
False
Suppose 0*b - 12 = -4*b. Suppose -p + 3*w + 281 = 0, -1288 = -5*p + b*w + 141. Is p a prime number?
False
Let g = 176 + -41. Suppose 0 = 3*b + 111 + g. Let j = 119 + b. Is j a composite number?
False
Let f(z) = z**3 + 13*z**2 - 16*z + 17. Let r be 3/2*(0 - 8). Is f(r) a prime number?
True
Let d be ((-2)/6)/((-1)/81). Let a = d + -8. Is a composite?
False
Suppose 0 = -4*a + 8*a - 12. Suppose 0 = 5*v - 2*o - 12, a*o = -3. Suppose -v*g + 19 = -87. Is g a prime number?
True
Let r be (-282)/26 - (-4)/(-26). Suppose -2*k + 228 = -5*q, q + 4*k = -3*q - 188. Let s = r - q. Is s a composite number?
True
Let h be (2/3)/((-2)/(-9)). Let s(d) = 8*d**3 - 2*d**2 - d + 2. Let c be s(-2). Is -1 + (-3)/(h/c) a prime number?
True
Let z = 307 - 180. Is z composite?
False
Let y(h) = 8*h**2 - 7*h + 38. Is y(7) a prime number?
False
Let i be (-18)/(-45) + 26/10. Suppose 3*h - i*f - 540 = 0, 4*h - 2*f = -3*f + 705. Is h a composite number?
True
Let s(h) = -3*h - 3. Let b be s(3). Let r be b/42 + 429/7. Suppose r = x - 4*g, 4*x + 2*g = 2*x + 102. Is x prime?
True
Let i(k) = -k**2 - 9*k + 12. Let h be (14/6 - -1)*-3. Let o be i(h). Is (o - 0)*(-22)/(-2) a composite number?
True
Suppose -5*g + 17 = -13. Let b be 4*(2/2 - 0). Suppose g*d = 4*d + l + 23, -43 = -b*d - l. Is d composite?
False
Suppose 8*z - 5*z - 51 = 3*r, 5*z - 4*r = 82. Is z a prime number?
False
Let x be 1 - (-3)/9*3. Let t(c) = 58*c**3 + 2*c**2 - 2*c + 3. Is t(x) composite?
True
Suppose -5*x - 5*y = -4*y - 426, -2*x + 171 = y. Is x a composite number?
True
Let s be (-3 - -1)*(-262)/4. Suppose 3*d + 144 = -102. Let t = d + s. Is t composite?
True
Let i(l) = l**2 + 1979. Is i(0) a prime number?
True
Let x(t) = -2*t**3 - 6*t**2 - 16*t - 1. Is x(-13) a prime number?
False
Suppose -26 - 2 = -4*l - 3*g, g = -4*l + 20. Suppose -8 = -l*o - 0*o. Is 33/(-5)*(o + -7) composite?
True
Let x be -2*(1 - (-3)/2). Let o(g) = 1 - 5*g**2 - g**3 + g - 5*g + 4*g**2 + 0*g**2. Is o(x) a composite number?
True
Suppose 3*t - 21 = 3. Suppose 5*z - 10 = -5*x, -2*x + 2*z + t = -0*z. Suppose x*c - 216 = -3*p, -5*p - 173 = -3*c + 83. Is c composite?
True
Let u = -810 - -1189. Is u prime?
True
Suppose -h + 2*h = 103. Suppose 5*q = -25, -q = -b + 153 + h. Is b prime?
True
Let n(m) = -m + 14. Let o be n(10). Suppose c - 3 = o. Is c composite?
False
Let s = -60 - -28. Suppose 4*i + i - 85 = 0. Let y = i - s. Is y a prime number?
False
Suppose -r = r - 8. Suppose -4*u = -2*z - 18, r*u + 5*z + 17 = -0*z. Suppose -u*a - 4*h = h - 12, 0 = a + 4*h - 3. Is a a composite number?
False
Let t = -717 + 2816. Is t composite?
False
Suppose 0 = 2*c + 5*a - 1287, 2*a + 4 = 14. Is c a prime number?
True
Let v = 414 - 253. Is v prime?
False
Let i(v) = 2*v**3 - 2*v. Let h be i(2). Let u = -7 + h. Suppose -33 - 352 = -u*a. Is a a composite number?
True
Let s be (1 - -2)*8/(-12). Let k be (-2)/(16/10 + s). Suppose -k*d + 30 = 5*n - 25, 0 = -2*d. Is n a prime number?
True
Let f(y) = 0 + 28*y**2 - 3 + 2. Let t be f(-1). Suppose 0 = m - t - 40. Is m prime?
True
Let w = 18 - -28. Let c = 129 - w. Is c prime?
True
Let y(h) be the third derivative of h**6/120 - h**5/10 - 3*h**4/8 + 5*h**3/3 + h**2. Let i be y(8). Suppose k + 17 = i. Is k composite?
True
Is (15/(-12))/((-1)/28) a composite number?
True
Let j(x) = 3*x**2 + 3*x + 5. Let a(h) = -h**2 + 1. Let p be a(0). Let k(t) = 5*t**3 - 1. Let z be k(p). Is j(z) prime?
False
Let m = -3 + 6. Is (5/2)/(m/66) a composite number?
True
Let q(f) = 8*f**3 + 2. Let i be q(3). Suppose 0 = 2*d - 3*d + 5*h + 50, -4*d + i = -2*h. Is d a prime number?
False
Suppose y = 3*n - 0*y - 96, -n + 21 = -4*y. Is n a prime number?
False
Let s(h) = h - 3. Let o be s(6). Suppose 0 = -o*j + 2*j + 19. Is j a prime number?
True
Let w(b) = -b**2 - 11*b + 2. Let y be w(-11). Let u = y - 0. Is (395/(-10))/(u/(-4)) a composite number?
False
Suppose -2*r + 25 + 89 = 0. Is r a composite number?
True
Let a(n) be the second derivative of 3/2*n**3 + 0 - 3/2*n**2 - n. Is a(2) a prime number?
False
Suppose u - 25 = y - 102, -5*y = 5*u - 405. Is y a prime number?
True
Let j = -860 - -1779. Is j a composite number?
False
Let x(j) = 21*j**2 + 16*j. Is x(-5) composite?
True
Let j(n) = n**2 - n - 2. Let a be j(4). Let g be (1*-8)/(a/25). Let w = g - -39. Is w composite?
False
Let a(x) = -320*x + 1. Is a(-2) a prime number?
True
Let a(m) = 6*m**2 + 5*m + 5. Let c be a(-4). Suppose 2*p - c = 17. Is p prime?
False
Let c be (50/(-8))/((-1)/4). Suppose 8*z - 3*z = c. Let a = 36 - z. Is a prime?
True
Is 205 + 4/2 + -1 a composite number?
True
Suppose -4*w - 32 = -8*w. Is 3/4 - (-306)/w composite?
True
Let j(u) be the first derivative of -u - 1/3*u**3 + 9/2*u**2 + 3. Is j(8) prime?
True
Let f be (3 + (-14)/4)*-12. Let p be (16/f)/(2/3). Suppose -2*n - 314 = -p*n. Is n composite?
False
Let t(n) = n**2 - 4*n - 4. Let z be t(6). Let i = z + -6. Suppose l = i*l - 37. Is l a composite number?
False
Let n = -8 - -8. Suppose -2*x - 3*x + 3*o + 40 = 0, 3*x - 3*o - 18 = n. Is x prime?
True
Suppose 3*i - 2*i - 35 = 0. Suppose -3*c = -512 + i. Is c composite?
True
Suppose -n + 437 = o - 297, -4*n = 20. Is o a composite number?
False
Let f(d) = -39*d + 1. Suppose -b - 3*j - 16 = 0, 6*b - 4*b - 4*j - 8 = 0. Is f(b) a composite number?
False
Let s(p) = -p**2 + 10*p - 1. Let q be s(9). Let y = 14 - q. Is 4 - y - (-33)/1 a composite number?
False
Suppose 5*h = -3 + 8. Let o(u) = 85*u**3. Is o(h) a composite number?
True
Suppose -2 = -j - y, 5*y - y - 8 = 0. Let h be ((-3)/(-3) - 0)*j. Suppose h*q - 3*q + 63 = 0. Is q a composite number?
True
Suppose 2*a - 18 = -0*a. Suppose w + 2*w = a. Suppose -b = 2*d - 91, -d + 135 = 2*d + w*b. Is d a prime number?
False
Suppose -5 - 1 = -2*j. Suppose -j*c + 0*c + 45 = 0. Suppose p = -4*p + c. Is p composite?
False
Let m(b) = -b**3 - 8*b**2 + 8*b - 12. Let a be m(-9). Is (-21)/a*(-30)/(-21) a prime number?
False
Suppose 12*r - 14*r = -1774. Is r composite?
False
Let k(o) = 132*o + 1. Is k(1) a prime number?
False
Suppose 4*c = -5*p + 2725, 2*c + 11*p - 12*p = 1373. Is c a prime number?
False
Suppose -2*v = 4*r - 20, r = 4*v + 4 + 1. Is (-3)/6*v + 11 a prime number?
True
Let w(m) = -2 + m + 0*m + 3*m. Let c be w(2). Let o(g) = g**2 + 3*g - 7. Is o(c)