 -539. Is s a prime number?
False
Let m = -1132 - -1896. Suppose -4*x + 8*x = m. Is x prime?
True
Let y = 104 - 179. Let z be -3 + (-2)/(2/y). Suppose -u + 34 = -3*l, -4*u + u = l - z. Is u a composite number?
True
Let f(z) be the third derivative of z**5/60 - 5*z**4/24 - z**3/3 + z**2. Let n be f(5). Let d(y) = -46*y - 3. Is d(n) a composite number?
False
Suppose -5*d + 0 = -5. Let x be (-14*(-1)/2)/d. Suppose -3*m = 3*o - 27, -x*o + 4*o + 3*m + 33 = 0. Is o a prime number?
False
Let t = -7 - -4. Let i(s) = 5*s**2 + 2*s + 2. Let j(p) = -10*p**2 - 3*p - 3. Let b(r) = -5*i(r) - 3*j(r). Is b(t) a prime number?
True
Let t(l) = 3*l**2 - 2*l - 8. Is t(-11) prime?
False
Suppose 5*c = c + 872. Suppose -c = -4*w + 98. Is w composite?
False
Let k(m) = 46*m**2 + 4*m + 3. Suppose 3*l - 5 = -b + 3, 5*b = -5*l + 10. Suppose -7*n + l*n = 8. Is k(n) composite?
False
Let u be 3 - (41 - (-4)/(-2)). Let h = u - -331. Is h a prime number?
False
Let z(g) = g**2 + g + 2. Let o be 0 - -6*2/4. Is z(o) composite?
True
Let n be 1/((-3)/(-5))*3. Let t(j) = -j**2 + 6*j + 5. Is t(n) a composite number?
True
Let u(a) = -a**3 + 11*a**2 - 4*a - 2. Let q(f) = f**3 - 2*f**2 - 6*f + 2. Let k be (-3)/(-2)*24/9. Let n be q(k). Is u(n) composite?
True
Suppose 2*v + 2*i = 6*i - 6, -5*v + 4*i = -15. Suppose -3*x = 5*m - 24 + v, 13 = 3*m - x. Suppose -m*w + 61 = -27. Is w composite?
True
Let n be 3/(-2 - (-10)/8). Let u = 6 + n. Suppose -144 = -4*b - u*d - 0*d, 2*d = 3*b - 115. Is b composite?
False
Let o(m) = -73*m - 3. Is o(-2) composite?
True
Suppose -5*t - 10597 = -2*p - 1430, -t - 22860 = -5*p. Is p a prime number?
False
Suppose 2*v = -4*g + 1902, -v + 2 = -3. Is g a composite number?
True
Suppose 4*a = 651 - 55. Is a composite?
False
Let m(x) = -59*x + 1. Is m(-8) a composite number?
True
Suppose 3*u - u - 8 = 0. Suppose -119 = -m - 4*i - 0*i, u = -2*i. Is m a prime number?
True
Let w(l) = -9*l + 16. Is w(-7) composite?
False
Let q = 1 + -3. Let t be 0 + (-1 - q - 1). Is (-1 - t)/((-1)/21) a prime number?
False
Let f = 3 - 1. Is 3/(-18)*f*-333 a composite number?
True
Suppose 0 = 19*l - 15*l - 34004. Is l composite?
False
Let a be 1*(-6)/(-3) + 2. Suppose -2*n = -3*v - 22, -a*n = v - 65 + 21. Is n prime?
True
Let k(l) = 10*l**2 - 6*l - 15. Is k(-3) a prime number?
False
Let z = 2 + 3. Suppose -z*g = -3*g + 16. Let n(q) = -q**3 - 7*q**2 - q + 7. Is n(g) a prime number?
True
Suppose 4*b = 672 + 76. Suppose -2*l - 29 = -b. Is l a composite number?
False
Let k(i) = -i**3 + 5*i**2 + 6*i + 2. Let n be k(6). Suppose -n*x + 148 = -5*s, -s = -6*s - 10. Is x a prime number?
False
Suppose 0 = -p - 1 + 10. Let x = 62 - p. Is x prime?
True
Let g(v) = 3*v**3 - 7*v**2 + 2*v - 15. Let q(t) = 2*t**3 - 3*t**2 + t - 7. Let n(k) = 6*g(k) - 13*q(k). Let m be (0 - -1) + 1*-3. Is n(m) prime?
False
Suppose o - 2192 = 3*p, -p + 365 = o - 1831. Is o a prime number?
False
Let m = 52 - 35. Suppose k - n = 2*n + 798, k + 4*n = 798. Suppose k = 5*o - m. Is o a prime number?
True
Suppose 3*l - 3*y = 63, 0*l - 4*y - 107 = -5*l. Let u(t) = t**2 + 6*t + 9. Let f be u(-7). Let g = f + l. Is g a prime number?
False
Let k be -278 + -3 + 3 + -3. Let x = 408 + k. Is x a prime number?
True
Is 24/2 - (-3 - 0) composite?
True
Let p(i) = -i**2 + 6*i + 9. Let l be p(7). Suppose -4*c = -16, -4*m - 7*c + l*c + 232 = 0. Is m a composite number?
False
Suppose 5*j - 284 = 461. Is j a prime number?
True
Let m = 9 + 6. Is (-10 + -4)*m/(-6) prime?
False
Let y(z) = z**3 - 5*z**2 - z + 7. Let v be y(5). Suppose v*h - 3*h + 265 = 0. Is h prime?
False
Let x = -17 + 21. Suppose 2*n - 48 = -x. Is n composite?
True
Suppose u = -4*u + 420. Suppose -b = b + 2*v - u, -4*v + 20 = 0. Is b composite?
False
Let w(r) = 2*r**2 + 4*r - 1. Let x = 11 - 8. Suppose d = -1 - x. Is w(d) a prime number?
False
Suppose -4*y - 4*z + 224 = -5*z, 3*y = -3*z + 153. Suppose -5*l = -y - 210. Is l a prime number?
True
Let p = 254 + -174. Suppose -2*c = 4*l - 84, 0 = 3*l + l + 4*c - p. Is l composite?
True
Let k be -7*1/1 - -1. Let r be 39/(-6)*(-1 - 1). Let b = k + r. Is b a prime number?
True
Let h be ((-36)/(-3))/3 + -2. Let g = 2 - -7. Is 2/(h*3/g) composite?
False
Let s(f) be the first derivative of f**4/4 - 7*f**3/3 - 6*f**2 + 13*f - 1. Suppose 15 + 1 = 4*k, 2*r - 3*k - 6 = 0. Is s(r) prime?
True
Suppose -n - 19 = -3*q, q + 5*n = -q + 24. Suppose -15 = -5*o, 3*o = -2*b + q*b - 386. Is b a composite number?
False
Let i be 16*(-1 - (-4)/2). Let n = i - -73. Is n a prime number?
True
Suppose 0 = 4*l - 3*n - 1189, -3*l - n = -385 - 523. Is l a prime number?
False
Let b = 352 - 494. Let h = 226 - 447. Let i = b - h. Is i a composite number?
False
Suppose -2*b + 4*r - 131 = -629, -r - 1 = 0. Is b composite?
True
Let x(h) = h + 12. Let v be x(-13). Let g = 56 + v. Is g a composite number?
True
Suppose 4*z - 633 = z. Is z a prime number?
True
Let z(n) be the first derivative of 6*n**2 + n + 2. Is z(3) composite?
False
Let l = 18 - 17. Is (-2)/(l/38*-4) prime?
True
Suppose 0*w = w - 59. Let v(y) = -3*y - 10. Let g be v(8). Let q = g + w. Is q a composite number?
True
Suppose 489 = 4*l - l. Suppose 3*a - l = -z + 67, 2*z = 3*a + 469. Is z composite?
False
Let h(u) = -u**2 - 17*u + 73. Is h(-16) a composite number?
False
Suppose -10 = -g + 5*m, 5*g + 19 = 3*g - 3*m. Let z(x) = -x - 3. Let k be z(g). Suppose b - 20 = -k*r, 0 = r - 5*b + b - 10. Is r a prime number?
False
Is (-44)/198 - 1469/(-9) prime?
True
Is 1/(6/2 + (-964)/322) a composite number?
True
Suppose 0 = 5*q - 20 + 5. Suppose -4*j + q + 5 = 5*x, -5*x + 3*j = 6. Suppose 2*y + 130 = 4*k - x*y, -k + 3*y + 40 = 0. Is k prime?
True
Suppose -2*j - 932 = -2*v, 3*v - 2*j = -j + 1400. Is v composite?
False
Is 17 - 15 - -1*233 a composite number?
True
Let q = 10 - 8. Suppose 0 = 3*g + 3*t - 294, 38 = q*g + t - 154. Is g prime?
False
Suppose -2*c = 3*c - 130. Is c a prime number?
False
Let o be 2 - -1 - (3 - 2). Suppose q = -q + o. Let n(t) = 36*t**3 - t**2 - t + 1. Is n(q) a prime number?
False
Let t(i) = -10*i - 4. Let s be t(-4). Let w = s + 1. Is w a prime number?
True
Let y = -314 + 781. Is y a composite number?
False
Let j(n) = 133*n - 3. Is j(2) composite?
False
Suppose -w - 4*w + 2635 = 0. Suppose 3 = -3*l, 0 = h + h + 3*l - w. Is h composite?
True
Suppose 4*l = -5*u + 781, 782 = 9*u - 4*u + 3*l. Is u a composite number?
False
Let j = 15 - 11. Let t(p) = -61*p. Let b be t(-5). Suppose 0 = -4*v + 2*v - 3*z + b, -j*z = -20. Is v a composite number?
True
Let r(j) be the first derivative of -2*j**4 - j**3 - 3*j**2/2 - 3*j - 4. Let v(o) = -o - 9. Let n be v(-7). Is r(n) composite?
True
Let v(z) = 26*z**2 - 16. Is v(5) a prime number?
False
Suppose q - 4*u - 16 = 0, -2*q + 6*q - 13 = -u. Suppose -6*m + 3*m = 3*z - 279, 5*z + m = 477. Suppose -q*y - z = -308. Is y prime?
True
Let i = 144 + -62. Is i a prime number?
False
Let z(g) = 6*g - 17. Suppose 2 - 10 = 2*w, 28 = 4*t + w. Is z(t) composite?
False
Let u = 322 + -203. Suppose 0 = -h + 2*g - 31 + u, 3*g - 73 = -h. Is h composite?
True
Let o = 17 - 10. Suppose 2*b + 235 = o*b. Is b a composite number?
False
Is (8 - (3 - -1))*118/8 prime?
True
Suppose -2*f + 103 - 13 = 0. Let d = 20 + f. Is d composite?
True
Let h = -89 + 243. Suppose -19 = -3*j - 4. Suppose i + h = 4*s + 3*i, 2*s + j*i = 89. Is s a composite number?
False
Suppose -13*f = -16*f + 1905. Is f a composite number?
True
Let j(i) = 69*i**2 - 2*i + 16. Is j(5) prime?
False
Let r(t) = -t**2 - 6*t - 7. Suppose 5*d - k + 30 = 0, 0 = 3*d - 2*k + 13 + 12. Let z be r(d). Is ((-35)/z + -2)*2 a composite number?
False
Is 3/((-3)/(-33)*1) prime?
False
Let q = -2 + 6. Is 310 - (13 - 1)/q prime?
True
Suppose 193 + 115 = 4*r. Is r a composite number?
True
Suppose 2*n = j + 17, 0 = -5*n + 5*j + 28 + 7. Suppose 6*c - n = c. Suppose 0 = c*v - 28 - 90. Is v a composite number?
False
Let g be (-1 - -2)/(2/(-4)). Is (194/5)/(g/(-5)) prime?
True
Let x(d) = 31*d**3 - d**2 - d + 5. Is x(4) prime?
False
Suppose 2*d - 5205 = -5*h, -4*h = d - 2445 - 1716. Is h prime?
True
Suppose -k - 2*k = -2424. Suppose -2*i + 3*l = -157, 5*i - 155 = -5*l + 275. Suppose 5*u + i = k. Is u composite?
True
Suppose -4*p - 875 = -339. Suppose i + 15 = 4*f, -5 = -i - f - 0. Is i*2/(-4)*p prime?
True
Let u = 6 - 3. Suppose -u*y + 150 = 3. Is y