6*o = 4*n - o + 67, -3 = n + 4*o. Let d = p - n. Is d composite?
True
Suppose -382 = -2*g - 4*l, -g - 3*l - 5 = -198. Is g composite?
True
Let x be (4/(-14))/(3/(-21)). Let a be (-126)/4 - x/(-4). Let g = -16 - a. Is g composite?
True
Suppose -v + 2*v + 4*z = -846, 2*z = -3*v - 2578. Is (-1)/3 - v/3 a composite number?
True
Suppose -b = 1 - 4. Suppose 4*u = -2*v + b*u + 8, 2 = 5*v - 2*u. Suppose -v*o = -65 - 9. Is o composite?
False
Let k(z) = -8*z**3 + 3*z**2 - 2*z - 6. Let u(h) = h**2 - 1. Let m(p) = k(p) - 5*u(p). Let v be m(-1). Let q(n) = -n**3 + 7*n**2 + 4*n - 6. Is q(v) composite?
True
Suppose 0 = -h + 65 + 28. Let d = 17 + -73. Let v = h + d. Is v a composite number?
False
Let b = 4333 - 1890. Is b a composite number?
True
Suppose -2*i + 4 = -2. Let a(k) = 29*k - 4. Is a(i) prime?
True
Suppose -o + 3*o = -i + 5, 3*o - 5 = i. Suppose 2 = -o*f + 3*f. Is f/(-2) - (1 + -76) a composite number?
True
Suppose 3*f = -5*g + 298, 2*g - 128 = 3*f - 391. Is f prime?
False
Suppose 0 = r - 3*r + 1358. Is r composite?
True
Suppose 4*f = -4*v + 580, 6*f - 565 = 2*f + v. Is f a composite number?
True
Is ((-940)/(-3) + 4/6)/2 a composite number?
False
Let r be -3 + (-5)/(5/(-12)). Suppose p = 4*p - r. Is p a prime number?
True
Let q(o) = o**3 + 5*o**2 + o + 5. Let r be q(-5). Let p(u) be the third derivative of u**6/120 - u**4/24 + 115*u**3/6 + u**2. Is p(r) a prime number?
False
Let n be (-1 - -1)/(1 - -1). Suppose 4*s + n*y - 162 = -3*y, -4*y = -2*s + 70. Is s composite?
True
Let x be (1/2 - 0)*618. Suppose 0*o + x = 3*o. Is o a prime number?
True
Suppose 227 = -0*i + i - 2*n, -3*n - 224 = -i. Is i a prime number?
True
Is 3/(-6*1/(-134)) a prime number?
True
Let x(d) = d**3 - 9*d**2 - 12*d + 5. Is x(12) a composite number?
False
Let v = -14 + 10. Let h be ((-9)/12)/((-1)/24). Let l = h - v. Is l prime?
False
Suppose 0*d + 4*d + 2*u - 332 = 0, -4*u - 16 = 0. Is d a prime number?
False
Suppose i + 12 = 5*i. Suppose -3*u - 5*b + 7 = -0*b, i*u - 2*b = 35. Is u a prime number?
False
Let w be (-6)/9 + (-953)/(-3). Let q = w - -152. Is q a composite number?
True
Let t(s) = -7*s - 1. Let m be t(-1). Is (m/3 - 2) + 7 composite?
False
Suppose -33 = -4*p + 91. Is p a prime number?
True
Suppose 0 = 6*h - 9043 - 4955. Is h prime?
True
Suppose 2*l = 7*l - 280. Let f(t) = -2*t**2 - 10*t + 1. Let x be f(-9). Let j = l - x. Is j prime?
True
Suppose 0 = n - 4 + 2, -3*l + 1759 = -n. Is l a composite number?
False
Suppose 3*g - g = 186. Is g a prime number?
False
Suppose 19*z = 13*z + 10398. Is z a prime number?
True
Suppose 5*h + 3*o - 1 = 0, 3*o + 17 = -0*h + 4*h. Let d be -1 + (-2)/h - -5. Suppose d*t = 46 - 16. Is t a prime number?
False
Let u(d) = 5*d - 5*d + 6*d**2 - d**3 + 1 + d. Suppose -2*n = 4*c + 2, -5*n - 19 + 56 = -4*c. Is u(n) composite?
False
Let l be (-72)/(-30) + 6/10. Suppose 156 = 4*k - 4*g, -l*k - 3*g + 68 = -k. Is k composite?
False
Let t(j) = -j**3 + 7*j**2 - 8*j + 5. Let q = -15 - -23. Let i(k) = -k**2 + 10*k - 11. Let v be i(q). Is t(v) a composite number?
True
Let a(w) = -w**3 - 4*w**2 - 10*w - 23. Is a(-10) a prime number?
True
Suppose 0 = 4*q + 5 + 39. Let g = 35 - q. Is g prime?
False
Let f be (-3)/(-6) + 5/2. Suppose 4*n - 3*c + 0*c - 39 = 0, -45 = -5*n + f*c. Suppose z = n*z - 1075. Is z a prime number?
False
Suppose 0*m + 10 = -2*d + 3*m, 6 = d + 4*m. Is d/(-9) + 1951/9 a composite number?
True
Suppose -3*s - 4*j + 17 = 2, -s - j + 5 = 0. Suppose -w - 213 - 2 = -s*f, 0 = -2*f - 4*w + 86. Is f a composite number?
False
Suppose -3*w = m - 37, -w + 9 + 20 = -3*m. Let f(g) = g**2. Let c be f(2). Is w/c*(-2 - -4) composite?
False
Is (-21)/7 - (1 + -39) a composite number?
True
Suppose 0 = -5*z - 0*z - 135. Let k be z/18 - (-3)/(-2). Is (29 + k - -2) + 3 composite?
False
Let h(g) = -g + 79. Suppose -2*x - 5 = 3*x. Let p be 0/(x - 1)*1. Is h(p) a prime number?
True
Let l = -93 + 224. Is l prime?
True
Suppose 3*g = 5*g - 2*m - 6, 0 = 2*m - 2. Suppose -8 = -g*d + 8. Suppose -4*u = 3*c - 136, 2*u + d*c + 15 = 3*u. Is u prime?
True
Is 3960/4 - (-6 + 5) composite?
False
Let w(k) = -k**2 - 8*k - 8. Let l be w(-6). Is (14/(-3))/(l/(-222)) prime?
False
Let a be -6*1/4*-2. Suppose -3*g + 243 = 4*o, 8*o - 3*o + 216 = a*g. Is g composite?
True
Let z(i) = 5*i**2 + 6*i + 2. Is z(-9) a composite number?
False
Suppose -220 = -3*c - 5*u + 43, -3*c + 283 = u. Let y be (328/(-16))/(2/(-24)). Suppose 4*j - 2*g - 122 = 0, 0 = -5*j + 3*g + y - c. Is j composite?
True
Suppose 0 = 2*m + 10, -3*n = -m - 3 - 8. Suppose o + 19 = n*o. Is o a prime number?
True
Suppose 0 = -3*t + 163 - 58. Is t a composite number?
True
Suppose 3*m = 1696 + 5303. Is m a prime number?
True
Suppose -6284 = 22*h - 26*h. Is h a prime number?
True
Let g be 0*((5 - 3) + -1). Suppose 5*m - 17 = i - 5, 5*m + i - 8 = g. Suppose 5 = m*f - 169. Is f a prime number?
False
Let w = 149 - 22. Is w composite?
False
Let v(f) = -152*f - 9. Let z(l) = -305*l - 19. Let j(w) = -7*v(w) + 3*z(w). Is j(5) a composite number?
False
Let m = -124 + 227. Is m prime?
True
Let i(o) = 9*o**3 - o**2. Let y be i(-1). Let w be y/4*(-12)/10. Suppose -w*r - 39 = -3*t + r, -2*t + 26 = r. Is t prime?
True
Suppose -2*p - 3 + 5 = 0. Suppose 4*a + p = -b - 0*a, -4*b - 3*a = -9. Is -2*b/(6/(-7)) prime?
True
Let o = 2 - 0. Let y = o + -2. Suppose -4*u + u + 165 = y. Is u prime?
False
Suppose 0*r = -5*r + 10. Suppose 0 = n + r*n - 381. Is n prime?
True
Let w = 1 + -4. Let j = -1 + w. Let i = 8 + j. Is i prime?
False
Suppose -2348 = z - 5*z. Is z a composite number?
False
Let g = 214 - 101. Is g composite?
False
Let n(d) = 21*d - 9. Let z(r) = -21*r + 10. Let g(b) = -3*n(b) - 2*z(b). Let i(y) = -7*y + 2. Let x(q) = -2*g(q) + 7*i(q). Is x(-3) composite?
True
Let k be 0/((-1)/(1/2)). Suppose k*n = 5*n. Suppose n = -0*j - 2*j + 46. Is j prime?
True
Is (-10)/(-4)*(-290)/(-5) composite?
True
Let t be (-2)/(-6) - 178/(-6). Is (t + 6/2)/1 a composite number?
True
Let y(n) = -n**2 - 9*n + 9. Let b(z) be the first derivative of -2*z**2 + z - 2. Let q be b(2). Is y(q) composite?
False
Suppose -4*k + 8*s - 3*s - 34 = 0, 2 = -2*k - 5*s. Let z(r) = -11*r - 7. Is z(k) prime?
True
Let r(g) = 6*g + 3. Let w(d) = 6*d + 3. Let t(n) = 5*r(n) - 6*w(n). Is t(-10) prime?
False
Let p be (-2 + 399/(-6))*-2. Let d = 300 - p. Is d a composite number?
False
Suppose 4*l - 5*l + 4 = 0. Suppose l*k + k = 335. Is k composite?
False
Let q be (1 - 2)*1*-5. Let t be (3 - 9)*(-1)/3. Suppose -q*y - 99 = -2*f, -t*y - 3*y = 25. Is f a composite number?
False
Let c(s) = -s**3 + s**2 + 5. Let b be c(0). Suppose 2*k - 6*k = n - 4, 5*k = -3*n + b. Suppose -2*i = -n*i + 2, 5*y = -5*i + 170. Is y composite?
True
Let a(q) = -7*q**2 + q + 5. Let z(w) = -w**2 + w + 1. Let v(d) = -a(d) + 6*z(d). Is v(-6) prime?
True
Let h = -106 - -605. Is h a prime number?
True
Let n(y) = -2*y - 1. Let t be n(-1). Let m(o) = -o**2 - o. Let j(q) = 115*q**2 + q + 1. Let b(p) = t*j(p) + 2*m(p). Is b(1) a composite number?
False
Suppose 2*x = -x + 4*j + 173, 5*x + j = 250. Is x prime?
False
Is (7/14)/((-1)/(-158)) prime?
True
Let o = -27 - 5. Let l = 65 + o. Is l composite?
True
Suppose 5*t - 78 = -2*x + 19, -2*t + 3*x + 35 = 0. Let j(h) = -11 - 32*h + 3*h - t*h. Is j(-8) composite?
False
Let b(c) = -2*c**2 + 4*c + 2. Let v(m) = 2*m**2 - 4*m - 1. Let a(g) = -4*b(g) - 5*v(g). Let q be a(3). Is ((-3)/q)/((-3)/(-171)) composite?
False
Is (3 - (6 + -4) - 2)*-1397 prime?
False
Let b(v) = v**3 + 10*v**2 - 9*v - 7. Is b(-9) a composite number?
True
Let u(b) = -b**2 - b + 1. Let p(h) = -5*h**2 + h - 4. Let w(o) = -p(o) - 2*u(o). Is w(-3) prime?
False
Let y = 1060 + 483. Is y composite?
False
Let s(j) = -j**3 + 10*j**2 - 3*j - 10. Suppose c = 2*q - 16, 0*q + c + 36 = 4*q. Let i be s(q). Let u = i - -74. Is u a composite number?
True
Suppose -2*f = 4, -387 + 1508 = 3*n - 4*f. Is n prime?
False
Let g = -130 + 188. Suppose 0 = -2*m - 0*h + h - 47, -5*h - 17 = 2*m. Let p = m + g. Is p composite?
False
Let t = -25 - -171. Suppose 3*k - 2*x - t = 0, 2*k + x - 4*x - 89 = 0. Suppose 2*m = 4*h - k, h + 0*h - 31 = 5*m. Is h prime?
True
Let h(g) = -10*g - 7. Let v be h(5). Let w = 83 + v. Is w a prime number?
False
Suppose -5 = -3*t + 2*l, l + 0*l = -5*t - 9. Let d(v) = 35*v**2. Is d(t) a composite number?
True
Suppos