 = j + 2253. Is k a prime number?
True
Suppose 4*i - 40 = -4*j, i + 7 = 2*j - 13. Suppose 0 = -3*y, 4*y + j - 30 = -5*p. Suppose 0*u - p*u + 4601 = -v, -1145 = -u + 2*v. Is u a prime number?
True
Let u be (-8 - 60)*(-265 - -1). Suppose 4*h - 2*o = h + 13457, -5*o - u = -4*h. Is h a prime number?
True
Suppose 10196 = -16*m + 49671 + 20605. Is m a composite number?
True
Let z = 110 - 90. Let l(y) = -2*y**2 + 42*y - 46. Let w be l(z). Is w/33 + 1641/11 prime?
True
Suppose 0*a + 16*a = -10*a. Suppose a = 3*q - 15, 0*c + 4*c - 3*q = 3893. Is c composite?
False
Suppose -g + 81572 = 2*b, -6*g + 9*g = 0. Is b prime?
False
Suppose 0 = 5*s - 25 + 5, -4*d + s = -4. Suppose -5850 = -d*t - 2*g, 0 = g - 13 + 15. Is t a composite number?
False
Is 4/((-5)/((-305845)/4)) composite?
False
Let h(o) = 82*o - 99 - 124 - 48 + 42. Is h(23) prime?
True
Suppose -4*q + 110 = -4*h + 2*h, -4*h = 2*q + 270. Is (-26)/h - (-5703)/5 a prime number?
False
Let j(h) be the second derivative of -55*h**3/3 + 23*h**2/2 - 32*h. Let d(q) = -q**2 + 8*q + 4. Let k be d(9). Is j(k) a composite number?
True
Let l = -298 + 290. Is ((-407)/22 + l)/((-2)/116) composite?
True
Let k be ((-9)/(-36))/((-1)/(-12)). Suppose -z + 438 = 4*z - k*n, -n = -3*z + 266. Suppose 875 = 5*j + z. Is j a prime number?
True
Let z = 651 - 227. Suppose -2*k = -z - 2838. Is k composite?
True
Let y = 358628 + -13989. Is y prime?
True
Let q(f) be the second derivative of f**4/2 + f**3/3 - f**2/2 + f. Let i(w) = -4*w + 37. Let y be i(9). Is q(y) prime?
True
Suppose 3*w = -w. Suppose -3*z = -w*z - k - 13, -4 = -2*k. Suppose -2*b - 3183 = -z*b. Is b a prime number?
True
Let v(x) = 233*x - 30. Let p(j) = -233*j + 29. Let g(o) = 4*p(o) + 3*v(o). Is g(-7) prime?
True
Let b(g) = g**3 + 26*g**2 + 26*g + 32. Let r be b(-25). Suppose -333664 = -r*v - 25*v. Is v a prime number?
True
Suppose 8*a - 1096954 = -257463 + 430213. Is a a prime number?
False
Let q(p) = -25*p**2 - 18*p + 15. Let l(c) = 74*c**2 + 56*c - 46. Let u(k) = 6*l(k) + 17*q(k). Is u(-8) prime?
False
Suppose 10*p - 1115479 + 321941 = 774272. Is p a prime number?
True
Suppose -5*n - m = -23, -3*n - m + 19 = n. Suppose -5*f + 11835 = -4*i, -n*i + 3*i - 5 = 0. Is f composite?
True
Let s = 676 - 231. Suppose 0 = 2870*t - 2858*t - 39 - 21. Suppose t*z + 4*p = z + 424, s = 4*z - 3*p. Is z a prime number?
True
Suppose 0*v + 6*v + 508386 = 0. Let f = v - -129226. Suppose 3*c = -8*c + f. Is c composite?
True
Let j = -52 - -60. Suppose -2*g = -j, 1048 = 4*v - 9*v - 3*g. Is -1 - ((-3)/12*0 + v) composite?
False
Let a(l) be the first derivative of -11*l**4/4 - 3*l**2 + 3*l + 192. Suppose 2*g + 18 = -3*d, 0*d = 3*d - 3*g + 3. Is a(d) a prime number?
False
Is 61137 + -4 + (-1 + 1)*(-22)/44 composite?
True
Suppose -4*f + 464350 = 6*i, 2*f = 7*f + 2*i - 580399. Is f a prime number?
False
Let h(l) = 19*l - 76. Let q be h(5). Suppose 9*w = q*w - 210530. Is w composite?
True
Let p(v) = 48*v**3 + 2*v**2 + 3*v + 3. Let l be p(4). Suppose 0 = -5*c + 5*w + 4884 + 10651, 5*w - l = -c. Is c composite?
False
Let k(r) = -r**2 - 13*r + 9. Let o be k(-7). Suppose o + 13 = -4*u. Is 71 - (1/(-4) + (-4)/u) composite?
False
Let z = 52 - 40. Let n be 0/z - (-8388 + -2). Is (-10)/(-15) - n/(-6) a composite number?
False
Suppose k - 42 = -13*k. Suppose 0 = -k*t - 2*c + 7167, 0*c + 7167 = 3*t + c. Is t a composite number?
False
Suppose 3*x + 4*p = 16430, -x + 5476 = 3*p - 2*p. Let a = x + -1338. Is (-1 + -2)*1*a/(-24) composite?
True
Let q = 147508 - 87587. Is q prime?
True
Suppose -x + 13 = 8. Suppose 0 = 5*f - x*o + 40, 3*o + 50 = -4*f - 2*o. Is (-15605)/f - (-1)/2 composite?
True
Let o(f) = 2*f + 24. Let n be o(7). Let r = n + -37. Is (-3)/(-6)*(r + 73) a prime number?
True
Suppose 20*j - 32*j - 2582675 = -37*j. Is j a prime number?
True
Is ((-738)/(-72) + -10)*(-2 - -893878) a prime number?
True
Is (-4)/28 + (-305470)/(-77) composite?
False
Is (2 - (665/175 - (-8)/(-10)))*-1356757 prime?
True
Let x be -58*(149 - 1/(5/15)). Let f = -2359 - x. Is f a prime number?
False
Let i(m) = 587*m + 43. Let l be i(28). Suppose -3*y + 3558 = -l. Is y prime?
True
Suppose -59 = 21*p - 20*p. Let z = -57 - p. Suppose -936 = -l - o, 3*l + z*o - 6*o - 2794 = 0. Is l a prime number?
False
Let z be ((-20)/(-2))/((1/(-14))/1). Let w = 375 - -212. Let i = w + z. Is i a composite number?
True
Suppose 3*q + 109520 = 8*q. Suppose 0 = 22*j - 26*j + q. Let z = j + -3839. Is z a prime number?
True
Suppose 7102414 - 20492078 = -53*x + 21*x. Is x composite?
False
Let b = -9504 + 21115. Is b composite?
True
Let b be (23820/(-36))/((-1)/18). Suppose -y - z = -3243, 3*y - b + 2173 = -z. Is y prime?
False
Suppose 15*o - 4014624 = -998390 + 5442701. Is o prime?
True
Is 22/4*271761 - (-4)/(-8) a composite number?
True
Suppose 7*g - 604389 = 597980. Is g composite?
True
Suppose 212*o - 206*o - 32364 = 0. Suppose 4*a + 5939 = 3*x, 4*a - 2*x = -4*x - 5954. Let n = o + a. Is n composite?
False
Suppose 1 = -n + 4*n + 2*z, -3*z = -2*n + 18. Let w(p) = 121*p + 14. Let o(i) = 120*i + 14. Let l(r) = n*w(r) - 2*o(r). Is l(5) a prime number?
False
Let o = 15787 - 11144. Suppose 0 = s - 0*s - 4*u + 2329, -2*s + 3*u - o = 0. Let t = s + 4140. Is t a prime number?
True
Suppose 0 = -3*o + 4*b + 1451725, -o + 47*b = 45*b - 483909. Is o a prime number?
True
Let q = 47486 + -24117. Is q prime?
True
Let g be (13/2)/(-13)*0. Suppose g = 20*w + 17*w - 1809559. Is w a prime number?
True
Let k = 46 - 24. Suppose -z + k = 11. Let s(b) = b**3 - 10*b**2 - 10. Is s(z) prime?
False
Let j be 278192/15 + 7/(-105)*2. Let q be ((-26)/6 + 3)/((-2)/j). Suppose 0 = 3*c - 7*c + q. Is c composite?
True
Let r = -195272 + 489679. Is r prime?
False
Let y(r) = -11*r + 9 - 18*r + r**2 + 41*r. Let c be y(-6). Is (-18936)/c + -1*(-2)/(-6) a composite number?
False
Let p be 5/10 + 43/(-2). Let m be (4/6)/(14/p). Is (-144)/m - (-9 - -10) a composite number?
True
Suppose -103*i - 69*i = -14188108. Is i a composite number?
True
Let y = -101 - -104. Suppose 4*u + 3*p - 14726 = 0, 0*u - 3677 = -u - y*p. Is u composite?
True
Suppose 3*k + k = -4*m - 4, 0 = 5*m + 2*k + 2. Suppose -5*x + 2*b + 11510 = m, -2*b = 3*x - 4*b - 6910. Let w = -1239 + x. Is w a prime number?
True
Let v be (-6)/(1 + -4) - 0/12. Suppose 5*d - 3825 = v*h - 0*h, 4*d = -2*h + 3042. Is d a prime number?
False
Let l(u) = 11*u**2 + 4*u. Let v be l(-5). Let k(w) = 7*w**2 - 4*w - 13. Let r be k(7). Let o = v + r. Is o prime?
True
Let q = 4321 - 2902. Suppose 0 = 3*l - c - 4217, -2*l + l = -3*c - q. Let f = -75 + l. Is f prime?
False
Let z = -77 - -89. Suppose -9*p + 6 = -z. Suppose -5*b - 5712 = -4*f, -p*f = -4*b - 1888 - 974. Is f a composite number?
False
Suppose 3*q - 17863 = 2*i, -4*q + 9627 = 2*i - 14167. Is q composite?
True
Suppose f = 6*f + 47175. Let y be 2*10*f/(-68). Is y/(-10)*4/(-6) prime?
False
Let g(d) = -222*d**3 - d**2 + d + 1. Let k be ((-3)/(-6) + -1)/((-2)/12). Suppose 2*v = -v - 3*m - 6, -m - k = 2*v. Is g(v) prime?
False
Let l = -4975914 - -7097365. Suppose 3*j - 26*j + l = 0. Is j a composite number?
False
Suppose 5*r - 3*n = 15630, 6*r - 3*n + 9354 = 9*r. Let m = r - 2056. Is m a prime number?
False
Is 10717748/380 - (-36)/(-10) prime?
True
Suppose 4*c = 47202 + 12650. Suppose -5*x + 4989 = -6*x + 3*o, c = -3*x + 5*o. Is 33/22 + 1 + x/(-4) composite?
False
Suppose -16*g + 15*g = 2129. Let m = 3275 + g. Suppose 2*h = 5*h - m. Is h composite?
True
Suppose q - 5*k = -738, -5*q + 8*q + 4*k = -2119. Let b = -837 + 513. Let g = b - q. Is g a prime number?
True
Is -3495603*((-32)/(-80))/(6/(-5)) a prime number?
True
Let h = 41 - 38. Suppose 4*w + h*w = 0. Suppose -4*s + 3*s + 679 = w. Is s prime?
False
Suppose 17876 = 4*j - 5*j + 5*h, 0 = -j + h - 17860. Let c = j - -28753. Is c composite?
True
Let y(u) = 1272*u**2 + 828*u - 9029. Is y(11) a composite number?
False
Let m be (1616/6)/(6/18). Suppose -10922 = -26*q + 3482. Let v = m - q. Is v a composite number?
True
Let h(u) = 12437*u**2 + 66*u + 126. Is h(-7) prime?
False
Suppose -8*d + 19*d = -66. Let g be 1490 - -1*(-6)/d. Suppose 17*t - g = 1178. Is t prime?
True
Is (-3 - -60)*54082/63*(-6)/(-4) a composite number?
True
Let w(l) be the second derivative of 0 - 31/2*l**2 + 307/6*l**3 - 25*l. Is w(6) prime?
True
Let b be -2 + -32 + (-2 - 3) + 