/1 + (-31 - -30). Let q = 8893 - h. Is q a composite number?
False
Let l = 1577 + -856. Suppose -2149 = 7*r - l. Let q = r + 293. Is q composite?
False
Suppose -5*v = -5*b - 30705 - 2410, -26492 = -4*v - 2*b. Is v prime?
False
Let d = 23337 - -58012. Is d composite?
False
Let d(h) = 363*h**2 + 14*h - 350. Is d(23) prime?
True
Let x(h) = 4473*h**2 - 689*h - 9. Is x(8) a prime number?
True
Let l = -40170 + 28425. Let y = -4832 - l. Is y a composite number?
True
Let z(l) = 2*l**2 - 21*l + 69. Let b be z(9). Is ((-7)/b*10418)/(4/(-12)) prime?
True
Let b(s) = s**3 + s**2 - s - 1. Let f(o) = 96*o**3 + 4*o**2 - 5*o - 4. Let g(v) = 4*b(v) - f(v). Is g(-2) a prime number?
False
Suppose -175900 = 67*p - 5750769. Is p composite?
False
Let x(v) = 331*v**2 - 37*v - 49. Let k be x(9). Suppose 2*o - k = 2*n - 3681, -o - n + 11364 = 0. Is o a composite number?
False
Let n(t) = -3*t**3 - 20*t**2 + 18*t - 38. Let f be n(-18). Suppose -f = 4*u + 12938. Let s = 9805 + u. Is s composite?
False
Let y(d) = -381979*d**3 - 31*d - 31. Is y(-1) composite?
True
Suppose 108*v = 253*v - 121*v - 3913464. Is v a prime number?
True
Let x(s) = 1 - 1180*s**2 - 3 + 2*s - 1997*s**2. Let g be x(1). Is g/(-5) + (-16)/40 a prime number?
False
Suppose -a = 4*w - 15224, -2*a = 5*w + 2022 - 32482. Suppose 5*t - 4670 - a = 5*q, 0 = 3*q. Suppose -6*z = 1204 - t. Is z a prime number?
True
Suppose 2*m = 4*o - 3*o - 7, 0 = -3*o - 4*m + 11. Suppose 4*f = -3*j - 19, -o*f - 1 + 38 = -3*j. Let y(r) = -29*r - 58. Is y(j) a composite number?
True
Suppose -3 = -3*r, -8*t - 5*r = -3*t - 50. Let k(l) = -l**3 + 10*l**2 - 8*l - 16. Let a be k(t). Let m(w) = -77*w - 25. Is m(a) a prime number?
False
Let s(j) = 155*j**2 - 204*j - 21. Is s(-10) a prime number?
True
Let z = 74 - 57. Suppose -z*d - 4*d + 140007 = 0. Is d composite?
True
Let q be (5 + -2)*(8660/3)/2. Suppose q = 2*t + 2*b, 4*b - 10822 = -5*t - 0*b. Suppose -4*a - t + 6726 = 0. Is a composite?
True
Let t be -12*(-48)/90 - 4/10. Let n be (-3)/1 + t - 2/2. Suppose 209 = n*m + 3*f, 4*f - 526 = -4*m - m. Is m composite?
True
Let h(x) = -x**2 - x + 14. Let r be h(3). Suppose -3*w - r = -4*p, -4*w + p + 6 = -0*w. Is (w/(-12) + (-279)/18)*-3 a composite number?
False
Let n = 365 + -377. Is (-11626)/(-2) + (8 - n/(-2)) a prime number?
False
Let y(u) = u**3 + 6*u**2 + 8*u + 6. Let a be y(-5). Let m(l) be the first derivative of -15*l**2 - 47*l + 1283. Is m(a) a composite number?
False
Suppose 0 = -3*v - 4*o + 14, 6*v + 2*o + 6 = 11*v. Suppose 5*i + 0*i - v*r - 7613 = 0, 0 = -3*r + 3. Is i a composite number?
False
Let t(h) = 3*h**2 + 15*h - 8. Let r be t(-7). Suppose 28 = l + 4*c - r, 214 = 4*l - c. Suppose -57*y + 5163 = -l*y. Is y a prime number?
True
Is 5/(30/9)*123529342/309 a composite number?
False
Suppose -v + 5*v + 2 = 2*s, v + 4 = -3*s. Is (-115 - -110) + (3947/1 - v) composite?
False
Let c = 37 - 39. Let z be 1 + c - -3 - (-5187 - 1). Suppose 0 = 9*u - 3549 - z. Is u a prime number?
True
Let f(b) = -7*b - 2. Let x(i) = 8*i + 1. Let k(h) = 3*f(h) + 2*x(h). Let l be k(-2). Is (-642)/(-4) + 3/l a prime number?
False
Let l(c) = 23*c + 66841. Is l(0) a composite number?
False
Let z = 105672 + 255467. Is z a prime number?
False
Suppose 288*b + 2 = 289*b. Is 12069 - ((b - 9) + 5) prime?
True
Let z = 23 - 15. Suppose -z - 14 = -5*l + u, u = -5*l + 18. Suppose 2*y + 6775 = 5*o, 3*y - 3604 - 1839 = -l*o. Is o composite?
True
Let s(l) = 3*l**3 - 5*l**2 - 13 + 14*l - 2*l**2 - l**3. Let d(v) = 9*v**2 + 10*v + 7. Let a be d(-1). Is s(a) prime?
True
Suppose 5*p - 117824 = 3*k, 0 = 5*p - 2*p + 5*k - 70674. Suppose -17*g - 8450 + p = 0. Is g prime?
False
Let y = -81 + 83. Let p(v) = 4*v**2 - 30*v - 70. Let z be p(-22). Suppose y*c - z = -0*c + 4*r, -4*r = c - 1233. Is c composite?
True
Let q = 216964 - -347643. Is q a prime number?
True
Suppose 0 = -0*t - 3*t + 2*q + 25, -2*t + 20 = -3*q. Let a be -1*5/(10/(-762)). Suppose -t*y + a = -4*y. Is y composite?
False
Suppose 16*d = 19*d - 105246. Suppose 34*m = 28*m + d. Is m composite?
True
Suppose 49*u - 6623189 = 2903048. Is u prime?
True
Let r(p) = -5*p - 11. Let g be r(-2). Let u(w) = -w**3 + w**2 + 1. Let j(f) = -34*f**3 + 2*f**2 + 11. Let q(v) = g*j(v) + 6*u(v). Is q(3) a prime number?
True
Let b = -957 + 1854. Suppose -2*v - b - 614 = -5*g, -4*g + 5*v = -1219. Is g a composite number?
True
Suppose 0 = -5*x, l - 5*x + 1 = 4. Suppose 2*u + 4 = l*u. Suppose -2*g = -k + 867, k - 2*g - 887 = -u*g. Is k composite?
False
Let y = -7454 - -4774. Let o = y + 5211. Is o prime?
True
Let k be ((-10)/(-25) + -1)*-25. Suppose k*u - 3*u = 0. Suppose 3*g + 3*m - 645 = 0, u = 2*g - 5*g - m + 645. Is g composite?
True
Let x = 61942 - -303427. Is x a composite number?
False
Let g be 5/15 + 540164/12. Is 140/(-350) - g/(-10) composite?
True
Suppose 95*j - 8456174 = -51*j. Is j a composite number?
True
Suppose 0 = 3*q + 3 - 9. Suppose -q*n - 465 = -3*c, c - 125 - 26 = 2*n. Is c prime?
True
Suppose 3*j = f + 2418325, 4836630 = -12*j + 18*j + 3*f. Is j composite?
False
Suppose -2*y + 299*b = 300*b - 446823, -3*y + 670266 = -3*b. Is y a prime number?
False
Suppose -22*d + 74084 = -49622. Suppose 5*l - 14040 = 5*y, 2*l + 6*y = y + d. Is l prime?
False
Let t = 305 - 305. Suppose t = 7*o - 3*o - 6764. Is o a prime number?
False
Let u(p) = 1320*p**2 + 27*p + 2. Let g(t) = -2*t**2 + 6*t - 3. Let i be g(0). Is u(i) prime?
True
Let s(k) = 694*k**3 - 21*k**2 + 2*k - 1. Is s(4) prime?
True
Let q = -347355 - -770300. Is q a prime number?
False
Let t = 77313 + 156310. Is t a composite number?
True
Suppose 2*h - u - 6288 = 0, 0 = 3*h - 5*u + 2*u - 9432. Suppose 0 = -2*z - 2*n + h, 4*z - z - n = 4720. Let q = z - 174. Is q prime?
True
Let j = -15583 + 26522. Is j composite?
False
Let n = -124 + 129. Suppose 4*p + 148 = 2*x, n*x - 2*p = -7*p + 430. Is x composite?
True
Suppose 4*u - 27 = -p, 4*u + 50 = 2*p + 8. Suppose -347 + p = -6*x. Suppose r + x = -b + 2*b, 0 = b - 2*r - 57. Is b composite?
True
Suppose 4*f = b - 3*b + 8334, 10 = -2*b. Is 3/(6264/f - 3) a composite number?
True
Let h(g) = g**3 - 2*g**2 + 3*g - 7. Let y be h(3). Suppose y*l - 26803 = 4734. Let r = l - 1158. Is r prime?
True
Suppose 0 = 4*v + 10*s - 14*s - 76, -5*v - 4*s + 131 = 0. Suppose v*f = 3586 + 82296. Is f a prime number?
False
Let s(f) = f**3 + 7*f**2 - 50*f - 13. Let r be s(-11). Is (56 + 13)*r/3 a composite number?
True
Suppose -3*c = -3*b + 82419, -5*b = 5*c - 41707 - 95718. Is b composite?
False
Suppose 0 = -z - 48 + 52. Suppose 0 = -4*h - z*l + 3184, 3187 = 4*h - l + 2*l. Is h composite?
False
Suppose 16*z - 4*z - 48 = 0. Let l be z/(-2) + (-9 - -5). Is (l/4)/(18/(-8220)) prime?
False
Let b = 264208 - 128517. Is b a prime number?
False
Let n = 62 - 58. Suppose 0 = -2*u + u + n*i + 13, 5*i - 10 = -4*u. Is u - 48/8 - 7*-542 prime?
True
Let q = -9 + 16. Let u be -3 + q - 2/2. Is (13894/6)/((9/u)/9) a composite number?
False
Suppose -6435*y + 6420*y = -41655. Is y a prime number?
True
Suppose -10*i - 64071 = -14021. Let n = i + 9566. Is n prime?
True
Let c(d) = -23*d + 67. Let w be c(-27). Suppose -4*x + 3876 = -2*r, 4*x + 3*r - 3168 = w. Is x prime?
True
Suppose -3*z - 3*l = 2*l + 44, 4 = -4*l. Let b be ((-8)/6)/(z/(-234)). Is 16 - 17 - b*4 a composite number?
True
Let a be (-6)/9*4614/4. Let p = 249 - a. Suppose 5*k = -15, -y + k = -p + 380. Is y a composite number?
True
Is (45/10 - 7)*1751030/(-25) prime?
True
Let l(z) = -2935*z - 2974. Is l(-51) a prime number?
False
Let l(q) be the third derivative of 5*q**5/6 + q**4/12 - q**3/2 - q**2. Let w be l(3). Suppose 4*o = w - 125. Is o a composite number?
True
Let r(z) = z**2 - 29*z + 194. Let g be r(21). Suppose -24*h = -g*h + 3298. Is h prime?
False
Suppose 861 = 12*p + 29*p. Suppose p*r - 235774 = 7*r. Is r composite?
True
Let v be 86/(-7) + (-4)/(-14). Is 4*-673*15/v prime?
False
Suppose -2*d - 33 + 43 = 0. Suppose 4*c = 2*p - 11648, d*p - 2*p + c = 17451. Is p a prime number?
False
Suppose -2*r + 3*t = 1, r - 6 = -t + 1. Let v(x) = 613*x - 267. Let z be v(6). Suppose -r*b = 5*b - z. Is b prime?
True
Suppose 0 = 49*d - 28*d - 364623. Is d/1 - (17 - (-10 + 33)) composite?
True
Let i = -62001 + 109084. Is i composite?
True
Suppose 74*g - 18852484 + 13479097 = 16732115. Is g prime?
True
Let q(c) = 10424*c**2 - 