3 + 0*s**3 + 5*s - 6*s**2 - s**3. Is f(j) prime?
True
Is ((-254)/6)/((-4)/(14 + -2)) a composite number?
False
Let z(y) = y - 7. Let g be z(7). Let r = -39 - -86. Suppose -282 - r = -4*i + 3*u, 5*i + u - 416 = g. Is i a composite number?
False
Let y(m) = -m + 2. Let t(h) = 2*h - 3. Let f(a) = 5*t(a) + 7*y(a). Let i be f(1). Let o = 13 + i. Is o prime?
False
Suppose 0 = -4*s - 0*s + 20, -3*i + 889 = 2*s. Is i prime?
True
Suppose -5*f + d + 3751 = -679, -5 = -d. Is f a prime number?
True
Suppose i = -3*z + 10, -2*z - 18 = -3*z - 4*i. Suppose z*v = v + 37. Is v composite?
False
Let n = 3515 + 7482. Is n composite?
True
Suppose 4*w - 3*w = -3*d + 11, 0 = 2*d + 5*w - 3. Let n be 66/4 - (-6)/d. Is (-74)/(-10) + n/(-45) composite?
False
Suppose -850 = o - 6*o. Let l = o + -103. Is l prime?
True
Suppose 3*d - 5*b + 7 = 0, -b - 3*b + 50 = 5*d. Suppose -708 = -10*m + d*m. Is m prime?
False
Let p(i) = 2*i**2 + 2*i + 799. Is p(0) a composite number?
True
Let z(m) = m**3 + m**2 - 4*m - 9. Is z(6) a prime number?
False
Let s(h) = 10*h**2 - 2*h + 7. Is s(8) prime?
True
Let c be (-2 + (0 - -6))*-2. Is c/(-2)*(-892)/(-16) prime?
True
Let y = 2 + 0. Suppose 0 = k + y*k - 99. Is k a prime number?
False
Let s(n) = -n - 3. Let h be s(-3). Suppose y - 2 + 0 = h. Let c(p) = -p**3 + 3*p**2 - 2*p + 3. Is c(y) prime?
True
Let g = -32 + 75. Is g composite?
False
Let n(b) = -14*b**3 + 9*b**2 + 23*b + 8. Let j(p) = -8*p + 5*p**3 + 2*p**3 - 3 - 3*p**2 - 2*p**3. Let c(m) = -11*j(m) - 4*n(m). Is c(6) a prime number?
False
Suppose 0 = -87*d + 92*d - 20765. Is d composite?
False
Let a(o) = 6*o + 5 + o**2 - 3*o - o. Is a(-4) prime?
True
Let a be ((-2)/2)/((-1)/4). Suppose -a = -3*s + s. Suppose 5*z = -3*h + 5*h - 4, 3*h - 25 = -s*z. Is h prime?
True
Let p be 1290/2 + (-11 - -11). Suppose p = k + 4*k. Is k a prime number?
False
Suppose 5*v = 7 + 28. Is v a prime number?
True
Suppose -3*d - 4*z + 79 = 0, d = -0*z + z + 17. Is d prime?
False
Is (0 - -35)/(-9 - -10) a composite number?
True
Suppose 5*u - 1000 = 2*i, 3*u = 6*i - 2*i + 600. Is u/14 + 4/(-14) a prime number?
False
Let i be (-6)/4*2 + 10. Let w = i + 44. Is w prime?
False
Let u(h) = 6*h**3 - 22*h**2 - 2*h + 23. Is u(10) prime?
True
Let s = 618 - 29. Is s composite?
True
Suppose -3*y + 71 = 2*b, 4*b + 5*y = 203 - 64. Suppose -m = -350 + b. Is m a composite number?
True
Suppose -4*n + 7 + 9 = 0. Suppose 2*i = -2*i + 3*g + 15, -2*g + 10 = n*i. Suppose -127 = -2*o - r, -2*r + 198 = i*o - 3*r. Is o a composite number?
True
Suppose x + x - 6 = 0. Let l be (2/x)/(2/6). Suppose n = -l*n + 147. Is n composite?
True
Let i(m) be the second derivative of 161*m**3/3 + m**2/2 + 3*m. Is i(1) a composite number?
True
Suppose 0 = 24*y - 25*y + 33. Is y a composite number?
True
Let y(q) = -q**3 + q**2 - q + 1. Let v be y(2). Let t = v + 23. Suppose -l - p + t + 51 = 0, -l + 61 = -3*p. Is l prime?
True
Suppose 4*q - 5*w = 1684, 5*w = -q + 6*q - 2105. Suppose -h = 4*g - q, g + 15 = h + 124. Is g a composite number?
True
Let h(s) be the first derivative of -2*s**4/3 + 13*s**3/6 - 2*s**2 + 1. Let z(o) be the second derivative of h(o). Is z(-9) a composite number?
False
Let b = 118 - 81. Is b composite?
False
Suppose -3*d + 5*t + 546 = 0, 3*t = -4*d + 5*d - 178. Suppose -2*n - d = -5*n + 2*l, l = -5. Is n a composite number?
False
Suppose 2*s - 15 = -3*s. Is (-1 + 0)/(s/(-2859)) composite?
False
Suppose 2*w + 2*h - 7*h = 15, 0 = 5*w + 2*h + 6. Suppose -2*s + 6*s - 5*a - 153 = w, 0 = -5*s - 3*a + 182. Is s a prime number?
True
Let t(l) = l**2 + l + 5. Let k be t(0). Let d = 8 - k. Let a = 18 + d. Is a a prime number?
False
Let n(t) = 11 - t**3 + 6*t - 4 - t - 4*t**2. Let p = 10 - 16. Is n(p) prime?
False
Let x be -1 - ((2 - 15) + 3). Suppose -3*a = -x - 0. Suppose 0*l - l = r - 84, -3*r = -a*l + 270. Is l a composite number?
True
Let p = 164 - 84. Is p/(-8)*3/(-5) composite?
True
Let p(r) = 5*r**3 + 8*r**2 - 8*r - 6. Let u be p(7). Suppose 4*d = 3*t - 0*t + u, 0 = -d - t + 520. Is d a prime number?
False
Suppose 3*w + 2*l - l = 22, 5*l - 20 = 0. Is 182/w - (-6)/9 composite?
False
Let z(r) = 4*r**2 - 29*r + 22. Is z(15) composite?
False
Let i = -83 - -121. Let h = -27 + i. Is h a composite number?
False
Let q(t) = -t**3 + 6*t**2 - 3. Let j = -5 + 1. Is q(j) composite?
False
Let t(p) = 59*p**2 + p + 1. Suppose -6*m = 4*i - m - 23, -i - m + 5 = 0. Suppose 5*g = 3*g - i. Is t(g) a composite number?
False
Let s(w) be the second derivative of w**5/20 - w**3/3 - 3*w**2/2 - w. Suppose -5*b + 20 = -0*b, 4*t = -3*b + 28. Is s(t) a composite number?
False
Let k(j) = 218*j**3 - 2*j**2 + 2*j - 1. Suppose 5*l + 3*w = 14, 3*l + 5*w - 13 - 5 = 0. Is k(l) a composite number?
True
Suppose -2*n + 1115 = 5*l, -l - 4*n - 45 + 268 = 0. Is l a prime number?
True
Let f = -8 + 10. Suppose 4*l - 5*u - 208 = 0, -f*l + 4*u + 50 = -60. Is l prime?
True
Let c(h) = 8*h - 4. Let w be c(7). Suppose 0 = 3*f - 4*y - 283, -377 = -5*f - 4*y + w. Is f prime?
True
Let k = -10 + 14. Let w = k + -2. Suppose 0*d = -w*d + 12. Is d a prime number?
False
Suppose -1573 = -3*i + 5*t - 150, 4*t + 1427 = 3*i. Is i a composite number?
True
Let k(h) = -h + 3. Let l = -3 - -5. Let s be k(l). Is (53 - 4) + s*2 a prime number?
False
Let g(k) = 11*k - 7 + 2 + 0*k**2 + 2*k**2. Let a be (-5)/10 - 30/4. Is g(a) a prime number?
False
Let s = 0 + 3. Let u be 2/(-9) - (-112)/18. Suppose 0 = 4*q - s*q - u. Is q prime?
False
Let v = -1073 - -1510. Is v prime?
False
Suppose 6*u - 2318 = 676. Is u composite?
False
Let n be (0 + 3)*(0 + 1). Is 3 + -447*(-2)/n composite?
True
Let o(i) = i**3 - 5*i**2 - i - 1. Let m be o(5). Is -254*(27/m + 4) composite?
False
Let y be 1 + (-2 + 1 - 8). Is (-14)/y*(4 + 0) prime?
True
Suppose -2*p + 2554 = 3*w - p, -2544 = -3*w - 3*p. Is w a prime number?
True
Suppose 3*j - 621 = -d, -4*d - 4*j - 535 = -3035. Let c = d - 416. Is c prime?
True
Let u(i) = -i**3 + 4*i**2 - 3*i - 2. Let m be u(3). Let t = -27 - m. Is (4 + -2)/((-2)/t) prime?
False
Let d(x) = 12*x**2 + x + 1. Suppose 2*f + 23 = -17. Let k be (2 + -1)/((-10)/f). Is d(k) prime?
False
Suppose 9*g = 5*g + 1012. Is g prime?
False
Suppose -t + 4*a = -369, -a = 4*t - 4*a - 1502. Is t a prime number?
False
Let i = 59 - 4. Suppose 3*t - i = -2*x, t - 4*t + 9 = 0. Is 8/(-4) + 1 + x prime?
False
Is (16/(-12) + -1)*-291 a prime number?
False
Let b = -17 + 20. Suppose 0 = -0*g + b*g - 111. Is g a prime number?
True
Let v = -5 - -5. Suppose -2*u = -v*u. Let o(s) = s**2 + 34. Is o(u) prime?
False
Suppose -5*p + 5955 = 5*h, 3*h + 2*p - 1561 = 2008. Is h a composite number?
False
Suppose w - 4*w = f + 61, 5*w + 107 = f. Is (-4551)/w + (-2)/(-7) a composite number?
True
Let b = 28 - -9. Is b a composite number?
False
Let b(w) = 2*w**2 - 2*w - w**2 - 2*w**2 + 2. Let j be b(-5). Let f = 6 - j. Is f a prime number?
True
Let q(h) = -h**3 - 4*h**2 + 2*h - 5. Let z be q(-5). Suppose 5*x - y + 29 = 0, 0*x + 2*x - 3*y + 9 = 0. Is x/(-10) + 214/z composite?
True
Let z(b) = 5*b - 9. Suppose -7 = -g - 0*g. Let c be z(g). Is c*1/2*5 a prime number?
False
Let a(t) = 8*t**2 - 3*t + 5. Is a(2) composite?
False
Suppose -g + 9 = 2*g. Suppose -g*z = -z - 134. Is z a prime number?
True
Let l = 29 - 19. Suppose 8 = k + 3*k. Suppose -k*a + 3*a = l. Is a a composite number?
True
Suppose 3*q + 17 = 4*q. Suppose 5*c + 3*b - 257 = 0, -b + 85 = 2*c - q. Is c composite?
True
Let j(s) = 9*s**2 - 1. Let l be j(-1). Suppose -3*x = -l*x + 20. Suppose 0 = 3*r - x*r + 21. Is r prime?
False
Let z = 20 + -14. Let o = 10 - z. Suppose -4*y - 2*r = -162, -y + o*r = y - 106. Is y prime?
True
Suppose 37 = p - 2*a, 0*a - 151 = -4*p + 5*a. Is p a prime number?
False
Suppose 5*w - 5*q = 0, 0 = 2*w + 3*q + 25. Let s be (-5)/((-25)/2)*w. Is (-237)/(-6)*(8 + s) a composite number?
True
Let f(i) = -i**2 - 5*i + 8. Let u be f(-6). Let z be u*-1 + 0 - 0. Is z*(-2 + 126/(-4)) a composite number?
False
Suppose -4*z = 5*b - 441, 4*b - 4*z - 271 = b. Is b composite?
False
Let f(t) = 82*t - 21. Is f(6) composite?
True
Let l(k) = -k - 8. Let q be l(-6). Let m be (q + 0 - -2)/3. Suppose 0*b - 3*b + 237 = m. Is b prime?
True
Let d = -36 + 46. Is d a prime number?
False
Suppose 3*m + r - 12 = -4*r, 3*r - 12 = -3*m. Suppose m*l - 3*l - 82 = 0. Is l prime?
False
Let d(k) = 18*k**2 + 26*