388. Is n a prime number?
True
Is -1 + 192 - (0 + 0) a prime number?
True
Let f be -1 - (-1 - (-2)/1). Is 3/(-2) - 977/f a prime number?
True
Suppose n - 74 = 7. Let u = n + -46. Is u a composite number?
True
Let o(q) be the first derivative of -3 + 34/3*q**3 + 3*q + 2*q**2. Is o(-2) a composite number?
False
Suppose y + 3*f = 12 + 154, 0 = 2*y - 2*f - 364. Is y prime?
False
Let h(b) = -12*b**3 - b**2 - b. Let y be h(-1). Let x be (-206)/y*-2*6. Let r = x - 75. Is r prime?
True
Suppose 0 = 4*c - 2*r - 10, 0 = -3*c + 2*r - r + 8. Let z(q) = 0*q**2 + 2*q**2 + 3*q + 2*q**2 - 3*q**2 + 3. Is z(c) composite?
True
Let j = 2 - -42. Let x = -7 + j. Is x prime?
True
Suppose -5*n + 19 = 2*c, -2*c - n = -0*n - 15. Let m = c + -4. Suppose m*u + 9 = 39. Is u a composite number?
True
Suppose 0 = 3*f - 6 - 3. Suppose g - 3628 = -4*w + 3*g, -2721 = -f*w + 4*g. Is w a composite number?
False
Let g(l) = l**3 - 11*l**2 - 15*l + 6. Is g(13) prime?
True
Let q(m) = 4*m - 47. Is q(18) a composite number?
True
Let y = -1 - -5. Let v be (-1)/((-2)/y) - 1. Let b = 7 - v. Is b a prime number?
False
Suppose -2*v - 3*v + 5 = 0. Is (v + -1 + -1)*-47 composite?
False
Let x(u) = -u + 3593. Is x(0) a composite number?
False
Let h = 1002 + -625. Is h a composite number?
True
Let z = -263 + 556. Is z a composite number?
False
Let w be (-33)/(-3) - (2 + 0). Let f(n) = 2*n + n**2 + 11 + n**2 + 0*n. Is f(w) prime?
True
Let a(s) = s**3 + 3*s**2 - 5*s - 3. Let g be a(-4). Suppose -g - 1 = i, 2*f = 5*i + 16. Suppose f*c + 2*c + 4*h = 153, 5*c + 5*h - 150 = 0. Is c a prime number?
False
Let c(u) = 21*u**2 + 10*u - 17. Is c(10) a prime number?
False
Let h be (375/(-10))/((-3)/52). Suppose -3*k - 4*t + 185 + 184 = 0, 5*k - h = 5*t. Is k a prime number?
True
Let w = -6 + 11. Let y(j) = 21*j**2 - 5*j - 3. Is y(w) prime?
False
Suppose -2148 - 1824 = -6*x. Suppose -5*i + 1059 = 2*q - 596, 5*q - x = -2*i. Is i a prime number?
True
Is (0 - (-330)/1 - -1)*1 composite?
False
Let c(i) = -i**2 + i - 3. Let f be c(-6). Let x = f - -76. Is x composite?
False
Suppose 7*p - 5*p - 2228 = 0. Suppose 446 = 4*w + 4*n - 426, -5*w + 3*n = -p. Is w a prime number?
False
Let h(z) = -23*z**2 - 13*z - 21. Let y(q) = -15*q**2 - 9*q - 14. Let d(u) = -5*h(u) + 7*y(u). Is d(-6) prime?
False
Let f = -90 - -509. Is f a prime number?
True
Let z(t) = 7*t**2 + 3*t + 37. Is z(15) prime?
True
Let a(b) = b**2 + b + 51. Suppose -5*h + 4*d = -8 - 8, -4*h - 16 = 4*d. Let u be a(h). Suppose -3*i - 3*x = -90, -5*i - u = 4*x - 202. Is i prime?
True
Let f(m) be the third derivative of m**7/360 + m**6/180 + m**5/30 + m**4/12 - m**2. Let h(y) be the second derivative of f(y). Is h(-3) a prime number?
False
Let z(t) = -t**3 + 2*t**2 - 5*t - 3. Is z(-7) a composite number?
True
Suppose 1465 = 9*p - 4*p. Is p a prime number?
True
Let p be (-5 - -4)*(0 + 0). Suppose p*z - 2*z = q + 243, 2*z = -2*q - 242. Let f = -39 - z. Is f composite?
False
Let v be 1*-4 - (4 - 4). Let w be 2/v*-4 - -163. Suppose -4*k - 4*f + 90 = -58, -5*k = -5*f - w. Is k prime?
False
Let h be (-2)/(-9) + 398/(-9). Let c = 79 + h. Is c prime?
False
Let p(x) = 11*x**2 - 7*x - 3. Is p(-5) a composite number?
False
Let u = 7 - -1. Suppose 2*o - 2*y = 4, -2*y + u = 4*o - 7*y. Suppose o*d - 130 = -0*d. Is d prime?
False
Suppose 0*p + 6 = -2*p. Let w be ((-3)/p)/((-2)/74). Let i = -18 - w. Is i composite?
False
Let i be (3/4)/(2/1480). Suppose -2*g - 3*m = 8, 3*g = -5*m - 20 + 6. Suppose -g*p + i = p. Is p a prime number?
False
Let a(q) = q**3 + 12*q**2 - 14*q - 15. Let n be a(-13). Is n/7 + (-1141)/(-49) composite?
False
Let b be 30/75 + (-4442)/5. Let s = 1261 + b. Is s prime?
True
Let n(c) be the second derivative of 6*c**3 + c**2/2 + c. Let x(p) = 2*p**2 - 4. Let b be x(2). Is n(b) prime?
False
Suppose 12 = -5*p + 2. Is p/(5 + -3) - -32 a composite number?
False
Let p(m) = m**2 + 7. Let n be p(0). Suppose 2*x - n*h = -2*h + 159, 3*x + 3*h = 186. Is x a composite number?
False
Suppose 2*h - b + 1063 = -h, h + 4*b + 337 = 0. Let u = -174 - h. Is u a prime number?
True
Let s = -1 - -1. Is 9 + 122 - s/1 composite?
False
Let h be (2/1)/(2 - 1). Let l(o) = 12*o + 23*o - 2 + h. Is l(1) a composite number?
True
Suppose 7*b + 1461 = 10*b. Is b a prime number?
True
Let p(c) = 2*c**2 + 9*c - 1. Is p(-8) a composite number?
True
Let v = 963 - 532. Is v composite?
False
Suppose 265 = -3*h - 4*w + 6*w, -5*h - w - 420 = 0. Let y = h + 138. Is y a composite number?
False
Suppose 2*x + 72 = -2*y - 2*x, -4*x = 5*y + 180. Is 3/(-4) - 11763/y a prime number?
False
Is (8770/40)/(2/8) composite?
False
Let b(k) = -11*k**2 + 9*k + 3. Let q(l) = l + 1. Let a(c) = -b(c) + 5*q(c). Let p be a(5). Suppose 2*h - 5*s = p, -3*h + 401 - 10 = -2*s. Is h a prime number?
True
Let l(g) be the first derivative of g**4 - g**3/6 + 2*g + 1. Let d(h) be the first derivative of l(h). Is d(1) a composite number?
False
Is 1838*(1 + (-4)/8) prime?
True
Let r = -15 + 5. Let f = r - -15. Suppose 0 = -u + 9*b - 4*b + 45, 0 = -f*b - 10. Is u composite?
True
Let u = 24 - 28. Is ((-492)/(-9))/(u/(-6)) a prime number?
False
Let o = 211 - 20. Is o a composite number?
False
Let u = 29 - 3. Suppose -2*r - i = 25 - 0, 5*i = 2*r + 55. Let l = r + u. Is l prime?
True
Let a = 305 - 157. Suppose 4*r - a = -0. Is r composite?
False
Suppose 0 = j - 1 - 5. Let m(z) = z - 1. Let i be m(j). Let o = 8 + i. Is o composite?
False
Let k = 8 + -3. Suppose -19 = 4*f + 5*m - 0*m, -5*f - 25 = k*m. Is (50/(-6))/(2/f) a prime number?
False
Let f = -21 - -43. Is f prime?
False
Let o be ((-1636)/6)/((-8)/(-12)). Let c = 696 + o. Is c a composite number?
True
Let l = 12 + -10. Suppose -3*a + 235 = l*a. Is a prime?
True
Let f(w) = 646*w**2 - w. Let g be f(1). Let h = -14 + g. Is h a composite number?
False
Suppose 0 = -3*p + 5*h + 31, -4*h - 28 = -2*p - 2*p. Suppose 0 = 3*v - 3*f - 2*f - 483, p*f = 0. Is v composite?
True
Let h be 2/4 - 1/2. Suppose h*i + 50 = 5*i. Is -22*(-1 - i/4) prime?
False
Suppose 0 = 4*j - 4*y + 6*y + 30, 4*j - 5 = 5*y. Is (-344)/j + (-3)/(-15) a composite number?
True
Suppose 1136 = 2*g - 2742. Is g a composite number?
True
Is 3/(-2)*(-255 - 7) prime?
False
Suppose -3*o - 2*q + 508 = 0, -2*o + 704 = 2*o - 4*q. Let d = 246 - o. Suppose b - 53 = d. Is b a composite number?
False
Suppose -2*r = o + 3*o - 12, -2*r - 8 = 0. Suppose 1 + 0 = -h. Is (-24)/h + (7 - o) prime?
False
Suppose -l = -0*l. Suppose l*k = k, -b + 2*k + 389 = 0. Is b a composite number?
False
Suppose l - 5*h = -2*l + 1902, -h - 1268 = -2*l. Suppose 2*o + n = -o + l, 5*o + 4*n = 1059. Is o a composite number?
False
Let j be (-3 + 2)*1*-2. Is 2*(753/j)/3 composite?
False
Is 3 - (-4 + 5 - 273) - 4 composite?
False
Suppose -3*n - 6 = 2*p + p, 2*n = -5*p + 5. Suppose 0*g = p*g - 345. Let y = -66 + g. Is y prime?
False
Let b = 1479 + -856. Is b a prime number?
False
Let z(u) = u**3 - 11*u**2 - 8*u + 7. Let k be z(12). Suppose 0 = -2*j + v + k, 4*j - 6*j + 40 = 2*v. Is j a composite number?
True
Let k(w) = -6*w - 1. Let f be ((-18)/(-12))/(2/(-12)). Is k(f) a prime number?
True
Let c(z) = 25*z**2 + 4*z - 4. Let i be c(4). Suppose -i = -4*w - 2*j, w = -2*w - 4*j + 314. Let p = -65 + w. Is p a composite number?
False
Let t = 2 + -2. Suppose t = -3*u - u. Suppose u*m - 3*m = -777. Is m prime?
False
Let b be ((-3)/4)/((-2)/24). Let f be (-2)/b + 10/45. Suppose f = o + 2 - 35. Is o a prime number?
False
Let n = 57 + -87. Let g be n/(-4)*16/(-12). Let j = 16 + g. Is j a prime number?
False
Suppose -3*z + 592 = -221. Is z prime?
True
Suppose 2*w - 263 + 32 = -u, 0 = -5*w - 5*u + 580. Is w a prime number?
False
Let o(y) = 17*y**2 + 8*y + 13. Is o(6) a composite number?
False
Suppose 0 = -5*z + 795 + 1020. Suppose -p + z = 2*p. Is p a composite number?
True
Let m(s) = s**3 + s**2 - s + 7. Is m(0) prime?
True
Suppose 4*c - 1 = 3*y, 0 = 5*c + 17 + 8. Let s = -3 - y. Suppose -2*w + 3*o + 97 = s*o, -o = 1. Is w a prime number?
False
Let m be 27/36*(-4)/(-6)*2. Let v(f) = -f**2 + 7*f**3 + 15*f**3 + 2*f**3. Is v(m) a composite number?
False
Let a = 25 - 13. Let u(j) = j**3 - j**2 - j - 1. Let l be u(-1). Is ((-237)/a)/(l/8) a prime number?
True
Suppose -2*f + 14 = f + 5*k, -3*k + 2 = f. Suppose f*g = 4*g + 20. Suppose 2*w - 61 = -2*w + 5*b, 4*b = -g*w + 107. Is w composite