o = -4*h + 300, -2*o = -5*h + 164 + 208. Suppose 3*k = k + h. Is k a prime number?
True
Suppose 0 = 3*g + 3*h - 15, -h = g + 4*g - 41. Let u(k) = k**3 - 7*k**2 - 7*k - 8. Is u(g) a prime number?
False
Let g = -3 - -12. Suppose 4*q - 244 = -3*c + 5*q, 3*q - 416 = -5*c. Suppose c = b - g. Is b a prime number?
False
Suppose 2*x - 95 = 111. Is x composite?
False
Is (-398)/(-6) + 0 - 32/(-48) composite?
False
Let j(a) be the first derivative of a**5/40 + a**4/6 - a**3/3 + 2. Let r(z) be the third derivative of j(z). Is r(5) composite?
False
Let t(z) = -z**2 + 4*z - 3. Let u be t(3). Suppose -130 = -3*y + 4*w - 2, -4*w = 8. Suppose 3*c - 241 + y = -3*m, u = -m + 2. Is c a composite number?
True
Suppose -5*o + 9 = -1096. Is o a composite number?
True
Let t = -4 - -4. Suppose -5*v + 12 = -10*v + 3*j, -j + 4 = t. Suppose v*z = z - 33. Is z prime?
False
Is -3*(-5)/((-30)/(-6598)) composite?
False
Suppose -35 = -3*z + 151. Is z a composite number?
True
Let q = 612 + 79. Is q prime?
True
Suppose -12*k = -8*k - 57764. Is k prime?
False
Let p = -22 + -28. Let r = -28 - p. Suppose 0 = -k + 1 + r. Is k a composite number?
False
Let w = -1296 - -1996. Let i = w - 327. Is i a composite number?
False
Let o = 1 + 1. Suppose -2*t = p - 13, -3*p = 2*p - 5*t - 140. Suppose p = o*h + 3*b, -5*b - 15 = -h - 3*b. Is h a composite number?
False
Let s(f) = f + 2. Let h be s(-2). Suppose 3*r - r - 112 = h. Let w = r - 30. Is w a composite number?
True
Let z = -500 - -817. Is z a composite number?
False
Let s be (5/(-5))/((-2)/(-172)). Let k = s - -151. Is k prime?
False
Suppose -5*v + 9 = -2*r, 3*v - 13 = 2*r - 6. Let z be 105/14*r/3. Is 15/(-2)*6/z a composite number?
True
Suppose 3*a = 2*g + 72, -3*g - 8 = 1. Let k = a + -16. Is k prime?
False
Let a be -2*1*5/(-2). Suppose 2*m + a*i = 111, -4*i + 156 = -3*m + 6*m. Let c = m - 22. Is c a composite number?
True
Is (-1 - (-45)/(-2))*-22 composite?
True
Suppose 2*m + 8 = 0, 0 = -4*v - 2*m + 38 + 6. Is v composite?
False
Suppose w + 71 = 2*t, 5*t = -3*w + 181 - 31. Is t prime?
False
Let l be 369/15 - 2/(-5). Suppose 3*i - 4*r - l = 0, 4*i + 2*r - 16 = 3*r. Suppose 3*z = -3*w + 96, 2*w - 8*z = -i*z + 85. Is w a composite number?
True
Let q = 178 + -98. Let k = q - -105. Is k a composite number?
True
Suppose -13 = 2*s - 27. Let n = 16 + s. Is n a prime number?
True
Is (-57440)/(-30) - (-2)/6 composite?
True
Let b(z) = z**2 + 8*z + 11. Suppose -x + 2*x + 57 = 4*m, 3*m - x - 44 = 0. Let p = m - 21. Is b(p) a composite number?
False
Let k be (-3)/9 - (-20)/6. Let h(y) = y**2 - 3*y + 2. Let w be h(k). Suppose 0 = 2*i + 2*d - 110, -2*d - w*d - 275 = -5*i. Is i composite?
True
Suppose -2*y - 9 = 3*t - 256, 2*y - 244 = -2*t. Suppose -l + d = -143, 2*d - y = -l - 3*d. Is l composite?
False
Suppose 3*b - 5*r - 753 = 0, -r + 753 = 3*b - 3*r. Is b a composite number?
False
Let m(b) be the first derivative of b**3 - 13*b**2/2 + 11*b + 1. Is m(-11) composite?
True
Let z be 1/((-1 - 0)/2). Let b be z + 0 - -1*2. Suppose b = 4*j - 6*j + 158. Is j a prime number?
True
Let c(z) = z + 3. Let s be c(-5). Let o(m) be the first derivative of 32*m**3/3 - m**2/2 + m + 3. Is o(s) prime?
True
Let k(g) = g**2 + 5*g - 2. Let j be k(-6). Suppose -j*c - 5*f + 45 = -0*f, 2*c = 3*f - 5. Suppose 134 = -3*i + c*i. Is i a composite number?
False
Suppose 18 = b - 2*b. Let f = b + 51. Is f a prime number?
False
Let i = -9 + 16. Let q(c) = 4*c**2 - 5. Is q(i) prime?
True
Suppose -5*m - 3*a + 1698 = -2699, 0 = 5*m - 3*a - 4373. Is m a prime number?
True
Suppose 2*t + 3*a = 929, -3*a - 2109 = -5*t + 245. Is t a composite number?
True
Let m(g) = 3*g**3 + 5*g**2 - 9*g + 9. Let c be m(7). Let h be (3/(-4))/((-5)/c). Let n = h + -56. Is n prime?
True
Suppose -3*n - n = -12. Suppose -n*a + 8 = a - 4*s, s = 5*a - 14. Let t(u) = 30*u - 4. Is t(a) a composite number?
True
Suppose -1248 - 1489 = -7*f. Is f a prime number?
False
Let d(a) = a + 12. Is d(9) prime?
False
Let d(j) = -10*j + 5 + 3 - j**2 + 0 - 2*j**2 + 11*j**3. Let w(h) = -h**3 + h**2 + h - 1. Let s(u) = d(u) + 6*w(u). Is s(2) composite?
True
Let b = -12 + 19. Suppose 0 = -s + 5*k - b, 2*k - 1 + 0 = s. Suppose s*z - 171 = 96. Is z a prime number?
True
Let t = 706 - 447. Is t composite?
True
Let p = 162 - 56. Is p composite?
True
Let y(z) = z - 5. Let w be y(7). Suppose w*b - 37 = 33. Let o = b + 12. Is o a composite number?
False
Suppose -5*c + 227 = -k - 121, 0 = -3*c - 5*k + 192. Is c composite?
True
Suppose -2*y + r + 259 = 3*y, -y - 3*r + 39 = 0. Let a = y + -14. Is a prime?
True
Let u(w) = w**2 + 2*w + 3. Is u(-2) composite?
False
Suppose -d = -3*p + 291, 0 = 2*d - 0*p + 3*p + 627. Let i = -217 - d. Is i a composite number?
False
Suppose 0 = -5*i + f + 47, 0 = -2*i + 4*f + 12 - 4. Let j(x) = 8*x + 17. Is j(i) prime?
True
Let h(c) = c**3 - c - 2. Let a be h(2). Suppose -r + 4*r - 2021 = -a*m, 5*m - 2570 = 5*r. Is m prime?
True
Suppose -5*x - 3*o = -174, -3*x - 2*o = -3*o - 96. Is x a prime number?
False
Is (-1706 - 3)/(1 - 2) a prime number?
True
Let o(t) = 178*t - 1. Is o(1) composite?
True
Let d be -1 + 11 + 2 + 2. Let a = d - -11. Suppose z + 2*z = -i - 5, a = 3*i - z. Is i a composite number?
False
Let k be (-2)/(-6) - (-24)/9. Is (-1)/(-3) + 164/k prime?
False
Let l be 0/1 + 65/5. Suppose -5*k + 13 = f, -3*f - 5*k = -6 - l. Suppose 0 = y - 2*x - 17, -f*y + 5 + 56 = -x. Is y prime?
False
Let b(s) = -12*s**3. Let j be b(1). Let l be j/(-15)*170/(-4). Is -2*(l/4 + 1) a composite number?
True
Suppose 5*h + 4*j - 1275 = 0, 607 - 1882 = -5*h + 4*j. Suppose 3*g = -2*g + h. Is g prime?
False
Let s(q) = 16*q**3 + q**2 + 4*q + 5. Is s(4) a prime number?
True
Let j(m) = -m**2 - 16*m - 11. Let a be j(-11). Suppose 0 = 2*i + 2 - a. Is i a prime number?
False
Let v(k) = 19*k**2 + 29*k - 1. Is v(13) prime?
False
Suppose -4*o + o = -585. Suppose p = -2*p + o. Is p prime?
False
Let h = 58 + -27. Let g be (-2)/(h/11 - 3). Let w(y) = 7*y + 12. Is w(g) a prime number?
True
Let z be 1/1*1 - -1. Suppose 4*u = -5*p + 19, u + 1 + 4 = z*p. Suppose -p*y + 174 + 36 = -4*h, 2*h = -3*y + 228. Is y a prime number?
False
Suppose 0 = -2*f + 35 + 511. Let s = f + -158. Is s a composite number?
True
Suppose -3*g = 2*y - 162, -2*g + 5*g - 312 = -4*y. Let i be 210/(-4) + 1/(-2). Let v = y + i. Is v a composite number?
True
Let p(f) = -30*f. Let n be p(1). Let t = n + 45. Is t composite?
True
Suppose -r + 5*r - 1788 = 0. Let s = r + -316. Is s a composite number?
False
Let n = -6 + 5. Let y = 1 + n. Suppose y*v - 267 = -3*v. Is v a composite number?
False
Suppose 0*y + 14 = 3*u + 2*y, y = -3*u + 13. Let z(t) = -t**3 - t**2 - 1. Let h(l) = -7*l**3 - l**2 - 6*l - 2. Let s(k) = -h(k) + 6*z(k). Is s(u) composite?
True
Is (5 - 3) + 229 + 4 prime?
False
Suppose 1649 = -5*y + 11699. Is y/8 - 1/4 a prime number?
True
Is (-2)/(-5) - (-15509)/65 composite?
False
Let m(q) = q + 4. Let y(h) = h**3 + 5*h**2 + 4*h - 4. Let c be y(-4). Let w be m(c). Suppose w*z - 20 = -2*z. Is z composite?
True
Let t(q) = 251*q + 2. Is t(1) a composite number?
True
Let j(t) = 2*t**2 - 5*t - 2. Let u be j(6). Let l = u + -3. Is l composite?
False
Let w = -60 + 98. Suppose -w - 57 = -f. Is f prime?
False
Let a be (-38 + 4/(-2))*1. Is (5 - 2)*a/(-12) composite?
True
Let d(a) = -2*a - 7. Let y be d(-5). Let s(c) = 6 - y*c + 2*c + 3. Is s(0) a composite number?
True
Let r(w) = 110*w**2 - 4*w - 17. Is r(-4) prime?
True
Suppose -3*o + 2*r + 13 = 4, 3*r + 6 = 2*o. Let d be 3*-4*2/(-6). Suppose 0 = o*l + d*x - 137, -6*l = -l + 2*x - 219. Is l prime?
True
Let h be 1/1*-1*-5. Let b(m) = 3*m**2 + 2*m**3 - 4*m**2 - 2*m - 24 + 20. Is b(h) prime?
True
Suppose -p + 4*p = 0. Suppose 5*c - 98 = c + v, p = c + 3*v - 31. Is c prime?
False
Let x(a) = a + 1. Let c be x(-5). Let s be (-2)/(-5) + c/10. Suppose 0*k + 3*k = -4*b + 260, -b + 2*k + 65 = s. Is b prime?
False
Let r = -34 + 67. Let d be ((-2)/5)/(2/(-10)). Suppose -t = -d*t + r. Is t a composite number?
True
Let b = 3008 + -1897. Is b composite?
True
Suppose 3*g - 1 = 4*w - 2*g, 4*g - 8 = 2*w. Suppose 0 = -x + w*x - 635. Is x composite?
False
Let q be (8/6)/((-1)/(-105)). Suppose -q = -3*n - n + 3*o, 0 = 2*n - o - 70. Is n prime?
False
Suppose 3*f = 5*f - 398. Is f prime?
True
Let t(f) = 3*f**3 - f**2 - f + 2. Let x be t(1). Suppo