j be (-2)/t + 3972/20. Suppose 8*b - 97 - j = 0. Is b composite?
False
Let a = -25860 - -40067. Is a prime?
True
Let s(q) = 2366*q + 869. Is s(12) a composite number?
True
Let x(q) = -25*q**3 - 2*q**2 - 28*q + 9. Let k be x(6). Let o = k - -15398. Is o a prime number?
True
Suppose 0 = 28*k - 96*k + 10616092. Is k a composite number?
False
Let w be -4 - (-1680)/27 - (-2)/(-9). Let b = w + -56. Suppose -b*m + z - 100 = -760, -1653 = -5*m + z. Is m prime?
True
Suppose 2*y + 4*n = 98518, 6*y + 2*n - 295519 = -3*n. Let j = -21687 + y. Is j prime?
False
Let x(u) = 211*u**2 - 245*u + 279. Is x(-47) prime?
False
Suppose -2 = 2*u, -4*c + 858407 = -445*u + 450*u. Is c composite?
False
Let o be (-3 - 0)/((-4)/1440). Let r = -363 + o. Is r a composite number?
True
Let j = 574 + -579. Let d(f) = 10*f**2 + 4*f + 4. Let m(t) = -11*t**2 - 5*t - 3. Let g(z) = -2*d(z) - 3*m(z). Is g(j) a composite number?
True
Suppose 0 = 16*y + 145*y - 16479799. Is y a prime number?
True
Let k(n) = -4*n + 27. Let d be k(-8). Let h(l) = 134*l + 28 + 36 - d. Is h(4) a prime number?
True
Let g(w) be the first derivative of -w**4/4 - 16*w**3/3 + 19*w**2/2 + 30*w - 30. Let l be g(-17). Is (3194/l)/(((-28)/(-8))/(-7)) a composite number?
False
Let y be (2 - 2) + -12 + 5. Let a = 27 + y. Is 10/a + 2425/2 a composite number?
False
Let o(w) = 805*w - 2. Let q be o(3). Let x = q - 1326. Is x a prime number?
True
Let a = -13954 - -47940. Is a a prime number?
False
Let j(r) = -77 + 46 - 139*r + 145. Is j(-33) prime?
False
Is ((-11)/561*17)/(27959752/(-9319917) - -3) a composite number?
False
Let a(z) = z + 1. Let r be a(-4). Let l be ((-351)/(-15) - r)/(12/40). Suppose -l - 845 = -3*k. Is k prime?
True
Let k be 4/10 - 56/(-35). Suppose -3*j + i = 26, -k*i - 12 = -4. Let f(l) = -3*l**3 - 12*l**2 + 12*l + 13. Is f(j) prime?
True
Let i(j) = 4*j**3 + 31*j**2 - 48*j + 11. Is i(8) prime?
True
Let a = -97183 - -248502. Is a prime?
False
Let s be 0/(-17) + 2 + 1319 + 3. Is (-2 - -19)/((-3968)/s + 3) composite?
True
Let n(h) = 132*h**2 - 8*h + 351. Is n(25) prime?
True
Suppose -3*z - 2*u + 1964402 + 3921807 = 0, 4*z + 2*u - 7848276 = 0. Is z a composite number?
True
Let o(y) = 3747*y**2 - 41*y - 41. Is o(-1) a composite number?
True
Suppose -2*n + 3*j - j + 2300 = 0, 4*n + j - 4575 = 0. Suppose -m = -4*u + 4230, 0 = 4*u - u + m - 3176. Let q = u + n. Is q a composite number?
False
Let t(v) = v**3 - 66*v**2 + 171*v - 155. Is t(90) a composite number?
True
Let s be (-21)/(-21) - (-2 + 15) - -6. Suppose 6 = 2*x - 2. Is (x/s)/(1983/1989 + -1) prime?
False
Is -1388*(14 + 123/(-4)) composite?
True
Let t(d) = -3*d + 1. Let k(g) = -452*g - 172. Let v(r) = -k(r) + 3*t(r). Is v(6) a composite number?
False
Let p(l) = 2*l**3 - 14*l**2 - 3*l + 12. Let z be p(7). Is ((-3)/z)/(14/62202) a prime number?
True
Let x = -58 + 71. Let i = 17 - x. Suppose -i*v = -232 - 244. Is v composite?
True
Let t = 27516 + 96382. Is t composite?
True
Let j(c) = -2*c + 4. Let u be j(2). Let a be (-1*5)/(5/(-5)). Suppose u = a*l - 172 - 103. Is l a composite number?
True
Let p = 1035235 + -376602. Is p prime?
True
Let d(w) = 3116*w + 51. Let j be d(4). Suppose -8*v - j = -13*v. Is v prime?
True
Suppose 2*w + 263 + 117 = -4*y, 971 = -5*w - 3*y. Is (w/(-10))/7*1535/2 a prime number?
False
Let s(o) = -49*o**3 - 4*o**2 - 5*o + 14. Let d be s(-6). Suppose -7*n + 18097 = -d. Is n prime?
False
Suppose 49*j = 52*j - 6. Is j/(-3) - (-31101)/9 composite?
True
Let a = -1332 + 940. Let d = 203 - a. Suppose t = q + 3*q - d, 4*t = 4. Is q a prime number?
True
Let c = 84292 - -2631. Is c composite?
False
Let a be (-53)/(-106)*(-18)/(-1). Suppose -a*q + 2162 = -817. Is q a composite number?
False
Suppose 0 = -7*v + 6*v - 4*z - 129, 0 = -3*v + 3*z - 372. Let t(r) = -9*r**2 + 4*r - 16. Let w be t(-8). Let j = v - w. Is j prime?
True
Let x be 4/6 - (51/9 + -1). Let l = x + 14. Suppose 0 = 3*t - 5*t - l, 3*t = -f + 16. Is f a prime number?
True
Let w(b) = 367*b - 2. Let o be w(1). Let x be 10*o - (8 + 0 + -5). Suppose -x = -3*j - 4*j. Is j prime?
True
Let k(j) = -26*j + 61. Suppose i = 3*w + 23, 4*w - 3*i + 44 = -5*i. Is k(w) a prime number?
False
Let h(j) = -3212*j**3 + j**2 - 6*j - 19. Is h(-2) a composite number?
False
Let g(f) be the first derivative of -1333*f**3/3 + 11*f**2/2 + 29*f + 23. Let t(l) = 333*l**2 - 3*l - 7. Let a(w) = 2*g(w) + 9*t(w). Is a(-1) a prime number?
True
Suppose -74 = 3*p + j, -4*p = -5*p - 2*j - 18. Is 208/p + (6014 - 1) a prime number?
False
Suppose -4894 = 6*s + 21074. Is s/(0 - 8)*1 a prime number?
True
Let q be -1*(5/10 - (-78)/4). Is 4/2 + q + 5531 a composite number?
True
Suppose 25*g + 6128402 = 24455427. Is g a composite number?
True
Suppose 0 = -4*o - 3*r - 58923, -2*o - 39885 = -2*r - 10441. Let q = -7844 - o. Is q prime?
True
Let r(a) = -1205*a + 343. Is r(-6) a composite number?
False
Let y be 134345*12/90 - (-2)/6. Let z = 43160 - y. Is z composite?
False
Let a(x) be the third derivative of -7*x**4/24 - 35*x**3/6 - 13*x**2. Let n be a(-5). Is n - (-506 + 1) - 51/17 a composite number?
True
Suppose -14 = -2*l - q, 2*q = 3*l - 5*l + 14. Suppose 0 = -6*y + 13*y + l. Is (-149)/y*1*7 a composite number?
True
Let w(c) = 601*c - 39. Let l(f) = 301*f - 22. Let u(d) = 5*l(d) - 2*w(d). Is u(3) prime?
True
Let b = 59726 - 1473. Is b prime?
False
Suppose 0 = -m - 3*j + 296419, -3*j - 592892 = 32*m - 34*m. Is m a composite number?
False
Let z(p) = p**3 + 12*p**2 - 14*p - 19. Let l be z(-13). Let h(r) = 65*r**2 + 5*r - 19. Is h(l) a prime number?
False
Let r(y) = 4*y**3 + 6*y**2 - 11*y + 7. Suppose -3*k = 3*c - 0*k - 51, 0 = 4*c + k - 71. Is r(c) a composite number?
True
Suppose 3*b - 17*a + 14*a - 41244 = 0, -3*a = 5*b - 68764. Is b a prime number?
True
Suppose -m - 5*v + 7 = 3, 2*m = -4*v + 2. Let k be ((-16)/5)/((-20)/50) + m. Suppose 0*u = k*u - 12999. Is u composite?
True
Let a = -109388 + 60210. Let f = a + 84937. Is f composite?
False
Let o(y) = -3*y + 5 - 20 + 53. Let u be o(11). Suppose -4*k = 5*x - 3965, -k - 6119 + 2179 = -u*x. Is x a prime number?
False
Let q = 11526 - 815. Is q a prime number?
True
Suppose 72*g = -2*f + 67*g + 277099, 3*g = f - 138566. Is f composite?
True
Let x(l) = -3*l - 13 + 36 - l**3 + l + 0*l + 20*l**2. Let a(z) = 5*z**3 - 100*z**2 + 10*z - 116. Let y(s) = 2*a(s) + 11*x(s). Is y(18) a composite number?
True
Let l(f) = 3*f - 24. Let k be l(9). Suppose 0 = -k*t + 125 + 76. Let z = t - 34. Is z composite?
True
Suppose 0 = -2*j - 5*r + 28522, 30*j - 71365 = 25*j - 5*r. Is j composite?
False
Let t be (28/35*-1)/(5/(-247175)). Suppose -t - 15658 = -6*a. Is a a composite number?
True
Let o(i) be the first derivative of 3*i**3 - 5*i**2/2 + 45*i + 78. Is o(-19) prime?
True
Let s = 492876 - 185054. Is s a prime number?
False
Suppose 0 = 5*h, h + 2*h - 66 = 3*a. Let f be (a/(-22))/(2/4). Suppose -5*t - 2*u = -1683, 0*t - t = -f*u - 339. Is t a composite number?
False
Let f = -1119 + 889. Let g = f - -3201. Is g prime?
True
Let r(h) = h**3 + 4*h**2 - 7*h + 24671. Is r(0) composite?
False
Let z = 4811 - -1478. Is z a prime number?
False
Let s = 58 + -52. Is (479/1)/(1 - s/9) prime?
False
Suppose -4*z = -4*i - 379500, 240*z = 237*z - 4*i + 284674. Is z prime?
False
Let b be (-5030219)/(-10) - (-13)/(-780)*-6. Is b/20 - (-11)/(-110) prime?
False
Let z be -34*(39/6 - 6). Let o(d) = 3*d**2 - 5*d + 27. Is o(z) a composite number?
True
Let j be 27 + -20 + 8/((-4)/2). Suppose -j*y + 0*y = 2*r - 7427, r = 2*y - 4942. Is y a composite number?
False
Suppose -b + 2*q + 5577 = 0, -2*q - 5580 = -b + 3*q. Let x = b + -2673. Is x a prime number?
False
Suppose -479883 = -14*r - 1151462 + 4186125. Is r a composite number?
True
Let h(n) = -107*n - 72. Let l be h(-17). Let r = l + -7251. Let y = -1675 - r. Is y prime?
False
Let w = -105027 + 182708. Is w prime?
True
Let h(i) = 193*i**2 + 222*i + 1. Is h(-14) a composite number?
False
Let b be (16580/3)/((-41)/(-738)). Suppose -6*k = 18*k - b. Is k composite?
True
Suppose -23597 = -q + 5*d + 26615, 3*d = -q + 50156. Is q composite?
False
Let g(s) = 28*s + 165. Let j be g(-6). Is ((-34227)/6)/(j*(-2)/(-4)) prime?
True
Let g(f) be the first derivative of 79*f**3 + f**2 + 19*f + 30. Is g(6) a composite number?
False
Let c(y) = 2*y**3 - 22*y**2 + 75*y - 153. Is c(38) pri