 = 569 + s. Is p prime?
True
Let b(v) = -6*v + 8*v - 1 - 3*v + v**3 - v**2. Let s(x) = -3*x**3 + 2*x**2 + x + 117. Let q(m) = 2*b(m) + s(m). Is q(0) a prime number?
False
Let m(v) = 33*v - 10. Suppose -k - 10 = -4*x, 0 + 3 = -3*k + 3*x. Suppose k*o - 20 = -2*j, 0*j - 5*j - 31 = -4*o. Is m(o) a prime number?
False
Let f = 37 + -34. Suppose -3*r + 2*w + 10815 = 0, r - 5*w = 3615 + f. Suppose 5*k = 1282 + r. Is k prime?
True
Let v = 10487 - -3264. Is v prime?
True
Let l(q) = -235*q**2 - 8*q + 6. Suppose -23 = 3*v + 5*h, -2*v - 2*h - 13 = 1. Let r be l(v). Is r/(-12)*(-4)/(-6) a prime number?
True
Suppose -1 = v + 17. Let t = 26 + v. Suppose t*l - 6*l - 398 = 0. Is l a composite number?
False
Let x be 2 + (-1 - -3) + 78*1. Is x/6*(40 - -11) prime?
False
Suppose x + 751 = 4*m, 2*x - 4*m + 2968 = -2*x. Let l = 1408 + x. Is l a prime number?
False
Let d(m) = m + 1. Let j(u) = 22*u + 28. Let z(s) = 3*d(s) - j(s). Is z(-17) a composite number?
True
Suppose w = -0*w + 5. Suppose -35 = -2*s + w*y, 0*s - s + 10 = -y. Suppose 0 = -s*v + v + 124. Is v composite?
False
Let a(i) = -185*i - 3. Let x be (6/9)/(4/(-18)). Let w be a(x). Let j = w - 301. Is j prime?
True
Let w(l) = -l**2 + 6*l + 5. Let o be w(7). Let s be ((-9)/(-18))/(o/(-12)). Suppose n + 0*n - 177 = -4*f, -4*n + 682 = s*f. Is n a prime number?
False
Is 38320/52 - (-9)/117 composite?
True
Let q(m) = -600*m + 2. Let y be q(2). Let t = y + 600. Is t/(-5) + 3/(-5) a composite number?
True
Let y(h) = -h**3 + 9*h**2 + 8*h + 9. Let k be y(10). Let x(u) be the third derivative of u**6/120 + 7*u**5/30 + 17*u**4/24 + 3*u**3/2 + 8*u**2. Is x(k) prime?
False
Let n(s) = -131*s + 20 + 11 - 24. Is n(-5) prime?
False
Suppose g = -2*k + 9, -4*k - 5*g = -0*g - 33. Suppose 3*p = -l + 674, 3*l - 1663 - 331 = -k*p. Let m = l + -415. Is m a composite number?
True
Let s = -11 + 15. Suppose s*d - 5*d = -163. Is d a composite number?
False
Let l = 4397 - -2718. Is l prime?
False
Let n be ((-4)/5)/((-8)/260). Suppose -n + 11 = -5*j. Suppose 2*s = u - s - 80, 3*u = j*s + 210. Is u composite?
True
Is (-15054)/(-16) + (-41)/(-8) + -5 a prime number?
True
Let a(n) = -n + 16. Let d be a(8). Let r(z) = 33*z**2 + z + 2. Is r(d) a prime number?
False
Let y be (-385)/(-35) + 5 + 1. Let d(m) = 6 - 4 + 7 + 10*m. Is d(y) composite?
False
Let r be (-220)/(-35) + 2/(-7). Let t be 2*1 + (-102)/r. Let k = 6 - t. Is k composite?
True
Let m be 3/((-6)/(-2))*7. Suppose -2*x - 1 = -m. Suppose -x*w + 82 = -2*w. Is w prime?
False
Suppose 3*d + 3248 = 5*v, 4*v + 5*d - 2579 = 49. Is (-15)/(-10)*v/6 a prime number?
True
Let n(p) = -p**2 - 10*p + 14. Let w be n(-11). Suppose -w*y + 0*y + 633 = 0. Is y a prime number?
True
Suppose 0*l = 2*l + 2*l. Suppose -12*v + 6*v + 10542 = l. Is v prime?
False
Let i be 3411/36*12 + 0/1. Suppose i + 4998 = 5*g. Is g a prime number?
False
Let u(n) = -696*n**3 + 2*n**2 + n. Let j = 22 + -23. Is u(j) a composite number?
True
Let t(j) = j**3 - 10*j**2 + 10*j + 15. Let m be t(8). Let i = 197 + m. Let a = i - -281. Is a prime?
False
Let j(d) = 74*d**2 - 4*d + 17. Let c(i) = -3*i. Let a be c(-1). Is j(a) a prime number?
False
Let y = 162 - -1. Is y prime?
True
Let s(d) = 2*d**3 + 20*d**2 + d + 14. Let m be s(-10). Suppose -3*i + 3*k = -k - 1037, -m*k = 3*i - 1045. Is i a composite number?
False
Let g = 8 - 3. Suppose -g*w + 3*a = -2*a + 1930, 4*a - 1933 = 5*w. Is w/(-4) + 2/(-8) a composite number?
False
Is (-882 - 2)/(-1) - (2 + -7) a composite number?
True
Let a(x) = -26 + 29 + 0*x + 27*x**2 - 3*x + 7*x**2. Is a(2) a composite number?
True
Let c = 16169 + -7018. Is c prime?
True
Let h be 35/(-14)*6/20*-260. Suppose 378 = 4*o + i, 3*o - 4*i - 79 - h = 0. Is o prime?
False
Suppose -4*m - p - 2*p + 7 = 0, 5*m + 5*p - 15 = 0. Is ((-1)/2 - m)*15280/24 a composite number?
True
Suppose 5*g - g - 2*t - 1166 = 0, 4 = -4*t. Is g composite?
True
Let a(q) = -q**3 - 4*q**2 + 2*q - 5. Let u be a(-4). Let m(f) be the first derivative of -5*f**2/2 + 2*f - 5. Is m(u) a composite number?
False
Let l(i) = 97*i**2 + 0 + 25*i**2 - 1 + 6*i**2. Let a be (-4 + 3)*(-1)/1. Is l(a) a prime number?
True
Suppose 4*j - n = 3*n + 20, -20 = -3*j + 2*n. Let k be (4/j)/(4/30560). Is k/(-24)*3/(-2) composite?
False
Suppose 5*d = -12*q + 8*q + 20743, -q = 2*d - 8299. Is d a prime number?
False
Let g(d) = 8*d + 8*d**2 - 5*d**2 - 32 + 6*d**2 + 26 + 8*d**3. Let j(f) = -f**3 + 1. Let b(k) = -g(k) - 4*j(k). Is b(-5) prime?
True
Let r(w) = -w**2 + 5*w + 8. Let z be r(6). Let j be (0 + z + -3)*-2. Suppose j*p = -4*p + 3102. Is p prime?
False
Suppose 59260 + 19585 = 13*d. Is d a composite number?
True
Let h(s) = -3*s**2 + s + 1. Let y be h(3). Is ((-374)/5 + -1)/(y/115) prime?
True
Let r = 2733 - 196. Is r composite?
True
Suppose 5*a - 766 = -3766. Let g = -263 - a. Is g composite?
False
Let r(b) be the third derivative of 271*b**5/30 + b**4/8 + b**3/3 - 9*b**2 - 8. Let z be (-6)/(-4)*(-2)/3. Is r(z) prime?
True
Let j(i) = 90*i**2 - 78 + 3*i + 56*i**2 + 75. Is j(2) a prime number?
True
Is 10/(-2) - (-1 + 5891*-3) prime?
True
Let y = -665 - -1024. Is y a prime number?
True
Let r be (5 - 2)/(-3) + 6. Suppose 5*j = -r, 0 = 5*n + 3*j - 31754 + 1427. Is (2/(-6))/((-6)/n) a composite number?
False
Suppose -5*i + 13*i = 3032. Is i composite?
False
Let t be ((-5008)/(-10))/((-10)/(-25)). Suppose 2*i + 254 = t. Is i a prime number?
True
Let p(s) = 227*s + 98. Is p(25) prime?
False
Let s = 3363 - -11896. Is s composite?
False
Suppose -2*w - 524 = 4*s, 5*w + 2*s + 3*s = -1295. Let i = w + 387. Is i a prime number?
True
Let r = 42 + -71. Let x = r - -80. Suppose 0 = -4*c - 3*o + 280, -3*c = -2*c - 4*o - x. Is c prime?
True
Let k(d) = -d + 9. Let f be k(6). Suppose -p = 4*g - 19, -f*g + 32 = -4*p - 6. Suppose s - l = -g*l + 181, 2*l = -4. Is s composite?
False
Is (528149/(-138) + -5 + 0)*-6 a composite number?
False
Let j(t) = 172*t**2 - 69*t**2 - 45*t + 43*t + 1. Is j(-1) prime?
False
Let d be (6/4)/((-9)/(-312)). Let m = d + -317. Let a = -180 - m. Is a prime?
False
Let k(n) = -2*n**2 + 40*n - 25. Let t be k(16). Let f = -120 + 86. Let s = f + t. Is s a prime number?
False
Let w = 5309 - 960. Is w a composite number?
False
Let i = 664 - 365. Let o = -150 + i. Is o prime?
True
Let m(i) = -5*i - 7. Is m(-12) prime?
True
Let h = 31042 + -12539. Is h composite?
False
Let o be 6/18 + (-22)/(-6). Suppose o*j + 0 + 4 = 0. Let f(a) = -35*a**3 + 2*a + 1. Is f(j) a prime number?
False
Let j be (-6)/(-8) + 49/(-28). Is (110/44)/(j/(-134)) composite?
True
Let y = 21 - 18. Suppose y*w - 15 = -2*w. Suppose -w*n + n = -590. Is n a prime number?
False
Suppose -44*u = 246468 - 1873280. Is u prime?
True
Suppose 157 + 17 = -j. Let r(n) = -n**2 - 7*n - 1. Let c be r(-7). Is -2*(j/4 - c) prime?
False
Let s = 2287 - 1168. Is s a composite number?
True
Suppose -5*k = -1 - 14. Suppose -4 = -k*a + a. Suppose -4 = -a*q, q + 381 + 182 = 5*v. Is v composite?
False
Let c = 12 - 10. Suppose -c*t = -0*t. Is (115 + 6)/(1 - t) a composite number?
True
Let l(k) = 908*k**2 - 15*k + 41. Is l(4) a composite number?
True
Let g = 25 - 25. Suppose -k - 3 + 2 = g. Is k*(-6 - -4) + 49 a prime number?
False
Let x(m) = 14*m**3 - 13*m**2 - 8*m + 30. Is x(7) a prime number?
True
Let p(s) = -s**3 - s**2 + 3*s + 125. Let h(d) = -d**3 - d**2 + 4*d + 124. Let l(u) = -4*h(u) + 5*p(u). Let g be l(0). Is (-6)/(-12) + g/2 composite?
True
Let c(y) = y**2 - 13*y + 10. Let v(m) = -m + 29. Let l be v(17). Let n be c(l). Is ((-76)/6)/(n/3) a prime number?
True
Suppose -5*u - 2*x + 0*x + 9735 = 0, 0 = -4*u - 3*x + 7781. Is u composite?
False
Is (-2)/(-6) - (5 + (-617464)/24) composite?
True
Let l = 755 + 147. Let m = l - 298. Suppose -3*c - c - p = -594, 4*c = 4*p + m. Is c prime?
True
Let p(u) = -3*u + 1. Let s be p(-1). Let b be ((0/4)/s)/(-3). Suppose z - 191 = -b*z. Is z a prime number?
True
Suppose 15*j - 17*j = -12. Suppose 5*a = -j*a + 25663. Is a composite?
False
Suppose -369*y + 24235 = -364*y. Is y a composite number?
True
Suppose 0 = 7*d - 2609 - 9725. Is d a prime number?
False
Suppose 360520 = 33*x - 160319. Is x a prime number?
False
Let h be (1 + 1)/((-4)/(-16)*2). Is (-1)/h + (-5453)/(-4) + -2 composite?
False
Is -5 + 3 - ((-240156)/(-2))/(-6) a prime number?
True
Let k(c) = 11*c**3 + 2*c**2 - 2*c + 1. Let 