 number?
False
Suppose 257995 = 12*n - 7*n + 4*v, 3*n + 2*v = 154797. Is n composite?
False
Suppose -8 - 6 = -2*c. Suppose 0 = 4*o + 5*y - 642, -c*y + 2*y = -3*o + 464. Is o prime?
False
Suppose 0 = -l - 3*x + 7*x + 5165, -4*l = 3*x - 20698. Is l prime?
False
Let b = 3262 - 1202. Let g = b - 1101. Is g a composite number?
True
Let f(u) = u**3 - u**2 - 4*u - 37. Is f(19) a composite number?
True
Let h(v) = -9*v**2 + 2*v - 8. Let c(o) = 19*o**2 - 5*o + 15. Suppose -6*g - 17 - 7 = 0. Let s(t) = g*c(t) - 9*h(t). Is s(7) a prime number?
True
Let a(n) be the third derivative of n**6/360 + n**5/60 + 157*n**4/24 - n**3/2 - 2*n**2. Let g(m) be the first derivative of a(m). Is g(0) a prime number?
True
Suppose 27*t - 43*t = -19472. Is t composite?
False
Suppose -10*m - 20349 = -71639. Is m a composite number?
True
Suppose 5*n - n + 2*g = 56018, -41986 = -3*n + 4*g. Is n a composite number?
True
Let n = 60 - 61. Let m be (1/2)/((-1)/(-24)). Let f = m + n. Is f a composite number?
False
Let n be (-351)/(-195) + -1*1/(-5). Suppose -2*g = -g - y - 3036, 12142 = 4*g - n*y. Is g prime?
False
Let n = -339 - -838. Let t = 496 + n. Is t composite?
True
Let g be ((-3)/(-1))/(-2 - (-2 - 1)). Suppose -u - 5 = 0, -4*v + 2*u + 311 = g*u. Is v composite?
False
Let x(z) be the second derivative of 7*z**4/12 - 25*z**3/6 + 7*z**2/2 + 2*z. Is x(6) a composite number?
False
Let k be -5*4/15*-3. Let t be 15/(-3)*k/5. Is t/6*3 + 255 a prime number?
False
Let u = -566 - -1543. Is u composite?
False
Suppose -5*m - 8 = 2. Let l be (0 + -18)*(9/(-6) - -1). Is (l/(-15))/(m/20) a prime number?
False
Let p(u) = -41*u + 7033. Is p(0) a prime number?
False
Suppose 0 = 5*g - 5*c + 2400, 4*g = -4*c - 787 - 1141. Suppose 16*p = 11*p + 3580. Let t = p + g. Is t a prime number?
False
Suppose -2*a + 4*a = 3890. Let k = -5119 - -7975. Let y = k - a. Is y a prime number?
True
Let d(q) = 3*q**2 - q - 9. Let a be d(-4). Suppose k + 23 - a = 0. Suppose 37 = 3*x - 5*p + 7, 2*x - k = 3*p. Is x composite?
True
Suppose -20 = -5*k, -4*r - 2*k = -28 + 4. Suppose 0 = -15*t + r*t + 5731. Is t a composite number?
False
Let p(y) = 66*y**3 + 3*y**2 + 13*y - 57. Is p(4) a composite number?
True
Suppose 3*j = -j + 12. Suppose 3*k - 2*s - 651 = 0, 0 = -k + 2*s - j*s + 212. Is k a prime number?
False
Let v = 8436 + -4779. Suppose 11*w - 18287 = 6*w + 4*l, w = l + v. Is w a prime number?
True
Let z = 1 + 13. Suppose 0 = -4*u + 4*w - 6*w + 22, 2*u + 2*w - z = 0. Is u prime?
False
Let c = 3731 + -912. Is c a composite number?
False
Let v be ((-1)/(-2))/((-2)/(-28)). Suppose 5*t + 15 = 0, t - v + 2 = -4*b. Suppose -a - 2*n + 133 = 0, -5*n + b + 13 = 0. Is a a prime number?
True
Suppose -2*o + 108 = 2*m, -3*o + 0*m = -2*m - 182. Suppose 11 + o = k. Is k a composite number?
True
Suppose -3*x = -2*n - 4, -n = x - 5 + 2. Let i = -930 + 935. Suppose x*a = -2*v + 820, -i*a + 425 = -4*a - 4*v. Is a prime?
False
Is 4036/(-10)*(-70)/28 a prime number?
True
Suppose 3*w - 1 = 71. Let k be ((-1482)/w)/((-2)/8). Let p = -168 + k. Is p prime?
True
Suppose -3*b - 262 = -4*s - 6, -5*s - 3*b + 320 = 0. Let p(n) = 10*n + 93. Let q be p(-8). Let k = s + q. Is k a composite number?
True
Suppose 0 = -f - 5*f + 9354. Is f composite?
False
Suppose -x - 2*i + i - 2 = 0, 20 = 4*x - 3*i. Let p = -20 + 23. Is (x - 2 - p) + 40 a composite number?
False
Suppose -3*h - 163 = -1051. Let k = h + -153. Is k a composite number?
True
Let o(p) = 2*p - 1088. Let a be o(0). Let w = 509 - a. Is w composite?
False
Suppose 3*b - 3*v = 175818, 6*b - b - 293015 = 2*v. Is b composite?
False
Let t(a) = -83 - 30*a + 88 + 4*a. Is t(-3) prime?
True
Let j = 0 + 6. Let t be j - 0*(-1)/5. Suppose t*o = o + 2815. Is o prime?
True
Suppose 5*i = -5*d, -4*d - i + 2 = i. Let u be 2 + d + -3 + 5. Is 21/35 + 632/u a composite number?
False
Suppose 42*q = 2*v + 46*q - 318, -3*v + 2*q = -509. Suppose -4*h + 3 = -13. Suppose 1755 = h*i + v. Is i prime?
True
Let d be 620*(18/(-15))/(-1). Let a = d + -1340. Let y = a + 863. Is y prime?
False
Is (8176 + -19)/((-6)/(-22)) a prime number?
False
Let g(k) = -k**3 + 28*k**2 - 5*k - 3. Is g(27) a prime number?
False
Let a(n) = n**2 + 10*n - 7. Let s be a(-11). Suppose -2*m + 54 = -w + 5*w, 0 = -5*m - s*w + 117. Is m a composite number?
True
Suppose 0 = -5*t + 14 + 16. Suppose 0*y + 20856 = t*y. Suppose -4*c + y = -v, -c + v = -3*v - 869. Is c composite?
True
Let p(t) = -t**2 - 16*t + 31. Let c be p(-18). Let o(f) = -3 + 0*f - 2*f + 4*f**2 + 4*f - 2*f**3. Is o(c) a composite number?
False
Let a be -8*((4 - 4) + (-2 - 0)). Suppose -11 - 165 = -a*i. Is i prime?
True
Let u(s) = -s**3 + 4*s**2 - 2*s + 12. Let c be u(4). Suppose 5*k = -c*x + 4, -3*x - 13 = -k + 3. Is k a composite number?
True
Let h(m) = -253*m**3 - 2*m**2 + 3*m - 1. Is h(-3) a composite number?
False
Let s(c) = -c**3 + 28*c**2 - c + 50. Let n be s(28). Let v(k) = 59*k - 72. Is v(n) a composite number?
True
Suppose -w = m + w + 164, 0 = -3*w. Let t = 291 + m. Is t a composite number?
False
Suppose 3*j = 2*i + 39 + 7, -5*i - 70 = -5*j. Is (-142)/3*(-21 + j) composite?
True
Suppose -147316 = -4*l - 2*b, 240*l - 236*l - 147292 = 4*b. Is l composite?
True
Suppose -3*i + m - 5*m + 6 = 0, i = -m + 2. Suppose 0 = -4*w + 3*w + i. Is ((-139)/w)/(4/(-8)) prime?
True
Let d(w) = -24*w + 93. Is d(-6) a prime number?
False
Suppose w - 5*w + 12 = 0. Suppose 0*h - w*h + l = -20, 5*h + l - 20 = 0. Suppose -s = -2*n + 533 - 1862, h*s - 6665 = 5*n. Is s composite?
True
Let k(y) = -y**3 - 19*y**2 - 5*y + 19. Let g be k(-19). Suppose 4*f + g = 1702. Is f composite?
False
Let a(n) be the third derivative of -23*n**4/6 + 3*n**3/2 + 3*n**2. Is a(-5) a prime number?
False
Let t = -109 - -105. Let a(f) = -7*f**3 - 2*f**2 - 8*f - 29. Is a(t) a composite number?
False
Let o = 3139 - -352. Is o prime?
True
Suppose -2*i - l + 9563 = 0, -11509 + 1940 = -2*i + l. Is i a composite number?
False
Is 3*1252/4 - -2 prime?
True
Let s(x) = x**3 - 3*x**2 + x + 2. Let o be 6/(-21) + 16/7. Let p be s(o). Suppose 4*r - r - 477 = p. Is r composite?
True
Let s(a) = 2*a**3 + 7*a**2 + 2*a. Let m be s(-5). Let i = m - -212. Is i a prime number?
True
Let t = 80319 - 27692. Is t prime?
True
Let c be (1 - -5)/(4/10). Suppose -17*p + c*p = -254. Is p a composite number?
False
Is 56/(-308) + 463689/33 a composite number?
False
Let x(m) = 0 + 0 - 3*m - 8. Let y be (-14 - -13)/((-2)/(-18)). Is x(y) a composite number?
False
Is (-62)/93 + (-397342)/(-6) prime?
False
Suppose -3*c + 4*k = 2488, 2*c - k = -3*k - 1654. Let y = 385 - c. Is y a composite number?
False
Is 1/(-6 + (-35274)/(-17634) - -4) a prime number?
True
Let w(m) = -m**3 + 20*m**2 + 16*m - 14. Is w(-15) prime?
True
Let q = -32 + 137. Suppose 2*a = -r + 67, 3*r - 96 - q = 5*a. Is r composite?
False
Let q = -639 + 1012. Suppose 0*p - 2*u = -p + q, 4*p = -5*u + 1453. Is p a prime number?
True
Let j(r) = 59*r - 5. Let q(y) = -29*y - 1 - 3 + 6. Let p(w) = -3*j(w) - 7*q(w). Is p(2) a composite number?
False
Let p = 38 + 27. Is 2/10*p/(-26)*-11114 a prime number?
True
Let c = 1 - 339. Let g = 361 - c. Is g prime?
False
Let c(q) = -3*q**2 - q + 8. Let b be c(-3). Let j(d) = 5*d**2 - 8*d + 30. Is j(b) a prime number?
False
Let l(u) = -u**3 - 13*u**2 - 20*u + 24. Let w be l(-11). Suppose -b = 3*b + 3*s - 2293, -2*s + 1148 = w*b. Is b a prime number?
True
Let z = -19 - -12. Let b = 8 + z. Suppose 55 = w + 2*c, c = b + 2. Is w prime?
False
Suppose 0 = 7*a + 2*a - 72. Let i(s) = 300*s + 29. Is i(a) prime?
False
Let i = 5609 - 2938. Is i a prime number?
True
Let y(z) = 25*z**2 + 13. Let a be y(-3). Let d = 779 - a. Is d prime?
True
Let o be 0 + 3 + 0 + 1. Let l(x) = -x**2 - 16*x + 27. Let i be l(-17). Let r = i + o. Is r a composite number?
True
Suppose 0 = 2*z - 3*f - 226370, 7*z - 113185 = 6*z - 3*f. Is z a prime number?
False
Suppose -12 = -d - 1. Let v = -6 + d. Suppose 2*t + 3*m = 638, 0 = v*t + 3*m + 2*m - 1595. Is t prime?
False
Is (-283)/(-8) - 45/120 composite?
True
Let n be (1/(-1))/(10/(-210)). Let p = n + 5. Suppose 549 + p = 5*x. Is x a prime number?
False
Suppose y = m + 76248 - 23983, -3*m = 3*y - 156807. Is y a composite number?
False
Let v be 38/(-209) - 4/(-22). Suppose 0 = 4*u - u + 2*r - 55, v = -u + 4*r + 23. Is u prime?
True
Let p be 6/(-9) + (-6)/(-