Is s(-3) a prime number?
True
Let k be (-2)/((-16)/6 - -2). Suppose -l + 156 = k*l. Is l composite?
True
Suppose -4*v + 1 = 9. Is -13*7*(v - -1) a prime number?
False
Let s = 9249 + -5822. Is s composite?
True
Let s(j) = 2*j**2 + 18*j + 29. Is s(-19) composite?
False
Let f(m) = -m**3 - 3*m**2 + 3*m + 3. Let r be f(-4). Let g be (-107)/r - 2/(-7). Is (6/g)/(-1)*35 prime?
False
Suppose 2*w - 9 = 5*w. Let p(f) = 5*f**2 - f - 1. Is p(w) composite?
False
Let h be (-10)/(-15) + 8/6. Suppose h*p = -3*f + 159, -40 = -4*f + 3*f - 5*p. Is f prime?
False
Suppose -b = 4*h - 11, -3*b + 0 = -4*h - 1. Suppose 0 = -5*q + y + 24, 4*y = 7*q - h*q - 36. Suppose -5*u + 5*a - 22 = -242, -q*u - 2*a = -170. Is u prime?
True
Suppose w + 0*w = 199. Is w a prime number?
True
Suppose 0*j = 3*j - 21. Is j a prime number?
True
Suppose -4*c + 3625 = 169. Let n be (c/(-14))/(4/(-42)). Suppose 4*a + 4*i - n = 0, 7*a - 3*a + 3*i = 643. Is a a prime number?
True
Suppose 0*t - 4*t = -36. Is 3 + 48*6/t prime?
False
Suppose l - 5*l + q = -112, 2*l - 3*q = 46. Suppose 2*s = -2*r + 4, -4 = 3*r - 4*r + s. Suppose -86 = -r*y - l. Is y a prime number?
True
Let s = 14263 + -10080. Is s a composite number?
True
Let y = 45 - 29. Let g = 53 - y. Is g composite?
False
Let b(x) = -x**3 + 3*x**2 - 4*x - 2. Let r be b(5). Let o = r + 103. Is o prime?
True
Let x(k) be the second derivative of -3/2*k**2 + 3/2*k**3 + 3*k + 0. Is x(4) composite?
True
Let p(s) be the second derivative of -s**3 + s**2/2 - 2*s. Is p(-2) composite?
False
Let u(n) = -n**2 + 3*n + 5. Let x be u(4). Let o(j) = j**2 + 1. Let k be o(x). Suppose q = k*q - 91. Is q prime?
False
Let u be 174/(-3)*(-1 - 1). Suppose 3*w = 5*g - u, -5*w - 76 = -g - 2*g. Is g prime?
False
Suppose -3*n - 1149 = -3*y, -2*n = -5*y - 0*n + 1909. Is y prime?
False
Let r(q) be the second derivative of 89*q**3/6 - 4*q**2 + 3*q. Let s(w) = -90*w + 7. Let z(i) = 6*r(i) + 7*s(i). Is z(-1) composite?
False
Let r be ((-2)/(-6))/(7/21). Is 31/r + (0 - -2) composite?
True
Let r(t) = 9*t**2 + 2*t - 3. Let p(d) = 36*d**2 + 7*d - 13. Let g(u) = -2*p(u) + 9*r(u). Is g(-4) composite?
False
Suppose 555 = -4*d - 101. Let a = 231 + d. Suppose -43 = -4*g + 2*g - z, a = 3*g + 2*z. Is g prime?
True
Let p = 12 - 6. Suppose 2*g + 2*d + 40 = 0, -4*g + p*g - 2*d + 40 = 0. Let t = g + 55. Is t a composite number?
True
Suppose -5*b + 5*h + 1495 = 0, 0*h = 5*b - 2*h - 1495. Is b prime?
False
Let o be -3 - (3 + -168)*-1. Let x be 4/(-2) + -1 + 86. Let a = x - o. Is a composite?
False
Suppose m - 332 = 3*y + 2*y, -4*m + 1248 = -4*y. Is m a prime number?
True
Let i(g) = g**3 - 2*g**2 - 3*g + 3. Let r be i(2). Let x = r - -6. Suppose -2*o + x*o = 35. Is o prime?
False
Suppose -5*n - 4*y + 0*y + 6415 = 0, -2*n + y = -2566. Is n prime?
True
Suppose -3*j + 43 - 16 = 0. Suppose 0 = 3*x - j, -d + 5*d + 2*x - 442 = 0. Is d composite?
False
Suppose -13 = -3*l - 1. Suppose b - 335 = -l*b. Is b - (0 - 1 - -1) composite?
False
Let p(d) = 7*d**3 + 24*d**2 + 24*d + 25. Let t(c) = 3*c**3 + 12*c**2 + 12*c + 12. Let g(z) = -2*p(z) + 5*t(z). Is g(-9) prime?
False
Let g be (6/12)/((-2)/32). Let k be (-1017)/(-12) - 2/g. Is (-8)/10*k/(-2) a prime number?
False
Let r(v) = 2*v**2 - 8*v + 1. Let b be r(11). Suppose 2 = 3*u - u, -2*u = -z + b. Is z a prime number?
True
Let m be -1 - ((-2)/1 - 1). Suppose 68 = 3*a - k - k, 64 = 3*a + m*k. Is a prime?
False
Is ((-898)/5)/((-4)/10) prime?
True
Let y be (-1 - -3)/(-1) - -49. Let i = y - -10. Is i prime?
False
Let z be (-60)/(-27) + 4/(-18). Let d(h) = 45*h - 1. Is d(z) prime?
True
Let z = -25 - -27. Let u(l) = l**2 - 4*l - 7. Let d be u(6). Is z/(-10) - (-266)/d composite?
False
Suppose 320 + 823 = 9*x. Is x composite?
False
Let w(f) be the first derivative of -f**4/24 + 17*f**3/2 + 2*f**2 - 1. Let k(b) be the second derivative of w(b). Is k(0) composite?
True
Suppose -3*d - 2*d - 5 = 5*a, -4*a = -4*d - 20. Let c be 0/((4/a)/2). Suppose 5*p - 2*v - 105 - 205 = c, 4*v - 124 = -2*p. Is p composite?
True
Let g = 781 + 618. Is g composite?
False
Let r be ((-2)/(-4))/((-1)/(-14)). Let d(a) = -a**2 + 10*a + 2. Let w be d(r). Suppose o + 2*q - w = -2*q, 0 = 5*o + 3*q - 64. Is o a composite number?
False
Suppose 4*n = -3*l + 21400, 0 = -5*n + 3*l - 773 + 27496. Is n a composite number?
False
Let q = -9096 - -6168. Is q/(-30) + (-3)/5 prime?
True
Is -1*298*(-15)/6 a composite number?
True
Let g = 2 - 2. Suppose g = 4*p - 1 + 9. Let x = p + 5. Is x a composite number?
False
Let g(m) = m**3 + 2*m**2 - 4*m - 4. Let p(u) = -u**3 - 3*u**2 + 5*u + 4. Let h(r) = -4*g(r) - 3*p(r). Is h(-3) prime?
True
Is ((-1677)/(-6))/(((-3)/2)/(-3)) prime?
False
Is 543/(-6)*3*2/(-3) a prime number?
True
Let q = -18 - -8. Let b be 2/(-5) + (-194)/q. Let t = b - -12. Is t composite?
False
Suppose 0 = x - 2*r - 5, -6*x - 4*r = -2*x + 28. Let f(j) = j**3 + 2*j**2 - 5*j - 4. Let l be f(x). Suppose -3*t - m + 189 = l*m, 4*m + 83 = t. Is t prime?
True
Suppose 2*y = -4*j + 70, 49 = 5*j - 5*y - 31. Let n = j + -29. Let d = 19 - n. Is d a prime number?
True
Let m be (-2)/(-8) + 2709/12. Let o = m - -33. Is o a composite number?
True
Let a = -651 + 321. Let g = a + 491. Is g a composite number?
True
Let o(b) = -b. Let i be o(-2). Suppose -106 = -i*j - 0*j. Is j composite?
False
Let c = -66 + 40. Let r = c - -57. Is r a composite number?
False
Suppose -5*m = -0*m + 20. Let c be m/2*740/(-8). Suppose 0 = -5*p - 0*p + c. Is p a prime number?
True
Is (3 - 0) + (78 - (-2 - -4)) a composite number?
False
Suppose -3*v + 5*v = 1498. Is v a prime number?
False
Let j(k) be the second derivative of k**3/6 + k**2/2 - 4*k. Is j(2) a prime number?
True
Suppose 10*r - 33500 = 13610. Is r a composite number?
True
Let c be (10/4)/(1/4). Let d(b) = 3*b - 8. Is d(c) a prime number?
False
Suppose 0 = -3*q - 67 + 289. Is q prime?
False
Let u(h) = -h - h**3 - 4*h + 1 + 4 - 4*h**2 - 8*h**2. Is u(-12) a composite number?
True
Let b = 250 + -69. Suppose 5*l = -n - 306 - 213, -l - 105 = -n. Let o = b + l. Is o a composite number?
True
Let q = -208 - -365. Is q composite?
False
Suppose 2*f + 2*n - 5 = 11, -2*f = n - 13. Suppose -f*q = -6*q + 580. Let l = q + -395. Is l composite?
True
Suppose 172 = 2*z - 2*p - 296, z = -4*p + 219. Suppose u + 2*u = z. Suppose 2*f = 33 + u. Is f composite?
True
Let g be ((-3)/2)/(9/(-12)). Suppose -g*y - 2*n + 19 = -y, 119 = 5*y - 2*n. Is y composite?
False
Suppose -2*m + 516 = 2*m. Is m a prime number?
False
Suppose -6*j + 392 + 4234 = 0. Is j prime?
False
Suppose -2*x + 4264 + 2594 = -v, 2*v - 13700 = -4*x. Is x a composite number?
True
Let x(y) be the second derivative of -2*y**2 + 0 - 1/3*y**3 + y. Is x(-9) composite?
True
Let i be (0 + 4)*1*-4. Let j = 75 + i. Is j a prime number?
True
Let u be (2/(-6))/((-2)/114). Suppose 766 = 5*c - u. Is c prime?
True
Let z = 578 - 330. Let i be (-10)/(-35) - z/(-14). Is i/2 - (-1 - 0) prime?
False
Let n(r) = 19*r + 10. Let k be n(-7). Let f = 77 + k. Let h = f - -67. Is h prime?
False
Let y = 10 - -12. Suppose 0*j - 3*o = j - y, -5*o = -5*j + 10. Is j composite?
False
Suppose 4*m - 582 = 5*g, -3*g - 184 = -5*m + 550. Suppose 0 = -0*l - 2*l + m. Is l a prime number?
False
Let u(v) be the third derivative of 0*v + 1/20*v**5 + 0 - 1/6*v**4 + 2*v**2 - 1/6*v**3. Is u(3) composite?
True
Let y(z) = -131*z + 5. Is y(-2) prime?
False
Suppose -w + 131 = -5*k, 86 = -3*k + 4*w + 4. Let d = k - -91. Is d composite?
True
Suppose 0*w - 2153 = -w. Is w a prime number?
True
Let u = 834 - 569. Is u composite?
True
Suppose 4*g = 4*n, -4*n + 15 = -0*n - g. Suppose -21 = -2*h - t + 4*t, 5*h - 60 = n*t. Is h a composite number?
True
Let d be ((-1)/(-2))/(1/2). Is (8 - d)/(4/76) composite?
True
Suppose 5*g = -d + 2668, -2530 = -4*g + 3*d - 407. Suppose 5 = o, 4*q + 0*o + 5*o - g = 0. Is q prime?
True
Suppose y + 2*w = 71, 0 = -3*y - 0*y - 5*w + 211. Is y composite?
False
Let g = -36 - -78. Suppose -2*b + 476 = g. Is b a composite number?
True
Suppose -8*t + 6 = -5*t. Suppose 2*k + 42 = 4*d, -5*k + k - 18 = -t*d. Is d composite?
False
Suppose -4*n = 2*a + 8, -6*a = -3*a + 12. Suppose n = 3*l - 793 - 236. Suppose -3*t = t + w - l, 4*t - 349 = -3*w. Is t a composite number?
True
Suppose -3*h + 796 + 263 = 0. Is h composite?
False
Let b(i) = 53*i**2 + 2*i + 2. Is b(-3) a 