 = q + 7. Suppose -f*w + 220 = w. Is w composite?
True
Let s(b) = 24*b**2 - 7*b. Is s(5) a composite number?
True
Let c(t) = -25*t + 2. Let f = 5 + -8. Is c(f) a prime number?
False
Let p = 212 - -47. Suppose -i = -0*i - 5*t - 152, 2*i = t + p. Is i prime?
True
Let x be 7*1 + (-4 - 0). Suppose -2*v - 737 = -4*v - 3*j, -4*j = -v + 396. Suppose -103 = x*r - v. Is r a composite number?
True
Let z be (0 - 1 - 1) + 3. Let c = 11 + z. Suppose -t + c = -7. Is t prime?
True
Let y be (1/1)/(2/436). Suppose 5*h - 2881 + 326 = -2*z, -3*z + 511 = h. Let q = h - y. Is q composite?
False
Let c be 0 + (-3 - -3) + 0. Suppose c = -q + 2*q - 211. Is q a composite number?
False
Let z be (0 - 3)*-1 - 0. Let a = z - 1. Suppose 0*m = a*m - 138. Is m a prime number?
False
Let m(i) = 3*i + 2. Let b be m(1). Suppose 9*a = b*a + 356. Is a prime?
True
Suppose 6*w = 2*w + 5*h + 2676, -3*w + 2007 = -h. Let t = -455 + w. Is t prime?
False
Let k(j) = j**2 + 8*j + 1. Is k(-14) a prime number?
False
Let b(m) = -4*m**3 + 2*m**2 + m - 1. Let l be 1/(-2) + 52/8. Let v be (-1)/(1 - 3/l). Is b(v) a composite number?
False
Let p = -365 + 582. Is p a prime number?
False
Suppose -4*g = g + 45. Let f(u) = -u**2 - 13*u - 10. Is f(g) a composite number?
True
Let r be (-1)/(-3)*(2 + -2). Suppose -2*m = 2*t + 3*t - 362, r = m + t - 187. Is m composite?
False
Let y(n) = 2*n**2 + 17*n - 55. Let g be y(-16). Let p = 13 - 3. Suppose -5*x - g = -p*x. Is x composite?
False
Suppose 0 = -3*n - 2*n + 3595. Is n prime?
True
Let w = -234 - -481. Is w a composite number?
True
Let d(x) = -2*x + 13. Let t(p) = -4*p + 25. Let c(s) = -7*d(s) + 4*t(s). Let q be c(8). Is (3 + q)*97/(-4) prime?
True
Suppose 0 = 2*d - 5*q - 336, -3*d + 350 + 188 = q. Let a = d - 125. Is a prime?
True
Suppose 30*f = 19*f + 27533. Is f composite?
False
Let k = -27 - -55. Let z = k + 39. Is z a composite number?
False
Let z = 84 + -48. Suppose 5*p - 315 = -4*l, -p + l + 36 + z = 0. Is p prime?
True
Suppose -4*h - 392 = -5*g, -279 = -4*g - 4*h + 13. Suppose 0*o - 5*w = -5*o + 205, -2*o - 4*w + g = 0. Suppose 5*r = r + o. Is r composite?
True
Let z = -2095 + 4852. Is z prime?
False
Let u(q) = -7*q**3 - 2*q**2 - 5*q - 1. Let d be u(5). Is d/(-12) + 2/(-8) a composite number?
False
Suppose b - 519 = -40. Is b composite?
False
Let j(h) = h**2 - 10*h + 12. Let o be j(8). Let l(u) = -4*u**2 - 5*u + 3. Let w be l(o). Let i = w + 64. Is i a prime number?
True
Let i = -184 + 767. Is i prime?
False
Let j be (3 - 1/1) + 64. Suppose 3*s - 4*q = j, 0*q = -2*s - 2*q + 30. Suppose -2*p + 32 + s = 3*m, 26 = 2*p - 3*m. Is p a composite number?
False
Suppose 2*f + 0*f = 4. Let o be (3/6 - 0)*4. Suppose 3*k = a - 112, o*a = -f*k - 43 + 227. Is a composite?
False
Suppose -7 = w - 4, 3*w - 1586 = -5*m. Is m prime?
False
Let f(i) = 41*i**3 + i**2 - 7*i + 4. Is f(3) composite?
True
Let v(n) = n**3 - 4*n + 3. Let y be v(2). Let i be y - (-2)/4*2. Suppose d = i*d - 489. Is d composite?
False
Suppose 0 = -4*a - 0*a + 112. Let s = 189 + a. Is s prime?
False
Suppose -3*v + 2*b = v + 12, -5*b = -10. Let t be (v/(-6))/((-2)/(-12)). Suppose -78 = -2*c - 4*k, -36 = 5*c + t*k - 231. Is c a composite number?
True
Let t = 13 + -8. Let g = -3 + t. Suppose -g*r = 3*r - 105. Is r a prime number?
False
Suppose 0 = -2*y - 2*y + 8. Let z = 18 + -15. Suppose -y*g + 175 = z*g. Is g a prime number?
False
Let x be ((-32)/(-12))/((-2)/(-3)). Suppose x*n + 0*r - 5*r + 4 = 0, -5*r = -3*n - 3. Is n/(-2*3/654) a prime number?
True
Suppose -4*j - 294 - 26 = -5*y, 0 = 5*j + y + 400. Is 0 - -2 - (3 + j) prime?
True
Let a(q) = 7134*q**2 - q + 2. Is a(1) a prime number?
False
Let z(a) = 231*a**2 + 5*a + 5. Is z(-2) prime?
True
Suppose -2*t + 3 = -17. Suppose 2*w = w + 5, 0 = q - 3*w + t. Suppose 0 = -0*f - q*f + 5*v + 85, -5*f + 61 = v. Is f composite?
False
Let a be (-3)/(-6)*0/1. Suppose -4*t = -a*t - 44. Is t composite?
False
Suppose -36 = -5*o + 4. Let i(h) = h**3 - 7*h**2 - 8*h + 4. Let p be i(o). Suppose 3*n - 4*z = 491, p*n + z - 511 = n. Is n a composite number?
True
Let c(f) = 3 + 8*f + 3*f**2 - f**2 + 0*f**2 - 6*f. Is c(4) a prime number?
True
Let h(y) be the first derivative of 147*y**2 - y + 1. Suppose -4 = -4*c - 0. Is h(c) prime?
True
Let v be (-8)/60 + (-6844)/(-30). Is ((-1)/2)/((-6)/v) prime?
True
Let d be (119 - -3) + -1*1. Suppose 0 = 4*y - 4*q - 20, -3*y - 2*q - 2*q = 20. Suppose y*t + t = d. Is t composite?
True
Is 3 + -1 - (-870)/10 composite?
False
Let y = 3 + 1. Suppose s = y*s - 177. Let b = -40 + s. Is b a composite number?
False
Let t = 155 - 58. Is t a prime number?
True
Suppose 0 = -5*k + 6 + 14. Let j be k/6 - 470/(-6). Suppose -5*y + 0*p + 110 = p, j = 4*y - p. Is y composite?
True
Suppose 4*z - 4*f = 32, 2*z + f + 0*f = 16. Let v(g) = -g**2 + 9*g - 4. Let w be v(z). Suppose -3*m - 653 = -4*n, -m - 554 - 93 = -w*n. Is n a prime number?
False
Let l = 317 + 354. Is l prime?
False
Let s(o) = 19*o**2 + 3*o - 3. Let x be s(-3). Is (1 - 4)*x/(-3) composite?
True
Suppose 0*g = 5*g - 25. Let s be (8/g)/(4/10). Let a(q) = -q**3 + 5*q**2 + 2*q - 5. Is a(s) composite?
False
Suppose 4*z - 1410 = -2*z. Is z a composite number?
True
Let t be (-32)/(-12) + (-2)/3. Suppose -2*u + c + 834 = 2*c, 4*u - 1684 = t*c. Is u prime?
True
Let k = 1349 - 700. Is k a prime number?
False
Let r(j) = -j**2 + 3*j - 3. Let s be r(4). Let k(u) = -27*u + 2. Is k(s) a composite number?
False
Suppose -5 = f - 4. Let s be 5 + (0 + -2 - f). Is (47/s)/((-2)/(-8)) a composite number?
False
Suppose -r - 3473 = -j - 2*j, r + 2 = 0. Is j composite?
True
Suppose 2*u = 5*j - 254 + 38, -2*u - 208 = -j. Let t = 156 + u. Is t composite?
False
Let u be 4/10 + 37/(-5). Let y = u - -4. Is 1/((-3)/126*y) a composite number?
True
Suppose l = 1035 + 8. Is l a composite number?
True
Let f = 0 - -3. Let b be -54 + -3 + f/3. Let m = 123 + b. Is m prime?
True
Is (584 + -1)/((-1)/(-1)) a composite number?
True
Let g(h) = 4*h**2 + 3*h + 2. Let c be g(-2). Suppose 4*s + c = -0. Is s - -15 - (1 - 3) prime?
False
Let a be 3/((-6)/(-2)) - -129. Let s = -51 + a. Is s a prime number?
True
Let y = -7 - -7. Is -5 + y + 3 + 49 a prime number?
True
Let l(q) = -q**2 + 3*q + 613. Is l(0) composite?
False
Let l(r) = 2*r**2 + 7*r + 4. Let z be l(-4). Let b(f) be the second derivative of -f**4/12 + 11*f**3/6 - 9*f**2/2 - f. Is b(z) a prime number?
False
Let t(g) = 2*g**2 + 4*g - 6. Let l be t(5). Let j = l - -201. Is j composite?
True
Let j(b) = -b**3 + b**2 + 2*b + 37. Is j(-10) a prime number?
True
Is -13 + 8 - (1 - 883) composite?
False
Let c(i) = -i**2 + 10*i - 9. Let x be c(7). Suppose 3*l = -0*l + x. Suppose -s = l*s - 295. Is s prime?
True
Suppose 5*g = u + 25, -2*u + g = 3*u + 5. Let q = u - 0. Suppose q*z - 75 = -3*z. Is z a composite number?
True
Suppose -3*n = 326 - 2273. Is n prime?
False
Let a(t) = 11*t + 15. Is a(8) prime?
True
Let f be 5 - (0/(-1))/(-3). Suppose w - 691 = -3*g + 276, -f*g + w + 1617 = 0. Is g composite?
True
Let m(n) = n**3 - 4*n**2 + 3*n + 3. Let y be m(3). Suppose z - y*p = -4*z + 185, 2*z - 2*p - 74 = 0. Is z composite?
False
Let w(z) = -z**2 + 23*z + 23. Is w(20) prime?
True
Let r(l) = 5*l + 1. Let n be r(3). Suppose 0 = -3*x + b - n, 0*x - 3*b + 32 = -5*x. Is (-2)/(-4) - 246/x composite?
True
Let a = -66 - -136. Suppose -2*n - a = 3*n. Is (-2238)/(-42) + 4/n a composite number?
False
Suppose -2*o - 4*u = -53 - 41, u + 215 = 4*o. Suppose s + 3*p = o, 0 = 2*p + p. Is s a composite number?
False
Suppose 21 - 2 = 4*f - x, -3*f + 15 = -x. Suppose -5*y = 2*q - 11, -3*q + 4 = -f*y - y. Is q a composite number?
False
Suppose -873 = -j + 512. Is j a prime number?
False
Let b be (-1)/4 - 562/(-8). Suppose 0 = -4*v + 2*v - 4*f + b, v = -3*f + 34. Let n = v - 0. Is n prime?
True
Let h(a) = -6*a**2 - a + 1. Let j be h(6). Let u = j + 106. Let c = -78 - u. Is c composite?
False
Let y = 175 - 19. Suppose -3*i - i + y = 0. Suppose -2*g = g - i. Is g prime?
True
Let o = 232 + -9. Is o prime?
True
Let c be 10 + (-2)/3*3. Let q = -7 + c. Is -3 - (q - 503)/1 prime?
True
Suppose 0*f = -3*f + 1653. Is f a composite number?
True
Let l = 27 - -112. Is l a prime number?
True
Let l = 8635 + -5900. Is l composite?
True
Let r(g) = -9*g**2 - 1. Let b be r(-1). Is (-5)/b - 74/(-4) a composite number?
False
Let q be