umber?
False
Let s(l) = l**3 - 2*l + 427. Is s(0) composite?
True
Let a = 2 + 2. Suppose 2*p = a*c + p - 3, 5*c - 15 = -p. Suppose 8 = -c*k + 54. Is k composite?
False
Suppose 3*u - j - 6998 = 0, u - 2329 = 3*j + j. Is u composite?
False
Suppose a - 26 - 22 = -2*k, -4*k + 108 = -4*a. Is 3*(-1 - (1 - k)) a composite number?
True
Let b be 50 - (-2 + 1 + 0). Let q = b - -18. Is q a composite number?
True
Let g(o) = -o**2 + 2*o. Let u(q) = 3*q**2 - 5*q + 1. Let v(t) = 9*g(t) + 4*u(t). Is v(-3) prime?
True
Let n be (-88)/(-2*3/60). Suppose w - 6*w + n = 0. Suppose -w = -4*k - 3*q - q, -5*k = -q - 250. Is k a composite number?
True
Let s be (0 - 0/(-1))/(-1). Let t = s - 0. Suppose t = -z + 2*z - 2. Is z a prime number?
True
Suppose -2*i = -m - 2667, -4*i = -m - 1322 - 4017. Suppose 3*q = -5*v + 967, -9*v = -4*q - 4*v + i. Is q a composite number?
True
Let z(k) = 8*k - 9*k + 6 + 7. Let j be z(9). Suppose 3*c - 137 = x, 0*x = 2*c + j*x - 110. Is c prime?
True
Let k(o) = 1 - 3 + o**3 - 8 + 10*o**2 + 4*o. Is k(-7) composite?
False
Suppose 9*k - 11*k = -14. Let m(s) = 0 + 4*s**2 - 6*s + s - 4. Is m(k) composite?
False
Let f(x) = -8*x**3 + x**2 - x - 4. Let q be f(-3). Suppose 3*k - 671 = -q. Is k a composite number?
False
Let b(n) = 31*n**3 + 4*n**2 + n + 1. Is b(4) a prime number?
True
Suppose -k + 8 = 4*n + k, 3*n - 5 = -2*k. Let t = n - 3. Suppose -3*j - 2*j + 225 = -2*y, 4*y - 20 = t. Is j prime?
True
Let s be 2162/(-4)*(5 - 7). Let d = s + -440. Is d composite?
False
Let v = 4935 + -2325. Suppose 0*g - 4*g + v = 2*d, 4*d - 1945 = -3*g. Is g a prime number?
False
Let x(i) = i**3 - 5*i**2 + 3*i - 2. Let z be ((-4)/5)/((-3)/15). Let r be x(z). Is (-58)/(-1*r/(-15)) composite?
True
Suppose -4*x = -w + x + 44, 5*w - 304 = -3*x. Is w a prime number?
True
Is (-8)/(-12) + (-2075)/(-15) composite?
False
Suppose -c = 3*c + 4. Let s(y) = -159*y**3 - y**2 - 2*y - 1. Is s(c) prime?
False
Let q = 657 + -326. Is q a composite number?
False
Let d = 17 + -12. Let q(x) be the third derivative of x**5/20 - x**4/24 - x**3/2 - 2*x**2. Is q(d) composite?
False
Let m be (30/12)/(1/120). Suppose 0 = 5*g - 305 - m. Is g composite?
True
Let x(o) = -21*o**3 - 2*o**2 - 2*o - 1. Let m(w) = -41*w**3 - 3*w**2 - 3*w - 2. Let q(f) = 3*m(f) - 5*x(f). Is q(-2) prime?
False
Suppose 4*p - 6 = 2. Suppose 263 = 5*w + 4*n, -p*w - 20 = -n - 133. Is w composite?
True
Let h(b) = b**3 - 8*b**2 - 10. Let s be h(8). Let r = 18 + s. Let m(v) = v**3 - 7*v**2 - 2*v + 1. Is m(r) a prime number?
False
Let v = -3 + 0. Let x = 276 - 849. Is (0 - -1)/(v/x) prime?
True
Suppose 8 = -4*t, k - 241 + 63 = -t. Is k + 2 + (1 - 2) prime?
True
Let p(b) = -b - 1. Let i be p(-7). Let q(y) = y**3 - 4*y**2 + 5. Is q(i) composite?
True
Let b = 5378 - 2827. Is b a composite number?
False
Suppose -6 = -5*v + 2*v. Let w be 6/(-8) - 1/4. Is 246/12 - w/v composite?
True
Let p(h) = -h**3 + h - 2. Let s be p(-2). Suppose -s*r = -12 - 12. Let y(g) = 2*g**3 - 10*g**2 + 8*g - 5. Is y(r) composite?
True
Suppose -23 - 34 = -3*i. Is i a prime number?
True
Is (3/2 - (-18)/(-12)) + 77 a composite number?
True
Let o be (-4)/(-18) - 2/9. Suppose o = v + 3 - 8. Suppose -v*t = 5*w - 0*w - 285, 230 = 4*w + 3*t. Is w a composite number?
False
Suppose -5 = 3*g + 4*s, -2*g = -2*s - 0*s + 8. Let b be (-14)/g - (-2)/(-3). Is (174/b)/(4/8) a composite number?
True
Is (-310)/(-4) + 6/4 a composite number?
False
Let n be 2 + -3*4*-1. Is -82*n*(-3)/12 a prime number?
False
Suppose 5*u - 3*a - 1622 - 4127 = 0, a = -2*u + 2304. Is u composite?
False
Let w = -30 - -20. Let j be ((-9)/12)/((-1)/(-4)). Let y = j - w. Is y composite?
False
Suppose -4*x + 9 = -3. Suppose x*c + c = 0. Let j(h) = h + 15. Is j(c) a prime number?
False
Let k(t) = 188*t**2 - 3*t + 2. Is k(1) a composite number?
True
Suppose 328 = p - 83. Is p composite?
True
Let d(j) = -j**2 + 3*j - 1. Let i be d(2). Suppose 5*m - 4*n - 64 = 3*m, 3*n + 132 = 5*m. Let g = m - i. Is g a composite number?
False
Let p = 6 + 6. Suppose -1512 = -5*n + 63. Is 3/p - n/(-4) prime?
True
Suppose -20*g = -4*g - 49360. Is g a composite number?
True
Suppose 6*l = 3*l - 1434. Is 2/(1430/l + 3) a composite number?
False
Let q(s) = -2*s**3 - 7*s**2 + 2*s + 4. Let u be q(-6). Suppose 4*n - u = 336. Is n a prime number?
True
Suppose 0*r - 3*y = 4*r + 77, r - 4*y + 43 = 0. Let g be -36*16/(-1 + -3). Let p = g + r. Is p prime?
False
Let h(a) = -a**3 + 2*a**2 + 5*a - 4. Let p be h(3). Suppose -3*b = -4*q - q + 28, 0 = 3*b + 3. Suppose 2*o - 32 = -k + o, 49 = p*k + q*o. Is k prime?
True
Suppose w - 530 = -0*w. Suppose 3*h - w = h. Is h a prime number?
False
Let o(w) = w**3 - 3*w + 2. Let h be o(2). Suppose -4*v - 60 = -5*k, 4*k = 5*v - 10*v + 48. Suppose 2*u = -h*t + 14, 28 = 5*t + 2*u + k. Is t prime?
True
Let y(f) = f**3 + 5*f**2 - 5*f + 2. Let w be y(-5). Is -694*(4 - w/6) composite?
False
Let h(c) = 11*c + 3. Let o be h(-3). Is 4/10 + (-1578)/o a prime number?
True
Let a = 34 - 24. Let q = a - 6. Suppose q*c - 2*f = 298, -2*f + 3*f - 5 = 0. Is c a prime number?
False
Suppose 2*o + 815 = -3*q, -q = o + q + 407. Let m = -190 - o. Is m composite?
True
Suppose 2*x + 0*x + 2*m = 888, -2*x + 913 = -3*m. Is x a composite number?
False
Is (-1137)/(-18)*12/2 composite?
False
Let v = -32 - -208. Let h be -1*(-80 + 1)*-1. Let t = v + h. Is t composite?
False
Is (1245/(-20) + -2)*(-6 - -2) composite?
False
Let s(x) = x**2 + 10*x - 9. Let p be s(-11). Is (-3 - -425)*p/4 prime?
True
Let l be 22/4 - (-2)/(-4). Suppose -l*s + 129 = q + 2*q, 8 = -4*q. Suppose -2*v + s = 7. Is v composite?
True
Suppose -4*j + 120 = -4*a, 0 = a - 3. Let x = j + -14. Is x composite?
False
Let j(s) = s**3 + 5*s**2 - 6*s + 7. Let v be (-3)/6 - (-11)/(-2). Is j(v) a composite number?
False
Let j(f) = f**3 - 5*f**2 + 2*f - 6. Let o be (-30)/(-2)*1/3. Let t be j(o). Suppose 93 + 215 = t*r. Is r a prime number?
False
Let f(g) = g**3 - 4 - g**2 + 15*g**2 + 17*g - 5*g. Is f(-9) a prime number?
True
Let y be 1 + ((-2)/2 - -2). Suppose -25 = 5*u, y*u + 0*u - 5 = -5*p. Suppose 1 = v + 3*i, 36 - 13 = p*v - i. Is v composite?
False
Let s(k) = 4*k. Let v be s(1). Let z = 64 + -43. Suppose v*w - z - 55 = 0. Is w composite?
False
Let d = 2 - 2. Suppose -4*j + d*j = -44. Is j a prime number?
True
Let m = 12 - 23. Let j(l) = -l**3 - 5*l**2 + 3*l - 10. Is j(m) composite?
False
Let r = 1990 + -647. Is r prime?
False
Suppose 269 = 2*n - 515. Suppose 3*i = -4*a + 5*i + n, -3*a = -i - 293. Is a composite?
False
Let u = -7 - -9. Is ((-1)/u)/(2/(-268)) composite?
False
Suppose 2*u = 6 + 2. Suppose -2*i - 4*k = -42, -u*i + 5*k - 62 = -7*i. Is i prime?
True
Suppose n - p - 4769 = -4*n, 5*n + 4*p = 4749. Is n a composite number?
False
Let q(a) be the first derivative of a**3/3 - 7*a**2/2 + 7*a - 2. Let n(z) = z**3 - 3*z**2 + 4*z - 2. Let c be n(3). Is q(c) composite?
False
Let y(h) = h**2 + 6*h - 1. Suppose 34 - 6 = -4*j + 2*f, -3*f = 4*j + 18. Let z be y(j). Is (-11)/(z/10*2) a composite number?
True
Suppose -105 = -3*i + 42. Is i a prime number?
False
Let l = 1 + 1. Suppose l*z + 5 = 479. Is (z/(-6))/((-1)/2) prime?
True
Let g = 23859 - 15592. Is g a composite number?
True
Let m = 11 + -23. Is ((-3)/m)/((-3)/(-1308)) a composite number?
False
Let n = -44 - -363. Is n a composite number?
True
Let t = -2 - -4. Suppose -71 = p + w - 166, -3*w + 194 = t*p. Is p prime?
False
Let h be 3/(-3 + 111/36). Let x = h - 14. Is x a composite number?
True
Suppose -5*z + 5*l = -0*z - 215, -2*z + 81 = -l. Let r = z - -50. Suppose 5*u - 95 = -3*p, -4*p + u = -2*u - r. Is p a composite number?
True
Suppose 0*m - 676 = -4*m. Let s = 427 - m. Suppose 3*i - s = 9. Is i a prime number?
True
Let p be (0 + 2/(-1))*1. Let i be 1/(-1 - p)*5. Suppose i*n + 4*d - 1007 = 0, -3*n + n = 3*d - 407. Is n composite?
False
Let u(w) be the third derivative of -w**6/15 + w**5/30 + w**4/12 + w**3/3 + 2*w**2. Let i be u(3). Let m = i + 281. Is m a composite number?
True
Let z(q) = 80*q**2 + 10*q - 1. Is z(-5) composite?
False
Let z = 843 - 446. Is z composite?
False
Suppose -s - 12 = 2*s. Let q(a) = 7*a**2 - 6*a - 5. Is q(s) a composite number?
False
Let x(w) = -98*w - 1. Let c be x(-1). Let y = -63 + c. Is y prime?
False
Let k(s) = -54*s - 1. Is k(-6) prime?
False
Suppose -30 = -2*f - 10. Suppose f + 3