+ 58. Is x prime?
True
Suppose 7*h - 21 + 7 = 0. Suppose q + 4 = 5*u + 29, -h*q - 20 = 4*u. Suppose q = 7*y + 111 - 482. Is y composite?
False
Let o = -5 - -9. Suppose 0 = -o*x - w + 3543, -5*x - 3*w + 4425 = -w. Is x composite?
False
Suppose -2*l = 5*m - 2779, 3*m - 5*l = -2*l + 1680. Is m composite?
False
Let h(r) = -24*r - 51. Let k be h(-5). Let v = k - 32. Is v prime?
True
Let q(g) = g**3 + g + 2. Let d be q(0). Suppose -5*a - 3*y = -810, d*a - 4*y - 129 = 169. Is a prime?
False
Let p = -132 + 133. Is (213 + -2)/((-3 + 4)*p) composite?
False
Suppose -i + 9 = 3*m, 0 = 3*m - 3*i + 5 - 2. Is (m - -501)*(1 + 0) a composite number?
False
Let c = 47 - 23. Suppose -4*y + c = -708. Is y prime?
False
Let c(a) be the second derivative of -73*a**5/20 - a**4/6 + a**3/3 - a**2/2 + 4*a. Let t be c(1). Is (-1 - 9/6)*t composite?
True
Let a(r) be the third derivative of r**6/5 + r**5/15 - 7*r**4/24 + 5*r**3/3 + 34*r**2. Is a(3) a composite number?
False
Suppose -72328 = -8*f + 4*f + 3*z, 0 = -4*f + 5*z + 72328. Is f a prime number?
False
Let w(b) = -2*b + 10. Let g be w(4). Suppose n + 16 = -3*n, -4214 = -g*p + 4*n. Is p a prime number?
True
Let v(u) = 4*u - 3. Let k be v(2). Is (-6)/27*-6297 - k/15 a composite number?
False
Let l = -4516 + 13955. Is l a composite number?
False
Let n be 1 - ((-9)/(-3) + -6). Suppose 0*f - n*f = 324. Let q = f + 132. Is q prime?
False
Suppose -870 = -3*f - 237. Is f composite?
False
Let y be ((-18)/(-12))/((-3)/4). Let x = y + -26. Is (x/8 - -3)*-38 a prime number?
True
Suppose -3*p + 22971 = 2*v - 2172, 4*v - 8371 = -p. Is p prime?
False
Let f(l) be the third derivative of -61*l**5/12 - l**4/24 + 2*l**3/3 - 7*l**2. Let y be f(4). Is ((-22)/(-8))/((-20)/y) composite?
True
Let q = -35633 + 53402. Is q prime?
False
Suppose 4*b + 0*b + 26 = 5*x, 5*x + b = 31. Let n(q) = -q**3 + 0*q**3 + 13 - 6 + 2*q + 8*q**2. Is n(x) a composite number?
True
Is 5127*(-1 - 32/(-12)) a prime number?
False
Suppose 2*l - 5*v + v = 13498, v = 4*l - 27024. Is l prime?
False
Let j(i) = 14*i**2 - 40*i + 19. Is j(14) composite?
False
Suppose 31 = -5*w + 6. Let u be (-2 - 0) + 2 - w. Suppose -u*n = -8*n + 282. Is n a prime number?
False
Let h(j) = j**3 + 17*j - 43. Is h(15) a composite number?
True
Let j(s) = -1615*s - 61. Is j(-6) prime?
True
Let y(l) = -157*l + 2. Let t(i) = i**3 + 4*i**2 + 7*i + 23. Let u be t(-4). Is y(u) prime?
True
Suppose 65*i = 70*i - 9795. Is i composite?
True
Suppose 2*j + 10 = -0*j. Let s(q) = 299*q**2 + 12*q + 4. Is s(j) a composite number?
True
Let h = -12761 - -20933. Let u = h + -4921. Is u a prime number?
True
Suppose 2*b - 11875 = 1647. Is b a composite number?
False
Suppose 0*y + 5*g = -2*y + 25, 15 = -5*y + 3*g. Suppose y = -2*u - 8, 5*u - 3815 = -3*d - 592. Is d prime?
False
Let f = -16340 - -37683. Suppose 12*x - f = -2491. Is x a composite number?
False
Let i(u) = 2*u**2 + 73*u - 145. Is i(42) composite?
False
Suppose 0 = 6*y + 20 - 56. Suppose -12*f + y*f + 2118 = 0. Is f prime?
True
Let d = 34 + -47. Let g(v) = -56*v - 7. Is g(d) prime?
False
Suppose -847 = m - 5*m - q, -3*m + 654 = -3*q. Suppose -3*h = -2*h - m. Suppose d - 2*d = -h. Is d a composite number?
True
Suppose t + 2 = 2*t. Suppose t*b - 2 = -8. Is -1*((-308 - b) + -2) a prime number?
True
Suppose -16 = 4*f, 3*l = -4*f - 995 + 3592. Is l a composite number?
True
Suppose 6*m - 312 = 4*m. Suppose 0 = -m*l + 151*l + 3245. Is l a prime number?
False
Suppose 0 = 3*s - 4*r - 32090, 5*s = 4*r + 28737 + 24757. Is s a prime number?
False
Let r(o) = -239*o - 208. Is r(-7) composite?
True
Let w(u) = 32*u**2 - 5*u - 4. Is w(9) composite?
False
Let p(m) = -34*m + 29. Is p(-36) a composite number?
True
Let k = -2467 - -4670. Is k prime?
True
Let w be (12/(-10))/(4/(-10)). Suppose -h + w = 2. Is ((-1)/h)/(-1) + 492 a prime number?
False
Let x(i) = 1476*i - 5. Let l be (-5)/(-1) + -10 + 8 + -2. Is x(l) a composite number?
False
Let j be (-661)/(-3) - (-20)/(-15). Let c = -110 + j. Is c a composite number?
False
Let o = -5032 + 8785. Let y = o + -1844. Is y a prime number?
False
Let q(k) = k**3 - k**2 - k + 2. Let n = 43 + -39. Is q(n) a prime number?
False
Is -2 - 0 - (-9376 - 9) a prime number?
False
Let r(n) = -28*n**3 + 5*n**2 - n - 2. Let m be r(3). Suppose -15401 = -15*t + 364. Let w = t + m. Is w a prime number?
False
Let a = 4106 + -5922. Let d = -1119 - a. Is d composite?
True
Let r(g) = -3*g - 12. Let i be r(-6). Suppose 794 = 2*s + 2*c, 2*s - 767 = 5*c + i. Is s a composite number?
True
Let a(p) = 5*p - 35. Let i be a(8). Suppose 2*d + 10*b - 2950 = 6*b, -i*d + 5*b = -7345. Is d a composite number?
False
Suppose -2*g + 72 = 64. Suppose 3*c - 8*c + 11346 = 2*f, 0 = -f - g*c + 5679. Is f a composite number?
True
Let q(r) = -1298*r**3 + 9*r**2 + 7*r - 1. Is q(-1) prime?
False
Let k(v) be the first derivative of -45*v**2 + 17*v - 6. Is k(-7) a composite number?
False
Suppose -6*p = -0*p + 1140. Let x = p + 272. Is x composite?
True
Let d(g) = 23*g**2 + g - 4. Let l be d(4). Let j = l + -652. Let v = j - -471. Is v a prime number?
False
Suppose -z = 3*p - 760, 5*z - p + 766 = 6*z. Is z composite?
False
Suppose d = b, 15 = 4*d - 0*b + b. Suppose 0 = -2*i - 2*n + 656, -d*i = n - 0*n - 974. Is i composite?
True
Let q be (-1)/(-2) - (-54)/12. Is (0/q - -4) + 79 prime?
True
Let a = -1217 - -2304. Is a a prime number?
True
Let q(a) = -2107*a - 22. Is q(-3) composite?
False
Suppose 3*m = 6*c - 5*c + 410418, 5*m = c + 684028. Is m composite?
True
Suppose -2*d - 3 = -k, 5*d - 5 - 15 = -3*k. Suppose 0 = k*j - 2*j. Suppose o + 5*b - 32 = 300, j = -5*o + 5*b + 1750. Is o a prime number?
True
Suppose 20 = -4*s - 2*v, -3*s + s - 3*v = 14. Let n be (-1)/(-2) - (-35)/10. Is n/(-4 + s)*-818 a composite number?
False
Let n(o) = o**2 + 9*o + 17. Let k be n(-7). Suppose -2*x - x = 0, -k*f - 5*x + 4317 = 0. Is f a prime number?
True
Let w be (-3)/((-6)/(-392)) + -1. Suppose 0 = 2*m - 3*t - 696, -m + 4*t = -544 + 186. Let n = w + m. Is n a prime number?
False
Let a(f) = -36*f - 123. Is a(-21) prime?
False
Suppose -7*j = -1 + 8. Is (-3353)/2*(-3 - j) a composite number?
True
Is (3 + 7)/(-40) + 77194/8 prime?
True
Suppose -5*p - 5*j + 25710 = 0, 5*j - 14885 - 5678 = -4*p. Is p prime?
True
Suppose -i = 2*u + 7, u - 13 - 1 = 3*i. Let a(l) = -2*l**3 + 2*l**2 - 1. Let y be a(u). Suppose -420 = -5*c + 3*s, y*c = 2*s - 0*s + 251. Is c composite?
True
Let s be -1*(-3 - (0 + -15)). Let a be (-2)/s*3*554. Suppose -4*i + a + 95 = 0. Is i prime?
False
Suppose -16 = -5*k - 2*h, 0 = 3*k - 2*k + 4*h + 4. Suppose 5*q + k*d - 74 = 10, 2*q - 30 = 2*d. Is (q + -21)*257/(-5) prime?
True
Let y = 1667329 - 1118328. Is y composite?
False
Let t(u) be the first derivative of -u**4/2 + u**3/3 - 3*u**2 - 7*u + 4. Is t(-5) composite?
True
Let c be 9*(-3 + (13 - 1)). Let b = c + -2. Is b a prime number?
True
Let i = 8026 - -568. Is i a prime number?
False
Suppose -d + 650 = d. Let r = d - 80. Let i = r - 96. Is i prime?
True
Let t = 4254 - 1621. Is t composite?
False
Suppose 9*i - 11*i - 5240 = 0. Let p = i - -6726. Is p a prime number?
False
Suppose 0 = -o - 4 + 21. Suppose -o = 2*c - 7. Is c/((-25)/2605)*1 a composite number?
False
Let w = -674 + 1045. Is w a prime number?
False
Suppose -107573 = 4*b - 7*b + 5*u, 5*b - 3*u = 179267. Is b composite?
False
Let o be 7 + 2 + (1 - -4 - 9). Suppose o*q = 4*t + 939, 7*q - 930 = 2*q - 5*t. Is q a composite number?
True
Let r(j) = -5 - 1 - 8*j - 6 + 5*j**2 + 2. Is r(13) prime?
False
Suppose 3*r + i + 2 = 0, 0*r - r + 5*i + 10 = 0. Suppose 7*z + 3*z - 2110 = r. Is z prime?
True
Let f(a) = a**3 + 2*a - 4. Let k be f(2). Let w be 1/(-2) - (-9777)/(-6). Is (-6)/8 - w/k composite?
True
Let f(b) = -3*b**2 + 116*b - 1. Is f(6) a prime number?
True
Suppose 5*q = a - 5, 4*a = a - 5*q - 5. Suppose -w + 412 = -a*w + s, -2095 = -5*w + 2*s. Is w composite?
True
Let o be (5 - 6) + 996/1. Suppose c - 408 + o = 2*f, -f + 289 = 4*c. Is f composite?
False
Let o = 196 - 538. Let i be (0 - 2)/(4/(-2258)). Let n = o + i. Is n a prime number?
True
Let n(v) = 3*v**2 + 36*v + 223. Is n(-24) a composite number?
False
Let h(p) = 31*p - p**3 - 22*p**2 + 3 - 1 + 49. Is h(-26) a prime number?
True
Let s(w) be the second derivative of -w**5/20 + w**4/12 + w**2/2 + 11*w. Let d(q) = 3*q**3 - 11*