+ 12 = 2*l. Suppose -l*o + 2*o + 163 = 0. Is o composite?
False
Suppose 0*c - c = -372. Is (-2)/14 + c/7 composite?
False
Let j(f) = 1. Let s(b) = b + 14. Let u(k) = -5*j(k) + s(k). Let i be u(-7). Suppose 0 = -i*q + 57 + 61. Is q prime?
True
Suppose 4*d = -2*s + 206, -5*d - 2*s + 13 = -246. Is d prime?
True
Let k = 537 + -230. Is k composite?
False
Let m = -5 + 11. Let j be (-6 + -1)*m/(-21). Is -2 + (j - 2) + 16 a composite number?
True
Suppose -4*t + 5*t - 123 = 0. Is t a composite number?
True
Let j(p) = -p**3 + p**2 - p + 1. Let r(b) = b**3 + 4*b**2 - b - 4. Let q be r(-4). Let f be j(q). Let z = f + 1. Is z a prime number?
True
Let l(g) = g**3 - 4*g**2 - 2*g + 1. Let c be l(5). Suppose -4*x = r + 4*r + 12, 4*x - 2*r - c = 0. Is ((-2)/x)/((-6)/282) a prime number?
True
Let r(y) = -10*y - 2. Let j be r(3). Let m = 79 + j. Suppose g - 36 = m. Is g prime?
True
Let m(o) = -o**3 - 9*o**2 + 7*o - 9. Suppose 0 = 2*q + 26 - 6. Is m(q) a composite number?
True
Let j = -5937 - -11900. Is j composite?
True
Let x = 520 + -257. Is x a prime number?
True
Suppose -m + 824 = -5*g + g, -g - 191 = -4*m. Let f = g - -145. Is 1/3 + f/(-3) a composite number?
True
Suppose -4*j = 27 + 93. Let d = 67 + j. Is d a composite number?
False
Is (-2057)/22*-1*2 a composite number?
True
Let s be ((-11)/2 + 3)*-2. Suppose 4*l - 73 - 35 = 4*v, s*v - 3 = -l. Is l a prime number?
True
Suppose -3*q = -4*o - 0*q + 387, 6 = 2*q. Let p = -68 + o. Is p a composite number?
False
Let c = 745 + -488. Is c composite?
False
Suppose 0 = -x + 3*r + 43, 5*x - 76 - 88 = -2*r. Suppose -144 = -2*u - x. Is u composite?
True
Let b(n) = -4*n - 9*n + 1 - 2. Is b(-2) prime?
False
Suppose -6*d = -7*d + 215. Suppose 2*b - 7*b = 260. Let m = b + d. Is m a prime number?
True
Suppose 10 + 15 = 5*g. Let a = 3 + 13. Suppose a = g*t - 19. Is t composite?
False
Suppose 3*n = -4304 - 12832. Is (-2)/10 - n/35 a composite number?
False
Suppose 0 = -3*a + 2*y + 451, -5*a + 3*y - 5 = -756. Is a prime?
True
Suppose 2855 = 3*w - 4*v, 0*v = 2*v + 10. Let s = -563 + w. Is s prime?
False
Suppose 3*z - 21 + 6 = 0. Suppose z*x - 235 = 5*i, 2*x + 82 = 4*x + i. Is x prime?
True
Let j(i) be the second derivative of -3*i**2 - i + 0 + 17/6*i**3. Is j(5) composite?
False
Let c be (-2)/8 - (-154)/8. Let g = -7 + c. Is ((-273)/g)/(1/(-4)) composite?
True
Suppose i - 23 = -4. Is i a composite number?
False
Suppose 0 = 2*m + 6, -3 = -3*r - 2*m + 27. Suppose r*l - 10*l - 138 = 0. Is l composite?
True
Is -2 + 513/6 + (-3)/6 a prime number?
True
Let q = 7 + -4. Suppose -u - q*u = -8. Suppose 0 = -u*c - c + 195. Is c prime?
False
Let u(h) = 2*h**3 - 6*h**2 + 6*h - 1. Let k(l) = -6*l**3 + 17*l**2 - 17*l + 2. Let y(z) = -6*k(z) - 17*u(z). Is y(4) composite?
True
Suppose 3*p = -5*v + 314, 5*v + 304 = 4*p - p. Is p a composite number?
False
Let r(k) = -k**3 + 2*k**2 + k - 2. Let w be r(2). Suppose 2*m + m - 291 = w. Is m a composite number?
False
Suppose -4*c + 3*n = -199, 0*c - n + 87 = 2*c. Is c prime?
False
Let b be 26/8 - 1/4. Is (28/1)/(b - 1) prime?
False
Let w(y) = 10*y**2 + y - 2. Suppose 0 = 2*g + 3*g - 15. Is w(g) a prime number?
False
Let u(y) be the first derivative of 20*y**3/3 + y**2/2 - 2. Let t be u(-1). Let q = -12 + t. Is q composite?
False
Let b(u) = -18*u - 9. Let g(m) = -19*m - 9. Let i(c) = 5*b(c) - 4*g(c). Suppose 28 = -z - 3*z. Is i(z) a prime number?
True
Suppose 2*r + 4*v + v - 508 = 0, -3*r - 3*v = -771. Is r prime?
False
Suppose 5*m - 769 = 246. Is m prime?
False
Let j = 374 + -151. Is j composite?
False
Suppose 0 = 4*z - 10 - 22. Is (z/(-12))/((-3)/99) prime?
False
Let z = 2 - 3. Let l be z/(-2*(-3)/(-42)). Let n(s) = 8*s + 3. Is n(l) prime?
True
Let c(h) = -4*h**3 - 2*h**2 + 1. Let u be c(-1). Suppose u*n = 25 + 530. Is n a prime number?
False
Suppose -h + 58 = z - 0, -2*h = 4*z - 126. Is h composite?
False
Is ((-5442)/12)/(3/(-18)) a prime number?
False
Let s(y) = y**2 - 7*y + 2. Let v be s(7). Let a(n) = 1 + 3 + 17*n - 3. Is a(v) a prime number?
False
Is 2/(-3) + 59/3 composite?
False
Suppose 3*o + v = -3, 4 + 5 = -o - 3*v. Let x be -114 + (3 + -2 - o). Let t = -76 - x. Is t a prime number?
True
Suppose 5*a + 4 - 44 = 0. Let k be a/3 + (-1)/(-3). Suppose k*v = -0*v + 381. Is v a composite number?
False
Suppose -299 - 2321 = -4*r. Is r prime?
False
Let t = -273 + 1018. Suppose 3*j - 2 = -2*g, -3*g + 3*j = 2*g - 26. Suppose g*u - t = -u. Is u prime?
True
Let n(u) = -760*u + 9. Is n(-1) composite?
False
Let f = -35 - -49. Is f a prime number?
False
Let a(v) = 2*v**3 - 27*v**2 - 22*v - 2. Let z(q) = -q**3 + 14*q**2 + 11*q + 1. Let u(l) = 6*a(l) + 11*z(l). Is u(10) prime?
True
Let h be (-518)/(-8) + 2/8. Suppose 0 = -2*v + 37 + h. Is v a prime number?
False
Let r(l) = 137*l + 9. Is r(4) prime?
True
Let m be 1/5 - (-120)/25. Is 8/(-20) - (-67)/m prime?
True
Is ((-76)/(-8))/((-2)/(-28)) prime?
False
Let c(k) = k**3 - 14*k - k**2 - 3 + 11*k + 2. Let v be c(-2). Let h = v + 38. Is h prime?
True
Let k(u) = -u + 1. Let o be k(-4). Let t(g) = -g**2 + 5*g - 2. Let s be t(o). Let y(i) = -i**3 - i + 1. Is y(s) prime?
True
Suppose 6 = -2*w, 2*s + 3*w = 4*s - 613. Let o = s + -187. Is o a composite number?
True
Suppose 5*r + 0 - 5 = 0. Let o(f) be the second derivative of 5*f**4/4 - f**2/2 + f. Is o(r) a composite number?
True
Suppose -534 - 717 = y. Let v = y + 2204. Is v a composite number?
False
Let x(l) = -4*l - 131. Let p(s) = 3*s + 132. Let b(v) = 3*p(v) + 2*x(v). Let r be b(0). Suppose -50 = -4*y + r. Is y a composite number?
True
Let q(o) = 9*o**2 - o - 1. Let k be q(-4). Let r be (-2)/(-15)*3*70. Suppose 0 = 5*w - k - r. Is w prime?
False
Let y = -34 - -111. Is y composite?
True
Suppose -3*u + 45 + 60 = 0. Is u a composite number?
True
Suppose 10*i = 10907 + 603. Is i composite?
False
Let z(t) = -2*t**3 - 12*t**2 - 4*t + 5. Is z(-11) a prime number?
True
Let m = -11 + 120. Suppose -2*q = 2, 0*y = 2*y + q - m. Is y a prime number?
False
Suppose -3*a = 3*u - 21, -2*a + 2*u + 4 = 2*a. Let y be (1/a)/((-2)/(-6)). Is (1*57/3)/y composite?
False
Is (74/3)/(36/594) composite?
True
Suppose 3*w = -v - 15, 3*v - w + 21 = -v. Let n = 31 - v. Is n prime?
True
Let c = 9 - 6. Suppose -2*q - 1341 = 5*t, -c*t = -q - 0*q + 798. Is 6/(-12) + t/(-2) composite?
True
Let x = -16 - -27. Suppose 5*s = 4*v + x + 9, 4 = s + 4*v. Suppose 5*r + 288 = s*k, -8 = -3*r + 5*r. Is k a composite number?
False
Let g = 30 - 27. Let s = -112 + 275. Suppose 5*i - 114 = 3*i + 4*d, g*i - 2*d - s = 0. Is i a prime number?
True
Let n(x) = x + 11. Let d be n(-7). Suppose 3*c = -3*a, -d*c - a = a - 6. Let g(j) = 2*j**3 - 4*j**2 - 4. Is g(c) composite?
True
Suppose -4*h = -7*h + 2631. Is h prime?
True
Suppose -x + 3*x - 64 = 0. Suppose 0 = f + 4*b + 5, -5*f - b + x = -19. Is f a prime number?
True
Let z(y) = y**2 + 2*y - 5. Suppose 5*c = -3*j - 1, 4*j + 3*c - 4 = 2. Suppose -3*x - j*f = -2*f + 13, -5*x + 4*f = 50. Is z(x) composite?
False
Let p be -2 - (-5)/((-5)/(-4)). Suppose p*t - 139 = 15. Is t a prime number?
False
Is 374 - (-2)/4*-6 a composite number?
True
Let u = 2 + -1. Let k = u + 1. Suppose 3*o - 175 = -k*o. Is o a prime number?
False
Suppose 5*s = 3*v - 2*v - 1049, s + 4196 = 4*v. Is v composite?
False
Let b = -9 + 15. Suppose v - b*v = 925. Is v/(-4) - 1/4 a composite number?
True
Is 10540/(-2)*-1 + 3 a composite number?
False
Suppose w + w = 3*i - 1, 0 = 4*w - 4*i - 4. Suppose 2*s - 3*t = w*s + 151, 4*s + 303 = -5*t. Is 2/(-8) + s/(-4) a prime number?
True
Let p(j) = -18*j - 5. Let s(o) = o - 1. Let c(w) = -p(w) + 2*s(w). Let n be (10/3)/(2/6). Is c(n) a composite number?
True
Let s = 1413 + 1976. Is s prime?
True
Let b = -165 + 283. Is b prime?
False
Suppose -17335 = -3*o - n, -n = -0*n + 2. Is o a composite number?
False
Let f(z) = -z + 2. Let m be f(7). Let g = 7 + m. Suppose 5*n = 4*d - 144 + 609, g*n + 5*d = 153. Is n composite?
False
Let z be ((-8)/(-6))/(4/6). Let k be 485/z - (-1)/(-2). Is (-3 - -1) + k/2 a composite number?
True
Suppose -a + 5*p - 472 = -4*a, -2*p = -4*a + 586. Is a composite?
False
Let o(l) = 35*l**3 + l - 1. Let z = 21 + -13. Let a be z/12 + 2/6. Is o(a) prime?
False
Let g(s) = 3*s**2 - s - 9. Is g(7) a prime number?
True
Is (1 + 0)/(1/83) composite?
False
Let i be 2 + -6*3/(-9). Suppose s + 173 = i*p - 27