 - 1/x) + 21 prime?
True
Let q(t) = t**2 - 5*t + 209. Is q(0) prime?
False
Let f = -4 - -6. Suppose f*r - 7*r = 25. Is 351/15 + 2/r prime?
True
Let x be (2 + -2)/(-2) + 5. Suppose x*n + 5*k = 3*n + 86, -4*k = 4*n - 148. Is n a composite number?
True
Suppose -3*l = -0*l - 231. Is l composite?
True
Let d be ((-3)/(-2))/((-1)/54). Let y = d - -499. Let x = y - 291. Is x a composite number?
False
Let j = 1274 - 835. Is j prime?
True
Suppose 0 = -l - 1 - 1, -484 = -4*g - 2*l. Is g a composite number?
True
Suppose 5*l + 39 + 61 = 5*n, 2*n = l + 35. Suppose -n + 0 = -3*g. Suppose 3*s = 17 - g. Is s prime?
False
Let y(w) be the second derivative of w**4/12 - 5*w**3/3 - 7*w**2/2 + 2*w. Is y(-6) a composite number?
False
Suppose 4*a = 4*p - 560 + 3712, 0 = p + 1. Is a a prime number?
True
Let t = -5210 + 7346. Let q be ((-1)/(-2))/((-2)/64). Is 2/(-4) - t/q a composite number?
True
Let h = 7 - 4. Let t = -2345 + 1218. Is (h - 1) + t/(-7) a prime number?
True
Let i(w) = 6 - 13 - w**3 - 2*w**2 + 2*w + w**3 + w**3. Is i(6) a prime number?
True
Suppose -345 = -3*k + 2*q, -q - 3*q = 0. Is k prime?
False
Let m(o) = o**3 + 3*o**2 - 2*o + 1. Let z = 7 - 4. Is m(z) a composite number?
True
Suppose 0 = -5*o - 4*w - 5, 20 = -6*w + 2*w. Suppose o*t - 738 = 207. Is ((-1)/3)/((-3)/t) a composite number?
True
Suppose 6*g + 0*g - 85638 = 0. Is g a prime number?
False
Let t(p) = p**2 + p - 5. Let d be 3/(-2) + (-3)/(-2). Let o be (-2 - d)/((-2)/(-12)). Is t(o) a composite number?
False
Let z(m) = -m + 35. Let g(v) = v - 36. Let t(s) = 4*g(s) + 5*z(s). Is t(0) a composite number?
False
Let y = 6 + -2. Let v(u) = -u**2 + 5*u - 6. Let x be v(y). Let r(z) = 5*z**2 - 1. Is r(x) composite?
False
Suppose 3*a - 6*a - 2*g = -111, 0 = -3*a + 5*g + 111. Is a a prime number?
True
Let x(v) = 0*v**3 - v + 1 - v**3 - 6*v**2 - 1. Is x(-6) prime?
False
Let m be -2 + -2*(-21)/6. Suppose 5*l = m*u + 46 + 14, -3*u = 15. Suppose -4*r + l = -53. Is r composite?
True
Let h be 1/(-6) + 51/(-18). Is (-1)/h - 176/(-12) a prime number?
False
Suppose -3*l - 2*f + 1646 = 71, 0 = -4*f - 12. Is l a prime number?
False
Let y = 344 + -520. Let n = -110 + 13. Let g = n - y. Is g a prime number?
True
Let u be (600/16)/(3/8). Let t = -57 + u. Is t a composite number?
False
Suppose -9 = -2*i - i. Suppose s = -i*s + 32. Suppose -9 = 5*b - s*b. Is b prime?
True
Suppose -5*k + 3*k = 26. Let f = k + 7. Is 166/3 - (-2)/f a composite number?
True
Let n be 3549/28 - (-1)/4. Suppose 5*g = 4*g + n. Is g composite?
False
Let v be 6 - 0 - (-5 - -6). Suppose -100 = -v*w + 5*g, -5*g = 2*w - 0*w - 33. Is w a composite number?
False
Let y be 2 - -1*(1 + 0). Suppose 0 = -4*t + 3*z + 51, t + 4*t = -y*z + 30. Suppose -2*x + t + 289 = 0. Is x composite?
False
Let d(m) = 2*m**3 - 7*m**2 + 6*m. Let z be d(4). Let h = 20 - z. Let l = h + 39. Is l a composite number?
False
Is 6 + -9 - (1 - 483) a composite number?
False
Let z be (-8858)/(-9) + (-2)/9. Is (-14)/(-91) + z/26 composite?
True
Is 30110/18 - (-6)/27 prime?
False
Let w be 6*3*(-1)/(-2). Suppose -i + 15 = 5*d + 2*i, 4*d + 3*i = w. Let n = d + 61. Is n a composite number?
False
Suppose -2*a + 300 = -a. Suppose -4*p + p = -a. Let j = p + -33. Is j a prime number?
True
Let p(l) = 202*l**2 + 2*l - 1. Is p(-1) a composite number?
False
Let m(y) = y**3 - 4*y**2 + y - 1. Let d be m(4). Suppose 7*o - d*o - 56 = 0. Is o a prime number?
False
Suppose -3*g = 7*g - 1850. Is g a prime number?
False
Let v = -5 - -7. Suppose v*b + 8 = 0, -4*b - 245 - 26 = -3*t. Is t a composite number?
True
Suppose -5*t + 3*t + v = -183, -2*t + 177 = -3*v. Is t a prime number?
False
Let z be (5/2 + -2)*-6. Let a be (-4)/6 - 269/z. Suppose 4 = 4*j, -4*j + a + 25 = 2*k. Is k a prime number?
False
Suppose -699 = -3*w + 3*j, -w + 6*w - j = 1173. Suppose 3*y - 695 = w. Suppose -3*b = -b - y. Is b a composite number?
True
Let w(p) = -p**3 + 5*p**2 + 8*p - 9. Let c be w(6). Suppose -c + 8 = s. Suppose 0 = s*v - 29 - 261. Is v composite?
True
Let d(t) = t - 3 + 44*t - 5*t + 23*t. Is d(4) a prime number?
False
Let i(z) = -z**3 - 4*z**2 + 6*z - 5. Is i(-8) composite?
True
Let l(m) = 97*m + 1. Let r be l(-1). Let j = 185 + r. Is j prime?
True
Suppose 0 = 5*t - 5*h + h - 4187, -4201 = -5*t - 3*h. Is t a composite number?
False
Let a(o) = o**2. Let b be a(-1). Suppose -b = -5*c + 19. Suppose -q = -k - 2*q + 14, -q + 71 = c*k. Is k a prime number?
True
Let z = 2 + 0. Let s = 7 - z. Suppose -s*j + 20 = 0, -5*n + 3*j = -0*j - 263. Is n a composite number?
True
Suppose h + 2753 = 5*s, 2*s - h - 1104 = -2*h. Is s composite?
True
Is 9/(-6) - (-6381)/18 composite?
False
Let f be ((-7*3)/(-3))/1. Let x(w) = -w**3 + 7*w**2 + 2*w - 6. Let t be x(f). Is (-26)/(-4)*16/t a prime number?
True
Is 3 + 3/((-6)/(-1264)) a prime number?
False
Let o(z) = -z**3 + 4*z**2 + 4*z + 1. Let l be o(5). Let v = -3 - l. Is (24 - v) + (-4)/4 prime?
False
Is (-2 + -1)*556/(-12) a prime number?
True
Let x(u) = 11*u**3 - 3*u**2 + 12*u + 1. Is x(5) a composite number?
False
Suppose -12*w - 4634 = -14*w. Is w a prime number?
False
Suppose 3*c + c = -20. Let q be 1*6/(-3) - c. Suppose 45 = -q*z + 6*z. Is z a prime number?
False
Suppose 119 = w - 3*v - 767, 4*v - 4 = 0. Is w composite?
True
Suppose 4*s - 5*u + 3*u = -2, -s + 2*u - 8 = 0. Suppose 97 = 5*t + 5*g - 188, -3*t - s*g = -172. Is t a prime number?
False
Let b = 225 + 194. Is b a composite number?
False
Let h(f) = -f**2 + 17*f + 3. Let w be h(13). Suppose -3*p + 2*p = -5*k + w, 0 = 2*k - 5*p - 45. Is k a composite number?
True
Suppose 26 = -0*c - c + 4*r, 0 = 3*r - 15. Let s be -1 - (c/2 + -2). Let b = 19 - s. Is b prime?
False
Suppose 3*g + 5*n = -4, -3*n - 4 = -0*g + g. Is (129/g)/(3/6) composite?
True
Let z(f) be the first derivative of 4*f**3/3 + f**2/2 + f + 2. Let y be z(3). Let k = -7 + y. Is k composite?
True
Let m(g) = -g**3 - g + 1. Let i be m(0). Suppose -i = -4*f - 2*w + 5, 14 = 5*f - 4*w. Is f prime?
True
Suppose -4*t - 10 = -3*v - 0*t, 2*t + 4 = v. Suppose 2*p - 3*m = 180, 3*p = -v*p + m + 437. Is p a prime number?
False
Let u(k) = -k**3 - 3*k**2 + 9*k - 6. Suppose 3*v = -31 + 10. Is u(v) a prime number?
True
Let q be -4*((-21)/4 + -1). Let y = -2 + q. Is y a composite number?
False
Let k = 1261 - -670. Is k a composite number?
False
Suppose 3*x + 2705 = 8*x. Is x a composite number?
False
Let m = -391 + 642. Is m composite?
False
Is (-2)/7 + 1110/14 prime?
True
Let h(i) = i - 1. Let m be h(2). Is m/((-850)/426 + 2) a composite number?
True
Let s = -11 - -25. Suppose -56 = -4*x - 3*u - 0*u, 4*u + s = x. Is x composite?
True
Suppose 2*z - 7 = 1. Suppose 5*r = -3*p + 241, -5*r - z*p + 124 = -119. Is r a composite number?
False
Let o be 3*((-322)/(-3) - -3). Let j = o - 164. Is j prime?
True
Suppose 18 = 3*z - 5*d, -z - 12 = 3*d - 4. Is (138 - (-3 + -1)) + z prime?
False
Let r(k) = k**2 - 5*k + 3. Suppose -7 - 3 = 2*t. Is r(t) composite?
False
Let w = -430 + 1211. Is w a composite number?
True
Let o be 3/(62/28 - 2). Let c be 1 + 1 + o + 1. Let r = c + 4. Is r a composite number?
True
Let l(a) = -2*a**3 - 4*a**2 + 11*a + 6. Is l(-7) prime?
True
Let o(j) = -1. Let y(r) = 47*r - 29. Let x(d) = -16*d + 10. Let h(l) = -11*x(l) - 4*y(l). Let z(w) = h(w) + 3*o(w). Is z(-4) prime?
False
Suppose -5*p + 5*f = 0, 3*p = -5*f - 0*f + 24. Let z = 8 - p. Suppose 0 = 5*g - 25, -z*g = 2*h - 0*g - 163. Is h a composite number?
True
Let q(h) be the third derivative of -h**4/4 + h**3/3 - 5*h**2. Is q(-6) prime?
False
Let m(k) = -2*k**3 + 7*k**2 + k - 2. Let d be m(-5). Suppose -5*i = 3*q - d, -5*q + 514 = -5*i - 116. Is q prime?
True
Let z be ((-6)/3)/((-1)/2). Suppose z*y - 759 = y. Is y a composite number?
True
Suppose f + 0 = 1, -3*f = -5*w + 1002. Is w prime?
False
Let r be ((-38)/12 - -3)*-6. Suppose -j + 1 = -0*j. Is j*(2 + 51)*r a prime number?
True
Let j be (1 - 6/4)*-1042. Let y be (4*6/(-15))/(12/2370). Let p = j + y. Is p prime?
False
Let g(o) = 1716*o - 25. Is g(2) a prime number?
True
Let k = 244 - 110. Suppose 4*h + 134 = 2*m, -2*m - 3*h + k = 7. Is m a composite number?
True
Let c(z) = 19*z**2 - 5*z - 38. Is c(12) a composite number?
True
Suppose -2*h - q - 1 = -4, 3*h - 5*q = 37. Let b(u) = 33*u + 1. Let k be b(h). Let v = k + -18. Is v composite?
True
Let x = 6 + -5. Let l = 2 + 