a - 6*a - q. Is (-3)/(-18) - a/12 prime?
True
Suppose 0 = -3*f + 4*m + 787, -6*m = f - 3*m - 245. Is f composite?
False
Let y = 260 - 116. Let m = 1 + y. Let g = m - 94. Is g prime?
False
Let a(y) = -y**3 + 5*y**2 + 5*y + 8. Let u be a(6). Suppose q = -u*h + 41, q + h - 73 = -q. Is q a composite number?
True
Let v = 6 - 4. Suppose -3*n + 109 = -2*z, -z = -v*n + 2*z + 81. Is n prime?
False
Let h(o) = -o**2 + o + 4. Let m be h(4). Let v = 11 - m. Is v prime?
True
Let b be (-12)/4*(-8)/(-3). Let n = -36 - 25. Let h = b - n. Is h a composite number?
False
Let m = 184 + -330. Let a = m - -546. Let w = a - 277. Is w prime?
False
Suppose 9*v - 4*v - 25 = 0. Suppose -u = -v*a + 30 + 245, -2*a + u = -110. Is a composite?
True
Let k be 1804/18 + (-10)/45. Suppose 5*p - 264 = -5*t + 4*p, -p = -2*t + k. Is 2 + (1 - 2) + t prime?
True
Let v(g) = -g**3 - 7*g**2 - 7*g - 1. Let z be v(-6). Suppose -z*h + 524 = -h. Suppose -i + h = -0*i. Is i composite?
False
Let q = 460 + -305. Let p = q - -56. Is p composite?
False
Let c(w) = 102*w + 5. Is c(7) a composite number?
False
Suppose -2 = -w + 2. Let c(l) = 4*l**3 - 9*l**2 - 8*l + 3. Let q(d) = 11*d**3 - 26*d**2 - 23*d + 9. Let h(f) = 8*c(f) - 3*q(f). Is h(w) a composite number?
True
Suppose -4*y - 3 = -15. Suppose y*r + 9 = -0*r, 0 = 3*n - 2*r - 99. Suppose 2*k - 4*b - n = 33, -5*k + 2*b = -136. Is k composite?
True
Is 4/18 - 44627/(-99) prime?
False
Let w be (-7)/(-4) - (-4)/16. Suppose 0 = -w*f + f + 253. Is f a prime number?
False
Suppose 2*m + 2 - 12 = 0. Let o = m + -5. Suppose o = -4*b - 4*z + 19 + 17, -3*z = b - 15. Is b a prime number?
False
Suppose -4*s - g = -109, 16 = -4*s + 5*s - 2*g. Is (-2 + 1)/(-2)*s a composite number?
False
Suppose 2*d + 3*h = -2 - 1, -3*h - 3 = 4*d. Suppose -2*m - 82 = -3*n, d = 2*n - m - 56 + 2. Is n a prime number?
False
Suppose 165 = -5*f + 1820. Is f prime?
True
Suppose -4*u = -0*u - 728. Suppose 0*q - 5*w = -q + u, 0 = 4*q + 4*w - 800. Let z = q + -48. Is z a prime number?
True
Let a be (389/(-2))/((-3)/(-12)). Is a/(-8) - 5/20 prime?
True
Is (318/12)/((-1)/(-2)) prime?
True
Suppose q - 9*q + 24 = 0. Suppose -4*g - 2*d + 62 = -170, g - 3*d = 51. Suppose -5*i + g = -4*x, 4*x = -i - q + 24. Is i a prime number?
True
Let f be (2/(-1))/(-2)*0. Suppose -2*c + 178 = -f*c. Is c a composite number?
False
Suppose -2*v + k + 692 = 0, -4*v - 4*k = -1194 - 202. Is v composite?
False
Let j = -2 + 0. Let m be 12/(1*1/j). Let o = m + 46. Is o composite?
True
Let r = 2 - 0. Suppose 3*y + 8 = -f + 4*y, -r*f - 14 = -y. Is (f - -17) + 0 + 2 prime?
True
Let r(l) = -45*l**3 + 2*l**2 - 3*l + 3. Let a(q) = -46*q**3 + 3*q**2 - 4*q + 4. Let g(p) = 3*a(p) - 4*r(p). Suppose 3*j = j + 2. Is g(j) a composite number?
False
Suppose 0 = 4*d - 24 + 8. Is 2/((d/(-95))/(-2)) composite?
True
Suppose 3*s = s + 2*k + 8, 3*k = 4*s - 18. Let y be (2/s)/((-2)/(-2094)). Let b = 498 - y. Is b a composite number?
False
Let w(t) = 3*t - 4. Let r be w(4). Let l(z) = -z**3 + 9*z**2 - 9*z + 8. Let x be l(r). Suppose 11 = y + d, 3*d = -2*y - x*d + 20. Is y a prime number?
True
Suppose 3*g - 30 = -9. Let u = 11 - g. Suppose 5*m = 3*z - 32 - 32, -u*z - 5*m = -27. Is z prime?
True
Let j(f) = -20*f. Let a be j(-1). Let x = a - -67. Is x prime?
False
Suppose l + 4*o - 2 = 11, 3*o = -5*l + 48. Is 309 - (l + -3 + -4) a prime number?
True
Let f be -3*(-1 + (-2)/3). Suppose 2*y - 5*x + 3 = 4, -f*y = -3*x - 12. Is y a composite number?
False
Suppose -2*q - 436 = -4*l, -84 = -4*l - 5*q + 380. Is l a prime number?
False
Let t = -1 - 5. Let d = 2 + -2. Is (d - 2)*201/t prime?
True
Is (0 + 12/(-9))*(-3303)/6 prime?
False
Let p = 682 + -479. Is p a composite number?
True
Let k be (-2 - -4 - -3)*1. Suppose k*a - 165 = 380. Is a a prime number?
True
Let o(a) = -2*a**3 - 5*a**2 - 8*a - 8. Let r be o(-7). Let i = 958 - r. Is i prime?
False
Let i = 16 + -13. Is 1/(((-6)/(-178))/i) composite?
False
Let z be 3 + 2/(-2) + 2. Suppose z*q = -q + 185. Is q prime?
True
Suppose 4*i - 8 = 0, -33 = -5*s - 0*i - 4*i. Suppose 2*z + 1167 = 6*z - s*d, z + 4*d = 297. Is z composite?
False
Suppose -2*i + 534 = -4*a, 2*a = -4*i - 60 + 1088. Is i a prime number?
False
Is 1 + (-3 - -1) + 128 prime?
True
Let s = -432 + 665. Is s composite?
False
Let k(j) = -j. Let p be k(-2). Suppose 0*s + p*s + 6 = -4*m, 0 = 2*m + 4. Is 10/2 + s - -1 a prime number?
True
Let d = -1 - 20. Let w be 40/18 + 2/(-9). Let n = w - d. Is n a composite number?
False
Let o(k) = -303*k - 2. Is o(-5) a composite number?
True
Let z(f) = f**2 + f + 6. Let s be z(0). Suppose -3*k + s*k = 0. Suppose k*m + 3*m = 12. Is m a composite number?
True
Let b = 395 + -579. Let a = b + 299. Is a prime?
False
Let t = 793 - -219. Suppose -4*p = 2*n + p - t, -4*n + 3*p + 2050 = 0. Is n composite?
True
Let d be (-10)/(-25) + 3086/10. Suppose -x = 4*f - 197, 0 = 2*x - 2*f - 45 - d. Suppose -5*r = -3*a - 301, -3*r + a = -a - x. Is r a composite number?
False
Let b = -604 + 875. Is b a prime number?
True
Suppose -a - 115 = 5*k - 349, 0 = 3*k + 2*a - 146. Suppose k = 3*j - 65. Is j a prime number?
True
Suppose -426 = -14*s + 11*s. Is s a composite number?
True
Suppose 4834 = 5*g - 3*f + 4*f, -g - 3*f = -964. Is g composite?
False
Let l(d) = 12*d + 3. Let v(z) = 23*z + 6. Let k(b) = 5*l(b) - 3*v(b). Let r be k(8). Let o = 112 + r. Is o a composite number?
False
Let h = 140 - -31. Suppose -c = -2*n - h, c = -0*c - 4*n + 141. Is c a composite number?
True
Let r = 4 + -4. Let j be 30*(r - (-20)/3). Let z = -113 + j. Is z a prime number?
False
Let k(l) = 6*l**2 + l + 1. Let j be k(-1). Suppose 0 = -2*m + j*m - 420. Suppose 2*f + f - m = 0. Is f a prime number?
False
Suppose 0 = 3*t - 222 - 249. Is t a composite number?
False
Let r(i) = -i - 1. Let h be r(-1). Suppose q + 1 = h, 5*q - 7 + 32 = z. Let p = 34 - z. Is p a composite number?
True
Let r(c) = 83*c**3 + 48 - c**2 - 48. Is r(1) composite?
True
Suppose -r - 4*f - 10 = 0, -2*r + 6*f = 2*f - 16. Suppose -5*m - 4*o + 1973 = 0, -1970 = -3*m - r*m - 5*o. Is m composite?
False
Suppose -20 = -4*v - 0*v. Suppose v*q + m = 564, 0*q + 5*q = 5*m + 540. Is 2/(-6) - q/(-3) composite?
False
Suppose u = 6*u - 530. Is u a prime number?
False
Let o(z) = z**3 + z**2 - 1. Let s(d) = 7*d**3 + 6*d**2 - 2*d - 9. Let r(t) = -6*o(t) + s(t). Let u be r(-3). Is (-2286)/u + (-1)/4 a prime number?
False
Let p(l) = 2*l**2 + 8*l - 4. Let u be p(-6). Let g = u + 77. Is g prime?
True
Suppose 0 = -3*q - 3, -8*q = -3*i - 3*q + 1538. Suppose 2197 = 4*c - i. Is c a prime number?
True
Suppose -3*p - 6 = -p, 0 = -2*f - p + 1. Let m be f/4*(-7 - -3). Is 3*m/3 + 33 composite?
False
Let g(m) = -3*m**3 - 3*m**2 - m + 2. Is g(-5) a composite number?
False
Suppose 0*v + 82 = 2*v. Is v/2 - 3/(-6) composite?
True
Let a(b) = 194*b + 27. Is a(19) a prime number?
False
Let w(u) = 4*u**3 - 5*u + 1 - 2 - 3*u**3. Let i be w(5). Suppose k - i = -2*k. Is k composite?
True
Is (-23955)/(-17) + 2/(-17) prime?
True
Let r(l) = l + 2. Let i be r(4). Suppose 4*m + 74 = i*m. Is m prime?
True
Suppose -2*d + 16 = -16. Let h be 1/(-4) - (-36)/d. Suppose -40 - 22 = -g - h*n, 4*g - 248 = -n. Is g composite?
True
Let t = -21 + 23. Is t a prime number?
True
Let a(z) be the second derivative of z**4/12 + 7*z**3/6 + 3*z. Let s be a(-7). Suppose s = -5*w + 4*j + 435, -4*w - 98 = -5*w + 3*j. Is w prime?
True
Suppose 0*z = 4*z - 76. Is z composite?
False
Let t be 3/(-6)*(-2)/(-1). Suppose 4*g - 30 = 34. Is g + -3 + t/(-1) a composite number?
True
Let t = 23 - 24. Let w = 13 - t. Is w a prime number?
False
Suppose 0 = 2*t + t. Suppose g - 5*p = 113, t*g - 516 = -4*g + 4*p. Suppose 3*l - g = -22. Is l composite?
False
Let u(c) = 2*c**2 - 2*c - 15. Is u(11) prime?
False
Is 16554/66 + 2/11 a prime number?
True
Suppose 5*r = r + 1884. Is r prime?
False
Let w(u) = u + 163*u**2 + 0*u - 5*u**2. Is w(1) a prime number?
False
Let t(s) = s**2 + s + 3. Let x be t(-3). Let k = -3 - -5. Suppose k*v - 33 = x. Is v prime?
False
Let j(w) = -9*w + 2. Let o be j(-2). Let p = o + -13. Suppose k = p*y - 3*y + 30, -2*y = 8. Is k a composite number?
True
Let o(u) = 15*u**2 - 10. Let r be o(7). Is (-2)/(-3) - r/(-15) a prime number?
False
Let y be ((-16)/12)/((-4)/(-6)). Is 0 + 193 + y/1 a prime number?
True
Suppose 1338 = 4*n - 0*n - h, 0 = 5*n + 4*