c = a, -3*k + 140 + 155 = 4*h. Is k composite?
True
Suppose 230 = 5*s - 300. Is s a composite number?
True
Let j = 298 + 419. Is j prime?
False
Suppose -o + 10 = 4*o. Is o/(-10) - 480/(-25) a prime number?
True
Suppose 5*v = 243 + 52. Is v a prime number?
True
Suppose 0*n = 3*n - 429. Let s = -16 + n. Is s composite?
False
Let q = -3 - -1. Let y be -2*1 - 7/(-1). Let s = q + y. Is s a composite number?
False
Let v be (-1 - (4 + -2)) + 0. Let l be (-1 - v - 1) + -2. Is -5*(0 - 1) + l a composite number?
True
Suppose 3*c = 2*c + 9. Suppose -h + 16 + c = 0. Is h prime?
False
Let z(q) = -43*q - 7. Let x be z(5). Let v = 751 + x. Is v a prime number?
False
Suppose -m - 60 = -5*m. Let p be m/10*22/3. Is 1 - -1 - p*-3 composite?
True
Suppose -115 = -4*j + 1. Suppose 0 = 4*f - 177 + j. Is f prime?
True
Suppose -4*t - 3*w + 14 = -18, 5*t - 17 = 2*w. Suppose 4*g + 3*h - 3 = 4, 3*g + 31 = t*h. Is 48 + 1 + g + 2 a prime number?
False
Let y be -1*(-2 + (-2 - -3)). Is 1*(1 - (-37 + y)) prime?
True
Let s = 22 + -16. Is ((-62)/(-4))/(s/12) prime?
True
Let r(i) = -i**3 - 4*i**2 + 3*i + 9. Let d be r(-6). Suppose k - d - 17 = 0. Suppose -5*u = -5*z + 145, 5*u - 39 = -3*z + k. Is z a composite number?
True
Let m be (-2)/(-5) + (-163)/(-5). Suppose 2*u + 2 = 8. Suppose q = 3*t - m, u*q + 6 = q. Is t prime?
False
Let y = 222 + -79. Is y prime?
False
Let j = -4582 + 6483. Is j composite?
False
Let j(w) = -186*w**3 - w**2 + w + 1. Is j(-1) a prime number?
False
Let c(w) = w**3 + 9*w**2 + 3. Is c(-8) a composite number?
False
Let d = 8 + -12. Let t(k) be the second derivative of -k**5/20 - k**4/6 + k**3/6 - 5*k**2/2 - 7*k. Is t(d) composite?
False
Let r(g) = -24*g**2 - 3*g - 4. Let d(z) = -23*z**2 - 2*z - 3. Let a(n) = -3*d(n) + 2*r(n). Suppose 0 = -3*c - 3. Is a(c) composite?
True
Suppose -51 = -4*u - 139. Let d = 141 - u. Is d a composite number?
False
Let x = 10 + -8. Let m = -5 - -15. Suppose 0 = v - x*v + m. Is v prime?
False
Suppose -t - 8713 = -4*r + 2*t, 3*t - 10898 = -5*r. Is r prime?
True
Let r = -98 + 34. Let d be (-4)/(-6) + r/(-12). Suppose d*g = g + 75. Is g a prime number?
False
Suppose -8 = -m + 2*p, -4*m - 3*p = 2*p - 32. Suppose -l = -5*t + m, 2*l + t = -t + 8. Suppose 4*a - 136 = y, -l*y - 128 = -4*a - 3*y. Is a a composite number?
True
Suppose 20*x = 18*x + 514. Is x a composite number?
False
Let n(t) be the second derivative of 149*t**4/12 + t. Is n(-1) prime?
True
Suppose 31 + 4 = v. Suppose -v = -y - 4. Is y composite?
False
Let n(g) = g**3 + 8*g**2 - 7*g - 7. Let k be (-1)/2*-6 - 3. Suppose k = -3*t - 2*u - 13, -2*t - 5*u = 3*t + 15. Is n(t) a prime number?
False
Suppose 5*v - 3*f - 2*f - 110 = 0, 3*v - 51 = -2*f. Is v prime?
True
Let z(o) = -42*o**3 - 7*o**2 - o + 19. Is z(-4) a composite number?
True
Is 8/14 - 164265/(-105) a prime number?
False
Let v be 46/(-6) + (-2)/6. Let r be v*2/(4/(-1)). Is (66/8)/(1/r) a prime number?
False
Let s(o) = -2*o - 2. Suppose -c = 2*c + 12. Let i be s(c). Is (-1*127)/(i/(-6)) a prime number?
True
Is (4/((-64)/(-24)))/(1/1618) prime?
False
Let h(o) = -23*o + 1. Let p(m) = 22*m - 2. Let u(s) = 3*h(s) + 2*p(s). Suppose -7 = 3*q - 1. Is u(q) a prime number?
False
Let l(n) = n**2 + 2*n - 5. Let t(h) = -h**2 + 6*h - 4. Let a(m) = -m**2 + 8*m - 8. Let f be a(6). Let g be t(f). Is l(g) a prime number?
True
Let j be (20/(-6))/(16/(-26328)). Suppose 3*u + 1278 = 4*w + j, 0 = 3*u - 5*w - 4202. Is u prime?
True
Suppose t - 221 = -3*v, -3*t = 3*v - 0*t - 219. Is v a prime number?
False
Let u = 1 + 5. Let k = 24 - 57. Is 8148/44 + u/k prime?
False
Let a = -20 + 39. Let d = 29 - a. Is d composite?
True
Suppose t - 1 = 4, 0 = k + 2*t - 16. Let s(h) = -h**3 + 6*h**2 + 4*h + 7. Is s(k) a composite number?
False
Let s = 93 + 130. Is s a composite number?
False
Let d(z) = -z**2 + 1. Let y(l) = -3*l**2 + 4. Let t(p) = 8*d(p) - 3*y(p). Let a be t(3). Suppose -a*k + 590 - 135 = 0. Is k a prime number?
False
Suppose 0 = 5*a + d - 0 - 10, 3*d - 16 = -a. Let r be (-3 + 3)/(-3 + a). Is -2 + (0 - r - -21) composite?
False
Let s(q) = 16*q**3 - q + 1. Let c(n) = n**3 - 5*n**2 + n - 3. Let h be c(5). Is s(h) prime?
True
Let u(p) = 6 - 3 + 0 - 1 + 9*p. Is u(7) composite?
True
Let z(j) = 128*j + 2. Let g be z(-2). Is 2*(-4)/(8/g) a prime number?
False
Suppose 20 = -5*l, 7*n - 2*n - 2*l - 28 = 0. Let p be 28/5 + n/10. Suppose -43 - p = -f. Is f a composite number?
True
Let a = -6 - -209. Is a prime?
False
Let l(t) = -t**3 - 6*t**2 + 10*t - 4. Is l(-9) prime?
True
Let o = 4 - 2. Suppose 6 = 3*t - o*s, -3*t + 6*s = s + 3. Is (158/4)/(t/8) a composite number?
False
Suppose 0 = 4*a - 3 - 5. Let l be -1 + a + 0 + 25. Is 11/(l/(-14) + 2) a prime number?
False
Suppose 0 = -2*a + 6*a - 88. Suppose 2*z - 68 = -4*u, 0 = u + 4*z - a - 2. Suppose 0 = -4*i - u, 0 = -4*k - i - 2*i + 124. Is k composite?
True
Suppose -5*v - 1223 = 7. Let h(b) = 6*b**2 - 11*b - 11. Let x be h(10). Let n = x + v. Is n a composite number?
False
Suppose -2*d = 2*d. Suppose d = -2*a - 2*g + 46, a + 5*g = 32 - 1. Is a a prime number?
False
Let s = -860 + 1243. Suppose -2*v + s = -375. Is v prime?
True
Suppose 1 + 4 = 5*k. Let i be 5/10*k*4. Suppose -i*j = -4*j + 68. Is j a prime number?
False
Suppose 2*a - 62 - 107 = -3*o, -71 = -o + 3*a. Is o a prime number?
True
Suppose 3*g = -0*g + 5*b + 14, -g = 4*b + 1. Suppose 4*w - 23 = -g*q, 0*w = 5*q - w. Is q/(-3) + (-1730)/(-15) prime?
False
Suppose 2*j = c - 4 + 12, -4*j + 36 = -4*c. Let d(b) = 2*b**3 - 4*b**2 + 2*b - 1. Let o be d(3). Let x = o + c. Is x a prime number?
True
Let u be (-8)/(-14) - (-342)/14. Suppose y + 21 = u. Is y a prime number?
False
Let l be (7/(-4))/(2/(-8)). Let h(w) = -w**3 + 8*w**2 - 4*w + 5. Is h(l) a prime number?
False
Let y(t) = t**2 + t + 1. Let m be y(-2). Suppose -5*p = -5*h - 0*p, -m*p = -h + 4. Is 121 - (3 + -3 - h) a composite number?
True
Let s(j) = -5*j**3 - j**2 + 3*j + 4. Suppose t - 15 = 4*v - 0*v, -5*v - 2*t - 9 = 0. Is s(v) a prime number?
False
Let g be 13732/26 - (-8)/(-52). Suppose -4*z - g = o - 5*o, 0 = -4*o + 5*z + 533. Is o a prime number?
True
Let x(u) = 5*u**3 - 5*u**2 + 10*u - 11. Let z(r) = 6*r**3 - 4*r**2 + 11*r - 11. Let m(o) = 7*x(o) - 6*z(o). Is m(-14) a prime number?
True
Let l = -1 + 332. Is l a prime number?
True
Let m(z) be the third derivative of z**5/15 - 3*z**4/8 - z**3 - 3*z**2. Let a(n) = 5*n - 3. Let v be a(2). Is m(v) a composite number?
False
Suppose 9 = 5*x - 11. Let d be 1/x - (-9)/(-4). Let a(f) = -11*f - 3. Is a(d) prime?
True
Suppose -10 = -3*n - n + 2*b, 2*n + 5*b - 11 = 0. Suppose n*h - 3 = 114. Is h composite?
True
Let t be 3/(-7) - 4098/(-7). Suppose -2*j + 3*s = 5*s - 584, -t = -2*j - 3*s. Is j a prime number?
False
Suppose -2*k = -9 + 25. Let i = k + 3. Let r(j) = j**2 + 4*j - 2. Is r(i) a prime number?
True
Suppose 3*x - 15 = -0. Suppose 5*q - 531 = q + g, -561 = -4*q - x*g. Suppose 0 = -o + 3*o - q. Is o a composite number?
False
Suppose 4*y + 4*p = 80 - 28, -p = -4. Let w = -3 + 0. Let c = y + w. Is c composite?
True
Suppose 0 = 4*n - n. Suppose -3*h = m - 32, n = h - 5*m + 3*m - 13. Is h prime?
True
Let u = -3 + 4. Is 35/1 - (1 - u) a prime number?
False
Suppose 9*n + 1775 = 14*n. Is n a composite number?
True
Suppose -y + 2*y = -3*m + 17, 5*y = 4*m + 66. Is y a prime number?
False
Let u = 1806 + 605. Is u prime?
True
Let v be 2 + 3/(-1) + 4. Suppose 4 = -v*n + 5*n. Suppose z + n*z = 105. Is z prime?
False
Suppose -3*b - 3155 = -5*u, -915 - 978 = -3*u + 2*b. Is u a composite number?
False
Suppose 0 = -3*y - 4*s + 1333, -5*y + 0*s = 3*s - 2207. Is y a prime number?
True
Suppose y - 3*i - 200 = -2*i, -3*y = 4*i - 635. Is y composite?
True
Let f = -47 + 82. Is f a composite number?
True
Let u(t) = -79*t - 2. Let n be u(-3). Let b = -108 + n. Is b composite?
False
Suppose -5*r - 4*v = -18, -r - v - 2 = -3*r. Suppose 3*k - 23 = 4*t, r*t = k - t - 11. Let z = 60 + k. Is z prime?
False
Suppose -2*s - 103 - 305 = 0. Let g = -121 - s. Is g a prime number?
True
Suppose -35 + 127 = 4*g. Is g a composite number?
False
Suppose -w = 2*n - 0*n - 13, -41 = -4*n - 5*w. Suppose o = -n*l - 38, l + l - 4*o + 28 = 0. Is (-3268)/(-20) - (-4)/l composite?
False
Suppose -33 + 9 = -4*q. Suppose 112 = 2*k - 4*c, -k + c - 269 = -q*k. Suppose d - 103 = k. Is d prime?
True