54 = 2*k + y*d, 3*d - 81 - 15 = -4*k. Is k prime?
False
Suppose 5*a - j - 448 - 82 = 0, -5*a - j = -530. Is a prime?
False
Let d = -128 - -255. Is d a prime number?
True
Suppose 3*f - 4*f = -4*l + 9, -1 = -3*l - 5*f. Suppose 5*g + 3*m + m = 199, 2*m = l*g - 76. Is g a prime number?
False
Is 1/(-1) + 37 + 1 composite?
False
Let j be (-90)/(-24) + 2/8. Is 251/(j - 4 - -1) prime?
True
Suppose 0 = -4*a + 4. Let x = -14 + 10. Is x*(38/(-8) + a) a composite number?
True
Let q(a) = -2*a**3 - 4*a**2 - 4*a + 2. Let y(v) = -9 + v**3 + 2*v**3 + 8*v + 7*v**2 + 4. Let n(r) = -5*q(r) - 3*y(r). Is n(6) composite?
True
Is (3310/15)/(2/3) a prime number?
True
Suppose 5*t - 3*y = 214, 0 = -3*y - 8 - 1. Let p be t/4 + (-1)/4. Is (-1 + -5)/((-4)/p) a prime number?
False
Suppose 0 = -5*c - 4*p + 265, -2*p + 3*p = 4*c - 191. Suppose -5*q = -c - 61. Is q composite?
True
Let p be ((-12)/(-10))/(8/(-40)). Let j = p - -16. Is j a prime number?
False
Is -1 - (-35)/49 - (-12702)/14 a prime number?
True
Suppose 92 + 654 = 2*u. Is u prime?
True
Let h be 602/(0 - (1 + -3)). Suppose -3*q + 6*q - 831 = 4*r, 0 = 3*r - 5*q + 615. Let u = r + h. Is u a prime number?
False
Let m(i) = i**2 - 9*i + 11. Let j be m(8). Suppose 672 = j*x + 111. Is x a prime number?
False
Let r be 1 - 2 - 6/(-3). Suppose 5*s - 9 - r = 0. Suppose -56 - 102 = -s*q. Is q a prime number?
True
Suppose 4 = 4*j + 8. Let b = 8 - 32. Is j - (b - (-6)/3) prime?
False
Suppose 2*b - 42 - 560 = 0. Is b a composite number?
True
Let a(z) = 1985*z**3 + z**2 - z + 2. Is a(1) prime?
True
Let g be (2 + -17)*(-3)/9. Suppose 0 = 3*d - 2*x + g, 5*x - 12 = -4*d + 3*x. Let j(i) = 36*i + 1. Is j(d) a composite number?
False
Suppose -4*q - 4*g + 696 = 0, -3*q + 0*g + 2*g = -547. Is q a prime number?
True
Let r(u) = 2*u**3 - 3*u**2 + 3*u. Let n be r(3). Is n/(-30)*(-55)/2 a composite number?
True
Let t = 9 - 10. Is (2/3 + t)*-771 composite?
False
Let p = -31 + 47. Let r = p + 3. Is r a prime number?
True
Is (-7740)/(-27) - 2/(-6) composite?
True
Is -2*(2990/(-12) + (-8)/(-12)) composite?
True
Let p(x) = -x**3 - 9*x**2 - 11*x - 1. Is p(-13) a prime number?
False
Let q be 2*(-2 + 4 + 0). Suppose 5*k = -5*h, q*k + k = -4*h. Suppose a - 2 - 1 = k. Is a a prime number?
True
Suppose 0 = -2*z + 7*z - 1535. Is z a prime number?
True
Suppose 430 = -5*g - 0*g. Let v = g - -145. Is v a composite number?
False
Let z(l) = -3*l - 4. Is z(-10) prime?
False
Let c be (-2314)/(-8) + (-1)/4. Let y = c - 162. Is y composite?
False
Let g be (-67)/2 + 4/8. Let v = g + 68. Let n = v + -2. Is n a composite number?
True
Let r be (-842)/(-8) - (-3)/(-12). Let u = 182 - r. Is u prime?
False
Let a(k) = -k**3 - 2*k**2 + k + 9. Let n(c) = c**2 - c - 1. Let l(g) = -a(g) - 4*n(g). Is l(6) a prime number?
True
Let v(j) = j**2 + j + 1. Let w be v(-2). Suppose t + 16 = w. Let u = 46 + t. Is u prime?
False
Let v = -6 + 5. Let k be v*(1 + 0 + -1). Is (2 + k)*63/6 prime?
False
Suppose 0 = -5*k + 3*k + 110. Let a = -21 + k. Is a composite?
True
Is 482/3 - 2/(-6) a composite number?
True
Let o(p) = -470*p - 2. Let w be o(2). Let h = -527 - w. Is h a composite number?
True
Let s = 175 + -26. Is s a prime number?
True
Suppose -4*f + 334 = 2*n, n - 251 = -3*f - n. Is f a prime number?
True
Suppose 10 = 5*p - 10. Let s(f) = -f. Let v be s(p). Let u = 31 - v. Is u a prime number?
False
Let w(a) = -3*a**3 + 5*a**2 + 7*a + 7. Is w(-4) composite?
False
Suppose -1133 = -4*x + 255. Is x prime?
True
Suppose -6*v + 2*v - 2928 = 0. Let c = -425 - v. Is c a composite number?
False
Suppose -o - 256 = -2*o + 3*u, 1319 = 5*o - 2*u. Is o composite?
True
Suppose 5*o + 20 = 0, 4*o - 74 = -2*f + 524. Is f composite?
False
Suppose 6*g = 2*g + 4. Let w be 0/(g - (-2 + 1)). Suppose -4*x + 52 = -w*x. Is x a prime number?
True
Suppose 2*g + 5*b = -0*g + 2508, 5*g + 4*b = 6287. Is g composite?
False
Suppose 3*w + 0*w - 6 = 0. Suppose w*t + 73 = 3*z - 0*t, -2*z - 2*t = -62. Suppose m - 158 = -z. Is m a composite number?
False
Let o(y) = -y**3 + 8*y**2 - 6*y - 5. Let i be o(7). Let v(z) = 3*z**3 + 4*z**2 + 4*z - 6. Let a be v(4). Suppose 0 = -p - 3, -4*r - i*p - 76 = -a. Is r prime?
False
Let d(c) = -c**2 + 19. Let w be (-1)/(-2)*-2*0. Is d(w) a composite number?
False
Is 419/(-2)*4/6*-3 prime?
True
Let p = 741 - 484. Is p a prime number?
True
Let t be (5 + -4)*(69 + 2). Suppose -4*v + t = -53. Is v a composite number?
False
Suppose -d = m - 5*d - 295, -5*d + 1138 = 4*m. Is m a composite number?
True
Let o(i) = 7*i - 1. Let j(x) = -15*x + 2. Let u(q) = -2*j(q) - 5*o(q). Is u(-4) a composite number?
True
Suppose 4*o - 3035 - 2873 = 0. Is o prime?
False
Let f = 292 + -29. Is f a composite number?
False
Let a be 4/(-14) - (-20)/(-28). Let q(o) = o**2 + 0 - 2*o + 19*o**2 - 1. Is q(a) a composite number?
True
Let v = 22 - 24. Is -1941*3/(-9) - v composite?
True
Suppose 220 = 2*t + b + b, 0 = -2*t - 4*b + 218. Is t a composite number?
True
Let z = -35 + -17. Let q = 101 + z. Is q prime?
False
Let u(z) = -69*z + 5. Is u(-8) prime?
True
Let g(j) = -2*j**3 - 3 + 5*j + j**3 - 4*j**2 + 2*j**3. Let s be g(3). Suppose s*h - 31 = 11. Is h a prime number?
False
Let f = -63 + 107. Suppose 143 = d - f. Is d composite?
True
Let f = -114 - -2675. Is f prime?
False
Let l be (-33)/6*(0 - 6). Let h = -18 + l. Is h a prime number?
False
Let b(s) = s**2 - 6*s + 3. Let p be b(6). Suppose p*q = 3*w - 234, 5*w + 3*q = -0*q + 398. Is w composite?
False
Let x(a) = -311*a**2 - 1. Let p(o) = o**2. Let s(g) = -5*p(g) - x(g). Is s(-1) a prime number?
True
Let c(a) be the first derivative of a**3/3 + 2*a**2 + 4*a - 2. Is c(-9) a composite number?
True
Is 1/(-4) + ((-2646)/(-8))/7 a prime number?
True
Let m = -4 - 0. Let x(u) = -u**3 - 5*u**2 - 6*u - 6. Let v be x(m). Suppose 0 = -2*f + 6, -2*p - v*f = -3*p + 25. Is p a composite number?
False
Let c(a) = -a**3 - 4*a**2 - 5*a - 3. Let j be c(-3). Suppose -3*u = -u - 36. Suppose j*n - u = 159. Is n a composite number?
False
Let p(f) = -f**3 + 6*f**2 - 5*f + 2. Let z be p(5). Suppose -4*y - 203 = -5*s, 0 = -0*s - z*s - 2*y + 92. Is s a composite number?
False
Suppose 121 = i - 6*i - q, 5*q = -i - 29. Let t = 90 + -13. Let k = i + t. Is k a composite number?
False
Let s be (-1)/5 - (-63)/15. Let t(q) = 31*q - 3. Let z be t(s). Suppose 0 = -4*n + z - 45. Is n a composite number?
False
Is ((-2)/(-6))/(5/8715) a composite number?
True
Let m(n) = 219*n**3 - n**2 + n + 3. Is m(2) composite?
False
Let w be (-3)/(-12) - (-58)/(-8). Let x(a) = -3*a**2 + 2*a + 4. Let k be x(w). Let y = 300 + k. Is y a prime number?
False
Suppose n - 3*j = -4*n + 9571, 0 = -j - 2. Is n composite?
False
Let a(s) = 41*s**2 + 11*s + 7. Is a(-5) a prime number?
True
Suppose -a - 2*a = 0. Is a - 14/(-3 + 1) composite?
False
Let g(w) = -w**3 + 23*w**2 - 24*w - 21. Is g(10) a prime number?
True
Is (-2934)/(-10) - (-4)/(-10) a prime number?
True
Let l = -9 - 3. Let m(c) = c**2 - 14*c + 5. Is m(l) a prime number?
True
Suppose 3*g - 49835 = -2*g. Is g a composite number?
False
Suppose -5*u + 1 = -9. Suppose p + p = -u*f + 20, -5*f = 2*p - 50. Is f a prime number?
False
Let p = -3 + 6. Let y = 6 + p. Suppose -5*o + 75 = 3*n, 4*n + 5*o = 109 - y. Is n composite?
True
Suppose 5*n + 278 = 1163. Is n composite?
True
Suppose -5*r + 1098 = -g, -r = -4*r + 4*g + 669. Is r a prime number?
False
Suppose -4*d + 2*i + 3*i + 3 = 0, 0 = 2*d - 4*i. Suppose 2*q = 4*k - 786, d*k = -3*q - 2*q + 423. Is k a prime number?
True
Let t(i) = 11*i**3 + 6*i**2 - 3*i + 9. Is t(4) composite?
False
Suppose -3*y + 1229 = -349. Is y prime?
False
Let k(t) = -5*t**2 + 7*t - 12. Let z be k(5). Let d = z + 233. Is d composite?
False
Suppose 5*w - 4*v = -27, 5*w + 6*v - v = 0. Is ((-127)/(-2) + w)*2 composite?
True
Suppose -4*x = -6*x - 3*a, 0 = 2*a. Suppose x = -n + 3*n - 314. Is n a prime number?
True
Let t(z) = 60*z + 13. Is t(4) a composite number?
True
Let v(g) = g**3 + 8*g**2 - 9*g + 8. Let h be v(-9). Let o be 14/8 - (-2)/h. Suppose -s - o*s = -147. Is s a composite number?
True
Let p(j) = 45*j**2. Let u be p(2). Let z = 302 - u. Is (-3 - z/4)*-2 prime?
True
Is (-18)/(-18) - (1 + -149) a prime number?
True
Let v(p) be the first derivative of -p**4/4 - 5*p**3/3 + 2*p**2 - 8*p + 2. Let h be v(-6). Suppose 0 = -h*t + 2*t + 230. Is t a prime number