 o(-2). Is q/(-6)*(-6 + 3) composite?
True
Let b be 1116/(-90)*(-60)/2. Suppose y + 2*n = 73 + b, 0 = -y + 2*n + 457. Is y a composite number?
True
Let d(o) = 2*o**2 - 9*o + 8. Let i = 1 - 17. Let u = -10 - i. Is d(u) prime?
False
Let q be 2/4 + (-15)/(-6). Suppose -q*h - 7 = -19. Suppose 0 = -2*s + 2*v + 26, s + 4*v = h*s - 42. Is s composite?
True
Let q(v) = -v**3 + 8*v**2 - 7*v - 26. Let m be q(6). Suppose -4*j + 5 = -3*j. Suppose -m*a - j*k = -1632, a - 3*k - 838 = -a. Is a composite?
True
Let s(h) = 7*h - 13*h - 51*h**2 - 15*h**2 - 6. Let n be s(-3). Let y = 59 - n. Is y a prime number?
True
Suppose 0 = -2*m - u + 2, 0*m = -m - 5*u - 8. Suppose 4061 = 4*i - 5*t, i - m*i - t + 1004 = 0. Is i composite?
False
Let h(p) = p - 1. Let v be h(2). Suppose 18*m - 27*m = -27. Is (v/3)/(m/999) a composite number?
True
Suppose -t - 18*t = -1723243. Is t composite?
False
Let n = 8969 - -9402. Is n composite?
False
Let a(h) = h**3 - 9*h**2 + 22*h + 35. Is a(11) a composite number?
True
Let x be (-40)/(-12)*(-2274)/(-5). Let g = x + -979. Is g a prime number?
False
Let h be 140/(-30)*1818/(-7). Suppose h = 11*p - 5*p. Is p composite?
True
Suppose 9*t = -30097 + 138610. Is t prime?
False
Let u(z) be the second derivative of 2*z**4/3 - z**3/2 + 3*z**2 + 9*z. Suppose g + 3*g + c - 22 = 0, 4*g - 12 = 4*c. Is u(g) a prime number?
True
Let g = -10 - -19. Let c(x) = 2*x**3 - 13*x**2 + 7*x + 1. Is c(g) composite?
True
Let j = -20884 - -131497. Is j a composite number?
True
Suppose 3*z + 5*b = 40788, -11*z + 2*b = -6*z - 67949. Is z a composite number?
False
Let w(b) = 5*b**2 - b - 2. Let v be ((-72)/12)/(4/(-6)). Let k be w(v). Suppose 0 = 4*h - k - 618. Is h a prime number?
False
Let u = 87102 + -57875. Is u prime?
False
Let g = 31 + -26. Suppose 4*z + 8 = 4*s + 2*z, -3*s + 20 = -g*z. Suppose -2*c + 3*a + 154 = s, -3*a - 127 - 169 = -4*c. Is c prime?
True
Suppose -3*u - 4*i + 757 = -948, 0 = 5*u + i - 2819. Is u composite?
False
Suppose 2*m + 4 = 2*a + 6, 0 = -3*a - 4*m + 32. Let v(i) = 214*i**2 + 8*i - 17. Is v(a) prime?
False
Suppose -5*k - 2 = -4*k. Let h be ((-2275)/k)/(-5)*-2. Suppose -5*d + 5*b = -h, -3*d = d + b - 354. Is d prime?
True
Suppose 9*t = 8*t. Suppose t = -b + 59 + 410. Is b a composite number?
True
Let q be ((-4740)/(-45))/(10/6 + -1). Let a = q + 249. Is a prime?
False
Let a(q) = -121*q**2 + 5*q + 3. Let p be a(-3). Let u = p - -3604. Is u a prime number?
True
Let g = 223 + -79. Let n be 4/(-2) + g/(-2). Is (-7)/(-2)*(0 - n) prime?
False
Suppose 5*c - 24682 = s, -s + 1805 = c - 3135. Is c a prime number?
True
Let g(s) = 97*s + 397. Is g(48) a composite number?
True
Let y be (-56)/1 + (20 - 17). Let n = y + 99. Is n a prime number?
False
Let k(c) = 679*c - 32. Is k(27) prime?
True
Let w = -213 + 1862. Is w a composite number?
True
Let c(r) = 27 + 13*r + 106 - 17*r - r**2. Is c(0) prime?
False
Let j(t) = -3*t**2 + 1. Let a be j(1). Is (-1)/((-2)/a) - (-30 - 4) a prime number?
False
Let x(j) = -j**3 - 2*j**2 - 2*j. Let o be x(-2). Suppose -o*a = -40 - 52. Suppose 0 = 19*q - a*q + 996. Is q a prime number?
False
Let t = 14740 + 8194. Is t composite?
True
Let t(d) = 7*d + 1. Suppose 0 = 3*l - 5*c + 8, 0*l - l - 5*c + 4 = 0. Let j be t(l). Let w(f) = -f**3 - 3*f**2 - 2*f - 2. Is w(j) composite?
True
Suppose -3*y - 109 = -r, -3*y - 59 = -2*r + 51. Is 27/y + 598/8 a prime number?
False
Suppose -1 = x + 3, -4*x = -4*g + 5612. Is g a prime number?
True
Let q(t) = -t**3 - 5*t**2 + 7*t + 9. Let y be q(-6). Suppose -2*r - 3*r = j - 318, -j = y*r - 192. Is (1 - r)*12/(-24) a composite number?
False
Is (-6)/12*186568/(-4) a composite number?
False
Suppose -4*r + 26 = 2*y, 4*y - 3 - 13 = r. Let l = r + 0. Suppose -w + 265 = l*w. Is w a prime number?
True
Let i(m) = m**2 - 6*m - 3. Let o be i(7). Suppose o*s - 31 = 3*s. Let c = s + -9. Is c a prime number?
False
Let v = 3766 + -1245. Is v a composite number?
False
Let c = 49 - 31. Suppose -j - 2*j = c. Is 5/(-4)*2*j prime?
False
Let d = -774 - -107. Let g = d + 986. Is g a composite number?
True
Let c = 7510 - -3861. Is c composite?
True
Let u be (-20)/(-8)*(-6)/(-15). Let z(x) = -9 + 9 + u - x - x**3 + 11*x**2. Is z(8) a composite number?
True
Let x = 20 + -15. Suppose -4*d - 134 + 7813 = 5*a, -x*d + 5 = 0. Suppose -502 - a = -3*g. Is g composite?
True
Suppose -9*j = -4*j + 10. Let i be ((-1)/3)/(j/18). Is ((-62)/(-4))/(i/6) prime?
True
Suppose -2562 = 6*m + 2280. Suppose x = -5*y - 2742, 0*x - 1090 = 2*y - 3*x. Let l = y - m. Is l a prime number?
False
Suppose -3*c + 2*l = -1661, 4*c + 4*l - 1691 = c. Suppose 5*f - c = 688. Is f a composite number?
True
Suppose -11*i + 233667 + 126572 = 0. Is i a prime number?
True
Let g = -1939 - -3021. Suppose -5*y = -g - 363. Is y prime?
False
Let f = -48 - -53. Suppose v - 2721 = -3*g - v, f*v + 3628 = 4*g. Is g a prime number?
True
Let f(t) = -2945*t + 71. Is f(-4) a prime number?
False
Let j = 1186 + 1515. Is j prime?
False
Suppose -3*o = -10 - 65. Suppose 0 = 3*y - 4*h - 97, 2*h + o = 7*h. Is y a prime number?
False
Let b(u) = u + 3. Let i be b(2). Let n(o) = 8*o**2 - 5*o. Let a(g) = -g**3 - 16*g**2 + 9*g. Let m(y) = -2*a(y) - 5*n(y). Is m(i) prime?
False
Let c be 76/10 - 8/(-20). Suppose 0 = c*d - 3*d - 3605. Is d composite?
True
Suppose -3*f = -s + 8009, 2*s + 5*f - 3840 = 12178. Is s a prime number?
True
Suppose -2*t = -4*t + 14590. Let n = t + -4090. Is n a prime number?
False
Let u(n) = -n**3 + 2*n**2 - n + 12. Let j be u(3). Suppose 6*h - 2*h = 284. Suppose 0 = -j*b + b - h. Is b a prime number?
True
Let j be (1 - -2) + (4 - 4). Let g be 4/(1 + j) + 1. Suppose 57 = -b - 3*q + 305, g*q + 10 = 0. Is b a composite number?
False
Let k = -363 + 1178. Is k a composite number?
True
Is -7 + (7 - -2373)/5 a composite number?
True
Let i(d) be the third derivative of -1/120*d**6 + 6*d**2 + 0 + 0*d + 2/15*d**5 + 13/24*d**4 - 1/6*d**3. Is i(9) a prime number?
False
Let a(t) be the second derivative of -t**5/20 - t**4/3 + 5*t**3/6 - 2*t**2 - t. Let z be a(-5). Is ((-3)/z)/((-1)/(-28)) prime?
False
Suppose -7*m - 4438 = -117341. Is m a prime number?
False
Let u(o) = -o**3 + o**2 - o - 196. Suppose 15 = 2*j + 5*l, -4*j + 0*j = -4*l + 12. Let r be u(j). Let q = r - -287. Is q composite?
True
Suppose -1544*s = -1539*s - 76255. Is s prime?
False
Let n(t) = 3*t**3 + t + 2. Let k be n(3). Suppose 82*v = k*v - 10364. Is v a prime number?
True
Is 11/9 - 1 - (-22525)/9 a prime number?
True
Is 2774 + (-1 - 1) + (-10 - -15) a prime number?
True
Suppose -13*l = -7*l - 30. Suppose -p = -n - 0*n - 18, -4*p + 74 = -l*n. Let s(g) = 4*g - 5. Is s(p) prime?
True
Let q(a) = 10*a**2 + a - 5. Let g(w) = w**3 + 5*w**2 + 3*w - 3. Let p be 6/21 - 69/21. Let z be g(p). Is q(z) prime?
False
Let u(m) be the third derivative of 1/30*m**6 + 1/15*m**5 - 1/6*m**3 + 4*m**2 + 0*m + 0 + 1/3*m**4. Is u(6) prime?
False
Suppose 541 = -5*i + 19*q - 18*q, -109 = i - q. Suppose 4*s = -5*d + 667, 0 = -s + 3*d - 0*d + 188. Let y = i + s. Is y a prime number?
False
Let w = -1293 + 2932. Is w a prime number?
False
Let i(f) = -f**3 - f + 3. Let l be i(0). Suppose -l*v + 3795 = 4*n - 6*v, -v = -n + 950. Suppose -7*d = -n - 973. Is d prime?
False
Let i(l) = -l**2 + 25*l - 23. Suppose -3*z = -58 - 2. Is i(z) a prime number?
False
Let r = -104 - -122. Is 4/r + 88955/45 a composite number?
True
Let v(f) = -6*f**3 - 17*f**2 - 22*f - 137. Is v(-14) prime?
False
Let b(s) = s**3 - 12*s**2 + 24*s - 5. Let h be b(10). Suppose 5*r - 250 = -0*r. Suppose -q + h = -r. Is q composite?
True
Suppose 3 = -r - c, -2*r = -2*c + 6*c + 10. Suppose 4*f - 3*f - 147 = -3*l, 0 = 5*l + f - 247. Let j = r + l. Is j prime?
False
Let i(a) = a**2 - 6*a + 4. Let n be i(6). Let d = -35 - -105. Suppose -n*v + 1026 = d. Is v prime?
True
Suppose -5*g + 0*v + 52497 = -2*v, -4*g + 41998 = -2*v. Is g a prime number?
True
Let h be (-8)/20 + 168/20. Suppose -h*n + 181 + 3715 = 0. Is n prime?
True
Let r = -41 + 43. Suppose r*y - 393 - 269 = 0. Is y a composite number?
False
Let i = -2069 - -3243. Is i prime?
False
Let p(l) = 133*l**2 - l - 1. Let b be p(1). Is (5/5)/(1/b) composite?
False
Let u be 72/39 - 14/(-91). Suppose -4*h - h = -u*y + 3353, 3*y + h - 5004 = 0. Is y a prime number?
True
Let o be (-11)/(-3) - 2/(-24)*4. Suppose 3*d - l = o*d - 2330, d