 h = -1111 + g. Is h composite?
False
Is ((-9)/(54/(-14372)))/((-2)/(-3)) composite?
False
Suppose 3 = 3*n, 0 = -4*u + u + 2*n + 4969. Is u prime?
True
Suppose l = 5*f + 2661, -l = -4*l + 2*f + 8035. Is l composite?
True
Let p(u) = u**2 - 6*u. Let t be p(6). Let k(a) = -a + 5*a**2 - 10 - 4*a**2 + 31. Is k(t) a prime number?
False
Suppose -6*j = -7 - 5. Suppose -462 + 2240 = j*w. Is w prime?
False
Suppose -2*o = 8*x - 3*x, -5*o + 2*x = 0. Suppose o = -3*k - 6 + 18. Let z = -1 + k. Is z prime?
True
Is (-5 + -6927)*(2 + 9/(-4)) composite?
False
Let q = -1323 - -2210. Is q a prime number?
True
Let d be -1*(18/2 - 3). Let i = -11 - d. Is i + 1 + 2 - -6 a prime number?
False
Let g(b) = b**3 - 5*b**2 - 3*b - 5. Let h be g(7). Suppose -2*k + 3*p = 2 - h, 3*k = p + 112. Let x = 72 - k. Is x a prime number?
False
Let r = 37 + -24. Is r a prime number?
True
Let b(a) = -3*a + a - 3 + a. Let k be b(-3). Is (k - -1) + (-30)/(-1) a composite number?
False
Let k = 1922 - 1003. Is k prime?
True
Let r = -2 + 57. Is r prime?
False
Let q(x) = 13*x**2 - 3*x - 5. Suppose -3*u - 4*w - 8 = -u, 2*w = u. Is q(u) a prime number?
True
Let x(p) = 5*p**2 + 3*p - 3. Let w be x(-6). Is (4/(-12))/((-1)/w) composite?
False
Suppose 0 = 6*c - 2*c - 80. Suppose u - 6*u - c = 0. Is (-2)/1*6/u a composite number?
False
Let b(q) = -7*q - 4 - 2 + 20*q + 7. Is b(6) a composite number?
False
Suppose -6 + 16 = 2*r. Suppose r*i - 4*i = 371. Is i a prime number?
False
Suppose -22 = -5*b + 3. Suppose 4*r = -2*x - 10, -b*r - 2*x + 7 = -6*x. Is 0 + -1 + r + 13 composite?
False
Let g(j) = 7*j**2 - 16*j - 8. Is g(7) a composite number?
False
Let k be (-1498)/(-10) - 2/(-10). Suppose 4*q - 66 = k. Let z = q + -3. Is z composite?
True
Suppose -b + 596 = h + h, 1499 = 5*h - 2*b. Is h prime?
False
Suppose 3*l - 4*q = 8*l - 418, -3*l + 4*q + 270 = 0. Is (-1)/((-2)/l)*1 composite?
False
Let c(i) = 3*i - 5. Let v be c(4). Let s(k) = 2 - 1 - 5 + 2*k. Is s(v) a composite number?
True
Let k be 72/3 + 2 + 1. Suppose -k = -5*h + 48. Suppose 2*l + 3*x + 4 = 13, 0 = 3*l + 3*x - h. Is l a composite number?
True
Let n be ((-54)/(-12))/((-3)/(-16)). Is n + -4 - (0 + 1) composite?
False
Let p be -1*3 + (-2 - -30). Suppose -p = -4*x - b, -2*x + 29 = 3*b - 8*b. Is x a composite number?
False
Let u be (-1)/4 - 21/(-4). Let r(x) = x - 13. Let b(d) = 12. Let z(p) = u*r(p) + 6*b(p). Is z(6) prime?
True
Let n = 9 - 5. Is -1*(n + -3) + 38 prime?
True
Is (-2)/3*77706/(-36) prime?
True
Let f(n) = -n**2 + 28*n + 19. Suppose -3*l - 63 = -7*l + 3*q, -l + 2*q = -22. Is f(l) prime?
True
Let c be (-2)/14 + 86/14. Is -211*(c/(-3))/2 a composite number?
False
Is (-9)/(-6)*(-446)/(-3) a composite number?
False
Let m(a) = a**3 + 7*a**2 + 6*a - 1. Let c be m(-6). Is (0 - c)/(7/1127) prime?
False
Let c be (-1)/3 - (-2)/6. Suppose k - 2*a - 13 = -c*a, a = -1. Is k composite?
False
Is (-8)/36 + 33265/45 prime?
True
Suppose 0 = -3*q, 5*p + q = -3*q + 30. Is p/(-27) + (-184)/(-18) prime?
False
Let s(m) be the second derivative of m**7/1260 + m**6/720 + m**5/120 - m**4/4 - m. Let u(d) be the third derivative of s(d). Is u(2) composite?
False
Is 5817/3 - -4 - -2 a prime number?
False
Let f(m) = -m + 2. Let u be f(-3). Is 1/u - (-188)/10 composite?
False
Let b be (0/(-8))/(2 + 0). Suppose b*c = 2*c - 266. Is c a prime number?
False
Let y be ((-16)/10 + 2)*5. Let n(r) = 28*r + 2. Is n(y) a prime number?
False
Let u(m) = 7*m**2 - 2*m + 6. Let o be u(4). Suppose -8*k + o = -3*k. Is (-1 - -2)*k - 0 a prime number?
False
Suppose r + 4*j - 305 = 0, -2*r - 2*j = -3*r + 281. Is r a prime number?
False
Suppose 4*l = 216 + 228. Is l composite?
True
Is -3*(1/7 + (-3504)/126) a composite number?
False
Let o be 1 - (-28)/2*1. Suppose 3*h - 2*h + o = 0. Let v = -8 - h. Is v a prime number?
True
Suppose 4*g + 22 - 6 = 0, -3*g = 2*y + 16. Let d be 1 - ((-2)/2 + 2). Let p = d - y. Is p prime?
True
Suppose 10*y - 5*y - 10 = 0. Suppose h - 128 = -5*k, -3 = y*k + k. Is h a prime number?
False
Let r be 1/(1 - 2/3). Suppose -3*b + 4 = -n - 102, r*b + n = 116. Is b a prime number?
True
Suppose -5*w + 2*g = 7*g - 35, -3*g + 9 = -w. Suppose -2*s + v = -202, s - w*s - 3*v = -218. Is s a composite number?
False
Let v be (-6)/12*(-13 - 1). Let p = 11 - v. Suppose p*w - 336 = -4*m, -5*m - 212 = -2*w - w. Is w a composite number?
False
Suppose 5*l - 2*x - 115 = 0, l - 23 = -0*l + 3*x. Is l a composite number?
False
Suppose 7*u - 3*u - 1364 = 0. Is u prime?
False
Let a be 1*-4*(-3 + 10). Let u = 107 + a. Is u a composite number?
False
Let c = 0 + 3. Suppose -2*k + c*o = -671, 35 = k + 2*o - 304. Is k a composite number?
False
Suppose 2*s - 537 = 4*s - z, 0 = -4*s + 3*z - 1077. Let d = 530 + s. Is d prime?
True
Let c(i) = -i - 4. Let m be c(-6). Suppose -2*q = m*q. Suppose q = -4*y - 82 + 726. Is y a prime number?
False
Let j(z) = 2*z**2 + 2*z - 1. Let k be j(1). Suppose 0 = m + 3 - 11. Suppose -110 = -m*q + k*q. Is q a prime number?
False
Let t be (32/20)/(2/10). Suppose -5*l = -3*l + t. Is 354/10 + l/10 prime?
False
Let k(h) = h**3 + 4*h**2 + h + 2. Suppose -3 = 3*z + 6. Let a be k(z). Is (11/4)/(2/a) composite?
False
Let q = -5 + 8. Let r(k) = 22*k + 4. Let c be r(3). Suppose c = q*u - u. Is u prime?
False
Is 1/((-1)/(-3 - 34)) a composite number?
False
Is (6/4 - (-5 + 7))*-398 a composite number?
False
Is (23 - 24)/((-1)/422) prime?
False
Let z(y) = 4*y**3 - 3*y**2 + y - 4. Let v(b) = 5*b**3 - 3*b**2 + 2*b - 5. Let i(r) = -3*v(r) + 4*z(r). Is i(4) a composite number?
False
Let z(d) = 5*d**3 + 6*d + 3. Let h be z(6). Suppose 2*v - h = -v. Is v composite?
False
Let l(m) = 49*m**2 + 8*m + 27. Is l(8) composite?
True
Let r = -1 - -4. Suppose 4*p + 4*t + 25 = 237, -r*t = 5*p - 265. Is p a prime number?
True
Suppose 0 = -2*l + 6. Suppose 3*q + 3*x = -q + 1277, 2*x = l*q - 979. Is q prime?
False
Is (-38)/(-19) + (273 - 1) composite?
True
Suppose 3*t + 1 = 5*p + 2, -4*p - 20 = 0. Let f(i) = 3*i**2 + 12*i + 10. Is f(t) a prime number?
False
Suppose 21 = -2*q + 5*x, 5*q - 30 = -2*x - 2*x. Suppose q*s = 135 + 31. Is s composite?
False
Let b = -23 - -74. Is b a prime number?
False
Let s = 51 + -22. Let z = 151 - s. Is z composite?
True
Suppose -3*j = -k + 3, -5*k + 0*j = -j - 15. Suppose 5*s + 38 = u, 0 = k*s + 12 - 3. Is u composite?
False
Suppose 3*j - 791 = -4*y, 0 = -0*j + 2*j + 4*y - 534. Is j composite?
False
Let i = -107 - -606. Is i a prime number?
True
Let k be 6/4*(-4)/6. Let y be (k - 0 - 6)*-1. Let t(b) = b**3 - 6*b**2 + b + 2. Is t(y) composite?
True
Is 1*1/(-1)*-19 a prime number?
True
Let w(t) = -6*t - 5. Is w(-8) composite?
False
Let t = -8 - -11. Suppose 3*z - 456 = -t*y + 78, 5*z - 365 = -2*y. Suppose 5*p + f = 160, -f + y = 5*p + 3*f. Is p a composite number?
False
Suppose 106 = 4*f + 2*t, f - 3*t - 32 = 2*t. Suppose -f = -2*v + 143. Is v a prime number?
False
Let d be 3 + (-2)/((-8)/92). Is 5794/26 - (-4)/d composite?
False
Suppose 4*n = 3*n + y + 2708, -n - 3*y + 2696 = 0. Is n a prime number?
False
Suppose 8*i = -0*i + 2696. Is i a prime number?
True
Suppose 0*q = -3*q + 96. Let g = 27 + q. Suppose -l = -g - 20. Is l composite?
False
Let d(i) = i**2 + 121. Let w = 2 + -2. Is d(w) prime?
False
Suppose -4*q + 5*d - 6*d + 16 = 0, 2*d - 8 = -2*q. Suppose 0 = -q*k + 10 + 18. Suppose -633 = 4*p - k*p. Is p a composite number?
False
Suppose -3740 = -8*y - 1044. Is y a prime number?
True
Is ((-32944)/12)/2*(-3)/2 a composite number?
True
Let s(c) = 17*c**3 + 2*c**2 + 1. Is s(2) composite?
True
Let i(c) = 523*c + 1. Let j be i(1). Let n = j + -286. Suppose -z + 3*z - n = 0. Is z composite?
True
Let g be (2 - 342)*-1*1. Suppose 0*h = -4*h - 2*z + g, 0 = 2*h - 2*z - 158. Is h composite?
False
Suppose -24 = 2*c - p, c - 4*p + 12 = -14. Let r = 49 - c. Is r composite?
False
Suppose 5*l - 236 = -2*g, g + l = -0*g + 115. Let x = -51 - -87. Let r = g - x. Is r a prime number?
False
Let p = -4 + 2. Is ((-13)/(-2))/((-1)/p) a prime number?
True
Let h be 12/15*(438 + -3). Suppose -3*g - 8 - 4 = 0, -4*f - 2*g + h = 0. Is f a composite number?
False
Let u(f) = -7*f + 5. Is u(-6) composite?
False
Let i = -25 - -36. Suppose i = l - 14. Is l a prime number?
False
Suppose 3*j - 2070 + 633 = 0. Is j composite?
False
Let f(p) = p**3 - 10*p**2 + 2*p - 15. Let u be f(10). Is 3 - u