i. Suppose -4*a = g*d - 1185, 2*d = -2*d + 5*a + 1549. Is d composite?
True
Let d(n) = n**3 - 10*n**2 - 10*n - 12. Let p be d(11). Let v be p/4*-4 - -151. Let r = 265 - v. Is r a prime number?
True
Let a = 4 + -1. Suppose -a*f = -4*f + 4*c + 4, 3*c + 3 = -4*f. Suppose f = -h + d + 87, 0*d = -d + 2. Is h prime?
True
Let p be (-1)/4*2 + 18/(-12). Is -5 - p - (-8 - 186) a prime number?
True
Is 1 - (-1555 + -7 - -4) composite?
False
Suppose -3*f = -5*f + 4. Let v be 2/8 + 7/4. Suppose 4*p - 7*p = f*x - 87, -v*x = 2*p - 84. Is x a composite number?
True
Suppose -16 = 3*u - 2*i, -3*u + i - 24 = -4. Let h be (-36)/(-16) + (-6)/u. Suppose -72 = -h*s + 87. Is s composite?
False
Let c = 3 - 10. Let d(l) = -l**2 - 9*l - 11. Let p be d(c). Suppose 5*m - h = -p*h + 269, 125 = 2*m - 5*h. Is m a prime number?
False
Let m be 18/(-6) + (-1 - -7). Suppose -3*z + r = -19, 0*z + m*r = -3*z + 3. Suppose 0 = -c + 3*b + b + 179, -3*c = -z*b - 537. Is c prime?
True
Let u(t) = 148*t**3 + 19*t**2 - 7*t - 17. Is u(5) a composite number?
True
Let b(y) = -y**3 - 4*y**2 - y + 9. Let o be b(-3). Suppose 160 - 1027 = -o*z. Is z composite?
True
Let a(u) = -8*u - 32. Let x be a(-5). Suppose 4*q = -3*b + 9707, 16155 = 5*b + x*q - 13*q. Is b a composite number?
True
Let n = -18 + 20. Suppose -d = 5*f - 5, 4*f = n*d - 0*d - 10. Suppose -y - 3*y + 132 = f. Is y a composite number?
True
Let d(v) = 4*v**2 - v - 1. Let o be d(-1). Suppose 0 = o*j - 5 - 3. Is (-6)/18*(-84)/j composite?
True
Let z(v) = 5*v + 4111. Let x be (5 + (-16)/4)*(1 - 1). Is z(x) prime?
True
Suppose -2*o + 6922 + 334 = 0. Suppose -2*u + 0*u + 3628 = 4*l, -o = -4*l + 2*u. Is l a prime number?
True
Suppose -3*g + 9686 = m, -5*g - 13149 = -2*m + 6234. Is m prime?
True
Let z(a) = -a**3 - 9*a**2 + 2*a + 7. Suppose 44 = -13*l + 9*l. Let m be z(l). Let i = -158 + m. Is i composite?
True
Suppose -5*c = 8*c - 1612. Suppose c = -5*z + 2519. Is z a prime number?
True
Let s be (36 - 1)*(-2 + 1). Is 3519/7 + (-10)/s a prime number?
True
Let a(i) be the first derivative of 20*i**3/3 - 2*i**2 - i - 1. Suppose -4*d - 72 = 20*d. Is a(d) prime?
True
Suppose 0 = -76*z + 34*z + 960582. Is z a composite number?
False
Suppose t = -4*m - 2*t - 195, -4*t - 244 = 5*m. Let p = -22 - m. Suppose 0 = -f + 5*a + p, 5*f - 6*f - 4*a = -71. Is f a composite number?
True
Let l be (-51)/(-9) + (-10)/15. Suppose -6*b - 1935 = -5*y - b, 2*b - 1900 = -l*y. Is y prime?
False
Suppose -6*s - 9*s + 689325 = 0. Suppose -11*a = 8896 - s. Is a a composite number?
True
Let d be (-1)/(2/8) - 1. Is -3*d/(-15)*(1 - 212) prime?
True
Let v(r) = -r**3 + 6*r**2 - 4*r - 1. Let o be v(5). Suppose o*u + 4991 = 11*u. Let y = -332 + u. Is y a composite number?
True
Let b be (2/4)/(38817/(-38820) + 1). Suppose 0 = 5*g - 2*d - 3*d - b, 4*g = 2*d + 5174. Is g a prime number?
False
Suppose -5*m = -5*q - 15245, -2*q = -5*m - 0*q + 15233. Suppose 5*p - 480 = m. Let b = p - 376. Is b prime?
False
Suppose 21 = 3*q + 5*v, 0*v - 13 = -2*q - 3*v. Is (1072/q - -5)*1 a prime number?
True
Suppose -b - 30 + 7 = 2*x, -5*x - 30 = -3*b. Let p(k) = -k**3 - 8*k**2 - 6*k - 8. Is p(x) composite?
False
Suppose g + 15 = 3*g - v, g - 2*v = 6. Let p(w) = w**3 - 8*w**2 - 4*w - 5. Let m be p(g). Let o = 126 + m. Is o prime?
True
Let n be ((-8)/20)/((-668)/670 + 1). Is ((-1)/((-6)/n))/(4/(-204)) prime?
False
Suppose 4*q + 819 = 839. Suppose 0 + 3 = w. Suppose q*u - k + 2*k = 890, w*u + 2*k = 527. Is u a composite number?
False
Let f(g) = 104*g**2 + g + 1. Let z = 5 - 31. Let a be z/(-10) - 12/20. Is f(a) prime?
True
Is 2832 + -11 + 7 + -1 a prime number?
False
Let c(o) = -o**3 + 7*o**2 - 9*o - 4. Suppose 0 = -2*s - 2*r + 10 + 4, s = -2*r + 10. Let q be c(s). Suppose 0 = -5*b + q + 7. Is b composite?
False
Suppose -2*g = -3*g. Suppose 4*i - 8*i = g. Suppose 5*d - 21 - 1 = 2*y, i = 5*d + 4*y - 46. Is d a prime number?
False
Suppose -22*r + 21*r = 49. Let t(l) = -160*l. Let d be t(-1). Let k = d + r. Is k prime?
False
Is (0 - 9601)/((-14)/14) a composite number?
False
Let z(t) = -t**2 + 4*t + 7. Let k = -15 - -20. Let d be z(k). Is (-7)/(-14) + 2797/d a prime number?
True
Let y(n) = -1032*n - 161. Is y(-4) composite?
False
Let n(m) = -19*m + 5. Let d be n(-3). Let z = d - 52. Is z prime?
False
Suppose -3*i - 5*b + 43102 = 0, -71844 = -5*i + 131*b - 132*b. Is i composite?
False
Let m = 4 - 8. Let j be (m/(-6))/(2/6). Is 111/((-3 + j)*-1) prime?
False
Suppose -4*z = -2*k + 16, 18 + 20 = 3*k + z. Suppose -5*m = -15, 0*b - 2*m = 2*b - k. Suppose -541 + 58 = -b*u. Is u a composite number?
True
Let a(r) = 3*r**3 - 10*r**2 + 22*r - 3. Is a(8) composite?
False
Suppose 3*l - 2*y - 19 = 0, l + 0*y + y - 3 = 0. Suppose 0 = 46*p + 8*p - 162. Suppose l*w + d - 2703 = p*d, -5 = -5*d. Is w composite?
False
Let j = 5 - 1. Let d = -94 + 364. Suppose 0*g - 2*g + d = -5*l, -j*l + 16 = 0. Is g a composite number?
True
Suppose -5*v - 8100 = -10*v. Suppose -2*h + v = -178. Is h a prime number?
False
Let d = -11114 - -18145. Is d a composite number?
True
Suppose -21 = 3*j - q, 0 = -j - 4*q - q - 23. Is 254*2/j*-2 prime?
True
Let w(x) be the first derivative of x - 5 + 5/2*x**2 + 2*x**3 + 1/4*x**4. Is w(-4) a prime number?
True
Suppose 2*n + 5*v - 12 = 0, 0*v + 30 = 5*n - v. Let i = -3 + n. Is 1661/i - 14/21 a prime number?
False
Suppose -2*s = v - 5*v, 4*s + 6 = 2*v. Let j be (v/2)/((-1)/18). Let h = j - -1. Is h composite?
True
Let k(h) be the first derivative of 2*h**3/3 - 3*h**2/2 + h - 5. Let c be k(2). Suppose -r - 2*o = -0*r - 65, -c*r = -5*o - 162. Is r a composite number?
False
Let q(n) = -n**3 + 4*n**2 + 5*n - 2. Let l be q(5). Let x(k) be the second derivative of -2*k**3 - 3*k**2/2 + 6*k. Is x(l) composite?
True
Suppose -11*l + 3*b - 899 = -13*l, -4*l - b = -1783. Is l a prime number?
False
Let f = 84 - 80. Let l be 134 - (-2)/(2 - 4). Suppose -2*c + 0*t + l = -5*t, -3*c + 257 = f*t. Is c prime?
True
Let y(z) = z**2 + 18*z - 19. Let u be y(-19). Suppose u = -2*d + 187 + 127. Is d composite?
False
Let q(j) = -j**3 - 4*j**2 + 1. Let m(x) = 4*x**3 + 11*x**2 - x - 2. Let o(r) = -2*m(r) - 7*q(r). Let k be o(6). Suppose -2*s + 251 = k. Is s prime?
False
Let a = 17929 + -9576. Is a prime?
True
Let a(j) = 212*j**2 - 24*j - 97. Is a(-9) a prime number?
True
Let c = 2420 - 1392. Suppose 8 = -2*u, 3*z + 59 = -3*u + c. Is z a composite number?
True
Let w = -93 - -93. Suppose -22*a + 16*a + 14574 = w. Is a a composite number?
True
Suppose 6*w = 5*w + 64. Let m = w + -12. Let r = m + 54. Is r prime?
False
Let y be (-2 - 5) + 5 - 7/(-1). Suppose -4*b = -w + 5*w - 24, 4*w = 5*b - 39. Suppose -b*z + 366 = -y*z. Is z a composite number?
True
Let b = -111 - -101. Let h(s) be the second derivative of s**5/20 + 11*s**4/12 + s**3 + 11*s**2/2 + s. Is h(b) composite?
True
Is (-5 + (-1044)/(-14))*7 composite?
False
Suppose -4*h + 250595 - 93159 = 3*o, 157436 = 4*h - o. Is h a prime number?
True
Suppose 7*n = 5*n - 2*f + 66962, 0 = -4*n + 4*f + 133924. Is n a prime number?
False
Suppose 0 = -200*v + 76*v + 1471012. Is v composite?
False
Let q(i) = -2*i**3 + i**2 - 5*i + 1. Let t be q(-6). Let r = -343 + t. Suppose 3*j = r + 351. Is j a composite number?
True
Suppose 0 = -20*y + 27*y - 175007. Is y a composite number?
True
Let p be 3*-9*(-18)/54. Suppose p*w = 7*w + 662. Is w prime?
True
Let z(u) = 12*u**2 + 0*u**2 + 10*u + 17 + u**2 + 6*u**2. Is z(-7) composite?
True
Let g(u) be the first derivative of 10*u**3/3 - 5*u**2 - 11*u - 2. Suppose -54 = 5*y + y. Is g(y) a composite number?
True
Is 1/5 + (-2004)/(-15)*363 composite?
False
Let b = 63 + -59. Suppose 5*x - 3*g - 7783 = 0, 3*x - 4657 = g + b*g. Is x a prime number?
True
Suppose 0 = -6*x + 13*x - 1736. Let p = x + 435. Is p a composite number?
False
Let q = -13 + 13. Suppose q = 16*b - 5*b - 19921. Is b composite?
False
Is (-1)/(-3)*(-1454208)/(-128) prime?
False
Suppose -x - 213 = -2*x. Let v(m) = 87*m - 11. Let o be v(5). Let q = o - x. Is q prime?
True
Let z be 0 + (-4)/14 + 758745/273. Let h = z + -1620. Is h a prime number?
False
Suppose 0 = 2*y - 4*x + 21 + 1, 0 = 3*x - 3. Is (-3642)/y*(-84)/(-8) composite?
True
Let u(o) = -o**3 - 8*o**2 - 8*o + 4. Suppose -m + 14 = -3*m. Let g be u(m). Is (-2)/g - (-6867)/77 composite?
False
Let o = -59 - -60. Is ((-6624)/(-6))/2 - o compo