= i + 72. Is f prime?
True
Let d(c) = -c**3 + 6*c**2 - 2. Let y be d(6). Is (9 + -7)/((-1)/y) a prime number?
False
Let g = -3 - -3. Suppose 2*y - 2*r - 558 = 24, g = -5*y + 2*r + 1461. Is y composite?
False
Let c be (-2)/8 + (-78)/8. Let h(y) = -y**3 - 9*y**2 + 9*y - 3. Is h(c) a prime number?
True
Let o = -20 + 22. Suppose 3*x - 452 = -o*m - 0*m, 0 = 5*m + 5*x - 1125. Is m prime?
True
Let p(b) = 1793*b - 12. Is p(1) a prime number?
False
Suppose -3*u + 2651 = -4*t, -3*u + 4*t + 1762 = -u. Let j = u - 622. Is j a prime number?
False
Let d = 142 + -84. Is d a composite number?
True
Let k = 66 + -37. Let c = k + -16. Is c composite?
False
Let c be (5/4)/(3/2496). Let k = c + -539. Is k prime?
False
Let d(h) = -342*h + 1. Is d(-2) a prime number?
False
Let m be 0*(3 + 20/(-5)). Suppose 5*u - 644 = 206. Suppose -4*q + 5*a = -133, m = -5*q + 7*a - 2*a + u. Is q prime?
True
Let w(m) = -2*m**2 - 2*m + 1. Let l be w(1). Let d(b) = -4*b - 5 - 5*b - 1 + 4. Is d(l) a composite number?
True
Suppose 305 = 2*u - n - 115, -4*u + 3*n = -838. Is u a prime number?
True
Let r = 35 - 23. Suppose -r*j + 8*j = -140. Is j composite?
True
Suppose 2*z - 19 = -2*p - 5, -5*p = -4*z + 10. Let s(m) = -m + 2*m + m + z + 3*m. Is s(6) composite?
True
Let g = -17 - -25. Let j be (-1)/(-4) - (-30)/g. Suppose 3*m - j*m = -37. Is m composite?
False
Let h(i) = 64*i**2 + 16*i - 27. Is h(8) a prime number?
False
Let h(q) be the first derivative of -q**2/2 + 35*q - 1. Is h(0) a prime number?
False
Let k(c) = 2*c**2 - 3*c - 2. Let v be k(3). Let x = 9 - v. Is x a composite number?
False
Suppose 5*j = 13*j - 1688. Is j prime?
True
Is (-150)/(-30)*(1 + 3*362) a prime number?
False
Let i(a) = 9*a**2 - 6*a + 5. Suppose 25 = -4*t + 5. Let s(z) = -10*z**2 + 5*z - 4. Let c(x) = t*i(x) - 6*s(x). Is c(1) a prime number?
False
Let s(d) = d**3 - 2*d**2 - 8*d - 1. Let w be s(6). Suppose -9*q + 4*q + w = 0. Is q a prime number?
True
Let u(y) = -y**3 - y**2 + y + 1. Let f(r) = -167*r**3 - 5*r**2 + 4*r + 5. Let t(g) = -f(g) + 4*u(g). Suppose 0 = -4*o + 3*o + 1. Is t(o) prime?
True
Let i(g) = -g - 1. Let n be i(-5). Let h(s) be the third derivative of 11*s**4/24 + s**3/3 - 11*s**2. Is h(n) a prime number?
False
Suppose -863 = -3*a - 2*v, -2*a - 2*v + 152 + 424 = 0. Is a prime?
False
Suppose 5*h + 3*l = 776, 4*h = -4*l + 967 - 351. Is h a prime number?
True
Suppose -5*l + 1016 = -l. Is l prime?
False
Let j(t) = 4*t**3 - 2*t**2 - t - 4. Let u be j(3). Suppose -4*b - 5*m + 564 + u = 0, -10 = 2*m. Let n = b + -91. Is n a composite number?
True
Let i = -86 - -132. Let t be (0 + 19/3)*21. Let s = t - i. Is s a composite number?
True
Suppose -1272 - 2716 = -4*i. Is i prime?
True
Suppose 2*q = -6, 3*k + q - 24 = 4*q. Suppose -k*d = -2*d - 399. Is d composite?
True
Let h(p) = -p - 1. Let q(d) = -d**3 + 12*d**2 + 7*d + 6. Let g(r) = 3*h(r) + q(r). Is g(12) a prime number?
False
Let b be 7 + -1 + -4 + 3. Let x(i) = 8*i**2 + 3*i + 2. Let j be x(b). Suppose 3*t - 4*t = -3*h + 232, 3*h - j = 4*t. Is h a prime number?
True
Let j be (-13)/(4/(-68) + 0). Suppose j = -3*m + 650. Is m composite?
True
Suppose z = 0, -2*z + 184 = -5*o + 1529. Suppose -4*u = -3*i - 342 - 175, 2*u - o = 5*i. Is u prime?
True
Suppose g - 8 - 1 = 0. Let x(y) = 2*y**2 + 6*y - 9. Let u be x(g). Suppose 4*r + 3 = u. Is r a composite number?
True
Suppose -2*c - 6 = 0, 2*c - 47 = 2*d - 3*d. Is d/2*(-6)/(-3) a composite number?
False
Suppose 5*m = -s + 557, 3*s - 4*m = -m + 1671. Is s a prime number?
True
Let t(l) = l**2 - 4*l - 6. Let f be t(5). Let a be f/5 + (-1192)/(-10). Is (2*a/(-2))/(-1) a composite number?
True
Let q(o) = -2*o - 6. Let g be q(-6). Suppose u + g = -2*u. Is ((-28)/6)/(u/6) a prime number?
False
Let b be (1016/(-6))/(1/(-3)). Suppose 0*z + b = 4*z. Is z composite?
False
Suppose 2*d + 385 = 8343. Is d a composite number?
True
Let x(z) = -3*z**2 - 2*z + 31. Is x(0) composite?
False
Let k(w) be the first derivative of 2*w**3/3 - 3*w**2/2 - 6*w - 23. Let c be (0 + -1 - -1) + -5. Is k(c) a composite number?
False
Suppose -2*a + 5*b - 12 = 2*b, -8 = -4*a - 2*b. Let p(h) = h**3 - h**2 + h + 419. Is p(a) a prime number?
True
Let z = -12 + 17. Let x(g) = -g**3 + 6*g**2 - 4*g - 3. Let w be x(z). Suppose -663 = -5*n + w*k - k, -2*n + 260 = -3*k. Is n a prime number?
False
Let u = 23 + -20. Let k(l) = 19*l**2 - 4. Is k(u) a prime number?
True
Suppose 3*w - 2*u + 5*u = 3774, -1254 = -w - 5*u. Is w a prime number?
True
Let b = 34 + -27. Is b prime?
True
Let z = -12 - -9. Let y = z - -3. Suppose o + 2*b + 2 - 3 = y, b - 25 = -4*o. Is o composite?
False
Let s(g) = -g**3 - 8*g**2 + g + 9. Let x be s(-6). Suppose -4*c - 3 - 3 = 2*p, 4*c + 3 = p. Is 28*(x/12)/p composite?
True
Let d be (-1 + 9)*1 + -3. Let r(s) = -s**3 + 10*s**2 - s + 7. Is r(d) prime?
True
Suppose 2*p + k = p + 1135, 0 = 3*k + 9. Is p a composite number?
True
Let k(v) = -10*v**3 - 3*v**2 - 4. Let r be k(-3). Let a = -136 + r. Is a composite?
False
Let y be 5*(-2)/(30/(-681)). Let d = y - 88. Is d a composite number?
False
Suppose 0*t - 9 = -3*t. Let i be (1 + 3)*(-6)/8. Let p = t - i. Is p composite?
True
Let i(u) = -3*u**3 - 15*u**2 - 29*u + 15. Let g(q) = -q**3 - 5*q**2 - 10*q + 5. Let x(r) = -11*g(r) + 4*i(r). Is x(-6) a composite number?
True
Let o(i) = -5 + 1 + 0 - i. Let a be o(-6). Suppose 5*c - 13 = j, 5*c - 3 = a*j + 3. Is j a composite number?
False
Let r be ((-3 + 3)/(-1))/(-1). Suppose 2*j - 109 - 121 = r. Is j a prime number?
False
Suppose 0 = -39*b + 42*b - 1869. Is b prime?
False
Suppose -298 = -4*g - 2*q, 5*g - q = 524 - 134. Is g a composite number?
True
Let t(z) = 7*z**2 + 2*z + 7. Is t(-6) composite?
True
Suppose 3 = 4*r - 17. Is (-47)/(-4 + 8 - r) composite?
False
Let g = 37 - -2. Suppose 4*w + 2*c = c + 68, 12 = 3*c. Let j = g - w. Is j prime?
True
Let q(k) = -k**3 + 3*k**2 - k + 6. Let z be q(3). Suppose -10 = -2*t - 0. Suppose 2*i - z*v = 2*v + 134, 0 = -t*v. Is i a composite number?
False
Let i(u) = 4*u**2 + 3*u - 3. Let l be i(2). Suppose -4*s = 109 + l. Let d = 5 - s. Is d composite?
False
Is 1*749 - (-27)/(-9) a composite number?
True
Let i = -1 + 1. Suppose i = 4*j - 400 - 348. Is j a prime number?
False
Let a = 4690 - 3137. Is a a composite number?
False
Let x(t) = 2*t + 1. Let u be x(6). Let b be u*-2*3/(-2). Suppose -y = 2*y - b. Is y a composite number?
False
Let x(l) = -l**2 - 2*l + 2 - l + 2*l**2. Let y be x(3). Suppose -q = y*q - 45. Is q a prime number?
False
Let v(p) = p**3 + p**2 - p + 45. Let j be v(0). Suppose 0*w + 5*w = j. Is w a composite number?
True
Let r = 2 - 0. Suppose -j - 4*u = 6, -r*j + 4*u + 2 = -j. Is j/4 + 187/2 a composite number?
True
Let b(x) be the second derivative of 1/2*x**2 - 21/2*x**3 + 0 + 2*x. Is b(-2) a prime number?
True
Suppose 0*o - 7 = k + o, 2*k + 14 = 5*o. Is (-413)/k - (-1 - -1) a composite number?
False
Suppose -4*p - 16 = -0. Let f be 24/9 + p/6. Is (-2)/4 + 79/f a prime number?
False
Suppose 0*a = -4*a + 3*h - 220, -2*a - h - 100 = 0. Let b = a - -123. Is b composite?
False
Let a = -4 + -20. Let y = -15 - a. Let h = y + 140. Is h a composite number?
False
Let b(i) = 0*i**2 - 21*i**2 - i + 9*i**3 - 3 - 2. Let a(x) = -5*x**3 + 11*x**2 + 3. Let z(h) = 11*a(h) + 6*b(h). Is z(-5) a prime number?
False
Let a(s) = -211*s + 4. Let t be a(-3). Suppose 2*r = 5*o - t, -2*o - 4*r + 51 + 199 = 0. Is o a prime number?
True
Is 1/(5/1496) - (-2)/(-10) composite?
True
Let m be (-7314)/(-21) - (-4)/(-14). Suppose b + 2*b = -m. Let x = b + 187. Is x composite?
False
Let c(f) = 52*f - 1. Suppose -z + 5*v = 6, -3 = -2*z + v + 4*v. Is c(z) composite?
False
Let j be (-3)/(-4) - 1/(-4). Let b(h) = -3*h + 1. Let p be b(11). Is (-2)/(-1) - p - j a prime number?
False
Suppose 3*b = 7*b - 4. Let z(j) be the second derivative of 53*j**4/12 - j**3/6 + j**2/2 - 30*j. Is z(b) prime?
True
Suppose 0 = -3*r - 0 + 3. Let n = 36 + r. Is n composite?
False
Let x be 16 - (-3 + 3)/(-1). Suppose -h - x = -95. Is h a composite number?
False
Let a(l) = -36*l**2 + 6*l - 1. Let j(r) = -r**2 - r. Let g(w) = -a(w) - 5*j(w). Is g(-3) prime?
True
Suppose 3*s + 8 = -2*o, 3 - 9 = -5*o - s. Suppose 0 = -2*f + 12. Suppose -34 = -o*k - f. Is k a composite number?
True
Let b be 2/9 + (-47)/9. Let p be (-1 - -2) + (b - -2). Is 39*(p/(-2))/1 prime?
Fa