49*m = 23*m + 13081345. Is m prime?
True
Let p be -13 - (10 + -20) - (1 - 6982). Suppose -2*j - p = -2*l, 3*l + j = -3*j + 10481. Is l a prime number?
True
Suppose 0 = -2*b - 6, -15*o + 3*b = -17*o + 911393. Is o a composite number?
False
Let k(g) = -g**3 - 36*g**2 - 7*g + 53. Let x be (-3 + -2 - -2)/(6/72). Is k(x) composite?
True
Suppose 131*p = 44*p - 117*p + 45222924. Is p composite?
True
Suppose 9*f = -19*f - 30352. Suppose q + 8451 = 4*q. Let o = q + f. Is o a prime number?
True
Let d(n) = 3*n**2 - 8*n + 7. Let j be d(5). Suppose -j = -6*c + 18. Suppose h + c*s = 5*s + 648, -4*s = h - 643. Is h prime?
False
Let g(d) = -4*d**2 + 17*d + 31. Let p(c) = -c**2 + 6*c + 10. Let i(s) = -2*g(s) + 7*p(s). Let y be i(-7). Is y + (2 - (-4916)/1) a prime number?
True
Suppose h - 3*t + t = 25821, t = -5*h + 129160. Suppose -4*s - h = -v, -3*v + 80708 = -4*s + 3239. Is v prime?
True
Suppose -2*t = 2*t - 5*p - 21, 2*t + 4*p - 4 = 0. Suppose 5*w - 2*f = 24443, -19554 = -t*w - 0*f + 2*f. Is w prime?
True
Suppose -13*o = -8*o + 10. Let r(q) = q + 6. Let m be r(o). Suppose -m*s = -8, -5*h = 3*s - 70 - 381. Is h a composite number?
False
Let k be 0 - (-3)/(-21) - 60/(-28). Suppose -14280 = -2*l - w, 2*l + k*w + 14286 = 4*l. Is l composite?
True
Let h = 14007 + -5789. Suppose 4*w + 10*w - h = 0. Is w prime?
True
Suppose 9*x - 4*x = 3*a + 45, x = a + 9. Let o(z) = -z**3 - 2*z**2 - 4. Let l be o(-3). Suppose -l*s = -x*s + 1028. Is s a composite number?
False
Let q(v) = 3*v - v + 40 + 34*v**2 - 5*v + 4*v + 8*v. Is q(7) a composite number?
True
Is (8/(-12) + (2 - -726434))/(4/6) prime?
True
Let i(o) be the second derivative of -o**3/6 - 5*o**2 + 19*o. Let j be i(-9). Is 3/j*(-5 + -176) composite?
True
Let f be (36 - 35)/(1/3). Suppose 0 = f*k + 32*k - 69475. Is k prime?
False
Suppose 0 = 2*j - 2*k - 20, -k - 2*k = 3*j - 12. Suppose r + 5*t = -15, 0 = -j*r + 4*r + 2*t + 23. Suppose -5*m + 2947 = 3*h, 3 + 604 = m + r*h. Is m composite?
False
Suppose 558133 = 10*k + 123701 - 3814958. Is k prime?
True
Suppose 4*t - 14*t + 19*t = 2271663. Is t a composite number?
True
Suppose 270 = -2*g - 8*g. Let j be g/(-2)*(1 + 1 + 56). Suppose -4*a + 3811 = j. Is a composite?
False
Suppose 4*f + 6*f = 15*f. Suppose 17*t - 154632 + 9775 = f. Is t composite?
False
Is 3691101/(-4 + (-56)/(-8)) composite?
False
Suppose 0 = -0*k + 9*k - 90. Suppose 22*v = 21*v + k. Suppose 9246 = -v*t + 16*t. Is t composite?
True
Is 6*((-181)/(-2) - 12) prime?
False
Suppose -5*n = -5*q, 0 = 4*n - 5*q + 3. Suppose -n*u - t = -2782, -5*u - 4*t = -8*u + 2792. Suppose -4*r - 2*j = 2*j - 924, -4*r = 2*j - u. Is r prime?
True
Let g = 305335 - 20629. Is 4/14 + g/(-84)*-2 a composite number?
False
Let y = 2755 + -1392. Suppose -7837 = -6*j - y. Suppose 5*i - w - j = w, 205 = i - 4*w. Is i a composite number?
True
Let y be -1 + (-3 - -6 - -1). Let f be 153*y - (-18)/6. Let c = f - 215. Is c a prime number?
False
Suppose 18*b - 4934155 + 674775 = -2*b. Is b prime?
True
Let o(t) = -56*t**3 - 12*t**2 - 24*t + 1. Suppose 102*a + 5 = 101*a. Is o(a) a prime number?
False
Let o(w) = -w**3 - 37*w**2 + 148*w + 213. Is o(-44) prime?
True
Let i = -180 - 176. Suppose -c + 10*v = 5*v - 8, 4*v - 24 = -3*c. Is (-8)/4*i/c a prime number?
True
Let h(u) = -5*u + 27*u + 6 - 4. Let f be h(1). Suppose 0 = -4*a + 76 + f. Is a a prime number?
False
Let u = 87819 + -43090. Is u composite?
False
Let n(i) = 2*i**3 + 9*i**2 + 6*i + 17. Let c be n(-9). Let v = -412 - c. Let u = v - 49. Is u composite?
True
Let y be 3/3 - 8/12*-6. Suppose -4*c - 5*p - 21 = 0, -y*c + 0*p = 2*p + 5. Suppose c = -3*f + 2*f, -4*m = -2*f - 8630. Is m composite?
True
Let g(n) = 21*n**2 + 106*n + 1899. Is g(-38) a composite number?
True
Let r be 11852/26 + (-10)/(-65). Suppose 4*z + 4*o - r = 0, 2*z + 4*o = o + 231. Is z a composite number?
True
Suppose 0 = 4*t - 5*i + 63, 37 = -2*t + i - 2. Let v(o) = -o**2 - 24*o - 42. Let m be v(t). Suppose -1556 = -2*k - m*k. Is k a composite number?
False
Suppose 4 = 2*z - 22. Suppose -z*u - 3314 = -14*u. Let v = u - 1413. Is v a prime number?
True
Suppose 174*k = 182*k + 152. Let h(z) = 34*z**2 + 20*z + 59. Is h(k) composite?
False
Let b(g) be the first derivative of 13*g**3/3 - 3*g**2 + 8*g - 26. Let a be b(-8). Suppose 0 = 3*h - a - 681. Is h a composite number?
False
Let v be (-67)/(((-168)/(-20))/3 - 3). Let m = v + -1379. Let a = -705 - m. Is a a composite number?
True
Is 3/5 - ((-90)/(-1125))/((-1)/656255) a prime number?
True
Let c(s) = 5105*s - 3995. Is c(18) a composite number?
True
Is 11/((-11)/(-58296)) + 13 composite?
False
Suppose -1970 + 34570 = 5*z. Suppose -6*g + z - 898 = 0. Is g a prime number?
True
Let d(r) = 238457*r + 2167. Is d(2) a composite number?
False
Suppose -4*o = -2*g - 194600, 5*o = 2*o - 3*g + 145941. Is o a prime number?
True
Let r = -193 + 198. Suppose -r*g = 12324 - 68069. Is g composite?
False
Suppose 18 = 30*s - 102. Suppose -4*x - s*y + 145648 = 0, -5*x + 4*y = -228284 + 46197. Is x composite?
True
Let d = -451296 + 824857. Is d a prime number?
True
Let t = -9 + 11. Let w = -1868 - -2689. Suppose 407 = t*y - w. Is y a prime number?
False
Let k = 26 + -28. Let p be 0/(2*(-1 - k)). Suppose -4*s = 5*x - 0*s - 3175, p = -4*s. Is x prime?
False
Suppose -169 = -9*v + 65. Let f be (v/(-39) + 4/6)/2. Is 4 - (f + (-113 - -2)) composite?
True
Let y(w) be the first derivative of w**4/4 + 3*w**2/2 - 6*w + 19. Let h be y(0). Let r(c) = -276*c - 15. Is r(h) composite?
True
Let c(z) = -594*z - 413. Is c(-45) a prime number?
True
Let v = 6586 + -5747. Is v a composite number?
False
Suppose o + 2*o + 4*s = 16, o - 3*s = 1. Suppose -11 = -y + o*i, i + i = 5*y - 19. Suppose -y*f = -4*f + 503. Is f a prime number?
True
Suppose -3361*i - 1114782 = -3367*i. Is i prime?
True
Suppose 2*j - 27 = 5*b - 81, 2*j - 36 = -4*b. Suppose 0 = 15*x - b*x. Suppose -19*r + 12*r + 15701 = x. Is r prime?
True
Let b = 2511 + -406. Suppose 2*h + 0*h = -2*a + 2104, h - b = -2*a. Suppose -1013 = -m + 3*d + 72, -5*d + a = m. Is m a composite number?
True
Let u(d) = -d**3 - 8*d**2 + 11*d + 31. Let l be u(-9). Suppose -l*o = 7018 + 1562. Let w = o - -1567. Is w a prime number?
True
Let l(r) = 33*r**2 - r + 2. Let x be l(1). Let q = 29 - x. Is (1/q)/1 + 5632/10 prime?
True
Suppose -h = x - 15860, -5*x = -3*h + 4*h - 79316. Suppose 4*b - 7930 = -2*d - 0*b, -4*b + x = 4*d. Is d prime?
True
Is (-3656)/20*(-8)/((-48)/(-1455)) a prime number?
False
Let a = -72 - -79. Suppose -a = -5*n + 8, -3*n + 31 = u. Suppose 19*d = u*d - 1143. Is d a prime number?
False
Suppose 15*b = 11*b + 12. Let z(k) = 72*k**2 - 4*k + 4. Let d be z(b). Suppose -6*w - d + 3094 = 0. Is w a composite number?
False
Let t(f) = -11*f**3 - 16*f**2 + 28*f - 68. Let d(x) = 14*x**3 + 16*x**2 - 29*x + 67. Let b(u) = 3*d(u) + 4*t(u). Is b(-14) a composite number?
False
Suppose 3*d - 4*b = 5789, 2*d + 760 = 3*b + 4619. Let p = -780 + d. Is p prime?
True
Suppose -4*a = -20, -123*a + 330332 = 3*l - 128*a. Is l prime?
True
Is ((-4)/(-14) + (36140470/(-399))/(-34))*3 a composite number?
False
Suppose -3*y + 2*j = -49, 10 = -2*y - 5*j + 49. Let m(c) = -y*c + 6*c - 4*c - 14. Is m(-15) composite?
False
Let r(q) = 1386*q - 2778*q + 23 - q**3 + 34*q**2 + 1385*q. Is r(26) a prime number?
False
Let u(v) = -6*v**2 + 14*v + 14. Let o be u(-1). Is 6063 + 5 + 6/o composite?
False
Suppose 64 = 4*n + 4*n. Suppose -3*d = n*d - 47135. Is d a composite number?
True
Let y = 83 - 20. Let r = y + -62. Is r*((-2390)/6)/(3/(-9)) prime?
False
Let j(p) = -p**2 + 72 + 13 + 8*p + 21*p. Is j(25) a composite number?
True
Let k(c) = c**2 - 12*c - 106. Is k(-45) prime?
True
Is ((-412696)/32 + -3)*-4 prime?
True
Suppose -u + 6*v = -2747047, 9*u - 4*v = 8*u + 2747031. Is u a prime number?
True
Suppose -7*n = -8*n - 5*y + 583387, -4*n + 2333460 = -2*y. Is n prime?
True
Let c(q) = -4*q + 12. Let f(v) = v**3 + 4*v**2 + 2*v - 1. Let n be f(-2). Let l be c(n). Suppose 2*t + 3*r - 4372 = l, -2181 = -6*t + 5*t - 4*r. Is t prime?
False
Let s(i) = 589*i**3 + i**2 + 3*i + 4. Let f be s(5). Suppose 0 = 18*q + 5*q - f. Is q prime?
True
Let o(d) = 259*d**2 + 4*d - 15. Let f be o(3). Let u = 4409 - f. Is u a prime number?
True
Let a(y) = -3907*y**3 - 3*y**2 + 296*y + 893. Is a(-3) prime?
True
Let m be 0/(2/(-10)*-5). S