posite number?
True
Let i be (-3693)/6 + (-1)/(-2). Let k = i - -902. Let d = k - 204. Is d a prime number?
True
Let b = 74 - 39. Is b prime?
False
Suppose -5*q + 1275 = -380. Is q a prime number?
True
Suppose -2*n - 6*s + s = -35, -n - s = -13. Let v = 29 + n. Is v composite?
True
Let x(l) = 0*l + 4*l**3 - 3*l**3 + 4*l + 0*l + 6*l**2. Let m be x(-5). Suppose -3*c + 134 = -c - q, 45 = c + m*q. Is c composite?
True
Suppose u = -a + 3071, -4*a + 0*u + 2*u + 12296 = 0. Is a a composite number?
True
Suppose 3*r - 14 = -2*m, -r + 12 = -0*r - 3*m. Suppose -r = 3*f - 0. Is (-8265)/(-65) + f/13 a composite number?
False
Let i(s) = s**2. Let u be i(-2). Let g be 171/2 + (-1)/2. Suppose 2*l + 44 = 2*w, g = u*w - 2*l - 3*l. Is w a composite number?
True
Let m(o) = -o**3 + 6*o**2 - o + 6. Let a be m(6). Suppose a*b - 4*b = -500. Let t = b - 19. Is t prime?
False
Let h = 4 + -4. Suppose -q + 19 = -h. Suppose q = -d + 2*d. Is d prime?
True
Let p = -668 - -250. Let k = 747 + p. Is k a composite number?
True
Suppose 0 = -x + 2*o + 493, 2*x - 5*o - 990 = -0*x. Is x a prime number?
False
Let o = 6 - -70. Suppose 331 = 5*k + o. Is k prime?
False
Let g be 1 - 9 - (-2 + -1). Let t(y) be the third derivative of y**6/120 + y**5/12 - y**4/12 + y**3/2 + y**2. Is t(g) a prime number?
True
Suppose 0*a = 5*a - 90. Let z = a - 9. Is z a prime number?
False
Suppose -2*k = y + 6, -k - 3*y + 4 = -3. Let s(c) = 2*c**2 + 6*c - 5. Is s(k) prime?
False
Let l(v) = -5*v + 3. Let y(m) = 3*m - 1. Let p(x) = -4*l(x) - 9*y(x). Is p(-6) prime?
False
Suppose 5*s + 25 = -0*s, 5*r - 670 = 3*s. Is r composite?
False
Let o = -226 + 382. Let q = -97 + o. Is q prime?
True
Let a be 2/(-6) + 6/(-9). Let f be a*(0 - (-2 - 1)). Is (-1)/(1/f) - -188 composite?
False
Let v be -1 + 0 + (3 - 2). Is (-7 - v)*(1 + -2) a prime number?
True
Is (5/(-15))/(1/(-537)) a prime number?
True
Suppose 2*j = 6*j + 12. Let r(a) = -a**2. Let u be r(j). Let d = u - -16. Is d prime?
True
Let n(l) = 680*l + 3. Let j(v) = 1359*v + 5. Let o(u) = 3*j(u) - 5*n(u). Is o(1) prime?
True
Let b = -12 - -12. Let i(c) = c**3 + 4*c**2 - 2*c - 4. Let t be i(-4). Suppose b = -t*w + 2*a + 2*a + 56, a = -w + 4. Is w a composite number?
True
Suppose -4*s = -4*i - 0*i + 17500, 2*i - 5*s - 8756 = 0. Is i a composite number?
False
Suppose w + 2*w + 39 = 0. Let f = -6 - w. Is f a prime number?
True
Suppose -120 = 2*l - 18. Let f = -192 + 108. Let v = l - f. Is v a composite number?
True
Let x(i) be the second derivative of -i**5/20 - 7*i**4/12 - i**3 + 3*i**2 - i. Is x(-6) composite?
True
Is (-3 - (-6)/3) + 252 a composite number?
False
Let m(a) = -59*a + 10. Is m(-3) composite?
True
Let j(o) = 94*o**2 + 5*o - 8. Is j(-5) composite?
True
Let g(d) = d + 8. Let w be g(-6). Suppose -m + 5*p + 233 = 0, 4*p = 3*m + w*p - 673. Is m a prime number?
True
Suppose -3*u + 273 = 5*i, -3*i + 353 = -3*u + 7*u. Is u prime?
False
Let o = 3 - 2. Suppose 5*s = 484 + o. Is s prime?
True
Let c(l) = -3*l**2 - 2*l + 2 - 2*l**3 + 0*l**2 + 0*l**3 + l**2. Is c(-2) prime?
False
Is -2 - ((-6 - -4) + -565) prime?
False
Suppose 2*m + 5 = -2*m - 5*r, 0 = -5*r - 5. Suppose m = 3*i - i - 98. Is i composite?
True
Suppose 0 = -2*z - 2*j + 936, j - 1856 = -5*z + 488. Is z prime?
False
Suppose 5*k = -20, -3*k - 9 - 43 = -5*d. Suppose -4*n + 152 = 4*c, -n + d = -4*c - 25. Is n a composite number?
False
Suppose 0 = -3*s - 5*f - 397 + 27, 0 = 5*s + 5*f + 630. Is (-2 - 0)/(4/s) a composite number?
True
Suppose -2*n + 75 - 1 = 0. Is n prime?
True
Is 20 - ((-20)/(-1))/4 a prime number?
False
Suppose -38 = -j - 17. Is j prime?
False
Suppose -3*f + 6 = 0, -4*f - 16 = -2*u + 14. Is u prime?
True
Let i be (-8)/12 + (-51)/(-9). Is 82 - (1 - (3 - i)) prime?
True
Let y be -1 + (-5 + 0)/(-1). Let u = 6 + y. Is u composite?
True
Suppose q = 4*q - 573. Is q a composite number?
False
Suppose -4*u + 5*x = -4 - 9, 5*x + 11 = 3*u. Suppose 381 = d + u*d. Is d a prime number?
True
Let c = 6153 + -3950. Is c a prime number?
True
Let x = 6 - 8. Let s = 11 - 12. Is (-74)/x - (s + -1) composite?
True
Let k be (-6)/(2/(-2)*1). Let z(t) = -2 - 14*t + t + k*t - 12*t. Is z(-3) prime?
False
Let a be -2 + -87 + 1 + 0. Let y = -21 - a. Is y composite?
False
Let x(f) = -5*f**3 + 3*f**2 + 3*f + 3. Suppose 2*v - 4 = -5*t, 3*t + 11 = -5*v + 2. Let n be 4*t*(-2)/8. Is x(n) prime?
False
Let s = -26 + -223. Let u = -100 - s. Is u prime?
True
Let a(c) = 48*c - 47*c + 2 + 0 + 44*c**2. Is a(3) prime?
True
Suppose -3*q + 21 = 3*l, -5*l - 3*q + 2*q = -31. Is ((-927)/l - -1)*-2 composite?
False
Let u(w) = 5*w + 18*w + 5 + 18*w. Is u(4) a prime number?
False
Let d = 7 - 6. Let a be (-5 - -3)/(d - 2). Suppose -4*m - 5*z + 104 = -a*z, 2*m - 52 = -2*z. Is m composite?
True
Let g(o) = 0*o - 5*o**2 + 2*o**2 + o**3 + 4 + o - 3*o**2. Is g(6) a composite number?
True
Let t(j) = j**3 - 2*j**2 + 5*j + 3. Let r = -2 - -7. Suppose -m - 14 = -4*x, -5 - r = -4*x + 3*m. Is t(x) prime?
False
Let z(m) = m**2 - 1. Let b be z(-2). Let y be (-1)/b*0 - 6. Let u(c) = -c**3 - 5*c**2 + 3*c + 4. Is u(y) prime?
False
Let f = 359 - 136. Is f composite?
False
Let s(c) = c**3 + 3*c**2 - c - 1. Let u be s(-3). Let p be ((-4)/(-1))/(4/u). Suppose -4*w = -p*w - 178. Is w a prime number?
True
Suppose 2*m = -5 - 147. Let j be (31/(-3))/(2/(-30)). Let a = m + j. Is a a prime number?
True
Let o = -390 - -206. Let s = o + 283. Suppose -2*w - w = -s. Is w composite?
True
Suppose u + 262 = p, -2*p + 3*u = 2*p - 1045. Is p a prime number?
False
Let s be -6*2/(-3) + -2. Suppose 4*t = -3*j + 11 + 74, -35 = -t + s*j. Suppose 5*g = -t, 3 + 45 = k - 3*g. Is k prime?
False
Suppose 3172 = 6*m - 2*m. Is m a prime number?
False
Let j be (-15 - -2) + 1 - 0. Let g = j + 17. Suppose -g*a + 15 = -0*a. Is a composite?
False
Let i(k) = -2*k**3 - 2*k**2 + 3*k + 3. Let x be i(-2). Let t = -5 + x. Suppose 5*u - j - 306 = t, -u - 7 + 53 = -4*j. Is u a prime number?
False
Suppose 131 = -2*x - 93. Let y = 257 + x. Is y a prime number?
False
Let h(u) = u**2 - u - 9. Is h(6) a composite number?
True
Is (-25)/(-10)*(-9884)/(-10) prime?
False
Is ((-56)/(-12))/((-12)/(-666)) a prime number?
False
Is 254 + 8 + 2 + -2 a prime number?
False
Let r(v) be the third derivative of -v**6/120 + v**5/15 + v**4/24 - 2*v**2. Let q be r(5). Let c = q + 54. Is c a prime number?
False
Let f = -6 + 10. Let h(w) = -w**3 + 8*w**2 - w - 1. Is h(f) a composite number?
False
Let s(m) be the third derivative of m**7/2520 + m**6/240 + m**5/40 - m**4/24 - m**2. Let g(w) be the second derivative of s(w). Is g(-3) a prime number?
True
Let b(k) = -38*k + 2. Let d be b(-4). Let a = 6 - 6. Suppose 5*c + 39 - d = a. Is c composite?
False
Suppose -35 = -3*w + 5*t + 89, -w + 46 = 3*t. Suppose 0 = o - 70 - w. Is o a prime number?
True
Let w(i) = 12*i - 31. Is w(7) a prime number?
True
Let u = -648 + 1189. Is u prime?
True
Suppose 5*d - 12 = 18. Let l be (45/d)/((-3)/(-246)). Suppose -k = -4*x - 143, -5*k + x = 6*x - l. Is k a prime number?
True
Let z = 20 - 17. Suppose 0 = g - z*g + 602. Is g a composite number?
True
Suppose 7*c = 2*c - 100. Let j = 10 + c. Is (-786)/j - 4/(-10) composite?
False
Let j = 3 + 2. Suppose g - j - 46 = 0. Is g composite?
True
Let s = -10 + 16. Let p(k) = 4*k + 5 + 3*k + k. Is p(s) a prime number?
True
Let d = -1770 - -3175. Is d a prime number?
False
Let t = 558 - 280. Suppose -2*u + 3*a + 325 = 0, 5*u + 3*a - 1059 = -t. Suppose 0 = -j - 5*h + 47, -2*j + u = 3*h + 36. Is j a prime number?
True
Suppose -5*f + 0*f = -1445. Is f prime?
False
Let r(a) = a - 11. Let o be r(9). Let h be (-91)/(-2) - o/(-4). Suppose -2*s - 4*q + 20 = 2*s, -q + h = 5*s. Is s a prime number?
False
Suppose 2*j - 10 = 0, 0*d = 5*d + 5*j - 1435. Let z be d/(-4)*4/(-6). Suppose -4*o - 3*v + z = 0, -85 = -5*o + 4*v + v. Is o composite?
True
Suppose -2*f - 2 = j, 4*j + 2*f = 1 + 9. Suppose 171 = j*w - 833. Is w a prime number?
True
Let s(z) = 3*z + 1. Let r be s(1). Let w be -5 + 3 - (-2 + 1). Is (r/4)/(w/(-53)) a prime number?
True
Suppose s = 3*l - 2*l + 2230, 6 = -2*l. Is s a composite number?
True
Let f(b) = b**3 - 9*b**2 + 15*b + 16. Is f(7) a composite number?
False
Let i be 7 - 0 - (-4 + 7). Suppose -4*d + 248 = -i*l, 5 + 134 = 2*d + 3*l. Is d prime?
False
Suppose -2*w + 62 = -22. Suppose -2*r - s + w = -22, 5