 - 5*i, -3*i - a = 0. Is u composite?
True
Suppose 0 = -3*z + 5*z. Suppose z = 4*g - 2*v - 992, -5*g + 2*v + 1250 = -3*v. Suppose -3*q - 2*d + g = 93, -q + 51 = -d. Is q a composite number?
True
Let o = 47 + -6. Let c = o - 4. Is c a composite number?
False
Let c = -17 + 25. Suppose c*s - 596 = 4*s. Is s composite?
False
Let u = 471 - 707. Let v = u - -529. Is v a composite number?
False
Let x(n) = -n**3 - n**2 + 2*n + 7. Let a be x(-5). Suppose 4*v + a + 63 = 0. Is ((-9)/(-6))/((-6)/v) a prime number?
False
Suppose 2*g - 6*d + 2*d + 16 = 0, 3*d = 2*g + 14. Is -25*2*g/8 composite?
True
Let l be 4*-1*(-6)/8. Suppose z - 3 = l*g, -5*z + g - 25 = -4*g. Is (-4 - z) + (-1 - -2) a prime number?
False
Let s = 465 - 330. Suppose 6*o = o + s. Suppose -f + 764 = 3*v - o, 3*v + 2*f - 793 = 0. Is v a prime number?
True
Let i(l) = l + 2. Let u be i(9). Suppose u = -4*h - 49. Is (h/6)/(3/(-66)) a prime number?
False
Let p(z) = -z + 921. Is p(0) a prime number?
False
Let v = 203 - 142. Suppose 2*t - v = 109. Is t a composite number?
True
Suppose -2*n + 5634 = 2*v, -8459 = -4*v + v + n. Is v composite?
False
Suppose 2*b + 5*w - 349 = -b, b - 107 = 3*w. Is b a prime number?
True
Let u(p) = p**3 + 7*p**2 - p - 7. Let i be u(-7). Let m(h) = -3 + 3*h - 5*h + i. Is m(-11) a prime number?
True
Suppose 0 = -0*b + 5*b - 2765. Suppose a + b = -4*j, 4*a = -2*j + 726 - 2868. Is a/(-4) + 1/(-4) composite?
True
Let p(u) = -u**3 + 13*u**2 - 9*u - 3. Is p(12) composite?
True
Let n(p) = p**3 + 2*p**2 - 2*p - 5. Let k = 6 - 7. Let c be (k/(-2))/(1/8). Is n(c) a composite number?
False
Let p be (-10)/3 + 7/21. Let z(f) = 3*f**2 - f + 1. Is z(p) a prime number?
True
Suppose -4*s + 8 = -0. Let q(r) = 27*r**2 + 2*r - 2. Let p be q(2). Suppose s*m = p + 168. Is m composite?
False
Let f(x) = -7639*x - 2. Is f(-1) a prime number?
False
Suppose -3*y + y = 0. Suppose y = f - 259 + 74. Let v = f - 42. Is v a composite number?
True
Let j(b) = -10*b - 5. Let g(k) = k**3 + 5*k**2 - 4*k + 5. Let f be g(-6). Is j(f) prime?
False
Let m = 102 - 46. Let y = -35 + m. Suppose 3*g + y = 4*g. Is g a prime number?
False
Let o be (-1)/(14/(-4) + 4). Let w(i) = -3*i + 1. Is w(o) a composite number?
False
Let s = -463 - -1164. Is s prime?
True
Suppose -2*o = -3*i + 241, i = o - 3*i + 118. Let u = o + 203. Let x = 160 - u. Is x a composite number?
False
Suppose 7 = 2*x - 1. Suppose -3*t + 4*c = -113 - 172, x*t = 5*c + 379. Is t prime?
False
Suppose -5*l - 5 = -10*l. Is 37/l*(-1 - -2) a composite number?
False
Let r(g) = -g**3 + 12*g**2 - 11*g + 4. Let n be r(11). Suppose y + 75 = n*y. Is y composite?
True
Suppose -4 = z + 4*c, -2*c = 6*z - z - 16. Suppose q = z*i + 2*q - 1939, i + 3*q = 482. Is i composite?
True
Suppose -t + 423 = 2*s, -t - 635 = -3*s - 3*t. Is s composite?
False
Let g = -379 - -798. Is g prime?
True
Let b be 1 - (-4)/(-2) - -3. Suppose 0*i - b*i + 254 = 0. Is (i/2)/(1/2) prime?
True
Let y(x) = 7*x**2 + 3*x + 2. Let p be (-6)/8 + 10/(-8). Let a be y(p). Let u = a + -5. Is u composite?
False
Suppose 915 + 5 = 5*b. Suppose 3*j = -j + b. Is j a composite number?
True
Suppose p + p = 3*n + 22, -n - 19 = -3*p. Suppose l + 6 + p = q, -24 = -2*q + l. Is q prime?
True
Let j be 324/(-90)*(-5)/3. Is (1 + -4)/(j/(-508)) composite?
True
Let c = 4 - -23. Suppose -246 = -3*g + c. Suppose g = 2*h - h. Is h composite?
True
Suppose -5*t = 2*m + 806 - 11693, -4*m - 6553 = -3*t. Is t prime?
True
Let s = -634 + 1277. Suppose 5*a - 1012 = s. Is a a prime number?
True
Let j(m) = 29*m**2 - m + 7. Is j(4) a composite number?
False
Let j be 2 - (-2 - 0/1). Suppose 0 = -m - j*m. Suppose -7*l + 2*l + 20 = m. Is l prime?
False
Let t = 95 - -200. Is t a composite number?
True
Suppose 0 = 5*s + 4*k + 4155 + 1957, 5*s - 5*k = -6085. Is s/8*(-6)/5 composite?
True
Suppose -320 + 1271 = 3*l. Is l a composite number?
False
Let v be (0 + -1)/(3/(-141)). Suppose 2*q - 27 - v = 0. Is q a prime number?
True
Let c(z) = 61*z**2 - 5*z - 1. Is c(15) a prime number?
True
Let b = 249 - -436. Is b prime?
False
Let v(n) = n - 11. Let m be v(8). Is -1 - 1 - 567/m a prime number?
False
Let b(v) be the second derivative of 17*v**4/12 - v**3/3 - v**2 + v. Suppose 2*s + 2*c - 6 = 0, -3*c - 4 = -4*s + 1. Is b(s) prime?
False
Suppose 6*l - 3715 = l. Is l prime?
True
Let r(m) = -m**3 - 15*m**2 - 15*m - 2. Is r(-15) composite?
False
Let m(x) = x + 14. Let z be m(-13). Let j(u) be the second derivative of 11*u**5/5 - u**3/6 + u. Is j(z) composite?
False
Suppose 4*r + 8 = -32. Let d = 155 + r. Is d prime?
False
Suppose 5*v - 5*c = -20, 4*v - 7*v - 5*c = 20. Let x = 26 - v. Is x prime?
True
Let j be 18/(-15)*(-20)/6. Suppose 4*f - j*t = 64, 0*t = 5*f - t - 100. Is f prime?
False
Let o(x) = x**2 - 5*x - 9. Let u be o(7). Suppose c - 16 = u. Is c a prime number?
False
Suppose 4*k - 3*j - 8 = 0, -35 = -3*k - 0*j - 5*j. Let q = 5 + k. Is 4/q - 766/(-10) a composite number?
True
Let m = 18 + -15. Suppose n - 3*n + 230 = -3*c, -m*c = n - 133. Is n composite?
True
Let f(m) = -52*m**2 - 4*m. Let y be f(3). Is y/(-14) + (-4)/14 prime?
False
Suppose 5*h - 1408 = -5*j + 302, 0 = 2*h - 2*j - 672. Is h a composite number?
True
Let i = 4 - 0. Suppose -5*v + 2*b + 20 = 0, -i*b - 14 = -4*v + 14. Suppose p - v*d - 33 = 3*d, -3*p - 3*d = -117. Is p a prime number?
False
Is (-1)/(-3 + (-5240)/(-1748)) prime?
False
Suppose 0 = 4*d - 20 + 64. Let m = 15 + d. Suppose 27 = -m*u + 83. Is u prime?
False
Suppose -5*f + 115 = 3*q, 0 = -2*f - 2*f + 2*q + 70. Let a be (6/(-4))/((-6)/f). Suppose x + 2 + 3 = 0, m = a*x + 58. Is m a composite number?
True
Is 16/(-88) - 6912/(-22) a composite number?
True
Let h(s) = s**3 + 5*s**2 + 2. Let x be h(-5). Suppose g - 5*g = -4*d - 132, x*g + d = 60. Is g a prime number?
True
Suppose -r - 3*r + 9339 = 3*s, -2*s = -5*r - 6203. Is s prime?
True
Suppose 0 = -3*z + i + 4555, -1533 = -2*z + z + 4*i. Is z a composite number?
True
Let i(y) = y**3 + 9*y**2 - 11*y - 6. Let t be i(-10). Suppose l = -t*l + 110. Is l composite?
True
Suppose 8*c - 5*k - 379 = 7*c, -5*k = -4*c + 1516. Is c composite?
False
Suppose 2 + 4 = 2*k + r, -9 = -3*k - 2*r. Suppose 0 = q + 3*l + 27, k*q + 2*q = -3*l - 111. Let d = -11 - q. Is d prime?
False
Suppose 3*f - 7 = 38. Is f a composite number?
True
Let c(z) = z**3 + 4*z**2 + 3*z - 7. Is c(6) a composite number?
True
Suppose 2*s - y - 5 = -0*s, y = -5*s + 2. Suppose 3*p = -4*o + 31, -o - s = -0*o - p. Suppose 4*n - 52 = c, -o*n + 0 = -4*c - 40. Is n a prime number?
False
Let k(t) = 4*t**3 - 7*t**2 + 2*t - 4. Is k(5) prime?
True
Let i(y) = -y**3 + 12*y**2 + 11*y - 3. Suppose -9 + 59 = 5*r. Is i(r) a composite number?
False
Suppose 0 = r + 4*c - 877, -2*r = -c + 416 - 2143. Is r a composite number?
True
Let p(z) = 3*z - 10. Let l be p(-8). Let s = l - -71. Suppose t + s = 116. Is t prime?
True
Suppose -3*g = 5*k - 0*k - 6, -2*g + 3*k = -4. Suppose -4*y + 5*s + 320 = 0, 0 = -0*s + g*s - 8. Is y composite?
True
Let o = 4 + -11. Let f = o - -12. Suppose 5*m - 180 = -f*s, 153 = 3*s - 3*m + 39. Is s prime?
True
Suppose -4*r = c + 9, 0 = r - 0*r + 5*c + 26. Is (-17)/1*r + -3 composite?
True
Suppose -2*t + 256 = -182. Let f(x) = 58*x**3 - 3*x**2 - x + 2. Let c be f(2). Let k = c - t. Is k a composite number?
False
Suppose 5*j - 6 = 4. Is 52/6*9/j prime?
False
Suppose -598 = -4*s + 2*s. Suppose -s + 24 = -5*d. Is d a composite number?
True
Let m(x) be the third derivative of x**4/24 + 11*x**3/2 + x**2. Suppose -z = -6*z. Is m(z) prime?
False
Suppose 1860 = 3*z - 3*b, 2*z + b - 379 = 870. Is z a composite number?
True
Let i be 18/(4 - 1) + -1. Suppose c = i*c - 148. Is c a prime number?
True
Is (-2 + (3 - 2))/(2/(-4318)) prime?
False
Let p(i) = 22*i - 7. Is p(3) a prime number?
True
Let p(y) = 7*y**3 - 3*y**2 - y + 5. Is p(4) composite?
False
Suppose 2*s = 3*o - s - 36, 4*s + 63 = 5*o. Suppose -o = -5*r, 2*r + 472 = 2*t - 0*r. Is t prime?
True
Is 3/(-6)*-254 + -4 a prime number?
False
Let o(x) = x**3 - 9*x**2 - 12*x - 7. Let h(y) = 2*y**3 - 9*y**2 - 12*y - 6. Let t(l) = -2*h(l) + 3*o(l). Is t(-8) prime?
True
Let w = 1287 + -596. Is w prime?
True
Suppose -1448 - 520 = -4*l + 3*o, -3*o = -l + 501. Is (-2)/(-5) - l/(-15) a prime number?
False
Let m(c) = -c**2 - 4*c - 1. Let b be m(-4). Let u = b + 52. Is u composite?
True
