- 2 = -h*f. Let p(s) = 12*s**2 + s. Is p(f) a composite number?
False
Let n = 55 + 86. Is n prime?
False
Let q(m) = 9*m**2 + 3*m + 1. Is q(-8) prime?
False
Let t be ((-6)/(-4))/(2/(-4)). Is (-375)/10*2/t composite?
True
Let o(t) = -970*t - 5. Is o(-1) a prime number?
False
Let i(x) = 3*x**3 + 2*x**2 - 2*x + 1. Let a be i(1). Suppose 8*l + 8 = 5*l - 2*v, 3*l + 4*v = -16. Suppose m - a*m + 6 = l. Is m a composite number?
False
Let u(b) = 3*b**2 + 5*b + 2. Let r be u(-3). Suppose -2*f - 4 + r = 0. Suppose 0 = o + z - 70, -4*o + 98 = f*z - 178. Is o composite?
True
Let p = -35 + 204. Is p composite?
True
Let y(l) = l**3 - 7*l**2 - 7*l - 7. Let n be y(8). Is n - -318 - (2 - 2) composite?
True
Let r(p) = -p + 77. Is r(0) a prime number?
False
Suppose -4*u + 1179 + 1251 = -i, 0 = 2*u - 4*i - 1208. Suppose 0 = 5*h - u - 107. Is h a composite number?
True
Let z(m) = 4 - m + 0 + 2. Let i be z(8). Is (474 - 3)*i/(-6) a composite number?
False
Suppose 0 = -4*c + 2*p + 297 + 135, -5*p + 86 = c. Is c a prime number?
False
Let s(r) = 4 + 0 - 4*r + r**2 - 5. Let a be s(5). Let z(l) = 6*l + 2. Is z(a) a prime number?
False
Let m(t) = 2*t**2 - 1. Let a(i) = i**3 - 5*i**2 + 4. Suppose -40 + 15 = -5*n. Let y be a(n). Is m(y) a composite number?
False
Let u(y) = -2*y**3 - 7*y**2 - 3*y - 49. Is u(-6) prime?
True
Let o(h) = 573*h + 5. Is o(2) a composite number?
False
Suppose -2*k - 8 = -6*k. Suppose k*n - 202 = -3*x - 19, -233 = -4*x + n. Is x composite?
False
Let s = -6 + 8. Suppose -2*q = s*q - 124. Is q prime?
True
Let z = 392 - 209. Is z composite?
True
Let d(l) = -6*l**2 + 5*l - 5. Let r(k) = 2*k**2 - 2*k + 2. Let t(c) = -3*d(c) - 8*r(c). Let i be t(1). Is i/(6/(-3)) - -70 a prime number?
False
Let d(c) = c**3 + 4*c**2 - 6*c - 2. Suppose 2*u = -0*u - 10. Is d(u) a prime number?
True
Let z = 315 + 1838. Is z a prime number?
True
Let o(h) = -39*h**3 + 2*h**2 + h + 5. Is o(-3) composite?
True
Let v(f) = 10*f**2 + f - 4. Let q be v(4). Suppose -3*l = 4*r - q + 44, 0 = -4*r - 2*l + 116. Let i = r - 7. Is i a prime number?
False
Let r be ((-1)/3)/((-1)/9). Suppose -r*k = -0*k - 57. Suppose -c + 54 = k. Is c prime?
False
Let k be (-260)/36 - 4/(-18). Let l(i) = i**3 + 7*i**2 - 9*i - 10. Let v be l(k). Suppose 3*g - v = 2*g. Is g a prime number?
True
Let l(t) = -17*t**3 - 2*t**2 + 2*t - 4. Is l(-3) prime?
True
Suppose -2*q = -2*o + 20 + 22, -27 = -o - q. Is o/6*(-419)/(-4) a composite number?
False
Suppose 3*n - 148 = -n. Is n composite?
False
Let n = 82 + -47. Suppose -2*v - n = -3*v. Is v a prime number?
False
Let f(j) = j. Let g be f(-4). Is g/26 - 9093/(-39) composite?
False
Let f be -1*(57 + 1) + -1. Let m = -223 - -77. Let x = f - m. Is x prime?
False
Let c(b) = -b + 1. Let s(x) = 79*x**2 - 5*x + 3. Let v(m) = -4*c(m) + s(m). Is v(-1) a prime number?
True
Is 140202/81 - (-2)/18 prime?
False
Suppose -4*f - g = 3*g - 20, 2*g = 5*f - 18. Suppose -f*y = 7 - 15. Suppose h + 7 = y*h. Is h a composite number?
False
Let c(g) = 13*g + 19. Is c(8) a prime number?
False
Let d(z) = z**2 + z. Let s be d(-3). Is ((-15)/s)/5*-418 a composite number?
True
Let i(a) = -26*a**3 + 6*a**2 + 11*a + 10. Is i(-4) prime?
False
Let p be 3356/(-16) + (-3)/(-4). Let u = 2 - p. Is u prime?
True
Let v(q) = 44*q + 2. Let s be v(6). Suppose k - s = -k. Is k prime?
False
Suppose 0 = -4*a + 48 + 800. Let b = a + 255. Is b composite?
False
Let h(r) be the second derivative of r**3/3 + r**2/2 + r. Let i be h(1). Suppose 5*u - 30 = i*u. Is u a composite number?
True
Let f(w) = -w**3 + 5*w**2 + 7. Let p(o) = o**3 - o**2 + 7. Let c be p(0). Let k = c - 2. Is f(k) a prime number?
True
Let b = -187 + 326. Suppose -l + 67 = -2*o, 2*l + 2*o - 5*o - b = 0. Is l composite?
True
Let f = 3 - 2. Let w be (-2 - -21)*f*7. Suppose 2*s = -4*o + 54, w = 3*s + s + 3*o. Is s composite?
False
Suppose 5*s + 462 = 2*h + 34, h = -3*s + 203. Is h composite?
True
Suppose 9*o - 2037 - 600 = 0. Is o prime?
True
Suppose -s - 1 - 3 = 0. Let d(t) = -5*t + 3. Is d(s) prime?
True
Let k = 224 - 97. Is k composite?
False
Suppose -3*o - 9 = 5*l, -2*l - 2*l = -4*o - 12. Suppose l = v - 25 - 12. Is v prime?
True
Let s = 10 + -5. Suppose -3*c - 14 = 2*r + c, s*r = 4*c + 7. Is ((-11)/r - 1) + 0 prime?
False
Let l be (-8)/20 - 407/(-5). Let m = -26 + l. Is m a composite number?
True
Let w be (-4)/10 + (-4)/(-10). Suppose -10 = -5*x, -2*v - 5*x + 0*x + 84 = w. Is v prime?
True
Let n = -8 - -13. Suppose -7 - 8 = -n*k. Let h(y) = 30*y + 1. Is h(k) prime?
False
Suppose 30 - 7 = 3*d - 4*h, -2*d = -2*h - 14. Suppose -4242 = -k - d*k. Is k composite?
True
Let t = 7 + -4. Suppose 5*b = -7 - t, -5*c + 3*b + 26 = 0. Is 86/c - 2/(-4) prime?
False
Suppose 3*p = 5*p - 1446. Suppose -5*b + p + 632 = 0. Is b a prime number?
True
Let i(k) = -k**3 - 10*k**2 - 8*k + 12. Let r be i(-9). Is (-254)/r*6/(-4) a prime number?
True
Let g = 1 + 9. Let c = 19 - g. Is c a composite number?
True
Let a be (-1)/(-4) - (-102)/8. Suppose -w - 3*p + a = -1, -w - 6 = -2*p. Is 47*-1*(-3 + w) composite?
False
Suppose -3*z + h + 0*h + 4 = 0, 5*z - 3*h = 12. Let d be 1/(z - 1/(-44)). Let k = d - -9. Is k prime?
True
Let n(c) = -10*c - 14. Suppose 10*p = 6*p - 24. Is n(p) prime?
False
Let o = 21 + -12. Suppose -o*q + 140 = -5*q. Is q a prime number?
False
Let p(d) = -1474*d + 9. Is p(-2) a composite number?
False
Suppose u = -4*u - 15, 3*l + 900 = 2*u. Let t = l + 481. Is t composite?
False
Let q(k) = 15*k + 29. Is q(12) prime?
False
Suppose u + 543 = 4*u. Is u a prime number?
True
Suppose 4*u - 13 = 5*l, -5*u + 26 = 3*l - 6*l. Suppose 5*m = u*m - 422. Is m a composite number?
False
Is 994 + ((-36)/3)/(-4) a composite number?
False
Let r(o) = 6*o**2 + o + 6. Let g = -2 - 5. Is r(g) a composite number?
False
Let u be 4/2 + 0/(-2). Let k(a) = 23*a + 1. Is k(u) a prime number?
True
Suppose 2*s + 649 = -z, -4*s + 4*z - 8*z = 1300. Let h = s + 631. Is h prime?
True
Suppose 5*m + 55 = 1110. Is m composite?
False
Let d be (-4)/(-12) + (-44)/(-3). Let x = -8 + d. Is x a prime number?
True
Let x(n) = 10*n - 3. Suppose -o = -4*s + 25, s = 2*o + 3*o - 8. Is x(s) a prime number?
True
Let a(k) = -177*k - 1. Let n be a(2). Let m = 233 - n. Is m/16 + (-1)/(-4) prime?
True
Suppose l - 4*l = 90. Let y be (44/6)/(4/l). Is ((-2)/1)/(2/y) a composite number?
True
Let g(c) = -960*c**3 + 3*c + 2. Is g(-1) composite?
True
Suppose 0 = q - 2*q + 233. Is q a prime number?
True
Let k(f) = f**3 + 7*f**2 - 2*f - 5. Let y be k(-5). Is 4/(6/3) + y composite?
True
Let a = -227 - -640. Is a composite?
True
Let g(o) = -o**3 - 5*o**2 + 3*o + 2. Let y be g(4). Let u = y - -305. Suppose -v - 4*v = -u. Is v composite?
True
Suppose -4*t + 6641 = 3*z, 4*z - 5*z + 8315 = 5*t. Let f be (-2)/9 - t/(-36). Suppose -a = -3*r + f, 2*r - 5*a - 6 = 42. Is r prime?
False
Let w(f) = -23 + 19*f + 9 - 4*f - f**2. Is w(12) composite?
True
Let u be 18/(-10) - (-2)/(-10). Let d = u + 4. Suppose 369 = r + d*r. Is r composite?
True
Let y(r) = -70*r - 2. Let d be y(-7). Let n = d + -279. Is n composite?
True
Suppose 5*j + 0*j + 10 = 0. Let r be (-4)/(-3)*(-3)/j. Is r/(-9) + (-1282)/(-18) a prime number?
True
Let j be 6/(-4)*(-16)/12. Suppose 1794 = 4*k + 5*q - 2*q, j*k + 3*q - 900 = 0. Is k/5 + (-8)/20 prime?
True
Suppose 0 = -4*g - 5*f + 437, 3*g + f - 2*f = 323. Suppose -y = 2*y - g. Let t = y - 26. Is t a composite number?
True
Suppose 5*m - 3 + 2 = 2*y, -3*y - 8 = -m. Is (-3)/(m*4/188) composite?
True
Let k(o) = 111*o - 19. Is k(12) a prime number?
False
Suppose 2*x - 3*f + 44 = 0, 0 = -2*x + 6*x - 4*f + 92. Let o = x + 62. Is o a prime number?
True
Suppose 0 = -16*z + 13*z + 843. Let j = -192 + z. Is j prime?
True
Let r(b) = -b + 30. Suppose 3*c - 2*o = 2, 5 = -2*c - 2*c - 5*o. Let h be r(c). Suppose v - h = -4*v. Is v composite?
True
Let w(f) = -f**3 - 9*f**2 + f + 11. Let v be w(-9). Is (-450)/(-12) + (-1)/v a prime number?
True
Let k be -2 + (5 + -1 - 2). Suppose k = 2*l - 70 - 120. Suppose 5*z - g = 170, 3*z + 0*z - l = 2*g. Is z prime?
False
Suppose -2*o + 4*w - 4 = 0, -2*o + 5*o + 1 = 5*w. Suppose -3*h + 3*z + 10 = -o, h - 5*z - 18 = 0. Suppose 0 = h*q - 413 - 358. Is q prime?
True
Let b(s) = 32*s**2 + s - 25. Is b(4) prime?
True
Suppose -4*c - 341 = -5*i, 3*i - 134 = i + 4*c. Is i a composite number?
True
Suppose -4*