ose -4*f + 5*f - 3 = 0. Suppose -f*y + 348 = 3*g, -y = -6*y - 15. Is g a composite number?
True
Suppose 1061 = -3*d + 4*d. Is d a prime number?
True
Let n = 17 + 20. Is n composite?
False
Is (-93665)/(-52) + 2/(-8) a prime number?
True
Let m(b) = b**3 - 4*b**2 - 6*b + 5. Let f be m(5). Let j = 3 - f. Suppose -j*z + 67 = 5*l, -2*l - 2*z = -6 - 24. Is l a prime number?
True
Let q(k) = -k**2 + 6*k - 2. Let d be q(5). Suppose -d*g + 67 = -86. Is g a prime number?
False
Let l be (2 + -4 - -7) + -2. Suppose -l*b + 4 + 2 = 0. Suppose b*u = 5*u - 57. Is u composite?
False
Let t be 1016/1*2/4. Suppose -5*l + t = -l. Is l composite?
False
Let b(s) = -s**2 + 4*s + 2. Let g be b(3). Suppose -4*l - g*k = -432, l - 5*k - 56 = 77. Is l composite?
False
Let f be (-3 + 1)/((-4)/30). Suppose f = 2*o + 133. Let p = 178 + o. Is p a prime number?
False
Let m(f) = -2*f**2 + f - 154. Let s(l) = l**2 + 77. Let h(o) = 2*m(o) + 5*s(o). Is h(0) prime?
False
Let o(v) = -v + 29. Is o(14) prime?
False
Suppose 2*q = 6*q - 5*l + 14, 5*q - 2*l + 26 = 0. Let r be 3/(-9) - 14/q. Suppose -4 + 36 = r*c - p, 0 = -c + p + 17. Is c composite?
True
Let n be 4/(-10) - 22/(-5). Suppose 0*z + 76 = 4*y - n*z, -5*z = -25. Let a = -9 + y. Is a a prime number?
False
Let k(o) = o**2 - 5*o + 8. Suppose -2*p = 2*d + 2, 8 - 46 = 3*p - 4*d. Is k(p) prime?
False
Suppose 0*p - 5*h - 246 = -3*p, -3*h + 183 = 2*p. Suppose 0 = -5*c - 178 - 192. Let w = p - c. Is w composite?
True
Let a = 10 - -27. Is a a composite number?
False
Let d = 2199 + 4256. Is d a prime number?
False
Let b(t) = -12*t - 17. Let a(j) = -8*j - 11. Let u(o) = 8*a(o) - 5*b(o). Let y be u(-2). Suppose -y*l = -l - 308. Is l prime?
False
Let l(w) = w**3 - 13*w**2 + 5*w + 14. Is l(13) composite?
False
Let x = 653 + -337. Suppose -6*g + x = -2*g. Is g a composite number?
False
Let g = 20 - 28. Is 4655/9 + g/36 a prime number?
False
Suppose -4 - 17 = 3*y. Let n = y + 2. Let k(t) = t + 7. Is k(n) composite?
False
Let v be (1 - 3) + (-4)/2. Let f = v - -41. Is f a prime number?
True
Let k(t) = -147*t**3 - 2*t**2 - 2*t - 3. Is k(-2) prime?
False
Suppose 3*u - 5*g = 2*u + 6, -g = 2*u - 12. Suppose 3*p + 2*r - u*r = 153, 2*p - 113 = -r. Is p a prime number?
False
Suppose -2*m - 2*k + 3 + 1 = 0, 2*m = -5*k - 8. Suppose 2*l = m*l - 340. Is l prime?
False
Let j(m) = 26*m**2 - 5. Let v(g) = 53*g**2 + g - 11. Let z(d) = 13*j(d) - 6*v(d). Is z(5) composite?
True
Let n(i) = -241*i - 3. Let m be n(-6). Let b be 4/14 + m/21. Suppose k + 2*p = b, 0*p - 25 = 5*p. Is k a prime number?
True
Let l(r) be the second derivative of 13*r**3/6 + 3*r**2/2 + r. Let d be l(5). Let i = 121 - d. Is i prime?
True
Let u = -5 - -5. Let l be 0/(-2) + u + 3. Suppose -73 = -l*j + 38. Is j a composite number?
False
Suppose -2*y + 3*y - 2 = 0. Suppose -m = m - 4*q - 362, -774 = -4*m - y*q. Is m composite?
False
Suppose 3*u = -7 - 2. Is 2/(2/u) - -416 prime?
False
Let u = 9 - 2. Let g = u - 2. Suppose g*l + p - 235 = 0, -76 - 18 = -2*l - 2*p. Is l prime?
True
Let t = 2 - 0. Is ((-348)/(-9))/(t/3) prime?
False
Is ((-8)/(7 + 1))/(1/(-199)) a prime number?
True
Let f = 264 + -494. Let w = -121 - f. Is w a prime number?
True
Let a be (5 + 0)/(2/(-6)). Let m = -4 - a. Is m composite?
False
Let g be 215 + (0 - (-3 - -3)). Suppose 0 = 3*n - 5*u - 251, 0*n = 3*n + 4*u - g. Is n a composite number?
True
Suppose -17 = -2*s + 167. Suppose 0 = 2*y - 5*m - s, 3*y + 2*y = m + 253. Is y prime?
False
Let o(t) = -60*t. Let q be o(-4). Let j(i) = -i**2 + 4. Let a be j(0). Suppose a*w - x = 2*x + 317, 3*x + q = 3*w. Is w prime?
False
Let w be (-1 - 4/(-2)) + -70. Let z = -36 - w. Is z a composite number?
True
Let p(y) = -23*y + 12. Let d be 14/(-3) - 2/6. Let b(z) = -15*z + 8. Let x(l) = d*p(l) + 8*b(l). Is x(-3) composite?
False
Suppose 0 = -c - 2*c + 1041. Is c composite?
False
Suppose -6*d + d - 38 = 4*k, -5*d - 62 = -4*k. Let v = -3 - d. Is v a prime number?
True
Let p(q) = 7602*q**2 - q - 2. Is p(-1) composite?
True
Let q = 84 + -43. Suppose 4*r - 3*o - 53 = 2*r, -2*r + q = o. Is r composite?
True
Suppose -4 = -c - 36. Let j = c + 66. Is j prime?
False
Let h(z) = -18*z + 3. Let m(u) = -17*u + 2. Let a(r) = -4*h(r) + 5*m(r). Suppose -4*f + 1 = 13. Is a(f) a composite number?
False
Is -1163*(-11 - (4 - 10)) composite?
True
Let o be (-2)/6*(-90)/5. Suppose -4*k + o = -2*k. Let p = k - -10. Is p composite?
False
Let u(y) = 125*y + 4. Let w = -12 + 15. Is u(w) a prime number?
True
Suppose -h - 3*h - 32 = 0. Let w be 185/((-2)/h*2). Suppose -6*y + w = -y. Is y a composite number?
True
Suppose -2*q = -w + 420, q - 2124 = -5*w + 5*q. Suppose -852 = -2*a - 2*a - 4*f, -3*f + w = 2*a. Is a a prime number?
True
Let l be (4 - 0)/((-1)/2). Let k be 57/2*l/3. Is ((-4)/(-8))/((-2)/k) a prime number?
True
Suppose g - 68 - 93 = 0. Let k = g + -68. Is k a prime number?
False
Is (-3)/(6/(-148))*(-59)/(-2) a prime number?
False
Let h(v) = 87*v + 11. Is h(8) a prime number?
False
Suppose 50 = 3*b - 4*b. Let z be (-104)/10*b/4. Suppose 4*n - 5*y = 95, -6*n - 5*y + z = -n. Is n a prime number?
False
Let g = 251 + -92. Is g prime?
False
Let t = 35 + 6. Suppose -p + 20 = o, -9 = 2*o - 2*p - t. Is 6/o + (-184)/(-6) composite?
False
Let c(s) be the first derivative of -2*s**3/3 - 3*s**2/2 + 3*s + 2. Let f be c(-3). Is 330/9 - 2/f a prime number?
True
Suppose 0*i + 2*i + 136 = -2*x, 2*x - 4*i = -106. Suppose -560 = -8*n + 3*n. Let f = n + x. Is f a prime number?
False
Is 3/(-6) + (-4 - 191/(-2)) a composite number?
True
Let x be (1/(-3))/((-3)/54). Let h be 2*1 + 6/x. Is 777/(-14)*(-2)/h prime?
True
Is (16 + 3)*1/1 a prime number?
True
Let c = 3 - -5. Let u be (-399)/(-4) - (-2)/c. Suppose 0 = -2*x - 2*x + u. Is x a prime number?
False
Suppose 0 = 2*a + 2 - 0. Let b be 27/12*(a + -3). Is 2 + -4 - 1*b a prime number?
True
Let k be (-1)/(1 - (-186)/(-183)). Suppose c + 5*r = 3 - 4, -5*c + 3*r - k = 0. Let s = c + 15. Is s a prime number?
False
Let b(s) = 189*s**2 - 3. Is b(2) a prime number?
False
Suppose 0 = -3*r - 3*n + 21, n - 20 = -3*r - 7. Let q(b) = 0 - 3 + 3*b - b**2 + 2*b**r - 2*b**2. Is q(2) a composite number?
False
Suppose -u + 16 = 5*m, -4*m + 0*u + 28 = -3*u. Suppose -2*q - d + 2*d + 11 = 0, 4*q = d + 21. Suppose -q*h + 3*t = m*t - 93, h - t = 21. Is h composite?
False
Let p = 6164 + -2175. Is p composite?
False
Suppose c + 0*c - 4 = 0. Suppose c*d - 3 = 41. Is d a prime number?
True
Let r(m) = 20*m + 15. Is r(20) prime?
False
Let p(k) = 3*k**2 + k. Let c be p(1). Let o = c + -4. Suppose o*d = -5*d + 745. Is d prime?
True
Let x(g) = 78*g**3 + 3*g - 2. Let m be x(1). Let h = 4 + m. Is h a composite number?
False
Let b = 82 - 75. Is b a composite number?
False
Let k = -213 + 331. Is k composite?
True
Suppose -5*z = -2063 - 982. Suppose -i + 4*i = z. Is i prime?
False
Suppose 15 = 2*o + o. Suppose o*y + 31 = 261. Let w = y + -15. Is w prime?
True
Let q(c) = -c**3 + 1 + 0*c**2 + 3 - c**2. Let w be q(0). Suppose -3*v + 21 = 3*n, -2*v - 8 = -4*v - w*n. Is v a prime number?
False
Suppose 0 = -2*z - 3*z + 40. Suppose -4*q = -z*q + 652. Is q a prime number?
True
Suppose 5*y = -0*b - 2*b - 5, -2*b = 2*y + 2. Suppose b = 3*r + r - 76. Is r a prime number?
True
Let m = 12 + -6. Let y = -3 + m. Suppose -5*f + 485 = 3*x, 3*x + 284 = y*f - 7. Is f prime?
True
Suppose 90735 = 13*t + 2*t. Is t composite?
True
Let g = -430 + 1474. Suppose -u = -7*l + 2*l - 522, -2*u + 3*l = -g. Is (-1)/((-3)/u*2) a composite number?
True
Let w = 102 - 20. Is w prime?
False
Let u(x) = -56*x**2 + 11*x + 12. Let g be u(9). Is 6/21 - g/21 prime?
True
Is 4/26 - (2139/(-39) + -3) prime?
False
Suppose 0 = -4*k - 5*q + 74 + 1270, 2*k - 642 = 5*q. Is k a composite number?
False
Let y(v) = 170*v + 7. Is y(2) a prime number?
True
Suppose -3178 = -3*a + 5*l, 3*a + l + 2*l = 3186. Is a a composite number?
False
Suppose 748 = 7*n - 1030. Is n a prime number?
False
Let b = 14 + -23. Is (-6)/4*84/b a prime number?
False
Let g(b) = b**3 - 12*b**2 + 6*b - 5. Suppose 4*t - 3*r - 45 = 0, 0 = -t + 3*t - 3*r - 21. Is g(t) a prime number?
True
Suppose -3*w = w + 2*h - 156, h - 152 = -4*w. Is w prime?
True
Let l(c) = 13*c**2 + 6*c**3 - c**3 + 4*c - 7 - 4*c**3. Is l(-11) a composite number?
False
Is 1343/5 - (-2)/5 a composite number?
False
Let z(r) = -37*r - 