s g prime?
True
Let q = 133 + -36. Suppose 0 = -6*s + 7*s - q. Is s a composite number?
False
Let d = 1 - 1. Suppose d = 2*p - p - 15. Is p prime?
False
Suppose 0 = 4*b - 1049 - 27. Is b a prime number?
True
Suppose 1335 = 5*v - 2*v. Suppose 4*m - 887 = s, s - 2*s = -2*m + v. Suppose -54 = -5*q + m. Is q a prime number?
False
Suppose 0 = 4*t + t - 20. Suppose 3*s - t*n = 1495, 7*n = 5*s + 4*n - 2499. Is (-1)/(2 - s/249) composite?
False
Let b be (-1)/(1/(-7 - -1)). Suppose -36 = 4*w - b*w. Is 130/w - 2/9 a composite number?
False
Suppose 2*g - 248 + 58 = 0. Is g a prime number?
False
Suppose s + 95 = 5*y + 1048, -2*y - 2911 = -3*s. Is s prime?
False
Let p(d) = d**3 + 8*d**2 + 5*d - 8. Let q be p(-7). Let r be 2/2 + (-17 - q). Is (-4)/(8/r) + 0 a prime number?
True
Suppose -6 = -d + x, 0 = -6*x + 3*x - 3. Suppose -5*k = -d*s + 235, 0 = -4*s + k + 39 + 155. Is s composite?
True
Let f = 258 + -137. Is f a prime number?
False
Suppose 6*b - 133 = -v + b, 2*b = -10. Suppose 37 = 5*l - v. Is l composite?
True
Suppose -5*u + 111 + 434 = -5*d, d = 4*u - 430. Let v = -69 + u. Suppose g = v - 12. Is g composite?
True
Suppose -5*f = -2*p + 63, -156 = -0*p - 4*p + 4*f. Suppose -3*r = -2*y + p, 3*y + 0*r = r + 59. Is y a composite number?
False
Suppose -2*q - q + 109 = -r, -q = r - 43. Let a = q + 14. Let z = a - 30. Is z a composite number?
True
Suppose 0 = 6*d - 4*d - 154. Is d a prime number?
False
Let k = -691 + 981. Suppose 4*u = 9*u - k. Is u composite?
True
Let x(s) = 44*s**2 + s - 1. Let i be x(1). Suppose -q - 2*w - 4 = 3, w - 1 = -2*q. Suppose -5*z = -q*z - i. Is z a prime number?
False
Let d(q) = -q**3 + 4*q**2 + 6*q - 3. Let u be d(5). Suppose 0 = i + u*i - 147. Is i a composite number?
True
Let y be -1*1*435/(-1). Let q be (-1)/3 - 10/(-3). Suppose -4*k - y = -5*n - 2*k, -q*k + 325 = 4*n. Is n prime?
False
Let v = -27 + -69. Let q = -53 - v. Suppose 0 = c + o - 37, -2*c + q = -c - 2*o. Is c prime?
False
Let g be 3/((-9)/(-6)) + -1. Let j = g - -1. Suppose -j*x + z = 3*z - 16, -3*z - 24 = -5*x. Is x a composite number?
True
Let k(n) = n**2 - 3*n + 10. Let u be 4/(48/21)*4. Is k(u) composite?
True
Suppose 0*r = r - 3. Suppose -4*b - 3*n + 31 = 0, -r*b + 33 = -3*n + 2*n. Suppose -65 = 5*v - b*v. Is v prime?
True
Let b(m) be the third derivative of m**5/30 + 7*m**4/12 + 13*m**3/6 + 4*m**2. Is b(-9) a prime number?
False
Let j = 188 + 21. Suppose 159 = 3*s + 5*a, 4*a = -3*s + j - 47. Is s a prime number?
False
Suppose n = -1 + 3. Suppose -5*b + 163 = n*k, -b + k = -2*k - 36. Is b prime?
False
Suppose -u + 393 = 2*j, j + 4*u - 2*u - 204 = 0. Is j composite?
True
Suppose -1186 = -2*a - 296. Suppose -9*w = -4*w - a. Is w prime?
True
Let o = -180 + 97. Let t = o - -130. Is t a prime number?
True
Let b = 0 + 0. Let a(y) = -y**2 + 10*y - 3. Let i be a(8). Suppose 0 = l - b*l - i. Is l a prime number?
True
Let o = 16 + -6. Let l = 25 + o. Is l a composite number?
True
Let i = 9 + -15. Let t be (-3)/i*140/2. Let m = -21 + t. Is m a composite number?
True
Suppose 4*s = 3*a, 4*s - 46 = -5*a - 14. Suppose -a*l = -2*l - 4. Suppose 0 = l*z - 0*z - 154. Is z a composite number?
True
Let p = 8 + -5. Let y be p*2*(0 + 3). Suppose 0 = -4*x - 3*f + 91, 33 = 4*x - 5*f - y. Is x a prime number?
True
Let w = -13 - 4. Let o = w - -31. Is o a prime number?
False
Let w be (-6)/15 + (-88)/(-20). Suppose -i - 55 = w*p - 258, 882 = 4*i + 2*p. Is i a prime number?
True
Let z be (-3)/(-2)*8/3. Suppose -2*b + 4 = -v, -z*b + 3*v + 9 = b. Suppose 2*f = -b*x + 139, -189 = -4*f - 4*x + 83. Is f composite?
True
Suppose 4*c = i + 576, -7*i + 2*i - 735 = -5*c. Is c composite?
True
Suppose -5*c + 0*c = 0. Suppose -4*m + 0*m + 196 = c. Is m composite?
True
Let o(b) = 132*b - 7. Is o(3) a composite number?
False
Is 2*43 - (5 + -8) prime?
True
Let p be 2*(-2)/(8/(-6)). Let s = -3 + p. Suppose s = w + 4*w - 635. Is w a prime number?
True
Let a(t) = t**3 + 4*t**2 - 6*t - 1. Suppose -2*q + 0*q - 8 = 0. Is a(q) a prime number?
True
Suppose 0 = m - 7 + 5. Let b(d) = -180*d**2 + 2*d + 2. Let k be b(m). Is k/4*(-6)/9 prime?
False
Let x be (-20)/70 - (-4)/14. Let w be ((-33)/5)/(2/(-10)). Is (-2 - x/2) + w composite?
False
Let z be 494/(-6) + 10/(-15). Let a = z - -289. Is a a composite number?
True
Suppose -2*n - 2*n + 16 = 0. Suppose g - n*g + 141 = 0. Is g composite?
False
Suppose -3*d + 5*r = -4549, -4*d + 0*r + 2*r + 6056 = 0. Is d a prime number?
False
Let v = 41 + 448. Let g be (5/((-45)/6))/((-6)/45). Suppose 2*f + 192 = 2*x, g*x = -4*f - 0*f + v. Is x a prime number?
True
Let s(g) = -g**2 + 13*g - 7. Is s(5) a prime number?
False
Let n = -5 + 11. Suppose 7 = 2*w + 3. Is (-4)/n*(-201)/w a composite number?
False
Let p = 2397 - 1318. Is p prime?
False
Let u(m) = m + 8. Let n be u(-8). Suppose 3*f + 0*b + b - 95 = n, 0 = 4*f + b - 126. Is f composite?
False
Suppose -2*l + 11 = -5*d + 28, -4*l = d - 21. Is (-3261)/(-15) + (-2)/d a composite number?
True
Let d(k) = 2*k + 1. Let c be d(-5). Is (-2)/c + 3320/45 a composite number?
True
Suppose 4*u - n = -36 + 216, -88 = -2*u + n. Is u a prime number?
False
Suppose 0 = 5*u - 9*u + 28. Suppose -3*d = 2*d - 35. Is (-2)/u - (-107)/d a composite number?
True
Let l(w) = w + 8. Let x be l(-4). Is (-1 - -5) + (x - -249) a prime number?
True
Let z(k) = -2*k + 3. Let x be z(2). Let q = -3 - x. Let o(r) = -3*r**3 + 3*r**2 + 4*r + 3. Is o(q) prime?
True
Let k(d) = -4*d**2 + 12*d + 13. Let i(w) = -2 + 0*w**2 + 1 + w**2. Let b(s) = -5*i(s) - k(s). Is b(-9) composite?
False
Let x = -2 - 33. Let t be 132 - (2 - (1 + -1)). Is 10/x + t/14 a composite number?
True
Let g(b) = -b**3 - 6*b**2 - 5*b + 2. Let h be g(-6). Suppose 2*s + 0*s = 5*j + 101, 2*s + h = -2*j. Let t = j + 38. Is t a prime number?
True
Let u(m) = m**3 - 6*m**2 - 8*m + 9. Let x be u(7). Suppose -x*r + 3 = -r. Suppose 2*l = r*l - 9. Is l a prime number?
False
Let m = 226 - -7. Is m a composite number?
False
Suppose -j - q = -191, 2*q + 1 = 7. Let a be 3/((-3)/(-11))*-11. Let d = j + a. Is d a composite number?
False
Let y be (2 + -1 + 0)*694. Suppose 5*u - y = 3*u. Is u a composite number?
False
Let r be (4/3)/(4/6). Let u be -1 + 27 + 0 - r. Is u/(-3)*-8 + 1 a prime number?
False
Let l(y) = y - 1. Let t be l(5). Let a = 76 - 45. Suppose -u - 8 = -h + t*h, 3*u - 2*h = a. Is u composite?
False
Let k = 20 + -16. Suppose 3*p + k*m - 253 = 0, 0 = -p - 2*m + 29 + 54. Is p a composite number?
True
Suppose 4*a + 3892 = 8*a. Is a prime?
False
Let s be 10*(-1 + (-6)/(-10)). Let p(x) = -12*x + 5. Is p(s) prime?
True
Let d(y) = 18*y**2 - y - 2. Suppose j = 3*j - 6. Is d(j) a prime number?
True
Let b = -12 + 8. Let n = b - -7. Is n prime?
True
Suppose 3*g + 24 = -219. Let r = g - -134. Is r composite?
False
Let i(h) = 185*h. Suppose j - 3*j = -2. Is i(j) a prime number?
False
Suppose -r - r + 6 = 0. Let d(a) = 1 + 2*a + 5*a**2 + 2 + a**r - 5. Is d(-3) composite?
True
Suppose 2*n = -2*n - 3*j + 584, -4*n = j - 584. Is n prime?
False
Let t = 456 + -323. Is t a composite number?
True
Let g be (-2)/(7/(8337/(-2))). Let j = -650 + g. Is j a prime number?
True
Suppose 8*j - 3*j + 5 = 0. Is (2/j)/(16/(-4696)) a composite number?
False
Is 5121/33 - 8/44 composite?
True
Let q = -22 + 46. Suppose -k + 193 + q = 0. Is k prime?
False
Let a be (15/(-6) - 2)*2. Let j = a - -28. Suppose -w = -0*w - j. Is w a prime number?
True
Let x = 2 + 0. Suppose 0*a - 5*h = -a + 52, 120 = x*a - 2*h. Is a a prime number?
False
Let a be 6/(-8) - 2/8. Is (0 - a)/(1/37) composite?
False
Let s = -60 + 148. Suppose 0 = 4*y + r - 154, -s = -2*y - 3*r + 8*r. Is y a prime number?
False
Let h = -8 + 4. Let y(t) = -3 + 4*t + 3*t**2 + 5*t**2 - 2*t**2. Is y(h) prime?
False
Suppose 3*p = -2*p + 5*a + 1230, 4*a = 20. Is p prime?
True
Let m(n) be the second derivative of 23*n**3/6 - 7*n**2/2 - 5*n. Is m(12) a prime number?
True
Let n be 2/(-13) + 14/91. Suppose 4*h + n*a - 3*a - 587 = 0, 4*h - 608 = -4*a. Is h prime?
True
Let w = 749 - 403. Is w composite?
True
Let n = -2 - -1. Let u be 2 - (0 - n)/1. Is (u/(-2))/(2/(-868)) a composite number?
True
Let q(a) = 32*a - 21. Let m(w) = -65*w + 41. Let i(t) = -4*m(t) - 7*q(t). Is i(9) prime?
True
Let m = 6 - 4. Suppose r = m*y - 1063, 2392 + 263 = 5*y - 3*r. Is y/10 - 2/5 a composite number?
False
Let u 