= 5*j, -6*g = -2*g - 3*j - 7391. Is g a prime number?
True
Is (-4)/10 - (-928)/20 prime?
False
Let d = 20 - 20. Is (42/2)/(d - -1) prime?
False
Let h(q) = 32*q**2 + 2*q + 1. Suppose -u + 6 = -5*g, 4*g = g + 3*u - 6. Is h(g) a composite number?
False
Suppose 34 = 2*c - 3*l + 12, -2*c + 14 = -l. Suppose c = d - 46. Is d a composite number?
True
Is (-8 - -9)*(0 - -797) a prime number?
True
Let y be (4/6)/(2/(-3)). Is y - -3 - -37 - 2 prime?
True
Let k(s) = 6*s**2 + 5*s - 7. Is k(-12) a prime number?
True
Let l be 1 + -2 - -1 - -3. Suppose l*x + 2 - 11 = i, x = 1. Is i/(-15) - (-216)/10 composite?
True
Let i(a) = 9*a**2 - 3 + 8 + 6*a - a**2. Let l(y) = -8*y**2 - 5*y - 4. Let h(w) = -5*i(w) - 6*l(w). Is h(2) composite?
False
Suppose -3*j + 195 + 450 = 0. Is j prime?
False
Let i = 3 - 1. Suppose 4*s + 0 + 12 = -4*o, 5*s + 8 = i*o. Is s/8 + (-778)/(-8) composite?
False
Let n = -5 - -7. Suppose -41 = -s - 0*m + n*m, -5*m = 5*s - 280. Is s a composite number?
True
Suppose -9*o - 713 = -10*o. Is o a composite number?
True
Let w(f) = 6*f - 3. Suppose 5 - 3 = -q. Let g be 3/q - (-23)/2. Is w(g) a composite number?
True
Let h(s) = -13*s + 15. Let d be h(-8). Suppose -i - d = -2*i. Is i composite?
True
Let b = -6 - -11. Suppose b*j = 2*j + 6. Suppose j*i = -3*i + 95. Is i prime?
True
Is 3 - (-6 + 0 + -1390) composite?
False
Suppose -5*b + 6*y - 2*y = 310, 0 = 5*y. Let h be (b/6 - 0)*3. Let j = 4 - h. Is j prime?
False
Let z = -210 + 572. Is z prime?
False
Suppose 307 = 2*n - 547. Is n a prime number?
False
Is (-179)/(-2)*2 + 0 a composite number?
False
Suppose 0 = -5*j - b + 2*b + 480, -j + 4*b + 77 = 0. Is j a prime number?
True
Let i(b) = -6*b**3 - 13*b**2 - 27*b + 9. Is i(-7) a prime number?
True
Suppose -7 = -5*q + 13. Suppose 2*k = k + q. Suppose -k - 21 = -c. Is c composite?
True
Let o be (-18)/(-15)*25*-1. Let j = -64 - o. Let c = -15 - j. Is c composite?
False
Let u(q) = -12*q - 29. Is u(-14) prime?
True
Let w be (20/(-12))/((-2)/6). Suppose -5*l + 1275 = -2*z, z - w*z - 526 = -2*l. Is l prime?
False
Is (-4)/14 - (-8 - (-86215)/(-35)) a prime number?
False
Suppose -3*f + 93 = 3*s, 4*s - f = 2*s + 68. Is s composite?
True
Suppose -2*k = -4*k + 16. Suppose 5*x - 262 = -3*z, -x - 82 = -z + k. Is z a prime number?
True
Let j = -3 - -6. Suppose 5*z + j*y = -200, -4*z - 3*y - 163 = -0*y. Let a = z - -104. Is a composite?
False
Suppose 0 = -5*w - 4*l + 4890, 2*l + 979 = w + 3*l. Is w a composite number?
True
Suppose 5*n + 3*k + k = 12, 3*k - 10 = -4*n. Let y(b) = -3*b**2 + 3*b - 6. Let q be y(n). Is q/(-2) + 0/(-2) a prime number?
False
Suppose -l = 1, -3*o - 3*l + 6*l + 348 = 0. Is o a composite number?
True
Let n = 76 - 53. Suppose 0 = -r + 2*q + n, -3*q + q + 101 = 3*r. Is r composite?
False
Let v be (2 - -7)*3/9. Suppose -24 = 3*t + v. Is (-528)/t + (-4)/6 a prime number?
False
Suppose 2*x = 5*n - 257, -2*x + 151 = -2*n + 5*n. Let t be (-1)/((-3)/n)*1. Suppose 3*g = t + 4. Is g a prime number?
True
Is (-879)/6*(-16)/8 composite?
False
Let o(p) be the first derivative of -p**2 - 2*p - 1. Let b be o(-4). Is b/4 - (-177)/6 prime?
True
Suppose 0 = -5*j - 2*l - 10, 3*l = j + 4*l + 2. Let s(p) = -p - 10. Let g be s(-11). Is (g/j)/(2/(-124)) a prime number?
True
Suppose 5*f - 4*u - 195 = 0, 16 = -5*u - 9. Is f composite?
True
Let n be (2/2)/(2/372). Is ((-2)/4)/((-3)/n) a prime number?
True
Suppose -14*c + 22675 = 6561. Is c prime?
True
Let n(q) = -52*q + 21. Is n(-10) composite?
False
Let k be 1*(1 - 0/(-4)). Is (-4 - (-2 - k)) + 212 a composite number?
False
Suppose -12 = 3*c - 7*c. Suppose 16 = c*h - 11. Is h prime?
False
Let p = 2148 + -167. Is p a composite number?
True
Let g = -9 - -5. Is 1 - 55/2*g a prime number?
False
Suppose -5*q + 4*q = 0. Is 3 - (-39 + q - 1) a composite number?
False
Is 8/(-2) + (7 - (-1290)/6) a composite number?
True
Suppose 4*c + 5*q - 6972 = 0, -5*c + 429 = q - 8286. Is 3/18 + c/18 composite?
False
Suppose 178 = 4*s + 34. Suppose 0 = 3*z + 3*p - 126, 80 = 3*z + 5*p - s. Is z a prime number?
True
Let h = 8 + -10. Is (24 + -1)*1 + h a prime number?
False
Let t(r) = -285*r - 2. Is t(-3) a prime number?
True
Let p be 16/8*(-10)/4. Is (-1 - p)*(-130)/(-8) prime?
False
Let n(w) = w**3 - 4*w**2 + 4*w - 2. Let h be n(6). Let c = -48 - h. Let d = -45 - c. Is d composite?
False
Let k = 106 + -19. Is k a composite number?
True
Suppose 7 = 3*f - 53. Suppose -2*x + f = 3*x. Is -2 - 9*(1 - x) a composite number?
True
Let l = -449 + 844. Is l a prime number?
False
Is (1 + 2/(-1))/((-6)/8202) prime?
True
Suppose 5*v = -4*s + 3*s + 24, 2*v - 4*s = 14. Suppose -n + 77 = v*u, 4*n + u = 115 + 193. Is n prime?
False
Suppose -2*h - 3*p = -12, -2*h + 4*p + 22 = 2*p. Is ((-1)/(-3))/(h/5157) a prime number?
True
Let i be ((-3)/1)/(-6 + 5). Suppose w = 3*x + 4*w - i, -4*w + 7 = x. Is 106/(-4)*2/x prime?
True
Let q = -25 - -35. Let r(k) = 3*k**2 - 2*k + 2. Let h be r(q). Suppose 2*u - 4*u = -h. Is u composite?
True
Let w(q) = 39*q**2 - 1. Let d(t) = t - 1. Let f be d(3). Is w(f) prime?
False
Let a(b) = -b**2 + 3*b - 1. Let k be a(3). Let s(w) = -w + 4*w + 1 + 36*w**2 - w. Is s(k) composite?
True
Let x(m) = 383*m + 2. Is x(3) composite?
False
Suppose -2*a = 4*u - 14, 0*u + 4*a - 18 = -3*u. Suppose 4*z - 14 = u. Is (1 - 2)/(z/(-28)) a composite number?
False
Let s = -3 + 7. Suppose 3*a = -u - 0*a + 433, -s*a = 16. Is u a prime number?
False
Let x(k) = 15*k**2 - 3*k - 1. Suppose 0 = -5*z - 2 - 13. Is x(z) a prime number?
False
Let t(i) = 5*i**2 - 8*i - 5. Let a be t(-5). Suppose s + a = 4*y, -3*y + 3*s = 4*s - 113. Suppose 2*p = y - 9. Is p a prime number?
False
Let u(x) = x - 3. Let m be u(-9). Let b = 36 - m. Suppose -5*n = -117 - b. Is n a composite number?
True
Let a = -815 + 1450. Is a composite?
True
Let b = 5740 + -3407. Is b a prime number?
True
Let w(t) = -29*t + 1. Suppose -6*h = -2*h - 3*s - 1, 4*s + 22 = -5*h. Is w(h) a prime number?
True
Let q(n) = 178*n**2 - 3*n + 1 + 3*n. Let s be q(1). Suppose -2*m = -u - 44, -5*m + s - 64 = -5*u. Is m prime?
False
Let m(h) = -h**2 + 1 + 0*h - 4 + 13*h. Is m(9) a prime number?
False
Suppose -2*m = -7*m. Suppose m = -6*j + 2*j + 236. Is j a prime number?
True
Let x = -2 - -6. Suppose 3*f - x*g = 154, -2*f = -0*f - g - 101. Suppose 17 + f = p. Is p prime?
True
Suppose 0 = 2*z + l - 195, -3 = -l - 0. Suppose -2*b = -2, -2*b + z = 5*k - 206. Suppose 2*q - k - 118 = 0. Is q composite?
False
Suppose -y = -2*w + 91, -4*w + 70 = -4*y - 274. Let m = 296 + y. Is m composite?
True
Let u(k) = -k**2 - 17*k - 8. Let s = -7 + -4. Is u(s) prime?
False
Suppose 2*a = -3*a + 20. Suppose a*d - 34 = -5*n - 220, -3*d = -3*n - 90. Let k = -12 - n. Is k a composite number?
True
Is -3 - (1 + -482 + -3) a composite number?
True
Let u(q) = 47*q + 4. Let h be (-2 - -4)/(2/(-2)). Let a be (-2)/h + 3 + -1. Is u(a) prime?
False
Is (226/(-3))/(2/(-3)) prime?
True
Suppose 2*g - 301 = -33. Suppose 2*d = g + 56. Is d a composite number?
True
Is 134 + 3 + -8 + 5 a composite number?
True
Suppose 7 = -5*b + 17. Let r be 5/b*4/5. Suppose r*a = -3*a + 175. Is a prime?
False
Suppose 3*n = -5*s + 10 + 3, 5*s - 17 = -2*n. Suppose s*m - 80 = -5*a, -19 = -3*a - 2*m + 29. Suppose -2*d + a + 54 = 0. Is d a composite number?
True
Let x = -41 + 172. Is x a prime number?
True
Let q(t) = t**2 + 2*t - 5. Let p be (1 - -4) + (-8)/4. Suppose -p*v - 2*v = 30. Is q(v) a prime number?
True
Suppose i - 437 = -3*x - i, 0 = -2*x - 4*i + 294. Is x a composite number?
True
Let r = -77 + 201. Suppose 119 = 3*i - 2*m, -3*i + r = -4*m + 3*m. Is i prime?
True
Let n(j) = 11*j - 6. Let o be n(5). Suppose 4*r + 24 + o = 3*s, 2*r + 64 = -4*s. Let i = 35 + r. Is i a composite number?
False
Let c be (-2)/(4/(-14)) - -1. Let i(y) = y - 5. Let z be i(c). Suppose -3*j = 2*v + v - 216, -219 = -z*j - 4*v. Is j a prime number?
False
Let m(w) = 19*w**2 + 6*w - 8. Is m(5) prime?
False
Let c be (-1*8)/(-2 + 1). Suppose 0 = -4*t + c, -5*t - 161 = -4*b - 59. Let d = 47 - b. Is d prime?
True
Let q = 219 + -60. Let p(b) = 4*b**2 - b - 1. Let k be p(-1). Suppose -11 = k*n - q. Is n a composite number?
False
Let q(j) = -3*j - 4. Suppose -2*p - 5 = 1. Let i be q(p). Suppose 0 = -c + i + 4. Is c prime?
False
Let b = -33 - -47. Is b/21*75/2 prime?
False
Suppose 3*z + 2*c = 3*c + 14, -3*c +