se n = 3*n - 4*o - 150, 0 = 2*n + 5*o - 123. Is n prime?
False
Let h = 6 - -3. Let t be 0/(h/(-3)*1). Suppose 5*j + 17 + 3 = t, -5*j - 505 = -5*c. Is c a prime number?
True
Suppose 76 - 313 = -a. Suppose 5*t = -2*p + 279, 0 = -4*t - p + 4*p + a. Is t a prime number?
False
Let q(l) = -2*l + 1. Let k be q(-2). Suppose -5*f = k*a - 161 - 44, 4*f = 12. Is a a prime number?
False
Suppose -j = x - 3*x + 13, -5*x - 4*j = -65. Let u = x + -2. Is u a prime number?
True
Is 5/((-15)/(-9)) + 400 a composite number?
True
Suppose -388 = -2*f - 2*f. Is f a prime number?
True
Let a = 22 + -20. Is a prime?
True
Suppose -14 + 5 = -3*j. Suppose 0 = -z + j*z - 678. Is z composite?
True
Suppose 3*o = -2*t + 1579, -5*t - 4*o + 1684 + 2267 = 0. Is t composite?
True
Let t = -307 + 800. Suppose -2*b = -t - 21. Is b a prime number?
True
Let v = 127 + -68. Is v composite?
False
Suppose 0*n + 4*n - 5*y + 3453 = 0, -3*y - 1721 = 2*n. Is (-30)/45 + n/(-6) prime?
False
Let r = 10 + -12. Is (-35)/(2 + r + -1) a prime number?
False
Let a(x) = x**2 - 3*x + 3. Let u be a(3). Let k(f) be the third derivative of f**6/60 - f**5/60 + f**4/8 + f**3/6 - 4*f**2. Is k(u) prime?
False
Suppose -1773 = -4*c + 751. Is c composite?
False
Let q be (-2)/6 - 4807/(-3). Suppose 5*l - 1333 = q. Is l composite?
False
Let t = -95 - -136. Suppose -t - 52 = -s. Suppose -4*n + s = -n. Is n a composite number?
False
Suppose -568 = 3*k - 3991. Is k composite?
True
Let q(n) be the first derivative of 1/2*n**2 - 2*n - 2/3*n**3 + 1/2*n**4 - 1. Is q(3) prime?
True
Let s be ((-24)/(-40))/(1/15). Suppose 0 = -3*p + s, -4*q = -8*q + 5*p + 133. Is q a composite number?
False
Suppose 5*d + 3 + 57 = 0. Is (-140)/d - 4/6 prime?
True
Let l(k) = -4*k**3 - 2*k**2 - 1. Is l(-4) composite?
False
Let b = 4 - 3. Is (-4)/2 + b - -68 prime?
True
Let n(a) = 42*a**2 + 8*a - 3. Is n(5) a prime number?
True
Let i be (303/3)/((-1)/(-1)). Let h = -206 + i. Let t = 202 + h. Is t a composite number?
False
Suppose -83 = -3*x + 2*m, -x + m = 3*x - 104. Is (-1)/(-2) - x/(-2) composite?
False
Suppose -27 = -s + 2*y + 110, -5*s = 2*y - 661. Is s prime?
False
Suppose 12*s - 17*s = -1325. Is s a composite number?
True
Let v(u) = u**2 - 2*u - 1. Let h(x) = -x + 2. Let p be h(6). Is v(p) a composite number?
False
Is (-5663)/(-9) - (-16)/(-72) a prime number?
False
Suppose -5*x - 4*z + 33 = 0, -29 + 9 = -2*x - 5*z. Suppose -3 - 72 = -x*l. Is l a prime number?
False
Let o = -11 - -16. Suppose o*w + 5*s = -30, 0*s + 4*s + 26 = -5*w. Is 2 + ((-26)/w - 2) composite?
False
Suppose -2*j + 3*q + 71 = 2*j, j - 5 = 5*q. Let c be j/(-15)*6/(-4). Is 41 + (0 + 0 - c) a composite number?
True
Let o(p) = 8*p**2 + 6*p - 1. Is o(-6) prime?
True
Is ((-9)/6 - 0)/(3/(-116)) prime?
False
Let d be 588/24*(1 - -1). Suppose 0*z = z. Suppose z = 2*x - 69 - d. Is x composite?
False
Let t(f) = -f - 4. Let p be t(-10). Let b be (-681)/p*1*-2. Suppose -2*w + 2*m + 535 = 49, w - 5*m - b = 0. Is w composite?
True
Let q = -168 - -635. Suppose 0*b + b - q = -2*i, 5*i - 1162 = 3*b. Is i a prime number?
True
Let y = -17 - -8. Let t be (-329)/(-63) - (-2)/y. Is (-4)/10 + 67/t prime?
True
Suppose r = 3*o, 2*r + 2 = o + 7. Suppose -25 - 57 = -2*m + c, r*m = 4*c + 133. Is m a composite number?
True
Suppose -226 = 3*v - 4*v + 3*m, 0 = -5*m - 5. Is v composite?
False
Suppose -227 = -2*l + l. Let p(w) = -2*w**2 - w - 5. Let g be p(-7). Let b = l + g. Is b composite?
False
Is (-33)/22*(-2302)/3 composite?
False
Let g be 7*6 - (-3 + 1). Suppose -3*a - g = -4*t, 4*a + 2 + 10 = 2*t. Let i = t + 23. Is i a prime number?
True
Let b be (3/(-6))/(2/4). Let s = b - -3. Suppose -3*a = s*a - 105. Is a a composite number?
True
Is ((-314)/4 + 4)*-10 composite?
True
Let a be (-28)/(-8) - (-6)/(-4). Suppose -4*y + a*y = 5*x - 109, 3*x + 3 = 0. Is y prime?
False
Suppose -4*j = -93 - 15. Suppose -2*v = -10, m + 5*v = j + 201. Is m composite?
True
Let j = 440 - 217. Is j a prime number?
True
Suppose 5*s - 4*k - 6241 = 0, -5*k - 5478 = -4*s - 487. Is s a composite number?
False
Let p(x) = x**2 + 4*x - 2. Let v be p(-4). Let y(r) = -r**2 - 3*r**3 - r**2 + 0*r - 2*r**2 - 4*r - 3. Is y(v) composite?
False
Suppose -5 + 1 = f. Let d be (98/f)/(2/(-52)). Suppose -5*a + 121 = y - 2*a, 5*y - a = d. Is y prime?
True
Suppose 16*n - 21047 = 3*n. Is n prime?
True
Let h be -2 - 0*(-3)/(-9). Let a be 1*(69 - (h - -3)). Suppose -3*u = -a - 79. Is u a prime number?
False
Let j(c) = c**2 + 5*c + 7. Suppose -9 = 3*y, -5*y = t - 0*t + 23. Is j(t) composite?
False
Let r = 52 + -28. Suppose r + 0 = -4*k. Is (4/(-6))/(k/279) composite?
False
Suppose 0 = 6*g + 7*g - 32617. Is g composite?
True
Let b(r) = -r. Let o(c) = -12*c + 2. Let w(j) = -2*b(j) + o(j). Is w(-2) a prime number?
False
Suppose -6 = -3*b + 51. Is b prime?
True
Suppose -4*d = d + 45. Is (873/6)/(d/(-12)) composite?
True
Let x = 6 - 2. Let d(a) = 217*a - 5. Is d(x) a prime number?
True
Suppose 4*r - 4*a = -0*a + 2956, 2*a - 2197 = -3*r. Suppose 4*l - 137 = -n, n - r = -4*n + 5*l. Is n a prime number?
False
Let i(o) = -o**3 + 24*o**2 + 51*o + 17. Is i(25) composite?
True
Suppose -14 - 14 = -4*f. Let m(r) = r**3 + r**2 - r - 1. Let g(n) = 2*n**3 + 12*n**2 - 12*n - 12. Let u(a) = g(a) - 3*m(a). Is u(f) a composite number?
True
Let p be 6/(10/(-6) + 1). Is (-2)/(-3) + (-471)/p prime?
True
Suppose -9*u + 595 = -4*u. Is u a prime number?
False
Let l be 7*4/(-3)*3. Let n = l + 155. Is n a prime number?
True
Is 18/(-63) + 1/((-7)/(-29773)) a prime number?
True
Suppose 0*l + 2*l - 6 = 3*x, 5*l + 5*x - 15 = 0. Let r be 0/l + 2 + -2. Suppose 5*v - 24 = -b + 16, r = 3*v + 5*b - 46. Is v prime?
True
Let c = 1217 + 254. Is c a composite number?
False
Let q(m) = -2*m + 2*m + m. Let g be q(-4). Let s = 19 + g. Is s composite?
True
Let a = -18 - -25. Suppose 0 = 5*n - 5*t - 50, -4*n = t - a - 8. Suppose -5*x = -5*g - 305, n*x - g = 6*x - 57. Is x a composite number?
False
Let y(l) = -7*l**3 + l**2 - 1. Let p be y(-1). Let m(q) = 6*q + 5. Is m(p) prime?
True
Let i = -405 + 1036. Is i prime?
True
Let c(x) = -350*x + 45. Is c(-13) a prime number?
False
Let c = 3602 + -1963. Is c prime?
False
Let a(x) = 27*x**3 - 2*x**2 - 2*x + 5. Is a(4) a composite number?
False
Let c be 10/80 + (-46)/(-16). Suppose -5*l - n = -5*n - 3159, 4*l - 2527 = c*n. Is l a prime number?
True
Let t be 9/((-3)/(-1)) - -1. Suppose t*y - 6 = y. Suppose 0 = 5*d + 5*i - 375, -d - 4*i = y*d - 221. Is d composite?
False
Suppose 3 = 5*b + 28. Let v(h) = 40*h**3 - 5*h**2 + 7*h - 7. Let l(j) = -39*j**3 + 4*j**2 - 6*j + 6. Let i(f) = b*v(f) - 6*l(f). Is i(1) a composite number?
True
Suppose 0 = q + 4*v - 179, 2*v = -5*q + 4*q + 185. Suppose 0 = 3*k - 2*k - q. Is k prime?
True
Let n(t) be the second derivative of -2*t + 3*t**3 + 0 + 1/2*t**2. Is n(3) composite?
True
Let q(v) = 4*v**2 + 3*v - 3. Suppose -4*n + 20 = n. Suppose -4*i + 2*z = -12 - n, 0 = 5*z + 20. Is q(i) a composite number?
False
Suppose -4*j + 2*h + 18 = 3*h, -5*j - 3*h = -26. Suppose -5*u + j*u = -31. Is u a prime number?
True
Let x(w) = 11*w**2 - 6. Let d be x(7). Suppose 0 = -h - i + 122, 4*h - i - 4*i - d = 0. Is h a prime number?
True
Let m = 171 + 20. Is m a composite number?
False
Let j(s) = s**2 - 8*s - 7. Let q be 3 + (-12)/4 + 14. Is j(q) prime?
False
Let y(f) = -f**3 - f**2 - 4*f + 1. Is y(-3) composite?
False
Let c = -1101 + 1754. Is c a prime number?
True
Let b = -2760 + 4231. Is b prime?
True
Suppose 4*r - 5 = 3. Suppose 0 = s - r - 0. Suppose 2*l + 2*q + 0*q = 176, 259 = 3*l + s*q. Is l prime?
True
Let a = -68 + 140. Suppose -m + 6 = -p - 25, 3*p - a = -2*m. Is m composite?
True
Let j(i) = 108*i + 7. Is j(10) a prime number?
True
Suppose -3*v = -0*v + 4*l - 181, 4*l - 114 = -2*v. Is v composite?
False
Suppose -5 = -4*z + 3*z. Suppose 20 = z*g - 85. Is g a prime number?
False
Suppose 2*w + j = -14, -3*j + j - 8 = 0. Let i = w + 5. Suppose -2*o - o + 159 = i. Is o prime?
True
Let d be (6/4)/(2/60). Suppose -2*x - 31 = d. Let y = 91 + x. Is y a composite number?
False
Let r = 15036 - 10391. Is r a composite number?
True
Suppose -5*k - 892 = -5*b + 2903, 0 = -4*b - 2*k + 3024. Suppose 0 = -t + 4*y + 163, -4*t - 8*y + 3*y = -b. Is t prime?
False
Let m = 133 - 94. Is m prime?
False
Let d(g) = g**2 + g + 5. Let z be ((-39)/(-3)*1)/(-1)