Suppose -1511 - 2205 = 4*j - 2*n, -2*j - 5*n = 1846. Let c = j + -269. Let u = -706 - c. Is u a prime number?
True
Let r = -24 - -37. Let t(j) = 31*j + 4. Is t(r) prime?
False
Let v(a) = -4*a. Let d be v(-5). Suppose 2*q = 6*q - d. Suppose 4*p + 2*c - 677 = -3*c, 0 = -2*p + q*c + 301. Is p prime?
True
Let s = -1575 - -7871. Suppose 2*c - 10*c = -s. Is c composite?
False
Let p be (-284)/20 - 1/(-5). Let o(c) = -4*c**3 + 6*c**2 + 11*c - 13. Let m be o(p). Is (m/60)/((-2)/(-8)) composite?
True
Let x be ((-4)/6)/(14/(-105)). Suppose -3*t - 104 = -w, 5*w + x*t = 104 + 316. Is w a composite number?
False
Suppose -2*f - 117 + 716 = 5*x, -f + x = -296. Let b = 438 - f. Is b prime?
False
Is 7463 + -1 + ((-24)/(-2))/4 composite?
True
Suppose -6*u = -4*u. Suppose u*g + 2130 = 6*g. Is g a prime number?
False
Let u(h) be the first derivative of h**6/360 + h**5/60 + 11*h**4/24 + 2*h**3 - 2. Let t(l) be the third derivative of u(l). Is t(6) prime?
True
Let w(d) = 89*d**3 + 4*d**2 - 5*d - 1. Is w(2) composite?
True
Let f(n) = -877*n**2 - 2*n + 1. Let h be f(1). Suppose 3*a - 1500 = 3*o, -4*o + 5*a = -0*o + 1995. Let y = o - h. Is y a composite number?
False
Suppose 3*l + 13 = -32. Let j = l - -16. Is 1/j + 114 + 0 composite?
True
Suppose -5*z = -16422 - 39103. Is z a composite number?
True
Suppose -4*k + 2214 = -2*v, -2*k + 1194 = 5*v + 57. Is ((-33)/22)/((-2)/k) a composite number?
True
Let z be 4870/(-25) - 3/15. Let l = z + 526. Is l a prime number?
True
Let a = 3209 + -1302. Is a prime?
True
Let m = 2395 - 898. Suppose -5*q - 2*r - m = -4882, 5*q - 3*r = 3385. Is q a prime number?
True
Let v be 365/25 - 2/(-5). Let w be (15/(-25))/((-3)/v). Suppose l - 1996 = -w*l. Is l a composite number?
False
Let c(w) be the third derivative of 2*w**7/105 - w**6/72 - 5*w**4/12 + 13*w**3/6 - 6*w**2. Let v(r) be the first derivative of c(r). Is v(5) prime?
False
Is (-3)/3*509609/(-31) a composite number?
True
Let g = 10 + -14. Let i be -6 - (-5 + (-16)/g). Let a(r) = -59*r - 2. Is a(i) a prime number?
True
Let d(c) = c**2 + 20*c + 21. Let h be d(-19). Suppose y - h*y + 517 = 0. Is y prime?
False
Suppose 6 = 2*v + v, -552 = -2*j + 3*v. Is (0 - -1) + j/3 composite?
True
Let v(m) = 1294*m**2 - 25*m - 8. Is v(-5) prime?
True
Suppose 0 = -0*g + g - 3, 3*u - 4*g = -57. Let q(l) = -l**3 - 15*l**2 - 3*l - 16. Let b be q(u). Suppose -46 = -3*c + b. Is c a composite number?
True
Let h = 58261 - 26004. Is h composite?
False
Let b(h) = 3462*h**2 - 5*h - 9. Is b(2) a composite number?
False
Let w = 6 - 1. Suppose 4*n - w*b + 4*b = 453, 2*n - 224 = -2*b. Let l = n - -14. Is l composite?
False
Let s(q) = -11*q. Let p be s(-1). Let b = p - -1. Is ((-4)/b)/((-2)/198) a prime number?
False
Let u be 4/(-14) - (-27920)/112. Suppose 2*l - 433 - u = 0. Is l a composite number?
True
Suppose q - 4*u + 438 = 10089, 5*q - u = 48217. Is q composite?
False
Suppose 5*t - 387 = v, -59*t + 148 = -57*t + 3*v. Is t composite?
True
Suppose 1 = -j + 6, 4*j - 22 = -c. Suppose -422 = 3*k + 3*v + c*v, 3*v - 150 = k. Let f = 283 + k. Is f a prime number?
True
Let b = 23 + -21. Suppose 0 = 2*r + 3*m - 329, -8*m - 289 = -b*r - 3*m. Is r prime?
True
Let g = -11 - -7. Let j be 0*1*(g + 3). Is j - 0 - 265*-1 a prime number?
False
Is 9/45*-1*-24845 composite?
False
Let v be ((-2384)/(-2))/((-55)/(-10) + -5). Suppose 2*o - v = 17198. Is o composite?
False
Suppose 72*c = 29175 + 45921. Is c a composite number?
True
Let j = 132 + -95. Is j composite?
False
Suppose 3*z - 3 - 3 = 0. Is 0 + 1 + 140 + 2 - z a prime number?
False
Let r(c) be the third derivative of c**5/60 - c**4/12 - 17*c**3/6 - 6*c**2. Is r(15) prime?
False
Let w be ((-3030)/8)/((-27)/288). Is 2/(-6) - w/(-6) composite?
False
Suppose 0 = 4*v - 2*v + 7432. Let o = -2547 - v. Is o prime?
False
Let z(r) be the second derivative of r**5/5 + 5*r**4/12 - 4*r**3/3 + 9*r**2/2 - 5*r. Let h be z(7). Suppose 5*u - t - h = 479, 3*u + 4*t = 1211. Is u prime?
True
Suppose 65*t - 1456661 + 317926 = 0. Is t a composite number?
False
Let h(u) = -u**2 - 5*u - 1. Let y be h(-4). Suppose 2*f - 20 = -y*f. Suppose -f*i = -i - 18. Is i prime?
False
Suppose 0 = -3*w + 1 + 14. Suppose 0 = -w*j + 8*j. Suppose 3*u - s - 387 = j, -u + 3*s + 129 = 2*s. Is u prime?
False
Suppose 4*y = -0*y + 84. Let g = y + -19. Suppose g*c - 128 = 3*x, 5*c + 6*x - x = 345. Is c a composite number?
False
Suppose -51*n + 598771 = -294800. Is n prime?
False
Let c(a) = -a**2 + 3*a + 7. Let g be c(5). Let o be g/(-2)*-2*-1. Is (o - 2)*3 - -1114 composite?
False
Let u(m) = 21*m + 32. Let d(o) = -62*o - 97. Let z(n) = 3*d(n) + 8*u(n). Is z(-4) composite?
False
Is 125579/119 + (-2)/7 a prime number?
False
Let h(m) = -m**3 + 7*m**2 + 5*m. Is h(7) a prime number?
False
Let j = 103 + -98. Suppose j*w - 2*p - 4511 = 0, 0 = -5*w - 6*p + p + 4490. Is w a composite number?
True
Suppose 0 = -4*y + 1535 + 533. Suppose -l = 4*m - y, 3*l + 5*m - 653 = 863. Is l prime?
False
Suppose -4*i + 17 = 5*t, -6*t + 2*t - 8 = -4*i. Suppose i*z + y = 656, 3*z + 2*z - 1098 = -4*y. Is z a prime number?
False
Let o = 63 + -59. Suppose o*i = 9*i - 3365. Is i a prime number?
True
Suppose 10637 - 452 = 5*p. Suppose -r - 2*r = -p. Is r prime?
False
Suppose 0*h = 5*h - 1095. Let q = 128 + h. Is q a composite number?
False
Is (((-2555344)/24)/(-11))/((-6)/(-9)) a prime number?
True
Let i(s) = -s**2 - 8*s - 2. Let f(t) = 9*t + 2. Let z(x) = -6*f(x) - 5*i(x). Is z(15) a prime number?
False
Suppose 2*f - 3*k = 14 + 6, 0 = -4*f - 3*k + 4. Suppose -3 = -o, -3*v + 292 = v - f*o. Let r = v + 51. Is r prime?
True
Let x(k) = k**2 + 6*k + 7. Let a be x(-4). Is 1 - (-3 - a) - -460 a prime number?
True
Let c(g) = -g**3 - 5*g**2 - 16*g + 1. Is c(-8) a prime number?
False
Is (-80)/(-30) - 497886/(-18) a composite number?
True
Let f be 8/44 - 1762/11. Let s = 254 - f. Suppose -5*g + 2099 = s. Is g prime?
True
Let y = 692 + -365. Suppose -3*z + y = -324. Is z composite?
True
Let o(u) be the first derivative of u**4/4 + u**2/2 + 7*u - 1. Let h be o(8). Suppose h = 3*s + 5*v, -5*v - 1 = 9. Is s a prime number?
True
Let c(m) = -m**2 - 7*m + 13. Let s be c(-13). Is (-178175)/s + 2/(-13) a prime number?
True
Suppose 3*h = 714 + 1035. Is h composite?
True
Let l(w) = -w**3 + 3*w - 2. Let x be l(-2). Suppose -2*y - 15 = -n, 4*y - 5*n + 33 = -x*n. Let t(k) = 4*k**2 - 2*k + 7. Is t(y) composite?
True
Suppose 0 = 13*v - 71783 - 33114. Is v a prime number?
True
Suppose 2*k + 4*s = 14465 + 6013, 0 = 2*k + 3*s - 20480. Is k composite?
False
Let q(y) = 350*y + 103. Is q(6) composite?
False
Let j(u) = 25*u - 46. Let o be j(3). Let l = 4 + -2. Suppose l*r - 3*q - o = 0, 2*q + 51 = r + 2*r. Is r a prime number?
True
Suppose -5*s = -16*q + 18*q - 101635, -40654 = -2*s + q. Is s a composite number?
False
Suppose 23*w - 141664 - 867 = 0. Is w composite?
False
Suppose b + 0*b - 2*p = -1045, 0 = b + 5*p + 1052. Is 2 - 4*(-4)/((-16)/b) a composite number?
False
Let y = 83 + -67. Suppose 3*j = -2*x - 13, -4*x = 4*j + 17 + 3. Let n = y + j. Is n a prime number?
True
Suppose 3*k = -5*z + 80, 3*k + 50 = 5*z - 0*k. Suppose 3 = -2*x + z. Suppose 2*v - x*v + 789 = 0. Is v a composite number?
False
Let c(t) be the second derivative of t**3/6 - t**2/2 - 6*t. Let g be c(3). Suppose 2*n + 3*p = -n + 366, 0 = g*p + 10. Is n composite?
False
Suppose 5*q - 4*w + 1738 = -3*w, 0 = -2*q + 2*w - 692. Let v = 534 - q. Suppose -2*d = j - 603, d + v = 4*d - 3*j. Is d a composite number?
True
Suppose -5*o + 125953 = 12*o. Is o a prime number?
False
Is -6 - 133032/(-36) - 10/(-6) composite?
False
Let d(c) = 14*c**2 + 14*c + 67. Is d(-6) a composite number?
False
Suppose 5*b = 2*a - 23, 4*b = -5*a + a + 4. Let y(i) = 1. Let n(f) = 20*f + 4. Let p(j) = n(j) - 5*y(j). Is p(a) a composite number?
False
Let i be 0 - 1*(1 + 312). Suppose -68*b + 72*b = -2528. Let u = i - b. Is u composite?
True
Suppose -164 = -5*u - 3*t, 49 + 4 = 2*u - 3*t. Let c = u + -23. Is (c - 6)*541/2 a prime number?
True
Let l(j) = 3*j**2 + 2*j - 1. Let q be l(1). Suppose 4*o + 216 = q*v, 3*v = 4*o + 85 + 72. Is v a composite number?
False
Let x(j) = 14 + 2*j + 9 + 0*j. Let m be x(-10). Suppose 2*t - m*t + 30 = 3*s, -3*t - s = -114. Is t a prime number?
False
Let n = 66870 + -43619. Is n composite?
False
Suppose -13*u - 33 + 12