
Suppose -4*h - 3*t = -4*t - 22673, 4*h = -4*t + 22688. Is h a composite number?
False
Let a = -1 + -1. Let b(z) = -12*z + 1. Is b(a) prime?
False
Let r = -38 - -89. Suppose 3*s = 0, 4*s - 94 - r = -b. Is b a composite number?
True
Let y be ((-33)/5)/(3/(-15)). Suppose -5*x + 3*x = 5*m + 17, -4*m - 4*x = 16. Is (y/(-9))/(1/m) prime?
True
Let r(y) = 94*y + 6. Let c be r(-4). Let l = 531 + c. Is l a composite number?
True
Let v be (4/3)/(2/9). Let h be 7 + 3/v*2. Suppose -h + 2 = -3*t. Is t prime?
True
Let r = 292 - -769. Is r composite?
False
Let b be 1/2 + (-882)/4. Is 9/6*b/(-6) a prime number?
False
Let j(w) = -35*w - 29. Is j(-12) a prime number?
False
Let s(k) = -k - 6. Let c be s(-6). Let x(a) = 2*a**2 - 4*a + 2. Let w be x(2). Suppose -3*r + c*r + t + 116 = 0, -r + 27 = w*t. Is r prime?
True
Let c(a) = -2*a**3 - 3*a**2 - 3*a + 1. Suppose -2*o - 8 = 4*w, -3*o - 8 + 0 = 5*w. Suppose -2*k = -5*z - 7, -4*z - o*k + 2 = 30. Is c(z) prime?
True
Suppose 2*l + g + 0*g = 129, 4*g - 256 = -4*l. Is l composite?
True
Let t = 1 - -4. Suppose -2*d - 11 = -g + d, t*g + 2*d - 4 = 0. Is -3 + 5 - 0/g a prime number?
True
Suppose 3*i = -i + 764. Is i a prime number?
True
Suppose -115 - 345 = 5*q. Let g = 174 + q. Is g prime?
False
Let f(p) = -5*p - 21. Is f(-19) composite?
True
Suppose -3*f + 17381 = 4*f. Is f a composite number?
True
Let a = 12 + 137. Is a a prime number?
True
Is 2/3*9/2 composite?
False
Let g(y) = -9*y - 76. Let l(p) = 2*p + 15. Let v(u) = -2*g(u) - 11*l(u). Is v(-9) prime?
True
Suppose -5*u + 6*u = 5. Suppose 281 + 1754 = u*y. Is y prime?
False
Let g = 7054 + -3783. Is g a composite number?
False
Suppose -2*w - 2*w + 16 = 4*t, -48 = -4*t + 4*w. Let h(m) = -2*m**2 - 1 + t*m**3 + m**3 + m**2. Is h(2) composite?
False
Let i = 4 + 0. Let q(z) be the second derivative of 5*z**4/12 - z**3/3 - 5*z**2/2 + 4*z. Is q(i) a prime number?
True
Let o(s) = 3 + 6*s + 1 - 5 - s**3 + 2*s**2. Let m be o(5). Is (-1)/2 + m/(-4) composite?
False
Let q = -10 - -8. Let k(u) = u + 4. Let p be k(q). Suppose 5*j - 49 - 12 = 3*x, -p*x = -6. Is j composite?
True
Let x(r) = -58*r + 7. Is x(-10) a prime number?
True
Suppose 4*n - 3*l = 70, -3*l - 44 = -3*n - 5*l. Suppose 5*f + n = -q, -2*q + 2*f = 2*q + 20. Let c = q - -16. Is c composite?
True
Let c = 2564 - 169. Is c composite?
True
Let g = 2425 + -254. Is g prime?
False
Let s = 8 + -8. Suppose -u + 3*u = s. Let x = 6 - u. Is x composite?
True
Suppose 5*w - 217 = -u + 45, 3*w + 511 = 2*u. Is u a prime number?
True
Suppose 4*g + 262 - 1025 = 5*v, 362 = 2*g + 4*v. Is g a composite number?
True
Suppose 5*c - 30975 = -5*b, 3*c + b - 6*b = 18601. Is c a prime number?
True
Let d be (-4)/(-6) + (-44)/12. Let s = -6 - d. Is 23/s*(-7 + 1) a prime number?
False
Is 4/(-6) - (-6325)/33 composite?
False
Suppose 5*d = -3*p - 7, p - 23 = -2*p + d. Let m be -1 + 3 - (-2 - 1). Suppose p = k - m. Is k composite?
False
Let v(g) = -19*g + 8. Let y(k) = -k**2 - 8*k + 5. Let l be y(-10). Is v(l) composite?
False
Suppose 0 = -5*v - 5*l - 195, v + l + 4*l = -31. Suppose -25*m - 64 = -21*m. Let i = m - v. Is i a prime number?
False
Is (-2)/4 - 2366/(-4) composite?
True
Let m(f) = -2*f - 7. Let v be m(7). Let z = v + 13. Let a = z + 127. Is a a prime number?
False
Suppose -1986 = 10*c - 16*c. Is c a prime number?
True
Suppose 5*b - 606 = 3*b. Suppose -782 = -v - b. Is v a composite number?
False
Suppose 31*j - 32*j = -515. Is j a prime number?
False
Let r(g) be the second derivative of -g**3/2 + g**2/2 - 3*g. Let k be r(-1). Suppose -k*f - 62 = -210. Is f a prime number?
True
Let t(r) = 7*r**2 + r - 1. Let s be ((-18)/(-21))/((-1)/(-7)). Suppose m = -k + 8, -2*k + m - 5 = -s. Is t(k) composite?
True
Let h(v) = v**2 - v - 3. Let p be h(3). Suppose -6*u = -p*u - 267. Is u a composite number?
False
Let s(c) = 10*c**2 - 9*c + 4. Is s(-7) composite?
False
Let g be -2 - -1 - (-4 + -1). Suppose -2*a = 5*v - 18, -a + v + g*v - 6 = 0. Suppose 2*b = a*w + 86, -b + w + 22 = 6*w. Is b composite?
False
Let x = 1 + 3. Let z(l) = l**2 - 5*l + 6 + x*l + 5*l. Is z(-4) a prime number?
False
Suppose -4*l - 754 + 3822 = 0. Is l composite?
True
Let h = -319 + 764. Is h a prime number?
False
Suppose -4 - 1 = n. Let a(v) = -v**3 - 6*v**2 - 7. Let x be a(n). Let c = x - -51. Is c composite?
False
Suppose 2*s - 4 = -n + 4*n, 6 = -3*n. Let a be -1 + s + 0 - -21. Suppose v = -g + 12, a = g - 2*v - 2. Is g a prime number?
False
Let q(z) = z**2 + 7*z + 10. Let m be q(-6). Suppose j + 874 = 2*c, 3*c + 2*j - 1309 = m*j. Is c a prime number?
True
Let s be (5 - -1) + -6 + 3. Suppose -2*x - 4*v + 46 = -0, -4*x = -s*v - 136. Is x a composite number?
False
Let j(d) be the first derivative of -d**3/3 - 5*d**2/2 - 2*d + 3. Let y be j(-3). Suppose 3*n + 1441 = 5*w + n, -3*w + 849 = y*n. Is w a prime number?
False
Suppose -7*t - 2439 = -w - 5*t, -t + 2436 = w. Is w prime?
True
Let z(r) = 2*r**3 - r**2 - 2*r + 3. Let p be ((-20)/3)/(8/(-12)). Suppose n = -4*n + p. Is z(n) a composite number?
False
Let o = 4 + -5. Is o - (-78 + (-3 - -3)) a composite number?
True
Is 1946/30 - 6/(-45) prime?
False
Is 1144/9 + 3/(-27) composite?
False
Suppose 0*a - 77 = -a. Let j = a - -36. Is j a composite number?
False
Let b be ((-2)/(-2))/((-2)/(-58)). Suppose 0 = -4*k + d + 43, -2*k - k = -4*d - b. Is k composite?
False
Suppose -5 = -m + 1. Suppose -m*j + 3*j = 5*k - 71, -4*k - 2*j = -56. Suppose 31 = 2*q + 2*g - k, -15 = -5*g. Is q a prime number?
True
Let w(g) = 3*g**2 + 3. Let c be w(3). Suppose -2*f - 10 = 4*h, -3*h + 2*f = -f + c. Let i(d) = 4*d**2 + 7*d + 2. Is i(h) a composite number?
False
Is (-5)/30 - (-3657)/18 prime?
False
Suppose -25 = 4*g - 285. Is g composite?
True
Suppose 0 = 3*r + 2*l - 18, 3*r = r - 3*l + 17. Suppose -r*q = q. Is 68 + -2 + q + 1 prime?
True
Let q = 64 - -26. Suppose 5*m - 40 = q. Is m a composite number?
True
Let x be (1 + (-2)/8)*96. Suppose x = -0*g + 3*g. Suppose v = g - 5. Is v a composite number?
False
Let x = 210 - 97. Is x prime?
True
Let z(b) be the second derivative of 7*b**5/30 - b**4/8 - b**3/2 + 3*b**2/2 - 2*b. Let w(r) be the first derivative of z(r). Is w(-2) a prime number?
True
Suppose -4*a + 42 = x - 3*x, a - 5*x = -3. Suppose v = -2*p + 3*v + a, -5*p + 27 = -2*v. Suppose -3*u = p*t - 817, 6*t + 5*u - 503 = 3*t. Is t a prime number?
False
Suppose 8815 = t + 3*k, t - 5*k = -2870 + 11653. Is t a prime number?
True
Let y = -594 - -987. Is y a prime number?
False
Let q(u) be the second derivative of u**3/6 + 7*u**2/2 + u. Is q(7) composite?
True
Suppose 0 = -2*x + 6*x - 4*k, k = 5*x - 16. Suppose -1228 = -8*i + x*i. Is i a prime number?
True
Is (-410)/(-4)*16/20 a prime number?
False
Let x(f) = -37*f + 2. Is x(-11) a composite number?
False
Let w = 8 + -4. Suppose 4*g - 678 = -5*c - 231, 2*g + w = 0. Let o = c + -42. Is o a composite number?
True
Let w(m) = -19*m**3 + 2*m**2 - 1. Let x be w(-1). Is ((-2)/3)/(x/(-3810)) a composite number?
False
Suppose 2*s + 4*d = 1 + 23, 2*d - 20 = -5*s. Suppose 5*v + l - 3 = 0, s*v = -2*l - l + 9. Suppose v = -i - i + 166. Is i a composite number?
False
Suppose -5*p + 5210 = -0*p - 5*k, 0 = 3*p - 4*k - 3127. Is p composite?
True
Let j(u) = 55*u - 2. Let y = 3 + 0. Is j(y) prime?
True
Let a be (-4)/((-4)/5)*2. Suppose -5*l + 3*q + 4 = 0, q - 3*q = 3*l - a. Suppose 5*v = -l*n + 2*v + 19, -3*v - 14 = -n. Is n prime?
True
Let t = 203 - -102. Is t prime?
False
Suppose 2*g + 16 - 2 = 0. Let u(p) = -6*p + 7. Is u(g) a composite number?
True
Suppose z + g - 3*g = -12, -5*g = 2*z + 42. Suppose 0 = -3*a + 5*a + 18. Let j = a - z. Is j a prime number?
True
Suppose -5*h - 150 = -d - 41, d = -h + 85. Is d a prime number?
True
Suppose -4*w + 12 = -2*g, 4*g - w + 3 = -0*g. Suppose -f - f - 10 = 0, -3*s + 2*f + 169 = g. Is s composite?
False
Is ((-50)/(-6) + 3)*(-915)/(-10) a composite number?
True
Let b be 1*234/4*-2. Let w = -38 - b. Is w a composite number?
False
Suppose -5*g + 5940 = 5*i, -3*g - 10 + 1 = 0. Is i composite?
True
Let d = 1 - -2. Let k(u) = u**3 - 3*u**2 + 3*u - 2. Let c be k(d). Suppose -c*x + 3*x + 60 = 0. Is x prime?
False
Let d be -5 + 2/2*2. Let o = 2 + d. Is 3/(o/1) + 62 a prime number?
True
Let w(v) = -198*v - 29. Is w(-9) a composite number?
False
Is -3 + 1578/(5 + -2) composite?
False
Let f = 891 + -