Let m = s + 1084. Is m a composite number?
True
Suppose -2*b = -2*v - 422, 3*b + 5*v = -2*b + 1095. Let t = b - -50. Is t composite?
True
Is 3/(-12) - 2319/(-12) - 2 a composite number?
False
Let s be (2 - 3)/(-1)*3. Let w(k) = k**3 - 2*k**2 - 3*k - 2. Let p be w(s). Is 0 - -22 - p - -1 composite?
True
Is 3410/5 - (-3 + 2) prime?
True
Let t(b) = b**2 - 3*b + 13. Is t(-10) a composite number?
True
Let w(a) = -10*a + 1. Suppose 0 = -0*j - 4*j - 8. Is w(j) prime?
False
Let t(g) = g**3 + 17*g**2 - 7*g - 53. Is t(-12) prime?
True
Let i(k) = -k**3 - 6*k**2 - 9*k + 2. Let l be i(-4). Is l/(-21) - 1884/(-28) composite?
False
Let i(v) = -19*v + 4. Let u be i(-3). Let o(n) = n - 5. Let m be o(8). Suppose g + 8 = -3*g, -u = -m*t - g. Is t prime?
False
Suppose 4*j = i - 16, -i = -6*i + 4*j + 16. Suppose 0 = -3*c - i*c + 111. Is c composite?
False
Suppose 0 = 2*n + 37 - 2019. Is n a prime number?
True
Suppose b - 10 = 5*l - 28, 3*b = -5*l + 6. Suppose -o - 1 = 0, -2*s - l*o = -o - 26. Let k = s + -7. Is k a prime number?
True
Let n = 1441 + -632. Is n a composite number?
False
Suppose 4*v - 248 = 5*b + 103, 5*b = 3*v - 352. Let u = b + 160. Is u prime?
True
Let t(a) = -28*a - 79. Is t(-6) a composite number?
False
Let w(s) = -23*s**3 - 2*s**2 + s. Let f be w(1). Let p = f - 12. Let l = -22 - p. Is l a composite number?
True
Suppose -2*p - 12 = -5*b, -7 = -3*b + p - 0. Suppose -97 - 89 = -b*t. Is t prime?
False
Let v(f) = f. Let d be v(6). Let z = d + 0. Suppose 0*p + p - 4*i = -6, -z = -2*i. Is p prime?
False
Let s be 6/8 + 2/8. Let b = s - 9. Let k = 47 + b. Is k prime?
False
Suppose -4*r = -3*k + 121, 0 = -3*k - 2*k - 3*r + 163. Let g = -89 + k. Is 1 - (0 - -2) - g a composite number?
False
Suppose -4*m + 235 = o, -o + 247 = -0*m + m. Is o a prime number?
True
Let o be -2*(3 - 2 - 2). Is o/(-13) + (-15972)/(-52) prime?
True
Let z(a) = -40*a - 8. Let m be z(-5). Suppose 2*k - 369 = f, k + 2*f - f = m. Is k prime?
False
Let q(s) = s + 11. Let l be q(-8). Suppose -5*i = 2*v - 236 - 2129, 0 = -l*i + 3*v + 1419. Is i a prime number?
False
Let c be (-1177 + -3)*4/10. Let h = -293 - c. Is h a prime number?
True
Suppose -4*y - 2 = -10. Suppose 0 = -y*r + 2*z + 14 + 2, 0 = -4*r - z + 17. Suppose 0 = -a + 4*a + c - 105, 105 = 3*a - r*c. Is a composite?
True
Let n(c) be the third derivative of 1/10*c**5 + c**2 + 1/24*c**4 + 0 + 0*c - 1/6*c**3. Is n(-2) a composite number?
True
Let l(y) = -y**3 - 13*y**2 - 11*y + 9. Let w be l(-12). Let a(g) = -2*g + 2*g**2 + 4 + 4*g - g. Is a(w) composite?
False
Let n(z) = z**2 + 6*z. Let h be n(-6). Let l be h + 1 - (-5 - -4). Suppose 0 = -l*o - 160 + 458. Is o prime?
True
Let f be 4/26 - (-22)/26. Let s be ((-3)/(-1))/(f/(-31)). Let m = -62 - s. Is m a composite number?
False
Let p be (-15)/(-4) + 1/4. Suppose -5*v - 3*d - 12593 = 0, d - 2*d + 10071 = -4*v. Is p/(-6) + v/(-6) prime?
True
Let m(n) = -7*n + 2. Let u be m(-2). Let i = u - 10. Suppose 35 = i*w - w. Is w a composite number?
False
Let k(b) = 4*b**2 + 8*b + 11. Suppose 0 = -5*y + 4*l - 28, -42 = 3*y + 5*l - 3. Is k(y) a composite number?
True
Suppose 0 = 4*v - 30 - 18. Is 860/(v/3) + -4 prime?
True
Let b be (25/10)/((-5)/(-4)). Is (2/1)/(b/11) a composite number?
False
Let k(z) = -z**2 - 8*z + 5. Let u be k(-8). Let m(g) = 4*g**2 - 5*g + 5. Let i(v) = 8*v**2 - 10*v + 11. Let a(t) = -3*i(t) + 7*m(t). Is a(u) composite?
True
Suppose -7*y + 671 = -1562. Is y composite?
True
Let f(q) = 18*q**2 - 4*q - 5. Let c be f(-5). Suppose c + 250 = 5*g. Is g prime?
False
Suppose -4*c + 0*c - 5*p + 210 = 0, p - 163 = -3*c. Suppose 0 = 3*f - 4*f + c. Is f a composite number?
True
Is (5 - (-1 - -6)) + 673 prime?
True
Let y = -27 + 47. Let p be ((-35)/4)/((-5)/y). Suppose -f + 118 - p = 0. Is f a prime number?
True
Suppose -1665 - 2265 = -6*b. Is b composite?
True
Suppose -4*a + q + 810 = 0, 0*a = -a + 3*q + 197. Is a a prime number?
False
Suppose -2*h = h - 5*u + 14, -5*h + 4*u - 19 = 0. Is (-6)/h - (-21)/3 a composite number?
True
Let m(a) = -5*a**3 + 7*a**2 + 5*a + 4. Is m(-5) a prime number?
False
Suppose -4*j - 2 = 3*d - 20, -j = -4*d + 5. Is 2/2 + d + 30 a prime number?
False
Suppose -4*y = -1636 + 332. Is y prime?
False
Let d = -70 + 125. Is d prime?
False
Let n = 1 - 4. Let w be (-1 + -1)*1*-40. Let d = n + w. Is d composite?
True
Suppose 4*u = 4*h + 2*u - 3810, -2*u + 955 = h. Is h prime?
True
Let p be 12/7 - (-10)/35. Is (p/(-6))/((-2)/2514) composite?
False
Suppose 0 = -11*h + 12*h - 487. Is h prime?
True
Let k(c) = -2*c - 2. Let h be k(-5). Suppose h = -5*y + 4*n - 0, -2*y - 4*n + 8 = 0. Suppose y = -3*r - r + 260. Is r a prime number?
False
Let m(y) = -y**2 + 7*y + 10. Let d be m(7). Suppose 0 = -4*c + 5*c - 5*v + d, 6 = c + 3*v. Suppose c = 5*o - 4*n - 24, 5*o = 3*n + 17 + 6. Is o composite?
True
Let c be (-2)/(-14) - (-65)/35. Suppose 5*q + p + 2*p = 3926, c*q - 1589 = 5*p. Is q composite?
False
Let c(s) = -346*s**3 + 2*s**2 + s. Is c(-1) prime?
True
Suppose -3*c - c + 5*d = 21, -4*c - 2*d = 14. Let o(q) = 2*q**2 + 2*q - 7. Let j(u) = -2*u**2 - 2*u + 6. Let w(t) = c*j(t) - 3*o(t). Is w(2) a prime number?
False
Let w(q) = q**3 + 6*q**2 - 2*q + 3. Let k be (-156)/27 + 2/(-9). Is w(k) a composite number?
True
Let s(d) = d**3 - 19*d**2 + 13*d - 24. Is s(19) a composite number?
False
Suppose 2*l - 5286 = 2*r, 5*l - 3*l = -3*r + 5281. Suppose -5*b = -l - 903. Is b composite?
False
Suppose 0*y + 3*y + 8 = -4*k, y = -2*k - 6. Let r(x) = -x**3 - 4*x**2 - 7*x - 5. Let v be r(-4). Suppose -v = -y*p + 61. Is p composite?
True
Is ((-1)/3)/((-7)/1785) a composite number?
True
Is 2/(-12) - (-60219)/54 a prime number?
False
Suppose 4*a = -2*t + 36, -7*a = -2*a + 5*t - 40. Is a a prime number?
False
Suppose 4*f - 6 - 62 = 0. Suppose 2 = -3*x + f. Suppose -3*i - i = -3*v + 207, 0 = x*v - i - 345. Is v prime?
False
Suppose -i + 3*i - 2 = 0. Let g be i/((-1)/2 - -1). Suppose g*z = 5*z - 111. Is z a prime number?
True
Let t be 1/((8/434)/4). Suppose 345 = 2*w - t. Suppose -2*p + 0*b + 189 = -b, 4*b + w = 3*p. Is p composite?
True
Let p(w) be the third derivative of w**6/18 - w**5/40 - w**4/6 - 2*w**2. Let s(u) be the second derivative of p(u). Is s(2) prime?
False
Let i(n) = n**3 - 6*n**2 + 6. Let s be i(6). Is 819/12 + s/8 composite?
True
Let y = -5 + 7. Suppose -5*i + y*c + 336 = 0, 5*c + 320 - 41 = 4*i. Suppose -2*u + i = -28. Is u prime?
True
Let f(p) = -2*p. Let u be f(-2). Is 158/u*2*1 prime?
True
Suppose x = -2*a - 12, -3*a = 3*x + 2*x + 25. Is x + -129*(-3)/3 a prime number?
True
Suppose -2*n = -0*x - 5*x + 2925, 15 = 3*n. Is x prime?
True
Suppose -47 = 4*i - 3*y + 73, 2*i + 50 = 4*y. Let a = 116 - i. Is a prime?
True
Let q(h) = h + 13. Let u be q(-11). Suppose 3*b + 2*o = 655, 4*b + u*o - 4*o = 892. Is b composite?
True
Suppose 4*g + 3 = g, -5*v + 4*g + 109 = 0. Is (6/9)/(2/v) prime?
True
Let c(v) = 4*v**2 + 3*v + 1. Let l be c(-2). Is (-42)/(-24)*4*l a composite number?
True
Let s = 40 - -9. Is s a prime number?
False
Suppose 0 = -4*u + d - 4*d + 9, -17 = -2*u + d. Suppose 0 = 4*j + u - 2. Is (j/(-2))/((-1)/(-70)) prime?
False
Suppose 5*c = -5*p + 3 + 2, p = -1. Suppose -2*u + 1 = c*w - 29, -4*u = -20. Is w a composite number?
True
Let n(r) = -38*r - 4*r - 9 - 3*r. Let h be n(-6). Suppose -5*y + 5*f - 396 = -1721, f - h = -y. Is y a prime number?
True
Let o = -1664 + 3003. Is o a composite number?
True
Suppose 3*p - 8*z = -3*z - 3, 4*p + 5*z = 31. Suppose p*x - 5*x = -19. Is x composite?
False
Suppose 5*z = -7 - 33. Let w(r) = -4*r**2 - 7 - 5*r - 7*r + 3*r**2 + 2*r. Is w(z) composite?
True
Let s(d) be the third derivative of 1/8*d**4 - 1/3*d**3 - 1/30*d**5 + 2*d**2 - 1/60*d**6 + 0*d + 0. Is s(-4) a prime number?
False
Let z(w) be the first derivative of -6*w**2 - w - 3. Is z(-5) a composite number?
False
Let r(d) = 4*d**2 + 3*d + 12*d**2 + 1 - 5. Let b be r(-5). Suppose 0 = -5*x - 5*h + 395, h = -5*x + 3*h + b. Is x a prime number?
False
Let f be 4/(-6) - 23/(-3). Let m(o) = o**3 - 8*o**2 + 4*o + 3. Let k be m(f). Is 122/18 + (-4)/k prime?
True
Is (-2 + (-9)/(-6))*-818 prime?
True
Let d be 0 + 0 - (1 - 1). Suppose c - 3*l - 43 = d, -l + 251 = 5*c + 68. Suppose -2*k = -k - c. Is k a prime number?
True
Let u = -31 - -128. Is u a composite number?
False
Let p = 5 + -9. Let x(i) = -2