/(-1) + -1393 + 8. Let j = a + 2038. Is j a prime number?
True
Let o = -4924 + 7248. Suppose -4*k + 3*q - 3174 = -5*k, -k + 3169 = -2*q. Suppose -7*f + o + k = 0. Is f prime?
False
Let f(k) = k**3 + 29*k**2 + 37*k - 12. Suppose 3*l + p = -71, 0 = -l - p - 2*p - 13. Is f(l) composite?
True
Suppose 0 = l + 3*c - 148, 5*c = -4*l + 358 + 255. Let v = 804 - l. Is v a composite number?
False
Suppose -325 + 133 = -48*c. Suppose -5485 = -5*z - 1470. Suppose 5*y = 4*v - 632, -y = 5*v - c*y - z. Is v prime?
True
Let h(j) = -7450*j**2 - 4*j + 2. Let p be h(-3). Is (-1 + 3)*p/(-8) prime?
True
Let m = 139276 + -75327. Is m prime?
True
Suppose -o = -53 + 12. Suppose -4*x - 3*p = 6, p - 42 = -x - 44. Suppose o*t - 36*t - 2155 = x. Is t prime?
True
Let j = 4081 - 810. Is j prime?
True
Suppose -4*m - p - 588099 + 3087149 = 0, -2*m = -2*p - 1249530. Is m a composite number?
False
Let g(n) = -n**3 - 2*n**3 + 10*n - 2*n - 8*n**2 + 4*n**3 - 5. Let b be g(7). Suppose 3*x - 2216 = 5*l + 230, 2*x - b*l = 1624. Is x prime?
False
Let i = -75 - -91. Suppose -5544 = -i*o + 2216. Suppose -8*z + o = -7*z. Is z composite?
True
Suppose 3161712 = 412*z - 364*z. Is z a prime number?
False
Let b(r) = -2*r - 24. Let f be b(7). Let g = f + 41. Suppose 12 = g*l - 0, 0 = 4*q + l - 5096. Is q composite?
True
Let t be 4/10 - 26/(-10). Let y = 712 + 578. Suppose -y = -t*d + 1377. Is d a prime number?
False
Let u = -1 - -11. Let f be -4*1/(u/15). Is (333/f)/(6/(-4)) composite?
False
Suppose 6*c - z = 700420, 0 = -3*c + 6*c + 2*z - 350215. Is c a composite number?
True
Let h(j) = 2*j**2 - 2. Let x be h(-2). Suppose 0 = 4*n - n - x. Suppose -3*o + n*p = -1157, -3*o + 3*p - 4*p = -1172. Is o a composite number?
False
Let i(p) be the second derivative of p**5/20 - 2*p**4/3 - 10*p**3/3 + p**2 + 2*p + 3. Is i(14) prime?
False
Let k = 730 + -335. Let l = 561 - k. Is l composite?
True
Is 994947352/5096 + (-2)/(-13) a prime number?
True
Suppose 5*x - 7 = 13. Suppose 3*b - 2417 = -f, 2*b + 0*f - x*f = 1616. Let s = b - 327. Is s composite?
False
Let t(i) = 65*i - 19. Let d be 1*2/(-1)*(-17)/(-34). Let r(y) = y. Let m(l) = d*t(l) + 5*r(l). Is m(-6) composite?
False
Let b(i) = -i**3 + 2*i**2 + 4*i - 615. Let w be b(0). Let j = w - 35. Let l = 147 - j. Is l a prime number?
True
Let l(k) = -10 + 154*k - 5 - 4 + 4. Is l(2) a composite number?
False
Let h = 152887 + -75008. Is h a composite number?
True
Suppose w = 44 + 68. Let k be w/(-6)*(-1461)/2. Suppose 0 = 5*n - 9*n + k. Is n prime?
False
Let v = 21 - 15. Suppose -4*g = 10*u - v*u - 1844, -5*u + 2273 = -3*g. Is u a prime number?
True
Suppose -208*p + 166*p = -11101566. Is p prime?
True
Suppose -189*l + 33528780 = -9*l. Is l a composite number?
False
Suppose 2*f - 2013 = -j + 2056, 6 = 2*j. Let a = 6894 - f. Is a a composite number?
False
Let c(n) = -n**3 - 9*n**2 - 13*n + 7. Let m be c(-7). Suppose -s + 420 + 1357 = m. Is s a composite number?
False
Suppose 10380*l = 10402*l - 3171058. Is l a composite number?
False
Suppose -896*x = -899*x + 5*l + 296149, 4*x - 394884 = 2*l. Is x prime?
False
Suppose 3*i - 40*j + 35*j = -104, 80 = -3*i - j. Is 137241/21 - (-8)/i composite?
True
Let f = -30408 - -54107. Is f prime?
False
Let r(w) = 17*w**3 + 16*w**2 + 35*w - 4. Let u(f) = -4*f**3 - 4*f**2 - 9*f + 1. Let k(t) = -2*r(t) - 9*u(t). Let h be k(-9). Let x = 2943 + h. Is x prime?
True
Let i(h) = h - 32. Let c(t) = -3*t + 65. Let w(a) = -3*c(a) - 7*i(a). Let y be w(-16). Is 1 + 712 + (-12)/y composite?
True
Let h = 3443 + 4245. Let o = 15591 - h. Is o a prime number?
False
Let h be (-2 + 1)*-86*(-6)/(-12). Suppose -h = -x + 80. Suppose 2*b + 5*t = 355, -5*b + 805 = -t - x. Is b a prime number?
False
Let m = -3097 - -943. Let p = m + 6437. Is p a composite number?
False
Suppose 13*q = 11*q + 8. Suppose 10288 + 7396 = q*j. Is j prime?
True
Suppose -103*o + 105*o = 5*z + 324887, -5*o - 5*z + 812270 = 0. Is o prime?
True
Let f(z) = -z**3 + 22*z**2 - 37*z - 58. Let g be f(20). Suppose g*i - 63107 = -9*i. Is i a composite number?
False
Let q(r) = 19*r + 2381. Let b be q(-128). Let j(v) = -v**2 - v + 106. Let c be j(0). Let a = c - b. Is a composite?
False
Suppose -6027451 = -5*k + 2*l, 3*k - 3616477 = -0*k - 2*l. Is k prime?
False
Let s = 1310180 + -223611. Is s a composite number?
True
Let f = -40634 + 58325. Suppose -12*s + f = -9*s. Is s composite?
False
Let a = 82046 - -23935. Is a composite?
True
Let m = -11 - -14. Suppose 5*d - u - 19 = 0, d - m = 3*u - 2. Is ((-4)/(-1))/d*529 prime?
False
Let y be (-5202)/45*(1 - 26). Let z = y - 1719. Is z composite?
False
Let d be (4 + 19 + -1)/((-4)/(-6)). Suppose 236703 + 57756 = d*s. Is s composite?
False
Suppose 2*p - n = -3*p + 567785, 0 = -2*n. Is p prime?
True
Let d(i) = 15*i - 26*i + 4*i - 2 - 6*i**2. Let j be d(-3). Is -3 - (1/5 + 109557/j) a composite number?
True
Suppose -4*j + 9 = -4*v - 7, 4*j - 5*v = 16. Suppose -3*r = 2*w - r - 5760, -j*w + 5*r = -11511. Is w prime?
True
Suppose 5*f = 2*m - 2838 + 10920, -3*f - 12123 = 3*m. Let i = -2444 - m. Is i a composite number?
False
Let w(a) = a**3 - 11*a**2 - 70*a - 22. Let x be w(18). Suppose 4*r + x - 16318 = 0. Is r prime?
True
Suppose -2*d + j - 13165 = d, 17558 = -4*d - j. Let r = 2962 + d. Let v = -4 - r. Is v a prime number?
True
Let r(l) = -3*l**3 + 3*l**2 + 2*l - 5. Let c(f) = 3*f**3 - 3*f**2 - 2*f + 4. Let q(w) = -5*c(w) - 4*r(w). Let s be q(-1). Is 1596/21*(25/s - -1) a prime number?
False
Let y(u) = -u**2 - u + 19. Let g be y(0). Suppose g = -o + 38. Is (4 - 2) + o + -2 composite?
False
Let q = 286 - 1204. Let c = -521 - q. Let s = -238 + c. Is s prime?
False
Let f(o) = 17591*o**2 - 21*o + 37. Is f(3) a composite number?
False
Let h(v) = -1322*v - 9. Let n be h(-12). Suppose -m - 4*m + n = 0. Let t = m + -1648. Is t a prime number?
True
Suppose 5606121 + 1829743 = 8*u. Is u composite?
False
Suppose -201866 = -55*v + 211899. Is v a composite number?
False
Suppose -3*o + 9 + 3 = 0. Suppose 19*q = -o*q + 82961. Is q composite?
False
Is (1/2)/((-19)/(-14478)) a composite number?
True
Suppose -m + 3*i = -140195, 2*m - 521*i = -526*i + 280401. Is m prime?
False
Let c(n) = -85*n + 41. Let j be c(-7). Suppose 3*s - 2*s - 159 = -f, -4*f + 4*s = -j. Is f prime?
False
Let b(m) = m**2 + 6*m + 2161. Let a(i) = -i**2 - 7*i - 2161. Let z(s) = 4*a(s) + 5*b(s). Is z(0) a composite number?
False
Suppose -15*a + 3160 = -7*a. Let q = a + 1254. Is q composite?
True
Suppose z = -2*z - 6. Let h(f) = f**3 - f**2 + 2. Let o(a) = 46*a**3 + 7*a**2 + 4*a - 11. Let w(b) = -6*h(b) - o(b). Is w(z) prime?
True
Suppose 89892 - 9435 = 3*w. Is w a prime number?
False
Let j(q) = 189*q**2 - 9*q + 185. Is j(-12) composite?
False
Is 410/(-246)*(-213414)/10 a prime number?
True
Let n be 1 - 2 - (29 + -1940). Suppose -n - 515 = -5*q. Is q a prime number?
False
Let j(s) = -467*s**2 + 7 - 2 + 6*s - 250*s**2 + 1177*s**2 - 2. Is j(-4) a prime number?
False
Let s = -1185 - -4024. Is s prime?
False
Is 0*1/2*-1 + 121823 a prime number?
False
Suppose -52*s = -7 + 111. Suppose 8*n - 115 = 3*n. Is (n/(-23))/(s/1462) a prime number?
False
Suppose -2388 + 365 = -7*w. Suppose 3*a - 3*d + d = -w, -d = -5. Is (a/(-6))/(2/8) a prime number?
False
Suppose 3*s - 7047 + 1463 = -4*n, 9324 = 5*s - 2*n. Let v = s - 87. Is v a composite number?
False
Let x(h) = h**3 + 5 - 13*h - 8*h**2 - 14 + 0*h**3. Let v be 25/125 + (-128)/(-10). Is x(v) composite?
True
Let u be 25 + -18 - (1 - 7). Suppose -u*g = -16*g + 4971. Is g prime?
True
Suppose 498*y - 514*y = -6895984. Is y prime?
True
Let n(x) = 18425*x - 2554. Is n(21) prime?
False
Let j = -462 - -501. Let w = 17002 - j. Is w prime?
True
Let b be ((-28)/(-98))/(6/105). Suppose 51727 = b*s + 2*w, s - w = -3*s + 41392. Is s a prime number?
False
Suppose 53644 = 5*s - 3*i, 4*s - 19713 = 3*i + 23204. Is s prime?
False
Let g = 8954 + 13244. Suppose 18*n - g = -4450. Suppose n = 2*t + 240. Is t a composite number?
False
Suppose -2*x + d = -112, 0 = 4*x + 2*d - 0*d - 232. Is (11558/(-3))/(x/9 - 7) composite?
False
Let r(f) = -f**3 + 6*f**2 - 4*f. Let l be r(5). Suppose -l*m - 1284 = 706. Let i = 149 - m. Is i a prime number?
True
Suppose t - 20 = -19*t. Is (83 - 84) + (9799 - t) composite?
True
Let q = -84691 + 170160. Is q a prime number?
True
Let z be (17 + 13)*(-2)/(