 (381/(-3 + 0))/g. Let d = -18 + p. Is d prime?
True
Let p(a) = 17*a**3 + 2*a**2 + a. Is p(2) prime?
False
Let p be (3 + 3)*2/6. Let k be -2 - 6*(p + -3). Suppose -c + 0*r = -r - 15, 10 = c + k*r. Is c a prime number?
False
Let z = 543 + 14. Is z a prime number?
True
Suppose -5*z - 3*b + 4 = -6, -25 = 5*b. Suppose -5*g - z*t - 4 = -4*t, 1 = 2*g + 3*t. Is g + (56 - 2/1) a prime number?
True
Let t = -8 + 12. Let m(q) = 2*q + 7. Let a be m(8). Suppose -4*c + 72 = -g, 2*g - a = -c + t. Is c a prime number?
True
Suppose q - 4*q = -1401. Is q composite?
False
Suppose 2*d + 132 = 6*d. Is d a prime number?
False
Let g(f) = 3*f**3 + f**2 + 15*f - 5. Let s(r) = -2*r**3 - r**2 - 8*r + 2. Let n(p) = -p - 1. Let b be n(-6). Let x(t) = b*s(t) + 3*g(t). Is x(-6) prime?
True
Let i = 230 - 39. Is i a composite number?
False
Suppose -3 = g, 2*x + 2*g - 264 = -96. Suppose 2*v + 354 = u + u, -2*u + 353 = -v. Let i = u - x. Is i composite?
False
Suppose 5*j = -2*p, -5*p = -0*p. Suppose j = -m - 3*m + 140. Suppose -2*z = a - 14, -5*z + 4*a - 6*a + m = 0. Is z prime?
True
Let y = 1 + 1. Suppose -4*j + 4 = -y*j. Suppose j*n - 42 - 20 = 0. Is n composite?
False
Is (-2)/5 - 4041/(-15) composite?
False
Suppose -174 = -5*i + 3*k, 0 = -4*i - 5*k + 69 + 48. Is i prime?
False
Let v = -10 - -7. Is 1 - -1 - (v - 110) prime?
False
Let n(b) = -5436*b**3 + 4*b**2 + 2*b - 1. Is n(-1) a prime number?
True
Let x(v) = -v - 2. Let m be x(-7). Let q = m - 4. Suppose 0 = -h + 2 - q, 4*u - 120 = 4*h. Is u a composite number?
False
Let v = -16 + 249. Is v a composite number?
False
Let a(j) = -2*j**3 - 10*j**2 + 5*j - 13. Is a(-8) a composite number?
False
Let y(v) = v**2 - 2*v + 67. Is y(0) a prime number?
True
Suppose -3*u - 158 = -5*u. Is 1*3/(3/u) a prime number?
True
Suppose -a = 1 + 3, 5*m - 935 = -5*a. Is m composite?
False
Let n(p) = -13*p - 6. Suppose -2*r - 31 = 5*q - 4*r, 4*r - 37 = 5*q. Is n(q) prime?
True
Suppose -5 = z + 3*z + f, 5*z + f = -7. Is 13 + (-4)/z - 0 prime?
False
Let s = 17 + -11. Let f be ((-2)/(-1))/(3/s). Is 2/(f/74) + -2 composite?
True
Let m be (1 - 4)/(1*-1). Suppose -2*w + 620 - 2050 = 4*t, w + 717 = -m*t. Let p = -494 - w. Is p a composite number?
True
Suppose 2*i - 6*i + 1828 = 0. Is i composite?
False
Suppose 3*u = -k + 32, -4*k + 4*u + 128 = -0*u. Suppose 2*t + 6 - 16 = 0. Suppose 36 + k = g - 5*y, t*g - 280 = 5*y. Is g prime?
True
Suppose 0 = -3*o - 0*o + 4*t + 1273, -4*o + 4*t + 1692 = 0. Is o a prime number?
True
Suppose -1 = -4*q - 5. Is (-675)/(-36) - q/4 a composite number?
False
Let w be ((-10)/(-25))/(1/(-20)). Is w/3*171/(-12) prime?
False
Suppose 3*a = -380 + 1055. Let l = a - 148. Is l a prime number?
False
Let g = 12 + -10. Suppose -g*q = 3*q - 265. Is q composite?
False
Suppose 0 = -4*g + w + 4, 0*g + 5*w = -3*g - 20. Suppose -3*n - 2*n + 595 = g. Is n a composite number?
True
Is (3627/(-4) + (-4)/16)*-1 a prime number?
True
Suppose 4*c + 6 + 22 = 0. Let h(s) = -s**3 - 8*s**2 - 11*s - 7. Let m be h(c). Suppose w - m + 8 = 0. Is w composite?
False
Suppose -t + 4*g + 56 = 3*t, -52 = -3*t + g. Is t composite?
False
Let u(i) = i**3 - 10*i**2 + 8*i - 1. Is u(10) a prime number?
True
Let y(x) = 17*x + 2. Suppose 2 = -4*w - 18. Let c be y(w). Let j = c + 204. Is j a prime number?
False
Let n(c) = -31*c - 67. Is n(-6) prime?
False
Let n(k) = 9*k**2 + k - 9. Is n(-5) a composite number?
False
Suppose 2*g + 6 = -2. Let y(k) = -15*k + 2. Let z(r) = 16*r - 1. Let o(q) = g*y(q) - 5*z(q). Is o(-3) a composite number?
True
Suppose 3*a = -d - d + 31, 0 = 3*a - 15. Suppose 0 = d*w - 5*w - 231. Is w prime?
False
Let g be 2260*1 - -3 - -1. Suppose 3*p - g + 521 = 0. Is p a composite number?
True
Let t be (-4)/16 + 3/(-4). Is (415/10)/(t/(-6)) prime?
False
Suppose -6*k = -5*k - 97. Is k a prime number?
True
Suppose 2*j - 3*j - 3 = 0. Is (j - 8*2)*-1 prime?
True
Let n = -1 + -50. Let l = -85 - -49. Let c = l - n. Is c composite?
True
Let d = 6 + -6. Suppose 0 = 3*o - 2*j - 59, 2*o - 42 = 4*j - d. Is o prime?
True
Suppose 0*z - 1 = z - 4*b, 2*b - 2 = 0. Let c(p) = -p**2 + 5*p - 4. Let u be c(z). Suppose -u*x - 265 = -7*x. Is x composite?
False
Suppose -4*x = -0*x - 64. Let h = x + -5. Let z = -8 + h. Is z a prime number?
True
Let a(m) = -78*m - 25. Is a(-10) a composite number?
True
Suppose -z - 4*z = 0. Suppose z = -s - s - 150. Let k = s - -164. Is k composite?
False
Let p = 15 + 4. Let b = 0 + p. Is b composite?
False
Suppose 0 = b - 2*b - 2. Is (-3976)/(-72) - b/(-9) a composite number?
True
Let b = 1337 - 792. Is b a composite number?
True
Suppose 0 = -y + 11 + 44. Is y a composite number?
True
Let s = -1 - -17. Suppose -3*y + 38 = -s. Suppose -y - 24 = -2*f. Is f a composite number?
True
Let g = -20 - -39. Is g prime?
True
Let s = 1679 + -1194. Is s a composite number?
True
Let w = -23 - -14. Is 2/9 - 205/w a composite number?
False
Let r(t) = 42*t + 15. Suppose -k + 3*j - 8 = -2*k, -4*k + 17 = -3*j. Let b(o) = -17*o - 6. Let s(g) = k*r(g) + 12*b(g). Is s(5) prime?
False
Let y(h) = 6*h**2 - 3*h - 8. Let w be y(6). Suppose -w = -4*v + 126. Is v a composite number?
False
Suppose 0 = 6*y - 416 - 1966. Is y prime?
True
Suppose 3*t = 6*t - 3*x - 15, 20 = -4*x. Suppose -4*i - 5*u + 77 = 0, -3*u = -5*i + 2*i + 78. Suppose t*p + i = p. Is p a prime number?
True
Suppose 5*d = -4*h - 247, 103 = -2*d - h - 2*h. Let l = -39 + 137. Let k = l + d. Is k composite?
True
Let p = -1622 + 2683. Is p a composite number?
False
Let p = -430 + 723. Is p a composite number?
False
Let i(m) be the third derivative of -m**7/28 + m**4/24 - m**3/3 - 2*m**2. Let p(q) be the first derivative of i(q). Is p(-1) composite?
False
Let f(m) = m**2 - 3*m - 1. Let w be f(5). Suppose -2*p = -3*c - 259, c + 270 - w = 2*p. Is p composite?
False
Let p = 77 + -55. Is ((-4)/(-8))/(1/p) composite?
False
Suppose 3*h = -2*s + 833, 3*h - 11 = 4. Is s a prime number?
True
Let i = 2326 - 407. Is i a prime number?
False
Is 1 + 273 - (6 + -3) composite?
False
Let h(a) = 5*a**3 - a**2 + a. Let q be h(1). Let s = 6 - q. Is 78 - 1/(-1)*s composite?
False
Is 102/(-2)*(-46)/6 prime?
False
Let x(a) = 17*a - 2. Let l be x(6). Let k = l - 26. Is k a composite number?
True
Let j(y) = -y**2 - 5*y - 3. Let m be j(-2). Let r = 11 - m. Let c(b) = 3*b + 2. Is c(r) prime?
False
Let u = -24 - -24. Suppose 8*c - 3*c - 2345 = u. Is c prime?
False
Suppose 0 = -4*l + 16, 5*v - 2813 = 2*l - 216. Is v a composite number?
False
Let c = 980 - 640. Suppose 3*p - c = -p. Is p a prime number?
False
Let h = 2 + 0. Let y(i) = -i + 2*i + 12 - h*i. Is y(-10) prime?
False
Let l(p) = -3*p + 2*p**2 - 2*p + 2*p - 5*p + 1. Is l(9) composite?
True
Let r(q) = 2*q - 4. Let s(j) = -3*j + 4. Let t(w) = -4*r(w) - 3*s(w). Let v be t(-6). Let f(m) = -9*m**3 - m**2 + m - 1. Is f(v) a prime number?
False
Let u = 8 + -16. Is 326/u*(-8 - -4) prime?
True
Let x = 5806 + -3877. Is x composite?
True
Let a(p) = -20*p + 3. Let h be a(-3). Let l = h - 10. Is l a composite number?
False
Suppose -294 = 3*s + 2*t - 4136, -3*s - 4*t + 3838 = 0. Is s prime?
False
Let g(q) = -5 - 8*q - 3*q + q. Let n = -11 - -7. Is g(n) a composite number?
True
Let z = -6 + 16. Let p(m) = -2 - z*m + m + 66*m. Is p(3) a composite number?
True
Let p be ((-15)/(-10))/(2/152). Suppose -f + p = x, -f + 5*x + 620 = 4*f. Is f prime?
False
Suppose -5277 = -3*x + 5*k, 0 = 4*k - 0*k. Is x composite?
False
Let j(q) = -12*q**3 - q - 3*q**2 + 3*q**3 - 4*q + 4 + 2*q. Let u be j(-3). Suppose 5*o - 138 = -0*w - 2*w, -u = -3*w - 2*o. Is w a composite number?
False
Let n be 2*(15/6 + 2). Let t = n - -2. Let d(y) = y + 15. Is d(t) a composite number?
True
Let z(d) = -2*d + 14. Let c be z(6). Is 327/c*(-2)/(-3) a composite number?
False
Let y(d) = 2*d**2 - 8*d - 5. Suppose 0 = 3*t + 5*b - 23, 5*b = 6*t - t - 25. Is y(t) a composite number?
False
Let o = 857 - 36. Is o a composite number?
False
Let o(d) = d**3 - 9*d**2 + 7*d + 11. Let u(n) = -n**2 - 7*n - 4. Let b be u(-3). Let a be o(b). Suppose y + 290 = a*y. Is y a composite number?
True
Let l = -8 - -2. Let h be (-12)/(-4) - l/(-2). Suppose h = -3*q + 10 + 11. Is q a prime number?
True
Is 4/10 - 2206/(-10) composite?
True
Let j = -19 - -28. Is 174/(-4)*(-66)/j composite?
True
Let z = 6 - -5. Suppose -3*n + 4*p + 12 = -1, 3*n + z = -2*p. Is n + 3