-3*z. Let u = -3 - y. Is u*21/12*8 composite?
True
Let n(g) = g**2 - 5*g - 4. Let f be n(6). Suppose -5*u = -f*u. Let o(m) = m**2 + 39. Is o(u) prime?
False
Suppose -2246 = 3*u - 5*u. Is u composite?
False
Is (-2)/(-9) - 6026/(-18) prime?
False
Let f(a) = a - 7. Let l be f(-5). Is 130 + (l/(-2))/(-2) composite?
False
Suppose 2*z = 3*z. Suppose z*o - 2*o = -8. Is -4 - -217 - o/2 a composite number?
False
Let v = -9 + 9. Suppose v = 3*o - 3*l - 1692, -o = -0*o + 5*l - 558. Is o a composite number?
False
Let x be 10/12 - (-3)/18. Is 31 + 0/(-3)*x composite?
False
Let m = 14 - 8. Let f(r) = r**2 - 7*r + 8. Let i be f(m). Suppose 0 = -d + i + 4. Is d a prime number?
False
Suppose 3*d - 2392 = 1025. Is d prime?
False
Suppose 0 = 4*j - 4 - 0. Suppose 0*d + 2*v + 11 = d, d + 2*v + j = 0. Suppose 0 = -4*r, 0*r - 75 = -d*p + 3*r. Is p composite?
True
Is (4/(-6))/((-4)/1074) a prime number?
True
Let n(x) be the third derivative of -x**4/6 + x**3/6 - x**2. Let y be n(4). Is y/6*(-516)/10 a composite number?
True
Let u = -596 - -1393. Is u a prime number?
True
Let v(c) be the first derivative of -29/2*c**2 - 2 - 3*c. Is v(-2) a composite number?
True
Let d(w) = 24*w - 5. Is d(9) a prime number?
True
Let p be -2 + 9 + (-1 - -1). Let n(u) = u**2 + 5*u + 1. Let r be n(p). Suppose 0 = 2*b - 21 - r. Is b a composite number?
False
Let n(z) = 73*z**3 - z**2 + z. Let k(d) = -72*d**3 + d**2 - d. Let i(t) = 4*k(t) + 5*n(t). Is i(1) a composite number?
True
Let g = 85 + 32. Let p(h) = h**2 - 6*h + 3. Let t be p(6). Suppose -t*c + 84 = -g. Is c a prime number?
True
Suppose 6*t - 3*t - 10898 = -4*h, 3*t = 5*h - 13609. Is h prime?
False
Let r(j) = -j**3 - 11*j**2 - 5*j + 5. Let n be r(-12). Suppose -5*c + 21 = -n. Is c a prime number?
False
Let n(i) be the third derivative of 91*i**4/24 + i**3/6 + 2*i**2. Let m be n(1). Suppose 0 = -5*j + j + m. Is j a composite number?
False
Let s(f) = 7*f - 17. Is s(10) a composite number?
False
Suppose -2*l + 922 = 2*u + 196, -l + u + 355 = 0. Is l a prime number?
True
Let w(a) = 14*a + 9. Let i be w(-9). Suppose 0*x = -5*x + 930. Let y = i + x. Is y a composite number?
True
Let g be (48/(-20))/(2/(-65)). Suppose -274 = -u - g. Suppose 66 = -r + 2*r + x, 3*r = -x + u. Is r prime?
False
Let j be ((-8)/12)/((-6)/(-27)). Is (-31)/j*(-2 - -5) a composite number?
False
Suppose -8*h + 31 = -25. Is h a composite number?
False
Let y(q) = 35*q + 16. Let z be y(-9). Is 5 + -2 + -1 - z composite?
True
Suppose -5*q + 79 = -106. Is q a composite number?
False
Suppose 5*o - 25 = 0, -7*u = -5*u + 3*o - 2293. Is u composite?
True
Let o be (-3)/(-6)*(1 - 1). Let s = o + 2. Suppose -s*k = -7*k + 385. Is k composite?
True
Let m(j) be the second derivative of j**4/12 - 4*j**3/3 - 7*j**2/2 - 3*j. Let v be m(9). Is v/(-6) + 100/3 a prime number?
False
Let o be (108/(-30))/(2/30). Let a be (42/(-9))/((-2)/39). Let h = a + o. Is h a composite number?
False
Is (((-66)/18)/11)/(2/(-29490)) composite?
True
Let n be (4/6)/((-1)/309). Let l be (4/1)/((-4)/n). Is l/10 - (-2)/5 a prime number?
False
Is (247/76)/((-2)/(-136)) a composite number?
True
Let g(a) be the second derivative of a**5/30 + a**4/8 - a**2 + 3*a. Let z(n) be the first derivative of g(n). Is z(5) composite?
True
Let d(y) = y**3 + 3*y**2 + 6*y - 7. Let k be d(-5). Let i = -50 - k. Is i a composite number?
False
Suppose -z - 116 = -3*z. Is z a prime number?
False
Let h(j) = -77*j - 20. Is h(-3) a composite number?
False
Suppose -262 = -2*u - i, 2*i = -u - 0*i + 125. Is u prime?
False
Let k = 7 + -4. Suppose 0 = k*n - 2*n - 13. Is n a prime number?
True
Let p = -608 - -1129. Is p composite?
False
Suppose r + 4*w + 21 = 3, 3*w + 14 = -r. Let f be r + 2 + 1 + -1. Suppose -5*g - 4*b + 95 = 0, f*g + 65 = 4*g + b. Is g prime?
False
Suppose -s - 3*k + 32 = 2*k, 5*k = 25. Let j be 14 + s - (-1)/(-1). Is 744/j + (-2)/10 a composite number?
False
Suppose 4*w = 2172 + 2864. Is w prime?
True
Suppose 0*f - 2*f + 7586 = 0. Is f a composite number?
False
Let v(n) be the third derivative of -145*n**4/12 + n**3/6 + 5*n**2. Is v(-1) composite?
True
Is (45/(-6))/(-5)*(-25858)/(-21) composite?
False
Let s = -2123 - -3636. Is s composite?
True
Let r = -44 + 253. Let y = r + -137. Suppose -y = -4*u + 20. Is u composite?
False
Let p(o) = -o**3 - 3*o**2 + 5*o + 2. Let n be p(-4). Let v be n/10 - (-6692)/35. Suppose 2*x - 106 = -5*d, d = -4*x + 21 + v. Is x composite?
False
Suppose 2*m - 4*m - 1038 = -4*z, z - 4*m = 277. Suppose 2*q = -q - 4*v + z, -v = q - 87. Is q composite?
True
Suppose g + 3*w - 43 = w, 4*w = -8. Is g a prime number?
True
Suppose 3*i = -0*i + 771. Is i composite?
False
Is 1*(1 - -398*2) a prime number?
True
Let i = 2 + 0. Let m be 99/21 - i/(-7). Suppose 4*o - 44 = -w, 3*w + 30 = m*o - 2*w. Is o a prime number?
False
Is 1 - (-309 + -4 - 3) a composite number?
False
Let z be (-2)/(-2)*5/1. Suppose -z*o - 2*g = -19, 0 = 4*o + g - 14. Suppose -5 = -5*j, -5*b - 2*j + o*j = -104. Is b composite?
True
Suppose -4*l = -5*l + 2513. Is l prime?
False
Suppose 20*d + 116 = 22*d. Is d prime?
False
Let f(a) = -a**2 - 7*a - 3. Let c be f(-7). Is 5/(20/128) - c a composite number?
True
Suppose 3*b - 4*v - 263 = 2*b, 4*v + 1331 = 5*b. Is b a composite number?
True
Let c be (-4)/2*(-3)/2. Suppose 0 = 4*t - c*t - 211. Is t a prime number?
True
Let z(g) = -24*g + 10. Let m be z(-8). Let p = m + -126. Let f = p + 3. Is f prime?
True
Let q = -11 - -11. Suppose q = -3*h + h + 44. Is h prime?
False
Let b be (-11 - -7)*1/(-1). Suppose 5*w - b*c = 297, 3*w + 0*c - c - 174 = 0. Is w a prime number?
False
Let n(v) = 4*v - 1. Let z = 36 - 24. Suppose -z + 30 = 3*d. Is n(d) a prime number?
True
Suppose 1 = -5*z + 6. Let x = 296 - z. Is x a prime number?
False
Let w = 49 - -17. Suppose -19 = 2*f + 5. Is f/20 - w/(-10) prime?
False
Suppose -3871 = -11*v + 4*v. Is v prime?
False
Suppose -q = q - 1228. Is q prime?
False
Let i(q) = -q**2 + 12*q - 12. Let w be i(10). Let l(a) = 27*a + 7. Is l(w) a prime number?
True
Let z = -2 - -5. Suppose 4*l + 1 = 5*o - 3, -z*l = 3*o - 24. Suppose g + 924 = o*x - 3*g, -478 = -2*x - 2*g. Is x a prime number?
False
Suppose -5*i - 261 + 21 = 0. Let t = i - -85. Is t a prime number?
True
Suppose -3*b = 2*a - 313, 3*a - 6*a + 432 = -3*b. Is a composite?
False
Let q(g) = -g**3 - 2*g**2 - 3*g - 3. Let o be q(-3). Suppose 0 = -3*b + c + 74, -b - 3*b - 3*c = -103. Let t = b - o. Is t a prime number?
False
Let p(q) = 104*q - 38. Let j(a) = -52*a + 19. Let y(u) = 5*j(u) + 3*p(u). Is y(8) composite?
False
Suppose 2*m - 2584 + 630 = 0. Is m a prime number?
True
Suppose 0 = -2*o - 2*o. Suppose o = s - 4 - 1. Suppose -s*w + 155 = 4*r, -2*w + 3*r - 26 = -88. Is w a prime number?
True
Let f = -58 - -29. Let z(x) = 2*x + 1. Let g be z(1). Is f/(-3) + (-2)/g a prime number?
False
Let q = -7 + 17. Let j(n) = n**2 - 7*n - 11. Is j(q) prime?
True
Let p(k) = 9*k**2 - 3*k + 13. Is p(-8) a composite number?
False
Let l = -29 + -15. Let s be 1/3 - l/(-6). Let c(x) = -2*x + 5. Is c(s) a prime number?
True
Suppose -5*z + 2*f = -0*f - 8, -3*f + 3 = 0. Suppose -144 = -z*j + 14. Is j composite?
False
Is (6505/2)/5 + (-42)/28 a prime number?
False
Let o(v) = 4 + 3*v**2 + 14*v**2 - 7*v - 15*v**2. Let i = 13 + -6. Is o(i) a composite number?
False
Let k = 11 + -13. Is (-2)/(3/1293*k) a composite number?
False
Suppose -758 = -45*n + 43*n. Is n a composite number?
False
Let v(i) be the third derivative of -7*i**4/12 - i**3/2 - 3*i**2. Is v(-3) a prime number?
False
Is ((-2)/(4/(-466)))/(2 + -1) a composite number?
False
Let k(b) = -8*b + 9. Let u be k(-8). Suppose -20 = w - u. Is w composite?
False
Suppose -2*r + x = 4 - 1, -x + 3 = 4*r. Suppose j + 3*y = r, -2*j + 6 = j + 3*y. Suppose -i + 596 = j*i. Is i a composite number?
False
Let p(h) be the first derivative of 3*h**2 - 5*h + 1. Is p(5) composite?
True
Let d = -2 + 0. Let m(j) = -3*j**2 + j + 2*j**2 - 1 - 5*j. Is m(d) composite?
False
Suppose -2*a = 2*a - 16. Is 900/a - (4 + -2) prime?
True
Let i be 0/(-1 - (-2 - 0)). Suppose 0 = -j - 4, 2*h - h - 4*j - 20 = i. Suppose 74 = 2*x + h. Is x prime?
False
Suppose 5*v - 6 = 2*v. Suppose -2*f + 3*f - 3*b = 5, -b = -v*f + 5. Suppose -f*w = 3*p - 6, -4*w + 0*p - 3*p = -12. Is w composite?
False
Suppose -v - 3*v + 16 = 0. Let f be 6/v