w - 4*o, -o = w - 2*o - d. Is 23 - ((-2)/w - -3) a composite number?
True
Let w be (14 + 1)*(-6)/(-5). Let f = 41 - w. Is f a composite number?
False
Suppose -4*c + 17 = 5. Suppose -c*x - 29 = -5*k, -3*x + 2 = -x + 2*k. Is ((-22)/x)/(2/3) composite?
False
Let x(j) = -5*j - 9. Let f be x(-6). Suppose 0 = 3*p + 5*v - f + 9, -p = -5*v + 16. Let c(k) = 6*k**2 - k. Is c(p) prime?
True
Suppose 105*b - 102*b = 3147. Is b a prime number?
True
Suppose -2*c - 105 = -5*j, -2*j + 6*j - 87 = c. Is j a prime number?
True
Let l(a) = -a**2 - 3. Let u be l(0). Is u/(-1) - (-127 + -3) prime?
False
Let r(n) = 56*n**2 - 2*n + 1. Is r(3) a composite number?
False
Let k(v) = -v**3 - 4*v**2 + v + 3. Is k(-8) prime?
True
Suppose -7 = 3*n - 13. Suppose -n*o + 201 = o. Is o a composite number?
False
Let m = -19 - -27. Is 1/4 - (-1014)/m prime?
True
Suppose -7522 = -6*j + 644. Is j a composite number?
False
Is 1*(1458 + 1)*1 prime?
True
Let o be (-4)/6 + 2/3. Suppose 0*q + b = q - 26, o = q - 5*b - 42. Is q prime?
False
Let c = -487 + 789. Suppose -3*z - 3*l + 0*l + 240 = 0, -4*z = -2*l - c. Is z prime?
False
Suppose -f = -4*w - 53, -2*w = -3*w - 5. Is f a prime number?
False
Suppose -2*j + 9 = j. Let b = j - 3. Suppose b*g = 2*g - 110. Is g prime?
False
Let p = 1024 - 651. Is p prime?
True
Let x(w) = 2*w**2 - 9*w + 3. Suppose 40 = 4*q + 16. Is x(q) composite?
True
Is (529 - 3)*1/2 composite?
False
Suppose -7*n = -3*n - 3352. Is n prime?
False
Is 2/(-7) - 2705/(-35) a composite number?
True
Let x(l) = -3*l - 11. Let z = 12 + -26. Is x(z) composite?
False
Suppose 4*f - u - 232 = -f, 226 = 5*f + 2*u. Is f a prime number?
False
Suppose -34*i + 1094 = -32*i. Is i prime?
True
Let v(y) = y**3 + 6*y**2 - 7*y + 2. Let g be v(-7). Suppose -2*t = g*t - 388. Is t prime?
True
Let j be (-102)/(-27) + (-6)/(-27). Let f = j - 4. Suppose f = -3*d + 130 + 107. Is d composite?
False
Let v = -329 - -586. Is v prime?
True
Let k be 1286/7 + 4/14. Suppose -3*j + 95 = -2*j. Let o = k - j. Is o prime?
True
Let z = 6 + -4. Suppose b - z*b = 82. Let d = -47 - b. Is d composite?
True
Suppose 3*j = 2*a + 274, 5*a + 27 = 4*j - 350. Suppose -3*n + 3*x + 0*x = -66, 0 = -4*n - 3*x + j. Is n a composite number?
True
Let g be 68*4/8 - -2. Is (-2278)/(-6) + g/27 a composite number?
True
Suppose 184 = 4*n - 0*k - 5*k, -3*n + 2*k + 145 = 0. Is n a prime number?
False
Let m(l) = -l + 17. Let u be m(14). Suppose n + 35 = u*n - 3*d, 5*n = d + 68. Is n prime?
True
Let f(n) = -95*n - 6. Let u(a) = 19*a + 1. Suppose -2*i + 2 = 6. Let j(k) = i*f(k) - 11*u(k). Is j(-4) composite?
True
Suppose -5*i - 24 = u, u - 7 = 4*i + 5. Let c(s) be the second derivative of 3*s**4/4 + s**3/3 + 5*s**2/2 + s. Is c(u) prime?
False
Is ((-1)/2 - 1)/(84/(-60872)) prime?
True
Let x = 20 - -8. Let s be 1/(-2) + x/8. Suppose 0 = s*b - 5*f - 364, -3*b + 314 = f + 4*f. Is b composite?
False
Let r(k) be the first derivative of 21*k**2/2 + 2*k + 4. Is r(3) a prime number?
False
Suppose -4*o - 3*n = 2*n - 1523, o + 5*n = 392. Let h = o + -192. Is h prime?
False
Suppose 0 = -b - 1 - 0. Let w be 7/((-21)/18)*b. Let v(g) = -g**3 + 7*g**2 - 5*g + 5. Is v(w) prime?
True
Suppose 0*u - 4*u + 2*b + 6 = 0, -3*u = -3*b + 3. Suppose -5*y + y = -u. Is -1*y - 2*-12 a composite number?
False
Let d(r) = 15*r**2 - r - 1. Suppose -7*i = -3*i - 4. Let c be (0 - (0 - i))/(-1). Is d(c) composite?
True
Let w = 13 + 22. Is 196/w*5/2 a composite number?
True
Let y(p) be the third derivative of -p**6/120 + p**5/10 - p**3/3 + 2*p**2. Let h be y(6). Is 38/h*(-2 + 1) prime?
True
Let i(u) = 36*u**2 - u + 16. Is i(5) a prime number?
True
Suppose -3*v + 471 = 4*g - 3*g, 0 = 4*g - 3*v - 1899. Let a = g - 287. Is a a composite number?
True
Let i(c) = c**3 + 4*c**2 - 7*c + 1. Suppose -3*o - p - 35 = 3*p, 3*p = 2*o - 5. Is i(o) a prime number?
True
Let r(c) = -c**3 + 11*c**2 - 8*c - 7. Let f be r(7). Suppose -3*g - f = -484. Is ((-14)/(-6))/(3/g) prime?
False
Let q = 1444 + -767. Is q a composite number?
False
Suppose -3*y - g + 19 = 0, y - 3*g = 2*g + 33. Let i be ((-6)/(-6))/(2/y). Suppose i*m = m + 66. Is m a prime number?
False
Let s(g) = -47*g + 6. Let j be s(14). Is 2*(0 + j/(-8)) a prime number?
True
Let u(x) = 161*x - 82*x + 88*x. Is u(1) prime?
True
Let g(r) = r**3 - 9*r**2 + 7*r + 8. Let m be g(8). Suppose m*x + 4*x = 424. Suppose 0 = -3*c + n + x, 4*n + 7 = c - 10. Is c a composite number?
False
Suppose 4*i - 48 = 2*l, -2*i + 3*i - 6 = -l. Is i prime?
False
Suppose -c = -2*c - 2*w - 33, 5*w = -5*c - 190. Let v(z) = -2*z - 3. Let f be v(9). Let n = f - c. Is n a prime number?
False
Suppose x - 21 = -2*x. Let y(l) = l**2 - 8*l + 813 + l**2 - 818. Is y(x) a prime number?
True
Let v be (50/30)/((-1)/6). Let w(j) = j**3 + 11*j**2 + 9*j + 9. Is w(v) composite?
False
Suppose 4*o + d = 1677, 5*d + 116 + 1555 = 4*o. Is o a composite number?
False
Suppose 4*b - 9*b = -25. Suppose 2*t - 371 = -3*s, -s - b*t + 84 = -18. Is s a composite number?
False
Let v = 583 + -320. Suppose 2*j - 3*r = v, -4*j = -0*r - 4*r - 520. Is j composite?
False
Let i = 4 - 0. Suppose 2*v + 3*n = 374, -3*v + i*n + 708 = v. Let w = v - 128. Is w a prime number?
True
Suppose 2*o - 1355 = -2*t + 3*o, 2722 = 4*t + 2*o. Is t composite?
True
Suppose -3*j + 191 = -19. Let a = -294 + j. Let i = a - -457. Is i a prime number?
True
Suppose -3*c + 0*c + 195 = 0. Is c a prime number?
False
Let n = -1603 + 2418. Is n composite?
True
Let u be 5*2/(-2) - 1. Let c(s) = s + 11. Let m be c(-15). Is (m/u)/(4/318) prime?
True
Let z = -1 + 7. Is (-2)/(-3)*747/z a composite number?
False
Suppose 3*s = -2*t + 6*s - 4, -2*t - 2*s = 24. Let o be (t/(-12))/((-2)/3). Let p = 34 - o. Is p prime?
False
Suppose -p = -2*o + 1501, 4*o + 14*p - 3007 = 11*p. Is o a prime number?
True
Let s = 4 + -1. Let z = s - -50. Is z prime?
True
Let o(z) = 11*z**2 - 5*z - 5. Let u be o(-4). Suppose -u = -4*p + 197. Is p a composite number?
False
Is 12/16 + 7938/8 a composite number?
True
Let h(n) = -n + 6. Let y be h(2). Suppose y*k + 22 = 254. Is k a composite number?
True
Suppose -5*l - 7 = n, 0*l + 1 = n - 3*l. Is (-2 - n) + 178/2 a composite number?
False
Let t = -350 + 519. Is t a prime number?
False
Let q(d) be the second derivative of d**3/3 - 4*d**2 + 2*d. Let y be q(8). Let h = y - 2. Is h prime?
False
Let s(a) = 3*a**2 + 4*a + 1. Let f be s(4). Suppose 3*c - 305 = g, 2*c - 2*g - f = 141. Suppose j + j = -w + c, 0 = 2*w - 3*j - 167. Is w composite?
True
Suppose 4*y + 2935 = 9*y. Is y a prime number?
True
Is (19054/21)/(2/3) prime?
True
Suppose 0 = 3*g - 9 - 6. Let w(r) = r**3 - 6*r**2 + 7*r + 1. Is w(g) a prime number?
True
Suppose 5*k = -r + 2796, -3*k + 5*r = 2*k - 2790. Is k prime?
False
Is 30750/10 + (-8)/(-2) composite?
False
Let l be 3 + 288 + -2 + 0. Suppose -3*z + 266 = -l. Is z composite?
True
Suppose b - 415 = -2*t, 5*b = 2*t + 1793 + 234. Is b a composite number?
True
Let p(y) = -10*y - 2. Let n be p(5). Suppose 0 = 5*o + 3*c - 195, 18 + 21 = o + c. Let t = o - n. Is t a composite number?
True
Let i = -4 - 2. Is 662/(i/3)*-1 a prime number?
True
Let f(y) = 35*y**2. Let s be f(-3). Suppose s = 5*p + 5*k, -2*k - 47 = -p + 1. Suppose 11 = 3*o - p. Is o composite?
False
Suppose 4*m = 3*k - 61, 3*m - 21 = -4*k + 52. Suppose 8*p - 45 = 3*p. Let q = k - p. Is q composite?
True
Suppose -5*g = -2*g - 414. Suppose -124 = -u + g. Suppose f - u = -f. Is f a composite number?
False
Let x(m) = m**3 + 2*m**2 - 2*m + 2. Let g be x(-3). Is 1 - -94 - g/(-1) a composite number?
True
Suppose 0 = 5*a + 9 - 34. Let d be 1611/6 - 4/8. Is -1 - a/((-10)/d) a composite number?
True
Suppose 27 + 33 = 4*i. Let a be 4/(-3)*i/(-10). Suppose -a*g + 7*g - 75 = 0. Is g prime?
False
Is (2/(-6))/((3 - -3)/(-15138)) a prime number?
False
Is ((-44)/(-55))/(4/290) prime?
False
Suppose b = x + 348, b - 150 = -x + 196. Is b prime?
True
Let u = 205 + -116. Is u a composite number?
False
Suppose -5*h = -p - 1533, 2*p = 3*h - 0*h - 917. Is h prime?
True
Suppose -b + 6*b = 25, 2*b = i + 7. Suppose i*y + y = 168. Is ((-5)/(-2))/(3/y) a composite number?
True
Suppose 0*m + 4196 = 4*m. Is m a prime number?
True
Let j be (1 - 4)*(-5 + 4). Suppose t - 514 = -j*t - 5*m, -m - 2 = 0. Is t a composite number?
False
Suppose -u = -5*u + 12. Suppose -2*w = -u*b + 5 - 6, 2*b =