s 61 - (0 - (q + 0)) a composite number?
False
Let s be 2 - (0 + -4 + 0). Let q(j) = 2*j**2 - 2*j - 1. Is q(s) a prime number?
True
Suppose -1063 = -2*b - 3*b + 4*m, -217 = -b + 3*m. Is b prime?
True
Let o(k) = 3*k**2 - 1. Let a be o(1). Suppose 5*y + a*b = -5, -3*y = -b + 12 + 2. Let g = y - -7. Is g prime?
False
Let b be -2*3/(-12)*-6. Is (-29)/(-1)*(0 - b) composite?
True
Let d = 6 + -1. Suppose -2*l - 2*b = -5*b + 9, d*b - 16 = 3*l. Suppose -7 = -l*f + 2*f. Is f prime?
True
Let c = 188 + -51. Suppose 5*a - c = 4*p, -2*p + 16 = a + p. Is a a prime number?
False
Suppose -5*d + 2*w + w + 16 = 0, -5*d + 4*w = -18. Suppose -3*h + 42 = d*o - 80, 0 = -o + 3*h + 52. Is o prime?
False
Suppose -15780 = 5*j - 10*j. Suppose 0 = -w - 4*x + 775, -2*w - 2*w = 2*x - j. Is w prime?
False
Let p(d) = d**2 - d - 2. Let k be p(2). Suppose k*g - 4*g = -76. Is g a prime number?
True
Let p(o) = o - 7. Let s be p(10). Suppose -5*m + s = 5*i - 2, 5*i = m + 23. Suppose 2*n + 3*h = 48, h + i*h + 74 = 4*n. Is n a prime number?
False
Is 15470/21 - (-1)/3 a composite number?
True
Let w(m) = m**2 + 5*m - 1. Let s be w(-6). Suppose y + g = 86, y - s*g - 98 = -2*g. Is y a prime number?
True
Let q(z) = z**3 - 7*z**2 + 6*z - 5. Is q(9) a prime number?
True
Suppose -t = 2*t + 4071. Let d = -470 - t. Is d a prime number?
True
Suppose 5*u - 1415 = -0*u. Let s = u - 176. Suppose -3*l = -58 - s. Is l composite?
True
Let w = 29 - 6. Let o = w - 10. Is o prime?
True
Let u(g) = -g**2 - 5*g - 5. Let l be u(-4). Is l/2 - 78/(-4) a composite number?
False
Let t(u) = 22*u. Let i be t(1). Let w = 31 + i. Is w a prime number?
True
Is (33860/40)/((-2)/(-4)) a prime number?
True
Is (0 + 6)/(-6) - -60 prime?
True
Let y = -7 + 7. Suppose y + 10 = 5*a, -2*r = -3*a + 56. Is (-2)/(-4) - r/2 a prime number?
True
Let a(t) = t**2 + 121. Is a(0) a composite number?
True
Let y(c) be the third derivative of -c**6/120 - c**5/15 + c**4/6 + c**3/3 - 3*c**2. Let w = 8 + -13. Is y(w) prime?
True
Suppose 7*k - 4*k - 12 = 0. Is (-1)/k - 141/(-4) prime?
False
Suppose 5*a - 2*h - 1193 = 2*h, -a + 244 = h. Suppose -1002 = -4*v - q, 2*q + a = v + 7*q. Is v a prime number?
True
Let p = 56 + -19. Suppose v + 0 - p = 0. Is v a prime number?
True
Let z(o) = 17*o + 43. Is z(8) a composite number?
False
Suppose 0 = -c + 15 + 84. Let h(w) = -39*w**3 - w**2 + w - 1. Let t be h(1). Let k = t + c. Is k prime?
True
Let y(q) = q**3 + 2*q**2 - q. Let h be y(1). Suppose r - 143 = -s - 19, -3*s + 375 = h*r. Is s a composite number?
False
Let y(u) = u**2 - u - 1. Let w be y(2). Let l(f) = f**3 - 3*f**2 - 2*f + 4. Let x be l(3). Is -10*w/x - 1 prime?
False
Let b = 4314 + -2497. Is b a prime number?
False
Let v(x) be the first derivative of -5*x**4/24 - 7*x**3/6 - 3*x**2/2 + 4. Let w(z) be the second derivative of v(z). Is w(-6) a composite number?
False
Suppose 3*y - 224 = 5*h - h, 0 = -4*y + h + 316. Let i = y - -9. Is i composite?
False
Let s = 171 + -79. Let v = 79 + -20. Let t = s - v. Is t a composite number?
True
Suppose -6*b = -3*b - 156. Is (2/(-4))/((-2)/b) composite?
False
Let n = 8 - 4. Suppose 0 = -n*s + s - 2*g + 9, -3*s = g - 12. Suppose s*v - 17 = 33. Is v prime?
False
Let m(d) = 11*d - 2 + 9*d + 11*d + 9*d. Is m(3) a composite number?
True
Suppose -3*p = 4*r + r - 10, -4*p = 4*r. Suppose 3*o - 100 = -0*o - 5*s, -4*s + 171 = r*o. Is o a composite number?
True
Suppose -2*d + 7833 = 3*b + 1061, 0 = d - 5*b - 3399. Is d a prime number?
True
Let v(m) = -m**3 - 9*m**2 - 3*m - 13. Let u be v(-9). Suppose 2*a - u = -5*x, a = 5*a - 4*x. Suppose 3*r = p + 35, a*r - 5 = -p + 25. Is r a composite number?
False
Let y = -4 + 5. Let l be y*8*69/(-3). Let o = 311 + l. Is o prime?
True
Suppose -3*z + 36 = -0*z + 3*k, 3*z = -5*k + 44. Let t be ((-6)/5)/(1/5). Let j = t + z. Is j a prime number?
True
Let n(t) = 3*t**2 + 6*t - 5. Let p(k) = -k**2 - 3*k + 2. Let z be p(-3). Suppose -4 - 4 = -z*g. Is n(g) a composite number?
False
Let z = -322 - -559. Is z a composite number?
True
Let u(n) = -25*n**2 - 3*n - 11. Let z(q) = -12*q**2 - 2*q - 5. Let l(s) = 2*u(s) - 5*z(s). Is l(4) composite?
False
Let y(l) be the second derivative of -2*l + 1/2*l**2 - 4/3*l**3 + 1/6*l**4 + 0. Is y(6) composite?
True
Let q be 49/(-63) - (-4)/(-18). Let a be 0/(-1 - q/(-1)). Is (6*4 - a) + 1 a composite number?
True
Let t be 2/8 + 651/(-28). Let s = 66 + t. Is s a prime number?
True
Let r(b) = -19*b + 52. Is r(-19) a prime number?
False
Let z be 2/(-4) + (-51)/(-2). Suppose -44 = 3*i - 11. Let t = z + i. Is t a composite number?
True
Suppose -9 = -0*o + 3*o. Is (58*o/2)/(-1) prime?
False
Let t = 26 + 12. Let o = -15 + t. Is o a composite number?
False
Let a = -28 - -27. Suppose 45 = 4*m + 3*l, -4 = -4*m + l + 61. Let q = m + a. Is q a prime number?
False
Suppose 4 = -3*d + 5*g, 4*d + 0*g - 3 = 5*g. Suppose -2*k + d*k - 428 = -f, -k + 2*f = -90. Is k composite?
True
Let z(b) = -4*b**3 - 2*b**2 - b + 2. Let v = 1 - -1. Let h be ((-21)/28)/(v/8). Is z(h) a composite number?
True
Let q = -2 - -6. Suppose -403 = -5*i + q*a, -4*i + 4*a + 324 = -0*a. Is i a composite number?
False
Suppose 0 = -3*w + 5*c + 2451 - 559, 2*w + 4*c = 1254. Is w prime?
False
Let q = -6 - -5. Is q + 1 + -2 + 27 composite?
True
Suppose 3*a = 7*a + 5*p - 1544, -5*p - 1885 = -5*a. Let x(g) = -g**3 + 4*g**2 - g - 3. Let n be x(3). Suppose a = n*o - 0*o. Is o a prime number?
True
Suppose 3*q = q + 16. Let u = -15 + q. Let i = 26 + u. Is i prime?
True
Suppose i - 3*j = 2*j + 107, 0 = -3*i + 2*j + 360. Is i composite?
True
Suppose 5*o + 14 - 1084 = 0. Is o composite?
True
Suppose 3*f - 22 = -5*c + 1586, -3*f - 3*c = -1614. Is f prime?
True
Suppose 4*d - 91 = 17. Suppose y + d = 70. Is y a composite number?
False
Let t = 7367 - 2460. Is t a prime number?
False
Suppose -3*y - 2*y + 5*p + 165 = 0, -y + 3*p + 41 = 0. Suppose -5*o = -3*i + 24 + 20, 2*i = -o + 38. Suppose -h + y = -i. Is h prime?
True
Let z(y) = 29*y**2 - 4*y - 5. Is z(-2) a composite number?
True
Let a(u) = u - 7. Suppose -2*q + 25 = 3*q. Let m be a(q). Is ((-68)/6)/(m/33) prime?
False
Suppose 3*q + 2*q + 120 = 0. Let f = -17 - q. Is f a composite number?
False
Suppose 0 = 2*i - 58 + 392. Let v = 67 - 311. Let k = i - v. Is k composite?
True
Suppose j = -3*z - 12, 9 = 4*j - 4*z - 7. Suppose -2*f + m = -j*f - 582, 3*m = f - 301. Is f a prime number?
False
Suppose 6*r = r. Suppose w + 5 - 18 = r. Let n = 66 + w. Is n a prime number?
True
Let f(v) = -4*v**2 + 4*v**3 - 2*v**3 + v**3 - 2*v**3 + 6. Is f(5) composite?
False
Let g = -14 - -53. Is g composite?
True
Let q(n) = -218*n + 35. Is q(-7) prime?
False
Let f be (2 + -1)/((-2)/(-6)). Suppose -4*n - f*g + 39 = -93, 3*n - 99 = 3*g. Is n composite?
True
Is -4 + 38/10 - 942/(-10) prime?
False
Suppose 4*k = k. Let f(x) = x**2 + 18. Let y be f(k). Suppose 2*a - 59 = -5*b, 4*b + a - 31 - y = 0. Is b a prime number?
True
Let l = 4735 - 3372. Is l composite?
True
Let c be (1 + 3/(-3))/2. Suppose c = 3*i - 15 - 6. Is i/(-9)*-3*3 a prime number?
True
Suppose -4 = u, 6*u + 3986 = 2*r + 3*u. Is r composite?
False
Suppose -5*q + 17 = -4*l, -3*l + l = -3*q + 9. Let y be (5*q)/(0 - -1). Suppose -3*a - 3*j + y = -43, 4*a = -3*j + 67. Is a a composite number?
False
Let b = -8 + 14. Suppose 20 = -2*g + b*g. Suppose 69 = g*h - 206. Is h composite?
True
Let f(t) = -t + 2. Let a be f(2). Suppose a = 5*g - g - 140. Is g prime?
False
Let j(h) be the second derivative of h**3/6 + 3*h**2 + h. Let n be j(0). Is 675/6 + 3/n a composite number?
False
Let h = -21 + 46. Let v = h + 18. Is v prime?
True
Suppose 4 - 16 = -3*d. Suppose d*j = 3*j + 55. Is j prime?
False
Let d = -43 + 73. Let v = -19 + d. Is v a composite number?
False
Is 3 + (0 - 440)/(-2) a composite number?
False
Let i be ((-198)/(-15))/((-1)/5). Let c(a) = -4*a**2 + 5*a + 4. Let r be c(-3). Let f = r - i. Is f composite?
False
Let g(b) = -22*b + 2. Let j be g(-2). Let t = j - 9. Is t composite?
False
Let w(y) = -y - 5. Let c be w(-3). Let p be (c/3)/((-2)/(-6)). Is (2 - 40)*p/4 a prime number?
True
Let p(s) = 5 + 20*s**2 + 2 - 4 - 4 - 2*s. Is p(-1) prime?
False
Is ((-4)/(-6))/((-16)/(-15384)) composite?
False
Let w = -433 + 186. Let d = w + 450. Is d a prime number?
False
Let r(f) = 67*f. Let c be r(4). Suppose c = 2*h - 92. Is 3/(-2) - h/(-8)