te?
True
Let i(z) = -7*z. Let j(m) = -m**2 + 4*m - 4. Let a be j(3). Let w be i(a). Suppose 164 = -w*v + 9*v. Is v a prime number?
False
Let x = 987 - 696. Is x a prime number?
False
Let s(q) = -20*q - 9. Let u(o) = 60*o + 26. Let f(v) = -8*s(v) - 3*u(v). Let j be f(6). Let p = j + 193. Is p prime?
True
Is (2/2)/((-10)/(-370)) prime?
True
Suppose 7*m = 2*m. Suppose -5*g + 5 = m, 3*g + g = -2*p + 6. Is 0 + -1 - (-35 + p) a prime number?
False
Suppose 5*o = -0*o + 1255. Is o a composite number?
False
Let b(v) = -v**2 + 8*v + 2. Let a be b(6). Suppose a + 5 = p. Is p a prime number?
True
Suppose 4*w = 2*w + 1438. Is w composite?
False
Suppose 0 = 5*d + 2*l - 3 - 25, 3*l - 20 = -2*d. Suppose d*h = 82 + 2. Is h a prime number?
False
Let j(m) = m**2 + 3. Let d be j(0). Is (266/(-21))/((-2)/d) a prime number?
True
Suppose -o + 3*l + 165 = -0*l, 2*o + l = 316. Suppose 0 = 2*q + q - o. Is q a prime number?
True
Let t be ((-15)/(-20))/((-2)/(-8)). Suppose 3*c + 5*k - 52 = 0, 61 = t*c - 5*k + k. Is c composite?
False
Let d = 12 - 18. Let m = 11 + d. Suppose -2*j - 99 = -m*j. Is j prime?
False
Let t(f) = -27*f + 8. Is t(-19) composite?
False
Suppose 0*m - 2*m + 586 = -4*i, 0 = 5*m + 3*i - 1517. Is m a composite number?
True
Let w = 0 - 0. Suppose -f + 6 = d, -d + 4 = -f - w*d. Suppose 3 - f = x. Is x composite?
False
Suppose 0 = 5*a + 2*q - 165, 0*a + 4*a - 4*q = 132. Is a a prime number?
False
Suppose 5*h - s = 87, 0 = h + 3*s - 5*s - 21. Let j = h - -50. Is j a prime number?
True
Let v(m) = -4*m + 5. Let p be v(2). Is 74 + 6 + (-1 - p) prime?
False
Suppose 4*v - 39 = -195. Let i = v + 58. Is i - 1 - (1 - 2) prime?
True
Let f be ((-6)/4)/((-27)/2736). Suppose 3*b - f = 727. Is b a prime number?
True
Let f be -4 - -356 - (-2)/(-2). Suppose -5*x + f + 444 = 0. Is x composite?
True
Let k be ((-381)/6)/(1/2). Let h be (-2)/7 + (-1272)/7. Let d = k - h. Is d a prime number?
False
Let i be 2*-1*3/(-2). Suppose 40 = o + i*o. Suppose -5*n + 0*n = -o. Is n a composite number?
False
Let w(u) = 84*u - 1. Is w(3) prime?
True
Suppose 21 = -3*v - 0. Let y(b) = -b**3 + 11*b**2 - 9*b - 1. Let r be y(10). Let l = v + r. Is l prime?
True
Let h = -354 + 68. Let g = h + 499. Is g composite?
True
Suppose 8*q - 483 = 5*q. Is q composite?
True
Is 154/8 - 2/8 a composite number?
False
Suppose -3*q = -7*q + 48. Let a be (652/6)/(8/q). Suppose n = -y + 40, y + a = 4*n + 6*y. Is n composite?
False
Let q(m) = 23*m**2 - 2*m - 2. Let o be q(-1). Suppose 12 = -4*g + 4. Let s = o + g. Is s prime?
False
Is (3 - (0 - -4))*-202 a prime number?
False
Let k(i) be the second derivative of i**5/20 + 3*i**4/4 - 11*i**3/6 + 5*i**2/2 + 2*i. Is k(-10) a prime number?
False
Let p(h) = 809*h**2 + 1. Let w be p(-1). Suppose 4*j = 5*d + 3255, -j + w = -5*d - 0*d. Is j composite?
True
Suppose 0 = 2*k - 1 - 3, -g - 5*k = -477. Is g a composite number?
False
Let m(z) = z**3 - 8*z**2 + 9*z + 10. Is m(8) a prime number?
False
Let u = 7 - 5. Let s(v) = -17*v - 3 + 3*v + u*v. Is s(-2) a prime number?
False
Suppose 7*g - 3*g - 104 = 0. Is (g/(-6))/((-4)/84) a prime number?
False
Suppose 3*s - 954 = s. Is (s/6)/1*2 composite?
True
Suppose 6 = 5*u - 4*v, 9*v - 4*v = -5*u + 15. Suppose -y - 257 = -u*y. Is y composite?
False
Suppose -4*g = -3*g - 479. Is g prime?
True
Suppose 5 = 4*w - 3. Let v(u) = -1 + u - w*u - 5*u. Is v(-6) a composite number?
True
Suppose 4*o + 100 = 2*o - 4*c, 3*c - 86 = 2*o. Let w = 15 - 80. Let z = o - w. Is z a prime number?
True
Let l(d) = 4*d**2 - d + 1. Let t be l(1). Suppose -10 = -4*y - 2*b, -3*b = t*y - 2 - 3. Is 2*(0 + y - 2) a prime number?
False
Suppose d = -0*d + 4*v - 12, 0 = -d + 5*v - 15. Suppose -w + 242 + 53 = d. Is w prime?
False
Is ((-3)/2)/((-3)/(-212)*-2) prime?
True
Suppose -t + 33 = 2*s, 3*t + 3*s - 105 = -0*t. Is t composite?
False
Let b = 18 - 13. Let g = b + 14. Is g composite?
False
Let h(f) = 32*f**2 - 1. Let b(o) = o - 8. Let d = 8 - 1. Let l be b(d). Is h(l) a prime number?
True
Suppose -3*m + 220 = 2*m. Suppose m = r - 62. Is r prime?
False
Suppose -5*l + 3*i - 744 = 1938, -2116 = 4*l + 5*i. Let w = -376 - l. Is w prime?
False
Let z(q) = -1196*q**2 + 5*q + 3. Let r be z(-3). Is ((-1)/(-4))/((-6)/r) composite?
False
Let t(s) = 46*s**3 + s - 1. Let b be t(1). Suppose -2*u + b = -0*u. Suppose 0*c = c - u. Is c composite?
False
Let g be (-2)/(-2 + (-16)/(-6)). Let k(b) = -85*b - 4. Let i be k(g). Suppose 3*q - i = -86. Is q a composite number?
True
Suppose -4*f + 2*f = 3*v - 280, -2*v + 185 = f. Let w = 89 - 36. Let b = v - w. Is b composite?
False
Suppose 5*q = 5*o + 190, -3*o - 2*o = -q + 198. Let g = 39 - o. Is g a composite number?
False
Let j be (237/12)/((-3)/(-24)). Let y = -107 + j. Is y a composite number?
True
Let h be (2 - 3)/(4/(-260)). Suppose -53 + 1 = -4*m - 2*k, -3*k + h = 5*m. Is m a prime number?
True
Let k(s) be the second derivative of 5*s**4/12 + 2*s**3/3 - 5*s**2/2 - s. Is k(4) a composite number?
True
Let n = -2 + 7. Suppose -237 = 2*y - n*y. Is y prime?
True
Suppose -2*w - 973 = -5*p - 5*w, -p = 5*w - 199. Is p a composite number?
True
Let r(i) = -9*i - 4 + 2 - 9*i + 3. Let a(j) = -j - 9. Let q be a(-4). Is r(q) a composite number?
True
Suppose -3*v - 18 = -0*v. Let z = v + 11. Suppose 0 = -5*p + k + 3*k + 16, z*p - 2*k = 18. Is p composite?
True
Let x = -186 - -260. Is x a composite number?
True
Let l(g) = -g**3 - g**2 + 46. Suppose h + 2 = -0. Let u be h + 3*4/6. Is l(u) a composite number?
True
Let d be 1*(-2 + (4 - 1)). Let k(s) = 3*s**3 + 2*s**2 - 1. Let z be k(d). Is (6/8)/(z/272) composite?
True
Suppose -9*n + 18426 = -3*n. Is n a prime number?
False
Let v = -3245 - -4592. Is v a composite number?
True
Let u be 95/10*(1 - -1). Is 2/(-2) + u + 1 prime?
True
Let f(a) = 6*a**2 - 8*a + 29. Is f(-16) composite?
False
Let w be (0 - -3)/((-18)/(-48)). Let x(a) = a**2 - 8*a + 11. Let o be x(w). Let n = o + 26. Is n prime?
True
Let c be 0 - 1/(-2)*62. Let a = 62 - c. Is a a composite number?
False
Suppose 0 = 3*a - 3 - 6. Suppose 0 = 2*f - 2*j + 18, -j - 3*j + 8 = a*f. Is f/(-18) + 2476/36 a prime number?
False
Suppose 5*m - 17 = b, -4*m + 7 = -2*b - b. Suppose 62 = 3*s + b*q + 257, -2*s - 118 = -q. Let t = 86 + s. Is t a prime number?
False
Let w(p) = 11*p**2 - 6*p. Suppose 4*r - r = -21. Is w(r) a composite number?
True
Let a be (3 + 38/(-10))*-10. Let f = -4 + a. Suppose 0 = f*o + 6 - 138. Is o prime?
False
Suppose -n + 197 = 2*w, -4*n + 5*w + 863 = 62. Is n prime?
True
Suppose 3*u + 2*u + 10 = 5*g, -3*u - 3*g = -6. Let o(a) = -a**2 + 10. Is o(u) a composite number?
True
Suppose 2*r + r - 324 = 0. Suppose 4*q = 256 + r. Is q prime?
False
Suppose 362 = 3*k - 5*k. Let z = k + 102. Let a = 132 + z. Is a composite?
False
Let m = 130 + 251. Is m composite?
True
Let t(x) = -2*x - 10. Let k be t(-8). Let p be ((-20)/k)/(2/(-3)). Let q(r) = 3*r**2 + r - 1. Is q(p) composite?
False
Suppose -5*o - 3*i = -1539 - 1288, 4*i + 2236 = 4*o. Is o a prime number?
True
Suppose 20 = 5*o, -3153 = -5*y + 3*o - 0*o. Is y a composite number?
True
Suppose 0 = -g + 10 - 3. Suppose -g*z = -2*z. Suppose z = q - 1 - 5. Is q prime?
False
Is (5758/(-2) + (-1)/(-1))/(-2) a composite number?
False
Let c(x) = -7*x + 12. Let i(s) = -20*s + 37. Let n be 0/1 - (-16)/2. Let d(o) = n*c(o) - 3*i(o). Is d(10) prime?
False
Let f(g) = g**3 - 3*g**2 - 2*g + 4. Let d be f(4). Let l be (-1)/(-1) - -2*3. Suppose 0 = -4*p - d, l*i - 4*i - 4*p - 78 = 0. Is i a composite number?
True
Suppose 2*o + 6 = 4*v + o, 4*o = 8. Let l be v/(-3) - 6/(-9). Suppose l = -2*b - b + 111. Is b a composite number?
False
Let b(g) = 26*g - 1. Let d(f) = 51*f - 3. Let y(w) = -5*b(w) + 2*d(w). Let x be 3/(3/4*-2). Is y(x) a composite number?
True
Let q = 152 + -97. Is q prime?
False
Suppose -7*c + 2*c = -715. Is c a prime number?
False
Let p be 1/(-4)*6*-26. Let f(d) = d**3 + 5*d**2 - 7*d - 6. Let m be f(-6). Suppose 3*k + 6 = m, z - k - p = -14. Is z prime?
True
Let t be 3/(-9)*0 - -80. Suppose 2*v - 174 = t. Is v a prime number?
True
Let s(a) = -7*a**3 + 2*a**2 + 2*a + 3. Let c be s(-3). Let z = c + 70. Suppose -2*d - 3*h - 53 = -z, 0 = 4*d - 3*h - 469. Is d composite?
True
Is 15*77 - (-32)/(-8) prime?
True
Suppose 6*c - 41 + 5 = 0. Is c a composite number?
True
Let j be -2 + 6 + -1 + 2. Suppose n = -