, 5*j + 5*h + 3320 = 0. Let a = j + 1523. Let t = a + -564. Is t a prime number?
True
Let x(t) = t**3 - 2*t. Let q be x(-2). Is 819/2 + ((-10)/q - 3) prime?
True
Let a be ((10 - 1) + -4)*-1. Is (-1 + -1361)*a/10 a prime number?
False
Suppose -2*b + 3*b - 3 = 0. Let p = b + 6. Is ((-537)/(-9))/(3/p) composite?
False
Is 227842/22 + (-252)/(-462) a composite number?
False
Suppose 2*d - 4810 = 4*u + 2892, d - 3845 = -u. Is d a prime number?
True
Let y be 0 - 10 - (-1 - 1). Let a be (y/(-1))/4*4. Is ((-204)/a - 1)*-6 prime?
False
Let l be 2*(-1)/2*-25. Suppose -3*b - l = -8*b. Suppose b*o = 181 + 9. Is o a prime number?
False
Let l(c) = 10*c**2 + 2*c. Let x be l(3). Let y be 1 + 0 - 174/(-3). Let t = x - y. Is t a composite number?
False
Let z = 2886 - 1503. Is z a prime number?
False
Suppose y = -13 + 3. Let c = 58 - -7. Is -1 - y*(3 + c) composite?
True
Suppose -162 = -2*i - 5*y, 0*y = -5*i - 3*y + 367. Is i a prime number?
True
Suppose l + v - 83 = -l, -3*v - 63 = -2*l. Suppose -l*g + 34*g + 2465 = 0. Is g composite?
True
Is -5 + 312/(-9)*-45 a prime number?
False
Let j(z) = -2318*z + 7. Is j(-2) a composite number?
False
Suppose -2*s = 5837 - 36615. Is s a prime number?
False
Let l(a) = -a**3 - 6*a**2 - 2*a. Let t be l(-6). Suppose 13*v - t*v = 2557. Is v prime?
True
Suppose -5*v + 4 = -z - 3*v, 1 = 2*z - v. Let l(x) = -3*x + 24*x**2 + 2*x**z - 4*x**2 + 1 - x**2. Is l(-3) prime?
True
Is ((3 - (4 - 2))*7621)/1 a composite number?
False
Let n = 132 - -55. Suppose 0 = -3*w + p + n, -3*p + 167 = 3*w + p. Let r = -24 + w. Is r a composite number?
False
Let i = -1535 + 2812. Is i prime?
True
Let c(z) = 2*z**2 + 3*z - 25. Suppose 2*x - 9 = 7. Is c(x) prime?
True
Suppose 0 = -p + 4 + 4. Suppose 8*l - p = 4*l. Suppose 3*w + 2*d = 991, -d + 1322 = 4*w + l*d. Is w prime?
False
Suppose d + 54 = -2*d. Let g be (-4)/(-18) + (-32)/d. Suppose -g*p + 859 = 4*i + p, 5*i - 1075 = -4*p. Is i a composite number?
False
Let m = 3938 - -6141. Is m composite?
False
Let s be -33*(3 - 4) - 2. Is ((-2)/(-2))/(1/s) a prime number?
True
Let p = 7450 - 5031. Is p prime?
False
Suppose 0 = 2*o - 4, 0*c - 5*c + 5*o = -7910. Let s = -895 + c. Is s a prime number?
False
Suppose 3*y - 13 = 2. Is (y/(20/(-1174)))/((-1)/2) composite?
False
Let o(x) = 2*x**2 + 35*x + 50. Let y be o(-16). Let l = 118 - 71. Suppose -y*t = -275 - l. Is t a prime number?
False
Let w(t) = 3*t - 24. Let f be w(8). Suppose f = -2*z + 7 + 5. Is z a prime number?
False
Suppose -2*t - 259 = -4*m + m, -162 = -2*m - 4*t. Let v(w) = -5*w + 5. Let o be v(-9). Let g = m - o. Is g prime?
False
Suppose -54789 = -45*t + 32106. Is t prime?
True
Suppose 0 = -b + 310 - 56. Let y be (3 + -2)/1*0. Suppose y = 3*w + 5 - b. Is w a prime number?
True
Suppose 0 = 21*t - 22*t + 4. Suppose 5*u - 337 = t*b, 6*u - 353 = u - 4*b. Is u composite?
True
Suppose j = 5*q + 30, -5*j + q = 5*q - 5. Suppose j*a + 3*f = 898, a - 48 = 3*f + 128. Is a a composite number?
False
Let p(l) = 4*l**2 - 8*l + 1. Suppose z + 3*z = -4*u + 16, 5*z = 3*u + 36. Let r be p(z). Suppose 2*k - r = k. Is k composite?
False
Let y be -2*((-5607)/6)/3. Suppose -5*f + 6198 = y. Is f a composite number?
True
Let c = 1282 + -359. Is c a composite number?
True
Suppose -2*z = 37*f - 33*f - 56580, -5*f + 4*z = -70699. Is f composite?
False
Let n(g) = 101*g**2 + 48*g + 9. Is n(-10) a composite number?
False
Let l(q) = q**3 + 4*q**2 - 11*q - 2. Let c be l(-8). Let u = c - -448. Let t = u - 136. Is t a composite number?
True
Let a(u) be the third derivative of 11*u**4/2 + 13*u**3/6 + 15*u**2. Is a(3) a composite number?
False
Suppose -l + 4*l = 9222. Is l/((9/6)/((-9)/(-12))) a prime number?
False
Suppose n - 4*k + 4 = -2, -3*n + 12 = 3*k. Suppose -n*i - 3 = -13. Suppose -4*a = 4*v - 492, 643 = i*a - v - v. Is a prime?
True
Let s(i) = 14*i - 28. Let r(p) = 9*p - 19. Let o(k) = 8*r(k) - 5*s(k). Let q be o(7). Suppose u + 4 = 5*u, 0 = d + q*u - 37. Is d prime?
False
Suppose -2*w - 4*c = 788, -c + 723 = -3*w - 487. Let n = 741 + w. Let k = n - 128. Is k composite?
False
Let d(i) = -i**3 + 2*i**2 + 44*i - 10. Let u be d(8). Suppose -h + 4*b + 802 = 0, 0 = -2*h - 3*h + 4*b + 4010. Is (-7)/u + h/12 composite?
False
Let h = 39467 - 25234. Is h a composite number?
True
Let x = 11944 + 103. Is x a composite number?
True
Is (4 - -20338)*(-1 + (-3)/(-2)) prime?
False
Suppose 283 - 1651 = -4*i. Let a be (6 + 751)*(1 + 0). Let y = a - i. Is y prime?
False
Suppose 0*u - 4*a = -3*u + 7361, u - 2467 = -2*a. Is u prime?
True
Suppose -1328 = -6*n + 4*n. Suppose -2462 = -6*z + n. Is z a composite number?
False
Let l(f) = 7*f**2 + 4*f - 71. Is l(14) composite?
True
Let l(f) be the first derivative of 92*f**3/3 + f**2/2 - 14*f - 18. Is l(-4) composite?
True
Let b(d) = 137*d + 6. Let n(a) = -4 + 2*a - 7*a + 4*a. Let q be n(-7). Is b(q) prime?
False
Let l = -18931 + 35370. Is l prime?
False
Suppose -2*m - m = 6. Suppose 3*p - 701 - 712 = 0. Is (m/(-6))/(1/p) a prime number?
True
Suppose -2*x + 2*z + 1996 = 0, -2*x = 4*z - 1516 - 450. Let u = x - 611. Suppose -h + u = h. Is h a composite number?
False
Is ((-64)/12 - -3)/((-1)/2031) prime?
False
Suppose -5006 - 11684 = -10*g. Let o = g + -284. Is o prime?
False
Let u(a) = 121*a - 18. Let z be u(12). Let q = 2189 - z. Is q a composite number?
True
Suppose -4*r - r + 20 = 0. Suppose 5*t + 32 = 3*x, 2*x - 22 = 5*t - r. Let u(f) = 22*f - 15. Is u(x) prime?
True
Let j(r) = r**3 - 2*r**2 + r. Let s be j(2). Suppose 2*x - 134 = -4*f, f + s*f = -5*x + 111. Let h = f - -19. Is h composite?
True
Let r = 2 - -1. Suppose -b - r*b + 20 = 0. Suppose 2*l = 3 + b, -2*c + 86 = -4*l. Is c a prime number?
False
Let i = 802 + 943. Let c = i - 184. Is c composite?
True
Suppose 0 = -31*l + 21153 + 37964. Is l composite?
False
Suppose 12*p - 123568 = 13220. Is p a composite number?
False
Let r(z) = -z**3 - 19*z**2 - 1 - 8 + 26*z**2 + 11*z. Let h(u) = 2*u**2 - 5*u - 4. Let f be h(4). Is r(f) composite?
True
Let w(t) be the third derivative of -33*t**6/40 + t**5/60 + 5*t**4/24 + 5*t**3/6 + 5*t**2. Is w(-2) a composite number?
True
Suppose 11*n - 3774 = 7864. Suppose n + 24 = 2*p. Is p prime?
True
Let m be -3 - 2/(8/36). Is 131 + 0/(m/3) a composite number?
False
Suppose -4*y = -216 - 136. Let l be (-14)/4*y/(-77). Suppose -346 - 30 = -l*n. Is n a prime number?
False
Suppose -3*m - 15000 = -2622. Let s = -1677 - m. Is s a composite number?
True
Suppose 3*o - 23 = -4*c, 0 = -4*c + c - 3*o + 21. Suppose 3*t - 5696 = -u, -1902 = -t + u - c*u. Is t composite?
True
Let c(f) = 304*f + 25. Let l(z) = -z**2 - 11*z + 33. Let j be l(-13). Is c(j) a composite number?
False
Suppose -2*g + 0*g = 4*y - 16, 5*y = 5*g + 35. Let d(p) = 56*p**2 - p + 4. Is d(y) a prime number?
True
Let m = 18 + -24. Let c(g) = -83*g + 4. Is c(m) a composite number?
True
Suppose h = -2*h - 900. Let w = h + 427. Is w composite?
False
Suppose -17*c = -16*c + 3*y - 6461, -3*y + 25808 = 4*c. Is c prime?
True
Let u = 65 + -83. Let q(r) = -r**3 - 16*r**2 + 17*r - 11. Is q(u) a composite number?
False
Let w be (34/(-6))/((-3)/261). Let x = w + 648. Is x a composite number?
True
Let m(t) = -340*t + 13. Suppose -4*k + 0 = 16. Is m(k) prime?
True
Let l = 19304 + -12351. Is l prime?
False
Let a(u) = -u**3 - 17*u**2 + u + 22. Let g be a(-17). Suppose f + 4963 = -2*q + 5*q, -g*f = 4*q - 6630. Is q composite?
True
Let p be 22/(-3) - (-5)/15. Let d(f) = -11*f + 3. Let r be d(p). Suppose -t - l + 128 = 0, 5*t - 740 + r = -l. Is t a prime number?
False
Suppose -2*j + 5889 = -2*v - 3*v, -4*j - 5*v + 11823 = 0. Suppose -4*n - 2*a = -2962, -4*n + j = 4*a - 0*a. Is n prime?
True
Suppose 0*u - 98 = -u. Let d = -43 + u. Suppose 4*a = 3*a + d. Is a a prime number?
False
Let a = -13 - -11. Let x be -2 + 5 - (a - -2). Is 2/(x*(-4)/(-582)) prime?
True
Suppose 3*j - 8995 = -y, -j - 10*y + 2991 = -6*y. Is j composite?
False
Let u(c) = 299*c - 21. Is u(8) a prime number?
True
Let s(z) = 10313*z**2 - 7*z - 27. Is s(4) a composite number?
False
Let r = 1 + -2. Let j(g) = -g**2 + 2*g. Let d(l) = -10*l**2 + 9*l. Let v(o) = -d(o) + 4*j(o). Is v(r) composite?
False
Let k be (3/2)/(2/(-12)). Let t(f) = f**2 - 5*f - 25. Let u be t(8). Is 291/u*k/27 a composite number?
False
Let c = 115 + 534. Suppose i - 330 = c. Is i a prime number?
Fals