True
Is 1*5*10/(-80)*-25304 a composite number?
True
Suppose -6123 = -66*o + 69*o. Let k = 1122 - o. Is k prime?
True
Suppose 8*y + 56 = -0*y. Let g(t) = 28*t**2 - 5*t - 5. Is g(y) composite?
True
Suppose 0 = 4*a - 5*i + 28, 0*i = 2*i - 8. Is 8/4 + 3 + a composite?
False
Suppose -5 = 5*f + 5, 3*f = n - 22437. Is n composite?
True
Let x = 43 + 530. Is x prime?
False
Is (15444/(-15) + -2)/(10/(-25)) prime?
True
Is (4 - (10 + -7))/((-2)/(-1934)) a composite number?
False
Let m(d) be the first derivative of 5*d**3/3 + 8*d**2 + 8*d - 5. Let l be m(-13). Suppose 0 = -7*h + 4*h + l. Is h composite?
True
Suppose -66054 = 14*y - 185068. Is y composite?
False
Let b(l) = -3*l**3 - 10*l**2 + 8*l + 110. Is b(-13) prime?
False
Let l = -26 + 23. Is (-379)/l*(8 + -5) prime?
True
Suppose 7*c = 323 + 3387. Let j = c - -339. Is j a composite number?
True
Let h be 9362/14 - (-13)/(364/8). Suppose -28*q + 25*q = -h. Is q a composite number?
False
Suppose 8 = -5*b + 23. Let q be (-2)/b - (-57363)/9. Suppose -5*u - 3*x = -q, 5*x = 3*u + 1684 - 5535. Is u a composite number?
False
Suppose -242*k + 83403 = -233*k. Is k a composite number?
True
Let d = -7 - -9. Let w(z) = 4*z + 12 - 2*z**d + 9*z**2 - 13. Is w(-4) a prime number?
False
Let q(s) = s**3 - 5*s**2 + 2*s + 5. Let r be 320/52 - (-4)/(-26). Is q(r) composite?
False
Let x = 3641 + -1644. Suppose -901 = -3*m + x. Suppose 3*g = 2*l + l + 1467, -2*g + m = l. Is g prime?
False
Let d be (-21)/(-28)*(6 + -2). Suppose 5*z - d - 17 = 5*p, 4*z = -4*p - 16. Suppose 2*a - 8*a + 1206 = z. Is a a composite number?
True
Suppose 17*y = 4573 + 10370. Is y composite?
True
Suppose 4*n = -3*f + n + 166305, 2*f - 110858 = 4*n. Is f a composite number?
True
Suppose 7 + 9 = n + 3*c, -5*c = -4*n - 4. Suppose -d - 4*d + 2*p + 1647 = 0, 3*d = n*p + 977. Is d composite?
False
Suppose -4*g = 9*l - 5*l - 1676, -1676 = -4*g - 6*l. Is g a prime number?
True
Let f be (-2)/6 + (-122)/(-6). Let p = -11 + f. Is ((-115)/15)/((-3)/p) composite?
False
Is 7/((-28)/(-2344)) - (-2)/2 prime?
True
Is (-8)/(-2)*(1 + 43106/8) a composite number?
False
Suppose -2*v = 3*v - 25. Suppose x - 390 = v*m + 44, -2*x + 850 = -4*m. Is x a prime number?
True
Let c = -14 + 17. Suppose -6 = -c*a - 5*z, 3*a = a + 3*z + 4. Suppose 0*k - 4 = 4*k, -a*f - 4*k + 294 = 0. Is f a prime number?
True
Suppose -705 - 327 = -3*s. Let b = 105 + s. Is b a composite number?
False
Suppose 0 = -6*v + 4*v + 10. Suppose 0*x - v*x = -1340. Suppose -5*d + x + 367 = 0. Is d a composite number?
False
Suppose 15 = x + 38. Let g = -4 - x. Is g a prime number?
True
Suppose 33*m - 34*m = -5779. Is m prime?
True
Let x = -11 + 5. Is ((-425)/(-1) + x)/(2 + -1) a prime number?
True
Suppose 80379 = -113*f + 209312. Is f composite?
True
Let l(x) = 58*x - 77. Let k be l(11). Let t(o) = -58*o. Let f be t(-6). Let s = k - f. Is s a prime number?
False
Suppose z + u - 353 - 2839 = 0, -u - 9568 = -3*z. Suppose y = 3*m - 2921, -3*y - z = -3*m - 265. Is m a composite number?
True
Let q = -8 - -1. Let a = q - -11. Is (332/(-8))/((-2)/a) composite?
False
Suppose 17820 = -6*h + 515262. Is h a composite number?
True
Let p = 17 + -9. Suppose 6*u - p*u = 4. Is ((-293)/(-2))/((-1)/u) a prime number?
True
Let z(o) = -69*o - 17 - 27 + 12. Is z(-6) a composite number?
True
Let o = 10365 + -7088. Is o composite?
True
Suppose -2*s + 941 = -4613. Is s a prime number?
True
Suppose t = 5*t - 384. Let s = t - -335. Is s a prime number?
True
Let c be -24*(-3 + 4)*-1. Let a be (6/5)/(c/(-1360)). Let h = a - -463. Is h composite?
True
Suppose 0 = -15*c + 44*c - 52171. Is c a prime number?
False
Let c be 168/(-78) + 2 - 25198/(-26). Suppose -3*l = 3*p - c, 5*l = -8*p + 6*p + 1603. Is l composite?
True
Let n(a) = a**3 + 6*a**2 + 4*a - 5. Let j be n(-5). Let v = 2 - j. Suppose v*s = -0*g - g + 147, -4*s - 3*g + 299 = 0. Is s prime?
True
Suppose -x - 4*d = -5*x + 10024, -x + 2509 = -2*d. Is x a prime number?
True
Let s(u) = u**2 - 6*u + 5. Let k be s(5). Suppose k*z = z - 399. Is (0 + -4)/(-2) + z a prime number?
True
Let y(l) = 147*l**3 + 5*l**2 - 17*l + 25. Is y(2) prime?
True
Let a(n) = 11*n + 1. Let k be (-36)/(-8) + 3/6. Let r be a(k). Is (-40)/(-7) - (-16)/r a composite number?
True
Suppose -4*k + 65 = k. Suppose -48 = k*y - 1647. Is y a composite number?
True
Let r(u) = -u**2 + 147*u - 359. Is r(65) a prime number?
False
Let q = 155 - -908. Let y = q - 477. Is y a composite number?
True
Suppose -3*p - 6 = -3*d, 4*d - 7*d = -6. Is (0 - p) + -5 + 424 a composite number?
False
Let o(m) be the second derivative of 7/12*m**4 - 3*m**2 + 8*m + 1/2*m**3 + 0 - 1/20*m**5. Is o(5) composite?
False
Is 644*4 - 21/(-7) a prime number?
True
Suppose u + 15 = -5*a, -u + 6 = -3*a - 3. Let q(w) = -3*w - 16953 - w**3 + w**2 + 17806 + 2*w. Is q(u) a composite number?
False
Suppose -4*a + 2*c + 74 = 0, 6*a = 3*a - 2*c + 38. Suppose a = 5*m + 86. Is m*((-477)/6 + 4) composite?
True
Suppose 2*w + 6 = -2*i, -4*i - 23 + 7 = 0. Let y be (-2 + w + 0)*-17. Suppose 0 = -4*b + y + 211. Is b composite?
True
Suppose f = 2*f. Suppose -2*m - 2*m + 1324 = f. Is m a composite number?
False
Let d = -11 + 14. Let q be (4 - d)*221 + 2. Suppose -o = -5*u - q, -5 = 2*u - 1. Is o a composite number?
True
Is (-75)/30 - -1 - (-26498)/4 prime?
False
Let s = 31073 - 19227. Is s a prime number?
False
Let h(s) = 683*s - 12. Let z be h(4). Suppose -z = 4*u - 10668. Is u composite?
False
Suppose 4*f = h + 9985 + 10922, -4*h + 20912 = 4*f. Is f a composite number?
False
Is 13/((-52)/8) - -1479 prime?
False
Let n(z) = z**3 + 4*z**2 - 6*z + 2. Let i be n(-5). Suppose 0 = -i*y + 2*y. Suppose -d + 3*l + 308 = y, 0*d + 5*l + 318 = d. Is d composite?
False
Let i = 17440 - 8958. Is i a composite number?
True
Let a(r) = -r + 11. Let l be a(6). Suppose l = b, -w - 2*b + 449 = 144. Is w composite?
True
Suppose 5*o + 3 = -4*l + l, 0 = -5*l - 2*o + 14. Suppose -h + 4*q = -582, 2340 = 4*h - 0*h - l*q. Is h composite?
True
Let m = 12 + -12. Suppose -5*l + 25 = -m*l. Let w(b) = 26*b - 3. Is w(l) a prime number?
True
Let j = 821 - 442. Is j prime?
True
Let f(n) = 10725*n - 2. Is f(3) prime?
True
Suppose -5*q - 6945 = -5*s, -2*q - 33 = 3*s - 4225. Suppose 5*n = 5*j - 1725, -4*j - n = 2*n - s. Is j a prime number?
True
Let v(b) = 2*b**3 - 81*b**2 - 19*b + 72. Is v(41) a prime number?
False
Suppose 10343 = 2*a + v, -5*a - 2*v + 25877 = -6*v. Is a composite?
True
Let t(d) = 226*d**3 + d**2 + 4*d - 4. Is t(3) prime?
False
Let o(k) = -3*k**2 + k + 318. Let r be o(0). Is (-4)/(-2)*r/12 a prime number?
True
Suppose f + f = 2*c + 2508, -3*c - 3756 = 3*f. Let h = -102 - c. Is h a prime number?
True
Let p(l) = 46*l**3 + l**2 - 4*l - 5. Is p(4) a composite number?
False
Is (-3138033)/(-295) - 1/(10/4) a prime number?
False
Suppose -2*p + 1362 = -4*c, p - 4*c - 681 = -5*c. Suppose 0 = 4*l - 5*l + p. Is l composite?
True
Suppose -5*d = -3290 - 6990. Let g = 2957 - d. Is g a prime number?
False
Let m = 28 + -19. Let y be (-10698)/(-30) - m/15. Let a = y - 119. Is a prime?
False
Let u(f) = 22*f**2 + 95. Is u(15) prime?
False
Let s(g) = g - 8. Let n be s(10). Let j be (n - 0)/(6/9). Is 110 - (j - (4 + -2)) composite?
False
Suppose -78*s - 2530 = -88*s. Is s prime?
False
Let h(v) = 291*v - 1. Is h(2) a composite number?
True
Let s(o) = 31*o**2 - 36. Let x be s(11). Is x/(-15)*(0 + -3) a composite number?
False
Let i(p) = -18*p - 2. Let o = -2 - -2. Suppose c + 4*x - x - 4 = o, -4*c - 4 = 2*x. Is i(c) a prime number?
False
Suppose -11*n + 10190 = -67569. Is n prime?
True
Suppose -14 = -5*w + 3*w. Suppose 3*q + 2 = -w. Is (-3)/(q + 0)*53 composite?
False
Let f = -5 - -9. Suppose -f*p = -0*p. Suppose b - 1435 = -4*h, p*h - 713 = -2*h - 5*b. Is h a composite number?
False
Is (-1826 + 3)/(7 + -8) a composite number?
False
Let t(b) = 157*b**2 - 7*b + 9. Let c = -74 + 76. Is t(c) a prime number?
False
Let d = 0 - 0. Suppose 2*x = 5*c - 19, d - 4 = -3*x + c. Suppose 4*f - 1018 = -x*m, 2*m + 496 = 2*f - 3*m. Is f a composite number?
True
Suppose -1481 = 9*z - 8*z. Let u = z + 3918. Is u prime?
True
Let z = 14289 - 5086. Suppose 5*v + 2*d - z = 0, 0 = -2*d - d - 3. Is v a composite number?
True
Is 4145262/418 + (-6)/(-57) a composite number?
True
Suppose -3 = -0*u - u. Let w = 784 - 422. Suppose 3*a - w = -2*o +