= 3*z + 11128. Is a composite?
True
Suppose -k - 3*x + 394 = 0, -2*k + 4*x + 788 = x. Let w = 861 + k. Is w a composite number?
True
Let z(k) be the second derivative of 449*k**3/6 + 191*k**2/2 - 170*k. Is z(10) a prime number?
False
Let o = -796 - -419. Let i = o - -5902. Suppose 6563 + i = 8*a. Is a a prime number?
True
Let q(r) be the first derivative of 249*r**2 + 75*r - 82. Is q(12) a composite number?
True
Let k = -53498 - -88893. Is k a composite number?
True
Let x(b) = -b**2 + b - 1. Let w(s) = 470*s**2 + 6. Let k(t) = w(t) + 5*x(t). Is k(3) composite?
False
Is (7/(210/(-36)))/((-14)/779835) + -2 composite?
False
Suppose 0*f + 1184660 = -5*a - 5*f, 4*a + 5*f = -947724. Is a/(-63) - 1/(-9) prime?
True
Let q be (-1)/4*56/(-7). Suppose -2*s - 4 = 0, q*o - 3116 = -3*s + 6*s. Is o composite?
True
Suppose -3*h + 49411 = 5*o, -12*h + 13*h - 16501 = 6*o. Is h prime?
True
Is (-4)/(-10) - 19027932/(-220) a composite number?
False
Let z = 1782 - 705. Suppose 15 = -5*c, 0 = -0*n - 3*n - c + z. Let o = 538 - n. Is o a composite number?
True
Let c(h) = -14*h + 3. Let k be (-20)/150 - (-283)/(-15). Is c(k) a composite number?
False
Let w(u) = 3*u**3 + 2*u**2 + 10*u - 2. Let f be (1/(-2))/(-1*4/(-1200)). Let s = f - -153. Is w(s) prime?
True
Suppose -275574 = -2*m - 16*o, -2*m = -49*o + 53*o - 275550. Is m composite?
False
Suppose 17*n - 610453 = 637534. Is n a composite number?
True
Suppose -2*z + 263 + 4273 = 4*o, 0 = 5*o + 5*z - 5670. Suppose o = u + 265. Is u a composite number?
True
Let x(s) = -32*s**3 - 23*s**2 - 16*s - 4. Let n be x(7). Is (3/(-9))/(((-4)/n)/(-4)) composite?
False
Let l be (-2)/8 + 9/((-288)/(-424)). Suppose 0 = 5*d - 7 - l. Suppose -5*b - 3*f = -3920, d*b = 3*b + 4*f + 807. Is b prime?
True
Let c(y) = 25*y**2 + 74*y + 38. Let r be c(-25). Let x = -9092 + r. Is x prime?
True
Let y(j) = 90072*j**2 + 2*j - 27. Is y(3) composite?
True
Suppose 0 = 4*z - 2*a - 22, -5*z - a + 0*a = -45. Suppose -1937 = z*x + 2767. Let k = -325 - x. Is k a prime number?
True
Let k be (138/(-115))/((-1)/5). Suppose 4*w - k*w = -134. Let i = w - 45. Is i prime?
False
Suppose -2*s + n + n = -16, -2*s + 5*n = -4. Let c be 3 + -2 - s/(-12). Suppose 3*y - 1458 = r, -y - c*r + 100 = -393. Is y a composite number?
False
Let g be (-3 + -1)*5/10 - -6887. Suppose -s + 5*h = -3208, 5*s + 5*h - g = 9245. Suppose s - 683 = 4*q. Is q composite?
True
Let l = 49 + -42. Suppose l*j - 4 - 10 = 0. Let t(w) = 79*w**2 + 3*w - 3. Is t(j) prime?
False
Let j(z) be the second derivative of 139*z**4/6 - 5*z**3/6 + 3*z**2/2 + z. Let v be j(1). Let c = 2854 - v. Is c a prime number?
False
Let z = -120112 + 263513. Is z a prime number?
True
Suppose 4*x + 2*p = 3*p + 31, 3*x - 4*p = 7. Suppose -4*j + 4*t - 7065 = -x*j, t - 1414 = -j. Is j a composite number?
False
Suppose 0*v + 40 = 2*v. Let z be 16/v + 108/15. Suppose a = z*a - 3647. Is a prime?
True
Suppose -3*h + 11 = 2*f - 854, -5*h = 5*f - 1450. Suppose -2*w = 2 - 6. Suppose 3*t = -t + 5*x + 403, 3*t = -w*x + h. Is t composite?
False
Suppose -8*g + 12*g = -40. Let v be (1 - (-5)/g)/((-1)/(-678)). Is -4 + 2 + -6 + v a prime number?
True
Let p be 9/27*(1504 + 2). Suppose -s + p = s + 4*l, 257 = s + 4*l. Suppose -4*z - 4*r + 501 = -455, 4*r = -z + s. Is z composite?
True
Suppose -6728 = -3*z + 34666. Is z a prime number?
False
Let m be 58602/8 - 1 - (-2)/(-8). Suppose i - 3*d = 3665, 0 = 2*i + 2*d - 5*d - m. Is i composite?
False
Let s(o) = -o**3 + o**2 - 2*o + 7. Let d be s(0). Suppose -d + 1 = -2*l. Suppose 182 = v + 3*n, -2*v - l*v + 891 = -4*n. Is v a prime number?
True
Is (-1460156*(1 + (65/(-10))/13))/(-2) a prime number?
True
Suppose 34*b + 3168189 = 173*b - 4056892. Is b prime?
False
Let l(a) = -49*a + 149. Let p be l(3). Suppose 4*q - 9786 = -g + 5164, -p*q + 7468 = -3*g. Is q a prime number?
False
Let v(n) = -23178*n - 1669. Is v(-6) composite?
False
Suppose 3*a = 3, -a + 74984 = -2*f - 19535. Let j = f - -113906. Is j a prime number?
False
Let c(a) = -1785*a + 1222. Is c(-41) composite?
True
Suppose 0 = 5*s + 5*p, -6*p + 4*p = -5*s + 21. Suppose s*o - 8*a = -11*a + 11688, -2*o = -5*a - 7827. Is o a prime number?
False
Suppose -5*m - 3*g = -69661, -55748 = -4*m + g + 3*g. Is m prime?
False
Suppose 56*i = 49*i + 252. Suppose i*c = 21*c + 17265. Is c composite?
False
Let i(n) = -445*n**3 - n**2 - 4*n + 4. Let t be i(2). Let r be (t - -1)*(1 - (-20)/(-15)). Suppose -6*l = -r - 1343. Is l prime?
False
Suppose 2*h + 7 = h. Let n(o) = -12*o - 4*o**2 + 5 + 1 + 1 - 2*o**3. Is n(h) composite?
True
Suppose 3*r - 2*q = -10, -r + 2*q - 4*q - 14 = 0. Is -2*(-4 - (-9393)/r) a prime number?
False
Let p(s) = s**3 - 11*s + 14. Let y be p(4). Let i(b) = b**3 - 35*b**2 + 44*b + 39. Is i(y) a prime number?
True
Suppose 277*c - 23117362 = 24022221. Is c composite?
False
Let u(g) = -46*g**2 + 3*g + 13. Let y be (-1)/(-9) + 910/(-90). Let n be u(y). Let i = n + 7726. Is i a prime number?
True
Suppose -3*z = 2*y - 40 - 48, 0 = 5*z + 5*y - 150. Let w(m) = 17*m + z*m - 37*m + 19 + 13*m**2. Is w(-6) a composite number?
False
Suppose -a = 4*a. Let y = -916 - -921. Suppose y*i - 4990 = i + v, 3*i - 4*v - 3749 = a. Is i a composite number?
True
Let h(c) = 111*c**2 + 7*c + 55. Suppose 2*l - 38 = -5*p, -5*l = -4*p + 15 - 44. Is h(l) a prime number?
True
Suppose 2*d + 4*d - 30 = 0. Suppose 0*r = 5*u - 4*r - 20899, -5*r - 20895 = -d*u. Is u a prime number?
False
Suppose 4*o - 30*u + 33*u = -12, 0 = -2*o - 3*u. Let j(n) be the third derivative of n**6/120 + 11*n**5/60 + 7*n**4/12 + n**3/6 - n**2. Is j(o) a prime number?
True
Is (-13)/(182/28)*205703/(-2) a prime number?
True
Suppose 2*n + 3*b = 35231, -7*b - 5 = -6*b. Is n a composite number?
False
Suppose -79*w + 81*w = 4*l + 872150, -5*l + 45 = 0. Is w a composite number?
True
Let j = 11 - 10. Let z be j*-1*42/(-6)*1. Is z/((-28)/584)*-1 prime?
False
Is (941331/(-12))/((-845)/52 + 16) a composite number?
False
Let l = 30416 - 47978. Is ((-2)/(-4))/((-3)/l) a prime number?
True
Suppose 3*r - 3*x - 1395 = -0*x, 4*r - 1858 = 3*x. Let f be (r/(-2) - 2)*(3 + -1). Let d = 658 + f. Is d prime?
True
Let g(v) = 77*v**2 + 150*v - 3063. Is g(74) a prime number?
False
Suppose -390 - 600 = -o. Suppose -o + 4356 = 3*r. Let d = -643 + r. Is d a composite number?
False
Suppose -4*o + y + 1048122 = -803818, 24 = -3*y. Is o a prime number?
True
Let a = 137 - -204. Let n = 7414 - a. Is n composite?
True
Suppose s = 10*s + 369. Let j = s - -48. Suppose -2 = -j*u + 2231. Is u prime?
False
Let w = 104987 - 39358. Is w a composite number?
False
Suppose -5*h + 3*z = -58274, -3*z - 2*z = 2*h - 23322. Suppose 8*l + 2112 = h. Is l composite?
False
Let z(j) = -2*j**2 + 89*j + 49. Let t be z(45). Suppose -t*n + 28742 = 5*s, 0*n = n - 4*s - 7175. Is n composite?
True
Let f = 419 - -1665. Let n be (9/6)/((-1)/(-2)). Suppose -3*g + f = 5*d, n*d - 3 + 18 = 0. Is g prime?
False
Let h(o) = -29*o**3 - 4*o**2 + o + 12. Let q be h(5). Let c = -2368 - q. Suppose 2*g - 398 - c = 0. Is g a prime number?
False
Is (9 - 10)/(4/(-157912)*2) a composite number?
False
Suppose 5*v - 8*v + 59 = 5*u, -5*u + 4*v = -73. Suppose u*o = 39624 + 7007. Is o prime?
False
Suppose -r - 8*r = -3*r. Suppose -8 = 4*p, -3*g - 5*p - 312 + 11933 = r. Is g prime?
True
Suppose -x = -3*x + 36. Suppose -13*n - x = -16*n. Suppose 79 = n*s - 923. Is s a prime number?
True
Let w be 8/((-8)/(-29373)) + -3. Suppose 5*v + 4*t - 5*t - 29400 = 0, 5*v + 5*t = w. Is v prime?
True
Let b = -253 - -255. Is ((-25613)/14)/((-1)/b) a prime number?
True
Suppose 3*q + 3 = -2*h, -q - h = -0*h. Let c be (-1)/(((-4)/(-4))/1) - q. Suppose -4408 = -4*r - s, c*r - 4*s = -3*r + 5531. Is r composite?
False
Let r = 316 - 310. Is 2/((-5)/(-231675)*r) a prime number?
False
Let j = 6489 + -3490. Let m(i) = 319*i + 5. Let a be m(5). Let p = j - a. Is p a composite number?
False
Let v be ((-24)/(-16))/(-3*(-1)/10). Let m(k) = 62*k**2 - 3*k - 22. Let i be m(v). Let g = i + -624. Is g prime?
False
Let s = 20688 + -11277. Suppose 0*p + r = -2*p + s, 4*p - 18797 = 3*r. Is p prime?
True
Let x(y) = -2870*y + 9461. Is x(-87) a composite number?
False
Let h(p) be the first derivative of -9*p**5/10 - p**4 - 17*p**3/6 + p**2 + 46*p + 44. Let d(b) be the first derivative of h(b). Is d(-7) a composite number?