te?
True
Suppose -2*v = -563 - 371. Suppose -5*f + 278 = -v. Is f composite?
False
Suppose 0 = -2*w + 2 - 10, 3*t - 2651 = 5*w. Is t a prime number?
True
Let p(m) = 5*m**3 - 8*m**2 + 7*m - 2. Let j be p(6). Suppose 3*t = j - 235. Is t prime?
True
Suppose -4 - 4 = -2*m. Is (892/(-6))/(m/(-6)) composite?
False
Suppose j - 3*g = 42 + 18, 0 = -5*j + g + 342. Is j prime?
False
Suppose -5*m + 20 = 0, -4*m - 31 = z - 9*m. Let a(s) = -13*s - 16. Is a(z) a composite number?
False
Let j(s) = s**2 + s - 6. Let n be j(0). Let h(p) = -p**3 - 5*p**2 + 7*p - 19. Let z(b) = b**2 - b. Let c(d) = n*z(d) - h(d). Is c(0) prime?
True
Suppose -3*p - 3 = -3*x, -2*p - 4*x = -x - 23. Suppose 76 = 4*a - 3*k - k, -p*a + 48 = 3*k. Is a a composite number?
True
Let l be (-4)/(-6)*(5 + -2). Suppose -5*r - 2*x = l*x - 99, 4*r + 3*x - 80 = 0. Is r a prime number?
True
Let q = -1940 - -3081. Is q a prime number?
False
Is (-9)/3 - -3 - -409 a prime number?
True
Suppose -2*o - 2*o = -16. Suppose -5*j + 31 = -o. Is j prime?
True
Is (-72)/18 - (-638 - 1) composite?
True
Let v(p) = 3*p - 1. Let c(y) = -6*y. Let l be c(1). Let a be 4/l + (-98)/(-21). Is v(a) composite?
False
Suppose 0 = 5*r, 2*y - 2*r - 78 = -r. Suppose -3*u + 18 = -y. Is u a composite number?
False
Let c be ((-12)/10)/((-2)/10). Let u be 6/9*(-6)/4. Let a = c - u. Is a a composite number?
False
Suppose -710 = -2*w + 4*l, 3*l + 16 = -w + 366. Is w a composite number?
False
Suppose i + 81 = -2*b, 3*b - 28 = i - 147. Suppose 3*q = q - 52. Let a = q - b. Is a composite?
True
Suppose -4*f + 2*s + 2 = 6, -f - 2*s + 9 = 0. Is (f + -7)*477/(-18) a composite number?
True
Let d(x) = 87*x**2. Let n(o) = -o**3 + 9*o**2 - 7*o - 7. Let h be n(8). Let p be d(h). Suppose 3*k + 31 = a, -4*a + p + 37 = -4*k. Is a composite?
False
Suppose 0 = -0*y + 5*y. Suppose -2*l = -y*l. Is -1 - (l - 3) - -37 a prime number?
False
Let b = 10 - 7. Let x be ((-2)/(-1) - -1)*b. Suppose 0 = z + 2*w - 3, -z - 5*w = 3 + x. Is z a prime number?
True
Suppose 2*x + 1 = y - 4, 0 = -4*x. Suppose 4*u = -y*z + 83, -2*z + u + 60 = z. Is z a prime number?
True
Let d = -28 - -105. Suppose u - d = -0*u. Is u prime?
False
Let l(v) = -9*v - 3. Let r(k) = 10*k + 3. Suppose -2*p + 4*s - 8 = 0, 0 = -4*p - 0*p + 3*s - 16. Let i(u) = p*l(u) - 3*r(u). Is i(3) composite?
True
Let q(v) = -3*v - 10. Is q(-11) prime?
True
Let j(z) be the third derivative of 5/6*z**3 + 0 - 1/60*z**5 - 5/12*z**4 + 0*z - z**2. Is j(-8) a prime number?
False
Let p(q) = 119*q**2 + q + 1. Let n be p(-2). Suppose 0*l - 5*l + n = 0. Suppose -5*c + l = -60. Is c a prime number?
True
Let j(w) = 0 + w + 8*w + 3 - 2. Let t = 5 - -1. Is j(t) composite?
True
Let h(c) be the third derivative of -c**4/24 + c**3/3 - c**2. Let w be h(3). Let q = 11 + w. Is q prime?
False
Let z(c) = -c**3 + 3*c + 4. Let i be z(5). Let x = -62 - -21. Let p = x - i. Is p a prime number?
False
Suppose -2*d = -3*x - 903, -6 = -x + 3*x. Is d a composite number?
True
Let m = 2 + -4. Let d be 3/m*4/(-3). Suppose -d*n - 3*n - 325 = -5*a, -3*n + 219 = 3*a. Is a prime?
False
Let a = 14 - 6. Let n(h) = h - 3. Let p be n(a). Suppose -3*d + 5*w + 20 = -2*d, p*d - w - 76 = 0. Is d composite?
True
Let z(j) = 5*j**3 + 0*j**3 - 4*j**3 - 3 + 2*j**2 - 3*j. Let r be z(3). Let u = 46 - r. Is u a composite number?
False
Suppose -2*h + 17893 - 3774 = u, -2*u = 5*h - 28241. Is u composite?
True
Let t(u) = u - 16. Let q be t(13). Is 1/(158/(-53) - q) a prime number?
True
Suppose -2*x + x + 29 = 4*q, -q - 2*x = -2. Let l be (-2)/(-8) - (-2030)/q. Is l*(-2)/(-8)*2 a composite number?
False
Suppose 3*q - 3*v = -39, -3*q + 8*q + 44 = -2*v. Suppose 0*n - 71 = -5*z - n, -56 = -4*z - n. Is q/z + (-130)/(-6) a prime number?
False
Suppose 2*f = -5*x + 631, -4*x - f + 3*f + 512 = 0. Is x a prime number?
True
Let w = -15 - -31. Is (596/w)/(1/4) a prime number?
True
Let q be (1 + -2)*-1 - -4. Suppose -3*n + q*b + 59 = 0, 0 = -2*n - 4*b - 26 + 80. Is n prime?
True
Let i = 1937 + -970. Is i composite?
False
Suppose 0 = -6*a + 2*a. Let n(w) = -w**3 + w**2 + w + 77. Is n(a) a composite number?
True
Is 2*(57295/10)/7 a composite number?
False
Let m(q) be the third derivative of -q**4/4 + q**3/6 + 2*q**2. Is m(-5) prime?
True
Suppose 4*z + 2*c - 3480 = 0, 2*z + 2*c - 1744 = 3*c. Is z a composite number?
True
Let v(h) be the first derivative of -2*h**3/3 - h**2/2 - h + 3. Let a(l) be the first derivative of v(l). Is a(-9) a prime number?
False
Let y(c) = -c**3 - 4*c**2 + 6*c + 6. Let g be y(-5). Let w(i) = 4*i**3 + 2*i - 1. Let n be w(g). Suppose 16 = 3*o - n. Is o a prime number?
True
Suppose -16*l + 11*l + 12295 = 0. Is l a composite number?
False
Let j(w) = w + 3 + 0*w - 3. Let y be j(2). Suppose -126 = -2*d - 0*f + 2*f, y*f = -3*d + 169. Is d prime?
True
Let a = 53 + -16. Is a composite?
False
Let p be 0 + ((-9)/(-1) - 1). Suppose o + 3 = p. Suppose -o*f = -118 - 112. Is f a prime number?
False
Suppose -9 = -4*v + 39. Let a = v + 19. Is a a prime number?
True
Suppose -3*t - 5*s - 5 = 0, 3*s = 3*t + 2*t - 37. Suppose t*o - 536 = -2*u, 0*o - 2*u - 312 = -3*o. Is o a composite number?
True
Suppose -q = 3*i - 133, 3*q = -2*q + 4*i + 665. Is q prime?
False
Let s(h) be the second derivative of 27*h**3/2 + 2*h**2 + 2*h. Is s(3) a prime number?
False
Let k(v) = 15*v**2 + 4*v - 3. Is k(2) composite?
True
Let f(w) = 8*w**2 + 3. Let b = 7 - 12. Is f(b) composite?
True
Let q(p) = 2*p**2 - 7*p - 2. Let y be q(8). Let v = y + 64. Is v a prime number?
False
Let a = -1014 - -1489. Suppose -5*q + 0*l + a = -3*l, 0 = q - 5*l - 117. Is q/24 + 1/6 composite?
True
Let a be 0/(-4) - 0 - -4. Is (a/6)/(26/8229) a prime number?
True
Let r = -11 - -11. Suppose r = q + 118 - 449. Is q prime?
True
Let s = 1994 + -409. Is s composite?
True
Suppose s + 0*s - 74 = 0. Is s prime?
False
Suppose 0 = -0*j - 3*j + 342. Let k be (j/8)/(5/120). Suppose 5*y = -67 + k. Is y a prime number?
False
Let v(h) = h**2 - 4 + h**2 + 3*h**2 + 10*h - 5 - h**3. Is v(6) a prime number?
False
Let g = 6 + 8. Let a = g - -5. Is a a composite number?
False
Let i be -13 - (-1 - -2 - 0). Is (i/(-4))/((-1)/(-26)) a composite number?
True
Suppose 5*d - 1396 = 4*p - 3*p, 568 = 2*d + 2*p. Suppose -d + 89 = -k. Is k a composite number?
False
Let f be (89/(-2))/(2/(-12)). Is -3 - (0 + (-1 - f)) a prime number?
False
Let g(c) = 0*c - 4 - c**3 - c - c**3 - 2*c**2. Is g(-3) a composite number?
True
Suppose 0*u + 4 = u, -4*x = u. Let c = x - -5. Suppose -7*v + 165 = -c*v. Is v composite?
True
Let s(w) = w**3 - 7*w**2 - 7*w - 2. Let a(v) = 4*v. Let z be a(4). Suppose b + z = 3*b. Is s(b) prime?
False
Suppose 0*g + 2*g + 5*t = -25, 2*t + 6 = 0. Is (3 + g)/((-2)/79) prime?
True
Suppose -2*q + 377 = 19. Is q a prime number?
True
Let z be ((-20)/6)/((-2)/3). Suppose -2*x + 12 = 2*s + 2*s, z*x + 22 = 3*s. Suppose -104 = 2*u - s*u - w, 4*u + w - 210 = 0. Is u a composite number?
False
Suppose 4*j - 3234 = -5*v, 705 = 4*j - 5*v - 2549. Is j prime?
True
Let j = -14508 - -21415. Is j a composite number?
False
Let u be -1*3*(-5 - -4). Let k be (-2)/8 - (-1)/4. Suppose u*j + k*j = 9. Is j prime?
True
Let t be (-1)/((-4)/(-4164)*3). Let j = -54 - t. Is j composite?
False
Suppose 22 = 4*a + 2. Suppose k = -5*d + 448, -a*k + 3*k - 172 = -2*d. Is d prime?
True
Let y(i) be the third derivative of -i**5/60 + i**4/4 + 5*i**3/6 + 3*i**2. Let u be y(6). Suppose -4*d = 2*x - 53 - 77, -u*d + x + 166 = 0. Is d prime?
False
Suppose 0 = 4*q + r - 1200 - 492, -2*q = 5*r - 828. Let t = q - 281. Is t a composite number?
True
Let i(a) = a**3 + 1 + 6*a**2 - 3 + a**3 + 2*a - 3*a**3. Is i(6) a prime number?
False
Let j(i) = i**3 + 8*i**2 - 7*i + 5. Let l = -5 + -1. Is j(l) composite?
True
Suppose -3*a - 3248 = -4*o + 530, -2827 = -3*o - a. Is o composite?
True
Suppose 0 = 5*i - 599 - 11066. Is 6/(-27) - i/(-9) a prime number?
False
Let f be 2/(-7) - (-30430)/(-70). Let d = f - -646. Is d a prime number?
True
Suppose 3*l + 1021 = 2*m, 7*m - 3*m - 2069 = -3*l. Suppose -a + m = 4*a. Is a a composite number?
False
Let y(s) = -31*s**2 + 2*s + 1. Let o be y(2). Let p = -66 - o. Is p a prime number?
True
Suppose 5*j = 8*j - 99. Is j composite?
True
Let u = -372 - -818. Is u composite?
True
Suppose 0 = 3*a + 2*a - 10. Let w(g) = 14*g**2 - g + g - 2*g + 3. Is w(a) a pr