71565 - -111796. Is d a prime number?
True
Suppose 3974 = 3*p - 5*b, -2314 = -5*p - b + 4356. Suppose 4*s = p - 161. Is s a prime number?
True
Let i(l) = -l**2 - 8*l + 27. Let m be i(-9). Suppose -m*f - 2394 = -14832. Is f prime?
True
Let r(k) = -363*k**3 + 5*k - 1. Let y be r(-4). Let f = y + -15963. Suppose 1444 = 4*g - f. Is g a composite number?
True
Suppose 105*k + 1938 = 99*k. Is k*39/(-6) - 18/36 prime?
True
Let u(t) be the first derivative of 133*t**3/3 - 9*t**2/2 + t - 81. Is u(5) prime?
False
Suppose 5*v + 8*v = -36946. Let b = -1299 - v. Is b prime?
True
Let l(v) = 2*v**3 + 5*v**2 - 12*v - 32. Let q(i) = 12*i**3 + i**2 - i + 1. Suppose -5*j + 1 = -4*j. Let w be q(j). Is l(w) a prime number?
True
Suppose 2*x + 33150 = 5*a, -3*a + 15518 + 4356 = 2*x. Suppose -31*t - a = -35*t. Is t a composite number?
False
Let n(o) = 4135*o**2 - 58*o - 7. Is n(-2) composite?
False
Let n be 3/(-9) + 2 + 689080/30. Is 110/(-44) + n/2 prime?
True
Let s(k) = -3*k + 19. Suppose 4*z + 2*g - 6 - 4 = 0, -z + 5*g + 30 = 0. Let q be s(z). Suppose j + 807 = q*j + 3*o, j = -4*o + 281. Is j composite?
True
Suppose -5205766 - 3128818 = -8*j. Is j prime?
True
Let l = 0 - 3. Let p be -9*l/((-36)/(-8)). Suppose -4*j + 517 = p*u - 3*u, -5*j = 3*u - 512. Is u a composite number?
False
Let g(u) = -u**3 + 6*u**2 - 11*u + 14. Let z be g(4). Suppose s - z*s + 4 = 0, 3*j - 4*s = 16127. Is j prime?
True
Let d(z) = z**3 - 11*z**2 - 13*z + 14. Let g be d(12). Suppose g*a + 5698 = 3*a. Suppose 14221 = -3*x + 8*x + j, 2*x = 2*j + a. Is x a composite number?
True
Let n(q) = -q**2 + 8*q - 12. Let l be n(3). Suppose 3*h - 4*y - 5117 = 0, 8543 = 5*h - 6*y + l*y. Is h a prime number?
False
Let z(i) = i**3 + 2*i**2 - 11*i - 20. Let k be z(-3). Suppose -2*y = -3*w - 5*y + 4959, k = -y. Is w composite?
False
Let j(x) = 1394*x - 2417. Is j(24) a prime number?
True
Suppose 4*f + 18 + 19 = 5*g, 4*g = 4*f + 36. Let u(x) be the first derivative of -x**4/4 - 4*x**3/3 + x**2/2 + 11*x - 477. Is u(f) a prime number?
False
Suppose 5*l - 292602 = 4*t - 95423, t = l - 39435. Is l composite?
False
Let l(d) = -d**3 + 189*d**2 + 64*d + 65. Is l(-17) composite?
False
Let x(j) = 116*j**2 + 14*j + 3. Let k be x(-6). Suppose -k = 4*o + 3*y, 0*y = 3*o - y + 3055. Let b = -239 - o. Is b a prime number?
False
Let g(q) = 11657*q**2 + 87*q - 21. Is g(5) a composite number?
True
Is 2*(26559990/36)/5 prime?
True
Suppose 3*a = -i + 18 + 41, 2*a + 278 = 5*i. Suppose 58*y - 15242 = i*y. Is y composite?
False
Let j be (2 - (-35)/(-15)) + 3101/(-3). Let y = 11976 + j. Is y prime?
False
Let t(d) = 960*d**2 - 10*d + 65. Let h be t(5). Let c = h - 5004. Is c a composite number?
True
Is ((-874610)/30 - 15)*3*1/(-2) prime?
True
Let p = -9803 + 18202. Is p prime?
False
Suppose -3*y = -4*y + 51. Suppose -p + y = -0*p. Let d = p + 2. Is d a prime number?
True
Let a = -105003 - -574852. Is a a prime number?
True
Is 3171764*(-7)/28*(4 - 5) a prime number?
True
Let h(u) = -7812*u - 467. Is h(-15) a composite number?
True
Let j(u) = -26*u + 30. Let h be (36/8 + -3)/((-2)/12). Let n be j(h). Let m = n + -15. Is m a prime number?
False
Is (11 - 1)/2 + 44574 a prime number?
True
Suppose 0 = -5*h - 4*m + 36341 + 30302, 3*h - 39996 = m. Let q = h + -5622. Is q composite?
True
Let l be (-71808)/99*(-6)/4. Let b = l + -617. Is b prime?
False
Let x = -81 + 88. Suppose x*g - 21*g + 125958 = 0. Is (-4)/16 - g/(-4) a prime number?
False
Let c = 5241 - -21528. Is c a prime number?
False
Suppose -7464 = -18*a + 12*a. Let l = a + -133. Is l a prime number?
False
Let q(a) = -5863*a - 2. Let p be q(-2). Let h be (6/(-15))/(-2) - p/20. Let z = 893 + h. Is z a prime number?
True
Suppose -1 + 0 = -h, q = 2*h. Let r(s) = 195*s**3 + 5*s**2 - 6*s - 2. Let z be r(q). Let b = 3367 - z. Is b prime?
True
Let y(w) = 27*w**3 - 6*w**2 - 18*w + 26. Let r be y(11). Suppose r = 3*s + 10094. Is s a prime number?
False
Let h(f) = -1761*f + 4. Let p be h(-1). Suppose 8*k - 9261 = -p. Is k a prime number?
True
Let b(v) = -10*v**2 + 8*v - 5. Let o be b(1). Let l(w) = -52*w**3 - 12*w**2 - 6*w + 1. Is l(o) a prime number?
True
Let c = -42 - -57. Let x be 1/((-10)/(-6244)) + 9/c. Suppose 4*r = -3*q + x, -4*q + 34 + 762 = -4*r. Is q prime?
False
Let v be (8 + -2 - 10)*(-33)/2. Is (-2)/(-11) - ((-82884)/v - 3) prime?
True
Let o(f) = -6*f + 122. Let v be o(17). Is (v/(-6) + -7)*-1437 a prime number?
False
Let b be (7 - 27)*(2 + 53). Let r = b + 1578. Is r a prime number?
False
Suppose 0*n = 3*c + 5*n + 11462, 3*n = 2*c + 7616. Let y = 7235 + c. Is y composite?
True
Let x = -2392 - -2403. Suppose 563 = 4*r - 5*h, -r - h = -3*h - 140. Let s = r - x. Is s prime?
True
Let s = 0 - -16. Suppose -42 = 10*m - s*m. Suppose -m*i + 1933 + 8784 = 0. Is i a composite number?
False
Suppose 47434*u - 47406*u - 5484724 = 0. Is u a composite number?
False
Suppose 53*g - 22968067 - 6996063 = -17*g. Is g composite?
True
Let t(l) = 2*l**2 - 2*l - 21. Let d be t(4). Suppose -d*x + 10489 = -3644. Is x a composite number?
True
Suppose 0 = 67*l - 53*l - 294. Let g(y) = 101*y - 134. Is g(l) prime?
True
Is 2977787 + 2 + 10 - -12 a composite number?
True
Let d(z) be the first derivative of 35*z**4/4 + 4*z**3 + 3*z**2/2 + 9*z + 183. Is d(4) prime?
False
Let b be -4 + (-3)/9*-9. Let m(t) = 18*t - 3*t**2 - 2709*t**3 - 17*t - t + 1. Is m(b) a composite number?
False
Let k(s) = -2*s**2 - 13 + 3*s**2 - 9*s + 3*s**2 + s. Let p(g) = 2*g**2 - g + 6. Let i be p(0). Is k(i) prime?
True
Let r = -2121 - -9718. Suppose 12*n = 21409 - r. Is n a prime number?
True
Suppose -1642794 = -134*o - 514678 + 2801970. Is o a composite number?
True
Let b(h) = 2353*h**3 + 2*h**2 - 2*h + 1. Let f be b(1). Suppose -3*p - 2*n = -p - f, 0 = -5*p + n + 5909. Is p composite?
False
Suppose 4*y - 2*k = 8*y - 48, -k + 36 = 3*y. Suppose y*c - 9*c - 1791 = 0. Suppose 2*b + c = 1703. Is b a composite number?
True
Let l be 2/6 + (-44)/(-12). Suppose 5*d + s - 8535 = 0, 3*d - d - 3414 = -l*s. Is d composite?
True
Suppose -6*u = 13 - 7. Let h = -3184 - -1914. Is (h/(-20))/(u/(-6)) prime?
False
Let c(t) = 846*t - 1657. Is c(10) composite?
False
Let v = 384666 + -212425. Is v a prime number?
False
Suppose 2*r = -3*f + 12, 0*r = 3*r - 3*f + 12. Suppose -w - 4*w + 1280 = r. Is (w - -1)*(-15)/(-9)*3 composite?
True
Let d be 18/(-117) - 67/(-13). Let y be (d/10)/((-7)/6 + 1). Is (13251/(-6))/7*(y + 1) prime?
True
Let v(g) = 5*g + 8. Let t be v(-1). Suppose t*x - 111139 = -4*x. Is x a prime number?
True
Suppose 0 = 3*u - 12, -3*u = -5*o + 11 - 23. Suppose o = 12*c - 57327 + 5691. Is c composite?
True
Suppose -3*w = -24*w. Suppose -4*l - 5*s - 151 + 4054 = 0, w = 2*l + 3*s - 1951. Is l a prime number?
True
Let d(m) = 1317*m - 22. Let g be d(9). Let b = -8028 + g. Is b a prime number?
True
Let t(b) = -441*b**3 + 13*b**2 + 69*b - 14. Is t(-4) prime?
False
Let a = 51706 - -658985. Is a a prime number?
False
Suppose 0 = -z - 2*n - 3, 4*n = 3*z + 24 + 5. Let d be 3/z - (-794)/7. Let c = d - -14. Is c composite?
False
Let s(r) = 11*r**2 - 53*r - 11. Let l(z) = -23*z**2 + 107*z + 24. Let n(x) = 3*l(x) + 7*s(x). Is n(-16) a prime number?
True
Suppose 275*d - 199*d = 26944204. Is d a prime number?
False
Is (-14 + 16)*-4 + 39825 a prime number?
False
Suppose 2*p = -3*o + 46, 5*p = -2*o + p + 20. Is ((-6114)/9 + 0)*o/(-12) composite?
False
Suppose -15 = 12*a - 75. Suppose -a*u + 5*p = -9735, 0 = -5*u + p + 4529 + 5214. Is u composite?
False
Suppose -l - 190 = -193. Suppose 0*w - 5*y - 1888 = -l*w, 5*y + 3150 = 5*w. Is w prime?
True
Let c(f) = -769*f**3 - 3*f - 3. Suppose 0 = -3*j + i - 1, -3*i - 1 - 10 = 5*j. Is c(j) prime?
True
Let z(l) = 283*l - 107. Let p(o) = o**2 + 3*o. Let c be p(3). Is z(c) composite?
False
Suppose -23*j + 46*j = -92. Let r = 1349 - 654. Is 1 + r - (j - -2) prime?
False
Let q = 374 - 857. Let f be 6718/(-24) - (-22)/(-264). Let i = f - q. Is i prime?
False
Let y(t) = -3*t**3 - 6*t**2 - 5*t + 1. Let z be y(-3). Let m = 822 + z. Let s = -158 + m. Is s a prime number?
False
Let z(k) = 21267*k**3 + 3*k**2 - k - 1. Let q be z(1). Suppose -q = 33*t - 37*t. Is t prime?
False
Let f(h) be the third derivative of -h**5/30 + 3*h**4/8 + 7*h**3/3 - 8*h**2. Let z be f(19). Let d = 1094 + z. Is d a composite number?
False
Let r = -66 + 71. Sup