 (-3)/(-1)*(0 + 1). Suppose 2 = -o, 2*o = -j - d*o - 9. Is (j - -12) + 0/(-2) prime?
True
Suppose j - 8 = -4*r, 0 = 2*j + 2*j. Suppose -3*u - 2*u - 63 = -r*m, 5*m + 3*u = 142. Is 0 + (m - 0) + 2 a prime number?
True
Let x(d) be the second derivative of 25*d**4/12 - d**3/3 + d**2/2 - d. Let v(t) = -t**3 + 13*t**2 - t + 15. Let h be v(13). Is x(h) composite?
False
Suppose 3*p - 1057 = r + 359, 5*r = -5*p + 2380. Is p a prime number?
False
Suppose -43 = -2*i + 79. Let z = 112 - i. Is z a composite number?
True
Let q be (-4)/3*(-3)/(-1). Let l be (-33)/(-12) + (-1)/q. Suppose 0*s + l*s = 231. Is s prime?
False
Suppose 0 = -5*p + 3*c + 2140, 4*c = -c + 25. Is p a prime number?
True
Suppose 0*m - u - 2 = m, -3*u - 12 = -3*m. Let v be -8 - (-3 + 1/m). Is v/(-5 - -3) - -34 prime?
True
Let q(r) be the second derivative of -r**3/6 - 3*r**2 + 2*r. Let v be q(-6). Is (-1 + v)/(1/(-19)) a composite number?
False
Let v(o) = -2 - 3*o + 4*o**2 - 5*o + 2*o + o. Is v(-4) a prime number?
False
Let p be 4 + -2 + (1 - 1). Suppose p*m = 5*m - 18. Suppose -2*a = -2, 3*l = m*l + 4*a - 241. Is l composite?
False
Suppose s + s = 14. Is s prime?
True
Let m = -4 - -5. Let k be 24/(-4)*(1 + m). Let f = -2 - k. Is f a prime number?
False
Suppose -y + 4*n = -0*n + 6, 2*n = 4. Suppose w - 5*w - 5*b - 9 = 0, -5*w + 5*b = -45. Let u = y + w. Is u prime?
False
Let q = -10 - 20. Is 12/q - (-17)/5 a composite number?
False
Let y be (0 - 1)/(5/(-20)). Suppose 0 = -2*l - 5*j + 166, 0*l = -y*l - j + 332. Is l a composite number?
False
Let m be ((-12)/8)/(6/(-1064)). Suppose y = -y + m. Is y prime?
False
Let o(h) = -3*h**2 + 1 - 18*h**3 + 2*h**2 + 0 - h**3. Is o(-1) a prime number?
True
Suppose 16*y - 15*y = 379. Is y a prime number?
True
Let g(r) = -r**3 - 9*r**2 - 8*r. Let c be g(-8). Suppose c = -0*j + j - 14. Is j a composite number?
True
Suppose 4*z - 7345 = a, z + 3*a - 1820 = -0*a. Is z a composite number?
True
Suppose 35 = 5*p - 4*u, -6*p = -3*p + u - 4. Is (-1)/p + 192/9 prime?
False
Suppose -2517 = -9*r - 582. Is r a prime number?
False
Suppose 0 = -w - 1 + 3, -28 = 5*q - 4*w. Is 18/((1 + -9)/q) a composite number?
True
Suppose -2*h + 0*u = 3*u - 2, -h + 3*u = -19. Is h prime?
True
Let o(n) = 3*n + 7. Let p be o(-6). Let d be p/(-4) + 5/20. Let k = 40 - d. Is k a composite number?
False
Suppose 361 = l + 112. Is l prime?
False
Let f be (1 + 0)*(1 - 1). Let v(y) = y**2 + 9*y + 3. Let h be v(-9). Suppose f*x + h*x - 249 = 0. Is x a composite number?
False
Suppose 3 = j - 3. Let g be (2/j - -2)*9. Let m = 4 + g. Is m a prime number?
False
Suppose 0 = -p + 5*p + 24. Let u = 39 + p. Is u a prime number?
False
Let c(w) = w**3 + 6*w**2 + 3. Let j be c(-6). Suppose j*i = 4*v + 993, i - 402 = 5*v - 71. Is i composite?
False
Is (-2 - (1 + -912)) + 2 prime?
True
Let w(c) = 43*c**2 - 2*c - 1. Let i be w(-2). Suppose -n = -2*n + i. Suppose 5*a - 2*m - n = 0, -3*a + 4*m = a - 128. Is a prime?
True
Suppose 3*o = 353 - 116. Suppose -5*p = 14 - o. Suppose -5*n - z + 10 + 5 = 0, 0 = -4*n - z + p. Is n prime?
True
Let u(x) = x + 4. Let y be u(-6). Let v(j) = -j**2 - 4*j - 5. Let s be v(-5). Is y/(-10) + (-788)/s composite?
False
Let v(h) = -5*h**2 - 4*h + 4. Let f(z) = z**3 + z**2 + 1. Let c = 1 - 2. Let t(x) = c*v(x) - f(x). Is t(4) prime?
True
Let c be 4/14 - (-235)/35. Suppose -r = c + 20. Is (-2362)/(-18) - (-6)/r prime?
True
Suppose -2*f + 3*r + 1023 = 0, -3*f - 4*r + 823 = -669. Suppose 0*o + 311 = o. Suppose -5*p = -3*s + f, 3*s - s = -5*p + o. Is s prime?
True
Let f be 12/36 - (-20)/(-6). Is 5*(f - (-663)/15) a composite number?
True
Suppose -3*n - 8 = 1. Let r(l) = -5*l**3 - 3*l**2 - 3. Let g be r(n). Suppose -6*t + g = -t. Is t prime?
False
Let h(r) = -r**2 + 7*r + 4. Let q be h(7). Suppose 0 = -q*i + 4, -p - 3*i = -4 - 2. Suppose -p*s = y - 31, 2*y = 7*y - 5. Is s a prime number?
False
Suppose 3175 = 5*j + 4*n, -4*j - n + 2539 = 2*n. Is j prime?
True
Let g(y) = -y**3 - y**2. Let n(c) = -7*c**3 + 2*c + 2. Let f(t) = 2*g(t) - n(t). Is f(3) composite?
False
Let v = -94 + 64. Suppose -5*t + 2*t = 156. Let w = v - t. Is w a composite number?
True
Let y(z) = -4*z + 14. Let o be y(6). Is (-2)/o - (-6324)/30 a prime number?
True
Let a = 12 - 9. Suppose -j - a*i + 44 = -2, -4*j + 154 = 2*i. Is j prime?
True
Suppose -38*r = -39*r + 4421. Is r a composite number?
False
Let h be 8*(1/2)/(-1). Let d = h - -8. Suppose -2*a + 224 = f + 3*f, d*a - 173 = -3*f. Is f composite?
True
Let p(r) = 32*r + 1. Let a(b) = -160*b - 6. Let z(y) = 2*a(y) + 11*p(y). Is z(1) a composite number?
False
Let i(h) = -183*h + 2. Is i(-1) a prime number?
False
Let b = 5 - 2. Is (114/b)/1 + -1 a prime number?
True
Suppose -9*j = -2*j - 483. Is j prime?
False
Suppose 0 = 6*w - 302 - 2068. Is w a prime number?
False
Let u(x) = 56*x + 2. Is u(4) prime?
False
Let j = 1 - -4. Let a(r) = 10*r - 3. Let v be a(2). Let c = j + v. Is c prime?
False
Let t be 1528/(-6)*39/26. Is 2/(-4)*(0 + t) a prime number?
True
Suppose -3*g = 3*v - 5*v + 577, 0 = -4*v - 5*g + 1187. Is v composite?
False
Suppose 0 = 51*f - 56*f + 1685. Is f composite?
False
Let f(q) = -40*q - 11. Is f(-19) composite?
True
Suppose 7 = 4*w - 0*h + 3*h, 4*h - 12 = -4*w. Is (14/8)/(w/(-40)) a prime number?
False
Let s(g) = 150*g**3 - g**2. Is s(1) a composite number?
False
Let z be (-3)/(-12) + 47/4. Suppose 3*q = z, -4*q + 408 = 2*n + q. Let s = n + -67. Is s a composite number?
False
Let b(a) = -a**3 - 8*a**2 - 15*a - 17. Is b(-14) prime?
False
Let s be ((-58)/6)/((-5)/60). Let y = s - 79. Is y composite?
False
Suppose -3*w + 524 = w. Let m = w + -66. Is m prime?
False
Is (0 - 1) + (990 - -4) composite?
True
Is (-3363)/(-9) + 14/(-21) a composite number?
False
Let t(r) = 14*r**2 - 5*r + 4. Let a be t(3). Suppose 3*x = -3*w - 0*x + 120, 3*w + 2*x = a. Is w composite?
True
Suppose 378 - 5 = f. Is f a composite number?
False
Suppose 0 = -b - 5 + 2. Is (2/b)/(2/(-267)) prime?
True
Let z(q) = -q**3 + 18*q**2 + 27*q + 9. Is z(19) a prime number?
False
Let o = -9 + 17. Suppose 4*f = -3*h - 10, 2*h = 3*f + 8 + o. Suppose 5 = 5*g, -2*v + 57 - 15 = -h*g. Is v composite?
True
Is 1724/(-12)*(-2 + -1) a prime number?
True
Suppose -2*z = 4*q, -z + 3 = -q - 6. Suppose z*a = a + 575. Is a composite?
True
Let y be (-651)/(-14)*(-104)/(-6). Suppose 0 = 3*l - l - y. Is l composite?
True
Let d(k) = -k**3 + 6*k**2 - 2*k + 1. Suppose -5*u - 2*p + 21 = 0, 4*u - p = 2*p + 3. Is d(u) composite?
True
Let b(x) = -11*x**3 + x**2 + x. Suppose v - 2*v = 1. Is b(v) prime?
True
Suppose -856 + 259 = -3*c. Suppose -h - 10 = -370. Let m = h - c. Is m a composite number?
True
Is 8 + -3 - (1 + -1315) a composite number?
False
Suppose 5*d - 4*n - 7776 = d, 4*n - 1919 = -d. Is d prime?
False
Suppose 5*n - 4437 = 3*t + t, 2 = t. Is n a composite number?
True
Let c(j) = j**2 - 4*j - 5. Let v be c(5). Suppose 3*a - 3*p + 7*p - 105 = v, -a - 5*p = -35. Is a a prime number?
False
Let k(s) = 108*s + 19. Is k(10) prime?
False
Let t(g) = g**3 + 7*g**2 - g - 4. Let r be t(-7). Let a(b) = 0 - b**3 - b - 2*b**3 - r - 2*b**2. Is a(-4) composite?
True
Let y(v) = v**2 - 1. Let d be y(-2). Let m be 3*(3/d)/1. Is 8*20 + 0 + m composite?
False
Let t(q) = q**2 - 4*q - 1. Let v be (17 + -2)*2/6. Let y be t(v). Suppose 6*p - y*g - 134 = p, -4*g - 56 = -2*p. Is p prime?
False
Let k = -532 - -785. Is k composite?
True
Suppose 1 = n - 2. Let h(c) = 2 + 8*c**3 + 2*c**2 - 3 + 5*c**n. Is h(1) prime?
False
Let q = 315 - 57. Suppose 0 = -f - 7*p + 2*p + 70, -2*p - q = -4*f. Is f prime?
False
Suppose 5*u = 2*u + 3. Let a be (-4 - u)*4/1. Let w = a - -42. Is w a composite number?
True
Let k(x) = 15*x**3 + 2*x**2 + x + 1. Let u be k(-2). Let c = u - -207. Is c composite?
True
Suppose -21 = a - 198. Suppose c = 4*c - a. Let k = c - -12. Is k a prime number?
True
Suppose -3*f + 131 + 757 = 3*s, -2*f = 4*s - 1178. Is s a composite number?
False
Let c be 2/(-12) - (-17)/(-6). Let v(q) = q**2 - 2*q - 2. Let j be v(c). Let x = j - -100. Is x a composite number?
False
Suppose 26*t = 28*t - 638. Is t a prime number?
False
Suppose -4*h - 2 = -10. Suppose -5*w = 5*b - 495, -5*w - h*b + 392 = -97. Is w a prime number?
True
Let n = 29 - -35. Suppose 3*y + 0*y + n = z, 2*y + 10 = 0. Is z composite?
True
Let f = -667 - -988. Suppose -5*w = -4*