 + 4*z, -z = -3*f + 1231. Is f prime?
True
Let p = 1959 - 1052. Is p a composite number?
False
Suppose 4*d + 1 = 5, -p = -3*d - 7. Is 786/p - 6/(-15) composite?
False
Suppose 4*h = 3*o + 27, 5*h = -4*o - 8 + 3. Let f(q) = 7*q**2 + 7*q + 1. Is f(o) a prime number?
False
Let s(h) = h**2 + 1. Let d(c) = -c**3 + 9*c**2 + 2*c - 1. Let i(t) = d(t) + 3*s(t). Is i(5) composite?
True
Let s be -4*-217*(-1)/(-4). Suppose 52 = -5*q + s. Is q a prime number?
False
Suppose 14*w + 38307 - 147409 = 0. Is w a composite number?
False
Suppose 0 = 2*k + 7 + 7. Let s be k/((-14)/4) - 2. Let x(p) = -p**2 - p + 119. Is x(s) a prime number?
False
Let j = 5 - 8. Let i = -9 - j. Let r = i + 17. Is r a composite number?
False
Let v(o) = 5*o - 5. Let z be v(5). Suppose -4*w = -z - 560. Is w composite?
True
Suppose 0*i = -2*n - i + 30, -5*n - 5*i = -80. Let x = n - 10. Suppose -70 = -2*c + f, -x*f = -2*c + 3*c - 35. Is c composite?
True
Let o be -7*((-10)/(-14) - 1). Suppose 78 = 4*r + 2*k, 6*k - o*k = -5*r + 93. Is r composite?
True
Suppose -i - y + 0*y = -3, i - 2*y - 6 = 0. Suppose -i*x + 5*x = 37. Is x a prime number?
True
Let p(n) = 3*n**2 - 5*n + 5. Is p(-9) a composite number?
False
Suppose d + 25 = 3*y, -y + d - 10 = -3*d. Is y composite?
True
Let g be (28/5)/(4/(-20)). Is ((-33)/6)/(2/g) prime?
False
Is ((-22)/(-3))/(6/63) a prime number?
False
Suppose u = -0 + 4. Suppose -u*r - r = -655. Is r composite?
False
Suppose l = 4*l - 12. Suppose l = v - 7. Is v prime?
True
Let g(f) = -2*f + 5. Let i(w) = 3*w - 8. Let h(d) = 8*g(d) + 5*i(d). Let j be h(-5). Suppose c - j*m - 24 = 0, -4*c + 3*m = -c - 132. Is c prime?
False
Let r be (18/(-15))/(2/370). Let i = r - -401. Is i prime?
True
Let g be -6*6/(-4) - 2. Let b = 10 - g. Is 80 - (b + 0 + -2) a prime number?
True
Is (3/9)/(2/534) composite?
False
Suppose 5*j - 11157 = 2*j. Is j composite?
False
Let k(o) = o + 1. Let s(x) = 51*x + 4. Let j(n) = -3*k(n) - s(n). Is j(-6) a composite number?
False
Suppose 0 = -j - 2*j + 12. Let h = -1 + j. Suppose -2*w = -w + h, -4*w + 255 = 3*x. Is x composite?
False
Let f = -66 + 175. Is f prime?
True
Let g = -5 - -7. Suppose g*a - 7 = 11. Is a a prime number?
False
Suppose 4*g - 6*f + f - 2352 = 0, -f = 5*g - 2911. Is g composite?
True
Is 20328/63 + 2/6 a composite number?
True
Let s(a) = a**3 - 8*a**2 + 7*a + 8. Suppose 25 = 5*v - 10. Let l be s(v). Suppose -l*u + 97 = 3*b - 3*u, 5*b - 165 = -5*u. Is b prime?
False
Let p be (-21)/28 - 2/8. Is p - (3 + -2) - -87 prime?
False
Suppose 5 = n + 1. Suppose f = -n*v, -f + 1 = -2*f - 3*v. Is (-124)/6*6/f prime?
True
Suppose 0*d = 4*d - 28. Let o(f) = 0*f - 7 + 7*f + 10*f + f. Is o(d) prime?
False
Let c(o) = o**2 + 9*o + 1. Let p be c(-9). Let d = 5 - -4. Is 3*(p + 57/d) prime?
False
Let h(d) = 7*d**3 + 5*d**2 - 2*d - 1. Let t be h(3). Let b = t - 36. Is b a prime number?
True
Suppose 0*s - 780 = -4*p - 2*s, p = s + 195. Suppose 4*o = o + p. Is o a composite number?
True
Suppose -299 = -4*r + 353. Is r a prime number?
True
Suppose 5*v + 4*q = 3*v + 794, 0 = 4*v + q - 1581. Is v a composite number?
True
Suppose z - 4*z + 1179 = 0. Is z composite?
True
Let h(j) = -75*j + 5. Let i be h(-4). Suppose 227 = 4*p - i. Is p a prime number?
False
Let t(i) = 93*i + 22. Is t(5) composite?
False
Let y(o) = -o**3 - 8*o**2 - 8*o - 3. Let t(w) = -w**2 - w. Let q(u) = 2*t(u) + y(u). Let f be q(-9). Let h(r) = r**3 - 5*r**2 - r - 5. Is h(f) composite?
True
Let v(x) = x**2 - 3*x - 5. Let f be v(5). Suppose 3*y = 9, 5*j - f*y = -0*j + 140. Suppose -3*s + j = 2*w, -5*s + 69 = -0*s - w. Is s prime?
True
Let b(y) = -y**3 + 7*y**2 + 9*y + 3. Suppose 3*p + 36 = -4*w + 3*w, -3*w - 31 = 2*p. Let a = p - -19. Is b(a) a prime number?
True
Let g(h) = -h - 2. Let x be g(-5). Suppose -j + 32 = x*j. Let i(u) = -u**3 + 10*u**2 - 6*u + 9. Is i(j) prime?
True
Let v be 3/1 + 0/1. Suppose -7 + 16 = 3*l. Suppose -l*k = -2*k + v*m - 90, -2*m = 4*k - 370. Is k a prime number?
False
Suppose 0 = -4*p - 5*w - 93 - 53, 3*w - 84 = 2*p. Let o = p + 66. Let f = 6 + o. Is f prime?
False
Let v(g) = -g**3 - 6*g**2 + 2*g - 3. Let f be v(-3). Is 191/9 + 8/f a composite number?
True
Let m(z) = -203*z**3 + z**2 + 2*z + 2. Let v be m(-1). Suppose 3*j - v = 159. Is j a composite number?
True
Suppose l - 4*j = -l + 5198, -5*l + 4*j = -13013. Is l composite?
True
Suppose 3*z = -2*q + 8, 4*z + 12 = 3*q + 3*z. Suppose -b + 182 = -3*y, -3*b + 2*b - q*y + 147 = 0. Is b a composite number?
False
Let v(y) = y**3 + 7*y**2 + 4*y - 7. Let r be v(-6). Let k = r - 3. Is k/1*(-30)/(-4) a prime number?
False
Is 4 + -9 + 133 - (-1 - 2) composite?
False
Let t(u) = 4*u**3 - 8*u**2 - 11. Let y(v) = 9*v**3 - 16*v**2 + v - 22. Let n(p) = -7*t(p) + 3*y(p). Is n(8) a composite number?
True
Let g be 2/((0 + -1)*-2). Let w be 0/(g*3/1). Suppose 85 = -w*n + n. Is n composite?
True
Let r(z) = 4*z**3 + 4*z**2 + 5*z - 10. Let k(n) = 5*n**3 + 5*n**2 + 6*n - 9. Let q(w) = 5*k(w) - 6*r(w). Suppose -9*b + 4*b = 0. Is q(b) a prime number?
False
Let u(v) = 2*v**3 - 31*v**2 + 27*v - 19. Let p(r) = -r**3 + 15*r**2 - 13*r + 10. Let a(x) = 7*p(x) + 3*u(x). Is a(10) composite?
False
Let y(o) = 2*o**2 + 4*o + 2. Let p be y(-2). Let r be -1*p*7/2. Let x(u) = -5*u + 8. Is x(r) prime?
True
Suppose 0 = 5*m - 2*m + 15. Let v(z) = z**3 + 6*z**2 - z + 1. Let s be v(-6). Let r = m + s. Is r prime?
True
Let o be 5/20 - (-1)/(-4). Let k(g) = g**3 + 4*g**2 - g. Let m be k(-4). Suppose -m*f - 6 + 34 = o. Is f prime?
True
Suppose -5*w - 4*u = -61, 0*u = 3*w + 5*u - 34. Is w composite?
False
Let p = -7 - -62. Is p prime?
False
Suppose -5*o + 3*k + 20 = 0, -2*o + o - 2*k + 4 = 0. Suppose -o*x + 227 = -585. Is x a prime number?
False
Let n = 3 + -12. Is (-601)/(-9) + (-2)/n a prime number?
True
Let y = -94 + 131. Let c = y + -18. Is c a composite number?
False
Let c(q) = 2*q**3 + 2*q**2 - 9*q + 19. Is c(8) a composite number?
True
Let y = 2 - -1. Suppose 5 = y*r - 19. Is 14/r*(163 - -1) composite?
True
Suppose 5*h + 581 = 4*v, 0*h - 303 = -2*v + 5*h. Suppose m = -u + 5*m + 153, -u + v = 3*m. Is u a prime number?
False
Let h be 2*1*(-11)/2. Is 4/22 + (-1197)/h prime?
True
Let u = 4 - 8. Is -2*(-134)/u*-1 a prime number?
True
Suppose 3*n + 2*g = g + 265, 4*g = -8. Is n a prime number?
True
Let t(o) = 15*o + 10. Is t(5) prime?
False
Let u(z) = 13*z**2 - 2*z + 1. Is u(2) prime?
False
Let g(i) = -126*i + 2. Let z be g(4). Is -3*z*(-2)/(-12) composite?
False
Suppose 3*g - 580 = 341. Is g a composite number?
False
Suppose -240 = -2*i - 58. Suppose -2*f - i = -3*f. Is f prime?
False
Suppose 2*a - 5 = 5. Let k = 8 - 5. Suppose -a*j + 10 = 0, 3*y - 43 = -k*j + j. Is y a composite number?
False
Let y = -2912 + 4373. Is y a prime number?
False
Suppose 3 = -2*n - 5*s - 0, -4*s - 7 = -3*n. Let c(w) = 0*w**2 + 2*w**2 + n + 6*w + 3*w. Is c(-6) composite?
False
Suppose -3*n + 3824 = -b, 3*n = -0*n + 5*b + 3832. Let h = -802 + n. Suppose 4*q - h = -0*g - 4*g, 3*q = -4*g + 467. Is g a prime number?
True
Suppose -h = 0, -4*h + 10762 = 2*a - 6*h. Is a a prime number?
True
Let i(w) = 22*w**2 - 7*w - 1. Is i(-20) prime?
False
Suppose -b = 4*b + 4*f + 11, 4*b - 2*f = 12. Let c = b - -32. Is c a prime number?
False
Let z(u) = -9*u - 1. Let c be z(-1). Let i = c + -3. Suppose -i*x + f + 67 = 0, -5*x + 0*x + 2*f = -64. Is x prime?
False
Let v(z) be the third derivative of -z**5/60 + 11*z**4/24 + 11*z**3/6 - 3*z**2. Is v(10) composite?
True
Let t(g) = 3*g + 23. Let j be t(16). Let h = -40 + j. Is h a prime number?
True
Let c be 140 + (-1 - -3 - 0). Let k = c + -90. Is k + 2 + (-1)/1 prime?
True
Let c(f) be the first derivative of -18*f**2 - 11*f + 8. Is c(-6) a prime number?
False
Let f = -2078 + 3663. Is f prime?
False
Let j be -12 - -3 - (-4 + 2). Let y(c) = -2*c**3 - 10*c**2 - c - 4. Is y(j) a prime number?
True
Let v be (2 - 3)/(3/(-948)). Suppose -v = -2*b + 4*s - 6, b - 4*s = 165. Is b a composite number?
True
Suppose -7*m + 230 = -2*m. Is m composite?
True
Suppose -k + 30 + 155 = 0. Is k prime?
False
Suppose 3*z = 3*t + 8*z - 32, -5*z = -20. Is t prime?
False
Let v(x) = x**3 - x**2 + 1. Let h be v(2). Suppose -46 - 149 = -n - 4*f, h*n = 3*f + 952. Is n composite?
False
Let s = 12559 + -7526. Is s composite?
True
Suppose 2*t = -5*j + 6*t + 1691, -343 = -j - 4*t. Let i = 