(0 - (b + (-1)/(-2))) a prime number?
True
Suppose -3*s + 5*p = 1, -4*s + 11 = 2*p - 5. Suppose -7*t + 40 = s*t. Suppose 0 = -2*a + t*n + 1778, -2*a + 1778 = -n + 2*n. Is a a composite number?
True
Let v(d) = 4*d**2 + 14*d - 37. Let r(s) = -16*s - 2. Let n be r(2). Is v(n) prime?
True
Let n(s) = 24*s**2 + 105*s - 71. Let h be n(34). Suppose -4*p + 13*t + h = 10*t, -3*p - t = -23416. Is p a prime number?
False
Suppose -10*z - 140 = -24*z. Is (-2 + 30/z)/((-2)/(-3602)) a composite number?
False
Suppose -4*f - 7 = -i, 0 = 5*f - 0*i - 2*i + 5. Let k be (f - (-68)/20)*(1 - -9). Suppose k*n + 4*l = l + 1781, -5*n = 2*l - 2235. Is n a composite number?
False
Suppose 2*o + o = 15*o - 575868. Is o composite?
True
Is 15139618/76 + (6/4 - 0) a composite number?
False
Suppose n = -2*y + 70, -n + 81 - 3 = 4*y. Suppose -n*z = -56*z - 32766. Is z prime?
False
Let h(g) = 13603*g - 2369. Is h(34) prime?
False
Let d be (-1)/2*(-24)/6. Suppose 5*k = 4*c - 13157, -d*k + 3*c - 5261 = 2*c. Is 6/9 - k/3 a prime number?
True
Let o(v) = 9835*v**3 - v**2 - 2*v - 1. Let g be o(-1). Let t(h) = -h**3 + 3*h**2 - h - 7. Let n be t(3). Is (n/35)/(5/g) composite?
True
Let s be (7090 + -27)*(6/(-14) + 1). Let y = -6 + 9. Is y*(-1)/2*s/(-6) a composite number?
False
Suppose c - 49673 = 2*y, -8*c + 15*c + 5*y - 347616 = 0. Is c a prime number?
True
Suppose 0*y + 2*y - 8 = 0. Suppose -2*f = 5*d - 39, -7 = y*d + 2*f - 37. Let o = d - -68. Is o prime?
False
Suppose -9*f + 71 = 89. Let x(q) = 350*q**2 + 4*q + 7. Is x(f) a prime number?
True
Is 45*4/36 - (-144160 - -4) composite?
False
Let i(a) = -1137*a - 5518. Is i(-45) a composite number?
True
Suppose 4*t + 2*o = 30, 0 = 22*t - 17*t + o - 30. Suppose 2*u - 21574 = -t*p + 1345, 0 = 5*p - 3*u - 22909. Is p composite?
False
Suppose 4*z + o - 2*o - 440 = 0, 0 = 2*z + 3*o - 206. Let x = 2044 + -2007. Suppose -k + z = -x. Is k a prime number?
False
Let c be 4/((80/1465)/8). Let x = 2683 + c. Is x a composite number?
True
Let c = 176 - 168. Suppose c = 4*q, -13617 - 16336 = -5*d - 4*q. Is d prime?
False
Let t = -1704 - -1709. Let z(a) = 403*a - 8. Let b be z(-8). Is 3/t - b/5 a prime number?
True
Suppose -11*h - 2*q = -7*h - 371866, q + 185943 = 2*h. Is h a prime number?
False
Let f = -2803 - -2821. Suppose -4*n + 42 = -3*n. Is 1230/21 + f/n composite?
False
Suppose 44 = 3*j - 4*n, 0 = -4*j - 0*n + 2*n + 52. Suppose -9*y + j*y - 8997 = 0. Suppose -y = -3*c + 2602. Is c a composite number?
False
Let k(w) = -232*w - 2. Let j be k(-1). Suppose 4*h + 2*n = j, 2*n = -h - 2*h + 175. Suppose -8*u + 13*u = h. Is u composite?
False
Is 39/(-65) + (-3)/((-90)/14988) a composite number?
False
Suppose 328209 = y - d, -y - 867*d + 328197 = -871*d. Is y composite?
False
Let p = -16 - -3. Let g(j) = 12*j**2 + 15*j + 8. Is g(p) prime?
False
Let a be (2 + -1)/((-2)/(-2)). Suppose y = -0*y - 8. Is 173112/64 - a/y a composite number?
True
Suppose 0 = -8*j + 3*j + 35. Let d(p) = 16*p**2 - 10*p - 14*p**3 + 4*p**3 + 9*p**3. Is d(j) a prime number?
False
Let r(h) = h**3 + h**2 + h. Let f(c) = -4*c**3 - 30*c**2 - 21*c - 32. Let v(a) = -f(a) - 5*r(a). Let s be v(23). Let p = 301 + s. Is p a prime number?
True
Let b be (-12)/((15/2)/(-5) + 0). Suppose g = 3*g - b. Suppose 0 = 3*m + 4*i - 170 - 211, g*m - 5*i - 508 = 0. Is m composite?
False
Is (520/(-16) + -1)*-1810 + (-4 - -6) composite?
False
Suppose 3*q - 48732 = 5*i, 3*q = -2*i + 30317 + 18394. Suppose 297*n - q = 294*n. Is n a prime number?
True
Let t = 3 - -54. Suppose -59*o = -t*o. Suppose -i + 4*p + p + 1481 = o, -p + 2918 = 2*i. Is i a prime number?
False
Let c = -62849 + 89646. Is c composite?
True
Let c(x) = x**2 + 7*x + 1. Let i be c(-8). Suppose f + 1 - i = 0. Is 1*-2*(-844)/f a prime number?
True
Suppose -5*h = 2*z - 47, 2*h - 3*z = 5*h - 30. Let p = -7 + h. Is (-3910)/(-10) + (0 - 0 - p) prime?
True
Suppose -51*o + 34916 = 3*o - 26*o. Is o composite?
True
Let b(f) = -325*f**3 + 19*f**2 + 9*f + 17. Is b(-4) a composite number?
True
Let j(t) = -10*t + 91*t**2 + 5 - 2 - 92*t**2 - 2*t. Let u be j(-12). Suppose 392 = 5*p - 3*p - 3*b, p = -u*b + 205. Is p prime?
True
Let i(n) = -n**2 - 11*n**2 + 47 - 14*n + 18*n**2. Is i(-9) a composite number?
False
Suppose -y + 734458 = 3*c, -386*y - 4*c + 2937824 = -382*y. Is y composite?
True
Suppose k - 2*u = -5750, 4*k + 9152 + 13848 = -2*u. Let t be k/15*9/(-6). Let c = -162 + t. Is c a composite number?
True
Let w(u) = 83*u**3 + 5*u**2 - 7*u - 13. Let z(a) = 41*a**3 + 2*a**2 - 3*a - 6. Let l(j) = 6*w(j) - 13*z(j). Let x be l(2). Let c = 124 - x. Is c a prime number?
False
Let v(f) = f**3 + 27*f**2 - 56*f - 45. Let q = 423 + -445. Is v(q) prime?
True
Suppose 6*r - 10 = 56. Suppose -4 = j - r. Suppose -10*i + 3147 = -j*i. Is i a prime number?
True
Suppose -89*h + 25329313 + 124856282 + 12736114 = 0. Is h prime?
False
Let v be (-2 + 9)*5/(70/4). Suppose -5*q = -v*o - 35581, -3*q - 14215 = -5*q - 5*o. Is q a composite number?
True
Let j(i) = -33*i**2 - 4*i + 1. Let l be j(-3). Let s = 1458 + -2295. Let g = l - s. Is g a composite number?
True
Is -2*11*785964/(-24) prime?
False
Suppose 1551549 = 3*t + 12*i, -t + 517237 = -10*i + 5*i. Is t a composite number?
False
Suppose -2*l = -s + 7, 0*s - 2*s = -2. Is 10194 - 3 - l*(-8)/(-12) a prime number?
True
Suppose 1385722 = 2*a + 4*n, -6*a - 34*n + 4157220 = -31*n. Is a a prime number?
False
Suppose -5*z + z - 3*d = -5592, -3*z + 5*d + 4165 = 0. Let h = -3249 + z. Let v = -817 - h. Is v prime?
False
Let s be (-4)/(23900/(-23908) + 1). Let t = s - -17709. Is t composite?
True
Let d(s) = -1642*s**2 + 4*s + 3. Let t be d(-2). Let h = 7503 - 7507. Is (-2)/h - t/42 composite?
False
Suppose -24*u + 267 = -21. Is (-43572)/(-5) - u/30 composite?
True
Let u(v) be the first derivative of v**5/20 + 7*v**4/12 + 4*v**3/3 - 7*v**2/2 - 21*v - 27. Let m(k) be the first derivative of u(k). Is m(9) composite?
False
Let j(s) = s**3 + 14*s**2 + 14*s + 5. Let u be j(-13). Let v(y) = -11*y**3 - 11*y**2 + 9*y + 41. Is v(u) a composite number?
True
Let p(y) = -2*y**3 - 15*y**2 + y**3 + 16*y**2 + 301 + 0*y**3 - 2*y. Let j be p(0). Let f = -142 + j. Is f a composite number?
True
Let i(m) = 2*m**3 - 33*m**2 + 8*m + 7. Let f be i(17). Suppose -f = -21*u + 15*u. Let r = u + 15. Is r prime?
False
Let a = 143935 - 99172. Let k = a - 19462. Is k composite?
False
Suppose 14*i + 6906585 = 35*i. Is i composite?
True
Suppose -2*l + 5*v = -39, 4*l - 80 + 17 = 5*v. Let x(c) = 13*c**2 + 2*c - 1. Is x(l) a prime number?
False
Let z = 28 - 23. Suppose -2*q + z*n - 21830 = -7*q, -2*q = -4*n - 8750. Is q a prime number?
False
Let a(g) = -53*g - 29. Suppose 17*x - 12*x + 15 = 0. Let v(m) = m**3 - 8*m - 3. Let w be v(x). Is a(w) a composite number?
True
Let l = 176338 + -30125. Is l prime?
True
Is 182/((-1040)/(-40)) + 102514/1 a composite number?
True
Suppose -7*v = -10*v + 3, -5*v = -5*d + 3705. Let o = 4521 - d. Is o a prime number?
True
Let j be 0 + 5 + 378/21. Let q = -21 + j. Suppose 645 = -q*v + 3*v - 5*w, -5*v + 4*w + 3183 = 0. Is v composite?
True
Let v(p) = 20*p**2 + 26*p + 47. Suppose 95 = 19*t - 247. Is v(t) a composite number?
True
Suppose 0 = -211*f + 181*f + 4895970. Is f prime?
True
Let p = 82 - 37. Suppose 0 = -40*m + p*m. Suppose m = u - 7*u + 1266. Is u a prime number?
True
Suppose 0*m - m - 10 = q, 4*m + 22 = 2*q. Let p be ((-393)/(-9))/((m/24)/(-7)). Let w = p + 515. Is w composite?
True
Let b(q) = 2*q**2 - 24*q + 34. Let t be b(11). Suppose 4511 = t*h - 11*h. Is h prime?
False
Let y = 12 - 6. Suppose h - 3*h = -y. Suppose 3*b + 5*r = 2233, -4*b = -0*r + h*r - 2992. Is b composite?
False
Let o(q) = 13*q**3 - q**2 - q + 6. Suppose -u = -5*x + 8 - 5, -u + x = -5. Is o(u) a prime number?
True
Let d(j) = -j**3 - 5*j**2 - 5*j - 2. Let s be d(-5). Suppose s*r + 2056 = 9347. Is r composite?
False
Let g be -4 + 100/(-8)*778. Let h be (-12)/(-8) - g/6. Is h/(-2)*18/(-27) composite?
False
Let z(b) = -b - 3. Let g be z(-6). Suppose 4*n + y - 9004 = -0*y, g*y - 4502 = -2*n. Is n composite?
False
Suppose -q + 909 = -7652. Suppose -3*b - 17557 = 17*i - 22*i, 5*i + 23421 = -4*b. Let n = b + q. Is n prime?
True
Let y(c) = -3*c + 52. Suppose -2*t = -5*z + 29, -5*z = 3*t + 25 + 6. Let j(o) = -2*o - 33. Let h be j(t). Is y(h) a prime number?
True
Is (-42)/24 + (