s n prime?
True
Let s = -135683 + 274750. Is s a composite number?
False
Let n(f) = 18296*f**2 - 343*f - 1. Is n(-4) composite?
True
Let c = -47 - 239. Let t be (-2)/(-4) + c/(-4). Let g = t - 39. Is g a composite number?
True
Let t(b) = b**3 + 13*b**2 + 13*b + 18. Let a be t(-12). Let u(w) = 215*w**2 - 5*w + 48. Let n be u(a). Suppose -32*j + 26*j = -n. Is j a composite number?
True
Let l = 10873 - 6404. Is l prime?
False
Suppose -26 = -6*r - 7*r. Suppose -4*z + 2*z - 12528 = -4*m, -r*m + 3*z = -6272. Let o = -1661 + m. Is o a prime number?
False
Let n(u) be the third derivative of -u**4/24 + 13*u**3/6 + 35*u**2. Let l be n(14). Is 15306*(-8)/(-60) + l/(-5) composite?
True
Let u = -11 + 14. Suppose a - 5*o = -45134, -2*a + 5*o - 225650 = u*a. Is ((-2)/3)/(14/a) composite?
True
Let z(n) = -7*n**3 + 33*n**2 + 49*n + 906. Is z(-37) composite?
True
Let h(u) = 5*u**2 + 8*u + 2. Let w be h(-10). Let g = 601 - w. Suppose -609 + g = -2*q. Is q a prime number?
False
Suppose 62*x + 7092 = 64*x. Let d = x + 43. Is d prime?
False
Suppose -11507 = 10*k + 9313. Is k*(3 - 10)/14 prime?
False
Let m(t) = t**2 + 15*t + 27. Let i be m(-13). Let l be (-4)/(-3 - i) - -3. Suppose h = -2*b + l*h + 1226, 0 = 5*h. Is b composite?
False
Let l = -51276 - -33661. Let x = -2772 - l. Is x composite?
False
Is 2605/5*3*(-7024)/(-48) a prime number?
False
Let j(r) = r**3 + 10*r**2 - 10*r + 14. Let l be j(-11). Suppose -l*a + 4*a = 19. Suppose a*n = 20*n - 685. Is n a prime number?
False
Suppose 11 = -2*m + 3*m + 4*s, 3*s - 22 = -2*m. Suppose 10*z + 6 = m*z. Let f = z - -403. Is f composite?
False
Let c(p) = 10832*p**2 + 653*p - 5135. Is c(8) prime?
True
Let d(a) = a**3 - 5*a**2 - 6*a + 2. Let u be d(6). Suppose 20 = -5*s + 2*s + 5*w, 46 = -5*s + u*w. Is (-6)/s - 26/10 - -1401 a prime number?
True
Suppose 4*k + 4 = 4*z, 15 = 4*z - 5*k + 13. Suppose -5*q + z*x + 2349 + 5204 = 0, 2*q = -4*x + 3042. Is q a composite number?
True
Let z = -116535 - -230716. Is z prime?
False
Suppose 8*b = -15*b + 15*b + 40. Let f be ((-14)/(-4))/(1/2). Suppose -b*v - 960 = 2*y - f*y, v = -1. Is y composite?
False
Let s(g) = g - 6. Let b be s(7). Let j(d) = 376*d**2 + 2*d - 1. Let f be j(b). Suppose -2*m = -3*u + 2*m + f, -4*u + 3*m + 505 = 0. Is u a prime number?
True
Suppose 5*t - 21497 = 3*p, -37*p - 4 = -36*p. Is t composite?
False
Let d = 123766 - 20769. Is d composite?
True
Let m be (-58)/(-87) + 8/(-3). Is 6/(m - 4) + 1*2322 prime?
False
Let y(s) = -2*s**3 - 62*s**2 + 46*s - 71. Suppose d = 4*l - 3*d + 140, -3*l - d - 97 = 0. Is y(l) composite?
False
Suppose -n + a + 2 = 0, -n = -5*n - a - 2. Let r(m) = -4*m**2 - 2*m + 2777. Is r(n) prime?
True
Is 10 - 27/((-594)/4182838) a composite number?
True
Let z = -34765 + 86325. Suppose 0 = 22*s - 42*s + z. Is s a prime number?
False
Let l = -68752 + 106499. Is l composite?
False
Suppose -2*y + 4*d - 9684 = 0, 0 = -4*d + 17 - 1. Let g = -3011 - y. Is g composite?
False
Let a be (-4)/(-20) + 1/(-5). Suppose -2*i - 8 = 0, 2*i + a*i - 4 = -4*y. Is (-9)/y + 2 + (-588)/(-4) a composite number?
True
Let z(p) = -p + 15. Let u be z(11). Suppose 12 = -3*m, -x + 29 + 37 = -u*m. Suppose -51*a + 257 = -x*a. Is a a prime number?
True
Suppose 0 = -5*j + 5*i - 5810, j + 3*i - 205 = -1359. Let y = j - -2269. Is y prime?
True
Let t(u) = 4843 + 1696 + 5*u + 150 - 792. Is t(0) prime?
True
Let j be (3/((-3)/4))/(0 + -2). Suppose -j + 12 = -p + 3*t, -16 = -4*t. Suppose p*b - 128 - 98 = 0. Is b a prime number?
True
Suppose 0 = 4*j - 0*y + 2*y - 35944, y = -4. Suppose -21*z + 5271 = -j. Is z a composite number?
True
Let t(g) = -g**3 + 39*g**2 - 62*g + 21. Let q be t(39). Let y = q - -5528. Is y composite?
True
Let j = 1055 - -1611. Let p = j + -1497. Is p composite?
True
Is (-58057112)/(-240) + (-3)/2 - (-4)/(-30) a composite number?
False
Is 3 - (-74511)/63 - (-4)/14 a prime number?
False
Let b be (-3 + 2 - -1) + (-62520)/(-2). Suppose -b = 30*m - 42*m. Is m a prime number?
False
Suppose -21210 = 2*p - 150568. Is p a prime number?
True
Let a(c) be the second derivative of c**3 - c**2/2 + 6*c. Let u be a(1). Let f(b) = 24*b**2 - 2*b - 4. Is f(u) a prime number?
False
Is 404525/(-125)*1*(4 + -9) a composite number?
True
Is (-7013610)/(-120)*(22/30 + (-72)/(-120)) a prime number?
True
Is (-286)/(-429)*24294/4 composite?
False
Let y = 44651 - 16068. Is y a composite number?
True
Is (-2)/8 - (-57566025)/660 a composite number?
False
Suppose -25*w - w = -8*w - 15929586. Is w composite?
False
Let a be -2*1*3*21/(-9). Suppose 3*g = a + 22. Suppose 7*x - g*x = -2335. Is x a prime number?
True
Suppose 1582178 = 5*a - 3*q - 844253, -a - 2*q = -485307. Is a a composite number?
True
Let n(c) = 21*c + 1. Suppose 136 = 4*r + 5*o, o + 33 = r + 2*o. Suppose 4*q + 5 = -2*v + r, 2*q - v - 12 = 0. Is n(q) prime?
True
Suppose -m = 2, -4*i + 4*m = -3*i - 2. Is 8/(-16)*(6449*i)/3 a composite number?
False
Suppose -27*a - 11072266 = 5*a - 54474474. Is a composite?
False
Let a(b) = 210*b + 59. Suppose 0 = -25*d + 64 + 86. Is a(d) prime?
True
Suppose -20*n = -3*n - 7888. Let r = -122 + 84. Let m = n - r. Is m composite?
True
Let a = -467 - -464. Is -3 + (3987 - -2) - a prime?
True
Let k(x) = -2*x - 25. Let w be k(-14). Suppose 12 = -w*b, -22*m - b = -19*m - 13319. Is m a prime number?
True
Let b(s) = s**2 - 6*s. Let l be b(6). Let n be l*(-1)/(-2 - -3). Suppose n*d + 1023 = 5*g - 2*d, -d = 2*g - 402. Is g composite?
True
Suppose -4*d = -29*t + 34*t - 7198047, 4*t - 3599034 = -2*d. Is d composite?
False
Let i be 85/6 - (-1)/(-6). Suppose 13*d = i*d - 6791. Is d prime?
True
Suppose 51*c - 3*c = -771723 + 2464251. Is c prime?
False
Let w(b) = -84*b**3 + b**2 - 8*b - 10. Let g(p) = 3*p - 53. Let h = -19 - -35. Let c be g(h). Is w(c) prime?
False
Let w be (459/18)/(3/20). Suppose -w = -2*v - 580. Let m = -118 - v. Is m a prime number?
False
Suppose j - 15 = 5*p, -9 = -p + 3*j + 2. Let y(b) = -2*b**3 - 9*b**2 - 4*b + 5. Let u be y(p). Suppose -8546 = -u*c + 1949. Is c prime?
True
Let o be (-128)/60 + (-4)/(-30) + 5. Is (3 - -10210)/(o/(-12)*-4) a prime number?
False
Let g be ((-312)/195)/(1 - (-39894)/(-39890)). Is (-12)/8*g/(-6) prime?
True
Suppose -3*h - 5 + 20 = 0. Suppose -5*j + h*s - 90 = -2*j, 0 = s + 3. Is 3634/14 + 20/j prime?
False
Let z(s) = 304*s + 43. Let d(i) = -3*i**2 - 20*i + 11. Let w be d(-7). Is z(w) a prime number?
True
Suppose 3*l + 39 = 5*w, 5*l + 26 = 5*w - w. Let t(a) = 3*a - 23. Let m be t(w). Suppose 0 = m*p - 7*p + 762. Is p prime?
False
Let l(x) = 18*x**2 - 27 + 22 - 63*x + 53*x. Is l(8) prime?
False
Let i(r) = -37*r + 15. Let a(c) = -40*c + 15. Let t(b) = -3*a(b) + 2*i(b). Is t(7) prime?
True
Let g(w) = 3*w - 1. Let d(a) = -2039*a + 40. Let u(x) = d(x) - 5*g(x). Is u(-2) a prime number?
True
Suppose -3*q - 4*h = -19, -2*h + 4*h = q + 7. Let u(d) = 3*d**3 + 2*d**2 - d - 1. Let j be u(q). Suppose -473 = -5*c + j*m, 2*c + 14 - 192 = 4*m. Is c prime?
True
Let j be 13 + ((-4)/(-8) + -1)*2. Suppose -4*o - j = -u, 4*u - 20 = -o + 3*o. Suppose -u*p = 3*p - 15239. Is p composite?
True
Let a = -4847 - -7769. Let u = a + -1021. Is u prime?
True
Let r(k) = 6803*k**2 - 103*k + 563. Is r(5) prime?
True
Let v(o) = -o**3 + o**2 + 2*o. Let u be v(-1). Suppose 0 = -3*q - 3*c - 1 + 13, u = -4*q - c + 13. Suppose 598 = q*z + 169. Is z a composite number?
True
Let u = 3603979 + -1717022. Is u a prime number?
True
Is 158070709/209 - (-12)/(-66) prime?
True
Suppose -4*j = 5*o - 48, 21 = 3*j - 5*o + 20. Suppose 16*w - 3703 = -j*w. Is w a prime number?
False
Suppose -2*r + 4*h = 266, -1 = 3*h + 11. Let f(b) = 16*b - 66. Let g be f(4). Is (r/6)/(g/76) a prime number?
False
Let v(q) = -q**2 + 23*q - 83. Let l be v(17). Suppose l*u - 8416 = -13*u. Is u a composite number?
False
Let u be 7 - 2 - (-615 - 1). Suppose u = x + 112. Is x a prime number?
True
Let b = -49 - -52. Suppose -3*n + 510 = -b*v, 2*v = 2*n - v - 345. Suppose -5*j = -3*d + 4*d - 189, -5*d = -5*j + n. Is j a composite number?
False
Let q = 191675 - 123174. Is q a composite number?
False
Suppose 3 + 22 = 5*f. Let z be 53/11 + 6/33 - -334. Suppose -f*t = 2*x - 807, 3*t + 3*x - z = 147. Is t a composite number?
True
Suppose -7*v = -2*v - 80. Let b = 273 - v. Let g = 396 - b. Is g prime?
True
Let x be -2 - 3 - 421*-1. Let n = -27 + x. I