. Let k = r - 1208. Is k prime?
True
Let c(v) = v**3 + 56*v**2 + 13*v + 13. Is c(-49) composite?
False
Suppose 6*c - 17*c = -150359. Is c prime?
True
Let u = -81 + 40. Let p = -37 - u. Suppose 5*v - 3*x = 2*x + 1470, -p*v + 1206 = 2*x. Is v a prime number?
False
Suppose 0 = 12*r - 9*r + 30. Is (r/3)/(90/(-2295)) prime?
False
Let m(j) = j**3 - j - 10*j - 14 + j**2 + 13. Let y be m(3). Suppose -y*c + 3 = -279. Is c prime?
False
Let q = -494 + 499. Suppose -q*m = -d - d - 4775, 4*d = -2*m + 1886. Is m a composite number?
False
Is (2/(-6))/(44/(-15180)) prime?
False
Let s = -3038 - -14164. Suppose -s = -13*r + 2667. Is r composite?
False
Let c(a) = -2626*a - 793. Is c(-6) prime?
False
Let h(i) = 138*i**3 + 2*i**2 - 1. Let o(x) = -3*x - 2. Let r be (-14)/10 + 2/5. Let w be o(r). Is h(w) prime?
True
Suppose 4*b - 3*t = 151706, -4*b - 32933 + 184633 = -4*t. Is b a prime number?
False
Let d = 2420584 - 1348257. Is d prime?
True
Let u(t) = 98*t**2 + 19*t - 35. Let k be u(-13). Let d = k + -8343. Is d composite?
False
Let v(j) be the first derivative of -3*j**4/2 + 2*j**3 + 51*j - 39. Is v(-6) composite?
True
Let q(r) = 454*r**2 - 357*r - 11955. Is q(-38) composite?
False
Suppose -3*r - i + 5844 = 0, 4*r - 4*i - 3174 = 4618. Suppose 4*s - 1933 = -5*u, -s + 0*s - r = -5*u. Is u a composite number?
False
Let m be (((-1)/(-3))/1)/(9/378). Suppose s - 4285 = -y, 10*y - 12883 = -3*s + m*y. Is s prime?
True
Let a be (28/(-12))/(7/148260*-2). Let f = 45921 - a. Is f a prime number?
True
Let z(n) = n + 1. Let j(v) = -v - 12. Let w(h) = j(h) - 4*z(h). Let i be w(-4). Suppose 5*f - i*q = 299, 5*f + 0*q = 2*q + 297. Is f composite?
False
Suppose 0 = -38*h + 2525270 + 6321168. Is h prime?
True
Suppose 142*k = 145*k - 328071. Is k composite?
False
Suppose 4*j - 43947 = -5*x, -3*x - 5582 + 31947 = 4*j. Is x a composite number?
True
Let s(z) = z**3 - 12*z**2 + z - 6. Let x be s(12). Suppose -5*r + 16 = x. Suppose r*c = 5*y - 0*y + 1422, 5*y + 20 = 0. Is c a prime number?
True
Let g(y) be the third derivative of -y**6/120 - 31*y**5/60 - 7*y**4/12 + 49*y**3/6 - 11*y**2. Let c be g(-27). Let q = c + 4683. Is q prime?
False
Let q(g) = 406*g + 1. Let v(h) = -407*h - 1. Let j(i) = 5*q(i) + 6*v(i). Let r be j(-8). Suppose -r - 3541 = -4*o. Is o a prime number?
True
Let p be 1/(0 + (-2)/(-8)). Suppose -2*z = -5*z + 2199. Suppose -8 + 3 = -r, -p*r - z = -3*t. Is t composite?
False
Let d(f) = -3*f - 1. Let n(a) = -43*a**2 - 20*a - 20. Let x(i) = 4*d(i) - n(i). Let l(t) = 6*t**2 + 1. Let j be l(1). Is x(j) a prime number?
True
Let g(z) be the first derivative of -1747*z**2/2 - 30*z + 5. Is g(-7) a prime number?
False
Let x(h) = -74*h**3 - h**2 + 3*h + 3. Let p be x(-2). Is (p - 3 - -2) + (-3 - -6) composite?
False
Let l = 98957 + -35388. Is l composite?
True
Let r(t) = -59*t**3 + 4*t**2 + 10*t + 83. Is r(-8) a composite number?
False
Suppose 30*v + 734 = 29*v. Let l = 9 - v. Is l composite?
False
Let b(t) = 1426*t**3 + 10*t**2 - 25*t + 99. Is b(4) a composite number?
False
Let k = -5923 - -720664. Is k a composite number?
True
Suppose -3*q + 2*q = -4*y + 25, -5*y + 45 = -4*q. Suppose 12*n - 8*n = l - 4217, -y*l = 4*n - 20989. Is l prime?
True
Let t = -23899 + 46401. Let v = t + -15219. Is v composite?
False
Let t(h) = h**3 - 14*h**2 + 39*h - 32. Let g be t(16). Suppose 6*w - g - 3522 = 0. Is w composite?
True
Let j(k) = 3*k + 2. Let f be j(0). Suppose -3*q + 6 = 0, f*q = g - 0*q + 6. Is g/(30/165 + (-5256)/28787) composite?
False
Let p = 210608 + -117301. Is p composite?
False
Suppose -3262479 = -5*x - 4*z, 920*z = 4*x + 923*z - 2609984. Is x composite?
False
Let h = -7178 + 22076. Let c = 22649 - h. Is c prime?
False
Let p = 493 + -505. Let w be (-8)/(-44) + 97/11. Is 8/p + 0 - (-2643)/w composite?
False
Let u be 16 - 19 - (-6 - -1). Let i(h) = 2*h**2 - 2*h + 1. Let l be i(u). Suppose l*y - 847 = -3*w, 3*y - 158 = 2*w + 335. Is y prime?
True
Let a be (6/5)/((-3)/(-10)). Suppose 34994 = a*n - 2*t, -17488 = -0*n - 2*n - 2*t. Is n prime?
True
Let g = 128788 - 7649. Is g prime?
True
Suppose 3 = -6*v - 21. Is v - ((-57)/6)/((-1)/(-758)) a composite number?
True
Let d = 20882 - 9471. Is d composite?
False
Suppose -3*y = -25*y + 88. Suppose 3*v = -s + 39977, -y*v = -3*s - 0*s + 119905. Is s a composite number?
False
Is (-5)/(-5 + 6) + (3 - 3) + 34216 a prime number?
True
Suppose -9264817 = -94*t + 18768051. Is t a composite number?
True
Let x = 98 + -168. Let q = 74 + x. Suppose c = -2, q*c + c - 1328 = -2*h. Is h prime?
False
Suppose 467*s - 421*s = 2133388. Is s a prime number?
False
Let n(t) be the first derivative of -t**3/3 + 9*t**2/2 + 24*t - 11. Let s be n(11). Suppose -586 = -s*r - 0*r. Is r composite?
False
Suppose -27*o + 81 = -0*o. Suppose -3*i = o*m - 8*m + 12286, 4*i + 9824 = 4*m. Is m a composite number?
False
Let n(s) be the second derivative of -s**3/6 - 2*s**2 - 4*s. Let g be n(-16). Is 3/g + (-2454)/(-8) prime?
True
Let q(r) = 362*r**2 - 2*r + 131. Let w(g) = g**3 - 7*g**2 - 16*g + 74. Let t be w(8). Is q(t) a composite number?
True
Suppose -121*u + 126*u - 25 = 0. Suppose 0 = -3*c + 3*j + 9477, -8 - 12 = -u*j. Is c a composite number?
False
Suppose 24855877 + 38771760 = 59*m - 60695452. Is m a composite number?
True
Let f(s) = s + 18. Let u be f(-13). Suppose 14*n - 513 = u*n. Is n prime?
False
Is 142657*5/(-10)*-2 a composite number?
False
Let z = 1155 + -511. Suppose 2*h + 5*a = 3*a + z, 0 = -4*h + 5*a + 1243. Is h a composite number?
False
Suppose -3511*c = -3627*c + 202320124. Is c a prime number?
True
Let a be 29202/21 + 72/21 + -3. Let w = a - 172. Is w prime?
False
Let m = -9719 + 16969. Suppose 10*q - 9320 = m. Is q a prime number?
True
Let i be ((-5)/2)/((-255)/(-36) + -7). Is ((-20)/i)/((-16)/(-7944)) composite?
False
Suppose 6*f + h - 43 = f, -4*f = -2*h - 40. Let o(y) = 9*y**3 - 12*y**2 + 11*y - 25. Is o(f) prime?
False
Let b be (-12)/(-15) - 4/10*-28. Suppose 17*g = b*g + 10. Suppose y - 4*y = 2*k - 968, -970 = -2*k - g*y. Is k a composite number?
False
Let l = -83 - -81. Is 1790 - -4 - (3 + l) a prime number?
False
Let z(m) = 10*m - 6. Let w be z(1). Suppose w*x - a + 2*a = 29, 14 = 4*x - 2*a. Is ((-8)/12 + 1/x)*-3386 a composite number?
False
Let i(f) = 2287*f + 8. Let r be i(2). Suppose -10*o - r = 1558. Is -8*1/(8/o) + 0 a prime number?
False
Let r = 298 + -286. Suppose -56945 + 1493 = -r*y. Is y prime?
True
Let c be 10338/(2/(12/(-9))) - 5. Is c/(-12) + 9/(-12) - 3 prime?
True
Let c = 91 - 90. Let t(b) = -13 + 4*b + 1276*b**2 + 9 + 1. Is t(c) a composite number?
False
Let n be (13 - 7 - 3)*4/3. Suppose 6*t = n*t + 298. Is t a prime number?
True
Let i be 6 + 4*(2 + -3). Suppose -3*o + 3*v - 85 = 131, 159 = -i*o - v. Let q = o + 784. Is q a prime number?
False
Suppose 3*d - 2*j = 57975, -96629 = -5*d + 2*j - 0*j. Suppose 32*f + d = 39*f. Is f composite?
True
Suppose -p + 0*o + 3*o + 3 = 0, 4 = 3*p - 4*o. Suppose c + 0*c - 28383 = p. Is c a composite number?
True
Is 278*(((-132165)/35)/(-9) + 5/(-70)) a prime number?
False
Suppose -4*u + 8732 = -2*n, -4364 = -2*u - n + 3*n. Let r = u - -915. Is r composite?
True
Suppose 165*q + 2 = 166*q. Is ((-97)/2)/(q/(-188)) a prime number?
False
Let w = 3252 + 5743. Suppose 2*y - 17560 - 433 = -z, w = y + 2*z. Is y a composite number?
True
Let d = -77 + 163. Let j = d - 16. Suppose -62 = -3*c - 5*w + 59, -2*c + j = -2*w. Is c a prime number?
True
Suppose 0 = 5*k + 6245 + 21050. Let a = 4754 - k. Is a prime?
False
Let z(l) = 885*l**2 + 97*l - 193. Is z(2) a composite number?
False
Let z be ((-230)/(-8))/((-4)/48*3). Let b = 624 - z. Is b composite?
False
Suppose 0 = -2*h + 4*i + 18, -4*i = -5*i - 4. Let q be (11 + h)*(-5 - 165/(-6)). Let n = -59 + q. Is n composite?
False
Let v = -6 - -6. Suppose 3*q = -v + 3. Is -5 - -8 - (q + -1037) a composite number?
False
Let m be 8/(-6) - (-4)/(-6) - -24. Let k = m + -20. Suppose -5*b + 1054 = k*z, 0*z + 2*b - 1559 = -3*z. Is z prime?
False
Let y be 4017/(-26)*-140*2/3. Let v = y + -9933. Is v a prime number?
False
Suppose -38698*q = -38723*q + 8714050. Is q a composite number?
True
Let d = 2476 + -420. Let s(q) = q**3 + 7*q**2 - 14*q - 65. Let f be s(-3). Suppose 17*a - f*a - d = 0. Is a prime?
False
Let u be -1 - (18/9 - (-8524 - -1)). Let l = -3743 - u. Is l a compos