+ 361. Is t a prime number?
True
Suppose 11*p + 4*g = 14*p - 134833, 0 = 4*p - 5*g - 179778. Is p a composite number?
True
Let l = 6234 - 2886. Suppose 3*z + l = -3*z. Let k = 811 + z. Is k composite?
True
Suppose -11*n + 1988 + 1499 = 0. Is n a prime number?
True
Suppose 2*i + 4*z - 14 = 6, 5*z = 15. Suppose 5*h + 3675 = -a, 2216 = -3*h - i*a + 11. Let r = -338 - h. Is r composite?
False
Let k(c) = -3*c. Suppose -4*u = 5 - 1. Let s be k(u). Suppose f - 5*z - 163 = -f, -282 = -s*f - 5*z. Is f a composite number?
False
Suppose 0*a + 4*a = -116. Let r = a + 5. Is ((-177)/(-2))/(r/(-32)) a composite number?
True
Let r be 2/(-3 + (-40)/(-12)). Is (8/(-3))/4*(-30231)/r a composite number?
False
Let u be (-6)/4 + (-54)/(-12). Suppose -t = -3*c + 431, 0 = u*c - 2*t - 2*t - 446. Is c a prime number?
False
Suppose 5*c - 18785 = s + 110750, -4*c - 3*s = -103628. Is c a prime number?
False
Let m = 9311 - -16338. Is m composite?
True
Let i be ((-9390)/90)/((-1)/(-3)). Let u = i - -1362. Is u a prime number?
True
Suppose -170*w + 165*w = -19235. Is w prime?
True
Is ((9219 - 15) + 2)/((-2)/(-3)) prime?
False
Suppose -4*w - 54*b = -55*b - 1692, -b = -3*w + 1270. Suppose 0 = 3*a - 4*x - 149, -208 = -4*a + 2*x + x. Is (-10)/a - w/(-22) composite?
False
Is -7 + 12 + -1 + 1 + 8246 prime?
False
Suppose 0 = -4*y - 6 + 2. Is -1*(3 + y) + 6 composite?
True
Suppose o = -g - 8, 3*o + 1 = 2*g + 32. Let t = -8 - g. Suppose t*i = 73 + 362. Is i prime?
False
Let q(h) = 94*h**3 - 2*h**2 + 6*h + 6. Let u be q(-4). Is (10/(-15))/(4/u) a composite number?
True
Is (-8 - (-4 - -6))/(6/(-24177)) prime?
False
Suppose 0 = -3*k + k + 704. Let i(f) = f**3 - 10*f**2 - 12*f + 13. Let b be i(11). Suppose 406 = 2*o + 5*p, b*p + 54 + k = 2*o. Is o prime?
False
Let i(c) = -33*c**3 - 9*c**2 + 9*c - 8. Is i(-5) prime?
True
Let n(y) = 5*y**3 + 8*y**2 - 73*y - 55. Is n(17) composite?
True
Suppose 38448 = 3*d + 5*y, 3842 = d - 5*y - 8994. Is d a composite number?
False
Suppose -36*a = -37*a + 2. Suppose a*b + 0*l = -l + 1506, -3*b - 5*l + 2273 = 0. Is b a composite number?
False
Suppose -4*z = f - 313, 4*z - f = 11 + 292. Suppose -z = -4*o - w, -3 - 21 = -o - 5*w. Is o prime?
True
Let t(a) = -11*a**3 - 42*a**2 - 26*a + 12. Is t(-19) a composite number?
False
Let l = -487 - -48. Let u = 80 - l. Is u a prime number?
False
Is 8145 - (128/(-8))/8 composite?
False
Let u(r) = -r. Let d be u(3). Let m(z) = 3*z**2 - 21*z - 21. Let o(y) = -2*y**2 + 11*y + 11. Let k(c) = d*m(c) - 5*o(c). Is k(9) a composite number?
True
Let f(x) = x + 4. Let c be f(-2). Let v(r) = -11 + 26*r + 0 - 90*r**2 + 89*r**c. Is v(10) prime?
True
Let v(w) be the second derivative of w**5/20 + w**4 + 11*w**3/6 - w**2/2 - 4*w. Let r be 9/(3/(-3 + 0)). Is v(r) a prime number?
False
Suppose 143338 = -37*f + 63*f. Is f prime?
False
Suppose -10*j + 8*j = -16230. Suppose -2*l - j = -5*l. Is l prime?
False
Suppose -r + 5*p = -6*r + 650, 522 = 4*r + 5*p. Is (-1)/(2/4*2) + r prime?
True
Let z = 14 + -12. Is 2/(2*z/778) a composite number?
False
Suppose 0 = -12*b - 83*b + 7187605. Is b prime?
True
Let a(r) = 15*r**2 + 2*r + 1. Let n(b) = -16*b**2 - 2*b - 1. Let w(p) = -4*a(p) - 5*n(p). Is w(3) prime?
False
Let u(w) = w**2 - w - 1. Let s(v) = -16*v**2 + 11*v + 28. Let x(d) = -s(d) - 4*u(d). Is x(-7) a prime number?
True
Suppose -5*h + 3047 = 2*x, 5*h - x - 1322 = 1737. Is h prime?
False
Let a(g) be the third derivative of g**5/12 + g**4/6 + 4*g**3/3 - 16*g**2. Is a(-5) prime?
True
Let c(r) = 20*r**2 - 100*r + 107. Is c(-25) prime?
True
Let o be (1*3)/(1728/568 + -3). Suppose l + 4*l - 60 = 0. Is o - (l/3 - 2) prime?
False
Let a(p) = 17*p**3 - 2*p**2 + p. Let l be a(2). Suppose -2*y - 4*i - 118 = 0, 0 = -6*y + 4*y - i - l. Let f = 52 - y. Is f a prime number?
False
Suppose -8*q = -21*q + 581165. Is q a prime number?
False
Suppose 5*i = -h - 4 - 6, 3*h - 24 = 3*i. Is 3 - -1088*(-6)/i a composite number?
False
Suppose 3*j - 5 = 4, -5*s - 7 = j. Let p = s + 5. Suppose -4*l - f = -800, -4*l + p*f + 284 = -532. Is l prime?
False
Suppose -26*q - 100901 = -845515. Is q composite?
True
Let p(s) = 13 - 17*s + s + 3*s**2 + s. Is p(6) a composite number?
False
Let x = 39 - 14. Is x/(-15) + (-1804)/(-6) a prime number?
False
Let k(m) be the third derivative of 0*m + 6*m**2 - 4/3*m**3 + 5/24*m**4 + 0 - 1/20*m**5 + 1/120*m**6. Is k(7) prime?
True
Suppose -3*c + 65854 = 24277. Is c composite?
False
Let m(b) = 328*b + 135. Is m(13) prime?
False
Let l(n) = -897*n**3 + 2*n**2 - n + 13. Is l(-3) prime?
False
Let j = -4 - -9. Suppose -4*g + 5*x - 19 = 0, -21 = -j*x - 6. Is 3*g/(12/(-460)) composite?
True
Suppose -5*p - 2*c - 4 = -54, -2*c = p - 18. Suppose -5*t + p*t = 7068. Suppose -2*l + 7*l = 4*f - t, 2*l - 1767 = -3*f. Is f prime?
False
Let b(d) = 420*d + 221. Is b(10) a prime number?
True
Suppose 3 = 4*z - 1. Is ((-10405)/(-15))/(z/3*1) prime?
True
Let s = 3 - 1. Let f(r) = -3 + 2*r**s - r**2 + 45*r**3 + 2 + 19*r**3 + r. Is f(1) composite?
True
Let k(s) = -108*s - 1. Let r(z) = 107*z + 2. Let t(c) = -3*k(c) - 4*r(c). Suppose -6*g + g = 15. Is t(g) a prime number?
True
Let y be (-254 + (-3)/(-18)*4)*-21. Is y/21 + (-4)/(-6) a prime number?
False
Suppose 0 = 3*x + 5*s - 101724, 0 = -3*x - 2*s + 121831 - 20098. Is x a prime number?
False
Let n(t) = -63*t - 17 + 88*t - 51*t. Is n(-8) prime?
True
Let y = 2799 + -4704. Let g be ((-5)/3)/(5/y). Suppose -1058 = -5*s + 3*n, -g = -3*s + 2*n - 0*n. Is s a composite number?
False
Suppose 0 = -4*q + 2*g - 6*g + 20, -3*q + 5*g - 9 = 0. Is (8/((-96)/1761))/(q/(-8)) composite?
False
Let d = 58 + -30. Suppose -5*s - 3*j = -45, j = -3*s - 5 + d. Is s/(-5)*(-3555)/18 a prime number?
False
Is -2 + (0 - -5)*41292/45 a prime number?
False
Let w = 914 + 1215. Is w prime?
True
Let m(p) = 4708*p**2 - 2*p - 3. Let d be m(-2). Suppose -d = -14*y + 4365. Is y composite?
False
Suppose 21*t - 26*t = 870. Let q = t - -1183. Is q prime?
True
Let f(j) = -19*j - 6*j - 2*j + 7 - 8. Let s be f(6). Is -1*(0 + 1)*s composite?
False
Let j be -3 - (-4)/((-12)/159). Is (-698)/(-6) - j/(-42) a prime number?
False
Is (-7)/(147/(-750108)) - 51/119 a prime number?
False
Let t = 2258 + -1585. Is t a composite number?
False
Let q be (-1)/2*(-3 + 3). Let r = 95 + -95. Suppose r = -3*c - j + 1237, -423 = -c - q*c + 5*j. Is c a composite number?
True
Suppose 3*b = c + 19, -4*c + 38 - 114 = -3*b. Let n = c - -27. Let h(k) = 2*k**2 - 10*k + 9. Is h(n) prime?
False
Let x(l) be the third derivative of l**4/8 - l**3 - 7*l**2. Let o be x(5). Is 68/(-3)*o/(-6) a composite number?
True
Let b be (8/(-6))/(72/(-162)). Suppose -7*r = -b*r - 1348. Is r composite?
False
Let k be (0 + -4)*(-1)/2*1. Suppose 0 = -3*x - 5*g + 961, k*x - 803 + 161 = -4*g. Is x a prime number?
True
Let k(p) = 2*p**3 + 9*p**2 - 26*p + 6. Let d(l) = -4*l**3 - 17*l**2 + 53*l - 13. Let n(t) = -4*d(t) - 9*k(t). Is n(-15) prime?
False
Suppose 0 = 3*k - 5*b - 2150, 5*k + b - 4029 = -455. Let z = 1008 - k. Is z a composite number?
False
Let x(w) be the third derivative of -w**4/12 - 5*w**3/6 + 8*w**2. Let g be x(-4). Suppose g*c + 201 - 846 = 0. Is c prime?
False
Suppose 5*r + 42 = 17, 0 = -5*d + r + 5485. Suppose -2*m + 390 = -d. Is m a composite number?
False
Suppose 0 = -3*n + g + 557 + 1333, 0 = 5*g - 15. Suppose n = 4*i - 437. Is i a composite number?
True
Suppose -4*f + 35 = f. Let r = 11 - f. Suppose -b - 4*o = -34, -r*o + 74 = 2*b - 2*o. Is b a prime number?
False
Suppose -3*h - 8 = -7*h. Is h*((-11756)/8)/(-1) a composite number?
False
Let x(g) = g + 11. Let v be x(-7). Suppose 2*f + 991 = 3*m, -m - v*m = -f - 1654. Is m a prime number?
True
Let l = -47643 + 69326. Is l a prime number?
True
Suppose 4*m - 4*b = 488, 2*m + 4*b = -3*m + 592. Suppose w = m - 25. Is w composite?
True
Suppose 7*s + 2 = 6*s. Is (0 - s)*((-5425)/(-14) - -6) composite?
False
Let s = -73 - -69. Is 10/s + 2 - 16452/(-24) composite?
True
Suppose 0*l = -2*l - m - 1, -4 = -3*l + 4*m. Suppose l*s = -2*s + 568. Let t = s - 117. Is t a prime number?
True
Let y(n) be the third derivative of 31*n**7/2520 + n**6/180 + n**5/40 - 3*n**4/8 - 2*n**2. Let z(t) be the second derivative of y(t). Is z(-2) a prime number?
False
Suppose -3*q + 8 = -7. Suppose -2*s + a + 1308 = -a, q*s = -5*a + 3260. Is s prime?
True
Let w(l) = -l**