- 7*a - 2. Let y be (6/(-12))/(2/20). Is u(y) prime?
False
Let u(n) = 3*n - 3. Let p be u(2). Is (41 - -5)*p/6 composite?
False
Suppose -1347 = -3*a - 3*d, 4*d - 6 = -26. Let m = 671 - a. Suppose x + 0*x - m = 0. Is x a prime number?
False
Suppose 0*x = 5*x - 15. Suppose -5*l = -k + x*k - 5, 3*l = -5*k + 3. Is (l - 2 - -2) + 13 a composite number?
True
Let x = 198 + 65. Is x prime?
True
Let b = 5 + -1. Suppose 0 = -i, i + 0*i + 316 = b*d. Is d a composite number?
False
Suppose -r - 15 + 4 = 0. Let k(z) = z + 1. Let h be k(7). Let j = h - r. Is j prime?
True
Let b(c) = c**3 - c**2 - 3*c + 2. Let x be b(2). Suppose x = -4*t + 203 - 63. Is t a composite number?
True
Suppose 15 = -0*t + 5*t. Suppose 0 = -2*r - i + 409, 0 = -t*r - 2*i + 7*i + 620. Is r prime?
False
Let l = -88 - -143. Is l composite?
True
Let x = 1540 + -1095. Let f = x + -124. Is f a composite number?
True
Suppose 1346 = 4*z + 118. Let s(x) = 6*x - 21. Let j be s(14). Suppose 0 = -2*o + 5*q + 35 + j, 0 = 5*o + 3*q - z. Is o a prime number?
True
Let s = 1385 - -592. Is s a composite number?
True
Suppose 22 = 5*r - 3. Is 380/r + -1 + 2 a prime number?
False
Is ((-4)/(-5))/(8/740) a prime number?
False
Let o(r) = 4*r**3 - 8*r**2 + 12*r + 1. Is o(8) prime?
False
Suppose -5*m = -m - 3*p - 7207, -5 = 5*p. Is m a prime number?
True
Let l(b) = -b**3 + 11*b**2 + 3*b - 16. Let f be l(11). Let k = -15 + f. Is k prime?
True
Let i = 45 - -114. Is i a prime number?
False
Let b(x) = -x + 8. Let f(w) = 3*w + 2. Let k = -5 + 2. Let r be f(k). Is b(r) a prime number?
False
Suppose -1 - 5 = -5*j + 4*h, -2 = -2*h. Suppose 0 = -j*l + 12 + 14. Is l prime?
True
Suppose 3*z - 12 = -0*z. Suppose -3*j = z*b - 43, -j - b = b - 11. Suppose -3*t + j = -21. Is t composite?
True
Suppose l + 266 = -0*l. Let v = -139 - l. Is v prime?
True
Suppose 0*t + 4 = 4*t. Let b(s) be the third derivative of 14*s**5/15 - s**3/6 + 2*s**2. Is b(t) composite?
True
Suppose -14 = -c - m + 22, 0 = 3*c + m - 112. Is (2 - 3/2)*c composite?
False
Suppose -2*h + 3 + 1 = 0. Let v be ((-2)/h)/(3/30). Is (-2)/(-5) - 486/v prime?
False
Suppose -4*m - 5*k = -1511, 3*m - 31 = -4*k + 1102. Is m a prime number?
True
Suppose 4*j - j = 14547. Is j composite?
True
Suppose -2*d + 416 - 8 = 0. Let v = -91 + d. Is v a composite number?
False
Let f = 708 - 369. Is f composite?
True
Let i(n) = -6*n**2 - 2*n - 1. Let q be i(-1). Let s(y) be the first derivative of -y**4/2 - 4*y**3/3 - y**2 + 3*y - 1. Is s(q) a composite number?
False
Suppose 2*w = -3*n + n + 326, -2*w + 660 = 4*n. Suppose -2*f + n = y, 2*y + 3*y = f + 802. Is y composite?
True
Is (-1799)/(-4) - (-9)/(-12) composite?
False
Is ((-14)/(-49) - 0) + 9586/14 prime?
False
Is 2/(-4)*-1074 - -4 a composite number?
False
Suppose 3*a + 4*b - 76 = 0, -5*a + 192 = b + 37. Suppose -k - 33 = -11. Let g = a + k. Is g prime?
False
Suppose 3*t + 4*k = 2*k + 651, -2*k - 209 = -t. Is t prime?
False
Let s(k) = -k**2 - 7*k + 5. Let z be s(-6). Suppose z*y - 13*y + 46 = 0. Is y a composite number?
False
Suppose 2*w - 15 = -3*w. Suppose w*o + 0*o = 4*n - 884, 0 = -3*n + 3*o + 663. Is n a prime number?
False
Let w(f) = 5*f**2. Let m(l) = 6*l**2. Let o(t) = -4*m(t) + 5*w(t). Suppose -2*y = -8 + 22. Is o(y) composite?
True
Let s = 300 + -445. Let l = -39 - s. Is l prime?
False
Let w(t) = -4*t**2 + 2 + 5*t**2 - 1. Is w(6) prime?
True
Let i(p) = -3*p**3 - 14*p**2 - 2*p + 39. Let d(c) = c**3 + 5*c**2 + c - 13. Let j(l) = -11*d(l) - 4*i(l). Is j(6) prime?
False
Let g(f) = f**3 - 3*f + 1. Suppose 5*a - 13 = 7. Is g(a) composite?
False
Let u(s) = 5*s**2 + 4*s + 52. Is u(17) a prime number?
False
Suppose 8*v - 7337 = -3*v. Is v a composite number?
True
Let f = -11 - -5. Let q(a) = -7*a + 7. Is q(f) composite?
True
Suppose -4*n - 4 = -u - 3*n, -5*n = 5. Let p be 4/(-3)*(-141)/2. Suppose -u*x = -x - p. Is x prime?
True
Let v = 387 - -102. Is v composite?
True
Suppose -4*k + 685 = -5*a, -3*a + k - 172 = 246. Let n = a - -206. Is n composite?
True
Let f(j) = j**3 - 5*j - 8. Is f(6) a prime number?
False
Let j(t) = 8*t - 1. Let u be j(2). Suppose 0 = 3*n - 5*x - 2, 2*x = -0*x + 4. Suppose n*i = 2*k + 210, k = -2*k + u. Is i a composite number?
True
Let o(i) = 5*i**2 + 5*i - 1. Is o(5) a prime number?
True
Let p(n) = n + 3. Let w be p(0). Let d be 0 + (w - 4 - -1). Suppose d = -j + 78 + 5. Is j a prime number?
True
Suppose 0 = -3*u + 2*u + 4. Suppose -b + 5 = 0, u*g - 277 = -5*b + 280. Is g a prime number?
False
Let x(y) = 3 - 4*y + 4*y + 4*y**2 + 6*y - 6. Is x(-8) composite?
True
Suppose -5*c + 22 = -3*b, -b + 4*c - 20 = 2*b. Let a = b - -5. Is (a/3)/((-3)/(-1071)) prime?
False
Let k = -383 - -562. Is k a composite number?
False
Suppose 18930 = 3*c + 3*c. Is c composite?
True
Let y(k) = -k**3 + 5*k**2 + k - 2. Let h be y(5). Suppose h*x - 46 - 128 = 0. Is x a prime number?
False
Let a(m) = m - 4. Let l be a(5). Let o be 10/4*2/l. Suppose o - 14 = -3*u. Is u a prime number?
True
Let y(q) = 3*q**3 - 9*q**2 + 7. Is y(6) a prime number?
True
Let j(m) = 1255*m - 6. Is j(1) a prime number?
True
Suppose 3*y + 9 + 7 = 2*c, 12 = -y + 2*c. Let v(x) = 10*x + 7. Let n(i) = 10*i + 7. Let u(w) = y*v(w) + 3*n(w). Is u(9) a prime number?
True
Suppose 10*w + 0*w = 1940. Is w composite?
True
Let l be -21*(-17)/(-3)*-1. Let c = l - 37. Is c a prime number?
False
Suppose 6*f - 630 - 1356 = 0. Is f prime?
True
Let b = -7 - -12. Let n be (2 + -2)/(15/b). Suppose n = -4*g + g + 267. Is g prime?
True
Let p(h) = 7*h - 3. Let q = -1 - -3. Let n be p(q). Let s = 21 - n. Is s composite?
True
Let x = 153 - 19. Is x a composite number?
True
Let p = 385 + -71. Is p a composite number?
True
Let y(t) = 2*t**2 + 2*t + 3. Let g be y(-2). Suppose -6*m = -4*m - 5*d + g, 3*d - 15 = 0. Suppose 4*f + 605 = m*f. Is f composite?
True
Suppose -i - i + g + 518 = 0, 4*i - 5*g = 1048. Is i a composite number?
False
Let f(c) = 21*c + 1. Is f(6) a composite number?
False
Let a = 19 + 52. Suppose 6 = -b + a. Is b prime?
False
Suppose t + 3*t = -3*x + 211, -205 = -3*x + 2*t. Is x a composite number?
True
Let d be (6 + 52)*1/2. Suppose 0 = -5*q + x + 2*x + d, -4*x + 29 = 3*q. Suppose u + q = 26. Is u prime?
True
Let l = -25 + 46. Suppose -2*d = -3*g + 12, 5*g - d - l = 2*d. Suppose j - g = -j. Is j a composite number?
False
Let l(v) = -v - 111. Let z be l(0). Let r = -64 - z. Is r a composite number?
False
Let q(k) = -k**3 - 2*k**2 - 7*k - 3. Let m be q(-3). Suppose 3*c = -5*s + 77, 0 = 4*s - 7*s + 3*c + m. Is s a prime number?
True
Let h(j) = -247*j - 3. Is h(-2) a prime number?
True
Let g be (28/21)/((-2)/(-72)). Suppose -g = 5*s - 1943. Is s a prime number?
True
Let b(f) = -6*f**2 + 1 - 3 - f**2 + 5 + 5*f**3. Let a(k) = 4*k**3 - 7*k**2 - k + 3. Let o(j) = -4*a(j) + 3*b(j). Is o(5) prime?
True
Let f be 6/21 - 26/(-7). Let z = 8 - f. Is (-62)/16*-2*z composite?
False
Is ((-4 + 14)*-37)/(-2) a prime number?
False
Is 1*(-2 - -3)*83 prime?
True
Let b(k) be the third derivative of -k**4/6 - 3*k**3/2 + k**2. Let o(g) = -g**3 + 10*g**2 - 9*g - 6. Let i be o(9). Is b(i) prime?
False
Let j = 63 - 1. Let o = j - 31. Is o composite?
False
Let i(h) = -h**2 + 6*h + 2. Let m be i(6). Suppose -m*d = -d. Suppose -3*z + z + 30 = d. Is z composite?
True
Let p = 278 - 184. Is p a composite number?
True
Let t = 13 + -3. Is (-397)/(-5) - 4/t a prime number?
True
Let v be 2292 + 2 + 3 + -2. Is v/39 + 4/26 a composite number?
False
Is (-1)/5 + (-36414)/(-45) a prime number?
True
Suppose 25 = 3*m + 10. Suppose 10 = 5*g + m*l, 5*l - 3*l + 16 = 2*g. Suppose -y - 6*r + 22 = -3*r, 0 = -4*y - g*r + 81. Is y prime?
True
Suppose 0 = -o - 0*o - 5*j - 9, -12 = -4*o - 4*j. Is o/(-2 + -1) + 21 prime?
True
Let a(u) = 6*u**3 - 3*u**2 + 3*u - 1. Is a(3) composite?
True
Let y(x) = x**2 + 7*x + 9. Let q be y(-7). Let r(n) = -n**2 + 2*n - 10. Let g(h) = -3*h**2 + 6*h - 29. Let w(z) = -6*g(z) + 17*r(z). Is w(q) prime?
True
Let a = 7 - 2. Suppose a*r + 70 = 5*u, -r + 6*r = 4*u - 51. Is u prime?
True
Let w(c) = 1 + 3 - 1 + 4*c. Let y be w(6). Is (-3)/(y/393)*-3 composite?
False
Let p(d) = 2*d**3 - 7*d**2 + 7*d + 1. Is p(6) a composite number?
False
Let l be 11/2 + 2/4. Suppose -l = 5*u - 31. Suppose u*o = 3*o - 5*i + 103, 4*i - 4 = 0. Is o prime?
False
Let o be 1941/4 + (-1)/4. Suppose -i - 3*j = -2*i + 256, 