of 35*t**2 + t + 4. Is f(2) a prime number?
False
Let k = -5 + 8. Let z be k/(-3)*(-12)/(-2). Let m = 63 + z. Is m prime?
False
Suppose -2*z - z = 0. Suppose z = 2*t + t. Suppose 5*g = m - 4*m + 267, -2*g = t. Is m a composite number?
False
Let v be 24/(-9)*9/(-6). Suppose v*d = 6 + 6. Suppose 4*s - d*s - 3 = 0, 2*m + 4*s = 106. Is m composite?
False
Suppose 1961 + 136 = 3*b. Is b a prime number?
False
Let i(p) = -p**3 + 7*p**2 + 3*p - 7. Let b be i(7). Is (-6)/21 + 2846/b composite?
True
Let c be (-211)/(-3) + (-5)/15. Let p be ((-14)/(-35))/(2/c). Let w = p + 0. Is w prime?
False
Let u = -38 + 236. Let q = -139 + u. Is q prime?
True
Let y(p) = 7*p**2 - 2*p - 2. Is y(-1) prime?
True
Suppose 12 = -j + 2*u - 5*u, 4*j = 5*u + 37. Let m(a) = -j*a + 0*a + 2*a + 31. Is m(0) a composite number?
False
Let x be (1 - -23)/(2/31). Suppose -2*q = 2*q - x. Is q a composite number?
True
Suppose -3*j + 1338 = 3*j. Is j a prime number?
True
Is (-859)/(-3) + (-30)/(-45) a prime number?
False
Let q(j) = 189*j**3 + 2*j**2 + j. Let y be q(-1). Let g = -99 - y. Is g composite?
False
Let b(s) = -22*s - 6. Let t be b(-6). Suppose 4*p = 12, -3*p = 5*a - t - 128. Is a a composite number?
True
Let i = -14 - -87. Suppose 176 = 3*w - i. Is w a prime number?
True
Suppose w - 4*q - 15 = 0, -7*w + 4*w + 5*q = -24. Suppose -4*t = -3*c + 17, w*c = -3*t + 9 - 27. Is 24 + (c*3)/3 a composite number?
False
Suppose 5*j - y - 19 = 0, 0 = -0*j + 3*j - y - 13. Suppose -v = j*v - 596. Is v a prime number?
True
Let q = 6 + -2. Is 146/q - 2/(-4) a composite number?
False
Let f = 2 - -7. Suppose f*y - 7*y - 166 = 0. Is y a prime number?
True
Suppose 7*z - 16 = 3*z. Suppose -z*v = 5*p - 545, -v + 3*v = -10. Is p composite?
False
Let r(d) = 3*d**2 - 4*d + 3. Let n be r(5). Is (-1)/(-5) + n/10 a prime number?
False
Suppose -2*w + w + 4 = 0. Let c = w + -2. Suppose 0 = -c*v - 65 + 171. Is v a composite number?
False
Suppose 3*o - 12 = -4*x, -2*x - 2*o + 9 - 3 = 0. Let g be 11/x + (-1)/(-3). Suppose -p = -4*t + 61, 5*t - 6*t + 11 = g*p. Is t prime?
False
Suppose -12*x + 7*x = -15. Suppose 3*c - 4*q - 171 = 0, 3*c = 4*c + 4*q - 41. Suppose c = x*b + 14. Is b a prime number?
True
Suppose 0 = 8*f - 4*f - 76. Suppose 0 = -3*k + f + 1118. Is k prime?
True
Let l = 63 - -82. Is l a prime number?
False
Suppose 2*t + 3*t + 20 = 5*m, 3*t - 4 = -5*m. Suppose -8*b + 3*b - 26 = -4*a, -2*a = m*b - 4. Suppose a*y = 350 - 138. Is y prime?
True
Let l(v) = 3*v**2 - 4*v + 3. Suppose 2*g - 18 = -0*g. Let t = -5 + g. Is l(t) prime?
False
Let c(s) = -s + 2. Let d be c(0). Suppose -b - d*b + 753 = 0. Is b prime?
True
Let x be 108/(-6)*(-2)/4. Let z = x + -4. Suppose -z*y = -280 - 355. Is y a prime number?
True
Is -1 - -1 - (-322 + -9) composite?
False
Suppose -6*t = -7*t + 111. Is t prime?
False
Let f be ((-3)/(-4))/((-9)/(-360)). Is ((-596)/(-10))/(12/f) composite?
False
Is 869 + 4 - (-4)/(-2) a composite number?
True
Suppose 0 = 4*a - 187 + 35. Suppose -3*u - 15 = -h, 0*h - 4*u = -2*h + 22. Suppose v - h*v + a = 0. Is v composite?
False
Let s(d) = -223*d + 1. Let a be s(7). Let r be (4/(-10))/(8/a). Suppose 4*l - 6*l = -r. Is l prime?
False
Let o(g) = g**3 - g**2 - g - 1. Suppose 0 = 3*j - 4*q - 9, 4*j - 2 = -q - 9. Let b be (2 - 0)/1 - j. Is o(b) composite?
True
Suppose 0*v = -8*v + 1616. Is v composite?
True
Suppose 3*h - 13 = -h + y, 5*h - 17 = y. Is h/(8/(-178))*-1 a prime number?
True
Let l be 0*((-6)/(-4) + -1). Suppose 2*a + 154 = 2*r, l*a - 2 = -a. Is r a composite number?
False
Let y = -94 - -237. Is y prime?
False
Suppose -138 = -4*s + 234. Is s composite?
True
Suppose 5*y - 5 = -0*y. Suppose -g - y = 2. Let b = g + 34. Is b a composite number?
False
Let z be (-3 + 57/12)*24. Let r = 75 - z. Suppose 2*u - 5*u = -r. Is u a prime number?
True
Suppose 0 = -0*t + t - 414. Let c = -1 + 4. Suppose -c*r - 2*x = -322, -7*r + 3*r + 5*x = -t. Is r composite?
True
Suppose -k + 2*i + 72 + 129 = 0, 864 = 4*k + 4*i. Is k a composite number?
False
Let s = -402 + 709. Is s a prime number?
True
Let u(q) = q + 12. Let s be u(0). Suppose -2*n + 5*n = -s. Let g(o) = 5*o**2 + 3*o - 3. Is g(n) composite?
True
Let b be 15/6*(0 + -2). Let c(r) = -13*r + 2. Let k(d) = -19*d + 3. Let u(s) = -7*c(s) + 5*k(s). Is u(b) a prime number?
False
Let o be (0 - 1)/((-4)/(-12)). Let x be 28 - ((-1)/1 - o). Let i = 45 - x. Is i a composite number?
False
Let j = -8 - -3. Let u = -1 - j. Suppose 3*m - 454 = 4*z + z, -3*m + 409 = u*z. Is m composite?
True
Let q(z) = -z. Let t(o) = 386*o + 2. Let w(l) = -3*q(l) + t(l). Is w(3) composite?
True
Let d be (-8)/6*3/(-2). Suppose 3*o = -o - 4. Is 50 + (o + d - 2) a prime number?
False
Suppose -d + 1 + 37 = 0. Is 437/d*(15 - 1) a composite number?
True
Let m be (-5)/(-10) + (-702)/4. Let z be (-2 - -4)*1 - m. Suppose 208 + z = 5*i. Is i prime?
False
Suppose 38 = 4*q + 5*y - 259, 2*q - 151 = -3*y. Suppose 4*k = 9*k - 2*b - q, -5*k = -b - 69. Is k a prime number?
False
Let d be -2 + 7 - (-2 - -3). Suppose -2*a = 2*w - 0*w - 168, 20 = -d*a. Is w composite?
False
Let c be 2/(-4)*(-7 + 1). Suppose -2*f = -c*f + 74. Is f prime?
False
Is ((-3)/(-6))/(2/7796) composite?
False
Suppose 6*p = 2*p + 152. Suppose -h = z + 21, 3*z - 2*h + 72 = -z. Let v = p + z. Is v prime?
True
Suppose -3*n + n + 6 = 0. Suppose o + 4*o = n*p - 442, 2*p - 4*o - 294 = 0. Is p composite?
False
Let r(g) = -g + 5. Let a(d) = -2*d + 10. Let i(l) = -4*a(l) + 9*r(l). Let c be i(3). Is ((-20)/12)/(c/(-18)) a prime number?
False
Let v(u) = -29*u + 4. Let p be v(-10). Let b be p/4*4/6. Let x = b + -12. Is x prime?
True
Suppose 6*s - 447 = 3*s. Is s a prime number?
True
Let u(z) = -2*z**2 + 3*z - 1. Let x be u(2). Let m = 85 - -69. Let h = m - x. Is h composite?
False
Let k = -12 + 8. Let u = 6 + k. Is u + 0 - (-18 + -1) composite?
True
Let t = 2641 + -1242. Is t prime?
True
Let f(c) = c**3 - c**2 - 2*c - 2. Let y(i) = i**2 + 8*i - 13. Let v be y(-9). Let n be ((-27)/12)/3*v. Is f(n) composite?
True
Let c = 804 + -303. Is c a composite number?
True
Let v = 7 + -1. Let f(p) = -1 - v*p**3 + p**2 + 4*p**3 + p**3. Is f(-4) a prime number?
True
Let q = 4 + -10. Let f(i) = -i**2 - 8*i - 7. Let t be f(q). Let v(y) = 12*y - 5. Is v(t) composite?
True
Let p(m) be the first derivative of m**3/3 + 3*m - 6. Let g = 0 + -4. Is p(g) prime?
True
Suppose 4*s = -0*i + i, -34 = 4*i + s. Is i/36 + (-10023)/(-27) prime?
False
Suppose 0 = 4*k - 17 - 1179. Is k prime?
False
Suppose -m + 2*m = -13. Let i = m + 24. Is i a prime number?
True
Is 14/(-21)*-3*1174/4 composite?
False
Suppose 0 = -w + 6*w - 20. Suppose -x + w*c = x - 158, x - 83 = -2*c. Is 1*(x - 2) - -3 composite?
True
Let a be (-9)/(-45) + 2348/10. Suppose -3*t - 2*t + a = 0. Is t a composite number?
False
Let t(d) = -5*d + 3. Let o = 5 - 6. Let q be o + -1 + 2 - 10. Is t(q) a composite number?
False
Suppose 0*v - 3*v + 57 = 2*w, -3*v + 2*w = -45. Suppose 0 = o - p + 1, o + 3*o + 3*p = v. Is o/6 - (-294)/9 prime?
False
Let c(x) = -x**3 + 5*x**2 - 3*x. Let d be c(2). Let y = 9 - d. Suppose -3*p + 3*n + 0 = -78, -y*n = -4*p + 99. Is p composite?
True
Let x(i) = i**2 - 6*i. Let d be x(5). Let f = -5 - d. Suppose f = -5*a - 13 - 12, -g = -3*a - 28. Is g a composite number?
False
Suppose 2*h + 4*k - 661 = h, -1292 = -2*h - 2*k. Is h a prime number?
True
Let l(k) = k**3 + 8*k**2 - 8*k + 7. Let d be l(-9). Let f be -1*1/d*4. Suppose r + f*z + 64 = 6*r, -3*z = -2*r + 19. Is r a composite number?
True
Let b(l) = l**2 - 4*l + 1. Let w be b(4). Suppose p = 1 + w. Is 2 + (3 - p)*33 a composite number?
True
Let f be ((-30)/(-12) - 4)*2*-1. Suppose -4*m = 4*v + 20 - 228, 4*m + 3*v - 203 = 0. Suppose -m = -j - 4*k, -f*k + 125 = 4*j - 8*k. Is j prime?
False
Let h(i) be the second derivative of i**5/10 - 7*i**4/12 - 5*i**3/6 - 5*i**2/2 - 5*i. Is h(6) a prime number?
False
Let j(g) = -4*g + g - 5*g + 0*g + g**2 + 9. Let o be j(7). Is (-127)/(1 - (4 - o)) prime?
True
Let q(m) = -m**2 + 8*m - 2. Let k be q(8). Let o be ((-8)/10)/(k/5). Is 22 + (6/o)/3 composite?
False
Suppose 0 = -5*g + 63 - 3. Is 37 - 2/(8/g) composite?
True
Suppose 5*r = -w + 41, -2*w = -4*r + w + 48. Let d = -7 + r. Suppose -s = d*s - 69. Is s composite?
False
Let i = -54 - -98. Suppose -34 - i = -3*r. Is r/4*(-3 + 17) a prime number?
False
Suppo