site number?
False
Let z be 10/(-8)*-2*30. Suppose 3*c = 5*l - 0*l - 121, 0 = 3*l - c - z. Is l composite?
True
Let t(k) = 13*k. Let d be t(-4). Is (-1 + d)*1/(-1) a composite number?
False
Let o(u) = 3*u**3 + 9*u**2 + 3*u - 2. Is o(5) a composite number?
False
Let w(s) be the second derivative of -s**4/12 - 4*s**3 + 2*s**2 + 7*s. Is w(-17) prime?
False
Let j(h) = 3*h**2 - 5*h - 4*h - 4*h**2 + 9. Let i = 50 + -57. Is j(i) prime?
True
Suppose 17 + 3 = 4*q, 2*u + 2*q = 432. Is u a prime number?
True
Suppose 368 = 6*l - 1486. Is l prime?
False
Is (-3)/(-2)*(-3790)/(-15) a prime number?
True
Let x(w) = -6*w**3 + 3*w**2 - 3*w - 7. Let s(b) = -5*b**3 + 2*b**2 - 3*b - 7. Let l(m) = 7*s(m) - 6*x(m). Let h be l(5). Suppose 2*k + h*k = 190. Is k prime?
False
Let n be 0 + -2 - (-4 + 257). Is 2/(n/261 + 1) composite?
True
Suppose 0 = 4*h + h - 10. Is 46 + (3 + 0 - h) prime?
True
Suppose 5*f - 2*u - 19 = -2, 1 = 2*f + 5*u. Suppose -2055 = -8*d + f*d. Is d composite?
True
Suppose -p - p - 5*u = 19, -15 = 5*u. Let m = p - -2. Suppose m*y + y + 49 = 2*a, -a - y + 29 = 0. Is a composite?
True
Let z = -686 + 1057. Is z composite?
True
Let q = -134 - -255. Suppose 100 = s - q. Is s a composite number?
True
Let p = 304 + -141. Is p composite?
False
Let n = 489 + -272. Is n prime?
False
Let n(q) = 2*q - 1. Let j be n(2). Suppose 5*h + j - 18 = 0. Suppose h = t - 46. Is t a prime number?
False
Let r(p) = 3*p - 3. Let i be r(8). Suppose -3*o + 6*o + 3*h = i, h = 5*o - 35. Is o composite?
False
Let h = 4492 - 2159. Is h prime?
True
Suppose -4*w - 5 = 2*d + w, 5*d - 4*w = 4. Suppose 3*c = 2*y - 24, -y + 5*c + 30 - 4 = d. Is 38/(-6)*(-18)/y a composite number?
False
Suppose 0 = 2*t - 0*t. Suppose -145 = -2*c + 3*k, t = -3*c - c + k + 305. Is c a composite number?
True
Suppose -a + 1175 = 4*y, 2*y = -a + 2*a + 583. Is y prime?
True
Let u = -1533 - -2998. Is u a prime number?
False
Suppose -3*p - 4 = -4*u - 39, -4*p - 20 = 3*u. Let l(y) = -y**3 - 4*y + 9. Is l(u) composite?
True
Let o be 399/45 - (-4)/30. Let j(b) = 7*b**2 - 5*b - 10. Let f(z) = -z**2. Let s(x) = 6*f(x) + j(x). Is s(o) composite?
True
Suppose 3*q + 2*b - 221 = 0, 0 = 4*q - 0*b + 3*b - 293. Is q prime?
False
Suppose -5*y - 87 = -4*h, 3*h - 27 - 39 = 4*y. Let v(w) = 15*w**3 + 2*w**2 + 3*w + 4. Let n be v(-3). Is 4/h + n/(-18) composite?
True
Let y = -17 + 31. Is y prime?
False
Suppose 5465 = 3*p + 2012. Is p a prime number?
True
Let j(l) = l**2 - 6*l + 7. Let z be j(5). Suppose 0 = -4*k - o + 49, 3*k - z*k + 4 = 3*o. Is k a prime number?
True
Let o(t) = t**3 + 21*t**2 + t + 28. Is o(-21) prime?
True
Let h(q) = 128*q**3 + 2*q - 1. Is h(2) a prime number?
False
Let y be ((-1)/1)/(3/69). Let q = 40 + y. Let u = q + -10. Is u a prime number?
True
Let z(c) = 13*c - 17*c - 19*c. Let p be (-54)/8 - 2/8. Is z(p) a prime number?
False
Suppose 9228 = -0*r + 6*r. Is r prime?
False
Let i(g) = g**3 + 17*g**2 + 10*g + 3. Is i(-8) composite?
False
Let i(y) = -y**3 + 26*y**2 - 30*y - 25. Is i(24) prime?
False
Suppose s - 3*d - 16 = 0, 4*d + 24 = s + s. Suppose 0 = -q + g + 2, 0*q - 3*g + 29 = s*q. Suppose -2*r = -4*o + q - 295, 5*r = -2*o + 725. Is r a prime number?
False
Let g(k) be the second derivative of k**4/12 - 5*k**3/6 + 9*k**2/2 + 2*k. Let p be g(10). Let z = p - 37. Is z prime?
False
Suppose 4*u = -5*y + 267, -35 = -4*y + 2*u + 163. Is y prime?
False
Suppose 0 = 3*v + 3*k + 2*k - 701, 2*v + 5*k = 464. Is v a composite number?
True
Let c = 593 - 408. Is c a prime number?
False
Let k = 6 - 7. Is 761/6 + k/(-6) a composite number?
False
Let t = 455 + -246. Is t a composite number?
True
Let t = 35 - 0. Is t a prime number?
False
Let f(c) = 7*c - c - c - 1 + 6*c**2 - c**3. Suppose -5*w = -w - 20. Is f(w) prime?
False
Suppose -5*k + 25 = 0, 218 = 3*v + 4*k - 0. Suppose -5*n = -7*n + v. Is n a composite number?
True
Let b(o) = 2 - 5*o**2 + 9*o - 2 + 2 - o**3. Let x be b(-7). Suppose 0 = m - x - 0. Is m prime?
True
Let m = -11 - 85. Let j be (3/2 - 1)*-30. Is (-2)/5 + m/j prime?
False
Is (-1948)/6*(-3)/2 a prime number?
True
Let p(h) = h**3 - 16*h**2 - 21*h - 29. Is p(20) prime?
True
Let d be (62/4)/(2/88). Suppose -20 = 2*w - d. Is w prime?
True
Suppose -4*g + 0 = -20, -71 = -3*a + 2*g. Suppose -5*w + 9 = -u - 3*w, -5*u + w - a = 0. Let h = 8 - u. Is h prime?
True
Let p be (-2)/(-1) + -2 + 3. Let j = -7 + 5. Is (j/p)/(4/(-78)) prime?
True
Suppose 0 = 10*n - 9*n - 1847. Is n a composite number?
False
Suppose 3*y + 5*x + 23 = 0, 5*x = 3*y + x + 68. Is 12/y + 1039/4 composite?
True
Suppose -458 = -4*r + 50. Is r a prime number?
True
Let q(f) = -f + 14. Let h be q(6). Suppose h*t - 4*t = 16. Suppose 3*r = -j + 200, -245 = -t*r - j + 20. Is r prime?
False
Suppose -2*a - 3 = -3*w + 2*w, -4*w - 2*a = 18. Is w/(-3*(-4)/(-644)) a composite number?
True
Suppose -1585 = -11*v + 6*v. Is v a composite number?
False
Let p be 54/((0 - -1)/7). Suppose -1606 = -4*r - p. Is r a prime number?
True
Let w(c) = c**2 + 11*c + 15. Let b be w(-10). Suppose -2 + 68 = 4*n + 2*q, -b*q = -2*n + 15. Suppose i - 4 = n. Is i a composite number?
False
Let c(r) = -r**3 - r**2 + 7*r + 1. Let t = -7 - -2. Let i be c(t). Suppose -3*s + i = -0*s. Is s a prime number?
False
Let l = 58 + 277. Is l prime?
False
Let y(p) = 4*p - 4. Let z be y(3). Suppose -x + z = x. Is ((-1)/x)/((-1)/236) a prime number?
True
Let y = 513 - 322. Is y composite?
False
Let m(y) = y**3. Let g be m(-1). Let n(c) = -37*c - 1. Let l be n(g). Suppose -l = -p + 4*r + 25, -5*r = -5. Is p a prime number?
False
Let n(z) be the first derivative of z**2/2 + 521*z - 2. Let u be n(0). Let p = -298 + u. Is p a composite number?
False
Let b(n) = n**2 - n + 2. Let j be b(1). Let y(w) = -w**2 + 3*w. Let g be y(3). Suppose -j*r + 41 + 5 = g. Is r a prime number?
True
Let c = 7 + -5. Suppose -154 = -0*m - c*m. Is m prime?
False
Suppose 3*o - 270 - 339 = 0. Is o prime?
False
Suppose -44*t + 887 = -43*t. Is t a prime number?
True
Suppose 0 = -5*y - d + 3921, -4*y = y + 3*d - 3913. Is y composite?
True
Suppose 38*u = 41*u - 993. Is u a prime number?
True
Let z(d) = 12*d**2 + 23*d + 28. Is z(-9) prime?
False
Suppose -6*u + 1570 = -u - 3*b, -2*u + 649 = 3*b. Is u composite?
False
Let y(m) = -m - 5. Let s be y(-8). Suppose -s*w + 2*c + 806 = c, 4*w + c - 1063 = 0. Let q = -176 + w. Is q prime?
False
Suppose -s - b = -0*s, -s + 15 = -2*b. Let a(m) = 0 + 5*m - s + 3 - 6. Is a(9) composite?
False
Let o(s) = 20*s**2 + 30*s - 29. Is o(-21) a prime number?
True
Let y(i) be the third derivative of i**7/240 - i**5/60 + i**2. Let u(r) be the third derivative of y(r). Is u(1) a composite number?
True
Let r(o) = 4*o - 1. Let k be r(2). Suppose -2*v - 370 = -k*v. Is v prime?
False
Let i(q) = -4*q**2 - 1. Let f be i(1). Let k(l) = -4*l**2 + 3*l - 2. Let n be k(f). Is (n/6)/((-2)/4) composite?
True
Let u = 434 + 381. Is u a composite number?
True
Let k = -13 + 15. Suppose -r = 4*l + 10, 3*l + 2 + 3 = -k*r. Is r composite?
False
Let o(p) = 14*p**2 - 2*p - 3. Let f be o(-2). Let t = 146 - f. Suppose -5*r - 2*c + 49 + t = 0, -r + 3*c + 14 = 0. Is r a prime number?
False
Let f be (1/4)/(4/16). Is f + -2*1*-19 a composite number?
True
Suppose t - 4*c = 17, 3*t + 6*c - c - 17 = 0. Suppose 5*g - 4*g + t = 0. Let w(f) = -f**3 - 8*f**2 + f + 13. Is w(g) composite?
True
Let k(q) = -q**2 + 7*q + 1. Suppose -5 = -5*c + 2*s + 4, -3*c + 2*s + 3 = 0. Is k(c) composite?
False
Suppose -8*v - 4*v + 10668 = 0. Is v a prime number?
False
Let r be 140 - -3 - (0 + 3). Let o = r - -69. Is o prime?
False
Suppose 0 = h + 5*g - 6, 27 = 5*h - g - 3. Is h/21 - (-915)/7 prime?
True
Let q(v) = v**3 + v**2 + 4*v + 1. Let t be q(-3). Let s be (-434)/(-8) + (-3)/12. Let i = t + s. Is i prime?
False
Suppose -z + 89 + 19 = 0. Suppose 0 = -5*t - 38 + z. Is t prime?
False
Let a = -378 - -745. Is a a prime number?
True
Let m = -12 + 6. Let q(j) = 3*j**2 - 4*j**2 + 4 - 9*j - 13. Is q(m) prime?
False
Suppose 0 = 3*b - 3, 0*f - 133 = -f - 4*b. Is f a prime number?
False
Let r = -2182 - -3821. Is r composite?
True
Suppose -2069 = -2*p - 3*d, 3*d - 710 - 317 = -p. Is p a composite number?
True
Let h = 51 + 6. Suppose m + h = 4*c - 160, -4*m - 263 = -5*c. Is c composite?
True
Let u(i) = 9*i**3 + 5*i**2 - i - 4. Let s(h) = h**2 - 1. Let c(a) = -3*s(a) + u(a