umber?
True
Let y = -63 + -216. Let d = 538 + y. Is d prime?
False
Suppose -n - 4*b = -8*b, n = 2*b + 2. Suppose n*s + 0*s - 8 = 0. Suppose -s*a - 3*c + 65 = 0, 3*c = 4*a + 2*c - 95. Is a prime?
False
Suppose -3*x + 13 - 4 = 0, -o + 3*x - 6 = 0. Suppose 69 = 2*f + f. Suppose 67 = 5*g - 2*p, f = o*g + 4*p - 38. Is g composite?
True
Let g = 25 + -15. Let s = g - 7. Is s composite?
False
Let c = -595 - -864. Is c a composite number?
False
Suppose p = -5*w - 22, -4*p - 14 = 3*w + 6. Let f be 6/4*(-4 - p). Is f*1 - -1 - -93 composite?
True
Suppose 0 = -3*c - 2*c + 415. Suppose c = -2*i + 3*i. Is i a composite number?
False
Suppose 2*i = 4619 - 1903. Suppose 5*p - i = -123. Is p prime?
False
Let d(v) = -v**2 + 13*v + 5. Let i be d(13). Suppose -i*o = -4*c + 1965, c + o = -2*o + 470. Is c composite?
True
Suppose -4*a - 2*k - 36 = -9*a, 3*a - 4*k = 16. Suppose -5*s - a + 236 = q, 4*q - 843 = 3*s. Is q a composite number?
True
Suppose -2*i + 4 = -2*s, 2*s - 4 = -4*i + 16. Suppose 4*w = i*m + 524, 0 = 2*m + m + 12. Is w composite?
False
Suppose 75 = l - 15. Let u = l - 41. Is u prime?
False
Let c = 1074 + -163. Is c composite?
False
Let a be (0 - -1)*(0 - -3). Let o be (2 - a)/((-1)/3). Suppose -o*n = -4*p + 21, -3*p + 4*p - 6 = n. Is p prime?
True
Let q(w) = 4*w**2 + w - 1. Suppose -5*r - 41 = -4*z, -5*z + 0*r + 40 = -4*r. Is q(z) a composite number?
False
Let t be 3/(-4) + 3/(-12). Let o be 2/1*(-2 - t). Let s(m) = 13*m**2 + 3*m + 3. Is s(o) composite?
True
Let u be (-9)/7 + (-2)/(-7). Is 43/u*(-5)/5 prime?
True
Let z = 9 + -10. Let k be (z*6)/(3/(-2)). Suppose k*i = 4*c + 252 - 0, 5*i - 287 = -2*c. Is i composite?
False
Suppose 12 = k - 94. Let a(s) = -s - 2. Let q be a(-2). Suppose -5*x + 4*h + 205 = -q*h, h - k = -3*x. Is x composite?
False
Let q be 1 + 3/(3/8). Let d = 11 + -8. Suppose -q = d*p - 111. Is p a composite number?
True
Suppose -2*b = 3*u + 208, 5*u - 2*b = u - 296. Let h = u - -169. Is h prime?
True
Suppose 5*g = i + 32210, 3*g - 19354 = -i - 4*i. Is g composite?
True
Suppose 5*n + 24 - 3 = -d, 0 = d - 3*n + 45. Let x = d - -58. Is x prime?
False
Let j(u) = -3 - 4*u**2 + u + 2 + 2 + 2*u + 2*u**3. Is j(4) composite?
True
Let i = -616 - -1055. Is i a composite number?
False
Let o(v) be the second derivative of -1527*v**5/20 - v**3/3 + v**2/2 - v. Let q be o(1). Is q/(-12) - (-1)/(-3) a composite number?
False
Let r(j) = j**3 + 5*j**2 - 6*j + 7. Let l be r(-5). Suppose 0 = 2*h + 3*h. Suppose -v + h*v = -l. Is v composite?
False
Let j(n) be the third derivative of -5*n**4/24 + n**2. Let u = 23 - 28. Is j(u) composite?
True
Suppose 5*p - 5*u - 1850 = 0, -4*p + 0*u = 4*u - 1488. Is p prime?
False
Suppose -4*r = -1102 - 1390. Is r a prime number?
False
Let s be (16/(-10))/(14/(-455)). Suppose 40 = 2*j - s. Is j composite?
True
Suppose 2*u = 3*i + 169, 2*i + 9 = -i. Let f = -41 + u. Is f a composite number?
True
Let d(z) = 8*z**2 + 2*z - 11. Let l(s) = s**2. Let m be l(-1). Let k(h) = -h + 1. Let p(x) = m*d(x) + 4*k(x). Is p(-6) a prime number?
True
Let t = -2 + 0. Let m be 32/14 + t/7. Suppose -m*y - 2*y = -132. Is y composite?
True
Suppose 4*p + 9 = -2*q + 27, -5*p + 3 = -4*q. Is p composite?
False
Let x(j) = 3*j**2. Let o(r) = r**2 - r - 4. Let m be o(3). Suppose 4*k - 2 = m*g, 0 = 2*g - k + 3 - 1. Is x(g) a prime number?
True
Suppose 4*v + 5459 = 4*t - 3861, -3*t = -4*v - 6987. Is t composite?
False
Suppose 0 = 5*j + 2*r + 126, 4*j - 3*r + 87 = -0*r. Let d(x) = 49*x**2 + x. Let m be d(1). Let o = m + j. Is o a prime number?
False
Let c(r) be the second derivative of 7*r**3/3 - r. Is c(1) a prime number?
False
Suppose -2*o + 7*o - 96 = -k, 438 = 4*k + 2*o. Is k prime?
False
Suppose 0 = 2*u + 2*k - 192, -390 = -4*u + 3*k - k. Is u prime?
True
Suppose 13 = -3*i + 1450. Is i prime?
True
Let x(m) = 22*m. Let f = 2 + -1. Let u be x(f). Suppose -2*t = r - 3*r - u, 2*t + 4*r = 10. Is t composite?
True
Let q be (55/4 - 2)*-4. Let u = 42 - q. Is u prime?
True
Let j = 5152 - 3305. Is j a prime number?
True
Suppose 5*m - 34881 = -2*i, -2*m + 3*i - 3764 + 17724 = 0. Is m composite?
False
Let g(q) = -4*q**3 - 2*q**2 + 9*q + 7. Is g(-6) a composite number?
True
Let q be 8/(-4)*(-54)/4. Suppose 0 = 3*g + h - 171 - q, 3*g - 204 = -3*h. Is g a composite number?
True
Let o be (-6)/2 + 2/1. Let m = 3 + o. Suppose 42 = m*s - 0*f - f, -80 = -4*s + 3*f. Is s a prime number?
True
Let q(g) = 12*g**2 + 4*g - 5. Let y be q(-5). Suppose 4*d + 133 = 3*c, y = -5*d - 3*c + 75. Let h = 59 + d. Is h composite?
True
Let z(y) = -2*y + 17. Let h be z(17). Let m = 208 + h. Is m prime?
True
Suppose 2*h + s = 3671, -4*h - 2*s + 7339 = -3*s. Is h a composite number?
True
Suppose 27 + 149 = -2*q. Let t = q + 125. Is t composite?
False
Suppose -p + 5 + 0 = 0, m = -3*p + 550. Is m prime?
False
Suppose 3*c + 3091 = 2*w, -4*w - 3322 = -2*c - 9492. Is w prime?
False
Let c(d) = -124*d - 1. Let m be c(-1). Suppose -h + m = 4*q, -3*h - 2*h - 67 = -2*q. Is q a composite number?
False
Let l be 1/((-2)/(-2)) + -309. Suppose -b - 2*b = 12. Is (1 + 0)/(b/l) a composite number?
True
Let y = 1 + 4. Suppose -y*q - 39 = -744. Is q composite?
True
Let v(h) = 2*h**2 - 2*h - 1. Let k be v(2). Is 575/k - 4/6 prime?
True
Suppose -s + 947 = 4*g - 4653, 3*s + 1387 = g. Is g prime?
True
Suppose -j + n - 2*n = -658, -2*j + 1304 = 5*n. Is j prime?
False
Let x(m) = 404*m - 51. Is x(7) prime?
True
Suppose 0 = -2*h + f + 674, -10*h - f = -9*h - 343. Is h a composite number?
True
Is ((-14)/(-6))/((-3)/(-477)) a composite number?
True
Let r(m) be the first derivative of -m**4/4 - 5*m**3/3 - 4*m**2 - 7*m + 2. Let v be ((-2)/(-2) + 4)*-1. Is r(v) prime?
False
Let z be 1/(4/11920*4). Suppose o = 6*o - z. Is o a composite number?
False
Is (45/(-4) + 3/12)*-67 a prime number?
False
Suppose 8*f - 3*f + 10 = 0. Let x be 4120/15 + f/(-6). Suppose 4*b - x = -b. Is b prime?
False
Let s = 186 - 55. Is s a prime number?
True
Let w(c) = 16*c - 6. Let t(n) = 15*n - 5. Let i(y) = -5*t(y) + 4*w(y). Is i(-3) a composite number?
True
Suppose -4*c - k + 5607 = 0, -3015 = -2*c + 2*k - 219. Is c prime?
False
Suppose 3*n - 30 = n. Let j(i) = -i**2 + 17*i + 19. Is j(n) prime?
False
Let a(b) = -b**3 + 12*b**2 + 13*b - 25. Is a(12) composite?
False
Let w be 11/3*(-45)/(-3). Let r = w - 19. Suppose 0 = 4*t - 8 - r. Is t prime?
True
Let h(b) = b**3 + 5*b**2 - 6*b + 3. Let i be h(-6). Suppose 2*r + 0*z - 28 = i*z, -r + z + 13 = 0. Is r composite?
False
Suppose -3*h + 4*n = -44, -h - 2*n = -10 + 2. Suppose -5*p + h = -13. Suppose 2*l = 2*v + 6*l - 62, -p*v = 3*l - 134. Is v composite?
True
Let x(g) = g**2 + g + 21. Let t = 2 - -2. Suppose 0 = t*w - 6*w. Is x(w) a prime number?
False
Let q(o) = 1150*o**3 + 3*o**2 - 3*o + 1. Is q(1) a prime number?
True
Let n = 613 - 45. Suppose -5*p + n = 93. Suppose -3*c + p = 2*c. Is c a prime number?
True
Suppose 2*j + 2 = 4*u - 7*u, 3*u = -3*j - 6. Let w be -29*j/(8/14). Let g = -112 + w. Is g prime?
False
Let y(k) = -k**3 - 3*k**2 + k - 3. Let p be y(-3). Let r(n) = -n**3 - 6*n**2 + n + 8. Let o be r(p). Suppose 111 = o*v + v. Is v composite?
False
Suppose 3*q - 2 + 11 = 0. Is 2/q - 38235/(-45) prime?
False
Let c(i) = -3*i - 3. Let v be c(-3). Is (-21)/14*(-524)/v a composite number?
False
Let f be (-208)/(-56) - 2/(-7). Let g be (2/(-2) - -1)/1. Suppose g = -f*j + 154 + 66. Is j composite?
True
Suppose 19 = l - 3810. Is l a composite number?
True
Let d(f) = 293*f**3 - 2*f + 2. Let z(s) = s**3 - 10*s**2 - 12*s + 12. Let j be z(11). Is d(j) composite?
False
Let w = 1337 - 823. Is w a prime number?
False
Suppose 3*w - 2*s - 1758 = -w, 2*w - 883 = 5*s. Is w a prime number?
True
Let y(r) = -105*r**3 - 2*r**2 - r + 1. Is y(-2) a composite number?
True
Let x be 12/90 - 4/30. Suppose x = 3*j - 5*j - 1590. Is 2/3 - j/9 prime?
True
Suppose -5*w + 3*z + 671 = 0, 5*z + 0*z + 10 = 0. Is w a composite number?
True
Suppose 9 = c - 202. Is c a prime number?
True
Suppose -4*s + s = 0. Suppose s = -4*g + 296 + 300. Is g a composite number?
False
Let p(d) = 97*d**2 + d - 11. Is p(3) a prime number?
False
Let y(z) = z**2 - 5*z - 3. Let i be y(6). Suppose 0 = o + n - i*n - 43, 5*o = 5*n + 230. Is o a composite number?
True
Let k(y) = 35*y + 13. Is k(6) prime?
True
Suppose -s + 216 = 3*h, -5*h - 75 = 2*s - 506. Is s a