3 - 9*s + 8*s**2. Let j be v(8). Suppose 0 = j*i - 5*i - 3765. Is i composite?
True
Let c(u) = 12*u. Suppose -2*x - 5*a = -13, -4*a + 5 = -3*x - 10. Let p be c(x). Let r(k) = -91*k - 31. Is r(p) composite?
False
Let k = 9497 - 4843. Suppose 340 = -2*g + k. Let i = -776 + g. Is i prime?
True
Let m = -44 - -98. Let o be (-8)/4 + -3 + 0. Let f = m + o. Is f composite?
True
Let v(b) = 82*b + 9. Let t be v(6). Let z = t - 785. Is z*(10/8 - 2) composite?
True
Suppose -88337 - 31687 = -6*h. Suppose 0 = 3*v, v = -8*p + 4*p + h. Is p a composite number?
True
Is 6/(-3) + 20479 + -23 + 23 a composite number?
False
Suppose -5*v - 7341 = 4*w - 7*w, -v - 1473 = w. Let o = v - -2125. Is o a prime number?
False
Suppose x = 15 - 12. Suppose -3*r + 73719 = -4*o - 0*o, -x*o = -9. Is r composite?
True
Let u(g) = 44*g - 7. Suppose 62 = 3*f - 4*q, 0 = -5*f + q + 34 + 41. Let d be u(f). Suppose -96 = -5*c + d. Is c a prime number?
False
Let p = 9806 + 29507. Is p prime?
True
Suppose -3*c = 12, 2*f = 7*f + 2*c + 13. Is (-150)/25 - (f + -1660) prime?
False
Suppose 4*c - q - 171517 = 0, -2*q = -233*c + 230*c + 128639. Is c a composite number?
True
Let g be 4/6 + (-7)/(-21) - -2. Let q be 54/6 + g + -3. Is q/(-6) - -26*(-233)/(-4) prime?
False
Is 9 + 4/(-2) - (45 - 30 - 217525) composite?
False
Suppose 5*f - 2*f = 4*b + 10, 0 = -3*f + 2*b + 8. Let a(z) = z + 2. Let l(d) = 772*d - 21. Let u(m) = 5*a(m) + l(m). Is u(f) a composite number?
False
Let p(q) = 63*q**2 - 5*q - 2839. Is p(-70) composite?
True
Let t = -13335 - -19788. Suppose 0 = 5*l - 2*l + 3*k - t, 2*l = 5*k + 4288. Is l composite?
True
Suppose i = 5*t + 611, 0*i + 3*i + t - 1785 = 0. Suppose -15*m = -2771 + i. Is m prime?
False
Suppose -2*l + 1421 = v, 619 = l + 4*v - 88. Suppose l = 3*g - 756. Is g a prime number?
False
Let v = -58 - -83. Suppose 0 = -4*c - 5*q - v, -4*c = -0*c + 2*q + 10. Suppose c = 5*d - 4708 - 2407. Is d prime?
True
Let x(h) = -368*h + 1. Let q(r) = -736*r + 3. Let p(u) = -2*q(u) + 5*x(u). Let d be p(-1). Let c = 310 + d. Is c a prime number?
True
Is (((-909310)/(-15))/((-22)/(-33)))/((-1)/(-1)) a prime number?
True
Let w(m) = 9*m**2 + 15*m - 1. Let s be w(-2). Suppose 4*u = 0, -s*d + 0*u + 5*u = -2705. Is d prime?
True
Let m(p) = -p**3 + 9*p - p**3 + 3*p**2 - 8 + 3*p**3 - 2*p**3. Let k be m(4). Is (-2)/k + 2*(-10526)/(-24) a composite number?
False
Suppose 2*p = 4*i - i + 2339, 5*p - 5851 = 4*i. Suppose 0 = 4*l + 5*a - 1563, -3*l + p = -a + 5*a. Is l prime?
True
Let o(s) = 12051*s + 61. Let i be o(2). Let l = 34382 - i. Is l a prime number?
False
Suppose 0 = -5*g + 2*g + 6258. Suppose 11*n - 4*n = g. Is n composite?
True
Let q be (-4)/(-12) + (-174)/9. Let i = q + 21. Suppose 4*g = -i*d + 4986, 0 = -g + d - 191 + 1445. Is g a composite number?
False
Let q(c) = 71*c + 22. Let f = -48 - -67. Suppose -375 = -f*h - 90. Is q(h) a composite number?
False
Suppose 0 = -6*g + 113598 + 308394. Suppose -8*s + 28076 = -g. Is s a composite number?
False
Let h(l) = l**2 + 6*l - 72. Let w be h(-12). Suppose w = -7*f + 30409 + 66786. Is f a composite number?
True
Let t(l) = -1522*l + 25. Let f(i) = -762*i + 13. Let m(n) = 11*f(n) - 6*t(n). Let j(s) = s**2 - 2*s + 1. Let r be j(2). Is m(r) prime?
True
Let m be 316*(-5 + (-68)/(-16)). Is 62/3*m/4*-2 prime?
False
Suppose 14 = -2*y - 4*m, -3*m + 5 = 5*y - m. Suppose y*f - 9603 = -5*p, -2*f + f = 4*p - 7688. Is p a prime number?
False
Let z = 59578 + -3815. Is z prime?
True
Let w be (7 + -4 - 2)*3. Suppose -5*u - a + 5063 = 0, -w*u - 2*a + 3043 = -4*a. Suppose u = t - 0*t + 2*c, -5*c = -25. Is t a prime number?
False
Let g(l) = 2084*l**2 - 39*l + 353. Is g(8) a prime number?
True
Let i = -184 - -195. Is (420 + (4 - 2))/(22/i) prime?
True
Suppose -3*b = -3*a + 11267 + 12721, -4*b = 12. Is a a composite number?
False
Suppose 0 = -3*s - 6, -82*s = 4*g - 85*s - 108722. Is g prime?
True
Suppose 6953005 = 122*t - 5538983 - 8433086. Is t prime?
True
Is ((-2743419)/28)/(72/(-480)) composite?
True
Let b = 238525 + -80348. Is b composite?
True
Is (51006/4)/((-714)/(-476)) a prime number?
True
Suppose -5357 + 18237 = -5*v. Let q = v + 5509. Is q composite?
True
Suppose -x = -6*x + 2*r + 21, 2*x + 5*r = 20. Suppose -2*n - x*n + 889 = 0. Suppose -422 = -5*w - n. Is w a composite number?
False
Is 35593 + 6/2 - (-3 - -2) composite?
False
Is (-4)/(-6) + (-2 - (-56)/24) + 145632 prime?
True
Suppose -2*t - t = -9. Let p = 2331 + -2052. Suppose t*d - p = -6*d. Is d composite?
False
Let w(c) = 1 + 14 + 18*c + 364*c + 0. Let p(n) = -381*n - 17. Let h(j) = 4*p(j) + 3*w(j). Is h(-14) prime?
False
Suppose t - 6*t = 2*z - 18, 2*t + 4 = 2*z. Suppose -t*r - 2*y = y - 1050, 0 = r + 3*y - 528. Suppose -n = 5*x - 453, 33 - r = -n + 4*x. Is n a composite number?
True
Suppose -10*r = -11*r + 2848. Let i = -861 + r. Is i prime?
True
Let b(z) = 55*z**2 + 49*z + 691. Is b(-38) a composite number?
True
Let s = -659208 - -1394669. Is s a composite number?
False
Suppose -428 = 4*z - 3*j, -2*z - 4*j = 2*z + 456. Let q = -403 + 206. Let g = z - q. Is g composite?
True
Suppose -3*y + f = -357931, -224059 - 133852 = -3*y - 4*f. Is y a prime number?
False
Let c be ((-2)/(-3))/(3 - (-6604)/(-2202)). Let r be -2*c/(-24) + 7/(-42). Let m = 672 - r. Is m a composite number?
True
Let s be 20/35 - (-1)/(-7)*60. Let o(m) = 3*m**2 - 16*m - 57. Is o(s) a composite number?
False
Suppose -7*w + 21 = -14. Suppose -3*d + 2646 = w*z, 12*d - 7*d - 3*z - 4376 = 0. Is d a prime number?
True
Suppose -105*m - 25*m + 2307110 = 0. Is m a prime number?
True
Let m be ((-66)/4 + -5)*38. Suppose 0 = 2*j + 6, -498 = -5*f - 0*j - 4*j. Let c = f - m. Is c composite?
False
Suppose -2*d + n = -1630749, -16*d = -19*d + 5*n + 2446148. Is d a prime number?
False
Is (-8)/(-24)*-1*342807*-1 prime?
True
Suppose 1086445 = 2*t + 5*h + 73262, -28 = 4*h. Is t a composite number?
False
Suppose 129*n - 2670016 = 65*n. Is n composite?
False
Let g be (0 - -45) + -6 - 9. Suppose g*z - 27829 = 13*z. Is z prime?
True
Suppose -82522 - 33479 = -9*k. Is k a prime number?
True
Let d(u) = -26*u**3 + 2*u**2 + 7*u + 16. Let l be d(-7). Suppose -6*p + 7*p - l = 0. Is p composite?
True
Let r be (-1)/4 - 29/(-4). Suppose r*f = 153895 + 41391. Is (20/(-28) - -1) + f/14 prime?
True
Let m = -88 - -100. Suppose -16*g + 20*g = -m. Let d = 68 - g. Is d a composite number?
False
Let d = 82113 - 45134. Is d a prime number?
True
Let i = 85151 + -10514. Suppose 7*k + 4084 = i. Is k a prime number?
True
Let n(f) = -f**3 - f**2 - 5*f - 78. Let d be n(0). Is (((-8)/(-6))/2)/(d/(-239265)) a prime number?
False
Let s(p) = 30*p**2 - 408*p + 2731. Is s(120) a prime number?
True
Is (-8)/(208/(-39))*((-714656)/(-12) + -2) composite?
False
Suppose -5*f - 2*s = -108, -3*s + 2*s = 4*f - 87. Suppose -f*p = 10371 - 56461. Is p composite?
True
Let r be 61861/(0 + 1) + (-23 - -25). Suppose r - 15171 = 12*i. Is i a prime number?
False
Suppose -4*y = 3*i - 409093, 0 = 8*y - 11*y - 4*i + 306825. Is y a prime number?
False
Let m(v) be the third derivative of 12*v**5/5 + 3*v**4/8 - 121*v**3/6 + 76*v**2 - 3*v. Is m(7) composite?
True
Let n be 1/(-2) - (2 - (-161)/(-14)). Let m(f) = 709*f - 5. Let p be m(n). Suppose 4*h - y = 9217, 5*h + 5*y - p = 5164. Is h prime?
False
Let z(l) = 223*l**2 - 8*l - 3. Let f be z(9). Suppose h - 9731 = 4*r, -3*h - 2*r + f + 11163 = 0. Is h prime?
True
Let o be (5816/20)/((-4)/20). Let g = -4096 - -747. Let i = o - g. Is i composite?
True
Let y = 60740 - 13269. Is y composite?
True
Is (-2)/3 + (-1184771)/(-147) a prime number?
True
Let l = 933 - 928. Suppose -203784 = -4*b - 4*d, d - 4*d = l*b - 254740. Is b prime?
True
Suppose 17937207 = 33*x + 30*x + 18*x. Is x composite?
False
Let s be (-14)/(-3) + 22/(-33). Is 29397/82 - (-2)/s prime?
True
Suppose 0 = -5*c + 3*k + 3, 5*c - c - 5*k - 5 = 0. Suppose 0 = 6*y - 8*y + n + 19051, 3*y + 3*n - 28590 = c. Is y prime?
False
Let b(i) = -460*i + 114. Is b(-25) a composite number?
True
Let b(j) = 10360*j**2 - 59*j - 293. Is b(-6) prime?
False
Let p = 1115103 + -711206. Is p a prime number?
False
Let d(a) = 1048*a + 229. Let c be d(11). Suppose 8*l - c = -565. Is l a composite number?
False
Is 660217*((-5 - -16) + -9) prime?
False
Suppose -42*c = -121*c - 19276. Let y be 2 + 1010/(2 - 0). Let o = y + c. Is o a c