 prime number?
False
Suppose y - 1 = 5*t, 4*y = t + 3 + 1. Let n(j) = 184*j**2 + 2*j - 1. Is n(y) a prime number?
False
Suppose 0*n + 5*r - 8671 = -3*n, -3*n = r - 8687. Is n a composite number?
False
Let y = -49 - -126. Is y a prime number?
False
Suppose 0 = -o - 4, 2*o + 0*o = 4*h + 96. Is (-2206)/h - 2/(-13) a prime number?
False
Suppose 6 - 22 = -2*s. Suppose s*n = 7*n + 127. Is n prime?
True
Let i(u) = -6*u**2 + 3*u - u**2 + u**3 - 12 - u + 5. Let a be i(7). Is ((-710)/(-8))/(a/28) a composite number?
True
Let m(g) = 6*g**2 - 12*g + 25. Is m(21) a prime number?
False
Let m(f) = 61*f**2 - 4*f + 9. Is m(-6) prime?
False
Let k be 8/2*2/2. Suppose k*h - 1 = 7. Let i = h - -17. Is i composite?
False
Is (-103 + -10)/((-1)/1) a composite number?
False
Suppose -2*b + 50 + 0 = 0. Let c(g) = 37*g + 2. Let r be c(2). Let q = r - b. Is q a prime number?
False
Suppose 325 = f - 2*g, -2*f + 59 = -g - 582. Is f a composite number?
True
Is 1255/3 + (-4)/(-6) prime?
True
Let c(a) = -204*a - 29. Is c(-7) a composite number?
False
Let t(y) = 2*y**2 + 8*y - 7. Suppose 0 = -7*c + 2*c + 30. Is t(c) a composite number?
False
Let p(g) = 2 - 5*g**3 + 2*g - 4 + 3. Is p(-2) a prime number?
True
Suppose 87 + 956 = 7*s. Is s a prime number?
True
Suppose 5*n = 2*l + 3, 2*l + 2*l - 64 = -4*n. Let a = l - 9. Is ((-6)/(-2) - a)*211 composite?
False
Let p = 322 + -87. Is p prime?
False
Suppose 2*l - 4 = -2. Is (l - 3)/(6/(-879)) a prime number?
True
Let z = 16 - 14. Let h be (-4)/2 + 0/(-1). Is (h + -42)/z*-1 a prime number?
False
Let c(x) = 132*x**2 - 13*x. Is c(-5) prime?
False
Let a(y) = 4*y**2 - 16*y - 17. Is a(-14) a prime number?
True
Suppose 5*u + 5*j - 15 = -5, 5*u - 4*j - 37 = 0. Let y(l) = 30*l + 7. Is y(u) a composite number?
False
Let d be (-1)/5 + 104/20. Suppose 109 = 3*q + 2*z, 8*q + d*z - 180 = 3*q. Is q composite?
False
Let h = 1 - -1. Is h*141/12*2 a composite number?
False
Suppose 5*k + 2750 = 5*a, -3 = -k - 0*k. Is a a prime number?
False
Suppose 2*x = -2*x + 3*p - 33, 0 = x - p + 9. Is 69/x*-10 - 2 a prime number?
True
Let k(p) = -p**3 - p**2 + 4*p - 1. Let c be k(-3). Let f(i) = 13*i. Is f(c) composite?
True
Let j(r) = r - 2. Let t be j(5). Suppose k = -t*k + 8. Is 2/k - (-31 + -5) a composite number?
False
Let w = -21 - -15. Is 16*16 - (w - -3) a prime number?
False
Let o(s) be the third derivative of 11*s**5/20 + s**4/12 - 2*s**3/3 + 7*s**2. Is o(-3) a prime number?
False
Let u be 10*(-2)/8*4. Let j = 1 - -4. Is ((-28)/u)/(1/j) prime?
False
Let a be 6 - (-2 + 4)/2. Suppose -18 = a*t + 77. Let h = t + 38. Is h a prime number?
True
Let u(g) = 97*g**2 + g - 1. Let m be ((-10)/25)/(2/(-20)). Suppose 2*i = m*i - 4*x - 22, -4*i - 16 = 4*x. Is u(i) a composite number?
False
Let f be (16/(-10))/((-2)/10). Suppose 4*z - f*z = -152. Is z a composite number?
True
Suppose -3*f + 86 + 181 = 0. Is f prime?
True
Let t be (-6408)/14 + 6/(-21). Let b = 274 + t. Let m = b + 326. Is m composite?
True
Let p(n) = 2*n**3 - 3*n**2. Let y be p(2). Let k be (-136)/(-2) + (3 - y). Suppose -5*j + k = 2. Is j prime?
True
Let y(f) = f**2 - 1. Let s be y(6). Let d(t) = -t**3 + 8*t**2 - 7*t + 3. Let k be d(7). Suppose k*x + 5 = s. Is x a composite number?
True
Suppose l + l - 10 = 0. Let q(r) = -l - 2*r + 3*r + 9*r. Is q(6) a prime number?
False
Let h(c) = -c**2 - c + 5. Let d be h(0). Let y = -2 + d. Suppose y*k + 605 = 3*t - k, -5 = -5*k. Is t a composite number?
True
Is ((-1 + -3)/4)/(2/(-614)) a composite number?
False
Suppose -5*j + 4419 = 4*i - 10*j, -j = 2*i - 2227. Is i prime?
False
Let d be 105/(2/(5 + -1)). Suppose -4*q = -2*j + d, 2*j + 372 = 6*j + 4*q. Is j a composite number?
False
Let t(p) = 38*p - 3. Let x(s) = -s + 1. Let f(a) = a**3 - a - 1. Let w be f(-1). Let l(j) = w*t(j) - 4*x(j). Is l(-2) prime?
True
Suppose -245 = -c - 4*c. Suppose -4*s = -c + 9. Is s composite?
True
Suppose 4485 = 6*q - q. Suppose -4*p + q = -5*z, -4*p = -2*p + 5*z - 441. Is p a composite number?
False
Suppose -4*h + 0*y - 5*y = -10, -3*y = -5*h + 31. Let m(c) = -c**3 + 10*c**2 + 6*c. Let r be m(h). Suppose 0 = -u - 4*u + r. Is u composite?
False
Let t(p) be the third derivative of p**6/120 + 2*p**5/15 - p**4/12 + 7*p**3/6 - 3*p**2. Is t(-6) prime?
False
Let g(o) = 39*o**2 + 3. Let c = 18 + -16. Is g(c) a prime number?
False
Suppose 2*b + 0*b = -10, 4*b + 28 = 2*q. Suppose -q*m - 3 = 2*z - z, 0 = 4*z + 5*m + 1. Is (-1)/(z/(-51)) + 0 a prime number?
False
Let h(y) = y**3 - 3*y**2 - 3*y + 1. Let x be (-145)/(-7) + (-2)/(-7). Let n = x + -15. Is h(n) a prime number?
False
Is 2/7 - (-4505)/35 a prime number?
False
Suppose -2*r = -1069 - 2317. Is r a prime number?
True
Let i = -8 + 8. Suppose 4*m + 161 - 429 = i. Is m a prime number?
True
Suppose 2*v = -2*v + 264. Suppose -4*n - 3*i = -9, -2*n = -6*n + i + 13. Suppose 0*r - v = -n*r. Is r composite?
True
Suppose 0 = -4*i - 0*a - 3*a - 11, 0 = 5*i - a - 10. Let w = -13 - -34. Is i*(w*1 + 2) a prime number?
True
Suppose 4*l - 2*l = -3*u + 17, -5*u = -4*l + 1. Let q be -65*(u + -5 + 0). Let f = -27 + q. Is f a prime number?
True
Let j(w) = 235*w**2. Is j(-1) composite?
True
Let b = -89 + 125. Let s = b + -5. Is s a prime number?
True
Let y(x) = -x**2 - 7*x + 4. Let s be y(-7). Suppose -s*m = -34 - 46. Suppose -3*n + m = -43. Is n composite?
True
Let s(x) be the second derivative of -x**5/10 - x**4/6 - x**3/3 + x. Let m be s(-2). Suppose 0 = -2*o + 8 + m. Is o a composite number?
True
Let s = -69 - -196. Is s prime?
True
Suppose 2*y - 2 = 4*y. Let g(s) = -247*s. Is g(y) composite?
True
Let i(o) = 9*o**2 - o - 10. Let z be i(6). Suppose 387 = 5*d - 2*c, -82 - z = -5*d + 5*c. Is d a prime number?
False
Let j(y) = 4*y - y - 2*y. Let t be j(-2). Is 2/(3/((-195)/t)) prime?
False
Suppose g = 5*g + 116. Let x = g + 51. Is x composite?
True
Suppose 0 = -x - 3*y + 30, -2 + 56 = 3*x - 3*y. Is x prime?
False
Let t be -86 - (1 + -3 + 3). Let l = 146 + t. Is l a prime number?
True
Suppose -5*a - 76 - 19 = 0. Let r = -9 - a. Is 3/15 + 208/r prime?
False
Let n = 29 + -17. Let w = n - 5. Is w a prime number?
True
Let m be (8/(-2))/(2/39). Let f = 5 - m. Suppose -2*r + 32 = -2*a, f = 5*r - 0*r - 4*a. Is r prime?
True
Let h be 0/(0 + (1 - 2)). Let i = 2 - h. Suppose 0 = 2*k - 4*n - 48, 4*n + n - 57 = -i*k. Is k composite?
True
Is 5/((-5)/2) + 93 a prime number?
False
Suppose -5*u + 1 - 6 = 0, 2*n - 120 = -4*u. Let y be -1 + 0 - (-20)/(-2). Let b = n + y. Is b a prime number?
False
Suppose 10928 + 4424 = 8*i. Is i composite?
True
Let x(f) = -f**3 - 19*f**2 - 26*f - 3. Is x(-19) a composite number?
False
Suppose 90*i - 86*i - 2980 = 0. Is i composite?
True
Suppose -1659 = -z + r, -2*r - 3 - 1 = 0. Is z prime?
True
Is ((-3 - 2) + 2)*67761/(-27) composite?
False
Let u(f) = 27*f**2 - 10. Is u(3) composite?
False
Let f(a) be the third derivative of -a**4/24 - 2*a**3/3 - a**2. Let t be f(3). Is -93*(t/3 - -2) composite?
False
Let v(d) = 82*d**2 - d + 1. Let i be v(2). Let h = i - 164. Is h a composite number?
False
Let a be 55 - (-12)/(-6 - -2). Suppose -2*h + 0*h + a = 0. Is h prime?
False
Suppose -j + 692 - 76 = 4*t, -t + j + 149 = 0. Suppose -30 + t = z. Is z a prime number?
False
Suppose 5*w + 5*g + 605 = 0, -113 = 5*w - 4*w - 3*g. Suppose -5*m - 4 = -2*x, -4*x + 5*x = -3*m - 9. Is (m/2 + 0)*w a composite number?
True
Suppose 4*v + 13 = 3*x, -x + 4 = v + 2. Suppose -x*a + m + 4*m + 165 = 0, -3*m = a - 69. Suppose h - a - 25 = 0. Is h a composite number?
True
Is 2/(-5) + 928/20 a prime number?
False
Suppose -13 = -5*q + 107. Let z = -9 + q. Is 51/z - 4/10 prime?
True
Let r = 2 + -5. Is 1 - (3*r + 0) a prime number?
False
Let h = 3208 + 63. Is h a composite number?
False
Suppose -3*h + 2*o = 3*o - 30, -5*o - 30 = -5*h. Let m(b) = 4*b**2 - 4*b + 5. Is m(h) a composite number?
False
Suppose 0*i + 3 = -3*f + 4*i, -2*f + 12 = 2*i. Suppose 3*k = 4*r - 108, -5*k - 73 = -f*r + 8. Let n = 86 - r. Is n a composite number?
False
Suppose -2927 = -3*q + 1486. Is q composite?
False
Let i(k) = 5*k - 1. Let l be i(1). Suppose 3*t = l*h + 229, 0 = h - 2. Is t composite?
False
Let z = 34 + -20. Let f = z - -9. Is f composite?
False
Is 1/8 + (-3102)/(-16) a prime number?
False
Suppose -3*c = -2*l + 2504, -3*l + 3*c - 6*c = -3741. Is l a prime number?
True
Let w(c) = 3*c**3 - 2*c**2 