 f a composite number?
False
Suppose 5*m - 17 - 33 = 0. Suppose 4*h + m = -3*j - h, 2*j - 35 = 5*h. Is 1/(-5) + 356/j prime?
True
Let m(y) = y**3 + 2*y**2 + y. Let d be m(-1). Suppose d*v + 17 = v. Suppose 0 = 5*c - 442 + v. Is c composite?
True
Let h = 3458 - 963. Is h a prime number?
False
Let g be -9 - (-1 + (1 - 0)). Let o = g + 27. Let u = o - 5. Is u a prime number?
True
Let o(j) = 3*j - 11. Let m be o(8). Suppose 2*s + m = 3*s. Is s prime?
True
Is 4 + (-6)/4*-1290 a composite number?
True
Let b(c) = -c + 58. Is b(0) a prime number?
False
Let i(q) be the first derivative of q**3/3 + q**2 - 3*q - 2. Let g be i(2). Suppose -g*z + 3*j = j - 105, -3*j = 0. Is z composite?
True
Let t(l) = 155*l**2 + 3*l - 1. Is t(1) a prime number?
True
Let n = -5 - -7. Suppose 3*b - 20 = -n*b. Is b composite?
True
Let n = 1 + -4. Let i = n + 13. Let y(p) = p**2 - 4*p - 7. Is y(i) composite?
False
Suppose -5*q = -5*x - 7985, -2*x + 1597 = -2*q + 3*q. Is q composite?
False
Let y be (1 - 4) + (-15)/(-5). Suppose -r + y*r + 37 = 0. Is r composite?
False
Suppose 7 = 5*n - y, -3*y - 5 = 2*n - 6*y. Suppose n*m + 457 = 3*p - 0*m, p = 2*m + 159. Is p a composite number?
False
Let j(q) = -q**3 - 2*q**2 + 2*q + 2. Suppose 5*y + 15 = -0. Let w be j(y). Suppose -79 = -3*u - 5*l, 3*l - w = 1. Is u a prime number?
True
Suppose -d + 3 = 2*s + 1, -2*d - 11 = -s. Suppose 5*o - 4*c = -677, -5*c = -o - s*c - 133. Let i = o + 248. Is i a composite number?
True
Let d(t) = 197*t**3 + 6*t**2 - t - 5. Let p(g) = 196*g**3 + 5*g**2 - g - 4. Let y(n) = -5*d(n) + 6*p(n). Is y(1) a prime number?
True
Let j = 243 + -30. Is j a composite number?
True
Let c = 12 - 8. Suppose 5*f - 584 = -c*r + 740, 5*r - f = 1655. Is r a prime number?
True
Let j(o) = -o**3 + 8*o**2 - 3*o - 2. Let u be j(7). Suppose -3*k + 15 = 0, 3*k + u = -2*i + k. Is 1684/36 - 4/i a composite number?
False
Let o(r) be the second derivative of 2/3*r**4 + 11/2*r**2 - 1/2*r**3 - 2*r + 0 + 1/20*r**5. Is o(-8) composite?
True
Let r be 6*3/6 - 39. Let j = -25 - r. Is j a prime number?
True
Let h(f) = 259*f**2 + 2*f + 2. Is h(-1) prime?
False
Is -3390*1/(-1) - 1 composite?
False
Is (62/3 - -3)*3 a prime number?
True
Let b(l) = -8*l**2 + l. Let a be b(1). Let k(r) = -16*r + 1. Is k(a) a prime number?
True
Let b(z) = z**3 - 5*z**2 - 14*z - 2. Let s(g) = -g**3 + 6*g**2 + 13*g + 1. Let y(x) = -6*b(x) - 7*s(x). Is y(13) a prime number?
True
Suppose 18*m - 20*m + 94 = 0. Is m a composite number?
False
Let m be (-9)/(5/2 + -1). Let g = -3 - m. Suppose 0*a - 381 = -g*a. Is a a composite number?
False
Let i(j) be the third derivative of 1/60*j**6 + 0*j + 2*j**2 - 1/8*j**4 + 1/60*j**5 + 1/2*j**3 + 0. Is i(3) prime?
False
Let d(p) = 2*p - 3*p + 4 + 2. Is d(0) a composite number?
True
Let q be 2351/3 + 1/3. Suppose -3*u = u - q. Suppose n - 5*n = -u. Is n prime?
False
Suppose u - 3*t = -13, 5*u = t - 0*t - 9. Let p(k) = -22*k + 1. Is p(u) a composite number?
False
Let m be 20/11 + 2/11. Let a be 4/m*20/8. Suppose 338 = a*g + 73. Is g composite?
False
Let w(o) = -327*o + 4. Is w(-1) a composite number?
False
Suppose -4*i + 5*k + 15 = -2*i, -5*i + 2*k = -6. Let t = 5 + i. Suppose -5*h = -g + 3*g - 63, -t*g + h = -90. Is g a composite number?
False
Suppose -4*f - f + 395 = 0. Is f a prime number?
True
Let u(g) = -g + 9. Let j be u(6). Suppose j*y + 6 = y. Is (11/(-4))/(y/132) composite?
True
Let o be 9/6*(-8)/(-6). Let s(i) = 19*i - o*i**2 + 0*i**2 + i**2 - 13. Is s(10) a composite number?
True
Let d be (-2 - 0) + (-4)/(-2). Let s = 2 - d. Is (-1)/(-2)*(s - -164) prime?
True
Let j be (-1 - (1 - 1)) + 1. Suppose 0 = -n - j + 2. Suppose -1 = n*h - 15. Is h composite?
False
Let r(c) = -c**3 - 6*c**2 - 3*c + 5. Let q(l) = -7*l**2 + 1. Let h be q(-1). Is r(h) composite?
False
Let p be (-12)/8*(-2)/1. Suppose -2*f + p*f = 164. Suppose -f = -3*c + 109. Is c a composite number?
True
Let g = 837 + 820. Is g composite?
False
Suppose -7*y + 3*y - 5*v = -1, 0 = -2*y - 5*v - 7. Suppose o - 3 + 0 = 0. Suppose l - 130 = -2*a - 2*l, -y*l - 195 = -o*a. Is a composite?
True
Let u be ((-10)/25)/((-1)/10). Suppose u*b - 5*i + 2*i - 28 = 0, -i = 5*b - 35. Is b a composite number?
False
Suppose p = -s + 26, -p = 4*p + s - 150. Let k be p*-1 + 1 + -1. Let f = 4 - k. Is f composite?
True
Suppose -2 = 5*q + g, 4*q + 2*g = -3*g + 11. Let b = q + 3. Is (5 - 6) + 20/b a composite number?
True
Suppose -5 = 2*c + 5*t, -2*t + 5*t = -15. Is c a composite number?
True
Let c be 25/(-2)*352/(-20). Suppose 4*p - 2*t = c, 2*p - 5*t = -2*t + 110. Is p a prime number?
False
Let x(i) = i**2 - 6*i - 3. Let q be x(7). Suppose 0 + 16 = q*s. Suppose 0 = -y + 2*l + 22, -4*l + 0*l = -s*y + 88. Is y a prime number?
False
Is (-2 + 4)*1671/6 a prime number?
True
Suppose 4*c + 549 - 3817 = 0. Is c composite?
True
Let g = 1 + -5. Let k be 552 + 3*g/(-6). Suppose -k = -4*v - 198. Is v composite?
False
Let x(n) = -25*n**2 + 3*n + 4. Let q(f) = 24*f**2 - 2*f - 4. Let w(k) = 5*q(k) + 4*x(k). Let v be w(-3). Suppose 0 = a - 6*a + v. Is a prime?
False
Let w = -640 + 1263. Is w a composite number?
True
Is -3 + 3 + 2 + 19 a prime number?
False
Let f(r) = r**3 - 5*r**2 - 7*r + 9. Let q be f(6). Suppose 3 = q*j, 2*t = j + 27 + 16. Is t a composite number?
True
Suppose 19 = n - 4*j, -3*n - 5 + 34 = -5*j. Let b(v) = 26*v + 13*v + 12*v + 3*v + 1. Is b(n) a composite number?
False
Let g(y) = 48*y**2 + 7*y - 5. Is g(4) prime?
False
Suppose -4*l - 3*a + 1484 = 0, 0*l - 2*l + 3*a = -742. Let i = l + -168. Is i composite?
True
Suppose -4*x + 339 = -x. Is x prime?
True
Let o(i) = i**3 + 7*i**2 - i - 5. Let f be o(-6). Suppose -f = -5*l + 28. Is l a composite number?
False
Let s(w) = -3*w**3 - 3*w - 3. Is s(-3) a composite number?
True
Suppose -340 - 475 = -5*l. Is l a composite number?
False
Let i = 8 + -8. Let o(v) = v**3 + v**2 - v + 191. Is o(i) a composite number?
False
Let f be -250 - (0 - -1)*2. Let k = f - -66. Let n = k - -317. Is n prime?
True
Suppose -94 = -y + 29. Is y composite?
True
Let o = -33 + 37. Suppose 5*t = -3 + 8. Let j = o - t. Is j a composite number?
False
Let h(c) = -2*c**3 - 2*c**2 - c - 8. Is h(-7) composite?
False
Suppose 2*q = -2 - 10. Suppose 0 = -3*c + 11 + 10. Is q/(-21) - (-26)/c composite?
True
Let u(v) = 2*v - 9. Let c be u(6). Suppose -4*r = 5*p - 261, -7 = 4*r - c. Is p a prime number?
True
Let z be (2 + 3/(-3))*21. Suppose -i = -z - 16. Is i prime?
True
Let h(d) = 9*d**2 - 6*d + 7. Is h(4) prime?
True
Suppose -3*x - 5*t = 20, 0*t - 8 = 2*t. Suppose -i = u - 21, -3*u = -i - x*i - 47. Suppose 183 = 5*m - 4*d, m - d = 53 - u. Is m prime?
False
Is (-28260)/(-156) + (2/13)/(-1) a composite number?
False
Let v be (0*(-2)/4)/(-1). Suppose 0*o + o + 47 = 4*f, v = -3*f - 3*o + 54. Is f a composite number?
False
Let x = -11942 - -21807. Is x/20 + 1/(-4) a composite number?
True
Let v be (-37 - -5)/(2/(-4)). Suppose v = k + n, 0 = -5*k + 5*n + 177 + 93. Is k a composite number?
False
Suppose 4188 = -4*a - 4*b, 6 = b + b. Let q = -673 - a. Is q a prime number?
False
Let a = -13 - -17. Suppose 3*k - a*k = -55. Is k prime?
False
Let t(o) = 2 + 5*o - 16*o + 4*o. Suppose 2*y + 2 + 5 = 3*b, -20 = 5*y - 5*b. Is t(y) a composite number?
False
Let o = 1223 - 612. Is o a prime number?
False
Let l(f) = 119*f**3 + f**2. Let s be l(1). Suppose 3*b + 3*c - 163 = 41, 2*b - 139 = -c. Let r = s - b. Is r prime?
False
Let f(g) = 69*g**2 - g - 1. Is f(-1) composite?
True
Let h = -9 - -15. Let d(q) = 4*q**2 + 1 + q - 2*q + 2*q**2. Is d(h) prime?
True
Let m = 34 - -24. Is m composite?
True
Let d be (14/(-8))/(3/36). Is d*(1 - 4) + 2 prime?
False
Let z be (-15 - 0)*2/(-6). Suppose -23 = 3*n - 6*n + g, -20 = -z*n - 2*g. Let l(f) = 7*f + 5. Is l(n) prime?
True
Let h(x) = -3*x**2 + 2. Let i(p) = -7*p**2 + p + 5. Let j(a) = 9*h(a) - 4*i(a). Let f be j(7). Let o = f + 28. Is o a composite number?
False
Is (-820)/(-25) + (-1)/(-5) a prime number?
False
Let w(s) = 18*s**2 - 17 - 4*s**3 + 15*s + 0*s**2 + 5*s**3. Is w(-14) a composite number?
False
Suppose -y = 5, -s - 80 = -6*s - 3*y. Is s a prime number?
True
Suppose -n = -2*v - 55, 4*n = -v + 4*v + 235. Suppose 0 = -m + n - 6. Is m composite?
True
Suppose 2*l + 5*b - 35 = 73, -2*b = -4*l + 240. Is l prime?
True
Suppose 227 = 3*w - 274. Let t = w + 96. Is t a