*s = -r, s - 6 - 13 = -3*a. Is (-3 + 5 + 1)*a prime?
False
Let s be (-1)/(-3) - (-6)/9. Let b be (0/s)/(-3) + 5. Suppose 7 - 202 = -b*o. Is o a composite number?
True
Let c be (-58)/6 - (-2)/(-6). Is 2 + (-1)/1 - c prime?
True
Let p(y) = 381*y - 10. Is p(9) composite?
True
Let w(x) = x - 10. Let p be w(11). Let k(i) = 54*i**2 - 2*i + 1. Is k(p) a prime number?
True
Let o be (-320)/12*(-51)/2. Suppose -3*r = -w + 148, 0 = -w - 4*w + 3*r + o. Is w a prime number?
False
Let i(u) = -22*u + 5. Let p be i(-5). Let x(f) = -f**2 - 10*f - 5. Let c be x(-9). Suppose -n + p = c*n. Is n a composite number?
False
Suppose 28 = 3*h + 247. Let l = 126 + h. Is l a prime number?
True
Is -2*(3 - 46) + -3 composite?
False
Let w(h) = 3 - 1 - 3 + 16*h. Let t be 8/6*(-6)/(-4). Is w(t) composite?
False
Suppose -6 = -2*v + 2. Let i = v + 29. Is i a composite number?
True
Suppose -113 = -c + 14. Is c prime?
True
Suppose -3*s - 15 = -8*s. Suppose -5*q + 886 = -s*q. Is q a composite number?
False
Let p(n) be the first derivative of -n**4/4 + 8*n**3/3 - 7*n**2/2 + n - 3. Let l be p(7). Is l - 84/(0 + -2) composite?
False
Let q = -105 + 67. Let t = -5 - q. Is t a composite number?
True
Suppose 6 = -5*x - 9. Let f = -1 - x. Suppose -2*u + 2*b - 479 = -7*u, f*u - 206 = 4*b. Is u composite?
False
Suppose p - 4 = -5*h, 0*h = -4*p - 5*h - 59. Let n = p + 67. Is n a composite number?
True
Let s = 169 - -42. Is s a composite number?
False
Let g(b) = -b**3 + 5*b**2 + b + 15. Let m be g(7). Let n = -17 - m. Is n composite?
False
Let l(w) = w**3 - 2*w**2 + 8*w - 1. Let q(d) = -5*d**3 + 1. Let p be q(-1). Is l(p) a prime number?
True
Let t(j) = 180*j**2 + 6*j + 11. Is t(-2) a prime number?
True
Let j(g) = -g**2 - 5*g + 7. Let x be j(-5). Let f = 11 - x. Suppose 733 = 5*k - v + f*v, -k - v + 145 = 0. Is k a prime number?
True
Let j(v) = -5*v - 1. Let z be j(-1). Let o(f) = 23*f**2 - 2*f + 5. Is o(z) a prime number?
False
Let p(a) be the third derivative of 35*a**4/24 + 7*a**3/3 - 6*a**2. Is p(7) a composite number?
True
Let n = 11 - 7. Let v be n/4 + (1 - 3). Let l(j) = -52*j + 1. Is l(v) a composite number?
False
Is ((-4)/6)/(22/(-10263)) composite?
False
Suppose -2*j + 49 - 3 = 0. Is j prime?
True
Is (1/(-2))/(2/(-6236)) + 0 composite?
False
Suppose -3*u + n + 5 = 0, -5*u + 4*n = -4 - 16. Suppose u = q - 75 - 256. Is q prime?
True
Suppose 2*v + 15 = 5*v. Suppose 3*y - v*y + 134 = 0. Is y composite?
False
Let o = -13 - -18. Suppose 7 = -o*d - 8, -611 = -p - 4*d. Is p prime?
False
Let t be (3/(-2))/(3/(-12)). Let z = 138 - t. Suppose -u + 5*u = z. Is u a composite number?
True
Let i(c) be the first derivative of c**3/3 - 3*c**2/2 - 2*c + 1. Let n be i(4). Suppose -n*q = q - 111. Is q prime?
True
Suppose -5*n - 19 = 4*k, -8 = -k - 0*k + 3*n. Let d be (-3 - (4 - 6))*2. Is (-1)/(-3 - d) - k a prime number?
True
Suppose 4061 = 3*t - 4*v - 6984, 0 = -5*v + 5. Is t a composite number?
True
Let g = -2750 + 3919. Is g composite?
True
Let o be 0 + 8/(-4) + 58. Let z = o - 19. Is z a composite number?
False
Suppose x + t - 1054 = -3*x, 4*x - 4*t = 1044. Is x a composite number?
False
Let u be (0 + 2 - -1)*-1. Let v(p) = 14*p**3 - 26*p**2 - 17*p + 5. Let t(o) = -5*o**3 + 9*o**2 + 6*o - 2. Let n(f) = -17*t(f) - 6*v(f). Is n(u) a prime number?
False
Let r(h) = -24*h - 24*h - 2 + 4 + 0. Is r(-4) a prime number?
False
Let c be (-229)/(-7) - (-2)/7. Suppose -6 = 2*f - 2, 5*y + f = c. Is y composite?
False
Is 2 - (2/(-5) - (-313)/(-5)) a prime number?
False
Let z(m) = -30*m - 2. Let p be z(-3). Suppose -167 = -5*b + p. Let l = 88 - b. Is l prime?
True
Let y(s) = -213*s + 16. Is y(-6) prime?
False
Let q = -2 - -3. Let l = 11 - q. Is l a prime number?
False
Let w(s) be the third derivative of s**6/120 - 2*s**5/15 - 7*s**4/24 + s**3/6 + s**2. Is w(9) prime?
True
Suppose -2*b = 4*c - 2, -4*c + b = 5*b + 4. Is (-5 + 2)*(-1 - c) a composite number?
True
Let g be 4/((-7)/(91/(-2))). Suppose 0 = -5*y + g + 39. Is y a composite number?
False
Let s(i) = -i**2 - 6*i - 1. Let u be s(-5). Suppose -4*r - 119 = -2*x + 297, -u*x + 807 = -3*r. Suppose 3*d + 3*f = -2*d + 239, -x = -4*d + f. Is d composite?
True
Suppose 4*c - 5*z + 10*z = 513, 0 = -2*c - 4*z + 264. Suppose -c = -l + 111. Is l a composite number?
False
Let i be -446 - 1/((-1)/3). Let m = -70 - i. Is m composite?
False
Suppose -2*q + 2*o - 2412 = -o, -2*o = -2*q - 2408. Is q/(-35) - (-2)/(-7) a composite number?
True
Suppose 39 = d - 16. Let o = d + 55. Suppose o = 2*g - 48. Is g a composite number?
False
Let p be (-1)/(1*(0 - 1)). Let l be -2 + (2 + -1 - p). Is (2/4)/(l/(-188)) prime?
True
Suppose -4*m - 40 + 9 = 5*o, 4*m + 7 = 3*o. Let l(u) = -2*u**3 - 6*u**2 - u + 1. Is l(m) composite?
False
Suppose -6*m + m = -2*f - 41329, 5*m - 4*f - 41323 = 0. Is m composite?
True
Let m be (343/14)/(1/48). Suppose 5*b - 1670 = -h, 484 + m = 5*b + 3*h. Is b a prime number?
False
Let b(v) = 2*v**2 - 6*v - 1. Let a = -1 - -3. Suppose -a*t = t - 18. Is b(t) composite?
True
Suppose -g + 3*b + 138 = -109, b = -5*g + 1235. Is g prime?
False
Let l be ((-15)/9)/((-3)/(-9)). Suppose -444 = -5*k - 1324. Is (-1)/5 + k/l prime?
False
Suppose -3*c = c - 340. Is c prime?
False
Let h be (-2)/(2/(-7))*1. Suppose 0 = -2*v + h - 1. Suppose 0 = -v*i + 12, f - i + 3*i = 21. Is f a prime number?
True
Suppose 2 = 2*v + 2*t + 3*t, t = 4*v - 26. Let c be 1 + 570 - v/6. Suppose -2*p - q = -c, -6*q - 20 = -q. Is p prime?
False
Suppose 5*j + 5*s = -50, 11 = -2*j - s - 7. Is (j/6)/((-6)/333) composite?
True
Suppose 582 = 3*w - 321. Is w a composite number?
True
Let c = -674 + 999. Suppose 3*l - 3*k = k + c, -5*k + 600 = 5*l. Is l a composite number?
True
Suppose -6*j = -7*j - 4. Is (3 + -1)*(-286)/j composite?
True
Suppose 0*a - 4*a = 8. Let f(b) = -49*b - 1. Is f(a) a composite number?
False
Let z(o) = -o**2 - 10*o - 9. Let b(r) = -21*r + 3*r**2 - 2 - 13 - 4*r**2 - 4. Let k(v) = 2*b(v) - 5*z(v). Is k(-6) composite?
False
Let d be 2*2/4 + 1. Suppose 2 = d*c - a, -5*c + 5*a + 11 + 4 = 0. Is -159*(c + 4/6) prime?
True
Let x(q) = -q + 11. Let n be x(5). Suppose -10 = -2*i, 2*b - i + n*i - 47 = 0. Suppose 3*k - b = -5*a, -a - 37 = -7*k + 2*k. Is k prime?
True
Let n(j) = j**3 + 10*j**2 + 9*j - 6. Let q be n(-9). Let y(t) = -2*t**3 - 8*t**2 + 3*t - 4. Is y(q) prime?
False
Suppose 5*d - 30 = 4*u - 0*u, 5*d - 3*u = 25. Suppose -3*q = -3*f + 2*q + 237, d*q = 0. Is f a composite number?
False
Suppose 0 = -5*u - 0*u - 15. Is 1 + u + (22 - 1) a composite number?
False
Let b be (4 - 5) + -217 + 0. Let j be (-10)/5 + 0 + 331. Let u = j + b. Is u a prime number?
False
Let d = 88 - -99. Is d prime?
False
Is ((-5)/((-20)/268))/1 a prime number?
True
Let h be 46 - (1 + 1 - 1). Suppose s + 3*j - 58 = 0, -h + 208 = 3*s - 2*j. Is s prime?
False
Let o be 2/(2 + 6/(-4)). Suppose -3*t + o*a - 2 = -6*t, -3*t - 5*a = -1. Suppose -6*i = -t*i - 56. Is i composite?
True
Suppose -5*b + 640 = 3*y, 0 = -4*y + b + 1018 - 157. Suppose -v + 4*z = 2*z - y, -v = -4*z - 219. Is v a composite number?
False
Let n = 16 - 10. Suppose -15 = -n*l + 3*l. Suppose t - 5*t - 1299 = -l*j, 774 = 3*j + 3*t. Is j a composite number?
True
Suppose -2*f - f + 9 = 0. Let n = 140 - -25. Suppose -f*q - n = -6*q. Is q prime?
False
Suppose 2 = 3*d - d. Let k(i) = 52*i + 1 + 4 - 4. Is k(d) prime?
True
Let o(l) = 3*l**2 + 13*l - 13. Is o(11) prime?
False
Let h(c) = -1387*c**3 - 2*c**2 + 1. Let t be h(-1). Let u = t + -712. Is u composite?
True
Suppose -d - 3*d = -28. Suppose -4*l + d*l - 295 = 2*o, -l = -4*o - 105. Is l composite?
False
Let d be (-2)/(-7) - (-26)/7. Suppose 6 = -2*r - d*l, r - 3*r = 5*l + 6. Is 55/3 - 2/r prime?
True
Let v = -446 - -172. Let f = -159 - v. Is f a prime number?
False
Let j = 3 - 4. Let n(w) = 24*w**2 + 2*w + 1. Is n(j) composite?
False
Let h be -5 + 8 - (1 + 0). Let l = 6 - h. Suppose -68 = -l*c + 16. Is c a composite number?
True
Is (6/4)/((-12)/(-1648)) a prime number?
False
Let r(v) = -2*v**2 - 12*v + 1. Is r(-5) a composite number?
False
Let f(p) = -p + 2. Let k be f(5). Let d(u) = -15*u - 2. Is d(k) a prime number?
True
Let k be (60 - 0)*(-5)/(-10). Is (36/k)/((-2)/(-115)) a composite number?
True
Let w(q) = 2*q**3 + 3*q**2 - 8*q + 5. Is w(8) prime?
False
Let a(t) = -t**2 - 4*t + 3. Let p be a(-4). Suppose 3*c - 9