529 - 3060. Is i a composite number?
True
Is (8 + (-10501)/3)*(-1 - 2) a composite number?
False
Is (-11520 - -1)*((-6)/(-3))/(-2) a composite number?
False
Let y(f) = 38*f + 3. Let d = -14 - -15. Let n(u) = -u + 1. Let v(w) = d*y(w) - 6*n(w). Is v(2) a prime number?
False
Suppose -6*a = -3*a - 24. Is ((-1)/1)/(a/(-1192)) a composite number?
False
Let c = -117 - -128. Suppose -10926 - 877 = -c*j. Is j a composite number?
True
Let a be (3 + -4)*26/(-2). Let z(q) = 4*q**2 + 5*q + 12. Let c be z(a). Suppose 0 = -2*n - n + c. Is n a composite number?
False
Let u = 52 + -47. Suppose -124 = x - u*x. Is x a prime number?
True
Suppose -103*f = -83*f - 137660. Is f a composite number?
False
Let d(k) = k**2 + 19*k + 51. Let b be d(-16). Suppose 3*t = -5*a + 291, 3*a - 97 = -t - 2*a. Suppose 2*g + t = i, -4*i = -0*g - b*g - 363. Is i composite?
True
Let y be (-7)/(-14) + (-38)/(-4). Suppose -2891 = -y*d + 1679. Is d a prime number?
True
Let p = -3919 + 27284. Is p a prime number?
False
Let d = 1 + 1. Let t(k) = d*k + 8*k + 13 + 18*k + 2. Is t(7) a prime number?
True
Is 362534/18 - ((-22)/99 - 0) a prime number?
False
Let q(d) = -2*d**2 - 71*d - 115. Is q(-26) prime?
True
Suppose -4*f + 0*f = -8, -2*f = -5*z + 6. Is (14/(-21))/(z/(-3)) - -92 a composite number?
True
Let f(x) = 951*x**3 + 2*x**2 - 1. Is f(2) a prime number?
False
Let y(b) = -b**2 + 14*b + 2. Let w be y(14). Suppose -w*j + 0*j = -2*a - 114, 3*j - 3 = 0. Let p = 93 + a. Is p a prime number?
True
Suppose t - 16958 = -f, -7*f - 33901 = -2*t - 12*f. Is t a composite number?
False
Let t(m) = -m**3 - 14*m**2 - m - 14. Let x be t(-14). Suppose -2*n + x*n + 3802 = 0. Is n composite?
False
Let q = 4 - 0. Suppose 0 = -2*p + 5*p - 5*y + 46, 2*p + q*y + 16 = 0. Is (-3)/(-1*p/(-308)) composite?
True
Suppose -5*y = 31 - 91. Let c be (-21)/6*-5*y. Suppose 2*j = b + 235, 0 = 4*j - 2*j + 4*b - c. Is j a prime number?
False
Let m = -47 + 78. Let t(k) = -4*k + m*k - 2*k - 4 + 6. Is t(5) prime?
True
Let w(p) = 260*p + 13. Let b be w(6). Suppose -4*d + 5*d = -2*k + 631, 5*k + d - b = 0. Is k a prime number?
False
Let l(v) = 2*v**2 + 4*v - 1. Let x be l(3). Suppose -31*n = -x*n - 446. Is n a composite number?
False
Suppose 7*u - 10*u + 4*n = -15425, 3*u - 15457 = -4*n. Is u prime?
True
Let r be (-1*2)/((-8)/20). Let g be r*((-2396)/(-10))/2. Suppose 5*s + 3*h - g = 0, -2*s - 7*h + 3*h + 234 = 0. Is s a composite number?
True
Let i = 25 + -16. Let j(y) = -i + 3 + 203*y + 10 - 1. Is j(2) a composite number?
False
Let z(t) = 12*t**2 - 2*t. Let y be z(-4). Suppose 3*f - y = -5*d - 30, 2*d - 47 = 3*f. Suppose 4*r - d = -3*j, 0 = -r + 2*j - 5 + 10. Is r a composite number?
False
Suppose -2*r = -r - 2. Suppose -4*i + 2971 = b, r*i - 1144 = -2*b + 346. Suppose m = 3*m - i. Is m composite?
True
Is 643380/(-36)*(-5)/((-50)/(-12)) prime?
False
Let t be (-34)/(-119) + 144/(-14). Let u(p) be the first derivative of -p**4/4 - 8*p**3/3 + 9*p**2/2 - 13*p + 4. Is u(t) composite?
False
Let k(p) = -28*p**3 - p**2 - p. Let o(i) = i**3 + 5*i**2 - i - 3. Let g be o(-5). Let v be k(g). Is 4/8 + v/(-4) a composite number?
True
Let j(q) = -13*q - 8*q + 20*q - 34*q**3 + 3 + q**2. Is j(-3) a prime number?
False
Let k be 1*(1 + -144 + 2). Let p = k - -203. Suppose 3*q + p = z + 481, 4*q - 572 = -2*z. Is q a composite number?
True
Let j(r) = -4 + 489*r + 4 + 22 - 1. Is j(4) a composite number?
True
Let d(l) be the first derivative of 374*l**3/3 + l**2/2 - l - 15. Is d(2) prime?
False
Suppose -5*s + 1033 = -2*o, 118 = -3*s - 4*o + 743. Let n = -88 + s. Is n a composite number?
True
Let o be (-3 - (1 + -4))/(-1). Suppose 4*f + u + 4*u + 5 = o, -4*f + 45 = -5*u. Suppose -2*x + 3*i + 155 = 0, 3*x - 3*i = f*x - 185. Is x composite?
True
Suppose -i = -0*i. Suppose -x - 35 - 95 = i. Let b = 279 + x. Is b a prime number?
True
Let o(u) = -261*u + 7. Let b be o(-4). Let a = b + -384. Is a prime?
False
Let b = 16 - 10. Suppose -11*y = -b*y - 10. Suppose 4*d + 50 - 514 = 2*l, -y*l - 579 = -5*d. Is d a prime number?
False
Let w be 4/18 + 102/27. Let o(y) = 31*y - 15. Let i be o(7). Suppose 0*z + i = w*z - c, 0 = -2*z + 5*c + 92. Is z prime?
False
Let s = 2 + 2. Suppose -2*d = s*u - 4478, -987 = -u + 3*d + 129. Suppose u = -0*f + 3*f. Is f composite?
False
Suppose 5*o - 34 = -14. Suppose 0 = -o*w + 2*w + 1142. Is w composite?
False
Let w(x) = -3198*x - 35. Is w(-1) composite?
False
Let r(j) = -32*j. Let s(y) = -1. Let p(o) = r(o) + s(o). Is p(-6) prime?
True
Let r be 5/(-10)*6 - -15. Let y be (-9)/6*(-16)/6. Suppose y*p - r = 48. Is p a prime number?
False
Let s(h) = -3 + 3*h**2 - 5*h + 4*h - 4*h**2 - 2*h**2. Let a be s(8). Let i = -114 - a. Is i composite?
False
Let l(c) = -5*c - 1280. Let j(b) = -4*b - 1279. Let d(q) = 2*j(q) - 3*l(q). Is d(0) composite?
True
Suppose 24*y + 223 = 25*y. Let m = 744 - y. Is m prime?
True
Suppose -10769 = -3*c + 42928. Is c composite?
True
Let p = -1880 - -4803. Is p composite?
True
Suppose 0*f - 29 = -5*m - 4*f, -m - 2*f + 7 = 0. Suppose n + 3*k = m*n - 17, 0 = 4*k + 12. Is n*(1506/(-4))/(-3) a prime number?
True
Suppose 0 = 2*z - 0*z - 810. Suppose -t + z = 98. Is t a prime number?
True
Suppose -o - 3 = -4*o. Let w be (0 + -292)*o/(-2). Suppose 0 = 5*i - 639 - w. Is i composite?
False
Let t = 11932 + -4521. Is t a prime number?
True
Let i(j) = -j**3 - 6*j**2 - 19*j - 31. Suppose 39 = -24*r + 21*r. Is i(r) composite?
False
Let p be ((-2)/5)/((-1)/25). Suppose -3*q + 4*c + 1 = -p, -5*q - 4*c + 61 = 0. Is 18/q + 418/2 a prime number?
True
Let y(v) = 2*v**2 - 17*v + 7. Let q = 11 - 0. Is y(q) composite?
True
Let d = -3929 + 12286. Is d prime?
False
Let d = -28 - -32. Suppose 0*s + 5*x = -4*s + 259, 0 = d*s - x - 241. Suppose -5*v - s = -471. Is v a prime number?
False
Let p = -7 + 23. Let j = p + -13. Suppose j*f - 387 - 1878 = 0. Is f a composite number?
True
Suppose o - 5*o + 8 = 0, 3*p = 2*o + 11. Suppose 0*k + p*k + 20 = 0. Is -2*(-1)/k*-422 a prime number?
True
Is (-189)/72*4*(-21858)/9 prime?
False
Is (-2)/10 - (251236/(-5) - 14) a composite number?
False
Suppose -f - 425 = -99. Let m = f + 195. Let c = 316 + m. Is c a composite number?
True
Let m(p) = -26*p - 11. Let r be m(-9). Let d = 850 - r. Suppose 3*k + d = -3*g + 2769, 1446 = 2*k - 4*g. Is k composite?
True
Let t(g) = 12*g**3 + 3*g**2 - 6*g - 3. Let k be t(4). Let w = k + 0. Is w prime?
False
Let b = 3641 + -1925. Let j(d) = -d**3 + 8*d**2 + 8*d + 12. Let n be j(9). Is (-2)/((-8)/b*n) a composite number?
True
Let k be (-5)/((12/(-32))/(-3)). Let t = 22 + k. Let o = 33 + t. Is o composite?
True
Let s = 24 - 20. Suppose 10*y = s*y. Suppose y = u + 3*k - 124, 3*u + 4*k - 366 = k. Is u prime?
False
Let n(z) = 19*z**2 - 51*z + 1049. Is n(27) prime?
True
Suppose z - 19 = -4*j - 4, 0 = -3*j. Suppose w - 2*p - 330 = -p, -3*p + z = 0. Is w composite?
True
Let j = 11 + -9. Suppose -4*f + j*i = -580, -f + 2*f - 4*i = 152. Suppose 0 = -2*w + v + 128, 0 = -2*w + 2*v - 18 + f. Is w a prime number?
False
Let n(x) = 2*x**2 + 3*x + 3. Let a be n(-2). Suppose -v - 2*j = -1025 - 108, -4*v = a*j - 4544. Is v a composite number?
True
Let x be (-18)/(-4)*(-20)/(-15). Suppose 5*s + 2*c - 2 = 4*c, -3*s = -3*c + x. Is 200*s + (-6)/2 composite?
False
Let j(f) = -f**3 + 2*f + 7. Let r be j(0). Suppose -3*w - c - 39 + r = 0, 4*c = 5*w + 25. Is (-35 - 2)*(-2 + w) composite?
True
Suppose -589*d = -588*d - 8621. Is d a composite number?
True
Let z = 7377 - -1858. Is z a prime number?
False
Let w = -9889 + 23426. Is w prime?
True
Suppose -8*q + 2 = -10*q. Is (-1184)/(-20) + q/5 composite?
False
Let t be (2 - -1) + (-93)/(-3). Is (-3 - -2) + 11*t prime?
True
Let c(v) = -4*v - 29. Let t be c(-9). Suppose -f = -t*f + 618. Is f a composite number?
False
Let u be -1 - 15/3 - -2. Let n(w) = -w - 1. Let r be n(u). Is 35 + (-6)/(-9)*r composite?
False
Suppose -6*y + 2741 = 425. Is y composite?
True
Let f(v) = v**2 - 4*v - 9. Let l be f(7). Suppose 5*i - 5 = -k + l, -2*k + 10 = 2*i. Is (3 - (k + 38))*-1 prime?
True
Suppose 0 = 2*m - 2*i - 24, 2*m - 43*i - 30 = -39*i. Let d(p) be the second derivative of p**5/20 - p**4/12 - 7*p**3/6 - p**2 + p. Is d(m) composite?
True
Let m be (10 + -7)/((-6)/796). Let o = -233 - m. Suppose k - o = -2*k. Is k a composite number?
True
Suppose -g + v + v = 2, 3*g -