s q(k) a prime number?
False
Suppose -4*l - 5*o + 152 = 0, -5*l - 2*o = 2*o - 199. Is l prime?
True
Let k(s) be the first derivative of s**2/2 + 139*s - 3. Is k(0) a prime number?
True
Let a be 5*(-1)/((-20)/12). Suppose a*l - 3*b + 110 = 443, 4*l = -b + 444. Is l a composite number?
True
Suppose -2*n = 5*q + 4, q - 2 - 2 = 0. Is (-4)/6 - 188/n a prime number?
False
Let g be (2/3)/((-4)/(-18)). Suppose -g*l = -2 - 7. Suppose 0 = -l*p - 3*h + 336, 4*p + 290 = 4*h + 746. Is p composite?
False
Let n be (1 + 3/(-6))*0. Let y = 11 + n. Is y a prime number?
True
Let s(w) = 7*w**2 - 25*w + 25. Is s(-14) a prime number?
True
Suppose 5*d = -s - 0*s - 142, -3*s - 466 = 5*d. Let w = s - -469. Is w prime?
True
Suppose 10*f = 5*f + 155. Is f a composite number?
False
Suppose 13*v - 10*v - 1869 = 0. Is v prime?
False
Let q be (12/9)/((-6)/(-207)). Let k = 82 - q. Is (-8)/k - 112/(-18) composite?
True
Let g = -81 - -139. Is g prime?
False
Let o be (1 - (1 - 1)) + -6. Let l = 16 + o. Is l a composite number?
False
Let d(t) = -21*t + 3. Let h be d(2). Let v be ((-8)/(-6))/(1/(-3)). Let a = v - h. Is a a composite number?
True
Let n = -6 - -6. Suppose a - 61 = 4*w, -4*a - 3*w + 187 = -n*a. Is a a prime number?
False
Suppose -653 = 2*m - 3*m. Is m/4 - (-6)/(-24) prime?
True
Let u(q) = q + 3. Let i be u(-9). Let l(f) = -f**3 - f**2 - 5*f + 7. Is l(i) prime?
False
Suppose -m - v = 4*m - 20, -3*v - 15 = 0. Suppose -7 = -0*w + w - m*s, 0 = 3*w - 2*s - 31. Is w prime?
True
Let l = -2951 + 4204. Is l a prime number?
False
Suppose 0 = -2*n + 1327 + 531. Is n prime?
True
Let m = -7 - -10. Suppose -46 = -5*k + m*k. Is k a prime number?
True
Suppose -1324 = -5*q - 149. Is q composite?
True
Let u = 1394 + -745. Is u prime?
False
Suppose 5*v + 3*r + 1 = 6, -r = -5*v + 25. Suppose -3*c = c - v. Is c/(-3) + 332/6 prime?
False
Let m(n) = 130*n - 4. Let p be m(4). Let g = -305 + p. Is g composite?
False
Is (1 - -3)/4*631 a composite number?
False
Suppose -4*k + 3*q + 1057 = 0, q + 448 + 81 = 2*k. Is k composite?
True
Let b = 389 - 203. Suppose -4*v - 2 = b. Let m = 69 + v. Is m a prime number?
False
Is (4/((-8)/(-79)))/((-5)/(-70)) a prime number?
False
Is -2 - (1 - (-3 - -155)) prime?
True
Let l(c) = 6*c - 2. Let q be l(5). Suppose -q = -3*m + 77. Is m a prime number?
False
Let p(d) = d**3 - 10*d**2 - d + 13. Let g be p(10). Let h be (-117)/(1/(6/g)). Let o = h + 383. Is o a composite number?
False
Suppose 0*f - 3*f = -2355. Is f prime?
False
Let v(t) = -t**3 - 8*t**2 - 8*t - 3. Let g be v(-7). Suppose -2*o - 2*o + 162 = 2*d, 0 = 2*o + g*d - 90. Is o prime?
False
Suppose 0 = 3*k - 2*k - 13. Suppose 0 = n - k - 64. Is n a composite number?
True
Let b(t) = -3*t + 81*t**2 + 6*t - t - 1 + 0*t. Is b(1) composite?
True
Is 178*(6/4 + 0) a composite number?
True
Suppose i = -4 + 9. Suppose -i*k + 2*g = -2*g + 97, 0 = 3*k + g + 65. Is ((-18)/k)/(4/28) composite?
True
Suppose -7*s + 3429 = 1280. Is s prime?
True
Let y(a) be the second derivative of 16*a**3/3 - a**2/2 - 3*a. Is y(6) prime?
True
Let q(m) = -2*m + 631. Is q(0) a prime number?
True
Let m = -6 - -74. Let o be 6/(-4)*m/(-3). Suppose 3*f + o - 145 = 0. Is f a composite number?
False
Let i be 0/(-3 + (8 - 3)). Suppose i = -5*x + 25, -4*x - 461 = -4*b - x. Is b a prime number?
False
Suppose 0*j - 2*j = -2*x + 11500, 0 = -5*x - 4*j + 28723. Is x composite?
True
Let t = -183 + 106. Let y = 142 + t. Suppose l = 6*l - y. Is l a prime number?
True
Let z(w) = 2*w**2 - 8*w + 5. Is z(17) prime?
False
Suppose -99 = -5*v + 3*d, -v + 57 = 2*v - 3*d. Is v composite?
True
Let i(u) = -310*u + 35. Is i(-15) a composite number?
True
Let f = 3578 + -693. Is f prime?
False
Suppose -30 = 5*q - 0*q. Is 2/(q/(-753)) + 2 a prime number?
False
Let h(w) = 10*w + 7. Let d be h(3). Suppose -3*m = -4*m + d. Is m composite?
False
Let q = 420 + -160. Suppose -4*f + 3*r = f - q, 4*f - 3*r - 205 = 0. Is f a prime number?
False
Let a be (-11)/4 + 1/(-4). Let x(f) = -f**3 - 6*f**2 + 7*f - 6. Let p be x(-7). Is a/(p/46) - -2 prime?
False
Let t(i) = -5*i**3 + 7*i**2 - 8*i - 15. Is t(-7) a composite number?
False
Is -4 + 237 + (-2 - -2) prime?
True
Suppose -3*d + 144 + 183 = 0. Is d a prime number?
True
Suppose -3*o = -4*o + 3. Suppose 5 - o = 2*r. Is (3 - r) + 38 + -3 prime?
True
Let q(t) = t**3 - 3*t**2 + 3*t - 2. Is q(3) composite?
False
Is (-254)/((3 - 5) + 0) a composite number?
False
Let f be -2 + 1 + 1 + 0. Suppose -2*m + d = 2*d - 1596, f = 4*m + 3*d - 3194. Is m prime?
True
Suppose p - f = -1, -3*p - 7 = -5*f + f. Suppose 0 = 5*h - 2*h - p*b - 45, 5*b + 60 = 4*h. Suppose 3*r + 2*r = h. Is r a composite number?
False
Suppose 71 + 1 = -4*j. Let v = j + 145. Is v a composite number?
False
Let l be 16/8 + 1 + -21. Is (51/6)/((-3)/l) composite?
True
Suppose -2*i + 12 - 4 = 0. Let n(h) = -16*h + 3. Let r(b) = 81*b - 16. Let w(k) = -11*n(k) - 2*r(k). Is w(i) a prime number?
False
Let l(p) = p**2 + 6*p + 3. Let i be l(-6). Suppose i*o = -r + 18, 0 = -3*o - 6 - 9. Is r prime?
False
Let l(o) = -6*o**2 - 6*o + 2. Let d be l(4). Let k = -63 - d. Is k prime?
False
Let p = -11 + 9. Is (2/(-1))/(p/109) a composite number?
False
Suppose -19 = -3*w - 943. Let g be (-1)/(-5) + (-2178)/15. Let k = g - w. Is k a prime number?
True
Let r be (0 + -222)/((-32)/16). Suppose -4*n = -7*n + r. Is n a composite number?
False
Let k = -4 - -13. Suppose 3*h = -5*u + k, 4*h + h = -4*u + 2. Is (-66)/(-9)*(-21)/h a composite number?
True
Let x(r) = -r + 13. Suppose -2*p + 10 = -2*f, p + 0*f = -3*f + 21. Let b be x(p). Suppose -b*l = 49 - 205. Is l a composite number?
True
Let g be 4*2 - (2 - -1). Suppose 4*i = -5*c + 348, -g*i - c + 7 = -449. Suppose 3*w - 3*q - 459 = 0, 5*q - i - 242 = -2*w. Is w composite?
False
Let r be 332/(-3) + 5/(-15). Let i = r - -190. Is i a prime number?
True
Suppose 0 = 5*i - h - 1192, i + 2*h - 193 = 52. Is i a prime number?
True
Let d = 16 + -10. Let a be (-3)/(d/4)*-1. Is 23*(0 + -1 + a) prime?
True
Let r be 2*4/(16/(-6)). Is (17/(-4))/(r/36) a composite number?
True
Suppose -b = 4*b - z + 14, -b + z - 2 = 0. Is (-147)/(-1) - (-5 - b) a prime number?
True
Suppose -10*d - 2*d + 444 = 0. Is d composite?
False
Suppose 2*n = -4*n + 2022. Is n a prime number?
True
Let z = 1 + 36. Is z a prime number?
True
Let q(c) = 2*c - 9. Let b be q(8). Let r = b - 0. Is r composite?
False
Let o be (74/4)/1*4. Let z be (10/4)/(1/2). Suppose -89 = -4*r - i, 0 = 4*r + z*i + o - 183. Is r prime?
False
Suppose 6*t = -2*n + t + 4, 2*n - 2*t - 4 = 0. Suppose -n*x = 5*p - 25, 7*p - 50 = 2*p + 3*x. Is p composite?
False
Let c(h) = h**3 + 6*h**2 + 4*h. Let b be c(-5). Suppose -192 + 7 = -b*f. Is f composite?
False
Suppose -316 = -2*u + 130. Is u prime?
True
Suppose 0 = -2*u + b + 26 + 15, 3*u - b - 64 = 0. Is u prime?
True
Let d(f) = 22*f**2 + 4*f + 3. Is d(-2) composite?
False
Suppose b - 3 = 2. Let t(h) = h**2 + 5. Let a be t(b). Let w = a - 11. Is w a prime number?
True
Let o(h) = 82*h**2 + 2*h - 1. Let b(g) = g**3 - 4*g**2 + g - 2. Let c be b(4). Is o(c) a composite number?
False
Let w = -323 + 452. Is w a prime number?
False
Suppose f - 2 - 9 = 0. Let m(c) = 2*c + 3. Is m(f) composite?
True
Let f = 10 + -4. Let y be 3 + -1*f/(-3). Suppose 5*z + i = 1465, -4*z + y*i - i + 1172 = 0. Is z prime?
True
Let c(i) = 10*i**2 - 13*i - 2. Is c(7) a prime number?
True
Is (-18)/(-27)*402/4 prime?
True
Let t = 9 + -7. Suppose -l + 0*l = -t*i - 69, -i = -2*l + 153. Is l prime?
True
Let h(v) = -10*v + 2 - 7*v**2 + v**3 + 7*v**2 - 4*v**2. Is h(8) a composite number?
True
Let y be 2/(-4)*(-1 - -1). Suppose y = -n + 1 + 3. Suppose 9*h = n*h + 95. Is h prime?
True
Let x(f) = 620*f**2 + 2*f - 5. Is x(-3) composite?
False
Suppose r - 4 + 0 = 0. Suppose r*m = m + 120. Let d = -21 + m. Is d prime?
True
Is 9/(-9)*(6*-54 + 1) a composite number?
True
Let g be -9 - -6*(-3)/6. Is 90/4 + g/8 composite?
True
Suppose 2*p = -0*p - 4. Suppose -2*l - 1 = 1. Is 23 + p + l + -1 a prime number?
True
Let i = 526 - -314. Suppose 423 = -2*r + 3*r - 4*w, 2*w + i = 2*r. Is r prime?
True
Suppose 0 = -z - 2 + 3. Is 129 + 4/(-1 - z) a prime number?
True
Let v(x) = x**3 + 7*x**2 + x + 10. Let w be v(-7). Suppose w*o + 168 = 435. Is o a prime number?
True
Let k = 69 - -28. Let j be (-10)/(2/(0 + -1)). Suppose j*v - k = 32