 Is f(7) a composite number?
True
Suppose 0 = -6*f - 10 - 2. Is (558/(-12))/(1/f) composite?
True
Let d = -34 - -55. Suppose 2*o + d = k - 3*o, 0 = 3*k - o - 77. Is k composite?
True
Let z = -3 - -2. Let m be z/(1/(-42) - 0). Suppose -4*a + a + m = 0. Is a prime?
False
Suppose 4*i + 0*i = 9892. Is i a prime number?
True
Suppose 2 = 5*a + 7. Let i be a/(1/(-2)) - -1. Suppose 3*j = -i*s + 123, -4*j - j - 3*s = -199. Is j composite?
True
Suppose -5*h + 2*h - 678 = 0. Let l = h - -448. Suppose c - l = -c. Is c a composite number?
True
Let h(u) = -23*u + 5. Let g be h(4). Let f = -28 - g. Is f a prime number?
True
Suppose 0 = -v + 4*j + 287, -5*v - j = -4*j - 1486. Is v prime?
False
Suppose -4*s - c - 883 = 0, -s + 2*c - 7*c - 216 = 0. Let n = s + 508. Is n a composite number?
True
Let k be 10/6 - (-1)/3. Suppose k*m - 5 = m. Suppose 2 = m*d + 22, 3*w = -2*d + 25. Is w a composite number?
False
Suppose 0 = 40*i - 39*i - 1511. Is i a prime number?
True
Let u = 9132 - 4847. Is u composite?
True
Let z(b) = -2*b**3 - 5*b**2 + 7*b + 1. Let s(h) = h**2 - h - 5. Let r be (-4)/(-6) + 6/(-9). Let d be s(r). Is z(d) composite?
True
Suppose 2*i + 2 = 12. Let c(k) = -k**2 + 11*k - 5. Is c(i) composite?
True
Let k = -131 - -258. Is k prime?
True
Let c(z) = 2*z**2 + z - 1. Let o be c(-2). Suppose -o*x - 6 = -16. Let r = 5 - x. Is r a composite number?
False
Let d = 92 + -53. Is d a composite number?
True
Let d be 4 + -6 - (-1 - 1). Let a = 3 - d. Is a composite?
False
Let j = -1563 + 12956. Is j a composite number?
False
Suppose -2*t + 851 = m, -t + 4 + 1 = 0. Is m prime?
False
Let c(a) = 56*a + 1. Is c(2) composite?
False
Let w be -2 + 0 - -52*1. Let y = -35 + w. Is y a composite number?
True
Let g = 398 - -531. Is g prime?
True
Let p(f) = 2*f**2 - 10*f + 0*f**2 + 1 + 11*f. Let g be p(9). Let b = g + -81. Is b a prime number?
False
Suppose -3*c + 12 = -6. Suppose -4*m = c - 18. Is (-1)/(1/(-28)) + m composite?
False
Is 0 + -3 - (-84 + 2) a composite number?
False
Let g = 4 - -9. Let a(w) = -4*w - 2. Let q be a(-7). Let j = q - g. Is j a composite number?
False
Suppose -161 = -i + 11. Suppose -d - i = -3*d. Is d composite?
True
Let x(i) be the third derivative of 13*i**5/60 + i**4/12 + i**3/6 - 3*i**2. Let c = 0 - 2. Is x(c) a prime number?
False
Suppose -2*h + 0*h = -130. Is h a composite number?
True
Let s(b) = -b**3 - 3*b**2 + b + 4. Let v be s(-4). Is (708/v)/((-1)/(-4)) prime?
False
Let l(f) = 2*f**2 + f + 1. Let k(h) = 2*h**2 - h + 1. Let b be k(1). Is l(b) composite?
False
Suppose 0 = 3*i - 111 - 0. Suppose b - 5*u - 74 = -b, b - 5*u = i. Is b a prime number?
True
Let m(n) = -48*n - 3. Is m(-3) prime?
False
Let d = -259 + 370. Is d a prime number?
False
Let c be 3/12 - 199/(-4). Let k = -131 + 251. Suppose -2*v + c = -k. Is v composite?
True
Is 1/(-2)*-4 - -113 a prime number?
False
Suppose 4*b - 3*m = -b + 195, 0 = -3*b + m + 113. Suppose -2*s + 0*s + 62 = -5*d, 2*s - 38 = -d. Let l = b - s. Is l a prime number?
False
Let p be 0/(2*(-1)/(-2)). Let h(u) = -u - 1. Let j be h(-5). Suppose 0*y - y + 73 = j*l, -y + l + 68 = p. Is y a prime number?
False
Let o = 430 + 576. Suppose 4*i + 21 = 5, i = -5*a + o. Let v = a - 119. Is v composite?
False
Let m = -8 - -15. Suppose -2*f = -f. Suppose -b + m = -f*b. Is b a composite number?
False
Suppose 3 = 2*x - 1. Is x/(-4)*(2 + -48) a composite number?
False
Let t(s) = -s**3 + 2*s**2 + s. Suppose 3*c = -4*o + 4 - 5, 2*c - 2 = 0. Let u be t(o). Suppose -82 = -5*q + u*r + 33, -5*q + r = -110. Is q composite?
True
Let d(q) be the first derivative of 7 - 3*q**2 - 2*q + 4*q**2 - 5 + q**3. Is d(-3) a prime number?
True
Is 337*(12/(-3) + 5) composite?
False
Let k(l) = 67*l - 2. Let y be k(2). Is (y/(-1))/(-4) + 0 a prime number?
False
Let r be 6/(-2)*50/(-30). Suppose -2*v + 463 = r*z, -3*z + 0*z - 5*v = -293. Is z prime?
False
Is (-15)/20 + (-8133)/(-12) prime?
True
Suppose 5*f - q = 427, 3*q + 123 + 212 = 4*f. Suppose 4*r - 18 = -2. Suppose 0 = -r*y + f - 10. Is y composite?
False
Let m = 5161 + -2528. Is m composite?
False
Let p be (36/(-30))/(3/(-10)). Suppose -p*j + 19 = -2*d - d, j + 5*d = 22. Is j prime?
True
Suppose -11 - 12 = -c - 5*p, c = -p + 39. Let f be ((-6)/(-5))/((-2)/(-5)). Suppose f*h - 98 = c. Is h a prime number?
True
Let u(p) = p**3 + 8*p**2 - 2. Is u(6) a prime number?
False
Suppose 0*w = -3*c - w + 300, -w = -3*c + 300. Let k = 79 + c. Is k prime?
True
Let w(a) = a**3 - 10*a**2 - 10*a - 9. Let s be w(11). Let t be ((-1)/s)/((-2)/20). Suppose 2*n + n = -2*j + 125, t*j - 3*n = 260. Is j a prime number?
False
Let q(z) = -z + 1. Let p be q(-2). Suppose -2*t - p*s - 2*s + 119 = 0, 0 = -3*t - 5*s + 176. Is t a prime number?
False
Let j = 4892 - 3255. Is j composite?
False
Let u = 47 - -37. Let o be (-4 - (-2 + -1))*-265. Suppose j - u = 5*y, -3*j + 0*j + 2*y = -o. Is j prime?
True
Is 2/(-6)*((-3507)/3 - 4) a composite number?
True
Let y = -152 + 279. Is y prime?
True
Let u be (42/63)/(2/9). Suppose 2*t = 5*t - l - 34, 0 = 4*t - 3*l - 47. Let g = u + t. Is g composite?
True
Suppose k - 1251 = 5*k + 5*z, 2*k + 643 = z. Let f = k - -524. Is f prime?
False
Let o(i) = 12*i**2 - 12*i - 7. Is o(7) composite?
True
Suppose 0 = 3*t - 598 - 467. Is t composite?
True
Suppose 3*j - 37 = -b, -5*b + b - j + 126 = 0. Suppose -4*z + 85 = -b. Let c = 62 - z. Is c composite?
True
Let i(u) = u. Let r be i(3). Suppose -2*s = 4*t + 73 - 453, 0 = -t - r*s + 85. Is t a composite number?
False
Suppose 2*n = -2*o + 1028, 2*n - 2093 = -5*o + 462. Is o composite?
False
Suppose -2*z + 2 + 2 = 0. Let m = 3 + -3. Suppose m*r + 262 = z*r. Is r composite?
False
Let a = 96 - -50. Let n = 325 - a. Is n prime?
True
Suppose 612 = -6*g + 3930. Is g prime?
False
Suppose k + 3*r = 8*r - 26, -3*k - 26 = -2*r. Let d be -4*(0 + (-21)/k). Let x = -7 - d. Is x composite?
False
Let c(w) = w**3 - w**2 + w. Let z(u) = -6*u**3 - 8*u**2 + 8*u - 3. Let j(b) = 5*b**2 - b + 1. Let a be j(1). Let q(s) = a*c(s) - z(s). Is q(2) prime?
True
Let y(i) = 307*i - 2. Let h be y(1). Suppose -h = -2*g + 105. Is g prime?
False
Let h(w) = 637*w - 12. Is h(2) a composite number?
True
Suppose -y + 4*y - 307 = -5*j, -3*y + 2*j + 335 = 0. Is y a prime number?
True
Let b = 3 - -1. Suppose 0 = -4*p + h + 223, -p + 8 + 35 = b*h. Is p a composite number?
True
Let t be 58/5 + 6/15. Suppose -i + t = -65. Is i a composite number?
True
Let l = 11 - 4. Suppose -l*p + 15 = -2*p. Is p prime?
True
Is (0 + 12/(-20))/(4/(-6140)) a prime number?
False
Let t(a) = a**2 - 2. Let n be t(3). Suppose 0 = 2*o - n - 3. Suppose k - 30 = -4*x - x, 0 = 3*k - o*x - 30. Is k prime?
False
Let k(a) = 27*a - 18. Let g(t) = -28*t + 17. Let p(y) = -7*g(y) - 6*k(y). Let d be p(9). Let q = d + -184. Is q composite?
True
Suppose n - 139 = 3*r - 27, -3*r = 2*n - 233. Suppose -5*z + 33 = 3. Suppose z*i = i + n. Is i prime?
True
Suppose 0 = 5*l + 5*p, 5*p - 3 = 5*l - 53. Let v = l - -62. Is v a prime number?
True
Let u(v) = v. Let m(h) = 3*h - 119. Let j(o) = -m(o) + 2*u(o). Is j(0) prime?
False
Let m be 4/14 - (-3068)/(-7). Let z = m + 692. Is z composite?
True
Is 9/(-3)*(-1006)/6 composite?
False
Suppose -2495 = -6*n + 2875. Is n a composite number?
True
Let r = 869 - 616. Is r prime?
False
Let h = -11 - -8. Let q(v) = v**2 - 2*v - 6. Let r be q(-4). Let l = h + r. Is l a prime number?
False
Suppose -4*n + 3*o = -0*o - 5, 20 = 4*o. Suppose 34 = n*k + 4. Is k composite?
True
Let o be 76/(-18) + 12/54. Let g(v) = -v**2 + v. Let n be g(o). Let a = n - -57. Is a a composite number?
False
Suppose -b - 4*b = -25. Suppose 3*k + 5*s = -2*k + 395, b*k = -2*s + 380. Is k a prime number?
False
Let l(w) = 10*w - 15. Let t(n) = -19*n + 29. Let h(f) = -7*l(f) - 4*t(f). Is h(10) a composite number?
True
Let l = 113 - 98. Is l composite?
True
Let c(t) = 5*t**2 - 1 + 2*t + 4*t + 0*t - 5*t. Let g be c(1). Is 234/g - 1/(-5) composite?
False
Let b be (-1)/2*(2 - -2). Let k be (-1 + b)/((-6)/44). Suppose z = 13 + k. Is z a prime number?
False
Let v be 45/1 - 4/2. Let c = 4 - 1. Suppose -c*q = 4*y - 31, -4*y + v = -3*q - 6. Is y a composite number?
True
Is 2 - (79/(-1) + 2) composite?
False
Let i(q) = -9*q - 1 + 6 - 3. Let w be (14/4)/(2/(-4)). Is i(w) prime?
False
Let k(r) = r**2 + 2*r + 6. Let y be (-1*3)/(-3) + -5. Is k(y) co