et x = -1080 + 2291. Is x composite?
True
Let a(p) = p**2 - 12*p + 14. Let u be a(11). Suppose u*m = 679 + 26. Is m prime?
False
Let n(w) = 5*w - 6*w - 1 + 9. Let m be -2 - 4/3*3. Is n(m) prime?
False
Let w = -10 + 25. Let g be (12/w)/(1/130). Suppose 7*s = 3*b + 2*s - 149, 2*b - g = s. Is b prime?
True
Suppose -2*h + 3*h - 379 = 0. Is h a composite number?
False
Let u = 1 + 0. Let k = 12 + u. Is k a prime number?
True
Suppose 857 - 179 = 6*b. Is b composite?
False
Let k(x) = -x**2 + 17*x - 17. Let b be (-8)/3*(-21)/4. Is k(b) prime?
False
Suppose -2*d - 3*m = 6, 2*d = 4*d + 5*m + 10. Suppose d = -6*t + t. Suppose -3*z + t*z - 232 = -4*x, 4*z = 3*x - 174. Is x a composite number?
True
Suppose -2*b + 4*l = -138, 0 = -4*b - 0*l + 2*l + 276. Is b a composite number?
True
Let q(i) = i**2 - 5*i - 3. Let b be q(3). Is (-411)/b + (-1)/(-3) a composite number?
True
Let o(u) be the second derivative of u**3/6 - 3*u**2/2 - 4*u. Let d be o(0). Is (-398)/d - (-3)/9 a prime number?
False
Let s = 1724 + -573. Is s prime?
True
Suppose 0 = -4*k + 1268 + 1760. Is k a prime number?
True
Suppose -4*f + 710 = -2*f. Is 1/2 - f/(-2) a composite number?
True
Suppose -4*l + 16 = -0*l. Is 20/l + -3 - -407 prime?
True
Let a = -3 - -3. Suppose a = -2*w + 5*w - 3*m - 885, 4*w = -2*m + 1168. Is w a composite number?
False
Let h be 4 + (-1 - 0/(-1)). Suppose 635 = 2*u + h*u. Is u prime?
True
Let c(r) = 109*r**2 + 4*r - 4. Let w be c(-3). Suppose 867 + 78 = 5*t - 2*s, -5*t = 2*s - w. Is t composite?
False
Let l(u) be the third derivative of 2*u**2 + 0 + 0*u - 1/6*u**3 + 5/8*u**4. Is l(1) composite?
True
Let r(a) = -a**3 - 8*a**2 - 9*a + 10. Let w be r(-7). Is w/60 - (-1826)/10 prime?
False
Let i(c) = 81*c**2 - c - 1. Let s be i(-1). Suppose -4*d + s = -555. Is d composite?
True
Suppose -20 = -2*q + 3*t - 2, -2*q = 4*t - 4. Let h be (-26)/(-8) + q/8. Suppose h*i = 46 + 150. Is i a composite number?
True
Suppose -p - 3*i + 19 + 8 = 0, 4*i = 3*p - 107. Let u be (-1 + -2)/(6/(-448)). Let y = u - p. Is y a composite number?
False
Let d be (-1 + 1)*3/6. Suppose 5*o - 5*c - 35 = d, -2*o + 18 = -2*c - 2*c. Suppose k + k + 2 = 0, -o*m = -5*k - 960. Is m a composite number?
False
Is (-5574)/(-5) - (-7 - 1)/40 prime?
False
Suppose -5*b - 3*l = -l - 995, 199 = b + 3*l. Let j = 119 + 29. Let p = j + b. Is p a prime number?
True
Let u be -53 - (0 - 0)/(-2). Suppose 0 = v + 8 - 98. Let a = u + v. Is a prime?
True
Suppose 3*b - 95 = -2*g, -3*g + 3*b + 70 = -2*g. Is g prime?
False
Let b(r) = -6*r**3 - 4*r - 3. Let k(n) = n**2 + 9*n + 6. Let x be k(-8). Is b(x) a prime number?
True
Let k(i) = -i**2 + 9*i + 5. Let t be k(9). Suppose -t*l + 712 - 77 = 0. Is l a prime number?
True
Suppose 2*l - 172 = -7*g + 2*g, l = 1. Let d = 65 - g. Is d a prime number?
True
Suppose o + 36 = 5*o + 4*q, 4*q + 34 = 3*o. Let z(v) be the third derivative of v**5/60 - 5*v**4/12 + 7*v**3/6 + v**2. Is z(o) a prime number?
True
Suppose -6 = -3*u - 2*x, u = -0*u - 5*x - 11. Suppose 5*f + 0*c - 14 = u*c, -3*f - 3*c + 3 = 0. Let v = f + 21. Is v a composite number?
False
Let s(h) = 24*h**2 - 3*h + 1. Is s(-4) a composite number?
False
Let i be -4 + 5 + -2 + -1. Let n(w) = 18*w**2 + 2. Let a be n(i). Let l = 23 + a. Is l prime?
True
Let p(a) = -a**2 - 6*a + 5. Let z be p(-6). Suppose -u - 4*q + 166 = u, 3*u - 250 = -z*q. Is u a composite number?
True
Let q = -167 + 5010. Is q a prime number?
False
Let h(w) = w**2 - 11*w + 5. Let u be h(11). Suppose -u*l + 262 = -3*l. Is l a prime number?
True
Let g(v) = -16*v - 1. Suppose 9 - 27 = -3*r. Suppose 0 = -2*u - 3*q - 14, 3*u - r*u - q - 7 = 0. Is g(u) a composite number?
True
Let a(r) = -145*r + 2. Is a(-3) a composite number?
True
Let g(j) = 5*j + 4*j + 3*j - 3 - j. Is g(2) a prime number?
True
Is ((-3)/(-6))/((-3)/(-318)) prime?
True
Suppose 4*i = 3*k - i - 827, -552 = -2*k + 3*i. Suppose -14 = 5*y - k. Is y prime?
True
Suppose 2*d - 48 = -5*w + 3*d, d = -3. Suppose -16*a = -15*a - w. Is a a composite number?
True
Suppose -5*u + 4673 = 4*v + 1679, 0 = -v + 5*u + 761. Is v composite?
False
Suppose 4*k - 16 = 12. Suppose -22 = -5*q - k. Suppose 2*d + 22 = 4*y + 3*d, q*y - 14 = -2*d. Is y a prime number?
False
Let d(v) = -v**2 - v. Let a(x) = 4*x**2 - 2*x + 1. Let l(c) = -a(c) + 3*d(c). Let m(n) be the first derivative of l(n). Is m(-4) a prime number?
False
Let a = -48 + 29. Let b be -5*(a + 2) + 1. Suppose 4*l - 54 - b = 0. Is l a composite number?
True
Suppose 0 = -d - 2, 2*p + p + 1 = -5*d. Suppose -45 - 66 = -p*w. Is (0 - 1)*w*-1 composite?
False
Let v(p) = -p + 35. Let q be v(0). Let x = q + 4. Is x a prime number?
False
Let f = -414 + 582. Suppose -f = -3*p + 27. Is p a composite number?
True
Suppose 10539 = 3*f + 4*h + 1208, 2*h + 12434 = 4*f. Is f prime?
True
Suppose 2*u + 0 = 8. Let s = u - 7. Let w(b) = -b**3 - b**2 + 4*b. Is w(s) a composite number?
True
Let x = 64 - -1675. Is x composite?
True
Is (-3)/7 - (-3 - 9386/14) prime?
True
Let a(s) = s - 7. Let t be a(9). Suppose -n + t*n = 3. Is n a prime number?
True
Suppose 5*f = h - 1, -9 + 0 = h + 5*f. Is 2/(7/((-1778)/h)) prime?
True
Let o = 2343 + -1420. Is o composite?
True
Suppose 4*j - 2*j + 4 = 0. Let t(m) = -m + 1. Let f be t(j). Suppose -y = -5*y + f*s + 7, 2*y - s - 5 = 0. Is y a prime number?
False
Is (-1)/(2*(-2)/764) a prime number?
True
Let y = 532 + 781. Is y a composite number?
True
Let b = -4 - -8. Is 0 + (b - -51) + 2 composite?
True
Let k be 153/(-2)*6/3. Is (2/3)/((-3)/k) a composite number?
True
Is (4*1/(-3))/(74/(-24753)) prime?
False
Suppose 6*d = -y + 3*d, -2*y - 2*d + 4 = 0. Let c(i) be the second derivative of i**3/2 + i**2 + i. Is c(y) composite?
False
Is (-7)/7*(4 + -945) prime?
True
Let a(f) = -f**3 + 13*f**2 - 12*f + 2. Is a(9) a composite number?
True
Let d(u) = 9*u**2 + u + 6. Let x be 2/4 - 18/(-4). Let h be d(x). Suppose -5*y + h - 51 = 0. Is y composite?
False
Is (7/(-3) - -3) + 21837/9 a composite number?
True
Let k = 100 + 91. Is k composite?
False
Let a be 0/((-3)/6*2). Suppose a = -4*q + 4 + 4. Is q a composite number?
False
Suppose 5*m - 70 = 5*w, -58 = -5*m + 4*w + 17. Let z = m - -16. Is z composite?
True
Suppose -1 = -3*k + 5. Let s = 2 + k. Is 1/s + (-174)/(-8) a composite number?
True
Let a(f) = f**2 + f - 11. Is a(6) composite?
False
Let i be (-86)/4 - 3/(-2). Let d = -14 - i. Is (35/(-3))/((-2)/d) a prime number?
False
Is (-27 + 26)*(0 - 22) a composite number?
True
Is (-7391)/(-9) + -4*(-4)/(-72) composite?
False
Let g(s) = -15*s + 0 + 2 - 5 + 2. Suppose -2*l - 6 = -4. Is g(l) composite?
True
Let q be 2 - (3 + -6) - 3. Is 82/(7/(21/q)) composite?
True
Suppose -12*a = -31*a + 21185. Is a a prime number?
False
Let t = -228 - -521. Is t prime?
True
Suppose -15 = -2*h - 3*h. Suppose -h*r = -16 + 1. Suppose r*y + 175 - 874 = -4*m, -425 = -3*y - m. Is y composite?
True
Suppose 0 = -2*t - 2*t - 3*b + 259, 4*b + 12 = 0. Is t a prime number?
True
Is 159 + -1 + 0 + -1 a composite number?
False
Suppose -2*m - 12 = -6*m. Suppose -3*y - 3*u = u - 65, -3*y + m*u + 30 = 0. Is y composite?
True
Let k = -2 - -4. Let j(p) = -p**3 + 3*p**2 + 4*p + 3. Let f be j(4). Suppose -r + 4*x - 2*x = -35, k*r - f*x = 72. Is r a prime number?
False
Let y = -336 - -225. Let c = -20 - y. Is c prime?
False
Suppose -18379 = -6*q + 4187. Is q prime?
True
Suppose 2*i - 17 = -5*j - 2, -4*i + 4*j = 12. Suppose i = 4*w + 7 - 483. Is w a composite number?
True
Suppose 2*h - 601 = -h - 5*x, -4*x + 796 = 4*h. Suppose -2*j - 55 = 4*v - h, -v - 2*j = -37. Is v a composite number?
True
Let w = 117 + 400. Is w a composite number?
True
Suppose -3*d + 6149 = -f - 3*f, 2*d - 3*f - 4099 = 0. Is d prime?
False
Suppose -3*c = c - 4*b - 8, 8 = 4*c + 2*b. Is (-1251)/(-15) - c/5 a prime number?
True
Suppose -u - 30 = -2*z + u, -z + 4*u = -18. Is z a composite number?
True
Suppose 0*h + 5*z = h + 5, 2*h = -3*z + 3. Let o = h + -5. Let u = 44 - o. Is u a prime number?
False
Let r be (-2)/(-6) + (-422)/(-3). Suppose 5*g - 2*g - r = 0. Is g a composite number?
False
Suppose 3*v + 37 = -v + 3*g, v + 9 = g. Let l(x) = -x**3 - 9*x**2 + 6*x + 7. Is l(v) composite?
False
Let t = -1493 + 2704. Is t a prime number?
False
Suppose 3*g - 5 = -2*f + 10, 3*g = f + 6. Suppose x - g = 0, -y + 4*x = 3*y - 480. Is y a composite number?
True
