 -2*k - 9. Let t be h(-7). Is (-4)/t*75/(-6) a prime number?
False
Suppose -r - 14 + 4 = 0. Let c be ((-168)/r)/(3/120). Suppose 4*h - 4*s - c = 0, 5*h - 820 = 4*s - 3*s. Is h prime?
True
Let s = -523 + 920. Is s composite?
False
Suppose g = 95 + 47. Is g prime?
False
Suppose -49 = -2*s + 139. Is s a prime number?
False
Let o = 4 + -1. Suppose 2*d - d - 11 = -w, 45 = 3*w - o*d. Is w a composite number?
False
Let t = -832 + 1251. Is t a composite number?
False
Suppose 2036 + 5643 = 7*n. Is n composite?
False
Suppose -s - 9 = -3. Let u be (-3)/(-6) - 21/s. Suppose -4*h + 36 = -u*n, -4*n + 2*n - 57 = -5*h. Is h a prime number?
True
Suppose -81 = -d - 5*c + 7, 5*d - 503 = -4*c. Is d a composite number?
False
Let w(z) be the first derivative of -16*z**2 - z + 1. Is w(-1) a prime number?
True
Let y(g) = g - 1. Let o be y(3). Suppose 7*m = o*m. Suppose m*z = -z + 21. Is z a prime number?
False
Let i(h) = h + 7 - 1 - 3*h. Let z be i(4). Let o(x) = -2*x**3 - 2*x**2 - 1. Is o(z) a composite number?
False
Let s = 29 - 18. Suppose -5*r = 5*h + 5, -h + 0*r - s = 3*r. Suppose h*b = 3*b + 53. Is b a composite number?
False
Suppose -5*l + 1095 = 5*o, -l = -o - 5*l + 222. Is o prime?
False
Let o be ((-2)/5)/(1/(-5)). Let v(m) = 13*m - 3. Is v(o) composite?
False
Let r(u) = -37*u - 8. Suppose -4*i + i = 21. Is r(i) prime?
True
Suppose 0*l + 3*l = 1038. Let k be l/(-4)*(-4 + 2). Suppose 2*z + 2*z = -3*o + 107, -4*z = 5*o - k. Is o prime?
False
Suppose 0 = -2*b + 90 + 54. Let d = b + 57. Is d a prime number?
False
Is 532 + -1 + (7 - 11) prime?
False
Let w(q) = 255*q - 2. Is w(1) a composite number?
True
Suppose 15*i = 11310 + 18735. Is i a prime number?
True
Let f(i) = i**2 + 4*i - 19. Is f(14) a prime number?
True
Suppose 5*y - 3*j = 3433, 3*y = j + 2*j + 2061. Suppose -5*h + 4*a + y = 0, 182 + 500 = 5*h - 3*a. Is h prime?
False
Let o = -550 + 1593. Is o a composite number?
True
Let z(a) = -a**2 - 2*a - 3. Let k be z(7). Let q be ((-2)/(-4))/((-3)/k). Is -3*(-2)/6*q composite?
False
Let f = 4345 + -2092. Is f a composite number?
True
Let l(y) = 2*y**3 - y**2 + y + 2. Is l(4) prime?
False
Let t = 136 - 8. Let o = -91 + t. Is o a prime number?
True
Let i(q) = 2*q - 1 + 4*q**3 - 7*q**2 - 5*q**3 - 2*q**2 + 6*q. Is i(-10) a composite number?
False
Suppose 4*k = 16, 2*r + 3*k - 36 = 5*k. Suppose z - 105 = r. Is z a prime number?
True
Suppose -167 - 718 = -3*u. Is u prime?
False
Suppose -3*l = -7 - 11. Is l a composite number?
True
Let o(x) = 2*x**2 - 5*x - 8. Let m be o(8). Suppose -m + 23 = -3*q. Is q prime?
True
Let q be ((-3)/5)/(2/(-50)). Let g(b) = -b**2 + 6*b + 5. Let o be g(5). Is 96/o - (-6)/q a composite number?
True
Let v(d) = -10*d + 21. Is v(-17) a prime number?
True
Let r be -1 - 4*(-2)/(-4). Let n be (r/5)/((-2)/10). Suppose 19 = v - 5*j - 70, 0 = -5*v - n*j + 333. Is v composite?
True
Is (1/(-3)*-6)/(4/742) prime?
False
Let v be 1 + (2 - (-1 + 2)). Suppose -4*r = -4*a - 932, -5*r + v*a + 574 + 591 = 0. Is r composite?
False
Is (-10)/50 - (-44433)/15 a prime number?
False
Let m(j) = j - 6. Let v be m(5). Let g be v/((-1 + -2)/78). Let z = -11 + g. Is z composite?
True
Let i = 0 - -3. Suppose -3*q = -d + 74, 2*d - 24 = i*q + 52. Is (-4)/(q/(-10))*-15 prime?
False
Let f = -115 - -234. Suppose -3*s = 5*v - s - 595, -s = -v + f. Is v composite?
True
Let m be (-1 - (2 + -3))/(-1). Suppose o + m*o = 5*t - 786, 3*t - 470 = -o. Suppose 132 = 2*h + 2*x, -3*h + 43 + t = x. Is h prime?
True
Suppose 0 = -2*c + 4*y + 26, 2*c + 0*c - 2 = -2*y. Let s(i) = i**3 - 6*i**2 + 3*i + 2. Let u be s(c). Is 96/7 + u/(-28) a composite number?
True
Let z = 1578 - 2249. Is (z + -2)*2/(-2) a composite number?
False
Suppose -1 + 0 = x. Is (-500)/(-4) + (1 - x) composite?
False
Let x = 5 - 15. Let v be (2/(4/x))/(-1). Suppose -99 = -4*l - v*t + 4*t, -4*t + 96 = 4*l. Is l composite?
True
Let k = 17 + 36. Is k prime?
True
Let b(g) = g**3 + 3*g**2 - 7*g - 5. Let a be b(-4). Let w(s) = 44*s - 1. Is w(a) a composite number?
False
Let x(q) = 4*q**2 - 6*q + 2. Let g be x(-5). Suppose 0 = 2*p + 4*b - 26, 5*p - 5*b - 3 = 2. Suppose p*v - g = 463. Is v composite?
True
Let h(r) be the second derivative of 8*r**4/3 + r**3/6 + r**2/2 + 3*r. Let l be h(-1). Let z = l + -13. Is z a composite number?
False
Let r = -5 + 11. Is ((-298)/4)/((-3)/r) a composite number?
False
Let o(j) = -j**3 + 13*j**2 - 9*j + 3. Is o(10) a prime number?
False
Let r be -3 + 0 + 3 - -624. Suppose -624 = -3*p + 3*i, 4*p - i = r + 199. Is p composite?
True
Let u = -13 + 9. Let p(r) = -r**2 - 4*r + 2. Let j be p(u). Suppose 0 = 3*v + j*q - 391, 3*v - 583 + 172 = 3*q. Is v prime?
False
Let o(d) = 2*d - 2. Let b be o(3). Let k = b + -2. Suppose -k*x = -4*f - 36, 0*x + 5*f = 5*x - 80. Is x a composite number?
True
Let j(d) = 20*d**2 + 12*d + 5. Is j(-5) prime?
False
Let r = 11 - 18. Let f(j) = 4*j**2 + 9*j + 1. Is f(r) a prime number?
False
Let k(z) = 365*z**3 + z. Let t be k(1). Suppose 4*v + 5*l - t = -0*v, 2*l + 263 = 3*v. Is v a composite number?
False
Let t = -5 + 12. Let m = 2 + t. Let b = m - -13. Is b a composite number?
True
Let z = 3 - 17. Is ((-28)/8 + -3)*z composite?
True
Is ((-1)/2)/((-2)/1868) a composite number?
False
Let n = -238 - -429. Is n a composite number?
False
Let d be (-77)/(-15) + 12/(-90). Let z(h) = -h**2 + h**2 - 7 - 2*h + 6*h**2. Is z(d) composite?
True
Suppose -6*q + 1366 = 220. Is q a composite number?
False
Suppose -2*u + 16 = -36. Suppose 5*y - 235 = m, 3*y - 167 + u = 3*m. Is y a prime number?
True
Let p = 272 + -49. Is p prime?
True
Suppose 4*z + z - 27547 = -s, -3*s - 11012 = -2*z. Is z prime?
False
Let k(g) = 625*g - 48. Is k(7) a composite number?
False
Let c(n) = n**3 - 4*n**2 + 4*n - 5. Let z be c(4). Let u = z + -7. Suppose 2*m + 2*p = -2*p + 106, 5*p = u*m - 225. Is m prime?
False
Is (-1899)/(-12) - 5/20 a composite number?
True
Is 10006/((-10)/(-105)*3*7) prime?
True
Suppose -4*d + 22 = 6. Suppose -2*t = -2*s + 848, -3*s + d*s + 4*t = 399. Is s composite?
False
Let g(w) = 4*w**2 - 8*w - 37. Is g(-17) prime?
False
Suppose 0 = -x + 3 - 0, -4*x + 75 = 3*z. Suppose -2*k = k + z. Let p = k - -10. Is p prime?
True
Let v(t) = 55*t - 4. Is v(3) composite?
True
Let u = -8 + 12. Suppose 5*w = 5*o + 70, -o + 58 = u*w + w. Is 42/(-4)*(-16)/w composite?
True
Let p be (-6)/8 - 3/12. Let m be 4 - (p - (-2 + 1)). Suppose 0 = -3*n + 3*w + 120, -2*w = -5*n - m*w + 179. Is n composite?
False
Is 3131/3 + -2 + 16/12 composite?
True
Let c(h) = -1 - 3*h**2 + h + h - 3*h + 4*h**3. Is c(3) prime?
False
Suppose -1116 + 33 = -5*s - 4*i, 0 = -5*s + i + 1073. Is s composite?
True
Let d(w) = w**2 + 2*w. Let r be d(-2). Let b = r + -8. Is (-726)/b + (-2)/(-8) a composite number?
True
Is 2/(-3)*5715/(-6) prime?
False
Let t(p) be the second derivative of -13*p**5/20 - p**4/12 + p**3/6 - p**2/2 - 3*p. Is t(-2) prime?
True
Suppose 0 = 4*i + 2*w + 16, -5*i + 2*w - 14 = 6*w. Is (-4)/i + (-1893)/(-9) composite?
False
Suppose -2*h - 5*h = 3822. Let b = 425 - h. Is b a prime number?
True
Let m = -11 + 5. Is m*(0 - 38/4) a prime number?
False
Let w = 130 - 196. Let a = w + 30. Let d = a + 67. Is d a prime number?
True
Is -58*(-1)/4*22 composite?
True
Let t(h) = 2*h - 7. Let x(g) = -9*g + 36. Let k(a) = 24*t(a) + 5*x(a). Is k(7) a composite number?
True
Let c(s) = -14*s + 5. Is c(-10) prime?
False
Let o(h) = -19*h**3 - 2*h + 2. Is o(-3) composite?
False
Let x = 84 - -167. Is x a composite number?
False
Let o(j) = 5*j**2 + 26*j + 13. Let v(u) = 2*u**2 + 13*u + 6. Let z(b) = -3*o(b) + 7*v(b). Let n = 14 + -5. Is z(n) a prime number?
False
Let o(d) = -43*d + 2. Is o(-5) composite?
True
Let q = 1320 + -326. Suppose n - q = -r, -229 = -n - 5*r + 773. Suppose -4*h = -2 - 2, -3*z = -h - n. Is z a prime number?
True
Let p(f) = -f + 35. Let w be p(0). Let g(m) = 2*m**3 + 6*m**2 + 6*m + 2. Let s be g(-3). Let u = s + w. Is u prime?
True
Suppose 5394 + 3223 = 5*z + 3*u, -4*z = -5*u - 6864. Is z prime?
True
Suppose 25*w - 24*w = 839. Is w a prime number?
True
Let b(y) be the first derivative of y**4/4 - y**3/3 + 4*y - 1. Let f be b(0). Suppose 332 = f*s - 8. Is s composite?
True
Suppose 3*j + 181 = 5*a - j, 0 = -2*a - 2*j + 76. Is a prime?
True
Suppose -1724 = 3*h - 0*v - 4*v, 4*v - 580 = h. Let l = -369 - h. Is l a prime number?
Fa