Let c be f(-8). Is (c/6)/(4/712) a prime number?
True
Suppose 0 = 3*n + 5303 - 22154. Is n composite?
True
Let g(o) be the third derivative of 1/60*o**5 - 19/20*o**6 + 0*o + 0 + 0*o**3 + 0*o**4 - 4*o**2. Is g(-1) a prime number?
False
Let h be 2/(0 - (-2)/4). Suppose -h*l - l = -70. Is l a prime number?
False
Let r(l) = l + 31. Let h be (-2)/(-4*(-2)/60). Let a be 6/h - 4/(-10). Is r(a) a prime number?
True
Let t(j) = -2*j**3 - j**2 + 8*j + 9. Is t(-5) composite?
True
Suppose 5*y = 2*y + 903. Is y a composite number?
True
Let s be ((-410)/(-4))/5*-2. Let q(d) = -5*d**2 - 2*d - 4. Let n be q(-4). Let h = s - n. Is h prime?
False
Let k be 1/((-2)/(-4))*78. Let d = k - 63. Is d a composite number?
True
Let s(i) = -2*i**2 + 18*i + 5. Let h be s(9). Is h/(-2)*1136/(-20) a composite number?
True
Let s = -9 + 13. Let j(v) = 3*v + 2. Is j(s) prime?
False
Suppose j + 77 = -3*j + 5*h, 3*j - 2*h = -49. Let k(g) = -2*g. Is k(j) a composite number?
True
Let b(h) = h**3 + 7*h**2 - 2*h - 3. Let q be b(-6). Let c be (-50)/(-18) + 10/q. Is 6 + (6 - c)/3 prime?
True
Let d(m) = -3*m + 6. Suppose -n = -3*x, 32 - 10 = 5*n - 4*x. Let t be d(n). Is (-7)/(14/t)*1 composite?
True
Is 611*(-3 - -4)*1 prime?
False
Suppose -5*l + 301 = 66. Is l a prime number?
True
Is 2959 + 16/4 + 2 a prime number?
False
Let p = 0 + 5. Suppose -4*q - 2 = -p*s, q - 4 = 3*q - 4*s. Is q + (-13)/(-1 - 0) prime?
False
Suppose -472 = -g - 3*g. Is g a composite number?
True
Is (-2)/(-5) - (-3744)/65 composite?
True
Let h(a) = 5*a**3 - 7*a + 9. Suppose -12 = -16*x + 13*x. Is h(x) a prime number?
False
Let d = 43 + -162. Let w = -209 - -381. Let f = d + w. Is f prime?
True
Let c = 32 + 169. Is c a prime number?
False
Suppose -556 = -3*n - l, l + 188 = 2*n - n. Let h = n + -101. Is h prime?
False
Let a = 10 + -7. Suppose 0 = -2*j - 3*j + a*y - 121, 9 = -3*y. Let b = j + 153. Is b a prime number?
True
Suppose u = -2*t + 151, -2*t = -4*u - 0*t + 594. Let c be 2*u/4*-2. Let y = -98 - c. Is y a prime number?
False
Let r = -9 - -11. Let b be ((-8)/(-1))/2 - r. Suppose -b*p + 3*p = 19. Is p composite?
False
Let n be (-2 + 2 + -1)*0. Let j = 4 - n. Is j a prime number?
False
Let d(p) = -46*p + 2. Let n(z) = z**3 - z - 6. Let v be n(0). Let t be d(v). Let u = 427 - t. Is u a composite number?
False
Suppose 2*l - 1340 = -2*l. Is l prime?
False
Suppose s + 4*f = 2*s - 130, -s = 2*f - 106. Let n be s*1/(-4)*-2. Suppose n = 2*l + 19. Is l prime?
True
Suppose 18 = 4*h - h + 2*f, 0 = 4*h + 2*f - 22. Suppose 2*j + 2*l + 21 = 3*j, 3*l + 64 = h*j. Is j prime?
True
Suppose -5*i - 1084 = -5*m + 4666, -5*m - i = -5756. Is m a composite number?
False
Let s be 93/(1/(-3)*-3). Suppose s = -i + 2*i. Is i a prime number?
False
Let y(l) = 33*l**3 + 2*l**2 - 3*l - 3. Suppose -2*h = -5*h - z - 14, -5*z - 10 = -5*h. Let r be y(h). Let x = 1238 + r. Is x prime?
False
Suppose 0*z = -3*m + 2*z + 5455, 2*m - 5*z - 3633 = 0. Is m a prime number?
False
Let m(a) = 2*a**2 - 6*a - 5. Is m(12) a prime number?
True
Let t(l) = 21*l**3 + 2*l**2 - 1. Let s be t(1). Is 1309/s - 1/2 prime?
True
Let j(w) = -2*w**2 + w**2 + w - 3*w + 6*w. Let g be j(3). Suppose 0*y - g*y + 138 = 0. Is y a prime number?
False
Let d(b) = 94*b + 5. Is d(8) composite?
False
Suppose 0 = -4*c - 202 + 854. Is c a composite number?
False
Let r = -407 - -898. Is r a composite number?
False
Suppose 0 = -8*k + 5*k + 246. Suppose 3*g = n - 82, -g - k = -0*n - n. Is n a composite number?
True
Suppose 100 = 3*l - n, 5*l - 179 - 11 = -3*n. Let a = 58 - l. Is a composite?
False
Suppose 0 = 2*v - 7 - 11. Suppose 2*u = 2, -3*u - 13 = -5*x + v. Suppose -x*o - 59 = -334. Is o composite?
True
Let c(g) be the first derivative of -g**4/2 - g**3/3 + 3*g**2/2 - 3*g - 7. Is c(-3) a composite number?
True
Suppose 4*y - y + 6 = 0, 4*g = 2*y + 344. Is g prime?
False
Suppose 5*y - w = -989 - 192, -2*y - 2*w - 470 = 0. Let b = 404 + y. Suppose -4*m - 6*d + 2*d + 132 = 0, -5*m = 2*d - b. Is m a prime number?
False
Suppose -l + 4*l + 3 = 0. Let p = l - -1. Suppose 3*f - 276 = 5*t, p*f - 4*t = 2*f - 206. Is f a composite number?
False
Let f(q) = 0*q - 2*q - 1 - 3*q. Let z be f(1). Let c = z - -9. Is c prime?
True
Let h(f) = 41*f**2 - 4*f + 15. Is h(4) a prime number?
False
Suppose i + 0*o + 2*o = 5, 0 = -o - 2. Let c = i + -13. Is (2 - 11)/(6/c) a prime number?
False
Suppose 6*b - 7 = 5*b. Suppose 5*v - 4*g = 1 + 5, -3*g = 2*v - b. Is 1*v/(-4)*-178 a composite number?
False
Let x = 170 + -117. Is x a prime number?
True
Let y(d) be the second derivative of -d**3/6 + 77*d**2/2 - 3*d. Is y(0) a prime number?
False
Let f(q) = 10*q**2 + q - 25. Is f(-6) prime?
False
Is (974/5)/(8/20) composite?
False
Suppose 0 = 2*m - 682 + 168. Is m a composite number?
False
Suppose 0 = 4*c + 4, -4*x + 791 = -0*x + c. Let l = 22 - -18. Suppose l = -2*t + x. Is t a composite number?
False
Let q(n) = -n**2 + 26*n - 23. Is q(18) composite?
True
Suppose -3*s = 4*z + 630, -1 = -3*s + 5. Let k be -4*(1 + z/12). Let n = 284 - k. Is n a prime number?
False
Let g = 27 + 66. Is g composite?
True
Let l = 954 + 1097. Is l a composite number?
True
Let j(c) = 5*c**3 + 2*c**2 - 2*c + 1. Is j(1) prime?
False
Suppose 0 = -2*k + 10, -3*k + 571 = 4*x - 0*x. Is x a composite number?
False
Let o(a) = -a**2 - 5*a. Let q be o(-5). Let p(m) = -21 - m + 80 + 0. Is p(q) prime?
True
Suppose 5*i = 3*i + 1448. Is 1 + -4 + (i - 2) a composite number?
False
Suppose -w - o + 8 = -0*w, -3*w = -5*o - 40. Is (34 + w)*1/2 a prime number?
False
Let c(m) = 4*m**2 - m - 5. Let b(z) = -4*z**2 + z + 6. Let u(f) = -4*b(f) - 5*c(f). Let l be u(-1). Is 94/(-2 - 1*l) a composite number?
False
Suppose 0*z = 2*g + z - 4114, 3*g = -3*z + 6177. Suppose -4*v + 3*v - g = -5*q, 5*q - 2055 = 3*v. Is q a composite number?
True
Let r(d) = 2*d**3 + 4*d**2 + 9*d - 7. Is r(10) composite?
True
Let g(r) = 794*r**2. Is g(1) a composite number?
True
Let w be (-1 - (3 - 1)) + -166. Let i = w - -302. Is i a composite number?
True
Let q = 9 + -8. Is 67*(2 - 1)*q prime?
True
Let n(q) be the first derivative of q**4/4 + 2*q**3/3 - 11*q**2/2 + 5*q - 5. Is n(8) prime?
True
Let m = -98 + 172. Is m a composite number?
True
Is (-435)/(-10)*(1 + 1) a prime number?
False
Is (-12 - -8) + 297*1 composite?
False
Let g = 6 + 59. Suppose -g = -3*i + 328. Is i composite?
False
Let k = 3 + -1. Suppose 2*y = -k*y. Suppose y = -2*a + 377 - 111. Is a a prime number?
False
Let d be (-17)/5 + (-2)/(-5). Let t be (-2)/(3*(-2)/d). Is 5 + 20 + (t - -1) composite?
True
Suppose -4*l + 2*l + 18 = 4*y, 4*y = 2*l + 30. Suppose d = -3*q + 263, -4*q + y*q = 0. Is d composite?
False
Let j = 8 + -5. Suppose 444 = -j*w + 2*w. Is w/(-5) + 9/45 a composite number?
False
Suppose -4*y + 22 = 2, 4*c - 2*y + 1086 = 0. Let m = 754 + c. Is m composite?
True
Let n(j) = 4*j**3 - 8*j**2 + 8*j - 1. Is n(6) composite?
True
Let y = 314 - -158. Suppose -5*q + 9*q = y. Is q composite?
True
Let x = -34 - 3. Let h = 5 + -4. Let y = h - x. Is y composite?
True
Is (2 + 109)*(-1 + 2)*1 a prime number?
False
Let j = 858 + -421. Is j prime?
False
Let r(x) = 1. Let f(s) = -330*s**2 + s + 5. Let a(l) = -f(l) + 5*r(l). Is a(-1) a composite number?
False
Suppose 149 = -2*w - 265. Let x = -114 - w. Suppose -l = t + 3*t - 136, 3*t - x = -3*l. Is t composite?
True
Let w(y) = 2 + 5*y - 3*y - y. Let l be w(-6). Let v = -2 - l. Is v composite?
False
Suppose 0 = -3*c - 4*d + 70 + 8, 5*c + 5*d - 125 = 0. Is c prime?
False
Suppose u = 3*a - 183 - 290, a - 4*u - 154 = 0. Is a a composite number?
True
Let s be 2/(-6) - 490/(-21). Suppose 0 = -3*t - s + 122. Is t prime?
False
Let o(d) = 28*d + 6. Let k(b) = 55*b + 11. Let s(m) = -4*k(m) + 7*o(m). Let x be s(-2). Let a = x + -27. Is a composite?
False
Suppose 2*m + 2*m = 12. Let k = m + -12. Let x = 10 - k. Is x prime?
True
Let i(n) = 0*n - 12 + 0*n + 10*n**2 + 7. Suppose -4*a - 27 = -11. Is i(a) a prime number?
False
Let y = 8 + -9. Let i(h) = -132*h + 1. Is i(y) composite?
True
Suppose 864 = t - g, -4*t - t - 2*g + 4313 = 0. Is t composite?
False
Let x = 5 + -1. Let o(g) = -g**3 + 5*g**2 - 2*g - 5. Let b be o(x). Suppose 4*p = 5*s - 203, 75 + 9 = 2*s - b*p. Is s a prime number?
False
Let j(i) = -i**3 + i**2 + 4*i + 5. Is j(-6) a prime number?
True
Let i be (-2)/6*0/4. Suppose 3*q - 574 - 29 = 