 = -5*x - n + 30. Suppose x*w - 24 = 4. Is w prime?
False
Suppose -3*g = -0*h + 2*h - 1874, 2*g + 1884 = 2*h. Suppose 0*f - h = -4*f. Is f a prime number?
False
Let w(m) = m**3 - 4*m**2 + 2*m - 3. Let h(o) = -2*o - 10. Let d be h(-7). Let r be w(d). Is (7/(-2))/(r/(-10)) a composite number?
False
Let i = -3 - -1. Let a(k) = k. Let v(t) = 26*t - 1. Let z(j) = 2*a(j) - v(j). Is z(i) a composite number?
True
Suppose -4*f - 6*c = -2*c - 12, 5*f - 3*c - 7 = 0. Suppose x - 4 = 2*x, -3*x + 90 = f*j. Is j a composite number?
True
Let l be ((-18)/4)/(4/(-208)). Suppose 2*j - 4*v = l, -2*v + 3*v = j - 113. Is j a prime number?
True
Suppose -k + 230 = c + k, 3*c + 3*k - 684 = 0. Is c a composite number?
True
Suppose -5*k = -3*i + 2*i - 23, -2*k - i + 5 = 0. Suppose k*y = 4*p + 4, -2 = -2*p - 2*y + 4. Is 53/p - (-3 + 3) a prime number?
True
Let a be 14 - (7 + -1)/3. Let k be (-92)/(-6)*a/2. Suppose -2*m = -3*d + 5*d - 38, 4*d - 4*m - k = 0. Is d prime?
False
Let r(d) = d - 2. Let l be r(6). Suppose l*v = 113 + 411. Is v composite?
False
Let o(d) = -3*d - 1. Let t be o(-1). Suppose 2*x + 16 = -t*x. Let u = 7 + x. Is u a prime number?
True
Let z(h) = 2*h**3 - 6*h**2 + 4*h - 6. Let k be z(4). Suppose d - k = -2*d. Is d prime?
False
Is 10/(-25) + 17774/10 prime?
True
Let u = -9 - -4. Let d(n) = -8*n**2 - 4*n + 1. Let a(t) = -t**2. Let w(r) = 2*a(r) - d(r). Is w(u) composite?
True
Let t(j) = -j**3 + 10*j**2 - 5*j. Let h be t(9). Suppose s = -s + h. Is 338/s + 6/27 a prime number?
True
Suppose -3*l + 45 = -57. Suppose 5*i - 2*i - 25 = 5*v, 3*i = -4*v + l. Is i prime?
False
Suppose u + 7*o = 3*o + 27, 0 = 3*u - o - 133. Is u a composite number?
False
Suppose 0 = -5*m + m + 1380. Suppose 0*w + m = 3*w. Is w a prime number?
False
Suppose -k + 15 = 2*k. Let s be (k - 8) + -2 + 7. Suppose -2*z + 147 = -h + s*h, 4*h - 549 = 5*z. Is h prime?
False
Let u = 4249 - 2334. Is u a composite number?
True
Suppose -19 = -4*k + 9. Suppose -k*b + 8*b = 251. Is b a prime number?
True
Let v(d) = 2*d**3 - 10*d**2 - 10*d + 5. Is v(12) prime?
True
Suppose -2*q + 15208 = 6*q. Is q a prime number?
True
Suppose 24 = t + 3*b, -4*t - 6*b + 3*b + 87 = 0. Suppose -2*s - t = -59. Is s a prime number?
True
Suppose a - 24 = -3*a. Is (4/a)/((-4)/(-1062)) composite?
True
Let p = -3 + 16. Is p composite?
False
Let q = -3 + 6. Suppose 0 = -q*p + 2 + 7. Suppose 21 = 3*v + 2*m, v - p - 4 = -m. Is v a composite number?
False
Let k(b) = 84*b - 9. Is k(7) a composite number?
True
Suppose 0*k + 12 = 3*k. Suppose k = 2*t, x - 5*t + 4 = -t. Suppose -x*u + 98 = -2*u. Is u a prime number?
False
Let v = -154 + 221. Is v composite?
False
Let l(s) = 7*s + 3. Let j be l(9). Is (j*(-1)/(-2))/1 a composite number?
True
Let p(x) = -34*x**2 - 2*x - 1. Let v be p(-1). Let i = v - -55. Is i a composite number?
True
Let s be (-20)/(-6)*3/2. Suppose -s*h + 20 = 3*u + 8, 4*u - 16 = 4*h. Suppose 2*b + 106 = u*b. Is b composite?
False
Let j be 5/20 - (-161)/(-4). Let z = -17 - j. Is z composite?
False
Suppose 4*i - 31467 = -5*o, -2*o - 4*i = -7*o + 31483. Is o composite?
True
Suppose -b = -3*c - 4, 3*b - 10 = 2*b - 3*c. Let d(r) = 38*r - 3. Is d(b) prime?
True
Let j(u) = 39*u**2 - 5*u + 27. Is j(-7) composite?
False
Let g = -343 - -558. Is g composite?
True
Let u = -9 - -15. Let s = 8 - u. Is 23/(33/15 - s) composite?
True
Is 193 + 4 - (4 + -1) prime?
False
Let g(l) = 3*l - 2. Let z be g(2). Suppose z*t - 174 = t. Is t a composite number?
True
Let m(u) = 5*u**2 - 2*u - 4. Let r be m(3). Let y = r - -176. Is y prime?
True
Suppose -3 + 25 = 2*s. Is s a prime number?
True
Let g = 7 + -4. Suppose g*i = i + 1282. Is i composite?
False
Suppose 0 = 4*r + 2*g, -5*r - 2*g + 3 = 2*g. Is (18/24)/(r/(-20)) a prime number?
False
Let s = 7 - 7. Suppose -5*o + a + 24 + 9 = s, 2*a + 6 = 0. Is o composite?
True
Let a be (-4 - 1/(-1))*-1. Suppose h = -a*m + 250, h + 2*m - 251 = -2*m. Is h composite?
True
Let i(r) = -r**2 + 8*r - 12. Let b be i(6). Suppose q + b*q = 287. Is q composite?
True
Suppose -5*j = -3*j - 2. Let a(k) be the third derivative of 13*k**5/15 - k**3/6 - k**2. Is a(j) a prime number?
False
Let s be ((-4)/6)/((-6)/45). Suppose -1 - 9 = -s*z. Suppose 0 = -c + 2*p + 25, -c = 2*c + z*p - 51. Is c a prime number?
True
Let v = 5 - 2. Suppose -v*l + 1113 = -4*f - f, -l - 5*f + 371 = 0. Is l a prime number?
False
Suppose 5*h + 4*z - 2*z - 2023 = 0, 3*h + 3*z - 1221 = 0. Is h composite?
True
Suppose 0*p + 2*p + 4 = 0. Suppose 4*c - 4 = 2*c. Let l = c - p. Is l a prime number?
False
Let q(t) = t**2 + 10*t + 14. Let o be q(-14). Let m = o + -17. Is m composite?
False
Let k = -2135 + 3640. Let z = -1074 + k. Is z composite?
False
Suppose -x - 69 = -14. Is (2 - 2) + 0 - x a prime number?
False
Let x(d) = -22*d - 3 + 2 + 4. Is x(-5) a composite number?
False
Let b = 89 - 20. Is b a composite number?
True
Let o = 17 - 7. Let y be 25/o*6/5. Suppose -2*n = b - 609, -y*n - 5*b + 912 = -2*b. Is n a prime number?
False
Suppose 0 = x - 8 + 4, 2*x + 17 = -5*h. Let t be h + 3 - (-1 - 99). Suppose -2*q + t = -0*q. Is q prime?
False
Let o(j) = 18*j. Let l be o(-7). Let r = l - -221. Is r composite?
True
Let h(w) = -512*w**3 + w. Is h(-1) composite?
True
Let x(o) = 12*o - 3. Suppose -3*f = -10 + 25. Let l = -3 - f. Is x(l) composite?
True
Suppose -g - 3 + 7 = 0. Suppose g*m - 301 = -5*y, -3*y = 4*m - 0*y - 307. Is m a composite number?
False
Let j be (-170)/6*(-12 - 3). Let w be (0 - -2) + 8/2. Suppose -w*z = -z - j. Is z a prime number?
False
Let v be 1196/(-28) - (-4)/(-14). Let c = v - -90. Is c composite?
False
Suppose 6 = -3*x - 3*a, 3*x + 30 = -0*a + 3*a. Let t = -1 - x. Is (-2 + t)*(-2)/(-3) prime?
True
Suppose 16 = 2*u - 5*d, 2*u = -2*d - d. Suppose 2*i - 1 = u*i. Is i/(-1 - 72/(-74)) composite?
False
Suppose 1 = -3*o - 8. Let z(n) = -307*n - 4. Let v be z(o). Suppose 3*m - 340 - v = 0. Is m a composite number?
False
Suppose -11*v + 1628 + 473 = 0. Is v a composite number?
False
Let k = 170 - 67. Is k prime?
True
Suppose 5*k - 4*h + 9 = 0, 2*h + 1 - 6 = 3*k. Let b be (-1 + 2)/(k/(-69)). Suppose -2*p - b = -5*p. Is p a prime number?
True
Let z(l) = -4*l + 5. Suppose -2*y + 10 = -r - 3*y, r - 2*y = -1. Is z(r) prime?
False
Let w(i) = 14*i**2 - 2*i + 1. Let b(x) = x - 1. Let y be b(3). Is w(y) a prime number?
True
Let m(g) = 33*g**3 - g**2 + 2*g + 1. Let o be -6*-2*3/18. Let s be m(o). Suppose -a - 4*a = -s. Is a a composite number?
False
Suppose a = 4*a + 5*i - 1895, -643 = -a + 4*i. Is a prime?
False
Suppose 3*u + 3*q = -543, 2*u + 179 = u - 2*q. Let k = u + 260. Is k prime?
False
Let y be ((-1)/(-2))/((-1)/(-14)). Let u(v) = 3*v - 1. Let t be u(1). Suppose -2*m = -5*o + 124, t*o - y*o + 145 = 5*m. Is o a prime number?
False
Let j = 6 + -6. Suppose 2*v + v = j. Is (19 + v)*(-5)/(-1) a prime number?
False
Is (3/9)/((-13290)/13293 - -1) a prime number?
False
Suppose d + 3*u - 101 = 242, -5*u + 1009 = 3*d. Suppose 5*g + 33 = d. Is g a prime number?
True
Let c = 202 + -75. Is c prime?
True
Suppose -570 = -2*h - 5*n, n - 986 = -3*h - 105. Is h prime?
False
Suppose -3*m + 0 = g - 188, 0 = -g - 4. Let o = -38 + m. Is o a prime number?
False
Suppose 3*h - j - 5546 = 0, 0*h = 5*h + 4*j - 9215. Is h a composite number?
False
Suppose -k = -6*k - 3*c + 536, -c = 3. Let g = k + -74. Is g a prime number?
False
Suppose g + 0 - 1 = 0. Let a = g - -12. Let v = 28 - a. Is v prime?
False
Suppose -15 = 2*o + o. Let f(m) be the second derivative of -m**4/12 - 5*m**3/6 + 3*m**2/2 + m. Is f(o) prime?
True
Let h(n) = 20*n**2 + 8*n - 1. Is h(-6) prime?
False
Suppose -w + 6*g - 3*g = 0, w = -3*g. Let r(b) = 2 + 0*b**2 + 3 - 3*b + b**2 + w*b. Is r(9) prime?
True
Suppose 0*m = 5*m + 15, 4*k - 9 = -m. Suppose k*v - 2*v + 9 = 0. Is 0 - -1 - (v - 105) a prime number?
False
Let p be (-36)/(-15) + (-4)/10. Suppose 3*j - p*g = 352 - 54, -2*j + 194 = g. Let l = 259 - j. Is l prime?
False
Let t = 50 + -34. Let d(f) = f**2 + 3*f - 2. Let r be d(-3). Let z = r + t. Is z a composite number?
True
Let m = 7 + -6. Is m + (-2 - (-136 - -2)) a prime number?
False
Suppose 0 = -9*p + 365 + 238. Is p a composite number?
False
Let p = 195 - -16. Is p a prime number?
True
Suppose 4*f = 13 - 5. Suppose f*u = -4*n + 16, 4*u - 4 = n + 1. Suppose 3*j = i + 289, 0 = -u*j - 3*j - 2*i + 467